t g(p) be the first derivative of -p**2/2 + 6*p - 1. Let a be g(6). Which is greater: a or -1/12?
a
Let n be 1/2*14/21. Is 0.06 <= n?
True
Let b(s) = -s**3 + 17*s**2 + 2*s - 35. Let q be b(17). Suppose j + 4*t + 15 = 0, -2*j + 5*t + 3 = 2*j. Which is greater: q or j?
q
Let x be (0 - 1*-2) + -9. Let k = -5 - x. Let p be ((-1)/(-3))/(k/(-4)). Does p = 0?
False
Suppose -3*r - 3 = -0*r. Does r = -2/23?
False
Suppose -p = -5*t + 69, 6*t - 58 = 2*t - 2*p. Suppose -5*q + 2*g + 11 = 0, -2*q = -4*q + 4*g + t. Which is smaller: -5 or q?
-5
Let u = 0.2 + -0.13. Let g = u - -0.23. Let l be 8/6*(-3)/(-2). Which is greater: g or l?
l
Suppose 6 + 2 = -2*o. Suppose -3*d + 1 = 13. Is o smaller than d?
False
Let y be (-2 + 8)*(-10)/(-4). Are y and 0 equal?
False
Suppose -5*h = 4*v - 10, 1 = 4*v - 3*v + 2*h. Let g = v + -4. Suppose 0 = -d + 5*d - 8. Is g at most d?
True
Suppose 12 = -4*i + 3*a + a, 5 = -3*i - a. Is i < 4/9?
True
Let d = 9/13 + -107/117. Let l be ((-20)/(-11) - 2) + 0. Which is greater: l or d?
l
Let f = 17 + -17. Is f > -2/17?
True
Let i = -98 + 1665/17. Which is smaller: i or -0.2?
-0.2
Suppose 2*r + 3 - 17 = 0. Suppose 0 = 5*p - r*p. Is p >= 1/21?
False
Let l be (-9 - 2)*2/(-5). Which is smaller: l or 4?
4
Let m be ((-8)/10 - 2)*5. Which is smaller: -3 or m?
m
Let o be (-1212)/144 - (-1)/(-3). Is o greater than -10?
True
Let k(p) be the first derivative of p**2/2 + p - 4. Let c be 2 + -2 + 2 - 7. Let a be k(c). Is a smaller than -5?
False
Let b = -134/133 - -11/19. Suppose -2*k - 4*t = 0, 0*k = 3*k - 3*t. Which is smaller: k or b?
b
Let b be -3 - (-5 - -1)/2. Let y = -1 - b. Is y > 1?
False
Suppose 3*h - 2 = -v, 0*v - 3*h - 10 = -5*v. Suppose 18 = i + 4*z, v*i + 3*z - 6*z - 3 = 0. Suppose 0*y + 10 = 2*y. Which is smaller: i or y?
y
Let z be (0/(-2))/(0 + -2). Suppose -12 = -2*t + 3*d, 4*d + 0 = -t + 6. Suppose 0 = -3*j + t*j. Is j equal to z?
True
Let x(b) = b**2 - b - 1. Suppose 0 = -3*p + 6*p. Let d be x(p). Which is bigger: 8 or d?
8
Let m = -27 - -22. Is m <= -5?
True
Let w(s) = 4*s**2 - 2*s - 1. Let d be w(-1). Suppose 5*r - v = 5, v = 2*r + d*v - 2. Let m = -136 - -682/5. Is r >= m?
True
Let q = 0 + 2. Suppose -5*c - 5*i = 5, 2*i + q = 4*c - 2*c. Which is smaller: 1 or c?
c
Let j be 262/14 + 2/7. Let c be (-10)/6*(2 + -5). Suppose -t + j = c*w, w + 4*t - t - 15 = 0. Is 0 smaller than w?
True
Suppose j = 2*d - 3 - 6, -5*j - 17 = -3*d. Let b = j - 0. Let c = b - -5. Is c < 4?
False
Let j be 8/(-2) + (5 - 5). Let h be (-2)/j*(-2)/5. Is 1 equal to h?
False
Suppose 5*k = a - 9, -k - 6 = 2*a + 9. Let m be 10/(-45) - a/27. Let r be 0 + 9/4 + -1. Which is smaller: m or r?
m
Let s = 10.5 - 9.2. Which is smaller: -2/9 or s?
-2/9
Let x = 95 + -93. Is -1/16 less than or equal to x?
True
Let n = -42/65 + -2/13. Let r = 3 - 5. Which is bigger: n or r?
n
Let f be 4/6*(-9)/(-2). Let a be (-48)/(-18) - 2/f. Is a at least as big as 2?
True
Let q be (-82)/26 - 2/(-26)*2. Suppose 0 = -3*m + 7*m - 20. Suppose -m = -g - 0*g - 2*r, -2*g - 2 = r. Are g and q unequal?
False
Let b = 39 - 16. Is b less than 25?
True
Let z = -22.89 - -23. Let t = z - -0.09. Is 3 equal to t?
False
Let a = 72 + -47. Let q = a + -477/19. Let z(g) = g**2 + 12*g + 27. Let b be z(-9). Is b not equal to q?
True
Let w(k) = k**3 + 3*k**2 - k - 2. Let v be w(-2). Suppose 3 = v*x - 1. Is 3 equal to x?
False
Let b be (-58)/(-44) - (-14)/77. Let j = -4 + 6. Which is bigger: b or j?
j
Let m = -16 - -15. Is m greater than or equal to -5?
True
Let k = -2 + 2. Let v = -28 + 49. Let j be 1 + (-2 - v/(-12)). Is j at least k?
True
Let l = 920 - 917. Suppose 0 = -2*p + 5*p. Let y = p - -1. Is y at least l?
False
Let n(z) = 2*z. Let i be n(1). Is -4 smaller than i?
True
Let k(c) = -c**3 + 8*c**2 - 7*c - 1. Let q be k(7). Is 1 greater than or equal to q?
True
Suppose -13 = 3*r + 2. Let s be 15/6*(-4)/r. Which is greater: s or 0?
s
Let r(a) = a**2 + 12*a - 18. Let o be r(-13). Let w(c) = -c + 4. Let f be w(2). Let n be (f + o)*3/(-9). Are n and 6/11 nonequal?
True
Let m(j) = -j**3 - 7*j**2 + j + 7. Let k be m(-7). Which is bigger: 1/14 or k?
1/14
Let v(u) = u**2 + 9*u + 15. Let b be v(-6). Let p be ((-4)/6)/(b/9). Which is bigger: p or 9/4?
9/4
Let p = 2.1 - 0.1. Let k = p - 2. Let c = k - 0.1. Which is smaller: c or 0.1?
c
Let v(t) = -t**2 + t - 4. Let r(k) = -3*k**2 + 2*k - 7. Let j(c) = 2*r(c) - 5*v(c). Let p be j(0). Let n be p/2 + -1 - 2. Which is smaller: n or -0.2?
-0.2
Let p be 1/2 + (-2)/(-4). Let h be 6/(72/15) - (-2)/(-8). Is h less than p?
False
Let m = 18.18 + -9.24. Let w = m - 9. Which is smaller: w or 2?
w
Let c be 0 + (-18)/(-4 + 1). Is c greater than 6?
False
Suppose 3*c - 19 = -7. Let o = 15 + -13. Are c and o equal?
False
Suppose -c = 0, b + 3*c - 10 = -0. Let t be (-8)/b*(-15)/6. Let u = -2 + t. Is u >= 1/5?
False
Let z = -28.1 - -21. Let j = z + 7. Which is smaller: -2 or j?
-2
Suppose -4*r + 16 = -2*r. Suppose -3*c = r - 20. Is 4 at most as big as c?
True
Let r = -0.5 - -6.8. Let v = r - 6. Which is bigger: v or -1?
v
Let n be (-2)/((-6)/21) + -3. Suppose 14 = -5*o + n. Is o greater than -5/2?
True
Suppose 2*a - 14 = -3*z - z, -5*a + 57 = -z. Suppose 0 = -3*y - 2*f + a, -2*y - y = -3*f - 36. Suppose 5 = -y*b + 2*b. Is b less than or equal to 2/9?
True
Let x(d) = -d**3 - 6*d**2 + 11*d + 22. Let u be x(-7). Let z(b) = 2*b - 1. Let t be z(-2). Is u bigger than t?
False
Let k = -14 - -16. Let w = 0 + k. Which is smaller: 3/4 or w?
3/4
Let m = -137/4 - -34. Which is bigger: m or -1?
m
Suppose 4*s - 18 = 3*f, -3*s - s - 62 = 5*f. Let o be (-6)/f*(-18)/27. Is -1 at least as big as o?
False
Suppose -3*x - 10 - 11 = -5*r, 4*r + x = 27. Let n be (-8)/12*r/8. Suppose -7 - 3 = 5*c. Is c at most as big as n?
True
Suppose 3*u + 113 - 11 = 0. Which is smaller: -35 or u?
-35
Let q(m) = -3*m**3 - m**2. Let b be q(-1). Let x be (b/(-8))/(2/36). Is -5 less than x?
True
Let c(z) = 0 + 0 - z + 0. Let q be c(-1). Do 1 and q have the same value?
True
Let n be (6 - (-222)/(-36))*(-4)/(-5). Is 0.3 bigger than n?
True
Let v = 136 + -140. Is -20/7 at least as big as v?
True
Let y be (-1024262)/257290 + 6/33. Let h = y + -2/2339. Which is smaller: h or -3?
h
Let n(a) = -a**2 + 21*a + 45. Let p be n(23). Is p at most 2/35?
True
Let w = -26 + 25.94. Which is greater: 1 or w?
1
Let g be (34/(-51))/(2/6). Let c(s) = s**2 - 3*s - 2. Let m be c(3). Is g >= m?
True
Let s = 7 + -6. Suppose -8 = -4*q, -z + 5*z + 6 = -5*q. Let l be ((-2)/(-14))/(2/z). Is s > l?
True
Suppose 0 = -5*m - 25, r - 7 = -0*r + m. Which is smaller: r or 0.2?
0.2
Let g(c) = 3*c**2 - 2*c + 1. Let d be g(1). Suppose -r - 3*b + 401 = -0*b, 0 = d*r + 2*b - 822. Let q = 7074/17 - r. Is q at least as big as -1?
True
Let z be (-12)/(-9) + (-1)/3. Let y = 12 + -13. Is z at most as big as y?
False
Let y = -46 + 46.94. Let a = 1 - y. Let s = 0.26 - a. Is -1/5 at least s?
False
Let j be 3/(-9) + (-20)/(-6). Is 15/8 greater than j?
False
Let k = 0.6 - 0.62. Let c = -0.18 + k. Is 1 greater than c?
True
Suppose 3*r + d + 25 + 1 = 0, -r - 3*d = 14. Which is smaller: -9 or r?
-9
Let c = -1312 - -4048/3. Let x = -37 + c. Let v = -1.3 - -2.3. Which is bigger: v or x?
v
Suppose -3 + 17 = -q. Let z(b) = -16*b**2 - 3*b + 4. Let k be z(1). Which is bigger: k or q?
q
Let b(y) = y + 4. Let o be (3 - 2)*(-4 + -1). Let p be b(o). Is 1 greater than p?
True
Let p be 0 - (30/3)/(-2). Let j(q) = q**3 - 5*q**2 + q - 2. Let t be j(p). Is t bigger than 3?
False
Suppose -1 = x - 4. Let w be (x + -6)/((-2)/(-6)). Let h be (w/24)/(6/4). Which is smaller: 1 or h?
h
Suppose -5*f + 2*q + 737 = 0, 0*q = -2*q - 2. Let d be 6/9 + f/9. Suppose -2*m - d = -5*m + 2*g, 2*m = -3*g - 6. Is m at least 2?
True
Suppose 3*y + 0*c - 3*c = 3, 9 = 4*y - 3*c. Suppose 4*q - 2*o + 7 = 1, -5*o = -5*q. Let a be y/(-4)*q/(-9). Is a >= -0.1?
False
Let w be (-33)/22 + 29/2. Is 14 at least as big as w?
True
Let o = -9 - 3. Let n = o - -12.9. Let f = -0.1 - n. Which is bigger: f or 1/8?
1/8
Let q = -10 - -2. Is -6 not equal to q?
True
Suppose -6*d + 20 = -d. Let m(n) = -n**2 - 8*n + 11. Let i be m(-9). Which is greater: d or i?
d
Let w = -2.7 - -1.7. Which is smaller: -0.3 or w?
w
Let i = -19 + 4. Which is bigger: i or -1/2?
-1/2
Let x(n) = 7*n**2 - 7*n + 6. Let p be x(4). Let b = p - 541/6. Is -1 less t