ppose 0 = -y - 5 + z. Solve -15 = -y*v - 3*v for v.
3
Suppose 2 = 2*m - 0*m. Solve -m = 2*r + 1 for r.
-1
Let v be (4 - (2 + 1))*0/(-2). Solve -4 = 4*b - v*b for b.
-1
Let v be 1/1*(3 - 10). Let h = v - -10. Let j(y) = 2*y + 2. Let k be j(7). Solve 0 = -i - h*i - k for i.
-4
Suppose -5*x + 115 - 10 = 0. Let v be 61/(-7) + (-6)/x. Let q be 5 + 3/v*0. Solve 0*b = b - q for b.
5
Let i = 29 - 29. Solve -2*u = -i*u - 6 for u.
3
Let j = -7 - -13. Solve 0 = p - j*p for p.
0
Suppose 5*h + h = 96. Solve 0 = -2*x - 2*x + h for x.
4
Suppose 0 = c - 0*c + 9. Let s be (-3)/c - 11/(-3). Suppose 2*j - 6 - s = 0. Solve a - 1 = -j for a.
-4
Suppose 4 = z - 2. Solve z*l + 25 = l for l.
-5
Let z be (-2*6/(-8))/((-6)/(-8)). Solve i = z*i + 5 for i.
-5
Let v = 2 - -1. Solve -v*y = -y + 2 for y.
-1
Let o(b) = -b**2 + 8*b + 1. Let d be o(8). Let s = -1 + d. Solve s*q + 5*q = 5 for q.
1
Let p(x) = -x + 3. Let j be p(-6). Let m = j - 4. Suppose -t = -m*w - 3, -3*w = 2*w - 3*t + 9. Solve -2*u + u = w for u.
0
Let m(p) = 2*p**3 - p**3 + p**2 + p**2 - 1. Let v be m(-1). Solve v = -4*r - 0*r - 4 for r.
-1
Let x = 1 - -1. Let i be 3 + (0/2)/(-1). Suppose 0 = 5*q - i*q. Solve -z - x = -q for z.
-2
Let w be 5 + (-2)/(-2)*-1. Suppose -b = -2*b + w. Solve 0 = -l + b*l for l.
0
Let t be (-4)/(-6)*(-3 + 14 + -5). Solve 6 + 14 = -t*f for f.
-5
Let r(o) = o + 5. Let g be r(0). Let l = -4 + g. Solve l = b + 2 for b.
-1
Suppose 0 = 6*o - 81 - 15. Solve 0 = 4*k - o - 4 for k.
5
Let c be 82/7 - (-4)/14. Suppose -6*n - c = -2*n. Let w = -3 - n. Solve r - 2 - 2 = w for r.
4
Suppose 3*l + 3 - 1 = -i, -3*l - 5*i = 10. Solve l*q + 12 = -4*q for q.
-3
Suppose 1 = t - 4. Let q = -5 + t. Solve 3*b + 3 + 3 = q for b.
-2
Suppose -i - 12 = -4*x, -4*i = -i. Solve 0 = x*j - 5*j + 4 for j.
2
Let a = -9 - -14. Let d(r) = -2*r - 9. Let h be d(-6). Suppose 0 = -6*l + l - 25, 0 = -h*k + 5*l + 55. Solve 0 = a*n - k*n - 10 for n.
-2
Suppose 8 = 2*a + 2*a. Suppose u = -a*u + 12. Solve 7 = j + u for j.
3
Let a(z) = -z**2 - 5*z - 4. Let g be a(-4). Suppose -j = o - 2, g = -5*o + 3*j - 0*j - 6. Solve o = -3*b + 15 for b.
5
Let v be 3/(2*4/(-8)) - -3. Solve k + 5 = -v*k for k.
-5
Suppose 4*z + 0*z - 140 = 0. Suppose -5*s - 4*g - g + z = 0, -g = 2*s - 11. Solve -s*q + 2 = -10 for q.
3
Suppose 81 = 6*w + 51. Solve -w*h = -2*h for h.
0
Suppose -3*f = -2*f - 1, 4*q + f - 1 = 0. Solve q*p - 1 = p for p.
-1
Let p(j) = 3*j**3 - 2*j**2 + 1. Let f be (0 - (-3 + -1)) + -3. Let c be p(f). Solve -c*q + 1 = -1 for q.
1
Let g(k) = 3*k + 10. Let z be g(0). Solve -4*a + 9*a - z = 0 for a.
2
Suppose -5*q + 400 = -0*q. Suppose 0 = 2*h - 2*b + 3*b - q, -3*h + b + 120 = 0. Suppose 2*o + 42 = 5*v + o, 0 = 4*v - 4*o - h. Solve 6*y = 2*y + v for y.
2
Let g(c) = -c**2 + 4*c - 3. Let x be g(3). Suppose x*l - l = 0. Let z = 7 + -5. Solve l = -o - z for o.
-2
Suppose -5 = -5*m, -3*m = -2*n - 7*m + 32. Let l(t) = -t**3 + 3*t**2 - t + 2. Let k be l(2). Solve k*f + 6 = n for f.
2
Let k(p) = p + 1. Let r be k(4). Let c = r - 2. Suppose b = 3*t - 6, c*t + 2*b + 3 = 6*t. Solve -t*i + 4 = -8 for i.
4
Let v = 11 - 8. Solve -v - 6 = 3*b for b.
-3
Let h = -20 + 24. Solve 13 = 3*q + h for q.
3
Let b(m) = -m + 1. Let o(t) = -3*t - 4. Let l(z) = -2*b(z) + o(z). Let y be l(-6). Solve y = -3*s - s for s.
0
Let m be (-1 - -1) + (-3 - -2). Let a = m - -3. Solve 0 = -2*g + a - 0 for g.
1
Let f(j) = -15*j**3 + j**2 - 5*j**3 + 7*j**3. Let w be f(-1). Solve -4 = -2*u - w for u.
-5
Let w = 16 + -13. Solve 1 = 2*r - w for r.
2
Suppose -25 = -k - 2*d - 2*d, k + 20 = 5*d. Solve 11 - k = 3*g for g.
2
Let c = -2 + 0. Let i be (c/4)/(1/16). Let m = -6 - i. Solve -j = -m*j for j.
0
Suppose -s + 16 = s. Suppose -5*a = -s*a + 24. Solve c - 5*c + a = 0 for c.
2
Let f(l) = l**3 + 7*l**2 + 2. Let s be f(-7). Suppose b = -1, 3*q + 2*b + 2*b = 5. Solve q*h - 1 = s for h.
1
Suppose 4 = 3*i - 11. Suppose -i*h = -h + 4. Let y be 1 + h + 6 + 2. Solve 0 = -2*z - 4 + y for z.
2
Let k(p) be the second derivative of -p**5/20 + p**4 + 2*p**3 + 9*p**2 + 5*p. Let v be k(13). Solve v = -i - 0 for i.
-5
Let b = 11 - 7. Let r(v) = -v**3 + 4*v**2 - 1. Let o be r(b). Let m = o + 1. Solve 0 = 2*a - m*a - 8 for a.
4
Suppose -4*w - 4 = -0*w. Let a be w + -1 + (-1 - -5). Suppose -o = -x - a, 0 = 4*x + 5*o - 10 - 27. Solve 4*m - x = 9 for m.
3
Let q = 2 + 0. Solve -q*m = -0*m for m.
0
Suppose -4*p + 2*p - 12 = 0. Let r = -9 + 10. Let x be p/((-2 - -1)/r). Solve x*w - 4 = 2*w for w.
1
Let n(v) = -2*v**2 - 5*v + 6. Let r be n(6). Let i be 2/9 - r/54. Let y = i + -1. Solve -y - 1 = f for f.
-2
Let b(t) = -t + 2. Let r be b(1). Solve -w - r - 2 = 0 for w.
-3
Let k(g) = -g**3 + 6*g**2 - 3*g - 8. Let j be k(6). Let w = j + 33. Solve 3*v = w - 1 for v.
2
Let i = -52 + 52. Solve i = -u - 0*u - 2 for u.
-2
Suppose k + 8 = 5*k - a, -4*a = -3*k - 7. Suppose 0 = -v + c - 5 + 32, k*v + 3*c = 69. Suppose 0 = -4*w - d + 17, -5*w + 2*w + 13 = d. Solve -w*t = t - v for t.
5
Let s(a) = a**3 - 8*a**2 + 7*a + 2. Let w be s(7). Suppose 8 + 4 = w*j. Solve j*v = 2*v for v.
0
Suppose 3 = c + 2*c. Let b(d) = 3*d**2. Let y be b(c). Solve 0*m = y*m + 6 for m.
-2
Let l(w) = 4*w + 4. Let b be l(3). Suppose -b = -2*v - 4*k, k = v + 4*v - 7. Solve -6 = -4*i - v for i.
1
Suppose -3*n + 2*m = -18, 2*n + 3*m - 4*m = 12. Solve -4*q = -6*q - n for q.
-3
Let j be -2 - (3 - 10/2). Suppose 3*v - 45 - 12 = j. Solve -4*m - v = -7 for m.
-3
Let f = -15 + 20. Suppose f*b - 4 = 6. Solve -b*m = -4*m - 10 for m.
-5
Suppose 3*w = 5*c + 22 + 18, -4*w + 3*c = -35. Suppose 0 = w*z - 4*z - 2. Solve 0 = l - z*l - 1 for l.
-1
Let g(u) = 8*u**3 - u**2 + 3. Let h(b) = 4*b**3 - b**2 + 2. Let j(f) = 3*g(f) - 5*h(f). Let t be j(1). Solve 2*y = -t - 1 for y.
-3
Let j be 0*1/(2/1). Suppose j = 4*b - 7*b - 45. Let i be b/(-5) - 0/1. Solve -2 - 4 = -i*l for l.
2
Let b(g) = g**2 - 4*g + 1. Let c(n) = n**2 - 9*n + 2. Let j(q) = 7*b(q) - 3*c(q). Let d be j(1). Suppose -a + 10 = d*a. Solve -a = 2*u + 8 for u.
-5
Let u be 7 - (3 - (3 + 0)). Suppose 4*n - 15 = -u. Solve n*a - 12 = -2*a for a.
3
Let w(l) = -l - 12. Let k be w(-12). Solve k = -5*f + 14 - 4 for f.
2
Let z(r) = r**3 - 2*r + 3. Let b(a) = a**2 - 6*a - 5. Let o be b(7). Let g be z(o). Solve g*q = 5*q - 10 for q.
-5
Let b(f) = 4*f - 1. Let i be b(3). Suppose i - 3 = 4*x. Solve 3 = -3*k + x*k for k.
-3
Let i(g) = 3*g - 5. Let r be i(3). Solve 0 = -r*n - 8 - 0 for n.
-2
Let o = -16 - -19. Let i(x) = x - 2. Let t be (-7)/(-4)*(-8)/(-2). Let m be i(t). Solve o*f = m*f + 10 for f.
-5
Suppose 0*z - 21*z = -42. Solve z = -w - 2 for w.
-4
Let i = -4 - -5. Solve i - 6 = p for p.
-5
Let z be ((-28)/10)/(4/(-10)). Let a be (-2 + z)*3/15. Solve 3 = -4*j - a for j.
-1
Let v(u) = u**2 + 5*u + 5. Let k be v(-5). Solve 2*a = k*a + 6 for a.
-2
Let s(p) = 2*p - 1. Let l be s(1). Solve 5*h = 4*h - l for h.
-1
Let i = 21 - 15. Let h be 2/i + (-115)/(-15). Solve -g = g + h for g.
-4
Let m(g) be the third derivative of -g**6/240 - g**5/120 - g**4/8 - 3*g**2. Let z(i) be the second derivative of m(i). Let a be z(-2). Solve 0*p - p = a for p.
-5
Let q(t) = -t**2 + 8*t - 5. Let i be q(7). Suppose -3*w = -2*r - 3, 0 = 7*r - 2*r + 15. Let g = w - -1. Solve g = -m - i*m + 3 for m.
1
Let d = 34 - 18. Solve q + 3*q = d for q.
4
Let i(l) = -l**3 + 2*l**2. Let s be i(2). Suppose 2*o - 20 = -4*r, 3*o - 5*r = -s - 3. Solve -2*d + 2 - o = 0 for d.
-1
Let n(y) = -y**2 + 3*y + 2. Suppose -g = 3*g - 12. Let t be n(g). Solve 0 = 3*q - t*q + 2 for q.
-2
Let q = -86 + 90. Solve 0 = -g + q*g - 12 for g.
4
Let h(d) = d**2 + 1. Let q(j) = 7*j**2 - j - 2. Let c(s) = 6*h(s) - q(s). Let y be c(0). Solve -y = 3*o + 7 for o.
-5
Let z = -10 + 16. Suppose z*h + 50 = 8*h. Solve -3*d + h = 2*d for d.
5
Let k = 32 + -30. Solve 3 = k*c - 5 for c.
4
Let r(q) = 3*q + 27 - 2*q + 8*q**2 - q**3 - 32. Let u be r(8). Solve -u*z - 10 = 2*z for z.
-2
Let o(m) be the second derivative of 0*m**2 + 0 + 5/3*m**3 + 2*m. Let b be o(1). Solve -5 = -3*x + b for x.
5
Let b be ((-4)/(-10))/(2/40). Suppose 0 = -5*x + 23 - b. Solve -n - 2*n = x for n.
-1
Let k = -1 - -13. Let t(m) = m**2 + 8*m + 5. Let w be t(-8). Suppose -f = w*d - 27, 7 = d - 0*f + f. Solve -2*r + d*r = k for r.
4
Let y be (-952)/(-88) - 4/(-22). Let m = y + -6. Solve 4*j - m*j = 0 for j.
0
Let d be