 + 2031 = 2*d. Which is greater: d or 1012?
d
Let w be 1/(-2)*0/(-5). Let h be (w - 0 - -3) + 3445/(-585). Is h <= -4?
False
Suppose -19*r + 33*r + 378 = 0. Which is smaller: r or -15?
r
Let d = -1.9236 - -0.9236. Which is greater: d or 0.03134?
0.03134
Let u be 290172/(18/(-3))*(-9)/(-90). Is -4836 less than or equal to u?
False
Let l be (2/(-4))/(12/(-96)). Suppose 6*x - 36 = l*x. Let d be 0 - ((-20)/x)/(-5). Is d less than or equal to 3/14?
True
Let w = -51.8446 - -51.9. Let d = -99.2446 - w. Let g = d + 100. Which is smaller: g or -0.1?
-0.1
Let h(j) = 4*j**3 + 19*j**2 - 114*j - 505. Let w be h(-6). Let r = 51852/287 + -1264/7. Is w > r?
False
Suppose 3*h - 74*q = -70*q - 330, 3*h - 5*q + 333 = 0. Which is smaller: -528/5 or h?
h
Let h be (2671/(-2))/((-460)/920). Which is greater: 2670 or h?
h
Let q = 13170.1 + -13170. Is q < 1464/7?
True
Let o(s) = s**3 + 14*s**2 - 5*s - 70. Let t be o(-14). Let m be 1 + (-272)/273 + t. Is m greater than 1?
False
Let t = 35 - 76. Let o = -42.5 - t. Let c = o + 1.44. Which is greater: 1 or c?
1
Suppose d + 10 = t + 9, -3*t = -2*d - 13. Suppose 0 = -2*l + r - 1 - 12, 3*l = -r - 27. Let x = 4 - l. Is x greater than t?
True
Suppose 0 = -4*g + 344. Is g greater than or equal to 86?
True
Let v = -1470 + 3782. Is 2311 != v?
True
Let w(z) = 13*z + 56. Let p be w(-4). Suppose 4*s + 8 = p*b, -5*b + 24 = 5*s - 6. Which is greater: 6/7 or s?
s
Let h be 97/(-4) - (-3 - -4). Suppose -143 = 5*z - 2*q, z - 193 = -3*q - 191. Which is bigger: h or z?
z
Let y(k) = -28 + k - 4*k + 13*k - 2*k - 51. Let n be y(10). Is -1/358 >= n?
False
Let o(c) = c**3 - 7*c**2 - 5*c + 6. Suppose -3 + 0 = -j + 2*y, 2*y + 24 = 4*j. Let p be o(j). Is p greater than or equal to -24?
False
Let v = -1584.1 - -1584. Is 0.0861 greater than or equal to v?
True
Let m = 1773 + -864. Suppose m = 6*n - 705. Is 268 >= n?
False
Let p = 2867 - 2868. Is 14/361 bigger than p?
True
Let f = -1.2224 - -2.2224. Let j = 14 - 5. Suppose 3*b - 4*o + j*o - 20 = 0, 3*o + 15 = 0. Which is smaller: b or f?
f
Let x = -141 - -363. Let g = x + -218. Suppose -22 = 4*u + 3*o, 5*o + 0 - 2 = 3*u. Which is smaller: g or u?
u
Let k be (-4 + 1885/470)*-1. Let o(z) = -z**2 - 101*z - 1899. Let f be o(-76). Is f greater than or equal to k?
True
Let t be (-16)/1*2/(-4). Let w(s) = 48*s - 42. Let y(n) = -11*n + 10. Let p(x) = 2*w(x) + 9*y(x). Let q be p(t). Are q and -18 nonequal?
False
Let n = -462.903 - 0.097. Let x = -462.96 - n. Which is bigger: x or 15?
15
Suppose -83 = -10*h + 7. Suppose 160 = h*g + 934. Let k be (21/70)/(g/(-50) - 1). Which is bigger: k or -1?
k
Suppose -3*w - 20 = -4*s, 3*w - 5*s + 0 = -25. Let z be (-189)/(-7) + 2/(-2). Suppose -z = -h - 27. Which is bigger: h or w?
w
Let i = -3.5 - -4. Let x = i - 0.56. Let o be (-54 + 28 + 32)*1/(-9). Which is smaller: o or x?
o
Let w(j) = -12*j**3 - 5*j**2 + 7*j + 18. Let p be w(-5). Which is greater: 1359 or p?
1359
Let t = 0.0537 - -0.1063. Let c = 3/79 - -781/237. Which is bigger: c or t?
c
Let o(c) = -c**3 + 4*c**2 + 10*c + 14. Let g be o(6). Suppose -g*m + 16 - 16 = 0. Is 11/19 <= m?
False
Let m = -1.351 - 1.649. Are m and 80.1 nonequal?
True
Let k = 41.97 + -42. Let w = 0.29 - k. Let b = w + -0.22. Which is smaller: -13 or b?
-13
Let z be 1 - (1/3)/((-5)/(-15)). Suppose 0 = -3*r - 2*r + 3*y + 152, z = -2*r - 4*y + 66. Is r smaller than 0?
False
Let h = -1.6322 + 1.4922. Let j = -0.04 - -2.04. Which is greater: j or h?
j
Let b = 2232 + -11163/5. Let j = -11 - -9.94. Let s = j - -0.06. Which is greater: b or s?
b
Let l(m) = -m**3 - 23*m**2 - 2*m - 36. Let h = 99 + -122. Let t be l(h). Is 12 > t?
True
Let h be 0 - (-8)/(-4) - 20*-1. Suppose 0 = 7*x + 2*x + h. Is 2 at most x?
False
Let b = 9702.77 - 9702.65. Let x = -4 - -3.93. Which is smaller: b or x?
x
Suppose -38*v = -34*v - 23*v - 99788. Which is smaller: -5250 or v?
v
Let m = 83.8 - 397. Let u = m + 313. Is u less than 1/114?
True
Let c(m) = m - 9. Suppose 0 = -p - l + 4*l + 22, 0 = -2*p - l + 16. Let d be c(p). Let f be 4/26 - (-246)/(-585)*d. Are -1 and f non-equal?
True
Let i = 87 + -43. Let j = i - 2. Suppose 49*f - 7 = j*f. Is f less than -1/91?
False
Let a = 254 - 287. Let w be (-3)/33 + (-223)/a. Which is bigger: w or 7?
7
Let r = 0.55 + -22.15. Let y = 20.8 + r. Which is bigger: 0 or y?
0
Let h(d) = 2*d**2 - 157*d + 2960. Let x be h(47). Which is smaller: -149/70 or x?
-149/70
Suppose -5*p - 208 = -31*p. Let b be ((-124456)/(-15560) - p)/((-1)/5). Is -1 at most as big as b?
True
Let d be (-420735)/52590 + ((-63)/(-7) - 1). Is d <= 1?
True
Let o = -113/4 - -28. Let v be (1/4 + 0)/(-1). Let h = o + v. Which is greater: h or -3?
h
Suppose -220 = 9*b + 140. Let c be 8/(-7 - -3) - -114. Suppose c = -3*g - 11. Which is smaller: g or b?
g
Suppose -2 = -b, 4*b + 4 = -p + 8*b. Suppose -3*o + p*o = -o. Which is greater: -1/261 or o?
o
Let g be (-109)/(-156) + (-481)/(-52) + -10. Is -0.04 less than or equal to g?
False
Let y = -248 + 134669/543. Is y not equal to 0?
True
Let d = -182 - -183. Is d <= 1/915?
False
Let n = 356 + -192. Let d = n - 98. Let m = d - 65. Which is bigger: m or 7?
7
Let x = 189 - 146. Let n be (9/(126/10) - 1)*-63. Which is greater: x or n?
x
Let o be 7/244*(10/6)/(10/108). Are 0 and o equal?
False
Let n = -9280 + 12455. Is 3174 at least n?
False
Suppose -4*l + 2*l + 4*s = 0, -4*l = 5*s. Suppose l = 2*q + 5*y - y - 30, -2*y + 5 = -q. Which is smaller: -9 or q?
-9
Let k = 5868 - 5806. Which is smaller: -3/23 or k?
-3/23
Let t = 185.8 + -189. Let l = 22.9 + t. Which is greater: l or 1?
l
Let k = -3731.8 - -3731. Is k equal to 542?
False
Let h be (9/(-480))/(12/(-50)). Suppose -5*t = 2*r + 27, -t - 29 = -24. Which is bigger: r or h?
h
Let f(a) = 6*a + 145. Suppose -10 = q + 15. Let o be f(q). Is -7 equal to o?
False
Let a(w) = w**3 - 10*w**2 - 14*w + 27. Let b be a(11). Let y be (-4 - -2 - 17/b)*6. Suppose -y = 39*t - 34*t. Do -9/4 and t have different values?
True
Let f(z) = z**3 + 10*z**2 + 4*z + 52. Let v be f(-6). Which is smaller: 178 or v?
v
Let m = 26 + -65. Suppose a + 26 = 2*i, -a - 5*i + 8 = 69. Are a and m unequal?
True
Let z be (-1 - (-19680)/2875) + -5. Let s = -4/115 - z. Are 0 and s equal?
False
Suppose 16*o + 159*o = 18*o - 4082. Which is greater: o or -371/15?
-371/15
Let q = -69.287 + 0.287. Let o = 64 + q. Which is bigger: -0.053 or o?
-0.053
Let n(w) = w**3 - 16*w**2 - 23*w + 754. Let x be n(13). Which is bigger: x or -17?
-17
Suppose w - 4*h = 26, 16*w - 13*w - 5*h = 36. Let f = 2.02 + -0.02. Is f < w?
False
Let b be 518/296*-15009*(-3)/63. Which is smaller: 1251 or b?
b
Let s = -0.2315 + -1021.7685. Let w = -981.1 - s. Let h = 41 - w. Is 2/41 at least as big as h?
False
Let v = 81360 - 408359/5. Which is smaller: -311 or v?
v
Let k be (10 - 27/6)*(-154)/7. Is k at most -118?
True
Suppose 138*p - 248*p + 3002 = -148*p. Is p < -86?
False
Let d(o) be the third derivative of o**5/20 + 11*o**4/24 - 2*o**3/3 - 4*o**2 - o. Let y be d(-4). Is y greater than or equal to 14/13?
False
Let j be (0 - 1 - (-9474)/(-22)) + (-52952)/145618. Is j < -408?
True
Let y = 1690 - 1591. Which is greater: y or 9?
y
Let n = -16975453/30 - -565899. Let o = -99/2 + n. Which is smaller: o or 0?
0
Suppose 4*t - 26394 = t + 3*o, 0 = -2*t + 3*o + 17601. Suppose -t = -22*b + 2207. Is b <= 499?
False
Suppose 0 = a + 4*r - 19, a + 3*r - 22 = -2*r. Suppose -a*n + 36 = -n. Suppose n*u + 5 = u. Is -2 < u?
True
Let i be (-1*2)/(44/(-330)) + -3. Suppose 2*k - i*p + 8*p - 238 = 0, 4*p - 595 = -5*k. Is k not equal to 121?
True
Let o = -2 + 1.6. Let p = 0.2 + o. Let r = -21835 + 21833.6. Is r bigger than p?
False
Let u(h) = -h**3 + 3*h**2 + 106*h + 77. Let q be u(14). Which is smaller: q or -594?
q
Let x = -0.096 + -48.904. Let w = 12 + -42. Let z = 29.8 + w. Is x < z?
True
Let j = 0.2 - 1.2. Let f = -2850/13 - -273743/1248. Let b = 1/96 + f. Which is greater: j or b?
b
Let a(f) = -2*f**3 + 43*f**2 - 29*f + 1. Let r be a(21). Let b = r - -167. Which is smaller: b or -71?
-71
Suppose 0 = -13*c + 55892 + 40789. Suppose c = -17*o - 50*o. Which is bigger: -112 or o?
o
Let i be 2/(-24) + (-2)/8. Let z be 2/((182919/33)/(-23)). Which is smaller: i or z?
i
Let w(j) = -j**2 - j - 1. Let d(z) = -2*z**2 + 5*z + 22. Let i(g) = d(g) - 3*w(g). Let h be i(-5). Let u be h*(-5)/