 = 5*a. Let b be w(j). Suppose -b*q - 9 = -38*q. Which is smaller: q or 2?
2
Let q = 288.644 - 289. Let h = -0.356 - q. Which is greater: -13 or h?
h
Suppose -w = -3*i - 8, 5*w - 3*i - 6 - 10 = 0. Suppose w*b - 7*b - 4*y = -75, -5*b + 3*y + 40 = 0. Let o be (-37 - 1) + -15 + b. Are o and -41 nonequal?
True
Let v = -168 + 297. Let w = 371801 + -371675. Which is greater: v or w?
v
Let z = 203046/7 + -28980. Let h = -1.8 - -0.8. Is h not equal to z?
True
Let h = -0.243 - -0.023. Let f = 0.12 + h. Let k = 19.95 + 0.05. Which is greater: k or f?
k
Let t = 1 - 0. Let q = -229149 + 229149.066. Which is greater: q or t?
t
Let k = 133.957 - -0.043. Let w = -133.07 + k. Let p = -0.53 + w. Which is smaller: p or -8?
-8
Suppose -70348*w + 70351*w + 138 = 0. Which is smaller: -43 or w?
w
Suppose 3*l = 4*s - 9*s + 3948, -s + 2*l + 800 = 0. Suppose 3*y - 3*v - 2388 = 0, 2*y - 3*v = -482 + 2078. Is s <= y?
True
Suppose 22*m - 1 + 64 = -3. Which is smaller: m or -56?
-56
Suppose 638 = 3*g - 4*z, 5*g - 1089 = -26*z + 29*z. Is 211 <= g?
True
Let k = 996.894 + 0.106. Let m = -997.2 + k. Is m at most as big as 78?
True
Let n be (-1)/5 - (-2774*(-8)/2640 - 10). Which is greater: n or 2?
2
Let k = 1691956/17 - 99438. Is k less than or equal to 89?
True
Let u = -46298 + 37649. Which is smaller: -17297/2 or u?
u
Let i = -703095/44 + 15974. Let l = -57/11 - i. Is l less than -13?
False
Let s(f) = -27*f - 1317. Let v be s(-39). Is v smaller than -2910/11?
False
Let q be (-6933)/12 + (-18)/72. Which is greater: q or -583?
q
Suppose 3*s - 6 - 9 = -3*c, -3*s - c = -13. Let k be (-1745)/45 + s/(-18). Let v = -36 - k. Do v and 1 have the same value?
False
Suppose 7*l + 1 = 6*l - 2*n, 3 = -3*l - 5*n. Is l <= -128/227?
True
Let v = 7080 - 7217. Is -136 less than v?
False
Let a = 57.18 + -1.18. Let q = a - 70. Let g = 13.99 + q. Which is bigger: g or 7?
7
Suppose 0 = -10*f + 2*f. Suppose -5*i = -2*q - 518, -2*q - 4*i - 453 - 29 = f. Is q bigger than -249?
False
Let b = 1 - 0. Let w = 264 - 155. Let g = -109.07 + w. Which is bigger: b or g?
b
Let w be 6*(-3)/(60/(-8) - -3). Suppose 12 = w*k + 3*b, 4*b + 19 = 5*k + 4. Suppose -37 = -k*g - 40. Is -3/10 less than or equal to g?
False
Let k be (-2419)/(-902) + 2/(-11) + 5/(-2). Which is smaller: k or 1/876?
k
Let c be 12/(-9) + 2/6. Let b(f) = -21*f - 1. Let m be b(c). Suppose 4*v = -2*a + 54, 0 = 5*a - 2*v + v - 102. Is m at least a?
False
Let i = 2.98 + -3. Let c = 503 - 355. Suppose -72 + c = 38*o. Do o and i have the same value?
False
Let z = 81 - 62. Let g be 3 - 60/45*30/4. Is g at least z?
False
Suppose -13 = -4*z + 3*j, 4*z + 4*j = -2 + 22. Let u(w) = -w**2 - 6*w - 2. Let b be u(-4). Suppose 2*o - b = -z*o. Which is greater: o or -2/77?
o
Let b be (792/(-847))/18*-21. Which is bigger: b or -10?
b
Let g(j) be the third derivative of 13*j**4/24 + 85*j**3/2 + 3*j**2 - 75. Let i be g(-35). Are -201 and i equal?
False
Let u = 56.72 - -59.78. Are u and -2 nonequal?
True
Let t = -3628.819 + -34.181. Is 0.2 <= t?
False
Suppose -86*f + 2556939 = 913909. Is 19105 at most as big as f?
True
Let b be (2 + (-45)/18)*(-2)/(-4). Which is bigger: 13 or b?
13
Suppose 0 = 11*t - 13*t + 94. Let m = 50 - t. Suppose 0 = -f + 4*l + 4 + 3, -m*f + l = 1. Are 0 and f equal?
False
Let i be 6 - -3*(-39)/18. Let k be 3*-2*2/(-3). Suppose -5*f - 5*x - 5 = 0, -k*f - 2*x - 19 = -x. Is i > f?
True
Suppose -11 = i + h, -3*i + 4*h + 2 = -0*i. Let v(p) = p**2 + 3*p. Let q be v(i). Suppose -31 = -w + 3*n, 2*w + 5*n = 3*w - 41. Which is bigger: w or q?
q
Let n = -4243 - -4220. Suppose 3*s = -2*j + 4, 0 = 2*s + j - 0*j - 1. Let l(i) = -7*i**2 - 4*i - 2. Let b be l(s). Is b < n?
False
Let a(x) = -3*x - 38. Let w be a(-16). Suppose 4*m + 4 = -5*z, -5*z + w*m = 8*m - 2. Which is bigger: -3/70 or z?
z
Let d(n) = 11*n**2 - 154*n + 8. Let l be d(14). Let a be l/(440/15)*3/(-9). Suppose -4*h - b = -0*b + 16, 0 = 5*b. Is a <= h?
False
Let i be -9 + (-58)/(-6) - (0 + (-5098)/48). Is 106 bigger than i?
False
Let v = 32342 + -31938. Is v smaller than 404?
False
Let r = 5.46 - 28.56. Let l = -0.903 - 0.097. Is r at least as big as l?
False
Let c(q) = q**3 - 12*q**2 - 39*q + 433. Let a be c(10). Is a >= 2?
False
Suppose -25*k - 9 = -28*k. Suppose 4*a = -k*x - 13, -4*x - 3*a - 11 = 4. Is -12/5 less than x?
False
Let t = -1/1991 + 117471/3982. Let n = -82 + 112. Which is bigger: n or t?
n
Let l = 594362/7 - 84539. Let w = 367 - l. Let g(f) = -4*f**3 - f**2 + 1. Let y be g(1). Is y less than w?
True
Let a(l) be the third derivative of -l**6/120 + 17*l**5/60 + 5*l**4/12 + 49*l**3/6 + 11*l**2 - 4. Let f be a(17). Which is greater: -0.2 or f?
f
Let o = 714 - 521. Let i be 190 - (1 + (1 - 4)). Are o and i nonequal?
True
Suppose m + l + 194 = 0, 1089*m = 1085*m + 5*l - 731. Are m and -189 non-equal?
False
Let j = -376 + 315. Let f = j - -62. Let s = -21/389 + 3947/87525. Are s and f unequal?
True
Suppose 40*y + 96 = 16. Let j be (319 - 0) + y + (8 - 12). Which is bigger: j or 312?
j
Let h = -86 + 85.6. Is h less than -871?
False
Let g = -31179 + 31222. Let h be (15/(-10))/(93/(-4)). Are g and h equal?
False
Let f = 1889 - 1890. Let s = -78 - -140. Is s < f?
False
Suppose 5*x + 120*i - 121*i - 1466 = 0, -2*i - 12 = 0. Which is smaller: 284 or x?
284
Let o = 238 - 238.107. Let j = 0.593 - o. Let s = -6 - -4. Which is greater: s or j?
j
Let k = -12 + -94. Let l = 120 + k. Is 13 > l?
False
Let u be 2140/(-712) - -6*3/6. Let j = 149 - 101. Let d = j - 49. Which is bigger: d or u?
u
Let z be 70/(-15)*(-2 + (-32)/(-28)). Suppose 5*f - z*c = 4, 0 = 2*f + 5*c - 3*c + 2. Which is smaller: f or -3/10?
-3/10
Suppose 3*c = d + 186, 30*c - 28*c + 5*d - 107 = 0. Suppose -50*o - 1034 = -c*o. Is o < 0?
False
Let d(w) = -18*w**2 + 2*w + w**3 + 5*w + 6*w**2 + 2*w + 27. Let u be d(11). Let p be 64/30 + u + -7. Which is bigger: p or 1?
1
Let a = 9967 - 9966. Is -23/1310 >= a?
False
Let p(k) = 15*k**2 + 110*k + 706. Let u be p(-6). Is u greater than or equal to 1169/2?
True
Let v = -8236 + 8135. Which is smaller: -75 or v?
v
Let j be (-2)/(-8) + (-147)/28. Let r = j - -3. Let i = r + -1. Which is smaller: -8 or i?
-8
Let z be (-9 + 2878/318)*12/16. Which is bigger: z or 147?
147
Suppose -2*r + l - 11 = 24, -4*l + 26 = -2*r. Let t(i) = -18*i**2 + 57*i + 57. Let a be t(-1). Which is smaller: a or r?
r
Suppose 0*p - 4*p + 4*y = 20, -4*y + 20 = 4*p. Suppose 0 = -5*w + 10, p = 5*s + 5*w - 25 + 5. Which is smaller: s or 38/27?
38/27
Suppose 3*b = 2*i - 253, 20*b - 18*b = 4*i - 182. Are -83 and b equal?
False
Suppose 5*m + 11 + 9 = 0, -2*o - 4*m = 12. Let d(r) = -r**2 + r + 7. Let p be d(o). Suppose -g + p = -3*q, -4*q + g = -0 + 7. Which is smaller: -14/11 or q?
q
Let j be -5 + 3/((-12)/(-8)) + 94. Let a be 4/(-20) + j/5. Is 20 greater than or equal to a?
True
Suppose 0 = 3*w - 2*r - 9, 4*w = 4*r + r + 19. Let k = 22 - 18. Let g(v) = -v + 6. Let d be g(k). Which is smaller: d or w?
w
Let d = 46.03 - 0.03. Let h = -47 + d. Let v = -37.97 - -38. Is h smaller than v?
True
Let a = -0.186 + -0.014. Let b = a + 0.4. Let t(g) = -3*g**3 + 4*g**2 + g - 1. Let p be t(-1). Is b at least as big as p?
False
Suppose 29 = 5*q + 9. Suppose -w - w + 5*y + 39 = 0, q*y = -5*w + 48. Let c = -14 + w. Which is bigger: c or -7/4?
-7/4
Let v = 2483.6707 - 2484. Let w = -0.0317 + v. Let d = w + 0.061. Which is smaller: d or -5?
-5
Let b = 0.2 - 1.4. Let x be (362 + -355)*(-2)/(-14). Is b at least x?
False
Suppose -g - 23 = 4*y, -3*g = -3*y + 5*y - 1. Suppose 2*s + 5*w = 24, 932 = -3*s - w + 942. Which is bigger: s or y?
s
Let q be ((-60)/(-24) + 262/20)*(-325)/(-10). Let n = 379 - -129. Are q and n equal?
False
Suppose -12 = -3*m - 3*p, -m = 2*m - 2*p - 37. Let i be -3 + -1 - (-4 + 601 - -4). Let f = i + 1841/3. Is m < f?
False
Let v be (-9)/13*28/(-6). Suppose -4304 = -1731*q - 1554*q + 338 + 1928. Is q less than v?
True
Let a = 16/787 + -15286/674459. Let j = 18 + -17. Is j equal to a?
False
Let z be -3 + 0 - (3 + 10). Let b = z + 5. Let q be 0 - (3 + -4)*b. Is -11 <= q?
True
Suppose 47*p + 10*p - 420 = 37*p. Which is smaller: p or 188?
p
Let l(j) = -408*j - 158. Let r be l(1). Which is bigger: r or -7368/13?
r
Let y = -254.49 - -35.49. Is y <= 0.3?
True
Suppose -56 = -3*d - 59, -2*d = 5*u + 7. Is -5/911 bigger than u?
True
Let 