n = -3108 - -3143. Is 42 <= n?
False
Let c(j) = 74*j - 1684. Let b be c(0). Is -1684 < b?
False
Let o(w) = -w**2 + 5*w + 127. Let d be o(14). Which is greater: 10/43 or d?
d
Let m be ((-200)/(-4))/((-5)/10). Which is smaller: m or -0.1?
m
Let n be 3/15 - (-224)/(-420). Which is smaller: -87 or n?
-87
Let h = 14 + -17. Let p be h + 1 - (-2 + 4 - -44). Is -49 bigger than p?
False
Let r = 786 + -789. Suppose 3*y + 3 = -5*x, 5 = 3*x - 5*y - 0. Suppose j = -x*j. Which is greater: j or r?
j
Let b(o) = -o**3 - 5*o**2 - 4*o + 5. Let r be b(-4). Suppose -16 = -r*f + f, -x - 28 = -5*f. Let w = x + 8. Is -2 smaller than w?
True
Let i(y) = -y**2 + 83*y - 161. Let a be i(2). Let l(m) = -2*m - 3. Let u be l(-2). Suppose u = 4*v + 5. Are a and v nonequal?
True
Let m = 171 - 151. Which is smaller: -0.1 or m?
-0.1
Let t = 602/5 + -120. Let f = 1.2 + -3. Let s = -2 - f. Which is smaller: t or s?
s
Let n(v) = 2*v + 14 - 5*v - v**3 - 7*v + 7*v**2 + 0*v. Let y be n(5). Is y > 14?
False
Let p(a) = 16*a**2 + 10*a - 20. Let q be p(3). Let g(i) = -5*i**2 + 2*i - 1. Let n be g(1). Let f be n + 1 + q/55. Which is greater: 1 or f?
1
Suppose 0 = -4*d + 2*v + 3 + 3, -4*v = -5*d + 9. Let l be 0 + -1 + (6 - d). Let s be (l/5)/((-14)/(-35)). Is 0 > s?
False
Suppose 0 = -8*k + 11*k - 6. Suppose 0 = -k*j - 0*j. Let f = 76/299 + -14/69. Is j greater than f?
False
Let v = 1.5 + -2.9. Let t = -7.4 - v. Let o = t - -4.5. Which is bigger: -1 or o?
-1
Let m = -66 + 42. Let f = m + 27.25. Let l = f + -0.25. Is -0.1 not equal to l?
True
Let q = 32 + -28. Suppose 8 = 5*c + 4*x, 4*c = -4*x + 7 - 3. Is q greater than c?
False
Let f = 133/3 - 45. Let i = -63.4 - -40.3. Let g = i - -23. Is g >= f?
True
Let h(r) = -r**3 + 4*r**2 + 4*r - 2. Let d be h(4). Suppose -j + 2*j = 6. Let y be j/21 + 80/d. Which is smaller: y or 3?
3
Let y(j) = -j**3 + 4*j**2 + 9*j - 7. Let o be y(6). Let s = 45 + o. Let p be 0 - (s/12)/(-5). Are p and 0.06 unequal?
True
Let k = -1279 - -1871. Does -2/3 = k?
False
Suppose -3*a + 15 = 0, 5*x - 2535 = 4*a - 555. Which is bigger: 402 or x?
402
Suppose 11*p - 18 = 8*p. Let s = -16 - 2. Let l be (-10)/p*s/(-45). Is l at least -2?
True
Suppose 4*c + 1 = -o, -2*o = -4*c - 0*c - 10. Suppose 3*k - 18 = -o*k. Are 0.06 and k equal?
False
Let k(w) = w**3 + 21*w**2 + w - 140. Let f be k(-15). Is 1195 at most f?
True
Suppose 0 = r - 8 + 9. Does r = -3/311?
False
Suppose -2*u - 3 = -3*m, -2*u - 3*m = -7*u + 6. Let i be (-12752)/(-192) - (-1)/u. Let y = 2383/36 - i. Which is bigger: -2 or y?
y
Suppose 4*a - a = 0. Suppose 4*o + 3 + 73 = a. Which is smaller: -20 or o?
-20
Let m = -19.02 + 0.02. Let q = -18.2 - 0.8. Let k = m - q. Which is bigger: k or -0.2?
k
Suppose -22*z = -1443 + 1443. Suppose -h = -2*h - 3*c + 14, 0 = -2*h - 4*c + 20. Is h smaller than z?
False
Suppose 20*k + 17*k = 1147. Which is bigger: 12 or k?
k
Suppose 5*z - 214 = 456. Let d = 404/3 - z. Let i = 3 - 4.6. Which is smaller: i or d?
i
Suppose 4*h - 4*s + 24 = 0, 3*s + 35 + 3 = -4*h. Let w(z) = -z - 7. Let v be w(h). Is v greater than or equal to 1/53?
True
Let q = -1914 - -629705/329. Is q at least 0?
False
Suppose -4*v - 2*w = w - 30, -2*w + 4 = 0. Let m = 52 - 34. Let n = m - 17. Which is smaller: v or n?
n
Let l(i) = 5*i**3 + 7*i**2 + 3*i - 5. Let t be l(-5). Let a = t + 34312/73. Let j(q) = q**3 + 20*q**2 + 20*q + 18. Let w be j(-19). Is w less than a?
True
Let s be (5/10)/(85/20). Let l(z) = -2*z + 14. Let p be l(7). Is s greater than p?
True
Let f = -1298 + 42830/33. Which is greater: 1 or f?
1
Let h(p) be the first derivative of p**4/4 + 2*p**3 + 3*p**2/2 - 4*p + 1. Let d be h(-5). Let q(o) = 710*o + 2846. Let a be q(-4). Is d not equal to a?
False
Suppose 0 = -7*l - 2*l - 1926. Is -214 < l?
False
Suppose -2*s + 5*s = -3*u - 9, 8 = 4*u - s. Let x = 5598/17 + -76001/153. Let p = x - -167. Are p and u nonequal?
True
Suppose -7*y + 2*y + 130 = 0. Let c be 76/(-13) - 4/y. Let i be (4*(-1)/c)/9. Which is smaller: i or 0?
0
Let o = 109 + -64.1. Let d = -67 + o. Let j = 22 + d. Is j equal to -1/4?
False
Let n be -4 - (3 + (-334)/42). Let x = n + 8/21. Let z = 0.1 - -2.9. Is x >= z?
False
Let j be -5*6/(-60)*(3 - 5). Which is smaller: 1/127 or j?
j
Let r = -12 + 25. Suppose -5*a = -6*a - r. Is a at least as big as -13?
True
Let r = -267 + 267. Suppose -3*k + k + 3 = -3*j, -2*j - 3 = -k. Let n be j/10*(-1 - -3). Which is smaller: n or r?
n
Suppose 10*v - 13*v + 577 = 4*t, -4*v = t - 141. Is 723/5 bigger than t?
False
Let j(f) = -6 - 2*f + 0*f + f. Let i be j(0). Let k be (-16)/i - (6 + -3). Does 1 = k?
False
Suppose 0 = -v + 7*v - 600. Let g be ((-4)/10)/((-5)/v). Which is smaller: 9 or g?
g
Suppose 0 = -6*t - 123 - 195. Is t greater than -261/5?
False
Suppose 129*p = 110*p - 21432. Which is bigger: p or -1127?
-1127
Let j(t) = 2*t**2 - 83*t + 200. Let s be j(36). Is -197 >= s?
False
Let u be 130/39 - (5 + -2). Let k be (-6)/(-4)*80/(-12). Let v be ((-1)/2)/((-5)/k). Which is bigger: u or v?
u
Let m = 626 - 620. Let r(x) = 2*x**3 - 3*x**2 + x - 1. Let s be r(2). Is s at most as big as m?
True
Let s be 0*(-4)/16*1. Let g be (1 + s)*((-9)/(-6))/3. Is g not equal to 38?
True
Let c(q) = -q**2 + 9*q - 107. Let t be c(6). Is t less than -97?
False
Let j = 67 + -63. Suppose -7*x + 18 = j. Let t = -0.3 + 0.4. Is t greater than x?
False
Let g = -2.575 + 29.575. Is g >= -2/21?
True
Let w = 5.06 + -10.1. Let i = w + 5. Let b = i - 7.96. Is 1 greater than or equal to b?
True
Let v = 16.8 + -13. Is v >= 2?
True
Let o(u) = -4*u**2 - 15*u. Let b be o(-11). Let k = 5421/17 + b. Is 1 smaller than k?
False
Suppose -5*o + 0*o + 25 = 0. Suppose 0 = -3*j + 4*k - 40, -2*j - o*k - 8 = -3*k. Which is smaller: -6 or j?
j
Let c = -6 + -29. Let f = 36 + c. Are 1/9 and f nonequal?
True
Let z = -2.1 + 2. Let f = -112 + 2461/22. Does z = f?
False
Let m(c) = 59*c + 218. Let t be m(-7). Which is smaller: -584/3 or t?
t
Let g = 10 + -7. Suppose -n - c - 2*c = -21, -c = 5*n - 35. Suppose -g = 3*z - n*z. Is z >= 4/3?
False
Suppose 0 = -v + 9*v + 9*v + 17. Suppose -3*r - 9 = -3. Let c(i) = i**3 + 2*i**2 + 1. Let w be c(r). Is w greater than or equal to v?
True
Suppose -6517 = 65*b + 9148. Is b < -243?
False
Let b be ((-1)/2)/(105/28 + -4). Let o be -1*(-6)/b + 473/(-176). Which is greater: o or -1?
o
Suppose 5*f + 15 = -0, j - 38 = f. Suppose 4*o + 0*o = -5*v + 33, -5*v + j = 5*o. Which is bigger: 2/3 or o?
o
Let c = -17938/273 + 1690/21. Which is smaller: 1 or c?
1
Suppose 3*w - 2*i = 4, 5*w + 0*i + 2*i = 12. Let d = 43 - 42. Which is smaller: d or w?
d
Let x = 0.945 + -1.1. Which is smaller: x or 0.1?
x
Let o = -44 + 68. Suppose -47*q + 10 = -45*q. Suppose 0 = -b + q*b - o. Is b less than 1/4?
False
Suppose 7*o = -164 + 213. Which is smaller: o or -0.02?
-0.02
Let p(g) be the third derivative of -g**6/120 + g**5/20 + g**4/4 - 7*g**3/6 - 15*g**2. Let j be p(4). Is 2/43 smaller than j?
True
Suppose 0 = y + 3 - 34. Let z = y - 29. Let p = -59/30 + z. Is p greater than -1?
True
Let q be -4 - ((0 - 2/4) + (-57152)/16256). Let k be (-1 + 2)*(-3 + 3). Do q and k have the same value?
False
Suppose 0 = -3*q - 19*x + 18*x - 1989, -3*q - 4*x = 1980. Which is smaller: -663 or q?
q
Let z = -361 + 360.7. Which is greater: z or 10?
10
Let c = 30 - 29.17. Which is bigger: -0.1 or c?
c
Let f = -1442739694/109 - -13236577. Let d = 433 - f. Is 0 at least as big as d?
True
Let l = 1727 + -11929/7. Which is bigger: l or 23?
23
Let h be -1*(5 + -4 + -4 + 1). Is 1/3 less than or equal to h?
True
Let m be 1*-5 + 1022/(-2658)*-13. Which is smaller: m or -1?
-1
Let m = -30.9 - -31.9. Let d = -1222 + 1204.38. Let i = d + -0.38. Is i at least m?
False
Let c be 0/2 + 3/237. Let q = -165/553 + c. Let k = 148 + -132. Which is smaller: k or q?
q
Let k = 242/85 - -24499/680. Let t be 26/(-6)*(-9 - 0). Let v = t - k. Is 0 greater than v?
False
Let q be (3 - 1)/(-12)*(-348)/87. Is q smaller than -13.8?
False
Let h = -0.4 - 0.1. Let p be 56/(-336) - 19/30. Is h at most p?
False
Let g = -242 + -138. Are g and -381 unequal?
True
Let u = 9077 - 9086079/1001. Which is greater: 0 or u?
0
Let m be (34/4 - 0)*18. Is m at least -1/6?
True
Let j(r) = -2*r**3 + 8*r**2 + r + 30. Let w be j(6). Which is smaller: w or -110?
-110
Let b(w) = -3*w**2 + 0*w**3 + w - w**3 - 5*w**3. Let g be b(-