k - 10, w*h = r*h + k - 11 for h.
-3
Suppose -l + 0 = -11. Let z be 2 - l - (-2 + 1). Let s be (3 + z + -1)/(-2). Solve -s*a + v + 9 = -6*a, 4*v = -12 for a.
-2
Suppose -13*r - 6 = -14*r. Solve -2*n = 5*j - 17, -27 = -5*j - n - r for j.
5
Suppose 0 = 2*z - 5 - 75. Suppose 8*d - z = 3*d. Suppose 3*f - d - 7 = 0. Solve -r + 3*q - 2 = -0*r, 2*r = f*q - 4 for r.
-2
Suppose 4*c - 405 = -f, c + 502 = 6*c - 3*f. Suppose 2*b - 30 - 3 = 3*y, 4*b - c = -y. Solve -a = -3*w - 13, -a - b = 5*w - 5*a for w.
-4
Let b(o) = 2*o - 10. Let u be b(6). Suppose 0 = -2*x + y + 24, -4*y = -0*y - 8. Solve t - u*t + 2*n - 2 = 0, 4*t - x = n for t.
4
Let l = -14 + 19. Solve -2*b + 4*h = -b + 15, 5*h - l = 4*b for b.
5
Let u = 13 - 11. Solve 2*s + 3 = -q + 5, -u*q = 2*s - 2 for s.
1
Let o = -11 - -15. Suppose -o*y + 16 = -0*y. Solve m - 3 = y*x, 3*x - 3*m - 9 = -0*x for x.
-2
Let f be (1 + 9)*3/2. Let u = 0 - -5. Suppose 5*l = -25, -u*l - 25 = -2*m + 6*m. Solve m = 3*t - 3*w + f, -w + 5 = 2*t - 4*t for t.
0
Let m be (-65)/(-55) + (-2)/11. Suppose -5*x + 3*v + 9 = 0, -4*v + m - 8 = -5*x. Solve -3*r + 1 = -q, 4*q = -r + x*r + 16 for r.
2
Let w = 53 - 31. Solve 2*p - 3*v = -11, -5*p - w = -2*v - 0 for p.
-4
Let q(a) = -2*a. Let h be q(1). Let j(d) be the second derivative of -d**4/12 - d**3/3 + d. Let o be j(h). Solve 2*n - l - 6 = o, -n = n + 5*l - 30 for n.
5
Suppose 4 = k + a, 0*k + 3*k + a - 10 = 0. Solve -35 = -3*h - u - 3*u, k*u - 20 = -h for h.
5
Let w be 5/((-20)/12) + 7. Let s be (13 + -15)/(1/(-2)). Solve s*u + 9 = 6*u + 5*v, w*u - 5*v = 3 for u.
2
Let r(g) = g**3 - 17*g**2 + 15*g + 19. Let x be r(16). Solve 4*s + 14 = -2*v, 36 - 14 = x*s - 5*v for s.
-1
Suppose 0 = -0*a - 3*a + 15. Suppose -i + a*i = 8. Suppose -3*o - i*o = -15. Solve 0 = -5*c + 4*b + 4, 2*b - o = c + 1 for c.
4
Let h(i) = 8*i - i**3 + 6*i**2 + 0*i**3 + 4 - 8. Let g be h(7). Solve 2*v - 11 = c, -7*v = -g*v + 3*c - 17 for v.
5
Let g = 5 + -8. Let o be (-14)/g - 8/12. Suppose c - 3*a = 5*c - 35, -o*a = 4*c - 40. Solve -m + 2*m + 4 = 0, 0 = 2*v - c*m - 14 for v.
-3
Let g = 6 - 4. Suppose -162 = -4*x - 2*c, g*c + 2*c = -2*x + 96. Suppose 2*z + x = 4*l + 12, z = 4*l - 21. Solve w + 3*i = -l, 13 = -3*w - 4*i + 1 for w.
-4
Let d(i) = -i**3 - 5*i**2 + 7*i + 6. Let h be d(-6). Let o be 2 + -6*3 + -2. Let c = 28 + o. Solve h = 5*u - 4*z + 6*z + c, -z = 0 for u.
-2
Suppose 3*o - 2*o = 4. Suppose 0*q = q - 4*u - 17, -17 = -o*q - u. Suppose -5*a - 5 = 5*g, 4*a - 6*a = 4*g + 8. Solve a*z = -d - 11, q*d + 3 + 4 = 2*z for d.
-3
Let k(m) = m**2 - 16*m + 5. Let c be k(16). Let v = -1 + 3. Solve 3*y - 10 = -c*n, y + 6 = n + v*n for y.
0
Let n = -48 + 56. Solve -3*v - n = 5*d, -d - 4 = -v + 4*v for v.
-1
Suppose 4*z = -3*r - 7, -4*r + 5*z + 32 = -0*r. Solve -2*o - 15 = 3*a, -4*o + 3*a - r = -0*o for o.
-3
Suppose -2*a - 44 = -6*a. Let v = a + -7. Suppose -18 = -v*h + h. Solve y = -2*r - h + 17, 0 = 5*y - 2*r + 5 for y.
1
Let g = -8 + -7. Let n = 19 + g. Solve -n*x + 3*o - 22 = 0, -x + 5*o = 2*x + 22 for x.
-4
Let t(i) = 3*i - 8. Let l be t(4). Suppose -h - 5*v - 21 + 4 = 0, -h + 19 = -l*v. Solve 3*z + 5*k + 7 = 2*z, 4*z = 5*k - h for z.
-2
Let s = 1 - 1. Let f be ((-3)/(-9))/(3/9). Let p be (-4)/f*1/(-2). Solve 2*j = -2*h, -p*h + 2 = -s for j.
-1
Let i(h) = h**2 - 21*h - 15. Let f be i(22). Solve -2*p - 14 = 4*l, 3*l + 37 = 5*p + f for l.
-5
Let c = -58 + 63. Solve 4*l - 11 = c, -q - 4*l = -18 for q.
2
Suppose -3*p + 14 = -2*j, -3*p - 2*j + 8 = -26. Suppose 12 = 4*g - p. Solve w = g*i - 7 + 37, -2*w - 2*i = 0 for w.
5
Suppose 0 = -2*r - 3*r + 15. Let j be (r - -7) + 2/1. Suppose -6*t + 2*t = -j. Solve -2*k + 6 = -4*i, 0 = -2*k - 2*i - t - 3 for k.
-1
Let n be (-5*1)/((-2)/6). Let q(j) = -j**2 - 4*j + 3. Let d be q(-4). Let r be 50/n*d/2. Solve -i = -5*s + i + r, -2 = -2*s - 3*i for s.
1
Let g(f) = f**3 + 0*f**2 - f**2 - 6*f - 5 + 9. Let h be g(4). Solve -5*c + h = 5*o - 7, -3*c + 2*o = -1 for c.
3
Let c be -2 - (1 + -1 + -5). Solve 8*a = -3*j + c*a + 37, 3*j = -2*a + 22 for j.
4
Let m be ((-6)/15)/(2/(-10)). Suppose s - 10 = -5*u, -u = -m*s + u + 8. Solve s*l - 8 = -y - 0*y, 0 = y - l + 4 for y.
-2
Let s = -32 - -49. Let z be s + (-2)/(4/6). Solve -3*c = -4*v + z, v + 2*c - c = 0 for v.
2
Let m(q) = -2*q**3 - q**2 + 1. Let u be m(-1). Suppose 0 = -0*c - 2*c. Solve 3*v + u*o = 12, 0 = 5*v + o - 13 - c for v.
2
Let r(l) = l**3 + 1 - 2*l + 0*l**3 + 3*l. Let z be r(2). Suppose -p - 9 = 2*p - 3*o, z = 3*p + o. Solve 5*x = -y + 7, 3*x + y - 5 = -p for x.
2
Let m = 7 + -3. Solve -3*h = m*s + 20 - 5, -3*s + 3*h = 6 for s.
-3
Let h(s) = 6*s + 40. Let l be h(-6). Solve -4 = -4*v - l*o, 0 = -2*o - 0*o - 6 for v.
4
Let n = -22 - -26. Solve 0 = -3*w + 2*r + 7, -2*r + 1 = w + n for w.
1
Suppose -56*a = -67*a + 44. Solve 1 = l, -a*u + 3*u - 4*l + 3 = 0 for u.
-1
Let y be -9 + 7 + 6/2. Solve y - 3 = r - 3*d, -r - 5*d - 2 = 0 for r.
-2
Let t = -56 + 62. Solve 0 = 2*j - t*j - 5*l + 35, 2*l - 31 = -5*j for j.
5
Let w be (1 - 3)/(-4 - -3). Solve -2*y - 2 = j + w, -3*y - 2*j - 7 = 0 for y.
-1
Let s be 12/((-3)/6*3). Let b = s + 16. Let l = 1 - -2. Solve l*n + o + 5 = 0, 0*n = -3*n + 2*o - b for n.
-2
Let y(v) = -v + 13. Let x be y(9). Suppose -x*f - 42 = -5*r, -2*r + 10 - 1 = f. Solve r = 2*q - 4*g - 20, 3*g = -12 for q.
5
Suppose -3*b + 0*b = 0. Let c be (-1 - (-6)/4)*b. Suppose 5*w - 19 - 16 = 0. Solve -4*z + w = n, -z + c*z + 5*n = 14 for z.
1
Let i(m) be the third derivative of -m**4/24 + m**3/6 - 4*m**2. Let d be i(-1). Solve -y - y + d*t = 0, 2*y = 4*t + 2 for y.
-1
Let b(y) = y**3 + 14*y**2 + 15*y + 10. Let n be b(-13). Let x = n + 19. Solve 3*q = 3, 2*g = -x*q - 2 + 1 for g.
-2
Let l = -5 + 8. Suppose -45 = -l*j - 0*j. Solve 2*f - j + 1 = 2*c, f + 11 = -5*c for f.
4
Let n be -1 - -5 - 10/(-5). Let p = n + -3. Solve 3*w + d + 1 = 0, -p*w - 2*d - 2 = -0*w for w.
0
Let j = 13 + -6. Solve 2*z = -h + j*z + 25, 3*h + 5 = -z for h.
0
Suppose 0 = -4*v + r - 4*r - 7, -5*v + 15 = -r. Solve 12 = -v*j - j, -2*x = -2*j - 4 for x.
-2
Let f(u) = u - 15. Let c be f(17). Solve -c*i = i - 9, 0 = z + 5*i - 14 for z.
-1
Let v = -23 + 23. Solve 2*f + 4*h - 10 = 0, v*h + 5*h = 2*f - 10 for f.
5
Let i(o) = o**2 - o - 10. Let u be i(4). Solve r + u*b - 3 = 0, -r + 3*b - 9 = -b for r.
-1
Let g(h) = 5*h - 53. Let c be g(11). Solve 2*d - 2*k = 6, d + 4*d - c*k - 18 = 0 for d.
4
Suppose -3*h + 0*h - 4*l = -16, 0 = 2*h - l + 4. Solve 3*v - 4*n + 9 - 2 = h, 5 = 5*n for v.
-1
Let o = 2 + -1. Let f be ((-3)/(-6))/(o/10). Let w(n) = n + 5. Let m be w(0). Solve -2*x = z - 1 - m, 0 = -5*x - f*z + 10 for x.
4
Suppose g - 3*w + 2 = 0, 30 = 5*g - w + 6*w. Solve -g*k - k + 19 = 3*v, 2*k - 12 = v for k.
5
Let k be (-1)/(3/9) - -6. Suppose -5*w = 4*m + 195, 5*m + w = 28 - 256. Let j be (4/6)/((-6)/m). Solve -j*t + y = -16, -t - 15 = -4*y - k for t.
4
Let h(i) = -i**3 + 2*i**2 + 10*i - 6. Let d be h(4). Solve -3*s = 3*z + 15, 3*z = z + d*s - 10 for z.
-5
Let i = -64 + 67. Solve -2*o = 3*y - o + 8, 5*y + i*o = -8 for y.
-4
Suppose -3*c + 4*r = -17, 4*c = -5*r + 80 - 16. Solve -o = -4*h + c, 5*h = 5*o - 0*h + 10 for o.
1
Suppose -4*i = -7 - 5. Suppose -4*m + j = -9, m + 7 = 4*m - j. Let t(o) = 6*o + 1. Let y be t(1). Solve 0 = -y*s + 3*s + i*x - 9, -m*x = s - 6 for s.
0
Let q be (-1 + (-2)/(-4))*-16. Let b = q + -3. Solve i = -4*s + 17, -5*s = 3*i + b - 28 for i.
1
Suppose -20 = -4*i + 40. Suppose 5*z = s + i, 2*s + s + 17 = z. Solve 0 = 3*k + 4*v - 24, z*v - 26 = -3*k - 2*k for k.
4
Let d(p) = -3*p - 1. Let y be d(-6). Suppose -4*j - 4*q + 60 = 0, 5*q + y = 3*j + q. Solve 3*u = 3*g - 9, 5*g = u + 3*u + j for u.
-4
Let r = 1 - -3. Let z be ((-10)/(-4))/(6/12). Suppose z*g - 20 = -0. Solve g*v + 4*w + 8 = 36, r*v - 2*w - 4 = 0 for v.
3
Let d = 11 - -13. Suppose 3*g = -g + d. Let m = 6 - 4. Solve -4*s - 6 = m*f, 0*f + g = -3*s - 2*f for s.
0
Let o be 1/4 - (-57)/12. Let h = 40 - 29. Let b = 28 - h. Solve 3*u = 5*r + b, o*r = -u - u + 3 for r.
-1
Let b be 14 + -1 - 5/5. Solve 2*h = -4*f + 12, f - b = 2*h + 2*h for h.
-2
Let s = 13 - 7. Solve 3*b = s*p - 2*p - 31, 0 = -4*b - 20 for p.
4
Suppose -4*a = y + 2, -2*a - 6 = y - 4. Let g be 2 - (0/(-3) + a). Solve -3*c - 2*c = -5*v - 35, -4*v + g*c = 24 for v.
-5
Suppose 5*v = 2*g - 10, 0*g = g + 3*v + 6. Let i be 4/(-8)*(-9 -