- h = v for q.
4
Suppose 0 = -5*a + 5*r + 55 - 5, 0 = 5*r + 5. Suppose -g = 3*g + 5*v + a, 2*g - 4*v = 28. Suppose g*x - 6 = 2*x. Solve x*c + c - 28 = -3*d, c = d for c.
4
Let y = 18 + -13. Suppose 4*q = -3*t + 20, y*q = -0*q - t + 25. Suppose 2*a - 5*j = -a + 40, -q*j = -4*a + 45. Solve 2*h - 7 = -3*s + 2*s, -25 = -a*s for h.
1
Let z = 397 + -395. Solve -z = -4*d - y - 0*y, 0 = d - 3*y + 6 for d.
0
Let f be ((-16)/(-24))/(-2)*-15. Solve 2*y - 1 = -4*p + 11, f*y + 4*p = 12 for y.
0
Let r(m) = -m - 1. Let d(c) = -16 - c + 6 - 5*c. Let h(b) = d(b) - 4*r(b). Let g be h(-8). Solve 4*f + n + g = -12, 0 = -4*n - 8 for f.
-5
Let k(t) = -7*t + 30. Let a be k(7). Let n = a + 20. Solve 4*l = -4*w, -n - 2 = -4*w - 3*l for w.
3
Suppose -9*l = -49 - 77. Solve -a + 3*u - 17 = -u, 0 = -2*a + 3*u - l for a.
-1
Let v(y) = -4*y + 24. Suppose -3*b + 4*h + 17 + 5 = 0, -2 = 2*h. Let k be v(b). Solve 5*x - s - 10 = k, -5*x = 5*s - 2 - 8 for x.
2
Let m be (-2)/(-22) + (-216)/(-44). Solve 0 = -2*k + n + 8, -m*k + 19 = 3*n - 1 for k.
4
Let x = -25 - -25. Solve -3*o - 5*q - 12 = x, -o + 2*q - 4 = -0*o for o.
-4
Suppose -3*b + 6 = -24. Suppose -3*v = -8*v - b, -m - v + 2 = 0. Solve 3*s = -m*g - 4 - 31, 2*s - 5*g - 15 = 0 for s.
-5
Let t be 8/6*3/2. Let y be 30/(-120) - 34/(-8). Suppose y*i - 4*s - 76 = 0, 0 = 6*i - 5*i + 3*s - 15. Solve t*a + l - 12 = 0, -2 = 4*l - i for a.
4
Let p = -9 + 20. Suppose -49 + 373 = -3*u. Let m = -103 - u. Solve 0*v = -k - 3*v + m, -k - 5*v = -p for k.
-4
Let o = -50 - -52. Suppose -t + 4*t = y + 26, -o*t + 3*y + 29 = 0. Solve m + h + t = 6*m, 4*m = -2*h for m.
1
Suppose 3*z = 5*z + 72. Let v = 32 + z. Let y = 12 + v. Solve -7 = 5*h + m, 5*h + 4*m + 5 = -y for h.
-1
Let o be (-3)/6*-2*5. Suppose 4*u + 9 = 3*q, -4*q + 4 + 8 = u. Suppose q*t = -5 + 17. Solve t*w - g - 14 = 0, 0 = w + o*g + 8 - 1 for w.
3
Let z = 2330 + -2320. Solve -7*v - 4*k = -5*v, -4*v - z = -2*k for v.
-2
Suppose 11*i = -6412 + 6434. Solve n - 1 = -i*s - 2*n, 0 = 4*s - 5*n - 35 for s.
5
Let c = -35 - -49. Suppose 6*i = -i + c. Let j = 4 + -2. Solve -i*a = 5*p + 19, 4*p = -j*a - 13 - 3 for a.
-2
Suppose 0 = -5*f - 19 + 34. Solve w + 5 = i - 2*w, f = 5*i - 4*w for i.
-1
Let t = -12 + 14. Suppose 12 = t*q + q. Solve -2*o + 22 = q*c, 24 = -2*c + 5*c + 3*o for c.
3
Suppose -3*w = l + 4 - 34, -l = -3*w + 24. Suppose 0*f = 5*f - 20. Let c(t) = -t**2 - t + 2. Let i be c(-2). Solve i = 3*s + 2 - 11, -g + f*s = w for g.
3
Let p(v) = 4*v**2 - 29*v - 30. Let y be p(-1). Solve 4*f + 0*f - 19 = -5*o, -o = -y*f for f.
1
Let t(h) = -2*h + 26. Let g be t(8). Let i be (-2)/15 - g/(-75). Solve d - 3*j - 2 = -i*d, -3*d + 4*j + 11 = 0 for d.
5
Let b = 42 - 38. Suppose b*n - 16 = 4. Solve -3*p - n*i = -31, -4*p + 2 - 4 = -2*i for p.
2
Let v = 20 + -15. Suppose 2*l + 1 = v. Suppose 0*d + 28 = 4*d - l*u, u + 21 = 3*d. Solve 2*n - d*n + 35 = -2*w, 2*n = 10 for w.
-5
Suppose 0*g + 2*j = 5*g + 6, -7*j = -4*g - 21. Solve -2*t - 2 = g, -5*y + 4*y + 4*t = -1 for y.
-3
Let l be (-4)/1 + 8 + -4. Let d be ((-2)/(-4)*l)/(-1). Solve 5*v + 20 = d, -i = v - 0*v + 3 for i.
1
Let q be (-2 + 4 - 5) + (-11 - -18). Solve 15 = -2*n - q*j - j, 0 = -5*j - 25 for n.
5
Suppose -2*v - 11 = 5*z, 8 = 9*z - 14*z - v. Let h(m) = -4*m**3 - 6*m - 5. Let k be h(z). Solve 0*g = -k*g - 5*t + 10, 2*t = 5*g - 10 for g.
2
Suppose 9*z - 10*z - 8 = -2*l, -2*l + 10 = 0. Solve z*f - 11 = 3*o, -f = 3*f + o - 15 for f.
4
Let r = -77 - -37. Let v = -37 - r. Let z = 1 + v. Solve g + f = 0, 5*g - z*f = -0*g + 45 for g.
5
Let t = 38 - 36. Let q = 12 + -7. Solve -6 = q*i - 3*s, -t*s = i + 1 - 5 for i.
0
Suppose 7*f - 1 = 2*f - 3*x, -4*f - 4*x - 4 = 0. Solve -2*l - 4*h + 2 = 12, 4*l = f*h for l.
-1
Let u be -3 - -4 - (-10 - -1). Let k be (-1 + 2)/(2/u). Let g be (-4)/(-3)*(-9)/(-6). Solve -2 = -4*a + g*m, 3*m = 2*m - k for a.
-2
Let p(x) = 2*x**2 - 3. Let f be p(-2). Suppose -f*c = -c - 8. Let l be (-177)/(-7) - c/7. Solve -5*z + 5*w = 25, -3*w = 5*z - 0*z + l for z.
-5
Suppose -25*s + 65 = -60. Solve 0 = 5*l - 2*r - 13 + 1, -r = -s*l + 16 for l.
4
Suppose -4*h - x = 1 - 96, 2 = -2*x. Let o be (-6)/h + (-13)/(-4). Solve 4*w = -w - u - 22, o*u - 9 = 0 for w.
-5
Let k be 14/(-8)*2 + 6/(-12). Let t be k - (-11)/(11/10). Solve -5*r = 3*j + t, -2*j = -3*j + 2*r - 2 for j.
-2
Let a be (-4 + 5)*(-1 + -6). Let b = -88 + 78. Let g = a - b. Solve -r - 6 = l - 0*l, -l + 2*r = -g for l.
-3
Let j = -11 + 13. Suppose 0 = -4*m + 3*a - 28, 0 = 2*m + a - j*a + 12. Let h be 8 + 1 + 0 + m. Solve 4*b + t + 4 = 1, -2*t = -h*b - 20 for b.
-2
Suppose 0 = -6*u + 77 + 13. Suppose u - 24 = -3*a. Solve c = -p - 3*c - 7, 0 = a*p - c + 8 for p.
-3
Suppose 5*x - 24 = -3*t + 1, -2*x + 2*t - 6 = 0. Suppose 2*o + 10 = x. Let f be 68/16 + 1/o. Solve -n + 5*n - 5*j = -f, 40 = 5*n + 5*j for n.
4
Suppose 0 = 2*o - l - 0*l - 43, 0 = -o + 2*l + 23. Solve 0*z - 2*z - 12 = y, -3*z = 3*y + o for y.
-2
Suppose p - 21 + 16 = 0, 3*p = 3*u + 3. Solve -1 = -j + u*s, -3*s - 12 = 4*j + 3 for j.
-3
Let n(y) = -y**2 + 9*y + 3. Let u be n(0). Solve -u*v - 10 = -l, 0 = l - 0*l + 3*v + 14 for l.
-2
Suppose 6*q = 4*f + 3*q - 14, 2*f + q - 2 = 0. Let n = 196 - 191. Solve -5*s - f = -2*d - d, -4*s - 12 = -n*d for d.
4
Let c(u) be the third derivative of u**4/24 + 2*u**3 - 15*u**2. Let k be c(-12). Solve -4*o - 2*l = -8, k = 4*o + l + 2*l - 10 for o.
1
Suppose 0*t + 5*b = -4*t - 15, -2*b = t + 6. Solve 2*j + 3*o - 4 = t, 0*o = -j - o for j.
-4
Let i = 8 + -3. Solve i*o - 3*c = -34, -3*c + 12 = -4*o - 17 for o.
-5
Let f be (-2 - 4) + 1 + -1. Let c(l) = -l**2 - 6*l + 2. Let d be c(f). Solve 4 = 2*s + d*b, 0 = 4*b - 5 - 7 for s.
-1
Suppose 2*o + v = 10 - 0, 3*v - 23 = -5*o. Solve w - 4*w = 2*y + o, -3*y - 8 = 4*w for y.
4
Suppose -d + 7 + 21 = 5*u, -3*d = 3*u - 24. Solve 0 = -5*v + 4*l + 31, u*v + 3*l - 3 = -0 for v.
3
Let f = -18 + 21. Let r be f + (-2 - 2/(-1)). Let a be r/9*1*6. Solve p = -5*l - 12, -a = -5*p + 13 for l.
-3
Let x(r) = r**2 - 70*r + 1084. Let a be x(47). Solve a*m - 3*q + 8*q + 10 = 0, 5*m = -3*q + 10 for m.
5
Let v = 4174 + -4172. Let c be 0 - -2 - (1 + -3). Solve 4 = 2*w - 2*j, w - c*j + v*j = 7 for w.
-3
Suppose 0 = 4*w + 20*w - 48. Solve -9 - 4 = 4*m - 5*r, w*r = 10 for m.
3
Suppose m - 5*z - 31 = 0, 4*m = -2*z + 3*z + 162. Suppose -m*n + 43*n = 8. Solve 0 = 3*y - 12, -a - n*y = a - 26 for a.
5
Suppose 8 = -0*t + t. Let u(w) = -w**2 + 46*w + 163. Let f be u(49). Solve 2*x - 4 - t = 3*c, 4*x - f = 2*c for c.
-2
Suppose 6*v = -1 + 7. Suppose -2*o + 5 = -v. Solve -o*x = 4*p - 4, 2*x - 16 = 4*p - 0*x for p.
-2
Let q(g) = -g**2 - 24*g + 28. Let u be q(-25). Solve -2 = 2*s - u*o, -s + 5*o - 11 = o for s.
5
Let h = -344 + 365. Solve -14 = -24*y + h*y + s, -4*s - 20 = 0 for y.
3
Let t(u) = 3*u - 30. Let b be t(13). Let g(c) = c - 5. Let w be g(b). Suppose 4*f = 10 + 6. Solve 3*s = f*x + 6*s - 2, -w = -3*x - s for x.
2
Suppose -4*o = -46 - 50. Let c = -46 + o. Let y = c - -25. Solve 4*i - 11 = -5*p, y*p - 3*i - 2*i - 14 = 0 for p.
3
Suppose 30*o - 147 = 9*o. Let b be (-26)/(2 - 3/1). Suppose 0 = -5*g - 11 + b. Solve 3*a + 28 = -4*u, g*u + 35 = -4*a + o for u.
-4
Let v = -29 + 25. Let k(f) = -f - 2. Let i be k(v). Solve i*w + w = -g - 8, -2*g = 10 for w.
-1
Let l(c) = c**2 + 3*c - 4. Let z be -1*(-2*3 + 4). Let x be l(z). Let g be (-22)/(-2) + 24/x. Solve 15 = 3*n - h - 3*h, 0 = -3*n + 5*h + g for n.
5
Suppose -4*l + 0*l + 12 = 4*u, -4*u = -4. Let d(h) = 11 - 5 + h**3 - 7*h + 5*h**l - 9. Let z be d(-6). Solve 2*x = t - 3, 3 = 4*t - z*t for x.
0
Suppose 6*s + 2*p = 4*s, -3*s = -p - 20. Suppose -i + s*i + 4*i = 0. Solve i = 5*o + 3*a + 25, -4*o - 3*a - 2*a - 20 = 0 for o.
-5
Let n be 2/8 - 27/12. Let i be (-2)/(-1) + 0 - n. Suppose i*v - 6 = 10. Solve 5*y + v*o = o - 9, -3*o - 9 = -y for y.
0
Let p be (-1 - (1 + -1))*28. Let y = p - -65. Let c = 40 - y. Solve -c*z = 4*g + 4, -z - g - 4*g = -6 for z.
-4
Suppose -10 = -a + h + 1, 2*a - 23 = 3*h. Solve -5*z + 4*j + a = 0, -j - 15 = z + 4*z for z.
-2
Let r be (1 - -1) + 4/2. Suppose -8*x = -r*x - 20. Let v be 1 + 5 - 4 - -5. Solve -v - 4 = p - 2*g, 2*p + 5*g - x = 0 for p.
-5
Let v be 1/(3/3) - -2. Suppose 3*t + 4*g - 3 = 0, -4*t + 22 = -2*t - 4*g. Solve -f - 7 = -t*w, 0*w - w = -v*f + 7 for f.
3
Let o = 28 + -26. Let q = 11 - 6. Suppose q*