q = 2. Is -4 equal to v?
False
Let j be (4/(-12))/((-2)/18). Suppose -3*s - 3*f - 2 = 7, j*s - 2*f - 16 = 0. Suppose 6*a + 7 = s*a + 3*q, -a + 3*q = -5. Is -3 < a?
False
Let n = 5188/21 + -247. Which is smaller: n or -1?
-1
Suppose -3*g - 3 = 6. Which is greater: -1 or g?
-1
Let t = 27 - 18. Let g(q) = -q**3 - 5*q**2 - q + 8. Let r be g(-6). Let h be 2/t - r/(-18). Do 3 and h have the same value?
True
Let r = 405/88 - 39/8. Which is greater: -0.2 or r?
-0.2
Suppose -8 = -v - 3. Let c = 3 - v. Let r be -1 - 0*c/(-4). Is 0 >= r?
True
Let i = -48 - -47. Do -9/4 and i have different values?
True
Let f(s) = -s**3 + 8*s**2 - 5*s - 6. Let a be f(7). Let i = a + -14. Are i and -8 equal?
False
Let l = 31.904 - -0.096. Which is greater: 0.1 or l?
l
Let k = -8183/3 - -2675. Let b = -52 - k. Suppose 3*t - 4 + 1 = 0. Do t and b have the same value?
False
Let g(h) be the third derivative of -h**5/60 - h**4/4 - 2*h**3/3 + 3*h**2. Let n be g(-5). Let r = -1 + n. Is -2/3 smaller than r?
True
Let u = 107/1428 + -2/51. Is 1 > u?
True
Let r = -0.44 - -14.44. Is r at most as big as 4?
False
Let t = -0.33 - -0.3. Let n = -0.05 + -0.02. Let r = n + t. Which is greater: r or 3?
3
Suppose 17*y - 12 = 5. Which is greater: y or 3/56?
y
Let p = 0 - 0. Let l be p + 0/3 + -3. Are -4 and l unequal?
True
Let g = 44/9 - 149/36. Is g bigger than 0?
True
Suppose -10 = -l - 5. Suppose 24 + 31 = 5*a - l*g, -3*g - 5 = a. Which is greater: a or 6?
a
Let d = -3 - -4. Suppose 0*j + 28 = 4*j + 5*m, -j + 18 = 4*m. Are d and j equal?
False
Let t = 15 + -21. Let s(l) = -l**3 - 6*l**2 - l - 7. Let n be s(t). Do -1 and n have the same value?
True
Let p(j) = j**3 - 11*j**2 + j + 5. Let l be p(11). Which is bigger: 15 or l?
l
Let u = -659/1554 - 1/222. Which is smaller: -1 or u?
-1
Let l be 4/(-6) - 14/(-3). Suppose 4*n + l + 0 = 0. Let f(u) = -3*u**2 + u. Let q be f(n). Are -4 and q non-equal?
False
Suppose -2*a - 2*h = 2*h + 8, 4*h + 32 = 4*a. Let x(u) = 3*u**3 + 2*u**2 - 2*u + 1. Let w be x(1). Suppose 0 = a*p - w. Is p > 2?
False
Let b = -82245/5528 + 119/8