 - 6 + 16. Which is smaller: t or j?
t
Suppose 21 = -4*k + 4*d + 57, -2*d + 8 = 0. Suppose 5*u - 77*j = -79*j + 54, u + 3*j = 3. Is u greater than or equal to k?
False
Let t(k) = k**3 + 55*k**2 - 1. Let y be t(-55). Are y and 610 nonequal?
True
Let z = -154/51 - -40/17. Which is smaller: 8/25 or z?
z
Let y be 69/13 - (-40 - -45). Do -10 and y have the same value?
False
Let b(w) = -w**3 - 10*w**2 + 10*w - 5. Suppose 0 = 2*d - 5*d + 2*r - 33, 0 = 4*d - 5*r + 44. Let x be b(d). Which is smaller: 9 or x?
x
Let z(s) = 13*s**3 - 8*s + 8. Let y be z(1). Which is bigger: y or 93/8?
y
Let z = 43 - 43. Suppose 3*q + 8 = -3*f - 1, 5*q + 2*f + 18 = 0. Let h be -4 + z + (-14)/q. Is h <= 2/13?
True
Let v(b) = b**3 + 4*b**2 - 3*b + 14. Let y be v(-5). Suppose y*o - 40 = -4*f, 3*f + 2*f - 4*o = 23. Which is smaller: 6 or f?
6
Let b = -171 + 87. Let n = b - -757/9. Do n and 0.1 have the same value?
False
Let m(z) = -z + 3. Let p be m(0). Let y = 9 - p. Let i be ((-6)/18)/(2/y). Is i bigger than -2?
True
Suppose 2*t - 61 = -5*r, 2*t = -2*r - 2*t + 18. Suppose -3 = -4*h + r. Suppose h*l - 42 = l. Is l > 14?
False
Let y = -178 + 176. Suppose -3*q = i + i - 16, 25 = 5*i. Suppose 3*v = q*v + 2*r - 14, -4*v - 36 = -4*r. Which is smaller: y or v?
v
Let t = 40/3 + -77/6. Is 1/74 smaller than t?
True
Let i be (-2077)/3 - 2/3. Let c be i/1620 - (-2)/(-15)*-3. Is c bigger than 1?
False
Let h be ((-7)/14)/(2/4*-1). Which is smaller: h or 1/319?
1/319
Suppose -43 = g - 37. Suppose 4*r - 21 = 4*n + 3, -5*n = -4*r + 24. Let i(v) = v**3 - 6*v**2 - 4. Let f be i(r). Which is smaller: g or f?
g
Let t(l) = 2*l**3 + 2*l**2 + l. Let a be t(-1). Let z be (-39)/190 + (-23 - (-7463)/323). Is a less than z?
True
Suppose -11*v + 9*v - 195 = -3*a, 3*v + 318 = -4*a. Which is smaller: v or -203/2?
v
Let t = -2243 - -3834. Let k = -160693/101 + t. Which is smaller: 1 or k?
k
Let k = 30.8 - -4.2. Let s be (6/(-21))/(4*24/224). Which is greater: k or s?
k
Let c = -0.06 - 0.33. Let m = -0.11 + c. Let k = m - -1.5. Is k greater than 5?
False
Let s be 39/(-12)*(31/7 - 1). Is -10 not equal to s?
True
Let t = -2713/488 - -57/61. Is -4 > t?
True
Let h be (7/(-2) + 2)*82/(-123). Which is smaller: h or -2/13?
-2/13
Suppose 4*u = 3*w - 75, 2*w - 4*u + u = 51. Which is greater: w or 22?
22
Let v(l) = 3*l**3 + 2*l - 1. Let k be v(1). Suppose k*q - 40 = -q. Let t be (-3)/(-12) - 10/q. Which is bigger: t or 3?
3
Let k be -4 - 3/(-5*18/(-120)). Which is greater: k or 3?
3
Let o = -75/16279 - 1/446. Is 0 > o?
True
Let q(d) = 4*d - 1. Let a be q(3). Let k be -3*6*5/(-10). Is k != a?
True
Let g = 422084/131 - 3222. Is g greater than 1?
False
Let g(n) = -n**3 + 6*n**2 + n - 2. Let b be g(6). Let v = -30.6 - -46. Let h = 15.5 - v. Do b and h have the same value?
False
Let b = -295 - -287. Which is smaller: 1 or b?
b
Let x be -26 - -1 - (1 - 4). Let y(i) = i**3 - 4*i**2 - 29*i + 33. Let s be y(7). Is s at least x?
False
Suppose 9 = 4*j - j. Let v be 3 + j + -3 + 0. Let o = 4 + -3. Which is smaller: v or o?
o
Let b be (-7511)/(-11) - (4 + (-92)/22). Let d = -7506/11 + b. Which is smaller: 2 or d?
d
Let x = 252849356 + -51328084522/203. Let o = 1649 - x. Is o != -1?
True
Let v = 12.429 + -12.5. Which is bigger: v or -2/5?
v
Let t = 0.3 - 10.3. Let r = -16 - t. Let v = r - -7. Is 0.4 at least as big as v?
False
Let r be (22/(-231)*33)/(4/(-7)). Which is smaller: r or 6?
r
Let q(z) = -13*z + 14*z**2 + 9*z**2 + z**3 - 12*z**2 - 7. Let i be q(-12). Suppose -3*a + i*a = 0. Which is smaller: 1/20 or a?
a
Let p be 7/(-840)*38 + 4/10. Let x(f) = f**2 + 9*f + 9. Let y(z) = -z**2 - 9*z - 10. Let n(r) = -3*x(r) - 2*y(r). Let s be n(-8). Is p > s?
False
Suppose 0 = 5*h - 12*h + 56. Suppose -h + 6 = k. Let d be -13*(-5)/(k - 3). Which is bigger: -14 or d?
d
Let k = 60 + -55. Suppose -3*q = -2*t - 14 - 38, k*q = 3*t + 85. Is 14 at least as big as q?
True
Suppose 0 = 3*c - 4*t + 9 - 13, -4 = -5*c + 4*t. Which is greater: c or 10/27?
10/27
Suppose 2*o + 34 = 64. Is 15 at most as big as o?
True
Let v(z) = z**3 - 8*z**2 + 13*z - 23. Let k be v(7). Suppose 2*g + 3*m = 0, -m - 4*m - k = -3*g. Suppose 5 = -4*u + 1. Is u greater than or equal to g?
False
Let p be 2/(-8) + (-3)/(-12). Suppose p*d = -d + 4*r - 13, -8 = -2*r. Suppose -38 = d*l - 11. Is l != -10?
True
Suppose -m - 6 = -4*h + 1, -m - 2 = h. Let u be 1 + (m/(-5))/(-3). Let b(v) = 2*v - 1. Let g be b(1). Which is bigger: g or u?
g
Suppose -33*w + 4 = -31*w. Let m = 67/114 - -3/38. Are w and m nonequal?
True
Let x = 178/5 - 1597/45. Is x bigger than 1/13?
True
Suppose 4*q = -o + 48, -5*q + 99 = 5*o - 66. Let l be 8/o - 468/21. Which is smaller: -20 or l?
l
Let i(t) = t - 15. Let a be i(6). Let l be (a/27)/((-1)/51). Is l at least 17?
True
Let c be (-2)/5*(-3 + 3 - 5). Let s be (3/(-5) - -1)*5/c. Let t be -1 + 2 + 1 + 0. Do s and t have the same value?
False
Suppose -6 = 11*h - 9*h. Let u be 0 - (h + 8 + -3). Let i be ((-2)/(-7))/((-1)/(-7)). Do u and i have different values?
True
Let c = -5 - -8. Suppose 6 = w + c. Suppose 0 = -w*v + 5*t + 7, -2*t = 2*v + 2*t + 10. Which is greater: v or 2?
2
Let j(o) = 2*o**2 + 25*o + 15. Let p(n) = -n**2 - 12*n - 7. Suppose 0 = 4*d + 10 - 2. Let u(c) = d*j(c) - 5*p(c). Let w be u(-9). Which is greater: w or -3?
-3
Let a = 135 + -113. Which is greater: a or 89/4?
89/4
Let y = 937/9 - 104. Let d = -13 + 19. Suppose 0 = -3*c - 3*c - d. Which is smaller: y or c?
c
Let i be (8*-27 + -2)*2. Let l = i + 292. Let q be (60/l)/((-6)/(-32)). Which is bigger: q or -3?
q
Suppose -2*m = -6*m + 16. Suppose 2*y - m - 14 = 0. Let z be (1 - 0)*4*2. Which is smaller: y or z?
z
Suppose m - 212 = -5*s - 34, -118 = -3*s + 5*m. Let q be (s/(-30))/(1/2). Which is bigger: -2 or q?
-2
Suppose -5*g - 7*j + 4*j = -100, 2*j = 0. Is g at least as big as 18?
True
Let t be ((-20)/(-6))/(5/10 - 4). Let k = t - -1538/1659. Is k at least 1?
False
Let g = 42 - 30. Is g bigger than -11?
True
Let b = -14 + 15. Suppose b - 7 = 3*z. Let a(j) = -j + 7. Let g be a(8). Which is smaller: g or z?
z
Let i = 1 + 1.5. Let z = -2.5 + i. Is z < 1.2?
True
Suppose 3*v + 32 - 38 = 0. Let n be 2/2 - 5/v. Do n and -3 have different values?
True
Let n(a) = 8*a**2 + 479*a - 63. Let j be n(-60). Let g(m) = m. Let l be g(-6). Does l = j?
False
Suppose -13 + 6 = -l. Suppose -3*q + f + 12 = -l*q, 0 = -5*q + 4*f - 36. Is -4 at most q?
True
Let z be ((-7)/(-2) + -2)*(-14)/(-21). Is -1/1597 at least as big as z?
False
Let u be ((-6)/10)/(27/(-9)). Is 1/5 equal to u?
True
Let f = -182 - -705. Is 524 < f?
False
Let j = 121 - 143. Which is bigger: j or -7?
-7
Let k = 0 - 0. Let m = -0.089 - -0.289. Which is greater: k or m?
m
Suppose 4*z = -u - 10, -u - 5*z - 15 = -0*u. Let p be (2 + 141/(-6))*-2. Suppose 5*x - p = -4*j + 13, -j = -5*x + 11. Which is bigger: u or j?
u
Suppose 4*v - 26 = 50. Suppose 1 = i - v. Suppose 5*n + 0*n = -i. Is 1 smaller than n?
False
Let t be 24/54 - (202/(-72) + 24/8). Let n = -6 - -6.06. Do t and n have the same value?
False
Let k(b) = b**3 - 5*b**2 + 4*b + 1. Let u = 1 - -3. Let m be k(u). Let d(x) = x**3 - 5*x - 1. Let z be d(-2). Is z not equal to m?
False
Let x = -178/3861 + -4/143. Let y be 2 - (1/(-1))/1. Suppose y*f + f = 2*o - 14, 5*o - 5*f - 15 = 0. Is x smaller than o?
False
Let j(q) = -q**3 - 10*q**2 + 10*q + 1. Let h be j(-10). Let f = -99 - h. Are f and -1/43 nonequal?
True
Let u = -43 + 44. Let o = 235/156 - 19/12. Is o at least u?
False
Let a be (0 - 10112/38) + -2. Suppose 5*q = -3*s + 824, -3*s + 4*s - q - 264 = 0. Let h = s + a. Which is bigger: -1 or h?
h
Let v = -662.746 - -0.746. Is -1 at least as big as v?
True
Suppose -3700 = -j + 51*j. Which is smaller: j or -73?
j
Let s = 34 - 51. Which is bigger: 3 or s?
3
Let m be (-6)/(-8) - (-245)/4. Let x = m + -129/2. Suppose -4*u + 7*u + 12 = 0. Which is smaller: u or x?
u
Let j be 4*3/(-1)*(-806)/(-248). Do -75/2 and j have the same value?
False
Let b = -30414 - -517190/17. Which is greater: b or 8?
b
Let j = 134 - 46. Let g be (-4)/(-7) + j/(-56). Which is greater: -1/10 or g?
-1/10
Let d(p) = -p**3 - 65*p**2 + 63*p - 196. Let b be d(-66). Suppose 4*n + 3*h = -78, n + 10 = 5*h + 2. Is n != b?
True
Let f be (-2)/(-9 - -1)*2*6. Let z = -2 + 3. Which is bigger: f or z?
f
Let k = -167 + 27. Let y = 204 + k. Is 