-1). Is -1 greater than c?
False
Let i = 88 - 84. Let u = 0 - 0.1. Which is smaller: u or i?
u
Let x(t) = t**2 + 6*t + 6. Suppose 6 = -2*g - 2*s, 4*s - 2 + 18 = -5*g. Let n be x(g). Let i(q) = q + 3. Let v be i(-5). Is n smaller than v?
False
Let f = 0 + -1. Let o be (2 - f) + (-1827)/28. Let u = o - -62. Are u and 0 unequal?
True
Suppose 0 = r - 3*r + 12. Let v be -1 + r - (2 + -1). Let c be (1/(-3))/((-2)/24). Is v smaller than c?
False
Let l be ((-2)/8)/((-10)/(-8)). Let p = 459 + -461.01. Let o = p - -0.01. Are o and l non-equal?
True
Let f = 1.56 - 0.06. Let j = 0.5 + f. Are j and 0.3 unequal?
True
Let l(z) = 2*z + 2. Let n be l(-4). Which is smaller: n or -2?
n
Let b = -0.48 + 0.28. Is 2 < b?
False
Suppose 14 = -8*h - 50. Is h <= -0.3?
True
Let x(n) = -1 + 0 - n**3 + 8*n**2 - n**2 + 2. Let o be x(7). Is o greater than or equal to 2?
False
Let a = -4382 - -78853/18. Let g = a + -2/9. Is 3 greater than g?
True
Suppose 0 = 5*w - 0*v + v + 20, -4*w - 3*v - 27 = 0. Let j be 0 + 1 + w - 2. Let l be ((-6)/j)/((-15)/4). Do l and 0 have the same value?
False
Let j be 10824/(-45) - 2/3. Let u = j - -242. Which is smaller: 1 or u?
u
Let n = 0 + 71. Which is bigger: -2/5 or n?
n
Let c be 2/5 + 9/15. Let p be (4 - 3)*c*0. Which is smaller: 2/5 or p?
p
Let x = 157 - 4866/31. Let c(t) = t + 1. Let d be c(0). Is x at least as big as d?
False
Let x = 58 + -39. Let j be x/2 + (-7)/(-14). Is 10 >= j?
True
Suppose -46 = 4*f - 14. Which is smaller: -5 or f?
f
Suppose 16 = 4*n - 8. Which is greater: n or 5?
n
Let l = -16 + 27. Let c = -10.97 + l. Is 0.1 >= c?
True
Let b be ((-48)/(-45))/8*5. Is -3 >= b?
False
Suppose -7 - 2 = 9*w. Which is smaller: -8/9 or w?
w
Let p be -14 + 12 - (0 + -4). Let k be 0 - 0 - p/7. Which is smaller: k or 0?
k
Suppose 9 = -r + 4*b + 4, 0 = 2*r + 2*b - 10. Let z = -10 + 14. Is z greater than r?
True
Let u = -10 - -7. Let h = u + 3.02. Are h and -2/3 equal?
False
Let y = 19 - 35. Which is bigger: y or -1?
-1
Let h be (-4)/48*9/2. Which is smaller: h or -1?
-1
Suppose 5*l - 13 + 63 = 0. Let m be ((-13)/l - 1)*-14. Let x = m - -47/10. Which is smaller: x or -8?
-8
Suppose -15 = -5*j + 35. Suppose 4*d + 2 = j. Suppose -4*o = d*n - 11 + 37, 3*o + 22 = -2*n. Is n at least as big as -4?
False
Let h(c) = -c**3 + 12*c**2 + 12*c + 16. Let l be h(13). Let s be l/(-12) - (-6)/56. Is s greater than 1?
False
Let a be 1/(-2)*12/2. Let n(c) = -2 + 3*c**3 - c**2 - 3*c**2 - 4*c**3 - 4*c. Let x be n(a). Is 1 at most as big as x?
True
Suppose 0 = -5*b - 15, -f + b + b - 4 = 0. Which is smaller: f or 0?
f
Let b(g) = g**2 - 6*g. Let h be b(6). Let m be ((-2)/(-8))/((-322)/112). Which is greater: h or m?
h
Suppose n - 16 = -3*n. Suppose 3 = -7*u + n*u. Suppose -g + 0*f + 3 = 4*f, 4*f + 1 = -5*g. Is u less than g?
False
Suppose 4*h + h = 15. Suppose 2*q - 8 = 2*y - 0*q, -2*y - 12 = -h*q. Let f be (-3 + y)/(15/(-2)). Do f and 2 have the same value?
False
Suppose -y = -4*y - 12. Let l be 2*-6*(-2)/y. Let u(v) = -v**2 - 6*v. Let k be u(l). Which is smaller: k or 1?
k
Let n = -401/35 + 63/5. Let z(m) = m**3 - 9*m**2 + 2. Let t be z(9). Which is bigger: t or n?
t
Suppose 0 = 2*s - 3*o - 3, 2*o + 0 = 4*s - 10. Suppose s = f + 1. Which is bigger: 2/3 or f?
f
Let r(x) = -8*x**2 - 7*x + 4. Let i be r(2). Is i equal to -42?
True
Suppose 27 + 21 = 4*d. Suppose 0*i = 4*i - d. Suppose 0*w = -i*h - 2*w + 15, 12 = 3*h + w. Is h <= 4?
True
Let o(v) = v**2 - v + 2. Let t be o(0). Suppose -5*k + 144 = 2*c, t*c = 4*k + 46 - 172. Let h = 269/9 - k. Which is bigger: 0 or h?
0
Let f be (21/(-13) - -2)*(-28)/35. Which is smaller: 1 or f?
f
Let l = -4 + 4. Let f = -14.3 - -14. Is f equal to l?
False
Suppose 2*r = -2*v, 4*r - 4*v + 5 = 3*r. Let x be -3*1/(-3)*r. Is -1 greater than x?
False
Let q be -2*5*(-2)/(-5). Is q at most -5?
False
Let y = 20 - 20. Suppose y = -4*g - 12, -3*s + 2*s + g = -1. Is s at least -3?
True
Let c(w) = 4*w - 2. Let a be c(3). Let s be (6/(-18))/(a/(-4)). Is s > -1/2?
True
Let v = 37 + -37. Is v equal to 8?
False
Let k(m) = m**3 + 8*m**2 - m + 4. Let g be k(-8). Let n be (3/g)/((-3)/2). Suppose t + 2*t + 3 = -v, -4*v = -3*t - 3. Which is smaller: v or n?
n
Suppose 4*x - 7 - 1 = 0. Suppose 0 = -h - x + 11. Is 9 at most as big as h?
True
Let j(w) = -w**3 + 4*w**2 + 4*w + 5. Let z be j(5). Let m be 0 - z - (-6)/21. Let t = 2 - 3. Which is smaller: t or m?
t
Suppose -n = -2*n - 8. Let v be (14/n)/((-9)/(-21)). Let z = v + 23/6. Is z less than or equal to -1?
False
Let j(l) = -l - 2. Let q be j(11). Is 0 < q?
False
Let b = -1 - -7. Let d(u) be the first derivative of u**2/2 - 5*u - 4. Let o be d(b). Is -3/2 greater than o?
False
Let b = 7 - 4. Let c be (1/(-3))/(2/b). Let q = -3 - -2. Is c bigger than q?
True
Let z(t) = -2*t**2 + 11*t - 1. Let y be z(3). Is y <= 14?
True
Let j = -5486741/264 + 20783. Let f = -7/24 - j. Is 1 smaller than f?
False
Let c = -2.5 + -0.5. Let n be (2/5)/(0 + 1). Which is smaller: c or n?
c
Suppose c = -1 + 3. Let h = -20 + 21.3. Let m = h - 0.3. Is c bigger than m?
True
Let i be (-2)/(-8) + 6/(-24). Let r = 6 - 4. Let u = r + -3. Which is greater: i or u?
i
Let t be -3 + 90/25 + 14/(-40). Let d = 0 + 0. Which is greater: t or d?
t
Let n = 311565163/95 - 3279664. Let o = 153/5 + n. Let d(z) = -z. Let j be d(-1). Is o greater than or equal to j?
False
Let p be 204/21 - 6/(-21). Let t be (8/p)/((-1)/5). Let i be (-10)/12*t/10. Is i at most as big as 1?
True
Suppose -x - 2*p - 3*p - 33 = 0, -4*p = -x - 6. Which is smaller: 0 or x?
x
Let t(g) = g**3 - 3*g**2 + 2*g - 1. Let x be t(2). Let z = 0 + x. Let c = 1390/11 - 126. Which is bigger: z or c?
c
Let p = 13 - 13. Which is greater: 1/74 or p?
1/74
Let h = 7 + 16. Which is bigger: 1 or h?
h
Let y(s) = s**2 - 6*s + 6. Suppose 4*k - 24 + 8 = 2*j, 3*j = 0. Let v be y(k). Let f be -2*4/(5 + 3). Which is smaller: f or v?
v
Suppose 2 = -2*a - 14. Let j be (9/a)/(60/16). Which is bigger: 0 or j?
0
Let u = -8 + 6. Let p be (1 - 2) + u/(-10). Is 0 at most p?
False
Suppose 5*z - 26 = 3*x, -5*z + z = -5*x - 13. Let y be 30/(-56) + 2/z. Let c(m) = -m**2 + 12*m. Let r be c(12). Which is greater: y or r?
r
Suppose -3*i = -8 - 1. Let g(w) = -w**2 + 2*w - 1. Let f be g(i). Let l be 6/f + 5/2. Which is smaller: l or 2?
l
Suppose -8 = 5*n - 3. Let b be n + 0 + (-1 - -1). Which is smaller: b or -2/23?
b
Suppose 7*b - 2*b = 3*y - 2, 5*b - y + 4 = 0. Let p = -9/92 + 2539/92. Let n = p - 28. Is n greater than b?
True
Suppose -4*v = -v - 18. Let q = 5 - -2. Let y = v - q. Does -2 = y?
False
Suppose 14*n - 17*n = 48. Is -1 less than or equal to n?
False
Let o(x) = 2*x**3 - 5*x**2 + 6*x - 2. Let n be o(2). Do 2 and n have the same value?
False
Let k = -259.4 - -218. Let g = k - -34. Let d = -1.4 - g. Which is greater: -1 or d?
d
Suppose 8*f + 2*m - 63 = 3*f, 5*m + 31 = 2*f. Which is bigger: 14 or f?
14
Let v = 10.43 + -0.43. Let w = 14 + -24. Let c = w + v. Which is greater: -3 or c?
c
Let l be (-10)/(-2) - (-1 + 3). Let y be -2 + l - (-2)/(-3). Let n be 0 - ((-57)/(-132) + 2/(-8)). Which is smaller: y or n?
n
Let v be (0/(-2))/(-3 - -1). Suppose v = 2*z - z. Let g(h) = h**3 + h**2 + h. Let w be g(z). Which is smaller: w or 0.06?
w
Let i = -1.4 + 1.5. Which is greater: i or -14?
i
Let f = -378 + 3398/9. Let a(q) = q**2 - q. Let n be a(1). Is f > n?
False
Let f = -195 - -206.9. Let j = f + -12. Which is greater: -8 or j?
j
Let b = 22 + -42. Let s = b - -19.7. Is s at least 1/2?
False
Let m(z) = z**3 - 6*z**2 - 5. Let l be m(6). Let f = 0.2 + -0.25. Let o = 0.05 - f. Which is smaller: l or o?
l
Let o = 1149 + -51703/45. Let z = o - 49/90. Let x = -3 + 3. Which is smaller: z or x?
z
Let l be (-30)/(-18)*(4/(-8) + -2). Is l > -3?
False
Suppose -s - r = s + 90, 4*r = -s - 38. Which is bigger: s or -45?
-45
Suppose -4*k - 41 = -1. Is k at most -10?
True
Let y = -10 - -4. Let x = -1.66 + 1.56. Which is greater: x or y?
x
Suppose 0*u = 5*u. Let j be ((-7)/(-21))/((-4)/(-3)). Is j at least u?
True
Suppose -5*r = -4*k - 107, r + 121 = 6*r + 3*k. Let w = -26 + r. Which is smaller: -4 or w?
-4
Suppose -b + 2 = -5*b + 3*a, a = -4*b + 6. Is b >= -2/301?
True
Suppose 0 = -4*h + 5*g + 2 + 2, -3*h + 4*g = -3. Suppose 4*p = 5*p - 12. Let l = p + -10. Which is greater: l or h?
l
Let k(b) = 3*b - 7. Let x be k(6). Is 0.2 < x