Let x = 479 + -463. Is 1.2 bigger than x?
False
Let i = 208/5 + -32027/770. Is i at least 0?
True
Let h be (2/(-8)*-2)/((-7)/(-238)). Let f(c) = c**2 - 8*c - 2. Let y be f(10). Which is smaller: h or y?
h
Let c be (11 - -7)*2/6. Suppose 0 = -2*g + c*g - 24. Let p be 2/g - (-125)/(-15). Which is greater: p or -4?
-4
Let s be (1 + 2)/(13/13). Suppose s*j = k + 9, -k + 7 = j - 0*k. Which is smaller: 7/2 or j?
7/2
Let w(c) = 11*c**2 - 1. Let s be w(1). Suppose 0*f = -5*f + 4*h - s, -5*f - 4*h - 50 = 0. Suppose -v = -3462 + 3463. Which is bigger: v or f?
v
Suppose -2*u = 2*o + 2 - 4, -2*o + 3*u = 3. Which is smaller: -5/21 or o?
-5/21
Let b = 3 + 1. Let f be 30/2 - (0/(-4))/b. Which is smaller: 13 or f?
13
Let g = -305.239 + 305. Which is greater: -2/3 or g?
g
Let n = 11 + -22. Let i = -12 - n. Let y = i - -1. Is y < -2/47?
False
Let q(l) = -l**3 - 9*l**2 + 9*l - 10. Let v be q(-10). Suppose v = 14*z - 10*z + 84. Let t = -50 + 29. Is t greater than z?
False
Let w be (-166)/(-34) - 14/(-119). Which is greater: 37 or w?
37
Let j be ((-10)/125)/((-4)/16*10). Is j equal to -1?
False
Suppose -4*p + 6*p - 32 = 0. Suppose -20 = 4*c - p. Let g = 7 - c. Is g <= -1?
False
Let k(l) = l**3 + 5*l**2 + 4*l - 6. Let b be k(-3). Which is smaller: b or 10?
b
Let s = -0.99 + 1.99. Which is smaller: s or -9.2?
-9.2
Let c(b) = 2*b**2 - 4*b - 7. Let q be c(5). Let n = q + -19. Suppose 8 = 2*p - 4*p - 4*o, 10 = -n*p - 2*o. Is p at most as big as 0.9?
True
Let t = 24.8 - 25. Let r(v) = -12*v**2 - 58*v + 12. Let g be r(-5). Is g equal to t?
False
Suppose 0 = 80*v - 90*v + 10. Which is bigger: 78/35 or v?
78/35
Let w be (2/(-12))/((-338)/351). Which is greater: w or -1?
w
Let j = -27 - -13. Suppose 0 = g - 4*g - 39. Let r = j - g. Which is greater: r or -5/8?
-5/8
Let x = 2381 + -2401. Suppose -2*g = -4*a - 70, 40 = -4*a + 4*g - 20. Is x >= a?
True
Let i be (22/(-6))/(1/(-3)). Suppose 3 = 8*k + i. Which is smaller: k or 1/19?
k
Suppose 0 = -2*w + 4*b + 58, -3*w + 45 + 49 = b. Is 32 < w?
False
Suppose s + q + 4 = 0, s + 3*q + 4 = -2*q. Let u(l) = l**3 + 3*l**2 - 2*l + 3. Let o be u(s). Let p be 0/o + 1/1. Is p not equal to 0?
True
Let y = -0.0109 + -0.0491. Which is smaller: y or -11?
-11
Let s = 2629/1092 + -71/28. Is s smaller than -1?
False
Suppose 8 = l + 5*q, 5*l - 4*q + 14 = -2*q. Let c = 17/7 + -3. Is c >= l?
True
Let x be (36/48)/(14*-4). Is -1 > x?
False
Let v = 6/17 + -35/51. Let i be ((7 - 4)/(-1))/(33/2). Is i less than v?
False
Let k be (6/(-3) + 1)*1. Let o be (k - -3)*(-36)/(-8). Let w = -11 + o. Which is smaller: w or -1?
w
Suppose 0 = -3*y, -y = -2*t - 5*y + 44. Is 23 smaller than t?
False
Let p(v) = -v**3 - 4*v**2 - 2*v - 5. Let y be p(-4). Suppose a + y = 4*a. Which is smaller: -1/19 or a?
-1/19
Let m be (-2)/(0 + 6) - (-1271)/123. Let h be 36/606*(-3 - m/(-3)). Is h > 0?
True
Let j be 3937/5 - (-13)/(325/(-10)). Which is smaller: 788 or j?
j
Let a be (-4)/(-6) + (3 - (-1590)/(-441)). Which is smaller: a or 2/5?
a
Let q be -1 + 5 + -1 + 2. Suppose q*m = -8 - 27. Suppose -3*y - 10 = -s, 0 = 3*y - 7*s + 3*s + 13. Is m at most y?
True
Let y = 55/9 - 40/9. Is y not equal to -1?
True
Let b be ((-2)/382)/((-1)/2*2). Is 1 at most as big as b?
False
Let f = 110 - 108. Suppose 0*b + b - f*k = -8, 0 = -2*b - 2*k - 46. Is -18 at most as big as b?
True
Suppose 4 = -h, 13 = w - 3*h + 60. Let p = 24 + -84. Which is bigger: p or w?
w
Let b be (-102)/238 + 3/7. Is b greater than or equal to -12?
True
Let o = 81.16 - 79. Let d = -2 + o. Let c = -0.1 + d. Is c != -1?
True
Let n be ((-153)/108*-6)/(22/(-8)). Which is bigger: n or -2?
-2
Let j = 151 + -123. Which is smaller: j or 25?
25
Let h = 0.72 + -0.2. Let a = 1.52 - h. Which is smaller: -4 or a?
-4
Let h(y) = -y**2 - 5*y + 2. Let j = 16 + -21. Let o be h(j). Suppose -21 = 5*q - o*q. Is -9 <= q?
True
Let o be ((-1)/(-3))/((-2)/(-834)). Suppose -1 = 7*w + o. Is w at most as big as -21?
False
Let j = 35 + 3. Suppose -5*i - 32 = j. Let h be (1 + 0)/(i/14). Which is greater: 13 or h?
13
Suppose 0 = 3*q - 0*q - 30. Suppose -66 = -2*d - 16. Suppose d - 73 = -4*p. Is p != q?
True
Suppose 13*m = 5151 + 3767. Which is greater: 687 or m?
687
Let u(b) = b**2 + 28*b + 54. Let h be u(-26). Is 38 less than or equal to h?
False
Let m = 19 - 14. Suppose -6 = 3*n, m*p - 7 = n + 55. Suppose 8*b + p = 11*b. Which is smaller: 13/4 or b?
13/4
Suppose 5*t - 4*t = 690. Let c be 164/t + 28/42. Let u = -7/23 + c. Which is smaller: 0.4 or u?
0.4
Let j be (-15 + 0)*(-80)/15. Let x = -14/9449 + -6075595/75592. Let k = x + j. Which is smaller: k or 0.1?
k
Let h = 1022/3 + -5101/15. Which is greater: -6/35 or h?
h
Let n(a) = -6*a**3 - 5*a**2 + 2*a + 6. Let x be n(3). Let g be -3 - 5/(x/141). Is g equal to 2?
False
Let s be 1 + 0 + 1 - (-76)/(-36). Let i = -2 - -4. Suppose 0 = -i*x - 3 + 1. Is s <= x?
False
Let a = -298 + 1429. Are a and 1131 non-equal?
False
Let o(u) = u**3 - 4*u**2 + 6*u - 6. Let t be o(4). Let x(w) = 7*w**2 + 6*w + 2. Let b be x(-2). Is t greater than b?
False
Let s(d) = d - 23. Let l be s(24). Is l greater than 4/5?
True
Let z = -12.1 + 2.1. Let x = z + 10.1. Let g be (-9)/6 - 70/(-44). Does g = x?
False
Let z(q) = -2*q**2 + 16*q - 46. Let u be z(10). Is -89 < u?
True
Let t = -9.2 - -55.2. Let r = t + -46.1. Is r equal to -12?
False
Let u = 29 - 69. Let q = -70 - u. Is q at most as big as -30?
True
Let p be (-1 + (-6)/(-4) + -1)*-4. Suppose -8*t + 4*t + p = 5*f, -5*f + 3*t + 16 = 0. Which is greater: f or 13/6?
13/6
Let t be ((-2)/(6 - -2))/((-21)/18). Which is bigger: t or -1?
t
Let d(l) = -41*l**2 + 14*l + 16. Let a be d(-1). Let i be 576/(-15) - 4/(-10). Which is greater: i or a?
i
Suppose -3*t + 0*t = -141. Suppose -p - 7 = 2*y, 5*p - y + t = -32. Let j be (-5)/((-40)/(-32)) + -11. Is p less than j?
False
Let o = -6 + 5. Let w(h) = -3*h. Let y be w(-2). Let b = 7 - y. Which is greater: b or o?
b
Let n = -10 - -13. Suppose 2*b = 4*f - 4, 3*b - 4*b = 3*f - n. Is -7/6 <= b?
True
Let v = 11 + -22. Let m(o) = -3*o - 6. Let s be m(2). Is v smaller than s?
False
Let u(t) = -8*t**2 - 127*t + 24. Let n be u(-16). Which is smaller: 8.7 or n?
n
Let y = -19753218/1057 + 18688. Which is smaller: y or -1?
-1
Let t = 9 + -4. Let j(k) = k**3 - 2*k**2 - 2*k + 2. Let y(c) = c**3 + c**2 - 7*c. Let q be y(-3). Let d be j(q). Do d and t have different values?
False
Let q(c) = -c**3 + 7*c**2 + 9*c + 3. Let d be q(8). Let l(x) = 2*x - 18. Let z be l(d). Suppose z*i - 3 = -0*g + g, 0 = -5*g + 2*i - 15. Are -1 and g nonequal?
True
Let s be (360/(-207))/(18/9). Are s and -1 unequal?
True
Let m = -2.5 + 14.5. Let z = 55 - m. Are 0 and z nonequal?
True
Let z = 0 + 1. Let i be (-2 + 5)/(z + 2). Let t be 4 - (-11)/((-308)/104). Are t and i unequal?
True
Let v(f) = -f**3 + 25*f**2 - 4. Let k = -16 - -41. Let z be v(k). Suppose -4*j = -5 + 25. Which is smaller: j or z?
j
Let w be 1/3 + (-240)/(-9). Let x = 2305 - 2278. Is w < x?
False
Suppose 4 = 2*d, 0 = 2*k - 2*d - 15 - 21. Suppose -5*r + k = -45. Is 14 bigger than r?
True
Suppose 3*p = -11*p + 196. Is 13 < p?
True
Let g = 0.28 + -1.28. Let n = g - 0.2. Which is bigger: 0 or n?
0
Suppose -2*x + 9 = 5*l, 0 = -3*x + 5*l + 2 - 1. Suppose 5*j + 38 = -2*w + 3, 0 = -x*j + w - 5. Is -3 >= j?
True
Let j(k) = k**2 + 2*k - 8. Let q be j(2). Suppose 3*i - 4*i - 5*g - 24 = q, 3*i + 40 = g. Is i bigger than -16?
True
Let a be 1 + 1 + 17/((-1326)/144). Suppose 0 = -3*r - 15, 3*i + 12 = -4*r + r. Which is greater: i or a?
i
Let i = 16.3 + -15. Let s = 9.3 - i. Let t = s - 7. Which is smaller: t or -0.08?
-0.08
Let s(q) be the third derivative of -q**5/60 + q**4/6 + q**3 - 2*q**2. Let z be s(6). Let w be 5/(-60)*(-2)/z. Is -1 at most as big as w?
True
Let d = 1019 + -1020. Does 5/138 = d?
False
Let z = -31 + 3. Let n = z - -139/5. Let a(b) = b**2 - 8*b - 21. Let s be a(10). Is n smaller than s?
False
Let f = 3355361/2265 + -7407/5. Is f less than or equal to -1?
False
Let i = 16.6 + 0.4. Let d = -20 + i. Let w = 38 + -73/2. Is d equal to w?
False
Suppose -10*o = -4*f - 15*o - 5, 5*f + 2 = -2*o. Is -1/863 equal to f?
False
Let j(k) = -k**3 - 6*k**2 - 4*k + 18. Let h(b) = b**3 + 5*b**2 + 5*b - 16. Let r(v) = 2*h(v) + 3*j(v). Let n be r(-7). Is n at least as big as -9?
False
Let b be (-5178)/216 - ((-8)/(-18))/(-2). Is