(p) = -p**3 - 15*p**2 - 14*p + 1. Let z be m(-14). Which is greater: z or -2?
z
Let o be (-2)/4 - (-2)/(-4). Let t be (o + (-26)/(-28))*-2. Suppose 2*d - 2 = 4*n, -5*n - 2 = -10*n - 2*d. Which is greater: t or n?
t
Suppose n - 13 = -4*g, 10 = -4*g + 4*n - 2. Is -13 less than g?
True
Let q = -673/9 - -75. Which is bigger: -2/9 or q?
q
Suppose -x + 6*x - 30 = 0. Suppose x*f + 20 = f. Let n be (-68)/16 + (-3)/f. Is n >= -3?
False
Let y be (0/(12/(-3)))/(-2). Let l = -8 + 6. Does l = y?
False
Let u be (1 + 0/3)/2. Is 0 smaller than u?
True
Let v = -2/33 + -29/66. Let j be 66/14 + (-4)/(-14). Suppose -3*q = 3*c - q, j*c + 2*q = 0. Is v equal to c?
False
Suppose -3*q - 4*s + 26 = 0, 14 = -3*q + 5*s - 5. Suppose l = -2*l + 3. Let v = 0 + l. Which is bigger: q or v?
q
Let t = 13 - 13. Suppose -4*o - 21 + 9 = 0, 3*o = p - 8. Let w(a) = -a**3 + 2*a**2 - 1. Let j be w(p). Is j < t?
False
Let l = -61 + 62. Which is smaller: -56 or l?
-56
Suppose 2 = -4*g + 2*g. Let y(k) = k**3 - 5*k**2 + 4*k + 4. Let b be y(4). Suppose -11 - 1 = b*o. Which is smaller: o or g?
o
Let b(q) = 2*q**2 + q. Let p be b(1). Suppose p = -0*y + 3*y. Suppose -y = -v + 2*v. Is v at least as big as -5/3?
True
Let r = 29 - 36. Which is smaller: r or -6?
r
Let y = -663599/385 + 12062/7. Let j = 1/11 + y. Which is smaller: 2 or j?
j
Let k = 14 + -15. Which is smaller: -3/4 or k?
k
Let c be (-5772)/(-84) + (-2)/(-7). Are c and 69 equal?
True
Suppose -17 = 5*j + 3*t - 9, 0 = 2*j - 2*t. Let i be 4/14 - (-2946)/(-70). Let y = 42 + i. Which is smaller: j or y?
j
Let f(n) be the third derivative of n**4/24 + 2*n**3/3 - 2*n**2. Let p be f(-7). Which is smaller: -12/5 or p?
p
Let i be (2 + 142)*1/2. Let g = i - 359/5. Is g at most as big as 2/7?
True
Suppose 4*t = 3*t + 30. Suppose 0 = 3*b + 2*b + t. Let r = 1 - 7. Is b bigger than r?
False
Let f be 15/(-3)*2/(-65). Which is smaller: 1 or f?
f
Let f(v) = -2*v + 10. Let i be f(13). Which is smaller: i or -12?
i
Let c(z) be the third derivative of z**5/60 - z**3/3 + z**2. Let q be c(0). Which is bigger: q or -1?
-1
Let b = 0.09 + 0.61. Let c = 0.6 - b. Which is smaller: 0.4 or c?
c
Suppose -5*v + 45 = 5*x, -7*x = -2*x - 4*v. Suppose -5*z - 5*a + 14 = -2*a, a + 2 = 0. Suppose 0*l + 16 = z*l. Is l equal to x?
True
Suppose 3*h + 3*w = 12 + 9, 17 = -h + 5*w. Do 3 and h have different values?
False
Let g = 5 + -5. Let b = 1 + g. Suppose 3*i - b = 2*i. Is 1 != i?
False
Let l = 22 + -20. Suppose -4*m = -16 + 4. Is l smaller than m?
True
Let r be (45/(-10))/(-3)*1/(-3). Which is bigger: -6 or r?
r
Let z = 0.3 + -0.4. Let o = -1220/7 - -174. Is z > o?
True
Let n = 10 + 7. Let g = n - 15. Is g less than or equal to 1?
False
Suppose -4 = -17*s + 13*s. Which is smaller: s or 7/16?
7/16
Let b = 2 + -7. Let l(v) = -v**3 - v**2 + v - 2. Let i be l(-2). Suppose 0 = z + 4*n, i = -0*z + 5*z + 4*n + 16. Is z > b?
True
Suppose 1 = -5*o + 4*i - 324, -46 = o + 3*i. Is o bigger than -61?
False
Let u = 919/7 + -132. Let o(c) = -3*c + 1. Let a be o(1). Is u bigger than a?
True
Let z = -7 + 7. Let h = 1 - -4. Is h greater than or equal to z?
True
Let o(t) = t**3 + 5*t**2 - 6. Let i be o(-5). Let s be i/(-9) - (-1)/3. Is -1/13 less than s?
True
Let j = -26 + 25. Is j smaller than -2?
False
Let p = -4.94 + 5. Let d = 0.02 + p. Does 0 = d?
False
Let a = 4.8 + -4.2. Is -0.1 >= a?
False
Let z = 54 + -24. Is z at least as big as 30?
True
Let k be (18/(-8))/((-1)/(-16)). Let j be -1 - (140/k)/5. Is j at most as big as -1?
False
Let v = -206 + 14628/71. Which is bigger: 0 or v?
v
Let t(x) = -x + 1. Let f be t(3). Let i = 2/481 + -3375/1924. Let g = 5/4 + i. Which is bigger: f or g?
g
Suppose 0*b = 3*b - 18. Suppose 0 = p + 4 + b. Let u = p - -17. Which is smaller: u or 6?
6
Suppose -3*a = -4*a. Is 6/7 > a?
True
Let n be (2/(-4))/((-2)/(-11)). Which is bigger: n or -2?
-2
Let j = -2 - -4. Suppose 5*z + 14 = -0*o + o, 0 = o + 4*z + 4. Suppose 0 = s + o*s - 10. Is s bigger than j?
False
Suppose 0 = 3*o + 2*l + l - 78, 0 = 4*l - 16. Suppose -5*h = 4*n - 60, -4*n - o = -4*h - 2*n. Which is greater: -1/3 or h?
h
Let j(q) = -10*q - 37. Let t be j(-4). Let s = 0 + 0. Let b be ((-2)/6)/(s + t). Is b smaller than -1?
False
Let d = 3.3 + -3.5. Let m = -0.4 + 0.8. Which is smaller: m or d?
d
Let y be 8/(-5) + (-20)/50. Which is smaller: y or -3?
-3
Let v = 16 + -17.3. Let n = -3.9 - v. Let i = -0.6 - n. Is i < 0.1?
False
Suppose -5*n + 91 = 2*w + w, -4*n + 70 = w. Which is bigger: 18 or n?
18
Let f be -10*(-3 + 7/2). Is f less than -7?
False
Let t be ((-1424)/(-5))/(-2) - 1. Let m = t - -143. Which is smaller: 0 or m?
m
Let x be -1 + 4 + 2 + -1. Suppose -2*k + x = 14. Suppose -4*p + c = -c + 30, 0 = p + 5*c - 20. Is p <= k?
True
Let g(p) = -p**3 + 5*p**2 - 3*p - 4. Let h be g(5). Is h less than -19?
False
Let w = 1 - 7. Let f(u) = u**3 + 9*u**2 - 1. Let z(p) = -p**3 - 8*p**2 + 1. Let t(k) = 2*f(k) + 3*z(k). Let v be t(w). Which is greater: v or 1/4?
v
Let n = -1148711/63 + 18233. Let q = n - -2/7. Is -2/9 bigger than q?
False
Suppose 0 = 2*q - 9 - 19. Let f be (-4)/q - 74/(-112). Which is smaller: -1/2 or f?
-1/2
Let l(h) = h**3 + 4*h**2 + 4*h. Let g be l(-4). Is -16 at most as big as g?
True
Let f be (-4)/(-8)*0 - 0. Let q = 0.2 + -0.1. Let b = q - -0.1. Which is greater: b or f?
b
Let m(j) = 8*j + 31. Let r be m(-5). Is -10 != r?
True
Let t be (2/10*8)/((-28)/(-70)). Which is smaller: t or 0?
0
Let h(l) = -4*l. Let i be h(1). Let m be 13/16 + (i - -3). Do -1 and m have the same value?
False
Let a be 5655/1353 + (1 - 4). Let r = a - 26/41. Which is smaller: 2 or r?
r
Suppose -2*c - 4 = 6. Let q be 1/c - (-104)/920. Are 0 and q equal?
False
Let a = 3 + -1. Let q = -2.075 - 0.025. Let t = q - -0.1. Is t less than a?
True
Let h = 16 - 16. Which is greater: -1 or h?
h
Let n be 4 - (-4 + 2 - -2). Suppose -t - 3 = -3*p + 4*p, -19 = -3*t + n*p. Let x be (1 + t + 0)/(-1). Is 0 <= x?
False
Let y = -1/514 + -757/7196. Which is smaller: 0 or y?
y
Let f be (-84)/7*1/(-3). Suppose -o + f = 3. Is -2/13 equal to o?
False
Let r = 0.1 - 0. Let g = 0 - r. Let t = 0.1 - g. Which is smaller: t or -0.2?
-0.2
Let t = 0.96 + 21.04. Which is smaller: -0.1 or t?
-0.1
Let r = 56 - 55. Are 42 and r unequal?
True
Let b be (2 - 143)*-2 + 1. Let z = b + -3107/11. Which is smaller: z or 0?
0
Let c(w) = -4*w**2 - 3*w + 6. Let i be c(2). Which is greater: i or -17?
i
Let u be (-65)/78*2/(-2). Suppose -5*k = -12 + 2. Is k less than u?
False
Let c = 17 - 33/2. Which is smaller: c or 0.4?
0.4
Let t be (4/5)/((-810)/(-50) + -16). Let f(n) = n**2 + 3*n - 5. Let k be f(-5). Let h be -1 - 0 - k*-1. Is h greater than or equal to t?
True
Let d be (5*(-5)/(-75))/(1/3). Is 1 greater than d?
False
Let a be (0 - 0/3)/(-2). Suppose a = -6*p + p. Is p at most 2/5?
True
Let s be 3*1/(3 + -2). Which is smaller: 4 or s?
s
Suppose 6 = -3*y + 5*d - 8*d, -3*y + 4 = -2*d. Let w be (0 + -2)*2/(-104). Is w bigger than y?
True
Let x = -4 + 6. Suppose -2*c - 3*n = x, 0*c = -5*c - 2*n + 17. Which is smaller: c or 4?
4
Suppose u - 3*u = 2, 2*n - 3*u = 29. Let d = n - 12. Which is smaller: 1/5 or d?
1/5
Suppose 0 = 5*d - 2*s + 6*s + 23, -3*s = -4*d - 6. Which is greater: d or -19/5?
d
Let y = -1 + 0.9. Let i = 7 - 4. Let f = 3 - i. Is y less than or equal to f?
True
Let k = 7 + -1. Let n be k/(-21) + (-32)/(-14). Let q = -22 - -26. Which is smaller: q or n?
n
Let h = -6 + 30. Which is smaller: 23 or h?
23
Let w(l) = -2*l + 5. Let i be w(0). Which is smaller: i or 11/3?
11/3
Let x = -4 + 8. Suppose 2*h = 2*p - x, -2*p - 5*h = -1 + 11. Suppose 0 = 3*u - p*u. Are u and 3/5 nonequal?
True
Let y = 8 - 16. Let b = y + 8. Let h be (2/(-8))/(46/(-16)). Which is smaller: b or h?
b
Let g = 61 + -61. Let f be 0 + -2 - 6/(-4). Do g and f have the same value?
False
Let l be 17/5 + 15/25. Let a be (-10)/(-4) - l/(-8). Suppose 7*q - 5*q = -4, 3*q = t - 8. Is t >= a?
False
Let b = 320 + -30719/96. Is -1 greater than b?
False
Suppose 4 = -4*w - 4*j, 4*w = 3*w + j + 5. Let k be ((-2)/4)/((-3)/w). Is -0.3 greater than k?
False
Let t = 0.1 + -0.05. Let o = t + -3.05. Are 1 and o equal?
False
Let i(u) be the second derivative of u**3/6 + 5*u**2/2 + 3*u. Let n be i(-5). Do n and 2 have the same value?
False
Let k = 0.1 + 1.9. Let a = 7 - 5. Is a smaller than k?
False
Le