r?
False
Suppose 5*o + 3*q - 5 = 0, 3*o - 37 = 2*q + 3*q. Let g be (-30)/(-225) + o/(-30). Which is greater: g or 2?
2
Let b = 2 - 4. Let y be (b/8*-2)/1. Let h = -31445 - -31445. Which is bigger: y or h?
y
Let a = 20.62 - 17.62. Which is bigger: a or 0.366?
a
Let s = 1081/7 + -164123/1064. Let f = s - 21817/456. Is f != -49?
True
Let f = 1.23 - 0.47. Let s = f - 0.76. Do -9.8 and s have different values?
True
Let j = 47546 - 87912556/1849. Let b = -4864/1077967 - j. Which is bigger: b or 0?
0
Let q = -11 + 10.9. Let t = -1428 - -1325. Are t and q unequal?
True
Let b = 0.2176 - -20.2824. Which is smaller: b or 0.1?
0.1
Suppose -2*x - 8 = 2*s, -4*x = -20*s + 22*s + 8. Is 33/92 at least as big as x?
True
Let w be (18/3 + -11 + 14)*34. Suppose w = 11*m - 20*m. Which is bigger: -18 or m?
-18
Let o = -8.41 - -15.41. Let t = -5 - -6. Let w = t - o. Is w at most 4?
True
Let m be (33/(-9))/11 + 208/(-6). Let i be 5/4*(-14)/m*4. Let c(f) = f**3 + 6*f**2 - 7*f + 3. Let l be c(-7). Which is greater: i or l?
l
Let o = -1329/2336249 + -1/7401. Is 1 > o?
True
Let t be (-9 + 4)*(1 + -3). Suppose 13*g = t*g + 45. Let c = g - 16. Is 2/31 less than c?
False
Let o = -4950 - -6293. Is o equal to 1346?
False
Let f(a) = 2*a**2 + 8*a - 4. Let i(n) = n**2 - n. Let q(w) = -f(w) - 6*i(w). Let j be q(-4). Let c = j - -1277/11. Is 0 less than or equal to c?
True
Let h = -269 - -437. Let t = 157 - h. Which is bigger: t or 0.03?
0.03
Let y(h) = h**2 - 13*h + 14. Let o be y(8). Let b = o + 18. Let s(u) = u**3 + 8*u**2 + u + 10. Let l be s(b). Which is bigger: l or -4?
l
Suppose -4*c - 393 = -0*c + 3*p, 0 = 2*c + 3*p + 201. Let f be (-2)/(-14) + c/84. Which is greater: f or 3/86?
3/86
Let v = -164426 + 3123073/19. Let o = v - -54. Are o and -2 equal?
False
Let t be (105/2)/(232/(-348)). Is -0.07 less than t?
False
Let i = -109.43 - -120.717. Let w = -0.287 + i. Is 2/37 less than w?
True
Suppose 0 = 5*u - 2*u + 780. Let j = u - -174. Is -85 <= j?
False
Let f = 77693/5 - 458633/30. Let k = f - 25441/102. Does k = 0?
False
Let s = -6378 - -6293. Let n = 0.1 - 1.1. Which is bigger: n or s?
n
Let x be (-152)/380*(-70)/456*-3. Is 0 smaller than x?
False
Suppose 25*r = 24*r + 7, -5*b = 3*r - 26. Is b equal to -18/3139?
False
Suppose 209*x + 30210 = -57*x + 76*x. Are x and -1436/9 equal?
False
Let j(p) = 3*p**2 - 11*p - 43. Let g be j(6). Is -3/464 at least g?
True
Let q = 1442 - 1441.33. Which is smaller: q or -3?
-3
Let b(o) = -2*o**3 + 5*o**2 + 20*o - 46. Let h be b(4). Which is bigger: h or -3.3?
-3.3
Let q = 32493364/13 - 2502729. Suppose -3*x = 9387 + 336. Let g = q - x. Is 1 at least g?
False
Suppose f + 53 = -5*d, -5*d = -21*f + 23*f + 56. Suppose -2 = -h - 1. Which is greater: h or d?
h
Suppose 11*b - b - 20 = 0. Suppose -5*y - 3*g + 1 = 0, b*g + 0 = -5*y + 4. Let h be (-4)/(y - 0/(-5)). Is h at least -7/5?
False
Let q = 122.903 + 0.097. Let c = -123.2 + q. Which is smaller: 40 or c?
c
Let z be -1 + (-6)/2 - -6. Suppose z*h = -2*h. Suppose 4*k - 13 = 11. Which is greater: h or k?
k
Suppose v - 248 = -3*v + 5*r, 3*v = 4*r + 187. Let t = 58 - v. Let n be (t + 2)/(12/(-32)). Which is smaller: -5 or n?
n
Let d(u) = 91*u - 78. Let s be d(-102). Is s at most as big as -9361?
False
Let r = 11 + -21. Let f be (4 + -8 - r)/107. Let z = -939/428 - f. Is -2 bigger than z?
True
Let h be 2/10 + 17221/595. Let p = 5909/203 - h. Which is bigger: p or -1?
p
Let j(n) = -10*n + 1382. Let v be j(101). Which is smaller: 382 or v?
v
Suppose -1080 = 11*u - 65*u. Suppose 19 = -0*a - a - 4*q, 0 = -4*q - u. Is 1/18 > a?
False
Let y(n) = n**3 - 11*n**2 + 11*n - 9. Let o be y(10). Let q = -280149775/528 - -530587. Let w = -1/132 - q. Which is bigger: w or o?
o
Let f(u) = u - 1. Let n(x) = -7*x + 13. Let k(c) = 6*f(c) + n(c). Let s be k(9). Let t be 14/24*(s - 0)/14. Which is greater: t or 0?
0
Let j be (15/(-20) + 11/132)*(-567)/18. Let r(s) = s**3 - 3*s**2 - 3*s. Let m be r(4). Suppose -t = m*n - 30, 0*n + 118 = 5*t + 4*n. Is t > j?
True
Suppose -4*m = p + m + 18, 3*p - 2 = -m. Let k = -0.47 + 1.27. Let b = -0.9 + k. Which is smaller: b or p?
b
Let b = -7431 + 7637. Is 208 greater than or equal to b?
True
Suppose 167*n - 164*n + 2*i = -8542, 3*i - 5673 = 2*n. Is -2846 >= n?
False
Let l(f) = -6*f**2 + 2*f + 20. Let u(y) = 5*y**2 - 3*y - 19. Let z(r) = -6*l(r) - 7*u(r). Let v be z(-8). Is 48 greater than or equal to v?
True
Let g = -51/4 + 355/28. Let w = g - 17/154. Let i = w - -19/44. Is i smaller than -23?
False
Suppose -u - 5*a = 32, -54*u + 52*u - 3*a = 64. Let y be u/336 + 2501/21. Is y <= 118?
False
Let o be (-9 - -9) + 1*(-1 - 1). Let z be o/(-4) + 6/(-12). Suppose -6*n + 2*n - 14 = -5*m, z = 4*n + 2*m. Which is smaller: -1/83 or n?
n
Let k = 3990 - -258. Which is greater: k or 4249?
4249
Let l be (-12)/(-16) + 774/(-8). Let q be -4 - 284/l - -1. Let a = -1168/9 - -130. Does q = a?
False
Let h be (50/16)/1*-2. Suppose -5*g + 16 = 2*o + 141, 5*o + 305 = -5*g. Let f be ((-1)/3)/((-4)/o). Which is greater: h or f?
f
Let z be (-2*(10 - -2))/((-4)/(-32)). Let b be 22/3 - (-64)/z. Let j = 0.26 - 0.3. Which is bigger: b or j?
b
Let u = -611 - -616. Suppose 20*r + 548 = 16*r + u*s, -r - 3*s - 120 = 0. Is -133 smaller than r?
True
Let v = 1 - 0.5. Let r = -85000 - -85000.12. Which is bigger: v or r?
v
Suppose -5*r - 125 = 5*a, -r - a = 2*a + 27. Let y(q) = -q**2 - 21*q + 132. Let o be y(r). Which is smaller: 63 or o?
o
Let w = 208 - 205. Let p = -17.85 - -18. Which is bigger: p or w?
w
Let m = 40851.426 - 40852. Is m at most -29?
False
Let d be (-8395)/10 - (-1 + 2). Let m = 863 + d. Let l be (2*-2)/((-560)/55 - -10). Which is smaller: l or m?
l
Let w = -1141/4 - -285. Let y be 2/(-6) + 620/60. Let j be ((-8)/y)/((-222)/15). Is j greater than or equal to w?
True
Let q(x) = -10*x**2 - 2*x + 7*x + 1 - 2*x - 2*x. Let p be q(-2). Let h = 42 + p. Which is bigger: -2/23 or h?
h
Let x = -1873/7 - -466412/1743. Let v = -167/8217 - x. Do v and -1 have the same value?
False
Suppose 5*f + 26 = -84. Let o = f + -20. Let m = -97 - -56. Is o <= m?
True
Let x(o) = -11*o - 214. Let m(c) = 35*c + 641. Let h(v) = 6*m(v) + 17*x(v). Let g be h(-9). Is -8/31 > g?
False
Let x be 6 - (0 + 0)*-1. Let t(c) = 2*c**3 - 14*c**2 + 5*c - 14. Let y be t(x). Which is greater: y or -55?
-55
Let w be (8 - 2) + -25 + 219443/11542. Which is greater: 0 or w?
w
Let q be -3*934/(-21) + 42/(-98). Let r be (q/28 - 3)*4. Is -4 greater than r?
False
Let a = 96 + -92. Let k be a/9*((-585)/(-18) + -7). Which is smaller: k or 10?
10
Let l = 90 - -84. Let y = l + -160. Is y at most as big as 55/4?
False
Let i(k) = 2*k**2 + 27*k - 15. Let v be i(-10). Let r be ((-57)/(-21))/(-3 - v/30). Which is smaller: r or -15?
r
Let f = 177653 + -7994758/45. Let y = f - -3532/405. Let i = y - 320/1053. Is -1 >= i?
False
Suppose -11*h + 7*h = 8. Let r be h + (5 - 2) - 0. Which is smaller: -5/72 or r?
-5/72
Suppose -5*o = -2*o. Suppose -5*i - 3*s + 6*s - 5 = 0, -4*i - 12 = -4*s. Let q be 6/i*(-10 + (-553)/(-56)). Do q and o have different values?
True
Suppose -150 = -22*z + 27*z. Let i be (5/25)/(2/(-5)). Is i greater than z?
True
Suppose 6*y - 6 = 3*y. Suppose -5*f + 11 = -2*d - 1, -3*f = 5*d - 1. Suppose 5*g - 3*h = -32, -f*h = -2*g - 3*g - 28. Is y at most as big as g?
False
Let n = -111 - -342. Let p = n - 230. Which is smaller: -2/83 or p?
-2/83
Let k be (1*-2)/((-39)/26). Let t = 59 + -48. Suppose -10*j + t*j = 2. Is k > j?
False
Let n = -293219417/38 - -7717579. Let f = -1278 + n. Let v = 1/2 - f. Is v > 1?
False
Let k(t) = -254*t - 385. Let m be k(-7). Suppose m*z - 1382*z = -55. Let a be (-6)/4 + -1*2. Which is smaller: a or z?
z
Let n = -14010 + 13578. Let f(x) = -12*x**2 - 2*x - 11. Let h be f(-6). Do n and h have different values?
True
Let s = 22897 - 91585/4. Is s at least -2/783?
True
Suppose 1067 = 17*c + 115. Let m be -2*-4*(-1421)/c. Is -203 greater than or equal to m?
True
Let r = -297796/87 + 3423. Let w = 1129/1479 - r. Let o be (-17)/(-51) - 0 - 4/(-6). Is w at least o?
False
Let w = -1 + 1.05. Suppose 0 = q + 2*p + 46, -3*p - 87 = -81. Let u be (5 - q/(-12))*2 + 6. Is u less than or equal to w?
False
Let z = 0 - -0.1. Let k = 83 - 892. Let w = -808 - k. Which is smaller: w or z?
z
Suppose 2*n - 4 = -2. Let b be 0 + n + -1 + 1. Suppose 5*