z = 639 - 661. Which is greater: z or -31?
z
Let c = 4108/19 + -216. Let n = 115/456 - c. Is -1/6 at most as big as n?
True
Let a be (-30)/(-15)*3/189. Which is greater: a or -2/9?
a
Let k(x) = -x**3 - 3*x**2 - x + 1. Let a be k(-3). Let i(c) = -c - 3 - a*c + 4*c - 1. Let b be i(-5). Which is greater: b or 2/25?
b
Suppose -3*k = -2*k - j - 5, 4*k = -4*j + 4. Suppose p - 48 = -2*p. Let w = p - k. Which is smaller: w or 14?
w
Suppose 0 = 7*o - 519 + 533. Suppose -5*t = 5*i + 5, 5*t + i = -i - 5. Let p be t*4*2/2. Is o at most p?
False
Let w be (-4355)/(-50) + (-1)/(-2). Let f = 88 - w. Let d = 13 + -13.4. Is f < d?
False
Let b be (8/10)/(3/(-30)). Let d be (0 - (b - -4)) + -3. Let u = -152/221 + 13/17. Which is smaller: u or d?
u
Suppose 5*s + g - 2*g = -787, 2*g - 4 = 0. Is s at most as big as -313/2?
True
Let z be (-452)/180 + (-123)/205. Which is smaller: z or 2?
z
Let t(q) = -1. Let v(i) = 2*i + 4. Let o(g) = 4*t(g) - v(g). Let d = -3 - 3. Let y be o(d). Which is greater: y or 5?
5
Suppose 3*j - 3 = p + 1, 0 = 4*j - 4*p - 8. Which is greater: j or 32/19?
32/19
Suppose -47 = -3*x - 0*c + 4*c, -34 = -2*x + 2*c. Let k be 14/(-35) - x/10. Is k smaller than 0.1?
True
Let p(c) = -13*c + 474. Let b be p(36). Is -28 less than or equal to b?
True
Let k(z) = 4*z + 26. Let b be k(-5). Let s be (-4)/b*(6 - 0). Let r be 12/(-9) + 1/3. Which is smaller: r or s?
s
Let r = -144 + 84. Let w = r - -62. Is w less than 6/11?
False
Let p(s) = -s**3 - s**2 - 4*s - 4. Let b be p(-2). Let f = 4 - b. Which is greater: f or -6?
f
Suppose 2*b = -5*d + d, -12 = 4*b + 2*d. Let l(f) = -f**2 - 4*f - 1. Let x be l(b). Let n be (x - -3)*3/(-9). Is n at least -2/3?
True
Suppose 0*t + 4*a + 10 = t, 4*t - 64 = 4*a. Which is bigger: -3 or t?
t
Suppose -m + 13 = 3*g, -2*m = 3*g - 2*g + 4. Let s(a) = -a**2 - 10*a + 8. Let p be s(-11). Let k(o) = -3*o - 3. Let t be k(p). Is t <= g?
True
Let z(y) be the second derivative of -5*y**3/6 + 5*y**2/2 - 4*y - 2. Let o be z(1). Is 1/2 less than or equal to o?
False
Let z be (-75)/(-50) - (-1)/(694/(-1043)). Let u = -1067/9022 - z. Is u > -1?
True
Let m = 18.1 - -19.9. Which is greater: m or 6?
m
Suppose x + 3*x = 4*j - 32, 4*j + 12 = 0. Let a = 0 - x. Suppose -2*q = -3*q - a. Is -11 <= q?
True
Let p = -528/13 - 1221/65. Let j = p + 59. Let l = -3 - -2. Are j and l nonequal?
True
Let v = 73677145/2571 + -28657. Which is bigger: v or 0?
0
Suppose -x - 17 = 2*n - 55, 4*x = -4*n + 76. Suppose -8 = r - 5*s, s - 5*s = -20. Let i be 4 + -1 + (r - 2). Which is bigger: i or n?
n
Let s = 145 + -145. Is s bigger than -29/28?
True
Let s = 1.97 + 0.03. Suppose 0 = 4*a + 12, -49*a - 102 = 3*h - 45*a. Is s bigger than h?
True
Let s be 3/2*(304/24 + -14). Let n be 9/(-3)*(-2)/(-3). Let a = n + 2. Is a at least s?
True
Let f = 0.407 + -32.507. Let d = 32 + f. Are -1/3 and d non-equal?
True
Let w = 594 - 593. Let d = 1 - -1. Which is greater: w or d?
d
Let h be 4/42*-3 - (-4)/14. Are -1/115 and h equal?
False
Let b be (-8)/3 + 3 + 690/9. Let h be -1*3*404/(-16). Let q = h - b. Which is bigger: -1 or q?
-1
Let z be 3*-1 + -3 + (9 - 5). Let o be -23 - (z + (-15)/(-3) + -5). Are o and -20 nonequal?
True
Let r(h) = -h**2 + 11*h - 55. Let g be r(9). Is g less than -37?
False
Suppose -68*f - 24 = -33*f - 94. Let k be -6*((-4)/(-2))/(-20). Is f less than k?
False
Suppose 0 = 3*x - x. Suppose 2*z = 3*c - 3, -5*z - 14 = -c - x. Let t be ((-52)/12)/(-1) + z. Is 0 at least as big as t?
False
Let p(c) = -c**3 - 7*c**2 - 8*c - 9. Let s be p(-6). Suppose -9 = s*i - 4*v, 3*v = 2*i - 1 + 7. Is -1 >= i?
True
Suppose -2*s + 10 = -3*n + 30, s + n = 0. Which is smaller: s or 6?
s
Let i = 1.325 + -1.575. Is i greater than -23?
True
Let t(x) = -x**3 - 11*x**2 + x + 11. Let z be t(-11). Suppose z*n = n - 16. Let k(j) = 3*j**2 + 2*j + 1. Let w be k(2). Which is bigger: n or w?
w
Suppose 0 = -2*k + 3*w + 2*w - 7, k + w = 0. Let c = -3/124 + -43/3348. Is k at least as big as c?
False
Let i = -10 - -14. Suppose i*f - 88 = -16. Which is greater: 15 or f?
f
Suppose 3*w - v = -2, -6 = -w - 217*v + 219*v. Is -22/39 greater than w?
True
Let w be ((-4)/6)/((-80)/(-96)). Which is smaller: -3/37 or w?
w
Let w = -43800 + 89570998/2045. Is -1 smaller than w?
True
Let h = -17 + 22. Suppose 0 = -0*v - h*v + 25. Suppose -v*x = -4*j - 19, 3*j - 2 = -3*x + 4. Which is smaller: j or 1/14?
j
Suppose -5259 = 10*b - 779. Which is smaller: b or -447?
b
Let c = 38 - 107. Let g = -68.5 - c. Is -1/3 bigger than g?
False
Let j(b) = 4*b - 16. Let a be j(5). Suppose 0 = -2*h + a*p - 8, 4*p - 27 - 9 = -5*h. Suppose 6*c = 2*c + h*n + 4, -2*n = -c. Is c greater than or equal to -2?
True
Let k = -137 + 384. Which is smaller: 248 or k?
k
Let p = -1 + 2. Let k be (-1997)/12 + (-30)/(-45). Let z = k - -166. Is z < p?
True
Let i(z) = -2*z - 1. Let h be i(3). Let o = -7 - h. Suppose o = 5*d - q - 3*q + 4, -5*q = -3*d + 8. Which is smaller: -1 or d?
d
Let f = 20 + -40. Let j = -19 - f. Let w = 2/103 - 109/309. Does j = w?
False
Let k be (-3 - (-5757)/(-915))*2. Let y = 93/5 + k. Are y and 1 unequal?
True
Suppose 9*h = h - 48. Let x be (-12)/(-16) - h/(-4). Let o be (-2)/4*2/1. Which is smaller: o or x?
o
Let l = -69 + 170. Which is smaller: -1 or l?
-1
Let g = -25.3 - -26.3. Which is greater: 15/11 or g?
15/11
Let v = -34 + -83. Is v smaller than -117?
False
Let f be (-1)/(-2)*(-1 - -1). Suppose 4 + 0 = n, 5*g + 3*n - 52 = f. Suppose t = 5*v + g, 5*t + 2*v + 4 = 5*v. Which is smaller: -7/6 or t?
t
Let l = -304 + 683. Does -1/3 = l?
False
Suppose -3*a + 3*j - 156 = 6*j, -64 = a + 4*j. Let k be (0 - -2)/1 - 49. Is a smaller than k?
True
Let v = -1109.2 - -1109. Which is smaller: 82 or v?
v
Let x be 25/(-15)*3/(-5). Are x and 13 equal?
False
Let i be (-34)/(-26) + 2/(-2). Let s = 2395 + -2395. Are i and s unequal?
True
Suppose g - 12*g + 462 = 0. Are 42 and g nonequal?
False
Let i be (-55)/20 + 3 - 4404/18192. Is i > 1?
False
Let y(c) = -c**3 + 11*c**2 + 7*c - 15. Let r be y(11). Suppose 0 = -2*x + 5*g + 14, -r = -5*x - 0*x - g. Let m = -443 - -456. Which is smaller: m or x?
x
Let i = 13 + -9.2. Let j = -8.8 + i. Is -4 > j?
True
Let x = 122 + -124. Which is smaller: x or -361?
-361
Suppose -4*u = -5*u + 6. Let y = 6 - u. Suppose -3*r + 13 = -2*z, 0 = 3*r - 5*z - 22 - 6. Is y greater than r?
False
Let t = 9 - 153. Which is bigger: -143 or t?
-143
Let c(u) = -5*u**2 - 48*u - 25. Let f be c(-9). Which is smaller: 3 or f?
f
Suppose 0*x + 5 = -5*x + 3*p, 3*x + 3 = 2*p. Suppose 3*n - 2 - 13 = 3*h, 3*h = n - 9. Let j = x + h. Is j >= -2?
False
Let h be (2/(-14))/(10/(-35))*4. Suppose -5*d = c, -5*d + h + 3 = 2*c. Is -1 greater than d?
False
Suppose 5 + 7 = 3*v. Let q(f) = -f**3 + 4*f**2 + 5. Let x be q(v). Suppose x*k = u - 7 + 17, 5 = u. Are 4 and k equal?
False
Let f = -49.02 - -49. Let j = f + 0.12. Is -31 <= j?
True
Suppose -2*u - 3 = 5. Let f = u - 4. Let p = 51 - 57. Which is bigger: p or f?
p
Let c = 587 - 586.91. Is 0.04 smaller than c?
True
Let z = -0.038 - 0.232. Let p = -0.03 + z. Is p > -2/7?
False
Let a be -2 - 1/(31/(-64)). Let g be (28/(-42))/((-6)/(-9)). Which is smaller: a or g?
g
Suppose -4*n = -4*h + h + 711, -4*h = -n - 168. Let w be 2/(-9) - n/81. Let t(b) = b**2 - 2*b + 1. Let m be t(w). Is m at least as big as 2/11?
True
Let m be ((-6)/(-10))/3 - -3. Let z(t) = 6*t + 4. Let n be z(0). Is m at least n?
False
Let v = -34099/5 - -6820. Suppose -2*g = -2*n + 8, -4 = -n + 3*g + 10. Is n equal to v?
False
Let x = 879 + -878. Is x less than 39/25?
True
Let p be ((-12)/36)/(9/(-2673)). Is p greater than 106?
False
Let q be (2/3*3)/(2/(-2)). Let j be 2/(-4) - (-27)/q. Is -14 less than j?
False
Let c = 2/259 - 540/2849. Is c less than 12?
True
Let u(g) = -2*g + 33. Let q be u(22). Let r be (-3)/(-2)*(13/q + 1). Let n = -3 - -3. Which is smaller: r or n?
r
Let q = 798 + -1597/2. Let s = -2 + 5. Let j = s - 20. Are j and q non-equal?
True
Let s = -35671/52 + 686. Which is greater: -4 or s?
s
Let u = -60 - -79. Suppose u = 4*b - l - 201, 66 = b - 3*l. Do b and 54 have different values?
False
Let z = -11 + 8. Let v = 537 - 576. Let f be z/(9/v) + -2. Which is smaller: 12 or f?
f
Suppose -3*i + 5*i + 2 = 0. Let g be (12/(16/4))/15. Which is smaller: i or g?
i
Let c = 372/25 - 15846/1075. Let y be 5 + (-29 + 31)/((-4