- 6*b - 2. Let n(j) = -3*j**2 + 11*j + 4. Let v(c) = -3*n(c) - 5*p(c). Let x be v(-2). Is 3 less than x?
False
Suppose -v - 2*d + 10 = 0, 2*v + d = -0*v + 8. Which is greater: v or 3?
3
Let d(h) = 3*h**3 - 1. Let j(z) = z**3 - 2*z - 1. Let t be j(-1). Let i be (2 - 2) + t + 1. Let x be d(i). Is 2 at most as big as x?
True
Let u(f) = 11*f - 31. Let n be u(3). Is n less than 21/8?
True
Suppose l = 2*o - 0*l + 7, 0 = -3*l + 15. Let c = 1 + -4. Let w = c + 1. Which is greater: o or w?
o
Let p = 264 - 800/3. Which is smaller: -4 or p?
-4
Suppose 0 = 3*o - 6*o + 5*s + 17, -5*o + 2*s + 22 = 0. Suppose -o*l + 5 = l. Is 0 at most as big as l?
True
Let s = -13 - -8. Let z = -5 - s. Let b = 1 + z. Which is smaller: b or -0.3?
-0.3
Suppose -2*u = -5*p - 5, -p - 1 = -7*u + 4*u. Let r be (-24)/9 + (-4)/(-6). Let d be r + ((-9)/(-6) - 0). Is u at least as big as d?
True
Suppose -11 = 4*k + 9. Let r be (-2)/(-3)*27/18. Let n = -5 + r. Which is smaller: k or n?
k
Let s = -21 - -62/3. Let y be (-2)/(-11) - 6/33. Which is smaller: y or s?
s
Suppose -7 = 5*r + 3. Let i be r/(-10) + (-3)/15. Which is smaller: -1/27 or i?
-1/27
Let l = 0 - -1. Let r be (l + -1)/(-9 + 7). Is -1/11 at least r?
False
Let b = 0.031 - 1.681. Let u = -1.6 - b. Which is smaller: u or 2/3?
u
Let r = 0.3 + -0.5. Suppose 0 = -y - 4*y + 2*a + 16, 19 = 5*y - 3*a. Suppose -3*k = -y*k. Which is bigger: r or k?
k
Let x = -0.29 + -3.71. Is x at least as big as -0.2?
False
Let y = -127 - -127. Which is smaller: y or -80?
-80
Let j be (-3)/9 + (-29)/3. Which is smaller: -12 or j?
-12
Let n(p) = 0*p**3 + 5 + 2*p + 1 - p**3 - 6*p**2. Let j be n(-6). Let t = -16 - -12. Which is bigger: t or j?
t
Let f = 9 - 4. Suppose -5*r - 2*w = -f + 17, -4*r = 4*w. Which is bigger: -3 or r?
-3
Let a be (12/(1 + -3))/2. Let w = -1 - a. Which is smaller: w or -1?
-1
Suppose 0*t + 3*t - 4*f = -7, t + f = 0. Let i be t/(-1)*4 + -2. Let m(n) = -n**3 + 2*n**2 - 3*n + 2. Let v be m(i). Are v and -3 unequal?
True
Let d be (1/(-2))/((-9)/(-648)*4). Is d less than or equal to -1?
True
Let a(h) = -h**3 + 6*h**2 + 7*h + 9. Let r be a(7). Let l = r + -9. Which is bigger: l or -1?
l
Suppose -k = 2 - 6. Let s be k/(-6)*12/8. Do s and -2 have the same value?
False
Let h be 2/((-3)/(9/2)). Let d be (4 + h)*(-3)/(-1). Suppose u + 4 - d = 0. Which is greater: u or 1/4?
1/4
Let z be (2 - -645)*1/(-5). Let l = z + 129. Let y = 4 - 3. Is y < l?
False
Let x be (-14)/(-6) - (-2)/(-1). Are x and 4 equal?
False
Let g(t) be the first derivative of -t**3/3 - 3*t**2/2 - 2*t + 1. Let k be g(-2). Let n = k + 1. Is n > 1?
False
Let p = 0.5 - 0.4. Let w = 0.1 - 0.3. Let x = -0.2 - w. Do p and x have the same value?
False
Let w(n) = -n + 1. Let c be w(2). Let k(l) = 9*l**3 - l. Let b be k(-1). Let h be (-14)/8 + 2/b. Is c > h?
True
Let v = -15 - -19. Which is smaller: -2/17 or v?
-2/17
Let x = -131/20 - -27/4. Suppose 9 + 7 = 4*f. Suppose -5*b - p = -1, 0 = f*p + 19 - 3. Is b >= x?
True
Let z be ((-6)/9 + 1)*6. Suppose 9 = -z*h - h. Which is smaller: h or -0.1?
h
Let x = 79 + -75. Which is smaller: -2/19 or x?
-2/19
Suppose -4*n + 95 = -9. Is n greater than 26?
False
Let s(z) = -z**2 + z. Let q(t) = 2*t**3 + 6*t**2 - 6*t - 1. Let f(k) = q(k) + 6*s(k). Let p be f(1). Let g be 3/3 - (-2)/(-6). Are g and p equal?
False
Let x be 32/(-45) + (-2)/5. Which is greater: x or -0.1?
-0.1
Let b = -36 - -37. Which is smaller: -6 or b?
-6
Let b(r) = -r**3 - r**2 + 2. Let x be b(-2). Let i = x + -6. Which is bigger: i or 1?
1
Suppose 2*y = 7*y + 2*o - 23, o = 3*y - 16. Is y > 4?
True
Let h = 36.02 + -36. Is 3 bigger than h?
True
Suppose -2*p + 2 = 0, 7*n - p = 3*n + 47. Let r be (-3)/n + (-6)/8. Is r greater than -1/17?
False
Let n = 3 - 3.3. Let y = 0.2 - 0.4. Let s = n - y. Are -0.1 and s nonequal?
False
Let a(y) = y**3 - 3*y**2 + 2*y + 1. Let p be a(2). Let i be 102/(-58) + 1 + p. Let b = i + 103/174. Which is smaller: 1 or b?
b
Let n(s) be the second derivative of -5/2*s**2 + 1/3*s**3 - s + 0. Let l be n(5). Is 5 > l?
False
Suppose -18 = -2*v + 2*u + 2, 4*v + u - 15 = 0. Suppose 6*k + 5*a = k, v*a = -4*k - 2. Suppose 0 = 5*p + 2*n - 1 - k, -3*n - 4 = -p. Is 2 at most as big as p?
False
Let w(r) = 2*r + 1. Let v be w(-1). Let b be (-3)/v + 51/(-21). Which is greater: b or 0?
b
Suppose 24 + 8 = 5*r - 2*y, -4*y - 22 = -3*r. Suppose -j - 2*w + 3 = 0, -j + 4*w + 12 = 3. Which is smaller: j or r?
j
Suppose -4*w - 5 = -5*r, 3*r - 8*w + 3*w = 3. Which is smaller: r or 7?
r
Let d be -3*2*(-1)/2. Let a be d*(-3)/(-27)*6. Suppose a*f - 2*p - 7 = -3, 14 = f + 5*p. Is f less than 3?
False
Let b be 1 + -1 + (-1)/117. Let f = 79/117 + b. Which is smaller: f or 2?
f
Let h be 1/(6/(-4) - 0). Let f be 0 + -1 - (-147)/145. Let t = -56/145 - f. Is h equal to t?
False
Let g = -0.18 - -0.88. Which is smaller: g or 0.1?
0.1
Let s = -12 + 17. Suppose -s*c = -c + 4. Let d be (1/(-2))/((-21)/7). Is c at most as big as d?
True
Suppose 3*h + 5*i = -9, -i + 12 = 3*h - 3*i. Suppose -h*p - 2 = 12. Which is bigger: -4 or p?
-4
Let s be 0 - 0/((-1 - 0) + 3). Is 2/129 less than s?
False
Suppose g - 4*g + 53 = -2*w, 5*g = w + 100. Let c = g - 21. Let v = 0 - 1. Is c at least as big as v?
True
Let x(r) = 3*r - 38. Let k be x(11). Which is smaller: -8 or k?
-8
Suppose -2*b + 7*b + 1090 = 0. Let k = 1964/9 + b. Are k and 0 non-equal?
True
Let y be (-2)/6 - 59/3. Is -20 less than y?
False
Let r be 90/12 + 1/2. Is 8 >= r?
True
Suppose -4*i - 2 = 6. Let m be i/3 + (-159)/315. Let l = m - -11/7. Which is smaller: l or -1?
-1
Let l be ((-5)/15)/((-1)/121). Let b = l + -40. Is 1 equal to b?
False
Let u be -4 - 92/(16/(-4)). Which is greater: u or 20?
20
Let y = -4/55 + -152/935. Suppose 0 + 2 = 2*t. Which is smaller: t or y?
y
Suppose 3*a = -4*u - 1, -4*u + 0*u + 23 = -5*a. Are 3 and a unequal?
True
Let c be (-4)/(-14) + (-32)/14. Suppose -2*h = -2*y - 6, h - 9 + 4 = 2*y. Let v be h*(2 + 0/c). Is v <= 4?
True
Suppose 12 = -b - 11. Let u = 54 - 76. Which is smaller: b or u?
b
Let w(j) = -13*j**2 - 2*j + 4. Let o be w(6). Let m be o/3*(-3)/(-18). Let x = m + 3121/117. Is 0 >= x?
False
Let z(l) = -l**3 - 9*l**2 - 14*l + 9. Let r be z(-7). Let u(h) = 5*h - 2. Let a be u(2). Which is smaller: a or r?
a
Let o = -14 + 9. Which is bigger: -3 or o?
-3
Let f = -3 + 1.7. Let r = 1.7 - f. Which is bigger: r or 1?
r
Let l(d) = d**3 - d. Let y be l(-1). Let s(g) = g - 6. Let x be s(6). Is x bigger than y?
False
Let n = 0.02 - 0.08. Let b = 3.94 - n. Let h = b + -3. Are h and 1 unequal?
False
Let m = 1.8 + -1.68. Let r = m + -0.12. Are r and -2 nonequal?
True
Suppose 4*n = a - 4 + 3, 0 = -2*n + 4*a - 4. Which is smaller: 5/7 or n?
n
Let g be ((-9)/(-6))/((-3)/(-32)). Suppose 0 = y - 4*z - 21, -2*z = 3*y + 2 + 5. Which is smaller: g or y?
y
Let u be ((-32)/(-6))/(2/3). Suppose -3*f - 3*r + 10 = -f, u = 4*r. Are 5/3 and f equal?
False
Let b = 7 - 5. Let n be (-2 + 1 + 1)/b. Suppose 5*o = o + 4. Which is smaller: n or o?
n
Let c = 77 - 15. Which is smaller: 0.1 or c?
0.1
Let t be 1/((-1)/2*2). Let m(a) = -5*a + 1. Let s(i) = -i + 1. Let v(r) = -m(r) + 2*s(r). Let y be v(t). Is -3 bigger than y?
False
Let v(i) = i**2 - 34*i + 18. Let k be v(37). Which is greater: k or 0.1?
k
Let k be (1 - 0)/(3/(-1)). Let q = 2.5 - -1.5. Is k at most q?
True
Suppose -5*d = 27 - 2. Let r(x) = x**2 + 4*x - 6. Let u be r(d). Is u bigger than 3?
False
Let j(h) = h**3 - 9*h**2 + 11*h - 4. Let z be j(9). Let f = -467/5 + z. Which is greater: 2 or f?
2
Suppose -4*z + 4 = -b + 5*b, -5*b + 1 = 4*z. Let d(w) = -z*w + 5*w - 2 + 11. Let u be d(-8). Which is smaller: u or -0.2?
-0.2
Let v = 0 - 0. Let r be (-4)/8*v/(-1). Is -1 at most r?
True
Let t = -9 + 10. Let s = -28 - -61. Let j be (-4)/s*-15 - 2. Which is smaller: j or t?
j
Suppose 2*o - 5 = -1. Let p be (-1 + 1)/(o/1). Let f = 42 + -209/5. Are p and f unequal?
True
Let i be 33/27 - (-4)/(-18). Do -1/24 and i have the same value?
False
Let p(y) = y**2 - 3*y + 3. Let i be p(2). Let f(a) = -2*a - 8. Let l be f(-7). Suppose -6*w + w = 4*j - l, -2*w + 4 = 0. Which is smaller: j or i?
j
Suppose 0 = -4*y - 1 + 5. Is y less than or equal to 1?
True
Suppose 4*v - w = 3*v, -4*v - w = 0. Suppose o + 3 = p + 6, -3*o - 2*p = -14. Let k = o - 3. Which is smaller: k or v?
v
Suppose i = -4, 4*i + i - 7 = 