 Solve 3*a - 9 - 6 = 0, h*k - 3*a = -15 for k.
0
Let s(v) = -3*v - 9. Let c be 3 + 4 + -4 + -7. Let y be s(c). Suppose -y*f + 23 = 17. Solve -5*i = -f*d - 23, d - 4*i + 9 + 7 = 0 for d.
-4
Suppose 0 = -5*k + 4*x + 22, -4 = 5*x + 11. Let j be 66/22 - (-2 + 1 - -1). Solve 4*y + 3 = 3*f, -j*f - 4*y = -5*f - k for f.
5
Let d(c) = -3*c**3 - 5*c**2 + 6*c - 8. Let f be d(-3). Solve -5*v - 2*y + 0 = -f, -4*y - 32 = -3*v for v.
4
Let o(y) = -y**2 + 28*y + 165. Let j be o(-5). Solve j = 2*h + 10*m - 8*m + 2, 4*h - 3*m = 3 for h.
0
Let x be 20/(-6)*36/(-30). Suppose -8 + 0 = x*d. Let h be -2 - (-3 - d) - -3. Solve -3*n + 3*u = -h*u + 24, 5*u = -2*n + 9 for n.
-3
Suppose -17*f + 19*f + 46 = 0. Let u = -21 - f. Solve 4*g + 31 = -g + 3*v, u = v for g.
-5
Let q(l) = -l + 12. Let k be q(9). Suppose -2*w + 20 = k*w. Solve w = 2*r + 3*f - 1, 3*r + 10 = -f for r.
-5
Let y be -8*2/(-16) - (0 - -1). Suppose -4*w - 21 + 113 = y. Solve 4*f = -4*k - 0*k - 16, 3*k - 4*f - w = 0 for k.
1
Suppose 0 = -3*b - 3, r + 0*b = 2*b + 2. Solve 0*y - 5*y + 3*s - 16 = r, -5*s + 12 = -y for y.
-2
Let r(y) = y**2 - y - 10. Suppose 4*x + 0*h - 10 = 5*h, -3*x + 17 = h. Let u be r(x). Solve -15 = -5*d + 3*l, 3*d - 2*d = 2*l + u for d.
0
Let j = 532 - 530. Solve -6 = -w + j*p - 1, 20 = w - 5*p for w.
-5
Let s be (36/24)/(6/20). Let x = 121 + -120. Solve s*n = -3*r + 13 + 10, -n + x = -3*r for r.
1
Let a(f) = -f**3 + 2*f**2 - 2*f - 1. Let z be a(4). Let k = z - -38. Let j be (-4 - k)/((-2)/8). Solve -4*o = -2*o + j, -3*g - 5*o = -2 for g.
4
Suppose a = -3*a. Let v be (-6)/((3 - 1) + -4). Suppose 0 = -3*x - 2*n + 4, -2*x + v*n + 24 = x. Solve 0 = x*k + 2*y, -2*k + 7*k - 2*y + 18 = a for k.
-2
Let b = 203 - 192. Solve -q + i + 1 = 0, 0 = 4*q - 9*q + i - b for q.
-3
Let l be ((-2)/5)/(1/(-25)). Suppose -4*m + l = 4*h - 2, 15 = 2*h + 5*m. Suppose h = -z + 4*z - 6. Solve 4*t + t - 2*a = z, a - 6 = -t for t.
2
Suppose 83 = 14*h - 407. Solve -w + 4 = -n, -5*n - 5 = 5*w - h for w.
5
Suppose 6*q = -49 + 181. Suppose 4*m + 12 = -2*u, -m + 2 = -4*u - q. Let z = 11 + u. Solve -4*k - 2*l - 6 = k, -k = z*l + 15 for k.
0
Suppose -5*l = -31 - 14. Suppose 1 - l = -2*n. Solve 0*t + 7 = n*c + t, -5*t = 5*c + 10 for c.
3
Let a(r) = 14*r - 15. Let t be a(10). Suppose -4*g - g = -t. Suppose 3*l = 2*p + 49, -10*l = -9*l - 5*p - 25. Solve -g = 3*f + 2*f + 5*x, 5*f + 3*x = -l for f.
0
Let o = 36 - 31. Let x(u) = -u**2 + 3*u + 15. Let f be x(o). Solve 4*y + 5 - 25 = -2*n, -f*y + 3 = -3*n for y.
3
Let j = -157 + 160. Solve 4*c + 12 = -5*i + j*i, 9 = -c - 2*i for c.
-1
Suppose -4*u = 5*j - 28, 3*u - 4*j = 16 + 36. Solve -u = -5*a + 3, -3*p = -3*a - 6 for p.
5
Let o = -828 - -832. Solve 5*p + 0 = 4*h + o, 4*h - 12 = p for p.
4
Suppose 3*z - 74 = -23. Suppose -2*y - z = -1. Let r be (-40)/(y + 3) + -4. Solve 0 = 4*j - 2*l + 14, -r = -j + 2*l + l for j.
-5
Let l be (0 - (1 - 0)) + 6. Let v(a) = -a**2 - a - 2. Let n be v(-2). Let f be 2 - (-4 - n - 2). Solve f*k - 7 = -l*o, -5*o = -4*o + 2*k - 5 for o.
-1
Suppose 333*p = 328*p. Solve 0*t + 2*k = -5*t, p = 3*t + 3*k for t.
0
Let l(z) = z**2 - 8*z + 18. Let n be l(4). Suppose 0 = 5*x - 0*x - 40. Suppose -d + 3 = -x. Solve 3*h + 4*a = -d, -n*h = -0*a + a - 1 for h.
3
Let v(o) = -2 + 0 + 0 + 2*o - o. Let c be v(4). Suppose -c*p + 24 = 5*i, i - 5*p + 4 = -2. Solve 3*l = 5*n - 18, 3*n + 4*l = -i + 9 for n.
3
Let k(i) = i**3 - i**2 + 1. Let f be k(0). Let v(x) = -x**2 + 1. Let h be v(f). Suppose 0*a - a + 20 = h. Solve -4*l = a, 2*b - 33 = 5*l - 0*l for b.
4
Suppose -4*i + 20 = 3*o, -10*o + 8*o = -3*i - 2. Solve -i*g - b + 2 = b, -b = 4*g - 13 for g.
4
Suppose 9*p + 5*p = 0. Solve 3*z + 4*w + 19 = p, 3*z - w + 0 - 1 = 0 for z.
-1
Let h(m) = m**3 + m**2 - 17*m + 5. Let t be h(-4). Solve 5*p - t = 0, 5*b = 6*p - 3*p - 15 for b.
0
Let k be 20/150 + 1093/15. Suppose 2*j + 24 = -d + k, -5*j = 5*d - 125. Solve 7*s - 2*s - 20 = 0, -4*n - 5*s + j = 0 for n.
1
Suppose -i - 89 + 120 = 0. Solve 0 = 3*x - 3*n - 10 + i, -2*n - 14 = 5*x for x.
-4
Suppose -5 = -4*r + 5*t, 3*r - 3*t = -0 + 3. Suppose l + r = 4. Solve l*k + 3*w = -0*w + 1, -2*k - 1 = 3*w for k.
1
Suppose 0 = 5*d - 4*h - 10 - 0, 3*d - 5*h = 19. Let f be 1 - ((-10)/d - 4). Solve -3*o + f*y - 1 = -y, 25 = -5*y for o.
-2
Let j(w) = -w**3 + 25*w**2 - w + 29. Let m be j(25). Suppose -3*i = m*p - 2*i - 15, -2*p - 3 = -3*i. Solve x + 1 = -n - n, p*n + 2*x - 1 = 0 for n.
-3
Suppose -10*n - 18 = -16*n. Solve -3*i - 4 = -t + n*t, 0 = -2*t + i - 12 for t.
-5
Let o = 39 + -68. Let v = 31 + o. Suppose -c + 4*c - 114 = v*z, -2*z - 34 = -c. Solve -3*x + c = -5*w, -2*x = -0*x + 5*w + 15 for x.
5
Suppose 0 = -r + 4*s - 7 - 3, 17*s = -4*r + 92. Let j(f) = f**3 - 3*f**2 + 2*f - 2. Let g be j(3). Solve -r*v + 3*v + 5*q = -22, -g*v = -3*q - 22 for v.
4
Let o be (4/(-5))/(19/(-95)). Let x be 1 + 21 + 4 + o. Let z be (-20)/x - 34/(-6). Solve 0 = -4*v - 5*q - 0 - z, 0 = 3*v + 4*q + 3 for v.
-5
Suppose -3*r - 3*c = 0, 0 = 2*r - 0*c - c - 6. Suppose 2*a - r*o = 8, a + 11 - 3 = -2*o. Solve 0 = 2*b - 5*p + 1, a + 5 = 2*b + p for b.
2
Let y = -12 - -38. Suppose -b = -5*o + 126, -o + y + 4 = -5*b. Solve -5*x - 10 = p, -2*x - 2*p = -7*x - o for x.
-3
Let u(a) = a**3 - 9*a**2 + 17*a + 10. Let x be u(6). Suppose -p + 4 = 3*q - 7, -x*q + 4 = 0. Solve -3*y - 7 = 2*g, g - p = 5*y + 8 for y.
-3
Let n(w) = w**3 - 7*w**2 + 6*w - 5. Let g be n(6). Let x be 1 - 3 - (-2 + g). Suppose 10 = x*b - 10. Solve 0 = b*l + 5*t - 21 + 4, 3*l + 16 = 2*t for l.
-2
Suppose 17 = g + 15. Solve -5*t + 9 = 2*f, 4 = -g*t - 5*f - 5 for t.
3
Let k = 1 + 2. Let s(g) = -1 + 0 - 3 + 3*g. Let m be s(k). Solve 7 = -2*v - 2*z + 3*z, 0 = -4*v + m*z - 11 for v.
-4
Let c(w) = -2*w + 24. Let u = -14 + 25. Let p be c(u). Solve 0*f - 2*s = 4*f + 18, -3*s - 15 = p*f for f.
-3
Suppose -2*k + 33 = -5*v, k + 3*v + 11 = -0*k. Solve 0 = 3*i, 2*r - k*i = -0*r - 4 for r.
-2
Let h be (-393)/9 - (-7)/(-21). Let m = -18 - h. Solve -10 = -2*z + 2*q - m, 0 = -2*q + 10 for z.
-3
Suppose -70 = -3*j - 2*r, 5*j = -2*r + 6*r + 124. Let c = j + -24. Suppose c = -5*d + 11 - 1. Solve -d*o = -2*u - 18, -u - 20 = 4*u for o.
5
Suppose 0 = -98*o + 97*o + 8. Suppose -3*i = s + 3*s - 2, i = 3*s - o. Solve s*f + 5 = 3*b, f = b - 3 + 2 for f.
2
Let u = 102 - 74. Suppose -4*w + u = -3*y, 6*w - 36 = 2*w + 5*y. Solve w = -4*a + 8, -3 = q - a for q.
-2
Let i = -72 + 41. Let p = 33 + i. Suppose -2*k = p*k. Solve -3*a = -6*a + r + 4, 5*a - 3*r = k for a.
3
Let d be (104/(-286))/(26/(-22) + 1). Solve -d*z - 12 = -3*g, -5*g + 7 = -3*g - z for g.
2
Let v be (-2 + 5 + -2)*0/3. Let q(b) = -b**2 + 3*b + 1. Let p be q(3). Solve -m + 2*c + p = -v*c, 3*c = 4*m + 1 for m.
-1
Let r(i) be the third derivative of i**4/12 - i**3/2 + 43*i**2. Let n = -11 - -15. Let p be r(n). Solve -2*g = 2*o - 0*o, 0 = 2*g - p*o for g.
0
Suppose -5*a + m - 1 = 0, 16*a + 3*m - 3 = 12*a. Solve 4*l - 20 = a, 1 = d + l - 1 for d.
-3
Let a be (-2 - 24)/13*5/(-2). Solve 0 = -2*p + a*w + 2, 5*p + 5*w + 22 = 2*p for p.
-4
Let g be 1 + 1/2*(-9 - -11). Suppose h - 5 = q, -2*h - 2*q = h. Solve -2 = h*w - 3*m, g*m = -w + m + 4 for w.
2
Let u(f) = 11*f - 2*f**3 + 7 + 0 - f - 3*f**2 + f**3. Let z be u(-5). Suppose 12 = z*w - 4*w. Solve -13 - 1 = w*c + 3*i, -2*c = 2*i + 8 for c.
-2
Let g be (-7*1)/(-3 - -4). Let t = g + 9. Let k be (4 - 4)/((-2)/t). Solve k*m = -3*q - 2*m + 4, 11 = 4*q - 3*m for q.
2
Let z(q) = -4*q. Let o be z(-1). Let t = 6 - o. Let c = -48 - -54. Solve x + 6 = -2*x - 2*h, x = t*h + c for x.
0
Let a be 8 - (9 + (0 - 5)). Suppose 5*s + 4*b = 6*b + 8, -8 = 3*s + 2*b. Solve -2*p = 3*t - p + 3, s = -3*t - a*p - 12 for t.
0
Let y = -3 - -4. Let q = y - 7. Let u = q + 10. Solve 6 = -4*w + 3*g, -2*w + g + u = 3*g for w.
0
Let c be 23/5 - 2/(-10)*2. Solve c*b - 21 = -n, 0 = -4*n - b + 8 for n.
1
Let l be (-2 + -3)/(1 - 2). Suppose -199*d = -200*d. Solve 4*k + d = l*y + 2, 2*k = 3*y for y.
2
Let w(a) = a**2 + 2*a - 13. Let m be w(-6). Suppose -m*f = -98 - 34. Solve 2*b - 5*t + 0 = -6, b + 5*t - f = 0 for b.
2
Suppose -1096*j = -1089*j - 63. Solve 0 = 4*u - c + 5*c - 28, 3*u + j = 3*c for u.
2
Let f(a) = 2*a**3 + 10*a**2 - 11*a + 16. Let n be f(-6). Solve 2*m - n = 4*c, -4*m - 2 = 4*c - c for m.
1
Let j = 12 + -7. Let m(x) = 2*x**2 + x - 2. Let b be m(-2). Let s = 