olve -x = -r*x for x.
0
Suppose -2*r + 121 = 5*x - 0*x, 0 = 5*r + 10. Let y be x/9 + 6/27. Solve -y*s - 8 = -s for s.
-4
Suppose 0 = -0*z - z + 3. Let c(p) = p**3 + 4*p**2 - p - 2. Let b be c(-4). Solve -n = b*n + z for n.
-1
Suppose 5*k = 2 + 68. Suppose 0*i + 2*i + k = 0. Let y(f) = -3*f - 3. Let d be y(i). Solve 2 + d = -5*t for t.
-4
Let a(t) = -t**2 - 3*t + 3. Let k(o) = -o**2 - 4*o + 3. Let g(l) = -3*a(l) + 4*k(l). Let y be g(-7). Solve 0 = -7*m + 4*m + y for m.
1
Let m be (-4)/(5/((-10)/(-4))). Let z be 0*(m - (-3)/2). Let c = -3 + 5. Solve z = c*w + w + 9 for w.
-3
Let k be 4/1 - (-3 + 3). Suppose -3*j - 3*b = 3, b = j - k*j + 7. Suppose 4*d - j*l = 1 + 35, -5*l - 29 = -d. Solve -d*r - 1 = 3 for r.
-1
Let s(q) = 2*q**2 - 23*q + 14. Let n be s(11). Solve -2*x - n*x - 25 = 0 for x.
-5
Suppose 0 = -0*t + 4*t - 20. Let x be 3*t/(5/2). Solve -x = 3*y + 6 for y.
-4
Suppose -3*j + 5*u = 16, 3*j - 9 = 5*j - 3*u. Solve -q - j*q - 16 = 0 for q.
-4
Suppose -4 + 8 = -a. Let b(w) be the third derivative of -w**4/24 - w**3/3 - w**2. Let f be b(a). Solve -3*k = f*k for k.
0
Let v be (-4)/(-2) - (-12)/2. Suppose 2*r - v = -2*q, -2*r = -2*q - 0 - 4. Solve -o + 0*o = -q for o.
1
Let p = 7 + -11. Let r be (4/2)/(p/6). Let d = 6 + r. Solve -4*n + d*n = -3 for n.
3
Let y be -8 + 7 - (2 + -3). Solve 0 = -x - y*x - 2 for x.
-2
Suppose 0 = -y + 3 + 24. Let k = y - 7. Let q be ((-1)/1)/((-2)/8). Solve -k = q*j + j for j.
-4
Let s be -3 + (1 - -2) + (-1 - -1). Solve 2*a + 3*a + 10 = s for a.
-2
Let r be 0*(-1 - (-3)/6). Solve -4*o + 22 - 2 = r for o.
5
Let u = 44 + -42. Solve -4*i + u*i = 10 for i.
-5
Let f be 15/9 - 1/(-3). Let n(s) = s**3 - 2*s. Let t be n(f). Let y be (28/6)/(t/6). Solve -27 = -5*b - y for b.
4
Let o be -1*(-2)/((-2)/(-3)). Let r be (-5 + -1)*(-1)/2. Suppose 0 = r*c - 0*c. Solve c = -o*u + 2 + 4 for u.
2
Suppose -d + 4*d = 12. Solve 0 = -2*o - 14 + d for o.
-5
Let t be 2/11 + (-80)/(-44). Let c = 2 + t. Solve -c = w - 3 for w.
-1
Let a = -24 - -28. Suppose -5*d - 3*g = -21, -4*d + 7*d + a*g - 6 = 0. Solve -y + d*y = 0 for y.
0
Let d = -18 - -24. Solve -a - d = -4*a for a.
2
Let f be 14 - (1 - (-2)/2). Suppose -f = -h - 2*h. Solve k = -h*k + 25 for k.
5
Let n = -5 - 1. Let j = -6 - n. Suppose 0 = 5*q + 3*u - 1, 3*q + j*q + 3*u = -3. Solve 0*r + q = r for r.
2
Suppose c + 5*f - 1 = -c, -3*f - 1 = c. Let v be (c - 3) + -1 - 2. Solve 4*w = 6 + v for w.
2
Suppose t + 1 = 3*w - t, 0 = 5*w - 3*t - 1. Let l be (3/(-5))/(w/5). Suppose 4*x + 10 = -2*u + 3*u, 5*x + 23 = l*u. Solve -u = q + q for q.
-3
Let j(x) = -5*x - 1. Let v be j(-1). Let c(n) = n + 1. Let r be c(v). Solve 0*w + r*w + 5 = 0 for w.
-1
Let q be -3 + (-2)/(-1) - 1. Let w be 3/(21/(-15) - q). Suppose i - 8 = -i, 10 = 2*j - w*i. Solve -c = -4*c + j for c.
5
Let g(h) = h**2 - 3*h - 4. Let r be g(-3). Suppose -4*p - r = 2*l - l, 6 = -3*p - 3*l. Let q = p + 5. Solve 3 = -2*b - q for b.
-2
Let c(d) = -d - 1. Let z be c(-8). Solve -z*x = -2*x - 15 for x.
3
Let z(c) = -c + 1. Let k be z(-4). Let j(m) = -m**2 + 4*m + 6. Let l be j(k). Solve -a - 1 - l = 0 for a.
-2
Suppose -m + 13 + 24 = 4*j, 4*j - 55 = 5*m. Suppose 4*r = j - 2. Solve -4*h + r = -2 for h.
1
Let a be 3 + 3/(-3)*1. Suppose -39 = a*c - 3*c + 4*m, -5*m = -25. Suppose c - 11 = 4*r. Solve d = 5*d + r for d.
-3
Let d(f) = -3*f - 22. Let y be d(-9). Solve -p + 2*p = y for p.
5
Let b = 142 - 35. Suppose -8 + b = 3*c. Suppose -f - 2*f = -c. Solve 4 = -3*u - f for u.
-5
Let k be 1/(1*(-1)/(-2)). Let m = k + 18. Let i be (9 - 2)*(-2)/(-2). Solve -m = 2*h - i*h for h.
4
Suppose 5*o - 13 = -2*i, 1 = 2*o - 1. Solve i*k - 5 = 3*k for k.
5
Suppose 5*f = f + 20. Suppose -2*y + f*x = -y - 16, y + 3*x = 0. Let j(i) = 11*i**2 - 1. Let c be j(1). Solve -b + y*b = c for b.
2
Let p = -1 + 48. Suppose y = 5 + p. Suppose 0*c = 2*c - y. Solve -5*k + c = 1 for k.
5
Let c(q) = 5*q + 1. Let f be c(1). Solve -3*l = -f*l - 15 for l.
-5
Let n(b) = -2*b - 9. Let i be n(-6). Solve -i*s + 9 = -0 for s.
3
Suppose 5*c - 76 + 26 = 0. Solve c = 3*g - g for g.
5
Suppose j + 8 = 2*o, o - 3*o = -4*j + 4. Suppose -5*r + 14 + 0 = 2*m, 0 = -3*r - 2*m + o. Solve v = -r*v for v.
0
Let y be 9/2*8/12. Suppose y*x - 2 = 10. Solve w = 3*w - x for w.
2
Let t(b) = -b + 2. Let m be t(3). Let y be m/2 - (-18)/4. Suppose -z - 5*h - 11 = 0, -2*z + 17 = y*h - 7*h. Solve -3*i + z = i for i.
1
Suppose -2*l - 6 = -2*v, -5*v = -2*l - 10 - 2. Let f(q) = 9*q**2 - q. Let t be f(l). Solve -t = -s - 4*s for s.
2
Suppose -4*y + 3 = -3*p, 40 = -5*p - 8*y + 3*y. Let q = p - -7. Solve -g - q + 4 = 0 for g.
2
Suppose 5*l - u = 1 + 6, -6 = -2*u. Solve l*b - 5 = -3 for b.
1
Let n be 1067/121 - (-4)/22. Let b be 2*(-2)/(12/87). Let h = b - -40. Solve n = 4*v - h for v.
5
Suppose 2*i = -0*i. Suppose i = 3*p - 4 - 2. Let s = 0 + 0. Solve -p = b - s for b.
-2
Suppose 3*g - 3 = 0, d + g = -4*g + 15. Suppose 0 = 5*h + q + 38, 0 = -h + 2*q + 1 - 2. Let j = -1 - h. Solve 4*p + d + j = 0 for p.
-4
Suppose -4*l + 15 = l. Suppose -l*v + 3*j = -29 + 8, -2*v = -3*j - 16. Suppose -3*f + 1 = -r + 14, v*r - 5*f = 35. Solve -r*d + 0*d = -4 for d.
1
Let q(a) = -a**3 + 3*a**2 + 3*a + 4. Let j be q(4). Suppose -6*x + 2*x + 8 = j. Solve -x*f = -0 - 10 for f.
5
Let x = 0 + 3. Suppose x*n - 51 = -2*v + 14, n - 24 = -3*v. Suppose 3*i - n = -9. Solve 0 - i = -c for c.
4
Suppose 5*s = -g + 3*s + 10, 0 = g - 2*s - 10. Solve -t = 4*t + g for t.
-2
Let q = -19 - -23. Solve -q*m - 2 = -6 for m.
1
Suppose 2*n = 7 - 3. Let k be 1/(-3) - (-14)/6. Solve -n*i = k*i for i.
0
Let d be (16 - -2)/(-2 - -3). Let c = d + -6. Solve -i - c = -5*i for i.
3
Let g(l) be the first derivative of -9*l**2/2 - l + 3. Let r be g(-1). Solve 4 + r = 4*n for n.
3
Let w = -3 + 5. Suppose -j + 9 = w*j. Solve -j*k + 17 - 2 = 0 for k.
5
Let y = -10 - -16. Let d = 14 + y. Suppose r - 5*a = d, -2*a + 20 = -r - 7*a. Solve 0 = -r*v - v + 3 for v.
3
Suppose -5*w + 27 = -3*s + 2*s, w - 9 = 2*s. Let m = 7 - w. Let a be -6*1*m/(-3). Solve 2*q = -2*q + a for q.
1
Suppose 6*x - 4 - 20 = 0. Solve -m = -x*m - 6 for m.
-2
Let w = -91 + 92. Solve w + 3 = 4*m for m.
1
Suppose m = -2*q - 1 + 7, -3*m = 3*q - 3. Let x = -1 - m. Let t = x + -3. Solve t = -4*k - k for k.
0
Let q = 3 + 6. Solve -6 = -3*c + q for c.
5
Suppose 5*w + 0 = -5. Let z be 0*2*w/4. Let t = 2 + 1. Solve -2*o - t - 7 = z for o.
-5
Let b = -26 + 14. Let z = b + 15. Solve z*s = -s - 16 for s.
-4
Suppose 2*r + 3 = 29. Let u = 15 - r. Solve -u*n = n - 3 for n.
1
Let t(q) = -q**3 + 20*q**2 - 35*q - 16. Let v be t(18). Solve v*h + 8 = 4*h for h.
4
Suppose -7 = r - 4*v, -2*r - 2*v = -3*v - 7. Suppose -3*j + 16 = -2*f - 24, 65 = r*j - 3*f. Solve -z - j = -3*z for z.
5
Suppose -4*v = -25 + 9. Suppose -2*u - 2 = -3*u - 5*b, -b = v*u - 8. Solve u = 2*p - 0*p for p.
1
Let c(a) = a - 2. Suppose 0*j - 17 = d - 4*j, d + j = 8. Let z be c(d). Solve 2*x - 1 - z = 0 for x.
1
Let k be 3*(-3)/((-9)/4). Suppose 4*i + 12 = 4*f, i + 2*f = 2*i + 7. Suppose i + 2 = h, 4*v - 3*h = 47. Solve -k*w - 2 = -v for w.
3
Let b(f) = -5*f**3 - 7*f + 4*f**3 + 4*f**2 + 4*f**2. Let s be b(7). Solve 4*l - 5*l - 3 = s for l.
-3
Let k be (8/(-6))/((-12)/18). Solve k*u = -u for u.
0
Let m(l) = -3*l + 31. Let f be m(7). Let j = 11 - 6. Solve -5*h - j = f for h.
-3
Let p = 5 + 0. Solve 0 = -0*g - g - p for g.
-5
Let g(b) = -b**3 + 9*b**2 - 7*b - 4. Let t be g(8). Suppose t*s = r + 23, -6*r + 4 = -2*r. Solve 0 = z - s*z for z.
0
Suppose j = 1 - 0. Suppose -b + 5*y + 1 = -j, -8 = -4*b - 5*y. Suppose b*x - 2*k = -2*x + 24, -4*x + 32 = -4*k. Solve 2 = z + x for z.
-2
Suppose -14*k = -33*k + 15*k. Solve 4*t + 4 + 8 = k for t.
-3
Suppose 0 = 30*r - 4*r - 156. Solve -g - 5*g = -r for g.
1
Let j = -72 - -74. Solve 0 = m + j - 0 for m.
-2
Let s = 177 - 170. Solve s*i - 4*i = -12 for i.
-4
Suppose -4*q = -5*q + 3. Suppose -q*b - 10 = 2*b. Let v be (2 + b)*1*-1. Solve v = -5*i + 14 - 39 for i.
-5
Let w = 9 - 6. Solve 2*x + w*x = 25 for x.
5
Suppose -m = 4*m + 10. Let p be 0 + 1 - 1 - m. Suppose -3*f = 5*z + 10, 0*f - 4*z - 8 = -f. Solve p*h - 8 = -f*h for h.
4
Suppose -12 = -4*m + i, -m = -0*i - 2*i - 10. Let r(g) = m + g - g + g. Let d be r(-2). Solve d*y - 4*y = 0 for y.
0
Let n(z) = -z**2 + 4*z + 1. Let s be n(3). Solve -1 = -s*h + 7 for h.
2
Let k(y) = 