et s be (-3)/7 - (-140)/98. Let q = s + r. Is 2/35 >= q?
True
Let u = 14670 - 10346. Which is bigger: 3 or u?
u
Suppose 2*r - z + 5 = 0, -r + 5*z - 2*z - 15 = 0. Suppose r = m - 3*m + 86. Suppose 2*v = -3*i + 29, -3*v + 0*v + m = 5*i. Is v < 14?
False
Suppose 5*x - p = 0, 5*x = 2*x - 2*p. Suppose 5*r - k + 522 = x, 3*k + 161 - 47 = -r. Let w be (1/r)/(4/10). Which is greater: w or 0?
0
Let y = 42915 + -43084. Is y bigger than -35?
False
Let m be (-1874)/(-40) - (-810)/5400. Is m greater than or equal to 57?
False
Suppose -o + o = 16*o. Is o at least -1/2624?
True
Let w be 2/(1*2*-1). Let r be -2 - 0 - (w + 0). Let z = -46136/17 - -2714. Does r = z?
False
Suppose 1246 = -18*b - 6602. Is -437 >= b?
False
Suppose -2452 = -7*t + 1139. Let p = t - 3603/7. Are 8 and p unequal?
True
Let k be (-13464)/1656 - (-9)/69. Let p = -6 + 0. Is p != k?
True
Let a be ((-6)/4*-2)/1. Suppose -2*c = -4*r - 1396, 5 = r - 0*r. Let x be a + (-90)/25 - c/(-80). Which is greater: x or 7?
x
Suppose 0 = v + 3*v + 4*k - 268, -4*v - k + 253 = 0. Suppose -v - 556 = 4*p - i, 0 = 5*p + 3*i + 781. Are p and -153 equal?
False
Suppose -2 = -2*w + 4. Suppose 4*d + 4*c = -1168, -w*c - 8 = -c. Let p be (-3)/((-15)/(-2)) - d/270. Which is bigger: -37 or p?
p
Let w = 6 - 14. Let z be ((-6)/w)/((-58)/(-8)). Let j be (-1 + 10/4)*20/30. Which is greater: j or z?
j
Let v = 193 - 201.2. Let n = 8 + v. Is n < 37?
True
Let h = 4133 + -4143. Is 18 != h?
True
Suppose 3*o + 682 = 685. Is o smaller than -3/1031?
False
Let q be (-4)/(-12) - 2 - -13*(-7)/(-51). Let a be 4/2*1 + 2. Suppose -8 = -3*c - g, -5*g = -0*c + a*c - 29. Which is greater: q or c?
c
Let m(x) = -x**3 + 53*x**2 + 50*x - 45. Let q be m(54). Let h = q - -1303/5. Let r = 0.11 + -0.1. Do h and r have the same value?
False
Suppose -52 = 5*g + 3. Suppose 208 + 45 = 3*m + b, -5*b = 2*m - 160. Let x = -189/2 + m. Which is smaller: x or g?
g
Let i = -13.53 + 1.63. Let d = 1.93256 - 0.03256. Let u = i + d. Which is smaller: 4/3 or u?
u
Let w(a) = 3*a**3 - 11*a**2 - 51*a + 386. Let f be w(7). Which is smaller: 517 or f?
517
Let u = -2647 + 2646.9. Is u at least as big as -2/1735?
False
Suppose 94*w + 323 = 213*w + 204*w. Which is bigger: w or -4/1153?
w
Let f be (-3 - -2)*(-1 + 4). Let q = -125349 - -125348.06. Is f > q?
False
Let x = -1.479 - -2.479. Is -264.8 at most as big as x?
True
Suppose 5*d + 189 = u + 179, 5*d = -4*u + 15. Which is greater: -63/352 or d?
-63/352
Suppose 4*o - 10 - 6 = 0. Suppose 0 = o*r + 20 - 0. Let t be ((-3)/r)/(3/2). Are 1 and t equal?
False
Let n = -17096383/44 - -388531. Let v = 93/4 + n. Let r = 3325 + -3326. Which is greater: r or v?
v
Suppose 2*y + 6818 = -3*m, 2990*y + 5*m + 6802 = 2988*y. Is -3418 at most as big as y?
False
Let i = 403 - 148. Suppose 9*x = 4*x + y + i, y + 205 = 4*x. Are 50 and x unequal?
False
Let v = -2678777/13 + 206444. Let x = v + -384. Let t(k) = -k**3 - 6*k**2 - 10*k - 61. Let h be t(-6). Which is smaller: h or x?
h
Suppose -4*j = -2*x - 52, 5*j + x = 306 - 262. Is j > 284/27?
False
Let w be 0 - (9 + -1 + 1). Let h = 59854 - 59864. Is h < w?
True
Let a be (2 - (-84 + 0))/((-252)/45192). Let b = -15286 - a. Is b != 136?
True
Let a = 0.592 + -0.052. Let s = -0.857 - -2.397. Let t = a - s. Are t and 2 equal?
False
Let h = -0.6454 + 0.4714. Which is smaller: 6 or h?
h
Let n be 4/18 + 0 - 176/(-99). Let p be 207/(-15) - (n/10 + 0). Let j be -6*2/(-4)*-5. Which is greater: j or p?
p
Let v = 1198.7 - 1200. Is v smaller than 121?
True
Suppose 0 = -3*j + 15, 4*s - j - 2*j = -7. Let r be (s/4*0)/(-2). Let z = -780 - -19497/25. Is z > r?
False
Let p be -2 - -2 - (-3)/(-18) - 73451/42. Are p and -1747 unequal?
True
Let l be ((-2)/(-1))/((-1056)/99 - -10). Which is smaller: l or -77/37?
l
Suppose -h = 4*x - 105, 5*h - 705 = 5*x - 105. Suppose -6*p - 489 = -h. Let j = 62 + p. Is -3/20 != j?
True
Suppose 4*n = r - 87 + 22, -5*r = 2*n - 457. Is -0.5 smaller than r?
True
Let v(f) = -16*f - 268*f**2 - 7*f + 272*f**2 + 4. Let i be v(5). Is -142/13 smaller than i?
False
Let d be 1*-2 - (-3 + 0). Let z be -2 + d + -4 + 249/47. Let m = z - 892/2679. Is 0 at most as big as m?
False
Let q(z) = -z**3 - 10*z**2 + 7*z + 3. Let v be q(-11). Is 35 bigger than v?
False
Let u = 1260.01 - 1260. Let p = 76/495 - 2/99. Let q = -1/3 + p. Are q and u equal?
False
Let s = 14928 + -16525297/1107. Which is bigger: 1 or s?
1
Let u be 1/(-4)*2 + (-13)/26. Which is bigger: -154/375 or u?
-154/375
Let p = -268 - -331. Let l = -50 + p. Which is smaller: l or -2?
-2
Let j = -4818.331 + -11.669. Which is bigger: -0.1 or j?
-0.1
Let s be 1024/(-24)*(-5058)/8. Let j be ((-1)/(-2))/(48/s). Are j and 282 unequal?
True
Let q be (-64)/3 - (-1 - 0). Suppose 4*w + 75 = 3*b, 6*w - 3*b - 41 + 158 = 0. Which is greater: w or q?
q
Let k(n) be the second derivative of 4*n**3/3 + 60*n**2 - 69*n. Let l be k(-22). Which is smaller: -57 or l?
-57
Let t(a) = -a**3 - 10. Let b be t(0). Let f = b - -19. Let u = f - 10. Which is smaller: 1/49 or u?
u
Let r be (-8)/(-12)*(-3)/(-8). Let d(x) = -14*x + 1. Let z = 5 - 4. Let m be d(z). Which is smaller: m or r?
m
Let t = 24343/30 + 729/10. Is t greater than 884?
True
Let t be (0 + 315/(-6))*960/(-2576). Is 19 greater than t?
False
Suppose 4*y = 2*y + 3*x + 78, -2*y + 86 = -x. Let v = y + -22. Let o(g) = -g**3 + 24*g**2 - 22*g - 24. Let p be o(v). Is 2/93 at most p?
False
Let t = -20 + -264. Let y = t + 285. Which is greater: y or -0.23?
y
Suppose 2*b - 3*b = -14. Let x = -1405 + 1418. Are b and x equal?
False
Let y = 8.968 + -9. Let i = y + 17.032. Suppose 5*r - d + 5 = 0, 11*d = -3*r + 9*d + 10. Which is bigger: r or i?
i
Let z = 1183.9 + -1128. Let k = -71.53 - -127.53. Let l = k - z. Which is bigger: l or 25?
25
Let i = 45 - 2. Let f(d) = -176*d - 1190. Let w be f(-7). Which is smaller: w or i?
w
Let z be (-39)/12*(37 - 1). Let k = z + 109. Is k > -9?
True
Suppose 2*h = -3*n + 16, -2*h = -3*n - 2*n. Suppose -5 = h*i - 2*d, -3*d = -2*d. Which is smaller: i or -2/133?
i
Let g be ((-46)/2)/(-1*4/8). Suppose 72 = -j + 5*v, -3*j - 306 = -4*v - g. Is -91 less than j?
False
Let p be (-33140)/(-182149) - (-130)/(-715). Which is bigger: p or -1?
p
Suppose 49*h = -210 - 670 + 47. Which is greater: h or 97?
97
Let t(v) = v**3 + 13*v**2 - 15*v - 10. Let i be t(-14). Suppose i*l + 5 = -11. Let y(k) = 9*k + 24. Let m be y(l). Is m less than or equal to -11?
True
Let d(x) = -x**2 - 36*x - 201. Let s be d(-7). Is s greater than 138/251?
True
Suppose 4*v + 0*u = 3*u + 1, -2*v = -4*u - 8. Let q be (9/(-2) - v)/((-4)/(-88)). Which is smaller: -56 or q?
-56
Let x be -2 + (-12)/(-5) + 320/(-425). Let q be 884/(-85) + 15 + -3*2. Which is greater: q or x?
x
Let x(y) = -2*y**3 + 234*y**2 + 488*y + 398. Let v be x(119). Is 1826 less than or equal to v?
True
Let f = -3 + 2. Let m be (-86 - -97) + (-692)/62. Which is smaller: f or m?
f
Let p be (0 - (-2 - 7))/1. Suppose 38 + 34 = -9*s. Let d = s - p. Is -17 at most as big as d?
True
Let y = 5728178/135 - 42431. Which is greater: 0 or y?
0
Let f = 84 + -144. Let v be 1/3 - f/9. Suppose -v*z - 369 = 51. Which is bigger: -59 or z?
-59
Let g(c) = -c**2 - 18*c + 17. Let m be g(-18). Suppose 13 = m*s - 16*s. Suppose 0 = -5*i - 4*b + s, 7*i + 2*b = 3*i + 8. Which is greater: i or -3/28?
i
Suppose -2*a - 2 = -0, -a - 10 = 3*x. Let y be (-793)/(-5) - (x/(-5) - 0). Suppose 2*s = -3*f - 38 - 32, 0 = -5*s + f - y. Is -31 greater than or equal to s?
True
Let h = 135 - 132. Suppose 0 = d + 5*y - 3, 0 = h*d + y - 6*y - 49. Which is smaller: -2/3 or d?
-2/3
Suppose 2*k - h - 572 = 0, 3*k - h + 1138 = 7*k. Let z = 1147/4 - k. Let a = 15 + -13. Which is smaller: a or z?
z
Let x(d) = -2*d**3 + 4*d**2 + 11*d - 3. Let u be x(-3). Let c = -74 + u. Are -22 and c unequal?
True
Let h be (0 - -17) + -8 + 624. Is h > 626?
True
Let q(f) = -f**3 - 3*f**2 - 2*f + 1. Let a be q(0). Let y be 126373*(941/942 - 1). Let n = y + 805/6. Is a smaller than n?
False
Let f = -0.089 + 0.178. Let i = 0.002 + f. Let c = i + -0.101. Which is greater: 0.8 or c?
0.8
Let c(k) = k + 27. Let t be c(-21). Let p be (-5 - (-1 + -2)) + 376/t. Is 61 greater than p?
True
Let d(z) = 124*z - 1153. Let k be d(9). Which is greater: -87 or k?
k
Suppose -17*h - 21 = -24*h. Suppose -144 = h*u - 3. Is u at least -47?
True
Let d(