i*s - s for s.
-1
Suppose -3*j - 6*k + 1 = -k, -5*j = -k - 11. Let l = -27 + 34. Solve -l + 1 = j*b for b.
-3
Suppose 0*n + n = 0. Solve 0 = 2*w + 4 - n for w.
-2
Suppose 0 = 7*b - 2*b + 2*o - 64, -b = -2*o - 8. Solve -4 = 4*g + b for g.
-4
Suppose 4*y + 3 = 11. Let x = y - 0. Solve -2*c + x = -4 for c.
3
Suppose 5*i - 4 = 16. Solve -i*f - f + 20 = 0 for f.
4
Let y(o) = o**2 + 7*o - 7. Let d be y(-9). Let u = -1 + d. Let x be 3/(-9) + u/3. Solve -x*h - 16 = -1 for h.
-5
Suppose -8 = -3*j + 4. Let v = -4 + j. Solve 5*z - 13 - 2 = v for z.
3
Let f = -10 + 8. Let b be -1*-1*(f + 2). Solve b*n = 2*n for n.
0
Let b be ((-7)/3 + 2)*-15. Let c = -60 - -68. Solve 3*f - c = -b for f.
1
Let m be (3 + 22/(-6))*-6. Suppose r + 149 = m*x, -175 = -5*x + 4*r + r. Suppose -3*l - 4*o + x = 0, 2*l - 16 = -o + 3*o. Solve -4*s = l + 6 for s.
-4
Let b(l) be the third derivative of -l**6/120 - l**5/15 + 5*l**4/24 - 3*l**2. Let g be b(-5). Solve g = z + 3*z for z.
0
Let q be (-9)/(-2) + (-1)/(-2). Let y = -6 - -9. Solve -y*r - 2*r = -q for r.
1
Suppose -3*g + 3*v + 20 + 1 = 0, 0 = 2*g + 2*v - 6. Solve -1 = -2*d + g for d.
3
Let q = -21 + 31. Let g(b) = -8*b**2 + b - 1. Let f be g(1). Let r = f + 10. Solve q = r*l + 3*l for l.
2
Let z be -4*15/40*40/(-6). Solve 6*t - z = t for t.
2
Suppose -2*z - x = -3*x - 28, -2*z = 3*x - 18. Solve 0 = 4*h + 4 + z for h.
-4
Let k be (-3)/(-3)*2 + 4. Solve -2*w + 16 = k for w.
5
Suppose -r = -5*o - 38 - 21, 0 = -3*o - 2*r - 25. Let s = 8 + o. Let w = -3 - s. Solve -3*x + w + 9 = 0 for x.
3
Suppose -p + 5*k = 6 + 11, -9 = -3*k. Let x be (0 + p)*10/(-4). Solve 3*j = x*j - 6 for j.
3
Suppose 9*r = -0*r + 27. Solve -6 = r*s - 0 for s.
-2
Suppose 2*p - 3*p = 2*p. Solve 5 + p = w for w.
5
Let w = 1 - 7. Let r = 12 + w. Solve -3*z - r = -6*z for z.
2
Let j be (9/(-4))/(6/(-16)). Solve -h - j = 2*h for h.
-2
Let a be (-4)/7*(-35)/10. Solve a = -s - 0 for s.
-2
Suppose 3*b = 5*w - 25, 0*w + 5*w - 25 = 5*b. Suppose 5*k + s - 23 = -1, 4*k - 6 = 5*s. Suppose -2*v + k = -b*v. Solve v*g = 3*g + 1 for g.
-1
Suppose 2*i + 4*p = 10, i - 5*p = 7 - 2. Solve 13 = i*l + 3 for l.
2
Let j = -1 - -1. Suppose -t - 4*t - 5*u = -115, j = -2*t + u + 61. Solve -5*x + t = 3 for x.
5
Let d(l) = -l**3 - 8*l**2 - 8*l - 4. Let j be d(-7). Suppose -j*n = n - 12. Solve -z + n = 7 for z.
-4
Let o = -5 + 10. Let u be (-108)/(-26) - (-4)/(-26). Suppose 3*n + 16 = 3*w + u, 5*n - 10 = -5*w. Solve -w = -2*v + o for v.
4
Let c(o) = -o + 13. Let b be c(6). Let m = 25 + 2. Suppose 3*p - 5*a = m, -6*p - 5*a = -b*p + 9. Solve -p*w = -4*w for w.
0
Let j be (-121)/(-4) + (-3)/12. Let g be (-3)/(-12) - j/(-8). Suppose 2*i - 14 = -2*b, -g*b = 3*i - i - 20. Solve b*m = -4 + 13 for m.
3
Let a = -38 + 53. Solve g + a = -4*g for g.
-3
Suppose 2*z - 5*s - 45 = 0, 2*s + 2*s = -20. Suppose 4*v + 2 = z. Solve v*f + 8 = -2*f for f.
-2
Let m = -24 + 35. Let s = 11 - m. Let i = -7 + 12. Solve s = -i*o - 0*o - 5 for o.
-1
Suppose 0*g - 3 = -4*g + 3*b, 0 = 3*g - 5*b - 5. Solve -z + 3 = -g for z.
3
Let n(t) = t + 9. Let y be n(-7). Suppose -4*h + h + 26 = y*p, 4*p - 5*h - 96 = 0. Solve 0 = 3*a - 7 + p for a.
-4
Let k(v) = -8*v - 1. Let p be k(-1). Suppose -n + 7 = 3. Suppose 2*y = -4*c + 16, 0 = y + n*y + 5*c - 30. Solve 0 = -3*o + p*o - y for o.
1
Let m(d) = -d + 6. Let n be m(0). Solve 0*v = 2*v + n for v.
-3
Suppose -2*p - 14 = -0*p. Let c = 9 + p. Solve -6 - 2 = c*d for d.
-4
Suppose -3*o + 9 = -0*o. Suppose 6 = 4*y - y. Solve o = y*f - f for f.
3
Let p be ((-3)/(-4))/((-17)/(-68)). Solve p = 5*m + 13 for m.
-2
Suppose -5*k + 1 + 4 = 0. Suppose j - 5 = -k. Let v(r) = r**3 + 9*r**2 - 10*r. Let a be v(-10). Solve s - j*s + 9 = a for s.
3
Suppose -4*a - 1 = -29. Suppose 17 - a = -5*t. Let l(s) = -s**3 - 3*s**2 - 3*s - 1. Let b be l(t). Solve 0*m - m = b for m.
-1
Suppose -3 = -0*l - l. Suppose 0 = 3*s - 4*z - 40, -26 = -s - 2*z - 6. Suppose -11*j + s*j = 10. Solve -l*c = -2*c + j for c.
-2
Let m = 21 + -21. Solve 2 = 2*p - m*p for p.
1
Suppose 4 = -26*x + 28*x. Solve -x + 5 = u for u.
3
Let i be 2/2*-13*-1. Suppose 0 = b, 3*p + 3*b - i - 47 = 0. Solve 2*c + 2*c = p for c.
5
Let d(s) = s**2 - 22*s + 59. Let g be d(19). Solve -2*k - g = -0*k for k.
-1
Suppose -3*n - 13 = -10. Let f be (3/1)/(3/(-4)). Let p = n - f. Solve -p = 5*c - 4*c for c.
-3
Let s be (3/(-2))/(21/(-56)). Solve -s*t + 8 = -4 for t.
3
Let s be 1*(-3 + 28) - 0. Solve s = -4*i - i for i.
-5
Suppose -29 = 3*l + 2*l + i, 5*l = 5*i - 5. Let s = l - -10. Suppose -3*b - s*h + 15 = 0, -3*h - 15 = -8*h. Solve -m + 3 + 2 = b for m.
5
Let z be (-35)/(-21) - (-1)/3. Suppose -5*w = -f + 38, -3*f + 0 + z = -w. Let t = -5 - w. Solve -t*g = -2*g for g.
0
Suppose -y + 6*y = 20. Suppose 2*w - y*w = -12. Solve -2*g = -w*g for g.
0
Suppose 0*j - j = 8. Let t = 10 + j. Solve t*o + 2*o + 20 = 0 for o.
-5
Suppose 11 - 11 = -12*y. Solve y*q = -3*q for q.
0
Let w = -35 + 51. Suppose 0 = 4*n + v - 18 + 5, -2*v = 3*n - w. Suppose l + 6 = 3*l. Solve -n*u = l - 11 for u.
4
Let n = 14 + -7. Solve n + 5 = 4*v for v.
3
Let b = 2 - 0. Let d(u) = u**2 - 3*u + 3. Let g be d(3). Solve -b*j = -g*j + 4 for j.
4
Let p(z) = -z + 3. Let x be p(-5). Suppose -x*n + 5*n + 21 = 0. Solve n*o = 2*o - 25 for o.
-5
Suppose -d + 1 = 5, n + 3*d + 10 = 0. Suppose -5*y - 5*x + 70 = 0, -44 = -4*y - n*x + 4*x. Suppose -20 = -5*q, -4*q + 15 = 3*o - 10. Solve y = 6*p - o*p for p.
4
Suppose -2*k - 4 = -2*h, k = -2*h + h + 4. Suppose -2*r + 5 = k. Suppose -r*n = y - 15, 4*y - 12 - 6 = -n. Solve -n*b + 2*b = 0 for b.
0
Suppose 0 = -2*m - 2*m. Let l be 1 + 0 + m + 1. Suppose r = 6*r - 10. Solve r = -l*o - 0 for o.
-1
Let p(m) = -m**2 + 9*m - 6. Let j be p(9). Let i(l) = -l + 7 + 7 - 18. Let n be i(j). Solve c = -c - n for c.
-1
Suppose 2*q = -83 + 101. Solve 2*j + q + 1 = 0 for j.
-5
Suppose -j = c - 5, -2*j - 8 = -4*c - 0*c. Solve -12 = 5*p + c for p.
-3
Let a(x) = x + 2. Let m be a(3). Suppose 4*n = -6 + 18. Solve 0 = m*w - 2*w + n for w.
-1
Let s(a) = -a**3 - 6*a**2 + 2*a. Let k be s(-7). Let b = k - 26. Let h = -1 - -1. Solve b = -h*x - 3*x for x.
-3
Let o = -135 + 138. Solve -8*a = -o*a - 10 for a.
2
Let x = -22 + 23. Solve 0*o - o = x for o.
-1
Let n(g) = g**3 - 6*g**2 + g - 4. Suppose 0 = -0*h - h + 6. Let i be n(h). Solve 0 = i*j - 3*j for j.
0
Let l be 4/(-6)*6/(-4). Suppose z = 3*q - 4 - 6, l = -z. Suppose -q*t + 22 = 4. Solve -4*h = 10 + t for h.
-4
Let v(f) = 2*f - 10. Suppose x = j + 7, -8 = -5*x - j + 33. Let a be v(x). Solve -4*w - 10 = a for w.
-4
Suppose -d - 2*j = -11 + 2, 3*j - 18 = -2*d. Let l be ((-6)/5)/(d/30). Let x be l/14 + 102/14. Solve 4*m + x = -1 for m.
-2
Suppose 0 = -9*q + 4*q + 50. Suppose 13*d = q*d + 18. Solve -d*k = -k + 20 for k.
-4
Let o = -14 + 18. Suppose 2*q - 2*x + 2 = 0, -2*q + o*q = -3*x + 3. Solve 0 = 3*r - q*r + 6 for r.
-2
Let g(f) = -f**2 + 5*f - 4. Let t be g(3). Suppose 3*h + 16 = 5*n + 2*h, -4*h + t = 2*n. Solve -n*j + 3 = -3 for j.
2
Let l(j) be the first derivative of 3*j**2/2 + j - 2. Let q be l(2). Let m = -4 + q. Solve 12 = m*r - 0 for r.
4
Let b be 4*(4 + 13/(-4)). Solve b*n - 9 = -0*n for n.
3
Let z(q) = q**2 + 15*q + 29. Let u be z(-13). Solve 0 = u*w - w for w.
0
Let a = -8 + 8. Solve 2*c - 3*c + 2 = a for c.
2
Let d be ((-6)/4)/((-6)/8). Let a(k) = 2*k**2 + k - k + 2*k - 1 - 6*k. Let y be a(3). Solve y*x - d = -17 for x.
-3
Suppose 0 = -5*p - 5, 0*n + 3*p + 2 = -n. Solve -n - 4 = 5*j for j.
-1
Let d be (2/4)/(3/36). Suppose -o + d*o + 5 = 0. Let f be (1 - o) + -1*2. Solve -m + f + 1 = 0 for m.
1
Suppose -2*x = -0*x + 8. Let l = 4 + -7. Let s be 3/2*x/l. Solve -s*k = k - 12 for k.
4
Suppose 4*d - 34 = -2*b, -12 = b - 4*d + 1. Suppose -4*z - b = 5, -4*a = 3*z - 3. Suppose 0 = 5*l + 5*o - 1 - 9, -3*o + 10 = 4*l. Solve -a*c = -l + 1 for c.
1
Suppose 5*p + 21 = -44. Let j = 17 + p. Solve -z + 0*z = -j for z.
4
Let m be 5 + (-3 - -1)/2 + 0. Solve -2*h - 10 + m = 0 for h.
-3
Let x(b) = -b**3 + 2*b**2 - 2*b + 1. Let c be x(1). Suppose 5*q = 20, 5*k - 4*q = -3*q + 6. Solve 0*i - k*i + 10 = c for i.
5
Suppose a + 9 = 24. Let s = -2 - -1. Let d = 1 + s. Solve 4*u - u - a = d for u.
5
Let x = 2 - 2. Let n be (1 - x - 2)*-8. Suppose -4*b = -0 - n. Solve -b = t - 0*t for t.
-2
Let l = -29 + 32. Solve l = -3*o - 3 for o.
-2
Let w be (-1)/2