 -9*q. Which is bigger: r or q?
r
Let y = 87185819/3860 - 22587. Are y and 0 equal?
False
Suppose 26*h = 22*h - 14*h + 2862. Which is bigger: h or 168?
168
Let n be ((-387)/(-5934))/(2/(-808)). Is n equal to -25?
False
Let y be (-4)/(-6) + (-32)/(-6). Let b = 7788 + -7793. Let g = y + b. Which is greater: g or 2/77?
g
Let f(u) = 43*u - 78. Let o(r) = -21*r + 38. Let s(g) = 4*f(g) + 9*o(g). Let i be s(2). Are i and -20/7 equal?
False
Let t(c) = c**3 - 7*c**2 + 11*c - 2. Let n be t(2). Which is bigger: 6/1445 or n?
6/1445
Let r = 2712 - 2700. Let o(k) = k**2 + k - 2. Suppose 5*c + 15 = w, -c - w = w + 14. Let i be o(c). Is r greater than or equal to i?
True
Suppose 20*i - 190 = 110. Let v = i + -14. Let m be (v - 6/10)/((-93)/(-45)). Do m and -2/3 have the same value?
False
Suppose l = -3*l - i - 188, 4*l + 188 = -5*i. Let m be 4 + -1 + -6 + (-16 - -21). Suppose -142*y + 139*y + 4*z = 156, 93 = -m*y - z. Which is bigger: l or y?
l
Let q = 267 + -26. Let u be (-14 - 1)*-16*1. Which is smaller: u or q?
u
Let d = -9860 - -9809. Which is smaller: d or 0.68?
d
Suppose 18*k - 24*k = -810. Let o be (k + 0 + -2)/(-1). Is -132 <= o?
False
Let q = 2 + 0. Suppose 2 = -0*z - q*z. Let k be (100/348)/(-5)*(3026/(-170) + 16). Is z != k?
True
Suppose 7 = 5*n + 12*f - 9*f, -4*f + 16 = 0. Which is smaller: -82/81 or n?
-82/81
Let q(g) = -32*g + 31. Let p be q(3). Let m = p - -66. Let u = m + 15. Is u equal to 17?
False
Suppose -19*s = -68 + 163. Which is greater: s or 219?
219
Let m be ((-38)/95)/((-6)/(-5)). Let d = -23 - -12. Let j = d - -11.3. Which is greater: j or m?
j
Let v = 31 + -27.5. Let z = -8.5 + v. Which is greater: -0.8 or z?
-0.8
Let i be (-5)/(-7) + (-2)/7. Let z = 1.4 - 6.5. Let v = z - -6.1. Which is smaller: i or v?
i
Let j be 11425/58953 - (-2)/(-6). Which is bigger: 2/11 or j?
2/11
Suppose -34*o = -37*o + 69. Suppose -2*k + 3*r + 2*r = -27, 3*k - 4*r = o. Is k smaller than 2/3?
False
Suppose 4*o + 2*s + 20 = -2*s, 2*o - 25 = 5*s. Suppose w - 37 + 34 = o. Which is greater: w or 35/9?
35/9
Let b be (-6)/(-4)*6*544/72. Let d be ((-66)/(-4))/(-1*36/b). Which is greater: d or 0.1?
0.1
Let k(u) = u**3 - 3*u**2 + 3*u. Let o be k(2). Let t be (-196)/8*o + -3. Let l = t - -49. Is -8 at most as big as l?
True
Let h = -4 + 5. Let b = 0.4 - 27. Let g = -6.6 - b. Is h at most g?
True
Let p = 9261 - 9342. Is p at least as big as -2?
False
Suppose -220 = -12*n + 17*n. Let a = n - -44. Suppose -m + a*m = 30. Is -89/3 > m?
True
Let t be (-5 + 1 - (-36)/12)/(-1) + 199. Which is bigger: 178 or t?
t
Let n be -2*2/(-18) + (-353)/9. Let r = n + 40. Let v be (-28)/77*(-1)/(-10). Is v at most as big as r?
True
Let f = 106 - 149. Let c = 47 + f. Let w be 8/(-2) - (-2 - -1)/c. Is w != -4?
True
Let t = 0.2207 + -0.0777. Let o = -0.083 + t. Is o greater than 1/8?
False
Suppose -m + 856 + 1097 = 2*z, -3*z = m - 2927. Which is smaller: 973 or z?
973
Let k = 4829/1547 + 5/91. Let x(u) = 2*u + 16. Let g be x(-7). Which is smaller: k or g?
g
Suppose -110*i + 4553961 = 139*i. Is i greater than 18288?
True
Let f = 0.00973 + 0.19027. Which is smaller: -1306 or f?
-1306
Let z = -2.4487 + 2.1905. Are z and -1/3 unequal?
True
Suppose 2*k = -4*p + 10 + 24, 0 = -4*p + 20. Let w be 0 - ((-1)/k - 2/(-14)). Let i = -1766 - -26476/15. Is w > i?
True
Let j = -862 - 45. Which is bigger: j or 2/3?
2/3
Let y be 217/279 - (-1071)/81. Which is bigger: -2/111 or y?
y
Let l = -353 + 368. Suppose -6 = -2*q - 3*g + 5*g, l = -q - 5*g. Which is greater: 11/25 or q?
11/25
Let i = -2267195291/5598311 - 33/119113. Let m be ((-6)/(-4))/((85/1350)/17). Let f = m + i. Does f = -1?
False
Let x be (5/15)/(6/52*616/84). Let k be 2/(-8)*(-8)/(-33). Let b = k + x. Is b bigger than 0?
True
Let h(a) = -29*a - 841. Let d be h(-29). Are -592 and d unequal?
True
Let w = -7033 + 7073. Is 18 bigger than w?
False
Let v(q) be the second derivative of -q**4/12 - 5*q**3/3 - 6*q**2 + 20*q. Let i be v(-8). Suppose 0 = i*b + x - 44, -11 = -2*b - 2*x + 5. Is b bigger than 12?
False
Suppose 0 = 3*w - x + 9, -5*w + 2*x = -0*w + 14. Let p = 226 - 221. Which is smaller: w or p?
w
Suppose -4*c = 662 + 106. Let x = c - -202. Which is greater: -7 or x?
x
Let w = -114 - 59. Let m = w - -160. Suppose -58 = 5*a + 2*x, 2*x + 12 = -2*a - 10. Are a and m nonequal?
True
Suppose -7*j = -4*j + 9. Let l = 16 + -14. Let s be -2 + -1 + 10 - 8 - l. Is s greater than or equal to j?
True
Let u be (1 + 157)/(2/7). Let h be (-1521)/(-24)*182/21. Let f = u - h. Are 4 and f nonequal?
True
Let o = -149 - -90. Let a = -64 - o. Let x be (-105 + a)*(-4)/8. Is 56 equal to x?
False
Let i(b) = b**3 + 6*b**2 - 5*b - 29. Let c(x) = -x**2 - x - 1. Let d(y) = -2*c(y) + i(y). Let a be d(-8). Which is smaller: a or 3?
a
Suppose -625*h - 199 + 188 = -636. Do 5/3473 and h have the same value?
False
Let b = -3.9 + 4. Let c = b - 0. Let x = -11539 - -11529. Is c < x?
False
Let p = -12434 + 12434. Are 2/7353 and p nonequal?
True
Suppose 0 = 163*v - 76 - 87. Is 22/9 not equal to v?
True
Let j = 395 - 1205/3. Let l = 127 - 70. Let d = -63 + l. Which is smaller: d or j?
j
Let s be (-34496)/352*1/(-1). Which is bigger: s or 581/6?
s
Suppose 79*i + 54*i - 2128 = 0. Which is bigger: i or 31?
31
Let s = -3 - -4. Suppose 2*j - 4*j = 4*u + 2, -2*u = 3*j + 11. Let w be (-5712)/(-7920) - u*(-2)/(-6). Which is greater: s or w?
s
Let l = -0.485 - -497.685. Let c = 485 - l. Is c at least as big as -1?
False
Let n be (-39)/60 + ((-30)/24)/(-5). Let p = 40.5 - -0.5. Is p at least n?
True
Let a be (168/(-40))/21 + 1584944/(-530). Let h = -2991 - a. Which is greater: h or 0?
0
Let m be 1 - (56 + -59 + (1323/219 - 3)). Which is bigger: 2 or m?
2
Suppose -i - 4*h + 181 = -h, 173 = i - 5*h. Let p be i/(-3) - (1 + 0/3). Let q = -61 - p. Are q and -2 non-equal?
True
Let l(c) = 9 + 21 + 57*c - 61*c. Let z be l(10). Let n be 1 - 1/(z/(-72)). Which is smaller: -6 or n?
n
Let l = 1024 - 359. Suppose 0 = -l*u + 668*u + 501. Which is smaller: u or -505/3?
-505/3
Suppose -183*a - 22*a = 863050. Are -4210 and a equal?
True
Let d = -314 - -311. Let u be (-532)/21 + (-1)/d. Is u greater than or equal to -33?
True
Suppose -3*w + 1 = -5. Suppose 4*k = -v - 41, w*k = -2*v - 21 - 37. Let j = -25 - v. Which is smaller: j or -9/8?
-9/8
Let z = 165.4 + -110.7. Let n = -39.7 + z. Is -3/2 less than or equal to n?
True
Let s be 4/(-22)*(-9)/(-333). Let b be (-76)/(-6)*39/26. Suppose 27*a + b = -8. Which is smaller: a or s?
a
Let u = -50.253 + -0.347. Let c = -13.4 + u. Is 1 at most as big as c?
False
Let w(r) = 4*r**3 - 3*r - 1. Let q be w(-2). Let d(v) = 5 + 527*v - 526*v - 8*v**2 + 3. Let g be d(-2). Are g and q unequal?
True
Let z be 10/217*((-91)/(-63) + -3). Which is smaller: 1 or z?
z
Let c = 6 + -6.005. Let n = -0.0326 + 0.0276. Let t = c - n. Is 46 at least t?
True
Suppose 17*h - 21*h - 5*h = 23*h. Which is smaller: h or -1/3966?
-1/3966
Let t be (72/(-66))/(33/((-3630)/(-20))) + 6. Let u be (-3)/((-2)/(8/(-11646))). Which is smaller: u or t?
u
Let f(s) = 472*s - 2361. Let z be f(5). Let k be (0 - -4)*3/(-134). Are k and z non-equal?
True
Let a = -358 + 355. Let h = 197 + a. Is h > 194?
False
Suppose 6*o - 3*p + 13 = 2*o, 4*o - 2*p = -14. Let g be (4/14)/(o/(-6)). Let r = 1.45 - 1.65. Do g and r have different values?
True
Let v = -37 + 40. Suppose v*q + 9 = 2*w, 5*q = 2*q - 3. Let i be -5*(w + (-3 - 2)). Which is bigger: i or 11?
11
Suppose 0 = 4*p + 2*n + 150, 0 = -p + n - 9 - 24. Let a be ((-12)/8)/(1/(-22)). Let l = p + a. Is l > -1?
False
Suppose -2*o + c + 15 - 50 = 0, 0 = -5*o + 3*c - 87. Let m be 27/o + (-4 - (-796)/144). Is 2 less than m?
False
Suppose 92*x - 101*x + 540 = 0. Suppose -31*q - x = -q. Is -11 greater than or equal to q?
False
Let n = 2 + 0. Suppose 319 = -5*s + 329. Is n greater than or equal to s?
True
Let o be (-5)/(-15) + (-14)/(-3). Suppose -1 + o = 2*m. Let r be (-1 - -13)/((-150)/(-20)). Which is bigger: r or m?
m
Let k = -0.003 + 15.353. Let j = k - 15.4. Is j < -1/3?
False
Suppose 27*q = 159*q + 88*q - 220. Which is smaller: 1/29 or q?
1/29
Let z = -26294 + 26294. Let l = 12.7 + 0.3. Let s = l + -9. Which is smaller: s or z?
z
Let s = 59682/5 - 86300137/7230. Is 1 smaller than s?
False
Let f = -93 - -91. Suppose -9*s + 10*s = -1. Let z be -17 - -7 - (s - -1). Is z >