 - 5 = -0*c - 5*h for c.
0
Suppose -25 + 7 = -3*u. Let r be (-12)/(-20) + u/15. Suppose -25 = 5*g, 4*p = 4*g + 49 + 3. Solve 4*v - 15 = r, -4*x - 5*v + p = 0 for x.
-3
Suppose 0*j = 2*j + 4. Let t be j + 5 - 4 - -3. Solve 4*a + 3*c = 21, 4*c - 14 = -t*a + 4 for a.
3
Suppose -18 + 6 = -3*c. Solve c*y + 5*n = 29, -2*y - 8 = -4*n + 10 for y.
1
Let m = 20 - 23. Let l be (-18)/27*m/2. Solve -27 = -5*k + y, -y - 1 = l for k.
5
Let s(x) be the second derivative of -x**3/6 + 15*x**2/2 + 7*x. Let z be s(12). Solve 5*b = 4*l + 15, -2*b - 6*l + z*l - 17 = 0 for b.
-1
Let c = 14 + -12. Suppose -5*b + 36 = 4*y, y - c*b + 0*b + 4 = 0. Solve y = -4*a - 4*q, 2*a - 15 + 5 = -5*q for a.
-5
Let r be (30/4)/((-3)/(-6)). Let l(x) = -x**2 - 4*x - 1. Let z be l(-3). Suppose -o = -z*o + 5. Solve 3*k + 4*w - r = 16, -o*k = -5*w - 5 for k.
5
Suppose 0 = -4*j - 18 - 2, -16 = -3*w + 2*j. Solve w*s + 2*q + 4 = 0, -s = -2*q + 6*q + 8 for s.
0
Let d = -23 - -26. Solve 5*q + 35 = -3*c, -c - 2*q - d = -2*c for c.
-5
Suppose 2*u - 5 = -1. Suppose -3*l - 4*m = -30, 3*l - u*m = 3*m + 3. Suppose l*x - 10 = x. Solve -x*n + 24 = 2*k + 6, n - 4 = 0 for k.
5
Let b be (-50)/(-6) + (-10)/30. Let y = 11 + b. Solve 4*v + h - y = -2, -15 = -3*h for v.
3
Let g = -37 - -42. Solve -g*s = -3*o - 29, o - s = 3*s - 19 for o.
-3
Let j(o) = 4*o - 6. Let k be j(3). Solve 0 = 4*b - 5*i - 11, 4*i = -2*b + 6*i + k for b.
4
Let r be (2/6)/((-2)/(-18)). Suppose -15 = -r*t - 0*t. Solve 0*v + v = -3*x + t, v = 4*x - 9 for v.
-1
Let i(s) = -2*s - 26. Let c be i(-13). Solve c = -4*o - 2*z + 10 + 12, -2*z - 3 = -o for o.
5
Suppose -2*j = -3*b, -7*j + 2 = -5*b - 3*j. Solve -5*x + i = -9 - 4, -b*i = -4*x + 8 for x.
3
Let v(c) = -2*c**2 - c - 4*c**3 - c**2 + 3*c**3 - 1. Let n be v(-3). Solve 2*m = -4*r + n*r + 6, 3*r - m - 9 = 0 for r.
3
Let q(b) = b**2 + 7*b + 13. Let o be q(-6). Suppose 3*p - o*p = -20. Solve 0 = -4*f - 4, -f + 2*f - 4 = p*k for k.
-1
Let p = -8 + 34. Solve p = -3*c - 2*c - 2*n, 5*n + 7 = 2*c for c.
-4
Let f = -4 - -6. Suppose -f*k = -5*m + 37, 3*k - 26 = -2*m + k. Suppose w - 30 = -m. Solve -2*r - 3*t + w = 0, 3*r + 4*t - 38 = -9 for r.
3
Let y = 6 - -2. Let p be -3 + 2 + y + 1. Solve -3*q + 5 + 1 = -5*r, -4*q = 4*r - p for q.
2
Suppose 0 = 7*t - 9*t. Suppose -4*h + 23 + 1 = t. Solve 4*i - r = h, 3*i - 1 = -2*r - 2 for i.
1
Let w = 16 + -14. Let q(r) = 3*r + 1. Let b be q(2). Solve 5*x - 31 = -w*a, -a + x + b = 3*a for a.
3
Suppose s + 3*a + 3 = 0, 6*s - 2*a = 4*s + 2. Solve 4*w = -q + 3*w, 4*w - 8 = s for q.
-2
Let p(z) be the third derivative of -7*z**4/24 - 4*z**3/3 - 9*z**2. Let u be p(-5). Solve -w + 3*m = 13, 4*w - 5*m = -4 - u for w.
-4
Suppose -4 = h - z + 6, 0 = -h - z - 2. Let t(p) = -p - 5. Let x be t(h). Suppose 0 = -2*l - x + 7. Solve y + 26 - 2 = -5*w, l*y = 4*w + 4 for y.
-4
Let t(w) = w**2 - 4*w - 12. Let a be t(6). Solve -u + a*u = 2*n + 5, -3*u = 3*n + 12 for u.
-3
Let w = -7 + 12. Suppose -3*y - 15 = -u, -2*y + 15 = w*u + 3*y. Solve -20 = 2*v - 4*i - 4, -5*i + u = v for v.
-4
Let z be (-119)/(-14)*(3 + -1). Suppose z - 5 = 3*c. Solve -y = -2*v - 3, 0 = 5*v - c*y + 4 + 2 for v.
-2
Let u(h) = -h + 6. Let j(n) = 2*n - 11. Let i(p) = 2*j(p) + 5*u(p). Let w be i(5). Solve w*y = 2*y - 2*r - 2, -3*y + 10 = -2*r for y.
2
Suppose -3*j + 13 + 2 = 0. Let q(m) = 3 + 2*m - 2 + 0*m + 2*m**2. Let h be q(-2). Solve 3*k = j*z - z - 7, -4*k - 9 = -h*z for k.
-1
Let f = 4 + -1. Suppose f*g + 10 = 2*j + g, -3 = j - 3*g. Solve b + j = 2*u, u + 2*u - 11 = b for b.
-5
Suppose 2*l + 4*y + 14 = 3*l, 3*y + 15 = 3*l. Suppose -5*w + 1 - 6 = 0. Let g be 5 + (0 + w)*1. Solve -x - 2 = 0, -q - l*x - g = q for q.
0
Suppose 5*w = 3*w. Suppose w = i - 9 - 9. Solve -3*c - 4*x + 7*x = i, 3*c - 5*x = -22 for c.
-4
Let x = 51 + -48. Solve 0 = -f + 5*y + 3, -3*y + 9 = 2*f + x for f.
3
Let m(s) = s**3 - 5*s**2 - 4*s - 7. Let d be m(6). Suppose 6*p - 3*p = -3. Let n = 1 + p. Solve 5*h + d*b = 5, 3*h + n*b - 3*b = -9 for h.
-1
Let u(f) = f - 1. Let k be u(0). Let j be (-1 + 20)*(0 - k). Suppose 47 = 3*y - j. Solve -4*a = 5*d - y, -4*d - 1 = -2*a - a for d.
2
Let k(u) = -4*u**2 - 2*u - 4. Let s be k(-2). Let q = 0 - s. Solve -y = 4*w - q, -3*w - 5*y + 19 = 7 for w.
4
Let j(z) = z**2 - z. Let q be j(-4). Let c = -15 + q. Solve 3*d + 0*w = -c*w + 24, 2*d = 2*w for d.
3
Let m be -3 + 2/(6/15). Solve m*h = -3*x - 14, -2*h = -3*x - 3*h - 10 for x.
-2
Let u(w) = -w**3 + 3*w**2 + w - 3. Let d be u(3). Let s = 1 + d. Let x = s - -1. Solve q - 2 = 0, 3*q - 6 = -a - x*a for a.
0
Let a(b) = -b**3 + 5*b**2 + 5. Let u be a(5). Suppose y + y + 5 = -3*v, 0 = y - u*v - 17. Solve 2*p + y*z - 8 = 0, 0 = -3*p + 2*p + 4*z - 16 for p.
0
Suppose -s - s + 4 = 0. Let n be (1 + -3)/((-1)/2). Let v = n - s. Solve -2*g = -0*l + 4*l, l = v*g - 5 for l.
-1
Suppose 0 = -6*d + 4*d + 22. Solve -d = m - 2*s - 1, 3*m = -3*s - 3 for m.
-4
Suppose 0 = -8*h - 12*h + 60. Solve 20 = -4*p + h*m, -5*p + 3*m - 6*m + 2 = 0 for p.
-2
Let o = -15 - -7. Let g = -14 - o. Let n be (g/4)/((-12)/16). Solve 4 = n*h - 0*l - 4*l, 0 = -3*l - 9 for h.
-4
Let g = 1 + 3. Let s(b) = b**3 - 3*b**2 - 2*b - 2. Let f be s(g). Let x = 1 + 29. Solve -o - 5 - f = 3*m, 0 = 2*m - 5*o + x for m.
-5
Let b be (-9 + 1 - -2)/(-2). Let z be 6/(-4) + (-5)/10. Let o be (-8)/(-6)*(5 + z). Solve -o*r = -h + 1, 0*h + b*r = h for h.
-3
Suppose -6*j - 9 + 33 = 0. Solve -4*k + 0*f + j*f - 24 = 0, 10 = -5*k + f for k.
-1
Let r be 3*1 - (-13 + 14). Solve -4*q - 3*d + 12 = d, -2*q - d + r = 0 for q.
-1
Suppose 0 = -0*t - t - 3*k - 2, 2*t = -2*k. Solve -4*u - 26 = -3*b, u = -b - 4 + t for b.
2
Let f(r) = 2*r + 4. Let n be f(-5). Let u = 15 + n. Let o = -16 - -35. Solve 3*g + o - 4 = 0, -5*g = 4*q + u for q.
4
Suppose -40 = 2*m - 6*m. Let q = -5 + m. Solve f + 2*f = 2*w + 2, q*w - 25 = 0 for f.
4
Let y = 10 - 15. Let l = y + 7. Suppose 2*h - h = -4*m + 15, -2*m - 6 = -4*h. Solve -3*s + 23 = -l*t, -3*t + h*s = 2*s + 17 for t.
-4
Let f(j) = j**3 + 2*j + 4. Let v be f(0). Suppose -3*y = -2*y - v. Solve 3*a - y*x = -17, -3*a = -0*x - 2*x + 7 for a.
1
Suppose 0 = 4*v - 2*a - 108, 0*a - 42 = -2*v - 2*a. Solve v = 5*y, -2 = -l - y - 0*y for l.
-3
Suppose 3*v - v + 2*z - 6 = 0, 2*v + 4*z = 8. Solve 4*a - 2 = 3*d, -a = -2*d + a - v for d.
-2
Let m be -1*2/4*-2. Let r be (1 - (0 - 28)) + m. Solve 3*i + r = 3*n, 0*i - 20 = i - 3*n for i.
-5
Suppose -2*l + 65 = 3*l. Let d = -6 + l. Solve 3*f = -2*q + d, -q + 4*f = 3*q + 36 for q.
-4
Let y be 84/45 - 4/(-30). Solve 2*o - 4 = i, 2*i + 0*o = y*o for i.
4
Let n = -201 + 289. Suppose 0 = -7*k - 4 + n. Solve 3*q = -3*y + k, -3*q - 2*y = -3*y for q.
1
Let x be (-28)/(-378) - (-133)/27. Let z(q) = -q**3 + 3*q + 1. Let s be z(-2). Let i = 1 + s. Solve 0*o + 4*n = x*o - 17, -n = -o + i for o.
1
Let n(p) be the first derivative of p**4/4 + 5*p**3/3 - 4*p**2 + 4*p - 1. Let k be n(-6). Solve 0 = c + 4*c + 4*s - k, s = -4*c + 15 for c.
4
Let z(i) = -i**2 + 6*i - 6. Suppose g - 7 + 2 = 0. Let a be z(g). Let k = a - -4. Solve -2*o - 2*d = 8, 0*o - o = k*d + 2 for o.
-5
Let r be (4 + -1)/1 + (36 - 26). Solve -2*i - 8 = -0*k + 3*k, -3*i - r = 5*k for i.
-1
Suppose 18 = 8*w - 6*w. Solve -3*p - 4*z + z = w, -7 = 2*p + 3*z for p.
-2
Let u(d) = -d**2 - 7*d - 6. Let t be u(-6). Solve -m - 2 = -3*j - 0*m, t = 2*j - m for j.
2
Suppose 2*l - 8 = -0. Let i(q) = 5*q - 6. Let k be i(l). Suppose -3*z - 12 = -3*s, -5*s - 5*z + 5 = -15. Solve -3*b = p + k, 0*p + 4*p + s*b = -32 for p.
-5
Let a(s) = s**3 - 7*s**2 + 7*s. Let y be a(6). Let l = y + -2. Solve q + 3 = -x, 4*x - l*q + 2*q = -24 for x.
-5
Suppose 4*q - 10 = -2*p, -3*p = -4*p + q + 11. Suppose 2*y - p = -y. Solve y*k - 3*g - 2 = 1, 0 = -5*k + 2*g + 14 for k.
4
Let g be 4 - (0 + 0/2). Let d(v) = 2*v - 4 + 3*v + 0*v + 2 - v**2. Let p be d(4). Solve 3*l + 3 + 0 = -p*y, 3*y + 5 = -g*l for l.
1
Let w be 4/6*(-6)/(-2). Let s(f) = f**3 - 3*f**2 + 3*f - 2. Let z be s(w). Solve z = 5*r - h + 1, 0 = -r + 4*h - 5*h + 1 for r.
0
Suppose -3*a = -3*b - 18, -2*b = -b - 5*a + 14. Let o = 9 + b. Solve -m - 10 = -o*n + m, m + 5 = -2*n for n.
0
Suppose 2*p = -0*p + 4. Suppose 2 = -m + 4. Solve -p*v = 6, -g = -m*v - 8 - 1 for g.
3
Suppose 0 = 3*u - 0*u + 15. Let p = u - -9. Suppose 4*g + 3*y = 32 + 2, -p*y = -3*g + 38. Solve 2*c = -8, -l + 3*c = -0