. Let y(f) = f**3 - 55*f**2 + 750*f - 4. Let w be y(25). Which is bigger: x or w?
x
Let x be (-20 + 8)/(-24)*(-46)/1. Let i be (-82)/4 - 1/2. Is x smaller than i?
True
Let i be (28/8 - 3)*-222. Let x = -338/3 - i. Which is smaller: x or -3?
-3
Let s = -26 - -17. Let h be 1 + -9 - (-8 - s). Let j(p) = p**3 + 9*p**2 + p + 9. Let u be j(h). Is -2/7 less than or equal to u?
True
Let o = -79.663 + -0.337. Are o and 0 non-equal?
True
Let t(x) = x**3 + 13*x**2 + x + 13. Let s be t(-13). Suppose 0 = 4*l + 5*g - 16, g + 4*g - 20 = s. Which is greater: l or -1/44?
-1/44
Suppose 0 = x + 4*x. Suppose -11 + 2 = -4*f - n, x = -3*f - 3*n. Suppose 2 + 1 = f*t. Is -2/5 at least t?
False
Suppose -5*r + 20 = -k, -3*r = -4*k - 28 - 1. Suppose 3*m + 0*b - 12 = b, -5*m + 2*b = -21. Is m less than r?
False
Suppose 470 = -45*i - 2*i. Is -11 equal to i?
False
Let u be (2/(-57))/((-68)/(-12)). Suppose 1 = 3*z - 4*z. Is z greater than or equal to u?
False
Let i = 0.111 + -0.001. Let z(r) be the second derivative of r**4/12 + 5*r**3/6 + r**2/2 + r. Let x be z(-5). Is x less than or equal to i?
False
Let u = -33 + 49. Let g be (-50)/5*u/10. Is -14 at most as big as g?
False
Suppose 0 = -4*t - 5*y + 1 - 20, 0 = y + 3. Which is bigger: 5/396 or t?
5/396
Suppose 210*h - 3228 = 222*h. Is h at least -268?
False
Suppose 0 = 3*j - 4*j + 29. Let f be (-282)/(-9) - (310/30 - 10). Which is bigger: f or j?
f
Let c = -11.5 + 9. Let w = c - -2.8. Let y be 16/(-12)*2/8. Is y >= w?
False
Let f = -0.4649 + 0.0649. Are f and -2/49 non-equal?
True
Let x = 9.6 - 9.642. Let w = -20.042 - x. Are -1/2 and w nonequal?
True
Suppose 4 = -2*u + 2*p + 6, u - 3 = 3*p. Suppose -4*s + 2*n - 22 = u, 19 = -s - 0*s + 5*n. Let g = -3 - s. Which is smaller: 2/13 or g?
2/13
Let m = -0.1551 + -0.0549. Is m at least -3/23?
False
Let a = -1397/5 + 279. Do a and 560 have different values?
True
Suppose 23 = -4*q + 91. Let a = 5542 + -5524. Which is smaller: q or a?
q
Let h(c) = -c**2 + 13*c - 44. Let r be h(6). Let f be 0/(-3*((-7)/3 - r)). Is -17 not equal to f?
True
Let r(z) = -4*z**2 - 5*z + 23. Let k be r(-6). Let i = 291 + -383. Is i less than k?
True
Suppose -4*k - 16*k - 20 = 0. Is -1/135 at least as big as k?
True
Let m(j) = -j**3 - 9*j**2 - 5*j + 29. Let v be m(-8). Which is smaller: 10 or v?
v
Let t = -4 - -3. Let z be -2 - (-13)/(-4) - t. Is z > -5?
True
Let s = -14 - -16. Suppose -3*c = -4*c - 2*z - 22, 0 = -s*z - 2. Let n be 62/80 + c/50. Which is smaller: n or 1?
n
Let p be 27/54*(-63)/3*-2. Is p greater than 1?
True
Let y be ((-22)/(-187) + (-156)/170)*-35. Let l be (0 - 24/y)/(44/(-28)). Are l and 5 nonequal?
True
Let c = 0.0598 - 112.0598. Which is greater: 1 or c?
1
Let z = -255 - -110. Which is greater: -149 or z?
z
Suppose -1 = -3*w + 17. Are 11 and w equal?
False
Let o(n) = -n**3 + 6*n**2 - 5*n. Let d be o(5). Suppose d = t - 3*t - 3*j + 58, -4*t + 126 = j. Is t bigger than 33?
False
Let y be (3/(-2))/(1/((-16)/6)). Let x be 484/(-10) + y/10. Are -48 and x nonequal?
False
Let r be (-96)/(-95) + -5 + 2 + 2. Is r bigger than 0?
True
Let m(u) = -u**3 + 2*u - 7. Let g be m(0). Let y be 178/(-4) - g/14. Is -44 bigger than y?
False
Suppose -27*r - 130 = -r. Let h be (-1*(-1 - -1))/1. Is h less than r?
False
Let d be 93/6 + (-2)/4. Suppose 8*q = 5*q + d. Suppose 0 = q*s - 0*s - 3*b - 30, -2*s - b + 12 = 0. Which is bigger: 5 or s?
s
Let h = 23 - 10. Let z = -19 + h. Let c(s) = -s**2 - 6*s + 3. Let q be c(z). Is 4 greater than or equal to q?
True
Suppose -56 = 6*q - 620. Are 94 and q non-equal?
False
Let g be 14/(-4)*(-84)/(-294). Are -1/475 and g equal?
False
Let u be ((-5)/((-100)/6))/((-6)/8). Let q(h) = -2*h - 39. Let t(g) = g + 19. Let c(p) = -4*q(p) - 9*t(p). Let z be c(-14). Is u greater than z?
True
Suppose 0*x + 192 = 2*x. Suppose -4*o + 7*o - x = 0. Is 33 less than or equal to o?
False
Suppose q + 0*q + y = 11, 2*q + 5*y = 7. Let f be 0 + (q/(-4))/16. Is f at least as big as 6?
False
Let y = -20 + 21. Let m be (y - (-52)/4)*-1. Which is smaller: -13 or m?
m
Suppose 4*y = 17 + 15. Let b(c) = 5*c - 8. Let z be b(y). Suppose -4*x + 5*q - 4*q - 19 = 0, z = -2*x - 4*q. Which is smaller: -4 or x?
x
Let x(t) = 2*t**2 + 5*t + 3. Let a be x(-3). Let f be a/45*(-1681)/(-2). Let v = f - 112. Which is smaller: v or -1?
-1
Let q = 37 + -4. Let t = 36 - q. Do 1 and t have different values?
True
Suppose 2 = -2*p - 4. Let i(r) = r**3 + 9*r**2 + r + 5. Let x be i(-9). Let k be p/(-4) + (-1)/x. Is 1/4 at most k?
True
Let w = -21 - -21. Let v = 3 + 0. Suppose 0 = -4*s - f - 32, v*s - f + 19 + 12 = w. Do -0.2 and s have different values?
True
Suppose 8 = -30*g + 8. Let y be 125/41 + (-12)/4. Which is smaller: y or g?
g
Let x = 107 - 66. Let b(d) = d + 2. Let k be b(-1). Are k and x equal?
False
Let t = -85 - -86. Which is smaller: t or -4/105?
-4/105
Let s(a) = a - 26. Let n(i) = -3*i - 1. Let z be n(-5). Let y be s(z). Suppose -12 = 4*r - 3*r. Is r bigger than y?
False
Let j = 60 + -58. Suppose 5*d - 23 = -0*r - 3*r, 4*d - 2*r = 14. Suppose -1 - 7 = -d*c. Does c = j?
True
Suppose -x - 674 = 4*z, -2*z + 3*x = -z + 175. Let i = 187 + z. Which is smaller: i or 20?
i
Let s = -287528/36113 + 390/49. Which is smaller: 0 or s?
s
Let q be ((-14)/(-3)*-1)/(8556/186). Are -1 and q equal?
False
Let f = 30034/3126011 + -20/1853. Is 1 at most f?
False
Let p = -121/20 - -23/4. Let j(x) = -x**2 + 4*x + 2. Let b be j(5). Let v(h) = h + 3. Let u be v(b). Which is bigger: u or p?
u
Let a be 7/(-3 - (-7)/2). Let j be (-202)/(-7) + 2/a. Suppose w - 8 - 4 = -2*o, -3*w + o = -j. Is 10 less than or equal to w?
True
Suppose 2*k = 5*l - 15, -7*l = 2*k - 8*l + 3. Which is bigger: -5/116 or k?
k
Let q(y) = -y**2 - 3*y - 1. Let b(v) = -5*v**2 - 10*v - 1. Let u(o) = b(o) - 6*q(o). Suppose -4*l + 7 = 27. Let s be u(l). Is s smaller than -1?
True
Let n be 179/5 + ((-2442)/(-110) - 23). Is 343/10 > n?
False
Suppose 0 = -0*v - 6*v + v. Which is smaller: v or 4?
v
Let i be 2/9*-3 + 1. Let j = -259.9 - -276. Let o = 16 - j. Is i greater than o?
True
Let j(y) = 14*y**3 + 9*y**2 + 8*y - 8. Let o(s) = 5*s**3 + 3*s**2 + 3*s - 3. Let r(v) = 3*j(v) - 8*o(v). Let w be r(-2). Which is smaller: w or -2?
w
Let j be 30*(-4 - -8 - 3). Let a = j - 29. Is -2 equal to a?
False
Suppose -5 + 0 = v. Let a = -34 + 34.05. Let s = a + 0.05. Which is smaller: s or v?
v
Let k = -99238/5 + 19674. Let u = -173 - k. Is u >= 0?
True
Suppose 0 = -45*s + 50*s + 260. Which is bigger: -53 or s?
s
Let p = 8.1 + 18.9. Which is smaller: p or -4/13?
-4/13
Let o be ((-30)/42)/(24/14). Let f = 1/4 - o. Is f not equal to 7?
True
Suppose -2*k + 3*x + 44 = 3*k, 4*k - 43 = 5*x. Let u be k*((-2052)/2905)/(-6). Let j = u - 2/83. Which is greater: j or -0.2?
j
Let u(f) = 3*f**2 - 20*f + 17. Let v be u(5). Is -4 > v?
True
Suppose 0 = 15*u - u + 910. Is -64 less than u?
False
Suppose -4*d + 115 = -5*t - 10, -2*t - 43 = -3*d. Let j = 19 + t. Let v be 6/4*j/(-15). Are v and 1/7 equal?
False
Let t = 1 - -2. Let w(z) = -z**2 + 3*z - 3. Let a be w(t). Suppose 5*f - 18 - 5 = r, 3*r + 5*f = 11. Are r and a nonequal?
False
Let t be (-14)/(-4)*(-108)/1071. Which is greater: -0.08 or t?
-0.08
Let q be ((-3)/(-726))/(-3 - 497/(-168)). Are q and 1 non-equal?
True
Let w be -1*68/76*1. Which is greater: w or -2?
w
Suppose -4*w + 2*l = -76, 0 = w - 2*l + 5 - 27. Suppose 2*u = -5*v - w, 0*u + v + 3 = -u. Is u bigger than -2/57?
True
Let t = -79 + 52. Let j = t - -25. Is j bigger than 0.1?
False
Let s be 1*14/(-4)*10. Let r = s + 36. Which is smaller: r or -1?
-1
Suppose -4*w - 258 = -30. Let y be (-1)/2*-11*-10. Is y < w?
False
Let z(u) = u**2 + u - 3. Let k be z(0). Suppose -6*j = -18*j + 1200. Let t = -401/4 + j. Is k at least as big as t?
False
Suppose 1638 = 8*m - 2*m. Let l = m - 1920/7. Is -1 <= l?
False
Let b = -21.9 + 21. Let h = -1 - b. Suppose -19*w - 70 = -5*w. Which is smaller: w or h?
w
Let z be 1 + (-14)/8 + (-154)/8. Let o be (-104)/(-240) - (-2)/z. Are o and -1 non-equal?
True
Let j(x) = x**3 + 25*x**2 + 69*x - 60. Let f be j(-23). Which is greater: f or -590?
f
Suppose 0 = 2*i + 5*x - 6 - 42, 0 = -5*i + 5*x + 50. Is 14 bigger than i?
False
Let w = -53296 + 479167/9. Suppose 0 = -f + 3*c + 40, 0*c + 5 = c. Let r = w + f. Which is smaller: 2/21 or r?
r
Let c = 4.3 - 74.3. Let d = -90