. Let w be (-1 - c)*4/(-24). Suppose 0 = -5*l + 13 + 2. Which is bigger: w or l?
l
Let z = 3.8 - 17.8. Is z smaller than 1/4?
True
Suppose 260 = -5*q - 4*w, 5*q + w - 163 + 408 = 0. Is -47 less than or equal to q?
False
Let l = 3596773/27125 + 2/27125. Let y = -133 + l. Is 1 equal to y?
False
Suppose -8 + 3 = -5*w + 5*h, 0 = 2*h - 10. Suppose -2*g - 18 = -5*g. Is w at least as big as g?
True
Let a = -0.35 + -32.65. Let f = a + 32.48. Let p = -0.18 + f. Which is greater: -1 or p?
p
Let g(w) = -w**2 - 5*w + 7. Let s = 2 + -7. Let x be g(s). Let r = -9990 - -9996. Which is smaller: r or x?
r
Suppose 16 = -4*f, -5*t - 5*f - 5 = -0*t. Suppose -6*h = -t*h. Suppose -a + 2*a - 7 = h. Which is smaller: 0 or a?
0
Let c(x) = 61*x - 3. Let t be c(-4). Let v be ((-10)/15)/(8/(-3018)). Let h = v + t. Does 6 = h?
False
Suppose -9*r + 15 = -3*n - 6*r, 4*n + 2 = -2*r. Let v be (-14)/((-4)/n + (-1 - 28)). Which is bigger: v or 2?
2
Let m(q) = -2*q**2 - 4*q. Let y be m(-3). Let l be (18/(-4))/(15/(-20)). Suppose 21 = -3*p - l. Which is bigger: y or p?
y
Let n = 18893/4 + -4754. Is -31 less than n?
True
Suppose 8*k + 40 = 32. Let i be ((-5)/13)/((-14)/(-14)). Do i and k have the same value?
False
Let p be -1*10*19/(-988). Which is bigger: -1 or p?
p
Let c be (2/(-4))/(1/6). Let b be 1/3 + 1/c. Suppose 2*o = 2*j - 2, 8 = 5*o + j - 5. Is b != o?
True
Suppose -2*i + 0 = -8. Let f be (-2 + 8/28*8)*7. Suppose -m - f = -i. Is 6/11 < m?
True
Let k be 199/(-6) - 1/(-6). Let b be (-2 + 380/198)*k/(-44). Is b <= -1?
False
Let v = 2501 - 2287. Which is greater: v or 641/3?
v
Suppose 0 = -3*n - 2*n + 15. Suppose -n*u + k + 25 = 0, -4*u + 4*k = 2 - 38. Is 9 bigger than u?
True
Let l = 1 - 1. Let v = 14224 + -199133/14. Which is greater: v or l?
v
Suppose 0 = -7*d - 45 - 242. Which is greater: d or -42?
d
Let g(q) = q**3 + 7*q**2 + 3. Let j be g(-7). Suppose 0 = b - 2, -j*b - 34 = -0*h - 4*h. Do 9 and h have the same value?
False
Let s be 4 - -386*7/(-42). Is s at most -60?
True
Let v = 1523 - 1756. Is v not equal to 1?
True
Let d be (6/(-12))/(3/(-60)). Suppose -4*a - 22 = d. Let f = 13 + a. Is 4 > f?
False
Let q be 3 + -7 + 3 + 2 + -4. Let u = 9 - q. Which is smaller: 13 or u?
u
Suppose w - 2*u + 4 = -10, -36 = 4*w - 4*u. Let n be (-6)/3*11/1. Let x be 6/12 + n/4. Which is smaller: x or w?
x
Let t = 51 + -37. Let h = -33 - -85. Suppose 5*o = o + h. Is t > o?
True
Let t be (39/(-468))/(1/1). Let r = 1 - 0. Which is bigger: r or t?
r
Let k be (7 - (3 - -3))*-4 - -6. Which is smaller: 8/15 or k?
8/15
Let y(p) = -4 - 9*p + 0*p**2 - 4*p**2 + 3*p**2 - 4. Let x be y(-7). Let c be 2/5*5/x. Do 0 and c have different values?
True
Suppose 4*a + 40 = -16*a. Which is greater: a or -1?
-1
Let r = -1.1 + -0.3. Let a = 12.4 + r. Let q = a + -9. Is -4 equal to q?
False
Suppose 2*u - 26 = 7*u - d, 5*u + 30 = 5*d. Let t be (12/(-15))/(-3 - 16/u). Which is bigger: -3 or t?
-3
Let y(f) = f**3 + 2*f**2 + 13*f - 15. Let h be y(1). Which is bigger: h or 79?
79
Let d(y) = y**3 + 7*y**2 + 7*y + 9. Let c be d(-6). Let g be c/(45/65) + -4. Which is smaller: 1 or g?
g
Suppose -3*c = -3*q - 21, -c - 4 - 7 = 2*q. Is q bigger than -53/11?
False
Suppose 14*j - 12*j - 20 = 0. Let v be (2 - 16/10) + 6/j. Is v less than or equal to -1/35?
False
Let r be 12/(-12)*(-74)/(-2). Is -109/3 at most as big as r?
False
Let v = 13228/23 + -575. Let a = 29/46 - v. Let y = -0.056 + 0.356. Which is smaller: a or y?
y
Let g be -1 - (-3 - (-528)/(-14)). Let z = g - 40. Let v = -71 + 211/3. Which is smaller: z or v?
v
Let x = -7/1243 + 6925/346797. Which is smaller: 0 or x?
0
Suppose -3*b - 2*v + 474 = 0, 112*b + 4*v - 474 = 109*b. Do b and 162 have different values?
True
Let l = -2300 - -2075. Which is smaller: l or -227?
-227
Let c = 21 + -19. Suppose -2 = -3*k + c*k. Suppose k*i - b + 3 = -0*i, 2*i - 4*b + 18 = 0. Is i <= 2/3?
False
Let v = 0 + 0. Suppose -4*d - 7*d - 858 = 0. Let o be 2/10 - d/(-15). Is o at most as big as v?
True
Let h be (-2)/10*(-20)/14. Is 3/13 >= h?
False
Let s(h) = 2*h**2 - 3*h + 8. Let c be s(2). Suppose 0 = q - 37 - 103. Suppose -c*g - q = -15*g. Which is smaller: 29 or g?
g
Let s = 721 - 523. Is 198 not equal to s?
False
Suppose -2*b = -5*j + 200, j + 120 = 4*j - b. Let w be 3 - (1364/j)/11. Which is smaller: w or -1?
-1
Let m = -350 + 368. Which is smaller: 16 or m?
16
Suppose 3*j = -d - 15, -3*j + 16*d = 19*d + 15. Which is smaller: -82/19 or j?
j
Suppose -3*x - 5*x = 56. Let r = 14 - 21. Are r and x non-equal?
False
Suppose -4*i + 25 - 5 = 0. Suppose 14 = 3*t - i*t. Does t = -6?
False
Suppose -71*i = -47*i - 72. Which is smaller: i or -182?
-182
Suppose -3*f = 2*f + 400. Let n = 69 - 148. Is n equal to f?
False
Let v = 4 + -9. Let z be 20/(-175) + (-2)/v. Let l = -475 + 2367/5. Which is bigger: z or l?
z
Suppose u + 5 = -1. Let c = u - -6. Let n be (-2)/(-4)*6 + 165/(-44). Which is bigger: n or c?
c
Let v = 35 + -40. Let n(q) = q**3 + 6*q**2 + 3*q - 10. Let f be n(v). Which is bigger: 3/7 or f?
3/7
Let m be (-4)/(1/1) + -1*2. Let c be m - -5 - (-224)/4. Which is smaller: c or 54?
54
Let v be (-5)/15 - (-3632)/6. Suppose 21*u = 26*u + v. Let m be 24/8 + 365/u. Which is greater: m or 0?
0
Suppose -2*i - 21 = u - 0*i, 4*u = 2*i - 34. Let k be -13 - u - -1*11. Let a be k/24 - (-3)/(-6). Is 1 smaller than a?
False
Let h be (-14)/((-140)/150) + -3 + -1. Is 10 equal to h?
False
Let v be (-2082)/285 - 3*(-3)/45. Which is smaller: -8 or v?
-8
Let n = -180 + 179.9. Which is bigger: -0.087 or n?
-0.087
Let d = -2 - -11. Suppose 5*g + d - 4 = 0. Which is smaller: 4/5 or g?
g
Let g(q) = q + 11. Let b be g(-6). Suppose 3*f - 4*f - 2 = 4*h, -b*h - 1 = f. Which is bigger: f or -26/5?
-26/5
Let c be ((-8)/130)/((-4)/10). Let u = -1897 + 1896.85. Does c = u?
False
Let s = 12191/11319 - 68/343. Let q = 5/6 - s. Which is smaller: -1 or q?
-1
Suppose 57 = -21*d + 20*d. Let j = 48 + d. Is j less than -2?
True
Let b = 0.8 - 1. Let y = -33 + 35. Let s be y*((-27)/(-10) + -3). Which is smaller: b or s?
s
Let r be (-216)/(-22) + -6 - 3. Which is smaller: r or 0.7?
0.7
Let p = 76 + -68. Let g = -11 - -22. Let m = p - g. Is -2 at least as big as m?
True
Let f(q) be the third derivative of q**6/120 - q**5/15 - q**4/8 - 2*q**3/3 + q**2. Let r be f(5). Let a(v) = 2*v - 10. Let d be a(8). Are r and d unequal?
False
Let o be 1/(-4)*0 - -3. Let h be (150/81 - 2)*o. Suppose 0*a + 4*y = 4*a + 16, 0 = -a + 3*y - 10. Is h greater than a?
True
Suppose 0 = -o + 4*j + 162, 5*j + 65 = o - 95. Which is greater: o or 168?
o
Let f(l) = l**2 + l - 2. Suppose s - 7*r = -4*r + 17, -5*r = s + 23. Suppose 3*z + 4 = s*j - 0, -2*z = -4*j. Let p be f(z). Is 2/7 not equal to p?
True
Let s = -25342/60357 + 1/1947. Which is greater: s or 0?
0
Suppose 5*a = 15, 0*v + 5*a - 3 = -2*v. Let k be 10*(-1)/2*1. Which is smaller: v or k?
v
Let f(i) = -i**3 - 4*i**2 - 2*i - 2. Let q(r) = r**2 + 7*r + 6. Let j be q(-5). Let t be f(j). Suppose 5*c - 39 = -4. Is c bigger than t?
True
Let q = 88 + -87. Which is smaller: q or -9?
-9
Let n = 81 - 241/3. Let c = 161 + -162.4. Which is smaller: n or c?
c
Suppose -661 = 3*l - m, -l + 7*m - 225 = 2*m. Is -222 less than l?
True
Suppose 3*p = 5*b - 150, 0 = 2*b + 5*p - 26 - 34. Suppose -b = -5*r - 4*o + 6, 20 = 4*r + o. Suppose -r*t + 6*t = -8. Is -5 greater than t?
False
Suppose 0 = 9*t + 27*t + 2880. Is t less than -79?
True
Let y = -77 + 117. Suppose 0*x - y = 4*x. Let t(n) = 2*n**2 + 26*n + 16. Let d be t(-12). Which is greater: x or d?
d
Let g = -27 + 27.1. Which is smaller: g or 45?
g
Suppose -j - 13 = -3*y, 2*y + 3*j - 16 + 0 = 0. Suppose -20 = -y*x - 145. Is x equal to -26?
False
Let p = 1158 - 1154. Is p greater than -8/11?
True
Let u be 0 + -6 + 96 + 7. Is u at most 97?
True
Let i be 7*2/8*41168/1674. Let t = i - 43. Which is smaller: t or 0.1?
t
Let w = -116 + 116.07. Let u = -8 - -3. Let z = u - -3. Is w >= z?
True
Suppose 3*o - 2 - 10 = 0. Let p be o/14 - (-2637)/(-189). Is -15 not equal to p?
True
Let g = -0.29 - 0.01. Let q = 0.21 - -0.13. Let d = g + q. Is -1 at most as big as d?
True
Let q = -118 - -116. Let k be q + (-102)/(-21) + -3. Is 1 < k?
False
Let t be 327/(4 + (-51)/6). Let i = -3682/51 - t. Which is greater: 0 or i?
i
Let o(z) = 2*z**2 + 6*z + 1. Let f be o(-3). Let n be (-57)/(-95) - (-1