). Suppose -3 = 5*p + 2. Let y be p/(-3) - 24/(-9). Which is bigger: y or z?
y
Suppose -4*u + 6*u - 3*r = 9, -2*u - 4*r = -16. Let i be ((-4)/u)/((-66)/(-27)). Which is smaller: i or -1?
-1
Suppose -l - 8 = 5*q - 0, -q - 10 = 3*l. Let f be (-316)/30*(9 - 6). Let h = -313/10 - f. Which is smaller: h or q?
q
Let h = 27.078 - 26.1. Let w = -0.022 - h. Which is smaller: -0.1 or w?
w
Let j be (1 + 2)/(2 + 9). Let p be -1 + 8 + -3 + -1. Suppose 2 = -r + p*r. Which is bigger: j or r?
r
Let r be 3 + -5 - 98/(-50). Let q = r - 37/325. Which is bigger: -1/4 or q?
q
Let y(g) = 5*g - 17. Let v(d) = 3*d - 8. Let l(a) = -7*v(a) + 4*y(a). Let p be l(10). Which is greater: p or -20?
-20
Suppose -5*z + 7*z + 46 = 0. Let q = 35 + z. Suppose 3*n - 40 = -n. Which is smaller: n or q?
n
Suppose 0*x - 76 = 4*x. Let q(w) = -w**2 - 373*w - 1859. Let u be q(-5). Is x less than or equal to u?
True
Let q be ((-27)/(-2))/9*-4. Let o = 1.7 + -1.7. Is o greater than q?
True
Let k = 238 - 1663/7. Let w be (-141)/9 - (-14)/21. Let a = w - -15. Is k equal to a?
False
Let g = 25 - 21. Suppose g*h + 6 = -14. Suppose -4*d - 18 - 6 = 0. Is h greater than d?
True
Let y(t) = t**3 - 3*t + 1. Let m be y(2). Is 3 at least m?
True
Let u(y) = 5*y**3 - 29*y**2 + 60*y - 164. Let d be u(5). Let n(m) = 2*m**2 + 2. Let k be n(4). Which is bigger: k or d?
d
Suppose 5*s - 15 = -5*k, 2*s - 5*k = -s + 25. Let u be 20/(-16)*4*-1. Suppose -3*t + 12 = -0*t + u*w, 0 = -s*t + 5*w - 20. Is -1 < t?
False
Let l(n) = -n**3 - 11*n**2 + n - 8. Let z be l(-11). Let y be 3 + 2 + z - 2. Let i(w) = -w**2 - 3*w + 2. Let v be i(-6). Are y and v non-equal?
False
Let s = -9.26 + 13.66. Let w be 3/4 + (-3)/12. Is w >= s?
False
Let m be (-2)/(((-6)/3)/1). Suppose 0 = -4*y + 3*q - 19, -23 = 5*y - 2*q - q. Let j be 1/y + 45/84. Is m at least as big as j?
True
Let c be ((-1)/((-28)/8))/1. Which is smaller: c or 22.1?
c
Let j be 2/12 + (0 - 451/2508). Are j and 2 non-equal?
True
Let f be 4*((-45)/6)/3. Let s = 9 + f. Let j be (-5 - -4)*(s + 0). Is j at least as big as 2/7?
True
Suppose -3*f = -0*i - 4*i - 75, -2*i - 34 = 2*f. Let o = -232 + 236. Let x be (-95)/(-18) - o/i. Is x equal to 7?
False
Let t = -155/294 - -4/147. Is 231 less than t?
False
Let n be (-4)/3*3/(-2). Suppose 4*x = -4*l - 24, 6 + 16 = -5*l - x. Let v = l + n. Is -3 at least as big as v?
False
Let q = -23 + 20.1. Let s = -5.5 - q. Let a = 2.6 + s. Is a >= -12?
True
Let b = -8053 - -40104/5. Do b and -31 have the same value?
False
Suppose 0 = 5*r + 898 - 133. Let p = r - -2449/16. Do p and 1 have the same value?
False
Let w(j) be the first derivative of j**4/4 - j**3 + 2*j + 3. Let u be w(1). Which is smaller: -4/13 or u?
-4/13
Suppose 2*z + 2*j - j + 397 = 0, 588 = -3*z - 3*j. Let m be (z/(-44) - 2) + -3. Let n = -2/11 - m. Which is bigger: -11 or n?
n
Let m = 130 + -85. Suppose -6*l = -l + m. Is -1 equal to l?
False
Let s = 3.434 + -3.234. Is s not equal to 0.155?
True
Let l(j) = j + 5. Let p be l(-5). Suppose 0 = 8*c - 3*c + 4*q + 10, 5*q = -2*c - 21. Let z be (2/(p + 1))/c. Is z equal to 1?
True
Let v = 1.0915 + -0.0915. Let t be (-3 + 1)/((-42)/(-15)). Is t at most v?
True
Let y(w) = -w**3 + 8*w**2 - 9*w + 2. Let q be y(7). Let v be ((-6)/2)/(q/20). Suppose -v*o + 3*l = -6, 4*o + l - 10 = 6*l. Which is greater: 1/6 or o?
1/6
Suppose 4*a + 11 = -5*l, -2*l + 43*a - 1 = 48*a. Is l greater than or equal to -4?
True
Let p = -0.41 - -2.11. Let j = -52/7 - -8. Let c = 1/14 - j. Which is greater: c or p?
p
Let k = 6 + -6. Suppose k*z = -3*z - 4*l + 3, 0 = 4*z + 5*l - 3. Suppose 2*q = -4 - 0. Which is greater: q or z?
q
Suppose 1 = 2*s - 1. Suppose 0 = 4*g - 3*g + 3. Is g greater than or equal to s?
False
Suppose -13*u + 15 = -10*u. Let w(n) = -n**3 + 7*n**2 - 23. Let p be w(u). Is 27 at least as big as p?
True
Let f(r) = r**3 - 16*r**2 + 14*r + 17. Let m be f(15). Suppose 4*s - 12 = 0, 17 = -m*o + 3*s + 2*s. Which is bigger: -3/5 or o?
-3/5
Let n = 79.41 + -80. Let o = 0.1 + n. Let c = -0.01 + o. Which is smaller: 2 or c?
c
Suppose -282 = 11*x + 37. Which is bigger: x or -24?
-24
Suppose u = 4 - 2. Let b be -21*(-2)/(4 + -2). Suppose -b = u*i - 5*i. Which is bigger: 6 or i?
i
Let l(n) = n - 17. Let h be l(18). Do h and -2/203 have the same value?
False
Let t = 6909/5 - 1397. Which is bigger: -16 or t?
t
Let j(n) = -n**3 - 9*n**2 + n + 8. Let d be j(-9). Let t be ((-99)/44)/(44/16). Is t less than d?
False
Let g = -28 + 83. Let d = 34.9 + -35. Which is greater: g or d?
g
Let x(c) = 7*c**3 - 11*c**2 + 9*c - 22. Let l(j) = -3*j**3 + 5*j**2 - 4*j + 11. Let b(w) = -9*l(w) - 4*x(w). Let k be b(0). Which is greater: k or -10?
-10
Let f be -1*1*3/(-90). Let c be (904/(-791) - 44/(-14))/(2/(-1)). Which is greater: c or f?
f
Let z be 8*1 + 20268/(-2538). Let i be 0 - (0/1 + -1). Which is bigger: i or z?
i
Let g(l) = 24*l + 1. Let o be g(-2). Let p = o - -212. Let i be (6/10)/(11/p). Is 8 less than i?
True
Let i = -0.05 - -0.45. Let j = -2.6 - i. Let c = -2.9 - j. Which is bigger: c or 0.01?
c
Let b = 1 + -1. Suppose -421 - 15 = -4*x. Let c = x + -1201/11. Which is smaller: c or b?
c
Let z be 5 + 6/((-9432)/4724) - 2. Which is smaller: 1 or z?
z
Let j(k) = k**3 + k**2 - k + 27. Let m be j(0). Let w = 25 - m. Let l(q) = 2*q + 3. Let o be l(w). Are -1/8 and o equal?
False
Suppose -4*y + 8 + 48 = 0. Let a = y + -21. Suppose 5 = -f, -2*f - 2*f - 20 = -j. Which is smaller: a or j?
a
Let k be (-4 + 378/81)*(1/2 + 1). Let f be -4*(-1 + 21/5). Let p = f + 13. Is p at most k?
True
Let z = -38 + 41. Suppose -41 = -5*w + 4*x, 0 = -3*w - 2*w + z*x + 37. Is w != 32/7?
True
Let u be 11/22*-2*(-24 - -1). Let y = u + -36. Does -13 = y?
True
Let s = 2081 + -2304. Is -1/8 at least as big as s?
True
Let i be (0 + 3)*(-31)/12462. Is i at least as big as -1?
True
Suppose 0 = -2*r - 0 + 22. Let w(t) = t - 9 + r - 3*t**2 + 0*t - t**3. Let n be w(-3). Are n and -2/3 equal?
False
Let n(w) = w**3 + 10*w**2 - 13*w - 15. Let p be n(-10). Suppose 6*f - f = p. Let r = f + -21. Is r != 4/5?
True
Let j(d) = d**3 + 6*d**2 + 4*d - 6. Let k be j(-5). Let y be 3980/12 - k/3. Let t = 3323/10 - y. Is t bigger than 1?
False
Suppose 4*m = -i + 23, -i - 4*m + 29 = 2*i. Let b be ((-14)/8)/(i/60) - -1. Which is bigger: -33 or b?
-33
Let s be (10 + 5)*(-24)/(-525). Do 0 and s have different values?
True
Let l be 0 + -1 + (-10 - -23). Suppose l*o - 2*o = 60. Which is smaller: o or 7?
o
Let r(v) = -v**2 - 6*v. Let w be r(-5). Suppose w*p - 3*h - 29 = 0, p - 5*p = 3*h - 7. Suppose -2*m + 14 = p*z, -m + 5*z - 12 = -5. Is m != 4?
True
Let s(z) = z**2 - 2*z - 4. Let f be s(-2). Suppose 0 = -4*n + q - f, -2*n + 16 = -n + 4*q. Which is smaller: 6 or n?
n
Let w be (-1)/2 - 1*243/(-18). Let g = -46 + w. Which is bigger: -31 or g?
-31
Let s be -4*(-38)/20*20. Suppose 48 + s = 5*p. Suppose 2*q - p + 12 = 0. Is 13 less than q?
True
Let i(z) = 4 + z - 2 - 1 + 13. Let f be i(-13). Let o be (-12)/(-24)*(1 + f). Is o greater than 3?
False
Let w be (-1)/(-4) - 84/(-48). Suppose 3*v + w*i - 30 = -i, -5*v - 4*i = -46. Are v and 5 equal?
False
Let w be (3 + -6)/(8/24). Which is smaller: -10 or w?
-10
Let d = -1269 - -3688/3. Let c = 40 + d. Which is smaller: c or -2/9?
-2/9
Let r = 1 + -1. Let k(u) = u**2 - 18*u + 35. Let c be k(20). Let i be (-4)/(-125)*c/30. Is r greater than or equal to i?
False
Suppose 46 = 2*w - 2*y, -2*w = -7*w - 5*y + 105. Let z = w - 16. Suppose 0 = -z*m + 2*m. Which is bigger: -2/11 or m?
m
Let u be -1 - (7 - 1) - 2045530/(-292345). Is u at least as big as -1?
True
Suppose -k - 27 - 15 = 0. Let y = 68 + k. Is 26 <= y?
True
Let o be 6/(-10)*(-10 + 0/2). Is o greater than or equal to 5?
True
Suppose -2*b - 38 = 2*l, l = -2*l - 5*b - 65. Let m be (-9)/(-3)*10/l. Let w be (m/(-5))/(13/65). Is w < -0.05?
False
Let v = -113.18 + 91.1. Let z = v + 22. Are z and -3/2 non-equal?
True
Suppose b + 146 = 467. Let z be -2 + b/9*3. Let u be 2/6 + 40/z. Which is smaller: u or 2?
u
Suppose 5*t + t = 1044. Let o be 3 + t/(-21) + 5. Is 7/3 less than or equal to o?
False
Let x = 93 + -92. Is x at least as big as -3/58?
True
Let c be (1128/102 + -11)*81. Is c < 6?
True
Let l = 1/1257 + 1165/115644. Which is smaller: -1 or l?
-1
Let g(x) = -x**3 - 14*x**2 - x - 10. Let c(n) = n**3 + 6*n**2 - 6*n - 7. Let h be c(-7). Let 