as q?
True
Let x be 3*(-4)/6*-5. Suppose 17*o = x*o + 21. Let d(g) = -g**3 - 5*g**2 - 7. Let k be d(-5). Is k >= o?
False
Let a be 56/(8512/(-190))*(-8)/(-297). Which is smaller: a or 3?
a
Let m be (-2 + 2)*(2 - 3). Suppose i + 22 = 4*k - 1570, -k - 5*i = -398. Let x = k - 2785/7. Which is smaller: x or m?
m
Let b = 324.21 + -324.21. Let v = -41 - 15. Do v and b have different values?
True
Let u(f) = -f - 12. Let v(h) = 12*h**3 + h**2 + h + 1. Let k be v(-1). Let y be u(k). Let d = -95401/68 + 1403. Which is greater: d or y?
d
Let w = 26.34 - -0.66. Let q = -214 - -227. Let c = q - w. Are c and 0 nonequal?
True
Let q be (2/86)/((-2)/6). Suppose -220 = -14*r + 844. Suppose -6*k + r = 82. Which is smaller: q or k?
k
Let b be 5/(2*(-1)/(-20)). Let q = 49 - b. Let x be -1 + 3 + (-1032)/522. Which is greater: q or x?
x
Let u = -2.79 + 8.42. Let z = u + 110.36. Let m = z - 116. Is m at most -4?
False
Suppose -2*a - 2*u = -0 + 2, -3*u + 2 = -2*a. Let y be (-12147)/2*136/731 + -3. Let j = -1133 - y. Which is smaller: j or a?
a
Let y = -6948/53 + 131. Let x = y + 295/318. Which is smaller: x or 14?
x
Let t be 2 + 7/(-5) - 27/45. Suppose 2*q + 4*o = -6, -4*q + 3*q + o + 3 = t. Which is greater: 1/9 or q?
q
Let l = 35 + -31. Let m = 0.15 + -7.15. Let f = -6.8 - m. Does l = f?
False
Suppose -12*j = -11*j - 1. Let o(w) = 42*w**2 - w - 11. Let p be o(-5). Let c = 58467/56 - p. Are c and j equal?
False
Let j = -38 - 462.8. Let g = j + 501. Suppose -2*v = -4*v + 16. Which is smaller: v or g?
g
Let v = -115.1 + 115. Let n = -9 + 9.7. Let l = n + -26.7. Is l <= v?
True
Suppose 3*z = -3*i + 30, z - 2*i = -2*z + 5. Suppose 0 = -5*x - z + 45. Is x greater than or equal to 84/11?
True
Let r(g) = g**2 - g - 2. Let q be r(3). Suppose 5*f = q*f + 8. Let k(c) = c**3 - 9*c**2 + 7*c + 11. Let l be k(f). Which is smaller: -3 or l?
-3
Let g be (64506/(-432) - 0) + (-8)/(-18). Let z = g + 149. Which is smaller: z or 4/7?
z
Let r(j) = 10*j + 57. Let n be (((-6052)/16)/(-17))/(2/16). Suppose -n*o + 176*o = 12. Let u be r(o). Are -3 and u nonequal?
False
Let n be (5 - 4)*4*101/2*-1. Is n < 4/3?
True
Let s be 2/(-3) + 322/4389. Let h = s - -10/11. Let q(y) = y**3 + 23*y**2 - 209*y + 29. Let k be q(-30). Which is smaller: k or h?
k
Let y(q) = -72*q**3 - 2*q**2 - q + 1. Let r be y(-1). Let s be r/(-90) + 1014/1280. Is 0 > s?
True
Suppose -5*m + 32 = -3. Let u = m + -8. Let d be -6 + 8 + (-592)/298. Which is smaller: u or d?
u
Let a = 1080 + -1081. Which is greater: -9 or a?
a
Let g = -4911 - -4895. Let n be (6/4)/(6/(-56)). Which is bigger: g or n?
n
Let a = -100.9 + 100.4. Is a smaller than -3.6?
False
Let c = -5910190 + 4225791324/715. Let s = c + -100/13. Which is bigger: s or 1?
1
Let w = 19056 - 76225/4. Is -28/247 < w?
False
Let s = -602 + 601. Let o = 4.35 - 0.65. Is s > o?
False
Suppose 10 = 4*q - 7*q + 5*j, -2*q - 2 = -j. Suppose q = 2*t + 5*a - 0*a + 545, -533 = 2*t + a. Which is greater: -266 or t?
t
Let h be (-4 - -13) + -2 - 5178/740. Is 0 equal to h?
False
Let g = -11 - -11. Suppose h = -4*h + 4*i + 10, 5*i = g. Suppose h*y = -2*s - 4, 0*s = -s + 5*y + 4. Is -2/43 less than or equal to s?
False
Suppose -7*v - z + 941 = -5*v, 4*v = 2*z + 1894. Is 469 bigger than v?
False
Let v = 0.1085 + -0.1195. Let w = -10 - -9.921. Let d = w + v. Is d != 2?
True
Let j = 11 - 35. Let y = -23.9 - j. Let p = 24 - 34. Is y at least p?
True
Suppose -3*x = 10*d - 11*d - 2571, -5*d = 5*x + 12855. Which is greater: -2569 or d?
-2569
Suppose 0 = -4*d + 32 + 4. Suppose -o - d = -19. Suppose -o*q - 4 = -8*q. Which is bigger: q or -10/3?
q
Let b be (-8)/10*2/(-4). Let u = 148.235 - 3.235. Which is bigger: u or b?
u
Let k(w) = 50*w + 1577. Let p be k(-32). Is -220/9 at most as big as p?
True
Suppose 3*d + 4*i = -46 + 129, 53 = 3*d - 2*i. Suppose -16*m + d*m = 10. Let f be (41/(-20) + m)*(4 + 2). Are f and -1 unequal?
True
Let b be -8 - ((-8)/(-18) + 1314/(-162)). Which is greater: b or 2016/11?
2016/11
Let h(n) = 886*n + 1775. Let g be h(-2). Which is smaller: g or 65/17?
g
Let g(p) = -p**2 - 1. Let w be g(-2). Let j be 14/10 - (-2)/w. Let i = 84145/4 - 21036. Which is bigger: j or i?
j
Let x be (8*(-4)/(-24))/((-56)/8508). Which is greater: x or -203?
x
Suppose -2*g = g - 2*c - 8, 0 = -g + 3*c - 9. Suppose 0 = g*k + 6*k - 24. Let r be 24/14 - k/1. Which is smaller: -0.35 or r?
-0.35
Suppose -87*b + 59970 = 9697 - 12628. Which is bigger: 2895/4 or b?
2895/4
Let z = -195 + 1765/9. Suppose 5*b + 21 = 3*l, -3*b - 6 = -5*l + 45. Suppose -l*a = 66 - 78. Is z at most as big as a?
False
Let x(b) = -431*b**2 + 9*b - 12. Let h be x(6). Is h > -15474?
False
Let f be 3 + -3 + 0 + -5. Let w be 1 + 7 - (20/f - 0). Let t be 735/(-12) + w/(-16). Which is greater: t or -63?
t
Let g = 68042/5 + -13708. Which is greater: g or -101?
g
Suppose -204 - 96 = -5*c. Let t = c + -46. Suppose 3*x = x + 30. Is x at most as big as t?
False
Let a = -0.06 + 0.05. Let j = -1.01 - a. Let f = -447 - -429. Is j < f?
False
Let a = 1670 + -1644. Let k = -211 + 185.2. Let s = k + a. Which is greater: -1 or s?
s
Let x(j) = -233*j - 766. Let l be x(-4). Which is smaller: 171 or l?
l
Let k(n) = n + 9. Let g be k(8). Let c be 1*((-4 - -1) + g). Suppose -3*q = 2*b - c, 0*b + q = -4*b + 8. Is 8/9 at most as big as b?
True
Suppose 4*z = -2*i + 4, z = 2*i - 0 + 1. Let j be 0/(-2 - -4) + 19*z. Suppose -w - 18 = 5*s, -w + j = -5*s + 7. Which is smaller: -1 or s?
s
Let g = 532 - 556. Which is smaller: g or -1/7?
g
Let o = -63 - -61. Let m be 3/((-8820)/(-1243))*o + 2. Let p = m - -3/245. Is p < 2?
True
Let m be ((-16)/(-186))/(-2 + 24/9). Let w be ((-2)/8)/(6/(-24)). Suppose 0 = -i - 0*i - w. Which is greater: i or m?
m
Suppose 25 = -7*q + 12*q. Let g be (q - (-220)/(-36)) + 2. Suppose 0 = -6*d + 2*d + 8. Which is smaller: d or g?
g
Let h = 10956.6 - 9634. Is h greater than -2/7?
True
Let y = 103 + -38. Let a = -69 + y. Do a and -11 have the same value?
False
Let c = -8 + -38. Let t(o) = -1013*o + 10085. Let w be t(10). Is w bigger than c?
True
Let l(a) = a**3 - 3*a**2 + 9*a - 7. Let w be l(1). Let x = 3 - 15. Let n be ((-15)/x)/(42/(-24)). Which is smaller: n or w?
n
Let v = -81/37 + 650/111. Suppose 20 = -5*n + 9*n. Are n and v unequal?
True
Let p = -1 + 4. Suppose -2*c - 5*r = -3*c - 15, 0 = p*r - 6. Let k = -21000 + 20988. Is c < k?
False
Let p be (35/20*4/14)/2. Let u(t) = 5*t + 28. Let x be u(6). Suppose -c = c + x. Which is bigger: c or p?
p
Let x(m) = -2*m**2 + 25*m - 40. Let v be x(13). Let o be (v + 48)/(-54 + 0). Which is smaller: o or 1?
o
Let p(i) = -i**2 - 6*i - 9. Let r be p(4). Let z = r + 50. Let n be z/(-3) + (-46)/(-30). Which is smaller: n or 2?
n
Let a = -19 + 23. Let k(y) = -9 + a*y + y**3 - 12*y**2 + 2 + 11*y**2 + 2*y. Let d be k(3). Which is bigger: 30 or d?
30
Let u(z) = 6*z - 33. Let y be u(5). Let v be -87 + (-10 - (y + -2)). Let b = v + 76. Which is smaller: -2/7 or b?
b
Let y be (-316)/(-10)*5655/(-78). Are y and -2290 nonequal?
True
Let c(f) = 5*f**2 + 6*f + 5. Let h be c(-1). Let m = 2396 - 16745/7. Which is bigger: m or h?
h
Let t = 314.1 + -303.8. Is -12/19 less than t?
True
Suppose 42 = 3*n - 2*s + 714, 2*s = 5*n + 1116. Let v be (556/(-6))/((-148)/n). Which is smaller: -138 or v?
v
Suppose 58 = 2*r + 4*o, -5*o = 2*r - 4*o - 67. Suppose 8*w = -r - 5. Let q be 3*9/6*-1. Which is smaller: w or q?
w
Let t(n) = 4*n - 18. Let h be t(6). Let r be 2 - (-5)/((-25)/20). Let a be h/10 + ((-68)/5 - r). Is a less than -11?
False
Suppose -43*t - 66 = -21*t. Let d be 4/t - 3*1/(-9). Is 2/19 != d?
True
Suppose 34 = 4*m + 10. Suppose 0 = 2*l + 6*l + 16. Let n be (15/(-5) + -7)*l/5. Is n smaller than m?
True
Let n = -0.8237 - -0.9237. Are n and 629 equal?
False
Suppose 7*y - 20*y - 1539 = -1526. Which is bigger: y or -2/2499?
-2/2499
Let q be ((-45)/(-20))/(-2 - (-385)/56). Is 0.07 != q?
True
Suppose -5*k + 1412 = -123. Let m = -463 + k. Let v be (-8)/(-52) + 50/m. Is v != -2/9?
True
Suppose 2*g - 2378 = 2*c - 2968, -5*g = c + 1511. Which is greater: -1506/5 or g?
g
Let m = 15521 + -15520.9. Do m and -13951 have the same value?
False
Let s be 2/(-8)*-1*712/188. Let z = s + 10376/235. Let v = z + -188/5. Which is bigger: 7 or v?
v
Let r = -4351 + 3657. Are -694 and r equal?
True
Suppose 5*c + 40*z = 39*z - 3006, 0 = -2*c