be (-18)/(-15)*15/20*-790. Is -2 at most c?
False
Let x(w) be the first derivative of 7 - 1/3*w**3 + 5*w + 1/4*w**4 + 1/2*w**2. Let u be x(0). Is u <= 14/3?
False
Let l = -10.692 - 46.308. Which is greater: l or 15?
15
Suppose -2*j - 2*n = 40, 0*j - 3*n = -2*j - 40. Let k be ((-4)/7)/(j/70). Let u be (1 - k)/((-1)/4). Which is greater: u or 0?
u
Suppose 5*x - 6*x = 4*d, 0 = -4*x - 2*d + 14. Suppose -3*m + 276 = -2*c, -2*m + x*c + 186 = 2*c. Let l = -84 + m. Which is smaller: l or 48/7?
l
Let y = -5837 - -5637. Is y at least 1?
False
Let n = 186 + -150. Let l be 22/n*(3 - 1). Which is smaller: 0 or l?
0
Suppose -907*c + 928*c + 21 = 0. Which is smaller: c or 3/389?
c
Let b(o) = -11*o**3 + 15*o**2 - 59*o + 5. Let g be b(5). Is -1290 bigger than g?
False
Suppose -3*j - 17 = -4*m, 101*m + 3*j + 13 = 103*m. Is 58/33 greater than m?
False
Let j(d) = -2*d - 1. Let v be j(-1). Let i = -163.68 + 181. Let z = i + -16.7. Are v and z non-equal?
True
Suppose 9 = -6*p + 7*p + 3*g, -13*p = -4*g + 313. Suppose 4*c + s + 1 = -63, -48 = 4*c + 5*s. Do p and c have the same value?
False
Let a = 776.91 + -94.91. Which is smaller: a or 0.2?
0.2
Let b be (-35628)/(-3239) - (-1496)/(-136). Is b at most -1?
False
Let u = 698 - 1006. Let b = 309 + u. Let y be (1/2)/(507/(-12)). Do y and b have the same value?
False
Let j = 102/155 + -122544/1085. Which is smaller: -113 or j?
-113
Let p(n) = -n**3 - 37*n**2 + 77*n - 33. Let k be p(-39). Let m be 1 + 2 - (-7 + 0). Which is smaller: k or m?
k
Suppose 14*q + 80 = 12*q. Let y = 42 + q. Let s be (-2)/15 - (-141)/45. Is s less than y?
False
Let c be (-9068)/8*6/(-3). Let b = -197227/87 + c. Suppose 0 = 5*u - 208 + 213. Is b at most u?
False
Let l = -24.17 - -23.67. Is l >= -2/41?
False
Let k = -4524 - -4517. Let p(c) = c**3 - 7*c**2 + 6*c + 1. Let i be p(6). Let m be (i - 11) + 1 - 0. Is m < k?
True
Let o = -151.96 + 76.27. Let v = -2.33 + o. Let s = -78 - v. Is s less than -2?
False
Let r = -1 - -22. Let g be (-119)/(-17)*66/r. Which is smaller: 25 or g?
g
Let v(o) = -o**3 + 17*o**2 - 18*o + 32. Let u be ((-96)/(-30) + -4)/(2/(-40)). Let c be v(u). Is c < -233?
False
Let h = 3724.1 + -3724. Is -1.151 greater than or equal to h?
False
Suppose -b - 5*s - 49 = 10, 4*b - 3*s + 190 = 0. Suppose 4950 = 56*l - 55*l - 100*l. Is b at most as big as l?
False
Let m(o) = o**3 + 4*o**2 - 5*o + 2. Let j be m(-5). Let k be (-46 + 40112/874)/((-3)/(-99)*-1). Do j and k have the same value?
False
Let t(k) = -k**3 + 21*k**2 - 87*k + 24. Let p be t(15). Let m be 67/((-3 - -1)/(7 - 9)). Is p bigger than m?
True
Let b be 4*(594/60 - 10). Which is smaller: b or -22.45?
-22.45
Let l be (2/5)/((-1216)/(-10) + -1). Let c = 2422/3015 - l. Let q = 2 + 0. Is c bigger than q?
False
Let g = -53 - -18. Let z be 260 + (16/4 - 5 - -1). Suppose -z = w - 226. Which is greater: w or g?
w
Let s be (6/280*-346)/((-6)/(-8)). Let a = 48/5 + s. Is 0.09 != a?
True
Let s be (24/(-20))/((-16)/80). Suppose s*p = 13*p. Does 2/269 = p?
False
Suppose 4*r - 5*r - 3*g = 134, 5*r = -4*g - 703. Let z = -158 - -15. Does z = r?
True
Suppose 3*f - 3*r - 27 = 0, 4*f = r + 13 + 8. Suppose -64 = -b + k + 3*k, 0 = -f*k + 4. Let m = -69 + b. Which is greater: 11/4 or m?
11/4
Let m = 19 + -107. Suppose 0 = 23*i + 665 + 1267. Let z = i - m. Which is bigger: z or 5?
5
Let o(f) = -f**3 + 10*f**2 - 14*f - 17. Let s(b) = b**3 + 7*b**2 + 5*b + 2. Let a be s(-6). Let c be o(a). Which is smaller: c or -2/341?
c
Suppose 0 = -0*g - 2*g. Let o be (-161 + 159)/((-1)/(-2)*(30 - 0)). Is g bigger than o?
True
Let b(k) = k + 1. Let t be b(3). Let h = -13002 - -13000. Which is smaller: t or h?
h
Suppose -3*a = -6*a - m, 5*m = -2*a - 13. Let t be -1 + (-15)/(-9)*a. Suppose 2*s = -3*j + 12, -3*s + 9 = -0*s. Which is bigger: j or t?
j
Let n = 571 + -531. Let j = 982/7 + -2134/21. Which is smaller: n or j?
j
Suppose 0 = 5*s, -3*s = -3*x + 17 + 13. Suppose -5*u + x*u = -20. Let k be (-91)/u + 1/4. Which is greater: 21 or k?
k
Suppose 3*b = -n + 1510, b - 14*n + 4*n - 431 = 0. Is 0 at most as big as b?
True
Let p(x) = -15*x - 4 + 2 + 1 + x**3 - 2*x**2 + 4. Let a be p(5). Is a at most as big as 2/85?
False
Let m = 7719.102 - 7718. Does m = 4?
False
Let m = -160 - -136. Let z = m + -13. Is z >= 0.08?
False
Let x = 204 + -104. Suppose -f - x = -u + 2*u, f - 5*u + 76 = 0. Is -97 smaller than f?
True
Let d = -10511 - -15395. Is 4884 bigger than d?
False
Suppose -4*a + 8*a = -4. Let o be 3/(1998/(-660)) - a. Is 0 <= o?
True
Suppose -9*q - 254 = -29. Let j be 4 + 2 + -3 + -3. Suppose 2*t + 18 + 32 = j. Is t at most q?
True
Let j = 0.505 + 216.495. Let n = -154 + j. Let c = 67 - n. Which is greater: 5/3 or c?
c
Let c = -64.04 + 0.04. Let v = c - -13. Let m = 51.1 + v. Is m less than or equal to 8?
True
Let x = 630 - 281. Let a = 349 - x. Which is greater: a or 2/3005?
2/3005
Suppose -20 = -5*i - 10. Let a be (4/(2*-1))/(i/880). Let y be ((a/56)/(-10))/((-10)/7). Which is bigger: y or -2?
y
Let t = -7 - -5. Let r be 3/4 + (4 - (-3175)/(-660)). Which is smaller: r or t?
t
Suppose 38 = s - 4*o, -4*o - 3 = 5. Suppose 0 = 4*u - 20, -422 = -4*i - 4*u + s. Which is smaller: 1 or i?
1
Let x = 2891 + -2519. Which is smaller: -0.2 or x?
-0.2
Let p = 10 - 22. Let n(u) = 5*u + 17. Let l(h) = 11*h + 33. Let x(k) = -4*l(k) + 9*n(k). Let v be x(p). Which is greater: 10 or v?
10
Let t be ((-357)/(-84))/(4/48). Suppose -b = -64 + 16. Let z = t - b. Is 0.3 < z?
True
Let g be (6/5)/(51/(-44710)). Let p = 1047 + g. Are -5 and p equal?
True
Let g = 14011 - 13691. Is g at most as big as -0.1?
False
Let x = 780 - 712. Suppose 24 = -23*l - x. Which is smaller: -7 or l?
-7
Let g = 22682 - 317271/14. Which is bigger: 20 or g?
20
Let p = -30927/7 + 337236/77. Which is greater: 1 or p?
1
Suppose 2*p + 17 = -5*c, 24*c - 22*c + 14 = -2*p. Let t = -35/9 + 5. Is t less than or equal to p?
False
Let d(l) = -l**3 + l**2 - 7*l + 10. Let t be d(4). Let m = 69 + t. Which is smaller: 26/7 or m?
m
Let j(x) = -84*x**2 - 537*x + 89. Let k be j(-6). Suppose 2*r = -3*y + 5*r + 867, -5*y - 2*r + 1424 = 0. Which is bigger: y or k?
k
Let f be ((-15)/(-10))/(7/3 + -3). Suppose -c - 8 = 3*n + 4, 0 = 2*c - 2*n. Which is bigger: f or c?
f
Let u = -0.294 + -1.606. Let h = 481/785 + -2/157. Which is smaller: h or u?
u
Suppose 3*k + 4*n = -928, -2*n = -0*k - 5*k - 1564. Let o = k - -208. Let l = -111 - o. Which is smaller: l or -6?
l
Let c = 7751/3 + -2525. Which is smaller: c or 58?
58
Let t = -14 + 39. Let g = -4772 + 4771. Is g < t?
True
Let x(r) = 16*r - 145. Let n be x(-12). Let g = n - -367. Which is greater: g or 28?
g
Let t be ((-3612)/(-215))/28 - ((-26)/(-10))/1. Let g = -0.13 + -10.87. Which is bigger: g or t?
t
Let k(i) = i**3 + 5*i**2 - 5*i + 8. Let n be k(-6). Suppose -4*o + 5*z + 784 = n*z, 2*z = 3*o - 588. Let r = o + -4115/21. Is r bigger than -1?
True
Let b = -10.33 - -2.33. Are -6.23 and b unequal?
True
Let t(u) = 16*u**2 + 12*u - 45. Let l be (4/(24/(-18)))/(-1). Let q be t(l). Is 134 at most as big as q?
True
Let l = 143 - 129. Suppose 2*c + z + 19 = -l, -5*z = 4*c + 57. Is c at most as big as -14?
True
Let l be 0 + 1*2/2. Let s be (-5 - -6)*7/(1/l). Suppose s*q = 12*q + 30. Is q smaller than -31/6?
True
Let b(z) = -218*z + 7 + 223*z - 4. Let n be b(-8). Does n = -36?
False
Let y(m) = m + 15. Let u be y(-13). Suppose -u*r - 68 = 4*h, 0*h = -4*r - 4*h - 124. Let t = 27 + r. Which is greater: t or 2/27?
2/27
Let m = -2903/132 - -230/11. Let f be (34 - 33)*(-2)/2. Is m > f?
False
Let g(b) = -b**2 + 6*b - 4. Let h be g(2). Suppose -4*v = -h*f + 52, 3*f = -f - 4*v + 84. Let c(n) = -5*n - 65. Let o be c(-16). Is o != f?
True
Let f(v) = 94*v + 2. Let z be f(3). Let x = 10477 + -10193. Is z not equal to x?
False
Suppose 2*u - 3*c + 4*c = 143, 4*u - 5*c - 321 = 0. Let k = 77 - u. Suppose 0 = j - k*n + 6 + 6, -2*j - 3*n + 12 = 0. Which is smaller: 5/17 or j?
j
Let c(p) = 219*p - 1820. Let t be c(9). Is 131 >= t?
False
Let m = -654 - -656. Let b be (93 - 97) + 8/m. Which is bigger: b or 5/82?
5/82
Let u = -5221 + 5257. Is 0.045 at least as big as u?
False
Let v = -1107.5 + 1259.5. Which is bigger: 0.023 or v?
v
Let o = -3248/71 - -58733726/1283893. Which is smaller: o or 1?
o
Let q(y) = -y**3 + 19*y**2 - 58*y + 159. Let z be q(16). Is -17/11 at least a