**3/3 - q**2/2 + 9*q + 1. Let f be u(8). Which is bigger: f or y?
f
Let j be (3*-1)/(7/(-7)). Let u be -2 - (-10 - -1)/j. Let i be (-1 + 0)*(-2)/1. Does i = u?
False
Let f(s) = -2*s**2 - 4*s - 3. Let l be f(-2). Let j = -1 + l. Is 0 > j?
True
Suppose 6*g + 1 = 31. Which is greater: g or 3?
g
Suppose 0*b + 1 = b. Let a be -4*1*b/(-2). Is a equal to 2?
True
Let b = -120 - 0. Let t be (-3)/(-6*(-3)/b). Let g = t - 11. Is g at least as big as 8?
True
Let m = -62 + 61.8. Is -9 at least as big as m?
False
Suppose 4*a = -a - 35. Is a not equal to -6?
True
Suppose 2*s = -c - 9, -3*c + s + 2*s = -9. Is c equal to -4/5?
False
Let z be (-6)/(-3) - 2 - -4. Let r(p) = -p**2 + p - 3. Let t be r(z). Do t and -16 have the same value?
False
Let v be (0 - 1)/((-26)/(-4)). Let i be 3 + -1 - (0 + 2). Which is smaller: i or v?
v
Let q = 2 + 7. Let a = q + -19. Let b be (-5)/a + 3/(-14). Is b bigger than -1?
True
Let u(b) = -b**2 - 12*b - 12. Let n be u(-11). Let i be (-36)/42*n/(-2). Which is bigger: i or 1?
1
Suppose 5*y - 16 = y. Suppose -2*z + y*z = 0. Which is smaller: z or 5?
z
Let o = -5.09 + 0.09. Let b = o + 5.2. Which is bigger: -1 or b?
b
Let v = 207 - 2279/11. Which is greater: v or 0?
0
Let l(k) = -k**3 + 15*k**2 + 17*k - 14. Let f be l(16). Suppose 0 = -5*v - 5*n + 40, -5*v + 3*n = 16 - 64. Suppose -a + d = -7, 0 = -4*d - 7 - v. Is a <= f?
False
Let z(v) = 2*v**2 + 6*v + 0*v**2 - 8*v**2 + v**3. Let y be z(5). Which is smaller: y or 3?
3
Let d = -1 + -3. Let x be d/(-42)*(-3 - 0). Let n = -3 + 3. Is n <= x?
False
Suppose 20 = 4*i, -3*i + 2*i = -5*h. Suppose 2 + 1 = 3*k. Let o = h - k. Is 0.1 greater than or equal to o?
True
Let l(a) = -a**2 - 3*a - 2. Let i be l(-2). Let p be 2/(-9) + (-129)/(-216). Which is smaller: p or i?
i
Let g = -19 + 15. Which is greater: 2/3 or g?
2/3
Let i = -19 + 24.1. Let k = i - 5. Are k and 4 equal?
False
Let z(f) = -f**3 + 2*f. Let l be z(2). Let s(a) = -a**3 - 4*a**2 + a + 2. Let b be s(l). Is -4 at least as big as b?
False
Let o(q) = 2*q - 11. Let g be o(7). Suppose -g*l = -9 + 24. Let f be (-3)/(-6) + (-18)/4. Which is bigger: l or f?
f
Let w = 60 - 40. Let p be ((-2)/(-4))/((-5)/w). Is p at most as big as -7/3?
False
Let t be ((-5)/(-4))/(4/16). Suppose 3*z + 2*f + 26 = 7*z, 3*f = -4*z + 1. Let m = t - z. Which is smaller: m or 2/29?
2/29
Suppose 0 = -5*n - 3063 + 563. Let z be n/(-8) + (-1)/(-2). Let h be (6/(-8))/(z/(-24)). Which is smaller: 1 or h?
h
Let w be -2 + 2/3*6. Which is smaller: w or 3?
w
Let f = 2/159 + -532/159. Is -3 bigger than f?
True
Let x be 2/((0 - 0) + 2). Let l be (6/(-4) + -1 + 3)*0. Which is bigger: l or x?
x
Let c(g) be the first derivative of -g**4/2 - g**2/2 - g - 2. Let v be c(-1). Which is greater: v or -0.1?
v
Let t = 10.94 + -11. Let g = 3.06 + t. Let r = -0.94 - 0.06. Are r and g unequal?
True
Let j(z) = -z**2 + 6*z. Let x be j(6). Let f be ((-1)/4)/(40/32). Which is bigger: x or f?
x
Let r be 3/(-1) + (-6)/(-2). Suppose -2*u = -r*u. Which is bigger: 2/35 or u?
2/35
Suppose -6*i + i + 21 = n, 2*i - 4*n = 4. Let w = 0.03 + 0.06. Let o = w - 0.09. Which is greater: o or i?
i
Let a be (6/4)/((-2)/4). Let y be (-3)/(21/a + -1). Let v(w) = -w**2 + 2*w - 1. Let c be v(2). Which is greater: y or c?
y
Let l(i) be the first derivative of -i**3/3 - 3*i**2/2 + 3*i - 2. Suppose 4*o = -0*o - 12. Let y be l(o). Is y not equal to 3?
False
Let w be 1/((2 + -1)/(-3)). Let b be (-7)/w - (-12)/18. Which is greater: 2 or b?
b
Let t be (-2133)/(-36)*(-2)/(-249). Let i be 8/498*9/6. Let k = t + i. Which is bigger: 2 or k?
2
Suppose 6*o - o = 25, 3*m - 35 = -o. Let d be ((-2)/(-20))/(4/m). Do d and 1 have the same value?
False
Let y be 44/6 + 2/(-6). Let j be ((-1)/y)/(18/(-7)). Which is smaller: j or 1?
j
Let g(i) = -i**2 + 9*i - 8. Suppose -y + 0*f + 10 = 2*f, 2 = f. Let m be g(y). Let k = -19/2 + m. Is 0 greater than k?
False
Suppose -1 - 1 = v. Suppose 5 = -3*f - 2*f. Which is bigger: v or f?
f
Let h = -10 - -11. Which is smaller: 0.2 or h?
0.2
Let d be ((-6)/(-36))/((-2)/6). Let b = 137/2 + -73. Let j = b + 5. Is j at least as big as d?
True
Let o(y) = -y**3 + 6*y**2 - 5*y + 1. Let f be o(5). Let q be -1*(-4)/90*3. Which is bigger: q or f?
f
Suppose x = -x - 12. Let n = x + 42. Let z = n - 322/9. Is -2 <= z?
True
Let k = -100 - -211/2. Which is smaller: k or 6?
k
Suppose -2*c + 4 = -c. Suppose 3*x + 3 = x + d, 3*x - d + c = 0. Is x smaller than 1?
True
Suppose -u + m = -1, -4*u - m = 1 + 5. Which is greater: u or -4?
u
Let r be 1 + (0 - 199/5). Let i = 39 + r. Suppose -12*g = -8*g. Is g at least as big as i?
False
Let l = 1/4 - 7/12. Let v(m) = -m**2 - 6*m + 1. Let r be v(-6). Is r >= l?
True
Let x = -82 - -82. Suppose -3*j + 0*i - 6 = 3*i, -3*j - 12 = 5*i. Which is smaller: j or x?
x
Suppose -5*n = -8*n - 6. Does -10/7 = n?
False
Let u(l) = 18*l - 2. Let w be u(4). Let s be 3/(-5) + w/75. Let k = 7 - 10. Is s less than or equal to k?
False
Suppose -266 - 76 = 6*x. Suppose -2*k - 2*k = 12. Let u be 0 + (k - x/21). Is 0 at most as big as u?
False
Let a(u) = -4*u**2 - 2*u. Let d be a(-2). Let v = 45 - 27. Let t be ((-4)/v)/((-2)/d). Which is smaller: t or 0?
t
Let r = 3 + -4. Let s be (-3 + (-26)/(-4))*-6. Let t be (8/(-6))/(s/(-18)). Does r = t?
False
Let c(p) = -p**2 + 5*p + 5. Let f be c(5). Suppose f = -5*v - 0*v. Which is bigger: v or -0.1?
-0.1
Suppose -3*d = -d - 6. Let f be 2 + d/(-2 + 5). Let u = 3 - f. Which is smaller: -2/7 or u?
-2/7
Let k = -2 + 1.95. Let h = -0.3 - -0.25. Let o = h + k. Do o and 0 have the same value?
False
Let g(f) = -f**2 + 5*f. Let z be g(5). Suppose z = -0*n + n + x + 5, 5*n = -x - 17. Which is smaller: n or -5?
-5
Let f be 65/30 + 2/(-3). Let w = f - 1/6. Let h = 1 - 0. Which is greater: h or w?
w
Let s(p) = -p**3 + 21*p**2 + 23*p - 19. Let q be s(22). Which is smaller: 2 or q?
2
Let v(l) be the second derivative of -3*l**4/4 + l**3/6 + 2*l. Let f be v(-1). Is -11 equal to f?
False
Let w be 2 - 0/(-3) - -5. Let f = 7 - w. Which is smaller: f or -2/7?
-2/7
Let q = 2 - 1. Let w be 3/((-3)/(-2)*q). Let y be (-3)/12*(-1)/w. Which is smaller: y or -1?
-1
Let w(s) = s - 21. Let b be w(16). Let f be (-30)/9 - (-4)/(-6). Is b equal to f?
False
Let m = 8.9 - 9. Let z = 0.9 - m. Is -1 > z?
False
Let i = -53 + -7. Let o = -99 - i. Let s be o/60 - (-1)/4. Is -2 at most as big as s?
True
Let x be (-4)/(-20) - 11/5. Let u = -0.1 + 0.4. Is x bigger than u?
False
Let x be 133/3 + 84/18 + -5. Which is smaller: 45 or x?
x
Let x be -5 - 0 - (-2 + 0). Let t = -3 - x. Suppose -2*g + 4*g = t. Which is smaller: g or 1?
g
Let r(h) = -12*h - 1. Let n be r(1). Let t = n + 12. Is -3 > t?
False
Let l be (3/(-6))/((-56)/20). Are 0 and l non-equal?
True
Suppose 5*b + 6 + 0 = -2*q, -4*b = -q - 3. Suppose b = 4*x - 2 + 10. Let n be (x/(-4)*0)/1. Which is smaller: n or -2?
-2
Suppose 4*n - 3 = 5*r + 8, 0 = -4*n + 3*r + 5. Let u be -6 - (n + 2)*-1. Let h(d) = d**3 + 5*d**2. Let x be h(u). Is x > -0.2?
True
Suppose -2*l - 38 = -4*g + 14, -2*l = -3*g + 47. Which is greater: l or -18?
l
Let w = -6 + -1. Let q = 11 + w. Suppose 0*j = q*j. Which is greater: -1/2 or j?
j
Let a be (-3 + 1)*10/4. Let f = a + 6. Let l = 1 - 5/7. Is f greater than l?
True
Let i be (2 - 6/2)*1. Let r = 217 + -216.9. Which is bigger: i or r?
r
Suppose -2*y + 6*y + 8 = 0. Let t be y + 0 + (-40)/(-22). Which is greater: t or 0?
0
Let h(f) = 6*f - 3. Let r(v) = 25*v - 11. Let y(p) = 9*h(p) - 2*r(p). Let w be y(2). Is -0.2 greater than or equal to w?
False
Let z = 136/9089 - 12/149. Is 1 > z?
True
Let w be -1 + 0 - (0 + 2). Let t be 8 + (4 - (7 - -1)). Let q be w/10*t/(-9). Which is bigger: -0.1 or q?
q
Let f(x) be the second derivative of x**3 - 1/12*x**4 + 4*x - 1/2*x**2 + 0. Let u be f(6). Is 0 < u?
False
Let t = -10697/7 + 1532. Which is bigger: t or 4?
4
Let u be (0/(-2))/(2/(-1)). Which is bigger: u or -6/23?
u
Let o = 94 - 848/9. Which is smaller: o or 0?
o
Let c = 14 + -14. Which is smaller: c or -5?
-5
Suppose -3*o = -5*o + 10. Suppose -6*w - 1 = -o*w. Which is smaller: -2 or w?
-2
Suppose 2*l + 4 = -4*g, 2*g = 6*g - 5*l - 24. Let q be 2/(-2) - g/(-1). Let x = -7 - -19/3. Is x bigger than q?
False
Let z = -1/55 + 61/330. Which is bigger: 0 or z?
z
Let k = -3 + 3. Let y be 1 + -1 - (-303)/(-165). Let z = y - -18/11. Which 