(-2). Let c be (-104)/(-250) + 6/n. Let t(x) = -3*x**2 + 31*x - 55. Let z be t(8). Which is smaller: z or c?
c
Let u = 28367 + -4964229/175. Are -0.1 and u nonequal?
True
Let y(f) = -2*f**3 + 5*f**2 + 13*f - 4. Let a be y(4). Let q = -82/5 - -21904/1335. Is a at most as big as q?
True
Let n be ((-5 + 5)/3)/(-1). Let i = 871774/13 - 67689. Let t = i - -629. Are t and n nonequal?
True
Suppose -5*b - 9 - 1 = 0. Let l = 90.107 + -0.107. Let f = -123 + l. Is f >= b?
False
Let m be (-40)/24*(-1)/(-4)*(-40)/75. Let d = 167 - 186.1. Is d >= m?
False
Suppose -2*n + 33 = 3*s, -3*n - 117 = -8*n + 4*s. Suppose -6*c = -c - 3*q + 27, -2*c - 11 = -q. Let z = 27 + c. Do n and z have the same value?
True
Let w(v) = -6 + 3 + 38*v - 44*v + 10. Let j be w(-5). Suppose 2*s - 25 = 47. Is s < j?
True
Let v = 19 - -4. Let r(t) = -t**3 - 64*t**2 + 8777*t + 21. Let n be r(67). Which is greater: n or v?
v
Let c = 1825 + -1828.372. Let d = c - -0.372. Is 0 <= d?
False
Suppose -v = 31*v - 139840. Let l = 1310999/300 - v. Which is greater: 0 or l?
0
Let f be (-99)/(-198) - 60/8 - 388/(-55). Let i(a) = -a**2 - 4*a - 2. Let w be i(-3). Are f and w non-equal?
True
Let f be (-98)/(-28)*(0 + 2). Suppose -f*o - 20 = -2*o, 3*r + o = -4. Which is smaller: 2/151 or r?
r
Let u be 41/((-2870)/20) - (-116)/(-182). Which is bigger: u or 0.62?
0.62
Let m be 21/((-294)/(-812)) - (-8 + -1)/3. Let d(r) = r**2 - 2*r + 9. Let p be d(8). Which is bigger: p or m?
m
Let m(r) = 904*r**3 - 3*r**2 + 2*r + 3. Let v be m(-1). Which is greater: 2/5 or v?
2/5
Suppose 0 = -564*c + 622*c. Which is smaller: 648 or c?
c
Let s(j) be the second derivative of j**5/20 - j**4/12 - j**3/6 + 5*j**2/2 + 53*j. Let i be s(3). Does i = 26?
False
Let l(q) = -382*q**2 - 63*q + 323. Let h be l(9). Does h = -31186?
True
Let r = -197 - 2125. Which is bigger: r or -0.2?
-0.2
Let w = -0.20111 - -2.20111. Let l = -689 + 355. Is l less than or equal to w?
True
Let a = 8.852 + -12.883. Which is bigger: -2 or a?
-2
Let x = -1/66 - 31/132. Let y(d) = -6*d + 25. Let m be y(4). Which is smaller: x or m?
x
Suppose 4 = -s + 6. Suppose -v = s*b + 11, b = -0*v + 2*v - 3. Let p = -7/25 - -2/25. Is p < v?
False
Let w be ((-465)/80)/(3/(-4)). Is 9 >= w?
True
Let k = 1.8 - 2. Let x = -77.928 + 78. Let u = x + -0.062. Which is smaller: u or k?
k
Let p be (12 + 9 + -156)*1. Suppose -d = 3*k + 171 - 38, 0 = -5*k. Which is smaller: d or p?
p
Let w(a) = -a**3 + 4*a**2 + 3*a - 2. Let f be w(5). Let r be 7/(-3) + ((-43)/3354)/(1/778). Which is smaller: r or f?
r
Let d = -1.006 - -0.94. Let y = d - 137.934. Let z = y - -153. Which is smaller: 3/7 or z?
3/7
Let o be ((-2 - 0)/1)/2. Let a = -8/2903 - 2694/1129267. Is o at most a?
True
Suppose 0 = -16*n - n - 238. Let u be (6/n - 0)/(23 - -68). Which is smaller: 0 or u?
u
Suppose -5*o + z = -7, 0 = 2*o - 2*z + 4 - 2. Suppose 5*c + 247 = -6*j + 8*j, j = o*c + 99. Is c smaller than -49?
False
Let f = -4249 - -412216/97. Do 0 and f have the same value?
False
Let r be 11792/(-9) + 120/540. Is r >= -1310?
True
Suppose 2*r = -8, -4*p - 4*r + 0 = -16. Suppose 3 = -c, -2*y + p*c - 6*c - 48 = 0. Which is bigger: -30 or y?
y
Suppose 18*y - 764 = 100. Let l be y/(-268)*12/36. Is l < -1?
False
Let i = -1/94 + 59/1128. Let q = -8634 + 8631. Is i bigger than q?
True
Suppose 56 = -3*o + 335. Suppose 15*r - 992 = 7*r. Suppose 3*g - b - o = 0, -4*g + 0*b + r = b. Which is smaller: 32 or g?
g
Let x = 90 + -176. Let w = 104 + x. Let p be -1*w/((-3)/6 - 1). Do 14 and p have the same value?
False
Let l(f) = -5*f**3 + 9*f**2 + 13*f + 6. Let a(g) = 4*g**3 - 11*g**2 - 12*g - 7. Let t(q) = 6*a(q) + 5*l(q). Let u be t(-21). Which is smaller: 0.1 or u?
0.1
Suppose 21*f + 100 = -4*f. Let k(w) = -3*w**3 - 11*w**2 - 6*w. Let z be k(f). Is 40 greater than or equal to z?
True
Let c = 214/7 - 3540/119. Let b be 2062/(-34)*(-3)/6. Let u = b - c. Which is bigger: 29 or u?
u
Let j be 1 + 3 + -33 + 3. Let x = j + 37. Suppose -2*m - 9 = -x*m. Is m < 2/41?
False
Let w = -352 - -351.925. Let k = 0.03 + -0.065. Let f = w - k. Is 1 smaller than f?
False
Suppose -4*p + 64 = 5*b, 3*p - 5*b = -0*b + 13. Let r be 2/11 - (-9)/p. Let k = -823521/149 + 5527. Is r smaller than k?
False
Suppose -5*n + 18*n + 26 = 0. Let k be n/(-6)*6 + 1 + -5. Which is smaller: k or -9?
-9
Let g be 2 + -1 + (-2 - -2). Let d be 3 - ((-3 - -7)/4)/g. Suppose 4*k + 5*a - 22 = 0, d*k + 2 = a + 6. Which is bigger: k or -3?
k
Suppose 2*y + 6 = -4*w, -3*w + 37 = -5*y - 2*w. Let x = 345 + -340. Let u be x + 6 + -8 - 14. Is u <= y?
True
Let f = -5 + 5.2. Let d = 35 - 199. Let z = d - -1149/7. Is f less than z?
False
Let b(n) = -29*n**3 - 7*n**2 + 24*n - 24. Let g be b(3). Is g at least as big as -794?
False
Let r = -131.27 + 2.27. Let b = 133 + r. Is b greater than 2?
True
Let d = 2/7830489 - -31832903237683/219253692. Let i = d - 145168. Let t = 142/7 - i. Is 0 at most as big as t?
True
Suppose 5*n + 49 + 21 = 0. Let b = 14 + n. Let d = -497/72 + 53/8. Are d and b equal?
False
Let m = 38 - 33. Let a be 8 - (0/m - 3). Let c be a/9 - (-8 + 9). Is c less than -2/5?
False
Suppose -55 = -6*q - 49. Let z be (q/(-20))/(9/12). Which is greater: z or 0?
0
Let l(v) = -39*v**3 - 4*v**2 - 5*v - 1. Let i = -671 - -669. Let n be l(i). Is 306 equal to n?
False
Let d = -0.784 + 109.784. Let s = 111 - 224. Let t = s + d. Which is greater: t or 1/9?
1/9
Let u = -22086 + 22142. Is u greater than -3.8?
True
Let y = -1956679 - -1956686. Suppose 0 = -5*d + 4*d + 1. Let g be 3/(6/4 - d). Which is bigger: g or y?
y
Let h(m) = 5*m - 9. Let d be h(6). Suppose -175 = -3356*i + 3351*i - 5*v, i - v - 19 = 0. Which is smaller: i or d?
d
Let k = -737.2 - -739.2. Which is greater: -1/629 or k?
k
Let g be 2*(-2 - -15) - (-7 - -11). Let j(d) = -d + 14. Let u be j(g). Let o(v) = 5*v - 1. Let n be o(-1). Which is smaller: u or n?
u
Let a = -421 - -423. Suppose -5*s + 287 = -a*u, u - 5*s + 47 = -104. Is -135 >= u?
True
Suppose 0*c = -c - 2, -4*c = 4*a. Let d(m) = -8 - 5*m - 2*m + 2*m**a + 3*m. Let y be d(4). Do y and 8 have different values?
False
Let g(i) = -i**3 + 28*i**2 - 32*i + 175. Let f be g(27). Suppose -f*b - 1144 = -24. Let o(r) = -r**2 + r. Let y be o(-5). Which is bigger: y or b?
b
Let i = 538.32 - 540. Let t = i + 1.28. Is t smaller than 63?
True
Suppose -y = 6, 4*y = 20*v - 17*v + 1242. Is -6 equal to v?
False
Suppose 572 = -120*m + 122*m + 2*v, -v - 3 = 0. Which is smaller: 291 or m?
m
Let f = -11.593 + 0.493. Which is greater: -0.3 or f?
-0.3
Let s be 3/(12/(-8))*-8. Suppose 3*i - 1121 + 1072 = -2*r, -5*i = 3*r - 76. Which is smaller: r or s?
s
Let s = 3601 + -5956. Is -2355 at most as big as s?
True
Let r(g) = g**2 + 10*g - 24. Let i be r(-12). Suppose i = 10*w - 7*w + 18. Let y be 2/w*(-9)/(-6). Which is smaller: y or -3?
-3
Let c(z) = -z**3 - 19*z**2 - 15*z - 166. Let u be c(-20). Is 534 smaller than u?
False
Let b(p) = 2*p**2 - p. Let r be b(-1). Suppose 0*o + 2*o + u - 4 = 0, -r*o + 3*u = -6. Let h be (113 - -3)*o/4. Is 59 less than or equal to h?
False
Suppose -164*t - 49*t = -47*t - 578178. Is t at most as big as 3483?
True
Suppose 0 = -4*z - 0*z - 1972. Let a(x) = 1169*x - 13352. Let j be a(11). Is z >= j?
True
Let m = -2511 + 2512. Let o be -9 - -6 - 4982/(-1660). Which is smaller: m or o?
o
Suppose 0 = -14*a - 32325 + 32297. Let t(v) = v**3 - 6*v**2 - 6*v - 5. Let c be t(7). Suppose -3*o = -2*o + c. Is a smaller than o?
False
Let j = 330838539414296602324530928067/27315723765 + -133228171615216311090/11. Let v = j + -110634/29473. Let z = v + 1/2055. Is -1 <= z?
True
Let p = -33.4 + 29.24. Which is smaller: 1/2 or p?
p
Let v be (5/(75/18) + -1)*(-35)/(-588). Suppose 20 = 5*g, m - 24 = -3*m - 5*g. Is m at least as big as v?
True
Let t(f) be the second derivative of -f**5/20 + 7*f**4/6 + 3*f**3 + 2*f**2 - 2*f + 4. Let m be t(15). Which is bigger: m or 50?
50
Suppose -4*s + 286 = -4*z + 922, 3*z = -3*s - 459. Is -153 < s?
False
Suppose 517 + 588 = 13*j. Let m = 85 - j. Suppose m = 4*f - f - 2*z - 6, f - 3*z = -5. Which is smaller: 32/9 or f?
32/9
Suppose 19151 = 398*v + 26*v - 33001. Is 148 >= v?
True
Let c = -381 + 369. Let b be ((-54)/c - -4)/((-2)/34). Is -146 greater than b?
False
Let b = -17642 - -11996. Which is smaller: 0 or b?
b
Let v = -68 - -28. Let w = -39 - v. Suppose -4