 153/(-45) + t/5. Which is greater: a or -1?
-1
Let s = -32 + 76. Let m = s + -44. Which is greater: 1/20 or m?
1/20
Let y = 16322 - 767104/47. Which is greater: y or 2?
2
Suppose 3*l + 2*l - 25 = 0. Suppose 4*y = -5*h + 5, l*y + 1 = h - 0*y. Do h and 1/10 have the same value?
False
Let w(t) = t**2 - 4*t. Let d be w(5). Let y be (-4120)/12 + (-1 - 1). Let z = y - -349. Which is smaller: d or z?
z
Let g = 2 - 4. Let n = -0.055 + 56.055. Let l = 60 - n. Does l = g?
False
Let j = -0.104 + -0.406. Let c be (72/(-630))/(2/(-7)). Is j smaller than c?
True
Let c = -18.235 + 0.235. Which is smaller: -2 or c?
c
Let z = -3 - -7. Let o = -1653/11 + 153. Which is bigger: o or z?
z
Let w = -0.5 + 0.444. Let i = w + -0.024. Let j = 35 + -243/7. Is i >= j?
False
Let v be -9 + (-9 + -4 - -31). Is 43/5 less than or equal to v?
True
Suppose 5*z = -2*p - 183, 3*z + 3*p + 93 = 6*p. Is -60 at most as big as z?
True
Let b(h) be the second derivative of -2*h**3/3 + 7*h**2/2 - 9*h. Let i be b(3). Which is greater: -11/3 or i?
-11/3
Suppose 2*g - 3 = -1. Let w be (-4)/(-18) - 12*22/1089. Are w and g nonequal?
True
Suppose 0 = 5*x + 88 + 32. Let r = -118/5 - x. Which is greater: r or -0.003?
r
Let u = 133 - 134. Is u equal to 4?
False
Suppose -3*p - 11 = -14*p. Let f(r) = 42*r**2 - 1. Let n be f(p). Which is smaller: 42 or n?
n
Suppose 0 = 22*m - 28*m + 1326. Which is greater: m or 220?
m
Let z = 3 + -5. Let d = -48 + 48.61. Let f = -0.51 + d. Is z less than or equal to f?
True
Let h(l) = -l**2 + 6*l - 3. Suppose 3*p - 4*p = -k + 5, 5*p = -4*k + 29. Let s be h(k). Let q be s - (48/(-20) + 0). Is q > -1?
True
Let i = -0.36 - -0.3. Let l = -4.09 + 0.09. Which is smaller: l or i?
l
Let n(v) = 3 - 12 + 6*v**2 - 3*v**3 + 2*v**3. Let y be n(6). Let d be ((-15)/(-20))/(2/(-24)). Is y smaller than d?
False
Let z(l) = 8*l + 1. Let i be z(0). Suppose 0 = -0*j - 4*j + 20. Which is greater: i or j?
j
Let x = -5.7 - -3.5. Let b = x + 2.2. Which is greater: b or -0.18?
b
Suppose 0 = 4*i, 3*c = -4*i - 89 + 26. Let h = 2 - -11. Let g = h + c. Which is smaller: -7 or g?
g
Let j be 7/((-21)/(-6)) - 6. Let d be 21/(-6)*(-6 - j). Which is smaller: d or 8?
d
Let a be (-119)/(-21) - (2 - (-10)/(-4)). Let u = a - 17/6. Is u at least as big as 4?
False
Let j = -10 - -10.6. Let g = 0.7 - j. Let f = 0.2 + g. Is f bigger than 0.2?
True
Let l(z) = -z. Let b be (-18)/30 - 7/5. Let n be l(b). Let y be -5*(-2)/(n - -2). Which is bigger: 4 or y?
4
Let h = 676 + -1027. Is h at most -2/7?
True
Let a = -544 - -544.19. Let g = -3/10 - 1/5. Is a greater than or equal to g?
True
Let i = -1.12 - -1.02. Is 98 greater than or equal to i?
True
Suppose 0 = 7*d + 8 - 15. Let s(g) be the third derivative of -g**6/120 - g**5/12 - 5*g**4/24 - g**3 + 2*g**2. Let z be s(-4). Is z greater than or equal to d?
False
Let z(n) = 6*n**2 - n - 6. Let j be z(4). Suppose -2*h + 70 = -j. Which is greater: 79 or h?
79
Let l be -4 + -3 - (3 - -7). Suppose 3*j - 5*m + 2 = -34, 15 = -5*m. Is l > j?
False
Let c be 70/25*(-10)/2. Let i be ((-8)/(-28))/((-48)/c). Is -1 at least as big as i?
False
Suppose 6 = 2*m - 0. Let k(n) = -n + 9. Let o be k(6). Let u be (1 - 2)/(2 - o). Does m = u?
False
Suppose 3*c - 5*b - 19 = 0, c - 3*b = -0*c + 5. Let k = c - 9. Let d = 22/13 + -320/143. Which is smaller: d or k?
k
Let s(k) = k**3 + 7*k**2 + 5*k - 1. Let a be s(-6). Suppose -5*c + 5 + a = 0. Let q be (-15)/c*8/10. Which is greater: 1/3 or q?
1/3
Let v be -7 + (-6)/(30/145). Is v at most as big as -106/3?
True
Let b(z) = -z + 13. Let l be b(10). Suppose -t + 5 = 2*t - 5*y, -t + l = -3*y. Suppose t = -4*a - 4*d - 4, 4*a + 5*d = -1 - 4. Which is smaller: 1/23 or a?
a
Let p(q) = 6*q**2 + 0*q + 2 - 7*q + 2 - q**3. Let i be p(4). Let g(y) = 4*y**2 - 32*y + 57. Let x be g(2). Is i less than x?
True
Suppose 5*w = 36 + 24. Let b(m) = 5*m + 23. Let f be b(-2). Which is bigger: w or f?
f
Let o = 1499 - 1497. Is o at most 22/19?
False
Suppose 0*x + 9 = -q - 4*x, 4*q - 2*x - 54 = 0. Suppose -11*h = q - 110. Are 7 and h equal?
False
Let m be 117/(-27) - 1/(-3). Let o(w) = w**3 + 4*w**2 - 3*w - 10. Let b be o(m). Let p be (b/5)/((-6)/60). Which is bigger: p or -2?
-2
Suppose 44 = 5*h - 3*c, -4*h = -2*c - 42 + 6. Let u = 7 - h. Is 2 at most u?
False
Let c(g) = -4*g**2 - 11*g + 8. Let o(h) = h**2 + h - 1. Let r(l) = -c(l) - 6*o(l). Let u be r(3). Suppose 0 = -2*w - 9 - 1. Is u > w?
False
Suppose 0 = -w - 37 + 107. Suppose 8*s - 34 = w. Which is smaller: 3/5 or s?
3/5
Let h = -12067/13 - -929. Is h at least as big as 3?
False
Let s(d) = -d**3 - 7*d**2 - 7*d - 1. Let c be s(-6). Let k = c + 0. Suppose k*a + 1 + 12 = 2*q, 0 = 4*a + 4*q - 12. Which is smaller: a or -0.04?
a
Let q(p) = -p**3 + 2*p**2 - 2*p. Let l be q(3). Let h be 8/(-12)*(-1)/((-8)/(-6)). Which is greater: h or l?
h
Suppose 12*h + 38 = 14*h. Which is bigger: h or 37/2?
h
Let q = 25 + -21. Suppose -q*z - 18 = -2*s - 3*s, -4*z = s + 6. Is 0.4 < z?
False
Suppose -a = 4*o - 14, 3*a = -5*o + 4 + 17. Suppose 0 = d + d + a*n - 20, d = 3*n - 10. Suppose 4*c - d = 3*c - 4*g, 3*c = -3*g + 6. Is 2/25 at least c?
False
Suppose -5*t - 18 = 3*z + 4, -5*t - 13 = 2*z. Let i(w) = -w**3 - 8*w**2 + 7*w - 22. Let l be i(z). Let p be (l + 3)*(-4)/2. Which is smaller: p or 1?
1
Let h(a) = a**3 - a**2 - a - 7. Let n be h(3). Let o be -5 + 2 + -3 + 2 + 15. Is o > n?
True
Let g be 1135/30 + 0 + 1. Let q = g - 2019/52. Let d = -619/780 - q. Which is bigger: 0 or d?
0
Let i be ((-3)/3)/(15/(-15)). Suppose -2*z - 2 = -6. Suppose -z + 0 = r. Which is greater: r or i?
i
Suppose -20 = 5*q, -3*q = 3*d - 0*q + 12. Let j(f) = -2*f**3 + 3*f**2 - 2*f + 25. Let z be j(3). Which is smaller: d or z?
z
Suppose -2*z - 12 = 7*y - 9*y, y - 11 = 2*z. Are -31 and y non-equal?
True
Let q be 4 - (1145/60 - 0). Let k = q - -71/4. Is 2 at most k?
True
Suppose 0 = 5*v - 3*c - 28, v + 2 = -3*c + 4. Suppose -4*q = -v*b - 15, -b + 2 = -q + 5. Is q at most as big as -2/291?
False
Let m be (-1)/2 + 35/(-14). Let t(p) = p**3 + 5*p**2 - p - 1. Let s be t(-5). Let k be 0 + 3 - 26/s. Is m less than k?
False
Let k = -1 - -2.6. Let z = k - 1.8. Let s = 7.9 + -8. Are z and s non-equal?
True
Let d = -67/14 + 100/7. Let f = 10 - d. Let t be (-3)/((-162)/(-12)) - (-399)/(-27). Which is smaller: f or t?
t
Suppose 5*u + 3*p - p + 62 = 0, -u + 4*p - 8 = 0. Let i = u + 6. Let q = -70 + 62. Which is smaller: i or q?
q
Let x be (2/(-2))/(15/1080). Let r = x + 943/13. Let v = r + -22/65. Is v at least 0?
True
Let i = -1674/85 + 39/17. Which is bigger: i or -17?
-17
Suppose 0 = 5*t - 6*t + 28. Suppose 98 = -5*y + t. Is -14 less than or equal to y?
True
Let z = 291 - 290.8. Are 1/89 and z unequal?
True
Let u be 6/9 + 752/24. Which is smaller: u or 36?
u
Let k(i) = i**3 + 4*i**2 - 2*i - 3. Let q be k(-3). Suppose -2*h + 4*h + q = 0. Let j be 2/4 + (-2)/(-4). Which is bigger: h or j?
j
Let v = 0.27 - 0.37. Which is greater: 14 or v?
14
Let h be (-1 + 13210/75)*-3. Let s = -527 - h. Let b = -4 - -3. Which is bigger: b or s?
b
Let d = -28 + 70. Let h = 461/11 - d. Which is smaller: 0 or h?
h
Let i(z) = 4*z - 46. Let b be i(-9). Let k = b + 81. Is k < 1/95?
True
Suppose -t - 3 + 5 = 0. Suppose t*n + n = -9. Let a be n/(-18)*-1 - 0. Is a less than -1?
False
Suppose -27*h - 5*n = -23*h - 176, -h - 5*n = -44. Suppose -2*w + 3*t = -103, -2*t + 142 + 24 = 4*w. Do w and h have the same value?
True
Suppose -2*w = 107 - 115. Do w and -0.2 have the same value?
False
Let s be (-31)/62*10*239. Is s at least -1195?
True
Let f = -1234 + 1046. Which is bigger: -184 or f?
-184
Suppose 3*o + 28 = 2*i, 0 = -i - 6 + 2. Let f be 354/(-30) + (-1)/5. Is f < o?
False
Let c(u) = -u - 9. Let r be c(-5). Let g be (-252)/(-135) - r/30. Let d = 54 + -51. Are g and d non-equal?
True
Let m(j) = j + 11. Let g be m(-9). Let l be 22/(-77) - 74/(-14). Suppose -l*b + 4*k = -36, g*b - 40 + 16 = 4*k. Which is bigger: -6 or b?
b
Suppose -4*a - 23 = -5*y - 551, 643 = 5*a - 2*y. Which is bigger: a or 128?
128
Let l = 18 + -16. Suppose -4*g + 5*g + 1 = -2*w, -l*w = 4*g + 10. Is g > -5?
True
Let m be -2 - ((-40)/4 - -5). Suppose 4*s - 27 = 2*s + 5*o, -m*o = 4*s - 41. Let p be 1/((-1)/(-2)) - -9. Is p smaller than s?
False
Let f be 0/(((-1)/2)/(16/32)). Is f less than or equal to -5/268?
False
Let w = -56867