pose 0 = -p*c + 5*c + d - 114, 4*c = -3*d + 100. Let y be (-4)/8 + c/4. Solve y*k + 20 + 0 = 0 for k.
-4
Let j = -17 + 20. Solve -3*d + 9 = -j for d.
4
Let o be (-68)/(-8) - 2/4. Let h be (o/6)/((-8)/(-12)). Solve -h - 3 = 5*p for p.
-1
Let u(f) = -f + 11. Let g be u(8). Solve g*l = 7*l for l.
0
Suppose 2*m + 4 = q + 1, 15 = 2*q + 5*m. Solve 0 = q*o - 5 - 0 for o.
1
Let q(n) = -n**3 - 10*n**2 - n - 7. Let u be q(-10). Suppose f + f = -4*c + 82, -u*c + 61 = f. Solve 2*d = -3*d + c for d.
4
Let q(u) = -4*u - 5. Let d be q(-2). Let y be -1 + 0 - (-4 - -1). Suppose -d*p = -4*p + y. Solve -7*g = -p*g for g.
0
Let p = -26 + 34. Solve 3*m = -m + p for m.
2
Suppose 4*n + 3*i - 47 = 0, n - 5*n = -3*i - 65. Suppose 0*k - 2*k = 4, s - n = -k. Solve -5*a - 41 = -s for a.
-5
Let s(m) = m**2 - 4*m - 2. Let x be s(6). Let u be (-4)/(-4)*1*x. Solve -u = -z - 4*z for z.
2
Let z = 9 - 4. Suppose u = z*u. Solve u*q + q + 5 = 0 for q.
-5
Suppose -39*w + 33*w = -42. Solve -3*z - 4 = -w for z.
1
Let x be -3 - -1 - (-8)/4. Solve x = -8*s + 5*s + 6 for s.
2
Let c be 0 + 1 + (-13 - 1). Let u = c - -21. Solve 2*w - u = -0 for w.
4
Suppose 8*g = 3*g. Suppose p + 6 - 18 = g. Solve 0*b - 4*b = -p for b.
3
Let n be (-4)/18 + (-80)/45. Let a = n + 3. Solve -16 + a = 5*h for h.
-3
Let g be -3*(-3)/9 + 4. Let v = g - 3. Suppose v*p = 11 - 5. Solve -p*o + 2 = -4*o for o.
-2
Let a(y) = y + 1. Let t be a(-9). Let c be t/36 + 20/9. Solve -2*g = c + 2 for g.
-2
Let d be ((-6)/4)/((-2)/4). Suppose f = a + d + 5, -3*f + 38 = 4*a. Let z be (-12)/2*(-2)/3. Solve -z*u + f = -2 for u.
3
Suppose 25*q = 29*q - 8. Solve q = p - 1 for p.
3
Let q(u) = -u**3 + 5*u**2 - 5*u + 6. Let j be q(4). Suppose 7 = -3*r + 52. Suppose 4*m + d + j*d - r = 0, -4*d = m - 20. Solve 10*f - 5*f - 10 = m for f.
2
Suppose 4*b + 2*b = 0. Solve -3*r + 12 + b = 0 for r.
4
Let p(w) = -w**2 + 5*w + 2. Let j be p(4). Solve 2 = 4*v - j for v.
2
Let y(b) = b**2 - b + 4. Let s = -10 + 10. Let d be y(s). Solve 0 = d*a - 23 + 7 for a.
4
Suppose -5*g + 3*v = -106, 2*g - v - 20 = 22. Suppose o = -2*o. Solve -n - 3*n + g = o for n.
5
Let d be 1 - 5/(-1)*-7. Let i be 9/(-36) - d/8. Solve g = -i + 2 for g.
-2
Suppose 3*z = 5*z. Solve -u - 5 = -z*u for u.
-5
Let t = -2 + 4. Let h be (1 + -1)/((-4)/t). Solve h = 2*s - 2 + 8 for s.
-3
Let j(u) = u**2 + 2*u - 3. Let q = 5 + -7. Let s = -6 - q. Let f be j(s). Solve f*o - 2 + 22 = 0 for o.
-4
Let v = 37 + -33. Solve 10 = v*y + y for y.
2
Suppose -18*l + 13*l = 0. Solve l*k = 3*k for k.
0
Let z be (1/2)/((-1)/(-6)). Solve 6 + 0 = z*i for i.
2
Suppose 3*m = 5*m - 10. Let b(o) = -o**2 + o + 2. Let c be b(0). Suppose -m = c*w - 3*w. Solve -1 = -2*u - w for u.
-2
Let q be 18/2*2/6. Suppose p = -2*o, -4*p - 6 = -4*o + 6. Suppose 2*w = q*w - o. Solve 9 - w = -2*h for h.
-4
Let q be (-188)/28 + 6/(-21). Let y = -3 - q. Solve -c + 3*c = y for c.
2
Suppose -4*c + 54 = -c + 4*z, -4*c = 4*z - 68. Solve 5*b = c - 4 for b.
2
Suppose 3*b + 4*g = 44, 2*b = -0*b - 4*g + 36. Solve 3*l - b - 7 = 0 for l.
5
Let v(j) = -2*j + 3*j + j**3 + 7*j**2 - 3 + 10. Let f(p) = -p**2 - 7*p + 1. Let m be f(-8). Let w be v(m). Solve 0 = -2*r - w*r - 10 for r.
-5
Let k = 4 - 4. Let h be (k - 1)/(2/(-4)). Solve 5*l - 18 = h for l.
4
Let x be (0/(-1 - 2))/2. Solve 2*v + 3*v = x for v.
0
Suppose 3*y - 17 = -5. Solve 3 + 13 = -y*l for l.
-4
Suppose v + 0 - 3 = 0. Solve 1 + v = -4*n for n.
-1
Suppose -9 = -2*u + b + 2, -3*u + 9 = b. Solve -5 - 3 = -u*p for p.
2
Let k(p) be the second derivative of -p**4/12 - 5*p**3/6 + 3*p**2/2 + 3*p. Let a be k(-5). Solve -4*z + 5 = -a*z for z.
5
Let b(k) = -17*k - 6. Let p(i) = -6*i - 2. Let v(m) = 4*b(m) - 11*p(m). Let g be v(-2). Let a(u) = u + 5. Let h be a(-5). Solve -3*c + 1 + g = h for c.
1
Suppose -2*a + 4 = x - 2, 2*x + 23 = 3*a. Let u(k) = -5*k**2 + 2*k + k**3 - 5 - 3 + 1. Let t be u(a). Solve t = -l + 5 for l.
2
Suppose 15*t - 2*t = 65. Solve 0 = 3*w - t*w + 10 for w.
5
Let f be -16 - (-2)/(4/2). Let k be 2/(-5) + (-156)/f. Suppose -11 = -3*u + 2*c, -4*c - 15 = -4*u - 3. Solve -u*v = -0*v + k for v.
-2
Suppose 2*l + 63 = -l. Let m = l + 26. Solve 5 = -m*o - 5 for o.
-2
Let c(k) = k**2 - 8*k + 14. Let r be c(6). Solve -d - 4 = -r*d for d.
4
Suppose 2*v - 2*k = -0*v - 52, v + 18 = -3*k. Let j(a) = -2*a + 4. Let p be j(4). Let r be (-6)/v - 35/p. Solve -4*o = -o + r for o.
-3
Let z be (0 + -5)/(5/(-2)). Solve 0 = z*l - 7*l for l.
0
Let a(o) = 4*o**3 - 14*o**2 + 17*o - 6. Let n(d) = 5*d**3 - 14*d**2 + 18*d - 5. Let g(r) = 4*a(r) - 3*n(r). Let j be g(13). Solve -j*w = -0*w - 8 for w.
2
Let s(l) = l**2 - l. Let d(r) = r + 1. Let j(f) = 3*f - 3. Let n(g) = -2*d(g) + j(g). Let t be n(5). Let a be s(t). Solve a = -3*z + 2 + 4 for z.
2
Let s = 8 - 3. Suppose s*p = -20, 6*p - p + 20 = -4*h. Suppose -l + 10 = 4*l. Solve h*d = 2*d - l for d.
1
Let t be (8/10)/(4/(-70)). Let s be (-63)/t*(-4)/(-6). Suppose -2*a = -11 + s. Solve 0*j - 4 = -a*j for j.
1
Let h be 1 - (58 - 1 - -2). Let p = -28 - h. Suppose -p = -5*w + 5*d, 13 = w + 3*d - 1. Solve 3*t - 4 = w for t.
4
Let g = 14 - 12. Suppose 4*z = -g + 6. Solve 0 = 4*l - z + 13 for l.
-3
Suppose 7 = 4*i - 9. Let f(s) = -6*s + s**2 + i*s + 0*s - 4. Let y be f(4). Solve -y*x = -2*x for x.
0
Suppose -g + 2*g = 0, -2*h + 8 = -2*g. Suppose -2*v + 0 + 4 = 0. Let b(c) = -c**2 - 3*c + 4. Let r be b(-4). Solve r = -2*d - v*d - h for d.
-1
Suppose -j + 11 = -5*k, 0 = -2*j - k + 7 + 4. Solve j = -2*o + 2 for o.
-2
Suppose 3*t = -4*n + 32, 3*t = 2*n + 6 - 4. Let q be t/(-18) - (-146)/9. Suppose -4*y - q = -2*r - 8*y, -2*r + 18 = 5*y. Solve -8*m + r*m + 12 = 0 for m.
3
Suppose -15 - 1 = -3*h - 4*b, 0 = -h - b + 5. Suppose h = n + n. Suppose 0 = -n*u + 6. Solve -u*c + 10 = -2 for c.
4
Suppose -2*z = -h + 1, -3*z + 5 = -2*z + 5*h. Suppose z*u + 4 = u, 3*u = 3*s + 9. Solve -y - s = -0*y for y.
-1
Let a(r) = 21*r - 15. Let j(s) = -11*s + 8. Let q(z) = 4*a(z) + 7*j(z). Let d be q(4). Suppose 37 = 5*b - 4*g, 2*b = 3*g - 6*g + d. Solve -b = -0*k + 3*k for k.
-3
Let l = 30 + -28. Solve l*m - m - 2 = 0 for m.
2
Let u = 8 + -13. Suppose -5*f = h - 3 + 51, -12 = f + h. Let i = u - f. Solve i = -l - l for l.
-2
Suppose 6*l + 3 = s + l, 0 = 3*l. Let r be 7 + 1/(s/(-3)). Suppose -b = -r - 4. Solve -a = a - b for a.
5
Let i(n) = 5*n**2 + n + 1. Suppose 0 = 5*z - 2*c + 18 - 3, 3*z = -3*c + 12. Let u be i(z). Suppose -u*a + 5 = 0, 14 = 4*v + 2*a + 4. Solve 15 = v*t + 3*t for t.
3
Let g(m) = 4*m - 1. Let k be g(1). Suppose -5*r = -k*r - 16. Suppose -d + 3*s - 6*s = -15, 0 = 4*d - s - r. Solve 0 = d*c + c + 16 for c.
-4
Suppose 13 = 4*r - 15. Let i be r/(3/(-3 - -6)). Solve -2 = -3*s + i for s.
3
Let p(j) = j. Let l be p(0). Suppose 0 = 3*x + x + m - 53, l = -x - 5*m + 37. Solve -4*v - 8 - x = 0 for v.
-5
Let s(r) = r**2 - 10*r + 13. Let m be s(9). Suppose -10 = -3*i - m. Suppose 13 = h + i. Solve h*f - 6*f = 0 for f.
0
Let m(k) = 2*k - 1. Suppose -a = -2*t, -2*t - 1 = -2*a + t. Let v be m(a). Solve -v*y = y for y.
0
Let o = 17 - 12. Suppose 2*d - o = 3. Solve -d*f = -3*f + 1 for f.
-1
Let d = 24 + -16. Solve 0*p = -2*p - d for p.
-4
Suppose -65 = 3*v - 2*h, 5*v = 5*h - 103 - 7. Let l be (-2)/7 + (-6)/v. Suppose -m + 5 - 2 = l. Solve 6 - 21 = -m*n for n.
5
Let x(b) = -4*b**2 - 28*b. Let c be x(-7). Solve c = 12*s - 17*s - 5 for s.
-1
Suppose -4*a - 3*p + 7 = 0, 7 = -0*a + 3*a + 4*p. Solve 1 + a = -q for q.
-2
Let c(k) be the first derivative of -3*k**4/4 + k**2/2 - 2. Let z(s) = -s - 4. Let h be z(-3). Let y be c(h). Solve -y*f + 10 = 2 for f.
4
Suppose 2*m = 4*m - 10. Suppose -1 - m = -c. Suppose -c*p = -b - 2*p - 15, b - p = 0. Solve 4*k - b*k + 3 = 0 for k.
3
Let c(x) = -17*x**2 + x. Let j be c(1). Let y = j - -30. Suppose -m = 5*d, -3*m - 21 = -7*m + d. Solve m*t = -y - 6 for t.
-4
Suppose -59 - 4 = -7*h. Solve -o - h = 2*o for o.
-3
Let a be (10/(-5))/((-2)/5). Let p = a + -5. Solve 0 = -p*s + 5*s - 10 for s.
2
Suppose 5*p = 8 + 2. Suppose -s - 2*j = -9, 0 = -p*s + 2*j - 3*j + 12. Solve -s*m = -m + 20 for m.
-5
Suppose 3 + 3 = -m. Let o be ((-8)/m)/(2/9). Solve -2*n + o*n = 0 for n.
0
Let d(y) = -y**2 - 7*y - 6. Let z be d(-6). Suppose 2*s + 3 = 4*s - 3*m, 3*s = -2*m - 2. Suppose s*x - x = -6. Solve z = 2*b - x*b for b.
0
Let i(k) = -k**2 + 9*k + 12. Let u be i(10). 