 Solve n - 30 = -5*d for d.
4
Suppose 3*k - 2*a = 16, 2*k - 9 = 4*a - 3*a. Solve k*w + 3 = 13 for w.
5
Let p(h) be the second derivative of h**4/12 + 5*h**3/6 + h. Let g be p(-5). Solve g = 2*x - 4*x - 10 for x.
-5
Let d = -3 + 5. Suppose 8*h = 3*h + 75. Solve -d*v - h = v for v.
-5
Let z be (-232)/(-12) - 1/3. Let b = -9 + z. Suppose o - 3*o = -b. Solve -o*p - 4 = 1 for p.
-1
Let b(w) = w**2 + w - 2. Let i be b(2). Let m(l) = l**2 - 5*l + 6. Let d be m(5). Solve -i*c = 2 + d for c.
-2
Suppose 0 = 5*a - 4*a. Solve 0 = -5*j - a*j + 20 for j.
4
Let b(p) be the second derivative of p**3/6 + 4*p**2 + 4*p. Let j be b(-8). Suppose -2*f + 6*f = j. Solve 4*a - a + 3 = f for a.
-1
Let r be 1 - -1 - (-1 - -1). Suppose -3*p - 10 = -5*p. Suppose 4*a - 6 - 9 = -s, 2*a = -p*s + 21. Solve r = -a*b - 1 for b.
-1
Let c be 3/(-21) - ((-102)/(-21) + -5). Solve c = 3*y - 5*y + 10 for y.
5
Suppose 2 = -5*j + 4*b - 0, 0 = b - 3. Solve y = 3 + j for y.
5
Let t(k) = k**3 - 2*k**2 - 2*k - 2. Let x be t(3). Solve 5 = -2*c - x for c.
-3
Let c be -4 - -1 - (-3)/1. Let n be (-3)/(-3 - c) - -2. Solve -n*q = -2*q for q.
0
Suppose 4*j = -3*m + 21, 5*j + m = 7 + 11. Let q(f) = f + 10. Let x be q(-8). Solve -3*h = -x*h + j for h.
-3
Let s = -5 + 5. Solve 3*k - 3 - 6 = s for k.
3
Let z(u) = -2*u - 19. Let x be z(-11). Solve x = -2*m + 5*m for m.
1
Let l(u) = -u**2 - 18*u - 15. Suppose -5*r - 10 = 0, 0 = o - 5*r - 0 + 7. Let g be l(o). Suppose k = -3*k + 68. Solve -3*h + k = g for h.
5
Let p(m) = -m + 1. Suppose -6 = 6*d - 4*d. Let l be p(d). Solve -l*j = -3 - 1 for j.
1
Let r = -1 - -3. Solve 0 = r*q - 4*q - 10 for q.
-5
Let y be 6 + (6/3 - 3). Suppose 3*t - y*t = 0. Let d be ((t/(-3))/(-1))/2. Solve -10 = 2*k - d for k.
-5
Let m(f) = -3*f - 1. Let k be m(-7). Suppose -40 = -4*x + k. Let v be 5*1/(x/9). Solve 4 = 2*h - v*h for h.
-4
Suppose 0 = i + 3*b - 17, 7 = -4*i + 4*b - 5. Let p(h) = h**2 - 2*h + 3. Let j be p(2). Solve i - 5 = -j*g for g.
1
Let y(w) = 2*w**2 + 5*w + 2. Let p be y(-2). Solve 0 = -p*z + 2*z + 4 for z.
-2
Let x = -22 - -25. Solve 2*g = -x*g - 5 for g.
-1
Suppose 7*v = 3*v + 24. Solve -4 = -5*n + v for n.
2
Let b be 4 + 4/(-2) + -1. Let h = 6 - 3. Solve -b = -d + h for d.
4
Suppose -f + 4 = 3*g, 0*f + 8 = 2*f - 2*g. Suppose -3 = 3*l, -k - 9 = -3*k - 3*l. Suppose 0 = -4*z - v + 7, -k*z + 3*z + f*v = -29. Solve -w = -z*w + 4 for w.
2
Let c be -2*(-3)/(-6) - -2. Let z = -8 + 11. Let k be (-2 - -3)*z/c. Solve -k*r - 8 = -r for r.
-4
Let u be (-84)/(-22) - (-4)/22. Solve b + 15 = u*b for b.
5
Suppose 7*g = 9*g - 6. Solve 2*w + g = -1 for w.
-2
Let g be (-3)/2*(-32)/12. Suppose -g*p - 4*o = o - 5, -5*o = -5. Let f = p + 2. Solve 5*q = f*q - 9 for q.
-3
Suppose 0 = -0*x + 4*x. Suppose x = 3*h - 2*h. Solve h = k - 3*k - 6 for k.
-3
Let m(c) = -3*c**2 - 27*c + 11. Let s(h) = -5*h**2 - 41*h + 17. Let l(i) = -8*m(i) + 5*s(i). Let r be l(10). Solve 2*v + 10 = r*v for v.
2
Let l be (-1)/2*-1*-10. Let g = l - -8. Solve g + 3 = -3*a for a.
-2
Let k(r) = -2*r - 5. Let o be k(-6). Suppose h - 5*d - 37 = -12, -3*h + d = -5. Solve h = -4*m + o + 9 for m.
4
Suppose 5*f = f - 4. Let v be 3*(3*f)/(-3). Solve v*m - m + 8 = 0 for m.
-4
Let s(u) = u**3 - 3*u**2 - 2*u + 2. Let v be s(3). Let m(j) = -j**3 - 3*j**2 + 4*j + 4. Let g be m(v). Suppose -g*h = -2*h - 10. Solve -h*f = -0*f for f.
0
Suppose -5*n + 4 = d, 0 = -5*d - 6*n + 3*n - 2. Let s be d/(-2) + (-5)/(-2). Suppose -2*l - 4*i = -l - 17, s*i + 11 = 4*l. Solve 0 = l*r + 1 + 19 for r.
-4
Suppose 4*i - 2*w - 12 = 0, -w + 5*w = 5*i - 18. Let k be 10/15*(i - -1). Let j be -1 + (-1)/(k/(-16)). Solve 2*x - j*x = 0 for x.
0
Let j be (0/(-5))/(1*2). Let a be -6 + 8 + j/2. Solve -3*f - 5 = a*f for f.
-1
Let n = -105 - -107. Solve -13 - n = -3*h for h.
5
Let b = -7 - -7. Let q = -21 - -24. Solve b = 4*p - 7*p + q for p.
1
Let s(j) = -j**2 + 7*j + 9. Let i be s(8). Let f be ((i - 1)/(-1))/1. Solve 2*v = 6 - f for v.
3
Let w = -18 - -5. Let l = w - -16. Solve -l*n = n for n.
0
Suppose m + 7 = 2*j, -3*j + 1 = 3*m - 5. Solve 14 - 2 = j*y for y.
4
Let b(o) = 2*o**2 + 6*o + 4. Let v be b(-4). Let g be 1*(-1)/(-4)*v. Solve -3*s + 0*s = -g for s.
1
Suppose 13*p - 9*p = 8. Solve 12 = p*h - 5*h for h.
-4
Let f = 7 - 13. Let q(z) = -z**3 - 7*z**2 - 5*z - 1. Let i be q(f). Let b = 7 + i. Solve b*v - 3*v + 15 = 0 for v.
5
Let d = 2 - 7. Suppose -5*j = -4*z + 57, -z + j + 7 + 6 = 0. Let h = z + d. Solve f - 2 = h*f for f.
-1
Suppose -n + 15 = 2*n - 3*i, 10 = 2*n - 5*i. Solve n*p = 21 - 1 for p.
4
Let h be ((-1 - 0) + 0)*-4. Let b be (h/6)/((-2)/(-9)). Suppose b*y + 1 = 4*k + 5, -y = -2*k - 2. Solve 8 = 2*j - y*j for j.
4
Suppose 4*r = 5*v + 13, -2*r - 3*v = 2*v + 1. Let m be (0 + -1)*(-3 + 1). Let l be (4/r - m)/(-2). Solve l = 3*u + u for u.
0
Suppose -5*y = j - 3, -2*y - 12 = -4*j - 5*y. Solve 0*k = -3*k + j for k.
1
Let t be (-2)/6 - 184/(-12). Solve -10 - t = 5*q for q.
-5
Suppose 0 = 14*m - 13*m. Solve m = -2*l + l for l.
0
Suppose -i - 3*i = -0*i. Solve -p + i*p = 1 for p.
-1
Let n(y) = y**3 - y. Let w be n(0). Solve -3*t + 6*t - 9 = w for t.
3
Suppose -78 = -11*m - 15*m. Solve 5*r = m*r for r.
0
Suppose -7*m = -3*m - 80. Solve 3*i + m = -2*i for i.
-4
Let c(i) = i**3 + 4*i**2 - 13*i - 4. Let a be c(-6). Solve -a*t + 4 = -0 for t.
2
Let j be 5/(6 - -4)*0/(-3). Solve 0 = p - j*p for p.
0
Let v(h) = 2*h**3 + 2*h**2 - h + 2. Let a be v(-2). Let n = 8 + a. Solve -2*x = 2 - n for x.
1
Suppose -4*t + t = 15. Let b be -2 - t/(10/4). Suppose 2*q - 10 = -b*q. Solve -q*x + 7 - 27 = 0 for x.
-4
Let i(b) be the first derivative of -b**3/3 + 7*b**2/2 - 3*b - 2. Let d be i(6). Solve -d*l = -l - 6 for l.
3
Suppose u + 3*u - 18 = -2*r, -27 = -4*r - 5*u. Suppose a + 2*a = -15, 2*h = 4*a + 42. Suppose -h + r = -4*g. Solve -g*l - l = 6 for l.
-2
Let z(n) = n + 2. Let i be z(2). Let c be (-3)/(-1)*-1*-1. Let t be 15/(-6)*2/(-5). Solve -t = -c*x + i*x for x.
-1
Let x(h) = -h**3 - 11*h**2 - 19*h - 5. Let l be x(-9). Solve -b = 3*b - l for b.
1
Let j be 2 + -2 + 1 + 0. Solve -j = 2*g + 7 for g.
-4
Suppose 11*l - 107 = 135. Solve 3*u = -l + 7 for u.
-5
Let r(l) = -9*l + 9*l - 2 - l. Let u = 9 - 13. Let g be r(u). Solve -2 = 2*s + g for s.
-2
Let j(t) = t**3 - 9*t**2 - t + 10. Let a be j(9). Let n = 5 + -5. Suppose n = w - 3 - a. Solve -12 = -w*f - 0 for f.
3
Suppose 5*n - 24 = -4. Suppose 21 = 5*s + 3*x - 5, -n*s + 3*x + 10 = 0. Solve -2*o + 3*o = s for o.
4
Let c be -1 - (-13 + 0)/1*1. Solve -s - c = 2*s for s.
-4
Suppose n = 4*n - 15. Suppose 11*x - 7*x = 0. Suppose -n*o + 74 + 6 = x. Solve 3*b - o = -b for b.
4
Let m be (9/(-6))/(3/(-10)). Solve 2*i - i = m for i.
5
Let k = -5 - -17. Let l be k + 6/4*-2. Solve -l + 25 = 4*p for p.
4
Suppose -9*j + 33 = -6*j. Solve 5*k = -j + 31 for k.
4
Let o be 18/(-6) + (1 - -2). Suppose -5*a + 15 = -o. Solve a + 1 = -w for w.
-4
Suppose 18 = -5*k - 2. Let b be k/14 + 10/35. Solve x + b = 3 for x.
3
Let b be (0 - (1 + 1)) + -4. Let d = b - -6. Suppose 0 = g + 3*w + 1, w - 1 = -3*g + 12. Solve -2*z + g*z = d for z.
0
Suppose -10 + 34 = 2*k. Let j be 2/(-3) + (-88)/k. Let m be -26*2/j*2. Solve 5*f - 2 = m for f.
3
Suppose 0 = -5*h + 28 + 72. Solve 4*y = 9*y + h for y.
-4
Suppose -5*y = 0, -4*y - 5 = -0*p - p. Solve p*g + 3 + 2 = 0 for g.
-1
Let y be 38/14 - 8/(-28). Suppose -m + 13 = -y*x, -m + 0*x + 9 = x. Suppose 2 = -4*n + m. Solve -a = n*a for a.
0
Let h(o) = -o**3 + o**2 + 3. Let a be h(0). Let f(n) = -n**2 + 3*n + 2. Let x be f(a). Suppose 5 = z + k - 1, -5*k = -3*z + x. Solve -c + z = c for c.
2
Suppose 0 = 3*q - 7*q - 32. Let w be 3/(-4) - 14/q. Let n be (-1 - w) + (10 - 3). Solve 3*o - n - 1 = 0 for o.
2
Suppose -7 - 1 = -4*j. Suppose m + 2*w + 14 = 2*m, -j*m + 2*w + 20 = 0. Solve -3*s = -m*s for s.
0
Let f = -5 + 0. Let x = 10 + f. Suppose -h - 4*a = -2, -2*a = -x*a - 3. Solve -q = -h*q + 20 for q.
4
Suppose -50 = -5*f + r, 5*r + 27 = 5*f - 23. Let o be 4/f + (-16)/40. Solve -p + 4*p = o for p.
0
Let w(y) = -y**3 + 5*y**2 - 3*y - 3. Let u be w(4). Let j be -8*u*3/4. Let r = 9 + j. Solve -r*d - 8 = -d for d.
-4
Let f be 0/(-2 - 0 - -4). Solve f = -3*y + 4*y for y.
0
Let n = -2 - -5. Solve -2*i + 25 = n*i for i.
5
Suppose 0 = -3*p - 9, p + 4*p + 36 = 3*n. Let f = -6 + 10. Solve f*o - 1 - n = 0 for o.
2
Let x(c) = 2*c**3