6 = -0*h + 3*h, 0 = -3*t - 2*h - 11. Let k = -0.07 - -3.07. Is t equal to k?
False
Let h = 386 + -34353/89. Is 1 at most as big as h?
False
Let i be -8*(-2 - (-6)/2). Is i < -5?
True
Let y be 0/2 + 19 + -18. Is -7/22 at least y?
False
Let i = -6 + 10. Let z = -20 - -15. Let n be i/(-10)*z/11. Is n at least 1?
False
Let j(f) = -f**2 - 14*f - 32. Let y be j(-11). Which is greater: y or -2/59?
y
Let z = -18/37 + 665/1443. Which is smaller: 1 or z?
z
Suppose -10 = 2*l - 0*l + 4*x, -3*l = x - 5. Let f(n) = 3*n - 6. Let z be f(l). Is z >= 5/2?
True
Let j be (-162)/27*(9 - 1). Is j at most as big as -49?
False
Let n = -4 + 3. Let x = -3 - -6. Let i be x/45*3*n. Does i = -1?
False
Let d = 0.7 - 0.63. Let u = d - -1.93. Are u and 2/7 equal?
False
Let q = -0.74 - -0.74. Let f = -0.3 - 0.2. Which is smaller: f or q?
f
Let c = 0.2 + 0. Let m = -0.03 - -0.01. Let x = 0.08 - m. Which is smaller: c or x?
x
Let b(w) = w**3 - 11*w**2 + 13*w - 5. Let k be b(10). Which is greater: 26 or k?
26
Suppose 4*d - 4 = 4*k, 0 = -5*d - k - 2 + 1. Is -1/7 at least d?
False
Suppose 5*w = 1 - 11. Let n(y) = y**3 + y**2 - y. Let v be n(w). Is -6/7 greater than v?
True
Let y = -11/18 - -1/2. Let r(w) = -4 - 5*w + 3*w + 1 + 4*w. Let l be r(2). Are y and l unequal?
True
Let f = -53 - -10. Are -43 and f non-equal?
False
Let y = -0.2 - -0.1. Which is bigger: y or -21/4?
y
Let q be 2/(-3) - (-2)/3. Let k = 2 - q. Let s = 83 + -412/5. Which is greater: k or s?
k
Let n = 24/7 + -26/7. Let a = 0.3 - 1.3. Which is bigger: a or n?
n
Suppose 3*u - c - 30 = 0, -2*u + 0*u + c = -21. Suppose u - 11 = j. Let v be ((-2)/6)/(2/14). Which is greater: v or j?
j
Let c = -1676/7 + 239. Which is greater: 0 or c?
0
Let o = 95/259 + -3/37. Suppose 5*w = 4 + 1. Suppose 3*i + 1 = j - 3*j, -3*i - j + w = 0. Are i and o unequal?
True
Let k be (-9)/(-6) - 2*(-4)/(-16). Let o(b) = b**3 - 4*b**2 + 3*b + 1. Let d be o(3). Are d and k non-equal?
False
Let g = -1/28 - -11/14. Suppose 0*r - 5*r = 0. Suppose 4*d = w - 6*w + 18, r = 5*d + 4*w - 18. Is g greater than or equal to d?
False
Suppose 3*f + 2*d = f - 6, -3*f - 5*d = 15. Is f > 1?
False
Let v(a) = -a**3 + 8*a**2 - 5*a - 10. Let b be v(7). Let n = 1 + 2. Are b and n unequal?
True
Suppose 0 - 1 = p. Let o be (13/338)/(1/288). Let h = o - 1244/117. Which is smaller: h or p?
p
Let f = 0 + 0.2. Let a = -5 - 0. Let x be 14/10 + 2/a. Which is bigger: f or x?
x
Let x = 86 - 428/5. Let t = -3.4 - -0.4. Let p = 2.9 + t. Is p smaller than x?
True
Let g(h) = -h + 3. Let y be g(-5). Suppose 3*i - 5*i + y = 0. Suppose -3*t + 5 = -10. Is t < i?
False
Let g(p) = p**3 - 8*p**2 - 7*p - 13. Let w be g(9). Let v(k) = k**2 - 6*k + 5. Let a be v(w). Let s = -2 - a. Is -1/2 < s?
False
Let p = 5 - 3. Suppose -8 = o - 5*d, 0*o + d + p = -o. Are -1 and o non-equal?
True
Let m = -115 + 121.1. Let a = m - 6. Is 5 <= a?
False
Let a be ((-2)/6)/((-1)/135). Is 45 at most as big as a?
True
Let s(d) = d**2 + d - 13. Let c be s(-4). Do c and 4 have the same value?
False
Let c = 62 - 62. Which is smaller: -2/101 or c?
-2/101
Suppose 5*h - 5*k - 35 = 0, h + 3*h = k + 13. Suppose -b + 12 = b. Suppose -3*j + 6*j = b. Are h and j equal?
True
Let s = 2 + -26. Let o = 2595/2 + -1273. Let m = s + o. Which is greater: -2/3 or m?
m
Let n = -32 + 31. Which is smaller: 11 or n?
n
Suppose -2 = 9*n - 20. Which is bigger: n or -3/2?
n
Let d = -8 - -12. Suppose 1 = -d*s + q, 0 = -2*s + 4*s + 5*q - 5. Is s not equal to 3/7?
True
Let f = -51 + 52. Which is greater: 3 or f?
3
Let j = -0.99 - -1. Let r = -0.07 - -0.06. Let c = j + r. Are c and -3/2 non-equal?
True
Suppose -3*q - i = -89, -5*q - 36 = 5*i - 181. Which is smaller: q or 31?
q
Let k(y) = -y**3 - 3*y**2 + 3*y + 1. Let t be k(-3). Let f = t + 9. Which is smaller: f or 5?
f
Suppose -5*h - 3*b + 2 = -3, 0 = 4*h + b - 4. Let y(l) = l - 1. Let n be y(h). Which is bigger: -4/21 or n?
n
Let g(m) = 20*m**2 + 33*m + 39. Let i(z) = 7*z**2 + 11*z + 13. Let d(w) = w**2 + 7*w. Let h be d(-6). Let j(t) = h*g(t) + 17*i(t). Let s be j(-10). Is -3 >= s?
True
Let d(q) = q**3 - 11*q**2 + 10*q + 1. Let j be d(10). Let h be 24/110 + (-4)/(-22). Which is smaller: j or h?
h
Suppose -3 = 4*c - 3*c. Let p(r) = -2*r**2 + 5*r + 1. Let d be p(3). Which is greater: d or c?
d
Let n be 27*6*4/(-18). Does -36 = n?
True
Let j = 0.08 - -0.32. Which is bigger: j or -2?
j
Let k = 2 + -1. Let s be (-2)/4*(k + 3). Let q(h) = h**3 + h**2 - h + 1. Let n be q(-2). Are s and n nonequal?
True
Suppose -3 = -5*h - 23. Let j be h/2 + (7 - 2). Suppose j*t - 3*d = 6, 0 = -t - 2*t - 2*d - 4. Is t at least as big as 1?
False
Let p(k) = -18*k + 18. Let b be p(6). Is -90 < b?
False
Suppose 2*l + 0*l = 0. Suppose l = q + 4*q. Suppose -c + 5*c = q. Is -1 smaller than c?
True
Suppose 13*m - 15*m = 0. Let k = m - -3. Let v = -2 - -1. Which is bigger: k or v?
k
Let z = 0.69 + -0.69. Let d = -0.2 - 0.8. Which is smaller: z or d?
d
Let f be ((-7)/2)/(19/38). Let p = 11 + -17. Let x = p - f. Is 3 at most x?
False
Let g = -800/219 + 11/3. Is 0 at least as big as g?
False
Let p = 1/99 + -331/99. Which is smaller: -2 or p?
p
Let d = 0.54 - 0.6. Let y = 2.94 - d. Let s = 0.1 + -0.1. Which is greater: y or s?
y
Let i = -19.9 + 20. Are i and 1.1 equal?
False
Let w = -16 - -15.1. Let j = 0.5 - -0.5. Let r = j + w. Is r greater than 2?
False
Let o(u) = u**3 + u**2 + u + 2. Suppose 0 = -2*k + f - 1, f + 2 = -5*k + 3. Let a be o(k). Which is greater: a or 1?
a
Let d = 39 - 40. Which is bigger: d or -0.05?
-0.05
Let z be -3 - (380/124)/(-1). Is 1 > z?
True
Let z be (-2)/6*0*1. Suppose z = -c + 3*c + 2. Which is smaller: c or 2/7?
c
Let h(y) = y**2 + 4*y - 4. Let k be h(-6). Let v = 10 - 3. Which is smaller: v or k?
v
Let f = 209 - 5226/25. Let y = 321/100 - f. Which is greater: y or 3?
y
Let f(u) = 2*u + 3 - 3. Let l be f(-1). Which is bigger: -1 or l?
-1
Let f = 8 - 5. Let v = 2 + f. Suppose 19 = -6*w + 3*w + 5*p, p - v = 0. Is 4/7 greater than or equal to w?
False
Suppose -12 = 11*z - 7*z. Is z smaller than -4?
False
Let c = 137676345 + -3939333264961/28613. Let l = c - 2/923. Let a = l + -8/279. Which is smaller: 0 or a?
a
Let v be 5*((-6)/5 - -2). Let u = v - 8. Which is smaller: -5 or u?
-5
Let b = 2 - 3. Let d be b/(-1 + 0) + 1. Suppose d = 3*v + 8. Which is greater: -1/2 or v?
-1/2
Let k be (-26)/(-7) + (-2)/(-7). Let g be (6/30)/(k/35). Which is smaller: g or 2?
g
Let w = -8774072/2445975 + -6/38825. Let s = w + 29/7. Is 1 greater than or equal to s?
True
Let x = -4.97 + -0.03. Let p = 2 - x. Which is greater: -0.1 or p?
p
Let a = -9.5 + 8.5. Let f = 19 + -9. Is f less than or equal to a?
False
Let g = 2.3 + -0.3. Let z be (6/(-15))/((-3)/(-30)). Which is greater: z or g?
g
Let v = 1.066 - 0.066. Is -0.2 less than v?
True
Let q(w) = w**3 - 4*w**2 + 3*w + 2. Let k be q(3). Let g = -16/7 + k. Let a be ((-9)/(-12))/((-3)/(-2)). Which is bigger: a or g?
a
Suppose 3*h - 100 = h. Are h and 49 non-equal?
True
Suppose a + 4 = 0, -y - 12 = y + 5*a. Is y bigger than 4?
False
Let w = 11 + -8. Let v be 1/2 - w/10. Which is greater: v or -1?
v
Let i be 2/3*16/32. Suppose 0 = -0*w + 2*w - 4. Suppose -3*a = w*a. Are a and i unequal?
True
Let k(v) = v + 8. Let q be k(-3). Which is smaller: 3 or q?
3
Suppose -3*l - 2*l - 5*q + 30 = 0, 12 = -4*q. Let j = 8 - l. Which is smaller: j or -2/37?
j
Let j = 69.03 + -70. Let f = -1 - j. Let o = 0.02 + f. Does 0 = o?
False
Let x = 8 - 5. Suppose 0 = -x*z + 3*h, -6*h - 4 = -2*h. Which is bigger: z or -1/6?
-1/6
Let l be (-2)/(-2) - -2 - -1. Let w(g) be the first derivative of g**3/3 - 5*g**2/2 - g - 4. Let f be w(l). Which is bigger: f or -6?
f
Let v = -4/303 + -538/5151. Suppose -2*b + 2 + 8 = 0. Suppose -b*n + 5*c = 0, -3*c + 2 + 3 = 2*n. Are v and n nonequal?
True
Let d(x) = -2 - 3*x**2 + 9*x**2 - x**3 + 0*x**3. Let z(s) = s**3 + 4*s**2 - 2. Let l be z(-2). Let b be d(l). Are -1 and b unequal?
True
Let v = 5 - 7. Which is smaller: v or 3?
v
Suppose 2*r - 13*r = 110. Which is smaller: 2 or r?
r
Let i = -6 + 5.9. Is i < -2?
False
Let w = 15 + -13.7. Let z = 0.3 - w. Suppose -t - 3*t + a + 6 = 0, -3*t + 3*a = -9. Which is smaller: z or t?
z
Suppose -5*z = -4*m - 6 - 22, -12 = -3*z + 4*m. Let x be z/12 + 4/(-6). Is x smaller than 3?
True
Suppose q - 2 = i + 2*q, -3*i = 2*q + 1. Sup