 Solve 5*j = h + 9, h - d*h - 4 = 4*j for j.
1
Let f = 41 + -24. Let m = -12 + f. Solve -3*k - 5 = 3*s + 4, -4*s + m*k = -15 for s.
0
Suppose -2*k = 2*k - 44. Let f be 4/(-22) + 35/k. Solve f*u = 3*d + 12, 4*d + 29 = -4*u - d for u.
-1
Let c be (4/(-8))/(-2 + (-45)/(-24)). Solve -c*v + 0*r - 4*r = 4, 2*v - r + 8 = 0 for v.
-3
Suppose 4*c - 26 = -2*d, 0*c = d + c - 8. Solve d*k = 5*h - 0*k, -3*h = -4*k - 11 for h.
-3
Let n(m) = m**2 + 8*m + 3. Let w be n(-8). Let l be 2/(8/w + -2). Solve l*k - 6 = -3*d, 4*d - 3 - 7 = -3*k for d.
4
Let n(z) = -2*z - 2 - 1 + 0. Let x be n(-3). Solve -x*q + 20 = -4*t - 4, 8 = 5*q + 4*t for q.
4
Let f(y) be the third derivative of -1/12*y**4 + 2*y**2 + 0 + 0*y - 3/2*y**3. Let u be f(-6). Solve k + v = 1 + 8, -32 = -u*k - 4*v for k.
4
Suppose 3*c = 4*v + 79, -3*c + 59 = -v + 2*v. Let f = 30 - c. Solve -4*w = -w + r + 4, 2*w = -3*r + f for w.
-3
Let u = -10 - -24. Let n = u + -10. Solve 5*h + 3*r = 5, -1 = -h - r - n*r for h.
1
Let a(m) = m**3 - 9*m**2 - 12*m + 10. Let j be a(10). Let d be (-2)/(-10) + (-58)/j. Solve 0*q = 4*q + 12, 3*x + q + d = 0 for x.
-1
Suppose 2*h - 4 - 10 = 0. Let n = 31 - h. Solve g - 6*g - 24 = -y, -4*g = -2*y + n for g.
-4
Let q be -4 - -1 - (-1 + -2). Suppose q = -3*g - 1 + 7. Solve -2*i = -2*b - 12, i + 0*b + 3 = -g*b for i.
3
Let a = -26 + 29. Let s be (-2 - -2)*a/(-6). Solve s*y - 6 = -2*y - u, 5*u + 10 = 0 for y.
4
Suppose y - 7 = -5. Solve 5*a + 21 = j, 5*j = y*j + 3 for a.
-4
Suppose 0 = 6*y - y. Let u = 2 - y. Solve -c + 15 = u*c - 3*m, 3*c = 5*m + 19 for c.
3
Let b = 16 + -11. Let o be 0/((-6)/(-3) - 0). Suppose -c + 3 + 1 = o. Solve c*w - 14 = -2*n, b*w = 3*n + 42 - 8 for n.
-3
Suppose -4*i = -2*i - 10. Suppose y = -a + 1, -y + 2*y - i*a - 13 = 0. Solve -u + o - 7 = 2*o, y*o + 12 = 0 for u.
-3
Let r(t) = t + 3. Suppose -n - 3 = -0. Let q be r(n). Solve 6*m - 4*j = 2*m, -5*m - 5*j - 30 = q for m.
-3
Let f be (-4)/6*3*-1. Solve o - f*h = -11, -4*o + h - 20 = -h for o.
-3
Suppose 2*i - 5 = -5*r + 6*r, 10 = -2*r - i. Let y be (r/2 - -2)*0. Solve u + y*s = -3*s + 10, -s + 8 = -2*u for u.
-2
Suppose -7*v - 4*v + 22 = 0. Solve v*m - 4 = y, -m - 2*m = 5*y - 19 for y.
2
Suppose 4*l = -2*n + 2, 0 = -2*l + 2 - 4. Solve n*w = 7*w - z - 5, 3 = z for w.
2
Let l = -38 - -29. Let t be (-4)/(-14) - (-103)/7. Let y = l + t. Solve 4*a = 3*n - 14, 3*a - 5*n - 1 = -y for a.
-5
Suppose -b = -15 + 1. Suppose 9*n + b = 4*u + 4*n, -n = 4*u - 2. Let w be u/(-4) + (-42)/(-8). Solve 4*x - 1 = -w*d, -d = 3*x + x + 3 for x.
-1
Suppose 9*w - 4*w = 0. Solve -1 = u + 2*s - w, -5*u - s = -22 for u.
5
Suppose 0*o + 4*o = 0. Let u be 2/(-8) + 10/8. Suppose -q + 17 = 2*n, 2*n - 4*q = 3 - u. Solve -5*p = -4*w - 9, 3*p - 2*w = -o*w + n for p.
5
Let s(n) = n**3 + 7*n**2 + 7*n + 6. Let z be s(-6). Solve -5*d - 2*h = 11 + 4, z = -3*d - 3*h - 9 for d.
-3
Let d be (3/6*0)/1. Suppose d = -4*h + 8, h = 2*g - h. Suppose -4*x - 4 = v, v - 6 = 5*x + 8. Solve -v*s = 5*w - 40, 0*s - g*s + 18 = 2*w for s.
5
Suppose -5*r + b + 16 = -b, -2*b = -r + 8. Suppose 0 = -0*f + r*f. Solve -3*p + 0*x - x - 7 = f, 4*x - 16 = -p for p.
-4
Let w = 2 + -10. Let p be (1/(-3))/(w/24). Solve 3 = -v + p, 2*v = -2*r - 10 for r.
-3
Suppose -3*h + 5*l + 0*l = -64, -h = l - 24. Solve -4*j + h = d, -29 = -0*d - 3*d - 4*j for d.
3
Let f = -80 - -90. Solve 2*k = -0*k + f, 2*q - 5*k = -35 for q.
-5
Let l = -24 + 34. Suppose 2*m + l = 58. Solve -4*q + m = -2*a, 3*a + a = 2*q - 24 for a.
-4
Suppose -5*w + 70 = -2*t, -3*w - 7*t + 68 = -3*t. Suppose -f + 3*f = w. Solve -5*k - 5*g + f = -2, 4*k + 5*g = 13 for k.
-3
Suppose 19*i + 2 = 2. Let q be 11 - 2*(-2)/(-2). Suppose 0*n = 3*n - q. Solve 4*m - 4*s - 9 = -m, i = -n*m - 4*s + 31 for m.
5
Suppose 3*x - x = 74. Suppose -3*r = -4*q - x, 4*q = 2*r - q - 34. Solve 5*c - 2 = -v + r, 3*v = 4*c + 8 for v.
4
Suppose h - 3 = -s - s, -4*h + 5 = s. Let n be ((-6)/8)/(s/4). Let f be 19/2 - n/6. Solve -2*q = -5*m + q + 25, 2*q = -f for m.
2
Let s = 21 + -16. Solve -u - 7 = r - 2*r, s*r - 10 = 0 for u.
-5
Suppose 3*t - 11 = l - 3*l, -5*t = 3*l - 19. Let z be l/8 + 18/8. Solve -a + 15 = -5*k, 7 = -a - 2*a + z*k for a.
-5
Suppose 2*c - 12 = -4. Suppose -c*o - 4*i = -2*i - 4, 3*o = -5*i + 10. Solve o = -l - 3*l + 4*t + 24, -3*l + 5*t = -26 for l.
2
Suppose 27 = l + 24. Solve 3*n + 5*u = -11, -6*n - 2*u = -l*n - 1 for n.
3
Suppose -7*s - 19 = 3*l - 2*s, 5*s + 29 = 2*l. Suppose 4*p + 3*q = 21, 0 = -2*p + q - l + 5. Solve 0 = -3*k - p*g, 3 = -k - k + g for k.
-1
Let w(x) = 3*x - 14. Let t(v) = v**2 + 2*v + 3. Let o be t(-3). Let a be w(o). Solve -3*m = a*k + 7, -m - 2*k + 0 = 1 for m.
-5
Let u(a) = 5*a + 1. Let z be u(2). Solve -1 + 0 = -2*l - 3*g, 5*l + z = -3*g for l.
-4
Let l(r) = -2*r**3 + 12*r**2 + r - 2. Let m be l(6). Suppose 3*a - 8 = 10. Let v = a + -1. Solve -1 = m*o - w - 2, -w = v for o.
-1
Let z be (-2)/6 + 20/6. Suppose z*q = q + 6. Suppose -q*l + l - 3*r = -6, -2 = -r. Solve 12 = 2*o + 3*k, l = 2*o + 2*o + 2*k - 8 for o.
0
Suppose -32 = -4*i + 2*j, -4*j = 2*i - 5*i + 34. Solve -4 = -c - 2*t, 0 = -0*c + c + 3*t - i for c.
0
Let i be 5 - -2*((0 - 3) + 2). Solve 11 = t + i*a, -3*t - 37 = -4*a - a for t.
-4
Suppose 0*l = -3*l + 27. Let p = 6 - l. Let t be ((-42)/9)/(2/p). Solve -4*s + 18 = -t*s + 4*i, -5*s - 2*i - 4 = 0 for s.
-2
Let w be (-3)/(-5) - (-21)/15. Solve 3*k + 11 = -4*m, 0 = -w*k + m + 2*m + 21 for k.
3
Let w(t) = -11*t**2 - 1. Let g be w(-1). Let v be (-4)/g + (-10)/(-6). Suppose -5*c + 0*a = -5*a - 55, v*c + 5*a = -13. Solve 4 = 4*s, 0*o - c = o - 2*s for o.
-4
Let v(u) = 5 - 2*u + 0 - 4*u**3 - 4 + u**2. Let y be v(1). Let l be (y/6)/(2/(-12)). Solve 2*n + l*b = 9 + 5, -1 = -n + b for n.
3
Suppose -56 + 164 = 12*u. Solve u = -3*k + 5*a, 2*k - 3*k - 3 = 2*a for k.
-3
Let k(m) = m**2 + 2*m - 5. Let d be k(-5). Let g(c) = 6*c + 89. Let a be g(-14). Solve 18 = 3*t - 3*l - 6, -5*l - d = a*t for t.
3
Suppose -2*v = 2*c - 8, -4*v = -3*c - 2 - 0. Let k(x) = 2*x + 12. Let o be k(-5). Solve 4*z - 3*i = c, i - 7 = 5*z + o*i for z.
-1
Let i(j) = -j**2 - 5*j + 2. Let z be i(-4). Suppose -24 = -5*y + 26. Let s be (7 - 3)*y/8. Solve 0 = 2*p - s*p - 5*h - 9, 2*p = 3*h - z for p.
-3
Let k(f) = -f**2 + 8*f - 10. Let o be k(7). Let r(t) = -3*t + 4. Let c be r(o). Let j = c - 9. Solve -3*b = 4*q - j*b + 7, 3*b - 6 = -3*q for q.
-1
Let t(l) = l**2 - 9*l + 13. Let b be t(8). Solve x + 0*x + 10 = -b*p, -4*x = p + 21 for x.
-5
Let l(i) = i**2. Let n be l(-2). Solve 2 = w - 4*p, 0 = 2*w - 0*p - 5*p - n for w.
2
Let i = 1 + 55. Suppose 3*a + 3 = 4*a. Solve -5*l = a*w + 21 - i, 13 = 2*l + w for l.
4
Let r = 11 - 3. Suppose -9 = r*w - 41. Let h(y) = 2*y**2 + y + 1. Let o be h(-1). Solve o*s - 6*s = 4*i + w, 0 = s + 2*i - 2 for s.
-4
Suppose -o - 4*k = -4*o + 19, 2*k + 27 = 5*o. Suppose -47 = -2*j + 13. Let g = -19 + j. Solve -o*x + 2 = p - 5, x = -5*p + g for p.
2
Suppose -5*s + 5*j + 30 = 0, 0 = 5*s - 4*j - 36 + 6. Solve 0 = 5*a - 2*a + 2*u + 6, 3*a - 4*u + s = 0 for a.
-2
Let i(h) = 4*h - 14. Let j be i(4). Solve -2*a = -2*v - v - 8, 4*v + 10 = j*a for a.
1
Let m(x) = -x**3 + 5*x**2 - 3*x + 1. Let y = -1 - -5. Let h be m(y). Suppose -j = h*i + 15, 9 = -3*i - 0*i. Solve 2*q + j*d + 10 = -3*d, d + 8 = -3*q for q.
-2
Let w(c) = -2*c**3 + 2*c**2 + 3*c + 1. Let h be w(-1). Solve -7 + 3 = -m + 2*v, -8 = h*m + 4*v for m.
0
Let s(c) = -c**3 - 5*c**2 + 4. Let u be s(-5). Suppose j + 10 = u*v, -v - v = -4*j + 2. Let d = -13 - -17. Solve 3*b = -5*g - 6, d + j = g - 3*b for g.
0
Let z be 20/(10/1) - (0 - 0). Solve -3*f - 4 = -2*f + v, 0 = z*f + 4*v + 12 for f.
-2
Let w be (-1)/(-4) + 44/16. Let i be (4/1 - w)/1. Let b = -10 + 18. Solve -3*g + 5*u = b, -u = i - 5 for g.
4
Let l be 2/(-7) + (-92)/(-28) + -1. Solve 2*f + 2 = i, -5*f - 3*i + l*i = 19 for f.
-3
Let c = -11 + 14. Let r(z) = z**3 - 3*z**2 + 2*z - 2. Let u be r(c). Solve 7 = -5*f + 2*q, -f - 3*q = -2*f - u for f.
-1
Suppose 10 = 5*a + 4*h + h, -3*a + 4*h - 29 = 0. Let y be (-45)/12 - a/(-12). Let w be y/10 + 85/25. Solve -2*z = 5*p, -6*z + w*z + 2*p = 19 for z.
-5
Let u(d) = 3*d - 6. Let l be u(5). Suppose 0 = -4*g + s - 5, -10 = 4*g + s - 3*s. Let m be (1 - -2 - g)*1. Solve 0*b - m*b - 3*w = -l, 4*b = -5*w + 10 for b.
5
Let f = -40 + 112. Let y be ((-2)/(-6))/(4/f). Solve -4*n - 