6. Which is bigger: p or -6?
p
Let r(o) = o + o**2 + 2*o + 4*o - 2 - 4*o. Let c be r(-5). Is c at most as big as 7?
False
Suppose 7 = -2*o + 5*o + 4*c, o = 4*c - 19. Let z be (2 - (-6)/(-9))*o. Is z greater than -2?
False
Let i(f) = f**2 - 10*f - 2. Let w be i(11). Let u be 1/((15/w)/5). Suppose 0 = -4*m - 10 + 2, 0 = a - u*m. Is -6 >= a?
True
Let c = 140 - 139. Which is smaller: -1/4 or c?
-1/4
Let p = -28.1 + 28. Which is smaller: -0.016 or p?
p
Suppose -13*y = -14*y. Is 2 at most as big as y?
False
Let m be 3*((-39)/9 - -2). Let k = m - -7. Let j be (2 - 3) + (-5)/(-4). Does j = k?
False
Suppose 6 = -2*n - 32. Is 0.2 >= n?
True
Let s = 0.5 - 0. Let d = s + -0.3. Let j = d - 1.2. Which is greater: j or 2/7?
2/7
Let g be 180/406 - (1 - 2). Let t = -17/29 + g. Let m(p) = p**3 - 8*p**2 - 8*p - 7. Let y be m(9). Is y less than or equal to t?
False
Let b be 1/1 - -2 - 3. Is 9/8 at least as big as b?
True
Let f = 118 + -118. Which is smaller: -4 or f?
-4
Let m = 680.03 - 675. Let d = m - 0.03. Is 2/7 less than d?
True
Suppose 0*g = -5*g + 5. Let m(c) = 3*c + 15. Let h be m(-5). Which is bigger: h or g?
g
Let m = 0 + -8. Let p(u) = -4*u + 10. Let z(j) = 3*j - 9. Let l(i) = 4*p(i) + 5*z(i). Let f be l(m). Does f = 3?
True
Let d be (6/21)/((-2)/14*135). Which is smaller: d or 0.1?
d
Suppose -6 + 22 = 2*v. Is 8 bigger than v?
False
Let l be (1 - 127/124)/((-4)/32). Is -1 greater than or equal to l?
False
Suppose 4*l - 7 = -5*z, 4*z + 7 = l - 0*l. Is -9/47 less than z?
False
Let z(b) = -b**2 + 3*b + 4. Suppose 0 = -5*f + 4 + 16. Let u be z(f). Which is smaller: -2 or u?
-2
Let o = -1 - -1.1. Let n = -0.128 + 0.128. Does n = o?
False
Suppose -q - 2*c = 11, -5*q + 10*q - 3*c - 10 = 0. Let x = 4 - 4. Which is smaller: q or x?
q
Let w be ((-6)/44)/(72/(-32)). Is 0 less than w?
True
Suppose 6*d = -4*d + 40. Suppose 5*b + 25 = t, 15 = -5*b - 10. Are t and d equal?
False
Let t = -0.04 + 0.05. Let o = -5.99 - t. Let h = o + 3. Which is bigger: 0 or h?
0
Let p = -99 - -158. Which is smaller: 58 or p?
58
Let h = -0.3 - -0.9. Let s = -0.7 + h. Is s greater than or equal to -8?
True
Let h be (-14)/4 + (-2)/4. Let l be (-9)/(-30) + h/5. Is -0.1 at most as big as l?
False
Suppose 5*v - 5*g + 20 = 0, -3*v + 2*g = -0*g + 11. Let c = v + 8. Which is bigger: 6 or c?
6
Let x(m) = 2*m + 45. Let p be x(-23). Is p bigger than -1/32?
False
Suppose 3*c + 9*y = 4*y - 14, 5*c = 4*y + 26. Let a(s) = 4*s + 2. Let n be a(-2). Let v be (-3)/9 - (-4)/n. Which is greater: c or v?
c
Let x be -1 + 4 + (-196)/63. Let f be ((-14)/4 - -3)*2. Is x != f?
True
Let l be (-26)/(-6) + 8/12. Suppose -2*q + 3*j + 22 = 2*q, -3*q = -l*j - 22. Which is greater: q or 3?
q
Suppose 4*w + 5*f = -10, -w - f - 2 = w. Let n be (w + 2 + -1)*2. Let h be (8/(-5))/(n/(-5)). Is h > 5?
False
Suppose -1 = 2*l + 4*p - 3, 0 = 2*l + 3*p - 5. Is l less than or equal to 6?
False
Let i = 89/4 - 22. Suppose -p - 1 + 0 = 0. Which is bigger: p or i?
i
Suppose 17 = g - 1. Let w be (-2 - g/(-10))*1. Let j be (-1)/3 - (-2)/6. Which is bigger: w or j?
j
Let i = 2.8 + -2.8. Is i <= -0.17?
False
Suppose 2*b - 3 = -o + 9, b + 9 = 2*o. Is 0 less than or equal to o?
True
Let h be 4 - ((-820)/(-116) + -3). Is 0 > h?
True
Let o = -0.2 - 0.8. Let i = 1 + -0.9. Let s = 1.1 - i. Which is greater: s or o?
s
Let t = 1 - -1. Suppose 5*x - 3 = t. Let j = x + -3. Which is smaller: j or -1?
j
Let y = -10 - -14. Let k = y + -1. Is 7/2 smaller than k?
False
Suppose 3*j + 2*c = -8, 2*j + 4*c + 20 = -c. Suppose -4*l + 16 = 4*f, 3*l + 4*f - 11 = -j*f. Is 6 smaller than l?
False
Let g be -2*1 - (15/21 - -2). Is -4 less than or equal to g?
False
Suppose -t - 14 = -0*b + 3*b, -4*b = -4*t - 8. Do t and -2 have different values?
True
Suppose 4*k + 30 = -k. Let o = -5 - k. Which is smaller: 2/13 or o?
2/13
Let q = -0.094 - 7.906. Which is bigger: q or 0.4?
0.4
Let c = 13 - 11. Suppose -3 = 3*p - c*p. Let i be p - 0 - (-104)/34. Which is bigger: i or 1?
1
Let w(f) = 2*f + 4. Let p be w(-5). Let i be (2/p)/(9/81). Let u be (-8)/(3 + -1) - -1. Is u < i?
False
Suppose -2*n - 2*n = -12. Let t = 3 - n. Which is greater: t or -1/9?
t
Suppose -t - 2 = -2*f - 0, -8 = 4*t. Which is smaller: f or 7/5?
f
Let y = 11 - 5. Let w be y/(-15) - 2/(-5). Let p = w - 1. Is -2/9 bigger than p?
True
Let q = -4/3 - -10/9. Suppose -3 = 3*v - v + 5*x, 5*v - 4*x - 9 = 0. Which is bigger: v or q?
v
Let w be (-13741)/2184 + (-2)/(-3) + 0. Which is greater: -6 or w?
w
Let v = -43 - -47. Let q be (0 + -2)/(2/(-4)). Suppose -v*u + 16 + 0 = 0, -2*j - 20 = -q*u. Does -5 = j?
False
Let k(c) = -c**2 + c + 5. Let s be k(0). Is s greater than 19/4?
True
Let w = 0.296 + -5.206. Let s = w - 0.09. Let x = -5 - s. Do -0.2 and x have the same value?
False
Suppose x + 4*n - 16 = 0, x - 2*n + 18 = 4*x. Suppose 6 = x*h - h. Is 2 > h?
False
Let i(j) = -3*j**3 - 3*j**2 - 7*j - 6. Let f(s) = -16*s**3 - 14*s**2 - 35*s - 30. Let a(u) = -2*f(u) + 11*i(u). Let y be a(-4). Is y != 7?
True
Suppose -5 = -l + c, -c - 2 = -5*l + 27. Let r = 4 - l. Do r and -4/7 have the same value?
False
Let s = 9 - 7. Suppose 2*w - s*a + 6 = 0, 0 = 3*w + 2*a + 1 - 12. Let x = -9/2 + 5. Is w greater than x?
True
Suppose 3*a + 5*u + 25 = 0, -4*a + 3 = -5*u - 22. Suppose a = -4*r - 12, 0*b - r = -4*b - 1. Is b > -2?
True
Let o = 72587/12 - 6053. Let y = o - -19/4. Do 1 and y have different values?
True
Suppose 12 = i - 1. Let u be i/(-39) + 38/24. Which is smaller: u or 1?
1
Let w(n) = n**3 + 5*n**2 + 4*n. Suppose 0 = -5*t - 14 - 6. Let q be w(t). Suppose 0 = -5*d + 20, -12 = o - 4*d + d. Is q greater than o?
False
Let k = 3.25 - 0.25. Which is bigger: k or -0.1?
k
Let y = -2.1 - -2. Let l = 0.02 + 0.28. Are l and y non-equal?
True
Let x(g) = 3*g - 5. Let d be x(5). Let j = d - 7. Is j at most as big as 4?
True
Let g be 1/(-5) + (-2)/(-5). Let i(j) = -2*j - 5. Let h be i(-5). Suppose 2*n + 3 = -h*l + 4, -2*l - 4*n - 6 = 0. Is l at least as big as g?
True
Let t(h) = h**3 - 3*h**2 + 4. Suppose 5*g - 5 = -5*z, -6*z + 4*g + 23 = -z. Let y be t(z). Suppose v - 3 = -y. Which is smaller: v or 1/7?
v
Let q = -7.43 - -0.43. Is -1/4 at most q?
False
Let q = 8.6 - 9. Let z = 2.4 + q. Are z and -2/5 equal?
False
Let f = 229/7 + -33. Let o = 55/28 - f. Let i = -23/12 + o. Which is smaller: 0.1 or i?
0.1
Suppose -4*g + 40 = -0*g. Let n be (54/15)/(4/g). Let u be ((-6)/n)/((-2)/(-6)). Does 0 = u?
False
Let l = 0.2 - 0. Let d = 0.9 + 0.1. Is l bigger than d?
False
Let u(c) = -c + 4. Let g be u(3). Suppose o - 4*o = 4*z + g, -3*z = -o - 9. Which is greater: z or 6/7?
z
Let k be (-1808)/10*1/2. Let o = 91 + k. Let b(h) = -h**2 - 8*h - 5. Let j be b(-7). Which is smaller: o or j?
o
Let j = -347 - -1729/5. Let w(k) = k**3 - 16*k**2 + 29*k - 16. Let n be w(14). Which is bigger: j or n?
j
Let r = -0.25 - 0.05. Is r <= -3?
False
Suppose 0 = 4*m + w - 6, 4 - 2 = w. Let r be (0 + -2)/(3*m). Suppose 3 = 3*v + v + n, 2*v + 3*n - 9 = 0. Is r greater than v?
False
Let c be 1/(-1)*(-34)/17. Suppose 4*l - 6*l - c*s = 8, 3*s = -2*l - 11. Is -1/7 equal to l?
False
Let b = -57.39 - -57. Is b >= -2?
True
Let c = 13 + -11. Let n = c + 4. Let a = 0.7 + 0.3. Which is greater: n or a?
n
Let i be ((-12)/178)/(-2 - 0). Let q = -205/801 + i. Let t = -1 - 0. Which is greater: t or q?
q
Let t = 17 + -39. Let q be 155/55 + (-4)/t. Is 18/7 bigger than q?
False
Let g = -0.1 - 0.1. Let q = g + 0. Is 0.1 < q?
False
Let g = -1 - 0. Let c(j) be the second derivative of j**5/20 + 5*j**4/12 + j**3/3 - 5*j**2/2 + 4*j. Let f be c(-4). Is f bigger than g?
True
Let g = 1.9 + -1.1. Let l = 1.4 - 2.2. Let w = l + g. Which is smaller: w or 5?
w
Let p = -0.09 - -0.49. Which is smaller: 0.01 or p?
0.01
Let a = 72 + -121. Is -50 greater than or equal to a?
False
Let h be (-4)/10 - (-135)/25. Suppose y + h*o - 4 = 8, -5*o + 18 = 4*y. Is 3 at least y?
True
Suppose 16 = 4*k - 0*k. Let g = -9 + 6. Let f = g + k. Which is bigger: f or 0.1?
f
Suppose -40 = 2*j + 10. Are -24 and j unequal?
True
Let i be -27 - 1/(3 + -4). Let a = -27 - i. Are -1/3 and a non-equal?
True
Let m be (-4)/(12/(-15)) + 6. Which is bigger: 13 or m?
13
Suppose 1 + 7 = -4*n. Let l be n - (4 - 2) - -19. Is l at most 15?
True
Suppose 18 = 2*v + 3*y, -5*y = -3*v - 2*y - 3. Suppose 4*d - 36 = -4*c, -8*c - 12 = -4*d - 4*c. 