pose -88*x = -89*x + 98. Let l be (-14)/(-16) + -1 + x/16. Suppose -10*o + 9*o + l = 0. Is o smaller than 3?
False
Let w be -1*(719/6 - (12 + -15)). Is -123 at most w?
True
Let h = -807.1203 + 807. Let f = -0.0403 - h. Is 20 bigger than f?
True
Suppose 4*z + 2*m = 3*m + 263, -3*z = -4*m - 207. Suppose 320 = 3445*i - 3440*i. Let d = z - i. Is d less than -3?
False
Let w = -3.6461 - -0.0561. Let k = -3.49 - w. Is k greater than -0.077?
True
Let y = -0.0427 + -1.3573. Let g = -0.17 + 0.36. Let w = -0.09 + g. Is y equal to w?
False
Suppose -7*f - 1201 = -4*f + 5*t, -3*f + 4*t - 1237 = 0. Let g = 1220/3 + f. Let k(d) = -d**3 - 6*d**2 + 2*d + 7. Let h be k(-6). Does g = h?
False
Let o = 67 - 67. Let p be o/(-3*(-5)/15). Suppose 2*c = -6, 4*c + p = 3*u - 9. Which is smaller: 2/7 or u?
u
Let y be ((-1125)/(-20))/(156/1456). Which is greater: y or 2627/5?
2627/5
Let z = 8.199 - 27.25. Let w = z + 0.051. Let m = -19.1 - w. Are 5 and m unequal?
True
Let l = 10706 - 7908. Is l bigger than 0.1?
True
Let n(q) = -440*q + 73. Let m be n(0). Is 111 greater than m?
True
Suppose -6697 = 363*i - 400*i. Which is greater: -5 or i?
i
Let y = 9235 - 9186. Which is smaller: 56 or y?
y
Let p(x) = 0 - 5 + 11 - 2*x + 10. Let j be p(6). Which is smaller: 8 or j?
j
Let h be 4095/25 - 1/(-5). Let g = h - 143. Suppose -5*r + 2*j = -j - 93, 9 = r - 3*j. Is g >= r?
True
Let n(u) = u**3 - 6*u**2 + 2*u - 6. Suppose 8*l = 45 + 3. Let h be n(l). Suppose 5*b - 6*b + h = 0. Which is smaller: 4 or b?
4
Let r = 2147/4 + -3613/12. Is r >= 237?
False
Suppose g + 70*d = 67*d - 126, 5*d - 436 = 4*g. Is g greater than or equal to -108?
False
Let t = 270 - 270. Let c = 150 - 161. Is c at most t?
True
Suppose -4*g = -4*o, g + o - 20 = -2*o. Let z(k) = -k**3 + 5*k**2 + 6*k + 7. Let u(p) = p + 10. Let v be u(-4). Let r be z(v). Which is bigger: g or r?
r
Let h be ((-13330)/(-129))/(5/6). Is 124 at most as big as h?
True
Let v = 3168 + -3168. Which is bigger: v or -2511?
v
Suppose -4*q - 4*c + 508 = 0, 2*q - 4*c = q + 122. Suppose -156 - q = -6*b. Is b bigger than 50?
False
Let r = -33.2 - 0.8. Let j = 30.5 + r. Is -3 bigger than j?
True
Let m = -51 + 56. Let a(n) = -10*n + 40. Let o be a(m). Is o > -7?
False
Let x(n) = -193*n**2 - 2*n - 1. Let l be x(1). Let t = l - -208. Are t and 13 equal?
False
Let b = -568 + 556. Let g be 3/174 - (b + 12). Which is smaller: g or -1?
-1
Suppose -2*q + 5 = 2*f + 15, 5 = 5*q - f. Suppose q = 6*y + y - 56. Suppose -3*t + t + y = 0. Which is smaller: 12 or t?
t
Let n be (15 + -32)/17 + 2. Is n equal to -8/15?
False
Suppose -247800 = -82*c - 23*c. Let v = -14 + 10. Let w be (0 + (-2)/v)/(c/40). Is 0 equal to w?
False
Let w = -3/1913 + 11192/5916909. Let u = w + -89710/40209. Which is greater: -3 or u?
u
Let f(c) = 26*c**3 - c**2 + 2*c - 1. Let s be f(2). Suppose -10*a + s = -9*a - 5*r, -4*r + 1122 = 5*a. Which is bigger: a or 221?
a
Let l be (-6)/4 - ((5 - 12) + 9). Let t = 125967/14 - 9002. Let u = t - l. Is u at most as big as -2?
False
Let j = -0.3 + -24.6. Let z = -28.4 - -3.4. Let l = j - z. Which is smaller: l or 1/6?
l
Let k be (-2)/4*-1*(-5 - -3). Let r be 754/1276 + k/11. Let u = 0.32 + 0.03. Is r at least u?
True
Let s be (-3 - 0)/(10/(-50)). Suppose -3*x + 4*o = -s, 0 = 4*x - 2*o + o - 33. Let l be 6/x - 3/(-9). Which is smaller: l or 10/7?
l
Let b be -7 + (-196176)/492 - (0 - 4). Let o = b - -402. Is 0 at most as big as o?
True
Let k(g) = -g**3 - 48*g**2 + 311*g + 25. Let q be k(-53). Is q smaller than -2413?
False
Let i(g) = 3*g**2 - 10*g + 27. Let o be i(11). Let k be (24/(-4))/(30/o). Is k < -56?
False
Let g be 1/(-3)*3/(-3). Suppose k - 35 = -6*k. Let a be ((-15)/500)/(6/k). Which is bigger: g or a?
g
Suppose -5*u - 17 = -7, -4*y - 2*u + 1340 = 0. Is y at least 1676/5?
True
Let s(j) = -j**2 - 18*j - 73. Let t be (-13 + 7)/(0 + 1). Let v be s(t). Is v less than or equal to -2/237?
True
Let m = 8040 + -8097. Which is bigger: m or -48?
-48
Let m = 19/58 + -17/406. Which is greater: 18/137 or m?
m
Let p = -0.036 - -0.06. Let z = 2519 + -2540.976. Let h = z - p. Which is smaller: 2 or h?
h
Let f = -1.44 - -1.639. Let a = f - 0.199. Which is bigger: a or -56?
a
Let f be (-15)/(450/(-836)) + 9/27. Let b = 30 + -3. Is b less than f?
True
Let f(h) = -3*h - 11. Let n be f(-9). Let s be ((-2)/(-9))/(n/(-6)). Suppose i = 3*i - 2. Which is greater: s or i?
i
Let h = -97 + -124. Let x = 220.7 + h. Is x at least 30?
False
Let u = 1958 + -1274. Let i = u - 684. Which is greater: -15/19 or i?
i
Suppose -5*t + 4 = 4*i, 0*i - 4*t = -4*i + 4. Let w be i + (-11)/7 - 6110/(-10815). Is 1 at most w?
False
Let g = 837 + -244. Let p = g - 569. Is p > 22?
True
Let f = -6138 + 6143.9712. Let o = -0.0288 - f. Is o equal to -0.07?
False
Let u = 143.21 + -149.6. Let h = u + 1.39. Which is smaller: 2/5 or h?
h
Let a(u) = -212*u - 2123. Let c be a(-9). Are -214 and c unequal?
True
Let k = 3.4471 + 0.5729. Is 1 greater than k?
False
Let q(m) = -2*m**2 + 93*m - 301. Let i be q(43). Let j be 49/(-13) + 2 + 2. Is i at most as big as j?
True
Let q(n) = 2*n - 15. Let d be q(9). Suppose b - 2*h + 21 = 0, d*b + 3*h - 16 = 4*b. Which is smaller: -27 or b?
b
Let b be 4*((-45)/4)/(-5). Let k be (-4 + 25/10)*(-78)/b. Which is smaller: k or 18?
k
Let f = -7854353/55 - -142815. Which is greater: f or 10?
10
Let k be (-70)/(-735) - (-424)/(-84)*-19. Which is bigger: -4 or k?
k
Let o be -1 + 206/10 + (-8)/(-20). Suppose -3*w = -5*t - 0*w + 20, w - o = -5*t. Suppose 5*x = -3*p + 45, x = p - t*x - 15. Which is smaller: p or 14?
14
Suppose -f - 3*f = -2*f. Suppose f = 3*x + 6*x - 18. Suppose 0 = v + x*d + 10, -v + 5*d - 22 = d. Is v not equal to -13?
True
Let h = 7958 - 55740/7. Which is smaller: 301 or h?
h
Let a = 42.07 + -0.07. Let j = -4.04 - 38.06. Let t = j + a. Is 4 at most as big as t?
False
Let w(q) = -q**2 - 22*q - 47. Let n be w(-19). Let j = n - 12. Let m be 64/(-480) - j/15. Which is bigger: 9/16 or m?
9/16
Let v = 35.638 + -34.388. Which is smaller: -3/56 or v?
-3/56
Let w = -0.15 + -78.85. Let s = w - -77.4. Which is greater: -2 or s?
s
Suppose -d - 16*l + 12*l = -10, -6*d + 2*l + 34 = 0. Are d and -398 equal?
False
Suppose -895*j + 25120 = -975*j. Is -313 equal to j?
False
Let j = -387/37 - 2366/407. Let n = 365/33 - j. Let h = -659/24 + n. Is 1 bigger than h?
True
Suppose -45*p + 846 = 216. Suppose 0 = -w - p*w. Let y = -102 - -817/8. Is y smaller than w?
False
Let o(h) = h**3 + h**2 + 5. Let z be o(0). Suppose 12 = z*t + 2. Suppose -666*u + 325*u = -341. Is t less than or equal to u?
False
Let n(j) = -7*j + 151. Let c be n(22). Let z be -3*c/(-12)*14630/57. Are z and -193 equal?
False
Suppose 5*l - 96 = -5*d - 2656, -2039 = 4*l + d. Let h = l - -513. Do h and -13 have the same value?
False
Suppose 2*a = -2*a + 16. Suppose -2 + 6 = -a*h. Let d = -485/8 - -60. Which is greater: d or h?
d
Suppose -5*l - 3 = 2*q - 14, -q = -5*l + 17. Let c be (3/2)/(15/(-6640)). Let j = c - -4637/7. Is q < j?
True
Let f(b) = -62*b**2 - 6*b + 10. Let u be f(-3). Let h be u/(-9) + 11/99. Which is smaller: h or 58?
58
Suppose -38769*g = -38771*g - 2. Which is smaller: -2/18823 or g?
g
Let o = 6168 - 6165.075. Which is bigger: 1/5 or o?
o
Suppose -3*q + 55 = -4*v, -4*v - 14*q - 56 = -18*q. Is 6 <= v?
False
Suppose -94*a - 52972 = 70*a. Is -336 greater than or equal to a?
False
Let d be ((-6)/20)/((-1)/(-2)). Let p = 64469 + -64469. Is p not equal to d?
True
Let n be -228*(-13)/1820 - 18/15. Which is greater: -574 or n?
n
Let o(v) = v**3 - 11*v**2 - 11*v - 16. Let u be o(12). Let n = -7991 + 7980. Which is smaller: n or u?
n
Suppose 2*k = -14 + 2. Let j be 39/130*(-2)/k. Which is smaller: j or -0.1?
-0.1
Let m be (-5 - (-1)/((-2)/(-8)))/(31/(-92907)). Which is smaller: m or 2996?
2996
Let d be 13 - 14/107100*104514 - (-4)/6. Is -1 bigger than d?
False
Let w = -9 - -12. Let r = -29 - w. Let f = r + -14. Is 0 at most as big as f?
False
Let n = 1.6391 - -4940.3609. Is n greater than or equal to -1?
True
Let h(o) be the first derivative of o**3/3 - 5*o**2/2 - 14*o + 21. Let l be h(7). Does -3/5 = l?
False
Let b = -6363/4345982 + -2/7519. Which is bigger: b or -1?
b
Let z = -182 + 180.97. Let j = -10884 - -10935.97. Let k = j - z. Is 1 greater than or equal to k?
False
Let q(i) = -25*i - 50. Let x be q(-2