-0*o. Let u be (3/12)/(4*10/32). Which is bigger: o or u?
u
Let j be 2/3*168/16. Suppose -p + 2*p + t - j = 0, 5*t + 9 = -p. Let i = p + -6. Which is smaller: i or 1?
1
Suppose -5*i = -i + 24. Let v be i/21 - (-4)/14. Let t(r) = r**2 - 6*r + 6. Let l be t(5). Which is greater: v or l?
l
Let k(t) = -t + 17. Let d be k(12). Is d at least as big as 4?
True
Let i be (-418)/(-30) - 4/(-10). Let x = i - 1078/75. Is x <= -1?
False
Let l(r) = r**2 + 6*r + 1. Let q be l(-5). Let f be ((-2)/(-8))/(q/(-16)). Do f and 1/3 have the same value?
False
Let h = -2.06 - -5.97. Let s = h - -0.09. Which is smaller: -2 or s?
-2
Let d = 168/11 - 752/55. Suppose 18 = 5*h + 3. Suppose -h*z = u - 6, -2*z - 2*u + 4 = -4*u. Is d bigger than z?
False
Suppose 0*o = o + 20. Let a = 32 + o. Let p be (45/a)/5*4. Is p bigger than 4?
False
Let k(n) be the first derivative of 1/2*n**2 - 1 - n. Let s be k(-5). Which is smaller: s or -5?
s
Let d = -7.83 - 0.17. Let p = d - -8.1. Is 1/3 less than or equal to p?
False
Let f(z) = 7*z - 40. Let m be f(-4). Is 2 > m?
True
Let w = 5 - 2. Suppose -2*t - 3 = -t. Let f = 0 - t. Is w != f?
False
Let t be ((-8)/14)/(4 - 2). Suppose z + h = -4, -2*z + 30 = -6*z + 3*h. Let v be 1 + 5/(15/z). Which is smaller: t or v?
v
Let c = -12 + 11. Let d = 3662 - 40314/11. Let t = 394/143 + d. Does c = t?
False
Suppose 2*k - 7 = -5. Is k bigger than 2/63?
True
Let c(r) = -4*r - 5. Let x be c(-2). Which is smaller: x or 6?
x
Suppose 5*i - 21 = -1. Let g = i - 2. Let n = -172/267 - 2/89. Which is bigger: g or n?
g
Let b(t) be the second derivative of -1/2*t**2 + 2*t + 0 + 1/2*t**3. Let f be b(1). Which is smaller: 3 or f?
f
Let y = 12 + -8. Suppose -7 = 3*j - y. Which is smaller: 1 or j?
j
Let d = 25027/504 + -397/8. Is 1 at least as big as d?
True
Let u = -0.17 + -4.83. Are u and 0 equal?
False
Let n = -0.85 - -0.8. Let f = n - 0.25. Let r = 2.1 + -2. Which is smaller: f or r?
f
Let t(d) = -2 + 4*d - d**2 + 0*d**2 + d. Let o be t(3). Which is greater: 10/3 or o?
o
Suppose -b + 20 = -s - s, -2*b = -4. Let n(r) be the third derivative of -r**4/24 - 13*r**3/6 + 2*r**2. Let f be n(s). Is -4 less than or equal to f?
True
Let n(b) = b**2 + 4. Let q be n(0). Suppose -5*v = -1 - q. Let l be (-2 - (-14)/8) + 10/40. Which is greater: v or l?
v
Let v(z) = -2*z + 15. Let r be v(7). Let a be (9 - 8)/(-4 + r). Which is smaller: a or 2/17?
a
Let g = -1.08 - -0.08. Suppose 0 = a + 2*a + 3. Let c be 0 + a + 3/1. Is c greater than or equal to g?
True
Let l = -17/133 - 3/19. Let r = 0.2 + -0.1. Which is smaller: l or r?
l
Let d(r) = -4*r**3 - 5*r**2 - 11*r - 5. Let t(k) = 5*k**3 + 5*k**2 + 12*k + 6. Let u(p) = -6*d(p) - 5*t(p). Let s be u(6). Which is smaller: s or -1?
-1
Let t = 6 + -12. Let u = t + 0. Let q = u - -5.9. Which is smaller: 2/5 or q?
q
Suppose 3*g + 2*h - 11 = 0, h + 0*h - 13 = -4*g. Let c be (g - (3 - 0))/1. Is c greater than or equal to 1?
False
Suppose 5*y - y + 5*q - 18 = 0, -4*y = -4*q. Let u be -6*(0 + y/(-6)). Suppose -5*j - 2 = 2*h, u*h + 1 = j + h. Is j smaller than 2/11?
True
Let x = 0 + -2. Which is bigger: x or -27?
x
Suppose 4*i + 207 = -2*z + 63, -4*z = -8. Do i and -37 have the same value?
True
Suppose p + 2*p = 5*a - 4, -2*p - 10 = 4*a. Let i(g) = g + 15. Let d be i(-12). Suppose -2*c + d*c = -1. Is c greater than a?
False
Suppose 3*l - f + 3*f - 59 = 0, 0 = f + 2. Let w = 15 - l. Let b be (-3)/w*(-4)/(-2). Are b and 3/5 unequal?
True
Let l(q) = q + 1. Let n be l(3). Suppose a = n*a + 30. Let o(y) = -y**2 - 10*y + 1. Let d be o(a). Do d and 1 have the same value?
True
Let a be (-33)/(-27) + 0 - 1. Let z = 6 - 2. Let p be z/(-14) + (-8)/(-14). Which is bigger: a or p?
p
Let p(i) = -2*i + 3. Let n be p(3). Let w = 4 + n. Let l be -1*(21/(-6) + 3). Is l at most as big as w?
True
Let m(a) = -a**3 - 9*a**2 - 8*a - 5. Let j be m(-8). Let i(c) = -c**2 - 7*c - 9. Let x be i(j). Which is smaller: x or 0.05?
0.05
Let f = 172.8 - 189. Let d = -16 - f. Does d = 4?
False
Suppose 42 = y - 4*y. Let u = 13 + y. Which is bigger: 2/5 or u?
2/5
Suppose 4*o - 2 = 3*o. Suppose r = -o*d + 3, 0 = 2*r - d + 6*d - 8. Let p be (1 - r)*(3 + -2). Which is bigger: 3/5 or p?
p
Let d = 18.7 - 18. Let y = d + 0.3. Is -2 less than y?
True
Let q = -3.01 + 0.01. Let o = q + 8. Which is smaller: -1/3 or o?
-1/3
Let i = -0.51 - 0.49. Which is greater: 88 or i?
88
Let b = -5 - -13. Let w be (b/(-4) - -2)/2. Which is smaller: -1/3 or w?
-1/3
Suppose 4*f - f - 9 = 0. Suppose -f*r = -0*r. Let s be (-28)/30 - 56/(-42). Which is smaller: r or s?
r
Let y(u) = -u + 3. Let j be y(0). Let p = j + -2. Let t = 174/205 + -2/41. Which is greater: t or p?
p
Let d = -637/4 + 161. Suppose 9 = -33*n + 75. Which is bigger: d or n?
n
Suppose 4*v - 27 = -5*y, 0*v + y + 6 = 3*v. Let f = 0.14 - -2.86. Is v >= f?
True
Let c = -19 + 17.95. Let r = -0.05 - c. Let b = r + -1. Is -1/6 < b?
True
Let z(x) = -x**3 - 6*x**2 - 5*x. Let q be z(-5). Let c be ((-6)/(-4) - 1)*q. Is 3 greater than c?
True
Suppose -14*b = -13*b. Which is smaller: -9/10 or b?
-9/10
Let s = 34 - 38. Is -5 greater than or equal to s?
False
Let z be 3 - 16/(-4 - -6). Which is smaller: z or -7/2?
z
Let v be (5*3/9)/(24/(-9)). Which is bigger: -1 or v?
v
Let o be ((-228)/110)/2 + 1. Suppose 40*q = 18*q. Which is greater: o or q?
q
Let z = 2.3 + 0.5. Let c = 3 - z. Let h = -3 - -4. Is c >= h?
False
Let r = 3 - 4. Let s be 89/3 + r/(-3). Let m be ((-2)/s)/((-1)/3). Is 1/3 < m?
False
Let l(h) = -3*h - 23. Let d be l(-8). Which is smaller: 0 or d?
0
Let k = 16 + -20. Is -1/6 greater than k?
True
Let s = 18 + -27. Are s and -9 nonequal?
False
Let j be (-4)/10 + 91/35. Which is bigger: j or 2?
j
Let k = 5/21 - -2/21. Suppose 5*z + 12 + 8 = -5*g, 0 = 3*g - z - 8. Which is greater: k or g?
g
Suppose 2*g - 7 = -35. Is g greater than -14?
False
Let u = 35 + -36. Is -2/41 at least u?
True
Suppose 2 = -4*j + 6. Let s be 2/j + -2 - -2. Suppose -2*o = s*o. Is o != 0?
False
Let h be (585/(-108) - 6/(-8))/(-6). Which is bigger: h or 1?
1
Let h = -1.21 - -1.6. Let k = 0.01 + h. Is k less than or equal to 0.1?
False
Let w be 6/(-4)*(-4)/57. Let c(k) = -2*k - 10. Let y be c(-6). Suppose -4*m = 0, -3*m = y*v - v. Is v > w?
False
Let d be (-2)/(-4)*2*4. Let v = 8 - d. Are v and 2 unequal?
True
Let o be (-96)/(-9) + (-4)/(-12). Which is bigger: o or 12?
12
Let k(r) be the first derivative of r**4/4 - r - 1. Let m be k(0). Suppose -9*h = -4*h. Is m less than or equal to h?
True
Let k = -1 + 2. Let u = 20 - 19. Is u at most as big as k?
True
Suppose 9*g - 8 = 8*g. Suppose -v + 5*f + 17 = 0, -3*v = -g*v - 5*f - 65. Which is smaller: v or -7?
v
Suppose -3*y = 4*y - 21. Is -0.4 < y?
True
Suppose -3*d + 2*d = -2*i - 10, 0 = 3*d + 4*i - 60. Let h be 44/d - (-9)/(-12). Is 7/5 at most h?
True
Let m(v) = -v**2 - 3*v. Let r = 11 + -14. Let d be m(r). Is d at most 1?
True
Let z = -0.59 + 0.86. Let i = -0.03 - z. Let o be 6/(-21) - (-4)/14. Which is smaller: i or o?
i
Let u(d) = d**3 + 3*d**2 - 3*d + 2. Let o be u(-4). Let k = 2 - 4. Let l = k + 1. Is l > o?
True
Suppose -4 = -2*q + r - 0, -10 = -5*q - 2*r. Let p = 4 - q. Suppose p + 0 = -2*o. Is o at least as big as 1/5?
False
Let l(f) = -f**2 - 9*f - 16. Let k be l(-7). Let j = -735/4 - -181. Is k equal to j?
False
Let u = -71 + 496/7. Let a = u + -19/14. Which is smaller: a or 2?
a
Suppose 3*j - 2*k = k - 12, -2*k + 15 = 5*j. Is j at most -12?
False
Let f(h) = h**3 + 6*h**2 + 3*h - 2. Let j be -1 - -1 - (7 - 2). Let x be f(j). Which is bigger: x or 0?
x
Let k be (10/(-3))/(2/(-3)). Suppose 12 = -k*h - 3, -3*h = -x + 11. Which is smaller: x or 1?
1
Suppose -4*h = -h - 3. Suppose c + 4*j = -10 + h, 3 = -c - j. Which is bigger: -11 or c?
c
Let q(a) = -a**3 - 14*a**2 + 2*a + 29. Let g be q(-14). Is g smaller than -5?
False
Suppose 0 = -0*l + l + 10. Is l <= -10?
True
Suppose 5 = i + 5*b, -2*i - 3*b = -0 - 3. Suppose k + 2*w - 4*w - 2 = i, k = -5*w - 12. Does -1 = k?
False
Let a = -0.7 - -0.3. Let g = -0.6 + a. Which is greater: 2 or g?
2
Suppose -4*h - 3*k - 11 = -0, 3*k - 3 = 3*h. Let d be (2/(-8))/(h/4). Are d and -0.3 nonequal?
True
Let u(v) = -v**2 + 9*v - 8. Let x be u(8). Suppose 5*k + 10 + 5 = x. Let z = 5 + k. Which is smaller: z or -1?
-1
Let r be (-5)/19*2/5. Let s = 51 - 52. Is r > s?
True
Let o(u) = u**2 - 3*