 = r for r.
-1
Let u(o) = -o**3 - 10*o**2 + 11*o + 2. Let m be u(-11). Suppose m*y - 2*c = 18, -3*y - 51 = -6*y - 5*c. Solve 4*g + 0*g = -y for g.
-3
Let a be 5/(-15) + (-2)/(-6). Suppose -b + a*b = 0. Solve 2*m = -8 - b for m.
-4
Suppose -18 = -b - 2*b. Let w be 11/(-66) - 26/(-12). Solve -w*x + 4 = -b for x.
5
Suppose x - 2*v - 7 - 1 = 0, x = -v + 2. Solve -j - x*j + 10 = 0 for j.
2
Let q = -16 - -11. Let w be (-4 + 2 - q) + 0. Solve -w*m + 8*m - 20 = 0 for m.
4
Suppose 12 = 7*b - 3*b. Let k(z) = -5*z - 15. Let n(o) = -2*o - 7. Let d(l) = b*k(l) - 7*n(l). Let g be d(4). Solve -2*i + 0*i + 6 = g for i.
3
Suppose -f + 3*k = 5 - 4, 3*f - 7 = 4*k. Suppose 2*z - 8 = 2*d, 22 = 3*z - 0*d - f*d. Let c be ((-1)/(-2))/(z/(-6)). Solve 2 = -5*i - c for i.
-1
Let u be (-4)/6 + (-10)/(-15). Suppose u*y - 32 = -4*y. Solve -5*p + 17 = -y for p.
5
Let u(b) = 2*b + 2 + 2*b - 4*b + b. Let v be u(-2). Suppose v = 2*k - 0*k - 10. Solve 10 = 5*l - k for l.
3
Let j(o) = o**3 - 4*o**2 + 4*o - 4. Let w be j(3). Let z be (-2)/4*0/w. Solve -3 = -a - z for a.
3
Let h be 2/10 - (-48)/10. Suppose 3 = 2*c - h. Solve -5*w + c = -3*w for w.
2
Let m be (-12)/(-66) - (-158)/(-22). Let r(n) = n**3 + 7*n**2 + n + 4. Let z be r(m). Let l = z - -5. Solve -c + 0 + l = 0 for c.
2
Let x be 39/6 + (-1)/(-2). Suppose 24 = -3*p + x*p. Solve -4*i - p = -18 for i.
3
Let h = 14 - -1. Let k(l) = -2*l**2 + 2*l + 3*l**2 + 0*l. Let d be k(-2). Solve 5*q = -d*q - h for q.
-3
Suppose -x = -b, b - 5*x + 18 + 2 = 0. Suppose -4*p - 6*r = -b*r - 3, 4*r + 14 = -3*p. Solve 0 = l - 2*l - p for l.
-2
Let i be (-34)/(-3) + 2/3. Suppose u + 2*u = i. Solve 0 = -4*f - 0*f + u for f.
1
Suppose -4*g = -0*g + 56. Let k = -14 - g. Solve 3*m - 7 - 2 = k for m.
3
Let y(u) = -2*u + 1. Let x(r) = r**2 - 1. Let j be x(0). Let t(b) = -b + 1. Let v(p) = j*t(p) + y(p). Let a be v(-4). Solve -2*q = -0 + a for q.
-2
Let g(w) = -7*w + 2. Let y(f) = -13*f + 3. Let q(t) = -11*g(t) + 6*y(t). Let s be q(-6). Solve u + s = -u for u.
-1
Let g(z) = z - 3. Suppose -5*l = 25, 6 = -w - 2*l + 2. Let u be g(w). Suppose 18 = u*k + 2*f + f, -f = -k - 2. Solve -k*n + 15 = n for n.
5
Let r = 27 + -26. Solve 5*n - 9 = r for n.
2
Suppose 5*t + 10 = 0, 71 = -3*v + 6*v + 2*t. Suppose 0*w = -5*w + v. Solve 0 = -0*u - w*u + 15 for u.
3
Suppose 4*b - 6 = 2. Suppose 0 = -2*a - 3*s - 1, 3*a - 2*a - 5*s - 6 = 0. Solve 3*w - b - a = 0 for w.
1
Suppose 0 = -4*s + 4, -s = -3*o - 2*s + 13. Solve -4 - o = -2*x for x.
4
Suppose 0*h = 3*h. Solve h = 2*y - 0*y - 4 for y.
2
Suppose -2*z - 5*m = 9, -4*z - 6*m = -2*m. Solve 2*p = 5 + z for p.
4
Let t(m) = -m. Let y be t(-5). Suppose 2*i + 18 = y*i. Solve 0*j + i = 2*j for j.
3
Suppose k = -5*g + 4, -2*g - 4*k + 16 = 3*g. Solve 0 = 3*o - g*o for o.
0
Let u = 18 + -15. Solve u*w = w for w.
0
Suppose -3*p = 3*m, 3*p = 4*m - 2*m. Suppose p = -0*q - q + 15. Solve q = 6*z - z for z.
3
Let j(n) = -n**3 + 3*n**2 - 4*n**2 + n + 3*n + 4*n**2 + 2. Let q be j(4). Solve -6 = q*s - 0 for s.
-3
Suppose 5*j - 6 = -4*i + 2*i, 3*i - 9 = j. Suppose j = -5*m + m. Suppose m = -v + 8 + 1. Solve -f + v = 2*f for f.
3
Suppose -2*g = -1 - 3. Solve g*z + 0*z + 10 = 0 for z.
-5
Suppose -a - 2*w = 4, -3*w - 4 = -w. Let s be (-57)/19 + (-6)/(-2). Solve 2*z + s*z - 2 = a for z.
1
Suppose 2*u = -3*r + u + 3, -5*r + 5*u = -25. Solve 0 = 4*g - r*g for g.
0
Let j be 1 - (-1 + 2) - -12. Suppose -4*r + j = -16. Solve 3*m + 2 + r = 0 for m.
-3
Let v = -6 + 4. Let d = v - -6. Solve 10 = d*l - 9*l for l.
-2
Let z(d) = d**3 - 9*d**2 + 8*d - 5. Let s be z(8). Let m = -2 - s. Suppose m*t + g = -2*t + 14, -4*g + 22 = 3*t. Solve -2*p = t*p - 4 for p.
1
Let k be (3 + -5)/(-2)*3. Let z = k + -1. Solve -5 = 3*f - z*f for f.
-5
Let g(k) = 2*k + 8. Let t be g(-6). Let v(n) = -n**3 - 2*n**2 + 6*n + 3. Let r be v(t). Let h = 15 - r. Solve 4 = -5*s + h*s for s.
-4
Let v be (-2581)/(-203) - (-2)/7. Solve v = -4*i + 1 for i.
-3
Suppose -o = 4 - 0. Let w be (o/6)/(4/(-12)). Solve 6*a = w*a + 16 for a.
4
Let q be 8 + 3 + 0 - -4. Solve 4*y + y = q for y.
3
Let l = 20 - 14. Solve -3*v + v + l = 0 for v.
3
Let f(u) = -u. Let q be f(-5). Suppose 0 = 2*v - 2. Solve -q*t - v = 9 for t.
-2
Suppose 33 + 27 = 3*w. Solve -2*f = 3*f + w for f.
-4
Let p(k) be the first derivative of -k**4/4 + k**3/3 + k**2/2 + 3*k + 2. Let g be p(0). Suppose a + 5*v = 1 - 10, 0 = -4*a + g*v + 33. Solve c + a = -2*c for c.
-2
Suppose 3*i - 3*k = 27, 2*i + 5*k - 3 = -6. Let j(p) = -p - 3. Let n be j(4). Let c(s) = -4*s - 8. Let d be c(n). Solve d = -2*y + i*y for y.
5
Suppose 0 = -4*a + 3*t + 29, 5*t - 42 = -2*a + t. Let k be 1/3 + a/3. Solve -2*b - k = -b for b.
-4
Suppose -y - 2*y = -4*r + 47, 0 = 3*y - 3*r + 45. Let c = 18 + y. Suppose 0 = 6*p - 0 - 12. Solve -3*s - c = p*s for s.
-1
Suppose 3 + 1 = -m. Let t = m + 6. Let w = -11 + 15. Solve 0 = t*j - w*j - 8 for j.
-4
Let w(n) = -n + 3. Let t be w(9). Suppose 0 = b - 4*y + 24, 2*b - 6*b + 2*y - 26 = 0. Let f = b - t. Solve f*l = 4*l for l.
0
Let p(u) = 2*u**2 - 6*u + 2. Let d be p(3). Solve -d*n - 15 = n for n.
-5
Suppose 6 = 9*w - 6*w. Solve w*a + 2*a = -12 for a.
-3
Let g(x) = x**2 + 8*x - 5. Let u be g(-9). Suppose u*a = 2*a. Solve -3*d + d + 10 = a for d.
5
Let h(f) = -f**3 - 2*f**2 - 3*f - 2. Suppose -2*l - 2*c + 4*c + 4 = 0, 0 = -l + 5*c + 22. Let z be h(l). Solve 0 = 4*u - 0*u - z for u.
4
Suppose 9 - 3 = 3*q. Suppose -2*r - 3 + 13 = q*z, 5*z - 23 = -4*r. Suppose 4 = 3*w - 2. Solve -w*k = -r + 4 for k.
-1
Let k = 71 - 68. Solve 0 = i - k*i - 6 for i.
-3
Let g(b) = b**2 - b + 4. Suppose 4*z - 3*c + 0*c + 9 = 0, 9 = -2*z + 3*c. Let h be g(z). Solve v + h + 1 = 0 for v.
-5
Let o = 14 - 14. Solve o = -3*y - 2*y - 5 for y.
-1
Let i(g) = -5*g**2 + 41. Let b(u) = u**2 - 10. Let v(p) = 9*b(p) + 2*i(p). Let f be v(0). Let q be (-18)/2*f/24. Solve -s = -q*s + 8 for s.
4
Let m(l) = -l + 4. Let b(t) = -t**2 + 2. Let i be b(0). Let u be m(i). Let d be u/8 - (-2)/(-8). Solve w + 0*w - 5 = d for w.
5
Let w be (3 - 1)*-2*-1. Let v = 13 - 6. Solve -3*i + v*i - w = 0 for i.
1
Suppose 5*l - 83 = -2*d, -3*d - d + 2*l = -106. Let q = -21 + d. Suppose x + 4 = -x, m + 2 = -x. Solve 4*f + m*f + q = 0 for f.
-2
Let g be (-2)/5 + (-17)/(-5). Suppose -20 = -8*n + g*n. Solve n*p = -21 + 9 for p.
-3
Suppose 3*s - 12 = 4*b, 2*s - 5*b + 16 = 6*s. Suppose 0 = 2*q + 5*t - 24, -6*q - s*t = -q - 26. Solve -3 = -a + q for a.
5
Let y(j) = j + 2 + 5 - 2*j. Let w(g) = g**3 + 6*g**2 + 3*g - 7. Let n be w(-5). Let i be y(n). Solve -8 = i*x - 0 for x.
-2
Suppose -y + 5 - 3 = 0. Suppose 0*l = y*l. Solve 2*d - 2 + 6 = l for d.
-2
Let j(r) = -r - 2. Let p be j(-5). Suppose a - 5*z + 19 = 0, -12 + 2 = -2*z. Solve 0 = -p*n - a for n.
-2
Let m = -2 + 2. Let b = m + 5. Solve -b*n - 31 + 6 = 0 for n.
-5
Let t(g) = 2*g**2 - 12*g - 4. Let n be t(7). Solve -4*h + n = h for h.
2
Let r(q) = 7*q**3 + q**2 - 2*q + 1. Let s be r(1). Let t = -1 + s. Solve t*y = y + 20 for y.
4
Let i be 3/6 - (-2)/(-4). Solve -3*d + 2*d - 2 = i for d.
-2
Let m(s) = -3*s + 6. Let j be m(3). Let q = 6 + j. Solve 0 = -q*d + 2 - 14 for d.
-4
Suppose -2*b - 1 = 3*j, 0*b = 5*j + 4*b + 5. Let h be (-2)/(-1) - (-5 + 3). Let f be ((-2)/h)/(2/(-28)). Solve 0 = f*d - j*d - 4 for d.
1
Let v(j) = -j**2 + 4*j - 4. Let o be v(5). Let y = o + 19. Suppose -y = -3*i - c - 0*c, -i = -5*c - 30. Solve -i = z - 4 for z.
-1
Let v be (-2 + (2 - -1))*0. Solve v*o = 5*o + 25 for o.
-5
Let f(l) = 4*l**2. Let a be f(1). Suppose -a*y - 4*w + 19 = w, 0 = 5*y - w - 2. Solve -y = 3*u + 5 for u.
-2
Let b = 4 - 2. Let t(g) = 2*g - 10. Let n be t(7). Solve n*q = 2 + b for q.
1
Suppose 5*u - w = -3*w, -15 = 5*u - w. Let q = u + 9. Solve 0 = 2*j + q - 1 for j.
-3
Let q(n) = n**3 + 5*n**2 + 4*n + 2. Let z be q(-4). Suppose 8 = 4*m - z*m. Suppose -3*f + 0*f = 0. Solve 0 = 4*h - f - m for h.
1
Suppose 5*b - b + 12 = 4*q, b - 3 = -2*q. Let o be (b - 0)*24/(-4). Solve -21 + o = 3*n for n.
-5
Let b(n) = 4*n - 19. Let a be b(7). Solve 8*u - a*u + 4 = 0 for u.
4
Suppose 13 - 5 = 2*j + 4*v, -j + 5*v - 10 = 0. Solve -l - 1 + 2 = j for l.
1
Let y(p) = -p + 2. Suppose -5*s + 13 = -t, 0 = 4*s - 0*s + t - 5. Suppose -6*g + s*k - 10 = -4*g, 0 = 3*g - 5*k + 19. Let d be y(g). Solve x - 2 = -d for x.
-3
Suppose -3*m - 9 = -4*m - z, -3*z - 33 = -2*m. Let s