 - 2 = 0. Suppose -f = -4, 2 + 4 = -2*m - f. Which is greater: u or m?
u
Let q = 29 - 29. Let v = 1454/13 - 112. Is v > q?
False
Let l = 28957 - 39815877/1375. Let i = 6891/11000 + l. Suppose 0 = 135*v + 469*v. Which is greater: i or v?
i
Let i = 0.08 - -0.52. Let u = i + -0.7. Is u greater than or equal to -6/11?
True
Let t = 369 + -370. Are t and 3 nonequal?
True
Let r(i) = -i + 9. Suppose -f = -2*o - 2*o + 54, 8 = 4*f. Let b be r(o). Suppose -5*x - 45 = -5*q, -q - 32 + 11 = 5*x. Is x at most b?
True
Let n(c) = 2*c**3 + 14*c**2 - 45*c - 8. Let j be n(7). Is j less than 1050?
True
Suppose 4*d = -2*d + 84. Let m = d - 13. Let y = -5 + 3. Which is bigger: m or y?
m
Suppose -10*w + 7*w + w = 0. Let o be 3/9 - (-32)/(-42). Is o greater than w?
False
Let m(f) = f**3 + 13*f**2 - 15*f - 13. Let j be m(-14). Let h be (-6)/12*6/j. Let k = -3.7 + 2.7. Is h less than k?
True
Let x = -36 + 48. Let n be (x/14)/(12/42). Is 18/11 equal to n?
False
Let r = 17 + -14. Suppose -5*z = -0*z + r*o - 15, 3*o - 15 = -4*z. Suppose z = -2*h + 2 - 4. Is h at most as big as 2/9?
True
Let o = 1.3 - 1.1. Let m = 1.8 - o. Let w = -0.6 + m. Are w and -0.3 non-equal?
True
Let c be (-490)/196 - (-3)/2. Which is smaller: 2/1637 or c?
c
Let r = 1971 + -1970.9023. Which is bigger: -1 or r?
r
Let d = -114 - -43. Let w = 70 + d. Are w and -4 unequal?
True
Let p = -232 + 231. Let f be (-1 - -2)*(0 - -1). Which is smaller: p or f?
p
Let i be (0 - (-2)/2)*22. Which is greater: 113/5 or i?
113/5
Let c be 28/15 + 10/75. Suppose 2*g - 3*g + c = 0. Suppose -2*s = -g - 0. Which is bigger: s or -3/7?
s
Let c be (2/3)/((-2)/(-6)). Let j(v) = -v**3 + 12*v**2 - 9*v - 5. Let m be j(11). Suppose 0 = -5*t - 3*n + m + 25, -43 = -5*t - c*n. Which is greater: 0 or t?
t
Suppose -t = 2*y - 0*y + 8, -y = 5*t - 5. Suppose -v - 60 = 4*v - j, t*v = -j - 31. Is -2/7 >= v?
True
Let r = 0.3 + -1.2. Let h = r - 6.1. Let d = -6 - h. Which is smaller: d or -2/11?
-2/11
Let b = -7.81 + 11.81. Which is bigger: b or 10?
10
Suppose -5*a = -2*y + 38 - 129, -10 = -5*y. Let b = a + -14. Let f(m) = -m**3 + 5*m**2 - 4*m + 7. Let h be f(b). Which is bigger: -12 or h?
-12
Let j = -890558780809/4728159 + 1211/278127. Let d = 188121 + j. Let f = -231 - d. Which is smaller: f or 1?
f
Let r(y) = -y + 4 + 34 + 2. Let q be r(13). Is 27 < q?
False
Suppose -3*i = -3*d + 27, -4*i - 25 = 5*d + 29. Which is smaller: i or -1?
i
Let i(c) = 15*c - 16. Let m be i(-18). Which is bigger: -285 or m?
-285
Let r = -39 - 11. Let o = 57 + r. Let i = 2 + 2. Is o > i?
True
Let l be (-1)/(-3) - (-12194)/(-105). Let y = 44593/385 + l. Is 0 at most y?
True
Let t = -868 - -873. Let b = 3.1 - 3. Which is greater: t or b?
t
Let z = 4/29 + 9/145. Let w = 6 + -25. Let x be 6/(-9) + w/(-15). Is z at most as big as x?
True
Let i(m) = -m**3 + 8*m**2 - 20*m - 36. Let w be i(5). Which is smaller: -6 or w?
w
Suppose -4*m - 3*j = 8, -2*m + 30*j - 35*j = 4. Do m and -22/39 have the same value?
False
Suppose -5*g - g + 348 = 0. Let u be g/18 + 2/(-9). Let c be (60/1280)/(u/2). Which is greater: c or -1?
c
Let h = -365/5074 + 3/118. Suppose 23*w = 25*w + 2. Does h = w?
False
Let y(j) = j**2 + 9*j - 7. Let i be y(-9). Let q be (-21)/2*i/21. Let c = -2 - -6. Is c at most q?
False
Suppose -4*d + 2*z - 1024 = 0, z + 152 + 104 = -d. Which is bigger: d or -257?
d
Let h be (2 - 1) + (-3 - -4). Let v = 776 + -774. Is v less than or equal to h?
True
Suppose -p - 20 = -3*h + 63, -108 = -4*h + 2*p. Is h bigger than 31?
False
Let u(y) = -20 + y + 17 + 13 + y**3 + 17*y**2. Let r = -25 - -8. Let o be u(r). Which is greater: -8 or o?
o
Suppose 2 = -2*g + 10. Suppose -4*b - 2*m = 152, -b - g*b = 5*m + 200. Let w be (2/(-72))/(12/b). Is -0.1 equal to w?
False
Let i be 10/20*(-1758)/(-9). Are 99 and i nonequal?
True
Let t = 28/19 - 350/57. Let i = 3290/1443 - -94/37. Let o = t + i. Which is bigger: 0 or o?
o
Let n = -36 - -46. Let m(y) = -y**3 + 11*y**2 - 11*y + 14. Let j be m(n). Is j <= 4?
True
Let y be (-210)/(-4) - 2/4. Let m = 682/13 - y. Let j(t) = t**3 - 37*t**2 + 321*t + 24. Let p be j(23). Which is smaller: p or m?
m
Suppose -5*t + 11 = -4*m, 2*t + 1 = -9. Let f be (3 + m/15)*-5. Let d = -3 - f. Is 10 smaller than d?
False
Suppose -4*n + 32 = 3*o - 9*n, -o = n - 16. Let y be (-72)/o - (8 - 12). Is y smaller than 0?
True
Suppose 3*y + 3*w + 159 = 0, 2*y + 5*w - 167 = 6*y. Let c = y + 53. Are 23/4 and c non-equal?
True
Let t be (14*21/12)/((-646)/(-76)). Which is smaller: 2 or t?
2
Suppose -105*m = -120*m. Which is greater: 5/144 or m?
5/144
Let t = 4 + -3. Let b be 248/(-638) - (-102)/561. Are b and t non-equal?
True
Let i = 43 + -41. Let m be (-1)/((-180)/88 + i). Which is bigger: m or -1/3?
m
Let z = 8 - 6. Suppose -v + 8 = p, -2*p + 2*v + 6 = -10. Let q be 14/(-56) - ((-2)/p + -1). Is z less than or equal to q?
False
Suppose 0 = 34*m + 52*m - 3096. Let a = -0.5 + 0.6. Is m < a?
False
Suppose n = -n. Let c(k) = k**2 - k - 4. Let d be c(n). Which is smaller: -20/7 or d?
d
Let k be 15/((-300)/2180) + 6/1. Is k >= -104?
True
Suppose -15 = -3*r, 2*v + 0*v = 4*r - 18. Let g(i) = 36*i**3 - i**2 + i - 1. Let c be g(v). Let a = 34 - c. Is 1 > a?
True
Let a = -6 - -3. Let b = -56 + 56.54. Let g = 3.46 + b. Is g > a?
True
Suppose -4*l - 2*t + 12 = 0, 4*l - 4*t - 13 + 1 = 0. Suppose 5*s = -x - 21, l*s = 4*x + 2 - 10. Is x < -12/23?
True
Let l be ((-2)/6)/(3/(-6)). Let p = -2.5 + 2. Let h = p - -0.5. Which is greater: l or h?
l
Let u = 13.5 - 137.5. Let r = u - -124.1. Which is greater: 29/6 or r?
29/6
Let q(f) be the second derivative of -f**4/24 + 9*f**3/2 + 11*f**2/2 + 5*f. Let r(u) be the first derivative of q(u). Let o be r(17). Which is smaller: 9 or o?
9
Suppose -21*x = 3*x + x. Which is bigger: x or 2/667?
2/667
Let n = 3132 + -3130. Is n != 60/43?
True
Suppose 5*u = l + 5, -l + 0 = -u - 3. Suppose -2*p = 5*p - 140. Suppose 19*g = p*g + 1. Which is greater: g or u?
u
Suppose -3*p + 0 + 3 = 0. Let m = 664 - 663.94. Is m != p?
True
Let z = 2.698 + 9.112. Let m = -0.81 + z. Which is smaller: -3 or m?
-3
Let l(w) = 21*w - 25. Let d(n) = 10*n - 13. Let y(f) = 13*d(f) - 6*l(f). Let v be y(5). Is -2/9 > v?
False
Suppose -2*q + 2*t - 52 = 0, 33 + 71 = -4*q - 3*t. Let w = -27 - q. Suppose -5*x + 3*f + f = 26, 4*f = 2*x + 20. Which is bigger: x or w?
w
Let k(q) = 35*q + 412. Let i be k(-12). Let o(g) = -g - 1. Let f be o(7). Is f bigger than i?
False
Let x be (10/35)/(3/(-21)). Let p be (27/12)/((-3)/(x + 3)). Which is greater: -2 or p?
p
Let c be (-14)/4*114/(-133). Suppose -4*j = -4*r, 2*r - c*r - 25 = 4*j. Which is bigger: r or -11/2?
r
Let y(c) = -c**2 + 13*c - 36. Let z be y(5). Suppose -r + 1 + 2 = 0, -z*q + r + 5 = 0. Is 32/11 >= q?
True
Let w = 134 + -134. Let d = -0.2 + 0.1. Let j = d - w. Which is smaller: j or -2/9?
-2/9
Let u(z) = 110*z - 86. Let q be u(1). Suppose -r - r = -y + 18, -4*y = 5*r - 111. Is y less than or equal to q?
True
Suppose -148 = -5*y - 13. Which is smaller: y or -2?
-2
Let x = -1.903 + 1.9. Let p = 22.003 + x. Let v = p - 22. Are v and 0.4 unequal?
True
Let i be 86 + -3 + (7 - (-1 + 5)). Is 0.2 < i?
True
Let g = 12 - 1. Let x(f) = 4*f**2 + 17*f - 17. Let h(s) = -3*s**2 - 16*s + 16. Let y(w) = 5*h(w) + 4*x(w). Let i be y(g). Are i and 4/3 non-equal?
True
Let p be ((-6)/(-12))/(2/4). Let g be 2/5 + (-99270)/(-325). Let q = -306 + g. Which is smaller: q or p?
q
Let i(o) = 4*o + 10. Let r be i(-3). Let h be (-76)/(-8) + r/(-4). Are 9 and h equal?
False
Let v = -17936 + 9021805/503. Is v >= 0?
False
Suppose -3*l + 542 - 488 = 0. Which is greater: l or 16?
l
Let v = 101 + -99. Is v greater than -2/83?
True
Suppose -z - j = 239, 2*j - 365 = 3*z + 327. Which is smaller: z or -232?
z
Let c = 154 + -156. Which is bigger: -0.25 or c?
-0.25
Suppose c - 3*c - 1077 = -3*g, 0 = -5*g - c + 1782. Let t = 150 - 150. Let z be (g/(-14))/(3 - t). Does z = -9?
False
Let p(l) = -l**3 - l**2 + 1. Let v be p(0). Suppose -2*t + 3*t + 2*n - 70 = 0, -3*n + 142 = 2*t. Let f = 151/2 - t. Which is bigger: v or f?
f
Suppose 14*s = 10*s - 4. Let j be (27/(-72) + 2/4)*s. Is j equal to -1?
False
Let z(b) be the third derivative of b**5/60 + 5*b**4/24 + 2*b**2. Let v be z(-5). Suppose v = -3*c + 4*c - 7. Which is smaller: 6 or c?
6
Suppose -k + 4*k + 9 = 0. Let r(m) be the third de