?
True
Suppose -15*i + 10*i = r - 197, -3*r - 169 = -4*i. Suppose 5*k - 2*u - 3*u = i, -4*k + 2*u = -32. Which is smaller: 11 or k?
k
Suppose -g + 23 = 45. Are g and -87/4 non-equal?
True
Let g = -4.5 - -10.4. Let t = g + -6. Let d = -4370/13 - -336. Is d greater than or equal to t?
False
Let d = -399/598 + 18/23. Is 0 greater than d?
False
Let i = 33 + -32. Let y be i/(3/(-9)) - -2. Which is greater: y or 1/47?
1/47
Let g = -19 + 21. Suppose 2*j - 2*u = 4*j + 50, g*j + u = -49. Let q = j - -23. Which is greater: 2/7 or q?
2/7
Suppose 0 = -3*w + i + 2 - 4, 10 = -5*w + 3*i. Let q = -80243/36 - -2229. Is w > q?
True
Let h = 59 + -100. Let q = -42 - h. Which is smaller: -2/23 or q?
q
Let m(c) = -2*c**2 + 9*c + 12. Let y be m(9). Let n(r) = 71*r**3 - 2*r - 1. Let w be n(-1). Is w greater than y?
False
Let z(t) = t**3 - t**2 - t + 1. Let l be z(1). Let q be (-2)/(-1) + 2182/(-996). Let o = 2/83 + q. Which is greater: l or o?
l
Let v be (-28)/7 + 448/114. Is -1 less than v?
True
Let s be (4 - 1)*1 - 25*-2. Which is bigger: s or 52?
s
Let n(a) = -16*a. Let s be n(-3). Suppose 0*g - 4*g = s. Let f = -20 + 8. Are g and f equal?
True
Let c be 3/3 + (-1743)/(-510). Let a = 43/10 - c. Suppose -4*v - 19 = 3*z, v - 5*z = 2*v + 26. Does a = v?
False
Let l(k) = 2*k**3 + 16*k**2 - 14*k - 31. Let x be l(-9). Which is smaller: -66 or x?
x
Let a be ((-21)/((-252)/23064))/(1 + 4). Is 385 != a?
True
Suppose 0 = -52*g + 57*g + 1075. Which is smaller: g or -216?
-216
Let l = -850 - -850. Is 1/13 at most as big as l?
False
Let c be (-6425)/55 + 2 + -6. Let m = 121 + c. Is 2/9 at least as big as m?
True
Let y(f) = 2*f**2 + 25*f - 41. Let l be y(-14). Which is greater: 3/356 or l?
l
Suppose -2*s + 17 = -1. Suppose 0 = -s*p + 3 - 12. Which is smaller: -7/4 or p?
-7/4
Let k be 5/(-11)*(-81)/(-45). Let b = 38 + -39. Which is greater: b or k?
k
Let l = 2/251 + -773/2510. Which is smaller: l or 0?
l
Let z = 81 + -183. Let c be (z/(-5))/(18/80). Let a = c + -89. Is a at most as big as 0?
False
Let p(m) be the second derivative of m**4/6 - 7*m**3/6 + 4*m**2 - 6*m. Let v be p(4). Let w = -11 + v. Is 1 at most as big as w?
True
Suppose -2*b = 5*t - 98, 214 = 4*b - 3*t + 4*t. Let o be b/(-10) + 8/20. Which is smaller: -2 or o?
o
Suppose 5*t = -2*m - 0*m + 28, 2*t + 3*m - 20 = 0. Suppose 0 = -3*z, -3*h - h + t*z - 28 = 0. Which is bigger: -35/6 or h?
-35/6
Let z = -47 - -50. Let m be (-1)/(-3) + 186/90. Is z less than m?
False
Let g = -46146/253 - -3066/23. Does g = -48?
False
Suppose d + x - 36 = 0, 0 = d - 3*x - 0*x - 28. Suppose 6 = 4*b + d. Which is bigger: b or -5?
-5
Suppose -40 = -4*b + 24. Let m = b - -5. Suppose -5*o - 34 - m = 0. Is -13 >= o?
False
Suppose 4*r = -o - r + 277, 0 = -4*r + 12. Do o and 260 have the same value?
False
Let t be (4 + (-13 - 36))*1/(-3). Is t <= -4?
False
Suppose 3*g = 3*l + 12, 3*l - 2*g + 4 = -g. Suppose 5*k - 787 + 62 = l. Let h be k/255 + 2/(-6). Which is greater: h or 1?
1
Suppose 2*j - 19 = 19. Let d = j - 17. Suppose -d*c = -5*c + 2*r - 3, 4*c + 4 = r. Which is smaller: c or 6?
c
Suppose 4*b - 3 + 7 = 3*i, 2 = 2*i - 2*b. Which is smaller: -8/17 or i?
-8/17
Let x = -13 + 15. Suppose -2*m = -3*z - 6, 2*z = -4*m - 2 - x. Let h(g) = -3*g - 5. Let y be h(z). Which is smaller: y or 3/8?
3/8
Let s = -148 - -147. Let q = 867 - 11277/13. Is q equal to s?
False
Let n be 56 - 44 - (-1 + 11). Is n != 42/73?
True
Let o = 1/66 + -50/33. Which is smaller: -0.6 or o?
o
Let x = 0.3222 + -2.3222. Suppose 2*p - 5 = p. Which is smaller: p or x?
x
Let f = 87 - 86. Let p be 6*(-4 + 0 + f). Is -18 equal to p?
True
Let m be -3 + -5*3/(-3). Suppose 3*y - 37 = -m*n - 3*n, y - 17 = -4*n. Suppose -11*x = -y*x. Is -1/7 smaller than x?
True
Let x = 6 - 38/7. Suppose -o - k = 5, 2*k = -o + 6*k + 20. Suppose -2*f + h - 1 = -o, -4*f = -4*h + 12. Which is bigger: f or x?
f
Let m be (-507)/88 - (-3 + 2 + -5). Is m > 0?
True
Let k = -967.533 + -1.467. Which is greater: 1/2 or k?
1/2
Suppose -1 = -c + 6. Let o = 3.66 - 44.46. Let y = o - -41. Is c >= y?
True
Let f = -7 + 2. Let n = -132 - -134. Which is greater: n or f?
n
Let g = 67/3 + -22. Let l = -15 - 15. Let d be 8/l*(-90)/36. Which is bigger: d or g?
d
Let o = -3 - -13. Let l = o + -15. Is l <= -6?
False
Let z = 1/384 + -1067/41088. Is z at most 0?
True
Let n(r) = -r**3 - 10*r**2 + 26*r + 25. Let f be n(-12). Is 9/97 smaller than f?
True
Let q = -1.43 + 1.343. Let i = 3.913 - q. Which is bigger: i or -6/13?
i
Let b = 1149 - 1160. Let o = 1.9 - 2. Which is bigger: b or o?
o
Let s = 2/41 + -47/123. Let w = 17 + -82/5. Does w = s?
False
Let n(d) = 4*d**3 - 2*d - 2. Let z(f) = f**3 + 5*f**2 + 5*f + 3. Let t be z(-4). Let x be n(t). Do -7 and x have the same value?
False
Let l be (((-64)/(-30))/4)/((-45)/(-75)). Suppose 0 = -5*q + 9*q - 8. Which is smaller: l or q?
l
Let j = -77 + 193. Which is smaller: j or 115?
115
Let b = -2 - -1.9. Let k = -1.298 - -0.298. Which is greater: b or k?
b
Let w(u) = u**2 - 9*u + 7. Let k be w(7). Let b = 14 + k. Suppose o - b - 8 = 0. Which is bigger: 14 or o?
o
Let g = -46 - -47. Let l be -3 + g - ((-2 - -1) + -37). Are 36 and l non-equal?
False
Let i = 0.1385 + 6.6615. Which is bigger: 1 or i?
i
Let u(v) be the third derivative of v**5/30 - v**4/24 - 7*v**3/6 + 7*v**2. Let n be u(4). Suppose 0*a - a + 21 = 0. Is a at most n?
True
Suppose -d = -m - 2*m - 32, -m = d - 20. Which is smaller: d or 21?
21
Suppose 0 = -4*m + 3*m - 944. Let y = -2963001/1120 - -54451/32. Let u = m - y. Which is greater: -1 or u?
u
Let n be (-2*(-4)/(-40))/(40/100). Which is bigger: 28 or n?
28
Suppose -m + 46 - 45 = 0. Is m at most as big as 2/63?
False
Let u be (4/12)/(3/162). Suppose -9*x + u = -27. Are 1 and x unequal?
True
Let r be (-2)/(-3) - 20/3. Suppose a - 3*v = -4 + 17, 0 = 4*a - v + 14. Is r not equal to a?
True
Suppose -42*d + 37*d - 5 = 0. Is d > 28?
False
Let b be (-898)/(-1260) + 4/(-5). Let o = -37/18 + b. Which is bigger: -3 or o?
o
Suppose -37*o - 482 = -1703. Is o != 135/4?
True
Let z be (-3)/(6/10) + 87 + -84. Are -14/5 and z equal?
False
Let b = 8/603 + 3370/18693. Which is greater: -1 or b?
b
Let j = -1940 - -17458/9. Is -33 <= j?
True
Let r = -63 + 65. Let t be 3*-28*r/(-3). Is t bigger than 57?
False
Let a = 368 + -735/2. Which is smaller: 6.3 or a?
a
Let j be 4/10 + 271872/320 + -7. Which is smaller: -2/3 or j?
-2/3
Suppose 2*w - 6*o + 3*o = 103, -241 = -5*w + 2*o. Is 47 at least as big as w?
True
Suppose 5*s + 3 = 5*p + 23, 5*s - 20 = 0. Suppose -2*z + z = 5. Let m be 1 + z - (-280)/63. Which is bigger: m or p?
m
Let v = 65 - 68.9. Let w = -5 - v. Let p = w + -0.9. Which is greater: 0 or p?
0
Let h be (-3)/15 + (-28)/(-340). Let i(n) = -n**2. Let o be i(0). Is o less than or equal to h?
False
Let u = -368 - -363. Is u less than -63/11?
False
Suppose -2*z + 0*z + 23 = -3*p, 0 = 5*z + p - 100. Let f = -31 + z. Let m be ((-4)/f)/((-3)/(-9)). Does 3/2 = m?
False
Suppose -4*v + 415 = 987. Which is smaller: v or -144?
-144
Suppose d + 0*k = -2*k - 8, -2*d = -k + 1. Which is smaller: d or 0.1?
d
Let a = 195 - 221. Which is smaller: -354/13 or a?
-354/13
Let a = 10 + -4. Let i be (56/(-272))/(a/(-4)). Let u = i + 1/34. Is u at least -1?
True
Suppose -6 = -2*j + 4*j + 5*h, -4 = j + 3*h. Let t be 105/42*j/10. Which is smaller: 46 or t?
t
Suppose 3*b = 2*a + 4*b - 18, 3*a - 2*b = 34. Is a smaller than -4?
False
Let j = 859 + -578. Which is greater: 282 or j?
282
Let a = 9 - -4. Let n = -55 + 57. Let g be n/(-4) - (-46)/4. Are a and g non-equal?
True
Suppose -65 - 16 = 9*c. Which is smaller: c or -11?
-11
Let n be ((-6)/(-5))/((-384)/240). Which is smaller: -1 or n?
-1
Let r be (237/158)/(33/(-4)). Which is bigger: 2 or r?
2
Let s be (-1 - 3) + (-2)/(-1) + 4. Suppose 3*p + 5*t + 8 = 0, -2*p + s*t + 3*t = -3. Which is smaller: p or 1/198?
p
Let z be -1*3*(-6)/10. Let d(h) = 72*h - 1221. Let o be d(17). Which is greater: o or z?
o
Suppose -13*v = -26*v + 1040. Is 81 > v?
True
Suppose -5*n + 16 = 2*c, -47*n - 5*c = -45*n - 19. Suppose -f - 2*b - 7 = 0, -12 = 2*f + f + 3*b. Let a be f/(-4)*(-8)/7. Which is greater: n or a?
n
Let p(x) = x**3 + 3*x**2 - 3*x - 1. Let h be p(-2). Let c = -17 - -19. Let v be -16*(0 + -1)/c. Which is smaller: v or h?
v
Let k = -48.6 + 48. Let q = k - -0.44. Is q >= -1?
Tr