w) = 5*w**3 - 2*w**2 - 4*w + 16. Let i be q(3). Which is greater: i or -2?
i
Let j be 4*(-13)/156*0. Which is bigger: 4/79 or j?
4/79
Let d be (26 - 24)/(20/454). Which is bigger: 44 or d?
d
Suppose 4*a = -5*j - 41, -j + 3*j + 2 = 2*a. Let u be 18 + (-4)/8*0. Suppose 6 = -4*l + 3*f - u, l = -5*f - 6. Is l at most as big as a?
True
Let a = -218 + 205. Are -14 and a equal?
False
Let t = -50 + 55. Suppose t*b + 19 = 4*j + 6, b - 9 = -5*j. Does b = -2/5?
False
Let n be (1 + 2 - 3)/1. Suppose n = 78*k - 82*k. Which is bigger: 3/58 or k?
3/58
Suppose -2 = -2*w + 10. Let f be w/10 + (-144)/140. Let v(b) = -b**3 - 22*b**2 + 25*b + 42. Let c be v(-23). Is f less than or equal to c?
False
Suppose -7*f - 256 = -263. Suppose -4*r = -12, -87 = -2*m - r - 30. Let y be (-2 - 0) + 60/m. Which is greater: f or y?
f
Let d = 2.949 + 0.051. Is -1/6 at most as big as d?
True
Let q(p) = -p**3 + p**2 + 62. Let b be q(0). Let m be 3/21 - b/(-56). Is 2 != m?
True
Let a be ((-2156)/84)/(1/3). Which is greater: a or -229/3?
-229/3
Let z be ((-9)/114)/((-14)/(7952/12)). Do 3 and z have the same value?
False
Suppose 2*l = -0*l - 4*w + 8, 0 = -2*w. Suppose -4 = -l*n, -5*f = n - 6*n + 5. Suppose y + 0*y + 2 = f. Are -4 and y equal?
False
Let w(z) = 12*z**2 - z + 1. Let i be w(1). Suppose -m - 4*q = -0*m - 18, 0 = 3*q - i. Is -3 <= m?
True
Let l = 0 - -1. Suppose 4*s + 156 = r - 5*r, 0 = -3*s + 5*r - 157. Let o be (-19)/s - 5/20. Do o and l have different values?
True
Let n(r) = 3*r - 108. Let q be n(36). Is q greater than or equal to -13/48?
True
Let m be 1 - (-1 + 6 + -1). Let n(a) = -a**3 + 23*a**2 - 24*a + 45. Let k be n(22). Which is greater: k or m?
k
Let l = 210 - 213. Let r(a) = 4*a + a**2 + a**2 + 2*a + 5. Let g be r(l). Is g greater than 7?
False
Let c = -0.078 - 0.232. Which is smaller: 1 or c?
c
Let f = -8020/381 + 1059028/45339. Let i = f + 3/119. Which is smaller: i or 1?
1
Let m = -133 - -132. Is -193 less than m?
True
Let m be (-1 + 1005/(-12))/((-12)/16). Are 112 and m nonequal?
True
Suppose 4*d - 20 = 4*l, d = -3*l - d + 5. Let b(f) = -8*f**3 - 2*f**2 + 1. Let j be b(l). Which is greater: 6 or j?
j
Let g(y) = -y**2 - 4*y + 11. Let z = -103 + 97. Let l be g(z). Do 1/52 and l have the same value?
False
Suppose -2*m - 4*l + 2 + 4 = 0, 0 = 4*l - 4. Let n(y) = y**3 - 13*y**2 - 2*y + 32. Let d be n(13). Which is greater: m or d?
d
Let l(y) be the first derivative of y**4/4 + 8*y**3/3 + 3*y**2 - 10*y - 23. Let u be l(-7). Is u bigger than -20?
True
Suppose 26 = -4*u - 10. Let s = -7 + 19. Let q be (s/152)/(u/24). Is q less than or equal to 0?
True
Let p = 0 - 2. Let y(a) = 1 - 58*a - 6*a**2 + 3*a**3 + 59*a + 2*a**2. Let c be y(-1). Which is bigger: p or c?
p
Let s = -112 + 229. Which is smaller: s or -3?
-3
Let q(p) = -p**2 + 8*p - 8. Let l be q(8). Let i be (-34)/l - (-1)/(-4). Let v(r) = r**2 - 2*r - 7. Let g be v(i). Which is bigger: g or 3?
3
Suppose q = -0*q - 2*w + 1, 0 = -w - 2. Let p be 2/(-7)*(-28)/(5 - 1). Suppose q*i = p*i + 9. Which is smaller: i or 4?
i
Suppose -143 = -5*s + 4*k, k = -5*s + 163 - 5. Is s at most 214/7?
False
Let s = 18.9 + -18. Let d = 13.1706 + -0.0706. Let x = d + s. Is x smaller than -0.1?
False
Suppose -7 = -m - 3, -5*p = m - 164. Suppose -p = 3*z - 3*v + v, 4*z + 5*v = -35. Which is smaller: -11 or z?
-11
Suppose o + 205 = 5*z, 4*o + 74 = 2*z + 2*o. Suppose -z = -5*n - 2*t - 0*t, 4*n = -2*t + 34. Suppose -n*m = -13*m + 80. Which is smaller: 14 or m?
14
Let m = 557/38 - 29/2. Which is bigger: m or 0.1?
m
Let g(z) = -z**3 + 16*z**2 + 10*z - 18. Let c be g(16). Let p be c/55 - (-2)/55*-5. Is 1 at least as big as p?
False
Suppose 2*g + 14*h - 15*h = 1, -g = 4*h + 13. Is g < -8/203?
True
Let j(d) = 318*d**2 + d. Let h be j(1). Let i = 2549/8 - h. Let l(x) = 4*x - 4. Let f be l(1). Which is smaller: f or i?
i
Suppose -8 = 6*c - 38. Suppose 0 = s - 5 + c. Which is smaller: s or -2/7?
-2/7
Let g(p) = p**2 + 49*p + 282. Let j be g(-7). Let r be (18/8)/((-6)/16). Let b be j/r + (-3)/(-3). Is 3 smaller than b?
False
Let m be (-5)/2*(-6)/(-15)*1. Does m = -2/213?
False
Let q = 13 - 12.97. Let v = 0.17 - 0.07. Let z = v - 0.2. Which is smaller: q or z?
z
Let v(d) = -2*d**3 - d. Suppose 2*w = 3*a + 4*w - 5, -4*w + 16 = 0. Let u be v(a). Suppose 3*x + 6 = u. Are -1 and x equal?
True
Suppose 3*z + 461 - 473 = 0. Suppose 6*o + 4 = 10*o - z*k, -2*k - 2 = 0. Which is smaller: o or 20/17?
o
Let l(s) = -3*s**2 + 39*s + 25. Let b be l(12). Are 56 and b non-equal?
True
Let a = 1.443 - 1.543. Is -898 greater than or equal to a?
False
Let c = 0.532 + 0.068. Let i = 178.4 + -164. Let v = c + i. Is v smaller than 0.1?
False
Let i be 6/(-27) + 202/18. Let v(z) = -3*z + 34. Let h be v(i). Which is smaller: h or -4/25?
-4/25
Suppose 2*r - 2*c = -20, -3 = 4*r - c + 28. Let z(s) = s**3 + 5*s**2 - 9*s + 5. Let w be z(r). Let h = w + 22. Is h greater than -9?
True
Suppose 2*v + 8 = -2*h, -11 = 3*h - 26. Which is bigger: v or -2?
-2
Let r = 2 + -4. Let n = -3 - r. Let z = -38 - -48. Are n and z equal?
False
Let r = -0.7 - -0.3. Let w = r - 0.6. Suppose 117*g - 113*g = 5*n - 30, 0 = 4*g - n + 6. Which is bigger: g or w?
g
Let y = 142 - 140. Suppose -g + 6 + 0 = -y*u, 2*u = -5*g + 66. Which is smaller: g or -2?
-2
Let b be 0 - 2 - (0 + -8). Let g be ((-30)/(-140))/(b/32). Which is smaller: 1 or g?
1
Let c = 2 - 1. Let b be (192/20 - 9)/(162/(-20)). Which is greater: c or b?
c
Let f = -2 + 2.1. Suppose 0 = -2*z - 133 - 155. Let i be (-4)/18 + (-32)/z. Which is smaller: i or f?
i
Suppose -3*f - 252 = -282. Which is smaller: f or 4?
4
Suppose 35 = -14*a - 7. Let l be a/(-1*(-2)/(-94) + 0). Which is bigger: l or 140?
l
Let f(j) = -j**3 + 15*j + 5. Let m be f(4). Which is greater: 3/584 or m?
m
Let k = 183051827 + -21782528329/119. Let g = 38035/7 - k. Let n = 63 - g. Which is bigger: -1 or n?
n
Let g = 242 - 256. Which is greater: -0.4 or g?
-0.4
Suppose -2*z + 64 = -4*j, 2*z + 2*z + j = 110. Let l(c) = 9*c + 1. Let d be l(3). Is z > d?
False
Let f(i) be the third derivative of -i**5/60 - i**4/6 + i**3 - 2*i**2. Let l be f(-6). Suppose j + 19 = 6*r - r, -4 = -2*j - 4*r. Which is bigger: j or l?
j
Let u = -1 - 0. Let x be (0 + -1)*(3/(-3) + u). Is x equal to 1/2?
False
Suppose -3*r - 5*v = -4, -3 = -3*r - 4*v + 2. Suppose 0*u + 14 = 2*u. Suppose 4*w - 16 = -5*g + 15, 5*g - u = 2*w. Which is greater: w or r?
w
Let y be 93392/390 + (-2)/6. Let k = y + -239. Which is smaller: 0.02 or k?
0.02
Let f = 67.844 - -0.156. Let h = 64 - f. Is -6/7 less than h?
False
Let c(j) = 18 + j**3 - 6*j + 2 + 8*j**2 + 2. Let o be c(-9). Which is smaller: -1 or o?
o
Suppose 0 = 26*m - 19*m + 91. Let h = 1 + -1. Is m >= h?
False
Let c = -297 + 277.72. Let q = c + 2.18. Let g = -17 - q. Which is bigger: g or -1.8?
g
Suppose 0 = t + s - 3*s - 30, -5*s = -5. Suppose -2*o + o = -2*n - 21, -77 = -2*o - 3*n. Which is greater: t or o?
t
Let h = -256/23 + 4220/437. Which is bigger: 0 or h?
0
Let j be 1 + 1 + (-320)/144. Which is smaller: -157 or j?
-157
Let k = -1006658/45 - -22373. Let i = 11/9 - k. Which is greater: i or -3?
i
Suppose -4*n = -2*h - 9*n + 4, 0 = 4*h - 5*n - 38. Suppose 14*o = 7*o + h. Is o <= 7/5?
True
Suppose 2*p + 27 = 2*o - o, -4*o = 3*p + 46. Is -1 at most p?
False
Suppose -5*c + 5 = n + 2, 2*n = 3*c - 7. Which is smaller: 1/641 or c?
1/641
Let m = -1993844/277 + 7198. Which is smaller: -3 or m?
-3
Let i = 311 - 307. Which is bigger: i or 27/10?
i
Let i = 1097/3047 - -1/277. Let a be (-3 + 4/2)*24. Let v be (a/4 + 3)/(-3). Which is bigger: i or v?
v
Suppose 3*k - 9 = 12. Suppose -k*m - 210 = -2*m. Let b be ((-30)/(-35))/((-3)/m). Which is smaller: 13 or b?
b
Let r = 0.27 - -0.78. Let d = -33.95 - r. Is d not equal to 0.2?
True
Let y = 25 - 24. Let l be 2/(-4)*2*y. Let j = -33/7 + 5. Which is smaller: l or j?
l
Let o be 2*(-3)/12 - 77/(-2). Let n = o + -39. Let p = -313/20 + 63/4. Is p at least as big as n?
True
Let u(w) = -2*w**2 + 20*w + 6. Let h be u(9). Suppose 0 = -6*q - 2*q - h. Suppose -2*g + 3 = 7. Which is smaller: g or q?
q
Let s be ((-3)/1)/(((-8)/296)/1). Is s <= 223/2?
True
Let w = 573/470 + -15/47. Suppose 4*s - 14 = -2*x - s, 2*s = 4*x - 4. Which is smaller: x or w?
w
Let c = 2207 - 2207.0453. Is -0.2 at most c?
True
Let d(w) = -w**3 - 2*w**2 + 4*w + 4. Let k be