m**3 + 10*m**2 - 4. Let n be f(i). Which is bigger: -3 or n?
-3
Let f be 4/(-6)*(-4 - -5). Let t be (3/9)/((-1)/3). Let s = t - -1. Which is smaller: s or f?
f
Let o = 35 - 25. Which is smaller: o or -2/7?
-2/7
Let y be (-8 + 4)/(6/8). Suppose 3*k + w + 15 = 0, -2*k - 5*w = -0*k - 3. Is y less than k?
False
Let g = 3 - 4. Let x be 2/(-9) + 56/90. Are g and x unequal?
True
Let m = -0.34 + -0.06. Let k = 0.4 + m. Let p = k - 1. Which is greater: p or -0.3?
-0.3
Let s = 0 + 2. Let r(y) = 2*y**3 - y**2. Let w be r(1). Let g = 1 + w. Is g at most s?
True
Let s be -11 + 4/(-12)*3. Let d = s - -11. Do d and 2/81 have the same value?
False
Let s be 1 + 6 + -3 + 3. Let c be s/10*2 - 1. Do 0.3 and c have the same value?
False
Suppose 7 = 3*i + 1. Which is bigger: 1 or i?
i
Let x = -3 - -12. Let p be 2/x + 280/(-693). Is 1 less than or equal to p?
False
Let u = 307/3 + -103. Is 0.3 at most u?
False
Let m(c) = c**3 + c**2 - 1. Suppose 0 = -4*u + 2*u - 2. Let z be m(u). Let n be 0/1*(-2)/(-2). Which is greater: z or n?
n
Suppose 2*t - 66 = -4*q, 2*q + 5 + 3 = 0. Is t smaller than 41?
False
Suppose -26*c = -33*c + 119. Which is bigger: c or 6?
c
Suppose 3*n - 8 = 1. Let w be (5 - n)/(8 - -1). Which is smaller: -2/3 or w?
-2/3
Suppose 2*j - 30 = n, j + 3 - 18 = 3*n. Let h(y) = -j + 5 + y**3 + 8*y**2 - y**2 - y. Let a be h(-7). Does a = -3?
True
Suppose u + 16 = 3*u. Let h be (6 - 4)/(2/8). Is h at least as big as u?
True
Let r be ((-3)/6)/(0 - 5). Suppose -2*l + 6 - 4 = 0. Suppose -z = 3*t + t + 11, 4*z = -t + l. Which is bigger: z or r?
z
Suppose -4*v = -5*j + 110, -14 = -2*j + v + 33. Is 27 greater than j?
True
Let t(f) = 2*f - 13. Let u be t(6). Is u at least -5/17?
False
Let v = 1238/4717 - 20/89. Is -1 less than or equal to v?
True
Let y be (4/(-3))/((-3)/(-9)). Let u be (-3)/y - (-3)/12. Is 1 != u?
False
Suppose -c + 3 = 1. Let l be 1 + -3 + c + -1. Let x = l - 5. Which is bigger: x or -5?
-5
Let l = 6 - 6. Suppose -4*h + 11 + 37 = l. Let v be h/(-8)*6/9. Which is smaller: -3/8 or v?
v
Let q be (-1)/(-2) - 58/52. Let s = -7/52 + q. Let t = -1/4 - s. Is t less than 2?
True
Let z(k) = k + 15. Let d be z(-5). Is d > 1?
True
Suppose -u + 30 = 4*u. Suppose 5 = -p + 2*l + 2, -5*p - u = -l. Let c = -155/21 - -23/3. Which is smaller: p or c?
p
Let n = 91 - 121. Which is bigger: n or -31?
n
Let i(a) = 2*a**2 - a**3 + 2*a + 2 - 1 - 3*a**2 + 2. Let q be i(-2). Which is smaller: 4 or q?
q
Let m be 4 + -3 - -10*3/(-66). Suppose 5*f + 14 - 1 = 4*p, 1 = -f. Is p bigger than m?
True
Let o = -6.6 + 14.7. Let x = 8 - o. Is 0 at least x?
True
Let m = -10.39 - -0.29. Let k = -10 - m. Is -1 greater than or equal to k?
False
Let x be (-16)/(-120)*(-6)/(-16). Do 2/3 and x have the same value?
False
Let m = -90529/52 - -1741. Which is smaller: m or 1?
m
Let p be 62/8 + (-9)/12. Suppose 2*j - 5*z = -0 + p, -4 = 4*z. Are 2 and j equal?
False
Let d(q) = q**3 - 7*q**2 - q + 9. Let n be d(7). Suppose -n*c = -5*c - 3. Is c not equal to -0.2?
True
Let h = -73 + 71. Which is smaller: h or 0.034?
h
Let p(t) = -2*t + 3. Let d be p(-3). Let z = d + -53/6. Suppose -r + m = 4, -7*r - m + 4 = -3*r. Is z greater than r?
True
Let t be -1 - (-6)/2 - 0. Suppose 0 = t*h + 2*h - 4. Let d be 6/(-39) + (-45)/(-39). Do h and d have the same value?
True
Let x be 3/1 - 119/42. Is 0 at most as big as x?
True
Let v = 18 - -3. Let i be 10/3 + 14/v. Is 5 < i?
False
Let k be (-4)/(-10) - 2/5. Let s be ((-4)/6)/(25/15). Which is greater: k or s?
k
Let n = 14 + 2. Let o = -11 + n. Are 7 and o unequal?
True
Let r = 331 - 8936/27. Let n(a) = a + 3. Let k be n(-4). Which is smaller: k or r?
k
Suppose 3*d + 2 = 5*d. Let w(i) = i**3 + 6*i**2 + i - 2. Let m be w(-6). Let n be (-2)/(-3) - m/60. Which is smaller: n or d?
n
Let n = 82 + -82. Is n at most 2/249?
True
Let f(g) = g**3 + 10*g**2 + 8*g - 10. Let p be f(-9). Let n = 16 - p. Let w = n - 7. Is 9 less than w?
True
Suppose 4*y = 4*q, 3*q = 2*q - 2*y + 15. Suppose 0 = -0*a - q*a + 5. Suppose 0 = -3*x + 4*x. Which is smaller: a or x?
x
Let v(o) = -3*o**3 - 8*o**2 + 4*o + 11. Let m(l) = l**3 + 4*l**2 - 2*l - 5. Let h(i) = 5*m(i) + 2*v(i). Let f be h(3). Is -4/7 greater than f?
False
Let i(t) = t - 6. Let f be i(6). Let z = 0 - -0.1. Let v = z + 0. Is f greater than v?
False
Let r be -1 + (5 - (-1 - -3)). Let w be ((-3)/(-6) - 0)*0. Let x be 2 + (-4)/2 + w. Which is smaller: r or x?
x
Let o be -259*14/12 + -1. Let b = 304 + o. Let v be 12/16 - 6/8. Which is greater: v or b?
b
Suppose 3*w = -2*w, -q - 3*w - 1 = 0. Let m be (-27)/(-585)*(-29)/3. Let o = m - 2/13. Is o at least q?
True
Let z(v) = -5*v**2 + 3*v + 2*v**2 + 2*v**2 - 2. Let o be z(2). Let g = 1 - 0. Is o greater than g?
False
Suppose 9*a - 4*a = -5. Let g(z) = -2*z**3. Let j be g(a). Which is bigger: j or 1?
j
Let g(w) = -w + 1. Let o be g(-2). Suppose o*a = 8*a. Which is bigger: a or 1/14?
1/14
Let q = -20 - -21. Which is bigger: 13 or q?
13
Let f be (-160)/(-6) - 3/(-9). Suppose 0 = -h + f - 38. Which is smaller: -12 or h?
-12
Let a = -2.9 + 2.6. Is -1/2 > a?
False
Suppose 3*l = 4*o - 24, o + 4*l + 13 = -0*o. Are o and -2/5 non-equal?
True
Suppose -3*b = -c - 2*b + 2, -5*b + 2 = -2*c. Let f(y) = -y - 2. Let q(w) = w + 2. Let h(m) = c*q(m) + 3*f(m). Let u be h(-3). Which is smaller: u or -5?
-5
Let t(a) = a**2 - 8*a - 12. Suppose -1 = -g + 8. Let w be t(g). Is 2 < w?
False
Let k be 3/(-1) - 39/13. Suppose -6*u + 3*u - 18 = 0. Is u not equal to k?
False
Suppose 9 = 4*s - 23. Let w be (s/24)/(1 - 0). Is 1/14 at most w?
True
Let d = 6 - 0. Let v(y) = y - 7. Let b be v(d). Is b greater than -1?
False
Suppose 0*w = -2*w. Is w at most -2/13?
False
Let a = -1.5 - -2.9. Let o = -0.3 + 1.3. Let i = a - o. Do 0 and i have the same value?
False
Suppose 5*b + 5*m + 5 + 15 = 0, -2 = -b + m. Let y(i) be the third derivative of i**4/24 - i**3/3 - i**2. Let w be y(1). Is w at least b?
True
Let x = 2 - -5. Let n(a) = -a**2 + 6*a + 3. Let h be n(x). Let z = -1 + -2. Are h and z non-equal?
True
Let x = -13 - -13. Suppose x = 6*i - 11*i. Which is bigger: i or -2?
i
Let t = -9 + 11. Suppose -t*u + 4 = 3*l + 1, -21 = -5*l + 2*u. Suppose -2*k = l - 1. Is k at least as big as -1?
True
Let m = -109 - -119. Which is greater: 2 or m?
m
Let r = -2160 + 4217/2. Let g = 49 + r. Which is greater: g or -2?
-2
Suppose 16 - 2 = -2*m + 2*r, 0 = -5*m + 2*r - 29. Which is smaller: m or -3?
m
Let j = -62 + 62. Is 1/59 < j?
False
Let q be 2/147*(4 + (-15)/6). Which is smaller: 1 or q?
q
Let x be (2/(-2) - -2) + -1. Let v(i) = i**2 - 7*i + 1. Let m be v(7). Which is smaller: m or x?
x
Let z(i) = i**3 - 7*i**2 + i - 4. Let q be z(7). Suppose u + 4*g - 15 = 0, 2*g - q*g = -3. Suppose 0 = -8*s + u*s. Are 1/4 and s unequal?
True
Let k = -9 + 17. Let v = -8.1 + k. Is v at least as big as 1/3?
False
Suppose -5*j + 30 = 4*x - 0*j, 5*x - 40 = -5*j. Let p(h) = -h + 13. Let b be p(x). Which is bigger: 4 or b?
4
Let t(p) = -3*p**2 - 77*p + 24. Let i be t(-26). Let l = 2 + 1. Suppose l*z - 2 = -11. Is i at most z?
False
Let r = -0.2 + 0.3. Let i = 0.4 - 0.4. Let s = i + r. Which is bigger: s or -1/4?
s
Let i(w) = -4*w**3 + 2*w**2 + 1. Let r be i(-3). Let y = r + -891/7. Let m = 0.02 - -0.98. Which is greater: y or m?
m
Let m(q) = 2*q. Let d be m(3). Let f be -1 - (d/3 + 3). Which is smaller: -7 or f?
-7
Let m = -356/4179 - 2/199. Is m <= 0.2?
True
Let l be (-40)/(-78) - 4/(-26). Do 8 and l have different values?
True
Suppose 14*f - 72 = 6*f. Which is bigger: f or 8?
f
Let g be -5*(-2)/(-28)*-1. Is g greater than or equal to 0?
True
Let w(m) = -m**3 + 6*m**2 + 9*m - 8. Suppose -3*g + 43 = 4*d, 2*d + 2*g - 4*g - 4 = 0. Let i be w(d). Is i greater than 6?
False
Let i be (-781)/22 - (-3)/2. Is -34 bigger than i?
False
Let f be ((-4)/6)/(1/(-3)). Let w = -1 - -1. Suppose -f = 2*r - w. Do -2 and r have the same value?
False
Let s = -0.31 + 0.33. Is s < -1/5?
False
Let f be 1 - 5 - 4/(-10). Let y = -77/20 - f. Which is bigger: 0 or y?
0
Let l(h) = -h + 10. Let m be l(3). Is 6 smaller than m?
True
Let p = 8 - 7.8. Is -1 not equal to p?
True
Let u = 5 + -3. Let y = u + -1.97. Let b = y - 0.23. Is b <= -1?
False
Let h = -3.9 - -3. Let j = -0.1 + h. Let r = -614/3 - -203. Are r and j non-equal?
True
Let p be (-2)/(-7) + (-1768)/210. Let o = p - -39/5. Is o no