n - 5. Does p = -2/29?
False
Let p(u) = u**2 - 5*u - 2. Let w be p(5). Let i = 2 + w. Suppose l - 2*y - 2 = -y, -2*y - 4 = -4*l. Is l at least as big as i?
True
Let t(d) = d**3 - d**2 - 2*d + 2. Let m be t(2). Suppose 0 = -3*o - m*o. Let r be 1/3 + 1 + -1. Is o less than r?
True
Let a(h) = -h**2 + 3*h - 1. Let s be a(2). Let n = s - 1. Suppose r - 5 + n = 0. Is 6 equal to r?
False
Let z(y) = y**3 + 10*y**2 + y + 7. Let t be z(-10). Is -5 smaller than t?
True
Suppose 0 = 3*d + 5*m - 24, -3*d = 4*m - 2*m - 15. Suppose i - 1 = d. Let o be 3/9 - i/(-6). Which is smaller: o or 0?
0
Let l(d) = 40*d - 19. Let y be l(2). Which is greater: -1 or y?
y
Let s = -13 - -15. Suppose 5 = 4*t + 9. Which is greater: s or t?
s
Let n be (1/((-3)/(-2)))/2. Let v = 156 - 157. Which is bigger: v or n?
n
Let a be 5 + 2/3*3. Let k(t) = t**3 - 6*t**2 - 6*t - 8. Let q be k(a). Is -2/5 greater than q?
True
Let d(v) = v**2 - 6*v - 23. Let j be d(8). Which is smaller: j or -6?
j
Let k = 9 + -10. Let x be -2 - (k - (-9)/(-7)). Is 0.2 > x?
False
Let g be (1 - 7)/(3/(-6)). Suppose 24 = 2*k + 3*f, 3*f + 0*f + g = k. Suppose -3*c - c + 2*o = 0, k = 3*o. Which is greater: c or 1?
c
Suppose 5*l + 4 = l. Is 2 at least l?
True
Suppose 2*i = 2, -u + i + 0*i - 5 = 0. Which is smaller: u or -32/9?
u
Let j(m) = -m + 1. Let a be j(5). Let w be 4*((-3)/a - 3). Let f = -9 - w. Is 2/11 at most f?
False
Suppose 10*z = -38 + 88. Which is smaller: z or -2?
-2
Let i = -8 - -2. Let o = -29 - -24. Let h = i - o. Is -2/11 <= h?
False
Let j(p) = 3*p**3 - 4*p**2 - 7*p + 4. Let y(k) = k**3 - k + 1. Let m(i) = -j(i) + 2*y(i). Let r be m(5). Are r and -3 non-equal?
True
Suppose 7 = o + 2*o + 4*c, 4*c - 5 = -o. Let i = o - -1. Suppose 2*k = i*s - 2, -6*k + 3*k - 4*s = 10. Which is smaller: 0 or k?
k
Let s(b) = -3*b**3 + b**2 - b. Let f be s(1). Let o be 28/(-21)*f/2. Suppose -3*r = -d - 2*r, 3*d - 2*r + o = 0. Which is greater: -3 or d?
d
Let g = -14 - -8. Let x(n) = n + 8. Let k be x(g). Is 1 not equal to k?
True
Suppose -v + 2*m + 21 = 0, -77 = -5*v + 2*m + m. Let w = -12 + v. Which is bigger: -2/9 or w?
w
Let f = -1101/10 + 110. Which is bigger: f or -2/3?
f
Let p be (0/7)/((-3)/1). Let x = 1/8 + -29/40. Which is smaller: x or p?
x
Let o = -85/9 - -877/90. Which is greater: o or 0?
o
Suppose 3*c = 9 + 6. Let f = 15 - c. Which is bigger: 11 or f?
11
Let c = 12 + -12.7. Let r = -18 + 17.7. Let i = r + c. Is i at most as big as 1?
True
Let j = 42 + -48. Which is smaller: j or -46/7?
-46/7
Let v = -2 - -3. Let l be (-5142)/(-4)*2/12. Let d = l + -213. Is v less than or equal to d?
True
Let l be (3 - (2 - 0)) + 0. Let d be (-1)/(-2)*0/1. Suppose d*u - u = 3. Which is smaller: u or l?
u
Let i be (6/(-72)*-6)/((-1)/(-2)). Is i less than or equal to 2/17?
False
Let p be (9/(-15))/(12/(-15)). Let q(b) = b + 2*b - 6*b - b**2. Let j be q(-2). Are j and p unequal?
True
Suppose 2*m - 23 = m + 5*x, 0 = -5*x - 25. Let q be 1/1 - (m - -3). Suppose -4*r + 4 = -q*r. Which is smaller: -2/5 or r?
-2/5
Let g = 8 + -11. Let p be 4/(-1 - (-1)/(-1)). Let y = p - g. Which is smaller: y or 2?
y
Let q = 35 + -23. Let m be (q/(-200))/((-6)/(-8)). Which is greater: m or 0?
0
Let b(g) = -g**2 + 8*g + 10. Let f be b(9). Suppose -5*s - f - 9 = 0. Which is bigger: s or -1?
-1
Suppose 5*t = c - 8 + 2, -2*t = 2*c. Is t at least -2?
True
Suppose -11*t - 25 = 52. Let s(h) = -7*h**2 + 2*h - 1. Let n be s(1). Which is greater: n or t?
n
Let l be (5/(-30))/(1/(-6)). Suppose 4*v + 8 - 20 = 0. Let x be 3/v + (-5)/3. Which is smaller: l or x?
x
Let p(m) be the second derivative of 0 + 1/2*m**2 - 1/6*m**4 - 1/20*m**5 - m + 1/6*m**3. Let k be p(-1). Which is smaller: k or -3?
-3
Let v be (8/5)/(4/10). Suppose 0 = -v*z - 2 - 6. Is -2 less than z?
False
Let h(r) be the second derivative of -1/3*r**3 + r + 0 + 1/2*r**2. Let w be h(-1). Is w > -0.1?
True
Let l be (-6)/(-8) + 351/(-36). Is -1 greater than or equal to l?
True
Let y(q) = q**2 + 4*q. Let x be y(-4). Suppose -t + x*t = 3. Let p = 1 + t. Which is smaller: -4 or p?
-4
Suppose -q + 3 = v, 0 = -v + 4*v + 2*q - 11. Suppose 3*j + 2 + 4 = 0, -v*w + 92 = -j. Let n be -2 - 1/((-8)/w). Which is bigger: 0 or n?
n
Let r(c) = -c**3 + 3*c**2 - 4*c - 1. Let z be r(2). Which is smaller: z or -7?
-7
Suppose 3*u - 7 = -4. Let i be u*(-4 + 2 - -2). Which is bigger: 2/79 or i?
2/79
Let d = 19.86 + 0.14. Let t = 20 - d. Which is smaller: t or 2?
t
Suppose 4*o + 5*t - 344 = 49, 15 = -5*t. Which is bigger: 103 or o?
103
Suppose -40 = -6*c - 10. Let r(f) = 7*f**3 - 2*f**2 + 2*f - 1. Let o be r(1). Is o at least as big as c?
True
Let t(h) = 0*h - 4*h - 3 - h**2 + 0*h + h. Let m be t(-2). Are m and 2/21 nonequal?
True
Suppose -3*f + 11 - 2 = 0. Suppose -p = f*n - 0*n + 7, -3*p + 2*n + 12 = 0. Let y be (4/p)/(3 - 1). Is 1 bigger than y?
False
Let d be (-12)/((3 - 1) + -3). Let b be (-16)/174*d/(-16). Let a(z) = z + 8. Let m be a(-7). Which is smaller: m or b?
b
Let b(j) = j**3 - 6*j**2 + 6*j - 5. Let r be b(5). Suppose -2*p + 0*p - 12 = r. Which is bigger: p or -1/4?
-1/4
Let z be 6*3/(-6)*-1. Which is greater: 8/5 or z?
z
Let s = 13.59 + 51.36. Let n = 63 - s. Let j = -0.05 + n. Is j < 0?
True
Let b = -0.22 + -1.18. Which is smaller: b or 1?
b
Let r be 5*2 - 15/(-5). Let l be 1/(-2) + r/30. Which is bigger: 0 or l?
0
Let r(t) = 5*t - 1. Let a be r(1). Suppose -g - c - 1 = -5*g, 12 = a*c. Which is greater: -1/3 or g?
g
Suppose 2*n = 4*k - 2*n, 0 = 5*k + 4*n + 27. Do -2 and k have different values?
True
Let j be 4 + 8/((-32)/12). Let q be ((-2)/(-3))/((-4)/(-6)). Suppose -2*r - q = -4*s - 3, 2*s - 3*r + 7 = 0. Is j equal to s?
True
Let l = -17/5 + 29/10. Suppose -2*m + 9 = 2*j + 1, 0 = j + 5*m - 20. Which is smaller: l or j?
l
Let v = -985 - -20681/21. Is v less than -1?
False
Let a(c) = c - 3. Let u be a(-7). Let x = 9 + u. Which is bigger: x or -2?
x
Suppose 3*l = 3*z + 18, -3*l = z - 3 - 7. Which is bigger: -9/4 or z?
z
Let c = -10 - -26. Let w = -16.1 + c. Let p be (-1 + 1)/(-1 - 1). Is w at most p?
True
Let k(z) = z - 5. Let l(r) = -11 - 3*r + 5*r + 2*r - 2*r. Let s(y) = -9*k(y) + 4*l(y). Let i be s(1). Is i at least as big as 0?
True
Let s = 2 + 1. Let d = s + -3.4. Let y = -1.4 - d. Is y at most 0?
True
Suppose g + u - 23 = -0*u, -4*g + 100 = -4*u. Let s be g/(-32) + 17/(-4). Let k be (-2)/3*(8 + -2). Is s at least k?
False
Let n = 3 + 1. Suppose -4*f = -f - v - 8, 4*f + n*v = 0. Is f equal to -1?
False
Let u be -1 - -4 - 14/6. Which is bigger: u or 1?
1
Let h = 132 - 117.2. Let v = h + -15. Which is smaller: v or 1/2?
v
Let z be 18/(-52) - (-3)/6. Let g = -52 + 51. Which is smaller: g or z?
g
Suppose -3 = -s + 4*s, -s - 1 = 4*l. Which is greater: l or -2/63?
l
Suppose -v + 5*i - 24 = 0, -14 = -2*v + 5*i - 37. Let a be (-2 - -3)/(-2 - v). Let x be (4/1 + -3)/4. Is a != x?
True
Let s = 16 + -6. Which is smaller: s or 0.1?
0.1
Suppose -2*i = 3*u + 1 - 3, u + 5*i - 5 = 0. Are 4/7 and u non-equal?
True
Let i(z) = -9*z - 3. Let r be i(-3). Let g be r/10 - (-6)/(-15). Suppose 0 = -d - g*d. Is 2/11 less than d?
False
Let w = -16 - -7. Is -1 not equal to w?
True
Suppose 52 = 2*b + 4*c, -b - c = -5*b + 68. Let s = b - 16. Is s equal to 2?
True
Let n = -4.4 + 0.4. Let k = n - -2. Let j = 2.2 + k. Is j smaller than -2/9?
False
Let w be -2 + 1 + (-16)/(-10). Let k = 0.243 - 0.043. Which is smaller: w or k?
k
Let b(w) = w**2 + 5*w - 1. Let z be b(-6). Suppose -3*s + 12 = 3*a, -4*a = -a - z*s + 28. Let l = -4 - -4. Which is greater: l or a?
l
Suppose -3*w = -0*w + 27. Is -10 less than or equal to w?
True
Let t be ((-12)/210)/((-14)/10). Which is bigger: 0 or t?
t
Let z be 6*8/(-12) + (-138)/(-4). Is 32 less than z?
False
Let l be 1 + (4 - (-1 + 2)). Let i be -14*(2/l + -1). Is i greater than 2/7?
True
Let z(b) = -b**3 - 14*b**2 - b - 11. Let k be z(-14). Is 3 > k?
False
Let d = 3 - 0. Suppose 6 = 4*m - 2. Is d at least as big as m?
True
Let v = -1 + 1. Suppose v = z - 1 + 4, -7 = -2*j - z. Suppose 0 = -w - q - 1 + j, -12 = -2*w - 3*q. Which is smaller: 4/5 or w?
w
Let w = -32/3 + 166/15. Let q = 0.2 - -0.3. Which is smaller: w or q?
w
Suppose 4 + 10 = -5*u + q, 0 = 4*u + 4*q - 8. Suppose -2 = -3*x + 1. Suppose 3*j = l + x, 3 = -0*l - 3*l + 2*j. Which is bigger: u or l?
l
Let j = -34 - -62. Is j less than or equal t