= 7*m - 3*m - 4, 0 = z - 2*m. Let k(w) = -3*w**2 - 2. Let p be k(z). Let s be (-2)/6 + p/(-21). Which is greater: s or 1?
1
Let w = 12 + -14. Let r = w + 8. Which is smaller: r or 0.1?
0.1
Let r be (-1)/2 + 7/14. Let x(g) = 1 - g - 1. Let c be x(r). Does -1 = c?
False
Suppose -t + 10 = 4*t. Let l be 85/585 - t/9. Let s = 12 - 11. Is l <= s?
True
Let d = -4 - 1. Is d greater than -6?
True
Let g be (0 - 1)*(1 - -8). Let h = -0.11 - -1.11. Which is bigger: g or h?
h
Suppose -5*a = -0*a. Suppose 5*y + s + 2 = a, s + 2 = y - 0*y. Is 5/7 < y?
False
Let h = -0.2 + 0. Let x be (((-1)/5)/1)/(-1). Which is smaller: h or x?
h
Let i be 0 - (-4)/(8/6). Suppose 4*v + 2*s - 184 = 0, i*v + s - 43 = 97. Let d = v + -145/3. Which is greater: d or -1?
d
Let l = -0.1 - 0.4. Let q = l + 0.3. Is 0.1 bigger than q?
True
Let d(h) = h**3 - 8*h**2 - 2*h + 12. Let m be d(8). Let g be 2 - (-14)/m*-2. Which is smaller: 8 or g?
8
Let p = 6.6 - 7.9. Is -1 greater than p?
True
Let n = 3 + 0. Suppose 3*i + 4*r = 30, 0 = -n*i + i + 3*r + 3. Let f be 3/i - 9/6. Which is smaller: 0 or f?
f
Let i(d) = d**3 + 3*d**2 + d + 3. Let v be i(-3). Which is smaller: v or -9/10?
-9/10
Let y = -9 - -13. Suppose -s - y*s = 5. Which is smaller: s or 2/13?
s
Let m = -2.2 - -5.2. Let l = -0.07 + -4.93. Let b = m + l. Is -2/7 less than or equal to b?
False
Let f be (-30)/4 + 4/8. Let s = -7 - f. Do s and 2 have different values?
True
Let a be -10*((-9)/6 + 1). Let c(k) = 4*k**2 + 2*k - 7. Let f(o) = -5*o**2 - o + 7. Let m(w) = -6*c(w) - 5*f(w). Let d be m(a). Which is smaller: -2 or d?
d
Let r = 0.4 - 0.9. Let w = 0.4 + r. Which is smaller: 2 or w?
w
Let h(g) = -9*g - 26. Let a be h(-3). Is a greater than or equal to 2/87?
True
Suppose 18 = 2*y + 3*c, 7 = y - 5*c + 24. Suppose -8 = y*p + 2*p + k, -2*k = 3*p + 2. Suppose -i - 9 = 2*i. Which is bigger: p or i?
p
Let c = 0.06 - -10.94. Is -1 smaller than c?
True
Let n = -2/3 - -23/21. Which is greater: n or -1?
n
Let i be 48/6 - 4*1. Suppose 4*m = 5*w + 14, -7*w + 2*w - 11 = -m. Is i greater than m?
True
Suppose 4*w + 13 = -u, -u - 5*w = -2 + 18. Let o = -116 + 577/5. Which is smaller: u or o?
u
Let y = 61 - 134. Is -73 at least y?
True
Let y(x) = -x**3 - x - 3. Let u = 2 + 1. Suppose 0 = -u*w - w. Let p be y(w). Is p >= -3?
True
Let l(v) = v**3 - 7*v**2 - 9*v + 11. Let h be l(8). Suppose 8 = -h*z + 2. Are -2 and z equal?
True
Let m(b) be the third derivative of b**4/24 + 5*b**3/6 + 3*b**2. Let z be m(-5). Are z and 1 equal?
False
Let b = 18 - 15. Do -1 and b have the same value?
False
Let r be (-6)/4 - 3/(-6). Suppose 4*f + 21 = 9. Let j be -3 + -11*f/15. Which is smaller: r or j?
r
Suppose 0 = o + 4*m + 32, 28 + 60 = -5*o - 2*m. Let f be (-2)/(o/(-6) + -2). Is f >= -3?
True
Let l be ((-5)/4)/((-5)/2). Let b = 3 + -2.99. Do b and l have the same value?
False
Suppose -3*o + 2*o = 0. Let s be 1/27*(7 - 9). Is s greater than o?
False
Let f(s) = -s**2 - 10*s - 13. Let h be f(-10). Is h bigger than -14?
True
Let z = 107/442 - 3/34. Which is smaller: z or 0.03?
0.03
Suppose 2*q - 3*u + 101 - 18 = 0, 0 = q - 3*u + 43. Which is bigger: q or -2?
-2
Let y = 0 + -5. Let f be (4/4)/(y/(-2)). Let x = 4 + -2. Which is smaller: x or f?
f
Let a = 4450/1131 + -51/13. Let x = 150/3203 - 638587/1393305. Let y = a + x. Is y smaller than 0?
True
Let z = -17 - -18. Which is bigger: z or -44?
z
Let a(v) be the third derivative of v**6/120 + 11*v**5/60 - v**4/24 - 11*v**3/6 - 3*v**2. Let o be a(-11). Let r = o - 1. Are r and 3/7 equal?
False
Suppose -45*o + 12 = -46*o. Is -13 not equal to o?
True
Let q be (-4)/(4/(-2)) + -2. Suppose 0 = -4*a - q*a. Let r = 145/188 - 1/47. Which is greater: a or r?
r
Let w = 0.09 + -2.09. Let o = w + 5. Which is smaller: o or -0.1?
-0.1
Suppose 0 = -w + 2*w + 5*d - 27, -5*d + 48 = 4*w. Suppose g + 6 = 3*x - 23, g + 5 = 0. Which is bigger: w or x?
x
Let m = 11 + -21. Is -8 greater than m?
True
Let b = -38.8 - -46. Let h = b + -3. Let i = h - 4. Is -0.1 smaller than i?
True
Suppose 0*v - 16 = -v. Suppose -3*w - v = -4*j, j + 2*w = 5*w + 4. Is 2 < j?
True
Let d = -5 - -7. Let j(x) = -2*x + 2. Let l be j(0). Suppose l*s + 2*s = 0. Is d at least as big as s?
True
Let j be -4 - (2/(-14))/(11/187). Are j and -1 non-equal?
True
Suppose 0 = -5*d - 0*d. Suppose -3*m + d*i = 3*i + 3, m + 10 = -4*i. Let y = -1 + m. Is y at most as big as 1?
True
Let l = 7 - 10. Let u be (l/10)/(12/16). Do u and -1 have the same value?
False
Suppose 5*w + 36 = -3*r + w, -4*w = -2*r - 4. Let u(x) = -x**3 - 8*x**2 - x - 10. Let v be u(r). Which is bigger: v or -1/4?
-1/4
Let u = 1 + -5. Let n = u - -1. Let c = 7 + n. Which is smaller: 0 or c?
0
Let s = 37/4 + -9. Suppose 0 = 2*x - 3*x - 9. Do s and x have different values?
True
Let s be (36/(-10))/6*-1. Is s > 0?
True
Suppose 3 = 3*l + x, 0 = -5*l - 2*x + 7 - 2. Let r = -257/36 - -29/4. Which is smaller: l or r?
r
Let y be 2/(5 + -1)*-6. Suppose -w = m + 4, 16 = -4*m + 3*w + w. Let l = y - m. Which is smaller: -2/7 or l?
-2/7
Let o = 4 - -5. Let d = -15 + o. Let b = d + 8. Which is smaller: -2/9 or b?
-2/9
Suppose -4*y - 4 + 12 = 0. Suppose y*x - 3*x = -2. Suppose -3*b + 6 = -a + 4*a, 2*a - 5 = -3*b. Is x >= b?
True
Let v = 1463 + -217986/149. Let t = 303/745 - v. Let k(u) = -u - 10. Let p be k(-11). Which is greater: t or p?
p
Let j = -104 - -155. Let s be -5 + 1 + j/12. Which is greater: 9 or s?
9
Let o be (-26)/(-14) - (1 - (-8)/(-7)). Which is smaller: 6 or o?
o
Let b(d) = -7 - d - d**2 - d + 2*d**2 - 4*d. Let u be b(7). Which is bigger: u or -2/7?
u
Suppose n = 3*l + 1 - 28, 0 = 4*l - 16. Is n at most as big as -15?
True
Let h = -5 - -7. Suppose -w = h*r + 11, r + r - 5*w = 19. Let g be r/(-6) - 0/(-3). Is -0.1 at least g?
False
Let z be 4/(-6)*27/6. Which is smaller: 2/5 or z?
z
Let f(t) = 3*t + 2. Let d be f(5). Let l = d + -5. Let p(u) = u - 12. Let g be p(l). Is g greater than or equal to -2/5?
True
Suppose 10 = -r - 0. Is r at most as big as -9?
True
Suppose 2*z + 0*z + 2 = 0. Which is smaller: 3/7 or z?
z
Let b(x) = -x - 3. Let q be b(-3). Suppose -6*m + m = -0*m. Is q at least as big as m?
True
Let g be (3*(-5 + 4))/(2/4). Let y(v) = -v**2 - 4*v - 5. Let s be y(-4). Which is bigger: s or g?
s
Let r = -1.43 + 1.357. Let v = r - 3.027. Let k = 3 + v. Which is smaller: k or 0?
k
Let c(p) = -p**3 - 3*p**2 + 9*p - 5. Let h be c(-5). Let w = 4/3 + -1. Is w at least h?
True
Suppose 11*z = 13*z - 22. Is 10 > z?
False
Let g be (26/(-65))/(8/(-5)). Is g at most -1?
False
Let q = 5 - 2. Suppose y - 26 = -4*f, 5*y - 5 = -3*f + 23. Let w be (-6)/4*f/q. Is w equal to -3?
True
Let l be (1/3)/(2/6). Let y be 3/76*(-4)/7. Let c = 384/665 - y. Which is greater: c or l?
l
Let x = 126 - 183. Is -0.2 greater than or equal to x?
True
Suppose 0 = -3*h - 2*h. Suppose 5*x + h = 2*j - 5, 2*x + 4*j = 22. Is x at least as big as 2?
False
Let g be (-9)/(-27) + (-14)/6. Which is smaller: g or -8/7?
g
Let z be (-2)/(-2)*4/4. Suppose -3*y = 2 + z. Suppose -2*k = -v - 6*k + 16, 5*v = -k + 4. Is v less than y?
False
Suppose -4 = -0*y - 4*y. Let c = -11.3 + 1.3. Let z = c + 11. Is y less than z?
False
Let c be (-9)/(-6)*200/12. Suppose 5*s = c - 20. Which is bigger: s or 5/8?
s
Let a = -14 - -15. Let z = 365/4 + -2531/28. Which is smaller: z or a?
z
Suppose 0 = 5*v + 8 - 48. Is v less than 5?
False
Suppose -4*f = i - 60, -2*f = -4*i + 2*i - 40. Suppose -4*z + 23 = 3*l + 7, -l = 4*z - f. Suppose l = 3*m - 8*m + 5. Is m > 3?
False
Let w = -7 + 7. Let n = -413/1691 - -3/89. Let i = -50/57 - n. Which is greater: w or i?
w
Let r = 7.2 + -7.3. Is r > 4?
False
Let b = 0 - 0. Suppose -8*l + 4*l + 5*n - 14 = 0, 0 = 4*l + 2*n. Let y be (-2)/(-5)*(l + -1). Is y greater than b?
False
Let d = -1996/5 - -398. Which is bigger: d or 0?
0
Let i be 6/(-12)*(-44 + 0)/(-2). Is i >= -4?
False
Let q = -86/3 - -28. Is q at least -2/5?
False
Let k(r) = r**3 + 8*r**2 + 6*r - 1. Let n be k(-7). Let v be 2/n - 0 - 0. Is v at most as big as 0.3?
False
Let b(r) = r**2 - 16*r + 32. Let s be b(14). Let w be (8/(-16))/((-2)/s). Let v be (1 + 18/(-20))*1. Is v less than w?
True
Let o = 131 + -132. Let r = -11 - -10.89. Is r bigger than o?
True
Let x be (-2)/1 + 46/2. Suppose 0*w + w - 4*d = -x, -30 = 5*w - 5*d. Let i = 3 + -4. Do i and w have the same value?
True
Let v 