ual to a?
True
Let t(f) = -4*f**3 + 25*f**2 + 16*f + 21. Let m = -6 - -15. Let g(o) = o**3 - 6*o**2 - 4*o - 5. Let s(z) = m*g(z) + 2*t(z). Let u be s(5). Is 0 bigger than u?
False
Let g be 2*(-4)/(-96)*4. Is -3 greater than g?
False
Let b(t) = t**3 - 6*t**2 + 4*t + 5. Let y be b(5). Suppose 0 = -2*i + 6*i - 4. Let c be (-1)/(y - i)*-3. Do c and -2 have the same value?
False
Let g = -10 - -10. Is g less than or equal to 1/16?
True
Let c = 18 + -8. Let n be 2/(-60) + 2/c. Which is smaller: n or -1?
-1
Suppose -3*i + 1 = -5. Suppose 3*q + 0*u = -5*u + 4, -2*q = -2*u + 8. Is q at least i?
False
Let v be (-2)/(-8) + 14/8. Suppose 2 = 3*j - v*j. Suppose 4*z = 4*o + 20, -5*z - j*o + 21 + 18 = 0. Is z > 6?
True
Let t be ((-20)/8)/(4/8). Which is bigger: t or -7?
t
Let x = -25 + 39. Let o = x + -15. Suppose -b = -s - 3, -2*b = -s + 2*s. Is b smaller than o?
False
Let b = -14 - -13. Let p = 1.3 + b. Is p equal to -0.1?
False
Suppose -17*n = -5*n - 36. Is n greater than or equal to -0.1?
True
Suppose 0 = -4*p + 8 + 4. Suppose -o - j = 4*o - 2, -4 = -3*o - 2*j. Suppose 0*l + p*l = o. Which is bigger: l or 1/4?
1/4
Let d = 7 - 11. Let p = -2 - d. Suppose 4*g + 4 = 5*m + 1, 1 = 5*m - 3*g. Is m not equal to p?
True
Let h = 29 - 27. Which is smaller: h or 7/3?
h
Let n(x) = -4 + 6 - 2*x - 1 + 0. Let q be n(-2). Which is smaller: q or 6?
q
Let c be (-2)/(-2) + 4 + -9. Let m be c/(-35) - (-8)/28. Let j(t) = -t**3 - t**2 + 2*t - 1. Let k be j(1). Is k > m?
False
Suppose 0 = -2*q - 2. Let d = q - -3. Let r = 11 + -7. Is d at least r?
False
Let i = 1 + -4. Let b = i + 7. Let t = -3 + 2. Are t and b equal?
False
Let m be 6/(-9)*6/88. Let n = -195 - -2151/11. Let b = m + n. Which is bigger: 1 or b?
1
Let y be ((3/(-10))/(-3))/((-252)/45). Which is greater: 0 or y?
0
Suppose 2 = -v + 6. Let z(o) = -2*o + 2 - v + o + 3. Let m be z(0). Which is bigger: m or -1/4?
m
Suppose 2*r = r + 11. Let t = r - 7. Which is smaller: t or 2?
2
Let z = -1 + 1. Let l = 0 - z. Let k be 1 - 24/20 - 9/180. Do k and l have different values?
True
Let f = 107 + -109.98. Let r = 0.02 - f. Let g = 1 - r. Which is bigger: g or 2?
2
Let w = -302/77 + 40/11. Which is bigger: -0.2 or w?
-0.2
Let v = -2.8 - -4.8. Which is smaller: -0.02 or v?
-0.02
Let y = -35 - -23. Let v be (-5)/(-15)*y/2. Let q be (v + -2)/(-4 + 6). Is q bigger than -3/4?
False
Let v be (3 - 2)/(-7 + -1). Let k = -7/40 + v. Which is greater: k or 0?
0
Let d = -14 - -22. Suppose t = 5*h - 50, -3*h = -2*h + 5*t + 16. Which is smaller: d or h?
d
Let x = 108 + -89. Is x greater than or equal to 71/4?
True
Let l be (-1)/(1*(1 - 2)). Let q(h) = h**3 + 5*h**2 - 5*h + 8. Let w be q(-6). Which is bigger: l or w?
w
Let m = 1.74 - 1.72. Which is smaller: -1/11 or m?
-1/11
Let p be ((-4)/(-1 + 13))/(9/42). Which is smaller: p or -1?
p
Let s(d) = d**2 + 6*d + 2. Let g be s(-6). Let r be 7/2 + g/(-4). Suppose -5*t = -r*t - 2. Is -2/11 bigger than t?
False
Let i = 4 - 4.4. Let o = i + 0.2. Which is greater: o or 2/7?
2/7
Let m(h) = -2*h - 11. Let q be m(0). Let i = 15 + q. Which is smaller: i or -3?
-3
Suppose -2*j + 2*i + 186 = 0, j - i - 63 = -6*i. Let r = j + -1145/13. Suppose 3*c - 12 = -5*v, -v - 5 = 2*c - 13. Which is smaller: v or r?
r
Let x(m) = -5*m**2 - 5*m + 3*m + 7*m + m**3 - 1. Let r be x(4). Suppose -r*n + 1 = -2. Is 2/3 < n?
True
Let v be (-152)/(-95) + -1 + 4/10. Let o be (0 + 1)*(1 + 0). Is o less than v?
False
Suppose 48 - 48 = -w. Are w and 0.13 equal?
False
Suppose -3*s = -s - 8. Suppose 0 = s*o + 2 + 2. Which is greater: o or 2/23?
2/23
Let t be (-20)/6 - (-28)/(-42). Is t > -5?
True
Let a be (-2)/6*-3 - -4. Suppose i + 8 = m, -a*i - 5 = -m + 19. Let j(t) = -t**2 - 4*t + 2. Let d be j(i). Is d greater than 3?
False
Let w(f) = f**2 - 1. Let u(x) = -3*x - 1. Let t(n) = u(n) - w(n). Let g be t(-3). Is -1 < g?
True
Let n(v) = v**2 + 10*v - 2. Let m be n(-9). Let k = -11 - m. Let u be 4/(-6) - (-29)/39. Which is smaller: u or k?
k
Let j be 28/(-6) + 3 + -3. Is j greater than -5?
True
Let i be ((-8)/(-28))/(0 - 2/22). Is i > -2?
False
Let x = -10 - -10. Let w be (-7 + 6)/(1 + 0). Is x at least w?
True
Suppose 0 = k - 4*k + 2*o + 1, -1 = -k + o. Are k and -1/8 equal?
False
Let h be (2 - -1)/(3/4). Suppose -y = h*o + y - 42, 4*o - 57 = -5*y. Suppose -5*x + o + 12 = 0. Is x equal to 3?
False
Let l = -4 - -7. Suppose 0 = 3*m - 17 + 5. Are l and m non-equal?
True
Let p be (3/(-13))/((-12)/(-8)). Are p and 1 unequal?
True
Suppose 3*d + 5 + 4 = 0. Let q be (2 + 5/(-4))/d. Which is smaller: q or -1?
-1
Let c be (-66)/60 - 2/(-4). Which is smaller: -2/5 or c?
c
Suppose -3*p - 7 = -x - 3, 8 = 2*x. Let m be 129/(-210) + (-85)/(-25) + -3. Is m less than p?
True
Let n(o) = -o**2 - 2*o + 3. Let q be 2/4*(-10 - -4). Let g be n(q). Is 2/23 greater than g?
True
Let p be (-2)/(-3) - 30/45. Is p smaller than 3?
True
Let x = -46 + 77. Let s = x - 61/2. Are 2 and s unequal?
True
Let f(c) = c + 1. Let a be f(3). Let g = a + -4. Let l = g - 1. Is -2 greater than or equal to l?
False
Let p = 0.8 + 1.5. Are 1 and p equal?
False
Let j be 6*2/(4 - 2). Suppose 12*u + 34 = 106. Are u and j unequal?
False
Let z = 9 - 6. Suppose -z*m - 2*m = -15. Is m >= 5/2?
True
Let i = -0.39 - 0.01. Let c = 0.42 + i. Let x = -0.02 + c. Which is smaller: -3 or x?
-3
Let l = 6 + -3. Suppose -3 = -3*o - 0. Let h be o*(-3)/(-1 - -4). Is l equal to h?
False
Let f(u) = 5*u + 12. Let m be f(-5). Which is smaller: -14 or m?
-14
Let d = 66 + -75. Which is smaller: d or -8?
d
Let o(r) = -2 + 6*r - 1 - 3*r**2 - 4 + 2*r**2. Let x be o(5). Is -2 less than x?
False
Let c be (13 - 6 - 7) + 25/(-4). Is c smaller than -5?
True
Let w = 66 - 29. Which is greater: w or 1?
w
Let l(s) = -s + 11. Let h be l(8). Let r be -2 - h/(3/(-4)). Suppose -5*o - 5 = -2*v, 5*v - 9 = r*o + 14. Is o <= 1?
True
Let d = -9 + 11. Let l = 0 - d. Let u be ((-6)/18)/(l/6). Are u and 2 unequal?
True
Let h = -19 + 16.8. Let d = 1.2 + h. Which is greater: 1/4 or d?
1/4
Suppose -11 = 3*f - k - 1, 4 = 2*f + 2*k. Suppose 0 = -4*z, 2*z + 12 = -3*l - 0*z. Which is bigger: l or f?
f
Let a be 4/(-38)*-5 + 0. Is 1 at most a?
False
Let w be -3 + (-1 - -5) + 1. Which is smaller: 3 or w?
w
Let x be ((-24)/60)/((-6)/10). Which is smaller: 1 or x?
x
Suppose 2*x = -5*h + 12, 4*x + 0*x = 2*h. Suppose 15 = 4*a - 5. Let p(t) = -t**2 + 6*t - 4. Let l be p(a). Which is smaller: h or l?
l
Let q be -26 + 0/2 + 0. Let j = q - -79/3. Which is smaller: j or 2/9?
2/9
Let p = -4 + 14. Let j(x) = -x**3 + 9*x**2 + 10*x + 6. Let r be j(p). Is r not equal to 6?
False
Let m = -70 + 71. Is m != 4/71?
True
Let k(q) = 0*q + 3 - q + 8. Let r be k(9). Suppose r = -t - t. Are t and 3/7 non-equal?
True
Let v = -10 + 8. Let x = 2 + -3. Is v >= x?
False
Suppose -f + 5 = -16. Let z be 0 - (-97)/5 - -1. Let k = f - z. Is 1 < k?
False
Let d = -0.137 + 0.097. Is 2/15 at least d?
True
Suppose 2*u + z - 8 - 5 = 0, 4*u - 41 = -5*z. Suppose -2 = 2*p + 4*a + 22, u*p = 3*a - 4. Let x = -3 - p. Is x <= -1/5?
False
Let g(o) = -o**2 + 7*o - 2. Let h be g(6). Let r = -6 + h. Which is smaller: r or -4?
-4
Let t = 10 + -9.4. Is t smaller than -1/4?
False
Let y = 2.2 - -7.8. Let b = 5 - y. Which is smaller: b or -1/5?
b
Let x be -2 + 1 + (-12)/5. Is -4 at least as big as x?
False
Suppose 0 = -2*n + 4*p - 6, 3*n + 0*p - p = 16. Suppose -4*q - 2*r - 57 = -n*r, -2*q + 3*r = 29. Let d = 9 + q. Are d and -1/3 equal?
False
Suppose 4*d = -w - 9, 0 = 8*w - 6*w - 6. Which is smaller: d or -4?
-4
Suppose -6 = -2*x - x. Let f(r) = -r**2 - 2*r + 1. Let u be f(0). Is u not equal to x?
True
Let w = -4892/95 + 258/5. Do w and 1 have the same value?
False
Suppose -2*i - 1 = -w, -3*i + 4 = 2*w + 2*w. Suppose -5*j + i*g = 3*g + 2, 2*g + 14 = 3*j. Which is smaller: 1/2 or j?
1/2
Suppose -3*h + 4*h = 0. Suppose -143 - 473 = -4*b - j, -5*j = b - 173. Let r = -1835/12 + b. Is h at most r?
True
Let j be (-2 + 0)/(13/(91/14)). Which is greater: j or 0?
0
Let v = -0.05 - 0.05. Let y = 16 - 19. Which is smaller: v or y?
y
Suppose 2*x = -0*x + 24. Suppose -q = 2*q - x. Suppose -q*g = -6 - 2. Which is smaller: g or 3?
g
Let v(q) = -2*q - 3. Let b be v(-5). Suppose -3*y + 7 = g - y, 2*g = y + 4. Which is smaller: b or g?
g
Let g = 0.01 - 4.01. Let p = -3.9 - g. Is 0.2 >= p?
True
Let w be 1 - (-4)/(