4 = w*a for h.
1
Suppose 100 = 5*v - 2*n, 2*v - 6*v + 80 = n. Let g be ((-36)/(-24))/(6/v). Solve -3*f = g*x + 17, 4*x + 5*f = -18 - 6 for x.
-1
Suppose 0 = 10*m - 7*m - 3. Let u be m/((30/24)/5). Solve 3*b - u*j = -9, -b - 7 = -3*j + 1 for b.
1
Suppose b + 4 - 16 = -4*u, -4*u + b = -4. Suppose -o + 5*l + 31 = 0, 0 = 2*o + 2*o - u*l - 34. Solve -2*r + o = d, 2*r + d - 18 = -3*d for r.
1
Let j = 4 - 25. Let h be j/(-14) - (-1)/2. Solve -5*b - 10 = -d - 0*d, 11 = h*d - b for d.
5
Let v = 1605 - 1597. Solve 3*i = -q - 9, -v*q + 3*i - 9 = -3*q for q.
-3
Let o(m) = -75*m - 736. Let z be o(-10). Solve 0*i - 2*i + 4*j - z = 0, -4*i = -3*j + 3 for i.
3
Let h(z) = 12*z + 5. Let x be h(-2). Let u = -5 - x. Solve -d + 11 = -4*r, r + 3*r = -2*d - u for d.
-1
Let n(x) = -2*x + 10. Let v be n(15). Let b = v - -22. Solve b*t + o - 15 = 0, -o + 34 - 9 = 4*t for t.
5
Let j = -559 + 560. Let v = 6 - 4. Solve i = v*p + 5, -5*p - i = 24 - j for p.
-4
Suppose -21*z + 299 = -8*z. Solve -5*s = -2*f - z, 0 = -4*f - 3*s + 6*s - 11 for f.
1
Suppose 2*k - 2 = -2*z - z, 5*k - 2*z - 24 = 0. Suppose -4*g = -k*a - 3*g + 53, 4*a - 4*g - 68 = 0. Solve -2*l = -3*h - 12, 3*l + 3*h + a = -2*l for l.
0
Let x(m) = 2*m - 18. Let c be x(10). Suppose -9 = -o + 3*r, -3*r - 4 = -1. Suppose -7*p - o = -9*p. Solve -5*w + p*d + 1 = 13, c*d - 8 = 2*w for w.
0
Suppose 2*q + 2*m + 21 = 29, 0 = 3*m - 6. Let l(f) = f**3 + 3*f**2 + 4. Let o be l(-3). Suppose 2*v + o = 14. Solve 3*y - 4*h = h - v, q*h = -y + 2 for y.
0
Suppose l + 9 = 2*d, 5*d - 2*l - 24 = -l. Solve d*v - 2*m = -8, 0*m - 3*m - 1 = -v for v.
-2
Let u(f) = f**2 - 65*f + 1054. Let z be u(36). Solve 2*t - p = 4, -10 = -4*t - z*p + 13*p for t.
1
Suppose k = 4*y - 10, 5*y + 0*y = -2*k + 19. Solve -5*l - m + 3*m = -6, 5*l - 4 = y*m for l.
2
Let y = -44 + 46. Suppose -y*p + p - n + 7 = 0, -9 = -3*p + 3*n. Solve 2*b = -p*d - 13, -b - 2*d = -0*d + 5 for b.
1
Suppose -51*y + 47*y + 8 = 0. Suppose -2*u = -0*x - x, -u + y*x = 0. Solve -c + 5*c + 4*l + 12 = u, -23 = 5*c + l for c.
-5
Let r(d) = -d - 10. Let l be r(-15). Suppose 5*j = j + 3*s + l, 4*j = 5*s - 5. Let c be 75/20 + (-1)/(-4). Solve 2*t = 6*t + 3*x - c, x = 5*t - j for t.
1
Suppose -2 = s, 2*x + 7*s + 22 = 2*s. Suppose 0*q + 56 = 7*q. Let o = q + x. Solve -3*a + w = 9, 0*w + o*w = 0 for a.
-3
Suppose -4*r + 31 = -3*y, -2*y + 15 = 2*r + 3. Suppose 0 = 4*f - 4*c, r + 1 = 4*c. Solve -3*t = 4*n + 15 + 16, -f*n = 3*t + 23 for n.
-4
Suppose 2*p = -p. Suppose 0 = 4*q - p*q - 20. Suppose -3*t = -q - 4. Solve t*b = -3*n - 0*b + 24, -n = -3*b + 8 for n.
4
Suppose 2*o + 9 - 17 = 0. Suppose v - o*v = -6. Solve 5*s = 5*z - 30, v + 8 = 2*z for s.
-1
Let v = -32 - -30. Let i be 3/v + 396/24. Suppose -3*h + 6*h - i = 0. Solve -2*q = 5*r - 7, q = -h*r + 3 + 3 for r.
1
Let k(b) = -b**3 - 5*b**2 + 2. Let r be k(-5). Suppose 18*v - r = 17*v. Let y be 0/((1 - 0) + -2). Solve i + v*m + 6 = -y*i, -4*i + m - 6 = 0 for i.
-2
Let u(g) = g**3 - 19*g**2 + 34*g + 5. Let i be u(17). Solve 5*s - 3*c = -12, 6*c - 20 = i*s + c for s.
0
Let k(c) = 4*c - 51. Let i be k(14). Solve i*v = -2*g - 17, -3*v = 3*g + 2 + 10 for g.
-1
Let k be (-10)/(-25) + (-28)/(-5). Suppose -4*c = -2*c - k. Solve 0 = 2*o - 3*y - 9, -y = o + c*o - 11 for o.
3
Let l = -57 + 80. Let z be -3 - 2*(-16 + 3). Let h = l - z. Solve h = -3*d + 3*g - 9, -2*d + 0*g - 2*g + 10 = 0 for d.
1
Let l be 1*(3 + 0 + -3). Suppose l = 6*f - 5*f - 5. Suppose f*p = -4*u + 5, -3*p = -2*u + p - 4. Solve -5*w - 16 = 2*j, u*j - w = 2*j for j.
2
Let h = -135 + 135. Let y be -3 + (4 - (-2 + h)). Solve -3*u + y*s = 9, -2*s - 21 = 2*u - 7*s for u.
2
Let a(c) = c**3 + 15*c**2 + 4. Let f = -95 - -80. Let d be a(f). Solve n = d*y - 0*n - 16, 4*n = y - 4 for y.
4
Let p be (-14)/(-4) - (4/(-8) + 1). Solve 2*s + l = -4*l + 16, -17 = -p*s - 4*l for s.
3
Let w be -2*(-4 + 3 - 0). Suppose 2*z - 1 = 2*i - 3, 3*i = -5*z + 11. Suppose o + 2 = 0, 2*y + 8 = 4*y - 2*o. Solve l + i*a = y, -l + w*l - 3*a = -8 for l.
-2
Suppose -3*f + 10 = 2*u, 0*f + 21 = 4*f - 5*u. Suppose -f*t = -2*t - 6. Solve 4*r = x - 1, 0 = t*x - 10 - 5 for r.
1
Let t(b) be the first derivative of b**3/3 + 11*b**2/2 + 34*b + 41. Let d be t(-6). Solve -4*l + 2*s = -s + 11, d*s + 4 = -4*l for l.
-2
Suppose j = -4*r + 61, -111*r + 116*r - 92 = 4*j. Solve -v + 2*t - 6 = -19, 4*t + r = 0 for v.
5
Let n(v) = 2*v**3 + 13*v**2 + 6*v + 2. Let r be n(-6). Solve l = -4*c - c + r, -2*c + 11 = -3*l for c.
1
Let a be (-2)/2 - -2 - -21. Let h = -538 + 541. Solve q - 7 = h*v - q, 2*v + a = -3*q for v.
-5
Let a(j) = j**3 - 4*j**2 + 6*j - 22. Suppose 19 = 5*z - 1. Let p be a(z). Solve 0 = -3*g - 15, -p*x + 0*x + 5*g + 27 = 0 for x.
1
Let c = -264 - -269. Solve 3*m - 5*j + c = -3, 4*m = -3*j + 28 for m.
4
Let p = 3 - 1. Let m = -369 - -371. Solve -p*b - 1 = m*q - 21, -q + 30 = 5*b for q.
5
Let g = -73 - -149. Suppose 3*z - g - 8 = 0. Solve -a + 3*t - 4*t = 0, 4*a + z = 3*t for a.
-4
Suppose 0 = a - 5*a + 12. Suppose 0*i - a*i + 12 = 0. Suppose 12 = -i*k + 72. Solve -1 = 5*c + 5*s + 4, -3*c + 3*s - k = 0 for c.
-3
Let j be -4*(-4)/8 - 11. Let i = j - -2. Let k = i + 17. Solve -2*f + k = 4*h, -1 = f + 2*f - 2*h for f.
1
Let p be -3*(1 + 20/(-10)). Solve f = -5*c - 4, 0*f - p*c - 1 = 2*f for f.
1
Let v(s) = s + 25. Let g(t) = 12*t + 324. Let i(k) = 2*g(k) - 27*v(k). Let j be i(-13). Solve 0 = -0*b + 3*b + h + 10, -j = 5*b - 3*h for b.
-3
Suppose -7*h = -3*h - 16. Solve 5*y - 3*p = y, -2*y + h*p = 0 for y.
0
Suppose -3*i - 9 = -5*n - 0, n - 7 = -2*i. Solve 4*z - 8 = 5*v, n*v - 4*z + 8*z = -24 for v.
-4
Let v be (3/(-6) + -1)/(2/(-4)). Suppose 0 = 5*k + m - 19, 2*m - 26 = -2*k - v*m. Solve p - 3 = -4*o - 18, k*o - 4*p + 16 = 0 for o.
-4
Let a(t) = -t + 16. Let q be a(13). Suppose 2 = 2*o, o + 4 = 2*u + q*u. Let x be 2/(-4)*(1 - u). Solve x = h - 2*h - 4*v - 2, -5*v = 0 for h.
-2
Let q be (15/(-6) - -4)*2. Suppose -8*n + 51 - q = 0. Solve 0 = -3*p + 3*z - n, 3*z - 3 = 0 for p.
-1
Let g be 24/10*45/(-6). Let u = 21 - 37. Let m = u - g. Solve d - 2 = i, -3*d - 5*i + m*i - 24 = 0 for d.
-3
Let d be 4*(-2)/(-6)*6. Let s(n) = n**3 - 8*n**2 - 3*n + 14. Let l be s(d). Let u be 1 - -1 - (9 + l). Solve 4 = 2*j - 0*j - u*x, -j + 5*x = -2 for j.
2
Suppose 6 = 6*z - 3*z. Solve -z*y = 2*j - 4, j - 5*j = y - 2 for j.
0
Suppose 3*w - c + 1 + 0 = 0, -w - 4 = -4*c. Let x be w/(5/10*-2). Solve -5*l + q + x*q - 20 = 0, 4 = -l + 5*q for l.
-4
Suppose -4 = -4*x + 2*y + 2, 5 = 3*x - y. Let n be 1 - (x + 0 + -2). Suppose -2*s = 13*s. Solve q + 0*b = b - n, 2*q + 2*b + 6 = s for q.
-2
Let f be (378/(-4))/(-7)*4/6. Let g(q) = q - 9. Let z be g(f). Solve z = 5*v - 0*v + d - 25, 0 = -v - d + 9 for v.
4
Suppose 25 + 10 = 5*d. Suppose 0 = 4*l - z - 15, -2*z = -l - d*z + 9. Solve -v = 4*b + 6, -l = -3*b + b - 4*v for b.
-2
Suppose 5*y = 8*y - 15. Let b = y - 5. Suppose 4*c - a = 91, 6 - 1 = 5*a. Solve -4*q + c = p, b = -q + p + p - 1 for q.
5
Let p(z) = 16*z**2 - 2*z - 1. Let l be p(-1). Let j be (-58 + 0)/(7 - 5). Let b = 29 + j. Solve 3*m - 5*c - l = b, -3*c - c - 11 = -5*m for m.
-1
Let k = -28 - -31. Let u(g) = g**3 + 5*g**2 + 3*g. Let t be u(-3). Let s = t + 20. Solve 3*j - 19 = h, -4*h + 2*j + k = s for h.
-4
Suppose 0 = -5*p - 4*x - 59 + 58, -13 = -3*p + x. Solve -5*u + u - 20 = p*o, u = -2*o - 10 for o.
-4
Let h(o) = o**2 - o - 6. Let b be h(3). Solve -2*v = b, 0*v + 3 = -i + 4*v for i.
-3
Suppose -m - 3*m = 4*g + 4, -18 = -2*g + 2*m. Solve 5*t - 4*t = g*r - 15, 20 = 4*r for t.
5
Let f = -5 - 10. Suppose -r + 27 = 9. Let m = f + r. Solve -5*q = -h + 11, -m*q - 23 = 2*q + 2*h for q.
-3
Let i(z) = z**3 + 8*z**2 + 6*z - 4. Let y be i(-7). Suppose 0 = y*v - v. Solve -5*q = 2*w - 11, -4*w - 20 = -4*q - v*w for q.
3
Let m be 4 - ((-46)/(-12) + 5/30). Suppose 5*u + m*q - 2*q - 7 = 0, 4*q = -u + 19. Solve 4*g = -0*v + 3*v - 1, 2*g - 13 = -u*v for g.
2
Let u = -7 + -3. Let a = -6 - u. Suppose 4*z + a*d - 56 = 0, -2 = -z - d - 3*d. Solve -3 = 5*c + 7, 2*p + 4*c = -z for p.
-5
Let g(f) = -f**3 + 9*f**2 - 11*f - 16. Suppose 3*s - 12 - 9 = 0. Let l be g(s). Solve 9 = -r - 4*r + d, l*r = 5*d - 25 for r.
-1
Suppose 50*w - 58 = 92. Solve 5*z - 5*u + 15 = 0, 0 - w = -3*u for z.
-2
Let x(c) = c + 1. Let d(g) = -2*g - 15. Let w be d(-8). Let l be x(w). Solve 4*f - 7*m + 2*m