4 - 499. Solve 5*k - 20 = -t*z, 4*z - 18 = -4*k - z for k.
2
Suppose 6 = 3*t + 84*q - 89*q, 2*t - 4 = q. Solve 6*c + 24 = 4*o + t*c, -3*o + 5*c + 26 = 0 for o.
2
Suppose o + o = 42. Let a = -15 + o. Suppose 16*h - a = 15*h. Solve 3*c - 2 = 4*v, 4*c + h = 2*c - v for c.
-2
Suppose -b - 500 = -6*b. Let r(s) = s + 25. Let q be r(-22). Let y be (b/(-16) - q)*-4. Solve 0 = 5*k - x + 2*x - 20, -y = -4*k - 5*x for k.
3
Let w(p) = p**3 + p**2 - p - 3. Let d be w(-4). Let v = -42 - d. Solve -v*k = 3*l - 14, 0*l + 3*k - 2 = -5*l for l.
-2
Let s(m) = m**2 + 4*m + 2. Let i be s(-4). Suppose 0 = 2*f + i*f - 96. Let z = 26 - f. Solve -2*p = -7*p - 2*k, -z*p = k + 1 for p.
2
Suppose 4*k - d - 3*d - 24 = 0, -k + 2*d = -8. Solve k*o - 2*x - 22 = 0, 3*o = o + 4*x + 26 for o.
3
Suppose -2*x + 6*y = y - 35, -3*x + 24 = 2*y. Let f(s) = s**3 - 8*s**2 - 21*s + 18. Let i be f(x). Solve 4*a + 7 = -3*l, -2*l = -6*l - 5*a - i for l.
3
Let o = -497 - -501. Solve 25 = 2*c + 3*c + 4*k, 0 = o*c + 5*k - 20 for c.
5
Suppose -9*o + 10*o - 6 = 0. Suppose o*d - 11 - 1 = 0. Solve 3*l - t = 16, d*l + 4*t - 6 = -0*l for l.
5
Suppose -5*o + 185 + 45 = 0. Let t = o - 43. Solve 0 = 4*n - 0 + 12, t*b - 3*n = 18 for b.
3
Suppose 5*w + 6*w - 22 = 0. Suppose 2*j + 12 = 3*f, 5*f - 4*f - 8 = w*j. Solve 0 = -5*r - 2*g - f*g - 15, -3*g = 2*r + 6 for r.
-3
Suppose -14*h = c - 15*h, -3*h = c - 12. Solve 4*r - 15 = -c*y, -3*y - 5 = -4*y + r for y.
5
Suppose 21 + 0 = 7*i. Solve 0 = y - 2*w + 8, y - 2*w = i*w - 17 for y.
-2
Let v = -2 + 9. Suppose -v*u = -4*u + 9. Let t be (24/28)/(u/(-14)). Solve 3*r + 37 - 15 = 5*s, 4*r - t = 0 for s.
5
Let i be (-153)/6*(-4)/(-3). Let q = 38 + i. Solve -2 = -3*r + n + 3, q*r = n + 8 for r.
3
Let z be (1344/(-98) - -14) + 38/14. Suppose 4*k = k + 3*b + 18, 8 = 2*k - b. Solve k*n + m = -4, 4 = n + z*m + 1 for n.
-3
Let z(g) = -14*g - 42. Let o be z(-3). Solve 4*n - 5 = -3*d, o = 5*n - 2*n + 4*d - 2 for n.
2
Suppose 12 = -3*b, 12 = -3*p + 2*b + b. Let z(g) = -g**2 - 10*g - 11. Let j be z(p). Solve j*c - 20 = -0*c, -2*r - 3*c = -10 for r.
-1
Suppose -9*r + 283 = 688. Let u be r/(-30)*(2 + 0). Solve -u*g = -4*a - 0 - 3, 0 = 3*g + 5*a - 3 for g.
1
Let t be (-8)/(-3)*72/(-16). Let x be -4 + 69*(-4)/t. Solve -4*a = 3*v - 31, -v + 2 + x = 4*a for v.
5
Let v(h) = -h**3 - 4*h**2 + 5*h + 3. Let u be v(-5). Suppose 13 = c + u. Suppose -c + 2 = -4*l. Solve -3*z + 4*y = -2*z - 2, -l*z + 4 = 5*y for z.
2
Suppose -2*n - 2*n = -52. Suppose 20*d = 6*d + 336. Suppose 0 = 4*j - l - d, n = -3*l + 1. Solve 22 = -4*t + 2*h, 2*t = -h - 0 - j for t.
-4
Suppose 8 = -4*s + 4*a, 5*s - 21 = -a - 7. Let g(q) = 6*q**2 + q. Let d be g(-1). Solve -s*m - 3*z = 11, z + 24 = -d*m - 3*z for m.
-4
Let v be (-30)/(-8) - 6/8. Solve v*k - 7 = z, 5*z + 2*k + 18 = -0*z for z.
-4
Suppose 4*b = 3*b. Let k = b + -4. Let u(q) = -3*q - 10. Let i be u(k). Solve -s = -w + 5*w + 4, -4*w - i*s - 8 = 0 for w.
0
Let t(y) = -3*y - 3. Let j be t(2). Let o = j - -7. Let a be (-48)/(-20) - o/(-5). Solve -3*s = -3*z + a + 7, -4*s - 18 = -z for z.
-2
Let i(q) = q**2 - 5*q - 1. Let v be i(6). Let f = -178 - -181. Solve -v*y - u - 5 = 0, -5*y - 5 = -u + f*u for y.
-1
Let j(d) = 2*d**2 + 3*d - 103. Let w be j(-8). Solve 3*v - w = -2*z + 4*z, z + 3*v - 13 = 0 for z.
4
Suppose 2*o + 3*w - 3 = 5*o, o = 3*w - 3. Suppose -5*b + 3*b = 0. Solve -2*h - 10 = b, -3*m - 5*h - 25 - 3 = o for m.
-1
Let k be (3 + 0 + 0)*(7 + -6). Solve 5*m - s = 6*m, k*s = 15 for m.
-5
Suppose -1 = -3*o + 2. Let b be 9/18 + o/(-2). Suppose 14 = 7*z - b*z. Solve r - 4*r = -y - 5, 3*y + 8 = z*r for r.
1
Suppose 3*b = -g + 10, -3*b + 4*g + 12 = -8. Suppose -12 = -3*t, -3*x = -x - b*t + 10. Solve -x*v + 14 = n, 4*v + 6 - 23 = -n for n.
5
Let z(o) = -o**2 - 31*o - 28. Let l be z(-30). Solve -19 - 7 = -l*n - 5*f, n - f = -1 for n.
3
Suppose 5*w + 24 = 7*w. Solve 2*p - w = -0*p - h, 2*p = -5*h + 28 for p.
4
Let y(d) = -d**2 + d + 1. Let w be y(0). Suppose -2*v + 9 = -3*n, -n = v + n - w. Solve -v*s - 4*a + 0 = -1, 5*s + 5*a = 0 for s.
-1
Let b = 1135 - 1125. Solve -3*u - n = 4, -23*n - b = 5*u - 22*n for u.
-3
Suppose -9*v + 302 = 284. Solve -2*w - 3*n = -20, -2*n = -v*w + n - 4 for w.
4
Let f(a) = 3*a - 1. Let t be f(-4). Let v = t + 19. Let u be -2 - -13 - (-18 - -14). Solve 4*z + v*o - u = 3*o, -20 = z - 4*o for z.
0
Suppose -u + 2*n = -1 - 57, -u + 52 = n. Let x = -36 + u. Solve m = 3*r - x, 4*r + 0*r - 11 = -3*m for m.
-3
Let f(j) = 4*j**2 - j - 2. Suppose 0 = -2*s + s - 1. Let p be f(s). Solve -3 = 4*q - 0*c - 3*c, 5*q + p*c - 3 = 0 for q.
0
Suppose 0 = -5*a - 4*d + 5, -4*a - 2*d = 2*d. Suppose -8*k + 4*k - 2*h - 6 = 0, -15 = -4*k + 5*h. Solve -l + 3 = 0, l - 3 + k = a*p for p.
0
Let t(u) = -4*u**3 + 31*u**2 + 10*u - 16. Let c be t(8). Let v be 8/3 - 2/3. Suppose 0 = -g - v + 6. Solve 10 = z - g*j, c*j + 2 = 5*z + 4*j for z.
2
Let o(t) = -t**2 + 4*t - 3. Let u be o(1). Suppose -j - 11 = -3*s - 2*s, u = j + 2*s - 10. Solve 16 = -z - 3*z + v, j*v - 9 = 5*z for z.
-5
Let y(f) = f**3 - 20*f**2 + 95*f + 15. Let n be y(12). Solve n*a = -k + 4, k + 5 = a + 1 for k.
-2
Let r(c) = -c**2 + 4*c + 13. Let n be r(5). Suppose -10*u + n = -9*u. Solve -4*m - 4*d - 8 = 0, 2*m + m = -4*d - u for m.
0
Suppose 2*k + 3*n = 4*k + 8, 5*n - 30 = -5*k. Suppose 0*s = 5*s + 4*m - 2, 3*s - k*m = 10. Solve 0*y = -2*b + s*y + 10, b - 5*y = 5 for b.
5
Suppose 4*f - 2*g - 10 = 0, 14*g - 18*g - 4 = 0. Solve -k - 4 = 2*l, 8 = f*l - 6*l - 4*k for l.
-2
Let c be (5/(-3))/((-1)/(-24)). Let t be (15/12)/((-5)/c). Solve 5*b + i - 25 = 0, -3*b + 2*i - t = -5*b for b.
5
Let b(n) = 6*n - 135. Let s be b(23). Solve 4*i - 10 = 2*o, 2*i = s*o - 1 - 0 for i.
4
Suppose 0 = y - 14*y + 65. Solve -y*v = 2*b + 2*b - 10, 2*v - 21 = -5*b for b.
5
Let i(d) = d**3 - 11*d**2 + 9*d + 15. Let s be i(10). Suppose -6*o + s*o + 3 = 0. Solve -3*f + 6 = o*c, -6*f + 2 = -f - 3*c for f.
1
Let j be 18/(-4)*(-10)/(-15). Let k be (1 + 1/j)*3. Solve -16 + 0 = 5*p + 4*r, 0 = -k*p + 4*r - 12 for p.
-4
Let n(k) = -k**2 + 31*k - 81. Let v be n(28). Solve -x + v*z = -13, 2*x = 3*z - 7*z - 4 for x.
4
Let z = -81 - -97. Suppose -11*o + 9*o + 5*h = 0, 0 = 4*o - 2*h - z. Solve l - 4*n + 19 = 0, 2*l + o*n = -l + 28 for l.
1
Let c = -5569 + 5596. Let d = -2 - -5. Solve -f - 10 = -4*q + 14, c = -3*f + d*q for f.
-4
Let g(q) be the first derivative of -q**2/2 + 13*q - 8. Let m be g(9). Solve -4*i + 11 = -x, i + 7 = -x + m*i for x.
5
Let s be 85/2 - 15/10. Suppose s + 9 = 5*z. Solve 4*n = 8, 5*r - z = -2*n + 4 for r.
2
Suppose 0 = 4*f, -5*o + 0*f + 30 = -5*f. Suppose 3*s + o = 2*p, -2*p = -4*s - s - 6. Solve p*n + 18 = -0*n - 5*k, 7 = 5*n - 4*k for n.
-1
Let a be 0 + ((-10)/30 - 14/(-6)). Suppose -2*i + 4*t = -4, -3*i - 5*t - a = 3. Let z be 10/4*(1 - -9). Solve 2*g + 20 = 4*o, 5*o + i*g - g = z for o.
5
Let a(i) = 3*i - 10. Let o be a(-6). Suppose 254 - 89 = 5*u. Let t = u + o. Solve t*c - p + 12 = 0, c + 2*p - 8 = -3*p for c.
-2
Let z(f) = -f**2 + 3*f - 1. Let v be z(1). Suppose -3*x + 0 + v = -4*y, 2*y - x = 1. Solve -5*s + 6*k + 20 = k, -y*s + 3*k = -9 for s.
3
Suppose -4*j = -i + 5*i + 20, i + 5*j + 9 = 0. Let r be -1*2 - (i - -2). Suppose 5*z - 3*z - 24 = r. Solve 4*f = z, 3*s - 3*f + 21 = -f for s.
-5
Let l(h) = -2*h - 34. Suppose 5*f = 25, 0 = 5*w - 6*w + 4*f - 38. Let v be l(w). Solve v*n - 3*s + 3 = 0, 0*n - 5*n + 3*s = 3 for n.
0
Suppose 2*j = 2*d - 8 + 2, -4*d - 5*j - 6 = 0. Solve 8 = -x + 4*x - 4*s, -4*x - d = -3*s for x.
-4
Let z(j) = -2*j**2 + 2*j + 5. Let t be z(-3). Let v = t - -22. Solve -v*b - 4*x = -7 + 27, 4*b = x - 14 for b.
-4
Let w(k) = -6*k + 42. Let b be w(7). Solve -4 = -2*u + 2*y, b = -9*u + 4*u - 5*y + 30 for u.
4
Suppose 1 = g - 4. Suppose 2*o = -y + 6*o + g, -4*y = 2*o - 38. Suppose 0 = -f + y - 4. Solve 3*a = -2*k + 5*a, -f*a + 24 = 3*k for k.
3
Let n(u) = -16*u + 69. Let o be n(4). Solve 3*v = -3*z + 9, 0*z = o*z - 5*v - 35 for z.
5
Let j(g) = 4*g**2 - 26*g - 9. Let d be j(7). Solve 3*l + d = 5*a + 32, -2 = l + 2*a for l.
4
Suppose 0 = 3*q - 4*y, 6*y - 3*y = -3*q + 21. Let f = 0 + 0. Solve f = q*o, -o = 5*i - 3*i - 4 for i.
2
Let h = 98 + -96. Solve 2*n + h*g = 2 - 0, 5*n - g = 17 for n.
3
Suppose 5*v - 34 = -3*n, -15 = -v - 3*n - 1. Suppose -5*w = 3*h - v, -h - 3*h = 5*w. Solve -w*r = -s + 5*s + 12