 -11. Let h = n + m. Solve -19 = 5*s - h for s.
-3
Let l be 25/(-10)*(-6)/5. Suppose -2 = l*z - 11. Solve -z*x + 0 = 6 for x.
-2
Let d(s) be the third derivative of 0 + 0*s - 5/3*s**3 - 3*s**2 + 1/12*s**4. Let n be d(7). Solve n*i = -i - 15 for i.
-3
Let h be 16/2 + (1 - -2). Suppose -6*y + h = -19. Solve c = y*c for c.
0
Let t(g) = g + 16. Let d be t(-13). Solve 5*x - d*x = 0 for x.
0
Suppose 3*v = 5*v. Solve v = 6*x - 2*x + 8 for x.
-2
Let d(o) = -o**3 - o**2 + 12. Let f be d(0). Suppose i - 2*i - f = 0. Let v be i/78 + 2/13. Solve v = -k - 4 for k.
-4
Let l(k) = k**3 + 3*k**2 - 12*k - 8. Let a be l(-5). Solve -s + a = -3 for s.
5
Suppose -4*j = 5*n - 3*j, -n - 5*j - 24 = 0. Solve -3 = -p - n for p.
2
Let o(l) = l - 10. Let k be o(0). Let y be 8/(-20) - 64/k. Solve 3*u + y = -6 for u.
-4
Let v = 7 + -5. Let z = 4 - v. Solve -2*w - z + 0 = 0 for w.
-1
Suppose 0 = 7*w - 3 - 18. Solve 2*b = -w*b + 15 for b.
3
Let j(w) = -2*w - 2. Let f be j(2). Let g = 9 + f. Suppose 4*l = g*l. Solve -i - 2*i = l for i.
0
Suppose 0 = 10*n - 29 - 51. Let m be (5 + 1)*1*1. Let q = n - m. Solve 0*y - 2*y = -q for y.
1
Suppose 0 = 3*b - 5*b + 4, -3*h + 13 = 2*b. Let i = -2 - -2. Let x = i - 0. Solve 3 + x = h*u for u.
1
Suppose -5*a + 2*p + 8 = 6*p, 2*p + 2 = -a. Let n = a - -2. Solve 0 = 2*k + k + n for k.
-2
Let u be 12/30 + (-2)/5. Solve u*z = 4*z + 20 for z.
-5
Suppose 5*l - j - 8 = -3*j, 4*l - j - 9 = 0. Suppose -5*s = f - 20, 3*s = -l*f - f + 24. Let k be (f - 1)*1*1. Solve 3*q + k = q for q.
-2
Let k be 10/6 + 3/9. Suppose -4*m = 2*a - 28, 4*a = 6*m - k*m - 4. Solve -2*z - 2 - a = 0 for z.
-3
Suppose 40*b - 8 = 36*b. Solve b*c - 2 = 4 for c.
3
Let k(t) = -t**3 - 4*t**2 - 6*t - 8. Let v be k(-3). Solve -v + 5 = d for d.
4
Suppose -2*t + 2 = -4*k, k - 6*t + 2 = -4*t. Solve x + 1 = -k*x for x.
-1
Let f = 2 - 2. Let s = f + 1. Let k = -5 + 8. Solve -2*r = -k*r - s for r.
-1
Suppose 5*b - 3*l + 8 = 0, 2*b + b = -l - 2. Suppose -3*x + 2 + 10 = 0. Let n = b + x. Solve -n*g - g = -20 for g.
5
Let g = -7 - 2. Let y = -5 - g. Solve -k = k - y for k.
2
Let y = 69 + -65. Solve 10 = y*p + p for p.
2
Let z(r) = -r**2 + 2*r + 3. Let w be z(3). Solve w*c + 5*c = -10 for c.
-2
Let d = -37 + 55. Suppose -7*c = -5*c - d. Solve -3*l + c = -0*l for l.
3
Suppose 4*p - 3*i = 7, i = -1 + 4. Solve p*m - 2*m - 10 = 0 for m.
5
Suppose -5 = 3*d - 8*d. Solve 2*r = d + 3 for r.
2
Let q = -12 + 8. Let l = 7 + -8. Let u = l - q. Solve 4*r + 5 + u = 0 for r.
-2
Let z(l) = -l - 5. Let o be z(-6). Suppose -14 = -2*y + y + 3*r, -1 = r. Let v = y + -6. Solve v - o = -2*s for s.
-2
Suppose 6*i - i - 3*q - 12 = 0, i - q = 4. Solve i = -5*k + k for k.
0
Suppose -2 = d - 0*d. Let v be (d/(-3))/(6/45). Suppose 3 + 0 = 3*t, -5*p + v*t + 30 = 0. Solve -5 = 4*c + p for c.
-3
Suppose 2*z + z = -4*m + 47, -3*z + 42 = 3*m. Solve 29 - z = -5*r for r.
-4
Let l be -4*30/(-9)*(-6)/(-16). Solve 0 = l*s - 24 + 9 for s.
3
Suppose t - 5 = -3. Suppose -7*q - 10 = -t*q. Let r be (-3)/(-2)*(-20)/q. Solve 2*u = -3*u + r for u.
3
Let t(j) = j**2 + 2*j - 1. Let x be -2*2/(-4) - 4. Let m be t(x). Solve g - m*g + 1 = 0 for g.
1
Let r be 21/6*(0 + -2). Let j be -1 + (-1 - (-4)/2). Let k be j - r/(21/18). Solve -2*u = k - 2 for u.
-2
Let h(n) = -n. Let d be h(0). Suppose -l = -d*l. Solve -5*s = -l*s - 25 for s.
5
Let t(c) = c**3 + 8*c**2 + c + 8. Let l be t(-8). Solve l*w - w = -5 for w.
5
Let i be ((-41)/(-7) - 3) + 2/14. Suppose -2*w = -3*w. Suppose 3*m + 1 - 4 = w. Solve -m = -i*o - 7 for o.
-2
Suppose -5*p + 12 + 13 = 0, -5*m = 2*p - 10. Solve m = 6*h - h for h.
0
Let g be 3 + 2/(-2)*3. Solve g*q = -2*q + 8 for q.
4
Let n(s) = 2*s + 17. Let w be n(-7). Solve g = -w*g for g.
0
Suppose -5*a = -4*f - 7, 2*f + 22 = -5*a - 19. Let d = -5 - f. Solve -d*x = x for x.
0
Suppose 0 = 4*m - 2*j - 18, 3*m + 0*j - 26 = -j. Suppose -5*b + 4*y + 4 = 0, -31 = -4*b - 2*y - m. Suppose -b*l + 0 = -4. Solve -l = -x - 2 for x.
-1
Let q(s) = 17*s + 24. Let k(h) = 6*h + 8. Let v(r) = -11*k(r) + 4*q(r). Let o be v(-4). Suppose n - 15 = -3*f + 4*n, 14 = 2*f - n. Solve -5*j - 1 - f = o for j.
-2
Let p(a) = a**3 - a**2 - 5*a + 6. Let u(d) = -2*d**3 + 2*d**2 + 9*d - 11. Let h(q) = -5*p(q) - 3*u(q). Let c be h(2). Solve -c*r - 12 = r for r.
-3
Let r be (1 + -2)*4 - -7. Solve -r = 5*f + 2 for f.
-1
Suppose q + 8 = 3*q. Suppose -4*r + 7 = 23, -20 = 4*f + 5*r. Solve w + w - q = f for w.
2
Let b be 16/9 + (-10)/(-45). Suppose b*h = -h. Solve -4*z - 2 - 6 = h for z.
-2
Suppose 3*o + 5 = f + 20, 0 = 3*f - 3*o + 15. Solve -3*t + 9 = -f for t.
3
Let v(p) = p**3 - 5*p**2 - 5*p - 3. Let d be 5/20 + (-23)/(-4). Let b be v(d). Solve 11 = -b*u - 4 for u.
-5
Let w be (4/(-3))/((-1)/9). Let c be w/42 + (-276)/(-14). Solve -4*f - f - c = 0 for f.
-4
Suppose i - y - y + 5 = 0, 5*i - y = 20. Solve 3*v - 2 = -i for v.
-1
Suppose -15 = 3*r - 3*p - 273, -4*r + 349 = -5*p. Let d be r/6 - 3/2. Solve 2*k = -2*k + d for k.
3
Let x be (4 - 0)/(-4) - 2. Let n be 1 - (x/1)/3. Solve -3 = n*y + 5 for y.
-4
Let n(k) = -k**3 + 6*k**2 - k + 8. Let y be n(6). Suppose s - y*v = 4, -2*v + 3 - 9 = -2*s. Let q(c) = c**2 - 2. Let p be q(s). Solve p*x = x for x.
0
Suppose 3 = 4*o - 5*o. Let x(i) = -i**3 - 4*i**2 - 3*i. Let g be x(o). Solve g = -2*w - 3*w + 15 for w.
3
Let m(j) = j**2 + 3*j + 1. Let g be m(-4). Solve -s + 8 = -g*s for s.
-2
Let h be -32*(-3)/6 + -1. Solve -r = 2*r + h for r.
-5
Let g be 48/(-10) + (-6)/30. Let b be 16/g*(-5)/1. Suppose 0 = 3*m - m - b. Solve 2 + m = 2*w for w.
5
Let j = -27 + 40. Solve 0 = 4*s - 7 - j for s.
5
Let p = 4 + -1. Let k = p + -3. Suppose -2*h + 5 = 4*x + 23, h + 5*x + 24 = k. Solve 5 = -u + h for u.
-4
Suppose -z = 3*y - 17, -y - 3 = -2*z - 2*z. Suppose 4 = -4*b + 4*n, 11 = 4*b + 5*n - 12. Let r be 0 + b + (2 - -8). Solve -r = y*c + 3 for c.
-3
Let x = -41 + 41. Solve x - 5 = 5*h for h.
-1
Let t = -7 - -12. Solve 0*p + t*p + 20 = 0 for p.
-4
Suppose 2*a = -1 + 11, 4*a = -4*w - 44. Let b be w/(-9) - (-6)/27. Suppose 0 = -4*y - p + 16, b*p = -5*y + 3*p + 11. Solve -5*i + 2 = -y*i for i.
1
Suppose u = 5*p, 0 = 4*p - p - 2*u. Let b(j) = -2*j - 5. Let x be b(-4). Solve p*y = -x*y for y.
0
Suppose 6 = -10*f + 36. Suppose 4*v - 2 = 5*j, -3*j - 3*v + 9 = -6. Solve f = j*c - c for c.
3
Let c(k) = -4*k + 5. Let i be c(5). Let r be 25/i*-1*3. Suppose 0 = t - 4*m - 12, -5*m + 22 = r*t - 6*m. Solve t = -w - 0*w for w.
-4
Let z be (1 + 1)*3/2. Let a = 4 + -8. Let m = a - -12. Solve -z*b = -b + m for b.
-4
Let z = 0 + 2. Let v be (-19)/(-3) - z/(-3). Solve v*d = 2*d + 15 for d.
3
Suppose 0 = -10*n + 83 - 3. Solve 3*o = n*o for o.
0
Let o be (-1 - -2)*0/(-2). Let i = 10 + o. Solve -2*l - i = -7*l for l.
2
Suppose 0 = -3*y - 1 - 8. Let r(l) = -l - 3. Let s be r(y). Suppose k + 0*k = s. Solve -2 = -k*j + j for j.
-2
Let s = 14 + -3. Let k be (2 + 0)/((-2)/(-3)). Suppose -5*a = 2*t + 4 - 18, 5*t - k*a - 4 = 0. Solve t*z = 3 - s for z.
-4
Let b = 0 + 7. Suppose 3*a = 0, -4*a + b*a = -5*q - 10. Let l be 2 - (0/3 + q). Solve -15 = l*u + u for u.
-3
Let j be ((-6)/10)/((-1)/10). Let i = j - 2. Solve -10 + i = 3*m for m.
-2
Suppose -4*x = 4*v - 11 - 17, 3*x + 4*v - 26 = 0. Suppose 0 = -2*g - 0 + 4. Suppose 0 = -0*k - g*k + 4. Solve 4*n - x*n = k for n.
1
Let w(x) = -x**3 + 3*x**2 - 2*x + 2. Let m be w(3). Let l = -4 - m. Let g = l + 3. Solve -2*b = g*b for b.
0
Let f(b) = -b**3 + 8*b**2 - 5*b - 14. Let l be f(7). Solve -2 = 2*p - l*p for p.
-1
Let z be 1/(8/(-7) + 1). Let u(f) = f**2 + 7*f + 3. Let w be u(z). Solve -20 = -w*h - h for h.
5
Let o = 0 + 4. Let n be 8/12*30/o. Solve 17 - n = -3*s for s.
-4
Let j be (1 - 2)*(-2 - 0). Solve -4 = -j*x - 2*x for x.
1
Suppose 12 = 3*h + 4*f + 74, 2*h + 5*f + 53 = 0. Let l be (-4)/h - (-40)/7. Let u = -2 + l. Solve -d = u*d for d.
0
Suppose 5*r + 5 = -5*s, 2*s + r - 1 = 2*r. Solve c + 4 = -s for c.
-4
Suppose 3*z + 2*d + 17 = 4*d, -4*z + 4*d - 16 = 0. Let i be 0*(2 + z/6). Solve -3*l = -i*l for l.
0
Let k(f) = f**2 - 3*f + 2. Let l be k(3). Solve l - 8 = 2*p for p.
-3
Let p = -71 + 74. Solve -p*u = -6*u for u.
0
Let b = 40 - 36. Solve -r - 10 = b*r for r.
-2
Let w(l) = 3*l**2 - 7*l + 4. Let c be w(3). Suppose 8*z - c = 6*z. Solve -z*k + 1 = -4*k for k.
1
Let v be 12/5*20/6. Let x = -7 + v. Solve 3*k = -14 - x for k.
-5
Le