= -21/170 + v. Which is bigger: u or 0?
0
Let y(p) = -2*p**2 - p - 1. Let w be y(-1). Let j = 94 + -59. Let m be (-4)/(60/j) + 1. Is m equal to w?
False
Let l be 2 - (-3 + 0 + 5). Which is smaller: l or -14/167?
-14/167
Let v = 13.72 + -14. Which is bigger: v or -3/5?
v
Suppose -3*j - 12 = 93. Let w = j - -19. Let g(y) = -y - 16. Let x be g(w). Is 0 <= x?
True
Let z = -23.937 + 24. Is z greater than or equal to -0.2?
True
Let u(q) = 8*q - 4*q**3 - q**3 + 7*q**2 + 2*q**2 + 20 + 4*q**3. Let n be u(10). Are n and 2/123 nonequal?
True
Let o(v) = v**2 - v + 1. Let a be o(1). Suppose 0 = 3*k + 28 + 2. Let c be (-25)/91 + k/65. Which is greater: c or a?
a
Let g(o) = o**3 - 9*o**2 + 13*o - 13. Let u be g(7). Let z = u + 3. Is -17 bigger than z?
False
Let p = 2.1 - 2.5. Let d = -1.3 + p. Let o = 1.5 + d. Is o >= 0.2?
False
Let j(o) = o**3 - 3*o**2 + o - 3. Let s = 6 - 3. Let i be j(s). Is 4/11 greater than i?
True
Let z be 15/10*8/6. Suppose 0 = 3*s - z*u - 11, 15 = 3*s + s - 3*u. Let g = -2.1 - -2. Which is smaller: g or s?
g
Let p = 269 + -269. Which is greater: p or -1/68?
p
Let p = 1219 - 3659/3. Is -15/22 smaller than p?
True
Let x = -35.5 - -33. Let p = x + 2.7. Which is smaller: p or 1.6?
p
Let a = 2.772 + 0.028. Let m = -2.7 + a. Let s = 14/31 + -191/217. Which is smaller: m or s?
s
Suppose 4*b - 169 = 3*n, b + 4*n - 43 = 5*n. Is b at most 47?
True
Let p be ((-28998)/4140 + 7)*4. Suppose -5*s + 15 = 5*u, -3*u + 2*s - 2 = -1. Is p at least u?
False
Let q be (-25)/(-175)*(-35)/75. Suppose -7*v + 2*v - 10 = 0. Let p be (v/8)/(-1)*4. Which is smaller: p or q?
q
Let k = 30.3 - 168.1. Let t = k + 138. Which is smaller: 52 or t?
t
Suppose 155 = 4*k - 37. Suppose -2*s - 6*s = -k. Which is smaller: 3 or s?
3
Let c be 1 - 0 - (-11)/1. Let a = c + -13. Let f be ((-6)/105)/(a/(-5)). Is f != -3?
True
Suppose 2*j - 175 = -181. Are j and -33/10 unequal?
True
Suppose 45*k + 9*k = 54054. Is 1002 greater than k?
True
Suppose 7*w - 30 = -2. Suppose -w*i - 10 = 3*b, -i - b - 6 = i. Which is bigger: -6 or i?
i
Suppose 22 = -2*i - 4*a, i + 5*a - 2*a = -16. Let y = 1340/23 - 4733/598. Let w = -101/2 + y. Which is greater: w or i?
w
Let z = -7 - -4. Let g be 2/z - (-2)/3. Let q be 1 - (-2 - (g - 3)). Is -0.05 at least as big as q?
False
Let p = 18.85 - -4.15. Do p and 1 have the same value?
False
Let x = 2144 - 2144. Which is greater: x or 13/12?
13/12
Let f = 28/3 + -10. Let w = 5/12 + f. Is 0.06 not equal to w?
True
Let a = -3932 + 3907. Let b = 37 + -63. Is a not equal to b?
True
Let q = -0.1 - -4.1. Let j = 84 + -63. Let s = 21 - j. Are q and s non-equal?
True
Suppose 88 = -20*j - 232. Is -9 greater than or equal to j?
True
Suppose 5*y + 26 = -g, g + y = 1 - 7. Let n be (83/(-2) + -4)/1. Let l = n - -44. Which is bigger: l or g?
g
Let d be ((-1)/(-1))/((-3)/1 - -4). Let r be 60/11 - 4 - (d + 1). Is 1 < r?
False
Let n(p) = -134 - 2*p + 135 + 3*p. Let l be n(4). Suppose 5*q - 29 = 4*i, -2*i + l*q + 10 = 37. Is i at least 2/7?
False
Suppose -9 = 4*o - 1. Let w = -8.9016 - 0.0984. Which is smaller: o or w?
w
Let q = 0 - -0.2. Let a be (-4 - -18)*(-3)/(-6). Which is smaller: q or a?
q
Let n be (((-40)/(-15))/8)/(4/2028). Which is bigger: 170 or n?
170
Let w be (-6162)/315*(-1017015)/36. Let y = w - 552635. Let l = 27/14 + y. Is l < -2?
False
Let o(t) = -t**3 + 17*t**2 - 41*t. Let c be o(14). Which is bigger: 13 or c?
c
Let c = -561 - -562. Is -25.9 at least c?
False
Suppose -a - 291 = -3*x + 2*a, -2*a = 2*x - 206. Which is bigger: x or 98?
x
Let l = -0.028 + -45.972. Let k = l + 51. Which is smaller: 1 or k?
1
Suppose 0 = -5*i + 3 - 18. Let p be 100/75*((-82)/4 - -1). Is p at least as big as i?
False
Suppose -3*k = 3*k + 150. Let m = 96 - 97. Are m and k nonequal?
True
Let o = 1461 + -1225. Which is bigger: o or 235?
o
Let u = -12.2 + 12. Let h = u + -3.8. Let z = 3.96 + h. Which is smaller: z or 0.2?
z
Let k(p) = -10*p + 52. Let v be k(12). Which is smaller: -69 or v?
-69
Let l = -551 - -551. Is l != 5/91?
True
Let z(q) = -10 + 2*q - 3*q**3 - 3*q**2 + 2*q**3 + 3*q**2 + 5*q**2. Let a be z(5). Which is smaller: a or -5/4?
-5/4
Let i = 106 - 89. Let w = i - 17. Is -7 != w?
True
Let j(b) = -b + 5. Let u be j(6). Suppose -n + 4 = -4. Suppose -5*w - o + 36 = 3*o, 3*w - n = o. Which is bigger: u or w?
w
Let a = -246 - -245. Let d = -0.15 - 17.85. Which is greater: a or d?
a
Let s be (8/(-1638))/((-4)/(-86538)). Let h be (333/6)/((-231)/(-440)). Let z = h + s. Which is greater: 1 or z?
1
Let w be 0*(-3 + 2)*-1. Does 68 = w?
False
Let p(m) = -m**3 + 8*m**2 + 13*m - 15. Let o be p(8). Let g = 89 - o. Which is smaller: 2/181 or g?
g
Let m = -452 + 440. Let c be (6/(-10))/(6/(-4)). Is m greater than c?
False
Let w = 62 + -45. Which is smaller: w or 13?
13
Suppose 4*l = 8*l + 5*p - 33, 4*p = 2*l + 16. Suppose 0 = -4*v + q + 26, -l*q + 0*q = 2*v - 8. Is 7 at least v?
True
Suppose -2*n + 30 = 3*n. Let u = -32.4 + 1.4. Let a = 32 + u. Is n at least a?
True
Let j = 242204/87 + -2784. Is j at most as big as 1?
True
Let q be (-13 - -1) + 44/11. Let j be (0 + (-3)/186)*q. Is 1 > j?
True
Let v = -109 - -98. Suppose 0 = b + 5*t + 23, -4*b + 22 = -3*b - 4*t. Let i be ((-11)/2)/(1/b). Is v at most as big as i?
True
Let w = 34 + -63. Let a = 30.6 + w. Let t = a - 1.8. Is -1 at least t?
False
Suppose 0 = 4*l - 169 - 87. Let p be l/(-12) + (-2)/3. Suppose -3*v - 4*s - 1 = 5, -5*v - 5*s = 15. Is p <= v?
True
Let j(p) = -p**3 + 5*p**2 - 3*p. Let n be j(4). Suppose -n*i + 21 = 5*w, 2*w = 5*i - w + 20. Let o = 17266/83 - 208. Which is bigger: o or i?
o
Suppose -6*f + 4*c = -4*f - 8, -2*f = -3*c - 6. Let n be 257/(-3) - f - 3/9. Is -86 at most n?
True
Suppose -22*n - 16903 = -227. Which is bigger: -757 or n?
-757
Suppose -19*d + 518 = -2997. Which is greater: 188 or d?
188
Let q be -1 - ((-9)/(-5) - 0). Let i(u) = 142*u - 3. Let o be i(0). Is q < o?
False
Let t be 1 - (-4)/(0 + (-2 - 0)). Let u be ((-162)/24 + 6)/(t/(-8)). Is u <= -8?
False
Let t = -363 - -362.9. Let s = -1.2 - -0.4. Let a = s - 2.2. Which is bigger: t or a?
t
Let s = 180 + -240. Is -60 less than or equal to s?
True
Let k(v) = -v**2 - 7*v + 2. Let i be k(-7). Suppose -2*x = -i*p - 8, 0*p + 6 = -3*p. Suppose -3*b - 7 = -b + q, 0 = 2*b + x*q + 12. Is b <= -3/11?
True
Suppose -w = -4*j + 8397 + 672, -3*j = -2*w - 6798. Suppose 6*g = -8*g + j. Does 162 = g?
True
Let f = 15.2 - 11.2. Let c(y) = y. Let n be c(2). Is f > n?
True
Let z be 3 - (-4)/(-8)*-8. Suppose 0 = 6*v - 0*v + 96. Let p = -10 - v. Is p bigger than z?
False
Let f = -3239/66 - -289/6. Let i(c) = c**2 - 3*c. Let k be i(3). Which is bigger: k or f?
k
Suppose 12 = -3*p - 12. Let k(t) = -2*t**3 - 17*t**2 - 9*t - 7. Let o be k(p). Which is smaller: o or -1?
-1
Suppose 4*v - 4 = 5*v. Let i be (-5 - (-196)/(-44)) + 4. Which is bigger: v or i?
v
Let s(w) = 8*w - 8 + 0*w - 7*w + 1. Let o be s(7). Are -2/79 and o non-equal?
True
Let i = -32.9 + 37. Let b = i - 3.9. Which is bigger: b or -2/23?
b
Let h be (-126)/108*(-1 + 6 - 3). Which is bigger: -1.9 or h?
-1.9
Suppose k = 3*k - 8. Suppose 5*p - 4 = k*p. Let d be ((-273)/6)/7 + p. Is d <= 0?
True
Let f = 1/234 - -173/585. Let w(p) = p. Let u(l) = -2*l + 3. Let z(b) = -u(b) - 4*w(b). Let o be z(-2). Which is greater: o or f?
o
Let c be (-2)/3 + 20/3. Let t be (c/8)/((-21)/(-56)). Suppose t*q = w - 3 + 2, -2*w = 2. Is q greater than -6?
True
Let l be (103/(-2))/(7/14). Is -101 greater than l?
True
Let m = -1.91 - -1.7. Let o = -0.21 - m. Which is greater: -2/17 or o?
o
Suppose 2*a = -8, -5*t + 0*a = a - 11. Let f be 1 - t/(45/55). Which is smaller: -4 or f?
-4
Let l be (-20)/190*(-6)/(-4). Are l and -0.01 equal?
False
Let d = 118 - 1181/10. Let k = -3.569 + 2.569. Is d != k?
True
Let k(d) = d**2 - 6*d - 26. Let u be k(10). Suppose -u*w = -13*w - 21. Is w <= 18?
False
Let j be 36/(-9)*(3 + (-2)/1). Is j < 1/2?
True
Let z = -9227/5 - -1836. Let u = 10533 + -10541. Which is greater: u or z?
u
Suppose -p - 4 = 0, -4*p - 5 = 5*k - 4. Let v be (-328)/(-205)*(-10)/(-8). Is v <= k?
True
Let p = 217 - -39. Suppose 299 = 5*n - p. Let v = n - 1218/11. Which is smaller: 0 or v?
0
Let m = 225 - 227. Are m and 41 equal?
False
Let x = 0.2 + -0.4. Let q = x + 0.23. Suppose -5*o - 25 = 4*c, 4*o + 5*c - 6*c - 1 = 0. Which is greater: q or o?
q
Let