5*h - 2 = -2*p - 0*p for p.
-4
Let y = 3 + -1. Let m(c) = c + 4. Let q = 8 - 10. Let r be m(q). Solve w + y = -w + h, -r*w - 3*h + 14 = 0 for w.
1
Let f = 19 + -39. Let w be 17/4 + 5/f. Suppose -10 + 2 = -w*m. Solve -m*h + h + 1 = 5*s, -12 = 3*h for s.
1
Let y(p) = 2*p**2 - 2*p - 8. Let i be y(4). Solve -2*q + i = -2*z, -2*z + z + 1 = 2*q for z.
-5
Suppose -2*m + 6 = -0. Suppose 0 = -b - r - 0*r - 4, -5*r = -5*b + 20. Solve 0 = -s - 2*g + 4 + 7, -m*g + 12 = b for s.
3
Suppose -2*m + 18 = m + 3*d, 3*d + 30 = 3*m. Suppose 0 = -9*y + 5*y + m. Solve -y*j + 7 = -3*u - 0, -u = -5*j - 15 for j.
-4
Suppose -g + u = 6 - 1, 0 = -5*g - 4*u - 25. Let s be 2/(-4) + g/(-2). Solve 0 = -s*v, -3*n - 4*v + 3 = 15 for n.
-4
Suppose p - 9 - 22 = 0. Let b be -3 + (0 - -8) + -1. Solve -5*h + b*q - p = 2*q, -11 = 4*h + 3*q for h.
-5
Suppose 0 = -q - 5*t + 8, -2*t + 26 = -5*q + 93. Let s = -11 + q. Let m be (2/4)/((-1)/(-4)). Solve -m*i + 2*d + 12 = 0, s*i - d = -1 + 10 for i.
3
Let g be 3/6*1*-8. Let z = -4 - g. Suppose z = 4*c + 5*n - 39, -4*c + 0*n = -n - 21. Solve -4 = -a, 3*a = -2*j + c*a - 8 for j.
2
Let s(f) = -4*f**2 + f**3 - 2*f**2 - 2*f - 2*f**3. Let b be s(-6). Solve 3*y - 4*c = 17, 0 = -2*y + 2*c - 4*c - b for y.
-1
Suppose 2*r = 4*c - 38, -2 = -2*c + 5*r + 5. Let d = c + -8. Solve -7*v + 2*v = 25, 2*s + d = -v for s.
1
Suppose 0 = -4*d + d + 3*k + 3, d = -5*k + 1. Let f = d - -1. Solve -2*a = f*h + 6, -a - 1 = 1 for h.
-1
Let g = -35 + 38. Solve 17 = 5*l + g*n, -l - n = 3*n for l.
4
Suppose 0 = 2*h - 4 + 22. Let w = h - -14. Solve 5 = 5*v + w*c, 0 = 4*v - 0*c - 4*c + 4 for v.
0
Let x = 5 - 2. Let w be (1/x)/((-1)/(-6)). Solve -w*h = -2, 2*h = -3*o - 0*o + 2 for o.
0
Suppose -12 = 3*u, -3*u + 23 = 4*x - 65. Let p be 27/5 - (-8)/(-20). Suppose 0 = 3*k + 2*a - p, k = 6*k - 5*a - x. Solve 4 = -2*v, -v = -k*g + 16 - 2 for g.
4
Let u = -6 + 8. Let b be u + 3/(2 + 1). Let a be 10*2 + -4 + 4. Solve 2*w = d - 3, b*w + d - 8 = -a for w.
-3
Suppose 7*z - 8 = 13. Solve 2*i + 28 = -3*q - 2*i, -z*i = 5*q + 32 for q.
-4
Let w(f) = -f**3 - f**2 + 3*f - 4. Let t be ((-4)/(-6))/(14/(-63)). Let z be w(t). Solve 4*n = -z*s + n - 13, -3*s = 5*n + 11 for s.
-2
Let d(z) = -z**3 - 10*z**2 + 11*z + 3. Let v be d(-11). Solve 12 = x - 2*x - v*w, -4*x = -w - 4 for x.
0
Suppose -11*c + 48 = c. Let r = 3 - 6. Let z = r - -8. Solve z*t + 3 + 0 = -2*v, 0 = c*t - 4 for v.
-4
Let u(t) = t + 3. Let i be u(8). Suppose i - 26 = -3*o - 3*y, -4*o - 3*y + 19 = 0. Solve -5*c + 0*l = -o*l + 16, -5*c - 21 = l for c.
-4
Let w(h) = -h**2 + 10*h - 16. Let o be w(7). Solve 8 = -v + 2*n, 2*v - 3*n + o = 4*v for v.
-2
Let d(v) = 2*v - 2. Let r be d(3). Solve r*w + 18 = -0*n + 2*n, 5*w + 20 = 0 for n.
1
Suppose 0 = 2*o - o - 10. Let i be 11/5 + (-2)/o. Suppose m + 3 = i*m. Solve -m*d - 4*u + 7 = 0, d + 3*u = 4*d - 21 for d.
5
Let d = -29 - -34. Solve d*k = -4*p - 6, k - 2 = 2*p - 6 for k.
-2
Let h(y) = -y**2 - 10*y + 3. Let w be h(-9). Let j = w - 10. Solve 4*q + s - 5 = 2*s, 4*q - 6 = j*s for q.
1
Let j(s) = -s**3 + 10*s**2 + 10*s + 11. Let g be j(11). Solve -5*v = -3*z + 10, g*v - 5*v - 50 = 5*z for v.
-5
Suppose -46 = 4*d + 3*k, -14 = d + d - 3*k. Let w = -6 - d. Solve w = -4*c + z, -c - 6*z + 12 = -3*z for c.
0
Suppose 14 = -0*u + 4*u + 2*w, 0 = 5*u + 4*w - 13. Solve -4*l - 15 = -u*n, 5*n + 20 = -0*n - 3*l for n.
-1
Let x(c) = -c**2 + 7*c - 1. Let n be x(6). Solve 5*l + m - 14 = 0, 0 = -3*l - 3*m - m + n for l.
3
Let t be 57/11 - 20/110. Solve -v - u = 4*v - 16, 0 = -v + t*u + 24 for v.
4
Suppose 0 = -4*m - 3*d + 5, d = 5*m - 0*m - 30. Solve 4*l - 20 = -2*t, -2*l + 2*t - 15 = -m*l for l.
5
Suppose 3*a - 2*j = 94, 5*a - 4*a - 4*j - 38 = 0. Suppose -4*s + a = s. Solve 3*x - 2 = -h, 5*x = 4*x - 3*h + s for x.
0
Let j = -4 - -15. Suppose -15 = j*l - 14*l. Suppose 2*p - p = 20. Solve -l*m - 5 = p, 3*q + 5*m = -31 for q.
-2
Suppose 0 = n - 2. Suppose -f - n = -6. Solve h - f = 4*h - c, 4*h - 3*c + 7 = 0 for h.
-1
Let g = -6 + 6. Let b = 33 - 6. Solve 5*y = -2*i - b, 3*y + g*y - i = -14 for y.
-5
Suppose 4*m + 3*w = -8, m + 29 = -4*m + w. Let s be (2 + m/2)*-20. Let i = s + 9. Solve -3*g = -5*u + 14, 5*g + 2*u - 6 = -i for g.
-3
Let o(g) = g + 4. Let j be o(-2). Let q = 8 - 5. Solve 4*a + 8 = -4*w, j*w - q*a = -22 + 8 for w.
-4
Let l = -14 + 17. Solve 0 = -l*r + u - 9, -5*u + 23 = -r - 3*r for r.
-2
Suppose -4 = 2*h - 3*h - o, 3*o = h. Solve -4*n = -x - h, 1 = x - 0 for n.
1
Suppose -f = -4*z + 20, 7 = 5*z - 18. Solve 0 = u - f*l - 4*l - 7, -l = 4*u + 6 for u.
-1
Let o = 83 + -81. Solve 2*i - o = 2*d, -d + 7*i - 3*i - 4 = 0 for d.
0
Suppose -5*b + 12 = h, 5*h - 2 = 3*b + 58. Let w(x) = x**2 + 5*x + 3. Let o be w(-3). Let t = 1 - o. Solve 3*j = 4*d - h, -t*d = -0*j - 5*j - 12 for j.
0
Let i = 4 + 0. Solve 0*z + z = -c - 8, -i*z + 8 = -4*c for c.
-5
Suppose -d = -4, w - 4*d = 3*w - 18. Solve g = 4*p - 14 + w, 4*g - 16 = -p for p.
4
Let c = -18 - -10. Let d = 8 + c. Solve h = -d*h - 4, 5*h + 28 = -4*m for m.
-2
Let a(c) = -4*c**2 + c + 8. Let y(m) = -5*m**2 + m + 9. Let b(t) = 4*a(t) - 3*y(t). Let s be b(0). Solve s*d + 5 = r, 2*d - 7*r + 20 = -3*r for d.
0
Suppose 4*a + 12 = 3*k, -7*a - 12 = -3*a. Suppose -3*m = -4*m + 3*p - 12, 5*m - 5*p + 20 = k. Solve 4*l - 3*o = -7, -2*l + 5*o - 19 - 2 = m for l.
2
Let h(u) be the second derivative of u**4/12 - u**3/2 + u**2 - u. Let z be h(2). Solve z*q - q - 6 = 2*d, -5*d = 10 for q.
-2
Let s = -1 + 5. Solve -s*z = -3*i - 7*z, -2*z = 3*i - 5 for i.
5
Let t = 2 + 1. Solve t*a + 4*v = 2, 4*v = -5*a - 0*v + 6 for a.
2
Suppose 0 = f + 4*y - 0*y + 11, -11 = 5*f - 2*y. Let m be 2 - 3 - (0 + f). Let d = 7 - 5. Solve -2 = -b + 2, 14 = d*j + m*b for j.
3
Let y = -18 - -20. Solve -4*h - 4*p = 16, 3*h + y*h = -3*p - 20 for h.
-4
Suppose -h = 4*h. Let q(c) = 4 + 2*c**3 - 1 - c**2 - c**3 - c. Let o be q(0). Solve -2*z = -o*n + 23, -z + h*n = -2*n + 14 for z.
-4
Suppose 0 = -3*f + 3*y + 21, -2*f + 5*y - 3 = -14. Let n(u) = u - 1. Let w be n(f). Let q be 2/((21/30)/w). Solve -1 = -5*o + 4*g, 4*o + q = -g - g for o.
-3
Let i(y) = -y**2 - 6*y - 3. Let o be i(-5). Suppose o*x + 1 = 5. Solve 3*d = 4*k + 14, -2*d + 0*k + x = k for d.
2
Let b be (1 - (-5 + 3)) + 6/(-2). Let j = 36 + -21. Let h = 11 + -6. Solve 5*d + j = h*t - b*d, t - 2*d - 2 = 0 for t.
4
Let h be 3 - (-3)/9*0. Suppose -2*d = -3*d + h. Suppose -d*m = -46 - 2. Solve 7*f - w = 3*f + 4, 2*w - m = -4*f for f.
2
Let p(n) = 2*n**3 - 20*n**2 + 2*n - 7. Let f be p(10). Solve -19 = 5*v + 2*k - 6, 0 = -4*v + k - f for v.
-3
Let g = -87 + 94. Let a = 1 + 5. Suppose 0 + 1 = -d - 3*x, -3*x - a = 0. Solve 4*l - g = -4*b + 9, d*l - 4 = -b for b.
4
Let v be 130/8 + 2/(-8). Suppose -4 = z + 2*x, -4*z + x + v = -4. Solve 17 = z*s - 2*s + 5*d, -3*d = -5*s - 35 for s.
-4
Let c be (-5)/((-15)/(-9)) - -6. Let h be (1/c)/(1/66). Solve 3*x - 4*q + h = 3, -4*x - 3*q = -8 for x.
-1
Suppose 2*q - 12 = 6*q, -q + 1 = -2*j. Let u = 3 + j. Let l be 4/u*1 - 1. Solve 2*i = -4*b - 8, -l*i + 2 = -b + 7 for b.
-1
Suppose 4*s = 3*s + 12. Let o = s - 8. Solve -7 = -b + 2*h, b - 2*h - 19 = -o*b for b.
3
Let g be (5 - 1)/(7 - 6). Suppose g*t = 8 + 4. Solve -i + t*i - 20 = 4*w, -4*w = 5*i + 20 for w.
-5
Let q = 93 + -69. Solve 12 = 3*a, -v - v = 4*a - q for v.
4
Let f(g) = g**2 - 3*g - 3. Let r be f(4). Suppose -19*i - 8 = -2*w - 20*i, 5*w - 23 = -4*i. Solve 3*h - 2 - r = -w*k, h + 7 = k for h.
-3
Let b be (-3 + -2 + -3)*1. Let r = b + 10. Solve -y + r*w + 5 + 0 = 0, 5*w = -3*y + 4 for y.
3
Let t = -12 + 18. Let n be (3 - t)*1/(-1). Solve -n*f = -5*o + 11, -o - 1 = -2*o + f for o.
4
Let u = -2 + 5. Suppose -p + u + 0 = 0. Solve -4*q = 5*b + 6, 5*b - p = -2*q - 1 for b.
2
Let t be (-54)/(-4) - (-9)/18. Suppose 2*z + 5*q = 4*z - t, -z + 4*q = -10. Solve -2*i + 35 = -4*w + 3*i, 4 = -2*w - z*i for w.
-5
Suppose -3*b - 40 = -8*b. Solve 3*l + a - b = 5*l, 3*l = -a - 12 for l.
-4
Let d = 7 + -4. Let g(l) = -l - 4*l**3 + 0*l**2 - d*l**2 + 3*l**3 + 1 + 0*l**2. Let n be g(-3). Solve 24 = 3*i + n*f, -4*i + 20 + 5 = 3*f for i.
4
Let d be 1*-3 - -1 - -5. Let q(b) = -b**3 + 13*b**2 - 13*b + 14. Let j be q(12). Solve -p - 29 = -z - 4*z, 0 = -d*p + j*z - 22 for p.
-4
Let k = -1 + 8. Let n(r) be the first derivative of -r**2 - r + 1. Let d be n(-3). Solve d*v - 13 = 2*v - 2*