Let f be i(v). Is q at most as big as f?
False
Suppose 2*u - 10 = 4*u. Let g(r) be the first derivative of r**4/4 - 2*r**3 + 3*r**2/2 + 5*r - 2. Let w be g(5). Are u and w unequal?
False
Let a(r) = 6*r**2 - 6*r. Let d be a(1). Is d < 3/217?
True
Let g = -3.0033 + 0.0033. Let x = -1.96 - 0.04. Is g <= x?
True
Let y = 2496 + -2493. Suppose 3 = 2*q - 1. Let v be (-33)/(-18) - q - -2. Is y bigger than v?
True
Let k(p) = -p**3 + 5*p + 8. Let y be k(-5). Let v = 117 - y. Is v greater than 14?
False
Let f = -3.8 + 2.8. Let o be (-2 - 3/(-3))*1. Let k = o + -2. Is f <= k?
False
Let k(y) be the first derivative of -y**4/4 - 7*y**3/3 - 4*y**2 - 10*y - 5. Let x be k(-6). Which is smaller: x or 1?
1
Let d = -1574 + 45644/29. Is d less than -0.9?
False
Let d(k) = k**3 - 6*k**2 + 7*k - 6. Let b be d(5). Suppose 0 = b*c + c. Let x(y) = 2*y**2 - 20*y - 1. Let p be x(10). Which is greater: p or c?
c
Let w be (-5418)/(-42) + -8*1. Do -1 and w have the same value?
False
Let x(w) = -w + 6. Let s be x(-6). Let d be (-5)/(-3)*s/(-28). Suppose 4*v + 0 + 8 = 0. Which is smaller: d or v?
v
Suppose -2*k - 2*k = 0. Let o = 0.9 + -0.97. Which is smaller: k or o?
o
Suppose -3*u - u = 20. Let i be u/3*(-6 + 3). Let a = -2.2 - -2. Is a != i?
True
Let h = 20033/168 - 358/3. Which is bigger: -1 or h?
h
Let s(g) = -147*g + 148. Let y be s(1). Which is bigger: 3/44 or y?
y
Let r = 1225/2 + -612. Let j = 2 + -1. Let b = j - 3. Is b less than r?
True
Let x(v) = 172*v**2 + 4*v + 4. Let f be x(-1). Which is bigger: 170 or f?
f
Let x be -2 + (3 - (-3 - -4)). Which is bigger: -7/11 or x?
x
Suppose -18*w = -20*w - 366. Let n be ((-726)/w + -4)*-1. Is n less than -1?
False
Let y = -133 - -147. Let k = -20 + y. Let o = -0.1 - -0.1. Is o at most as big as k?
False
Suppose 0 = -2*s + c - 5, -7 = 4*s - 4*c + 13. Let m = -173705/39 + 4454. Is m greater than or equal to s?
True
Let i(u) = -u**2 + 6*u + 1. Let r be i(3). Suppose 6*z = 4*z + r. Suppose 2*j = -z*t - 7, -4*j - t = -0*j + 23. Which is bigger: -5 or j?
-5
Suppose -4*d - s = 0, -4*d + 8 = -9*s + 12*s. Is 2/17 not equal to d?
True
Let f = -142 + -746. Suppose 2*p - 9 + 15 = w, -3*w = 5*p - 7. Let i be f/5610 + w/22. Do -1 and i have the same value?
False
Let f be -4 + 6 - (15 + -1). Let d(z) = 12*z**3 - z**2. Suppose c + 7 = 3*o - c, -c - 1 = -4*o. Let h be d(o). Which is smaller: f or h?
h
Suppose -2*i - 20 = -16. Let t be (8/(-22))/i - 2/11. Is t smaller than 8/15?
True
Suppose v = 8*v + 322. Let z = v - -100. Suppose 5*c + 3*p - 51 = 0, -2*c - 2*c = -2*p - z. Which is smaller: 11 or c?
11
Let v(t) = t + 13 - 17 - 2*t. Let c be v(9). Is -15 <= c?
True
Suppose -34 = -s + 5*i, -4*s + 46 = 17*i - 22*i. Let u = -5.9 - 0.1. Does s = u?
False
Let v(q) = -q**3 + 6*q**2 + 59*q + 22. Let g be v(-5). Suppose 7 + 7 = -2*l. Let w be -1*16/l + -2. Is g at least w?
True
Let r be (1 - 16380/16387)*-2. Which is bigger: -1 or r?
r
Suppose 4*r - 4*v - 16 = 0, -18*r - 2*v = -19*r + 9. Which is greater: -2/219 or r?
-2/219
Let j = -467776/159 + 2942. Let b = -2 + 1. Which is bigger: j or b?
j
Let x(j) be the first derivative of 3*j**2/2 + 9*j - 9. Let m be x(-5). Is -1 smaller than m?
False
Let n = 11 + -11. Let v be (165/34)/(-5) - -1. Is v greater than or equal to n?
True
Let u be (-1)/2 - 25/(-10). Let g be 1/1*(-10)/(-3). Is g >= u?
True
Suppose 0 = -4*i + 2*y + 18, 3*i + 2 = 4*y + 8. Suppose -v = -i - 8. Is v not equal to 41/3?
True
Let n be 104/(-12)*(-6 + (-126)/(-20)). Suppose 0 = -2*l + 4*l + 8. Are l and n unequal?
True
Let l = -0.4 + 18.4. Let y = 690 + -708.08. Let a = y + l. Which is greater: a or -1?
a
Let r = 278327/6 - 39792031/858. Let v = r - 117/11. Suppose 5*b + 11 = c, c + 0*b + 1 = -b. Is c at least as big as v?
True
Let c = 17 - 18. Let j = -1476/17 - -1198/51. Let t = -64 - j. Is c greater than t?
False
Let y = 254 + -350. Is -97 < y?
True
Let c(h) = -2*h**2 - 2*h. Let q be c(1). Let u be 5/2*12/10. Suppose u*l + 1 = -11. Is q bigger than l?
False
Let u(d) = -d**2 - 18*d - 79. Let s be u(-11). Which is smaller: s or -38?
-38
Let r(o) = 471*o - 20. Let x be r(2). Is 921 < x?
True
Let n = -2798 + 2793.1. Is 0.3 smaller than n?
False
Let i(a) = -3*a - 13. Let k be i(-7). Let g = -20 - -13. Let c be 1*-1*(k + g). Is -1 less than c?
False
Let x be (-6)/(-15) - (-12)/20. Let l(j) = 5*j**3. Let r be l(x). Suppose -5*o - 2 = -2*s + s, -r*s = -4*o - 10. Which is smaller: o or 2?
o
Let q be (-6789)/108 - ((-32)/18 - -2). Let y = q + 63. Which is smaller: y or -1?
-1
Let u be 19*(-4 - -3)*(0 + 1). Let y = 28 + u. Is 9 at least y?
True
Let u be (-1934)/8 - 36/(-48). Let n be u/(-6) + (-2)/12. Let p be (1/3)/(n/48). Which is smaller: p or 9?
p
Let h be (20/150)/(2/(-3))*0. Which is greater: 1/55 or h?
1/55
Let l = 2117 + -2118. Let g = -1 + -2. Is l > g?
True
Let d = -0.8 - -1.8. Let w = 0.3 - d. Let o = w - 0.3. Is o > 3/2?
False
Let u = -320.1 + 321. Which is greater: u or -4/9?
u
Let b = 212 - 212. Let n be 3*(24/1719)/(-4). Which is smaller: b or n?
n
Let n(t) = t**3 + 9*t**2 + 8*t + 2. Let l be n(-8). Let k be l/24*8/3. Let m(u) = u**2 + 4*u + 1. Let v be m(-4). Are k and v non-equal?
True
Suppose -6*g - u = -3*g + 551, -5*g + 4*u - 924 = 0. Is -185 at most as big as g?
True
Let q = -5 + 3. Let j be 1384/3612 - 2/6. Let z = -4/43 - j. Do z and q have different values?
True
Let v = 11047214 + -276224294/25. Let p = 1758 + v. Does p = 1?
False
Let q = -115 + 116. Which is smaller: q or -1/3?
-1/3
Let w = 1564 + -1562. Which is smaller: w or 24?
w
Let t be ((-9576)/98 - 4/14) + 4. Are t and -95 non-equal?
True
Let c = -428 + 432. Is c smaller than -3/5?
False
Let f = 58 + -55.3. Let d = 1.3 + f. Let x = -3.1 - -3. Which is greater: x or d?
d
Let u be (7 + -1)*54/12. Let x = 40 - u. Is 2/7 <= x?
True
Let g be ((-8)/(-4010))/(88/(-660)). Which is greater: 1 or g?
1
Let p = 8 + -6. Let h be 3/15 - (-8532)/140. Let c = 2217/35 - h. Which is greater: c or p?
c
Let n(s) = s + 1. Let f be n(0). Let p be (-2)/(-10)*3/(-108)*9. Which is smaller: p or f?
p
Suppose 5*p - 3*i = 13, -2*p - 1 = i - 4. Let v be (p + 165/(-25))*-5. Which is bigger: v or 22?
v
Suppose -2*s + 185 = -3*a + 30, a - 3*s = -61. Is -3 smaller than a?
False
Let u be (-44)/(-2584) - (-20)/(-190). Which is smaller: u or -3?
-3
Let r be (2/3)/(-6 + (-180)/(-27)). Is r bigger than -2/187?
True
Let f = -2 - -1. Let n be 1/(15/5)*(-14 - 1). Let y = 23/5 + n. Are f and y equal?
False
Let p(n) = 7*n**2 + 9*n - 154. Let g be p(16). Is 1781 less than or equal to g?
True
Let q = -75.8 - -75.1. Is q smaller than 6/47?
True
Let i = 106.0733 + -0.0733. Which is smaller: -2 or i?
-2
Let v = -2230/23 - -97. Is -0.4 greater than or equal to v?
False
Let j = -230 - -224. Are j and -9/2 non-equal?
True
Let c = 536 + -538.27. Is c <= -1/3?
True
Let d = 22.5 - 23.3. Which is greater: -3/29 or d?
-3/29
Let k = -12 - -2. Let w(n) = -n**2 - 9*n + 10. Let p be w(k). Is p < -1/8?
False
Let a = 1045 + -2133/2. Let r = -2895 + 2873. Which is greater: r or a?
a
Let z(m) = 2*m**3 + 7*m**2 - 4*m + 4. Let l be z(-4). Is 25/6 greater than l?
True
Let y(u) = -7*u**2 + 5*u + 3. Let d(s) = -13*s**2 + 9*s + 6. Let o(c) = 4*d(c) - 7*y(c). Let m be o(-3). Let x = -34 - -6. Is m at most x?
False
Suppose o + 0 = 3. Suppose g = 4*g + o*z - 78, 3*g - 4*z - 43 = 0. Let q = g + -36. Is q greater than or equal to -14?
False
Let t(w) = -8*w**3 - 26*w + 56. Let b be t(2). Let p be 177/6*(0 + -2). Is p less than b?
False
Suppose 3*v + 3999 = -40*v. Which is smaller: v or -96?
-96
Let s = 13 - 8. Suppose 2*h + 42 = 4*d, -2*h = d - 6*h. Let c be 3/4 + 27/d. Is c at most s?
True
Let u be (-204)/(-170) + (-8)/10. Let n(p) = -p**3 - 2*p**2 + 2*p - 2. Let l be n(-3). Which is greater: l or u?
l
Let c = -24 - -35. Let u be c/(-22)*(1 - 11). Does 7 = u?
False
Let s(t) be the second derivative of t**5/20 - 2*t**4/3 + t**3/2 + 15*t**2/2 - 5*t. Let f be s(8). Does f = 40?
False
Let r be (-191216)/867 - ((-4)/(-34) - 0). Is -221 less than or equal to r?
True
Let j = -2075 - -1588. Which is smaller: -2 or j?
j
Let s = -7 - -6.3. Let o = -660.2 + 661. Let v = o + s. Is v <= -16?
False
Let k(q) = q**3 - 3*q**2 + 2*q. Let s(g) = g + 10. Let c be s(-7). Let h be k(c). Let i be (8/(-54))/(1/h). Is -1 equal to i?
False
Let c = -1011/5 + 20