 or n?
8
Suppose -4*l + l = 5*t - 17, 0 = 3*t - 12. Suppose -139 = 3*n + 2*d - 3*d, -5*n = -d + 231. Let k = n - -137/3. Is l at most k?
True
Let q be -7*1 - (4 - 238/42). Which is greater: q or -5?
-5
Let r = 11 - 10.986. Which is bigger: r or -0.3?
r
Let v = -5.11 - -0.11. Let q = -16 + 15. Let n be (-4 - -3)/(q/1). Which is bigger: n or v?
n
Suppose 2*y + 5*b = -3, -y + 17 = -5*b - 4. Let g = y - 7. Which is bigger: g or 2/11?
2/11
Let y be 204/(-45) + (6 - 174/30). Let w(z) = -2*z**3 - 2*z**2 + z. Let b be w(-2). Suppose 3*i = -b - 3. Which is smaller: i or y?
y
Let o(i) = -i**3 - 1. Let y be o(-1). Is y != -2/79?
True
Suppose 5*l = -5*p + 40, -5*p + 3*l + 13 = -l. Suppose 5*j + 5*d = -p, -3*d + 1 = 4*j + j. Suppose 4*q - 12 = j*y, -4 = -q - 2. Is y >= -2?
True
Suppose 2*h + 1 = 7. Suppose h*y = -y. Let s be (-21)/198 - 3/18. Is s > y?
False
Let v be 277 - (1 - 0) - -1. Let f = -3595/13 + v. Which is bigger: -1 or f?
f
Let t = 16 - 12. Let a = 8 - t. Let q be (-7)/(-4) + (-8)/a. Which is smaller: 0 or q?
q
Suppose -d - 29 = -28. Let m be 306/(-100) + -5 + 8. Is d greater than or equal to m?
False
Suppose b + 3*r = 2 - 35, 3*b = 3*r - 63. Is b > -20?
False
Let j = -9.1 - 3.7. Let o = 0.2 - j. Let x = -19/6 + 107/30. Which is greater: o or x?
o
Let s = 138 - 16. Is 2 at least as big as s?
False
Suppose -b = -3*c + 6*c - 34, 5*b = -5*c + 70. Let o(s) = 7*s**2 + 2*s - 2. Let g(j) = -j**2. Let z(a) = -4*g(a) + o(a). Let q be z(1). Is q at least c?
True
Let o be (-2)/(-3) - (-28)/12. Let y be -2*(-2)/(o - 7). Is -2/25 less than y?
False
Let c(i) = 23*i - 177. Let a be c(8). Which is smaller: -22 or a?
-22
Let n = -415/36 - -47/4. Is n < 11?
True
Let q = 5 + -9. Suppose 2*i - 10 = 13*m - 11*m, 0 = 5*m + i + 25. Which is greater: m or q?
q
Let l = 10896861676 + -1743491906471/160. Let m = 37260 - l. Let p = -5/32 - m. Which is bigger: p or -0.07?
p
Let r be (-21)/(-91) + (-64)/52. Which is smaller: 3/73 or r?
r
Let b(t) = -5*t**2 - 69*t + 32. Let x be b(-14). Suppose 2*s + 2 = -8, 2*s + 7 = 3*m. Which is bigger: x or m?
x
Let i(x) = x**2 + 97*x + 191. Let n be i(-95). Let q be 320/162 - (4 - 2). Which is greater: n or q?
n
Let p = -66 + 69. Let o be 3 + -8 + 24/p. Are 4 and o unequal?
True
Suppose -16 = 9*h - 5*h. Let i(g) = -g**2 - 3*g + 5. Let r be i(h). Is -3 greater than r?
False
Suppose 2*g = 4*t + 5*g + 80, 0 = -5*t + g - 119. Which is bigger: -32 or t?
t
Let t = -0.023 + 0.023. Which is bigger: 0.128 or t?
0.128
Let r = -109 + 85. Let x = r + 16. Which is smaller: x or 2?
x
Suppose 0 = 21*w - 1390 - 38. Which is smaller: 0 or w?
0
Let h = 2.6 + -37.6. Let k = h - -37. Is k less than 0.03?
False
Let a be 9/(-12) + (-3 - 97/(-28)). Which is smaller: 0.2 or a?
a
Let o = -2322.5 + 2323. Is 16 at least o?
True
Suppose 5*a = -15, -3*a = n + 2*n + 6. Suppose -3*j = v + 23, -2*v = -2*j - 0*v - 2. Let x be n/2*(-24)/j. Which is greater: x or 1?
x
Let g(q) = -q**2 - 13*q - 15. Let y be g(-11). Let a(d) = -2*d**2 + 14*d - 2. Let k be a(y). Let x be (-2)/8 + (-3)/(-12). Do x and k have the same value?
False
Suppose 3*p = -2*y + 17, p - y + 6*y = 10. Let b be ((-90)/(-4))/p*10/(-15). Which is smaller: b or 1?
b
Let f(l) = -133*l + 140. Let x be f(2). Which is greater: -127 or x?
x
Let f(z) = z**3 + 20*z**2 + 39*z - 6. Let c be f(-17). Is c at least as big as 199?
False
Let x = 851/1484 + -15/28. Which is smaller: -1 or x?
-1
Let f(d) = d**2 + d - 2. Let l be f(-3). Let w be l + 3/(-6)*4. Let z be 1*-2 + -1 + 7. Is w at most as big as z?
True
Let x = 46 - 13. Let w = x + -51. Is -19 < w?
True
Suppose 5*r = 7*a - 3*a + 169, 0 = 5*r - 3*a - 168. Let d = 204 + -199. Suppose 4*s = -d*n - r, -n - 31 = 3*s + 4*n. Is -2 less than or equal to s?
True
Let h be 48/30*175/170. Is 1 not equal to h?
True
Let f = 69 - -319. Is f at most as big as 386?
False
Let u(j) = j**3 + 5*j**2 + 5*j + 2. Let d be u(-4). Let r be (22 - d)/(-3) - 0. Let i = r - -13. Is 7 less than i?
False
Let t be 3*(25/(-12) - -2). Let g = 525 + -32026/61. Do t and g have the same value?
False
Let l = -1 - -0.9. Let v = -0.01 - l. Let m = 0.01 + v. Which is bigger: m or -4/3?
m
Let n = 28 - -2. Suppose 3*j = 4*s + 103, -5*j + 50 + n = -3*s. Which is smaller: -22 or s?
s
Let o(s) = -6*s**2 + 21*s + 5. Let u be o(5). Which is smaller: u or -39?
u
Let a = 438.18 + -438. Does a = 10/9?
False
Let l(z) = -2*z**2 - 49*z + 73. Let k be l(-26). Let x = 71/66 + -54/11. Is x less than k?
False
Let o = -9 - -5. Let x = o - -5. Let n be 1/(45/(-12))*-6. Is n at most as big as x?
False
Let q(x) = 4*x - 12. Let f be q(5). Suppose 0*m - f*m = 0. Which is smaller: m or -1/81?
-1/81
Suppose 5*c = -5 - 0. Let d = 104.828 + 0.172. Let y = d - 107. Which is smaller: y or c?
y
Let c(p) = -p**3 + 2*p**2 + 5*p + 4. Let s be c(-3). Suppose -s = a + a. Let k be 15/a + (6 - 5). Which is bigger: k or 1?
1
Let q be (-16)/(-20)*(-110)/4. Let r be (-8887)/q*(7 - 5). Let a = -807 + r. Which is greater: a or 0?
a
Suppose -7*k + 58*k + 204 = 0. Suppose 5*q + 0*s + s = 15, -5*s + 12 = 4*q. Let y be -2*q/6*-1. Is y greater than or equal to k?
True
Suppose -7*o + 2*o = -10. Let h(y) = -11*y**2 - y + 4 - 4 + 10*y**2 + 3. Let j be h(-4). Are o and j equal?
False
Let b be (2 + 5)/(679/(-341) - -2). Let q = b - 806. Which is smaller: -9 or q?
q
Let q = -89 + 74. Let f be (-2)/q - (-6 - (-76)/12). Let x = -23 - -14. Is x at most as big as f?
True
Let u = 29360.894 + -29390. Let w = 0.106 + u. Is w >= -1?
False
Let x = 1 - 3. Let z = -2.02 - x. Let j = 4/2751 - -5482/13755. Which is greater: z or j?
j
Suppose -334 = 10*c + 1746. Which is smaller: c or -1/3?
c
Let o be 1 + -1 + (-2)/34. Let h = 89/12 - 43/6. Is o at least as big as h?
False
Let s be 1 + 30/(-4) - 2/4. Suppose -3*k - 4*i = -38, -12 = -5*i + 13. Suppose -3*m + 2*v = 4, 4*m + 0 - k = -3*v. Is m at least as big as s?
True
Let g = -59 - -62. Let p be ((-18)/123)/(g + (-9)/2). Is p < 1?
True
Suppose 0*w + 13 = -4*o + w, 3*w + 5 = o. Let l be -4 - (-4)/o*-28. Is 0 at most l?
True
Let q be 4/(8/(-75)) + 9/(-6). Let r(g) = -g - 48. Let x be r(0). Let a = q - x. Which is greater: 10 or a?
10
Suppose 5*d - 3*z - 4 = 0, -5*z - 1 = -3*d + 11. Which is greater: -2/253 or d?
-2/253
Let r be -5 - -3 - (2 - -2). Let t be (-4)/r*(-5 + -4). Which is bigger: -5 or t?
-5
Let g = 90 - 133. Let n = g - -29. Let j be (-6)/24*(-8)/n. Which is greater: j or 1?
1
Let z(s) = 2*s - 32. Let l be z(17). Suppose -j + 4*c = 54, -4*j = -l*c - 21 + 167. Is -35 greater than or equal to j?
False
Let c(h) = 2*h - 3. Let x be c(-1). Let y = -5 - x. Which is bigger: y or 1/78?
1/78
Let b(u) = -3*u**2 + 10*u - 361. Let r be b(0). Does r = -359?
False
Let g = -743/12810 + 8/183. Let y be (-1 - -1)/(-2 - 0). Is g equal to y?
False
Let m(x) = 2*x - 22. Let n be m(12). Let j = -5 + -8. Let c be 4 - 4 - n/j. Which is smaller: 0 or c?
0
Let h = 862 - 845. Are 1 and h non-equal?
True
Let p be (-2)/((-9)/84*(-4)/6). Which is smaller: -26 or p?
p
Let j = -467 - -18214/39. Suppose 2*d + 12 + 8 = 5*i, -2*i + 8 = -4*d. Does j = d?
False
Let w = 1/786 - -719/1179. Which is smaller: w or 2?
w
Let d be (1*454/10)/((-45)/(-225)). Is 225 at least as big as d?
False
Suppose -w - 4*m - 1091 = 2*w, -3*w - 1092 = 3*m. Which is greater: w or -367?
w
Let i be ((-1)/4)/(18/72). Let d be (-1 + 0)*59929/49. Let x = -1223 - d. Is i at least x?
False
Let r(j) = 3*j**3 - 3*j**2 + 2. Let y be r(-1). Is y < 34?
True
Let o = 2376 + -2376.05. Is 1.15 greater than or equal to o?
True
Suppose 4*d = 28 - 124. Suppose 3 = -0*h + 3*h. Suppose 3*c + 71 = -h. Is d not equal to c?
False
Let l = -223 + 248. Which is smaller: l or 17?
17
Let w(u) = 8*u - 4. Let y be w(3). Let h = 64 + -43. Which is smaller: h or y?
y
Let n be 3/((-30)/(-46)) - 6/10. Suppose 3*c = -18 + 42. Suppose c = 2*m - 4. Which is greater: n or m?
m
Let n be (-132)/532 + 11/77. Suppose 10 = -c - c. Let v be (-7 - -6)/(c/2). Is n < v?
True
Let l = -988/55 - -88/5. Let q = 75 - 74. Is q at least as big as l?
True
Let u(c) = c + 1. Let l(f) = -f**2 - 7*f - 8. Let o(a) = -l(a) + 3*u(a). Let p be o(-9). Let h = 92 + -93. Which is bigger: h or p?
p
Let y(q) = 2*q + 11. Let j be y(-4). Suppose 2*t = 5*t + j. Is -1/15 >= t?
True
Let c = 24 - 24. Let x be (78/20)/(42/(-10) + 3). Which is