x = 5*n - 0*n for n.
-4
Let m = -10 + 15. Solve -m*b = -2*b - 3 for b.
1
Let p = 0 + 4. Let w be 22/p - 11/22. Solve 0 - w = a for a.
-5
Let b = -4 - -3. Let z be 3 + 3 - (b - -3). Suppose z*d = d. Solve -5*t = -d*t - 15 for t.
3
Let h = -1 - -2. Let x be -1*3*-1 - h. Let c be (-9)/(-24) - (-2)/16*-3. Solve 2*d = x - c for d.
1
Let r = -10 - -14. Let a be 1 + (-1)/1 - 0. Let m = a + r. Solve 4*g - m = -0*g for g.
1
Suppose -6*p = 53 - 59. Solve p = b - 4 for b.
5
Let d(v) = v**3 + 7*v**2 - 9*v - 4. Let w be d(-8). Suppose -5*m = -16 - w. Solve -8 = m*q - 0 for q.
-2
Let v(k) = 2*k**3 + k**2 - k + 1. Let x be v(1). Suppose 5*g - 17 = t, -2*t - t = x*g - 3. Solve -2*d + g*d = 0 for d.
0
Suppose f = j, 0 = 4*j - 3*f - 2. Solve -j*a + 2 = -2 for a.
2
Let k be -3*(-2)/4 + (-2)/4. Solve -f + k = -2 for f.
3
Let j be ((-380)/18)/(-5) - (-6)/(-27). Solve -b + j*b = 12 for b.
4
Suppose 8 + 8 = 4*j. Solve -j*t = -6 + 14 for t.
-2
Let o(v) = 16*v - 3. Let l be o(2). Let s be -9 + 8 - (-8)/2. Suppose -3*q = -4*g - 3, s*g + 0*g = -4*q + l. Solve 0 = -h - 2 - g for h.
-5
Let v(a) = -a**3 + 5*a**2 - a - 5. Let b be v(4). Suppose 5*j = 2*y + 31, -8*j + 40 = -3*j - 5*y. Let q = b - j. Solve 10 = 4*l + q for l.
2
Suppose -4*t + 16 = v, 10*v + 8 = 2*t + 5*v. Suppose t*z = -z + 25. Solve -9 = z*m + 6 for m.
-3
Let g(j) = 23*j**3 - j**2. Suppose -z - 5*y = 9, 3*z + z + 3*y + 2 = 0. Let f be g(z). Solve -3*h - 7 = -f for h.
5
Suppose l + 6*d = d + 2, 0 = -2*l - d + 4. Suppose 6*f + o = 2*f + 17, -l*o + 2 = 0. Solve 3*a + f = -5 for a.
-3
Let k = -16 + 21. Solve -k*h = -2*h for h.
0
Let g(w) = -8*w + 2. Let q be g(-2). Let m be (10/(-4))/((-5)/20*2). Solve m*b - 7 = q for b.
5
Let i = 8 + -4. Let r(n) be the second derivative of n**3/6 + 3*n**2/2 + n. Let k be r(0). Solve 0 = b - k*b + i for b.
2
Suppose -5*r + 7*r = 32. Let l be (-2)/8 + 100/r. Solve 0 = 2*q + q - l for q.
2
Let t be 1 + 0 + 20/5. Suppose 0 = -2*j - p - 1, -5*p - t = 20. Suppose -3*b + 10 = -17. Solve b - 1 = -j*l for l.
-4
Let y be 99/(-22)*4/(-6). Solve y + 2 = -m for m.
-5
Suppose 0 = -j - t + 4, 4*j + 4*t = 3*j + 1. Suppose 3*p + 2 = -0*p + 2*x, -15 = j*p - x. Let y be (-15)/p - 9/12. Solve -l + y = -0*l for l.
3
Let w(h) = -2*h - 2. Let x be w(-2). Suppose 0 = -x*m + 5 + 7. Solve j = m*j for j.
0
Let f(v) = -v**3 + 5*v**2 - 2*v - 2. Let o = -1 + 3. Let s be f(o). Let m be (-2 - 5)*(-8)/4. Solve -m = -4*r + s for r.
5
Let y(o) = 3*o**2 - o. Suppose 0*n - 2*n = -4*q + 2, 2*n + 9 = -3*q. Let s be y(q). Solve 0*u + s*u - 8 = 0 for u.
2
Let g be 33/(-6) - 1/2. Let p(i) = 2*i**2 + 4*i + 2. Let c be p(-2). Let d = c - g. Solve -o - d = o for o.
-4
Let s = -3 - -6. Let j = -26 - -29. Solve 0*c = -s*c - j for c.
-1
Let y = 1 + 0. Let z = 3 - y. Suppose 4*i - z = h + 1, 2*i = 3*h - 11. Solve -5*o + i = 12 for o.
-2
Let t = -13 - -17. Let p = -1 + t. Solve -p*u + 8*u - 15 = 0 for u.
3
Suppose 5*p - 3*t = 30 - 3, -4*t - 26 = -5*p. Let z(q) = -6*q**3 - q**2 + q + 1. Let b be z(-1). Solve -b*d + p - 1 = 0 for d.
1
Let k(f) = f**2 - 7*f - 11. Let t = 15 + -6. Let n be k(t). Let v = 16 - n. Solve 1 = 2*c + v for c.
-4
Let o be (-2)/4*(-6 + 2). Let q = -5 - -9. Suppose q*f + 5*r + 8 = 0, 4*f + f + 3*r = 3. Solve f*s + o*s = -25 for s.
-5
Let c = 44 - 18. Let q = c - 24. Solve 12 = -q*r - 2*r for r.
-3
Let m = -3 - -5. Let g(v) = -v**3 + 5*v**2 + 7*v - 1. Let h be g(6). Suppose 3*q = 2*i + 15, 5*q - i = 7 + 11. Solve h*w + m = -q for w.
-1
Suppose 3*w - 63 = -18. Solve 5*d + w + 5 = 0 for d.
-4
Suppose 3*b = 5*b - m - 35, -b = -3*m - 30. Solve 2*v - 7*v = b for v.
-3
Let w(h) = -h**3 + h**2 - h + 2. Let n be w(0). Let l(c) = -6 - c**3 + 0 - 5*c - 5*c**n - c + 2. Let a be l(-4). Solve 2*v - a = 2 for v.
3
Let h = 8 + -4. Let s(g) = -g + 7. Let n be s(h). Suppose -b + n*v + 2*v = -17, 5*b + 2*v - 4 = 0. Solve 3*r + b = r for r.
-1
Suppose -3*c - 15 = -8*c. Suppose -x + 14 = -5*t + 2*t, -c*x - 10 = 4*t. Solve -3*h - x = 1 for h.
-1
Let v(n) = n**2 - 11*n + 15. Let c be v(10). Solve c = 2*m - 1 for m.
3
Let w(n) = -2*n**3 - 6*n**2 + 3. Let j be w(-3). Solve -j*d - d - 16 = 0 for d.
-4
Let n be 1 + -1 + (5 - -1). Suppose -2*s + 4*s = 5*g - 17, -s = 2*g - 5. Solve -3*a + g = -n for a.
3
Let r(m) = m**2 + 6*m - 2. Let q be r(-7). Solve 0 = -2*x + 3*x + q for x.
-5
Let x(l) = -l**3 + 3*l**2 + 7*l - 10. Let b be x(4). Suppose 0 = -0*h - b*h + 6. Solve -5*d - 2 = -h*d for d.
-1
Suppose 0 = 4*d - 3*y - 14, d - 4*y - y - 12 = 0. Suppose -3*o + 10 = -o - 2*b, 0 = -b - 3. Solve 0 = -d*v - o - 6 for v.
-4
Let o(h) = -h**2 - 6*h - 1. Suppose 2*q = 4*q + 10. Let v be o(q). Solve -6*g + 4 = -v*g for g.
2
Suppose -3*v - 28 = -5*t, -3*t + 8 = -2*v - 9. Let h = 2 + 2. Suppose h*a = 2*a + 4. Solve a*z - 15 = t*z for z.
-5
Suppose t - c - c - 13 = 0, 0 = -c - 1. Suppose -2*u - 2 = 2*l, 2*l + 5*u + 0*u = -t. Solve l = -5*w + 12 for w.
2
Let b be 1 - 1 - (10 + -7). Let n be ((b - -4)*-2)/(-1). Solve 0 = -0*t + t + n for t.
-2
Let k(s) = -s**3 + 9*s**2 - 10*s + 16. Let r be k(8). Solve 5 = 5*b - r*b for b.
1
Let z = 1 - 1. Suppose -2*l - 2*l + 22 = -3*w, -w + 6 = 2*l. Solve -16 = -z*u - l*u for u.
4
Suppose 0 = -q - 0 + 5. Suppose 0 = -q*z + 19 - 4. Suppose z*y = -0*y + 9. Solve -y*x - 8 = x for x.
-2
Suppose 0 = -25*x + 12*x + 13. Solve x = -4*z - 3 for z.
-1
Suppose -4*w + 6 = 2*h, 3*w + w - h = 9. Solve -2*m - 4 = w for m.
-3
Suppose -a + 12 = 3*a. Suppose g + a = 2*g. Solve 0 = -h + g*h + 2 for h.
-1
Let i be ((-4)/5)/(10/(-75)). Suppose -2*v + r - i = 0, -7*r - 15 = 5*v - 3*r. Let d = 4 + v. Solve -2*k = -7 - d for k.
4
Let o(l) be the second derivative of -l**4/12 + 8*l**3/3 - 7*l**2 + 8*l. Let t be o(15). Solve 2 - t = -p for p.
-1
Let y be (6 - 0)/3 - -1. Solve 7 = -i + y for i.
-4
Suppose -4 = -i - 2. Let f(n) = -6*n**3 - 2*n - 1. Let b be f(-1). Suppose -u + b = i. Solve u = -3*l - 7 for l.
-4
Let t = -14 - -17. Solve 0*b + 3*b = -t for b.
-1
Suppose -5*r + 27 = 3*d, -5*d + 3*r = -8*d + 21. Let s be (-18)/d*8/(-12). Suppose 4*i - 6 = -2*o, 4*o = -0*o + s*i + 1. Solve 0*m = m + o for m.
-1
Suppose -z + 4 = -h, -3*z + 5*h + 16 + 6 = 0. Suppose -12 = -2*a - 2*a. Let i be (a + -1)*-5*z. Solve w + w = i for w.
5
Let g(w) be the second derivative of w**6/720 - w**5/30 - w**4/4 + w. Let y(o) be the third derivative of g(o). Let j be y(8). Solve -j = 4*p - 0 for p.
-1
Let s(y) = 2*y + 12. Let i be s(-6). Solve -2*u + i + 2 = 0 for u.
1
Suppose 2*w = 5*c - 63, 0*w + 4*w + 61 = 5*c. Let s be 0/((-8)/4) - -28. Let j be s/36 - 2/(-9). Solve 4*i + c = j for i.
-3
Suppose 14 = 3*l - 1. Suppose 0 = 4*b + t - 25, 2*t + 5 - 30 = -3*b. Suppose 3*r = b*r - 6. Solve 6*w = l*w + r for w.
3
Let m(y) = y**2 + y + 1. Let v be m(-1). Let t = 8 - 8. Suppose 2*i - 3*n - 6 = t, 3*n = 2*i + 4*n - 6. Solve -v = 2*j - i for j.
1
Suppose 4*a = -0 + 8. Solve 0 = 2*q + a - 4 for q.
1
Suppose 0 = -3*h + 20 + 4. Solve z = 5*z + h for z.
-2
Let t be 6*(2 + (-4)/3). Suppose -4*k - 36 = -4*u - 0, k + 17 = 3*u. Suppose -3*x = h - 2, 0 = u*h - 5*h - t*x + 2. Solve h*q = q for q.
0
Suppose y - 10 = 2*t, 4*t + 34 = 5*y + 2*t. Let o = -5 + y. Let j be o/(-4)*2*0. Solve j = -5*c - 13 - 2 for c.
-3
Suppose 27 = 4*c + 5*c. Solve 0 = c*p + 4 + 11 for p.
-5
Suppose -2*k - 3*n + 23 = 0, -5*k - 8 = -n - 23. Solve -k - 8 = 4*d for d.
-3
Suppose 3 - 12 = -3*z. Solve -u + z*u - 8 = 0 for u.
4
Let s = 12 - 7. Let w be 0/2 + 1*3. Suppose 4*a - 3*f - 30 = 0, 4*f + 5 = -w. Solve -s*o + 3*o + a = 0 for o.
3
Suppose 2*f = 3*a + 5*f + 21, -4*a + 2*f - 4 = 0. Let b be 0/2 + a - -5. Suppose -t + 5*t - 4*v = -20, 0 = 2*t + 3*v - 15. Solve t = -c + b for c.
2
Let w = 9 + 27. Let s be w/(-30)*(-40)/3. Solve 0*j = 4*j + s for j.
-4
Let f be 1 + -2*4/(-8). Solve 4*l = 5*l - f for l.
2
Let i(x) = x**3 + 11*x**2 - x - 8. Let z be i(-11). Let j(m) = m**2 - 5*m + 3. Let r be j(z). Let q be -4*(-2)/(-12)*r. Solve -t + q = -1 for t.
3
Let k = -4 + 4. Suppose 4*u - 2*u - 4 = k. Suppose 0 = -4*o + 2*o + 24. Solve 2*i = -u*i - o for i.
-3
Let r = 31 - 26. Let x = -10 - -20. Let j = x - r. Solve n + 3 = j for n.
2
Let i(y) = y**2 + 3 - 6 + 6 - 5*y. Let m be i(5). Suppose 15 = 4*f - r, m*r + 30 = 3*f + 6*r. Solve 1 = -f*b - 9 for b.
-2
Let z(p) = p**3 - 6*p**2 + 3. Let k be z(6). Solve k*b + 13 + 2 