5*v = -2*k + 1, -4*k = -2*v + 6 - 0. Let q = -3 - k. Which is bigger: q or 3/8?
3/8
Let s be ((-1)/12)/(-2 + (-21)/(-6)). Is -1 > s?
False
Let d = 73 + -55. Is 19 equal to d?
False
Let f be 3 - ((-1128)/32)/((-3)/4). Is f > -45?
True
Let c be (-112)/40 + 2/10. Let v(r) = r - 8. Let k be v(4). Which is bigger: k or c?
c
Suppose 0*k = 4*b + k + 47, -5*b - k = 59. Is b != -12?
False
Let r = 9 - 19. Is r at least as big as -0.8?
False
Let a be ((-2)/(-4))/(1/(-6)). Let j be 3/6 + a/(-6). Are -1/5 and j unequal?
True
Suppose k + 5 = -4*k. Let m(q) = 3*q + 1. Let d be m(2). Let v be (6/(-21))/((-15)/d). Which is greater: k or v?
v
Let y(l) be the third derivative of -l**6/120 + l**5/20 - l**4/8 + l**3/2 - l**2. Let v be y(2). Which is smaller: v or -1/6?
-1/6
Let n = -9 + 3. Let y = n + 11. Let c = 6 - y. Which is smaller: 1/4 or c?
1/4
Let j(v) = v**2 - 4*v - 5. Let h be j(5). Let o be (-84)/20*(-108)/14. Let w = 3392/105 - o. Which is smaller: h or w?
w
Let i = 0.3 - 0.4. Let b = 0.1 + i. Let y = -0.1 - b. Is 0 smaller than y?
False
Let c = 0.3 + 1.7. Let y = -1.66 + -0.44. Let p = y + c. Which is bigger: 4 or p?
4
Let n be (-24)/9 + (-2)/6. Is n equal to -5?
False
Let c = 0.5 + -0.4. Is -8 at most as big as c?
True
Let m be (-4)/((-416)/316) - 3. Is 1 greater than or equal to m?
True
Let u = 1.4 - 2.5. Let h = 0.1 + u. Is -1/14 equal to h?
False
Let g = -2640213/203 + 13006. Let b = g - 9/29. Suppose -4*n - 3*q = -3, n + 2*q - 2 = -0*n. Is b at most as big as n?
True
Suppose 0 = k + 3*k. Let x be (-1)/(-2*(-2)/(-32)). Suppose 0 = c - 0*a - 4*a - 8, -4*a = x. Is k > c?
False
Let a = 1122903/20 + -56166. Let j = a - -83/4. Are 0 and j equal?
False
Let v be -4 + (4 - 4) - 3356/(-838). Is v > -1?
True
Suppose 4 = -3*o + 5*c + 20, -2*c = o + 2. Suppose 0 = o*l + 2, g - 11 = 4*g + 2*l. Which is smaller: g or -4?
-4
Let t(w) = 2*w**3 - 4*w**2 + 2*w + 2. Let p = 6 + -4. Let y be t(p). Suppose -2*s = -y*s. Which is smaller: -2 or s?
-2
Let o(v) = -v**2 + 3*v - 3. Let f(g) = g. Let z be f(3). Let h be o(z). Which is greater: h or -4?
h
Suppose -3*u - 2*y = 44, u + y = -25 + 9. Is u > -0.3?
False
Suppose -5*u + 15 = -0*u. Suppose 2*q = -0*q + 5*v, -u*v = q. Suppose -3*k - 2 - 10 = q. Which is greater: k or -3?
-3
Suppose -4*j = -2*p - 8, 3*j + 2 = -p + 7*j. Let u be (4/p)/((-4)/6). Suppose -4*f = -2*k - 2, 4*k - u + 5 = 0. Is f greater than or equal to 0?
True
Suppose 0 = q + o + 15 - 6, 0 = 4*o - 12. Let a = 131 - 142. Which is greater: q or a?
a
Let m = 36 + -51. Let y be (-12)/m*(-2 + 12). Let i = 7 - y. Are 1 and i unequal?
True
Let c = 2 + -3. Let x = 0 + 0. Suppose x = k + 2*k + 6. Which is greater: k or c?
c
Let b(z) = -z**3 - 6*z**2 - z - 6. Let t be b(-6). Let m = 7391180/32767 + 17/4681. Let s = m + -226. Which is bigger: t or s?
t
Let a be -1 - 35/(-25) - (-14)/(-10). Which is smaller: -1/30 or a?
a
Let w be 18/30 + 2/5. Is w greater than 1/19?
True
Let z = 16 - 23. Let b(j) = j**3 + 8*j**2 + 6*j - 5. Let f be b(z). Let n = f + -2. Which is greater: n or 1?
1
Let s = -3 + 3. Let v(r) = -r. Let a be v(5). Which is smaller: a or s?
a
Suppose -q = -7 + 3. Suppose 0 = -5*o + o + q. Let u be (-3)/(-4) - 28/80. Is o greater than or equal to u?
True
Let t = 9 + -5. Suppose 4 = 2*n - 4. Suppose 7*s - 18 = n*s. Is t not equal to s?
True
Let x = -3 + 7. Suppose 3*p = -7 + x. Let j be (-1)/2 - (-1)/10. Is p at least j?
False
Suppose 8 = 3*v + v. Let i be 2 - 9/(5 - v). Let x = 1762/9 - 196. Is i at most as big as x?
True
Let s = -172 - -47. Is s > -125?
False
Let l be ((-6)/(-3) + -4)/13. Is l != 0.2?
True
Suppose 5*o = 3*d - 22, d - 2*o = 2*d + 11. Let j(r) = -2*r + 2. Let s be j(d). Which is greater: 5 or s?
5
Suppose 0 = -5*q + p + 12, -3*p + 1 = -q + 9. Let r = 77 + -151/2. Is q at most r?
False
Let z = -497 + 529.1. Let y = z - 37. Let f = y + 5. Which is bigger: 0.2 or f?
0.2
Let v(l) = l**3 + 6*l**2 - 7*l + 5. Let c be v(-7). Suppose -f = -z + f + 4, 3*z = c*f + 8. Which is smaller: z or -5?
-5
Let o = -11 + 20. Do 8 and o have the same value?
False
Let n = 114 - 60. Let j = n - 29. Which is smaller: -1 or j?
-1
Let r = -174 - -152.3. Let v = r + 23.71. Let w = 0.01 - v. Is -1/3 smaller than w?
False
Let b = 0.2 - 1.2. Let q(k) = -4*k**3 + 0*k + 2*k**3 - 2*k + 2 - 1. Let r be q(1). Is b at least as big as r?
True
Let d = 13 + -19. Is -11 greater than d?
False
Let v = 46 + -553/12. Let w = v - -3/4. Are w and -2 equal?
False
Let r be (20/30)/(4/18). Suppose -36 = -3*i - r*i. Which is smaller: 7 or i?
i
Let u(d) = -d**3 - 9*d**2 - d - 3. Let t be u(-9). Suppose t*n = -12 - 0. Which is bigger: -8 or n?
n
Let a = 1 + 1. Which is bigger: 0.5 or a?
a
Let l(w) = w**2 - 6*w + 6. Let s be l(5). Let n = s - 1. Which is smaller: n or 1?
n
Let r = -16 + 15. Let u be (66/(-14))/(-3) + r. Is 0 not equal to u?
True
Let m = -2 - -5. Let f(x) = -2*x + 3. Let t be f(m). Let l be (-6)/8*(-21 - -25). Is l > t?
False
Let b = 3.9 - 3.8. Is b greater than 23/3?
False
Let g be 1/3 + (-19)/3. Let s be 3/5 - 99/15. Do s and g have the same value?
True
Let o = 78 + -79. Which is greater: o or 0.26?
0.26
Let b = -8 - -7.8. Which is smaller: -0.5 or b?
-0.5
Let a = 2/775 - -1504/17825. Is -0.2 < a?
True
Let g be (-4)/6*(-27)/(-18). Which is smaller: -18/23 or g?
g
Let f(u) = -u - 1. Let i(s) = -5*s - 6. Let c(z) = -6*f(z) + i(z). Let r be c(13). Which is bigger: 12 or r?
r
Suppose 0*h - h + 5*t = -13, 4*h = 3*t + 35. Suppose 24 = 4*j - 2*m, -j - 3*m - h = -0*m. Let z(v) = 6*v**2 - 3*v + 2. Let c be z(1). Is j less than c?
True
Let i = 3.9 + 0.1. Let t = -28 + 14. Let b = t - -13.9. Are i and b nonequal?
True
Let f be ((-3)/9)/((-3)/(-24)). Which is smaller: f or -1?
f
Suppose -2*f + 4*h + 13 = 1, 2*h + 30 = 5*f. Let r be (-3)/6*3/f. Which is smaller: r or 2/9?
r
Suppose 14 = 2*t - 4*j, 4*t - j - 4*j = 37. Suppose -2*o + 3*x = 4*x + 2, 0 = o - 3*x - t. Suppose o = -z - 0. Is z less than or equal to 1/3?
True
Suppose -5*w - 1105 = -0*w. Let y be (-47)/w + (-2)/13. Is y at least 1?
False
Let a = 3 + -7. Let j = a + 6. Let p = -3 + j. Which is greater: 2/9 or p?
2/9
Let b be (-2 + 3 + 0)/1. Which is greater: b or 16/9?
16/9
Let u be 237856/(-7) - (2 + 0). Let d = u + 34053. Let a = 72 - d. Which is smaller: 0 or a?
0
Let v = -7 - -4. Let i = -3 - v. Suppose -3*m + 0*m + 9 = i. Is 3 less than m?
False
Let c(a) = a**2 + 7*a - 10. Let s be c(-8). Let r be (3/(-6))/((-7)/4). Which is smaller: r or s?
s
Let r = 5 + -5. Let y = 1.99 - -0.01. Which is smaller: r or y?
r
Let d(s) = 5*s**2 + 4*s - 2. Let k(m) = 4*m**2 + 3*m - 3. Let x(g) = 3*d(g) - 4*k(g). Let h be x(0). Which is smaller: h or 5?
5
Let a = -5 + 3. Let v(m) = m**3 + 6*m**2 + 3*m - 7. Let i be v(-5). Let k be 2/(-14)*(-1 + i). Is a < k?
True
Let a(x) = x + 16. Let v be a(-14). Suppose 3*u = u + v. Which is smaller: -2/5 or u?
-2/5
Let o = -0.49 + 2.19. Is -2/3 >= o?
False
Let y = 2 - 7. Let p = -5.3 - y. Is -2 equal to p?
False
Let r(a) = a**2 - 3*a - 5. Let j be r(4). Suppose -3*w = -0*w + 21. Let h be 5/w - (-4)/(-14). Is j <= h?
True
Suppose 2*v - 5*r = 6 + 6, -2*v - 5*r = 8. Let d = v - 1. Let t = -1 - -1. Does d = t?
True
Let x = 27 + -25. Which is smaller: -0.4 or x?
-0.4
Let j be 1/((-1 - 1) + 1). Let x(f) = f - 8. Let b(p) = -p + 8. Let h(u) = -4*b(u) - 5*x(u). Let r be h(8). Which is smaller: r or j?
j
Suppose 5*p + 0*k - 28 = -k, -26 = -4*p + k. Let z = -4 + p. Which is greater: 0.2 or z?
z
Let f = 3 + -6. Suppose 3*j - 9 = 5*m - 2, 0 = -2*j + 4*m + 6. Let c be j/(-3)*f/(-4). Which is smaller: -1 or c?
-1
Suppose 5 = 2*v + 7. Is 1/144 smaller than v?
False
Let t(v) = -6 - 1 - v + 0*v. Let r = -31 - -25. Let f be t(r). Which is smaller: f or 0?
f
Let t(l) = l + 6. Let d be t(-6). Suppose -5*r - 5*z = d, 0 = 3*z - 3. Is -2/5 less than or equal to r?
False
Suppose 5*q + 3*i = -7, 5*q - 3*i = -7*i - 6. Let v(p) = -p - 7. Let b(d) = -4*d**2 - 2*d + 1. Let z be b(1). Let h be v(z). Are q and h unequal?
False
Suppose -4*f - 5*s - 89 = 0, 0 = -3*f + 3*s + 2*s - 93. Let d = -3541/3 + 1206. Let q = f + d. Which is bigger: -1 or q?
q
Let b(w) = -w**3 - 4*w**2 - w - 3. Let l be b(-4). Let c be (l/2)/((-2)/(-8)). Suppose 18 = g + 5*n, -4*g - n + 12 = -g. Which is bigger: g or c?
g
Let z(i) = i**3 - 4*i**2 + 3*i + 2. Let y be