. Let g = -0.3 - c. Which is greater: w or g?
w
Let x be 9/(-5 - (-2 + -4)). Let j(l) = 2*l**3 - 19*l**2 + 7*l + 8. Let r be j(x). Which is greater: -17/2 or r?
-17/2
Let i = -991 + 189. Let o be (-6 - -3) + i/(-266). Which is smaller: 1 or o?
o
Let b = 20125 + -18910. Is b bigger than 0.09?
True
Suppose -3*g + 11 = 74. Let n be (1 - (-621)/(-63)) + 3/g. Let c(z) = z**3 - 4*z**2 - 7*z + 3. Let k be c(5). Which is smaller: n or k?
n
Suppose s = -5*l + 5076, -13*s + 15*s = 3*l - 3056. Is 1019 < l?
False
Suppose -m - d + 157 - 571 = 0, -m + d - 422 = 0. Is m <= 0?
True
Let c(r) = r**3 + 11*r**2 + 19*r - 36. Let m be c(-7). Which is bigger: m or 248/9?
248/9
Let d = 114478/115 - -7032/23. Which is smaller: 1301 or d?
1301
Let c = 0.00742 + 388.29258. Let z = 388 - c. Is z equal to 27?
False
Let b = -893.9319 + -0.0681. Let a = b + 894.411. Let r = a + -0.011. Is r > -0.2?
True
Let x = 1073 + -3317/3. Suppose 49*d + 3*n = 53*d + 137, -d = -4*n + 44. Is d < x?
False
Let f = -2.4621 + 2.3621. Which is bigger: 11691 or f?
11691
Let k = -9 - -17. Let b = -14 - -18. Let j(p) = -p**3 + 4*p**2 - 2*p + 13. Let m be j(b). Which is greater: k or m?
k
Let c = 1336/2657 + 280063487/90338. Let p = c - 3099. Let b = p - -14/17. Which is greater: 1 or b?
b
Let w(o) = o + 11. Let k be w(-8). Let a(x) = 5*x - 4. Let d be a(k). Suppose -15*f - 4*f = -19. Which is bigger: f or d?
d
Let v = 24097 + -361211/15. Is 17 greater than v?
True
Let a = -5865 + 5868. Let v = 37.872 - 38. Which is smaller: a or v?
v
Suppose 74*z - 137 - 52 = -41. Is z at least as big as 3080?
False
Let x(c) = 4*c**2 + 3*c - 294. Let y be x(11). Which is smaller: y or 219?
219
Suppose 4*w = c - 3, -w - 3*c = -5*w - 9. Suppose w = 5*h - 10*h - 2*y + 2, -2*y = 4*h - 2. Which is bigger: h or -4?
h
Suppose 5*m - 742*x - 15367 = -739*x, -15409 = -5*m - 4*x. Is 3078 at least as big as m?
True
Suppose 0 = -5*b - 25, f + 5 = -2*b - 5. Let l = -1901044/233 + 8159. Which is smaller: l or f?
f
Let b = -6 + 10. Suppose -b*y - 5*c + 3*c = -8, -2*y + 8 = -c. Suppose o = -5*m + 2, 2*m = -0*m - y*o - 7. Is -1/26 at least m?
False
Let d = 26643/4 + -6696. Let n = 53 + -89. Is d less than or equal to n?
False
Suppose 4*z + 11 = 5*z. Let i = -52 - -56. Suppose -i*o - z = 9. Which is bigger: o or -4?
-4
Let b = -6299 + 6298. Do -2/51929 and b have the same value?
False
Let g = 41 + -40.88. Let z = 6.86 - 8.86. Which is smaller: g or z?
z
Suppose 2*h + 308 + 2956 = -15*h. Which is bigger: h or -1354/7?
h
Suppose -3*d - 556 = 4*s - 2742, 4*d = -24. Does 551 = s?
True
Let y = -304 - -962. Let a = y + -582. Are a and 224/3 non-equal?
True
Let q(f) = -2*f**2 + 4*f + 3. Let c = -317 - -323. Let g be q(c). Which is smaller: g or 3?
g
Let u = -5.407 + 7.14. Let p = u - -0.267. Is 49 greater than or equal to p?
True
Let w be 8/(-28) + (-48)/8*(-3)/63. Let m = 23/2 - 47/4. Is w greater than m?
True
Let o = 599 - 596. Let m be -1 - (o - 2/(-2)) - 207. Is m bigger than -212?
False
Let r = 862 - 862. Which is smaller: -176 or r?
-176
Let i = -0.3256 + 0.2256. Which is smaller: 2.51 or i?
i
Let x be 2 - 4 - 39*(-1382514)/(-8388). Let q = x + 6430. Is q at most -1?
False
Let i = 35 - 38. Let s be (i/8)/(126/(-24)). Which is bigger: s or -1?
s
Let c be (-206)/(-30) + 6/45. Suppose -5*z - 1 - 4 = -5*d, -d + c = 5*z. Suppose 0 = 5*a + q - 131, -57 = -4*a + d*a - 5*q. Is a smaller than 26?
False
Suppose y + 2*h + 434 = 426, 3*y - 18 = h. Which is greater: -2/41 or y?
y
Let v be (-2)/3 - 236*2/12. Suppose 0 = 5*f - 62 + 257. Which is greater: v or f?
f
Let h(s) = -6*s - 25. Let g be h(-4). Let u(b) = -15*b - 16. Let t be u(g). Which is greater: t or -15/8?
t
Let d be (32/(-231))/4*3. Let l be (-52)/14 + 2 + 2. Let o = d + l. Do o and -1 have different values?
True
Let b be 20 - (-934)/952 - 21. Are b and -1 equal?
False
Let g be 0/34 + 2/((-2)/(-117)). Which is smaller: 5/8 or g?
5/8
Let v = -17160 - -12934. Is -4228 < v?
True
Suppose 0 = 13*w - 6*w - 9 + 16. Is 33/83 less than w?
False
Let u(k) = 9*k**2 + 2*k + 1. Let l be u(-1). Suppose -48 + l = 4*r. Let o be -4*((-9)/(-12) + -1)*-2. Are o and r equal?
False
Let d be (-1)/1 - 28/4. Let r be (-18)/60*d/(-3). Which is bigger: -4/3 or r?
r
Let a(b) = 8*b - 33. Let t(i) = 16*i - 62. Let y(z) = -5*a(z) + 2*t(z). Let q be y(5). Which is greater: -3/134 or q?
q
Let q be (-13)/18 + ((-342)/(-81) - 4). Which is smaller: -1.46 or q?
-1.46
Suppose 16 = 3*y + y - 2*r, 0 = 3*r + 18. Is -1/2915 at most as big as y?
True
Suppose 45 + 125 = -5*m. Let f = m - -25. Let k be 1/((1 - (-12)/f)*1). Which is smaller: -8 or k?
-8
Let j(b) = -b**3 + 11*b**2 + 33*b - 79. Let d be j(13). Suppose f + 4*t - 2 = 0, -d*f - 5*t = -10*f + 11. Is f at most as big as -18?
True
Let b be 21/6*(4 + -2). Suppose b*t = 14*t - 224. Suppose -n = -21 - 11. Are t and n unequal?
False
Suppose q = -q - 2*g - 164, 0 = -5*g - 10. Let z = q - -84. Suppose -74 = z*o - 2*o. Which is smaller: o or -38?
-38
Let v = 24 - 16. Let r(m) = -m + 24. Let p be r(v). Let x(s) = s - 32. Let u be x(p). Is u at least as big as -15?
False
Let s = 237.91724 - 0.01724. Let m = s - 238. Which is greater: -0.028 or m?
-0.028
Suppose 0 = -s + 3*i - 5, -4*s - i + 3 = 10. Let g be (-5)/(20/(-12)) - (s - -5). Is 64 > g?
True
Let d = 124.9482 + -125. Let j = d - -0.0208. Is 5 less than j?
False
Let l be -15229 + 32 + (-5 - -19). Is -15183 < l?
False
Let l = -0.23288 + -1.26712. Let x = -0.7 + 0.1. Let c = 0.4 - x. Which is smaller: l or c?
l
Let c = -609.3 - -607.3. Does -4/33 = c?
False
Let d be 2/(-1) + 123987/(-8) + 2. Let b = d - -15518. Let l = -20 + b. Does 2 = l?
False
Let p = 133958 + -133968. Suppose 3*w - 6 = -2*g + 4, -w - 2 = 2*g. Let s = -4 - w. Is s equal to p?
True
Let j(q) = 29*q + 697. Let h be j(-24). Which is bigger: 9/47 or h?
h
Let g = -46 + 90. Let c = -24 + g. Let z = -20 - -20. Is c > z?
True
Let y = 382 - 377. Let k(n) be the third derivative of -n**6/120 + n**5/12 - 5*n**3/6 - 2*n**2. Let o be k(y). Which is smaller: -7 or o?
-7
Let b(o) = 6*o. Let f be b(3). Suppose -3*a - 2855 = -8*a - 4*y, 2*a + 3*y - 1149 = 0. Let u be 1/(-5) - (-17)/(595/a). Is f < u?
False
Let b(r) = -r**3 + 176*r**2 - 144*r + 2. Let o be b(175). Which is greater: o or 5428?
5428
Suppose 2062 = 24*p + 37354 + 23772. Which is smaller: p or -2464?
-2464
Let x = 3585 + -3654. Which is bigger: -94 or x?
x
Let n = -3082751/353 + 8733. Let x = -71 - -72. Which is bigger: n or x?
x
Let x be 7/(-18) + 1/2. Let i = -0.156 - -1.496. Let c = i - 1.64. Which is smaller: c or x?
c
Suppose 0 = 3*k + 155 - 644. Let t = 347 - k. Suppose t = -4*u + p, 5*u = -2*p - 2*p - 230. Is -46 >= u?
True
Suppose -p = -28 - 21. Let u = 52 - p. Suppose 4*m = i + 79, -5*m = u*i + i - 104. Is m at most as big as 20?
True
Suppose 33*o + 1566 = 24*o. Let c = 175 + o. Which is smaller: c or 11/15?
11/15
Let w be 6/15 - (3 + (-148)/(-20)). Let o be w - -9 - (-4)/(-14). Is o greater than or equal to -2?
True
Suppose 61*f + 1416 = -1634. Is -46 greater than f?
True
Suppose -2*j + 160 = 2*v, 3*j - 41*v + 39*v - 255 = 0. Is 84 greater than j?
True
Let h = -0.04 - 26.96. Let y = h - -38. Let v = 10.9 - y. Which is smaller: v or -1?
-1
Let x(n) be the first derivative of n**4/4 + 6*n**3 + 25*n**2/2 + 19*n - 15. Let y be x(-16). Let c = -1177/9 + y. Which is bigger: 1/2 or c?
1/2
Suppose q = 2*q. Let r = -8 + 151. Let h = -141 + r. Which is greater: h or q?
h
Let v = 109366/9 - 12152. Is 434 >= v?
True
Suppose 640*n - 7 = 633*n. Suppose -3*u + 3*x + 90 = 0, 5*u - 3*u - 4*x = 68. Let g be (13/u)/((-114)/(-8)). Which is greater: n or g?
n
Suppose -4*h - 25 = -g, 0*g - 4*g - 5*h = 5. Suppose 3*f + f - 16 = 2*x, -g*f = -5. Let a(l) = -2*l**2 - 12*l + 8. Let j be a(x). Which is smaller: 9 or j?
j
Let s = 88 + -78. Suppose s = -4*f + 5*l, -5*l + 5 = -5. Is 2/571 less than or equal to f?
False
Suppose -3*b = 4*p - 303, -5*p - 5*b - 515 = -890. Is p smaller than 83?
True
Let i(t) = -t**2 + 6*t - 2. Let j be i(5). Suppose 3*n - 204 + j = 0. Let x be n/10 - (2/(-4) - 0). Is 8 at least x?
True
Let q = 839 - 82221/98. Let m = -377 - -834. Let j = -456 + m. Which is smaller: j or q?
q
Let t = 42 - 41. Suppose 4*b = 4*a + 7 + t, -3*a - 4 = -5*b. Let s be 0 - -4 - (b + 1). Does s = 8?
False
Let m be (11/(-132)