= q*l - 4 for l.
2
Suppose 14 = 3*m - d, -3*d - 3 = 3. Let w(k) = k. Let l(q) = q - 6. Let v(n) = l(n) + w(n). Let h be v(m). Solve -g + 1 = -h for g.
3
Let n(x) = x**3 + 10*x**2 - x - 10. Let h be n(-10). Suppose 0 = -h*o + 3*o. Solve o*k = 3*k for k.
0
Let y(a) = a**2 + 3*a - 7. Let d be y(-5). Suppose d*z + 11 = b, 41 = -2*b - 2*b - 5*z. Let j be 6*(6/b - -2). Solve -18 + j = 3*q for q.
-5
Let q(f) = 7*f. Let l(y) = -6*y. Let d(o) = -5*l(o) - 4*q(o). Let m be d(1). Solve m*u + 20 = -2*u for u.
-5
Let n = 2 + -2. Suppose n = 4*a - 8*a. Solve a = -6*v + v for v.
0
Let h be -3 + 11 + (-4)/(-2). Solve h*v - 15 = 7*v for v.
5
Suppose -4*b + x - 5*x + 24 = 0, b = -5*x - 2. Let z = b + -13. Let n = 3 - z. Solve -m + n = m for m.
4
Let g(i) = -4*i + 38. Let f be g(7). Let p = 12 + -8. Solve -p*w + f - 2 = 0 for w.
2
Let p(c) = -c**3 + 4*c**2 - 2*c + 2. Let d be p(3). Solve i = -0*i + d for i.
5
Let r(f) = -1. Let t(n) = -n + 8. Suppose y - 5*j = 21, -2*y - 4*j = -3 + 17. Let x(m) = y*t(m) + 2*r(m). Let z be x(6). Solve 5*q + 11 - 26 = z for q.
3
Let n be (-250)/20*8/10. Let s(l) = l**2 + 9*l - 8. Let r be s(n). Solve 0 = r*u + 2 for u.
-1
Suppose 0 = -29*m + 25*m + 12. Solve 2 = m*u - u for u.
1
Let n(s) = -7 - 2*s - 5*s**3 + 4*s**3 + 6*s - 2*s + 5*s**2. Let q be n(5). Suppose 6 = q*t - 3. Solve o = t*o for o.
0
Let c be (3 + -4 - 0)*-5. Suppose 3*y = -5*q + 26, -5*y - c*q = -10 - 20. Solve -y*n + 0 = -4 for n.
2
Let s be 261/(-18) - (-3)/(-2). Let l = s - -16. Solve l*u + 1 = -u for u.
-1
Let w = 11 + 7. Let c(o) = o**2 - 4*o - 8. Let i be c(6). Suppose -8 - i = -4*b. Solve -b*g + w = 3 for g.
5
Let j(k) be the second derivative of k**3/6 - k**2 - k. Let r be j(6). Solve 10 = r*n + 2 for n.
2
Let m = 18 - 7. Suppose -3*h - 2*r = -11, 0*r - r = -4*h + m. Suppose h*l + 0 - 18 = 0. Solve -w = -l*w for w.
0
Let u(d) = d**2 + 5*d. Let o be u(-6). Let f = -5 + o. Suppose -2*p - 6 = -0*p + 2*y, 0 = 3*p - 2*y - 16. Solve -g = -f - p for g.
3
Let d = -21 + 23. Solve -d*m + 10 = 2 for m.
4
Let y be 5/(-2)*8/(-5). Let r be (-10 + y)/((-3)/2). Solve -5*u = -24 + r for u.
4
Let a(v) = -v**3 + 6*v**2 - 4*v - 5. Let g be a(5). Suppose i + c - 2 = g, 14 = 4*i - c + 1. Solve -h + 4 = -i*h for h.
-2
Suppose 4*u - 11 = 405. Let t be (1/(-4))/((-13)/u). Solve -m + 2 + t = 0 for m.
4
Suppose 2*y + 26 = 4*y. Solve 4 = -3*g + y for g.
3
Suppose -46 = -5*q - 4*u, 0 = -q + 2*u - 3*u + 10. Let y = 10 - q. Solve y*m - 12 = -0*m for m.
3
Suppose -2*u + 3 = -5. Let q(k) = -k**2 + 14*k + 3*k**3 - 4*k**3 - 12*k. Let w be q(-2). Solve w*h + u*h = -16 for h.
-4
Suppose -6*f - 2 = -7*f. Solve -f*g = -7*g for g.
0
Suppose -56 = -x - x. Solve 0 = 5*s + 8 - x for s.
4
Let d(w) = -11*w + 68. Let c be d(6). Solve -a = c*a for a.
0
Suppose -5*a - 13 + 103 = 0. Let f = 25 - a. Solve -4*x - f = -27 for x.
5
Suppose 12 = 3*v - 5*w + 3, 5*v + 3*w - 15 = 0. Let h = 6 - v. Solve 0*o = -h*o for o.
0
Let x(n) = -n**3 - 4*n**2 - n + 5. Let m be x(-4). Solve -3*o = -6 - m for o.
5
Let b be (4/(-6))/(4/(-18)). Suppose l + 0*l - 4 = 0. Suppose 0 = -d + l. Solve -b*w + w = -d for w.
2
Let w(g) = g**2 - 8*g + 12. Let s be w(8). Suppose 3*y + c = 2*c, -4*c = -s. Let q(a) = 3*a**3 - a**2 + a. Let b be q(y). Solve b*i - 4*i = 1 for i.
-1
Let l be 3*7/(84/16). Solve -y - l*y = 25 for y.
-5
Let w(i) = -6*i + 4. Let y be w(-2). Solve 1 = 5*f + y for f.
-3
Let o(c) = -c**2 - 2*c - 1. Let y be o(-5). Suppose 6*n - n + 140 = 0. Let g = y - n. Solve 2*r - g = -2*r for r.
3
Let x(z) = -3*z + 17. Let a be x(5). Solve 2*g + a = -4 for g.
-3
Let w be (-2 - -2)*2/(-4). Suppose 0 = -w*t - 5*t. Solve t = -c - 1 - 1 for c.
-2
Let x(z) = z**3 - 6*z**2 + 5. Let c be x(6). Let u(o) = -o**3 + 5*o**2. Let f be 2 + 2 + (3 - 2). Let a be u(f). Solve c*g - 16 - 9 = a for g.
5
Suppose -3*o - 25 = 2*o. Let m(r) be the third derivative of -r**4/24 + r**2. Let x be m(o). Solve -x*f = -2*f for f.
0
Let u = -11 - -14. Let l = u + 3. Solve -4*b + l = -b for b.
2
Let t(d) = -d**2 - 7*d + 3. Let j be t(-7). Let p = 10 + -8. Solve -p*q - j = -9 for q.
3
Suppose -5*h = -3*z - 38, 5*z = 2*z + 12. Suppose 3*p = -2*p + h. Solve 6*u = p*u + 20 for u.
5
Let r be (-2 - (-2 - 0)) + 2. Suppose 0 = r*p + 2*p. Let w be 0 + 6 - (1 + p). Solve 4 = -w*q - 16 for q.
-4
Suppose 7*x = 1 + 20. Solve 0 = 5*t - x*t for t.
0
Let o be 2/6 + 46/6. Solve o = 3*h + h for h.
2
Suppose -5*y = -4*y + 8. Let v be 2/y*(4 - 8). Solve -2*k + 3 = -v for k.
2
Suppose -24 = k + 3*u, -52 = 5*k + 2*u - 4*u. Let w be (4/k)/((-3)/27). Solve w*p + 11 = -4 for p.
-5
Let q = 0 + 8. Let n be -2 - -16 - (-1 - -3). Solve n = -5*r - q for r.
-4
Let c(h) = -h**3 - 2*h**2 + 1. Let x be c(-1). Let n = -7 - -9. Suppose 2*d + 2*i - 16 = -2*i, -13 = -2*d - i. Solve x = -n*o - d - 0 for o.
-3
Suppose 3*r + 7 = 28. Let k = -3 + r. Solve 2*g + 6 + k = 0 for g.
-5
Let b(o) = o**2 - 4. Let n be b(-3). Suppose 30 = 5*g - 0*y - 2*y, 7 = -2*g - 3*y. Suppose -g = -n*x + x. Solve 0 = -2*k + k + x for k.
1
Let z = 26 + -22. Solve z*c = -22 + 6 for c.
-4
Let f be (-85)/(-25) - 6/(-10). Suppose 3*g = 2*y - 4, -g - 2*y + f = -8. Solve -2 = -g*i + 4*i for i.
-1
Suppose -6 = 2*y, -z - 15 = z + 5*y. Let k be z - (-1 - -1 - 3). Solve 0 = 6*n - 3*n + k for n.
-1
Suppose -5 = -6*n + 5*n. Suppose 3*z = -3*q - 3, -3*q + 8*q - n = -3*z. Suppose -a + q = -1. Solve a*d + 0*d + 20 = 0 for d.
-4
Let b = 28 + -23. Solve b*n - n + 20 = 0 for n.
-5
Suppose -2 - 5 = j + 5*u, 0 = 3*j - 5*u - 59. Let k be 4/2 + (-3 - -2). Suppose -z + 4*g - j = -6*z, 2*g - k = 3*z. Solve -z - 1 = 2*m for m.
-1
Let s = 12 + -9. Suppose -2*f = s*f. Suppose f = 4*i - 2*a - 12, a + 6 + 6 = 4*i. Solve i = -g - 0*g for g.
-3
Suppose 3*p = 12*p - 180. Solve -6*s = -s - p for s.
4
Suppose -l = 2*d - 6*d - 16, 5*d + 20 = -4*l. Solve 12*u - 8*u = l for u.
0
Let d(n) = n**2 - 6*n - 4. Let a(q) = q**3 + 7*q**2 + 8*q + 6. Let l be a(-6). Let o = 13 + l. Let z be d(o). Solve 0 = z*s - 4*s + 3 for s.
3
Suppose 3*x - 12 = -0. Suppose x*w - 21 = -5*v, -6*w + 4*v + 8 = -3*w. Suppose -4 = 4*o - 4*l, -3*o - 9 = -4*o - 4*l. Solve w*i + o = 5*i for i.
1
Let x be 0 + (0 - (5 + -2)). Let y be (3 - 1) + -2 + x. Let u be -4*(27/12 + y). Solve 0 = -g - u - 1 for g.
-4
Let t be ((-6)/4)/(9/(-12)). Suppose 0 = -4*m - 4 + 12, 3*u = t*m - 1. Let h = 2 + u. Solve -1 = -h*l + 8 for l.
3
Let a(z) = z**3 + 3*z**2 - 5*z - 1. Suppose -12 = 2*c + c. Let p be a(c). Solve -p*i = -0 - 9 for i.
3
Let h = 94 - 84. Suppose k = -4*k + 10. Solve h = 3*r - k for r.
4
Let q(k) = -k**3 + 5*k**2 + 8*k - 6. Let l = 8 - 2. Let p be q(l). Solve -w - p = 2*w for w.
-2
Suppose 2*g + 3 - 11 = 0. Let t = -5 + g. Let j be (-1 - 2) + 6 - t. Solve 0 = j*k - 4 + 12 for k.
-2
Suppose -z - 2*z = -63. Suppose -5*m + 4*g = -29, 0*m = 4*m - g - z. Solve 0 = -0*d - m*d for d.
0
Suppose -3*j - 3*w = 33, 0 = -3*j + w + 2*w - 45. Let x = 19 + j. Suppose 2*o - x = -o. Solve -o*p + p - 3 = 0 for p.
-3
Let c be (3/(-2))/(-1 + (-8)/(-16)). Solve c*h = -0*h for h.
0
Let v(x) = -x**3 - x**2 + 3*x + 4. Let u be v(-3). Let n = -3 + u. Suppose -d + 4*d - w - 14 = 0, -3*w = -5*d + 30. Solve d*f = 5*f - n for f.
5
Let r(m) = -m + 11. Let d be r(8). Suppose 0 = -z - 3*j + d - 0, z - 3 = -j. Solve -z*w - w = 0 for w.
0
Let j(h) = -h. Let z be j(-1). Suppose -4*b + 8 = -4*s, b - 1 - z = -2*s. Solve s - 12 = 4*n for n.
-3
Suppose -5*l + 56 = 4*a - l, -4*a - 2*l = -52. Let r be (-3)/a + 1/4. Solve -2*n + 2 = -r for n.
1
Suppose g = -4 + 6. Suppose 318 = 5*k - s, 72 = k + 6*s - g*s. Suppose -4*p + k + 0 = 0. Solve -2*n - p = 2*n for n.
-4
Let b be (-8)/(-32) + 54/8. Let x = b - 2. Suppose -2*d - 6 = r, r - 6*r + 2*d = -30. Solve -x*y + r = -3*y for y.
2
Suppose 5*n - 48 = -5*i + 12, -5*i - 6 = -n. Solve 3*z = -2 + n for z.
3
Let s(m) be the first derivative of -m**4/4 + 2*m**3 - 3*m**2 + 7*m - 1. Let o be s(5). Solve -2 = o*d - 8 for d.
3
Suppose 0 = 5*t - 6*t. Suppose 0 = -2*o - t*o + 8. Let q = 5 - 3. Solve 0 = -o*g + 6 - q for g.
1
Let b(a) = -a**2 - 9*a - 8. Let i be (-2)/(-3*3/(-36)). Let m be b(i). Solve -2*o = 2 - m for o.
-1
Suppose 3*k - 12 = -k. Solve 0 = k*c + 11 - 5 for c.
-2
Suppose 3 + 2 = n. Suppose 0*d - 4*b = -d - 40, 0 = -2*b + 4. Let q be d/(-14) + 2/(-7). Solve n*s + 3 = -q for s.
-1
Let q = -2 -