-3 + -5. Let s = p + 11. Let j be (-2)/(-3)*(4 - 1). Solve 10 = -j*y - s*y for y.
-2
Let i(p) = -p**3 - 3*p**2 + 4*p - 3. Let y be i(-5). Let h(s) = -s**3 + s**2 + 12. Let v be h(0). Solve 0 = -3*m + y - v for m.
5
Let s be 4*(-3)/(-24)*16. Solve -4*a + 4 - s = 0 for a.
-1
Suppose -8*g = -12*g + 8. Solve -7*i = -g*i - 20 for i.
4
Let s(p) = -2*p**3 - p**2 - 2*p - 1. Let q be s(-1). Let j be ((-3)/(-9))/((-1)/(-6)). Solve 0 = 4*t - j - q for t.
1
Suppose -3*v + v = 0. Solve v = 6*g - g - 15 for g.
3
Let y = -12 - -15. Let f = y + 0. Solve 0 = 2*h + 1 + f for h.
-2
Let i(s) = -s**2 + 10*s - 3. Let c be i(9). Let h be c/(-8) + (-7)/(-4). Let b(t) = 4*t**2 - 1. Let p be b(h). Solve 0 = p*z + 11 + 4 for z.
-5
Let f = 7 - -3. Let g be 9/(-6)*f/(-3). Solve g = -5*l - 5 for l.
-2
Let x(f) = -f**2 - 4*f - 2. Let k be x(-2). Solve 0 = 5*g - 27 + k for g.
5
Let j(i) = -i. Let m(r) = -r**2 + 5*r + 2. Let g(y) = 6*j(y) + m(y). Let z be g(0). Let o be (-2)/(z/25*-1). Solve o = 4*p + p for p.
5
Suppose -v = -3*v - 3*g + 12, -2*v + 3*g = 0. Let t(y) = y - 3. Let i be t(v). Suppose 3*k + 2*k = i. Solve 8 = 2*q - k*q for q.
4
Suppose 0 = 4*m + 5*k - 16, -5*k = -m - 6*k + 4. Let a(c) = c - 6. Let j be a(13). Let s = -2 + j. Solve 15 + s = m*u for u.
5
Let u = 11 + -8. Let v = u + 5. Suppose 4*j - 8*j = -v. Solve x - 5 = j*x for x.
-5
Let k be (-10 + 0)*(-1)/2. Solve -k*a + a = -20 for a.
5
Suppose 0*d + 3*d = 12. Solve d*o = -11 + 3 for o.
-2
Suppose -12*r = -10*r - 4. Solve -r*p - 3 = p for p.
-1
Suppose -11 + 2 = -4*v - z, 5*v - 5*z = 5. Suppose -4*m - 3*f + 27 = 0, 0*m - 2*f = v*m - 16. Solve -m*r - 3 = -15 for r.
4
Suppose -l - 3*l + 8 = 0. Suppose -l*p = -6*p. Solve 0*h - 3*h - 9 = p for h.
-3
Suppose 0 = -3*m - 2*m + 25. Let x(f) = -f**3 - 6*f**2 + 8*f. Let g be x(-7). Let v = 8 + g. Solve m*w - v = 9 for w.
2
Let k = -12 + 17. Suppose 5*z - 24 = 4*y - 0, -5*z + 15 = k*y. Solve -d + z = -5*d for d.
-1
Let g(t) = t**3 - 7*t**2 + 5*t + 9. Let i be g(6). Solve -3*r - i = -18 for r.
5
Let f be (0 + -1)/(4/(-20)). Suppose -f*o = -o - 116. Suppose 0 = -4*w - x - 0*x + 19, 5*w - o = -3*x. Solve 2*a + w = 6*a for a.
1
Let a be (-168)/(-9) - (-4)/(-6). Let j be (-4)/a - 4/(-18). Solve j = k + 3*k + 8 for k.
-2
Let q be (2 + 0)/(3/6). Let u be q/6 + (-14)/(-6). Solve u = -0*z - z for z.
-3
Let c(a) = a**2 + 10*a - 8. Let o be c(-11). Suppose -o*l - 2*l = -15. Solve 0 = -l*y + 9 for y.
3
Suppose g + 18 = 20. Solve -g*i = 3*i for i.
0
Suppose 0 = -5*j + 2*w - 6, -5*j = -w + 1 + 2. Suppose j*c = -c. Suppose -s = 2*x - 7*x + 25, -3*x = -15. Solve c = -3*m - s*m - 3 for m.
-1
Let k = 20 - 14. Let d be k/7*(8 + -1). Suppose -d*t = -3*t - 3*p - 12, 18 = 5*t - 3*p. Solve t*r = -r for r.
0
Suppose l = -4*t + 11, 0*t - t - 3*l + 11 = 0. Solve -t*k + k + 3 = 0 for k.
3
Let j be (-4*1)/2*-1. Suppose -4*k + 5*h - 5 - 5 = 0, -2*k - 2*h + 4 = 0. Suppose k = -g + 3 - 1. Solve 0 = j*o + g*o + 12 for o.
-3
Let q = 120 - 120. Solve q = 2*j + 2*j - 8 for j.
2
Let u(o) = -o - 3. Let r be u(-6). Solve 8 = r*w - 7 for w.
5
Let i = -3 + 0. Suppose 3 = -0*c - c. Let h = c - i. Solve h*l = -l + 1 for l.
1
Let r(p) = -p**3 + 4*p**2 + 4*p - 8. Suppose 4*v - 2*m - 18 = 0, m - 3*m = 4*v - 14. Let g be r(v). Solve g = -2*u - 2*u for u.
-2
Let q = 12 - 4. Solve 3*z = z + q for z.
4
Suppose -3 = -b - 4*c + 3, 4*b - 5 = 3*c. Suppose -i + 3 = 5, 12 = b*r + i. Solve 3 = -2*m - r for m.
-5
Suppose 0 = -5*o + 8 - 3. Solve -5*n = 4 + o for n.
-1
Let c(k) = -k**2 - 6*k + 2. Let j be c(-6). Suppose -4*i + j = 3*r - 0, -3*i = 3. Suppose -2*h + 24 = r*h. Solve 2 = -4*v - h for v.
-2
Suppose 4*l - 6 = 14. Suppose 2*f - r = 6, 16 = 3*f - 0*f - l*r. Solve f*a - 3 - 5 = 0 for a.
4
Suppose -2 = -2*v + 8. Let y = 5 - 2. Solve l - v = -y for l.
2
Let a = -13 - -22. Solve 3*c - a - 3 = 0 for c.
4
Let b be (8/3)/((-8)/(-12)). Suppose 0*w = w. Solve w = 3*g + g + b for g.
-1
Let a be (-5)/5*1/(-1). Let x = 6 - a. Let u be 1 - (5 - 3 - x). Solve 1 = 5*r - u for r.
1
Suppose 2 = 2*w - 4. Let d = w + 6. Let x = 156 + -152. Solve -d = i - x for i.
-5
Let q(m) = -m**3 - 15*m**2 - 24*m + 30. Let k be q(-13). Solve -f + 3 - k = 0 for f.
-1
Let x(q) = -5*q**3 + 2*q**2 + q. Suppose 5*r + 1 = -4. Let l be x(r). Suppose 12 - 37 = -5*t. Solve -t*f + l = -2*f for f.
2
Let g be 0 + ((0/4)/4)/2. Solve -u + g = -3 for u.
3
Suppose 17 = -g - 3*g + 5*t, g + 18 = 4*t. Let w(k) = k**g - 4 + 2*k**3 + 4*k + 6*k**2 - k**3. Let v be w(-6). Solve o = -o - v for o.
-4
Let c = -1 + 0. Let l(x) = -2*x**3 + 2*x**2 + 2*x + 1. Let w be l(c). Solve -2*d - w = -d for d.
-3
Let d be 7/(-1) + (-8 - -7). Let m be (5/(-3))/(d/24). Solve -5 = -m*w - 15 for w.
-2
Let p(i) = -i**2 + 6*i - 5. Let x be p(4). Suppose -2*g = -x*g. Solve g = -m + 6*m + 10 for m.
-2
Suppose 0 = -2*b - 5*p - 7 + 14, 5*b = 3*p + 33. Solve w - b = 4*w for w.
-2
Let n(u) = u + 1. Suppose -p + 20 = 3*p. Let k be n(p). Solve 0*l = 2*l + k for l.
-3
Suppose -2*m + 7 = -7. Suppose -5*o + 4 = n - 4, -n = 4*o - m. Solve d - n = 2*d for d.
-3
Suppose 2*q + 18 = q - 5*x, 0 = q - 2*x + 4. Let s be (q/(-12))/(4/30). Suppose -18 = 2*z - s*z. Solve -z*u - 5 = -u for u.
-1
Suppose 2*h - 8 = 2*f, 3*f - f + 12 = 3*h. Let r(b) = 2*b - 2. Let n be r(1). Solve n = -2*p + 4 - f for p.
2
Let p be (2/3)/((-7)/(-21)). Let m be -2 + 2/(p + -1). Solve 0*w + 4*w + 4 = m for w.
-1
Let r(q) = -q**2 - 7*q - 1. Let x be r(-6). Suppose x*c = 7*c - 6. Solve -c*m + 0*m = 0 for m.
0
Let g = -6 - -12. Suppose o - 7 + 16 = -4*f, -4*o - 2*f = -g. Let y be 2 - 1/2*0. Solve o*b = -8 + y for b.
-2
Suppose 0 = -2*y + 18 - 8. Solve q = -4*q - y for q.
-1
Let a be 3/(-2)*32/(-24). Solve -2*g - 8 = a for g.
-5
Suppose 4*z + 2*r + 2*r = 8, 4*z + 3*r = 10. Solve -z*q = -2*q - 10 for q.
5
Suppose -11*b + 40 = -7*b. Solve 6*y = y - b for y.
-2
Let w(z) be the third derivative of z**5/60 - 11*z**4/24 - 7*z**3/6 - 4*z**2. Let h be w(12). Let m = -7 + 7. Solve -h*i - 24 - 1 = m for i.
-5
Let b be (16/(-12))/(-2 - (-42)/27). Solve -5*o - 7 = b for o.
-2
Let x(g) be the third derivative of -1/12*g**4 + 2*g**2 + 0 + 0*g - 4/3*g**3. Let d be x(-6). Solve -d*c - 2 = -2*c for c.
-1
Let x = -21 + 15. Let m = 10 + x. Solve m*c - 5 - 15 = 0 for c.
5
Let n = -27 + 33. Solve 2*i + 2 = n for i.
2
Suppose 5 = 4*n + 5. Suppose -5*l + 38 = 8. Suppose 0 = 4*i + 6 + l, 3*z - 3*i = 24. Solve -z = 5*y - n*y for y.
-1
Suppose 2*y - 5*q - 26 = 0, -4*y - 3*q + 36 = -5*q. Solve 0 = -0*j + 2*j + y for j.
-4
Let h = 0 + 1. Suppose -3*s + 38 = -2*t, -4*s - 4*t + 11 = -13. Suppose 2*b + i = -b + 15, -5*i - s = -2*b. Solve m + b = h for m.
-4
Let s be (5 - 1) + 20/(-20). Solve 0 = -s*y + 4*y - 5 for y.
5
Let o(i) be the first derivative of 7*i**2 - 3*i - 1. Let b be o(2). Suppose -3 = 2*z - 3*z, 0 = -2*n - 2*z + 24. Solve 4*h - b = n*h for h.
-5
Let i(q) = -q**2 - 4*q + 5. Let y be i(-5). Let l be (5 + -4)*(y + -1). Let d be (1 - 0)*2 - l. Solve 0 = 4*z - d - 17 for z.
5
Let n = 3 + 0. Solve -n*w = -2 - 1 for w.
1
Let p = -45 - -65. Suppose -24 = -77*s + 74*s. Solve -4*l + p = -s*l for l.
-5
Let j = 112 - 102. Solve -3*l + j + 5 = 0 for l.
5
Suppose 1 = -3*g + 7. Solve 0 = -k - g - 0 for k.
-2
Let o be (-52)/(-20) + 8/20. Solve o*j = -8 + 2 for j.
-2
Suppose -2*m + 2*d + 4 = 0, 0*d - 2*d + 20 = 4*m. Solve m*b + 0*b + 12 = 0 for b.
-3
Suppose 5*g - 25 = 0, 0 = -5*v + 6*g - 3*g. Suppose a = -3, -4*m - v = -5*m - 3*a. Solve 3*u + 3 = -m for u.
-5
Let a = 59 - 56. Solve 7 + 8 = -a*c for c.
-5
Let w(u) = -u + 3. Let s be w(-9). Suppose -4*k - 30 = -5*f, f = 3*k - k + s. Let b be (-1 + -5)/((-3)/f). Solve -b = 3*g + 2 for g.
-2
Let n(u) = u**3 - 10*u**2 + 7*u + 20. Let a be n(9). Solve -g = -2 - a for g.
4
Let o = 19 - 37. Let n = -13 - o. Solve -n*l + 4 = -1 for l.
1
Let m be (4 - 1)*(-1 + 2). Solve 0 = -2*f + 1 + m for f.
2
Let z(c) = 3*c**2 + 24*c + 3. Let p be z(-8). Solve 0 = -x - p*x + 16 for x.
4
Let p(w) = 15*w - 11. Let y(x) = 7*x - 5. Let o(c) = -6*p(c) + 13*y(c). Let h be (-30)/(-42) + 6/21. Let r be o(h). Solve -3*q + 7 = -r for q.
3
Suppose 5 = l + 1. Solve q - l*q - 15 = 0 for q.
-5
Let z = -1 - -5. Suppose -z*t + 21 = d, -2*t + 5 = d - 6. Let o be t - 1*(3 - 2). Solve -5*n + 5 = -o*n for n.
5
Let f(a) = -4*a**2 + 8 - 1 + a**2 - 5*a + 2*a**2. Let 