9 - 11. Let z be -1*(c - -2)*1. Is -2/33 at most z?
True
Let q = -421/9 - -47. Let v(c) = -c**2 - 10*c - 15. Let h be v(-8). Is h at most q?
False
Let l = 6 + -17. Is -9 > l?
True
Suppose -36 = -2*p + 4*p. Suppose d + 6 = -3*k + 42, -2*k = -4*d + 74. Let l be d/p*(-4)/21. Which is greater: l or -1/3?
l
Let n = 0 + -1. Let x = -2 - n. Let h = -40 + 39. Do h and x have the same value?
True
Let d be (-5)/(-6) + (-4)/12. Which is smaller: -22 or d?
-22
Suppose 100 = -3*j - 86. Which is bigger: j or -64?
j
Suppose 4*i + 2 - 10 = 0. Which is smaller: 28/9 or i?
i
Let z = -0.44 + 0.04. Let q = -0.6 - z. Is 1/2 < q?
False
Let m be (-5 + (-772)/(-144))*-8. Is m < -2?
True
Suppose k - 4*q = -9 - 5, -3*q - 15 = -5*k. Is 1 equal to k?
False
Let c be (6*(-5)/(-45))/(-2). Let h = 1 - 0.8. Let i = h + 0. Which is smaller: i or c?
c
Let t(u) = -u**2 + u + 5. Let b be t(3). Let y(j) = 20*j + 14. Let a(c) = -7*c - 5. Let s(o) = 17*a(o) + 6*y(o). Let r be s(b). Which is smaller: r or -5/3?
r
Let l = 59 - 29. Is l < 30?
False
Let r(c) be the first derivative of 11*c**4/4 + 2*c**3/3 + c**2 + c - 3. Let x be r(-1). Let u be ((-2)/x)/((-36)/15). Is u greater than 1?
False
Let o(s) = 12*s - 3. Let j be o(2). Is j greater than 22?
False
Let t = -16 - -23. Let c be 2 + t + -1 + -2. Let k be c/2*(-6)/9. Are -1 and k equal?
False
Let r = 3.6 - 0.9. Let w = r - 1.7. Which is smaller: -0.2 or w?
-0.2
Suppose 2*d + 4*a = -0 - 4, 4*a = -3*d. Let y(v) = 4*v - 1. Let t be y(1). Is t less than or equal to d?
True
Let o be (-34)/(-10) + (5 - 8). Is 1 bigger than o?
True
Suppose 3*q = -4*m + 16, -4*m - 2*q = -2*m - 6. Which is bigger: m or 25/3?
25/3
Let h be (5/(-15))/((-1)/3). Let m be (-1 + 2 - h) + 6. Let z be 2/m - 1/(-6). Are z and 1 non-equal?
True
Suppose 0 = -6*v + 5*v - 3. Let n be 3/(-1) + (v - -8). Let u = -595 + 6551/11. Which is smaller: u or n?
u
Let t = -22 + 15. Is -2/5 bigger than t?
True
Let g be (-546)/(-1672) + (-4)/8. Let o = g - -3/44. Suppose 0 = 4*u + 5*q - 16, 3*u - 2*u + 4*q - 15 = 0. Is u equal to o?
False
Suppose 2*m + 3*m + 5 = -5*k, 3*k + 7 = -m. Suppose 18 = -4*c - m*r - 0*r, -2*r - 20 = 5*c. Let o be 6/(-7) + (-1 - -1). Which is greater: c or o?
o
Let j be 1*-104 - (1 + 0). Let k be 959/j + (-4)/(-30). Which is bigger: k or -10?
k
Let n be 3/9*(20 - -1). Suppose -4*c = 5*j - 28, 8 = -3*j + 4*j + 2*c. Is j >= n?
False
Let i = -18 - -10. Let h = i - -7. Let l = 125/3 + -499/12. Which is greater: h or l?
l
Let m = 33 - 16. Let i = m - 17.2. Is i at most 0.2?
True
Let k = 31/152 - 3/38. Let g = -0.2 + 0.2. Let f = -0.1 - g. Which is smaller: k or f?
f
Let j = -1.7 + -1.3. Suppose 0 = -3*o + 3*a + 3, -4*o + a + 0 = 5. Does j = o?
False
Let b = -2 + 3. Suppose 0 = 33*o - 3*o - 240. Is o less than or equal to b?
False
Suppose 18 = h + 3*l, 16 = 2*h + 4*l - 10. Suppose h*x = -6, 4*q + 4*x = -0*x + 12. Suppose 0 = -5*z + q*t - 15, -4*t + 7 = -5. Which is bigger: -1 or z?
z
Suppose 0 = 2*o - 3 + 15. Is o at most as big as -6?
True
Let m be 332/(-36) - (-1)/(18/4). Which is bigger: -7 or m?
-7
Let f = -25.4 - -25. Let l = -0.2 + 0.3. Let o = 0.1 - l. Which is greater: o or f?
o
Let q = 109 - 110.5. Which is smaller: q or 2?
q
Let g(m) = m**3 + m**2 + m + 1. Let z be g(0). Suppose -z - 6 = a. Which is bigger: -8 or a?
a
Let d = 20/7 + -33/14. Let o(y) = -y**3 + y**2 + y + 2. Let f be o(2). Suppose w - 14 = -5*g, -g - 14 = -f*g - 4*w. Is d bigger than g?
False
Suppose 0 = -4*k - 16, -a + 2 = -k - 2. Suppose a*u = -2*u - 8. Let q be (u/(-16))/(0 - -1). Is -0.3 at least as big as q?
False
Let m = -9 - -15. Let o be (-4 + 3)*(-3)/m. Is -5 equal to o?
False
Suppose 2*q - 3*f - 11 - 15 = 0, -1 = -3*q - 5*f. Let l(r) = r**2 + r. Let x be l(-2). Suppose 21 = 5*y - x*y. Are q and y equal?
True
Suppose 0 = -3*s + 2*u - 15, 3*s + 2*u = -u. Let m(v) = -v**2 - 9*v + 8. Let j be m(-10). Does j = s?
False
Suppose -o + 3 - 2 = 0. Let r be 4/(-6) - (-1 - 0). Which is bigger: r or o?
o
Let g = 37 + -147/4. Let w = -0.3 - -0.3. Which is bigger: g or w?
g
Let t(q) = -q**3 + 5*q**2 + 9*q + 7. Let g be t(7). Which is smaller: -0.1 or g?
g
Let p = 4 + -6. Let u = 5/14 - 1/14. Is p < u?
True
Let w = -312 + 9670/31. Is -1 smaller than w?
True
Suppose 365 - 85 = 4*n. Let j be 2/5 + (-8)/n. Which is smaller: j or -1?
-1
Let y = -95/21829 - -46771303/3121547. Let p = y + -190/13. Is -1 at most p?
True
Let s be (-2 - -4)/(0 - 2). Let z = -10 + 10. Is z >= s?
True
Let d be (12/8)/(-3)*1. Which is greater: -2 or d?
d
Let p = 17 + -16. Which is bigger: p or 13?
13
Let q(t) = t**3 - 6*t**2 + 5*t. Let w be q(5). Suppose -3*m - 6 + 3 = w. Do -2 and m have the same value?
False
Let o = 149/3 - 48. Which is greater: 1 or o?
o
Let k = -3 - -23. Which is greater: k or -2?
k
Let a = 86 + -606/7. Which is smaller: a or -1?
-1
Let y = 4 + -5. Let s be y - -5 - (-4)/(-4). Which is bigger: s or 2?
s
Let j = -16 - -16. Which is smaller: j or 1/17?
j
Suppose 4*c + c - 15 = -2*u, 0 = -3*c - 3*u. Which is smaller: c or 4?
4
Let f(l) = 1 - 9*l + 14*l - 1. Let s be f(-2). Let u = s + 8. Which is greater: u or -5/3?
-5/3
Suppose 0 = -v - 1, -2*l - 2*l - v - 5 = 0. Let h be (-1)/4*(3 - -2). Is l at most as big as h?
False
Let b(j) = -j**3 - 8*j**2 + 8*j - 9. Let h be b(-9). Let w be h - ((-2)/(-44))/1. Is w smaller than 2/5?
True
Suppose -5*a + 40 = -o + 305, 0 = -5*o. Let r = a + 427/8. Let g be (2*-1 + 2)/(-1). Is r bigger than g?
True
Suppose 9 = -2*b + 3. Let z be 5/(-3) + (-2)/b. Let i = 0 + -0.2. Which is bigger: z or i?
i
Let w = 201 - 2616/13. Are w and 1 equal?
False
Let s(g) = 2*g**3 + 5*g**2 - 13*g - 7. Let k be s(-4). Is k not equal to -4?
True
Let i = 16 - 8. Suppose -7*v - 2 = -i*v. Is 7 at most v?
False
Let o = 85 + -61. Which is bigger: 25 or o?
25
Let f = 68 + -71. Is f smaller than -5?
False
Let c = 7 + -10. Let n(k) = k**3 + 2*k**2 - 2*k + 1. Let z be n(c). Does z = -3?
False
Let k = 9 + -7. Suppose 0 = 2*a - 0 - k. Which is bigger: a or 2?
2
Suppose -5*f + 0*f + 70 = 0. Let y be -3 - (1 - f - 0). Is 11 at least y?
True
Let p = -1.4 + 0.6. Let r be (8/70)/(-1 + 42/30). Is r != p?
True
Let z = 5 + -4. Is z less than or equal to -2/7?
False
Let f = 257/33 + 6/11. Is f at most as big as 8?
False
Let w(t) = t - 3. Let h be 6 + -2 + 3 - 1. Let d(i) = -i + 2. Let o(r) = h*w(r) + 5*d(r). Let b be o(8). Is b < -2/15?
False
Suppose 4*q - 10 = 2. Suppose -4*o = 4, -5*y + 10*y - 17 = -q*o. Is 6 equal to y?
False
Let g = 9 - 16. Let j = 8 + g. Let c be 120/(-54) + 2/j. Is c <= 1?
True
Let f be 1 + 0 - 115/45. Is -1 > f?
True
Suppose 9 = -5*k - 16. Let w = 4 + k. Suppose -4*q + 0 + 12 = 4*j, 0 = -3*j + 4*q - 19. Is j at least as big as w?
True
Let d = -3/25 + 94/575. Let x(r) = r**3 - 2*r**2 - 4*r + 4. Let o be x(3). Is d at most o?
True
Suppose -3*k = -6 - 0. Suppose 6 = -n - 4*w + 3*w, -5*n - k*w - 15 = 0. Let c = -118/7 - -17. Is n bigger than c?
False
Let y be 0/(-1)*(-1)/2. Let q(p) = p**2. Let x(k) = 5*k**2 + 4*k + 4. Let t(d) = 4*q(d) - x(d). Let m be t(-3). Which is bigger: y or m?
y
Let t = 7 + -12. Let w(q) = q - 4. Let h be w(7). Let a = h + t. Do -2 and a have different values?
False
Let d = -2/535 + -1048/5885. Let v = 0.05 - 0.05. Let o = v + 0. Is o bigger than d?
True
Suppose 8 = -3*o + o. Let j be o/(-10) - (-6)/(-15). Which is greater: j or -5/4?
j
Let z(g) = -g**2 + 2 + 7*g - 1 - 1. Let x be z(6). Let a(k) = -k**2 + k + 5. Let l be a(0). Is l > x?
False
Let p(b) be the second derivative of b**5/5 - b**3/6 + b**2/2 + 3*b. Let u be p(1). Is 4 less than or equal to u?
True
Suppose 5*z - 11 = 9. Suppose v + c - 2 = 0, 3 = 3*v + 2*c - 6. Let i = v - z. Which is greater: i or -2/9?
i
Let x(m) = -7*m**2 - 10*m + 12. Let v(r) = 8*r**2 + 11*r - 13. Let b(z) = -6*v(z) - 7*x(z). Let j be 5*-1 + -2 + 2. Let h be b(j). Which is smaller: h or 1/3?
h
Let f(l) = l - 2. Let h be f(3). Let s = 0 + 2. Suppose 4*c - 4 = 3*u - s*u, 5*c - 4 = u. Is h at least as big as c?
True
Suppose 3*d - 12 = y + 2, -2*y + 17 = 3*d. Is 1 >= y?
True
Let f be (210/(-18) - 1/(-3)) + 2. Is -8 less than f?
False
Let g = -74289/5 - -14770. Let x = -393/5 - g. Let a = x - 9. Is -2 equal to a?
False
Let n = -14.02 + 14. Is 0.4 at least as big as n?
True
Let v(c) = -c**2 - 3*c - 2. Let l be v(-3). Let x be (-9)/(-6)*l - -7. 