Let s = -21.9 + 19.9. Which is greater: 0.02 or s?
0.02
Let a(s) = -2*s**3 + s**2 + 2*s - 252. Let g be a(0). Which is bigger: g or -255?
g
Let w = -0.2 - -0.24. Let u = 0.301 - -16.799. Let b = u + -17. Is b greater than w?
True
Let m = 0.9287 - -0.0053. Let t = -0.054 + m. Let y = t - -0.12. Is -6 less than y?
True
Let m = -6 - -9. Suppose 0*p = 2*p + g + 14, -34 = 5*p + m*g. Let k = -6 - p. Which is greater: 10/3 or k?
10/3
Let o be ((-1830)/(-103))/3 + -6. Does 1 = o?
False
Suppose -4 = 2*g + 10. Suppose -3*t - o = t + 51, -5*t - 48 = -4*o. Let f be (-3)/g*t/(-18). Do f and -1/8 have the same value?
False
Let c be (-31)/((-93)/(-6)) + (1 - 14). Are c and -198/13 equal?
False
Let h(g) = -g**3 - 15*g**2 + 14*g - 25. Let r be h(-16). Which is greater: 8 or r?
8
Suppose -3*k - 291 = -2*t, 2*k - 4*t = 3*k + 111. Is -97 greater than k?
True
Suppose -5*x = -4*x. Are x and 2/313 unequal?
True
Suppose 0 = 5*c - 2*c. Let i(r) = 2*r**2 - 5*r - 10. Let x be i(6). Let j be x/(-96)*(-1)/15. Which is smaller: j or c?
c
Suppose 79*m - 11293 = 102*m. Do m and -491 have different values?
False
Let b(r) = -529*r**2 + 2*r + 1. Let o be b(-1). Let v be -4 - (-126)/33 - o/132. Is v smaller than 5?
True
Let b(i) = 2*i + 31. Let w be b(-16). Let m = 6515/65518 - 3/1598. Which is greater: w or m?
m
Suppose 0 = 4*m + 4*g - 72, 4*m - 41 - 4 = 5*g. Suppose 0 = -5*b - 5*u - m, 4*u - 7 = 4*b - 3. Which is greater: b or -1/2?
-1/2
Let n = -811/189 + -325028/4725. Let f = n - -73. Do -1 and f have the same value?
False
Let x be (4/((-60)/(-35)))/(2/18). Which is smaller: -11 or x?
-11
Let n = 11.024 - 154.044. Let u = n - -143. Let c be 0*(-3)/9 - -1. Is u <= c?
True
Suppose d + 5*f + 7 = 8, d - 2 = -4*f. Suppose 0 = d*u - 3*u - 3. Let v be 4*6/(-16)*2. Do v and u have the same value?
False
Let q be 125/3*18/(-2). Let j = 2296327/10 + -229258. Let u = q + j. Which is greater: u or 1?
1
Let u(y) = y + 6. Let f be u(-5). Let v(a) = -678*a + 1. Let r be v(f). Let h = r - -23693/35. Are h and 1 non-equal?
True
Let i(y) = -4*y**2 - 5*y - 3. Let u be i(-1). Let b be (-86)/(-6) - 4/(-6). Suppose -3*n + 4 = -4*k, 5*n + b = -3*k - 17. Are k and u nonequal?
True
Let d = 17.5 + 6.5. Let y = d + -24.4. Let r(l) = 2*l - 7. Let n be r(5). Which is smaller: y or n?
y
Let u = -124 - -124.7. Let b = -9.8 - -1.8. Let q = -9 - b. Is u less than q?
False
Let i = -2528 - -2780. Are i and 250 non-equal?
True
Let t = -5 + -12. Let n(c) = -c**2 - 18*c - 18. Let u be n(t). Which is smaller: -3/14 or u?
u
Let s = -60.8 + 66. Let g = 0.8 + s. Let o = -7 + g. Is 3/5 > o?
True
Let d be (-21)/56*(-10)/3*1. Is 1 not equal to d?
True
Let f = 75 - 69. Let i be f/9 + -2*4/(-24). Is i >= 4/11?
True
Suppose -2*d = 3*g - 98, 7*g - 6*g - 61 = 5*d. Which is smaller: 27 or g?
27
Let l = 22.12 + -21. Let r = l - 1. Let h = 406 - 406. Do r and h have different values?
True
Let o = 4.7 + -8. Let c = o - 0.2. Let p = -1.5 - c. Is -0.1 at most p?
True
Let b(v) = -4*v + 1. Let a(u) = -u + 1. Let c(r) = -3*a(r) + b(r). Let i be c(2). Let j be (i + 2 - -5) + -9. Is -8 at least j?
False
Let x be ((-4)/16)/(3/4). Suppose -m + 77 = -5*t, -t + 6*t = -2*m + 79. Let s be m/20 + 3*-1. Which is smaller: x or s?
s
Let b = 25 - 20. Suppose -5*v = -4*u + 9, 2*v = b*v - 3*u + 6. Which is greater: v or 3?
3
Let h = -1 + 1. Let q = -597517/1404 + 4141/156. Let v = q + 399. Is h equal to v?
False
Suppose -2*c - 4*h - 15 = -1, 3*h = -3*c - 18. Let x(d) = d + 5. Let q be x(c). Suppose q*n - 3*n = 9. Are n and -12/7 unequal?
True
Suppose 2*k + 4*w = 2, -12 = -2*k + 4*w - 3*w. Let z be -2*(3/6 - -1) + k. Which is bigger: z or 7/12?
z
Let u = 1829.7 - 1830. Let j = -20 + 34. Is u smaller than j?
True
Let h = -347 - -1039/3. Is -131 greater than h?
False
Let y(v) be the third derivative of v**5/60 - v**4/24 + 5*v**3/2 + 21*v**2. Let b be y(0). Is 14 smaller than b?
True
Suppose m - 6*f + 2*f + 19 = 0, 0 = -2*m + f - 10. Let l = -225/14 + 250/21. Which is smaller: l or m?
l
Suppose 4*v = -5*f + 3767, 2*f - 4*v - 133 - 1357 = 0. Do f and 751 have the same value?
True
Let i be (-203)/5 + (-63)/(-105). Which is smaller: i or -36?
i
Let d(n) be the second derivative of n**4/6 - 4*n**3 + 4*n**2 - 8*n. Let l be d(14). Is l less than 63?
False
Let q = -197582/111 + 1780. Is q at least 0?
False
Let p(r) = -r**2 - 6*r - 22. Let t be p(-5). Is 0.1 > t?
True
Let a be -1 - -1 - -3*45/3051. Is a greater than or equal to 1?
False
Suppose 191*i - 4*l + 360 = 186*i, 5*l = -5*i - 405. Does i = -78?
False
Let l = -0.618 + 1.728. Is 5 < l?
False
Suppose x + 4 = 1, -3*v + 2*x - 96 = 0. Let r = -1 + v. Let y be (-76)/(-70) - (-28)/r. Which is bigger: y or -1/3?
y
Let r = 7886/35 + -1580/7. Let w = -1.8 + -0.2. Let p = w + 2. Is r < p?
True
Let q be ((-66)/55)/(63/(-15)). Is 52 at most as big as q?
False
Let u = 126 - 86. Suppose -2*l + 2*b - u = 3*l, 0 = l - b + 8. Does l = -7?
False
Let g(c) = -c**2 - 3*c. Let m be g(-6). Let f(n) = -n**3 + n**2 + 4*n - 22. Let r be f(0). Let v be ((-187)/r)/(1/(-2)). Is v equal to m?
False
Let a = 1 - 1. Let t = 49 + -21. Let x be 4/215*70/t. Is x at most as big as a?
False
Suppose 11*h = 8*h. Suppose -d - 2*d + 30 = 0. Suppose -5*p = -d, 5*k - 2*p - p + 41 = h. Is -7 less than k?
False
Let c = -1.6 + 2.4. Let u = c - 2.4. Let b = -3.6 - u. Which is greater: -1/2 or b?
-1/2
Let d = -792 - -792. Which is bigger: -1/362 or d?
d
Let q(z) = 2*z**2 - 3*z - 14. Let s be q(11). Suppose 7*a = 3*a + w + s, -a = -2*w - 54. Let o be a/20*(-2)/(-6). Which is smaller: 1 or o?
o
Let m = -0.492 + 0.392. Which is smaller: 2/277 or m?
m
Let f(z) = -3*z**2 + 2. Let a be f(-3). Suppose 368 - 176 = -8*s. Let d = a - s. Which is smaller: 1 or d?
d
Let w be (-75)/200 + 22/16. Is -8/33 equal to w?
False
Let h(t) = -7*t**3 - 7*t**2 - 6*t - 11. Let o be h(-2). Which is smaller: 117/4 or o?
o
Let w be (7 - 16/8) + -22. Is w greater than or equal to -2/11?
False
Let i be 0 - (-3 + (-100)/(-36)). Let a be -1 + 0 + 34/2. Suppose 5*q + a = 3*g + q, 3*q + 12 = -g. Is g <= i?
True
Let m = 6.34 - -2.68. Let i = 0.02 - m. Let j be 20/(-24) + (-20)/(-15). Is j > i?
True
Let j = 237 + -403. Is j greater than -167?
True
Let d(f) = -3*f**3 + 18*f**2 + 6*f + 14. Let j(o) = -o**3 + 6*o**2 + 2*o + 5. Let x(p) = 4*d(p) - 11*j(p). Let v be x(6). Is v < 13?
False
Let v be (-7163)/26 - (45/6)/(-5). Are v and -276 unequal?
True
Let j = 34.3 - 2.3. Let s = 0.114 - 0.214. Is j smaller than s?
False
Let l be (1 + (-22)/6)/((-2)/(-12)). Is l smaller than -16?
False
Suppose 0 = -0*v + 5*v. Let h be (-12)/(-6) + (0 - 0). Let r be 8/h + 59/(-14). Are r and v unequal?
True
Suppose 0 = -10*h + 15*h - 19330. Let o = -2934292/759 + h. Let d = o - -128/3795. Which is greater: d or 0?
d
Let t = -130 + 135. Which is smaller: 37/10 or t?
37/10
Let b = -205.3 + 170.3. Let j(k) = k + 1. Let d be j(0). Is d at most as big as b?
False
Let x = 1355 - 1354.85. Let q = -6.15 + 6. Let n = x - q. Does n = -3?
False
Let u = 10.08 - -0.92. Let b = u + -33. Which is bigger: b or -3/2?
-3/2
Let q = 36587 + -9988340/273. Let b = 4/39 - q. Which is smaller: b or -1?
-1
Suppose -i - 25 = -6*i. Let y = i + -2. Suppose y*c = c - 12. Is -4 >= c?
True
Let f be 2/(-6) + 28/21. Let v be (6/8)/(f/(-16)). Which is smaller: -13 or v?
-13
Let z(c) = -52*c**2 - 286*c - 2. Let q be z(-5). Is 129 greater than or equal to q?
True
Let m be 6/(-105)*-5 + (-33)/(-7). Which is greater: 59/11 or m?
59/11
Let m = -325 + 345.5. Which is smaller: m or -2/5?
-2/5
Let y = -771 - -772. Which is greater: -3/166 or y?
y
Suppose 4*i - 60 - 252 = 0. Is 81 at least i?
True
Let j be (-1294)/(-323) + 0 + -4. Which is smaller: -1 or j?
-1
Let b = -965541/13 + 74308. Let g = 71/2 - b. Which is bigger: g or -1?
g
Let b(p) = 4*p + 18. Let t(a) = -a - 6. Suppose 0 = -3*s + 3, y + 4*s = 2*s - 19. Let v(g) = y*t(g) - 6*b(g). Let h be v(8). Does h = -11/2?
False
Let l be 5/((675/(-36))/(-15)). Which is smaller: l or 32?
l
Let u = -0.321 + 0.221. Let q be (-76)/(-135) - (-21)/(-35). Which is greater: q or u?
q
Let q be -49 + 42 - 2*-3. Which is greater: q or -3/88?
-3/88
Let g = 21.9 + -22. Is g >= -70?
True
Let w(u) = 8*u**2 + 58*u - 7. Let h be w(-8). Does h = 2/17?
False
Let p = 44 - 40. Let x be (p/(-54)*-1)/(2/6). Which is greater