ger than c?
False
Let g = 3 - 1.9. Let l = g - -0.1. Let j = 0.2 - l. Is j at most 2/13?
True
Let z = 0 + 3. Let p(k) = k**3 + 8*k**2 + 8*k - 3. Let d be p(-7). Let f be d + 4 + (-3)/z. Which is greater: f or -2/5?
-2/5
Let h be -52*((-81)/22 + 3). Let m = -36 + h. Is -2 at most m?
True
Suppose y = -y + 44. Which is smaller: y or 21?
21
Let o = -5 - -2. Let l be ((-4)/(-10))/(o/5). Which is greater: 1/2 or l?
1/2
Let j = 1.2 - -4.8. Let i(r) = -r**3 + 6*r**2 + 5*r + 12. Let l be i(7). Which is greater: l or j?
j
Suppose -3*j = 4*f, 0 = -5*f + 5*j - 4*j. Which is smaller: f or -1/2?
-1/2
Let x be 1/(-2) - 15/(-2). Suppose -2*l = d - x, 4*l = -2*d - d + 19. Is 0 >= l?
False
Let l = 19.17 - 19. Let o = -1 + 0.97. Let c = o - l. Which is bigger: 0 or c?
0
Let x(h) = h + 3. Let q be x(-2). Let c = -1/13 + 17/52. Is q > c?
True
Let r(i) = i**2 - 8*i + 9. Let b be r(6). Suppose -5*v = -2*v. Which is greater: v or b?
v
Let l = 12 + -11. Suppose 2*s + 5*w = -0*s - 5, -w = -5*s + l. Which is greater: s or -4/3?
s
Let q(x) be the third derivative of x**5/60 - x**3/3 - 2*x**2. Let m be q(0). Are -2 and m nonequal?
False
Let c(q) be the first derivative of 5*q**3/3 + q**2/2 - q + 2. Let t be c(1). Suppose -1 - 4 = t*g. Which is bigger: g or 2/13?
2/13
Let q = 54 + -48.88. Let m = 0.12 - q. Suppose -4*h = -4 + 8. Which is bigger: h or m?
h
Let y(r) = -r**3 + 6*r**2 - 5*r + 1. Let s be y(5). Let j be 1*-5 + s + 1. Does j = 1?
False
Suppose -3*d + 2 = -1. Let q be (8/52)/(-1)*1. Let n = q - -3/104. Which is smaller: n or d?
n
Let f = 80 + -66.2. Let g = -14 + f. Which is bigger: 2/11 or g?
2/11
Let p = 0.3 + -0.2. Let c(s) = s + 1. Let r be c(2). Let w be r/(-4)*16/24. Is p smaller than w?
False
Let b = 4 - 3.37. Let a = 4.27 + b. Let v = 5 - a. Is -1 greater than v?
False
Let z be (6 + 0)*3/48. Let g = -0.048 + -0.952. Is z < g?
False
Let a = -10.93 + 11. Let y = a + 0.03. Is 1/7 != y?
True
Let v be (11/4)/(-11)*0. Suppose 5*s + 1 - 11 = 0, -2*u + 5*s = 20. Which is smaller: v or u?
u
Let o = 2 + -2.4. Let h = -0.7 + 0.2. Let m = h - o. Which is smaller: 2/9 or m?
m
Suppose 7*j + 8*j = 10*j. Is -1/14 at least as big as j?
False
Let k(j) = -j + 1. Let t be k(5). Let c be (-30)/t*(-8)/6. Let m(z) = -z**2 - 10*z + 1. Let h be m(c). Is h <= 3?
True
Let m = 387 - 1399/4. Let y = 36 - m. Do 0 and y have the same value?
False
Let n be 0/(2 + 6/(-2)). Let s = 1 + n. Which is smaller: 1/5 or s?
1/5
Let y be (-344)/3*(-27)/(-45). Let g = y - -69. Is g greater than 0?
True
Let u(s) = -s + 12. Let h be u(9). Suppose h*x + 2 = 5. Which is greater: -2/53 or x?
x
Suppose -4*l = 5*f - 20 + 3, 4*f = -l + 18. Let g = -562/7 + 80. Is l bigger than g?
False
Let k(h) = h**2 - 4*h + 1. Let f = 11 + -7. Let u be k(f). Which is smaller: -1/20 or u?
-1/20
Let w be 3/5 + 119/35. Which is greater: 6 or w?
6
Let a = 49 + -246/5. Is 9 at least a?
True
Let c = 543 - 504.1. Let d = c + -41. Let x = -2 - d. Which is smaller: -3 or x?
-3
Suppose l + 3*l - 3*c - 21 = 0, 0 = -5*l - 4*c + 3. Let i = l - 3. Suppose 0 = 4*d - 3*d. Is d < i?
False
Let v be (-30)/3*4/(-10). Let m = 7 - v. Suppose 5*r = -x - 6, -m*r + 3*x = r + 1. Is r smaller than -2?
False
Let s be (2/5)/((-1)/25). Let r be ((-2)/(-5))/(2/s). Are 0 and r equal?
False
Let q(i) = -i**3 + 8*i**2 + 6*i - 11. Let x be q(8). Are 36 and x non-equal?
True
Let n = -18.1 + 17. Let d = n - -0.1. Let q = -42 + 124/3. Is d smaller than q?
True
Let x = 57 + -56. Let t = -9/85 + 12/17. Which is greater: t or x?
x
Let s = -1/693 + 4175/11781. Does s = -1?
False
Let s = 208 + -247. Which is smaller: -37 or s?
s
Let j = -33 + 19. Let w = j - -9. Let s = -3 + 3. Are s and w nonequal?
True
Suppose 27 = s + 5*j, 0*s = s + 2*j - 15. Let c(d) = -d + 18. Let y be c(12). Is s bigger than y?
True
Suppose -j = v + 4, -2*j + v + 4 = -v. Let w be -4 + -1 + (-1)/j. Let t be (-34)/9 + w/18. Is -5 greater than t?
False
Let k = 24 - 23.9. Which is smaller: 4 or k?
k
Let a be (-9)/(-2) - 6/12. Suppose 51 = -a*p - 1. Let u be (-2)/(-6) + p/12. Which is smaller: -1 or u?
-1
Suppose -p - l + 0 = -1, -5 = -p + 3*l. Let x(c) = -c**3 - 2*c**2 - c - 1. Let w be x(-2). Does w = p?
False
Let j be (-5)/6 + 13/(-26). Which is greater: -2 or j?
j
Let b = 18 - 18.3. Which is smaller: b or 2/5?
b
Suppose 3*z + 6 + 27 = 0. Which is smaller: z or -9?
z
Let o = -143 + 144. Which is bigger: 3/7 or o?
o
Let m = 3.1 - 3. Let o = 0.4 + -0.55. Let t = o + -0.25. Which is smaller: t or m?
t
Let y(n) = 2*n**2 + 18*n - 21. Let z be y(-10). Which is smaller: 4/13 or z?
z
Let a = 3 - 7. Let j be 52*1/14 + -4. Which is bigger: a or j?
j
Let j(q) = 8*q - 2. Let k be j(4). Suppose 9*s = 6*s + k. Suppose 5*g = s + 15. Which is greater: 1/4 or g?
g
Let o = 0.27 - 0.47. Is o equal to 0?
False
Let u = 40 + -29. Is u > 0?
True
Suppose 4*t - 3*i + 35 = 0, -5*i + 4 + 3 = -2*t. Let q = -22 - -12. Which is smaller: t or q?
t
Let p be (2 - 3)/(-4 - -3). Which is bigger: 4/7 or p?
p
Let j be (-9)/(2/4 - 2). Let h = 6 - j. Is 4/9 < h?
False
Suppose -5*m - 2*p = -5*p + 4, -10 = 2*m - 4*p. Is -2/23 <= m?
True
Suppose 36 = w + 33. Suppose -3*m + 5*j + 23 = 0, -2*m - 3*j + 13 = -4*j. Is m greater than w?
True
Let y = 14 - 5. Suppose 2*g + 4 = d + y, 0 = 3*g - d - 5. Which is greater: 1/16 or g?
1/16
Let g = -509.9 - -554. Let v = 42 - g. Let q = v + 2. Which is smaller: 0.5 or q?
q
Let i(a) = a**3 + 5*a**2 + 3*a + 7. Let x(d) = -d**2 + d - 5. Let b be x(0). Let u be i(b). Let h be 3/9*6/u. Which is bigger: h or -1?
h
Let a = -11.93 - -12. Let s = a + 0.13. Which is greater: s or 1?
1
Suppose c - 4*h - 1 = 0, -4*c + 3*h + 4 = -2*h. Suppose -3*p + 4*v = -v + 11, 4 = -4*p - 4*v. Let g be 2 + (p - (-3)/(-15)). Which is smaller: g or c?
g
Suppose 0 = 2*z - 1 - 3. Suppose -z = 3*m - 5*m. Is m < -2/11?
False
Let u(p) = -p**3 - p**2 + 17. Let c be u(0). Let t = c - 19. Which is smaller: 2/11 or t?
t
Suppose 4*i + 15 = 2*f + 1, -3*i = -f + 11. Suppose -2*r + 7*r = 0. Suppose -5*k + 2*v - 18 = r, k + 2 = -2*k - v. Is k smaller than f?
True
Suppose -14 = -5*q - 44. Let m be ((-1)/q)/(18/27). Which is smaller: m or 1/3?
m
Suppose 2*o = -x - 5, -3*o + 0*o + 2*x + 10 = 0. Suppose 4*w = -4*z - 12, 5*w - 5*z + 16 - 1 = 0. Let v be 0 - ((-1)/w - o). Which is smaller: 0.2 or v?
v
Let q = 1 - -4. Does 9/2 = q?
False
Let k = 36.8 + -64.9. Let u = 28 + k. Let q = 29/66 - -5/22. Are q and u equal?
False
Suppose -4 = -3*u - 1. Let z be (-2)/(-2) - u*-1. Suppose -2*l - 4*c + 12 = z*l, c = -5*l - 5. Do -2 and l have the same value?
True
Suppose 6 = l + 2*l. Let s = l - 4. Suppose -o - 5*f - 7 = -4*o, 0 = -2*o + 3*f + 4. Is s less than or equal to o?
True
Let h = -15 + 19. Let u = h - 8. Let w be 8/2*2/(-4). Is u greater than or equal to w?
False
Let p be (1/(-4))/(2/318). Let j = p + 40. Suppose 2*c - 7 = -3*s, -5*s + 5*c - 1 = 29. Which is bigger: j or s?
j
Let h = 1 - -11. Suppose -f + 3*j = -3, -f + 5*f - 2*j = h. Suppose 2*a + 2*o - 3 = -1, -1 = -a + 2*o. Which is smaller: f or a?
a
Let b = -0.5 + -0.1. Let r = 0.4 - b. Let d = r - 0. Is d less than 4?
True
Let m be 8/(-12)*6/(-26). Let q be 3/15 + (-2)/10. Is q bigger than m?
False
Let k = -4 - -7. Suppose 0 = 4*d + 5*i - 57, 3 = -0*i + k*i. Suppose w = -5*z + 12, -z - 3*w - 5 = -d. Which is greater: z or 3?
3
Let n be -1 + 3 + 0 - -2. Let t be ((-3)/2)/((-3)/n). Suppose 3 = t*i - i. Which is smaller: i or -2/3?
-2/3
Let a(n) = -n - 2. Let d be a(-5). Let t(v) = -v + 1. Let o be t(3). Let s be o/(-1 - 0) - 0. Is s greater than or equal to d?
False
Let t be (2 - 1)/(-1)*-7. Let r = -608 + 616. Which is greater: t or r?
r
Suppose -n = 5*i - 63 - 78, 3*i + 2*n = 86. Which is smaller: 111/4 or i?
111/4
Let m = -55/204 + 1/51. Which is smaller: m or 0?
m
Let d(g) = -5*g - 109. Let v be d(-21). Suppose -8 = -2*i - 2. Suppose -2 = b, -2*b - 4 = -3*m + i*b. Which is smaller: m or v?
v
Let r be 0 + 3/2*2. Suppose 5*a = -r*k + 15 + 4, 0 = 2*k + a - 1. Let g = k - 0. Which is greater: -4/7 or g?
-4/7
Let q = -11 + 16. Suppose 0*i = q*i - 5. Is 3/7 greater than i?
False
Let b be ((-1)/1)/1*1. Let f(x) = -x**3 + 10*x**2 + x - 7. Let h be f(10). Is h at least as big as b?
True
Let w = -160 - -223. Which is smaller: 61 or w?
61
Let h = 169 - 170. Is 1/17 < h?
False
Suppose 216 = -4*y - 3