
Suppose 0 = -4*k + 5*p + 29, 49 - 17 = 5*k - 2*p. Let m = k - 3. Solve -20 = b + m*b for b.
-5
Let a(s) = s - 3. Let c be a(4). Let r be (-6)/(-12) - c/(-2). Solve 2*w + 1 = -r for w.
-1
Suppose -3*c = -i - 3, 0*c + 2*c + 2*i = 2. Solve -v + 3 = -c for v.
4
Let x = 3 + -1. Suppose x*w = -w. Solve -4*b - 4 = -w*b for b.
-1
Suppose 3*i + 3 = 4*s - 3, -2*i - 5 = -3*s. Solve 2*k + 3 = -s for k.
-3
Let h be 2/4*(-4 - -4). Let z be ((-4)/(-12))/(1/3). Let q be 6 - 1*(2 - z). Solve 0 = -5*k - h + q for k.
1
Suppose 0 = 4*n - n. Suppose 4*k + n*k = -4*x, 5*k + 10 = 0. Suppose 0 = -f + 1 + 3. Solve -x*t - f = -0 for t.
-2
Let o = 2 - 1. Let z be ((-12)/o)/(-2) + -2. Suppose 0*v + 8 = z*v. Solve v*h + 0*h = 2 for h.
1
Let i(v) = -v**2 + 9*v - 10. Let r be 12/(-6) - 18/(-2). Let m be i(r). Suppose -4*g + 66 - 18 = 0. Solve m*y + 4 = -g for y.
-4
Suppose -2*n + 3 = n. Suppose 0 = 3*o - n + 16. Let l = o + 5. Solve -z + 0*z - 1 = l for z.
-1
Let k = -5 + 13. Suppose 0 = -k*q + 7*q + 2. Solve 3*r + q = r for r.
-1
Let p be 18 + -3 - 6 - 2/1. Solve p*w = 4*w for w.
0
Let t be (-125)/10*8/(-10). Let o be 0 - 5/(t/(-44)). Suppose g + 2*f = -10, -4*f = -3*g + o - 2. Solve g*y + 8 = -2*y for y.
-4
Let p(x) = -3 - 5*x - x**3 + 3 + 7 - 7*x**2. Let t be (-6)/(-33) + (-136)/22. Let i be p(t). Solve 0 = -3*h + 8 + i for h.
3
Let v be (1 + 1)*(-12)/(-8). Suppose 4*d = v*u + 33, -30 = 3*u - 5*d + 2*d. Let f(g) = -g - 7. Let c be f(u). Solve -h - 2*h = c for h.
0
Suppose 2*h - y = -h - 104, -2*y + 72 = -2*h. Let d = h + 48. Solve -3*z - d = -2 for z.
-4
Let j = 37 + -37. Solve 3*x = -j*x - 15 for x.
-5
Suppose -2*f = -2*r - 18, 4*f + 0*r - 36 = r. Let d = -7 - -6. Let p be 5 + d - (5 - 7). Solve 0 = 3*m - f - p for m.
5
Let r = 16 - 13. Solve r*f = f for f.
0
Let m(t) = t**2 - 9*t + 8. Suppose -u = -6 - 2. Let v be m(u). Let j = 7 - 3. Solve -o - j + 7 = v for o.
3
Let a = -110 + 142. Solve -7 = 5*n - a for n.
5
Let i = -36 + 51. Solve 0*o + i = 5*o for o.
3
Suppose 0 = 3*i + 2*h - 23, 0 = i - 3*i + 5*h - 10. Solve i*m + 8 = -17 for m.
-5
Let s = 18 - 16. Solve 9 = s*l + l for l.
3
Let o be (-4 + 20/4)*2. Solve 0 = -q - q + o for q.
1
Let y(m) = -m**2 - m + 1. Let j(u) = -u**2 - 10*u + 3. Let h(k) = -j(k) + 2*y(k). Let x be h(7). Solve -s = -x*s - 5 for s.
-1
Let b(u) = -6*u**2 - 1. Suppose 5*n + 2*j = -1, -n + 0*j + 2*j = -7. Let o be b(n). Let k(v) = v + 7. Let h be k(o). Solve h = 2*g + 2*g - 12 for g.
3
Suppose -2*t - 3*n + 2 = -4*n, -4*n = -t + 8. Let r = t + 3. Let c be 2 + r/((-3)/2). Solve c = 4*w - 3 - 5 for w.
2
Let v = -7 - -24. Let m = v + -7. Solve 5*g + 0*g = -m for g.
-2
Let h be 22 + -16 - (-3)/(-1). Solve 0 = -m + h*m - 2 for m.
1
Let b(s) be the second derivative of -s**4/12 - 2*s**3/3 - 5*s. Let c be ((-4)/5)/(10/25). Let j be b(c). Solve -j = -0*z - z for z.
4
Suppose -p = 4*r - 20, 12 = -2*p + 5*r - 13. Suppose 2*q = q + 4*d - 11, p = -3*d + 9. Solve 21 = -4*t + q for t.
-5
Suppose 0 = c - 2. Let n be (22/77)/((-2)/(-28)). Suppose n*l - 10 - 14 = 0. Solve -l = -4*j - c for j.
1
Let n be ((-11)/(-3) - 4)/((-1)/6). Solve -2 - 2 = -n*s for s.
2
Suppose -4*q + 3 = -2*l - 3, -2*q = 4*l + 2. Solve -m - 1 = q for m.
-2
Suppose 4*n - 7 = 1. Let c = -12 + 17. Suppose -3*d + 5*f = 4*f - 44, 14 = 3*d + c*f. Solve -d = -n*y - 5 for y.
4
Suppose 102 = 3*g + 84. Solve -g*k = -2*k - 16 for k.
4
Suppose 4*z = -5*t + 47, -3*t + 31 = 2*z + 2*t. Let w = z - 4. Let g = w + -2. Solve -2*j = -g + 8 for j.
-3
Suppose 10*c + 35 = 17*c. Solve 0*f - c = f for f.
-5
Suppose 0 = -k - 3*k + 20. Let n(m) = m**2 + 1. Let w(u) = u - 1. Let p(g) = n(g) - 6*w(g). Let c be p(k). Solve -y = y + c for y.
-1
Let f = 4 - 3. Suppose -x = f - 6. Let j be 4 + x/((-5)/(-2)). Solve j*m = 2*m for m.
0
Suppose n + 10 - 13 = 0. Suppose 0 = -8*s + 3*s. Solve x + n - 1 = s for x.
-2
Suppose f + 2*f = 12. Solve -4*n - 20 + f = 0 for n.
-4
Let h be 12/20 + (-3)/5. Let w = 2 - h. Solve -w = -j - 1 for j.
1
Suppose 39 = 4*n + 23. Solve -5 = -n*b - 17 for b.
-3
Suppose -g + 8 = -3*r - 1, 9 = -3*r. Let k be 4 - -2 - g/2. Solve -f = -k*f for f.
0
Suppose 4*f = 7 + 17. Let p be (3/1)/9*f. Solve 5*u + p = -8 for u.
-2
Suppose -7*o + 16 = o. Solve -o*c - 4 = -3*c for c.
4
Let k(a) = a**2 + a. Suppose -7 = -2*n + 5*f, -2*n - 8 = -3*n - 2*f. Suppose n*x = 5*x. Let z be k(x). Solve 4 = 4*j - z*j for j.
1
Suppose -81*t + 85*t - 60 = 0. Solve -w - t = 4*w for w.
-3
Let d be -1 - (28/(-4) - -4). Solve 6 = d*a - 0*a for a.
3
Let y be 3 + 2*(-1)/(-2). Let h(d) be the third derivative of d**6/120 - 7*d**5/30 - 3*d**2. Let j be h(14). Solve j*z = -z - y for z.
-4
Let z = 21 - 9. Suppose -3*s + 2 = 2*x, z - 2 = 4*x + 3*s. Solve x*h = 1 + 3 for h.
1
Suppose -r = -5*r - 12, -5*w + 4 = 2*r. Solve -b - w = -1 for b.
-1
Let d = 12 - 8. Suppose 2*x - 2*t = -3 + 17, -x - d*t = -27. Let c = 2 + 2. Solve -c*h - x = 9 for h.
-5
Suppose -2*p = -0*p - 6. Suppose -3*m = p*o, 0*o + m - 4 = -3*o. Solve i = 3*i - o for i.
1
Let w be 8 - ((0 - -2) + 2). Solve w*u - 10 = -2 for u.
2
Suppose 3*p + s = 41 - 9, -2*p - s = -23. Solve 6 = 3*z - p for z.
5
Let k = 7 + -3. Suppose 7 = 5*y + 4*l, 0*l - 16 = -4*y + 2*l. Suppose d - 2*w = k*d - 16, d + 13 = y*w. Solve 4*m - d = 6 for m.
2
Let a(v) = v**2 + v + 3. Let q be a(0). Suppose 7 + q = 5*y. Let n(o) = 2*o - 43. Let f be n(22). Solve -y = -m - f for m.
1
Let r be (-4)/(-10)*(-6 + 1). Suppose 16 = 2*u - 28. Let c be (1*-1)/(r/u). Solve -1 - c = -3*h for h.
4
Let r(f) = -f**2 - 7*f + 9. Let i be r(-7). Suppose -5*h = 15, 0*s - 3*h = -s + i. Solve s = 3*y - y for y.
0
Let v(a) = -a**2 - 6*a - 6. Let r be v(-4). Suppose 0 = -5*s + r + 23. Suppose -5*o + 2*o + s*g = -30, 0 = 2*o + 4*g + 2. Solve o*y + 12 = y for y.
-3
Let r be 2/(-12) - (-455)/210. Let v be 1/(-3) - 32/(-6). Solve -v*q = -r*q for q.
0
Suppose 2*r - 7*r + 5 = 0. Let z be ((-3)/6)/(1/20). Let s = z - -10. Solve x + 4 + r = s for x.
-5
Let b be (-2)/(-8) + (-3)/(-4). Suppose i + 0*i + b = -v, 0 = 3*i - 5*v - 21. Suppose -4*u + 10 = -i*w, 10 = 6*u - u - 2*w. Solve u*a = a for a.
0
Suppose 2*f - 84 = -2*f. Suppose 7 = -0*h + h. Suppose -4*q = -h - f. Solve 0 = q*n - 2*n + 25 for n.
-5
Suppose -2*r + 3*r - 14 = -3*f, -10 = 5*r - 5*f. Suppose 25 = 3*j - 5*u, -64 = -2*j - r*j - u. Solve -7*d + 2*d + j = 0 for d.
3
Let n be 0*2/((-4)/(-2)). Let w(b) = b**3 - 4*b**2 - 6*b + 3. Let r be w(5). Let v be r/(-3 + (1 - -1)). Solve n = -f + v*f + 3 for f.
-3
Let d(v) be the first derivative of v**4/4 + 7*v**3/3 + 3*v**2 - v + 1. Let g be d(-6). Let b = g + 1. Solve 0 = -t + 2 - b for t.
2
Suppose 5*m + 27 = 4*c, 2*c + m - 15 = 4*m. Solve -10 = -c*q - 1 for q.
3
Let a = 5 + -3. Suppose -a*f - 3*b - 13 = 2, 21 = -2*f - 5*b. Let g be f + -2 + 1 + 11. Solve 3*l = g + 2 for l.
3
Suppose 0 = 5*c - i + 6 - 7, 5 = -5*i. Solve -p + 3 + 0 = c for p.
3
Suppose 0 = 5*l - w - 13, 3*l = l - w + 8. Solve -4 - 5 = l*t for t.
-3
Suppose -5*m = -8*m. Suppose -2*j = -m*j - 6. Solve -f + 20 = j*f for f.
5
Let z be -6 - -4 - (0 - 4). Suppose -t - z*t = 0. Solve 2 = -t*q - q for q.
-2
Let c be (1*-1)/(4/(-4)). Solve 2*w - c = -7 for w.
-3
Suppose 5 + 10 = l + 4*b, -5*l + 52 = -3*b. Solve 0 = 4*v - l + 3 for v.
2
Let a be (-4 - (0 - 4))*-1. Solve a = o + 2 - 3 for o.
1
Let p(o) = -3*o + 1 - 2 - 4. Let t(x) = x**2 - x - 5. Let v be t(0). Let f be p(v). Solve 3*s - f = s for s.
5
Suppose 2*y + a - 1 = 0, 7*a - 7 = -4*y + 4*a. Let h be (y/(-3))/((-16)/72). Let v be (3/2)/(h/(-16)). Solve s + s = v for s.
4
Let p(s) = 2*s**2 + 2*s - 3. Let j be p(-3). Suppose -2*u = -b - j, -7 - 8 = -4*u + b. Suppose -x - u = -2*x. Solve -o + x = -2 for o.
5
Let w(x) = -x**3 - 7*x**2. Let m be w(-7). Solve -s + 2 = -m for s.
2
Suppose -71 = 5*y - 141. Solve 0 = -3*j + 5 - y for j.
-3
Let v be (-291)/(-33) - (-6)/33. Let r(b) = -b + 8. Let a be r(6). Solve v = a*p + p for p.
3
Let t be (-12)/5*(-80)/12. Let d(k) = 7*k**2 + 12*k + 9. Let q(l) = -3*l**2 - 6*l - 4. Let i(u) = 2*d(u) + 5*q(u). Let n be i(-5). Solve -n*a + t = a for a.
4
Let q(o) = o**3 + 3*o**2 + 4*o + 5. Let w be q(-2). Solve -5*m - 4 = w for m.
-1
Let k = 17 + -14. Suppose k*l + l - 32 = 0. Solve 6*t = 4*t + l for t.
4
Suppose -3*l + 5*k - 4 = 0, 0 = l - 2*k - 2*k + 6. Let j = l - 2. Solve z + 7 - 4 = j for z.
-3
Sup