+ 3. Let v be d(-2). Suppose 5*f - 22 = v. Suppose f*j = j. Is j greater than or equal to 2?
False
Let f = 1/181 + -554/1991. Which is bigger: -1 or f?
f
Let u be 7/4 - (-2)/8. Let q be (3/(-6))/(u/(-4)). Suppose 2*d - 2 = -i, d - i = -2*i + 3. Which is smaller: q or d?
d
Let p(r) = r**2 - 2*r - 1. Let m be p(2). Let x be m/3 - 10/(-12). Let a(y) = y**2 - 4*y + 4. Let v be a(2). Which is smaller: x or v?
v
Let q = -130 + 130. Let m be 4/6*6/56. Is m greater than q?
True
Let m(j) = -j + 6. Let o be m(5). Suppose 9*l - 4*l = 2*z + 10, l - 2*z = -6. Suppose 7 = -5*i - 2*x, x - 4 = i + l*i. Which is bigger: o or i?
o
Let o = -5 - -2. Let l be (5 - -2) + o/1. Let i be (-2*1)/(8/l). Which is smaller: i or -2?
-2
Let d = -6 - -4. Suppose n + 4 = -q, 0 = q + 4*q + 4*n + 19. Let o(i) = i**2 + 5*i + 3. Let b be o(q). Which is smaller: b or d?
b
Let s(q) = -q**3 + 7*q**2 + 4*q + 8. Let y be s(8). Let f be 2/(-2) - y/40. Which is smaller: f or -12?
-12
Let l(o) = -o + 6. Let h be l(5). Let v be -2 - (h - (-1 + 2)). Is -1 greater than or equal to v?
True
Let o = 4 + -5. Let u = 0.73 - 9.73. Which is smaller: u or o?
u
Let a = -73/20 + 13/4. Let g = 8 + -9. Which is bigger: a or g?
a
Let i(v) = v - 2. Let z be i(6). Suppose -z*u - 15 = -3*u. Is -14 less than u?
False
Let w = -9 + 4. Is -5 greater than or equal to w?
True
Let r = 40/11 - 464/55. Let c be (-2)/(-7) + 918/210. Let o = c + r. Is o bigger than 1?
False
Suppose -n = -0 + 2. Suppose -28 + 12 = -4*k. Suppose k = -5*u + u. Which is bigger: n or u?
u
Let l be 13/(3 + 1 - 3). Is l bigger than -1/4?
True
Let a be 14/(-8) - 1*-2. Which is smaller: a or -1?
-1
Let d(i) = -i**3 - i**2 - i. Let x be d(0). Suppose x = -4*n - 3 - 1. Are n and -1 nonequal?
False
Let i be 2/(-7) - (-16)/(-42). Suppose -166 + 86 = 40*a. Which is smaller: a or i?
a
Let n = 2 - 1. Let x = 21 + -20.3. Which is smaller: x or n?
x
Suppose 0 = -3*s + 12 + 3. Suppose b + h - 32 = 5*b, h - 39 = s*b. Which is bigger: -6 or b?
-6
Let b be ((-4)/8)/(3/6). Is b < -1?
False
Let n(c) = 3*c**3 - 2*c**2 + 2*c - 1. Let v be n(1). Let h = v - 0. Which is greater: h or 3?
3
Let u = 5 - 2. Let i = 3.12 - 0.02. Let m = u - i. Is 0.1 > m?
True
Let h be (-8)/(-3 - -1) - (2 + 48). Is h <= -45?
True
Let o = -1217/2 - -8627/14. Is o at least 8?
False
Suppose 0 = -n - 3*n. Let u = n + -2. Let a = 66/5 + -137/10. Are a and u unequal?
True
Let i be (-98)/60 - 21/(-14). Is i > 0.3?
False
Let q(b) = -b - 3. Let l be q(-12). Let w be l/(-132) - 1/(-4). Which is greater: w or 1?
1
Let v be (9102/(-33) + -3)/(-1). Let d = v + -279. Is 1 greater than or equal to d?
True
Let b = -84/5 - -17. Does b = 0?
False
Let d = 0.61 + -0.51. Is d greater than or equal to -16?
True
Let c be 24/(-339)*31/(-11). Let d = c - 2/113. Suppose 5*q - 7 + 24 = 3*u, 19 = -3*q + 4*u. Which is greater: d or q?
d
Let v = 13 + -18. Let m = 4 + v. Let n be 38/(-48) + (-2)/(-3). Which is smaller: n or m?
m
Let y(a) = -2*a**2 - 4*a. Let d be y(-3). Let w(h) = h**2 + 4*h - 4. Let v be w(d). Let p be (v/(-18))/((-14)/(-21)). Do p and 0 have the same value?
False
Let j = 6 + -2. Suppose c - p + 0 = 3, 2*c - j*p - 4 = 0. Which is greater: 5 or c?
5
Let y = -13.9 + 12. Let n = -3 - -1. Let r = n - y. Which is smaller: -2 or r?
-2
Let w(a) = -a. Let m be w(-2). Let c(u) be the third derivative of -u**6/120 + u**5/12 - u**4/8 - u**3/6 - 2*u**2. Let f be c(4). Which is bigger: m or f?
f
Let d = -0.2 - -0.1. Suppose y - 4*y = -4*x + 4, -x + 5*y - 16 = 0. Suppose 3*f = -f + x. Is d bigger than f?
False
Let o be (22/165)/(3/5). Let j(s) = -s. Let i be j(-4). Suppose 0 = v + 3*v - i. Are v and o equal?
False
Let c be ((-2)/4)/(2/20). Suppose 2*z + 16 = -5*d - 2, -3*d = -4*z - 10. Let i be (-2)/(-5) - d/c. Which is bigger: i or 2/9?
2/9
Suppose 16 = -5*b + 1. Let p = b - -4. Is 1/8 bigger than p?
False
Let i = 40 - 43.8. Let s = i - -0.8. Let w = s - -2. Is 1 bigger than w?
True
Let u = -0.09 + 0.19. Is u bigger than 3?
False
Let h = 63/8 - 425/56. Suppose 5 = -3*q - c, c + 3*c + 20 = 2*q. Is q greater than h?
False
Let f = 57 + -7. Suppose 0 = 5*o - 5*r - f, -4*r - 9 - 13 = -o. Let s = o + -3. Which is smaller: s or 2?
2
Let s = 42 + -45. Are -4 and s equal?
False
Let s(i) = -i**2 + 2*i - 1. Let k be s(2). Which is smaller: k or -2/145?
k
Suppose 4*y = 2*y - 12. Suppose -50 = 11*x - x. Which is smaller: y or x?
y
Let k be -2 - 1/385*-922. Let u = k - 6/55. Let v(m) = -m + 2. Let c be v(3). Which is smaller: u or c?
c
Let x = -0.14 + 0.14. Let o be 22/48 - (-1)/(-3). Does x = o?
False
Let p = 43139 - 344373/8. Let y = -224 + 132. Let l = y + p. Which is bigger: 1 or l?
1
Let m(i) = i + 1. Let u(a) = 2*a - 2. Let h(k) = 3*m(k) - u(k). Let s be h(-5). Which is greater: s or 2/27?
2/27
Let j = -10 - -14. Let k = -1.9 + 7.9. Let p = j - k. Is 2 less than p?
False
Let u(o) = o**2 + 2*o - 1. Let v be u(-3). Let t be ((-1)/(-2))/(12/72). Is v at most t?
True
Let n be (-1)/(146/(-78) - -2). Is -8 bigger than n?
False
Suppose -2*o + 3*n + 66 = -5*o, 5*o = -2*n - 122. Is -26 at most o?
True
Let q be (-3)/124*3/9. Which is smaller: q or 0?
q
Let h(y) = -y**3 - 3*y**2 + y + 3. Let o be h(-3). Let x be (12/(-2) - -7)*1/(-10). Which is smaller: o or x?
x
Suppose -2*k - 3*b = -21, -2*k + 5*k - 4*b + 11 = 0. Suppose -4*i - 7 = -k. Suppose 5*d - d = 5*l + 3, 3*d - 4*l - 3 = 0. Do i and d have different values?
True
Suppose 4*n + 7 = -9. Let q be 5/((-20)/(-8)) - 3. Which is greater: q or n?
q
Suppose -7*j = -4*u - 3*j, 2*u - 28 = -5*j. Suppose -4*k + 5*t + 6 = -0*t, 6 = 2*k - u*t. Let h = 1.5 - 1. Which is smaller: h or k?
k
Let b(m) be the second derivative of m**4/6 - 2*m**3/3 + 2*m**2 + 7*m. Let w be b(2). Which is smaller: 5 or w?
w
Let p = 15.44 + -93.36. Let l = 75 + p. Let x = -0.08 + l. Is -1 greater than x?
True
Let p(c) = c**2 + 11*c - 4. Let f be p(-11). Let j = f + 6. Which is smaller: -2/9 or j?
-2/9
Suppose 5 + 7 = 3*k. Suppose 2*u - 5 = 4*c - 3*c, k*c + 8 = 4*u. Suppose 2*b - 1 - c = 0. Is 1 <= b?
True
Let b(f) = -f**3 + 7*f**2 - f + 6. Let t be b(7). Which is greater: t or -2/3?
-2/3
Suppose 5*g - 10 = -0*g. Suppose -2*k - 72 = g*k - 2*t, -3*k - 5*t = 54. Let u be 3/(-9) + (-10)/k. Which is greater: 1 or u?
1
Let w be 6*4/(-8) - 42. Let u be 42/w*(-18)/7. Which is greater: u or 3?
3
Let z be (-132)/20 + 7 + 104/(-10). Do z and -8 have different values?
True
Let m = -24631/51 + 483. Do m and 1 have the same value?
False
Let c = -1 + 1. Let q = 155/77 + -19/11. Is q equal to c?
False
Suppose -y + 4*u - 1 = 4*y, -4*u + 22 = 2*y. Suppose k = -0*k + y. Which is smaller: 2 or k?
2
Suppose 0 = -6*u + 4*u + 10. Is u >= 5?
True
Let j = 4 + -4. Suppose 0 = -j*f + 5*f. Which is greater: f or 1/4?
1/4
Let v = -0.38 - -0.08. Let t = v + 0.1. Let f = t - 0. Which is smaller: f or 1?
f
Let d(f) = -f - 7. Let h be d(-5). Let p = h - -6. Suppose 0 = -3*q + 7*q + p. Which is bigger: q or -2?
q
Let n = 4 + 3. Is n > 0?
True
Let b = 45/4 + -253/20. Does 0 = b?
False
Suppose -3*q = h - 5, -3*q - h + 7 = 2*q. Let r be 8/(-10)*(-435)/319. Which is smaller: q or r?
q
Let j be (-11)/65 - (-2)/5. Let h = -81 + 80. Do h and j have different values?
True
Let f be 1/(20/15) + -1. Which is smaller: f or -3/5?
-3/5
Let h be ((-4)/(-30))/((-9)/30). Let r(n) = n. Let x(k) = -4*k - 1. Let w(b) = -3*r(b) - x(b). Let s be w(0). Is h not equal to s?
True
Let n = 50/7 - 22/3. Let a be (2 - (2 + -1))/(2 + -1). Which is smaller: n or a?
n
Let w(v) = 2*v**2 + 3*v. Let q be w(-2). Suppose 2*a - 5*i = -17, -q*i + 0 + 6 = 0. Let h be 1 + -2 - 3/(-9). Which is smaller: a or h?
a
Let l(y) = -y - 3. Let f be l(-2). Let d = f + 4. Let u = 4 - 0. Are u and d non-equal?
True
Let m = 2 - 3. Let s = 0.03 - 8.03. Let y = 10 + s. Is m >= y?
False
Let q = 9/44 + 6/11. Let w = 2 + -3. Let h = w + 1. Are h and q nonequal?
True
Let s be (4 + -35 - 3) + -1. Is s < -35?
False
Let d = -104 - -103.6. Which is bigger: -10 or d?
d
Let f(u) = u + 5. Let g be f(5). Let y = g - 6. Is 5 at most as big as y?
False
Let j = 180 + -169.1. Let h = -11 + j. Is -0.06 less than or equal to h?
False
Let v(c) = c**3 - 5*c. Let g(w) = 2*w**3 - 9*w + 1. Let s(l) = -4*g(l) + 7*v(l). Let i be s(0). Which is greater: i or -3?
-3
Suppose -b - 5*o = -10, 0 = -4*b - 4*o + 42 + 30. Sup