. Let q = j + -0.208. Is q equal to -10?
False
Let f = 523.9 + -524. Which is smaller: -3/203 or f?
f
Suppose 154 = -f + 4*l + 102, 4*f - 3*l + 143 = 0. Are f and 13 unequal?
True
Let r = -1604 - -1603. Is r at most 2/7955?
True
Suppose -98 = -4*n - 374. Suppose 3*c + 121 = -83. Let m = n - c. Is m less than or equal to -2/51?
True
Let w be (44307/36)/((-2)/((-48)/(-9))). Let d = w - -82062/25. Is d equal to 0?
False
Let v = -198 + 322. Let u = -148 + v. Which is greater: u or -21?
-21
Suppose 277*x + 75 = 280*x. Suppose -2*d - 15 = -5*k, d - 22 = k - x. Which is smaller: d or -1/2?
-1/2
Let i = 31728 + -31763. Which is bigger: i or -302/9?
-302/9
Let m(y) = 16*y**2 - 6*y - 8. Let v be m(-2). Suppose -18*i = -14*i + v. Are -21 and i unequal?
True
Let i = -1869.9 + 1884. Which is smaller: i or -1/4?
-1/4
Suppose 5*i + 321 + 714 = 5*k, -2*i + 1000 = 5*k. Does k = 205?
False
Suppose -4*a = -4*l + 5*l - 54, 3*a = 2*l - 163. Suppose -y - 2*y - 4*c = l, 0 = 3*y - 5*c + 83. Let u be 12/24*1/y. Is -1 smaller than u?
True
Let b be (-27)/513 + 2/38. Which is smaller: b or -11/19?
-11/19
Let y be 12/8*(-8)/(-6). Suppose -y*a = 2*a - 3*f + 4, -3*a = 2*f + 3. Let p = -279 - -9485/34. Which is smaller: a or p?
a
Let j be 1/(4/396) + -2. Let q = 101 - j. Let c be ((-3)/q)/(187/(-408)). Which is smaller: 2 or c?
c
Let u be -2 + (-8 - 0)/(-2). Let m be (-38*1/(-5)*1)/((-18)/(-5)). Is m > u?
True
Let b = -10316 + 10288. Which is greater: b or -45?
b
Suppose -104 = -4*q - 116, 723 = -3*b - q. Which is smaller: -251 or b?
-251
Let g = -71.96 - -0.96. Let o = 72.26 + g. Which is bigger: o or 0?
o
Let l be (-7)/(-63)*0 + -136. Let a be (-5802)/42 - 1/(-7). Which is bigger: a or l?
l
Let z = 2 - 10. Let c = z + 9. Let g = -761 - -769. Which is smaller: g or c?
c
Let n(c) = -c**2 + 10*c + 31. Let d be n(11). Suppose 0 = -7*w - d + 6. Let v be 3/w + 15/10. Which is bigger: 3/10 or v?
3/10
Suppose 0 = -3*h - 5*p + 29, -3*h - p = -5*h + 15. Suppose -6*a + 6 = -h*a. Let d(b) = -b**3 - 2*b**2 + 5*b + 5. Let r be d(a). Is r not equal to 1/11?
True
Let x = 2429 - 220. Let s = x - 11132/5. Let z(d) = d**3 + 9*d**2 - 14*d + 71. Let n be z(-11). Which is smaller: n or s?
s
Suppose 2*k + 8*k = -7*k. Let d be k/2 - (-6 - -6). Let b be 5 - d - ((-36)/6 - -10). Is b equal to 19/8?
False
Let i(j) = -j**2 - j + 39. Let z(s) = -2*s**2 - s + 79. Let w(y) = -5*i(y) + 2*z(y). Let m be w(5). Let u be 0 + -1 + (m - 4). Which is smaller: -14/9 or u?
u
Suppose -f + 3*j = f + 183403, 275096 = -3*f - 4*j. Let i be f/816 + -1 - (-6)/8. Let u = -338/3 - i. Which is greater: -1 or u?
u
Let j = -5278 - -5336. Is j greater than or equal to -0.54?
True
Suppose -4*o - 104 = -4*r, 0 = 3*o + o + 8. Let f = 4 - 0. Suppose f - r = 5*p. Are p and -6 nonequal?
True
Let u(l) = 106*l + 2080. Let m be u(-28). Which is greater: -894 or m?
m
Let l = -598 + 672.2. Let x = -71 + l. Let s = x - -0.8. Which is smaller: s or 0.1?
0.1
Let j = 118 - 100. Suppose 6 = 3*b + 2*k + k, 5*b = -3*k + j. Let v be (0 - 0) + b/3. Is v at least 2/3?
True
Suppose -916*i + 16 = -4*f - 915*i, 0 = 2*f + 6*i - 18. Let z be (-180)/34 + (0 - -2). Which is bigger: z or f?
f
Let d be (6/(-8) - 6/(-8)) + 0. Let s be d/15*((-5)/2 + 2). Suppose -3*o - 4*n - 45 = -s*n, 4 = o - 5*n. Is o bigger than -12?
True
Let w(h) be the second derivative of h**5/20 + 5*h**4/12 - 17*h**3/2 + 3*h**2/2 + 21*h - 2. Let f be w(-10). Let t = -20 + 33. Are t and f equal?
True
Suppose 25*m - 17 = -17. Let b = 8524/240425 + 2/1475. Which is bigger: b or m?
b
Suppose u - 19 = -2*u + r, 2*r + 2 = 0. Let l(t) = -t**3 - 12*t**2 - 2*t - 16. Suppose -5*o = -19*o - 168. Let y be l(o). Which is smaller: y or u?
u
Let t be (-1)/(9/27*(-6)/8). Suppose 0 = 5*p - t*p + 3*o + 3, -4*p - 3*o - 3 = 0. Suppose -5*k + p*k - 13 = 4*f, -k + 2*f = -3. Does 2/47 = k?
False
Let c be (-27)/6*((-64)/(-9))/(-8). Suppose -5*j - 174 = -c*v + 36, -v - 5*j + 40 = 0. Which is smaller: v or 52?
v
Suppose 2*x + 5*y - 523 = 99, 2*x = 3*y + 606. Let r be (-51)/x + 1/(-2). Which is smaller: r or -1?
-1
Suppose 4*g - 6 = 2*s, -g + 4*s = 3*g - 16. Does 887/8 = g?
False
Let n be (-4)/18 - (-210)/(-27). Let l be (-1 - -2)*(1 + n). Suppose -59 = 9*y - 14. Is y less than or equal to l?
False
Suppose 500*u - 512*u = -228. Which is smaller: u or 35?
u
Let t(p) = 11*p**3 + 10*p**2 + 23*p + 14. Let u be t(-1). Is u at least as big as -46?
True
Let o = -2351 + 1614. Let v = o + 735. Which is smaller: v or 4/23?
v
Suppose 7*k + 8862 = 5*k + 2*h, 4*k + 2*h + 17700 = 0. Is -4426 > k?
True
Let g = -12838 - -12034. Which is greater: -3 or g?
-3
Let k = -132.822 + 8.522. Which is greater: 2/9 or k?
2/9
Suppose 6*s + 42 = -12. Let t(x) = -x - 9. Let m be t(s). Is m less than or equal to 3?
True
Let m be (30/10)/(777/678 - 1). Let w = m - 224/11. Is w > 3?
False
Suppose 9*q + 36 = 15*q. Suppose -y - v = -q, -4*y + y - 5*v + 28 = 0. Is 30/23 at most y?
False
Suppose 20*b + 18*b - b + 481 = 0. Is b equal to -408/29?
False
Suppose -4*g + 6*g + 10 = -5*n, 4*g = 5*n + 10. Suppose g*m = -3*m. Let i be (-68)/378 - ((-204)/(-42) + -5). Does m = i?
False
Let g be (-12)/18*(0 - 213/(-340)). Let h = g + 3/10. Are -2.1 and h nonequal?
True
Suppose -2*l = -2*m + 136, -4*m + 7*l + 274 = 2*l. Let w be (-1 - -2)/(m - 67). Which is smaller: 3/554 or w?
w
Let d = 349 - 347. Let v be 302/(-170) + d + (-12)/(-20). Is 0.1 <= v?
True
Let m = 36 + -72. Suppose -3*u + 3*x + 2499 = 0, 5 = 3*x - 4*x. Suppose -22*h - h - u = 0. Is h smaller than m?
False
Let x = 176268 + -65395301/371. Let t = 3/53 - x. Is t at most -28/19?
False
Let v(c) = -c**2 - 23*c + 2. Let w be v(-16). Suppose 10*j = 4*u + 5*j - 458, -j - w = -u. Is u at least 111?
True
Let f be (-1)/((-7)/(-49)) - (-171)/24. Suppose -2*k + 3*k = 14. Let m be (-10)/k + (-6)/21. Is f > m?
True
Let k = 0.0305 + -2996.0305. Is k >= 0.1?
False
Let q be (-30)/24 + (-21371)/4564 + (7 - 1). Which is smaller: 0 or q?
0
Suppose -5 = 2*a - 5*k, 5*k = 5*a + 31 - 26. Are a and -1/42 unequal?
True
Suppose -12164 = 5*o - 484. Is 0.1 < o?
False
Let z = 1251 - 1236. Is z not equal to -19?
True
Let u = -136.38 - -153. Let h = u + 0.38. Let f = 16.9 - h. Which is smaller: -17 or f?
-17
Let d(g) = 45*g**2 - 164*g - 163. Let u be d(-1). Suppose 0 = h + 4*o - 55, 2*h - 3*o = 7*h - 241. Is h smaller than u?
False
Let z be (-11 + 10)*(15/(-2))/(28/80024). Are z and 21435 equal?
True
Let j = 10.975 - 5.576. Let v = j - 0.099. Let a = v - 5.4. Are a and -1 unequal?
True
Let t = 182 - 168. Let k be (-150)/630 - 6/t. Which is smaller: k or 105?
k
Suppose -f - f + 24 = 0. Let g = -349798 + 349811. Which is smaller: g or f?
f
Let q = 622 - 597. Let g(d) = 2*d**2 - 39*d - 123. Let o be g(q). Is o at most as big as 152?
True
Let s = 76 - 72. Suppose s = 4*i + i - 2*n, 4*i - 2*n = 4. Suppose -3*t - 7 = -2*q, 19 = -5*q + 44. Which is greater: i or t?
t
Let r(l) = -7*l - 18. Let j be r(-3). Suppose -8 = j*q - 5. Is q smaller than 6/83?
True
Let t = 242035 + -2666402/11. Which is bigger: -365 or t?
-365
Let x = -8.819 - 0.181. Let i = x - -9.1. Is i >= -0.49?
True
Let r be 8/(-6) - ((-220)/30 - -6). Let i(v) = -5*v - 3. Let n be i(3). Let h be 75/n*(-9)/60. Is h <= r?
False
Let u = -125868 - -627342/5. Which is smaller: u or -401?
-401
Suppose -3392 = -3*g - 2*q, 2*g = 6*q - 5*q + 2280. Is 5683/5 at most as big as g?
False
Let j be (-118 - -127 - (1 + 12)) + 847. Which is greater: j or 849?
849
Let p(s) = 2*s**2 - 16*s - 885. Let o be p(-53). Which is smaller: o or 2?
2
Let r(o) = -527*o + 23126. Let i be r(43). Let l = 1215 + -750. Is i > l?
False
Let y = 21 + 138. Suppose 3*w - y = -33. Suppose 79 = 2*i - 0*l + l, l = -3*i + 120. Which is smaller: i or w?
i
Let n(w) = 3*w**2 + 43*w - 340. Let v be n(-20). Which is bigger: v or 1/1433?
1/1433
Let y be 5704/14766 - (-6)/(-9). Is y smaller than -1?
False
Suppose -88*j = 127*j + 3161 + 1139. Is j > -222/11?
True
Suppose 3*j + 2*j + 14 = v, 4*v - 2 = 2*j. Let r = 3160805/6 + -526802. Which is smaller: v or r?
r
Let s = -1619 - -1584. Which is smaller: 6.4 or s?
s
Let t = 9.13 - 0.13. Let s = 334.8 + -337. Let i = s + 2.1. Is t bigger than i?
True
Let z be ((-9)/(-6) - 1)/((-13)/234). Let g be 0 + z/(837/60). Which is smaller: -2 or g?
-2
Suppose t - 2*f = 6555, 165*t -