 t**3 + 2*t**2 - 3*t + 3. Let r be g(-3). Suppose r*w = -0*w + 15. Suppose 0 = 2*z - 2*i - i + 7, -9 = -3*i. Does w = z?
False
Suppose -2*h = -0*h - 4. Is 4 smaller than h?
False
Let j be -1 - 0 - (14 - 16). Is -2/67 greater than or equal to j?
False
Let a be -1 + -16*(0 - 1). Which is greater: 16 or a?
16
Let r be (-9)/(-6) + (-39)/6. Which is smaller: -6 or r?
-6
Let w(f) = -2*f**2 + f - 1. Let q be w(1). Let h = 7 + q. Which is smaller: h or 6?
h
Let w = 2 - 5. Let r = 3 + w. Let t = 22/3 + -7. Is t > r?
True
Let r = 20 + -13. Let v = -9 + r. Let s = -6 - -3. Is s at least as big as v?
False
Suppose -2*w - 7 = -3*w. Which is bigger: 0 or w?
w
Let w(i) = 2*i**2 - 3*i + 1. Let n be w(2). Suppose n*z + 6 = -0*z. Let j = 2 + z. Which is bigger: j or 1?
1
Suppose -c - q - 5 = 3*c, -3*q = 3. Let x be (1/(-14))/((-1)/(-20)). Which is smaller: c or x?
x
Let l(z) = -2*z + 14. Let s be l(5). Let y(r) = -r - 1. Let i be y(-2). Are s and i equal?
False
Suppose -g + 4 = 0, 3*a - 2*a - 1 = -g. Let w = 2 - 1.9. Are a and w equal?
False
Let m be 4/14 + (-255)/819. Which is bigger: m or 0?
0
Let k = -4 - -13. Let z = 2 - k. Is z smaller than -1?
True
Let u be 1/3 - (-4)/(-12). Is -2 at most as big as u?
True
Let b = 97/6 + -16. Let y be (1/3)/(1/12). Let c = y - 3. Is b greater than c?
False
Let h = -7/25836 + 102052291/335868. Let t = h + -304. Suppose 0 = 5*s - 5. Is t > s?
False
Let j = 12.14 - 0.14. Let s = j - 17. Are -2 and s nonequal?
True
Let f be 4/10 - (-8)/5. Suppose -3*w = -f - 4. Which is smaller: w or 7/5?
7/5
Let p(d) = 2*d - 4. Let k be p(7). Suppose -q + k = -3*q. Which is smaller: -1 or q?
q
Suppose -3*l + 2*b = -8, 0*b + 8 = 2*l - 2*b. Is -2/21 <= l?
True
Let f(p) = -p**2 + 8*p - 8. Let a be f(6). Suppose -2*n - 2*s = -0*s + 4, a*n + 5 = -s. Which is bigger: n or -4/7?
-4/7
Let w = -5 - -8. Is 1 at least w?
False
Suppose -3*r = -5*f - 25, 2*f = -r - 0*f + 1. Suppose 3*g + 7 = r*z, 3*z + 0 = 6. Suppose 0 = -5*u - g + 11. Does u = 2?
True
Let f = -13.9 - -15. Let n = 1 - f. Is 5 at most n?
False
Let d = -27 - -82/3. Let m(f) = -2*f**3 + f**2 - f. Let k be m(1). Let x = -1 - k. Which is bigger: x or d?
x
Suppose 3*q - 1 = 11. Suppose -q*r = -2*f - 6, 2*r - 3*f + 1 + 2 = 0. Suppose -3*y = -5*y - w + 6, -3*w + 9 = -r*y. Do y and -1/3 have the same value?
False
Let g = 1 + -16. Let n be 6/g - (-24)/10. Which is greater: n or 3?
3
Let s = -8 - -9. Let u(m) = m**3 - 2*m**2 - 4*m + 2. Let q be u(3). Let y = 2 + q. Is y smaller than s?
False
Let w be 24/(-57)*(-6)/(-24). Is w greater than 1?
False
Let d be (-2)/(-84)*-3*-26. Is 1 < d?
True
Suppose -3*v + 35 = 4*u + 2, -v - 9 = -2*u. Which is bigger: u or 5?
u
Let n be -4*5*(-10)/(-75). Let r(d) = d**2 + 4*d + 1. Let g be r(-3). Let v(u) = -u**3 - 3*u**2 - u - 2. Let s be v(g). Is n greater than s?
True
Let v = 0.005 - -4.095. Let b = -7 + 11. Let h = v - b. Is h smaller than 1/3?
True
Let m = 5 - 0. Suppose -4*b = -5*b - 8. Let t be (84/b)/7*-2. Is t at most as big as m?
True
Suppose 17*r - 21*r = 0. Let s(q) = -q + 5. Let h be s(6). Which is smaller: r or h?
h
Let f = 0.36 + -0.36. Let n be (-7 - 0) + -6 + 5. Let c be n/28 + 2/56. Which is smaller: c or f?
c
Let t = -13 + 13. Is t > -2/5?
True
Suppose -3*a - 2*v + 12 = 74, -v + 79 = -4*a. Is a < -19?
True
Let t(q) = 5*q**2 + 6*q**2 - q**2 - q + q**3 - 8 - 4*q**2. Let j be t(-6). Is 0 at least as big as j?
True
Suppose 0 = o + 5*v - 10, 5*o - 4*v - 4 = -12. Suppose s = -o*s + 6. Let u = -13 + s. Are u and -6 equal?
False
Let b = 2035/9844 + 70309433/6054060. Let j = b + 8/615. Let g = j - 12. Do 0.1 and g have the same value?
False
Let v = 2 + -5. Suppose 0 = 2*c + 3*c. Which is bigger: c or v?
c
Let t(l) = -l**3 + 7*l**2 - 5*l - 3. Let o be t(6). Suppose 0*j - 15 = o*y - 3*j, 4*j - 20 = -y. Let a = 1 - 0. Which is smaller: y or a?
y
Suppose -1 + 3 = -s. Let w(a) = -a**3 + 5*a**2 + 7*a. Let m be w(6). Let h be 1 + 6*m/(-20). Are s and h nonequal?
True
Let n(r) = -r. Let m be n(0). Let h = 4 - 0. Suppose 4*y - 2*y - 4 = 0, o - y + h = m. Is -1 at least o?
True
Suppose 5*j = -5*r + 30, 9*j - 10*j = -5*r. Is r > -8?
True
Let i be (-18)/81 - (-38)/(-72). Is i <= -1?
False
Let c be (9/(-6) + -1)*(-2)/5. Which is smaller: c or 6/13?
6/13
Let d = 15 - 8. Suppose 0 = -d*c + 2*c. Let r = -59/3 - -19. Is r <= c?
True
Suppose 35 = y + 4*y. Let t = y - 6. Let g be (-2)/(-6) + -3 + 3. Is t less than g?
False
Let h be ((-2)/3)/((-1)/9). Let l be (-8)/h*(-10)/8. Suppose 2 = -0*o - 2*o. Is o equal to l?
False
Let h(b) = 2*b - 18. Let g be h(14). Which is bigger: 9 or g?
g
Suppose j - 3 = -2*j. Let a = 0 - j. Let w be ((-3)/(-7*3))/1. Does w = a?
False
Let c = 2 - 2. Suppose 2*b - 2*i - 6 = 0, -3*b + c*i - 2*i = -9. Let o(n) = n**2 - n - 4. Let j be o(b). Which is bigger: 2/3 or j?
j
Let t = 17 - 28. Which is smaller: 2 or t?
t
Let g be (-4 + 2)*-1 + 184/(-94). Which is greater: 1/4 or g?
1/4
Let d(c) = 2*c + 4. Suppose 0 = 5*r - r + 5*j + 7, -5*r + 5*j - 20 = 0. Let l be d(r). Which is bigger: -1/2 or l?
-1/2
Let c be 243116/(-136) - 2/(-1). Let p = -1786 - c. Let f = -2/17 + p. Do -2 and f have different values?
True
Let z = -34 - -24. Which is smaller: -9 or z?
z
Suppose -10 = 5*m - 0. Is m less than -2/3?
True
Let s = -11 + 16. Is 5 greater than s?
False
Let g be -6*((-390)/99 + 4). Which is smaller: -1 or g?
-1
Suppose -1 = k - 12. Let f = k - 10. Which is smaller: 2/41 or f?
2/41
Let k be 10/(-3) - (-2 - 1). Which is greater: -1 or k?
k
Let o be (-12)/(-2) - (3 - 1). Suppose z - o = -z. Which is bigger: z or 3/4?
z
Let p be -2*2/14 + (-1560)/(-364). Let q = 1 - 0. Let n = q + 0. Is n >= p?
False
Let b be (-4)/1*1*-1. Suppose -2*f + b*u + 42 = 0, 3*u - 18 = -2*f - f. Suppose 2*y + 7 = 4*q - 7, -3*q = -y - f. Which is bigger: y or 0?
y
Let p(g) = 3*g**2 + 16*g - 14. Let v be p(-6). Is v > -6/11?
False
Let l be (-3)/((9/15)/3). Is l < -1/5?
True
Let m = 0.15 + -1.15. Which is bigger: m or 10?
10
Let z = 1/255 - -997/5865. Is -1 at most as big as z?
True
Let d(i) = i - 3. Let p be d(0). Let j = 1 + 1. Suppose 6 - 2 = -j*b. Which is smaller: b or p?
p
Let w = 0.09 + -0.11. Which is smaller: -2 or w?
-2
Let h = 0 - 0. Let l = 2 - h. Is l < -0.2?
False
Let f(b) = -8*b - 21. Let i be f(-3). Are i and 2 unequal?
True
Let u(a) = a**3 + 5*a**2 + 4*a. Let h be u(-4). Which is smaller: 9/8 or h?
h
Suppose -2*y = -y - 4. Let a be 3/1*2/6. Suppose -3*z = 3*x, -y*x + 0*z - 3*z = -a. Which is bigger: x or 2?
2
Let l(v) = v**2 - v - 2. Let t(w) = -w**3 - 3*w**2 - 3*w. Let y be t(-2). Let i be l(y). Is i less than -2/3?
False
Suppose -4*w - 4 - 4 = 0. Let p be (-1)/(2/w)*0. Suppose -5*q - 4*k + 5 = 18, q + 7 = -3*k. Which is bigger: q or p?
p
Let z be (3 - 19)*3/(-4). Is 21/2 at least z?
False
Let a = -4 + 9. Is a >= 2?
True
Let h = -1/36 + -1/12. Suppose 4*k + k = 10. Let l be (-4)/6 - k/6. Is l at least as big as h?
False
Suppose -3 = 3*c - 9. Suppose -h - h = -c. Let p be h/(4/(-9)) - -2. Which is smaller: 1 or p?
p
Let d = 2159/16 + -135. Is d smaller than -1/4?
False
Let x(h) = -82*h**2 - h. Let y be x(-1). Let o = 50 + y. Let f = o - -215/7. Which is smaller: f or 0.03?
f
Let c be 78/63 - 4/6. Let k = 8.2 + -8. Let i = k - 0.1. Is c > i?
True
Let d be (-8)/11*(-15)/(-12). Which is bigger: d or -1?
d
Let o = 9.3 + -9. Which is smaller: -2 or o?
-2
Suppose -5*h - 2*y = -y - 12, 3*h - 10 = -2*y. Let m be (-4)/h + 120/62. Which is greater: 1 or m?
1
Suppose 0 = -3*b - y - 5, -3*b + 3 - 13 = 2*y. Is b bigger than 2/7?
False
Let g be (-60)/108 + (-1)/(-3). Is g less than -1?
False
Let b be 7/(-14) - ((-1)/2 - -1). Is b at most -8/9?
True
Let f(r) = -r**2 - 8*r - 10. Let t be f(-6). Is t at most -3?
False
Let c = 0.01 - -0.69. Let i = c - 1. Let h = 3/17 + 19/85. Which is bigger: i or h?
h
Let q(i) = -2*i**2 - 2*i + 3. Let r be q(1). Let v = -3 - -7. Suppose -v = 2*s + 2*s. Is s != r?
False
Suppose 4*j = j. Are 3/4 and j unequal?
True
Suppose 2*c = 13 + 21. Suppose 0 = -3*v - 15, h - 4*v - c = 4*h. Which is greater: 6/7 or h?
h
Let m = 194 - 99. Suppose 5*h - 4*r = -0*h + m, 5*r = -25. Does h = 15?
True
Suppose -4 = -3*c + 8. Suppose p - c*x = 1 - 2, 3*p + 3*x = -3. Is 1 greater than or equal to p?
True
Let v = -44 - -42. Which is bigger: -19 or v?
v
Let q = 2 - 0. Let x = 