et r be ((-8)/6)/(w/1413). Let q = r - -64. Which is greater: q or 0?
q
Let v(c) = 5*c - 32. Let y(s) = -6*s + 13. Let w(d) = 5*d - 12. Let m(n) = -5*w(n) - 4*y(n). Let i(b) = -9*m(b) - 2*v(b). Let g be i(-6). Is g less than -7/3?
False
Suppose 0 = 6*l - 6. Let u be 4/(-10) - (-1 + 1). Is u > l?
False
Let n = -0.03 - -0.13. Suppose -a + 12 = 2*a. Let b(j) = -j + 2. Let y be b(a). Which is bigger: y or n?
n
Let a(m) = 4 - 3*m**2 - m - 3 - 2. Let j be a(-1). Are j and -3 non-equal?
False
Let t = 11/59 + 495/826. Let y be (-2)/(-6)*(-6)/4. Let j = y + t. Which is greater: j or 0?
j
Suppose 2*d = 3*r + 20, -r = 3*d - 5*r - 28. Suppose -o - 1 = -5*v, 2 + 6 = o + 4*v. Is d equal to o?
True
Let g be 2/(-2) - (-8)/((-4)/(-1)). Which is greater: 2/61 or g?
g
Let k be 7/(-49)*(-2)/18. Is k equal to 1?
False
Let q = 16.42 - 0.42. Which is smaller: q or 3/7?
3/7
Let x = 5 + -2. Let i = -2 + x. Which is smaller: 0 or i?
0
Let f(s) = s**2 - 9*s - 3. Let t be f(9). Let j be 1*(9 - -4) + t. Which is smaller: j or 11?
j
Let p(w) = w**2 + 3*w - 5. Let q be p(-5). Suppose 6*l - l = q. Is l at least 2/27?
True
Let t(i) = i - 14. Let w be t(16). Suppose 0 = -2*a - 0 - w. Let g = 2 + -6. Is a equal to g?
False
Let r = 15 - 14.1. Let x = r - -0.1. Let y = -2 + 3. Is y less than or equal to x?
True
Suppose 3*i - 4*i + 1 = 0. Let x(s) = 3*s**3 - s**2 - s + 1. Let w be x(i). Let q be 1/2*2 - w. Which is greater: 2/9 or q?
2/9
Let y = -10 - -19. Let o = -21 + y. Which is smaller: -2/3 or o?
o
Suppose f = 2*f - 34. Which is greater: f or 35?
35
Let h be (26/(-2)*(-28)/7)/(-1). Which is greater: 2/9 or h?
2/9
Suppose 3*c = -c + 40. Let t be (1 + (-1)/2)*c. Suppose -5*n - 4*s - 5 = -3*s, 5*n = s + t. Which is smaller: n or 1/2?
n
Suppose 4*r - 5*d + 10 - 3 = 0, 0 = -3*r - 2*d + 12. Let m be (-2)/(-10) - (-42)/15. Which is smaller: r or m?
r
Suppose 2*x - 3 = 7. Suppose y = x*y + 4. Which is smaller: -2 or y?
-2
Suppose 11 = -4*x + 31. Suppose x*c - 17 = 23. Suppose -3*y = -c*y - 5. Is y <= -3?
False
Suppose 3*m = -11 + 26. Suppose -4*h + 25 = m*o, -2*o + 15 = o. Do 1 and h have the same value?
False
Let g = -1.8 + 1.9. Let b = -2.9 + 3. Is b at most as big as g?
True
Let m = 0.29 - -0.21. Is -2 not equal to m?
True
Suppose 2*g - 3 = 11. Let d be 1 + 4/(4/g). Let l be 22/24 - 2/d. Which is bigger: l or 2?
2
Let a(h) = h + 9. Let o be a(-9). Suppose -4*j + 8 = 5*x - o, -4*j + 20 = 2*x. Suppose -4*n + 7 = -c, 5*c = -2*n + j*n - 5. Is -2/19 greater than or equal to c?
False
Let g = 2 + -2. Let v = 1 - g. Let p be 1*2 + (-30)/12. Which is greater: v or p?
v
Suppose -o = 3*q - 9, 0*q - 4*o = q - 14. Let c be ((-2)/(-10))/((-5)/(-35)). Which is greater: c or q?
q
Let m = 2/219 + 23/146. Which is bigger: m or 4?
4
Suppose 4 = v + 55. Let i be 6/27 - v/(-108). Suppose 0 = -4*g - g. Is i != g?
True
Suppose -2 = -3*d - x, 4*d - 4 - 2 = -2*x. Let m be d/4 + 26/8. Which is smaller: 6 or m?
m
Suppose -5*s + 0*s = 4*i + 12, -2*i - 6 = 4*s. Suppose n + 2*m = -s*m + 20, -3*n - 3*m = -45. Which is smaller: n or 9?
9
Let w = 4118/95 - 222/5. Which is greater: w or -2?
w
Let q be 2*2/(-4) - -19. Suppose q = -5*r - 7. Are r and -3 non-equal?
True
Let q = 1 - 1.06. Let n = -0.185 - -0.085. Which is smaller: q or n?
n
Let c = 3 + 4. Let o be (-3)/(9/6 + 0). Let q be o/c + (-1)/(-28). Are 0 and q equal?
False
Let f be 0 + -1 - (5 + -4). Is 0 greater than or equal to f?
True
Let l = -0.62 + 0.5. Which is bigger: 1 or l?
1
Let n(a) = 15*a. Let h be n(1). Does h = 15?
True
Suppose w = 3*w + 2. Let z = 563/5 - 114. Is w less than z?
False
Let x be (-10)/15 + 3092/30. Let p = x + -102. Is p at least as big as 1?
False
Suppose 3 - 5 = -2*w. Which is smaller: w or 2?
w
Let j = -1 - -3. Suppose -s + j*s - 4 = 0. Are s and 4 nonequal?
False
Let d = 0 - 0. Suppose -2*r - 27 = -3*o - 5*r, 0 = 5*r - 10. Let n be (4/o)/(1 + 1). Which is smaller: n or d?
d
Suppose 5*d - 30 + 10 = 0. Suppose -d*w = -w - 9. Which is bigger: 2 or w?
w
Let p = -26 + 76/3. Suppose -5*m = 4*f + 8, f + 3*f = -m - 8. Which is smaller: f or p?
f
Let y = -9.8 + 9. Let r = -1.1 - y. Let f = r + -0.7. Is 3 greater than or equal to f?
True
Suppose -t - 5*b - 280 = 3*t, t - 5*b + 95 = 0. Is t at least as big as 0?
False
Let d = 178/7 - 25. Suppose -4 + 2 = 2*h. Are h and d non-equal?
True
Let y = -4 + 9. Suppose -y*c = -0*c + 750. Let z = 1044/7 + c. Which is smaller: -1 or z?
-1
Let j be -12*((-15)/12 + 2). Let l = j - -14. Let r be 0/(l/(10/4)). Is r >= 0?
True
Let l = -11 + 10. Let g = 4 - l. Is g equal to 1?
False
Let x(k) be the first derivative of k**3/3 - k**2/2 + 3*k + 2. Let i be x(0). Suppose 0*o - 9 = -i*o. Which is greater: o or 2?
o
Suppose 0 = -3*b - 2*b. Is 2/9 != b?
True
Let u(d) = -2*d**2 + 2*d. Let t be u(1). Let f be (0/2)/(-3) + -1. Let m be (f - -1) + -2 + 3. Which is bigger: m or t?
m
Let l(t) be the third derivative of t**6/120 + t**5/60 - t**4/6 - t**3/6 + t**2. Let q be l(-3). Let b = q - -10. Is 3 less than b?
False
Let d(g) = -g**2 + 9*g - 7. Let j be d(9). Is j >= -9?
True
Let q be (93/(-9))/(2/3). Let w = q + 17. Let z(t) = -t. Let m be z(-1). Which is greater: w or m?
w
Let d(n) = -2*n - 11. Let b be d(-6). Is b equal to -4/73?
False
Let q be 2*(-1)/2 - -19. Suppose 0*d = -4*m + 2*d + q, -4*m = 2*d + 2. Let b(z) = -z**3 + 6*z**2 - 4*z - 3. Let f be b(5). Is m bigger than f?
False
Suppose -3*x = -z, 4*x = 2*x + 2*z. Let u be -1 + (-35)/190*-6. Which is smaller: u or x?
x
Let y be 366*((-7)/(-3))/7. Let n be -3*(3 + y/(-42)). Suppose 0 = 3*p - 3 - 3. Which is smaller: n or p?
n
Let s(f) = 2*f + 3. Let j be s(-6). Let x be (24/j - -2)*3. Let v(g) = -g**3 - 3*g**2 - 3*g - 3. Let l be v(x). Is -1 less than or equal to l?
True
Let a = -72 - -73. Let g = -11/6 - -43/30. Is a at most as big as g?
False
Let s = -0.33 - -0.33. Is s >= -0.04?
True
Let w be -2 - 1 - 245/(-4). Let u = w - 58. Does u = -3/4?
False
Let p = 17 - 10. Is p < 2/5?
False
Let r be (4 - 0/(-3)) + -9. Is r greater than or equal to -5?
True
Let n = -2 + 4. Suppose 5*q + y + 10 = 3, 2*y = n*q - 2. Let k be 1 - (q - (1 - 4)). Do k and 2/5 have different values?
True
Let b be 8/282*(-15)/(-10). Let a be 0*(-4 + 3/1). Which is smaller: b or a?
a
Let g = 103/12 - 21/4. Which is bigger: g or 2?
g
Let x be 1 + (3 - -1) - 1. Suppose x*v - 2*v = 28. Let g = 8 - v. Which is smaller: g or -4?
g
Let p be -1 - (-2 + -5 + 3). Suppose -p*l + 15 = -3. Is l smaller than 5?
False
Let h = -33.39 - 0.61. Is -0.1 equal to h?
False
Let i = 133/3 + -44. Is 9/5 greater than or equal to i?
True
Let b(j) = 15*j**2 + j + 1. Let n be b(-1). Is 15 at most as big as n?
True
Let u = -3 + -21. Do u and -22 have different values?
True
Suppose -3*y = 3*b + 2*b + 1, 2*y + 5*b + 4 = 0. Suppose y*i + 2*i - 5 = -3*x, -40 = -5*i + 4*x. Is i equal to 3?
False
Let r = -7.03 + -0.01. Let q = r + 0.04. Which is greater: q or -0.1?
-0.1
Let g = -17735.01 - -17663. Let d = 74 + g. Let z = -0.01 - d. Which is bigger: z or 2?
2
Let m = -112 - -4370/39. Let o(g) = g**2 - 2*g - 2. Let d be o(3). Are m and d non-equal?
True
Suppose 3*d = -4*r + 25, -d + 2*r - 9 = -4. Let v(m) = m**2 - 4*m - 1. Let o be v(d). Is -2 at least as big as o?
True
Let r be (-213)/(-18) + (-2)/(-3). Let k = r - 12. Which is bigger: 0.1 or k?
k
Let p = 2 - -2.4. Let c = -5 + p. Let j = c + 0.5. Is j at least 4/3?
False
Let k = 4 + 6. Let z be (-27 - -24)/(6/(-20)). Is k >= z?
True
Suppose -n - 5 = -3, 4*n + 12 = 2*d. Suppose -z - 12 = d*z. Which is greater: z or -5?
z
Let h = 1.32 + -2.41. Let m = 0.09 + h. Is -1 smaller than m?
False
Let y = 14 + -11. Which is greater: 5 or y?
5
Suppose -3 = 2*n + 3. Let j(t) be the second derivative of t**5/20 + t**4/3 + t**3/3 - t**2 + t. Let h be j(n). Does 1 = h?
True
Let w(y) = 4*y + 43. Let r be w(-11). Is 17 less than r?
False
Let h = -12 + -7. Suppose 2*p + 3*m - 24 + 71 = 0, -p - 4*m = 31. Is h >= p?
True
Suppose -125 = -2*q - 65. Is q > 30?
False
Let k = -19 - -20. Let z be 16/10 - 4/(-10). Suppose -r = 3, z*r = i + 5*r + 9. Which is bigger: k or i?
k
Let i(a) = a**3 - 5*a**2 + a - 5. Let s(w) = w + 13. Let l be s(-8). Let v be i(l). Is v < -1/10?
False
Let r = 0.09 - 0.89. Let v = -1 - r. Let h = -13/10 + 4/5. Is h <= v?
True
Let r(o) = 12*o - 36. Let s be r(4). Is 14 at most