*v for v.
0
Suppose -j - j = 4*x - 96, j = x + 48. Let v be (-6)/(-8) - (-300)/j. Solve -1 = -2*m + v for m.
4
Suppose 4*m = -2*f + 12, -4*m + 15 = 4*f - 1. Let a(o) = o**2 - 4*o. Let g(x) = x**2 - 5*x. Let n(v) = 3*a(v) - 2*g(v). Let s be n(5). Solve m*t + s = -t for t.
-5
Let k(v) = v**3 + 5*v**2 + 3*v. Let m(t) = 4*t. Let o be m(-1). Let f be k(o). Suppose 5*s - 51 = 2*q, -2*s - 2*q + 1 = -11. Solve s*n = f*n + 20 for n.
4
Suppose -5*m - 14 = -10*m + 2*p, -5*m + 17 = -p. Suppose -20 = -m*o - 2*n, n - 3*n = -3*o + 22. Solve 3*w - o = 6 for w.
4
Let g(u) = -5*u**3 - 2*u**2 + 2*u - 1. Let r(s) = 2*s**3 - s**2 + s - 1. Let j be r(1). Let y be g(j). Let i = 10 + y. Solve -3 = -i*n + 1 for n.
1
Let a(u) = -6*u + 4. Let c be a(4). Let q = 20 + c. Solve q = -6*h + 2*h - 20 for h.
-5
Suppose b + 0*b = 5*y, 0 = -3*y. Suppose b = -x + 5*x - 12. Solve 0 = -x*m - 0 - 6 for m.
-2
Let a be 24/(-15)*(-15)/6. Solve a = -2*b + 14 for b.
5
Let m be 4 + 3 + 0/(-4). Solve -1 = 2*i + m for i.
-4
Suppose -3*u = u - a - 59, 2*a = 4*u - 58. Let k = 3 + -3. Solve -5*p + u + k = 0 for p.
3
Let z be 0/((-3)/(-9)*3). Solve -3*l + z*l = 6 for l.
-2
Suppose -9*b = -11*b + 2. Solve -b - 14 = 5*f for f.
-3
Suppose 2*m = m + 3. Let a(f) = 5 - m*f - 2*f + 6*f. Let v be a(-5). Solve -3*s + 2*s + 3 = v for s.
3
Let y be 2 - (2 - (4 + 0)). Suppose 2*x - 8 = -2*x. Suppose j - 11 - 1 = x*v, 3*v + 12 = 0. Solve -y*d - j - 4 = 0 for d.
-2
Let o be 2/4 + 7/2. Let u = o + -5. Let p be u/(4/6)*-2. Solve -p*t + 3 + 3 = 0 for t.
2
Suppose 0 = -4*y + z - 12, 0 = 5*z - 10 - 10. Let u = 0 - y. Solve -3 = -3*s + u*s for s.
3
Let b be -10 - (-3 + 3)/2. Let i(m) = -m**2 - 11*m - 8. Let a be i(b). Solve -a*j = -4*j + 8 for j.
4
Let k = 0 - -2. Suppose -k*d + 0*d = -20. Suppose -4*y + 3*c + 10 = 1, 3*c - 3 = 0. Solve -y*w - 2*w = -d for w.
2
Let f(l) = l + 3. Let a be f(-6). Let x = 8 + a. Solve -x*k + 18 = -2 for k.
4
Let i = 7 + -4. Suppose -i*x + x = -6. Solve 11 = -4*c + x for c.
-2
Let q = -11 - -31. Let u = 0 + q. Solve -3*d = -7*d - u for d.
-5
Let s = 19 + -18. Solve -6 = b - s for b.
-5
Suppose -4*b + 84 = -4*f + 2*f, -2*b + 114 = -3*f. Let t = -24 - f. Solve 0*v + t = 3*v for v.
4
Suppose 5*t + 12 - 102 = 0. Suppose 0 + 16 = 4*g + 2*q, -4*q + t = g. Solve g = 4*b - 10 for b.
3
Let x(r) = r**2 + 2*r - 5. Let f be x(-4). Let g = 3 + -8. Let n be (-3)/g + 376/40. Solve -p + n = -f*p for p.
-5
Let w(r) = -r + 13. Let m(i) = 2*i + 1. Let x be m(4). Let f be w(x). Solve p + 3*p = f for p.
1
Suppose -8*h + 8 = -4*h. Solve -5*l - 8 - h = 0 for l.
-2
Suppose 0 = 4*t - 2*s - 8, -6*s + s = -5*t. Let m be ((-10)/8)/(1/(-4)). Solve -m*o = -16 - t for o.
4
Suppose 0 = -o + 13 + 2. Suppose -5*n = 2*m - 14, m - 16 = -4*m - 3*n. Solve h = -m*h + o for h.
5
Suppose 4*b - 8 = 0, 2*a = 3*a - 5*b + 14. Let d = a - -6. Let r(j) = -j**2 - 5*j + 12. Let p be r(-6). Solve -p*s + d*s = 0 for s.
0
Let r(t) = -t. Let p be r(-5). Solve -p = -2*x + 3*x for x.
-5
Let y(g) = 4*g**2 + 23*g - 4. Let j be y(-6). Let z(l) = -l**2 + 9*l - 10. Let d be z(7). Solve -18 = d*s + j for s.
-5
Suppose 5*m - 5 = 25. Solve -m*n + 3*n - 9 = 0 for n.
-3
Let r = -4 + 6. Suppose -1 = -r*o + 7. Let b be o + -1 + -5 + 2. Solve b = 5*d - 0*d + 5 for d.
-1
Let r be 7*(-5)/(105/(-9)). Solve 0 = r*l + 9 - 24 for l.
5
Let d(i) = -i**3 + i**2 + 1. Let m be d(2). Suppose 0 = 41*f - 37*f + 12. Let k be 5/(-2)*(m + f). Solve 8*o - 3*o = k for o.
3
Suppose 0 = 4*o - 7*o. Suppose -b - 3*g + 20 = o, 0*b + 5*g = b + 12. Let p(c) = -c**2 + 9*c - 6. Let i be p(b). Solve i*x = -2*x for x.
0
Let z be (2 + (0 - 2))/(-2). Solve 8 = -2*d - z for d.
-4
Suppose -3*f - 6 = -21. Let u = f - 5. Solve -5*k + u + 10 = 0 for k.
2
Suppose -6*c + 3*p + 27 = -2*c, 25 = 5*c + 5*p. Let v(q) = 2*q + 2. Let k be v(3). Let b be (-2 + k)*(-1)/(-2). Solve 9 = c*j - b*j for j.
3
Suppose 0 = -i - 0 + 2. Let j be (i - 2)/(0 - 3). Solve j = 2*x - x + 5 for x.
-5
Let g = 64 + -60. Solve -4 = -g*t + 8 for t.
3
Suppose 2*p + 2*p - 12 = 0. Suppose p*l - 4*m = 8, -2*m = -3*l + 3 + 1. Solve l = -5*x - 14 + 4 for x.
-2
Let r be (0 + -1)*(-1 + 2). Let b be 0/(1 - 0)*r. Suppose -2*y - 2*y + 12 = b. Solve y = -t - 0*t for t.
-3
Let r = 8 + -6. Let g be (1/r)/(3/18). Suppose 4*l = g*l. Solve l = -2*q - 2*q + 20 for q.
5
Let p(x) = x**2 + 3*x - 1. Let z be p(-4). Suppose -4*b - b = z*q - 9, 3*q + 2*b - 18 = 0. Solve -3*j + q = -7*j for j.
-2
Suppose 10*c + 10 = 30. Solve 0 = -c*r + 7*r for r.
0
Let w(u) = -u**3 - 10*u**2 - 5*u + 38. Let h be w(-9). Solve -4*v + h*v = 0 for v.
0
Let k(y) be the third derivative of y**6/120 + 7*y**5/60 - 3*y**4/8 + 5*y**3/6 - 4*y**2. Let j be k(-8). Solve 0 = 4*a - j - 7 for a.
5
Suppose -8 = 4*t - 3*l - 25, 0 = 3*t - 3*l - 15. Let z be t + 45 + (-1 - -1). Suppose 3*d + 11 = z. Solve -5*w = d + 8 for w.
-4
Let j(x) = 6*x. Let d be j(-1). Let b = 10 + d. Solve b*k + 4 = -8 for k.
-3
Let u(x) = x - 1. Let j(k) = -3*k - 4. Let b(i) = j(i) + 5*u(i). Let d be b(7). Solve -d*r - 14 = 1 for r.
-3
Let d be (-128)/(-40) - (-1)/(-5). Suppose 4*a = d + 1. Solve 0 = -h - a - 0 for h.
-1
Let b(m) = m**2 - 6*m - 1. Let p be b(7). Let r = 18 - 16. Solve -r = f - p for f.
4
Let g be -5 + -26 - (-1 + 0). Let f be (-17)/(-5) + 12/g. Solve 1 = -f*k + 7 for k.
2
Let t = -1 + 3. Suppose -t = 6*u - 7*u. Solve -u*j = -3*j - 5 for j.
-5
Suppose -3*b + 3*l + 24 = -l, -3*b - 3*l = -3. Suppose 4*r + 2*x + 2 = -8, -5*r + 20 = -b*x. Solve r = -2*p - 5 - 1 for p.
-3
Suppose l = 2*l. Suppose -3*c + 19 + 38 = l. Let g = c - 9. Solve 8*a = 3*a + g for a.
2
Let r = -132 + 136. Solve -14 = -r*z - 10 for z.
1
Let o(y) be the third derivative of y**5/60 - y**4/6 + 2*y**3/3 - 2*y**2. Let x be o(4). Suppose 0*v + 2*v = 4. Solve v*l = -2*l + x for l.
1
Suppose -5*d = -0*d. Suppose -b - b + 4*m + 4 = 0, m = -2. Let j = b + 6. Solve j*k = -d*k - 12 for k.
-3
Let f = -10 + 26. Let p be 4/14 - (-40)/(-140). Solve f = 4*n - p*n for n.
4
Let p(c) = c**3 + c**2 - 2*c + 1. Let x be p(1). Suppose 7 = -2*g + x. Let u = 6 + g. Solve -u*i - 5 = 1 for i.
-2
Suppose 7*t = 15*t - 24. Solve -2*j = -t*j for j.
0
Let g(s) = -s**2 + 5*s - 1. Let x be g(5). Let f be x/(-1) + -2 - -5. Suppose 9*c = 8*c. Solve -z - z - f = c for z.
-2
Let k be 3 - ((-3)/(-3) - -2). Solve -3*y = -k*y for y.
0
Let y be (-7)/(35/(-10)) - -2. Solve -y*z + 13 = -3 for z.
4
Let g = 21 + 9. Let k be g/7 - 6/21. Let n be k/18 - (-4)/(-18). Solve n*o - 1 = -o for o.
1
Let m(v) = v**2 + 8*v + 4. Let h be m(-7). Let x be 6*1/(-2) - h. Solve p + 4*p = x for p.
0
Let d be (-87)/(-18) - (-6)/36. Solve -2*a + d*a = 6 for a.
2
Suppose 5*q + 4*z - 110 = 0, 0 = 2*z - 4*z + 10. Let d(v) = -v**2 - 2*v. Let k be d(-4). Let r = k + q. Solve 0 = -6*l + l + r for l.
2
Let x(m) = -11*m - 1. Let q be x(-1). Let v = q - 8. Solve v*b + 1 = -9 for b.
-5
Suppose 3*x - 3 = 0, 6*x = -u + 2*x + 6. Let a = 7 + -11. Let h = -3 - a. Solve h + u = -k for k.
-3
Let x be (1 + -2)*(-3 - 0). Suppose 0*s + x*s + 3*a = 48, -4*s + 59 = 3*a. Suppose -m = -4*l + s, 0 = 3*m + 2 + 7. Solve 0 = 2*j + 4 + l for j.
-3
Suppose 0 = -v + 17. Let r = -15 + v. Solve 0 = l + r*l for l.
0
Suppose -3*y + 22 = 4*g - 5, -3*g = -5*y + 16. Let h = 25 - y. Solve -3*b - 2*b = -h for b.
4
Suppose 0 = -0*r + 3*r - 3. Suppose 3*u - 7*u = 4*h + 20, 4 = 4*h - 4*u. Let c(m) = -m + 2. Let z be c(h). Solve r = z*n + 5 for n.
-1
Let v(i) = -i**2 + 9*i + 5. Let p be v(0). Let u(b) = -b**2 + 5*b + 2. Let l be u(4). Let f = 6 + l. Solve p*n - n = -f for n.
-3
Suppose -q - 3*q + 20 = 0. Suppose -7*b + 3*b + 10 = -q*z, 2*b = 10. Solve -z*v - 13 = -3 for v.
-5
Suppose -4*r + 14 = -162. Let j = r - 19. Solve -3*l = 2*l - j for l.
5
Let p = 7 - 3. Suppose l + 2*t + p = 0, 6*l - 4*l - t = 7. Solve -l*d - 3 = 5 for d.
-4
Let t(v) = v - 4. Let a be 6/3 + 11 - -1. Let b be (a/(-4))/((-1)/2). Let d be t(b). Solve d*f + 4 = -f for f.
-1
Let s(m) = m**3 - m**2 + m. Let p(g) = 3*g**3 - 2*g**2 + 3*g + 3. Let i = 6 - 5. Let l(n) = i*p(n) - 2*s(n). Let r be l(0). Solve -r*d = d for d.
0
Suppose -2*d + 5*w - 5 = 0, -2*d - 2*d = 4*w - 32. Suppose -d = -v - 5*z, -2*v + 3*v = 4*z - 4. Solve y - 4 = -v for y.
4
Let k be 1/1 + -1 + 4. Solve -a = k*a - 10 for a.
2
Let c be -1*(-2)/(-2)*1. Let m be 5/((-1)/2 - c). Suppose 0 = 2*