**3 - 94 - 5*c + 4*c**2 - 4*c - 20*c**2 - 4*c. Let b be z(-16). Suppose 4*l + 3*f - 283 = 0, -2*f = -l - 4*f + 77. Which is smaller: l or b?
l
Let m = -68394481/3189 + 21447. Is m < -1?
False
Let w be (-4 - -7) + 3*-3. Let i = -103 + 144. Suppose a - 37 + i = 0. Which is smaller: w or a?
w
Suppose -5*l + 5*g - 264 = 61, -3 = 3*g. Let b = 82 - 145. Which is smaller: l or b?
l
Let j(p) = -63*p**2 - 2*p + 12. Let k be j(-3). Is k < -549?
False
Let x = 0 - 0. Let z(u) be the third derivative of -7*u**4/24 - 25*u**3/2 + 7142*u**2. Let j be z(x). Is j less than -75?
False
Let d = -1496.9 - -1496.8. Which is bigger: -1563 or d?
d
Let s = -123.3 + 46.3. Which is greater: s or 17?
17
Suppose 6*r - 17 = o + r, 0 = 4*o + r + 5. Let h be (6 - 7)*(-11 + o). Let s be h/(-70) - (-34)/85. Is 0 less than or equal to s?
True
Suppose 0 = 227*g + 298 + 156. Do -210/109 and g have the same value?
False
Let n = -4 + -171. Let c = n + 199. Is c less than 1?
False
Let i = 38/137125 - 51229933/297012750. Let c = i - -2/361. Suppose 5*o = o + 4. Which is bigger: c or o?
o
Let d(s) = -s**2 + 28*s - 72. Let l be d(25). Let q(m) = 0*m**2 + 6*m**2 - 4*m**3 + 2*m**3 - 3*m. Let v be q(l). Do v and 1 have different values?
True
Let o = -0.05407 + 0.01407. Let a be (-5)/((-675)/(-6))*3. Which is smaller: o or a?
a
Let h be (42/(-35))/(2/10). Let k be (h/3 + 1)*5. Let y(x) = 10*x**2 + 45*x - 32. Let s be y(-5). Is s at most k?
True
Let h be 4/1*3/6. Suppose 0 = -4*m + s + 5, h*s + 10 = -0*s. Let u be ((-4)/(-26))/(64/128). Which is smaller: u or m?
m
Let r(w) = 3*w**2 - 4*w - 5. Let y be r(4). Suppose y = 5*x - o, -3*o - 3 = -12. Is x >= -4?
True
Let a = 793886/125 - 6351. Is 1 < a?
False
Let x(g) = 168*g - 1083. Let k be x(-9). Is k < -2594?
True
Suppose -4*d - 151 = 3*z, -10*d + 3*z - 49 = -9*d. Which is bigger: -777/19 or d?
d
Let z be -261 + 277 - (6 + 15). Let p = -8 - -10.2. Is p at most as big as z?
False
Suppose q = 1, 35 = -i - 4*q - 27. Let n be -3*2*55/i. Let h be 1*n + -11 + 2. Are 0 and h equal?
False
Let m = -8.9 - -17. Let g = -7.8 + m. Is -87 less than g?
True
Suppose 302 = 3*l - d, 2*l - 202 = 2*d - d. Suppose 0 = 7*v - 17*v + l. Let b be (-4 + v)*(-28)/40. Which is greater: b or -4?
-4
Let j be (-4 + 168/48)*30840. Which is smaller: -15419 or j?
j
Let u = 47677/3 - 15893. Which is smaller: u or -5851?
-5851
Let g be ((-32)/(-48))/(2/273). Let u be 3/(3/2)*g/(-182). Is -2/91 less than or equal to u?
False
Let i = -163 + 166. Let d = -41 + 49. Let x(o) = -o + 10. Let k be x(d). Is k equal to i?
False
Let s = 21 - 17. Suppose 2*q - 4*m - 56 = 0, q + 34 = 2*q + s*m. Suppose q = 5*z + 2*j + 3*j, 2*z - 5*j + 9 = 0. Which is smaller: z or 8/3?
8/3
Let j = -20.7 - -20.8. Let z be (-3 + -2)*12/(-15). Suppose z*y + 99 = y. Is y less than j?
True
Suppose -3*f - 5*w = -50, 12*f + 2*w = 10*f + 32. Which is smaller: 41 or f?
f
Let v = 430798 + -2178624/5. Is -4927 greater than v?
False
Let n be ((-23)/4 - -2)/(11165/(-385000)). Are 130 and n non-equal?
True
Suppose -94*y + 2448 = -155*y + 95*y. Does 101 = y?
False
Let c(u) = -38*u**2 - 490*u + 52. Let h be c(-13). Let o = -13/5 - -2699/1040. Is o < h?
True
Suppose -107 = -4*j - 5*g, 5*j - 5*g - 87 - 58 = 0. Let a = j - -18. Let y = -47 + a. Is y < 3/19?
True
Let s(l) = -3*l + 34. Let v be s(10). Let d be v/(0 - (-4 + 0)/4). Suppose -d*w + 3*a + 15 = 0, -2*a - 10 = -3*w - w. Which is smaller: w or 2/465?
w
Let l = 103 + -48. Suppose -3 + 1 = 2*v, 2*j = -3*v + l. Suppose -5*d + j - 4 = 0. Is 4 > d?
False
Let i(d) = 2*d + 16 - d + 4*d + 4. Let p be i(13). Are 0.1 and p unequal?
True
Let y be -1*3*416/(-2912). Let g be 445/180 + 4/(-18). Which is smaller: y or g?
y
Let p(j) = j**2 + 15*j - 16. Let u be p(-16). Let y be u/(-11 - -4 - -9). Which is smaller: 3/25 or y?
y
Suppose -3*t = 4*q + 58, 0*t = q - 4*t + 5. Let f = 75 - 30. Let c be (-40)/(-15)*f/(-10). Which is greater: q or c?
c
Let s = -6519838/705 - -9248. Suppose 0 = 2*t - 2*c - 6, 0 = -3*t + 5*c + 14 + 1. Are s and t nonequal?
True
Let h = 2289/2 - 4964843/4338. Are h and 1 non-equal?
True
Let n = 1856 + -1207. Let t = n + -614. Which is greater: -5 or t?
t
Let l = 24 - 23. Let f(n) = 4*n**3 - n + 1. Let o be f(l). Let z be 2191/490 + 2/20. Which is bigger: z or o?
z
Let t be ((-2)/(-19))/(162/1539). Is t < -1/3165?
False
Suppose 2*j - 6*j - 174 = -258. Which is bigger: 119 or j?
119
Suppose 43*w = 16*w - 54. Let c be -3 + 6 + 70/w. Is -32 less than c?
False
Suppose 1081470 = 1924*u - 2018*u. Is u at least -11505?
True
Let n = 80.26 - -1.74. Let z = 52 - n. Let o be 2 + 21 + 1710/(-76). Which is greater: z or o?
o
Let a(d) = d**2 - 23*d + 24. Let v(q) = 2*q**3 + q**2 - 3*q - 1. Let r be v(-3). Let w = r + 59. Let c be a(w). Which is smaller: 20/11 or c?
20/11
Let z = -1351393/4 - -336000. Do z and -1848 have different values?
True
Suppose 130*k + 14 - 65 = 181*k. Which is greater: k or -35/171?
-35/171
Suppose -7*d - 413 = -0*d. Let u = -57 - d. Suppose 0 = u*o + 1 - 11. Which is smaller: o or 4?
4
Let z be 2/7 - (1038/(-42) + 5). Let r be ((-24)/z)/(6/(-15)). Let o be ((-4)/(-6) + 0)/(r/(-54)). Which is bigger: o or -11?
-11
Suppose 5*y - 3*s = -10, 2*y + 8 = -0*y + 2*s. Let u be 9 - (-20 + (-20685)/(-714)). Which is bigger: u or y?
y
Let u = -0.0104 - 0.8496. Let d = 8.73 - 7.8. Let o = u + d. Which is smaller: o or -1?
-1
Let r = -310176 - -27915563/90. Let f = r + 77/18. Are f and 0 unequal?
True
Let r = 2134 + -1972. Which is greater: 163 or r?
163
Let i be -10 - (132 - -4)/8*1554. Which is smaller: i or -26427?
i
Let r = -2 - -8. Suppose l - 9 = -3*w - 1, 5*w = 4*l + 2. Suppose 3*t = 4*i + 6, i + w*t - 6 = -t. Is i smaller than r?
True
Suppose 5*t + 20888 = -9*t. Which is smaller: -1494 or t?
-1494
Suppose z + z = -40. Let v be ((-16)/(-12))/((-1)/(3 + 10 - -2)). Is z > v?
False
Let q = -260940152798 + 44498907078143263/170533. Let n = 1407/419 - q. Let h = 48/37 + n. Which is greater: h or -1?
-1
Let c be (-205)/(-82)*(-18)/(-15) + (-1419)/25. Are c and -55 unequal?
True
Let k be (885/72 - 12) + 2/(-8). Let d = 35 - 35. Is d less than or equal to k?
True
Suppose 0 = 4*t - 0*a - a - 21, -2*a = 3*t - 2. Suppose 2*q = t*q + 36. Let z be 12/q + -3*(-7)/18. Are -4 and z nonequal?
True
Let q(w) = -314*w + 230. Let g be q(52). Is g at least -16099?
True
Let y(r) = 2*r**3 - 17*r**2 + 40*r - 659. Let i be y(14). Which is smaller: 2056 or i?
2056
Let x(g) = 2*g**2 - 16*g + 37. Let n be x(11). Suppose 147 = -4*w + n. Which is greater: -8 or w?
-8
Let y be 40*(-2)/26 - -3. Let v(h) = -h**2 + 32*h + 5. Let a be v(32). Is a at most as big as y?
False
Suppose 4*y + 3*w + 39 = 0, -2*y - 411*w = -406*w + 65. Let d = 1058/5 - 631/3. Are d and y equal?
False
Let t(q) = -q**2 + 11*q - 8. Let j(n) = n**2 - 11*n + 7. Let z(f) = 4*j(f) + 3*t(f). Suppose x - 40 = -3*x. Let b be z(x). Is b less than or equal to -5?
True
Let z = 373 + -373.05. Let x = -7 + 9. Suppose -p - 22 = 5*d - 4*p, -x*p + 12 = -2*d. Which is smaller: d or z?
d
Let f be (1*2/(-6))/(5/(-225)). Suppose 5*m = -4*w + f, m + 29 = 5*w - 3*m. Suppose -9*x = -w*x. Is 3/82 > x?
True
Suppose -3*h - h - 16 = 0, 5*l = -4*h - 196. Let b = 356 + 51. Suppose 0 = -11*a - b. Is a < l?
True
Let a = 301 - 303. Let g = -14 + 72. Let o = 71 - g. Which is bigger: o or a?
o
Let v = -6487 - -8046. Which is smaller: 1557 or v?
1557
Suppose -170 = 2*y - 58. Let g(d) = 1407*d - 4279. Let x be g(3). Which is greater: x or y?
y
Let k = -44 + 136. Suppose 2*t = 4*u - k, -2*t + u = -u + 102. Which is greater: t or 1?
1
Let v(o) = o**3 + 30*o**2 + 37*o + 1088. Let u be v(-30). Which is smaller: -1110/49 or u?
-1110/49
Suppose 1340 = 74*m - 342*m. Let p(f) = -f**2 - 8*f - 9. Let s be p(-6). Which is bigger: s or m?
s
Suppose 2*o = -3*d - 115, -4*o + 3*o + 4*d - 63 = 0. Let f = -1 + 0. Is o < f?
True
Let p(x) = -x**2 - 26*x - 89. Let d be p(-26). Let u = d + 104. Which is smaller: 13 or u?
13
Let s be (-576)/24*(-172)/(-296). Which is greater: s or -14?
s
Let d(b) = 35*b - 5912. Let h be d(38). Is -4582 != h?
False
Let r = -172 - 69. Let n = 351 + r. Which is bigger: 111 or n?
111
Suppose 3*x = 4*v - 1327, 1265*x - 1267*x = -5*v + 1671. Which is smaller: 348 or v?
v
Let j(a) = -31*a - 147. Let b be j(-5). Suppose -2*i + 3*u = -24, -12 = -2*i +