t h(c) = c + 8. Let a be h(-6). Suppose 0 = -2*n + 5*n. Which is smaller: a or n?
n
Let o = 0.073 - 22.873. Let t = 23 + o. Are 0 and t unequal?
True
Let n(w) = -w**2 + 3*w - 4. Let t(p) = 6*p**2 - 15*p + 21. Let h(d) = 11*n(d) + 2*t(d). Let c be h(-4). Does c = -1?
False
Let s(o) = -o**2 + 4*o - 3. Let m be s(6). Let b be -1 + 0 + m/(-27). Which is smaller: -1 or b?
-1
Let x = 374.16 + -381. Let n = x - 0.16. Is n greater than or equal to -2/7?
False
Suppose -4*j - 17 = 4*q - 7*q, -2*j = 5*q + 15. Which is smaller: -2/447 or q?
q
Let p(o) = 2*o + 3. Let k be p(-5). Let m be 2/(-5) + (-86)/10. Which is smaller: m or k?
m
Let j be -18*(6/(-4))/3. Let q = 3 - j. Let h = 4 + q. Is h at least as big as -2?
True
Suppose 2*f = -4*v + 4, 2*v - 3*v = 5*f + 17. Let l = f - -5. Let r be 0/(2*(-1 + 0)). Is r at most l?
True
Let d(r) = r**3 - 7*r**2 - 5*r - 3. Let v be d(8). Is v less than or equal to 21?
True
Suppose -5 = 3*b - 2. Suppose 4*y - 2*u + 242 = 0, 4*y - u + 261 = 20. Let q be (122/y - -2)*-4. Are b and q equal?
False
Suppose 2*q - 3*q = -4. Let y = 0 + 5. Which is smaller: y or q?
q
Let r be ((-11)/154)/((-4)/14). Let t = -3.8 - -4. Let a = t - 0.1. Is r greater than a?
True
Let a(x) be the second derivative of -x**4/12 - x**3 - 3*x**2/2 - 9*x. Let v be a(-4). Is v greater than or equal to 3?
True
Let x = 81 - 64. Do x and 1 have the same value?
False
Let z = 4 - 3. Let a = -23 + 25. Is a less than or equal to z?
False
Let k be (-2 + 6)*1/4. Does k = -1/19?
False
Let y = -12 - -12. Let c be (10 - y) + (-2 - -3). Is c equal to 11?
True
Let k be (3 + -4)*5*-1. Suppose k*o - 4*o + 8 = 0. Is o at most as big as -7?
True
Let i(d) = d**3 + 8*d**2 + 6*d - 1. Let o be i(-7). Let l be o + (-3 - 1/(-1)). Let k be l/22 + (-2)/11. Which is smaller: k or 3/4?
k
Let j = -20 + 10. Let v = -8.96 + -0.04. Let d = j - v. Which is bigger: d or 1?
1
Let j be 2 - (-1 - 7/(-2)). Let v be (-2)/(-2) + 1 + -2. Is j at least as big as v?
False
Let u(c) = 7 + 2 - 1 - 2*c. Let h be u(6). Let k be 0 + 1 + 6/h. Which is bigger: -2 or k?
k
Let v = 6 + -2. Suppose -2 = v*p + 2. Which is smaller: p or 0?
p
Let f be (-4 - (-56)/20)/(6/(-15)). Suppose 0*t - 4*o - 26 = -2*t, -5*o - 16 = 3*t. Is f bigger than t?
False
Let n(f) = -f - 11. Let h be n(-23). Are h and 12 non-equal?
False
Let c = -3 + 3. Let f = -19 + 18. Which is smaller: c or f?
f
Suppose 4 + 6 = 5*t. Suppose -7 = -t*v - 5. Are 2 and v nonequal?
True
Let v = 0.4 + 0.6. Let n = -1.3 + v. Which is bigger: n or 1?
1
Let z = 1.3 + -0.3. Let o = -0.22 - -0.22. Let s = z - o. Is 2/5 at least as big as s?
False
Suppose -3*a + 2*a = 0. Suppose a = 2*h + 3*h. Is 1 >= h?
True
Let r = -1.2 - -1.5. Is r at least 0.2?
True
Suppose 0 = -f + 3 + 3. Let n(a) = -a**3 + 6*a**2 - 2*a + 8. Let i be n(f). Let j = -6 - i. Which is smaller: -2/3 or j?
j
Let p = 67 - 135. Which is greater: 2 or p?
2
Suppose 1 - 65 = 4*f. Let c be ((-8)/2)/f*6. Is -0.1 less than or equal to c?
True
Let i be (((-4)/(-3))/2)/(8/(-564)). Is -48 at least i?
False
Let r be (-8)/(-20) - (-9)/(-10). Does r = 3?
False
Let i(d) = d**2 - 1. Let p be i(-1). Suppose 5*t - j = -66, -30 = 3*t - j - 2*j. Let x = t - -13. Which is greater: p or x?
p
Let i = -19.5 - -20.5. Which is bigger: i or -2/61?
i
Let f = -38 - -47. Which is smaller: f or 10?
f
Let g = -0.4 - -8.4. Let n = g + -15. Let a = n - -9. Which is greater: 2/9 or a?
a
Let j = -19.2 + 16. Let m = -0.3 - j. Let c = 3 - m. Which is greater: 2 or c?
2
Suppose -4*o = 75 - 11. Let w be (3/6)/((-4)/o). Let j = 2 + -1. Which is bigger: j or w?
w
Suppose 5*r - 2*f = 57, f - 4*f = -2*r + 25. Which is greater: 13 or r?
13
Let s(a) be the third derivative of -a**6/20 - a**5/60 + a**4/24 + a**3/6 - 3*a**2. Let w be s(-1). Do w and 5 have different values?
False
Let d = -124/7 - -4602/259. Is d <= 0?
False
Let l(c) = c - 5. Let u be l(4). Is 0.1 at least u?
True
Let l be ((-8)/12)/(22/(-6)). Let u = -0.4 + 0.5. Which is smaller: l or u?
u
Let b be (1/(-11))/(11/(-264)). Which is greater: b or 1?
b
Let y = -53 + 68. Is y > 15?
False
Let x = -0.59 + -63.41. Which is smaller: x or -1/3?
x
Let v be 5/(-5) + 28/(-2). Let b be (-6)/15 + 69/v. Is -5 less than or equal to b?
True
Let h = 0 + 1. Let i = 0.1 + 0. Let l = i + -0.2. Is l less than or equal to h?
True
Let h = -12 + 11. Let v = 2/225 - 464/1575. Is v >= h?
True
Suppose 3*f - 29 = -5*p, -4*p - 4*f + 20 = -2*p. Is p <= 6?
True
Let k(g) = -g**3 - 4*g**2 - g + 4. Let y be k(-3). Let t(x) = -x**3 + 4*x**2 + 1. Let d be t(4). Let p = y + d. Is p at least -1/8?
False
Suppose -5*r - 20 = -r. Let b = r + -1. Let z = b + 5. Is -1 at most z?
True
Let v = 0.11 - -0.89. Which is smaller: -0.14 or v?
-0.14
Let m be (1 - 1 - 1) + 4. Suppose -m*t - 2*w - 3 + 11 = 0, 5*t + w = 4. Is t greater than or equal to -2?
True
Let m = 0.91 - -0.09. Which is smaller: -5 or m?
-5
Suppose 0 = 4*w - 9*w + 50. Suppose -c + 7*j - 2*j = w, -4*j + 19 = -3*c. Are c and -4 nonequal?
True
Let z be (2/(-22))/((-2)/(-2598)). Let x = 118 + z. Let o = -1 - 0. Which is bigger: o or x?
x
Let f = -46013986/623 - -73859. Let v = 1/89 + f. Which is bigger: -1 or v?
v
Let g = -141/4 - -35. Is 6 at least as big as g?
True
Let s = 0.07 - -0.03. Let d = s + 0. Which is bigger: 0.2 or d?
0.2
Let i = 3.2 + -1.2. Which is smaller: 6 or i?
i
Let a = -1.2 - -1.25. Let m = -0.05 + a. Is m > 4?
False
Suppose 8 = -4*f + 5*s, 3 + 7 = 2*f + s. Which is smaller: 4 or f?
f
Suppose 6*s = 5*y + s - 10, -10 = y + 5*s. Let u = -87 - -87.2. Is u at least y?
True
Let s(p) = -2*p**2 - p + 1. Let l be s(-1). Is -1 < l?
True
Let b be (1 + 0)/((-2)/(-26)). Let x(u) = -u**3 - 14*u**2 - 13*u + 14. Let y be x(-13). Which is smaller: b or y?
b
Let l = 0 + 1. Let n = 105417/76 + -1387. Let i = -6/19 + n. Which is smaller: i or l?
i
Let m be (-10)/2*(-2)/5. Let r(d) = -d. Let a be r(m). Let o(y) = -3*y + 1. Let f be o(1). Are a and f nonequal?
False
Let h = -8 - -26. Is h smaller than 17?
False
Let i = -1.2 + 1.2. Which is bigger: 3 or i?
3
Let h be 1*((-19)/9 - -1). Let x = -11/18 - h. Is x less than 0.2?
False
Let r = -4 + 4. Which is smaller: 2/7 or r?
r
Let g = 180/11 + -1679/110. Let k = 37/20 - g. Is 1 <= k?
False
Let g = 275/126 + -40/21. Which is smaller: g or 1?
g
Let z = 40 - 6. Suppose -5*k = 2*w + 13 - z, -k + 3*w + 11 = 0. Suppose -k*y = -0*t + 2*t - 1, -7 = -5*y - 4*t. Is 0 at least as big as y?
True
Let s be (6/(-255))/((-11)/110). Is s at most as big as 0?
False
Suppose 18 + 0 = -3*m. Let p be (-1)/(-3) + m/(-9). Which is smaller: p or -2/5?
-2/5
Suppose -4*v = -3*v. Let a be 26/7 - 2/(-7). Suppose 2*h = 6*h + a. Which is greater: h or v?
v
Let p = -14 - -25. Let d = 14 - p. Is d not equal to 3?
False
Let z(y) = 5*y**2 - 2*y + 1. Suppose -1 + 9 = 2*m + 3*i, -5*i = -10. Let f be z(m). Suppose 5*d - 17 = a + a, 2*a = f*d - 14. Which is greater: -2 or a?
a
Let w(j) = 2*j**3 - j**2 - 2*j - 1. Let u be w(-1). Which is greater: -6 or u?
u
Let g(x) = 2*x - 1. Let y be g(-3). Let f(i) = i**3 + 7*i**2 + i + 6. Let u be f(y). Is -1 less than u?
False
Suppose 3*r = p + 27 + 16, -5*r + 66 = 4*p. Suppose -5*q - r = 1. Which is smaller: q or -4?
-4
Let m = -63 + 69. Which is smaller: m or 16/3?
16/3
Suppose -3*b + 1 = -2. Let s = 0.1 + 0.1. Which is smaller: s or b?
s
Let d be 18/(-12)*(-4)/3. Suppose -2*v = -v - 4*y + 6, 2*v - d*y = 0. Is 2 at least as big as v?
True
Let c be (-2 + -5 + 4)/(26/(-16)). Which is greater: c or 1?
c
Let b(q) = -5*q**2 + 10*q + 2. Let y(v) = v**2 - 1. Let n(u) = b(u) + 4*y(u). Let c be n(10). Let t = -6 - -4. Do c and t have the same value?
True
Let x = -468 + 460. Suppose -5*z + z = 28. Which is smaller: x or z?
x
Let y be (-3)/4*(-4)/6. Let x = 0.3 - 0.2. Let h = 0 + x. Is h greater than or equal to y?
False
Let s(m) = 5*m + 3 + 2*m - 2 + m**2 + 1. Let n be s(-7). Which is greater: 1/2 or n?
n
Let z = 14 + -13.95. Let q = 4.05 - z. Which is smaller: 2/7 or q?
2/7
Let y = -75 + 60. Which is greater: y or -74/5?
-74/5
Let b = -3 + -1. Let u = 3 + b. Which is smaller: -1/4 or u?
u
Let q = 16 + -10. Is 6 smaller than q?
False
Let a be (4/(-5))/(-5*426/(-150)). Which is smaller: 1 or a?
a
Let f = 19 + -17. Suppose -5*i + 20 = 0, -2*d + i + 18 = -2*i. Let j be d/10*(-8)/(-3). Which is smaller: j or f?
f
Let o(n) 