x*w = 8 - 20 for w.
-3
Let b(k) = -k**2 - 9*k - 10. Let z be b(-7). Suppose -13 = -4*j + 11. Let r(y) = -y**3 + 7*y**2 - 4*y + 3. Let t be r(j). Solve s - z*s = t for s.
-5
Let t = -26 - -31. Solve -25 = t*d - 0*d for d.
-5
Suppose x - 7 = l - 6*l, l = -2*x + 5. Solve x*n - 4 = 4 for n.
4
Let l be 68/18 + (-6)/(-27). Let b = l + 1. Suppose 3*d + 12 = 3*y, 0 = -2*y + 4*d + 2. Solve 2 - y = -b*h for h.
1
Let d be 2 + (-2 - -4 - 2). Let v be 1 + -3 + (-9)/(-3). Suppose 0 = 2*a - 0*a - 6. Solve a*h = d*h - v for h.
-1
Let z be 9*((-1)/15)/(12/(-40)). Suppose 2*j - 5*j = 0. Solve j = z*a - a for a.
0
Let o = 7 - 2. Suppose -5*s = a + 5, o = -0*s - s - a. Let v be (-8)/(-1) + (s - 1). Solve b + v = 3 for b.
-4
Suppose -3 + 5 = -2*l - 2*t, 4*l - 5*t = 23. Let v = l + 0. Solve 3 = v*p - 5 for p.
4
Let c(w) = w - 3. Let f be c(6). Suppose d - 3*d + 16 = 2*v, d + 8 = f*v. Suppose 0 = -3*p + d + 2, -4*q - 5*p + 18 = 0. Solve 3*z - 5*z = -q for z.
1
Suppose 4*x - 35 = -3*p, 0 = -p - 0 + 5. Solve 0 = k + x - 1 for k.
-4
Let d be (-20)/15*36/(-8). Solve -d*j - 2 = 16 for j.
-3
Let j(h) be the first derivative of 3/2*h**2 + 2/3*h**3 + 1 + h. Let s be j(-2). Solve 6 = s*q - 6 for q.
4
Suppose -5 = -3*j + 2*j, 0 = -2*i - j + 11. Let k = -14 - -10. Let v = k - -12. Solve 5*s - v = i*s for s.
4
Let l(b) = 5*b**2 - b - 2. Let s be l(2). Solve -5*d + s = -4 for d.
4
Let r(s) = s**2 - 5*s - 8. Let y be r(7). Suppose 10*d - y*d - 56 = 0. Solve -6 = 4*w + d for w.
-5
Let h be 18/8*(-8)/(-3). Suppose 4*d = 6*d - h. Solve -4*l - d = -3*l for l.
-3
Let j = -28 - -32. Suppose -3*x = -j*o - 28, -3*o = 2*x - 5 - 8. Solve 5*w - x - 12 = 0 for w.
4
Suppose 9*j - 4*j - 115 = 0. Let m = -3 + j. Solve -m = 5*r - r for r.
-5
Let j be (-56)/(-4)*(-8)/(-28)*1. Solve 12 = u - j*u for u.
-4
Let i = 1 + -1. Let y(o) = 2*o + 1. Let f be y(-5). Let h be 1/2 - f/6. Solve i*m + h*m + 8 = 0 for m.
-4
Let t = -5 + 5. Solve t = -5*b + 8 + 7 for b.
3
Suppose 4*u = -3*h + 4, -u + 8*h - 22 = 3*h. Suppose -3*l + 2*l + 10 = 0. Let s be l/u*24/(-15). Solve s = 2*r - 6*r for r.
-2
Let k(w) = -w**3 - 8*w**2 + 6*w - 7. Suppose 4*h + z + 12 = -29, -4*z = -4*h - 16. Let o be k(h). Solve 0 = -v - 4*v - o for v.
-4
Let n = -2 - -7. Solve 3*u - n = 4 for u.
3
Let l(x) = -2*x**2 + 5*x - 25. Let s(b) = -b**2 + 3*b - 12. Let i(m) = 4*l(m) - 9*s(m). Let q be i(6). Let p be q/(-8) + 51/12. Solve -p*j + 15 - 3 = 0 for j.
3
Let i = 21 - 29. Let y be i/3 + 1/(-3). Let v = y + 3. Solve -h = -v*h for h.
0
Let n(k) = -k**3 - 3*k**2 - 3*k + 1. Suppose 5*z = -14 - 1. Let x be n(z). Let t = -6 + x. Solve b = -t*b - 20 for b.
-4
Let h(i) be the first derivative of -i - 1/3*i**3 - i**2 + 1. Let j be h(-1). Solve 4*s - 5*s + 1 = j for s.
1
Suppose -2*d = 2*d - 12. Suppose -2*i + 26 = -0*i + 2*r, 3*r = -d. Let f(t) = t**3 - 2*t**2 - 2*t + 2. Let u be f(3). Solve u*v = i + 1 for v.
3
Suppose r = -4*r. Let i = 0 - r. Suppose -48 = -6*h - 4*k, k = -h + 3*k + 8. Solve i = -3*p + h*p for p.
0
Let d(i) = 3*i - 1. Let l be d(-5). Let j be (l/(-10))/(5/25). Suppose 3*o = 2*w + 3*w - j, -2*w - 2*o = 0. Solve w = -3*b + 10 for b.
3
Let t(x) = 2*x**2 - 3*x + 2. Let d be (-64)/(-16)*1/2. Let m be t(d). Solve 5*p = 3*p - m for p.
-2
Let y = 0 - 0. Let j(q) = q**2. Let h be j(0). Let c = 252 + -248. Solve h*g - g + c = y for g.
4
Suppose 5*p + 3 = -5*f + 43, 2*p + 4 = 2*f. Solve p*d - 20 = -d for d.
5
Suppose 0 = -4*y + 5*y - 7. Solve 3*u - y*u + 12 = 0 for u.
3
Let o be (-16)/(-6) - 6/9. Let p be (-1)/2 - (-10)/4. Suppose 28 = 5*x - 2*k, 4*x + 3*k - 15 = p*x. Solve 0*u + x = -o*u for u.
-3
Let i be 1 + 8 - (2 - 2). Suppose 0 = f - 0 - i. Solve -4*g + g = f for g.
-3
Let r be 2/9 - 16/(-9). Suppose 3*x + 244 = 4*s + r*x, 0 = 3*s + 3*x - 168. Suppose -2*y = 2*y - s. Solve t = 4*t - y for t.
5
Let o be -2*(2/4 - 3). Suppose -o*l = -l - 20. Solve -l*z + 15 = -2*z for z.
5
Suppose 0*x = x - 4. Suppose 5*c - 3*q - 13 - 12 = 0, -3*c + 15 = x*q. Let v be 1/(-2) - (-9)/2. Solve -v*l = c - 1 for l.
-1
Let a be ((-20)/5)/(2 - 3). Suppose -a*s = g - 2, -s + 8 = -2*g + 6*g. Solve s*p - 1 = p for p.
-1
Let z(s) = s**3 + 7*s**2 + 8*s + 8. Let u be z(-6). Let n be (1 + u/12)*3. Suppose 0 = -5*r + 2*r + 6. Solve r*k = -0*k + n for k.
1
Let v(i) be the first derivative of 3*i**2/2 + 4*i + 2. Let q be v(-3). Let j = q - -10. Solve j*c - 10 = 10 for c.
4
Let l be -1 + 4 + (-6)/3 + -1. Solve l = -3*a + 5*a + 4 for a.
-2
Let n be (-50)/(-18) + (-4)/(-18). Suppose y - 5 = -n. Solve -2 = -y*p + 4 for p.
3
Let d = 7 - 7. Let q = d + 4. Solve -5*n + n = q for n.
-1
Let x = -6 + 9. Solve 2*n = n - x for n.
-3
Suppose 65 = 3*q + 50. Solve q*c - 11 = 9 for c.
4
Let m be (4/(-8))/((-2)/16). Let f = 0 - m. Let k = f - -12. Solve k*q = 4*q + 8 for q.
2
Let l = 27 - 25. Solve k = l*k + 4 for k.
-4
Let h = -94 - -102. Solve h*n = 3*n + 5 for n.
1
Let z(l) = l**2 - 3*l - 1. Suppose 15 = 3*b - 3*u, -2*u = 2*b + 3*u - 3. Let h be z(b). Solve 2*p - 1 - h = 0 for p.
2
Let o(i) = i**3 + 5*i**2 - 7*i - 3. Let b be o(-6). Let u = -2 + b. Let y be 0/(-3 + u) + 2. Solve 5 = -y*l + l for l.
-5
Suppose y = -4*b + 2, 4*y + 4*b - 32 = -0*b. Solve -20 = -5*s + y*s for s.
-4
Let n be ((-36)/(-8))/(-3)*10. Let f = n + 18. Let x(m) = m**3 + 4*m**2 - 6*m - 3. Let k be x(-5). Solve -k*p + f = -3 for p.
3
Suppose -3*d + 4 = -2. Let y be ((-32)/3)/(-4)*(-9)/(-6). Solve y*a - d = 6 for a.
2
Suppose -8 = -4*u + 2*u. Solve -u*p - p + 10 = 0 for p.
2
Suppose 0 - 2 = -m. Let b be (-9 + 3)/(m*-1). Solve 2*p = -b*p for p.
0
Let i = 3 + -2. Let k(m) = 31*m. Let n be k(i). Suppose 0 = -5*w + 2*u + n, w - 5 = -4*u - 12. Solve -w*y = -y for y.
0
Let r be (10 + -11)*-9*1. Solve -2*s + r = s for s.
3
Suppose -3*n - 4*o - o = 20, -8 = n + o. Let l(f) = -f - 7. Let i be l(n). Suppose 36 = 7*p - i*p. Solve -p = 4*b - b for b.
-3
Suppose 7 = s + 2. Suppose 3*h = 2*n - 19, 2 = s*h + 27. Solve 0*o = -n*o for o.
0
Suppose g + 1 - 9 = 0. Let f be (0 - 1*-2) + 0. Suppose -4*z = -2*z - 5*i + 5, -z = -i - f. Solve -s = -z + g for s.
-3
Let c(f) = 1 + f**2 + 0*f**2 + f**3 + 6*f**2 + 6*f. Let i be c(-6). Suppose -2*l - 9 = -5*o, 0*l + i = -o - l. Solve -n = 2 + o for n.
-3
Let d = -21 - -22. Solve -x - d = 3 for x.
-4
Let b be -3*(-1 - 7/(-3)). Let h(d) = -1 + 0 + 0*d + 4*d - 2*d**2 - d**3. Let g be h(b). Solve g = 3*l + 6 for l.
3
Let y be 56/(-6) - (-8)/(-12). Let l = -8 - y. Solve 0 = 3*f - l + 5 for f.
-1
Let n(y) = -y**2 + 8*y + 4. Let t(x) = -7*x + 1. Let f be t(-1). Let o be n(f). Solve 2*s - o*s = 6 for s.
-3
Let b = -14 - -8. Let q(g) = g**2 + 4*g - 6. Let o be q(b). Let j be -2*(-2 - (-3)/2). Solve -x + o = j for x.
5
Let j be 2/5 + (-16)/(-10). Solve 1 + 1 = -j*t for t.
-1
Let h(w) = w**2 - 14*w + 12. Let i be h(12). Let n = i - -16. Solve -n*a - 14 = 2 for a.
-4
Suppose -2*c - 5*b = -20, 2*c = -2*b - 2*b + 16. Solve c = 3*y + 4 - 10 for y.
2
Let m(z) = z. Let u be m(0). Suppose 0 = -u*d - 5*d. Let w = 2 - d. Solve w = -3*k - 4 for k.
-2
Let m(o) = 4*o + o**2 + 12 - 5*o - 9*o. Let r be m(9). Let c be (-17)/(-3) + 1/3. Solve 15 = -r*b + c for b.
-3
Let a = -5 - -7. Suppose -3*z + 3 = a*o, 4*o - 2*z + 9 = -3*z. Let u be 4 + (o + 1)/2. Solve -u*j = -0*j + 15 for j.
-5
Let l(q) be the third derivative of q**5/12 - q**3/6 - q**2. Let k be l(1). Suppose -3 = -5*r + 4*o + 16, -5*r - 2*o + 43 = 0. Solve n + k - r = 0 for n.
3
Suppose -5 = 2*z - 3*z. Solve 0 = z*m - 0*m for m.
0
Let z(i) = 2*i - 1. Let y = -5 + 9. Let x be z(y). Let k = 10 - x. Solve 2*j + 1 = k*j for j.
1
Let j(n) = -4*n + 6*n - 4 - 2*n - 3*n. Let r be j(-3). Suppose -35 = -r*f + 5*b, f - 18 = 2*f + 4*b. Solve -k + f = -3*k for k.
-1
Let g be (0/(-7))/(2 - 3). Let s(z) = 5*z - 16. Let f be s(4). Solve f*r = -g*r + 20 for r.
5
Suppose -4*x + 6*a - 4 = 4*a, -3*x = 2*a + 17. Let n = 12 - 4. Let c = x + n. Solve c*t = -3 - 2 for t.
-1
Suppose m + 14 = 9. Let w(v) = -2*v - 4. Let f be w(m). Solve -25 = y - f*y for y.
5
Let o(j) = -5*j - 4. Let q be o(-3). Let x = q + -8. Solve -x*h + 2*h = 2 for h.
-2
Let z be (-5)/(-10) + 6/4. Suppose 3*v = -0*v + 2*h + 18, -2*v - 2*h = -z. Suppose -g + 20 = v*g. Solve 3*n + 3 = g*n for n.
3
Let d(f) = 2*f**2 - 3*f - 3. Let a be d(-2). Suppose -4*h - 3 = -2*m + 11, m = -4*h - a. Solve -n + 4 = -m for n.
5
Suppo