t a(t) = 2*t**2. Let y be a(1). Let i be (y - 0)/(0 + 1). Is i greater than d?
True
Suppose 5 = 4*z - 4*u - 3, -4*z + 5*u = -12. Let k(w) = -w + 1. Let d be k(z). Suppose d*b - 2 + 8 = 0. Which is smaller: b or -3?
-3
Let a = 3/851 + 7575/23828. Which is smaller: -1 or a?
-1
Suppose 2*l + 4*s = 14, 2*l + 5*s - 21 = 3*l. Let b = -6.3 + 1.3. Is l at least b?
True
Let i = 70/37 + -15437/8140. Which is greater: i or 1?
1
Let y(u) = u**3 - 10*u**2 + 9*u - 9. Let q(c) = -c**3 + 10*c**2 - 9*c + 8. Let s(d) = -5*q(d) - 4*y(d). Let n be s(9). Let f = -4 - 1. Which is smaller: f or n?
f
Let b be (12/10)/((-9)/(-30)). Let c(y) = -y**2 - y + 13. Let u be c(0). Suppose 4*a - u = -1. Are a and b unequal?
True
Suppose m + 2*i - 64 = 5*i, -5*i = -10. Is 71 at most as big as m?
False
Let x = -0.8 - -1.8. Let d = 0 - x. Which is smaller: -1/3 or d?
d
Suppose -3*l + 12 = t, 1 + 59 = 5*t - 5*l. Is 12 at least as big as t?
True
Suppose 4*g + 0*g = 6*g. Do g and 0 have different values?
False
Suppose -2*g + 2*o = 2*g - 12, -17 = 3*g + 5*o. Is g at least as big as 2/29?
True
Let y(r) = -6*r**2 - 2*r - 8. Let s be y(4). Let h be 24/(-63)*12/s. Which is bigger: h or 1?
1
Suppose -2*o = -2*w + 4*w + 2, -2*w = 4*o - 4. Suppose o*b - b = 0. Which is smaller: -1/2 or b?
-1/2
Let n(h) = h + 4. Let r = 2 + -6. Let l be n(r). Is l at most as big as -4/3?
False
Suppose 15 = -3*d - 2*d. Let i be d - (1 + (3 - 5)). Which is greater: i or -1?
-1
Suppose 73 = -0*m + m. Which is smaller: m or 145/2?
145/2
Let r(s) = 6*s**2 - 5*s. Let z be r(1). Let g be (-6)/1 - (-1 + 1). Let i be 1 + 3/g - z. Which is smaller: i or 7?
i
Let a be (2 - (0 + 4)) + -9. Is a less than or equal to -14?
False
Let b(i) = -i**3 + 4*i**2 - i + 5. Let u be b(4). Let a(z) = z - 1. Let d be a(u). Is d at least as big as -6/7?
True
Let s = 26/15 - 32/5. Let u = 5 + s. Let m be 9/(-6) + (-2)/(-4). Which is smaller: u or m?
m
Suppose -22 = -2*o - 6. Let c(n) = n**3 - 7*n**2 - 7*n - 7. Let m be c(o). Let y = m - 1/2. Is y > 0?
True
Let d be -3*-2*(-2)/42. Let y be ((-14)/(-3))/((-4)/6). Let v = 6 + y. Which is smaller: d or v?
v
Let j(w) = -w**2 + 2*w. Let l be j(1). Let c be l - 13/5 - -1. Let g(a) = -a**3 + 4*a**2 - 4*a + 2. Let p be g(3). Which is bigger: c or p?
c
Let h(d) = 3*d + 8. Let j be h(-2). Let p = 0.3 + 0.7. Which is smaller: j or p?
p
Let c(f) be the first derivative of -f**4/4 + f**3/3 - 6*f + 3. Let h be c(0). Let k(r) = -r**2 - 8*r - 7. Let n be k(h). Are n and 6 unequal?
True
Let i = -48 - -47. Suppose -4*f + 4 = -3*b - 5, 3*b = -5*f - 9. Is f at least i?
True
Let h(g) = 7*g + 50. Let t be h(-7). Which is bigger: 1/69 or t?
t
Let o be 81/(-15) + 4/10. Suppose w = 5*i + 10, 2*w = -2*i - 2*i - 8. Which is smaller: i or o?
o
Let b = 42 + -81. Are b and -38 non-equal?
True
Let d = 4 - 3. Let q = 242 + -483/2. Do q and d have different values?
True
Let u = 7 + -11. Let m be 57/(-2) + (-2)/u. Let b be (-2)/7 - 8/m. Is b bigger than 1/3?
False
Suppose -4*b = -5*m + 29 + 12, -4*m = -3*b - 31. Is -2 not equal to b?
True
Let y be (-1)/2*(-4)/2. Let q be 0 + y + (-4)/3. Which is smaller: q or 0?
q
Let v = -1597787083348/2193 - -728585067. Let r = v - -686/43. Let y = r - 5/17. Is y equal to 2?
False
Suppose 5*c = -694 - 131. Let n = 1157/7 + c. Is n less than or equal to 1?
True
Let v = 2 - 2. Let l = -0.2 + v. Let r be 1 - (-1)/(3/(-5)). Which is bigger: l or r?
l
Let w = 1.7 - 1.5. Let n = w + -0.3. Is -0.1 smaller than n?
False
Let l = 1/1254 + -14108/627. Suppose -5*x + 4*c - 90 = 9*c, -2*x - 24 = 5*c. Let f = l - x. Which is smaller: f or -0.2?
f
Let u be 4/22 - (-744)/1716. Which is smaller: u or 0?
0
Let x(v) = -v**2 + 7*v. Let u be x(6). Suppose -3*w = 2*l - u + 22, 2*l + 8 = w. Is -2 at most l?
False
Suppose -12 = -4*b, 0*t + 10 = t - 5*b. Is t > 23?
True
Let l be (-2)/((-25)/(-10) + -2). Is 0 < l?
False
Suppose -3*j = -j - 10. Suppose 0*n + 2*x = -4*n + 16, j*x = 5*n + 10. Is n greater than 2?
False
Let q = 62 + -61. Which is bigger: 24 or q?
24
Let j be 22/(-121) - (-156)/(-110). Which is greater: j or -2?
j
Let x(y) = 7*y**2 - y - 7. Let f(w) = -20*w**2 + 2*w + 20. Let u(a) = 4*f(a) + 11*x(a). Let t be u(2). Is t >= -15?
True
Let a(n) = -n**3 + 2*n**2 - n + 1. Let m be a(1). Let p be 1 + -2 - (-2 + 2). Let h be (1 + p)/(12/(-6)). Which is bigger: m or h?
m
Let d = 7 + -7. Let i = -1 + d. Let t = i - -0.9. Which is greater: t or -0.3?
t
Let p be 12*(-3 + 1/3). Let z = 63/2 + p. Let n = 17 - 35/2. Are z and n equal?
True
Let a(h) be the second derivative of h**6/720 + 13*h**5/120 + h**4/12 - h. Let q(l) be the third derivative of a(l). Let d be q(-5). Which is greater: d or 0?
d
Let z = -256/3 + 86. Let u = -1.04 - -1. Let f = u + -0.96. Are f and z non-equal?
True
Let w = 50.7 + -54. Let r = -3 - w. Let v = r - 0.4. Which is bigger: 3 or v?
3
Let t(m) = m**3 + 8*m**2 + 8*m - 2. Let f be t(-6). Suppose -f = -2*s - 4*j, -j = 5*s - 0*j - 10. Which is smaller: s or 0?
0
Let j(p) = p**3 + 4*p**2 - 7*p - 6. Let x be j(-5). Suppose 9 = -f + x*f. Is f not equal to 0.1?
True
Let z be (-4)/156*3/2. Which is smaller: z or 1?
z
Let t = 102 - 101. Let g = -2295/14 - -164. Which is greater: g or t?
t
Let o = -15 + 8. Let i = -16 - -9.2. Let v = i - o. Is v bigger than 1?
False
Let p = 3.01 + -0.01. Let a = 3 - p. Let b = a + 0.1. Is b at least -0.3?
True
Let a be ((-2)/(-3))/((-5)/3). Let k be 2744/(-78) + (-2)/13. Let h = -35 - k. Are h and a equal?
False
Let n be (-4 - -3)*(0 - 0). Suppose v + 9 = 2*g, 3*v = -n*g - 4*g + 13. Is v bigger than -1/3?
False
Let p = 916/9 - 102. Let o = -8/9 - p. Suppose 0 = -3*s - 0*s. Is o less than s?
True
Let m be (-31)/3*(-8 - -5). Suppose 3*x = m - 1. Which is greater: x or 9?
x
Let h be (-1)/(-2) + (-21)/(-6). Suppose 4*q - 1 + 6 = 5*r, -h*r + 4 = -4*q. Is 5/9 at least q?
True
Suppose -5*j + 9*j = 24. Suppose 0 = y - 3*y + j. Is y less than 3?
False
Let m = 29 - 29. Let w be m/(8 + -4 - 2). Which is bigger: w or -1/3?
w
Let d(b) = -b. Let r = -11 - -8. Let n be d(r). Which is bigger: -0.1 or n?
n
Let u be (-1*(2 + 1))/(-1). Let i = 8 - u. Suppose -i = -2*x + 1. Is x < 3?
False
Suppose -3*w + 8*w + 5 = -5*m, 3*m - 6 = 0. Let x = w - -9. Is x at least 6?
True
Suppose 4*z + 176 = -4*z. Which is smaller: 2/5 or z?
z
Let z = -149 - -129. Do z and -20 have the same value?
True
Let v be 20/11 + (-18)/(-99). Suppose 0*h - v*h = -4*u + 54, 2*u - 31 = 5*h. Which is bigger: 2/7 or u?
u
Suppose -4*w = w. Which is smaller: w or 2/11?
w
Let l(k) = -k**3 - 11*k**2 + 8*k - 2. Let o be l(-10). Let n = o + 3096/17. Which is smaller: 0 or n?
0
Let d = -21 + 56. Is d bigger than -1?
True
Let f be ((-8)/4 + 0)*4. Let u be (-36)/f*8/3. Which is greater: 11 or u?
u
Suppose 3*x + 3 = -3*q, -2*q + 2 - 16 = 5*x. Let n be (-2)/q*9/6. Suppose 12*r = 17*r + 5. Is r smaller than n?
False
Let b = 4010/3 + -1315301/984. Let m = 2739/2296 - b. Let y = -5/7 + m. Is y at least -1?
True
Let t = -22 + 20. Is 0 less than or equal to t?
False
Let q = 0.6 - 0.5. Is 39 != q?
True
Let u(d) = -d**3 + 6*d**2 - 7*d + 4. Let h be u(4). Does h = 7?
False
Let n(t) = 2*t + 2. Let u be n(1). Is 2 >= u?
False
Let c be (-9)/(-4)*(-104)/(-39). Is 3 > c?
False
Let v be -5 + -34 + (-6 - -5). Which is greater: 1/5 or v?
1/5
Let l = -0.02 + 0.09. Do -0.1 and l have the same value?
False
Let i be (-1)/(1/(3/(-3))). Let z be 0 - -1 - (i + 1). Let t be z/(-1) - 0/(-1). Are t and -2/9 equal?
False
Let s = -419/61491 - 1/309. Which is greater: 1 or s?
1
Let o be 24/62*4/16. Do 1 and o have different values?
True
Let x be (-2)/(-1) - 13/5. Is x at most as big as -6?
False
Let j be (-6)/24 + (-1)/(-4). Is -1/3 >= j?
False
Let q = 15.9 + -15.8. Which is smaller: 6.7 or q?
q
Let f = 0.02 + -0.42. Let b = f + 0.8. Let r be (-2)/(-9) - (-1)/36. Which is smaller: b or r?
r
Suppose 5*x - 1 + 11 = 0. Let k be (-66)/15 + 4/10. Let a be (k - -2)/(-4) + -1. Is a greater than x?
True
Let w = -0.2 - -1.2. Let y = -0.009 - 0.491. Which is smaller: y or w?
y
Let r(m) = -m**3 - 8*m**2 - 6*m + 9. Let c be r(-7). Let h(x) = 2 + 0*x - x**c + x - x**3 + 0. Let w be h(-2). Which is smaller: 3 or w?
3
Suppose 3*g + 4 = 3*d - 2, -5*g = -3*d + 18. Which is bigger: g or -7?
g
Let k be (-20)/8 - 1/(-2). Let h = 0 - -2. Let x = h - 5. Does x = k?
False
L