 10 - l. Solve -j = x - 5 for x.
3
Let c = -7 + 7. Solve c*n = -n for n.
0
Let b = 16 + -31. Let t be (-16)/10*b/6. Solve 2*u = u - t for u.
-4
Suppose 3*w - 4 = -1. Suppose l - w = 3. Solve 15 = l*d - d for d.
5
Let w(n) = n - 3. Let v be w(5). Solve v*i = 4*i - 2 for i.
1
Let d(s) = -s**3 - 7*s**2 - 7*s + 2. Suppose -3*o - 10 = 8. Let k be d(o). Solve k = -4*x - 4 for x.
-3
Let w(m) = m**3 - 4*m**2 + m + 4. Let c be w(4). Solve -6*k + 2*k = -c for k.
2
Let a(h) = -1 - 9*h**2 - h**2 + h**3 + 10*h - h**2 + 3. Let f be a(10). Suppose 4*l + 5*y - 45 = 0, 3 + f = 5*y. Solve 5*j + l = -5 for j.
-3
Let k be (-6 - 1)*(-3 - -4). Let x = 3 - k. Solve -3*z + x = -8*z for z.
-2
Let l(o) = -2*o**3 - 4*o**2 - 4*o - 3. Let d be l(-2). Suppose 30 = d*v - 3*v. Suppose 3 = 4*m - w, 2*w + 3 = -3. Solve m = b - 4*b + v for b.
5
Let n(h) = h**3 - 3*h**2 + 2*h - 3. Let d be n(3). Suppose -4*c + t = 2*t - 17, -15 = -d*t. Solve -c*v - 1 - 2 = 0 for v.
-1
Let c = -1 + 2. Let y be (30/18)/((-5)/(-9)). Solve -c - y = -2*d for d.
2
Let c = -4 + 6. Solve c*v - 15 = -v for v.
5
Suppose 0 = 4*w - 3*w - 4. Suppose 0 = w*q - 21 + 1. Suppose 0 = -2*t + t - q*d - 2, 20 = 5*t - 5*d. Solve 0 = -t*y + 3 + 3 for y.
2
Let s(c) = 10*c + 4. Let u(b) = 9*b + 3. Let p(a) = 2*s(a) - 3*u(a). Let m be p(1). Let y be (-4)/m - (-7)/2. Solve y*x + 6 = -2 for x.
-2
Suppose -2*y + 2 = -0*y. Let p be 0 + y + 8/4. Solve -2*a + 10 = p*a for a.
2
Suppose -8*o = -5*o. Suppose -4*c + 25 = -35. Solve -8*n + 3*n - c = o for n.
-3
Suppose -87 = -3*s + 141. Suppose -25 = 3*n - s. Solve 4*m - 3 = n for m.
5
Let w(u) = u**3 + 9*u**2 + 3*u + 27. Let k be w(-9). Solve 16 = -k*n + 4*n for n.
4
Suppose 3*x - 2*m - 17 = -0*m, -3*m + 17 = 4*x. Solve 3 = 2*s + x for s.
-1
Let r = -1 - -4. Solve -13 = -2*u - r for u.
5
Let w be ((-12)/(-10))/((-10)/(-25)). Suppose -5 + 2 = -w*a. Solve 2 = 3*n - a for n.
1
Let h(a) = 4 - 2 - 6 - 3*a + a. Suppose 11 = -2*q - b + 2*b, 2 = -4*q - 2*b. Let y be h(q). Solve 4*i = -y - 14 for i.
-4
Let x(r) = -3 + r + r - r. Let h be 2 + 5 - (-8)/(-8). Let b be x(h). Solve -b = -2*v + v for v.
3
Let n = -23 - -29. Suppose 0 = -3*u + 3 + n. Solve -w + u - 1 = 0 for w.
2
Let z = 18 - 6. Let n = 14 - z. Solve -k = n - 3 for k.
1
Let c = 0 - -6. Solve c = -0*f - 2*f for f.
-3
Suppose 0 = -2*m + 2*q + 16, -2*m + 3 = -q - 11. Solve 0*z + m = -2*z for z.
-3
Let u be (6/12)/((-2)/(-8)). Let r(z) = u + z - 2 - 3 + 5. Let g be r(3). Solve -g*m + 4 = -4*m for m.
4
Let p = 4 - -1. Suppose 20 = 5*s - p. Solve 20 - s = -3*a for a.
-5
Let p(b) = -2 + b - 2*b + 2*b. Let k be p(6). Suppose o = -k*o. Solve 4 = -c - o for c.
-4
Let m(p) = -p**3 + 7*p**2 + 4. Let u be 9*(0 + (-3 - -2)). Let h = -2 - u. Let q be m(h). Solve 3*v - 1 + q = 0 for v.
-1
Suppose -27 = -3*o + 5*c, -2*o - 1 + 0 = 3*c. Let z(m) = m + 6. Let p be z(o). Solve -7*l + p = -2*l for l.
2
Suppose -20*w = -26*w. Solve -p = -w*p for p.
0
Suppose -o + 6 + 9 = 0. Solve -o = 5*m - 0*m for m.
-3
Let w(s) = s**3 - 12*s**2 + 2. Let q be w(12). Solve -q = a - 0 for a.
-2
Let t(y) = 0*y - 4*y**3 + 2 - 1 + 2*y. Let j be t(-1). Suppose -2*s + p + 5 = -35, -3*p + 60 = j*s. Solve 0*w - s = -5*w for w.
4
Let x = -15 - -18. Suppose 2*a - a = x. Solve -a = -f - 5 for f.
-2
Suppose 0*x + 5*x = 45. Let u be 16/(-5)*(-10)/4. Suppose u*k - 5*k - 6 = 0. Solve k*h = x - 3 for h.
3
Suppose -55 = -4*h - 15. Suppose -3*b + 20 = b, 5*c - h = 3*b. Suppose -2 = -3*v + g, -5*v + 2 = 4*g + 10. Solve c*k - 3 - 22 = v for k.
5
Let a = -1 - -1. Let x(k) = -k**3 + k**2 + k + 2. Let t be x(0). Let q(y) = 2*y - 2. Let b be q(t). Solve a = -g + b + 2 for g.
4
Let y = -12 + 12. Suppose 0*b + b = y. Solve -2*j = -b*j - 2 for j.
1
Suppose -3*g = -4 - 5. Suppose -t = 2*c - 4*t - g, -5*t + 11 = 2*c. Solve -r - c*r + 4 = 0 for r.
1
Let y(d) = -d**3 + 8*d**2 - 5*d + 3. Let t be y(7). Suppose 4*h - t = -5. Solve l + 2 = h for l.
1
Let h(o) = -3 - 12 - 1 + 18*o - 13*o. Let z(r) = r - 3. Let s(y) = -2*h(y) + 11*z(y). Let d be s(4). Solve d*l + 1 = -14 for l.
-5
Let r = -4 - -4. Let c(d) = d**3 - 5*d**2 + 3*d + 4. Let y be c(4). Suppose y = -2*p - p + 9. Solve r*h = -p*h for h.
0
Let k(j) = -j**3 - 4*j**2 - j. Let r be k(-4). Solve -6*q = -r*q + 4 for q.
-2
Suppose 0 = 3*l + 5*p - 27, 0 = p - 3. Suppose 12 = l*a - 24. Suppose 0 = -2*m - 0 + 8. Solve 0 = m*q - a*q + 20 for q.
4
Let f(k) = -k**3 - 5*k**2 - k - 3. Let w = 4 - 9. Let o be f(w). Suppose o*d = -d + 9. Solve 2*v = d*v for v.
0
Let p be (6 + 6 + -3)*-1. Let m be (-8)/(-36) + (-16)/p. Solve 3 = -m*b + 13 for b.
5
Let l = -5 - -9. Let w = l + -4. Suppose w = -u - d + 4, -10 + 2 = -4*d. Solve -u*t = -7*t for t.
0
Suppose -6 = -4*l - 4*f + 30, -3*l = 2*f - 22. Solve l*i + 2 = -2 for i.
-1
Let u be (4/6 + -1)/(13/(-117)). Solve -3*f - 6 = u for f.
-3
Let o = 16 - 6. Solve -c = c + o for c.
-5
Let u = -6 - -4. Let p(o) = o**2 + 2*o. Let n be p(u). Let d be 1/2*0/(-1). Solve d = -2*b - n*b - 10 for b.
-5
Let n(s) = -s**2 - 6*s - 1. Let l be n(-5). Suppose 2*k + 10 = l*k. Solve -k = -5*h - 25 for h.
-4
Suppose 5*y = -y + 36. Solve 5*j + y = 2*j for j.
-2
Let b be (68/8 - -2)*2. Let m = b + -18. Let y = -8 + 14. Solve m*n = n - y for n.
-3
Let z(k) be the third derivative of -2*k**2 - 1/24*k**4 + 0*k - 1/60*k**5 + 1/120*k**6 + 0 + 1/3*k**3. Let c be z(2). Solve 20 = c*b - 9*b for b.
-4
Suppose 2*o - 2 - 6 = 0. Let l(a) = 3*a - 3. Let d be l(o). Suppose 0 = 4*g - d*g. Solve -5 + g = 5*f for f.
-1
Suppose -5*l = 3*h - 1, -9 = 2*h - 6*h + l. Solve h*d = d - 3 for d.
-3
Suppose -3 = -2*d + 1. Suppose m = d*m. Solve 9*l - 4*l + 10 = m for l.
-2
Let u(x) = x**2 - x - 3. Let p be u(-3). Solve -5*q = -p*q + 16 for q.
4
Suppose -4*s + 5 = -3. Suppose -8 = -s*x + 10. Solve -5*y - 24 + x = 0 for y.
-3
Let r = -44 - -56. Solve -r = -o - 3*o for o.
3
Let k be (0 + 2 - 4) + (3 - 1). Solve 3 = t - k*t for t.
3
Let v be (-106)/(-22) - 2/(-11). Suppose 2*x + 5 = 5*h, -3*x + 0*x - v*h + 5 = 0. Solve x = -4*l + l for l.
0
Suppose -o + 23 = -4*t, -4*o - 3*t + 20 = -t. Solve 4 = 3*n + o for n.
-1
Suppose 3*q = 2*q + 3, 0 = 4*t + 2*q - 710. Suppose -5*z - 56 = -t. Suppose -2*n - 7 = 5*u - 2, -3*u = -3*n + z. Solve 4 = -n*r - 16 for r.
-4
Let a(o) = -o**2 - 8*o + 9. Let g be a(-8). Suppose 0 = 5*x - 4*c + 9, g*c = 4*c + 5. Let m be (9 - x) + (-2 - 0). Solve m*n = 3*n - 25 for n.
-5
Let s = 6 - 3. Suppose f + s = 7. Solve -2*y - f = -12 for y.
4
Let d be 3 + (-1 - 1 - -1). Suppose 21 = 4*f + 61. Let s be (d/(-2))/(2/f). Solve w - 1 = -s for w.
-4
Let s = -30 + 33. Solve -s = p - 0*p for p.
-3
Suppose 3*y - 10 = y. Suppose 28 = -u + y*u. Let b be (8/6)/(u/21). Solve -b = 3*x + x for x.
-1
Let k be (90/((-9)/3))/(-2). Suppose 3*a + 2 + 13 = b, -b - k = 3*a. Solve b = -3*s + 4*s for s.
0
Suppose -3*r - x + 10 = -9, 0 = r - x - 9. Solve -2 = f - r for f.
5
Let d be (-5)/((-15)/(-9))*-1. Let j be d/(-2)*(-2)/3. Solve j + 1 = -q for q.
-2
Let m(n) = -n**2 + 12*n - 16. Let b be m(10). Let d(u) = -u**2 - 7*u + 1. Let f be d(-7). Solve -f = b*j + 7 for j.
-2
Let m(s) = 2*s**2 + 2*s. Let v be m(-2). Let c be (-5)/(-4) + (-1)/v. Suppose 2*n - 1 = -t + c, 10 = -2*n + 5*t. Solve n + 4 = 4*z for z.
1
Let v = -16 - -24. Suppose -3*g + 15 = 3*c, -4*c + v = 5*g - 7. Solve -4*p = p + c for p.
-2
Let z(b) = -b**3 + 4*b**2 + 4*b + 2. Let r be z(4). Let o be (-4)/(-18) + 32/r. Suppose -4*d + o + 58 = 0. Solve -6*w + 3*w = d for w.
-5
Let r = 10 - 8. Suppose r*y - 82 = -4*s, -3*s - y = 3*y - 54. Solve -2 = 5*m - s for m.
4
Let u(s) = 2*s**2 + 23*s - 10. Let o be u(-12). Let p be 2/(-2*1) - -1. Solve -o = d - p for d.
-2
Let m be 3 - (0 + 1 + 0). Solve 0 = -2*v - 2 - m for v.
-2
Suppose -5*l = 5*t - 40 - 0, -8 = -4*l. Suppose 3*r + t = 6*r. Solve s = r*s - 4 for s.
4
Suppose -10*c + 12*c = 6. Solve 1 = -c*d - 11 for d.
-4
Let l(r) = r**2 + 2*r - 3. Suppose 0*k - 4*k - 12 = 0. Let t be l(k). Let j be 0 + t - (-2 - -2). Solve -o - 5 + 0 = j for o.
-5
Let t be ((-3)/9)/((-26)/12 - -2). Solve 0 = t*d - 6*d - 4 for d.
-1
Let n(z) = -1 + 2*z**2 - 2*z**2 - 13*z**3 - 13*z**3 + z**2. Let u be n(-1). Suppose 3*h = 5*l + 28, -4*h + 4*l - 3*l = -u. Solve -3*s + 9 = -h for s.
5
Let z be (-80)/(-36) - (-4)/(-18). Suppose -2*o + 2*q + 6 + 4 = 0, z*o - 5*q = 25. Solve 5*j + 3 + 2 = o for j.
-