. Suppose 2*c - 20 = -2*w, i*w - 3*w - 5 = 3*c. Which is bigger: 11 or w?
11
Let k(l) = -20*l**2 + 9*l + 11. Let b be k(-1). Is b at least -25?
True
Let a be (-1)/((-18)/(-11144)) - 127/(-1143). Is a smaller than -619?
False
Let n = -103 + 239. Let v be (-12)/(-1*(-2)/n). Let p be v/(-42) - (-3)/(-7). Is 18 bigger than p?
False
Let m be 0/(-1 + -7 - (-12)/2). Let q = -26 - -41. Is q > m?
True
Let g be (-3045)/(-174)*(-232)/(-130). Which is smaller: 31 or g?
31
Let f be (72/(-32))/(3/16). Let w = 11 + f. Which is smaller: w or -4?
-4
Suppose -3*x + 38 = 404. Which is smaller: -121 or x?
x
Let r = 2215/11 - 201. Let c be 2/(1 + -3) + -5. Let y(v) = v**2 + 5*v - 5. Let h be y(c). Which is smaller: h or r?
r
Let m = -188/3 + 62. Let n = 0.26 + 0.74. Let v = n - -4. Is m at most as big as v?
True
Let s = 0.0855 + 0.9145. Do s and 194 have the same value?
False
Let v = 2.01 + -1.81. Is -104 smaller than v?
True
Let a = 119.98 + -0.98. Let v = 55 - a. Which is bigger: 0 or v?
0
Let o = 31 + -19. Let b = o + -15.5. Let s = b - 0.5. Which is bigger: s or -1?
-1
Suppose 2*o = 5*s - o + 390, -3*o + 15 = 0. Which is greater: 2/5 or s?
2/5
Let i be (-567)/(-6)*(-8)/(-12). Let u = -28159/495 + -324/55. Let x = i + u. Is x at least as big as -1?
True
Let c be 2/(2060/2389) + -2. Let n = c + -2/103. Let a = -16.3 + 16.4. Do n and a have the same value?
False
Suppose 0 = 3*h, 5*m - 4*m = -2*h + 3. Let r(y) = 2*y + 4. Let o be r(m). Suppose 0 = 3*i - 3*t - 36, -t - 16 = 3*t. Is o greater than i?
True
Let v = -8 + 8.03. Let d = -0.361 - -0.361. Is d at most as big as v?
True
Let c be (-14*(1 - -2))/((-6)/172). Let i be 0 - (c/(-2960) + (-2)/(-5)). Which is greater: -1 or i?
i
Suppose 5*w - 8*w + 18 = 0. Suppose 0 = -11*p + w*p - 20. Let q = -8 - -4. Is p < q?
False
Let k = 37 + -37.4. Suppose 4*v = t + 68, -t + 5*t = 4*v - 56. Is k greater than or equal to v?
False
Let n = -1359 - -63876/47. Which is greater: n or 0?
n
Let c(a) = -a**3 + 20*a**2 - 2*a + 18. Let t be c(19). Is 340 != t?
True
Let z = -6.702 - 0.298. Is -1 less than z?
False
Let d = -2.194 + 2.194. Suppose 5*w - 5*h = -2*h - 6, 2*h - 4 = -2*w. Suppose y + 1 + 6 = w. Which is bigger: y or d?
d
Suppose -3*k - 2*n = 60 + 314, -5*k - 665 = -5*n. Is k >= 2?
False
Let t(o) = o**3 - 13*o**2 - 15*o + 11. Suppose -4*s = -48 - 8. Let n be t(s). Which is smaller: -13/4 or n?
-13/4
Suppose -2*t - 2*j + 24 = 0, 3*t - 2*j = -9 + 60. Let l be (-2)/t + (-3170)/(-150). Is 1 > l?
False
Suppose 5*i - 2*i - 289 = -4*u, -2*i = -2*u + 162. Is 834/11 bigger than u?
False
Let w = -46 + 38. Which is smaller: 0.7 or w?
w
Let b = -1 - -0.4. Let x = b - -0.8. Let w be (-10)/6 - (-20)/30. Which is bigger: w or x?
x
Let y be (-1 - (1 - 6))/(-1). Let a(x) = x - 17. Let n be a(22). Suppose -n*g = -9*g - 12. Is g greater than or equal to y?
True
Let c = 23.188 - -0.802. Let p = c - 24. Let d = -0.1 + 0.3. Are d and p unequal?
True
Let g = -4.04 + 3.04. Is 0.61 at least g?
True
Let q be (-164)/20 + (-2)/(-10). Let y = q + 6. Let l be (-3 + 5)/2 + y. Is 2/7 less than or equal to l?
False
Let p(z) = -z**3 - 7*z**2 + 39*z + 11. Let i be p(-9). Are i and -179 non-equal?
True
Let y = 346 + -15571/45. Which is smaller: -2/11 or y?
-2/11
Suppose 0 = 2*p + 10, 2*p = i + 4*p + 9. Let l be (-14)/(-10) - 99/66. Is l greater than or equal to i?
False
Suppose -2*o = -3*h - h + 16, -3*o - 16 = -4*h. Suppose o + 6 = 6*u. Which is greater: 3 or u?
3
Let a = 434 - 410. Which is smaller: 143/6 or a?
143/6
Let h = 133 - 130. Suppose -4*g + 3*n + 15 = 0, 5*g - 11 = n + 5. Are g and h non-equal?
False
Let r = -3 + 15. Suppose y - r = 2*d + 3*d, -3*d = -4*y + 14. Is y >= -2?
True
Let k be ((-270)/(-60))/(3/2). Suppose 2*r - 8*p = -k*p + 25, -2*p - 21 = -3*r. Is r < -0.1?
False
Suppose 12 = -c + 4*c. Let r = c - -1. Let f be 2*(17/2 - 6). Is f < r?
False
Let o(u) = u - 7. Let i = 2 - -5. Let d be o(i). Suppose d = -c - 0*c + 1. Is -2 <= c?
True
Let t = 9.63 - 9.23. Is t at least -15?
True
Let t = 190 + -186.09. Let u = t - -0.09. Let w = -48 + 46. Which is greater: w or u?
u
Let n = 11.261 + -12.02. Which is bigger: n or -2/3?
-2/3
Let o be (-160)/32 - (-2 + 152/(-54)). Is o smaller than 0?
True
Let w(f) = -f**2 - 11*f - 29. Let v be w(-4). Is v at most as big as -0.02?
True
Let q be (-416)/24 - (-1)/3. Let u be ((2 + 1)/3)/((-4)/60). Which is greater: q or u?
u
Let c(p) = p. Let a be c(0). Suppose a*h = -2*h - 14. Suppose -5*f - 6 = i + 27, -f - 37 = 4*i. Is i equal to h?
False
Suppose -3*b = 6, 2 - 30 = 3*u - 4*b. Is -166/15 smaller than u?
False
Suppose 0 = -2*s + 6 - 40. Let t = s + 12. Let h = -4 - 0. Which is smaller: t or h?
t
Suppose 2*c = 6*c + 3*f + 3, 0 = 4*f + 20. Suppose -3*j + 7*j = c*p + 41, -5*p = j + 30. Do -8 and p have the same value?
False
Suppose 137 + 899 = 14*y. Let b = y + -83. Are b and -5 nonequal?
True
Suppose 0 = 3*g + 5*h - h - 17, -4*g - h = -1. Let w(j) = -j**3 - 2*j**2 + 4*j - 4. Let i be w(-4). Let r be 6 + (-45)/i - (4 - 1). Which is bigger: g or r?
r
Suppose 6478*s - 576 = 6490*s. Is s less than -49?
False
Suppose -d - 6 = -4*d. Suppose -d*j = -4*j - 6. Let l(y) = 3*y**3 - y. Let v be l(-1). Is j greater than v?
False
Let y = 92 + -91. Is -3/11 at least as big as y?
False
Let f be 2/(3/(-6)*2). Let b be -19*f/(-6) + 6. Let j = 0.29 + -0.3. Is j at least as big as b?
True
Let n = -1077.7 - -1078. Are n and 11 equal?
False
Let m = 113 + -159. Let n = 29 + m. Is -17 smaller than n?
False
Let c = 89 + -83. Suppose 0 = 2*q - y - c, y - 8 = -4*q + 2*y. Is q not equal to 4/65?
True
Let k = -69.4 - -66. Let q = k + 1.4. Let y = -0.4 - -0.3. Which is greater: q or y?
y
Let i = -1459 + 1459. Is 1/74 bigger than i?
True
Let r be 8*(-57 + -4 + 3). Which is greater: r or -463?
-463
Suppose 0*u - 5*u + 21 = i, -2*i - 23 = -3*u. Suppose v - u*v = 0. Let q be 3 + 58/(-18) - 3/9. Is q != v?
True
Suppose 7*r = -3*m + 6*r + 13, r = 4. Let g be (8 - 6) + (-24)/(9/m). Are g and -5 equal?
False
Suppose -6*r + 2*r - 24 = -3*w, -w + 16 = -4*r. Let q = w + 22. Let n be 2/q*(-1)/1. Is -1 smaller than n?
True
Suppose 0 = -0*k + 4*k + 32. Let d = 86369/11 - 7861. Is k at most as big as d?
False
Let g = -162 - -165. Suppose -3*i - 18 = g. Suppose -30 = 3*q + 2*q. Which is smaller: q or i?
i
Let z = -575 - -575.443. Is 0.1 at most as big as z?
True
Suppose -2*r + 0*r + 4 = 0. Let x be 6 + -3 + -1 + r. Suppose 5*q - g - 5 = -2*g, 0 = -4*q + 2*g + 18. Is x bigger than q?
True
Suppose 0 = -5*x + 4*t - 425, 0*x + 3*t + 282 = -3*x. Which is bigger: -87 or x?
-87
Let j = 5998 - 18244/3. Let m = 226 + -142. Let y = j + m. Is y < -1/4?
False
Suppose 5*i + 0*i = i. Which is bigger: i or 3?
3
Let c = -5855/22 + 634/11. Let o = 222 + c. Is o at most 13?
False
Let k = 5/852 + 8059/5964. Let m = 3/2 - k. Let n = 14 - 15. Which is smaller: n or m?
n
Suppose -15 = -18*z + 13*z. Suppose 5*k + 45 = -p + 13, 3*p + 4*k + 41 = 0. Let s = 11 + p. Do z and s have the same value?
False
Let f = 2.41 + -2.61. Which is smaller: 7 or f?
f
Let t = -2 - -1.9. Suppose -2*w + b + 7 = 0, w + w - 12 = 2*b. Suppose -6*g + w + 17 = 0. Which is greater: t or g?
g
Suppose -v = 107 - 114. Which is smaller: 25/3 or v?
v
Suppose 0 = -4*h + h + 39. Let q = h + -8. Let a be (12/(-40))/(18/q). Which is bigger: a or 0?
0
Suppose -3*t - 25 = 17. Let d be (-23)/7 - t/49. Suppose -3*x - 7 = -m, -2 = -m - 1. Is x at least d?
True
Let s = 0 + 9. Suppose 3*g = 2*g - s. Let j = g - -12. Is -3/5 <= j?
True
Let x = -107 - -107.106. Let o = x + -0.117. Which is smaller: 0 or o?
o
Let s(z) be the third derivative of z**5/60 - 7*z**4/24 + z**3 + 14*z**2. Let t be s(5). Is -15/4 bigger than t?
True
Let o be 8/(-32)*(0 - 0). Suppose o = 3*a + 7 - 4. Let d be (-4)/((-8)/(-10)) + a. Is d >= 1/5?
False
Let f = 17 - 16.2. Let z = f - 2.7. Let y = 0.9 + z. Is -2/5 less than y?
False
Let z = -38 - -67. Let m = z - 11. Which is greater: m or 16?
m
Let j be (-2)/5 - (486/(-15) + -1). Suppose j*t - 36*t = -45. Are t and 44/3 unequal?
True
Let u = -2 + 3. Which is smaller: -14/29 or u?
-14/29
Let d be (3188/(-33) - 2)*3. Let c = d - -296. Let y = 1 + -1. Which is smaller: y or c?
y
Let b = -1101 - -1133. Are 28 and b unequal?
True
Let s(j) = -12*j - 454. Let i be s(0). Is -454 >= i?
True
Suppose -35 = 3*p + 5*w