 15. Let r = 0 - -1. Solve -z*k - o = r for k.
-4
Let h(d) be the first derivative of -d**4/4 - 4*d**3/3 + 3*d**2 + 7*d + 2. Let j be h(-5). Suppose j*w - 22 = 2. Solve 2*c = w - 2 for c.
5
Let c be (-2)/(-10) - (-9)/5. Suppose 5*q - 12 = -4*p, 3*p + c*p - 15 = -3*q. Solve -7 = p*r - 22 for r.
5
Let r = -20 + 28. Let k = 12 - r. Solve -i - k*i = 0 for i.
0
Let q = -36 + 38. Solve -15 = -q*n - n for n.
5
Suppose -3*z + z + 10 = 5*u, 2 = u. Suppose 2*f - 5*f = -p + 1, 2 = p - 2*f. Let m = p - 4. Solve -x + m*x - 2 = z for x.
-2
Let s(g) = g**2 - 1. Let u be s(2). Suppose 48 = 3*b - 2*k, 5*k = 3*b + b - 64. Solve b = a + u*a for a.
4
Suppose 0 = 2*h - 6*h. Suppose u + 3 - 7 = 0. Solve h*a + a = -u for a.
-4
Suppose -15 = -2*b - b. Suppose -8*s + 4*s = -192. Suppose -b*x + s = -x. Solve x = g + 3*g for g.
3
Suppose 3 = -n - 2. Let w be (2/n)/(4/(-180)). Suppose -11 = 2*k - 2*r + 5*r, w = -k - 4*r. Solve k + 8 = -2*l for l.
-5
Let q(x) = x - 6. Let j be q(8). Suppose -y + 3 = 2, 2*y = -j*c + 16. Let z be (0/(-1))/(c - 5). Solve 5*m = -z*m - 25 for m.
-5
Let w = 179 + -176. Solve -2*n - 1 + w = 0 for n.
1
Let g = 8 + -5. Suppose 0 = 4*w - 4 - 16. Suppose 0 = u - w. Solve g*i - u = -2 for i.
1
Suppose -12*s = -13*s - 22. Let v = 37 + s. Solve -m - 2*m = -v for m.
5
Suppose -10 = -5*b - 65. Let x = -8 - b. Solve n = x*n for n.
0
Let b(l) = -l**3 + 4*l**2 + l. Let v be b(4). Suppose v*x = 3*x. Solve 4*m - 5*m = x for m.
0
Suppose -3*l - 2*l + 20 = 0. Let w be ((-2)/l)/(6/(-60)). Solve -3*z + 8*z = -w for z.
-1
Let l = 7 - 4. Let v = -6 + 18. Suppose 0 = -0*f + f + l*d + v, -4*d = f + 17. Solve -b = -f*b + 8 for b.
4
Suppose -2*x = 47 - 77. Solve x = -5*q - 0*q for q.
-3
Let y be 4*5 + -3 - 1. Suppose -m - y = -5*m. Solve 11 + m = 5*k for k.
3
Let a(w) = -16*w + 81. Let p be a(5). Solve p - 5 = -2*r for r.
2
Let g(s) = -s**2 - 8*s + 9. Let u be g(-9). Solve 2*y + 0*y = u for y.
0
Let v(o) = 2*o + 12. Let x be v(-3). Solve -x*p + 4 = -7*p for p.
-4
Let l(i) = -i**3 - 5*i**2 - 2*i - 8. Let k be l(-5). Solve 6*c - k = 5*c for c.
2
Suppose -13*h + 4 = -9*h. Solve 3 = -2*z - h for z.
-2
Let c(s) = -s**2 + 9. Let n(f) = -f**2 - f + 8. Let x(p) = 3*c(p) - 4*n(p). Let q be x(-5). Solve -a - a - 8 = q for a.
-4
Suppose p + 1 - 11 = 0. Let x(c) = c**3 + 6*c**2 - c. Let f be x(-6). Let l be 2 + (f/(-2) - -4). Solve -22 = -l*h - p for h.
4
Suppose 2 - 4 = i, 0 = -5*g + i + 7. Let a be (-1 + g)/(2 + -5). Solve -4 = -4*c - a for c.
1
Let n = 5 + -5. Let b(r) = -r**2 + r. Let i be b(n). Solve i = 2*t + 4 + 4 for t.
-4
Let q(o) = o + 9. Let b be q(-4). Suppose m = 3*z + 2, -2*m - 2*m - b*z + 8 = 0. Let j = 10 - 6. Solve j*r = m*r for r.
0
Let v be (7 + -1)/((-6)/(-4)). Let j = 0 + v. Suppose 5*c = 7*c - 18. Solve -a - c = -j*a for a.
3
Suppose 0 = -2*g - 0*g - 2*a - 4, 2*a = -4*g. Solve -g*z + 7*z = -20 for z.
-4
Suppose -8 = -2*y + 2*u + 2, -5*y - 3*u = -1. Solve b + 0*b = y for b.
2
Suppose -x = -3*x + 10. Let v be 1/2 - (-340)/8. Solve -x*o + 18 - v = 0 for o.
-5
Suppose 0 = f + 1 + 3. Let q = f - -4. Solve q = -c + 2 - 1 for c.
1
Let l be (-1 + (24 - -1))*(-4)/(-6). Solve 6*s = 2*s + l for s.
4
Let b(v) = -5*v + 27. Let p be b(5). Solve -p*s + 6 = s for s.
2
Suppose -4 = -3*x + 2. Solve -x*f = -4*f for f.
0
Suppose -4*n + t + 8 = 3*t, -8 = -2*n - 2*t. Solve n = -b - b for b.
0
Let t be (18/(-3) + 1)*-1. Suppose 7 = n - 0*n. Let l = n - -13. Solve -r + l = -t*r for r.
-5
Let n = 26 + -23. Solve n*j - 12 = -3 for j.
3
Let v(q) = -q**2 - 2*q. Let w be v(-2). Solve w = 5*z - 0*z - 20 for z.
4
Suppose 2*z - 10 = -2*p, -3*z = -4*p - 6 - 9. Solve -16 = z*u - u for u.
-4
Let y be 0/(-2*5/(-10)). Solve f + f - 8 = y for f.
4
Let b(j) = -j**2 - 9*j + 2. Let u be b(-9). Solve -6*o + u*o = 16 for o.
-4
Let h be -3 + (3 + 0)*1. Let l be (4/5)/((-2)/(-10)). Solve -2*n + h*n - l = 0 for n.
-2
Let z(m) = m**3 - 8*m**2 + 9. Let n be z(8). Solve 0 = -4*y - n - 11 for y.
-5
Let n(a) = -a**3 + 16*a**2 + 1. Let d be n(16). Solve 0 = -b - d - 1 for b.
-2
Suppose 5*t + 10 = 5*o - 10, o = -4*t - 6. Let l = 2 + t. Solve l*n - n = 4 for n.
-4
Suppose -2*c = c - 12. Solve -c*k - 20 = k for k.
-4
Let c = 19 - 4. Solve c = f - 4*f for f.
-5
Let f = 5 - 11. Let y = f + 9. Solve -6 = y*z - z for z.
-3
Suppose 2*p + 4*h - 13 = 11, 2*h = 4. Solve 0 = 2*v - p + 6 for v.
1
Let n(w) = w**3 - 3*w**2 + w + 1. Let a be n(3). Let l = 4 - a. Suppose 3*m - 3*g = 60, l*g + 15 = 3*g. Solve -m = -5*f - 0*f for f.
5
Let u be 39/3 + (-3 - -1). Let c(q) = q**2 + 1. Let j be c(0). Suppose 0*k + 2*k = 6. Solve -k*g + j = -u for g.
4
Suppose -2*f + 3*d + d + 8 = 0, 3*f = 2*d + 4. Solve f = -m - 4 for m.
-4
Let a(v) = -3*v - 2. Let w be a(-2). Suppose -d - 6 = -n - 1, -2*d + w*n = 20. Solve d = s + 2*s for s.
0
Suppose -s - s = -4. Let r be s/10 + 56/20. Solve -r*t = -10 - 2 for t.
4
Suppose 0 = 59*r - 64*r. Solve l + l = r for l.
0
Suppose -39*u = -40*u + 12. Solve 2*x - u = -x for x.
4
Let u be -2 + 2*(-4 + 6). Solve l - u*l = -1 for l.
1
Suppose -36*q = -38*q + 10. Solve q - 7 = -2*n for n.
1
Suppose -5*d + 8*d - 69 = 0. Suppose -6*y + y = m - d, -2*m + 4*y = 10. Let x = -1 + m. Solve 0 = 2*w - 4 - x for w.
3
Let c be (-52)/(-3 - -1 - 0). Let j = 44 - c. Solve 4*d = -j - 2 for d.
-5
Let b be (10/(-30))/(1/(-6)). Solve -b*y = -1 - 1 for y.
1
Let x(r) = 2*r**3 + r - 1. Let l be x(1). Solve -l*j + 4*j - 10 = 0 for j.
5
Let m be -2 + -2 - (1 + 0). Suppose 0 = -2*z + 12 + 2. Let j = z + m. Solve -j*r - 6 = -0 for r.
-3
Let j(x) = -2*x - 8. Let r be j(-6). Let m = 61 - 52. Suppose 0 = -m*t + r*t + 120. Solve 1 + t = 5*d for d.
5
Suppose 2*l = 3 + 7. Let d = 5 - 0. Solve -l*z + 0*z = d for z.
-1
Let r be (1 + 2 + -2)*5. Suppose 14 + 1 = r*d. Let v be ((-10)/d)/(2/(-3)). Solve 0 = -5*x + v for x.
1
Suppose -3*h + 4 = -2*n, -3*n + h - 12 = -2*h. Let x be (-5 - -8)*n/(-6). Solve x - 1 = -w for w.
-3
Suppose -24 = -0*m - 4*m. Let z be (0/2)/(m - 4). Let f = -1 - -4. Solve z = -0*k + f*k - 6 for k.
2
Suppose -4*t + 20 = -0*t. Suppose 3*j + 2 = 4*j, t*f - 28 = j. Solve 3*z + 0*z = f for z.
2
Suppose 0 = -t, -2*b = -3*b + 5*t + 18. Suppose -2*m + 8 = 5*i - b, 0 = m + 2*i - 12. Solve 3*j = 5*j + m for j.
-4
Let t(c) = c**3 - 12*c**2 + 11*c + 4. Let k be t(11). Solve k*w + 19 = 3 for w.
-4
Suppose -g + 2 = b + 4*g, 0 = 3*b + 2*g - 6. Let m = 19 - 11. Solve -b*y - m = -4*y for y.
4
Suppose 0*f = -2*f + 8. Let u = f - 2. Solve 17 = 5*a + u for a.
3
Let q(i) = i**3 - 23*i**2 + 22*i + 2. Let t be q(22). Solve -r - 4 = -t*r for r.
4
Suppose -57 = 7*f - 8*f. Suppose 0*p + 3*p - f = 0. Solve 4 - p = 3*c for c.
-5
Let y be 72/16*4/6. Solve -2*z + y = 9 for z.
-3
Suppose 2*b + 12 = 3*r, -2*b = 5*r - 15 - 5. Suppose 0 = -b*u + 2*u - 4. Suppose -t + 22 = 3*j, 3*t = 5*j - u*t - 30. Solve -1 = 2*v + j for v.
-4
Suppose -7 = -u - 5*p + 5, -3*p + 6 = 0. Solve 0 = -11*i + 9*i + u for i.
1
Suppose -2*n = -a + 25, -2*a - a = 3*n - 30. Solve -v = 4*v + a for v.
-3
Let c(h) = -h + 8. Let y be c(7). Let g be (-1)/((-1)/(6/y)). Solve 0*k + 3*k = -g for k.
-2
Let m(w) = w**3 + 5*w**2 - 6*w + 7. Let p be m(-6). Let o be 96/p + 10/35. Let v(h) = -h**2 + 5*h + 2. Let s be v(5). Solve s*x = -o + 4 for x.
-5
Suppose 0 = -3*c + 4*f + 7, -4*f = c - 0*f - 29. Let d(t) = 4*t - 3*t + t - 5. Let g be d(c). Solve 5*o + 3 = g for o.
2
Let j(z) = -5*z**2 + 0*z**3 - 2 + 7 + z - z**3. Let m be j(-5). Solve m*h - h = 2 for h.
-2
Let r = -1 - -5. Suppose 33 = -z + r*z. Suppose a = 3*o + z, -2*a - o = -4*a + 7. Solve -u = u + a for u.
-1
Let q = 27 - 24. Solve -c - q = -0 for c.
-3
Suppose -6*u + 3*u + 4 = -2*a, 0 = 3*a - 12. Suppose 4*v + 5 = 1. Let p = v + u. Solve 5 = -p*k + 17 for k.
4
Let o(n) = 2*n**2 + 6*n. Let c be o(-5). Solve -4*w = -8 + c for w.
-3
Let x = 5 - 3. Suppose -u - m + 0*m + 6 = 0, -x*u = -m. Suppose u = 2*p - p. Solve p*d - 4 + 12 = 0 for d.
-4
Suppose -5*w + a = -2*a - 14, 4*w + 3*a = 22. Let f = w - 1. Solve 0 = 3*y + f + 3 for y.
-2
Let q be (1/(-2) - -1) + 486/108. Let x be 0 - (-1 - -2) - 2. Let p = 5 + x. Solve q = p*v - 3*v for v.
-5
Let k = -39 - -41. Solve -1 = k*b - 3*b for b.
1
Let j be 26/(-3) - (-1)/(-3). Let l = -4 - j. Suppose -l*s - 4 = -34. Solve s*u = u - 10 for u.
-2
Let i be 3 - ((-4)/2)/((-8)/12). Solve -3 = -i*o + o for 