be z/(-8) - 5/(-3 + -7). Is 15/11 at most as big as y?
False
Let f be 7/(49/42) + 185008/(-30836). Which is smaller: 0 or f?
0
Suppose 7*d - 3*a - 9 = 2*d, 2*a + 5 = 3*d. Let u(m) = m**2 - 3*m + 2. Let f be u(d). Which is smaller: 15/17 or f?
15/17
Let h be (-3)/(-7) + (-77)/(-49). Suppose h*p - 6 = -p. Suppose 0 = p*r - 145 + 33. Are r and 56 non-equal?
False
Let p = -216 + 357. Let h = -139.7183 - 1.2717. Let y = p + h. Which is bigger: -3 or y?
y
Let r be 0/6*(-9)/36. Which is bigger: r or 135/28?
135/28
Suppose -4*p - 5*t + 8 = 0, -2*p + p + 5*t + 2 = 0. Let s be 36*p + -1 + 0/(-1). Let q = s - 1344/19. Which is bigger: q or 0?
q
Suppose 2*w = -2*i + 1042, 18*w + 4*i = 23*w - 2596. Is 0.1 > w?
False
Let s be (2916/10)/((15 - 21)/30). Are -1458 and s equal?
True
Let s = 55 - 72. Let m be -1 + ((-8)/(-16) - s/2). Let p = -11 - -19. Is p at most as big as m?
True
Let u = -2723 - -15093. Which is smaller: u or 12369?
12369
Let s(i) = -2*i**3 + 563*i**2 + 296*i - 3928. Let q be s(282). Let p be 17*1*2/2. Which is smaller: p or q?
p
Let o = -6679.96 + 6680. Is o at most -6?
False
Let u = 1.791 - 1.69. Is 0.6 bigger than u?
True
Let d = -3641 - -3640.9. Which is bigger: 1304 or d?
1304
Let c = -8173 + 8172.95. Are c and 587 equal?
False
Let n = 212 - 272. Suppose 12*x = -18*x - 1740. Which is greater: n or x?
x
Let g(j) = -j**3 + 3*j**2 + 10*j + 3. Let q be g(5). Suppose f = 33 - q. Is f greater than 28?
True
Let j = 600 + -346. Let z = -251 + j. Let u = 2 + -1.7. Is z <= u?
False
Let s = 270 - 188. Suppose -11*p + s + 50 = 0. Let m be 3*((-16)/p + 2). Are m and 2 unequal?
False
Suppose -r + 4*z = 2969, -145*r = -144*r + 4*z + 2945. Which is smaller: r or -2959?
-2959
Let v = -110 - -107. Let r be (-1)/v + (-19)/((-171)/42). Suppose 9 - 12 = -c + r*s, -4*c = -s - 12. Is c less than 3?
False
Let y = -16062 - -28737. Let d be (50/y)/((-2)/(-6)). Is 2 < d?
False
Let s be 6 + (0 - (-2156)/(-357)). Let g = s + -4/2499. Is 0 less than g?
False
Suppose 192*m = 191*m + 2*i - 2, -2*i = -3*m - 42. Let v be 62/(-3) + 2/3. Are v and m nonequal?
False
Suppose -12*s = -9*s. Suppose 0 = -s*c - 13*c + 39. Suppose -16 = 4*w - 3*w - c*b, 5*w - 4*b + 91 = 0. Which is smaller: -22 or w?
-22
Let z = 8601991320 - 6460093729985/751. Let j = z + -2332. Which is bigger: -1 or j?
j
Let m be 192676/(-3190) - (-12)/5. Let v(j) = 14*j - 3. Let f(q) = q**3 - 5*q**2 + 2*q + 4. Let i be f(4). Let b be v(i). Which is smaller: m or b?
b
Let q = -2282 - -3532. Which is greater: q or 1252?
1252
Let o = 13779 - 14051. Which is smaller: -2/65 or o?
o
Let i = 54594 - 54593.9. Let h = 49 + -4. Is i at least h?
False
Suppose -6*v = 2*v - 16. Suppose -6*u = -v*z - 4*u + 6, 3*z = -u + 1. Are z and 6/11 unequal?
True
Suppose 505 = 5*s - 2*u, -2*s + 15*u + 202 = 10*u. Let k = -40 - -321. Let b = k + -181. Is s > b?
True
Let l = -946.1 + 946. Is 3117 at most as big as l?
False
Let f(c) = c**3 - 9*c**2 + 20*c + 12. Let g be f(7). Let r be (2/16542)/(-3*(-3)/g). Is r > 0?
True
Let f be 52/(-3)*(-9)/90. Suppose 31*q - 111 + 18 = 0. Is f at least q?
False
Let f = -23 - -28. Let t(d) = d + 7. Suppose -5*o = -7 + 22. Let q be t(o). Which is greater: f or q?
f
Let y = -29377/2 - -57877/4. Suppose x = -4*x - 1090. Let l = y - x. Which is smaller: l or -1?
l
Let n = -0.747 + 445.747. Let l = n + -402.02. Let s = l + -43. Is s less than 0.02?
True
Let x be 3 + 3 - 76/14 - (-15)/35. Do -2949 and x have different values?
True
Let o = -74.76 + -332.94. Let q = 537.72 + o. Let x = 130 - q. Is 1/3 at most x?
False
Suppose 4*q - 4 = 0, 2*p = 5*p - 3*q - 165. Let w = -32 + p. Suppose -4*r = -16 - w. Is r smaller than 12?
True
Let f(w) = w**2 + 7*w - 6. Let g be f(5). Let n be (5/(-6))/((-9)/g). Let d be (-1)/(n/25) - -2. Is -4 not equal to d?
True
Suppose -3*r + 3*l + 7410 = 0, 95*r - 96*r - 3*l + 2466 = 0. Which is smaller: r or 2468?
2468
Let b(m) = -m**3 - 8*m**2 - m - 4. Let n be b(-8). Let t be (-25 + 32)*((-1)/(-1))/1. Let z(g) = 2*g - 11. Let a be z(t). Is n <= a?
False
Let p(u) = 82*u - 511. Let y be p(6). Is y > -0.016?
False
Let s = -85.555 - -44.56. Let j = 41 + s. Let o = j - -6.995. Is 0.3 less than o?
True
Suppose 25855 = -14*x - 24391. Is -3591 <= x?
True
Suppose 6*j - 4*j + 4*n - 56 = 0, 2*j + 2*n = 48. Suppose j*v = 1726 + 1254. Is v greater than or equal to 149?
True
Let t(q) = q**3 - 3*q**2 + 7*q + 1. Let b be t(0). Which is smaller: 2/3089 or b?
2/3089
Let q = 212 - 324. Let s be (-13)/12*(-16)/q. Let y = s - 2/21. Is -1 at least as big as y?
False
Suppose -580 = 2*q + 3*d - 4697, 5*d = -5*q + 10300. Which is smaller: -0.1 or q?
-0.1
Let u = 14425 - 14425. Let s(l) = -38*l - 1. Let y be s(1). Which is bigger: y or u?
u
Let k(q) = -q**2 + 19*q - 33. Let i be k(11). Let b = i + -56. Is b less than 3/91?
True
Suppose 0 = -10717*k + 10706*k + 11. Is k bigger than 6822?
False
Let j(u) = -20*u + 14 + 29*u**3 - 16*u**2 - 27*u**3 - 3 + 3. Let g be j(9). Let t be (g + (0 - (-14)/3))/26. Is 0 > t?
False
Let i be 201/(-18) + (-9)/(-54). Let j(q) = -q**3 - 10*q**2 + 8*q + 23. Let c be j(i). Is 53 at most as big as c?
True
Suppose 3*l = 1 + 62. Let f be 4/(2/2) + (-90)/l. Is 9/10 smaller than f?
False
Let y be (-9 - -9)/6*(-1)/1. Suppose -51*k + 63*k - 60 = y. Let a = 16 - 9. Are a and k nonequal?
True
Let k = -394 + 397. Suppose 7*j + 637 = -k*x + 12*j, -x - 217 = -4*j. Is -210 at least x?
False
Suppose 3*m = 21*h - 16*h + 1271, -3*h - m - 757 = 0. Which is greater: -262 or h?
h
Let k be ((-107)/1)/(-95 + 96). Is k at most as big as -11?
True
Let x = 19016037/89 + -213661. Is x <= 3?
True
Let a(h) = h**2 + 3*h + 4. Let o be a(-3). Suppose -42 = -2*g + 4*f, -3*g = f - 14 - 42. Suppose 4*q = 0, 4*s + 59 = -o*q + g. Which is bigger: s or -1?
-1
Let w be -2 + 85 + ((-21)/(-7) - 5). Let v = w + -92. Let j be (-98)/10 - 1/5. Is v smaller than j?
True
Let l = -1156 + 63578/55. Let q be ((-42)/7)/(3*(-3)/1374). Let a = q + -916. Are a and l equal?
False
Suppose -5*h - 3*v = -933, 3*h = v - 4873 + 5430. Are 208 and h nonequal?
True
Let g be (-13)/104 - 30/16. Let q be -4 + 85 - (-1)/g. Let m = 80 - q. Which is bigger: m or 0.3?
0.3
Let s = -28 - -19. Let t be (-97)/3 + 6/s. Let f = 617 + -616.8. Is f bigger than t?
True
Let i = -0.02 - 0.13. Let s(g) = 16*g + 76. Let v be s(27). Let r = -508 + v. Are r and i nonequal?
True
Let o be ((-2)/447)/(2/(-6)). Let a = 98 - 96. Let t be -4 + 5 + -3 + a. Which is smaller: o or t?
t
Let l = -0.0724 + 468.0724. Let o = -290 + l. Which is smaller: o or 3?
3
Let a(v) = v**3 - 11*v**2 + 6*v + 41. Suppose 20 = 4*f - 5*d, -3*d = f - 32 + 10. Let i be a(f). Is 1/35 equal to i?
False
Let m be (-345)/(-1035)*(-312)/46. Is m bigger than -3?
True
Let z = -335/4 + 84. Let a = 2.38 + -1.1. Which is greater: z or a?
a
Suppose 3*n - 7 = 4*q, -5 = -5*n + n + q. Does 930 = n?
False
Suppose -3*h - 3*t - 1494 = 0, t + 518 = -h + 5*t. Let v = h - -55724/111. Is 0 at most as big as v?
True
Let w = -105517/22512 + -1/2814. Which is greater: -4 or w?
-4
Suppose 22*z + 84197 = 43*z - 275932. Is z at least as big as 17149?
True
Suppose 0*q = 4*q. Let m = -358 + 69. Let j = 869/3 + m. Is j greater than q?
True
Let z = 429.399 + 0.601. Let q = -309 + z. Which is greater: q or 1?
q
Let r be -1 + 114900/(-106) - 1. Let b = 1086 + r. Suppose 2391 = 1728*i + 4119. Is i > b?
False
Let d = 49.3 + -26.6. Let t = 22.795 - d. Is t greater than 0.1?
False
Let q be (-972)/(-45) - 22/((-1650)/105). Suppose -137 = -5*w + a, -3*w - 2*w = 4*a - 127. Is w at most q?
False
Let v = 1.58 + 0.02. Let z = 2.07 - 2.07. Which is smaller: v or z?
z
Suppose 213*j = 210*j + 2*r + 19, -j = -r - 6. Let o = 7 + 0. Is j greater than o?
False
Let q(g) = 7*g**3 - g**2 - 2*g - 4. Let n(i) = 6*i**3 - 2*i - 4. Let x(u) = 6*n(u) - 5*q(u). Suppose 190*p = 183*p - 35. Let l be x(p). Is 2 at least l?
False
Suppose -12 = f + k + 11, 0 = 5*k - 10. Let p be (-10)/(-6)*(-5)/f. Is p at least as big as 1.01?
False
Let k = -87 + 86. Let z be (k - -4) + 99/(18/(-6)). Is z != -29?
True
Let c = 71/168 + 1/168. Let u = 5706509/21259 - -2/3037. Let t = u - 268. Is c greater than t?
False
Suppose -105 = -y - 5*x - 867, -3*y = 5*x + 2226. Which is smaller: -734 or y?
-734
Let j be -6289 + 48 - 1/(-2)*4. Which is smaller: -6240 or j?
-6240
Supp