greater: z or w?
z
Let w(z) = -z**3 + 11*z**2 + 11*z + 14. Let c be w(12). Suppose -4*s + 3*u + 24 = 0, s + u = c*s - 6. Let t be ((-8)/(-3 + 7))/s. Is t < -2/7?
True
Suppose 3*i = 4*s + 26, -2*i + 2*s - 1 = 3*s. Suppose -3*r = -7*r - 20, i*p - 5*r = 29. Which is smaller: 0.1 or p?
0.1
Let u(o) = o**3 + 10*o**2 + 11*o + 11. Let p be u(-9). Let b be (-508)/(((-1274)/(-4))/p). Let j = b + -76/7. Is 1 at least as big as j?
True
Let s(c) = c**3 - 2*c**2 - 2*c + 3. Let o be s(3). Let b be 3/(-4)*24/(-1). Let q be (b/27)/((-4)/(-18)). Is o at least q?
True
Let c(l) = 5*l - 26. Let x be c(5). Is 2/523 bigger than x?
True
Let g = 344 + -396. Is g less than or equal to -207/4?
True
Let u = -42 + 43. Let b = 35 - 5. Let a be (-1 - u)*b/100. Are a and -1 equal?
False
Suppose -6 = 2*g, -4*t - 3*g - 87 = 30. Let f = 38 + t. Is -2/9 equal to f?
False
Let q = 3 - 8. Let g(r) = r + 10. Let m be g(-6). Suppose -2*f + 3*f = -m, f + 25 = -3*y. Is y at most q?
True
Let a(w) = 2*w**2 + 17*w + 7. Let z be a(-8). Which is smaller: z or 2?
z
Let x(t) = t**3 - t**2 - 4*t + 4. Let g be x(2). Which is bigger: -3/8 or g?
g
Let h = -4 - -51. Let j be 4*((-3)/4)/(-1) + -2. Is h at least as big as j?
True
Let c(j) = j**3 - 8*j**2 - 2*j + 10. Let o = -20 + 28. Let a be c(o). Let d be 4 + 1 + a + 5. Is d > 8/3?
True
Let b = 535.0702 - 535. Is -1 at most b?
True
Let n be -3 - 46/(-60)*4. Suppose -5*s - 62 = -3*s. Let d = 32 + s. Is d < n?
False
Let f = -559/18 - -256/9. Which is bigger: f or -4?
f
Suppose 2*j - 296 = -0*j - 3*t, 0 = -2*j - 5*t + 296. Suppose n - 2*r = 5*n - 136, 4*n - j = -5*r. Is 33 bigger than n?
True
Let u(a) = -14*a - 85. Let y be u(-6). Which is greater: y or -475?
y
Let c be -1 - ((-1012)/(-132))/((-14)/6). Let g be -1 - -3 - (0 + -1). Suppose 6*v - 3*v = g. Which is greater: c or v?
c
Let u be 46/(-69) - (-52)/6. Is 5 at least u?
False
Let d be 7/4 - 1/(-4). Suppose -5*g - 275 = 4*x + x, -168 = 3*x + 4*g. Let b = 51 + x. Which is greater: b or d?
d
Let g(i) = -i**3 + 8*i**2 + 8*i + 10. Let l be g(9). Let j(u) = 3*u + 1. Let w be j(-1). Which is smaller: w or l?
w
Suppose g + 18*u - 298 = 16*u, -2*g + 578 = -2*u. Is 293 at least g?
True
Let l(m) = 2*m**2 - 61*m + 44. Let i be l(30). Which is smaller: i or 57/4?
i
Suppose -24*c = -20*c + 28. Let i be ((-6)/(-7))/((-21)/c). Let d = -0.3 + 0.32. Which is greater: d or i?
i
Suppose -5*z - 33 = 3*k, 2 + 43 = -5*k - 5*z. Let w = 5 + -8. Let t be w/6*(-3)/k. Is t >= 0.08?
False
Let q be 664/160 - (2 + 2). Let s be -1 + (-1)/6*-6. Which is greater: q or s?
q
Let n be (-4 + 6)/((-1)/(-8)). Let m = n - 14. Which is smaller: 11/5 or m?
m
Let u = 39.5 + -35. Let l = -3.5 + u. Is l at most 2?
True
Suppose f + 2*f = 12. Let m = -373/4 - -96. Which is smaller: f or m?
m
Let k = 156/19 + -449/57. Is k <= -220?
False
Let g = -29.997 + 30. Let c = 0.103 - g. Is -12 less than c?
True
Let n be -5 - 0 - (-4)/(-2). Let u = n + 5. Let h be 1*2/u + 1. Is 4 >= h?
True
Let h = 6.2 + -6.1. Let a = 12 + 13. Suppose -c + 26 = -4*y, 3*c = 5*y - a + 61. Which is greater: h or y?
h
Let o(z) = -3*z + 12. Let c be o(12). Let l be ((-3)/(-12))/((-6)/c). Is 2/53 equal to l?
False
Let i be 24/(-4) + 712 + -5. Is 700 != i?
True
Let v = 1 + -3. Let f = 0.02 + -0.019. Let j = f + -4.001. Is j >= v?
False
Suppose 2*d - 2 = 4*m, 8 = 2*m + 3*d - d. Suppose 4*i = 13 - m. Suppose 9*q - 12 = i*q. Which is bigger: 14/5 or q?
14/5
Suppose -2*z = -2*b - 33 + 7, 2*b + 34 = 4*z. Is b less than 0?
True
Let h be (-2)/(-36) + 468932/(-29736). Which is smaller: h or 1/2?
h
Suppose -3*h = 19 + 11. Let k = 4 + h. Let z be (-20)/(-30)*k/(-4). Which is bigger: z or -3/8?
z
Suppose m - 5 = -2. Let a = m + -21. Let l = -71/4 - a. Which is smaller: -2/35 or l?
-2/35
Suppose -22 = -3*k + 5*s, -s = 3*k - 7*k + 1. Let h(z) = -z**2 - z + 4. Let l be h(-3). Let a be l - -1 - (-6)/3. Which is smaller: k or a?
k
Let c(t) = -t**3 - t**2 + 3. Let v be c(0). Let h be 7/3 + (-1)/v. Let d be 26/(-60)*-3 + 9/(-18). Are h and d non-equal?
True
Suppose -92 = -4*j + 4*r, -4*r = -j - j + 46. Suppose j = y - 0*y. Which is bigger: 24 or y?
24
Let u(k) = -1 + 42*k**3 + 34*k**3 - 18*k**2 + 17*k - 75*k**3. Let x be u(17). Which is smaller: 4/85 or x?
x
Let r be 86166/59103 - (-4)/(-2). Let b = 2/597 - r. Let l be 3/(-1) + 4 - 1. Which is smaller: b or l?
l
Let y = -554.9 - -555. Let x = -0.12 + -13.88. Let s = x - -20. Is s greater than or equal to y?
True
Let o be ((-9)/(-632))/((-258)/(-24) - 10). Which is smaller: o or -2/5?
-2/5
Let v = -2.19 - -1.93. Does v = -1?
False
Let m be 29/(-1)*170/20. Is m < -246?
True
Suppose -v = -5*w + 1, w = 5*w - 3*v + 8. Suppose -4*x + 2*a + 3 = w, 11 = -2*x - 3*a. Let s = 94/15 - 19/3. Which is bigger: s or x?
s
Let v = 35216/91 - 387. Are -1 and v unequal?
True
Let f be (8/8136)/(5/(-30)). Suppose 4*d + 13 = 3*w, 23 - 2 = -5*w - 4*d. Which is smaller: w or f?
w
Let p(l) = 2*l**2 - 3*l + 1. Let t be p(3). Let s be -2 - ((-9)/(-3) - t). Suppose 0*r = -s*r - 15. Which is bigger: r or -5/2?
-5/2
Let h(l) = 2*l**2 - 67*l - 55. Let s be h(35). Is 64 greater than s?
True
Let z = -1 + 3. Let q = -2.91 + 3.3. Let y = 0.09 - q. Which is greater: y or z?
z
Let h = -0.1 + 1.7. Let u = h + -0.6. Is -8/11 greater than u?
False
Suppose 0*w - 24 = -4*w. Let r(j) = j - 10. Let o be r(w). Let u = 101819/20 - 25471/5. Which is greater: o or u?
u
Let z = -0.07 - -4.07. Let r = -137/52 + 44/13. Is r bigger than z?
False
Suppose 0 = -3*l + 6. Let t(b) = 2*b**3 + 2*b**2 - 4*b. Let y be t(l). Is y equal to 2?
False
Let i = 0 - -1. Suppose 2*p + 9 = -103. Let s be (-12)/(-18) + p/66. Which is bigger: i or s?
i
Let k = 20 + -16. Let q be 6/2*k/(-33). Let a = 0 - -1. Does a = q?
False
Let o(w) = -146*w**2 - 12*w + 12. Let a be o(1). Is -146 less than a?
False
Let i(o) = -8*o**2 + 20*o + 5. Let j be i(6). Let k = 2446/15 + j. Is k <= -1?
False
Let h be ((-3)/3 + 1)/(-1). Suppose -4*r + 2*c = -r - 341, -4*r + c + 458 = 0. Let w be r/140 - 12/21. Which is smaller: h or w?
h
Let p be 1*32/12 + (-8)/12. Suppose -p*s + 33 = s. Which is smaller: s or 10?
10
Let a = -39.5 + -7.5. Let y = 48 + a. Is y >= 0?
True
Let a be -2 - ((1 - 7) + (-1356)/(-340)). Which is smaller: a or 1?
a
Let b(m) = -m - 6. Let y be b(-3). Let l = 100 - 105. Is l less than or equal to y?
True
Suppose -4*d + 14*d = 0. Which is smaller: -80 or d?
-80
Let k be -1*2*(-1)/2. Let c be (2 - k)/((-1)/(-2)). Suppose r - 2*y - 1 = 0, 15*y = -2*r + 17*y. Are c and r unequal?
True
Suppose -4 = -0*d - 2*d + 4*p, -4*d + 41 = 3*p. Let a be 18/(-4)*10/(-6). Let l = d - a. Which is bigger: l or -0.4?
l
Let c = 290 + -289. Is -0.2 at least as big as c?
False
Suppose -11*n + 646 = 52. Suppose 5*h = -h - n. Which is smaller: -25/3 or h?
h
Let d = -66 - -32. Is -34 smaller than d?
False
Let j = 3.46 + -1.87. Let o = -0.59 + j. Is o at most 35?
True
Let m = 338 + -334. Does m = -2/95?
False
Let w = -0.49 + -1.51. Let t = 110 + -171. Is w at most t?
False
Suppose -3*q - 3*v = -303, 2*v = 3*q + 7*v - 309. Let d be q/28*(1 - 9). Let h = d + 36. Is h at most as big as -1?
False
Let i be (-7)/((9/3)/(-9)). Let x = 31 - i. Suppose x + 2 = 2*f. Which is bigger: f or 5?
f
Let q = -30 - -34. Suppose 2*s - v = 3, -2*v - 6 = -q*s + 2*s. Is 6/5 smaller than s?
False
Let d = -6.89 - 0.11. Let a = d - -13. Let s = -1.6 + 2.6. Which is smaller: s or a?
s
Let h = -3499 + 360392/103. Is 0 at most as big as h?
False
Let j = -24 + 40. Which is bigger: -0.05 or j?
j
Let m = -4856257/6252 + 3107/4. Which is bigger: 1 or m?
1
Let b = 101 + -89. Let r be (459/b)/(4 + -7). Is r != -14?
True
Suppose 2*k = -5*d - 0*d + 8, 0 = -k - 2*d + 3. Which is smaller: k or -2/341?
k
Let k = -71.1239 + -0.1761. Let p = 71 + k. Is -3 at most as big as p?
True
Let x = -7/3417 + 6313/4749630. Which is smaller: x or -1?
-1
Let f = -893 - -2684/3. Do f and 6 have different values?
True
Let k = 23 + -19. Let i be (-1)/5*(-5)/k. Which is smaller: 6 or i?
i
Let k = 34/25 + -6479/3900. Let s = k - -2/39. Is -10 > s?
False
Let o = 129 - 51. Which is smaller: -4 or o?
-4
Let r = -0.069 - -0.022. Let d = -23.047 - r. Let u = -22.6 - d. Are 0 and u unequal?
True
Suppose -13*m - 464 = 862. Is -103 at most m?
True
Suppose 0*s - s + 10 = -2*q, s + 2*q + 6 = 0. Suppose 0*t - 2*t