2 + 8*k + 7. Let n be a(-7). Suppose 6 = -g - g. Let d be -3*((-7)/g + -2). Which is greater: n or d?
n
Let q be 1*4*(-65)/100. Are -3 and q equal?
False
Let g = -153 - -153. Is -58 at least as big as g?
False
Let r = 28 - 40. Let c be 2/(-6) + 44/r. Is c bigger than -2?
False
Let x = 38/3 - 13. Is x less than -13?
False
Let w be (-80)/(-6) - (-2)/3. Let v be (-3 - w/(-4))*-4. Let j be (3 - 1 - 4) + -1. Which is smaller: v or j?
j
Let j = 5 + -2. Let r(p) = -p. Let n be r(j). Let a be 1*n + 26/10. Is a less than 0?
True
Let j = -54 + 57. Is 5 bigger than j?
True
Let w be -1*-1*2/(-3). Is w > -1/6?
False
Let j(k) = -k**2 - 6*k + 6. Let r be j(-7). Let c = 2/49 + -151/98. Which is smaller: r or c?
c
Let f(l) be the third derivative of -l**6/60 - l**5/20 + l**4/12 - l**3/6 + 2*l**2. Let y be f(-3). Suppose -3 = -4*k + 3*z, -z - y = 8*k - 3*k. Is -2 >= k?
True
Let d(v) = -v + v**3 + 4 + 5*v**2 + 0*v**3 - 2*v**3. Let t be d(5). Let s = t + 2. Which is greater: 2/9 or s?
s
Let w be 3/12 - 5/20. Is 4/17 equal to w?
False
Let x = -0.563 - -0.363. Let y = 12 + -17. Which is smaller: x or y?
y
Let r be 4/(-20)*3*-5. Is 3 equal to r?
True
Suppose k = 3*k. Which is greater: 0.9 or k?
0.9
Let m = 0 + 7. Let o = 5 - m. Is -0.3 less than or equal to o?
False
Let i = -2 + 12. Let f = i + -11. Which is smaller: -2 or f?
-2
Suppose 3*d = 4*d - 5. Let p(v) = -v**3 + 6*v**2 - 7*v + 7. Let g be p(d). Suppose 0 = -i + 4, w - 2*i = 5*w + 12. Is g > w?
True
Suppose -2*w - i = 3*w - 126, 5*w + 4*i - 129 = 0. Which is greater: 26 or w?
26
Let d = 5 + -4.6. Let p be -3 + -4*(-3)/12. Are p and d equal?
False
Suppose -6 - 20 = -f - 5*p, -26 = -2*f + 3*p. Does 16 = f?
True
Let i be (0 + -2)/10*2. Suppose 34 = -3*n + 37. Is n less than i?
False
Let g(c) = 5*c + 2. Let j(w) = 9*w + 5. Let h(p) = 11*g(p) - 6*j(p). Let y be h(10). Let a be 5/6 + (-1)/3. Which is greater: y or a?
y
Suppose 4 = -o + 3. Let a = -4 + 1. Let g be ((-2)/a)/(8/(-9)). Which is greater: g or o?
g
Let d be (24/(-9) - -2)/2. Let g = -1 + 1. Which is smaller: g or d?
d
Let f(v) be the second derivative of v**5/20 + 2*v**4/3 + 3*v**3/2 + 3*v**2 + 2*v. Let a be f(-7). Let s be 8/6*(a + 5). Which is bigger: s or -3?
-3
Let d be ((-1 - -2)*10)/2. Let x be (18/27)/((-1)/(-9)). Let h be (-2 - -3) + x + -2. Is h <= d?
True
Let d(o) = o**2 + 26*o + 31. Let i be d(-25). Which is smaller: 4 or i?
4
Suppose 5*a + 265 = -5*v, -4*a - 239 = -4*v - v. Let y be (-4)/(-6)*12/a. Suppose -5 = 3*h - 4*h, -t - 26 = -5*h. Is t at most as big as y?
True
Suppose -2*w + 24 = 8. Suppose -w = -5*u + 12. Suppose 11 + 1 = 3*o. Are o and u nonequal?
False
Let r(l) = l**2 - 7*l - 7. Let a be r(8). Is a < 4/5?
False
Let i(z) = 10*z**2 + 2*z + 3. Let c be i(-1). Do 12 and c have different values?
True
Suppose -1 = -4*u + 7. Let g(v) = 2*v**2 + 11*v - 11. Let o be g(1). Is o != u?
False
Suppose 6*o = 2*o - 44. Let w = -18 - o. Let g = -6 - w. Is g at least 4?
False
Suppose 14 + 0 = -2*v. Is v > -3?
False
Let g = 16 + -11. Suppose 2*y - g*s - 3 = 0, 10 = 4*s - 2*s. Let o be ((-4)/y)/(6/(-14)). Which is smaller: o or 0.1?
0.1
Suppose 7*q - 4*q + 2*j - 34 = 0, -j + 10 = q. Which is greater: q or -1?
q
Let a be -4*(-4)/8 + -6. Let d be (-261)/(-54) + 6/a. Do d and 3 have different values?
True
Let l = 0.59 - 0.69. Which is bigger: l or -2?
l
Suppose 3*k - 8*v = -3*v + 33, 2*v = 5*k - 36. Let w be k/(-4)*1/(-6). Which is smaller: 1 or w?
w
Suppose -b - 5*y + 20 = 0, -3*b + 5 = -0*b + 4*y. Let p(q) = 2*q**2 + 8*q - 4. Let n be p(-4). Which is smaller: n or b?
b
Let a = -5 + 3. Let s = 0 + a. Do 0 and s have the same value?
False
Let p = 9 + -16. Let w = -11 - p. Let x = w - -5. Which is greater: x or 4?
4
Let s(b) = b**3 - 9*b**2 + 2*b - 13. Suppose -3*i + 17 = -10. Let r be s(i). Suppose -5*a = -5*u - 2*a + 4, -r*u = -a - 8. Do 3 and u have the same value?
False
Let v = -11 - -11. Is 4/11 at most as big as v?
False
Let d = 21 - 56. Which is bigger: 2 or d?
2
Let q = 36 - 14. Suppose -5*d + 2*w = -11, -q = -4*d - 5*w - 0*w. Let m be 0 - -3 - 9/d. Which is bigger: m or 1?
1
Let x = 0 + -0.02. Let j = -7 + 11. Suppose 0 = -3*b - b + j. Is b bigger than x?
True
Let j be (-1)/(-2) + 185/50 + 5. Which is bigger: 8 or j?
j
Let i = 2.92 - 0.32. Let k = i - 0.6. Let u = k + -3. Which is smaller: u or -2/7?
u
Let f be (-4167)/45 - 6/(-10). Let j be f/60 + 2/10. Which is greater: j or -0.1?
-0.1
Let z be (-2 + 32/(-2))*-1. Is 19 bigger than z?
True
Let n = -3 + 2. Let b = 0 - -2. Let k = b + n. Which is greater: -0.2 or k?
k
Let w = -9 - -7.6. Let j = 0.2 + 0.2. Let h = w + j. Are -0.4 and h equal?
False
Let i be -4 - (-1)/8*26. Which is bigger: i or -18?
i
Let u = -20/287 + -3/41. Let c = 416/15 - 137/5. Is u smaller than c?
True
Suppose -6*a = -a - 390. Let o be ((-4)/6)/((-4)/162). Let w be o/a*4/(-3). Which is smaller: w or -1?
-1
Suppose -3*a + 9 = 3*d, -a + 21 = -5*d + 3*a. Let b = 179431367/500 - 358863. Let u = 2/125 + b. Is u >= d?
True
Let p be (-1192)/(-6)*(-3)/(-7). Let b = 85 - p. Let g(c) = c + 14. Let v be g(-15). Which is bigger: v or b?
b
Suppose 0 = -3*v + 6*y - y + 17, -5*v - 4*y = 21. Let j = 2 + v. Is j equal to -2/13?
False
Suppose a + 3*a = 12. Let k(n) = n**3 - n**2 + n + 6. Let m be k(0). Let w = m + -4. Which is smaller: a or w?
w
Let h = 5.88 + 0.12. Let p = 24/35 + -2/5. Which is smaller: h or p?
p
Suppose 0*i - 7 = -3*i - 5*r, 0 = -4*r + 8. Is i >= -1/28?
False
Let k = -4 - -8. Let a(v) = k*v - 2*v + 5 - 3*v. Let p be a(7). Which is smaller: -3 or p?
-3
Let t = 0.049 + 21.951. Let l = 23 - t. Which is smaller: 1/6 or l?
1/6
Let a = 1.4 - -0.6. Let j = -0.38 + 2.08. Let c = a - j. Are 0 and c equal?
False
Let o = 5 - 3. Let z be (143/22)/((-2)/4). Let x = 14 + z. Which is smaller: o or x?
x
Let x be ((-2)/4)/((-5)/(-10)). Does x = -3/7?
False
Let w = -55545433/89804430 + -1/332609. Let k = w + 1/54. Let h be 28/(-15) - 2/15. Which is greater: k or h?
k
Let d = -0.4 - 0.1. Let b = d + 1. Let a = 0.8 - b. Which is smaller: -0.1 or a?
-0.1
Let t be (-2)/(-30)*(-5)/(-2). Let p = -2 - -2. Which is smaller: t or p?
p
Let q be -2 - (1 + -4) - 2. Let o be ((-9)/18)/(q/(-4)). Which is bigger: o or 1?
1
Let q = -0.77 - -0.87. Is 0.1 at least q?
True
Let v be 7/42 - (-194)/24. Let i = -7 + v. Which is smaller: 1/4 or i?
1/4
Suppose 0 = 3*t - 4*t + 1. Let w = -14 - -14. Which is greater: w or t?
t
Let k be (2 - 7)*(-36)/10. Suppose -4*x = 4*c + 4, -2*c + k - 4 = -2*x. Suppose -s = 2*s - c. Is s at least 0?
True
Let d be -1 - 1 - 1 - -18. Are d and 16 non-equal?
True
Let d = 79 + -79. Is d at most -1/26?
False
Let f be (1 + 1)*(1 - 0). Let w(u) = -u - 13. Let x(k) = k**2 - 9*k - 1. Let j be x(7). Let q be w(j). Is f > q?
False
Let g(z) = 2*z + 1. Suppose h = 3*h. Let c be g(h). Is c greater than or equal to -2/55?
True
Let u = 0.5 - 5.5. Let i = 4 + u. Which is smaller: i or -0.3?
i
Let b = 8 + -2. Let x(v) = v**2 + 14*v - 5. Let t be x(-14). Let k be t/15 - 28/b. Is k greater than or equal to -5?
True
Suppose -58 = -17*n - 262. Suppose p - 25 = 2*m, 4*p + p - 5 = 0. Is m greater than or equal to n?
True
Let c be (-4)/16 - (-175)/60. Which is greater: c or 2?
c
Suppose 5*o = 26 - 11. Let q = 6 - o. Let p = 3 - q. Which is greater: -2 or p?
p
Let c be 0 + ((-10)/(-1) + 0 - 0). Is 2 less than c?
True
Let j(b) = 6*b**2 - 6*b - 1. Let g be j(1). Let c be (1/4 - -1) + -1. Are g and c unequal?
True
Suppose 0 = -3*g - 2*g + 85. Let y be (g + -1)/2 + -2. Let n be 1/(-3) - 38/(-6). Is n > y?
False
Suppose -a - 3*a - 12 = 0. Is a at least as big as -3?
True
Let q be (-4)/114*(-3)/2. Which is bigger: -0.1 or q?
q
Let d be ((-2)/(-20))/((-1)/4). Is 7 at most d?
False
Suppose 2*w - 4*c - 26 + 6 = 0, 2 = 3*w + c. Let b = 225 + -225.02. Which is greater: w or b?
w
Let d = 0.1 - 0.2. Let f = 0.9 - d. Let q = 2 - f. Which is smaller: -0.2 or q?
-0.2
Let p = 33 - 38. Which is bigger: 0 or p?
0
Let b = 1 + 3. Let h be b/14 - (-2)/(-7). Which is bigger: 1 or h?
1
Let d(a) = a**3 - 7*a**2 + a - 6. Let f be d(7). Let p be 3/(2 - 18/3). Is f less than or equal to p?
False
Let g = -444/1603 - 2/229. Is g < 12?
True
Let r be 0 - 47/(-15) - 3. Is r bigger than 0?
True
Suppose -4*i - 2*p + 6 = 0, -p - 6 = -2*i + p. Suppose -4*z + 3 = -9. Do z and i have differe