 -5*p**4/12 + p**3/6 + 4*p. Let g be l(1). Let c be -6 - g - (-4 - -2). Which is bigger: c or -1?
c
Let o = -8.9 - -9. Which is smaller: o or -1?
-1
Let u be -2*(0 + -1 + 0). Let i = 10 + -10. Let k = u - i. Do k and 4/3 have the same value?
False
Let o = -3319/40 - -83. Let r = -83/120 + o. Let n = 0.3 - 0.4. Which is bigger: r or n?
n
Suppose -c + 5 = -b, 0 = 4*c + 5*b - 4*b - 5. Suppose -5*v = -2*h + 1, -5*v = -0*h + 4*h - 17. Let u be (-1 + c/4)*v. Which is greater: u or -0.1?
-0.1
Let w(a) = a**2 + 3 + 1 + 0*a - a. Let o be w(0). Suppose 53 - 2 = 17*g. Is g smaller than o?
True
Let u = -2/3 - -1. Which is greater: -0.06 or u?
u
Let h be -2 + 0 - (28 - 8). Let y = 13 + h. Do y and -11 have different values?
True
Let d = -7 - -3. Are d and -2/5 equal?
False
Let m be 3*2*(-1)/3. Let v be (-9)/12 - m/(-8). Which is greater: v or 1?
1
Let x = -8 - -8.6. Let m = x - 1.3. Let o = m - -0.5. Is o smaller than 0?
True
Let x = -13 - -4. Let n be 27 - 1 - x/6. Let y = n + -27. Is y equal to 0?
False
Let z = 469/4 - 118. Is z less than 0?
True
Suppose 0 = 2*u + 12 - 4. Let q = 98 + -96. Is q <= u?
False
Let y = 0.07 - -0.03. Which is smaller: y or -2/3?
-2/3
Let u = -2.9 + 2.8. Let z = -4 - -4.04. Does u = z?
False
Let d(t) = -t**2 - t + 10. Let g be d(-5). Let r = 7 + g. Which is smaller: r or -4?
-4
Let c = 0 + 11. Suppose -t + c = -f - f, -8 = 2*f. Suppose -2*n - t*n = -5*y - 5, -4*y + 8 = 0. Is n at least as big as 3?
True
Suppose -o - 3*o - 14 = 2*r, 13 = 2*o + 5*r. Let p = -9 - -3. Is p != o?
False
Let y = -27.1 - -27. Are -7 and y unequal?
True
Suppose 12 = 4*x - 4. Let u = x + -5. Which is bigger: u or 2/7?
2/7
Let r = 26 + -20. Is 7 smaller than r?
False
Let c be (2 + -1)*-2 - -2. Suppose c*q - q = 2. Let y be q/(-20)*-2*1. Is -1 smaller than y?
True
Suppose 49 = 2*a + 1. Suppose -2*m = m - a. Suppose 2*h = i - m, -i + 1 = -5*i - 3*h. Which is greater: i or 2/3?
i
Let r be (-12)/4*2/261. Which is smaller: -1 or r?
-1
Let h(o) = 8*o - 1. Let c be h(1). Suppose c*b + 9 = 4*b. Which is smaller: b or 0.2?
b
Suppose -j + 11 = -0*n - 5*n, -4*j - 3*n = -136. Do j and 29 have the same value?
False
Let m = -67919/5 - -13638. Let l = 6223/115 - m. Let u(b) = -b**2 + 6*b. Let t be u(6). Is l > t?
False
Let z = -35 - -59. Suppose 4*s + 8 = m, 4*s - 7*m + 2*m + z = 0. Which is bigger: 9 or s?
9
Let q be 6/4*2*2. Let a be 1 - (-2)/((-16)/q). Suppose 12 = 4*y, 9 = p - 4*p + 3*y. Is a bigger than p?
True
Suppose -6*r + 4*r + 4*m + 26 = 0, 5*r + 10 = -5*m. Is 4 greater than or equal to r?
True
Let o(j) = j - 2. Suppose 1 + 2 = s + 3*c, -6 = -2*s + 5*c. Suppose s*x = -x + 4. Let t be o(x). Which is greater: 1 or t?
1
Let b(h) = -h**3 + h**2 + 2*h + 1. Let x be b(2). Let q = -1.2 - -1.14. Let j = -0.16 - q. Which is bigger: j or x?
x
Let n = 0.06 + 0.94. Let b = -0.4 - n. Let q = 0.6 - b. Is 1 less than q?
True
Let z(u) = u - 3. Let c be z(-4). Let y be (c + 1)*(-2)/(-3). Let j be 160/315 - y/(-14). Which is greater: 1 or j?
1
Let o = 408/7 + -58. Is o at most 7?
True
Let p = 100 + -42. Suppose -3*c - 11 = 2*f, -5*f - 4*c + 20 = p. Let z be (-4)/f + (-28)/45. Which is smaller: z or -5?
-5
Suppose 18*i + 3 = 19*i. Which is smaller: i or 26/7?
i
Suppose 2*p - 4 = -2*p. Suppose -4 = 3*r - p. Let n = -23/2 - -12. Which is greater: n or r?
n
Let q = 67/18 + -32/9. Which is smaller: -0.1 or q?
-0.1
Let a = -41 + 41. Which is smaller: 11 or a?
a
Let r(x) = 2*x**2 - 2*x - 1. Let h be (4 - (1 - -2))/(-1). Let w be r(h). Which is greater: w or 2?
w
Let y = 18 - 13. Let v = 5.1 - y. Let l = 1.2 + -1. Are v and l equal?
False
Let b = 34.3 - 37. Let j = b - -3. Which is greater: -1 or j?
j
Let y = 9.912 - -0.088. Is y != 0?
True
Let s = -66/161 + 16/23. Let d = -0.3 - -0.1. Let j = -0.3 - d. Which is greater: j or s?
s
Let i be (-85)/(-20) + (-1)/4. Is 2 greater than i?
False
Suppose 0 = -3*v + 4*q + 14, -2*v = 2*v - q - 36. Is v less than or equal to 9?
False
Suppose 0 = -7*j + 9*j + 2. Let t = -3 + 2. Is t > j?
False
Suppose 6 = 7*b - 4*b. Let w be (((-32)/(-2))/b)/2. Are w and 4 nonequal?
False
Let r = -15.85 - -16. Let g = r - -0.05. Which is greater: g or 1/4?
1/4
Let t be (-2)/(-5)*5/(-4). Suppose -25 = -n - 4*f, 3*n + 2*f - 6 = 29. Suppose -4*a - 4*u - 7 = n, -4*a = 2*u + 10. Is a bigger than t?
False
Let m = 63/10 + 6/5. Let o = 7 - m. Is -1 < o?
True
Let t = 0.21 - 0.01. Which is smaller: t or -10?
-10
Let l(g) = -g - 11. Let c be l(-11). Is -4/3 greater than or equal to c?
False
Suppose -2*c + 3 - 7 = 0. Let k = c - -3. Which is greater: 3 or k?
3
Let a = -87 - -1217/14. Is a less than 1?
True
Let o(d) be the second derivative of -d**4/6 - d**2/2 + d. Let h(v) = -v**3 + 11*v**2 - 11*v + 9. Let k be h(10). Let p be o(k). Is -1/2 less than p?
False
Let c(l) = 3*l - 4. Let h(k) = -4*k + 4. Let p(t) = -5*c(t) - 4*h(t). Let u be p(-5). Which is smaller: u or 1/6?
u
Let b = 1.1 - 1. Let f = b - 0.2. Let q = -1.79 - 0.21. Which is bigger: f or q?
f
Let y = 3 + -5. Suppose 0 = -4*i + 13 + 11. Let u = 3 - i. Which is greater: u or y?
y
Suppose j + 3*n = -8, 3*j - j - 12 = n. Is j greater than 4?
False
Let c(j) = 3*j**2 + 6*j - 14. Let k be c(-6). Which is smaller: 59 or k?
k
Suppose -1 + 4 = -q + 2*j, -4*q - 2 = -3*j. Which is bigger: q or -2/61?
q
Suppose 4*m - 20 = 2*m - 4*j, 2*j = -4*m + 10. Which is bigger: m or 1/3?
1/3
Suppose 2*f - 3 - 9 = 0. Suppose 0 = 2*b - f*b - 4. Is 2/9 less than or equal to b?
False
Let y be 3/(-2*(-9)/12). Suppose -y*i = s + 6, -3*s + 2 + 1 = -i. Do i and 1 have different values?
True
Suppose -d = -4*j + 18, -2*j - 2 = 5*d - 0. Which is smaller: j or 23/8?
23/8
Let i = 1910/9 - 212. Do 1/5 and i have different values?
True
Let v be 16/(-2)*(-15)/(-20). Let u = -10 - v. Let y be (u/(-48))/((-6)/(-16)). Do 1/3 and y have the same value?
False
Let h(p) = p**2 - 4*p - 3. Let j be h(5). Let l be j/7 + (-52)/(-14). Suppose -l - 8 = -3*i. Which is bigger: i or 2?
i
Suppose k = 1 + 3. Suppose -5*u = -k*u. Which is smaller: 3 or u?
u
Let o = -17 + 26. Is o at least as big as 8?
True
Suppose 0 = -k - 6 + 5. Let w be k - (-4 - (-14)/6). Is w bigger than 2?
False
Let h = -7/5 - -39/35. Let n = -0.5 + 2.5. Which is smaller: n or h?
h
Let p be 143/546 + 1/6. Is -0.2 equal to p?
False
Let j be (1/7)/(1 + -2). Let l = 3 - 2. Which is bigger: l or j?
l
Let n be (0 + 1)*(-1 + 2). Suppose -4*d - n = -p, 0 = d + 2*p - 2 - 0. Which is bigger: -2/3 or d?
d
Let b be 1196/240*(-4)/30. Let l = b - -11/50. Is 0 less than or equal to l?
False
Let w = -86/5 + 167/10. Let q = 31/3 - 133/12. Is w at least as big as q?
True
Suppose 5*m - 40 = -5*n, 4*n + 12 = 4*m - 4. Is m < 12?
True
Suppose -4 = -0*u - u. Suppose j = -2*n + 3, u*j + 4 - 16 = 5*n. Let l(g) = -g**2 - 10*g - 7. Let m be l(-9). Which is greater: m or j?
j
Let v = -0.29 - -3.09. Let i = -6 - -3. Let x = i + v. Which is bigger: x or 0.1?
0.1
Let r be -1*-1*(-1 - -2). Let c be 0/(r/(-1)) + -4. Suppose 11*i + 6 = 9*i. Is i != c?
True
Let z = -12 - -12.9. Let j = z + 0.1. Is -2/3 < j?
True
Let x = 7.83 - -0.17. Let k = -6 + x. Let j = -3.1 - -3. Which is smaller: k or j?
j
Suppose -4*h + 3*h - 2*b = 9, -5*h - 15 = 4*b. Which is smaller: h or -2/41?
-2/41
Let g be 18/16 + 3/(-6). Is 2 equal to g?
False
Let n = 0.1 + 0.7. Let j = 0 + -1. Let y = n + j. Which is bigger: -1 or y?
y
Let u be 2/4 + 5/2. Let o be (-12)/(-18)*(-30)/(-4). Suppose 0 = -0*j - o*j + 20. Which is greater: u or j?
j
Let s(g) = g - 18. Let z be s(0). Let q be (-3)/6 - (-3)/z. Let a be 2/(-8) + (-2)/8. Which is smaller: q or a?
q
Let y be (3/9)/(4/60). Let n be (2/y)/(7/(-5)). Is 1 != n?
True
Let m = -47/15 + 343/110. Is m <= 0?
True
Let n(s) be the third derivative of -s**5/60 - 8*s**2. Let j = 1 + -1. Let i be n(j). Which is bigger: -2/3 or i?
i
Suppose 5*g - 81 = 4*v, 0 = -5*v + 2*v - 3*g - 27. Let y be (-5)/35 - 16/v. Does 1 = y?
True
Let w = 1.2 - 4.2. Let c = -3 - w. Let y be 1/(-1) - 2/(-6). Which is smaller: y or c?
y
Let y be (-2)/(-7) - (-152)/56. Suppose -j + 3*h + 1 = -2*j, -y*h - 13 = -5*j. Is 3 at least j?
True
Let j(x) = x**3 - 5*x**2 - 5. Let o be j(5). Let s = 19 - 18.1. Let b = -1 + s. Is b at most o?
False
Let k = 0.9 + -0.8. Is 22 less than k?
False
Suppose -5*t + 2*t + 9 = -2*x, 2*x + 12 = 4*t. Suppose -t*b + 4*o + 2 = 