e of -p**5/20 + p**3/6 - 2*p. Let j(x) = 2*x - 4. Let g be j(2). Let c be y(g). Is c not equal to -2/3?
True
Suppose -k - 1 = -6*k - 4*t, t + 4 = 3*k. Suppose -6 = -5*x + 4. Which is greater: k or x?
x
Suppose -3*l = b - 5*b - 9, -2*l = 3*b + 11. Is l at least as big as -1/6?
False
Let x = 2 - 2.5. Let i = x - 0.5. Let o = -3 + 3.1. Does o = i?
False
Suppose -14*c + 15 = c. Which is greater: -1/92 or c?
c
Let m = -159 - -1111/7. Let g be (0 + 0)/(0 - 1). Which is bigger: g or m?
g
Let n(d) = d + 8. Let r be n(0). Suppose -5*w + 0*w - t = r, 3*w = -3*t. Is -4 <= w?
True
Let t be (1 - 5/6)*-1. Let l = 3 - 34. Let m = l - -125/4. Which is greater: t or m?
m
Let t = -0.004 - -0.004. Are 0 and t unequal?
False
Suppose -18 = 5*f - 2*a, -f = 2*a + 3*a + 9. Let q be 2/6 - f/6. Let o = 53.5 + -53. Is q at most o?
False
Let t(k) = -2*k - 3. Let x be t(-1). Which is greater: 2/7 or x?
2/7
Suppose 5*d + 77 - 543 = -4*r, d - 2*r - 96 = 0. Is d bigger than 94?
False
Let n = -2 - -3. Let q(d) = -d + 2. Let i be q(0). Let p be (2/(-4) + 0)*i. Is n smaller than p?
False
Suppose 63 = 5*j + 3. Which is greater: j or 11?
j
Let h be 10 + 0 + -2 + 4. Suppose o - h = 3*o. Let d = o + 47/8. Is 1 <= d?
False
Let t = 16.3 - 2.3. Let n = t - 13.9. Which is smaller: -1/6 or n?
-1/6
Let g = 11 - 10.9. Which is bigger: g or -2?
g
Let i = 138 - 137. Let m = 1.98 - -0.02. Is m bigger than i?
True
Let o = -0.4 - -0.7. Let t = o + -0.5. Which is bigger: t or -1?
t
Let s = -0.8 - -0.7. Which is smaller: 0.16 or s?
s
Let q(g) = -g**3 + 8*g**2 + 2. Let d be q(8). Suppose d*y = 10, -5*i - 5 = 4*y - 5*y. Which is smaller: i or -2/3?
-2/3
Let m = 29.13 - 29. Is m bigger than -1/4?
True
Let s = 5.6 - 0.6. Which is bigger: -4 or s?
s
Let c be 0 + (4/(-14))/(-1). Let z = 5.2 + -6. Let l = z + -0.2. Which is bigger: l or c?
c
Let p be ((-2)/(-6))/((-4)/3). Suppose -3 - 42 = -5*l. Let f be (3/l*-3)/1. Which is greater: f or p?
p
Let i(j) = -j**2 + j. Let q be i(2). Which is greater: q or -5/3?
-5/3
Let w be (-6)/9 + 8/18. Let i be 55/25*-1 - 2/(-10). Is i greater than or equal to w?
False
Let y = -3.7 + 4. Which is smaller: y or 0?
0
Suppose -3*x - n + 11 = 3*n, 0 = -n - 4. Let u(z) = -z - 8 + 8*z - 8*z + 2*z. Let o be u(x). Which is smaller: o or 2?
o
Suppose b + 1 = -3*v, 2*v + 1 = b - 2*b. Let f be 1 - (18/14 - 0). Is f equal to b?
False
Suppose -408 = 4*x + 4*z - 0*z, 0 = -5*x + 5*z - 540. Let r be 3/18 - x/(-846). Which is smaller: r or 1?
r
Suppose i + 3 = 1. Let r = -1003/42 + 159/7. Which is greater: i or r?
r
Let a(y) = y**2 - 3*y. Let p be a(2). Let u be 2 + p + (-20)/(-2). Let v be (-5)/(u/(-4)) - 0. Which is greater: -1 or v?
v
Let s = -2.044 + 0.044. Is -0.1 at least as big as s?
True
Suppose 0 = 4*u + 13 - 1, 5*b - 4*u = -28. Which is smaller: b or -6?
b
Suppose 2*t = -2*t + 28. Let x(p) = -p**2 + 4*p + 6. Let a be x(4). Is a bigger than t?
False
Suppose -3*y = 2*y - 5. Let k be 22/6 + y/3. Suppose z + k = 3*z. Which is bigger: 0 or z?
z
Let n = -71 - -68. Which is bigger: -0.8 or n?
-0.8
Let v(d) = -d - 6*d**2 - d**3 - 5*d**2 + 6*d**2 - 7. Let j be v(-5). Which is smaller: j or -6/11?
j
Let a(o) = -o + 6. Let y be a(7). Let q be (y/1)/(-2)*10. Suppose -3 = -5*g - 3*d - 38, q*g = -4*d - 40. Which is smaller: -3 or g?
g
Let y = -67/4 + 477/28. Is y smaller than 4?
True
Let z be -1 + 3/((-504)/(-417)). Let f = z + -13/8. Which is smaller: f or 0?
f
Let i be (8/6)/((-6)/(-9)). Let x be (-1)/((i/(-8))/1). Let a(n) = n**2 + n + 3. Let d be a(0). Which is smaller: d or x?
d
Let l = -1.5 + -0.5. Let w = 3 + l. Which is greater: w or -0.3?
w
Let l = 1751/636 + -1/318. Is l < 3?
True
Let c = -26 - -23.3. Is c greater than -2?
False
Let w = 11 + -21/2. Let d be (-2)/(((-20)/25)/(6/15)). Is w at least d?
False
Let a(f) = -f**3 + 6*f**2 - 3. Let w be a(6). Let g = w + 5. Let t = -1 + g. Are t and -2/7 equal?
False
Suppose -n + 5*y - 6 = y, -4*n + 6 = -y. Suppose n*b = -0*b - 2. Which is greater: b or -3?
b
Let v be 0/(12/3) - 0. Suppose 4*t + 15 = -1. Let y be (-1)/t + (-13)/20. Which is smaller: v or y?
y
Let b = 1.5 + -1.4. Which is bigger: b or -8?
b
Let n = -67041/854 + 1/427. Let u = 80 + n. Are -1 and u equal?
False
Let m = 1 + 1. Let q = 0.04 + -3.04. Let o = q + m. Is 2 >= o?
True
Let x be 26/(-1*1/2). Let z = 101/2 + x. Which is smaller: z or 1?
z
Let a = 4.7 - 4.9. Does a = -7?
False
Suppose 0 = -3*u - 2*z - 6, -2*z + 4 = 10. Let b be 2 + 0 - -1*19. Let t be ((-4)/(-6))/(b/(-9)). Is t at most as big as u?
True
Let f = -71 - -35. Let x = f + 106/3. Let a(w) = 2*w + 2. Let q be a(-2). Which is bigger: q or x?
x
Let x = -3 + 4. Do 0 and x have different values?
True
Let h = 1.7 - -0.3. Let l = 7.9 - 6.9. Let g = h - l. Is 1 at most g?
True
Let m = -10.92 - 0.08. Let z = m - -5. Let r = z - -5.9. Which is bigger: 5 or r?
5
Suppose -2*c - 2 = -0*c + a, 4*a = -c + 6. Suppose d + 5 = 3*q - 11, -5*d + 5 = 2*q. Let h be d*1/(5/c). Does h = 0?
False
Suppose 2*q = 6*q. Let g = 2/203 - -167/3654. Which is smaller: q or g?
q
Let c = -1038 - -11408/11. Which is greater: c or 0?
0
Let o(v) be the third derivative of -v**5/60 + v**4/6 - v**3/6 - 3*v**2. Let s be o(4). Which is greater: -5/6 or s?
-5/6
Let h(y) = -y**3 + 6*y**2 + 8*y + 6. Let l be h(7). Which is greater: -0.1 or l?
l
Let i(g) = g**2 + 6*g - 3. Let a be i(-12). Let l be 2/3 + a/(-9). Which is smaller: l or -6?
l
Suppose -3*p = -14 - 22. Let q = -8 + p. Suppose -q*n - 1 = 11. Which is smaller: n or -4?
-4
Let f = 30 - 28.3. Let c = 0.7 - f. Is c smaller than 6?
True
Let j(x) = -x**2 + 2*x + 3. Let c be j(-2). Let t be c/((-225)/(-6)) + 0. Is t at most as big as -1?
False
Let o be ((-3)/2)/(1/2). Let a be o + 3/(-27) + 2. Which is smaller: a or 0?
a
Let v = 0 - 0. Let b = v + 4. Suppose -5*z + o + 3 = 0, 0*z - 3*o = b*z - 10. Which is greater: 2 or z?
2
Let x(k) = k**3 - 3*k**2 + k - 3. Let w be x(3). Let y be 8/112*(-3 - 1). Is y smaller than w?
True
Let w be (-2 + 1)*(0 + -3). Suppose 8 = n + w. Suppose 2*z - 12 = 2*a - 0, n*a - z + 10 = 0. Which is smaller: 2/15 or a?
a
Suppose 5*w - 18 = 7. Suppose 11 = m + w. Suppose 5*j = b - 3 - 3, 4*j - 2*b + m = 0. Which is bigger: j or 2/11?
2/11
Let h(v) = 3*v. Let n be h(2). Let c(r) = r - 3. Let o be c(6). Suppose -5*i + 42 = o*s, -i + 2*s = 1 + 1. Is n bigger than i?
False
Let y(b) be the second derivative of b**5/20 + b**4/2 + b**3/2 - 3*b**2 + 4*b. Let i be y(-5). Suppose -f = -i*f. Which is bigger: -1 or f?
f
Suppose 2*x + 0*y = 3*y + 11, 4*x + y - 57 = 0. Which is smaller: x or 17?
x
Let o be 11 + (-3 - 2) + 1. Let w = -0.1 + 0.3. Is o equal to w?
False
Let k = -0.7 - -0.3. Let g = 0.5 + k. Is g less than 7?
True
Let p = 2.6 - 3. Which is bigger: 0.3 or p?
0.3
Let i = -4348/15 + 290. Which is bigger: -1 or i?
i
Let m = -3.072 - 0.028. Which is bigger: 1 or m?
1
Suppose 3*n = -0*n. Let j = 0 + n. Let y be (-6)/(-10) - 142/270. Which is smaller: j or y?
j
Suppose 2*r = 5*k + 10, 10 = -5*r + 4*r - 5*k. Let x = 16 + -11. Suppose -x*v = -r*v. Which is smaller: v or -1/2?
-1/2
Let n be 0 - -1 - 14/8. Suppose 1 = 2*r - m - 6, 0 = r - 5*m - 8. Suppose -v - 17 = -r*c, c = -5*v + 2*c - 15. Which is bigger: n or v?
n
Let v be (-3 + -2)*3/(-3). Suppose -7*m + 3*m - 4 = -4*a, v*m + 5 = 4*a. Which is bigger: 3/4 or a?
3/4
Let r(d) = -d**3 - 2*d**2 - d. Let x be r(-2). Let c = 7 - 10. Let y be c*(-2 + 3 + -2). Is x bigger than y?
False
Suppose 0 = 3*k - 4*r - 9, -4*k + k - 4*r + 33 = 0. Let o(y) = -2*y - k + y + 4. Let a be o(0). Do -2 and a have different values?
True
Let k(s) = -2*s**2 - 1. Let q be k(-1). Let l be ((3/2)/1)/q. Is -6 not equal to l?
True
Let i be 1/(-4 + 3) - 7. Is -8 not equal to i?
False
Let r(l) = -l**2 + 7*l - 25. Let k be r(6). Is k != -19?
False
Suppose 0 = 11*r - 13*r + 14. Is r less than 0?
False
Let t = -14.5 + 13. Which is greater: 0.1 or t?
0.1
Let j = 22 + -26. Let h be 3/(-8)*(-2)/3. Is h at most j?
False
Let k(w) = w**2 + 6*w - 6. Let x be k(-7). Let h = -11/15 + 19/10. Do h and x have the same value?
False
Let g(j) = j + 10. Suppose 6 + 6 = a. Suppose q + 33 = -4*c, -2*c + q - a = 3. Let i be g(c). Is 3 equal to i?
False
Let m = -85 + 86. Let n = -4 + 6. Let d be ((-1)/n)/(30/(-8)). Is m <= d?
False
Suppose -2*q + 6 = 2*p, -5*p + 6 = 3*q - q. Let k = -16