 - 12 = 0. Let w be (v/42)/((-1)/6). Let f = 0.6 + -0.8. Which is smaller: f or w?
w
Let u(y) be the second derivative of -y**5/20 + 5*y**4/4 + 17*y**3/6 - 15*y**2/2 + 22*y. Let p be u(16). Which is smaller: -4 or p?
-4
Suppose 0 = 4*y - 10*w + 7*w + 318, 4*y + w + 310 = 0. Is y greater than or equal to -79?
True
Let x = 6 - -314. Let p be (-148)/x + (-4)/(-10). Which is greater: p or 0?
0
Suppose -53*c + 374 = 109. Let m = 3 + 1. Do m and c have the same value?
False
Let s = -882 + 878. Is 2/311 <= s?
False
Let k be -2*1/(-6) - 22/(-6). Let n = -2.2 - 1.8. Which is bigger: k or n?
k
Suppose -4*z - 8 = -4*u - 0, -3*u - 4*z + 13 = 0. Suppose 17 = -2*a - 5*r, u*a + a + 2*r + 58 = 0. Is a less than or equal to 0?
True
Let t = 384 + -404. Which is smaller: t or -0.1?
t
Let x(q) = 8 + 2*q - 6*q**2 - 3*q - q**3 + 3*q + 6*q. Let g be x(-7). Which is bigger: g or 3/4?
g
Let v be 2/6*6 + -33. Let i = -11 - v. Let d be (-2)/8 + 5/i. Which is greater: d or -1/8?
d
Let y = 1.9 - 7.9. Let f = y + 6. Do f and -11 have the same value?
False
Let j = 0.1027 - -0.0973. Which is smaller: j or 2.51?
j
Let p = -121 - -130. Suppose 3*v - 5*h = 46, 2*h = -8 - 2. Which is greater: p or v?
p
Let l = 307 - 66. Which is smaller: 242 or l?
l
Suppose -4*w = -3*s + 555, w - 6*s = -3*s - 132. Let d = -46815/4 - -11847. Let y = d + w. Is y bigger than 2?
True
Let q be (-3192)/(-285)*-50*(-1)/4. Is q < 137?
False
Let w = 2.5 + -2.44. Let g = 0.16 + -0.2. Let i = g - w. Are -7/5 and i equal?
False
Suppose 0 = -4*h - h - 30. Let g = 4622 + -4631. Which is smaller: g or h?
g
Let r = 27 - 27.075. Let l = r - -15.075. Which is greater: -2 or l?
l
Suppose -10*t + 600 = -0*t. Let h = -59 + t. Let k be ((-3)/(-60))/((-3)/(-8)). Which is smaller: k or h?
k
Suppose 0 = -0*k + 2*k. Let z be 2961/(-105) - ((-6)/(-15))/(-2). Is z greater than or equal to k?
False
Let o = -47 + 70. Suppose -3*x + o + 25 = 0. Let r = 37 + -22. Which is bigger: r or x?
x
Let s(q) = -5*q - 11. Let i be -3 + 10/(-15) + (-2)/(-3). Let j be s(i). Which is greater: 11/3 or j?
j
Suppose 141 = 9*z + 69. Let n = -24 - -13. Let w = 19 + n. Is w <= z?
True
Let h = 716173/87 - 8232. Is 1 != h?
True
Let u(b) = -b + 11. Let w be u(11). Which is smaller: w or -2/563?
-2/563
Let f(q) = 3*q**3 - q. Let m be f(1). Let v be (-69)/(-60) + m/(-5). Suppose -2*x + 2 = -b, -b + 5*x - 1 = 7. Which is greater: b or v?
b
Let c(v) = 32*v + 381. Let k be c(-12). Which is bigger: k or -27/8?
k
Let a(i) = -4*i + 6. Let w be a(3). Let d be (1 + -3 - w) + 1. Suppose 2*h = -3 + d. Which is greater: 2/11 or h?
h
Let x be 186/(-14) + 2/7. Let b be 272/(-2040)*(-15)/4*(1 + -23). Which is bigger: x or b?
b
Let x = 21 + -23. Let q be 6 - (-2 - x) - 1. Suppose q*p - 70 = -l, -p + 6 = -4*l - 8. Is 14 < p?
False
Let d = -1880.9 - -1881. Is 103 at least as big as d?
True
Let v = 590 + -509. Is -2 greater than v?
False
Let c = 0.608 + -0.54. Let a = 0.932 + c. Let x = -3 + 1. Which is greater: x or a?
a
Let j be (-15)/(-9) + 4/12. Suppose 9 = j*l + l. Suppose 0 = 5*d - x, -14 = -d - l*d - 2*x. Is d less than 1/23?
False
Suppose 4*l - l - 3 = 0. Let y be 16*(-1 - l)/12. Let s be ((-3)/(2/(80/15)))/2. Which is greater: y or s?
y
Let s be ((-1735)/20 - -8)*4. Which is greater: -1/3 or s?
-1/3
Let g be (4/8)/((-77)/(-44)). Which is smaller: -486 or g?
-486
Let m(j) = 358*j**2 + 15*j - 15. Let h be m(1). Is h != 358?
False
Suppose 0*q = -7*q - 21. Are -4 and q non-equal?
True
Let d = 34.08 + -28. Let b = -0.08 + d. Let p = b - 14. Is -0.1 < p?
False
Let q(x) = x + 8*x**2 - 5*x - 4*x**2 - 7*x**2 + 1. Let k be q(-2). Which is bigger: k or -1?
-1
Let i = 14 + -21. Let c = i + 8. Which is greater: -2/5 or c?
c
Let y be 5/(-2)*(5 - -3). Let g = y + 23. Suppose g*r = -r - 28. Is r equal to -8?
False
Let o(u) = -68*u - 463. Let i be o(-5). Which is smaller: i or -120?
i
Let t(f) = f**2 - f - 10. Let u be t(-3). Let j be (u/32)/((-6)/(-12)). Is 1 < j?
False
Let x = -107 - -109. Suppose 7*b - x*b = 0. Is -5/21 equal to b?
False
Let s = -0.51 + 57.51. Let x = s - 57.4. Which is greater: x or 2?
2
Let v = -0.4 - -0.33. Let p = 8 + -8.13. Let t = v - p. Is 0.2 < t?
False
Suppose -7*d = 2*d - 9. Let p(w) = w**3 - w - 1 - 2*w**2 + 0 + 3*w. Let q be p(d). Which is bigger: -14 or q?
q
Suppose -2*b = 5*h + 9, -12 = 7*h - 3*h. Suppose -5*a + 2*f + 25 = 0, -5*a + 3*f = 6*f - 25. Which is smaller: b or a?
b
Let m(s) = -s**2 - 2*s + 1. Let z be m(-3). Let i be (-2 - -3 - 2)*z. Suppose -2 - 4 = -i*y. Is 3 at least as big as y?
True
Suppose -w + 5*w - 90 = n, 0 = 3*n + 3*w + 285. Let a = 79 + n. Which is greater: -17 or a?
a
Suppose 18 = 17*f - 11*f. Is f less than 1?
False
Let b(q) = 3*q**2 + 21*q + 3. Let k(s) = s**2 + 10*s + 1. Let y(h) = -2*b(h) + 5*k(h). Let n be y(7). Suppose n*j - 2*j = 0. Which is smaller: -1/14 or j?
-1/14
Suppose -6*x - 72 = 2*x. Let z be 22/4 + x/6. Suppose 10 = 5*v - 5. Which is smaller: z or v?
v
Let s(d) = -5*d + 3. Let a be s(-14). Suppose 3*v + 3*y = 20 + a, 90 = 3*v + 2*y. Let g = 29 - v. Is g smaller than 8/13?
False
Suppose 0 = 3*y - 2*k, 0 = -4*k - 8 - 4. Is y at most -38/23?
True
Let a(c) = -c - 2. Let b be a(-2). Suppose u = 0, b*k + 2*k + 2 = -5*u. Does 2/85 = k?
False
Suppose -11*g + 10 = -6*g. Let v be (-4)/(-6) - g/((-36)/(-22)). Let k = 0 + -1. Are v and k equal?
False
Suppose 188 = -30*m + 77*m. Let x = -25955/9 + 2887. Is m <= x?
False
Let g = 32 - 29. Let o = -40 + g. Let s = -37.1 - o. Which is smaller: s or -15?
-15
Let m = 23 + -12. Let y = m - 11. Suppose 2*q + 2 - 4 = y. Is q at least as big as 1?
True
Suppose 2*f = -10 + 2. Let k = 2 + f. Let z = k + 2. Is z equal to 1?
False
Let c = 0.04 + 0.06. Let b = 3.1 - c. Let u = -2 - 0. Is b bigger than u?
True
Let n be (-5)/(-25) - (4 - 112744/29680). Which is smaller: -1 or n?
-1
Suppose -21 + 210 = 9*y. Suppose y = 2*u + u. Which is bigger: 6 or u?
u
Let n be 8/(-44) + 1290/(-44). Let r = n + 31. Is r bigger than 2?
False
Let x be (-2)/9 + 0/1. Let j = 24 + -24.1. Is j != x?
True
Let c = -2/375 + -728/4125. Let m = 33.05 + -32. Let w = m - 0.05. Which is smaller: w or c?
c
Let d be 1/(-2)*(-242)/(-11) - -4. Is d <= -61/8?
False
Let p = 1958 - 1539. Is p at most as big as 418?
False
Let c(u) = -8 + 6 - 18*u - u**2 + 13 + 5. Let o be c(-19). Let x be (-3)/6*(-1 - 0). Which is smaller: x or o?
o
Let g = 23.5 - -16.5. Is -0.2 greater than or equal to g?
False
Let u = 186 - 187. Which is smaller: 55 or u?
u
Let o be 7/4 - (-7 + 8). Which is greater: -80 or o?
o
Let w(s) = 2*s + 8*s**2 - s - 15 + 2*s**3 + 7*s**2 + 4*s. Let o be w(-7). Which is greater: -2/33 or o?
-2/33
Let a(d) = -d**3 - 5*d**2 + d + 5. Let l be a(-5). Suppose -6 = 3*m - l. Let c be (m/8)/(11/(-176)). Which is greater: c or 1?
c
Let y = 684 - 685. Are -43/2 and y nonequal?
True
Let m be 2/(6/3) + 26. Suppose -5*u - 4*u = -m. Is u greater than or equal to 3?
True
Let b be (1 - 1)/(6 + -9). Suppose 4*x + 2*t = 46, b*t + 24 = 2*x + 2*t. Do 11 and x have the same value?
True
Let c = -3730/11 - -339. Is c <= 2?
True
Let o be (-2800)/(-1388) + (0/(-3) - 2). Which is greater: 0 or o?
o
Let i be 23/(3/(9/(-3))). Let h be -4 - 5 - (4 - -10). Are h and i non-equal?
False
Suppose 186*z - 620 = 176*z. Which is smaller: 67 or z?
z
Let j = -3072307/2651 + 858/241. Let o = 1154 + j. Is 0 > o?
True
Suppose 0 = 2*h + 3*h + 65. Let f = h + 13. Let v be 15/(-21) + 2/(-7). Which is smaller: v or f?
v
Suppose 4*s = -l + 10, 0 = -9*l + 4*l - 10. Suppose 4*t = 12 + 8, -s*t + 19 = -4*x. Is x smaller than 2/87?
True
Let q be (-2)/(-3) + 4 + 20/(-3). Let f be (q - 48/(-21))/8. Which is greater: -1 or f?
f
Suppose -r - 1 = -85. Let p = r - 65. Which is smaller: 16 or p?
16
Let l = -37.411 - 0.089. Let o = l - -37. Is o > 0.1?
False
Let d be (-25)/20*(-3 - 1). Suppose 10 = -x + d. Is x bigger than 1?
False
Suppose -5*l + 0 = -20. Let a(v) = l*v - 5*v + 0*v - 5*v + v**2. Let k be a(6). Is k at most 3/11?
True
Let p = -26537 + 4697173/177. Let s be 2/(-4)*32/(-472). Let f = s - p. Are 0 and f unequal?
True
Let l = -1856 + 107645/58. Is -0.02 bigger than l?
True
Let k = -1/5660 + -4507/118860. Which is bigger: k or 0?
0
Let x(w) = -w**3 + 40*w**2 + 224*w + 47. Let m be x(45). Is 9/4 less than or equal to m?
False
Let r = -6/203 - -233/1015. Whi