Suppose -o + s = -4*o + 3*z, -4*z = 4*o - 28. Which is smaller: o or -1?
-1
Let b = -0.73 - -2.73. Is 10 smaller than b?
False
Let v be 6/1*32/(-48). Let x be v/(-10) + 8/(-20). Which is bigger: -4/13 or x?
x
Let c(t) = 54*t**2 - t + 1. Let v be c(1). Let p = -38 + v. Let z be 1 + -2 + 20/p. Which is greater: z or 2?
2
Let s(t) = -t**2 - 27*t - 49. Let m be s(-25). Is 0 at least m?
False
Let z(g) = 14*g - 14. Let j be z(1). Let q be 1*-1*(-1)/(-31). Which is smaller: q or j?
q
Let w = 0.11 - 0.01. Which is greater: w or -3?
w
Suppose 0 = k - 4*v - 2, 0 = -4*k - 3*v + 2 + 44. Is k at most 9?
False
Let k = 7 - -3. Let j = 10.216 + -0.116. Let h = j - k. Which is greater: h or -1?
h
Let l(i) = 2*i + 5. Let c be l(0). Is c at most 5?
True
Suppose -4 = -4*k - 0. Which is smaller: k or 1/128?
1/128
Let q(z) = z**2 - 5*z - 3. Let a be q(6). Suppose 2*v - 3*x + 9 = -0*v, 4*v - 5*x + 13 = 0. Is a <= v?
True
Let v = -44 - -41. Is v greater than or equal to -5/3?
False
Let b be 14/(-12) - (-5)/30. Let s = 5 + b. Suppose -s*r - r = 25. Does -5 = r?
True
Let c = 17.1 - -18. Let d = c - 44. Let l = -0.9 - d. Is -0.1 > l?
False
Let d(q) = 3*q - 3. Let l(o) = -4*o + 4. Let b(a) = 5*d(a) + 4*l(a). Let j be b(-3). Suppose 0 = v + 3, j*c + 3*v = 3*c - 11. Are c and -2 equal?
True
Let p(u) = u**3 - 5*u**2 - 9*u + 1. Let b be p(6). Which is greater: -16 or b?
-16
Let h = 10 - 17. Let t = -0.7 + 0.6. Is h smaller than t?
True
Let a = -517/14 + 37. Which is bigger: -0.1 or a?
a
Let g be ((-8)/174)/((-8)/(-60)). Let r = g - 115/87. Which is bigger: r or -2?
r
Suppose -3*n = -3 - 6. Let l = 4 + -10. Let k be 4/l + (-30)/(-18). Do k and n have the same value?
False
Suppose 26 + 2 = 4*l. Suppose -3*w - 16 + l = 0. Let r = w - 0. Is -3 >= r?
True
Suppose 0*o - 4*o = 72. Let j be 9/o + 1/(-4). Which is greater: j or 0?
0
Let l be -10*2*3/(-21). Is l greater than or equal to 3?
False
Let a = 1 - 19. Suppose -3 = 3*x + 45. Let c be 4/(-18) + x/a. Is c at most 1?
True
Let r = -3/37 + -17/703. Let w = 4 - -2. Let l = -6 + w. Which is greater: r or l?
l
Let h(j) = j**2 + 8*j + 6. Let s be h(-7). Which is smaller: s or 1?
s
Let v(p) = 28*p - 8*p**2 + 9*p**2 + 9 - 17*p. Suppose -4*d - 18 = m, 2*d + d = -m - 16. Let c be v(m). Which is smaller: c or -4/11?
c
Let t(k) = k**3 - 8*k**2 - 8*k - 1. Let y be t(9). Let h(i) = i**3 - 7*i**2 - 7*i - 8. Let n be h(y). Which is bigger: 4 or n?
4
Suppose 8*c - 1 = 7*c. Which is smaller: -110 or c?
-110
Let m(u) be the first derivative of -u**3/3 + 7*u**2/2 + u + 1. Let a be m(7). Let c = 0 + a. Which is greater: 1/4 or c?
c
Let o be (-10)/40 - (-7)/(-4). Let c be (-110)/20 + o/(-4). Is c at most as big as -5?
True
Let q = -2 + 23. Suppose 4*b = 4*o, 2*o + 0*o + q = -5*b. Which is bigger: o or -2?
-2
Let u = -214 + 213. Which is smaller: 136 or u?
u
Suppose 0 = 2*r + 2, s = r - 0*r. Which is bigger: s or 1?
1
Let j = 0 + 2. Suppose -2*z - 3*u - 14 = 0, -j*z - 5*u + 6*u + 2 = 0. Is -1 bigger than z?
False
Suppose 0 = -p - p + 2. Let l be p*(-1)/(-2)*-2. Let g be (-6)/(-9) - 1/3. Is l at least g?
False
Suppose -4*l + 2*l = -34. Does l = 16?
False
Suppose -177 - 194 = -7*j. Is j equal to 52?
False
Let o be (-1 + -1)*(-9 - -8). Let n be (-3)/12 + (-2)/(-8). Which is smaller: n or o?
n
Suppose -2*x = 4*r - 24, -2*x - 4*r + 12 = -6*x. Which is smaller: 4 or x?
x
Let h = -2 + 2.16. Let b = h - 0.08. Suppose 2*d + 0 - 2 = 0. Which is smaller: d or b?
b
Let i = -80/7 + 5214/455. Which is greater: -1 or i?
i
Let a = -43 - -42.9. Is a >= -24?
True
Let j be (-1)/5 + (-1512)/(-7160). Which is bigger: 0 or j?
j
Suppose k + 3 = 2*t, k + 12*t = 7*t - 3. Is -16/7 at least as big as k?
True
Let r(h) = 2*h + 12. Suppose 24 = -3*z - 2*f, 2*f = -3*f. Let o be r(z). Which is smaller: o or -3?
o
Let x(l) = l**2 - 12*l + 2. Let c be x(12). Suppose 4*o = 6 - c. Which is smaller: -1 or o?
-1
Let g(k) = -k - k + 2 + k. Let b be g(2). Which is smaller: -2 or b?
-2
Let a = 23 - 19. Let f = 159/65 - -2/13. Is f > a?
False
Let v(d) = d**2 - 2*d - 4. Let b(q) = q**2 - 4*q - 2. Let o be b(5). Let i be v(o). Let z = 0.01 + -0.31. Which is greater: i or z?
z
Let r be (1 + -2 + 3)*2. Let l be ((-2)/r)/((-15)/90). Which is greater: 3/2 or l?
l
Let f(c) = 6*c**2 - 2*c - 1. Let q be f(-1). Let l = q + -10. Is -3 >= l?
True
Let q be 4/(-10) - (-6)/15. Suppose -3*a + q*w = -w - 3, 0 = 4*a + 5*w + 15. Is a less than or equal to 3/8?
True
Suppose -2*b + b + 2 = -4*p, -5*b + 31 = p. Suppose 2*i = -0*i + b. Is i at most 4?
True
Let t be (1 + 2)/(1/(-3)). Suppose 20 = -5*u - 10. Let c = t - u. Is c less than -3?
False
Let j be (-68)/(-119) + (-12)/70. Let k be 1/(-3) + 8/6. Does j = k?
False
Let z = 243 - 238.04. Let u = -0.04 - z. Let l = u + 4.5. Which is bigger: 0.1 or l?
0.1
Let t(w) = -w**2 - w + 1. Let o be t(0). Is o less than 1/4?
False
Let t(n) = 2*n + 12. Let f be t(-5). Suppose -r + 3*r = 4*m - 6, 2 = f*m - 2*r. Is m smaller than 0?
False
Let l = -6 + 21. Let j = l + -14.88. Which is smaller: 1 or j?
j
Suppose 10*r + 6 + 4 = 0. Is r equal to -5/22?
False
Let f = 21.1 + -25.18. Let l = -0.08 - f. Is -2 at least as big as l?
False
Let f be 140/(-399)*22/16. Let v = f - -6/19. Which is smaller: v or 1?
v
Let n = 10 + -3.8. Let l = n + 0.8. Let a = -0.7 - 0.3. Are l and a non-equal?
True
Suppose -5*f - 26 + 6 = 0. Is -11/4 bigger than f?
True
Let c be 0/2 - 14/784. Does 0 = c?
False
Suppose -j = -4*j - 30. Is -10 < j?
False
Let j = -0.3 - -0.8. Suppose -4*f - 5 = -13. Let d be 6/5*f/(-6). Is d > j?
False
Let x = 56 + -45. Which is greater: x or 8?
x
Suppose -3*q = z - 8, 4*z + 2*q = -3*q + 39. Let t = z + -64. Let n = t - -264/5. Is 0 not equal to n?
True
Let r = -5.028 - 1.042. Let s = r - -6. Let w = s - 3.93. Is w at least as big as -1?
False
Let z = -0.9 + -0.1. Let v = 159.5 - 160. Is v smaller than z?
False
Let m = -4 + 7. Let g(o) = 5*o + 20. Let h(s) = -2*s - 7. Let b(t) = 4*g(t) + 11*h(t). Let r be b(m). Which is bigger: r or -1?
-1
Let l = 1 + 1. Let j = 1 - l. Let h be (-54)/12*j/(-6). Is h < -1?
False
Suppose -g = -5*z - 10, 7*z - 4*z = 4*g - 6. Which is greater: g or 2/41?
2/41
Let z(h) = -h**3 + 4*h + 1. Let m be z(2). Let g = -31/272 + -1/272. Are m and g equal?
False
Let c(r) = 4*r**3 - 2*r**2 + 2*r - 1. Let u be c(1). Suppose u*d = d. Let y = -998/9 + 111. Is y greater than or equal to d?
True
Suppose 0 = -2*s - 5*c + 20 + 9, -6 = 2*s - 2*c. Suppose 0 = -s*a - a + 18. Let b = a - 4. Which is smaller: 3 or b?
b
Suppose 2*j - 10 = x - 2, 0 = -3*x + 12. Which is bigger: 36/7 or j?
j
Let o = -8 + 12. Suppose -4*h = -3*m - 21, -2*m - 9 = -2*h + h. Suppose -x + 3*w = -18, -5*x - 9 = -h*x + 3*w. Which is greater: x or o?
o
Let k = 46.3 - 46. Is -19 less than k?
True
Suppose -k - 4 = 3*f, -k - 6*f + f - 10 = 0. Which is greater: 16 or k?
16
Let y = 0 + 1/2. Let w(t) = -t**3 + 4*t**2 + t - 4. Let q be w(4). Is y at most q?
False
Let q be 0*4/8*(-2)/(-4). Which is smaller: q or -2/37?
-2/37
Let g be (-2 - 20/(-11)) + 0. Let d be (-1 - -2)*(-1 + 2). Which is smaller: d or g?
g
Suppose 0 = -3*i + 1 - 10. Let t = i - -9. Which is greater: t or 7?
7
Suppose -9 - 17 = -4*l - 2*a, 0 = 4*l - a - 23. Let b = l - 5. Let y = 751/447 + -2/149. Are y and b unequal?
True
Let s be 3/2*(-4)/(-6). Suppose 0 = -3*a + 2*a - 5*c + 1, -a - 2*c + s = 0. Let f = 5 - 6. Which is greater: f or a?
a
Suppose -5*p - 4*b = b + 130, 3*p - 5*b = -94. Is p less than -27?
True
Let y be ((-4)/(-10))/(4/20). Which is greater: 4 or y?
4
Let u(g) be the third derivative of g**4/24 + 13*g**3/6 - 2*g**2. Let q be u(-9). Suppose 15 - 43 = -q*x. Which is bigger: x or 6?
x
Let q(v) = -v**3 + 13*v**2 - 23*v + 13. Let j be q(11). Is j at most 2?
True
Suppose -2*d = -4*s + 36, 4*d - 19 = 3*s - 71. Let w = d - -3. Is -6 <= w?
False
Let f = -2 - -5. Suppose 5*k + 0*o = -3*o + 26, 14 = 5*k - 3*o. Let g = k - f. Which is smaller: g or -1/4?
-1/4
Let x be 10/(-3) + 3 + 4/(-6). Which is smaller: x or 0.06?
x
Let o(p) = -p**2 + 6*p + 3. Let n be o(7). Let s be (-3)/108 - n/(-18). Which is greater: 0 or s?
0
Let x = 0.05 - -1.95. Let h = -0.22 + -1.48. Let j = h + x. Which is greater: -1 or j?
j
Let g be 2 - ((-2)/(-4) + 2). Suppose 0 = p + 2*p. Let i = p + 0. Is g at most i?
True
Let x(v) = -v**3 - 10*v**2 - 10. Let s 