ppose 4*u + w = 20 + 16, -w + a = u. Solve 2*s + 4 = u for s.
3
Let h(r) = -3*r - 9. Let f be h(-3). Solve 2*d = -f + 2 for d.
1
Suppose -3*l = -2*l + 8. Let q = l - -8. Suppose q*p = p. Solve p = j + j for j.
0
Let o(n) = n**2 - 4*n + 2. Let h be o(4). Suppose -8 = h*d - 4*d. Suppose -d*s = 2*q - 22, 3*q + q - 3*s = 0. Solve 10 = q*a - a for a.
5
Suppose f + f = 2*v - 2, -5*v + 9 = -f. Let l be (-3)/(-1) - (2 + 1). Solve -2*c + v = -l*c for c.
1
Let f(t) = 3*t**2 + 3*t**2 - 7*t**2 + 11*t - 8. Let v be f(9). Let o be (-10)/(-4)*8/v. Solve 0*h - 10 = -o*h for h.
5
Let m(s) = 8*s - 1. Let k = -1 - -2. Let a be m(k). Suppose a = -4*b + 15. Solve b*q = -1 - 1 for q.
-1
Let d = 23 - 14. Suppose p - 7 = -l, 0 = 3*p - 0*p + 4*l - 24. Solve p*z - z = d for z.
3
Suppose a + a - 3*o + 1 = 0, 0 = -2*a + 5*o - 7. Solve 3 - 15 = -a*r for r.
3
Suppose 2*m + 4 = -4*o, 4*o + 7 = 5*m - 25. Let w(f) be the third derivative of f**5/60 - f**4/12 - f**3/6 + 2*f**2. Let a be w(5). Solve -m*y - a = -2 for y.
-3
Let n(a) = -3*a - 8 + 6 + 4*a - 4*a. Let f be n(-3). Let l be (7 + 0)*2/f. Solve 0 = 2*s + l*s + 8 for s.
-2
Let c = -20 + -4. Let n be c/2 - (-3 - -1). Let i be 15/n - (-11)/2. Solve 8*t - i*t = -20 for t.
-5
Suppose 3*x = -u + 10, 2*u + 4*x - 18 = -x. Solve u*c = -c + 5 for c.
1
Suppose 18*c + 4*c = 0. Solve -2*y + 0 + 4 = c for y.
2
Let p = -6 - -6. Solve p = -w + 4 for w.
4
Suppose 0 = r - 2*c + c - 3, 5*c - 20 = -2*r. Suppose r*s - 1 = 14. Let g be (-1)/((9/(-6))/s). Solve 1 + 7 = -g*n for n.
-4
Let s be 6/(-24) + 18/8. Suppose 0*i = s*i. Solve -3*j = -i - 6 for j.
2
Let r(i) = -i**3 - i**2 - 1. Let s be r(-3). Suppose -q = 10*q + 132. Let p = q + s. Solve 0 = -5*t - 15 - p for t.
-4
Let x(f) = 6*f - 1. Let s be x(1). Solve s*m = 2*m for m.
0
Suppose 4*a - 20 = -5*l + 2*a, -3*l = -4*a + 14. Solve 15 = -l*g - g for g.
-5
Suppose 3*c - 4*l + 8 = 0, 4*l - 8 = 4*c - 3*c. Suppose c*o + o + 7 = 0. Let y(d) = -2*d - 9. Let m be y(o). Solve 0*k - 15 = m*k for k.
-3
Suppose 5*x - 4*o = 3 + 10, 5*o = -5*x - 5. Suppose -4*r = -0 - 20. Suppose 3*i = 10 + r. Solve x + i = 3*d for d.
2
Let l be 13 - 1 - (12 + -8). Let s be (-4)/(-16) + 22/l. Solve -8 = -b - s for b.
5
Let t(u) = -u - 2. Let o be t(-4). Let r(d) = 2 - o - 6 + d. Let h be r(6). Solve n = -h*n for n.
0
Let f(g) = g + 8. Let i be f(-6). Suppose -w + i*w - 3*l = -5, 0 = 5*l - 15. Suppose -2 + w = n. Solve 2*z + n*z - 8 = 0 for z.
2
Let u = 1 + -10. Let t(s) = s**3 + 3*s**2 - 2*s + 2. Let d be t(-4). Let m = d - u. Solve m*l + 3 - 6 = 0 for l.
1
Let z(b) = -b**2 - 6*b + 17. Let s be z(2). Solve 2*c - 3 = -s for c.
1
Let b(h) = -h**2 - 3*h - 3. Let t be b(-2). Let c be 2 + -2*t/(-2). Let u = c - -2. Solve -u*q = q for q.
0
Let x be (0*(-4)/(-8))/(-1). Let i be 0*(-2)/8 + x. Solve -12 = -i*c - 3*c for c.
4
Let l be (-5)/(-15) + 238/6. Suppose -5*y - 2*h + 46 = 0, 0 = -y + 4*y - 5*h - l. Solve 3*m - y = 5 for m.
5
Let z(l) = -l + 1. Let s(j) = 6 + j**2 + 2*j + j**2 - j. Let b(w) = s(w) - 4*z(w). Let v be b(-3). Solve -v = -5*i + 5 for i.
2
Suppose 6*a - 148 = 2*a. Suppose 4*r - 5*o - a = 0, 0 = 5*r - 0*r + 2*o - 5. Solve 7 - 1 = -r*v for v.
-2
Suppose 0 = -5*g + 2*i + 33, 4*g = 3*i + 14 + 18. Let p = g - 2. Suppose -19 = -p*z - 4*h, -h - 4 = -4*z + 15. Solve 2*k + z = -3*k for k.
-1
Suppose -3*n - 2*a = -12, -n + 5*n + 3*a = 16. Suppose t - 2*t = 2*j - 2, 3*j - n*t - 14 = 0. Suppose 2*h = h + j. Solve m + 3 = -h for m.
-5
Let v(h) = -2*h + 23. Let s be v(10). Suppose -2*p + s*k = 5*k, -2*p = -4*k. Solve p*a + 4 = -a for a.
-4
Let j(d) = -d**2 + 5*d. Let o be j(5). Let q = -12 - -14. Solve o = q*z + z - 15 for z.
5
Let m(r) = r**2 + r + 1. Let n be m(-2). Let g be ((-9)/n - -3)/(-1). Solve g*j + 4*j = -8 for j.
-2
Let j = -9 + 9. Solve -2*m + j = -10 for m.
5
Let n = -11 - -17. Solve -n*d - 10 = -d for d.
-2
Suppose 2 - 1 = v. Let p = -390 + 401. Solve p + v = -3*i for i.
-4
Let k(h) = 4*h - 2 - 5*h**2 - 3 + h**3 - 2*h. Let g be k(5). Let u(r) = -r + 33. Let d be u(13). Solve g*s + d = s for s.
-5
Suppose 5*r + 4*u + 8 = 9*r, 0 = -4*r - u + 13. Solve 2*k - r*k = 3 for k.
-3
Suppose 6*s - 41 - 25 = 0. Solve 0 = 4*x - 9 - s for x.
5
Suppose -3*f - 9 = -3*x, -6 + 3 = 2*f - x. Solve f*g + 2*g = 10 for g.
5
Let s = 14 + -8. Let m be (18/7)/(27/630). Suppose 2*a + m = 4*r, -6*a = -3*r - 3*a + 42. Solve -r = 2*z - s*z for z.
4
Suppose 14 = -3*m + 29. Solve 0 = 6*r - r - m for r.
1
Let m = -14 + 6. Let f be m/12*-18 + -3. Solve -4*i = 29 - f for i.
-5
Let g(h) = -2*h**3 - 2*h**2 - 5*h - 2. Let c be g(-3). Suppose 2*p - 5*w - c = 0, -p + 14 = -w - 3. Let x be (4/3)/(p/18). Solve 4 = 4*i - x*i for i.
2
Let f = -26 + 29. Solve -f*d - 3 = -0*d for d.
-1
Let k(s) = -s**3 + 5*s**2 + 3*s - 3. Let j be k(5). Suppose j + 4 = 4*u. Solve -u*w = w for w.
0
Let c(l) = 8*l**2 - l - 2. Let t be c(-2). Suppose 2*i + 4*k - t = -2*i, -5*k + 10 = -5*i. Suppose 0*d + 4*b + 23 = 5*d, 4*b = -8. Solve d + i = -3*u for u.
-2
Let f(b) = 8*b + 7. Let g be f(5). Suppose 5*z + v - 2 = 44, g = 5*z + 2*v. Solve -2*d - d = -z for d.
3
Let j = -3 + 4. Let o = 2 + j. Solve -o*t = -5*t + 2 for t.
1
Suppose -n + 3 = 0, 4*d + 2*n = 13 + 9. Let s be ((-2)/(-7))/((-14)/(-49)). Suppose -3*q = s - 10. Solve d*h = 3*h - q for h.
-3
Let u(i) = i**2 + 2*i + 4. Let q be u(-3). Let o(n) = -n + 7. Let z be o(q). Solve z = -2*y + 3*y + 4 for y.
-4
Let m(i) = 6*i**2 - 7*i**2 + 4*i - 8*i + 3. Let o be m(-4). Let f be o + -3*(-1)/3. Solve -f*n = -0*n + 8 for n.
-2
Let o(f) = -2*f - 4. Let c be o(-2). Solve -5*z = -c*z + 5 for z.
-1
Suppose 5*x - 28 - 2 = 0. Suppose -7*i + 4*i = d + 28, -5*i - 4*d - 56 = 0. Let j = -6 - i. Solve -x*t = -j*t + 20 for t.
-5
Suppose 3*x = 5*s - 4, -5*x + 50 = 3*s - 0*s. Suppose 3*q - x*q + 28 = 0. Solve q*g = 3*g + 16 for g.
4
Let y(i) = i**2 - 5*i. Let o be y(5). Let h be (-296)/(-36) - (-2)/(-9). Suppose -3*g - 45 = -h*g. Solve 6*f - 3*f + g = o for f.
-3
Suppose q + v = 5*q - 9, -v = 1. Solve q*z = z + 2 for z.
2
Let n = -4 + 6. Suppose -5*r = -3*r - 12. Suppose -r = -n*o - o. Solve o*b = 7*b for b.
0
Let a be 1/(-1 + (-12)/(-9)). Solve -z - a = 2 for z.
-5
Suppose 2*h = 3*h - 3*i + 11, -5*i = 2*h - 33. Suppose 5*q + 2 = 6*q. Suppose -2*u = -u - q. Solve -u*y - h = -0*y for y.
-2
Let k = -16 + 20. Suppose -2*b + 6 + 2 = 0. Suppose 0*h + 12 = 3*h. Solve k*z = b + h for z.
2
Let y(r) = r + 4. Let z be y(0). Suppose -m - 5*t + 10*t = 10, 3*m + 3*t - 24 = 0. Let o = -12 + 15. Solve m = z*i - o for i.
2
Let m be (-6)/45*-3*50. Let y be (m/2*-1)/(-2). Suppose 3*h - 2 = -y*x, 5 = 4*h + 3*x - 5. Solve -5*w - h = -24 for w.
4
Let l(s) = 2*s**2 - s - 1. Let a be l(-1). Suppose -p + 27 = -3*y, 3*p + 2*y = 6*p - 53. Solve g - p = -a*g for g.
5
Let q(a) = 8*a + 13 - 6 + 2*a**2 - a**2. Let p be q(-8). Suppose 0 = 4*k - k - m - p, -3*k = -3*m - 15. Solve -k = 2*s - 3*s for s.
1
Let x(g) = -6*g - 22. Let m be x(-4). Solve -j = m*j - 15 for j.
5
Suppose 0 = -f + 23 - 20. Solve h + f - 1 = 0 for h.
-2
Suppose 0 = -d, 5*n + d - 1 - 19 = 0. Solve n*l = -l + 25 for l.
5
Let m(j) = -j**2 - 1. Let h be m(-2). Let w = h + 45. Suppose 2*o - 6*o + w = -4*r, o + 2*r = 10. Solve -z + o = z for z.
5
Let v(w) = -w - 6. Let s be v(-8). Suppose 10 = 3*z + s*z. Suppose -3*i + z*i = 0. Solve 10 = -i*u + 5*u for u.
2
Let p be (-3)/(-1)*4/4. Solve p*k - k = 6 for k.
3
Let o = 0 + 5. Solve -4*b + 5 = -o*b for b.
-5
Let u be (0/4)/(0 + (-2 - -3)). Solve -f - f - 2 = u for f.
-1
Let l(h) = -h**2 + h. Suppose 5*r - 18 = -3*w, w + 2*r - 10 = -3*w. Let g be l(w). Solve g = -0*i + 2*i - 6 for i.
3
Suppose -2 = -2*b + 2. Solve b*z + 3*z = 25 for z.
5
Let v be 4/2 - (-15 + 12). Solve -z = -v + 9 for z.
-4
Suppose -4*l + 2*l = 0. Suppose -4*a - 5*b - 23 = l, -b = -5*a - 1 - 6. Let f be (2 - a) + (3 - 2). Solve -10 = f*k - 3*k for k.
-5
Let w(g) = -2*g - 7. Let k be w(-5). Suppose 0 = -2*q + 4*v + 4, 3*q - k = 5*v + 3. Let b be (q/(-6))/(4/(-24)). Solve a + 1 = -b for a.
-3
Let t(g) = g**2 - g + 5. Let q be -1 - -3 - (1 - -1). Let z be t(q). Let c(d) = d**3 - 4*d**2 - 3*d - 6. Let x be c(z). Solve 9*w - 15 = x*w for w.
3
Let f(a) = -4*a - 1. Let j be f(-1). Suppose -5*n + j*w = -16, 0*n + 5*n = -5*w + 40. Solve -n*x + x = 20 for x.
-5
Let k(o) = 7*o**2 - 4. Let y(u) = 8*u**2 -