1. Suppose -8 = 3*a + p*k, -5*k + 1 = -a + 21. Solve 4*l - 2*l = a for l.
0
Let m(c) = 3*c**2 + c - 1. Let d be m(-2). Solve -2*b + 5*b - d = 0 for b.
3
Let a = -13 - -20. Suppose a*v = 2*v + 10. Solve 1 = 3*t - v for t.
1
Let o be (0 - 8)/(-2) + -32. Let k = 53 + o. Solve -8*y = -3*y - k for y.
5
Let d(k) = 2*k**2 + k + 1 + 4*k**2 - 3*k. Suppose -g - 1 = -2. Let f be d(g). Solve 2*p = -f + 3 for p.
-1
Let t = 5 + 1. Suppose -5*v - t = 2*b, -6*v = -3*v + 6. Let g be b/(-4) + 2/4. Solve 0 = 5*i - g*i for i.
0
Suppose -17*a = -13*a - 20. Solve -a = -q - 0 for q.
5
Suppose 3*n + 0*n = 33. Solve 3 - n = 2*b for b.
-4
Let u(s) = s**2 + 5*s. Let x be u(-6). Let b(a) = -5*a - 4. Let f(l) = -l. Let j(i) = b(i) - 6*f(i). Let d be j(x). Solve d = -c + 7 for c.
5
Let s be 2/9 + 142/9. Let z be (-3)/(-4) + 4/s. Let k = z + 11. Solve v - 5*v = k for v.
-3
Let d = 45 - 45. Solve 3*w - w = d for w.
0
Let d(k) = 2*k - 6. Let r be d(5). Suppose -4*b - r = 4, 4*y + 3*b = -50. Let w = -7 - y. Solve -w*v = -0*v + 8 for v.
-2
Let s = 18 - 13. Solve 0*m - s = -m for m.
5
Let o be (-2)/(-6) - (-33)/9. Solve d + 20 = -o*d for d.
-4
Let b(k) = -5*k**2 + 5*k + 2. Let s(o) = 4*o**2 - 4*o - 1. Let h(r) = 5*b(r) + 6*s(r). Let v be h(0). Solve q + 15 = -v*q for q.
-3
Suppose -3*z + 20 = z. Let l = 3 - z. Let b = l - -4. Solve 7 = 3*d - b for d.
3
Let o(c) = 12*c**2 + 2*c - 1. Let s(y) = y**3 + 4*y**2 + 2*y - 2. Let d be s(-3). Let h be o(d). Solve -2*i - h + 3 = 0 for i.
-5
Let v(r) = r**2 + 7*r - 15. Let i be v(-9). Solve -i = -3*n - 12 for n.
-3
Suppose -2*n - 65 = -5*s + 17, 4*s - 67 = 3*n. Let r = 5 - 7. Let b(o) = -o**3 - o**2 + o + 2. Let x be b(r). Solve s = -0*z + x*z for z.
4
Suppose -3*c = -6*c + 9. Suppose -c*r + 17 - 5 = 0. Solve a + r*a + 10 = 0 for a.
-2
Suppose 3*b - m = 47, -35 = -2*b - m - 2*m. Let n be 8/(4*2/b). Let g be (1/(-2))/((-1)/2). Solve -g + n = -5*h for h.
-3
Suppose -c - 2*c = -6. Solve c = -b + 3 for b.
1
Let s(u) = u**2 - 2. Let h be s(-2). Suppose h*m = 4*m. Solve -3*b + 2 + 7 = m for b.
3
Let j(r) = -r**3 - 15*r**2 + 17*r + 18. Let g be j(-16). Solve -7 = g*b + 1 for b.
-4
Let x(k) be the third derivative of k**5/60 + k**4/12 + 3*k**2. Let v be x(-2). Solve 2 = z - v for z.
2
Suppose 4*o = -17 + 65. Solve o = 4*r - 0*r for r.
3
Let k(u) = -u**2 + 8*u - 4. Let w be (0/2)/(5 - 3). Suppose -2*t + 8 - 2 = w. Let b be k(t). Solve 5*f - 9 = b for f.
4
Let l = 1 + 4. Solve -1 + 11 = -l*j for j.
-2
Suppose m + 10 - 13 = 0, 3*t - m = 15. Let q(s) = -3*s + 10 + 4*s + 0. Let x be q(-7). Solve -x*z + t = -9 for z.
5
Let n(a) = -a**3 - 5*a**2 + 8*a + 18. Let i be n(-6). Let v = 31 - 16. Solve m = i*m - v for m.
3
Let u(t) = -t - 1. Let h = 4 - 8. Let a be u(h). Let r be (5 + -3 + -2)/1. Solve r = a*w - 4 + 10 for w.
-2
Let a(b) = 4*b**2 - 3*b + 2. Let r be a(1). Suppose 2*j - r = 5. Solve -2 + j = -k for k.
-2
Suppose 7*s - 15 = 2*s. Solve s*i + 2 - 14 = 0 for i.
4
Suppose 2*w - k - 8 = -3, 19 = 5*w + 4*k. Solve q - w = -0*q for q.
3
Suppose -4*j - p + 1 + 66 = 0, -5*j = p - 83. Solve 3*s - j = -1 for s.
5
Let l(j) = j - 19. Let w be l(9). Let x = w + 16. Solve x = -2*d - 0*d for d.
-3
Suppose -2*a - 3*o + 12 = 0, -5*o = -3*a - 4*o - 4. Suppose 4*s = -a*s + 20. Solve 9 = s*f - 11 for f.
4
Let p(i) be the first derivative of i**3/3 - 3*i**2 - 5*i - 1. Let o be p(7). Suppose -4*w + 144 = 5*w. Solve w = 2*n + o*n for n.
4
Suppose -8*z = -3*z. Let v be z - 4 - (-5 - 0). Solve -v - 2 = -j for j.
3
Let k(g) = g**3 + 8*g**2 + 6*g - 6. Let f be k(-7). Solve -f = 5*z + 14 for z.
-3
Let b(r) = -7*r - 8. Let f(m) = 6*m + 8. Let s(y) = 5*b(y) + 6*f(y). Suppose 2*n + q + 23 = 5, -30 = 5*n - 5*q. Let h be s(n). Solve h*z - 1 = -z for z.
1
Suppose -3*j = -2*j - 2. Suppose j*x - 15 = -5. Suppose x*i - 2 = 3*h + 19, i + 4*h = 18. Solve -i + 2 = q for q.
-4
Suppose 18 = 4*o + 2*h, 2*h = 2*o + 5*h - 15. Solve o*n = -0*n - 15 for n.
-5
Let d = 6 - -12. Suppose 66 - d = 4*a. Solve -4*i - 4 = a for i.
-4
Suppose -2*g = 4*f, 2*f = 4*g - 56 + 6. Let t be (-4)/(-10)*2*5. Suppose 4*w - 23 = 17. Solve -t*d - g = w for d.
-5
Suppose 3*i = -m + 9, -2*m - 3*m = -15. Suppose 0 = t + h - 2, 0 = -t - 0*t + i*h + 2. Solve t*x + 12 = 5*x for x.
4
Suppose 2*j = -2*j. Let l = 52 - 49. Solve j = -d - 0*d + l for d.
3
Suppose 2*n = 4*k + 16, k - 2*k = -n + 10. Suppose n = 4*m + 2*l, 4*l = 5*m - l. Suppose 7*q = m*q. Solve q = i + 3*i for i.
0
Let t(j) = -j**3 + 9*j**2 - 9*j - 9. Let i be t(7). Let h = -19 + i. Solve h*u = 4*u - 12 for u.
-4
Suppose 2*s - 5 = -3*s. Let u be 1 - -2 - (s - 0). Solve -u = 3*v + 1 for v.
-1
Let t(u) = -u + 1. Let j be t(-1). Suppose -w - 3*p = -2*p - 3, j*w - 4*p + 12 = 0. Solve 3*x - x - 10 = w for x.
5
Let c(m) = 4*m + 2. Let k be c(-2). Let b(l) = -l**3 - 7*l**2 - 6*l + 2. Let f be b(k). Solve 3*o + 8 = f for o.
-2
Suppose 4*v = 3*v - 2*p - 4, -3*v - 10 = 4*p. Let r be (-13 + 3)/(1*v). Solve -r*w = 13 - 3 for w.
-2
Let q(z) = z + 19. Let c be q(-14). Solve 4 + 1 = c*r for r.
1
Let b be 4*(-11 - (4 + -8)). Let y be 7/(b/(-16)) + 1. Solve y*j = 2*j + 15 for j.
5
Suppose -4*x + 4 = -4*y, 2*y + 12 = x + 3*x. Suppose 17*k - 14*k = 0. Solve k = 3*n + n - y for n.
1
Let w be -4*((-3)/2)/3. Suppose m + 5*u - 8 = 2*m, w = u. Let q be (-2)/2 + m + 1. Solve -2*n + q - 8 = 0 for n.
-3
Suppose -3*z + 69 - 63 = 0. Solve -z*d + 3*d + 2 = 0 for d.
-2
Suppose 13*d - 64 = -12. Solve -4*x + d = -16 for x.
5
Suppose -5*t + 2*t - 2*x + 16 = 0, 2*t - 17 = 5*x. Let h = t + -1. Suppose 2*n - h = 1. Solve -n*g = -7*g - 12 for g.
-3
Suppose -3*n = c - 3 - 30, -2*c = -n + 4. Let s be -5 + n + (3 - 6). Solve -s*o = -3*o + 2 for o.
2
Suppose -3*o - 2*d - 7 = 0, 5*o - 4*d - 34 = -9. Suppose g = o - 0. Suppose 2*c - 3 = g. Solve -4*z + 2*z + c = 0 for z.
1
Suppose n - 10 = 3*n, -4*n = 5*c + 10. Solve 20 = 6*b - c*b for b.
5
Let x = -8 + 17. Suppose b = x + 2. Solve -4*d + 1 = -b for d.
3
Let d(k) = -k**2 + k + 8. Let a be d(0). Suppose 0 = 4*q - i - a, 2 = -q + 2*q - 3*i. Solve -4*v + q - 10 = 0 for v.
-2
Let t be (8/(-6))/(3/(-9)). Solve -6 = -t*g + 2*g for g.
3
Suppose -4*p + 4*t = -p - 83, 2*p = t + 47. Suppose 0 = 4*o + 4, 2*o + p = 4*f + 5*o. Solve 0 = -c + f*c - 20 for c.
4
Suppose -b - 25 = 5*r - 2*b, 4*r = 4*b - 36. Let i = r + 4. Solve -2*n = -i*n for n.
0
Let p(c) = -2*c - 36. Let g be p(-18). Solve g = -2*w - 0*w + 6 for w.
3
Let u be 4 + 0/(-4 + 2). Solve -u = 3*q + 5 for q.
-3
Let y(l) = 2*l**2 - 21*l + 13. Let v(n) = n**2 - 11*n + 6. Let x(c) = -5*v(c) + 3*y(c). Let t be x(7). Let p be t*(0 - -1) + 1. Solve -6*k = -p*k + 15 for k.
-5
Let n = 46 + -41. Let l = -2 + 7. Let w = l - n. Solve -1 = -z - w*z for z.
1
Let j(i) = -4*i - 12. Let u(f) = 3*f + 12. Let g(w) = 4*j(w) + 5*u(w). Let d be g(7). Solve 0 = d*q - 4*q - 4 for q.
4
Let q = 8 - 2. Let d be 0/(-3*4/q). Let b(c) = 2*c**3 - 8*c**2 + c - 1. Let i be b(4). Solve -3*j = -d*j - i for j.
1
Let s(d) = -d**2 - 12*d + 23. Let a be s(-13). Solve 0 = 3*p + 2*p - a for p.
2
Let w = 143 - 136. Solve -w + 32 = 5*m for m.
5
Let q(k) = -k**3 - 4*k**2 - k - 1. Let v be q(-4). Solve v*j = -0*j - 6 for j.
-2
Suppose 5 = j + 1. Suppose 3*m - 21 = 5*v, -j = 2*v - m + 2*m. Let n = v + 3. Solve 2*t + 2 - 4 = n for t.
1
Let g be (4/(-5))/(14/(-35)). Solve -5*b + 8 = -g for b.
2
Let n be (3 + (-15)/10)*4. Solve -1 = 5*v - n for v.
1
Let i(h) = 178*h. Let k be i(-1). Let s(d) = -3*d**2 + 20*d + 21. Let b be s(9). Let n be k/(-7) - (-18)/b. Solve -n = 2*q + 3*q for q.
-5
Let d = 37 + -29. Let m(t) = t + 3. Let q be m(-3). Suppose 0*v = -g + 4*v - 1, q = -3*g - 3*v + 12. Solve d = g*f - f for f.
4
Suppose 2*d + 18 = -d + 2*n, -2*n + 10 = -d. Let x be 1 + d/(8/(-6)). Suppose 0 = -5*t + 4*s + 34, 3*t - 6*s - 34 = -7*s. Solve t + 2 = x*o for o.
3
Let s(b) = b**3 + 5*b**2 + 5*b. Let x be s(-4). Let n be x/10 - (-48)/20. Solve -5 = n*p - 15 for p.
5
Suppose -3*b = -b. Let t(u) = u**2 + 20. Let k be t(0). Solve -d - 3*d + k = b for d.
5
Suppose 5*j = -4 + 74. Let b = -8 + j. Solve 0 = -v - v + b for v.
3
Suppose -3*t + 5*r = 2*r - 9, 0 = 2*t + r - 3. Solve h + t*h = -3 for h.
-1
Suppose 2*g = 3*m - 15, 3*m - 3*g - 15 = -0*g. Let d be (1*130)/(-2)*-1. Suppose c - d = -5*a - 4*c, m = a + 5*c. Solve i + 2*i = a for i.
5
Let k(o) = -o**2 - 4*o - 1. 