11/2 + -154. Is -3 bigger than t?
False
Let q(z) = -1. Let t(b) = -b**2 + 5*b. Let u(f) = -4*q(f) + t(f). Suppose -g = -6 - 0. Let d be u(g). Is d > -1?
False
Suppose -10*a + 7*a - 27 = 0. Which is bigger: -44/5 or a?
-44/5
Let t be 55/(-70) + 6/21. Which is smaller: t or -1?
-1
Let j(d) = -9*d - 42. Let t be j(-9). Which is smaller: t or 37?
37
Suppose -6 = -0*y - 2*y. Suppose 0 = -2*t - 4*x + 2*x + 6, y*x = 2*t - 21. Suppose 5*a + u - 4 = -1, -2*a + t = -2*u. Which is smaller: -1 or a?
-1
Let o(u) = u**2 + 2*u - 1. Let t be o(-2). Let p be (-4)/9 + (-4)/18. Which is bigger: t or p?
p
Let w = 17 - 17. Which is smaller: -1/2 or w?
-1/2
Suppose -n + 4*n - 3 = 0. Suppose -27*j + 24 = -21*j. Which is greater: n or j?
j
Let d = 85 + -86. Is d smaller than -21/16?
False
Let d = -5 + 13. Suppose g + g = 14. Which is greater: d or g?
d
Suppose 4 = 2*v + o, 0*v = -4*v + 3*o + 28. Is 4 greater than v?
False
Let v = 4.5 + -8.8. Let f = v - -2.3. Which is bigger: f or -0.1?
-0.1
Suppose -5*r - 2*s + s + 12 = 0, -3*s + 6 = 0. Is r less than 0.4?
False
Let t(r) = -r**3 - 10*r**2 - 2*r - 23. Let m be t(-10). Is m at most -5?
False
Let y = 3 + -1. Suppose y*j + 2 + 6 = 4*o, -12 = -4*o. Suppose 0 = j*i - 7*i - 2*l - 30, -4*i = 2*l + 22. Which is bigger: -7 or i?
-7
Let d(k) be the third derivative of k**5/20 + k**4/12 - k**3/6 + 3*k**2. Let a be d(1). Let n be 1 + a/(-6)*2. Is 1 greater than or equal to n?
True
Let g(o) = 5*o - 3. Let z(h) = -6*h + 4. Let a(y) = -5*g(y) - 4*z(y). Let j be a(-3). Let f = -30 - -32. Is j greater than f?
False
Let f = -0.35 + 1.35. Let r be (2 + 0 - 0)/19. Is r less than f?
True
Let m = 128/21 + -3/7. Which is smaller: m or 6?
m
Let j = -0.02 - 0.18. Is 1/4 at least as big as j?
True
Suppose 0 = -2*f - 14 - 0. Let z = 144 + -152. Is z > f?
False
Suppose 3*k = -k. Which is smaller: 0.11 or k?
k
Let k = -1 + 2. Suppose -2*q = 3*r + 1, 5*q + 27 = 4*r - 10. Let o = q - -5. Is k >= o?
True
Suppose 0 = -5*p + 4*p - u - 16, 3*p = -5*u - 54. Let x = p - -15. Which is greater: 0 or x?
x
Let w be ((-2)/(-4))/((-3)/18). Suppose 5*i = 3*c + 2*c + 10, 0 = -2*c - 4*i - 10. Is w less than c?
False
Let g = 11 - 12. Is g < -5?
False
Let h = 337 - 6400/19. Which is smaller: 0 or h?
0
Let d = 5243/3 - 1732. Let k = 16 - d. Which is greater: k or 0.5?
0.5
Let x be 148/28 + (-2)/7. Let w = x - 4. Does w = 1?
True
Suppose 0 = -5*w - 0*w - 25, 0 = -n + 3*w + 16. Let j(g) = -12*g - 1. Let x be j(n). Let v be 4/(-10) + x/(-20). Is -0.1 > v?
False
Let h = 1.56 - 1.8. Let w = h + 0.09. Which is smaller: 0.1 or w?
w
Let v(n) = 5*n - 4*n - 5*n - n**3 + 1 + 5*n**2 + 0*n**3. Let j be v(4). Suppose -m + 0*m = -j. Is m != -1/3?
True
Let g = -14 + 13.3. Let w = 0.6 + g. Are 1/2 and w unequal?
True
Let c(d) = -d**3 - 6*d**2 + d + 5. Let r = -22 - -16. Let j be c(r). Let q be 9/(-6) + 1 - j. Are q and 1 non-equal?
True
Let k(a) = -6*a + 13. Let n be k(4). Which is bigger: n or -8?
-8
Let b = 1698/7 + -240. Is 4 >= b?
True
Let v = -1 - -1. Suppose v = 5*m + 2 + 8. Let x be 1*3/30*m. Are -1 and x equal?
False
Suppose c = -4*c - 30. Let u(x) = x**2 - 2*x - 3. Let s be u(4). Let f = c + s. Which is greater: f or -1/6?
-1/6
Let w = 20 + -2. Let i be 1*(w/(-15) - -1). Is 1 <= i?
False
Let m = -3/14 - -23/42. Suppose -4*a + 0 = -u - 2, -4*a = 3*u - 10. Is m greater than a?
False
Let l = 0.1 + 0.9. Let k = -273 - -247.2. Let d = k - -26. Which is bigger: l or d?
l
Let m(p) = p**2 + p - 1. Let z be m(1). Which is smaller: z or -1?
-1
Let u = -381/5 + 76. Which is smaller: 0 or u?
u
Suppose 0*a = -c + a, 2*c + 2*a = -8. Which is smaller: c or -5?
-5
Let v = -283831789/7 + 40673819. Let s = 126628 - v. Let l = s + -207. Which is bigger: l or 1?
1
Let p = -39 - -8951. Let b = 61105/7 - p. Let y = b + 183. Is -2/11 equal to y?
False
Let d(l) be the second derivative of l**3/6 + l**2/2 - 2*l. Let i(x) = x. Let f be i(-1). Let u be d(f). Is u not equal to -1?
True
Let q(h) = 5*h**2 + 1. Let i be q(1). Suppose -27 = 4*w - 83. Suppose -4*b - 4*x = b - w, -i = b + 3*x. Is b greater than or equal to 4?
True
Let w = 1 + -1.1. Let d = 1.9 + -1. Let u = d - w. Is u greater than or equal to 1/3?
True
Let n be ((-3)/3)/((-4)/7). Let x = 9 + -7. Do x and n have different values?
True
Let y be 6/(-16)*(-6)/(-9). Let z = -0.43 + 0.03. Let l = z - -0.3. Do l and y have the same value?
False
Let m be (1*-3)/((-9)/27). Which is smaller: m or 5?
5
Let r = -3.5 + 35.5. Are r and 1 nonequal?
True
Let b = 2.3 + 6.7. Let x = -9.2 + b. Which is greater: -1/6 or x?
-1/6
Suppose -3*h = -15 + 12. Which is smaller: 0 or h?
0
Let j be 1*(5 + 0 - 5). Which is smaller: j or -2?
-2
Let o be (4/(-6))/(14/(-6)). Is 7/3 greater than or equal to o?
True
Let j = -5 + 0. Let m be -4 + -6*((-20)/36)/1. Is m greater than j?
True
Let m be (-1)/3 + (-1)/(-3). Is m <= 2?
True
Suppose y = -w - 12, 2*y + 15 = -w - 2*y. Is w >= -1?
False
Let q = 0.2 + 1.8. Let p be 12/42 - (-24)/14. Is q less than or equal to p?
True
Let d(f) = f**2 + 9*f + 1. Let t be d(-9). Let l be ((-9)/(-12))/(-4*(-22)/64). Which is bigger: t or l?
t
Suppose -4*d - 5*s + 2*s = 73, -2*d + 3*s - 41 = 0. Which is smaller: d or -21?
-21
Let d = 0.07 - 0.07. Let m = 0.2 + d. Which is greater: m or 0?
m
Let s = 0.22 + -0.42. Let f = s - -0.26. Which is bigger: -0.2 or f?
f
Suppose 0 = -m - 1 + 5. Let q(y) = -6 + y + 7 - m. Let x be q(4). Which is bigger: x or 2/5?
x
Let k be 1*(-4)/(4/3). Is -3 equal to k?
True
Let b(f) = f**3 - 4*f**2 - 3*f - 4. Let t be b(5). Suppose -1 = -3*y + c + t, -5*c = 3*y + 17. Is -3/7 < y?
True
Let t = -29 - -33.8. Let d = 5 - t. Is 0.1 bigger than d?
False
Let s = -12/55 + -2/11. Let l = 11 - 10. Are s and l non-equal?
True
Suppose -4 = -7*w + 3. Is w at least 2/23?
True
Suppose -11 = -k + 5*g, k - 17 = -2*k - g. Are k and 4 unequal?
True
Let l = 2/267 - 3218/1869. Let c = -14 - -11. Which is smaller: l or c?
c
Let v be ((-1)/2)/((-1)/(-4)). Let j = 1 - 3. Let z be j/(-5) + 102/(-30). Is z greater than v?
False
Let g(d) = -d**3 + d**2. Let j(r) = 6*r**2 - r**3 - 2 - r + r - r**3 + r. Let n(v) = -3*g(v) + j(v). Let u be n(-2). Which is smaller: 5/6 or u?
u
Let b be ((-15)/(-4))/(-3) - -2. Let w = -25 - -25. Which is bigger: b or w?
b
Suppose -4*a - 12 = 0, -n - 10 - 7 = 5*a. Let l be (-1)/n*(-7 - -7). Let s be 2*-1*4/(-10). Do l and s have the same value?
False
Suppose 2*l = 3 - 1. Which is bigger: l or 2/11?
l
Let j(s) = -s**3 - 8*s**2 - 14*s - 11. Let h be j(-6). Which is smaller: h or 2?
h
Let g be 4/(-8) - (-17)/(-6). Which is bigger: -3 or g?
-3
Suppose 0*f + 70 = -2*f. Let d = f - -67/2. Which is smaller: -3 or d?
-3
Suppose -5*o = -0*o - 25. Suppose 2*r + 2*r - m + 15 = 0, r + o*m - 12 = 0. Is -3 > r?
False
Let r be 0/(-2) - ((-2)/(-1) - -16). Which is smaller: -17 or r?
r
Let r(z) = -z**3 + 5*z**2. Let d be r(5). Let j = 0.07 - 0.37. Let w = j - -0.5. Which is smaller: w or d?
d
Let l be -1 + (1 - (-2)/(-7)). Let w(t) = t**3 + 2*t**2 - 3*t. Let h be w(-3). Is h >= l?
True
Let f be -2*1/5 + 67/5. Is f >= 13?
True
Suppose 4*c + 2 = i - 13, 0 = -4*i - 5*c - 3. Let x(d) = -d**2 - 4*d - 2. Let j be x(-3). Which is bigger: i or j?
i
Suppose -2*t - 2*p = 0, 2*t - 3*p + 4*p = 4. Let q be (-2)/6 + (t - 4). Which is bigger: 0.1 or q?
0.1
Suppose 2*g = -g + 3. Is 2/31 greater than g?
False
Let i(c) = c**2 + 4*c - 2. Let d be i(-5). Suppose y = -0 + d. Is 4 less than y?
False
Let d = 142 + -36. Which is smaller: 105 or d?
105
Let a be 4/10 + 13/5. Let n(i) = -i**2 - 6*i + 6. Let c be n(-6). Suppose 0*y + 3*q = -a*y - c, -5*y + 2*q - 10 = 0. Which is smaller: y or 0?
y
Let o = 9 + -8. Let m be 3/(-4 - 12/8). Which is smaller: o or m?
m
Let i = 739 + -47295/64. Let f = -29/192 - i. Which is smaller: -1 or f?
-1
Suppose a + 5 - 2 = -3*n, 1 = n. Let o(i) = i**3 + 7*i**2 + 4*i - 6. Let f be o(a). Is f at least as big as 7?
False
Let k(b) be the third derivative of -b**4/8 - b**3/6 - b**2. Let r be k(-3). Let j = r + -7. Is 8/7 bigger than j?
True
Let s = -4795165/11003267 - -2/34493. Let m = s + 10/29. Which is smaller: m or 0?
m
Let b be ((-8)/(-16))/((-2)/(-4)). Let m(k) = -k - 5. Let o be m(-6). Does o = b?
True
Let t be (-5)/20 + -46*1/(-120). Are t and 1 equal?
False
Suppose 13 = 2*x + 11. Which is bigger: x or -1/25?
x
Suppos