uppose -2564 - 1596 = 2*p. Let i be p/(-900) - (-8)/10. Which is smaller: i or 0?
0
Let h = -4014 + 2364247/589. Are 0 and h nonequal?
True
Suppose 24*g + 60 - 84 = 0. Which is smaller: g or 1/98?
1/98
Let z(j) = j - 6. Let r be z(5). Let d be -2*(r + 28) + 3. Which is smaller: d or -50?
d
Let y = -2.319 + 0.019. Let f = 1 + y. Let m = 1.3 + f. Are m and 6 nonequal?
True
Let d be 6/(-21) + 48/21. Let i(o) = 11*o**2 + 9 - 8*o + 2*o**2 - d*o**3 - 4*o + o**3. Let x be i(12). Is 7 > x?
False
Let f = -12 - -45. Suppose 2*j - 160 = -3*j. Which is smaller: f or j?
j
Let v = 246 + -134. Suppose -2*g + 6*g = -v. Let b be (0 - (-2 + -5))*1*-4. Are g and b equal?
True
Let v = -0.032 + -86.968. Let g = -87 - v. Is 7 at least g?
True
Let y be (-187)/(-476) + (-1)/7. Which is greater: y or -1.11?
y
Let t = 15 - 10. Let h(w) = -w**3 - w**2 - t*w - 6 + 0*w**2 + w**2 - 3*w**2. Let d be h(-3). Which is bigger: 1 or d?
d
Let l = -56 - -231. Let p = l - 160.8. Let z = 11 - p. Is 0.1 greater than z?
True
Let h = -670 + 585. Are -86 and h equal?
False
Let f be (1/(-2))/(2/12). Let b(t) = -3*t - 35. Let o be b(-11). Let l be (o/4)/((-10)/(-30)). Which is greater: f or l?
l
Let y be (2/(-8)*-2)/(-11). Let p = -79 + 79. Is p < y?
False
Suppose 29*m - 35*m + 270 = 0. Suppose 11 = o - m. Is o greater than or equal to 55?
True
Suppose -60*i + 56*i = 0. Let o = -4 + 19/4. Do i and o have the same value?
False
Suppose 252 = -48*w + 30*w. Suppose 0*t - 66 = 5*t - k, -k = t + 18. Is t >= w?
True
Let u(t) = t**3 + t**2 + 2*t + 5. Let f be u(0). Suppose -2 + 7 = f*k. Are k and 6/13 equal?
False
Suppose -20*v = -12*v + 3544. Is v at most -442?
True
Let v = 1530 + -2379. Does v = -849?
True
Let n = -16.033 - -0.033. Let m = 0 - n. Is 1/4 less than m?
True
Let v be (-5)/4 - (-6)/24. Let o = 0.834 + 0.166. Does v = o?
False
Let q be 58/(-476) + (-18)/126. Let d = q + 571/2414. Is 1 at most as big as d?
False
Let m(c) = c**2 - 7*c + 8. Let d be m(6). Let l be ((-4)/8)/((-1)/d). Let i be (-2)/4 + l/(-2). Which is bigger: -1/4 or i?
-1/4
Let j = -10721/285 - 56/57. Which is smaller: j or -39?
-39
Let g(y) = y**2 - 9*y + 16. Let t be g(3). Let s be 2 + 1*(-24)/t. Which is greater: s or 16?
16
Let l(o) be the second derivative of -5*o**3/6 + 3*o**2/2 - 4*o. Let v be (-2)/(-6) + (-14)/42 - 3. Let p be l(v). Which is greater: p or 17?
p
Suppose 0 = 4*a + a - 10. Let v(d) = -27*d - 130. Let k be v(-5). Let i be -2 + k/2*a. Which is bigger: 2 or i?
i
Let b = 25050/31 - 808. Is 0 at least as big as b?
False
Let o be 2 - -1 - (-81)/15*1. Which is greater: o or 8?
o
Let o = 643.89 - 647. Is o at least as big as 0?
False
Let d be (2/(-1))/(-3 - (0 - 1)). Let q be (d + -4)/3 + (-124)/(-44). Is q < 1?
False
Let f = -1546 - -1570. Is f less than 30?
True
Let z be (-20)/(-140) - -4*(-8)/(-28). Which is greater: 0 or z?
z
Let s = 1979/205590 + -1/1869. Which is smaller: -1 or s?
-1
Suppose -2*a - 2*t - 2 = 22, -5*t + 5 = 0. Which is smaller: -2/103 or a?
a
Let x = -210 + 154. Is -1/3 less than or equal to x?
False
Let k = -17 + 31. Let o(v) = v**3 - 10*v**2 + 7*v + 23. Let a(b) = -3*b**3 + 31*b**2 - 19*b - 68. Let m(w) = 4*a(w) + 11*o(w). Let t be m(k). Is t > -5?
False
Suppose 2*d - 2*j - 11 = 7, -4*j = 4. Suppose 0*n + 144 = 3*n. Let k = n - 43. Are d and k non-equal?
True
Let t = -235 - -207. Which is greater: 2 or t?
2
Let t be ((-12)/(-21))/(-2) + 7068/42. Which is greater: 166 or t?
t
Let j be (-4)/(-20)*0/(-3). Suppose j = p - 13 + 20. Let z = 10 + p. Which is smaller: 7 or z?
z
Let r(s) = 3*s**2 - 5*s - 7. Suppose 0 = -3*v - 2*m - 13, 0 = 2*v - 4*m - 2. Let j be r(v). Is 35 at most as big as j?
True
Let i(q) = 4*q**2 + 3*q - 13. Let n be i(-3). Let h = 21 + -15. Is n less than h?
False
Let n = -408420 + 7353433/18. Let x = n + -104. Is x at most 0?
False
Suppose -29*g - 25 = 4. Are g and -18/53 equal?
False
Let l be ((-1)/(8/(-66)))/((-513)/2736). Let s be (-33 - 0)/(6/8). Is l less than or equal to s?
True
Let l(d) = -d**2 + 9*d - 19. Let a be l(4). Which is bigger: a or -2/191?
a
Suppose 4*z - 5*i + 5 = 0, 3*z + 0*z + 4*i = 4. Suppose -4*m + 19 - 3 = z, 5*w - m = 56. Let d = w + -12. Is -2/13 <= d?
True
Let d = 92697377100 - 68688837867316/741. Let p = d + 1425248/13. Let c = p - -266. Is 1 greater than or equal to c?
True
Let l(v) = -v**3 - 16*v**2 - 9. Let h be l(-16). Which is greater: h or -88/9?
h
Let h = 1/34 - 5/34. Let u be -1*(0 + (-3)/3). Which is bigger: u or h?
u
Suppose 0 = -5*b + 4*f + 25, -3*b = -6*b - f - 2. Let n = -622.93 - -619. Let p = n - 0.07. Which is bigger: b or p?
b
Let b = 0.013 + 33.987. Let j = b + -35. Which is bigger: 22 or j?
22
Let r = -55/4 - -263/20. Let t = -7/20 - r. Let k = 0 - 1. Is t bigger than k?
True
Suppose 3*h = -h. Suppose h = -5*m + 3*m. Suppose m = -4*w + 5*w. Is 1 > w?
True
Let m = 110 - 51. Do 0 and m have the same value?
False
Let y be (-272)/6*(-1 - 5)/72. Let b = y - 220/63. Let v = -13 - -9. Is b bigger than v?
True
Let n = 114/7 + -59608/3661. Let h = n + -1124/20397. Is 0 smaller than h?
False
Let h(l) = 5*l + 16. Let w be h(-5). Let y = w - -37. Which is smaller: 29 or y?
y
Let l = 3.6288 + -0.2288. Let x = 4 + -3. Which is greater: x or l?
l
Suppose -3816 = 25*j - j. Is j less than -159?
False
Let g = 4009711/105 - 38188. Let f = -15/8 - -509/280. Let j = f + g. Does j = 0?
False
Let d = -20 - -14. Let a be ((-2)/(-4))/(9/18). Is a > d?
True
Suppose 4*x + 193 = 3*h, 6*x - 2*x = -4*h + 248. Let k = h - 34. Suppose -4*d + 2*a = -3 - k, -5*d - 4*a = -27. Which is smaller: d or 8?
d
Let i = 534 - 534.6. Let b be 3*-1 + (-60)/(-18). Is b less than i?
False
Let u = 537/260 + -69/20. Suppose 5*g - 2*d + 2 = g, 3 = 3*g + 3*d. Is u >= g?
False
Let k = 1783 - 1772. Let l = -13 - -25. Let d = l - k. Which is greater: -0.1 or d?
d
Let n(y) = -y**2 + 10*y + 9. Let x be n(4). Let a = x + -31. Which is greater: a or 3/2?
a
Let v = -58 - -40. Is v > -0.4?
False
Let x be 520/78*15/4. Is x not equal to -2?
True
Let l = -18 - 4. Let d = -22 - l. Is -2/7 smaller than d?
True
Let f = -16 - -8. Suppose 0 = 2*o - 4*o + 8. Suppose -2*v - 10 = o. Which is greater: f or v?
v
Let w(z) = -3*z + 11. Let d(f) = -2 + f - 2*f - 2 + 2*f. Let q(r) = -17*d(r) - 6*w(r). Let n be q(-2). Are 2/9 and n equal?
False
Let q be (-6 + 28/6)*(-6)/28. Let w = -4 - -3.5. Which is greater: w or q?
q
Let u = -24.1 - -22. Let q = -0.2 - -2.2. Let g = q + u. Is g < -7?
False
Let v(n) = 2*n**3 - 13*n**2 - 23*n - 7. Let w be v(8). Is w equal to -1/53?
False
Suppose -52 = 5*l - 4*z, -l + 5*z = 2*l + 26. Let g = l + 11. Let s = 0 - g. Are s and 2 unequal?
True
Suppose 5*l - 15*z - 234 = -17*z, -l + 2*z = -42. Is l at least as big as 40?
True
Let a = -1 + -3. Suppose -9*t - 10 = -7*t. Let k = a - t. Which is bigger: k or 3?
3
Let q = 38 + -15. Let z be 1*(4 - (q + 2 - 2)). Which is bigger: -21 or z?
z
Let l = 0.947 + -17.947. Is l equal to 2/5?
False
Suppose -10*y - 130 = -75*y. Which is smaller: y or 15/16?
15/16
Let h = -178 + 181. Is 4 >= h?
True
Let r = -893 - -893.4. Which is smaller: -71 or r?
-71
Suppose 0 = -3*h + 19 - 1. Suppose h*g - 2*g = 4. Which is bigger: 12/11 or g?
12/11
Let u = -862 + 834. Which is greater: u or -38?
u
Let n = 0.33 + 12.67. Let f be -3 - -3 - (-1 - 0). Which is smaller: f or n?
f
Let w = -224 + 223. Which is bigger: -2/307 or w?
-2/307
Let z = -21 - -17. Let t be 1 + (-108)/(-28) + z. Which is smaller: t or 2?
t
Suppose 2*o = 4, -3*b - 3*o + 19 = -26. Is b < 18?
True
Let x = 4.89 + -1.89. Which is bigger: -29 or x?
x
Suppose 0 = 6*w - 33 - 33. Let s be (2/2 - -10)/1. Do w and s have the same value?
True
Let d = -60/91 + 16/13. Suppose -5*b = n - 4*n - 13, -n + 19 = 3*b. Let h = 6 - n. Which is bigger: d or h?
h
Let p = 810 - 809.6. Is 1.49 greater than or equal to p?
True
Let c(g) = -10*g - 20. Let x be c(7). Let y be x/28*49/(-42). Is y at least as big as 3?
True
Suppose 15 = c - 0*c. Let w be (c + -1)*(-7)/(-14). Suppose -40 = -3*t - 2*t. Which is greater: t or w?
t
Let x = -8 + -11. Let q(s) = 4*s + 6. Let o be q(-6). Which is bigger: o or x?
o
Let g = 3.4 - -2.1. Let n = g - -8.4. Let u = n + -14. Do u and -1/6 have the same value?
False
Suppose x = 12*x + 1199. Is -108 less than or equal to x?
False
Let l(i) = -i + 2. Let c(f) = f**2 - 5*f - 6