-2*k + 2*a - 10 = -7*k, 3*k + v*a - 15 = i for k.
0
Suppose 0 = 5*j - 3*j - p - 25, 5*j = -5*p + 25. Suppose 11*w - j = 9*w. Solve 20 = 2*m - w*g, -3*m + 18 = -m - 4*g for m.
5
Suppose -2*y + 34 = 3*t, 0 = t + y - 5 - 6. Let v = 17 - t. Solve 5*k - 3*z = 9, 0*k + 15 = 5*k - v*z for k.
0
Let f = -17 - -23. Let d be f/(-15) + (-368)/(-20). Let m be (d/7)/(15/140). Solve 0*i + i = 2*r + 3, 5*i = r + m for i.
5
Let y = 206 + -203. Solve 0 = u - 2*x + 6, y = u + 4*x - 3 for u.
-2
Let c = -19 + 30. Suppose c*i = 8*i + 6. Solve 4*o + 2*k = -6, -3*o - i*o - 3*k = 6 for o.
-3
Let w be (-12)/(-15) + 480/25. Solve -5*k + 0*k = 5*j - 50, -4*k + w = 0 for j.
5
Let o(q) = q**3 - 7*q**2 + 12*q - 7. Let t be o(5). Solve 13 = 4*j + 3*u - 8, -2*j - t*u + 15 = 0 for j.
3
Let c be ((-4)/(8/(-198)))/(12/8). Let n = 66 - c. Solve -5*y - b - 20 = n, 4*y - 3*b = -4*b - 16 for y.
-4
Let d be 1/(-5)*-1 + (-240)/(-50). Solve 25 = 5*b + d*a, -10 = -2*b - 3*a + 3 for b.
2
Suppose -3*g = 3*i + 36, 5*g + 4 = -16. Let z = 11 + i. Let n(f) = -f - 3. Let t be n(-8). Solve z*w + 3 + 4 = 5*v, -t*v - 9 = w for v.
-1
Suppose 0 = -4*m + 2*g + 2*g + 40, 3*m - 30 = -4*g. Let x(i) = i**3 - 8*i**2 + 6*i - 1. Let a be x(7). Let b = a + m. Solve r = -5*j + 2*j - 5, b*r = -j for j.
-2
Suppose -7*f + 4 = -3*f. Let g be (-8*f)/(6/(-3)). Suppose g*w = 22 + 46. Solve 3*n = -j + 8, 5*j = j + 3*n + w for j.
5
Let u(h) = -h**3 - 4*h**2 + 10*h - 10. Let s be u(-6). Solve 4*x = -3*b - 5, s + 3 = -x - 2*b for x.
1
Let m be ((-7)/(147/(-18)))/(21/98). Solve 5*d + 20 = -p, d + 2*p = 7*p - m for d.
-4
Suppose 14 = 4*k - 2*z, -58*k + 3*z - 3 = -60*k. Solve 0 = k*r - 5*b + 5, -4*b + 2 = -5*r - 2 for r.
0
Suppose 17 - 7 = 5*j. Let o(h) = -h**3 + 2*h**2 + 3*h - 1. Let w be o(j). Suppose w*q + 2*q - 35 = 0. Solve 3*b + q = -y, b - 4*y - 15 = -y for b.
0
Let v be 5/(-10) - 29/(-58). Solve -i - 3*b = v, -10*b + 6*b + 1 = i for i.
-3
Let m be 7/14*(-1 - -11). Suppose m*r - s = 4*r + 62, 3*r + 4*s = 172. Suppose 5*j - r = j. Solve 4*y - j = -u, y - 6*y + 2*u = -22 for y.
4
Let v be ((-340)/51)/(16/(-12)). Solve -5*m - 19 = 2*g, -5*g + 10*g - v*m = 5 for g.
-2
Let d(u) = -2*u**3 - 115*u**2 + 57*u - 53. Let f be d(-58). Solve -j - 5*i = 21, f*j = -3*i - 3 - 14 for j.
-1
Suppose 4*t - 5*t + 9 = -f, 43 = 5*t - 3*f. Let g be 2 + 0 + (t/(-4) - -2). Solve -u = p + 4, 0*u = g*p - 2*u - 4 for p.
-1
Suppose -22 = -u - 4*n + 30, 3*n - 208 = -4*u. Let l = u + -47. Solve l*f = -5*c + 35, 5*f + c - 22 = 5 for f.
5
Let q = 174 - 142. Solve q = 4*w + 5*x - 0*x, -3*x = 5*w - 27 for w.
3
Let l be -2 + 19 + (-27 - -26). Solve 4*w - l = -3*g - 3, -4*g + 14 = 2*w for g.
3
Let x be (-1)/(24/5 - 5). Solve x*b + 2*r = -6, b - 3*r - 12 = r for b.
0
Let b be 7 - 1143/(-45) - (-4)/(-10). Solve 3*l - 3 = -4*x - b, -2*l + 9 = -3*x for l.
-3
Suppose -l = -8 - 14. Suppose -5*j + 3 = -l. Suppose -43 = -j*b - 8. Solve 3*w = b*w - 3*k + 16, -w + 4*k - 17 = 0 for w.
-1
Let v be (12/5)/(21/70). Suppose -9*o - o + v*o = 0. Let x(g) = 2*g**2 - 2*g - 1. Let h be x(-1). Solve o = -3*a - 2*u + 10, h*a - 3*u = 2*a - 4 for a.
2
Let t be (-66 - -65)*(1 - 6) - -3. Solve 4*o - 3*c = -2, -11 = -o + 3*c - t*c for o.
1
Let j = 2 - -2. Let g = 40 + -32. Solve -2*h - 3 = -r + g, -j*r + 4*h = -32 for r.
5
Let a be ((-76)/(-38))/(1/10). Solve -7 = 4*c + 5*o + a, 0 = 5*c + o + 18 for c.
-3
Suppose 16*t + 9*t = 7*t. Suppose t = 3*r - 5 - 7. Solve 2*p + r*k = -0*p + 4, -2*p - 2*k = -6 for p.
4
Let x = 45 + -42. Solve 0*f + 15 = -4*f - 3*i, -x*f - 4*i = 13 for f.
-3
Let r(c) = c + 2. Let h be r(6). Suppose h = -37*b + 39*b. Solve 0*u - 6 = u + 3*x, u + 7 = -b*x for u.
-3
Suppose -4*q = -2*a - 4, 0*q - 4*a + 12 = 2*q. Solve o - q*v - 9 = 0, -v + 4 = o - 2*v for o.
-1
Let a be 2814/536 - 2/8. Solve -3*f - 25 = -2*f + a*g, 3*f - 5 = g for f.
0
Let t be (2/8*-2)/((-5)/390). Let m = t - 39. Solve 5*y - n = 5, -4*y + 3*n + 8 - 4 = m for y.
1
Suppose -4*w = c - 0 + 4, 0 = -4*c + 5*w + 5. Suppose -5*g + 4*x - 5 = c, -2*g = 2*x - 6 - 10. Let d = 39 + -27. Solve -5*i - d = g*v, 3 = i + 2*v + 4 for i.
-3
Let m(v) = v**2 + 13*v - 10. Let t be m(-14). Suppose -z = z - t. Solve -3*h - 8 = z*i, 0 = 4*i + 3*h + 19 - 3 for i.
-4
Let d be (-695)/(-40) + -5 + 9/(-24). Solve 4*x + d = 0, -5*t = 5*x - 0*x + 10 for t.
1
Suppose -4*u - 13 = -21, c - 9 = -2*u. Suppose -5*w - 12 = -3*y + 1, -4*w = -3*y + 11. Let p = 6 + w. Solve n - 2*m + 8 = 3*m, -3*n + c*m - p = 0 for n.
2
Let z(p) = p**2 + 25*p + 105. Let t be z(-5). Solve -t*a + 12 = -n, n - 2*n - a + 6 = 0 for n.
3
Suppose 0 = 2*s + 7 + 9. Let c be (-1)/(-2)*(-4 - s). Solve 0 = -r + j + c, -8 = -4*r - 3*j - 0*j for r.
2
Suppose 5*i + 25 + 0 = -2*x, i + 5 = 5*x. Solve 2*j + 20 = -3*m, x = m + 2*j - 6*j - 12 for m.
-4
Let z = 3 + 0. Let s(t) = t**2 - 3*t + 3. Let g be s(z). Suppose -i = -3*f - 11 - 0, -2*i - 4*f = -32. Solve g*r = 3*y - 2*r + i, -5*y - 16 = -r for y.
-3
Let n be 1 + -4 + 2 + 5. Let w = n + -4. Solve -3*c - 12 + w = 2*l, -3*c + 3 = -3*l for c.
-2
Suppose 12*g = 23*g - 220. Solve 5*r + g = l, -2*l + 4*r + 16 = 2*l for l.
0
Let w be (-20 + 23)*25/15. Solve 17 = -3*v - 5*q, 0 = -w*v + 5*q - 12 + 37 for v.
1
Let v = 22 + -19. Let d(o) = 35*o - 3. Let l be d(1). Solve 0 = -3*g - 4*i - 8, v*g - 3*i - i = l for g.
4
Suppose 34*a - 135 = 7*a. Let g(m) = -2*m - 1. Let o be g(-2). Solve o*k - 8 = -0*i - 2*i, -a*k + 3*i + 26 = 0 for k.
4
Let v = 22 + -9. Suppose 4*f = 3*f + 24. Let o = f - 22. Solve 20 = 4*y, 0*y - y + v = -o*c for c.
-4
Let l = 630 + -619. Solve 3*h - 3*t = 0, -t = 2*h + l + 4 for h.
-5
Suppose 0 = 12*l - 9*l - 9. Suppose -l*b + 4*b = 0. Suppose 31 = 5*g + 2*z, -2*z - 4 = -2*g - 0*g. Solve 5*j - 3*x - 17 = b, -g*j + 2*x - 3*x + 21 = 0 for j.
4
Suppose g - 3 = -0*g. Suppose -g*j = j - j. Solve j = -4*u + 7*x - 2*x - 32, 12 = 3*x for u.
-3
Let a(s) = 29*s - 15. Let w be a(1). Solve -3*r = -4*j - w - 2, 3*j - 5 = -2*r for r.
4
Suppose 4*c = -c + 35. Let m = 181 - 179. Solve 5*v + c = -m*k - 10, 2*k + 7 = -3*v for v.
-5
Let c(a) = -2 + 3 - a + 5 + 0. Let q be c(5). Solve d - 5*w = -3*w + q, 2*w - 1 = 3*d for d.
-1
Let u(o) = -5*o. Suppose y = 5*y - 16. Suppose 5*t = t - y. Let f be u(t). Solve 0 = -5*m - 2*v + f, 22 - 6 = 4*m + 4*v for m.
-1
Suppose 9 = -2*y + 2*m + 11, -3*y - 2*m + 18 = 0. Solve 3 = 2*h + u, -y = -4*h - 5*u - 1 for h.
2
Let w = 26 - 46. Let p be ((-33)/15 + (-5)/(-25))*2. Let s = p - w. Solve -5*q = v - 3*v + s, -5*v + 23 = -4*q for q.
-2
Suppose 0 = 6*j - 13 - 5. Solve l - j - 5 = -2*y, -2*y + 18 = -4*l for l.
-2
Suppose -70 - 14 = -7*t. Solve -5*g + 4 = o - 0, 3*o = -4*g + t for o.
4
Let n be (-5)/2*(-78)/65. Suppose -4*t - 100 = -4*h, -n*h + 24 = -4*t - 56. Solve -2*v - h = -5*y - 3*v, 8 = y + v for y.
3
Suppose 34 = -5*u - 6. Let b(q) = q + 10. Let g be b(u). Suppose 2*m - 3 = -4*r + 13, -5*m = 3*r - 26. Solve -o - 5*c = -8, -3*o + 5*o = g*c + m for o.
3
Let m(r) = -2*r - 10. Let w(o) be the first derivative of -o**2/2 - 3. Let t(u) = m(u) - 4*w(u). Let y be t(7). Solve 6*g = 4*c + g + 3, 3*c + y*g = -10 for c.
-2
Let j(a) = 10*a + 10. Let s be j(6). Suppose -6*x + s = x. Suppose -v - 10 = -r - 2, -r - 5*v = x. Solve 3*g + 2*u = 2*g - 5, -5*g + r*u + 35 = 0 for g.
3
Suppose -46*q - 55 = -220 - 65. Suppose -p + 15 = 2*p. Solve 5*m = 4*m + 5*i - 15, 0 = -q*m - p*i + 15 for m.
0
Let z(g) = g**2 - 2*g + 4. Let h = -18 - -18. Let p be z(h). Solve i - 2*o = 11, -p - 6 = -5*i + o for i.
1
Let j(y) = 1 + 0*y + 4*y - 3*y - 2*y. Let c(w) = 9*w - 9. Let u(b) = c(b) + 4*j(b). Let k be u(2). Solve 5*l - 15 = k*v + 2*l, 0 = -2*v - 5*l - 6 for v.
-3
Let b = 655 + -648. Solve -5*s = 3*g - b, s + 4*g = -s for s.
2
Let c(k) = 3*k**2 + 2*k + 5. Let b be c(0). Solve 0 = -4*y - b*u, y + 11 = u - 5*u for y.
5
Let w = 41 + -37. Solve f = 2*x - w, -4*f + 0*x - 4 = -2*x for f.
0
Let f = 0 - 0. Let b be (5 + -3)/((-1)/1). Let s be 0/(b - (-1 + 1)). Solve s = -2*o - f*o + y + 1, 5*o - 4*y = 1 for o.
1
Suppose 2*w + j - 31 = -4*j, -49 = -2*w + j. Solve 2*c - w = -5*u, 5*u + 8*c = 3*c + 20 for u.
5
Let a(q) = -q**2 - 15*q - 11. Let g be a(-13). Let y be (-84)/15 + (-6)/g. Let f = y - -11. Solve 2*w - 2*c = 4*w + 2, f*w - 5*c = 35 for w.
3
Suppose 8 = h + 7*h. Let v be (6 - 4)/(h/2). Suppose 5 = k + 3. Solve 5*x + v = w -