re b and x equal?
False
Let f = 11.3 - 4.3. Is 3 at least f?
False
Suppose a = 3*k + 7, -5*a + 0 = -3*k + 13. Let b(h) = h**2 + 4*h. Let y be b(k). Is -4 > y?
False
Let z = 19 - 15. Is z equal to 4?
True
Suppose 2*p = -3*p - 15. Which is smaller: -17/6 or p?
p
Let t = 0.6 - -0.4. Let p = 27 + -136/5. Which is smaller: t or p?
p
Let i = -20.7 - -22. Which is bigger: 1 or i?
i
Let q = 8 - 8.6. Let v = 1 - 0.5. Let l = v + q. Which is smaller: l or -1/3?
-1/3
Let i(x) = 4*x - 20. Let g = -23 + 29. Let w be i(g). Which is smaller: 0 or w?
0
Suppose 0 = 3*u - 9*u - 18. Are u and -5 unequal?
True
Suppose 5*v = 3*h + h + 195, -4*h - 5*v - 165 = 0. Which is smaller: h or -44?
h
Suppose -b = -6 + 3. Let o(m) = -3*m**2 + 30*m - 26. Let w(d) = d**2 - 10*d + 9. Let y(v) = 2*o(v) + 7*w(v). Let z be y(9). Which is smaller: z or b?
z
Suppose 3*k - k = 18. Let m = k + -6. Suppose 15 = -m*s - 2*s, 2*r = -4*s - 10. Is r at least -5?
True
Let p(z) = -z**2 - 3*z - 3. Let i be p(-7). Is -32 < i?
True
Let o(s) = s**3 - 7*s**2 + s - 6. Let g be o(7). Is g > -2/11?
True
Suppose -2*f = -11 + 13. Which is greater: -2/5 or f?
-2/5
Let x = 9 - 6. Let o = x + -19. Let y be (-3 - -5)*2/o. Are 2/7 and y equal?
False
Let f = -56 + 56.03. Is f smaller than 4?
True
Let q(s) = s - 1. Let z be q(-3). Let x = 16 - 20. Is x greater than or equal to z?
True
Let k = 0.036 + 0.064. Does -4 = k?
False
Suppose 2*h + h = -30. Let a be (h/4)/(1/2). Is -4 equal to a?
False
Let o(y) = -2*y - 11. Let b be o(-5). Are b and -1/2 equal?
False
Suppose -2*f = -5*y + 2, -3*f - y = 4*y - 22. Let o = 1.6 + 0.4. Is f at least o?
True
Suppose 0 = 2*l + 2*x + 3*x + 7, -l - 3 = 2*x. Let n be (l - -3)*(-3)/(-6). Is n at least 1?
True
Let d = -0.9 + 1.3. Let h = -0.3 + -1.7. Is d greater than or equal to h?
True
Let c be 21/(-14)*(-4)/6. Let a be 3 - ((-106)/(-52) + c). Are 0 and a nonequal?
True
Let m = 11 - 27. Do -15 and m have the same value?
False
Let q(y) be the third derivative of y**4/24 - 7*y**3/6 + 2*y**2. Let v be q(3). Let i be v - (1 + (-2 - 0)). Is -3 less than i?
False
Suppose 2*w - 3*q - 3 = 0, 3*w + 5*q + 0*q + 5 = 0. Is -3/14 less than w?
True
Let m = -111 + 99. Which is greater: 2 or m?
2
Let v = -52 - -51.6. Which is smaller: v or 2/15?
v
Let z = 35 + -456/13. Suppose 4 - 7 = 3*b. Is z > b?
True
Let a = -32 + 32. Is -10 bigger than a?
False
Let x(h) = -h**3 - 2*h**2 - 3*h - 2. Let s be x(-2). Let r = s - 3. Let n be 8/(-12) + (-34)/(-42). Which is bigger: r or n?
r
Suppose -2*x = 4*q - 2, q + 4*x - 13 - 5 = 0. Let z be (-2 + 1 - q) + 19. Suppose z = -5*t, -5*o = -0*o + 2*t + 3. Are -1 and o unequal?
True
Let s be (18/(-21))/(15/12). Let n = 87/280 + s. Suppose -5*p = 5*d - 15, -8*d + 4*p = -3*d + 3. Is d < n?
False
Suppose 2*m + 2 = 3*m. Let i(c) = 4*c + 6 + 0*c - 3*c - 2*c. Let d be i(3). Which is bigger: m or d?
d
Let v(z) = -z**3 + 3*z + 2. Let n be v(-2). Do -1/5 and n have the same value?
False
Let o = -20 + 20. Suppose 4*v + 3*q = v + 60, 3*v + 4*q - 65 = o. Is 15 >= v?
True
Let t(j) = 3*j**2 - 79 + j**3 + 2*j**3 + 82 + j - 2*j**3. Suppose 3*y + 2*y = 3*a - 6, 4*a + 12 = 0. Let g be t(y). Which is bigger: -1/4 or g?
g
Let q(m) = m**3 - 13*m**2 + 11*m + 17. Let b be q(12). Suppose 3*v + 0*v + b*t - 18 = 0, -4*v + 2*t - 2 = 0. Which is smaller: 1/15 or v?
1/15
Let f be (62/52)/(27/(-18)). Let y = f + 6/13. Which is smaller: 0 or y?
y
Let u be 30/50 - 8/30. Is 1 >= u?
True
Suppose p - 2 = -0. Let b(d) = -d**3 - 5*d**2 - 4*d + 5. Let j be b(-4). Let h be j/(-20) - (-11)/12. Is h not equal to p?
True
Let o(t) = -2*t - 11. Let v be o(-6). Let f be v/2*1*-18. Is f less than or equal to -10?
False
Let p(a) = -4*a**2 + 9*a - 11. Let s be p(7). Which is smaller: s or -145?
-145
Let y = -0.853 + 4.983. Let o = y + 0.07. Let z = -4 + o. Which is smaller: 0.3 or z?
z
Let w(i) = 36*i**2 + 2*i + 1. Let p be w(-1). Let u be 10/p*2/(-4). Which is smaller: 0 or u?
u
Let x = 25.9 + -19. Let a = 7 - x. Let v = 0.3 - 0.2. Is v greater than a?
False
Suppose -5 = y - 8. Let c(s) = s**2 + 2*s - 3. Let d be c(-4). Let k = 9 - d. Is y not equal to k?
True
Let j(a) = -3*a**3 + 21*a**2 + 21*a + 15. Let p(g) = 7*g**3 - 43*g**2 - 43*g - 29. Let l(t) = -9*j(t) - 4*p(t). Let u be l(-16). Which is bigger: 0 or u?
0
Let n(q) be the third derivative of q**4/24 - q**3 + q**2. Let m be n(8). Suppose m*u + 10 = 3*d, -2*u - 3*d + 4 - 2 = 0. Is -3 bigger than u?
False
Let j(d) be the second derivative of d**3/6 + 7*d**2/2 - d. Let g be j(-7). Let s = -0.2 + 0.2. Is g bigger than s?
False
Let s = 0.19 - -0.01. Let y = -7/26 + 1/52. Which is bigger: s or y?
s
Let d = -14 - -19. Which is bigger: 3 or d?
d
Let b be (1 - 6)*(-2)/(-5). Suppose r - 2*j - 11 = 0, -r + 4*j = -6 - 3. Let f = r + -16. Which is bigger: b or f?
b
Let n = 114 - 116. Is 35 != n?
True
Let t = -139 + 121. Is -19 at least t?
False
Let r(u) = -u**3 + 5*u**2 - 3*u - 4. Let f be r(4). Is f at most 1?
True
Suppose 0 = -2*j - 8 - 4. Let y = j - -16. Which is greater: y or 9?
y
Let w(o) = -o**2 - 6*o + 5. Let x be w(-7). Let t = 0 + x. Let c be (-1)/(-1)*(t - 1). Are -3 and c non-equal?
False
Let c(g) be the second derivative of g**3/6 - 5*g**2/2 - 3*g. Let a be c(6). Which is greater: a or 1/3?
a
Let b = 3 - 5. Let g(h) be the first derivative of -2*h**3/3 - 3*h**2/2 + 1. Let w be g(-2). Are w and b unequal?
False
Let v = -10.84 - -11. Let j = v - 9.16. Let g = 9 + j. Which is greater: -0.1 or g?
g
Suppose -2*x = x - 6. Suppose x*f = -f - v, 5*f = 3*v + 14. Is 1 smaller than f?
False
Let f be (-12)/(-8) + (-33)/6. Is f smaller than -2?
True
Let r = -15 + 16.9. Let n = r + -2. Is n at most 2/9?
True
Let v = -5 - -3.8. Let d = v + 1.4. Let n = 0.6 - 2.6. Are d and n unequal?
True
Let y = 16 - 7. Let q = -29/3 + y. Is -0.1 != q?
True
Suppose -3*t = -0*z - 4*z + 2, 0 = -4*z - 3*t - 10. Let d be 6/(-8)*(11 + -3). Let r = -8 - d. Which is greater: r or z?
z
Let n = 0.08 + -0.84. Is 2/3 equal to n?
False
Let q be 12/11*5/(-10). Are -2 and q unequal?
True
Suppose 2*v = -5*m + 60, -3*m + m - 4*v + 24 = 0. Is m < 12?
False
Let u(i) = -2*i**2 + 3*i - 6. Let s(b) = b**2 + b - 1. Let l(a) = -5*s(a) + u(a). Let w be l(-1). Let t = w - -2. Which is smaller: -3 or t?
t
Let b(i) be the second derivative of -i**5/20 + i**4/12 + i**2/2 + 5*i. Let y be b(0). Which is greater: y or 3/10?
y
Let q be (84/(-34))/(-2)*3 - 3. Are q and 0 non-equal?
True
Let t = -6 - -5.9. Let p = -0.2 + 0. Let v = t - p. Is -1/2 greater than v?
False
Suppose 22 = -4*l + 2*l. Which is smaller: l or -10?
l
Let a = -8471/3 + 2864. Let o = a - 40. Suppose d + 0 = 1. Does d = o?
False
Suppose -7*q + 2*q - 5 = 0. Let z(f) = f + 5. Let r be z(-5). Let i be 1 + -1 + r + 0. Which is smaller: q or i?
q
Let c = 4 - 17. Let b be 6/c*2/(-9). Let l = 3/13 + b. Is l equal to -1?
False
Let q(s) = 3*s - 2. Let u be q(2). Let y be (2/u)/((-6)/(-36)). Which is greater: -2/9 or y?
y
Let p = 25 + -26. Which is smaller: 4/49 or p?
p
Suppose 2*f + 0*f + 10 = 0. Suppose 0 = -j + 4*c - 3, -6*j + 2*j = 5*c - 51. Let h be -2 + ((-75)/j)/f. Which is greater: h or 1?
1
Let l = -51 - -71. Is l smaller than 19?
False
Let w(l) = 3*l + 2. Let t be w(-3). Let n be t/(-70)*5/(-4). Is 0 bigger than n?
True
Let w = 5/7 - 61/105. Which is smaller: -1 or w?
-1
Let y be (-3)/54*6/34. Let w = -211/714 - y. Is 2/7 bigger than w?
True
Let r be (-2)/(-4)*1 - 363/22. Is r at least as big as 1?
False
Let h = 6.01 + -0.01. Which is greater: h or -0.3?
h
Let p(o) = o**3 + 8*o**2 + 3*o - 8. Let g be p(-7). Suppose 2*u + 2*u = -g. Let d be (-2)/4*(u - -3). Are 3/7 and d unequal?
True
Let j = -4817 - -38125/8. Let p = j - -1405/56. Let o = p - -2010/77. Which is smaller: o or 0?
o
Let d = -12 + 14. Which is greater: d or 1?
d
Let g = 19/17 - 21/17. Let s = 23.9 + -24. Is s less than or equal to g?
False
Suppose 3*u + u = 176. Let c be -1*(u/16 + -2). Is -2 bigger than c?
False
Suppose 4*x = -2 - 18. Let o(z) = -z**3 - 10*z**2 - 10*z - 15. Let h be o(-9). Let r = x - h. Is 2 less than or equal to r?
False
Suppose f - 6 - 1 = -2*l, 4*f - l + 8 = 0. Let m be (27/(-144))/((-6)/4). Is f > m?
False
Let z be (56 + -4)*(2 - (-10)/(-8)). Which is greater: z or 40?
40
Suppose -6*i = 5*m - i + 110, 0 = -4*m + 5*i - 124. Which is smaller: -27 or m?
-27
Sup