-v**3 - 7*v**2 - 9*v - 19. Let n be r(-6). Is -2/39 at least as big as n?
True
Let p = 6622 + -291349/44. Let o = p + -2/11. Is o > 0?
True
Let a = -5/21 - -17/42. Is a greater than or equal to -1?
True
Let x be ((-15)/(-70))/(9/24). Is 0 < x?
True
Let w(c) = c**3 - 5*c**2 + 4*c + 3. Let h be w(4). Let r(u) = -6*u + 6. Let o be r(-3). Let f = -19 + o. Which is greater: h or f?
f
Let q = 0.04 - 2.04. Let r = 2.2 + q. Which is bigger: r or -0.1?
r
Let b = 6 + -6.7. Let g = 0.9 + b. Which is greater: g or -2?
g
Let l = 1 - 4/5. Suppose -4*j - 36 = 5*w - 7, -9 = -j + 2*w. Which is smaller: l or j?
j
Let b = -49 + 48. Are -0.9 and b nonequal?
True
Suppose 6*p - 5*p - 3 = 0. Which is bigger: p or 4?
4
Let n(a) = a**2 - 7*a + 15. Let v be n(9). Which is greater: 1 or v?
v
Let s be -41 + -4 + (2 - -1)*1. Is -42 less than or equal to s?
True
Let b be ((-2)/(-8))/((-6)/16). Suppose -8 = 5*i - 23, -5*i = 5*v - 10. Is v at least as big as b?
False
Suppose -2*r = 3*z + 625, 0 = -r + 2 - 1. Let q = z + 614/3. Which is greater: -4 or q?
-4
Suppose 0*x + 18 = 3*x. Suppose a = i - x, 2*i + 3*a + 0 = 2. Let v be (-3)/(-12) + 1/i. Which is smaller: v or -2?
-2
Let f = 2 - 2. Let x be (1/(-2))/((-5)/3). Which is greater: f or x?
x
Let h = 2 - 5. Let v = 1 + h. Let b be ((-300)/(-550))/(-1*1). Which is smaller: b or v?
v
Suppose -8 = 5*p - 4*l, p + 2*p = -l - 15. Let z(n) = n**3 + 6*n**2 + 2. Let r be z(-6). Suppose 10 - 4 = -r*j. Is j bigger than p?
True
Let m = 0 + -1. Let z = -10178/275 - -408/11. Let g = z - -19/75. Is m not equal to g?
True
Suppose -2*x - 30 = x. Let j = x + 16. Let c be (((-27)/j)/3)/(-3). Which is greater: -3 or c?
c
Let r = -38 - -26. Let s be 2 + 1/(3/r). Suppose 3*d - n = -3 - 4, -2*d = n + 8. Do d and s have the same value?
False
Suppose d - 2*x - 7 = 0, -x = -0*x - 1. Let p be (d/21)/(6/4). Suppose -r = -5*r. Which is bigger: p or r?
p
Let k(l) = -l**2 + 8*l - 9. Let d be k(9). Which is greater: -19 or d?
d
Let y = -4.6 - 1.4. Let c = -4 - -7. Let r = c + y. Which is bigger: r or -1/2?
-1/2
Suppose 5*z - 11 = 4*c, -c + 5 = 4*c. Is z != 7/2?
True
Let y(x) = -x - 1. Let t be y(4). Let g = -9 - -10. Which is bigger: g or t?
g
Let d be 162/8 - 3/12. Suppose f + 3*f = d. Let l be 2/f + 4/(-10). Is -2/7 bigger than l?
False
Let d be (3 + (0 - 3))/1. Let c be (-4)/(-16) - 3/20. Let o = c + -3/5. Which is bigger: o or d?
d
Let v be ((-20)/(-25))/(27/15). Is 0 < v?
True
Suppose -4*b = 18 - 2. Let h = 5 + b. Which is greater: 2/9 or h?
h
Let m = 11 + -43. Let a be m/20 - 4/10. Is -1 >= a?
True
Let q = 806/3 + -271. Is -1 equal to q?
False
Let y be 2/(-1) + (-7 - -14 - 0). Which is smaller: y or 0?
0
Let f = -28 + 111/4. Suppose -2*i = -5*i - 36. Let p be (-2)/1 - 28/i. Which is smaller: p or f?
f
Let z be (6/18)/(2/18). Is z not equal to 3/2?
True
Suppose -4*n - 113 = q, -q + 6*q + 2*n + 529 = 0. Is q equal to -106?
False
Let w = -10 + 8. Let j = -3 - w. Is j <= -1?
True
Suppose -r + 3*l + 5 = -10, 4*r - 2*l = 30. Let o be (-15)/27 + r/27. Let i be 0 - (1 - (1 + -1)). Which is smaller: o or i?
i
Suppose 3*h + h + 36 = 0. Let d be 12 + -2*1*1. Let x be (4/d)/(h/15). Is 1 at least as big as x?
True
Let p = -1.5 + 1.6. Which is bigger: p or -1?
p
Let y(r) = r**3 - 8*r**2 - 11*r + 16. Let a be y(9). Is -16/9 > a?
True
Let u(f) = -1 + 0*f**2 + 0*f**2 - f**2 - f. Let x be u(0). Let d(n) = n + 6. Let t be d(-6). Does x = t?
False
Suppose 3*u - 10 = -1. Suppose 0 = 2*i - 9 - 1, 0 = -5*c - u*i + 95. Is c smaller than 16?
False
Suppose -7*b + 5*b = 2. Let m be 2 + 2/3 + b. Which is bigger: m or 2?
2
Let m(k) = k**3 - k**2 + k + 35. Let q be m(0). Is q at least as big as 34?
True
Let t = 8 - 2. Which is smaller: 8 or t?
t
Let h = 2.4 - 2.5. Is h at least 1/2?
False
Let q be -1*(2*-3)/(-3). Let f = 1 - q. Let n = -1.2 - -0.2. Which is bigger: f or n?
f
Let b(x) = x**3 - 7*x**2 + 7*x - 3. Let v be b(6). Suppose -8*h + v*h = -15. Suppose -l + 4*i - 3 = i, -h*l - 3 = -3*i. Which is greater: l or -2?
l
Let d = 7 + -3. Suppose 0*v = k - 3*v - 9, -12 = -4*k + d*v. Let p(h) = h - 4. Let j be p(5). Which is greater: j or k?
j
Let u(v) = 12*v + 6. Let o be u(-4). Let z be 9/(-21) - 88/o. Are 1 and z unequal?
True
Let k be (-8 - -9)*(0 - -13). Let o = k + -12. Is 2/55 bigger than o?
False
Let r(a) = -a**3 - 3*a**2 + 4*a - 2. Suppose -m - 16 = 4*k, -m - 3*k - 7 = 6. Let i be r(m). Let o = 0 - 2. Is i < o?
False
Let i(p) = -14*p + 6. Let h be i(2). Is -21 != h?
True
Suppose 0 = 2*i - 0*i + 16. Suppose 3*h + 3 = -3*x, 0*x = -5*h + 2*x - 12. Let n be 4/i + h/(-12). Is -1 less than n?
True
Suppose -v = -2*x - 3*v + 6, 3*v = 12. Let m be (-3)/13*x/6. Which is smaller: 0 or m?
0
Let b be (0 - 4/(-8))*1. Which is smaller: 0.12 or b?
0.12
Let a be (-4*2/(-18))/(12/18). Is 2/3 != a?
False
Let m be 0 - (-5)/2*10. Suppose 0 = 9*n + 137 - 371. Which is smaller: m or n?
m
Let q(c) = c**3 - 8*c**2 + 9*c - 10. Let m be q(7). Let r be (m/6)/(22/(-9)). Which is smaller: 1 or r?
r
Suppose 0 = -8*o + 6*o + 9*o. Let s = 0 + -3. Which is bigger: o or s?
o
Let m be (-18)/(-30) + 18/(-5). Let y be m/(-2)*4/3. Which is smaller: 4 or y?
y
Let u(h) = h**2 + 6*h + 4. Let l be u(-5). Let w = 125 - 1749/14. Which is smaller: w or l?
l
Suppose 0 = -k - 12 - 7. Are -19 and k unequal?
False
Let z = 15 + -16. Is -34/5 not equal to z?
True
Let c be ((-4)/3)/(-1*(-1)/(-3)). Suppose v - 15 = -2*v. Is c at most as big as v?
True
Suppose -4*w = -w + 60. Let a be (-4)/(-5)*w/8. Let s be ((-1)/(-4))/((-2)/20). Which is bigger: s or a?
a
Let p = 18397/12 - 194767/228. Let t = p - 679. Let r = 47/57 + t. Do r and 0 have the same value?
False
Suppose -3*n + 2*r + 12 = -7*n, -3*r = -n + 11. Which is smaller: -0.09 or n?
n
Suppose 0 = -5*r + r. Is -1/13 > r?
False
Suppose 5*t - 12 = -3*c, 2*c + 4*t + 14 = 8*t. Which is smaller: c or 2?
c
Let j = -1 - 0. Let z = 1286/7 + -184. Let h = z - -17/35. Is j at most h?
True
Let u(t) = t**2 - t - 1. Let w be u(2). Let n(m) = -m**2 - 10*m + 1. Let a be n(-10). Let g be a + w + (-5 - -4). Are -1 and g equal?
False
Suppose 2 = -5*q + 12. Suppose 3*j = 8*j + 715. Let z = 999/7 + j. Which is smaller: z or q?
z
Let k(m) be the first derivative of 43*m**3/3 - m**2 - m + 3. Let r be k(2). Let t = r + -1171/7. Is t greater than or equal to 1/2?
False
Let s be (9/(-69))/(11/(-44)). Which is smaller: 0 or s?
0
Let u(z) = -4*z + 22. Let l be u(-10). Are 62 and l equal?
True
Let u(o) = -o**2 + 12*o - 14. Let p be u(5). Do p and 21 have different values?
False
Let n = -5 + 9. Let s = 2 - n. Is 3 < s?
False
Suppose -5*x + 4*b = 15, -2 - 19 = 4*x - 5*b. Do x and -3 have the same value?
False
Suppose i = -i. Suppose 3*d + 0*d = i. Is d smaller than 2/13?
True
Suppose 6*q - 9*q = 0. Is q >= -10?
True
Let n be 522/(-72) + 1/(0 + 4). Which is smaller: -5 or n?
n
Let y = -58 + 38. Which is smaller: y or -17?
y
Let z be -3 - (1 - (3 - 1)). Let u be (1/z)/(2/(-8)). Let k be 0/(-3*u/(-3)). Is k != 1/4?
True
Let y = 5 + -8. Suppose 3*u + 4 - 13 = 0. Suppose u*c + 31 = 4*l, -5*l = -3*c + c - 30. Is c at least as big as y?
False
Let y be 32/(-2)*(-2)/4. Are y and -5 equal?
False
Let b be (-4)/(-10) + (-26)/(-10). Let j = 161 + -146. Suppose -b*r = -q - 16, 0 = 4*q + 3*r - j + 4. Is q at least 3/11?
False
Suppose 3*v = 5*v - 40. Let n = 19 - v. Which is greater: n or -2?
n
Let c = 0 - -3. Let l be 8/(-7)*91/(-26). Which is bigger: c or l?
l
Let q be (-259)/35 - (24/15 - 2). Let c be (-1 + -1)*3 - 1. Is c less than or equal to q?
True
Suppose 5*c + 0 = -5. Suppose 5*j = 5*u, 45 = -6*j + j - 4*u. Let o = j + 3. Is c at most as big as o?
False
Let y(u) = -u**3 + 8*u**2 - 8*u + 7. Let a be y(7). Suppose a*t + 3 = t. Let s be (-6)/(-4) + t/6. Is 1 less than s?
True
Let r be 2/5 - (-22)/(-5). Let f be (-1 + -7)/(-22 + 24). Is f at most r?
True
Suppose 0 = -2*f - 0*f + b - 5, 2*f + 2 = -2*b. Let p = f - -4. Let c = 3 - p. Which is smaller: -1/3 or c?
-1/3
Let p(k) = -k**2 + 6*k + 8. Let r be p(7). Let c be 6*1*4/108. Which is bigger: r or c?
r
Let i = -2 + -13. Let v be i/2*(-12)/27. Which is smaller: v or 2?
2
Let k = -49 + 43. Which is bigger: k or -5?
-5
Let a = -18 - -21. Which is greater: a or 5?
5
Let k = 3 - -9. Let t = k + -12. Let g = -67 - -337/5. Is t less than g?
True
Let h = 0 - 1. Are h