et g be 1 + k/(-3) - o. Are g and -4 nonequal?
False
Let p = 1.6 + -7.6. Let a = p - -7. Let y = -1 + 3. Is a != y?
True
Let k = -10 - -9. Which is bigger: k or 1?
1
Let a(w) = w**3 + 3*w**2 - 3*w + 1. Let y be a(-4). Which is greater: y or -11/6?
-11/6
Suppose 0 = 3*j - 5 - 1. Are -0.01 and j unequal?
True
Let a = -0.3 + 0.4. Let p = 2 - 0. Let r be p - 4/(32/14). Is r >= a?
True
Let b = -509/918 - -11/27. Which is bigger: -1 or b?
b
Let y = -4 + 9. Suppose 0*u - y*x = -5*u + 15, 0 = 3*x + 15. Which is bigger: u or 0?
0
Let w(n) = -10*n**2 - 2*n - 1. Let o be w(-1). Let f be ((-3)/o)/(8/(-3)). Is -1 < f?
True
Let r = -10 - 0. Let p be (-4)/r + 16/(-140). Is p <= 4?
True
Let c = 175.9 - 149. Let h = 27 - c. Is h smaller than 1/4?
True
Suppose 2*f = -2*f + 68. Which is smaller: 18 or f?
f
Suppose 8*o - 41 + 177 = 0. Which is bigger: o or -18?
o
Let b = 68/41 - -1/123. Are b and 3 non-equal?
True
Let o = 31 + -32. Let p = -1/28 - 3/28. Is p bigger than o?
True
Let j be (-10)/15*(-1 + 10). Suppose -199 = -4*r - 35. Suppose l = 4*l - 3*w + 6, -3*l - 4*w = r. Which is smaller: l or j?
l
Let q(m) be the first derivative of -399*m**4/4 + m**3/3 - 4. Let l be q(1). Let g = -5972/15 - l. Is 1 bigger than g?
True
Let n(k) = k**2 + 6*k + 2. Let y be n(-4). Is y greater than or equal to -6?
True
Let r be 5*(3 + (-48)/(-20) + 0). Which is smaller: r or 1/4?
1/4
Let d = 10 + -15. Let f = -5.1 - d. Is f at most as big as 0.5?
True
Let p = -4.987 - 0.013. Let r = -18/11 + 65/33. Which is smaller: p or r?
p
Let y = 10 + -10.7. Let z = -4 + 1.3. Let l = y - z. Which is smaller: l or 0.2?
0.2
Let m be -1 + 0 + 2 + -9. Is 0.2 greater than m?
True
Let f = 0.5 - 2. Let v = f - 0.5. Let i = 2 + v. Are i and -3/5 equal?
False
Let t = -0.06 - -0.06. Let v(u) = u**3 - 4*u**2 - 5*u - 1. Let f be v(5). Is f less than or equal to t?
True
Let d(c) = -2*c. Suppose -h + 2 - 3 = 0. Let k be d(h). Suppose -2*w = k*w. Which is smaller: -3 or w?
-3
Let z be (-26922)/4*2/(-12). Let a = z + -1158. Let t = a - -71/2. Which is bigger: t or 0?
0
Let m = 20 - 10. Let a = m + -9.96. Let x = 2 - 2.1. Which is greater: a or x?
a
Suppose -3*i + 8 = i + 2*o, -4 = -o. Is 5/6 > i?
True
Suppose 5*v + 21 = -4. Let f = -3 - v. Do 2 and f have different values?
False
Suppose 0 = -2*w + 65 - 5. Is 31 smaller than w?
False
Let h = 113 - 563/5. Which is smaller: 1 or h?
h
Let d(x) = -x**2 - x**2 + 2 - x**2 + x + x**3. Let j be -4 - -2 - 4/(-1). Let v be d(j). Is v > 1?
False
Let h(i) = -2*i. Let g be h(0). Is g at least -2/33?
True
Suppose -4*k - 2 = 2*h, -5 - 4 = -3*k. Suppose 0 = 5*m - 3*x + 26, -2*x = 3 + 3. Let d = -15 - m. Is h greater than d?
True
Suppose -5*r + 28 = o + o, -3*o + 16 = r. Suppose -r*p + 53 = -7*p - 5*t, 4*p = -3*t - 67. Let l be ((-2)/p)/(2/(-12)). Are l and -1 unequal?
True
Let o(j) = 2*j**2 + 15*j + 18. Let m be o(-10). Is m greater than 69?
False
Let p = 10 + -2. Suppose -s + p = s. Suppose 0 = -5*m - 3*u + 11, 5*u + 6 + 5 = -m. Is m greater than s?
False
Let t = 0.23 - 0.3. Is t smaller than 0.2?
True
Let q = 25/3 + -8. Let c = -0.12 - -1.12. Which is greater: q or c?
c
Let s(i) = -i - 3. Let k be s(-5). Let u be 1/4 + 9/12. Is u less than or equal to k?
True
Let k = -105 - -105. Let r = -0.1 - -1.1. Which is greater: r or k?
r
Suppose -5*h - 23 = -8. Let j(t) = -t**2 - 2*t + 4. Let r be j(h). Let w be ((-42)/(-36))/(2/4). Is r bigger than w?
False
Suppose -4*o + 6*g - 2*g - 16 = 0, 0 = -o - 5*g + 20. Suppose 5*a = -o*a - 15. Let c = a - -2. Which is smaller: c or -1/4?
c
Let v = -14 + 15. Which is smaller: v or 0?
0
Let r = 3 + -1. Suppose -r*d - 4 = -8. Let t = 0.04 - 2.04. Is d >= t?
True
Let a = 64 - 66.9. Let j = 3 + a. Is 1.6 <= j?
False
Let x be 64/(-14) + 2 + 3. Let t(i) = -i - 1. Let j be t(-5). Suppose 0 = 2*c - 2*q + 10, -2*c + 3*q - 18 + j = 0. Is x smaller than c?
False
Let n be 4/24*-3*26. Let p = n + 13. Which is bigger: -3/10 or p?
p
Let k(b) = 2*b**2 - 22*b - 1. Let s be k(11). Which is bigger: s or -12?
s
Suppose 0 = -2*n - 6 - 72. Is n less than -39?
False
Let q be (-2)/(-8) - (-3)/3. Which is smaller: 1 or q?
1
Let f be (-5)/(-2) - 1/2. Let z(o) = -o + 5. Let l be z(4). Let x = l + 0. Is x != f?
True
Let s be (6/4 - 1) + 2. Let f(h) = -3*h + 1. Let q be f(-1). Is s greater than or equal to q?
False
Let g = 81 - 407/5. Which is smaller: g or -77?
-77
Let k be 5 + 0 + -4 - (-173)/(-91). Let h be (30/(-26) - -1)*4. Let o = h - k. Are -1 and o unequal?
True
Let u = -0.139 + 0.039. Is u < -1.7?
False
Suppose 28 = 2*z - 5*r, -3*r - 1 = z + 7. Is 5/2 greater than z?
False
Let t = -0.2 + -0.1. Let n = 3 - -2. Is n bigger than t?
True
Let c = 2.362 - -1.016. Let y = c - 0.078. Let m = 4 - y. Are -1 and m unequal?
True
Let x = -6 - -6.15. Let t = x - 0.05. Which is smaller: 17 or t?
t
Suppose -2*t - 3 - 5 = 0. Let c(s) = -s**3 - 5*s**2 + 2*s + 6. Let v be c(-5). Is t at most as big as v?
True
Let p = -1.95 + 2. Let i be 7/(63/12) + -1. Does i = p?
False
Let k = 1.3 - 0.3. Let d = -48 - -47. Are k and d nonequal?
True
Let g = 15 + -15. Let s(j) = j. Let y be s(g). Are y and 5/7 non-equal?
True
Suppose 0 = 3*y - 0*y - 39. Does y = 13?
True
Suppose 2 = m - 1. Let b(x) = x**3 + 4*x**2. Let h be b(-4). Let y be -3*(2 + h - 3). Is y bigger than m?
False
Suppose 8*p = 5*p + 18. Let i(a) = a**2 - 8*a + 6. Let q be i(8). Is p at most as big as q?
True
Let q = -45 - -27. Let k = q + 17.3. Which is smaller: -0.1 or k?
k
Let c be 4/16 - 13/68. Is -1 less than or equal to c?
True
Let n = -0.4 - 0.6. Let s = -1.1 + -2.9. Which is smaller: n or s?
s
Let q = -8 + 9. Let k be (-2)/(-7) + (-65)/105. Are q and k non-equal?
True
Suppose 5*v + r = 3, 4*r + 0*r - 12 = -4*v. Let o = 2349/8 + -294. Which is bigger: o or v?
v
Let f = 386/5 + -76. Let d = f + -13/15. Are -2 and d nonequal?
True
Let t be ((-4)/10)/((-65)/(-25)). Let v be 2/(-4) + 6 + -6. Which is smaller: t or v?
v
Let c(o) = -o**2 - 8*o + 11. Let m be (-2)/(12/(-9))*-6. Let f be c(m). Suppose -u + 4 = -i, u + i + 12 = -f*i. Which is bigger: u or -1?
u
Suppose -3*t - 19 = -3*r - 2*t, -t = r - 1. Let z = r - 7. Let v be 0/(1 + z) + -2. Is -3 greater than v?
False
Let y(u) = -u**3 - 4*u**2 - 4*u. Let m be y(-3). Suppose -3*d + 2*d - 2*w + m = 0, -4*d + 4*w + 12 = 0. Let r be 2*d/(-12)*-2. Is r at most as big as 1/2?
False
Let s(x) = -x**2 + 8*x - 11. Let q(z) = -6*z**2 + 39*z - 55. Let r(f) = 2*q(f) - 11*s(f). Let l be r(-11). Is l < 1/3?
True
Let r = -432 + 431. Let t = 4171/2175 - 56/29. Let c = t + -3/25. Which is smaller: c or r?
r
Let g be 0 - -1*(-6 + 2). Suppose -1 = -i + 6. Let a = g + i. Which is smaller: 4 or a?
a
Let q = 1.5 + -2.8. Let a = 0.3 + q. Let n = 44.6 + -45. Which is bigger: n or a?
n
Let v be ((-12)/27)/(4/(-6)). Is -0.1 at least as big as v?
False
Let h(r) = r**3 + 9. Let j be h(0). Let f = -3 + j. Let x = 92 - 462/5. Are f and x equal?
False
Suppose -21 + 21 = 2*f. Suppose -5*z + 3*a + 5 = 0, 4*z - z + 5*a - 3 = 0. Which is greater: z or f?
z
Let v = -32 - -24. Is -8 smaller than v?
False
Let u(d) = -3*d - 7. Let y = -4 + 1. Let j be u(y). Which is smaller: 4 or j?
j
Suppose -2*s = -6, -7 = n - 5*s + 9. Which is bigger: n or 1/6?
1/6
Let s = -5.22 - 0.58. Let n = s - -6. Is n equal to 0.3?
False
Let z(g) = g + 17. Let d be z(-12). Suppose -2*x = -d*o + 16, 5*o - 3*x - 24 = -5*x. Which is smaller: o or 0.1?
0.1
Let n = 140 - 139.9. Is n <= -26?
False
Let v = 2 + -9. Which is smaller: v or -5?
v
Let l(b) = b + 1. Let m be l(0). Let z be (2/(-3))/((-3)/(-9)). Let s(t) = t**3 + 4*t**2 + 3*t. Let i be s(z). Which is bigger: m or i?
i
Suppose 0 = 4*y - 5*t - 13, y = -0*y + t + 3. Let g(h) = h**2 - 10*h + 10. Let r be g(8). Let b be r + 8 - (1 + -1). Are y and b non-equal?
False
Let d(h) = -h**3 - 2*h**2 + 4*h - 1. Let b be d(-4). Suppose -6*l + l + b = 0. Suppose -3*w + 2*w = -2. Which is smaller: l or w?
w
Suppose c = 5 - 0. Let b(k) = -20*k + 182. Let g be b(9). Is c not equal to g?
True
Let v = 0.137 + 8.313. Let s = 1.35 - v. Let q = s - -7. Is q less than 0.3?
True
Let v = 6 - 0. Let q be (-2)/(-3) - (-2)/v. Which is smaller: q or 2/3?
2/3
Let g be (-2 + 1)*1/117*6. Which is greater: g or -1?
g
Let q = 0.4 - -0.6. Let p = 27/2 - 16. Which is bigger: p or q?
q
Suppose 5*i - 75 = 2*i. Let s be ((-