t a be v/10 + (-12)/h. Solve 0 = c + 2*j - 8 - a, -3*c = -j + 11 for c.
-2
Let t = -24 + 26. Suppose t*n = -0*n. Solve -2*j = -10, -2*j + 2 = -2*p - n*j for p.
4
Suppose 5*h + o = -5 + 24, 1 = 3*h - 2*o. Suppose 0 = -5*i + 12 - 32, -t + 4 = h*i. Let p be (-4)/(-3) - (-6)/9. Solve 5*m = 8*m, p*m + t = -4*d for d.
-4
Let y(m) = -15*m - 2. Let v be y(-1). Let c = v + -10. Solve 4*q + 2*h + c = -h, 5*h + 16 = -3*q for q.
3
Suppose 0 = 2*c - 7*c + 40. Let m(n) = -n**2 + 24*n - 41. Let i be m(22). Let j = c - i. Solve -j*d + 1 = -4*s + 4, -2*s - 21 = 5*d for s.
-3
Let g(b) = -b**2 - 8*b + 9. Let t be g(-9). Let u be (t - 0 - -2) + 1. Solve -4*m - h - 24 = -3*h, -m - 11 = -u*h for m.
-5
Let f = -8 - -11. Suppose f*v + 2*m = 10, 4 + 11 = 3*m. Suppose 9*g - 210 = -6*g. Solve v = -2*w + 3*q + g, -4 = w + 3*q - 2 for w.
4
Let w be (2 - 3)/(3/12*-2). Suppose 11 = w*h - 1. Solve 2 - h = 3*x + 2*s, 0 = x - 4*s + 20 for x.
-4
Let i = 18 - 15. Suppose -i + 1 = m, 0 = 5*p + 2*m - 11. Solve -a = -4*a + 15, 0 = 5*y - p*a + 40 for y.
-5
Suppose 2*y = 3*h + 17, -h - 2 = -y + 6. Suppose -y*u = -5*u - 10. Solve -2*x + 5*j - 18 = 7, 0 = 5*x + u*j + 10 for x.
-5
Let s(q) be the first derivative of -2*q**3/3 + 19*q**2 + 43*q + 6. Let l be s(20). Solve -15 = -l*h + x - 0*x, -32 = -5*h + 4*x for h.
4
Let g(j) = j**2 + 26*j + 158. Let q be g(-9). Solve b - q*s - 20 = -4*b, -3*b - 2*s + 7 = 0 for b.
3
Suppose 36*w - 50*w + 294 = 0. Solve 2*j - 3*j + w = 4*y, -4*j + 4 = -4*y for j.
5
Let s = 12 - 2. Let p be 6/(-21) - (-368)/112. Let z = -6 + 24. Solve p*a = 4*w - z, 7*a - 2*a = -s for w.
3
Let t be (-6 - -3)*2/(-3). Let u be (3/t)/(2/20). Solve h + 4*w - 25 = -4*h, -3*h + 2*w = -u for h.
5
Let h(k) = 10*k + 7 + 7 + 7 - 18 + 2*k**2. Let w be h(-5). Solve 4*n = 3*p + 1, -2*n = 2*p - w*p + 1 for p.
-3
Let p = 15 - 13. Solve -p = -g - 3*f, 3*g + 0*g + 1 = -2*f for g.
-1
Let i = 43 + -38. Solve -2*b - 3 = 1, -3*a = i*b + 7 for a.
1
Let l be ((-4)/(-10))/((-11)/55). Let p be (15/((-15)/2))/(l/4). Solve p*r - 3*q + 11 = -0*q, -6 = 5*r + 4*q for r.
-2
Let y = -8 - -5. Let p = y - -8. Solve -2*o = 5*f + 16, -p*o - 23 = 4*f - 0*f for o.
-3
Suppose 30*m - 26 = 124. Solve 3*d - 3 = -m*f, 3*d + 13 = -f - d for f.
3
Let s = 148 + -153. Let c(w) = 9*w + 57. Let x be c(s). Solve -4*r + 5*p + x = 0, 11 + 4 = 5*r - 2*p for r.
3
Let f(q) = q**2 + 12*q - 4. Let b be f(-12). Let j(p) = 9*p - 17*p + 6 + 9*p. Let d be j(b). Solve -d*k + 3*a = -0*k + 7, 0 = -k - 5*a - 10 for k.
-5
Suppose -5*h + 5*l + 35 = 0, 0 = -3*h + 2*l + 2*l + 25. Solve 0 = -h*v + 4*v + 3, 2*v - 2 = -4*u for u.
2
Let v(f) = f**3 - 2*f**2 - 225*f + 20. Let r be v(16). Solve -4*b + i = r - 9, -2 = 2*b - 2*i for b.
2
Suppose -4*j = -7*j + 102. Let l = j - 29. Solve -2*y = 5*a - 23, 2 = l*y + 2*a - 3 for y.
-1
Let i = 23 + -20. Let d be ((-3)/(6/10))/(-1). Suppose 20 = 4*j + 4*b, 5*j = 3*b - 1 + 42. Solve -3*c = -i*o, 2*c = d*o + j - 4 for c.
-1
Let m(h) = -h**2 - 15*h - 4. Let f be m(-12). Let u = f - 32. Solve 5*b + 5*g + 15 = u, 0 = 3*b + g + 5 - 2 for b.
0
Let x be 1/(1/4) + 0. Suppose 2*c = -t + 4, 5*c - 3*t = 25 - x. Suppose 4 = c*m - m. Solve 3*o - m*o = 3*w + 12, -w = 4*o + 4 for w.
-4
Let o(t) = -18*t + 93. Let p be o(5). Solve -n = -p*d - 0*n + 10, 4*d = -3*n - 4 for d.
2
Let x be (4/(-8))/(9/(-162)). Solve -5*y + h = -20, 0 = -2*y - 5*h - 10 - x for y.
3
Let y be (6 - 1)/(4/16). Let x = y - 17. Suppose 0 = x*u - 7*u + 8. Solve 4*k - 16 = -3*i - 2*i, -u*k = -5*i + 22 for i.
4
Let p(t) = t**2 + 6*t - 27. Let u be p(-9). Suppose u = -3*l, -l - 40 = -3*b - b. Solve -5*h = 5*y - b, 0*y + 4 = 4*y for h.
1
Suppose -3*j + 5*o + 11 = 0, 102*j - o - 7 = 101*j. Let m(h) = -h + 24. Let g be m(0). Solve 3*d - j = -t, 4*t - g = -d - 3*d for t.
3
Let w be 12/(-3) - (3 - 14). Suppose w*i - 8*i = 6. Let r be i/(-4) + (-13)/(-2). Solve -2 + 4 = -2*k, -4*k = -4*z - r for z.
-3
Let b be 14 - 9/((-63)/(-77)). Solve z + b = 2*w, 9 = -6*w + 2*w - z for w.
-1
Let q = 224 + -219. Solve -35 = -4*y + 5*j, -4*y + 12 + q = j for y.
5
Let d(z) = z**3 + 16*z**2 + 16*z + 30. Let u be d(-15). Suppose -u = -l + 4*h, -6*l + h + 9 = -4*l. Solve 4*s - 16 = -j, 2*j - 2 = -5*s + l*s for j.
-4
Suppose 0 = j - 5*g + 18, -3*j - 3*g + 4 + 14 = 0. Solve 1 = -3*y + v, 0 = j*y + 3*v - 9 - 5 for y.
1
Suppose -3*p = 12 - 51. Suppose 5*b + p = 33. Solve 2 = -u + 5*l, -15 = -0*u - b*u - 3*l for u.
3
Let c be 44/(-66)*9/(-2). Suppose -4*w = -w + 90. Let i be 9/(-3)*w/9. Solve 2*t - 25 + i = -c*j, 3*t = 5*j - 25 for t.
0
Suppose -5*k - 13 + 58 = 0. Suppose -k*q - 27 + 171 = 0. Solve 0 = 2*w + 8, 3*j + j + q = -5*w for j.
1
Let n(m) = 7*m - 12. Let q be n(3). Solve -16 = -4*s + d, 4*d = -5*s + 29 - q for s.
4
Let f be (-8)/(-5) - (-12)/30. Suppose v + 6 = 5*t + 14, v - 8 = f*t. Solve 2*x - 4*p + v = 30, 3*x + 3*p = -3 for x.
3
Let c(z) = -4*z - 53. Let w be c(-15). Solve -2*o + 2*a - w = -o, 3*a - 5 = -4*o for o.
-1
Let m(g) = -2*g**2 + 3*g + 5. Let l be m(3). Let t be -1 - (-4 - (l + 3)). Solve -q - t*f + 8 = -0*q, -q - 22 = -4*f for q.
-2
Let a be 1/8 + 120/64. Suppose -a*o - 3*o - 2*m + 20 = 0, 0 = -o + 5*m - 23. Solve -2*y + o = -x + 6, 0 = 3*x + 5*y - 12 for x.
4
Suppose 3 = 3*z - 3. Let h(r) = -r**3 + 9*r**2 + 7*r + 30. Let x be h(10). Solve -4*m + 5*m = -z*f - 5, x = -4*f - 20 for m.
5
Let m(f) = -f**3 - 2*f**2 + 3*f + 4. Let r be m(-3). Solve 2*z - 3*o = 2 - 1, z - r*o = 3 for z.
-1
Let y(z) = -4*z - 9. Suppose -w = -3*w + 4*j - 26, -j + 2 = w. Let v be y(w). Solve 0 = 3*q + 6, v*l + q = 4*q + 6 for l.
0
Suppose -2*m = -5*m + 15, 2*g - 49 = -5*m. Solve -2*z = -2*i + g, 3*i - 3*z = 2*i + 8 for i.
5
Suppose 3*y + 6 = 3*z, -4*z + 28 = -2*y + 16. Solve 0 = 2*v + 5*w - 25, -9 = -4*v - y*w + 1 for v.
0
Suppose -2*h - 21 = -9*h. Suppose 0*q = -q - r, 0 = -5*q - h*r. Solve q*c - 2*c = -3*x - 3, -3*c = -3*x for x.
-3
Let j(u) = -u + 16. Let x be j(-6). Solve -2*w + 7 = -h, w = 4*h - w + x for h.
-5
Suppose 3*c + 3 = 0, -2 = 5*z + c + c. Let o = 2 + z. Let k = 5 - o. Solve 0*x = 2*x + 10, -k*i - x = -1 for i.
2
Let m = -942 - -949. Solve -7 = 5*q + 3, -a + 5*q = -m for a.
-3
Let y = 575 + -567. Solve -10 = -2*s - i, -14 = -4*s - 3*i + y for s.
4
Let c(p) = 31*p + 101. Let l be c(-3). Solve -l*y + 14 = -6*y + 3*f, -y - 2 = -3*f for y.
4
Let i = -200 - -205. Solve 3*u + 0*u + 4 = 2*w, 0 = -w - 2*u - i for w.
-1
Let x be (-1)/(-7)*-4*(-490)/140. Solve 2*r - 4 = x*c, -6 = 5*c - r - 0*r for c.
-1
Let k = -337 + 342. Solve 0 = 4*m + k*h + 6 - 0, -m - 4*h + 4 = 0 for m.
-4
Let l be (-1 + 3)*3/6. Solve -6 = -3*t - 3*r, -5*t - 2*r - 1 = l for t.
-2
Suppose 9 = 241*s - 232*s. Solve -1 = q - v, q - 2 - s = -v for q.
1
Suppose 2*h = 6*h - 32. Let x be (6/(-4))/((-30)/40). Suppose 0 = -x*b + 15 + 17. Solve -b = 4*s + 5*t, -4*t + h = -2*s - 0*s for s.
-4
Suppose -m = 5*o - 7, 3*m + 2*m + 9 = -3*o. Let s be 15/10 - (-1)/o. Suppose s*w = 5*w - 24. Solve 5 = 3*u + 5*b, b = 2*u - 4 - w for u.
5
Suppose 3*n + 40 = 52. Let l be (11 + -3)/(-2 + 0 + n). Solve 3*y = -l*w - 16, 2*w + w = 2*y + 5 for y.
-4
Suppose 4*q + 2*z - 582 = 0, 2*q - 214 = 5*z + 47. Let u be 35/11 - 26/q. Solve -5*c = 2*a - 2, 0 = u*c - 2*c + a - 1 for c.
0
Let f(v) = v + 14. Let n be f(-6). Let s = 12 - n. Solve s*m = -3*p + 7, p + m + 2*m - 4 = 0 for p.
1
Let d(o) = -o**3 + 3*o**2 - 3*o + 3. Let x = -25 - -27. Let y be d(x). Let p be 36 + (4 + -4)*y. Solve 2*j - p = -5*n - 2*j, j = 4 for n.
4
Let q = 52 - 34. Let r be (2/6)/((2/q)/1). Solve -5*a - 17 = -3*p, 3*p - 9 - 6 = r*a for p.
4
Suppose 0 = 2*r - x + 17 - 2, -5*x = -15. Let o = r - -9. Suppose 4*s + 3*w = w, o*w = 5*s. Solve -d + 5*v + 19 = -3*d, s = 4*d + v - 7 for d.
3
Suppose -84 = -82*c + 75*c. Solve 4*k + 7 + 17 = -2*y, 2*y = -k - c for y.
-4
Suppose 48*u - 4 = 140. Solve -3*m - r + 18 = 0, u*m + r = 2*r + 12 for m.
5
Let y(k) = k**3 - 4*k + 2. Let q be (0/(-1 + -2 - -1))/(-3). Let s be y(q). Solve p + 0*p = -5*i + 21, s*i - 4 = 4*p for p.
1
Let k(h) = -h - 1. Let i(n) = -5. Let q(z) = i(z) + k(z). Let g be q(-8). Solve -4*y - y - g*f = -6, 2*y = -3*f + 9 for y.
0
Suppose -45 = -2*t + 5*u, 2*t - 4*u - 25 = -3*u. Solve 2*n + t = 3*w, w = 3*n + 2 + 13 for n.
-5
Suppose 0 = 4*q - 5*v - 134, -q + 26 = -0*q - 5*v. Suppose k = -k + 52. Let j = q - k. Solve -5*u