*3 + 6*v**2 + 5*v + 4. Let c be x(7). Let g be c/(-4)*20/(-10). Are g and -4 equal?
False
Let g be 19 + -3 + 5/5. Which is smaller: g or 19?
g
Let p = 82 - 81. Let i(r) = -r**3 - r**2 + 2*r + 1. Let l be i(-2). Suppose -w + 3 = 2*v - l, -3*w - 5*v + 10 = 0. Which is smaller: p or w?
w
Suppose -5*n + 4*n + 1 = 0. Let y(r) = r**2 + 13*r + 24. Let v be y(-11). Which is smaller: n or v?
n
Suppose 20 = 4*g, 3*g - 11 = 3*q + 16. Let c be 110/(-72) + q/18. Which is greater: c or -2?
c
Let t = -149/21 - -45/7. Which is smaller: 0 or t?
t
Let m(y) be the first derivative of -y**3/3 + 4*y**2 + 8*y + 4. Let l be m(9). Is -7 at most as big as l?
True
Let s(y) = -y - 2. Let u be s(-4). Let x be (-8)/2*(-2)/36. Is u at most as big as x?
False
Suppose -3*m = 4 - 1. Let r = 1 + -9. Let f be 6/(-10)*(-20)/r. Is m bigger than f?
True
Let i(d) = d - 7. Let k be i(5). Let f be (-2 - 0) + 0 + k. Is f at most as big as -3?
True
Let m(x) = 4*x**2 + 3*x - 11. Let v be m(2). Is v > 15?
False
Suppose 2*j + j + 2*f = 0, -2*j + 2 = 2*f. Which is greater: -3 or j?
j
Let k = -19.9 + 2.9. Let q = k + 36. Are 2/3 and q equal?
False
Suppose -3*z + 8 = -5*z. Let c be 4 + z + 2*-1. Let q = 4 + c. Which is smaller: 3/2 or q?
3/2
Suppose 0 = 5*c + l - 13, c - 9 = -l - 4. Suppose c*s = 11 - 1. Which is bigger: 3 or s?
s
Let u = 2 + -7. Let g = -7 + 3. Let p = g - u. Which is bigger: -0.1 or p?
p
Let m = 1 - 1.1. Let c = -0.4 + 0.46. Let x = c - -0.94. Which is smaller: m or x?
m
Let y be ((-30)/4)/((-3)/(-6)). Is -15 greater than y?
False
Let d = 93 + -112. Is -93/5 at least as big as d?
True
Suppose -2*f + 4*w = 22, 3*w = f + 3*f + 19. Let k(n) = n**2 - 22. Let b be k(0). Let y be (-25)/(-440) - (-4)/b. Which is smaller: y or f?
f
Suppose 0 = j - 4*j. Suppose j = -4*t + 5 + 7. Are t and 18/5 equal?
False
Let l = -0.06 - 1.94. Let j = -71 - -74. Which is bigger: j or l?
j
Let o = -167748642 - -1323033535163/7887. Let u = -655 + 469636/717. Let b = o - u. Which is greater: -1 or b?
b
Suppose -t - 4*v - 18 = 0, 4*t + 4*v + 0*v = -12. Suppose -2*a - t*c - 2*c - 6 = 0, -5*c = a + 9. Let p = -0.93 + -0.07. Which is greater: p or a?
a
Suppose 1 = -x + 4. Suppose x*a + 1 = 7. Suppose 2*m + v + 3 = 0, 5*m - a*v + 4 = 19. Is 3 at most as big as m?
False
Suppose 2*y - 4*y = 4. Let h be (-7)/y + 2/(-4). Which is smaller: 4 or h?
h
Suppose -v = -6*v - 75. Let i be (3/(-2))/(v/140). Let s = i + -10. Which is greater: 5 or s?
5
Let y be ((-6)/4)/((-9)/48). Suppose -3*u - 3*b + y = -2*b, u - 2 = -b. Let n be 10/25 - u/(-5). Which is greater: 2/9 or n?
n
Let q be 142/24 + 24/72. Which is greater: 2 or q?
q
Let s be 22 - (-3)/(6/(-4)). Suppose 4*z - s = 12. Is z < 8?
False
Let g(r) = r**2 - 38*r - 38. Let l be g(39). Let d be (-4 - -1)/(18/4). Is d bigger than l?
False
Suppose -2*h + 5 = 3*h. Suppose 2*y = -r + 14, 4*r - 4*y - 98 = -r. Let q be 18/4*3/r. Is h >= q?
True
Let q(g) = -3*g. Let k be q(-2). Suppose 3*r + 2*c = k - 1, 2*r = -3*c. Is 3 < r?
False
Let r = 12 - 7. Let k = 5 - r. Is k < -2/7?
False
Let j = 17 - 8. Let z = j - 11. Which is greater: -0.3 or z?
-0.3
Let y = -10 - -10.3. Which is greater: -3 or y?
y
Let h = 0.98 + -1. Let q = h - 0.38. Is q greater than 1?
False
Let f be ((-36)/(-10))/(8/20). Suppose 0*s + 4 = s + 5*a, 5*s - 4*a = -f. Which is greater: s or 2/31?
2/31
Let q = -5 - -9. Suppose -4*u + 0*o = -4*o + 8, -o - 3 = q*u. Let n = 4.4 + -4. Is n at least u?
True
Let b = -0.95 - -1.17. Is b >= -0.1?
True
Let m be (1/(-3))/(4/(-36)). Let v be 2/m*820/16. Let c = 34 - v. Which is greater: 1 or c?
1
Let l = -4/3 + 1. Which is bigger: l or 1?
1
Let s = 233/15 - 77/5. Suppose t = -5*q, -4*t - 5*q = -q - 16. Suppose m - 6*m = -t. Is m at most as big as s?
False
Let u be 1/(1/((-1)/1)). Let m = -95/21 + 27/7. Do m and u have different values?
True
Let o be 20/((-20)/4) + -3. Is -7 smaller than o?
False
Suppose -6*o = -2*o. Suppose 2*l + j - 11 = o, -5*l = -j - 2*j. Let m be ((-1)/3)/(l/(-2)). Which is greater: m or 2/5?
2/5
Let n be (21/(-6))/(-7)*6. Suppose 6*i = 2 + 4. Which is smaller: i or n?
i
Let p(b) = -3*b - 3. Let f be -2 + (0 + -2 - -2). Let d be p(f). Which is greater: d or 4?
4
Let c be (56/(-12))/(-1*2). Is 1 bigger than c?
False
Let x = -27 + 29.4. Which is smaller: -0.2 or x?
-0.2
Let w be (-318)/14 + 4/(-14). Let d be 2*3/6*w. Do d and -23 have different values?
False
Let i = -2 - -1.9. Let s = -0.2 - i. Let y = s - 0. Is 2/3 smaller than y?
False
Suppose 0 - 2 = -2*s. Let r be 4/(s + (-15 - -1)). Let j = r + 11/78. Which is bigger: 2/3 or j?
2/3
Let x = -158 + 158.1. Which is smaller: -0.16 or x?
-0.16
Suppose 12*k = 8*k - 4. Is k less than or equal to 17?
True
Suppose -4*a + 4 = -2*x, 10 = a + 5*x - x. Let p be ((-3)/a)/((-6)/8). Suppose -5*f = 5*q + 20, 0 = 4*q + p*f + f + 12. Which is smaller: 1 or q?
q
Let f = -10 - -15. Which is smaller: f or -4?
-4
Let h = -11 + 12. Do h and 11 have the same value?
False
Let b = -227117/103 + 2205. Is b >= 0?
False
Suppose 6*z = 2*z - 8. Let i = -5 - -3. Let o = i + 1. Is z bigger than o?
False
Let x = 0.14 + -0.04. Which is greater: x or -1/7?
x
Let o be 0 - 0/(6/2). Suppose t + o - 5 = 0. Suppose -t*j - 25 = 3*q, j - 3*q = -2*q + 3. Which is smaller: -1 or j?
j
Suppose 0 = 2*i - 5*f + 20, -2*i - 2*i = 5*f + 10. Which is bigger: i or -4?
-4
Let w = -13 - -8. Let s = w + 9. Suppose 7 = s*z - 9. Is 1 >= z?
False
Suppose 0*v = v. Suppose v = -2*s - 3*s + 4*a + 11, -a = 4. Which is greater: -1/2 or s?
-1/2
Let d = -6.6 + 9. Is -2/7 at least as big as d?
False
Let q be 234/48 - (4 + -1). Which is smaller: 3 or q?
q
Suppose 5*s = 44 - 14. Suppose 10 = 5*g - 3*g. Which is smaller: s or g?
g
Let z be 1/(-2)*2 - -2. Let k = 32 - 63/2. Which is greater: z or k?
z
Let y = 8 + -7.94. Let i = y - 0.06. Which is smaller: -0.05 or i?
-0.05
Let q = 182/1479 - -20/87. Is q at least -1?
True
Let r = -0.119 - -0.119. Let q = 0 + 2. Which is greater: q or r?
q
Let a = -0.066 - 0.034. Is -1.3 bigger than a?
False
Let r(z) = -z**2 - 3*z - 2. Let m be r(-5). Let h = m + 17. Is 5 < h?
False
Let g(n) = -n**2 - 4*n + 1. Let m = -2 - 2. Let s be g(m). Let z = -177/55 - -17/5. Which is smaller: s or z?
z
Suppose 0 = 5*r + 6 + 24. Is r at least -7?
True
Let a = -5.97 + -0.03. Let u = a - -7. Which is bigger: 1/6 or u?
u
Suppose 5*o = 7*o - 34. Suppose 2 = 5*w + o. Which is smaller: w or -8?
-8
Suppose 2*v = -3*d + v - 14, -4*d = -5*v + 44. Let w = 40 + -45. Are d and w nonequal?
True
Let b = -117 - -119.08. Let d = b + -0.08. Which is greater: 2/3 or d?
d
Let c(p) = -3*p + 32. Let f be c(11). Are -7/6 and f nonequal?
True
Let z be ((-4)/2)/((-4)/10). Suppose -3*k + z*u + 5 = -8*k, 2*u = 0. Let q = 1 + k. Which is bigger: q or 3?
3
Let z be (-3 - 2257/6) + 2. Let j = -378 - z. Is -2 smaller than j?
True
Suppose -24*u + 19*u = 160. Is 2 bigger than u?
True
Let t be 0/2 + (-3 - -7). Let j be (-2 - 1)*(-8)/6. Let s be 2/j + (-7)/(-2). Are s and t unequal?
False
Let h = -62 - -62.1. Which is greater: h or -1/36?
h
Let h = -371/10 + 75/2. Let i = 6 + -6.1. Which is smaller: h or i?
i
Let d = -12 - -7. Let v = -8 - d. Let f be v/(54/(-20)) - 1. Is -1 greater than f?
False
Let p(d) = -d**2 + 5*d + 84. Let k be p(12). Is k >= -3/88?
True
Suppose 3*w - 2*l = 3*l - 35, -2*l + 28 = -4*w. Which is bigger: -31/5 or w?
w
Let g = 2 + -1. Let f be g*-2 - (-26)/18. Let s = -17/18 + f. Are s and -2 nonequal?
True
Let q = -14 - -1. Let o = q + 12. Is 2/7 at most o?
False
Let r(l) = l**3 + 2*l**2 + 2*l. Let x be r(-2). Let h be 9/2 - (-2)/x. Suppose i - h = -i. Which is bigger: 1 or i?
i
Let h(k) = -k - 6. Let t be h(-8). Let z(l) be the first derivative of -l**4/4 + 7*l**3/3 - 7*l**2/2 + 5*l - 3. Let g be z(6). Which is smaller: g or t?
g
Suppose c - 1 = -0. Suppose -2*s + 3 = -c. Suppose 0 = -5*o - 4*a + 15, s*o = 2*a + 5 + 1. Which is greater: o or 2?
o
Let r = -14 - -16. Which is smaller: 0 or r?
0
Suppose 18*a = 4*a + 9*a. Let f = 80 + -244/3. Is a at most as big as f?
False
Let g = 0 - 21. Let q = -16 - g. Which is greater: 17/3 or q?
17/3
Let r = -6 - 0. Let p be r/(-6 + 3) + -4. Let t be (-10)/4*1*p. Which is bigger: 4 or t?
t
Let d = 0.29 - 0.09. Let k = -2.6 + 4.6. Which is greater: k or d?
k
Suppose 5 + 1 = -3*a. Let w(u) = -u**3 - 5*u**2 + 4*u - 5. Let t 