k) = -k**3 - 4*k**2 - k - 5. Let c be h(-4). Let t be (-1)/3*c/(-2). Is t at most as big as 1?
True
Let f = 6 - 3. Let q = -16 - -15.8. Is f less than q?
False
Suppose 2 = l + 155. Let h be 3 - (l/(-33) + -2). Which is bigger: -1 or h?
h
Let i = -51 - -51. Which is smaller: i or 2/137?
i
Suppose -4*o + 13 = 1. Let k = o + -4. Let j = -3 + 1. Which is greater: k or j?
k
Let l = 439/2 + -1785/8. Which is greater: l or -3?
-3
Let j = 1451/12 - 121. Do -1 and j have different values?
True
Let n = 46 + -32. Are n and 15 unequal?
True
Suppose 2*l - 3*c = -4*c - 26, -5*c + 38 = -2*l. Let z = l + 18. Are 4 and z unequal?
False
Let v be (-1)/(-4) - (-19568)/(-1020). Let p = v - -3/170. Let w = p - -73/4. Which is bigger: 0 or w?
0
Let c be ((-3)/(-9))/(3/54). Let z be (-10)/(-20) + c/(-4). Is z less than -1/2?
True
Let l(k) = -k**2 + 7*k - 5. Let u be l(4). Is u at most 7?
True
Let z = -1.7 + 12.7. Let r = -11 + z. Is r < -0.2?
False
Let q = -16 - -20. Which is greater: 0.1 or q?
q
Let a be 4/18 - (-11)/(-9). Let d = a + 0. Let p = 775/7 - 111. Is p equal to d?
False
Suppose 21 = 4*q - 11. Is q bigger than 9?
False
Let q = 76.92 + -77. Are 0.02 and q nonequal?
True
Let d = 8 + -7. Let z = -421/10 - -42. Which is smaller: d or z?
z
Let b = 4 + -5. Let u = -0.2 - 2.8. Let s = 2.9 + u. Are b and s equal?
False
Let s = -7 - -20. Do s and 14 have the same value?
False
Suppose 3*r - 2 = x - 11, 3*r = -3*x - 9. Let g be (15/(-24))/(1/(-4)). Let v = -13/6 + g. Which is bigger: x or v?
v
Suppose -3*v - 38 = 94. Let f be v/(-12)*(-3 + 0). Is -11 at least as big as f?
True
Let d be (-15)/(-100)*145/18. Let j = d - 4/3. Let i = -1 - -1. Is j not equal to i?
True
Let p = 5.95 - 6. Let i = -1.95 - p. Let x = i + -0.1. Which is smaller: -0.2 or x?
x
Let f be 58/51 - (-10)/(-15). Do -1 and f have different values?
True
Suppose -2*c = 3*c + 5. Which is bigger: -4/23 or c?
-4/23
Let n = 8 + -3. Suppose -n*q = -2*g - 3, -5*q - 8*g + 3*g = 25. Let c = -67/120 - 1/24. Which is smaller: q or c?
q
Let y be -1 + ((-4)/(-2))/(-6). Let p(d) = d**2 - 4*d. Let o = 11 + -7. Let x be p(o). Which is greater: x or y?
x
Let v be ((-8)/6)/((-12)/(-18)). Which is smaller: v or -10?
-10
Suppose -3*i + 5*a - 40 = a, 3*i = -2*a - 70. Are -21 and i nonequal?
True
Let m = 29.3 + -29. Which is smaller: m or -0.1?
-0.1
Let q = -9 + 3. Let t be (-2)/8 + (-3)/q. Let o = -4 + 4. Is o at least as big as t?
False
Let o be -2*1/(-1) - 9. Let c(l) = l + 1. Let q be c(6). Let d = o + q. Is 2 less than d?
False
Suppose -2*f = -f + 8. Suppose 7 + 5 = 4*a. Let m = a + -12. Is f at least as big as m?
True
Suppose -6*x - 30 = 4*a - x, 3*x = -6. Let c = 0 - a. Let k be (-2)/c + (-8)/30. Which is bigger: k or 0?
0
Let d = 35 + -42. Are d and -1 nonequal?
True
Let p be 2/((-6)/(10 - 4)). Which is greater: -14/19 or p?
-14/19
Suppose -89 = -5*f + 3*q, 5*f - f + 2*q = 58. Suppose f*h - 14*h + 32 = 0. Is -17 >= h?
False
Let j = 20 - 19. Let i = j + 8. Are 9 and i nonequal?
False
Let c(w) = -w**2 - 4*w - 1. Let y be ((-10)/3)/(2/3). Let p be c(y). Let u be 2*1 + 36/p. Is u smaller than -5?
False
Let s be ((-18)/(-8) + -2)*-34. Let v = s - -8. Suppose 4*i - 4*z + 3 = -z, -2*i + z - 1 = 0. Which is bigger: i or v?
i
Let l = 3 - 2. Suppose -l - 3 = 2*u. Let m be 1 - -2 - (16 + -12). Which is greater: u or m?
m
Let g = -0.03 + 1.03. Let l = 2 + g. Let m = l - 3.4. Is 0 at least m?
True
Suppose -3*o - o = 32. Let z = -8 - o. Which is smaller: z or 1/11?
z
Let p = -0.02 + 0.12. Let a be -1*(-1 + 0)*1. Let c be ((-3)/12)/(a/2). Which is smaller: p or c?
c
Suppose 9 - 1 = 4*n. Suppose -7*u + 2*u - 10 = -a, 0 = -4*a - u - n. Suppose 0*d = -14*d + d. Is a greater than or equal to d?
True
Suppose p = r, -p + r = -6*p + 18. Let f(y) = 6*y**2 - 7*y - 2. Let k(w) = 5*w**2 - 6*w - 2. Let v(c) = -4*f(c) + 5*k(c). Let s be v(p). Is s bigger than 0?
True
Let h be (-12)/4*(-1)/3. Let q = h - -2. Is q not equal to 3?
False
Suppose -4*r = -5*n - 294, -r - 9 + 86 = -3*n. Let a = r - 496/7. Is a equal to 0?
False
Suppose -4*y + 3*y = -3. Is 12/5 smaller than y?
True
Let j = 3.5 + -3.1. Which is bigger: j or 0?
j
Let x be (21/28)/((-1)/2). Suppose 2*b + 9 - 2 = -p, 9 = -3*p. Is x greater than b?
True
Let v be ((-4)/18)/(1/(-9)) + -2. Which is smaller: v or 12?
v
Suppose -5*i + 4*k = 16 - 42, -i - 4*k + 10 = 0. Suppose -65 - 1 = i*g. Which is smaller: g or -13?
-13
Let f be 870/215 - (-1 + 5). Is f at least 0?
True
Let d = -60 - -59.8. Which is smaller: d or 3/11?
d
Let d(g) be the first derivative of g**4/4 + g**3/3 - 3*g**2/2 - g - 2. Let l be d(-2). Is l at least as big as -1?
True
Let w = -11 - -20. Let u be w/(-4) + (-6)/(-2). Is u bigger than 1?
False
Suppose -m = -3*m. Suppose o = -4*o - 5. Let s be o/2 - 0/5. Which is bigger: m or s?
m
Suppose 6 = 5*x - 4. Suppose -y - 5*a + 4*a - x = 0, -4*a - 15 = -3*y. Is y bigger than -1/8?
True
Suppose -6*c + 5 = -c. Let s(r) = -2*r**2. Let k be s(c). Are k and -1/2 equal?
False
Let u = 3.3 + 11.7. Which is smaller: -0.1 or u?
-0.1
Suppose -2*s + 10 = 3*s. Suppose -5*w = -4*a - 51, -5*a = s*w + w - 38. Is w >= 12?
False
Let u be -1 - (12/10)/(-2). Which is smaller: u or 0?
u
Let v = -5 - -6. Suppose 2*g + 6 = -4*x, -2*x - 5*g = x + v. Let p be 3/6*x*1. Is 1/8 greater than or equal to p?
True
Let n(s) = -2*s**2 - 7*s - 4. Let j be n(-3). Is j at most -2/183?
True
Let c = -0.2 - -0.3. Suppose -w + 5 = -o, 4*w = o - 0*o - 1. Which is greater: c or o?
c
Let z(y) = y - 8. Suppose 4*x - 21 = x. Let f be z(x). Which is bigger: f or 2/13?
2/13
Let i = -51 + 666/13. Which is bigger: 0 or i?
i
Let d(c) = -c - 5. Let t be d(-12). Is t greater than 11/2?
True
Let t(r) = -r - 1. Let c be t(-6). Suppose -5*d + 9 = -3*g, -3*d + 4*d = -c*g - 15. Let w = -3 - g. Is 0 smaller than w?
False
Let j be (-11)/(77/12) + 2. Let p(k) = -k**3 + 8*k**2 - 8*k - 3. Let z be p(7). Let r be (-4)/10*z/6. Which is smaller: j or r?
j
Let q be ((-2)/(-2))/(216/(-332)). Let z = q - -1/27. Is z greater than -3?
True
Let x(p) = -p**2 - 12 + 2 + 9*p + 3*p. Let v be x(11). Is v >= -1/32?
True
Let a = 16 - 11. Suppose -6*y + a = -y. Let k be 7/(-35) - 9/(-20). Is y > k?
True
Let r = -1 - -1. Let n be (-12)/42 + 10/(-14). Which is greater: n or r?
r
Let h(d) = -6 - 4 + 3 + d. Let u be h(8). Let t = 1 - u. Which is smaller: 2/3 or t?
t
Suppose -2*f + 2 - 8 = 0. Let d(g) = g**3 - 4*g**2 - 3*g - 7. Let c be d(5). Suppose 23 = -5*j + 4*s - 0*s, -4*s = -c*j - 17. Is f less than or equal to j?
True
Let t be 2/8 + 39/(-12). Is -5 less than or equal to t?
True
Let g = -0.0449 - -0.0449. Suppose -4*n = 5*d - 54, -2*n - n = -d - 50. Which is smaller: g or n?
g
Let x be ((-4)/10)/((-22)/10). Let o(c) be the second derivative of c**5/20 + c**4/4 - 5*c**3/6 - 2*c**2 + c. Let i be o(-4). Which is bigger: i or x?
x
Let x = 8 + -7. Let l(k) = -1 - 3*k + 4*k + 0*k. Let y be l(3). Does x = y?
False
Let y = -4 - -3. Which is greater: -2 or y?
y
Let x(p) = 2*p. Let u be x(-1). Let k = u - -1. Let t = -15/13 + 251/195. Which is smaller: t or k?
k
Let q be (-50)/(-15) + 4*(-2 - -1). Is q at least -15/7?
True
Let v = -2/121 - -260/1089. Which is smaller: v or 1/13?
1/13
Suppose 0 = 4*y - 30 - 50. Suppose -4*r - y = -2*f, f = -f + 3*r + 15. Let t = 0 - f. Is t <= 0?
True
Suppose x + 0*x - 36 = 0. Let m = 3634/3 - 1176. Let i = x - m. Is 2 smaller than i?
False
Let c = 32 - 31. Let w = 2.2 - -0.8. Is c < w?
True
Suppose -4*m = -3*n + 52, 0 = -2*n - 3*n - 2*m + 52. Let w be n/(-2)*5/(-10). Is w at most 5?
True
Let n(j) = -6*j**2 - 2*j - 1. Let f be n(-1). Which is bigger: -8 or f?
f
Let c = -9 - -1. Let t = c - -6. Is -3 equal to t?
False
Let q(j) = -j + 2. Let m be q(0). Suppose 0*d + 4*c - 22 = 5*d, -m*c = -4*d - 20. Is -6 < d?
False
Suppose -i - i = 0. Suppose -1 = 2*o - 5*a, -o = -3*a + 1 - i. Suppose -5*d + 5*h = 0, -2*h = 2*d + 2*d - 18. Which is smaller: d or o?
o
Let i = -9 + -5. Is 0 smaller than i?
False
Suppose -5*d = 7 + 8. Let o be 2/d - 4562/(-30). Let y = -152 + o. Which is greater: 0 or y?
0
Suppose -3*s + 2*f + 50 = 0, f = -5*s + 60 + 32. Which is bigger: -0.1 or s?
s
Suppose -3 = -3*g + 3. Suppose 5*q = -2*j + 87, g*q = -2*q + 2*j + 66. Let i be 4/10 - q/5. Is i != -2?
True
Let z be (36/(-312))/((-7)/(-2)). Is z smaller than 0?
True
Let