48*(-5)/205. Do -3.5 and s have the same value?
False
Let b = 7386 + -7384. Which is smaller: -1014 or b?
-1014
Let a be -24 + 2 + -1 + 0. Let r = 95 + 14. Suppose -x - x = -5*b - r, 0 = -4*x - 12. Is a > b?
False
Let t be (6 + -1 + 0)*(-57)/5. Let q = -54 - t. Suppose 5*b - 8*b - 165 = -f, -2*b = -q*f + 110. Is -56 greater than b?
False
Suppose -335659*o + 335635*o = 161688. Is -6740 less than or equal to o?
True
Let i = -28 - -82/3. Let y(d) = d + 1. Let h be y(5). Let a be ((-5)/((-15)/h))/(-1). Which is bigger: i or a?
i
Let a be 2*(7 + 20/(-8)). Suppose -195 = -6*s + a*s + 3*d, -s + 2*d = 77. Do s and -67 have different values?
True
Let d be 640/5 - ((-144)/2)/(-8). Are d and -11 non-equal?
True
Let w = -665 - 171. Let c = -839 - w. Which is bigger: 104 or c?
104
Let r = -10363 - -31091/3. Is r greater than or equal to 5.639?
False
Let r = 0.014 + 0.049. Let u = r + 0.037. Is u bigger than 111?
False
Suppose 29*y - 31*y = 50*y - 55848. Is 1072 smaller than y?
True
Let z be 6/(-72) + 1944382/264. Is z smaller than 1?
False
Let l be (10*(-2)/(-12))/(1/(-99)). Let q = -341 - l. Which is greater: q or -175?
-175
Let j(p) = -p**3 - 10*p**2 - 8*p + 8. Let i be j(-9). Let t be ((-80)/3160)/(1/(233/30)). Let c = 5/79 + t. Which is bigger: i or c?
c
Let u = -4635 - -4642. Which is greater: -7/2 or u?
u
Let j = 67 - 60. Suppose j*c - 8 = 69. Are 13 and c unequal?
True
Let v be (-146)/292*(-2)/97. Suppose -6*x = 5*d - 2*x + 25, 5 = -x. Which is greater: v or d?
v
Let w = -12/2353 - 2028250/7059. Let o(f) = -f**3 - 19*f**2 + 55*f + 54. Let r be o(-22). Let h = r + w. Is h equal to 8?
False
Let j = 28 + 252. Let c = -1306 - -1587. Are c and j nonequal?
True
Let t = -15.9422 + -0.0578. Let s = t + 16. Is s equal to -29?
False
Suppose -4*o + 5*f = -28, -4*o + 28 = -3*f + 8. Suppose 0 = o*c - 9*c - 42. Let g be (c/12)/(1/(-15)). Which is smaller: 7 or g?
7
Let s(x) = -x - 1. Let y(o) = o**2 + 13*o + 10. Let j(m) = -3*s(m) - y(m). Let k be j(-8). Which is greater: k or 13?
13
Suppose -3*p = -5*z - 566, -154 - 31 = -p - 2*z. Which is smaller: p or 189?
p
Let f = 2026 - 1739.2. Let v = 287 - f. Which is smaller: 220 or v?
v
Suppose 4*v - 5 = -17. Suppose -2 + 0 = o, 5*o + 125 = y. Suppose 118*r = y*r - 3. Which is smaller: r or v?
v
Suppose 21*g = 28*g - 1673. Let h = g - 230. Let p(j) = -6*j - 1. Let c be p(-2). Is c > h?
True
Let t be (2/(-8))/((-1106)/112). Let n = -152 - -151. Which is smaller: t or n?
n
Let h = 0.06 - 5.06. Let t = -7965 + 7969. Is h >= t?
False
Let p = 323 + -57. Let c = p + -2927/11. Which is smaller: c or 1?
c
Let u be 2/20 + 94801/1190. Which is smaller: u or 79?
79
Let n = 3136 - 3136. Let p be (-60)/(-132) - (-1)/(-2). Is p smaller than n?
True
Let n = 1.99 - -0.01. Let g = -74.96198 + -0.03802. Is n != g?
True
Let l = 11774 - 11773. Is 2718 greater than or equal to l?
True
Let w(r) = -2*r**2 + 86*r + 1183. Let y be w(69). Is -2406 bigger than y?
False
Let b = -3 - -19. Let j = 88 - 75.1. Let f = j + -12.9. Are f and b non-equal?
True
Let s = 12276.9 - 12268. Is s greater than or equal to 1/7?
True
Suppose -247 = c - 5*r, 494 = 3*c - 5*c + 5*r. Let o = 264 + c. Which is smaller: o or 19?
o
Let y(a) = a**3 + 66*a**2 + 2*a + 131. Let s be y(-66). Which is smaller: s or -2/2001?
s
Let v = -2341 + 2341.1. Is v at most as big as -1/2306?
False
Let v = -6.9 - -8. Let a = 6.9 + v. Let h = 25.43 - 25.33. Is h >= a?
False
Let h be (-25)/30 + 968/768 + 1/(-3). Is 14/11 < h?
False
Let a be (21/(-4))/(1/236). Let k be 10 + (4 - 159254/(-130)). Let x = k + a. Which is smaller: x or 1?
x
Let w be (-42)/((-3)/1) + 0/(-1). Suppose 2*g - w = 4*i - 0, 3*g = -5*i + 10. Suppose z + 143 = 5*z - g*r, 0 = -z - 5*r + 17. Which is greater: z or 33?
33
Let h = -11264778379/73908693 - 256/304151. Let q = 20/243 + h. Which is greater: -151 or q?
-151
Let v be ((806/(-39))/31)/(4/6). Let q be (-4)/15*2/12. Is q <= v?
False
Let o = -10331/5900 + 98/59. Let l = o + -647/1700. Which is greater: l or 0?
0
Let l = 4260 + -4260. Is l less than -68/71?
False
Suppose 36 = 2*i + 6*a, i + a - 2 - 4 = 0. Which is smaller: -2/28203 or i?
-2/28203
Suppose -14*i = -5*i + 216. Let h be -4 - -2 - i/25*3. Let w = h + -7/25. Is 2 greater than or equal to w?
True
Let l = -0.09046 - 145.86954. Let b = l - -134. Let h = 1.04 - b. Which is smaller: h or -2?
-2
Suppose -182*n = 317*n. Which is smaller: 34/1385 or n?
n
Let r = -2260 + -4643. Is -6902 at most as big as r?
False
Let w(q) = 7*q**3 - 19*q**2 - 30*q + 122. Let r(d) = -3*d**3 + 9*d**2 + 15*d - 62. Let p(u) = -5*r(u) - 2*w(u). Let t be p(7). Which is smaller: t or -38?
t
Let g = -77361 - -536421173/6934. Is 0 smaller than g?
False
Let a be (23 - -6 - 14)*2*(-3)/(-90). Which is smaller: 1/4796 or a?
1/4796
Let m = 305 - 307. Let l(b) = -4*b**3 - 8*b**2 - b - 2. Let v be l(m). Which is smaller: v or 1/351?
v
Let c = -0.519 - 1.481. Is c greater than or equal to -163?
True
Let r = -28 - -32. Let l = -6 + r. Let m be ((9/(-5))/((-21)/70))/l. Which is smaller: m or -13/6?
m
Suppose -c + 5*c + 4 = 0. Let m = c + 4. Let t = -36461 - -36483. Is m smaller than t?
True
Let r = 301.907 + -302. Let d = -0.033 - r. Is 20 != d?
True
Let t = -310 + 315. Suppose -12*o + 8*o - 2*s - 6 = 0, -s = t. Is o not equal to -2/173?
True
Suppose -2*q - 2 = 0, 85*f = 81*f + 2*q - 2238. Let j = f - -567. Which is smaller: 56/9 or j?
56/9
Let a be 2/(-1854)*((-67)/73 + 1). Do 1 and a have different values?
True
Suppose 0 = -2*p + p. Let f be 1038 + 1 + -3 + -1. Let x be (3903/f - 16/20) + -3. Are x and p equal?
False
Let o be 24/2426*(-10 - 351/(-36)). Which is greater: 1 or o?
1
Let m = -199 - -163. Let c be m/7 + 64/56. Let b = 4.8 - -1.2. Does b = c?
False
Let x(y) = 3*y**3 - 11*y**2 + 14*y - 22. Let g be x(3). Is g less than -16?
False
Let u(n) = -14*n + 4. Let p be u(3). Suppose -5*t - 103 = -22*r + 26*r, -5*r = -5*t + 185. Which is smaller: r or p?
p
Let l be (20/14)/(4/6). Let d = 26 - 23. Suppose -c + 4*w = d*c - 28, 0 = -3*w - 12. Is l at most c?
True
Let y = -9980.4 + 9977. Which is smaller: 0 or y?
y
Suppose 0 = -3*n, -6*x + x + 3*n = -7*x - 1196. Is -593 less than or equal to x?
False
Let b = -10789 + 10692.34. Let r = b + -2.34. Let v = r + 119. Which is smaller: 2/5 or v?
2/5
Let i = -0.0454 - -0.0638. Let b = -0.0204 + i. Is b less than -1?
False
Let s = -2/87 + 59/1305. Suppose 3*b = -3*f - 12, -22 + 8 = -4*f + 2*b. Is f at most s?
False
Suppose 0 = 2*u - 5*u - 4*q + 28, 4*u = q + 31. Let v be (-19)/(-4) - u/(-32). Suppose v = 5*w - 0*w. Which is bigger: w or 0?
w
Let f = 104 - 185. Let s = f - -39. Let z = s + 43. Which is greater: z or 0.043?
z
Let h be (-6)/11 - (-15448)/88. Suppose -4*y + 713 = 3*z, 4*z = y - z - 161. Is y <= h?
False
Let j = 158 - 158.155. Let k = -0.215 - j. Let z = 18 - 18. Which is bigger: k or z?
z
Let l = 150.842 + -0.642. Let r = l - 150. Are r and -120 equal?
False
Let a(b) = b**3 - 5*b**2 - 2*b - 1. Let v be a(4). Let h be -4 - (-3 - -1 - 5). Suppose -3*t - h*m = -51 + 108, 4*t + 2*m = -86. Which is greater: v or t?
t
Let m(t) = -5*t**2 - 49*t + 14. Let b be m(-11). Let q be (-325)/b - 6 - 2/8. Is -2/2365 > q?
False
Let o(r) = -3*r + 8. Let s(d) = -4*d + 7. Let f(p) = 5*o(p) - 4*s(p). Let u = 22 + -31. Let y be f(u). Is -2 at most y?
True
Let s(u) = 8*u**3 + 31*u**2 + 14*u + 47. Let z(n) = -7*n**3 - 28*n**2 - 15*n - 45. Let l(r) = -6*s(r) - 7*z(r). Let t be l(-8). Which is bigger: t or 1/7?
1/7
Suppose v + 326 = 16*n - 19*n, n = -2*v - 627. Let i = v + 312. Which is smaller: i or -37?
-37
Let p be (-14)/28*(-2)/(-3). Let w = 12.4 + -31.4. Which is smaller: w or p?
w
Let q = -114077/10 - -11463. Which is bigger: q or 56?
56
Let q = 220.91 + -225.31. Is -96 <= q?
True
Let u(w) = -w**2 + 10*w + 11. Let l be u(11). Let k be 33*(-9 + (-210)/(-22)). Which is smaller: k or l?
l
Let v = -123.73 - -152.73. Is v > 31/14?
True
Suppose 0 = -471*m - 22146 - 3759. Let g(n) = n**3 + 12*n**2 + 8*n - 3. Let d be g(-6). Suppose -2*j - d = j. Is j at least as big as m?
True
Suppose 0*c + 3*c = -111. Suppose 8*g - 262 = -3*f + 13*g, -4*f - 2*g + 384 = 0. Suppose 31*b = -1241 + f. Are c and b nonequal?
False
Suppose 0 = 3*y - 3*v + 183, -155 = 2*y - 3*v - 38. Is 2 at least as big as y?
True
Suppose -28*b - 3572 = 12*b - 2