 - -8. Let c = i + 5. Let w(d) = -d + 2. Let h be w(0). Which is smaller: h or c?
c
Suppose -2*t = t - 12. Let h be (-6 + 12)/(3/t). Which is smaller: 7 or h?
7
Let j(p) = p**2 + 9*p + 9. Let y be j(-7). Let i be y/100 - 2/(-8). Let x = -3 + 2. Is x at most i?
True
Let d(z) = -z - 2. Let f be d(-5). Suppose u - f*u - 2 = 0. Which is smaller: u or -2?
-2
Suppose -5*z + 6 + 21 = w, 3*w - 4*z + 14 = 0. Let p be w - 1/(31/60). Is p not equal to -1?
True
Let n = 13 - 16. Which is bigger: -4 or n?
n
Suppose 0 = -11*v + 102 - 14. Which is smaller: 9 or v?
v
Let r = -7.846 + -0.014. Let q = 0.14 - r. Let s = q - 6. Is -2 bigger than s?
False
Let y be 18/(-4) + 1/2. Let g = y + 7. Suppose g = -2*p + 1. Which is bigger: 2/5 or p?
2/5
Let s be (1/(-10))/(4/10). Let q(l) be the second derivative of -l**5/20 - l**4/12 + l**3/3 + l. Let u be q(-2). Which is greater: u or s?
u
Let x(q) = -q**3 + 8*q**2 + q - 1. Let d be x(8). Suppose -4*g + d*g = 18. Suppose -5*r = -g*r. Which is bigger: r or -2/7?
r
Let t(d) = -d**2 + 6*d + 1. Let x be t(6). Suppose -g + x = -b, 0 = 4*b - 4*g + 8*g - 4. Suppose u = 2*s + 3, -3*s - 2*u - 8 = -b. Are -2 and s non-equal?
False
Let l = -4/143 - -743/1001. Is l less than 1?
True
Suppose 5*f + 36 = 4*t, -f - 3*t + 13 = -3*f. Is f less than -39/5?
True
Let c = -0.102 + 0.302. Let s = -2.02 - -0.02. Which is bigger: c or s?
c
Let n(j) = j**2 - 7*j + 8. Let f = -12 + 35. Suppose 3*r - f + 5 = 0. Let u be n(r). Which is bigger: u or 2/3?
u
Let o(n) be the third derivative of -1/24*n**4 + 2*n**2 + 1/3*n**3 - 1/60*n**5 + 0 + 0*n. Let v be o(-2). Which is smaller: 2/3 or v?
v
Let d be 28/(-14) - 10/(-4). Suppose -5*i - 15 = 0, -2*c - 6 = i - 3. Let f be -1 + 1 + 1 + c. Which is bigger: f or d?
f
Let m = -0.01 - -0.04. Let q = -1.03 + m. Let v = -10 + 10.1. Is q less than or equal to v?
True
Suppose 0*r - 22 = 3*a - r, -2*a + r = 13. Which is smaller: -6 or a?
a
Let a = 69 - 72. Let c be 1 + -1 - (-1 + 5). Which is greater: a or c?
a
Let g be (8/8)/(1/2). Suppose 39 = 5*m + 4. Suppose -g*i + m = 1. Are i and 3 equal?
True
Let z be (1/3)/((-1728)/344 + 5). Is -15 greater than or equal to z?
False
Suppose -u + 9*g = 4*g - 21, 2*g + 3 = -5*u. Let v be u/2 + (-15)/(-10). Is -2 != v?
True
Suppose 4*d = -3*t - 29, -t - 4*t + 5*d + 10 = 0. Let q be (0 - 10)/(-5 - t). Which is greater: 4 or q?
q
Let s = -50849/51 - -997. Which is bigger: s or -1?
s
Let d = 19 + -93/5. Is d bigger than 4/7?
False
Let h(o) = o**2 + o - 3. Let i be h(3). Let g = 148 - 140. Are g and i nonequal?
True
Let j = 25/3 - 9. Is 0 greater than or equal to j?
True
Let j(m) = -m**3 + 2*m**2 + m. Let v be j(3). Let c be 0/(v/9*3). Is 0.4 < c?
False
Suppose 2*p + 19 = 3. Let k be (-6)/(-4)*p/(-30). Is k <= -1?
False
Let s = -4.2 + 4. Let r = -5 - -7. Let f = -2.1 + r. Which is greater: f or s?
f
Suppose w - 1 = -0*w. Which is bigger: w or -11?
w
Suppose b + 4*h + 3 = 9, 0 = 3*b + h - 18. Which is smaller: b or 5?
5
Let f(n) = -2*n - 4. Let o = -17 + 29. Suppose o + 3 = -5*h. Let q be f(h). Which is bigger: q or -0.1?
q
Let x = -1 - -0.97. Which is bigger: 0 or x?
0
Let n = 0.21 + 0.09. Let z = -1 - 0. Is z at least n?
False
Let z be (-3)/(-1) + -5 - -4. Suppose -5*t + z = -4*t. Let h be -2 + ((-22)/6)/(-1). Do h and t have different values?
True
Let d = 0 + 5. Suppose 3*p - d*p = 0. Let i be ((-1)/30)/(1/4). Which is bigger: p or i?
p
Let i be (-3)/2*4/3. Let s = i + 3. Which is bigger: s or 6?
6
Let h be (-8)/(-28) - 82/(-7). Suppose -4*p = h, v - 3*p + 0*p = 10. Suppose -f + v = -2*f. Which is smaller: 1 or f?
f
Suppose 0 = -f - 3, 2*s + 115 = 3*f - 124. Is s smaller than -125?
False
Let s = 25 + -22. Let z = 3.2 - s. Which is bigger: -2 or z?
z
Let u(m) = m + 10. Let t be u(6). Which is smaller: 7 or t?
7
Let c = 24 + -24. Which is smaller: c or -1/23?
-1/23
Let j(u) = -2*u + 1. Let n(l) = 3*l - 3. Let d(b) = -5*j(b) - 3*n(b). Let k be d(-5). Let o be (-1)/(-5) + k - -1. Do 0.1 and o have different values?
True
Let a be (-2)/(0 + (-1 - -3)). Is -19/9 equal to a?
False
Let i be 2/3*(7 - 10). Is i greater than or equal to -9?
True
Let q(d) = -3*d - 10. Let j be q(-5). Are j and 6 unequal?
True
Suppose 5*y - 12 = 4*t, -5*y - 3*t = -5*t - 6. Which is bigger: 7/8 or y?
7/8
Suppose 3*s + 413 = -4*s. Is -59 greater than s?
False
Let p(z) = -2*z**2 - 5*z - 2. Let c be p(-3). Let a = c + 34/7. Let b(j) = -j + 5. Let f be b(6). Is a < f?
False
Let m = -27 - -31. Is m less than or equal to 15/4?
False
Let c(h) = -h**2 + 2*h. Let y be c(1). Let q be 1/((2 - y)/(-1)). Which is smaller: q or -1/5?
q
Let f = -0.02 - 16.98. Let k = f - -12. Let q = 4.7 + k. Which is smaller: 0 or q?
q
Let v be ((24/(-21))/(-4))/3. Let t = -3/7 + v. Is t <= 0.05?
True
Let p(s) = -s**2 - 14*s - 11. Let u be p(-13). Is 8/7 at least u?
False
Let s = 17/44 - 7/11. Suppose -4*o - 3*q = 2*q - 20, -4*o - 4*q = -16. Suppose -a - a - 4*h + 10 = o, 2 = h. Are s and a equal?
False
Let b = 74 + -47. Suppose 5*l - 7 = -b. Which is bigger: l or -6?
l
Let s = -1.19 + 27.19. Which is greater: s or -1/5?
s
Let n(g) = g**3 + 6*g**2 - 4*g + 4. Let z be n(-6). Suppose 0 = 4*d - q + 38, 2*d = -4*q - 0*q - z. Is -11 smaller than d?
True
Suppose 2*b + 3 = -c, 2 = 2*c - 2*b - 4. Are c and 7 unequal?
True
Let t = 16.989 - -0.011. Is -0.2 at most t?
True
Let y = -24 - -23.7. Are 3/7 and y non-equal?
True
Let q be (-12)/(-7) + 4/14. Let b be (-6)/(-4) - (4 - q). Let d = 18 - 18.3. Is b greater than or equal to d?
False
Suppose 5*n + 3*x - 9 = 7*x, -n + 9 = x. Suppose -3*l + 4*d = -15, 4*d + 0*d = -3*l + 15. Suppose -3*u = 4*z - 35, -n*z - l = -z - 5*u. Is z >= 3?
True
Let t = 42 - 22. Which is greater: -1 or t?
t
Let o be (3 - 1)/(-1) - -5. Suppose 0 = u - o*u + 2. Is 3/4 >= u?
False
Let a = -0.05 + 2.05. Let u = 2.9 - a. Let c = -1 + u. Which is smaller: 1 or c?
c
Let u = 28 - 17. Which is smaller: u or 10?
10
Let v be ((-6)/16)/(-13 + 10). Are -0.1 and v equal?
False
Suppose 2*g = -b + 7, -b = 4*g - 9*g. Let x be 15/4 + -2 - 2. Which is greater: x or g?
g
Suppose 2*h - 3 = 5*h. Let c = -0.8 + 0.7. Let a = c + 0.3. Which is bigger: h or a?
a
Let x be (-9)/36 + (-10)/56. Let u(d) = d + 4. Suppose 1 = i + 5. Let a be u(i). Which is bigger: x or a?
a
Let f(p) = p**3 + p + 1. Let q be f(0). Is q equal to 1?
True
Let x = -0.14 + 2.14. Which is smaller: -4/7 or x?
-4/7
Suppose 2*h - 6*h + 31 = -b, 32 = 3*h + b. Suppose -3*d + 0*d = -h. Do 0 and d have the same value?
False
Suppose -x - 3*p - 3 = 3, 3*x + 6 = -3*p. Suppose x = 5*g - 3*g + 2. Let u be (g + -3 + 3)*-1. Is u less than or equal to 2/27?
False
Let l(v) = v - 13. Let q be l(9). Let z be ((-50)/q - 3)*1. Is 11 greater than or equal to z?
True
Suppose 2*k - 20 = -3*q + 13, -q + k + 6 = 0. Let w(z) = z**3 - 10*z**2 + 7*z + 13. Let a be w(q). Which is smaller: a or -6?
-6
Let k(o) = o**2 + 9*o + 27. Let a be k(-7). Which is greater: 15 or a?
15
Let s = 188 - 379/2. Which is smaller: 0.25 or s?
s
Let r be 8/(-28) + (-20)/(-21). Let m = -5 - -7. Suppose 0 = 4*n + m - 10. Which is bigger: r or n?
n
Let t(z) = -12*z + 7. Let v be t(2). Is -1 not equal to v?
True
Let c = -3.8 + 3.6. Let x = 6 - 6.4. Is x >= c?
False
Suppose -7*u + 4*u = 6. Let r(q) = 2*q - 4. Let s(k) = 3*k - 8. Let g(w) = 5*r(w) - 3*s(w). Let h be g(-5). Is u at least h?
False
Let r be -1*(-1)/4 + 0. Let x(h) = h**2 + 6*h + 9. Let f be x(-3). Is r at least f?
True
Let m = 20 + -8. Let w be (-6)/(-4)*56/m. Let j = 10 - w. Is 2 < j?
True
Let j be 2 - (1 - 23/(-11)). Let q = -5/12 + 1/6. Is q smaller than j?
False
Let h = 17 - -23. Which is smaller: h or 39?
39
Let k = 15 + -20. Which is greater: k or 0?
0
Let y = 34 - 23. Let f(u) = -u + 1. Let o be f(-10). Is o greater than or equal to y?
True
Suppose -b - 5*y = -9, 0*y = -b - 4*y + 7. Which is bigger: 0 or b?
0
Let o be (-2)/8 + (-46)/(-24) + 4. Is 2/9 bigger than o?
False
Let m = -83.9 - -87. Which is bigger: m or -2/5?
m
Let k = 19.2 + -19. Which is bigger: -2/5 or k?
k
Let k be 2/(-2)*(1 + -1). Suppose k = -2*z + 3*f + 13, 4*f = 3*f - 1. Suppose -2*y + 8 - 2 = 0. Is z bigger than y?
True
Let t be 8/10*(-2 - (-306)/148). Is -1 at least t?
False
Let l = -0.35 - 0.12. Do -1 and l have the same value?
False
Let y be 10/(-25) + 66/(-10). Is y at most as big as -11?
Fa