 = -4. Let n = -14 + k. Solve -n = 3*a + 9 for a.
-4
Suppose -2*p + 4*k + 16 = 0, -2*p + 3 - 1 = 3*k. Suppose 0 = -3*i - 3*y + 15, 0 = -8*i + p*i - 3*y + 15. Solve -5*s = 5 - i for s.
-1
Let n(i) = -i + 1. Let l be n(-2). Solve l*u - 2 = 5*u for u.
-1
Suppose 4*m - f = 4, 6*m = 2*m + 2*f. Solve -m*d = -3*d - 5 for d.
-5
Let i be ((-1)/(-3))/(6/(-54)). Let a(b) = -10*b - 3. Let q be a(i). Solve -q + 11 = 4*l for l.
-4
Suppose 63 = 5*u - 22. Suppose -i - 5*k + u = 0, -2*k + 7 = -4*i + 3*k. Solve i*v = 5*v - 12 for v.
4
Let b(a) = a - 2. Let n = 48 + -33. Let g be (16/10)/(6/n). Let i be b(g). Solve -2*d = 10 - i for d.
-4
Let v = 6 + -4. Let j be 1 - 0 - (v + -1). Suppose x + 3*p + 1 = 13, j = 4*x - p - 9. Solve -10 = -2*a - x*a for a.
2
Suppose -2*w + 4*t = t + 1, -4*w + 4 = -4*t. Solve w = y - 0*y for y.
4
Let q(d) = d**2 - 12*d - 5. Let s = 8 + -1. Let l(c) = 4*c**2 - 36*c - 14. Let t(h) = s*q(h) - 2*l(h). Let p be t(-11). Solve p*r + 3 = -9 for r.
-3
Suppose 5*v + p - 4*p - 20 = 0, -18 = -3*v + 3*p. Suppose -5*q - v = -6. Solve -x + q = -1 for x.
2
Let b(r) = -r**3 - 6*r**2 - r. Let u be b(-6). Solve 3*c = c + u for c.
3
Let i(f) be the first derivative of -f**4/4 + 2*f**3/3 + 2*f**2 - 1. Let z be i(3). Let c(y) = y + 13. Let v be c(-13). Solve -h + z*h - 4 = v for h.
2
Let w be (-6)/10*(-7 + 2). Solve 0 = 5*s - w*s for s.
0
Suppose 3*o - 4*p = 6, -4*o + 2*p + 0 + 8 = 0. Suppose 4*a = 2*w - 4*w + 40, -100 = -5*w - 3*a. Let d = w - 0. Solve -6*h + d = -o*h for h.
5
Let k be (-24)/(-56) - 3/7. Solve k = -u - u for u.
0
Let u(x) be the first derivative of x**4/4 + 2*x**3 - 3*x**2 + 7*x - 1. Let n be u(-7). Let i = 11 + -8. Solve i*a + 21 - 6 = n for a.
-5
Let k(x) = x + 2. Let j be k(1). Solve -5*g - 4 = -j*g for g.
-2
Let r be (-3 + 1)*9/(-6). Solve 0*d = -r*d + 12 for d.
4
Let d(a) = a**2 - 7*a + 3. Let k be d(8). Suppose -o + k = -4. Suppose -4*w + 9*w = -25, 2*y = w + o. Solve -3*m = 7 + y for m.
-4
Let u be 8/3*15/10. Solve 0 = u*h - 8*h for h.
0
Let u(o) = o**2 + 3*o - 1. Let i be u(-4). Suppose 5*t - 12 = -i*r + 78, 4*t - 50 = 2*r. Solve 0*v - 3*v - t = 0 for v.
-5
Let r = -6 - -7. Solve -r + 7 = 3*o for o.
2
Let m(v) = -v + 6. Let s be m(5). Let c be (2/1*-2)/1. Let l be -5 - c - 1/(-1). Solve l = -3*r + s - 16 for r.
-5
Let q(l) = l**2 - 6*l - 13. Let j be q(8). Solve -j - 22 = 5*r for r.
-5
Let k = 1 + 0. Let i(y) = -y + 2. Let d be i(2). Suppose -h + 0*h + 3 = d. Solve -h*r = -k - 5 for r.
2
Let u(l) = l**2 - 5*l + 4. Let i be u(5). Suppose 3 = -i*q + 19. Solve 0 = -0*b - q*b - 20 for b.
-5
Suppose 3*x + 13 = 5*j, 0 = -3*j - 2*x + 15 + 8. Solve -j*f = -0*f - 15 for f.
3
Let p = 6 - 5. Suppose p - 10 = -3*u. Solve u*d - 4*d - 3 = 0 for d.
-3
Let x be (-1)/6*-2*12. Let o = -1 - -6. Suppose 0 = -x*w + o*f + 25, -w + 6*f = 2*f - 20. Solve 2*n + w = 10 for n.
5
Let t = 6 - 2. Let d(a) = 2 + 3 + 5*a + 1 - a**2. Let z be d(6). Solve -t*u + 12 = -z*u for u.
3
Suppose -73 + 23 = 5*m. Let u be 3*(m/(-6))/1. Suppose 3*b - 15 = 4*k, -k + u = b - 5*k. Solve 1 = 2*z + b for z.
-2
Let m(q) = -2*q - 7. Let s be m(-6). Suppose 5*v - 2*c - 2 = 0, -2*v + 10 = -s*v + 4*c. Let x(o) = -2*o - 8. Let f be x(-4). Solve f = 3*g - g + v for g.
-1
Suppose -9 = 3*q - 30. Let c(v) = v**3 - 6*v**2 - 7*v. Let d be c(q). Suppose 0*k + 2*k = d. Solve -5*r + 5 + 5 = k for r.
2
Let z(f) be the third derivative of f**5/60 + 3*f**4/8 + 5*f**3/3 + 3*f**2. Let t be z(-8). Solve 0 = -t*q + 3*q + 5 for q.
-5
Suppose 0 = b + 4*w - 13, 4*b - 4*w + 9 = 1. Suppose 0 = -t - 3*p - p - b, -2*p = 2. Solve t*d = 4*d - 2 for d.
2
Let a = -76 - -32. Let p be (a/10)/((-2)/5). Solve 2*w + 1 = p for w.
5
Let f be 27/6*2/1. Let q = f + -5. Solve c = q*c for c.
0
Let d be 2/9 + 7/9. Let j be (-2 - -2) + 4/d. Solve j*h - 8 = 2*h for h.
4
Let s(w) = 2*w**2 + 2 - 2 - 2. Let o be s(2). Solve 3*a - o = -15 for a.
-3
Let d be (-9)/3*(-3)/3. Suppose 15 = d*o - 9. Solve q + 3*q + o = 0 for q.
-2
Suppose 0*j - 3*j = 5*a - 37, -16 = j - 4*a. Suppose j*r = -r. Solve r*y + y + 5 = 0 for y.
-5
Let o be (-10)/(-4 + 1 + 1). Solve n - o*n - 20 = 0 for n.
-5
Let z = 2 - 0. Solve -z = 5*s + 8 for s.
-2
Let d(h) = h**3 + 6*h**2 - 2. Let k be d(-6). Let c be 192/(-20) + k/5. Let o be (12/c)/(3/(-20)). Solve -3*l = -4 - o for l.
4
Suppose 10 = -7*j + 31. Solve j = -2*g - 7 for g.
-5
Let o be -34 + (2 + 1)/1. Let t = o + 43. Solve -v + t = 2*v for v.
4
Suppose 5*f - x - 146 = 0, -f + 2*f - 2*x = 31. Suppose 0 = -0*q - 3*q + 5*j + f, -3*j = q + 9. Solve -l + 20 = q*l for l.
5
Let y(z) = -4*z. Let w be y(-1). Solve -18 = -w*n - 2 for n.
4
Let b(a) = a**3 - 5*a**2 + 6*a - 5. Let z be b(4). Suppose z*d = -d - 16. Let p = d - -6. Solve -2*c + p = -0 for c.
1
Let x = -28 + 16. Let p be x/42 - 4/(-14). Suppose p*g - 2*g = 0. Solve -z + 2*z = g for z.
0
Let h(i) = 5*i - i**3 + 2*i**2 - 2 + i**2 + 0*i. Let b = 4 + -1. Let s be h(b). Solve s = -5*l - 12 for l.
-5
Let u be 5 - 0 - (0 - 1). Solve 3*q - 12 = u*q for q.
-4
Suppose 0 = -i + 2 + 3. Suppose -3*z + 31 = 5*q, z - q - 7 = -2*q. Let v be (z + 0)/2*i. Solve -4*y = -3 - v for y.
2
Let u = -8 + 12. Suppose 5*f - 3 = -u*s + 2, 7 = -s - 4*f. Solve c = 6*c - s for c.
1
Let c = -3 + 0. Let x = c - -4. Solve 3*o - x = -10 for o.
-3
Suppose -3*o + 0*o - 3*c + 30 = 0, -12 = -2*o + 2*c. Solve 3*u + o = -u for u.
-2
Suppose 8 = 4*j - 4. Let b = 4 + -2. Suppose -b*d = -d. Solve d - 12 = -j*w for w.
4
Suppose a = 4*j + 3*a + 14, -5*j = -3*a + 12. Let v(n) = n**3 + 4*n**2 + 4*n + 3. Let p be v(j). Solve p = -2*c - 0*c + 10 for c.
5
Suppose -6*k = -5*k - 2. Let p(x) = -x + 5. Let v be p(5). Let r = k - v. Solve r*l = -l - 3 for l.
-1
Let m = 19 + -4. Suppose -2*g + 4*n = 4, 2*g - 5*g = n - m. Solve -g*z - 5 - 15 = 0 for z.
-5
Let a = -8 - -17. Let p be (-8 + a)/((-1)/(-7)). Solve p*i = 2*i - 5 for i.
-1
Let k be 5/((-15)/4)*-3. Solve k*y + 4 - 16 = 0 for y.
3
Let s(b) = 12*b**3 + 2*b**2 - b. Let c be s(1). Let j = 8 - c. Let w(i) = i**2 + 6*i + 5. Let f be w(j). Solve 4*t - t + 15 = f for t.
-5
Let w(r) = -2*r - 1. Let a be w(-3). Suppose 0 = 5*x - 0 + 20, 3*o - 5*x - 29 = 0. Let f = a - o. Solve h + f*h = -9 for h.
-3
Let g(z) = z**2 - 19*z - 41. Let c be g(21). Let i be 4/10 + 13/5. Solve -c = y + i for y.
-4
Let u be -3*2/6*-4. Solve -x = x - u for x.
2
Let n(l) = 3*l + 17. Let j be n(-5). Solve y = -j*y for y.
0
Suppose -p = 0, 3*d + 2*p - 9 = 6*p. Suppose 4*y - 4 = 2*y, -4*y = -d*t + 1. Solve -2*k = t*k - 25 for k.
5
Let c be (2 + -1)/((-1)/(-2)). Let b(v) = -v**3 + 0*v + 0*v**3 + 7*v**c - 4 + v. Let l be b(7). Solve 10 = -l*p - 2*p for p.
-2
Suppose 2*k + 1 - 7 = 0. Let i(y) = 2*y + 1. Let d be i(6). Suppose -h - d = 5*m, m = -2*h - 3*h + 7. Solve o - k + h = 0 for o.
1
Suppose 2*l - 6 = -l. Suppose -l = -3*s + 4. Solve -3*d - s = -d for d.
-1
Let u = 5 - 1. Let o = u - -10. Suppose -5*l = -3*n - o, 6*l - 8 = 3*l + 2*n. Solve 0*w - 12 = -l*w for w.
3
Suppose -2*u - 21 = -9*u. Suppose -2*o - 7 + 1 = 0. Let q = o + 3. Solve q = -2*a + u*a for a.
0
Let v be ((-45)/(-10))/((-6)/8). Let l be 4/18 - v/(-27). Suppose -2*c + l*c - m - 3 = 0, -c - 15 = 5*m. Solve i - 3 = -c*i for i.
3
Let z = 10 + -6. Suppose -2*a + 3*a - 12 = -5*g, -z*a - 2*g + 12 = 0. Solve -2*b - 20 = a*b for b.
-5
Let a(c) = c + 32. Let x be a(-13). Solve -6 = -5*u + x for u.
5
Let o be (20/(-25))/(2/(-20)). Solve -y = -5*y - o for y.
-2
Let w(r) = -r**3 + 4*r**2 - r - 3. Let f be w(3). Suppose f*i - 26 = 16. Let l = -8 + i. Solve -20 = l*s - s for s.
-4
Suppose -2*o - 2*o = v + 1, 4*v = -3*o - 4. Let a(u) = -3*u. Let k be a(v). Solve -j = -2 - k for j.
5
Suppose f - 18 = 4*f. Let a be (-66)/f - (1 + 0). Solve 3*x + a = 5*x for x.
5
Let x = 3 + 0. Let v be (1 - -8 - -3) + -2. Suppose 2*y + 3*a - 15 = 0, 2*y + v = 5*y + 2*a. Solve y = -t + x*t - 10 for t.
5
Suppose -5*l + 13 = k, 4*k - 22 = -2*l - 3*l. Let n be (-14)/3 - (-4)/(-12). Let c = n - -8. Solve -c*w - l*w = -25 for w.
5
Let k be 3/(-4 + 3 - 0) + 11. Solve -3*f - f = -k for f.
2
Let q(o) = -2*o**2 - 12*o - 10. Let g be q(-5). Let c be (g + 2)*(-2 + 4). Solve 0 = -5*z - 24 + c for z.
-4
Let p = 41 - 25. Solve j - p = 5*j for j.
-4
Let v(i) = -i**3 + 4*i**2 - 3*i + 2. Let h be v(3). Suppose -5*x = -h*w + 4 + 10, -4*w = -5*x - 18. Solve b = w*b for b.
0
