t v = 63 + -58. Suppose -2*m - 2*m = -44. Solve -m - 4 = v*o for o.
-3
Suppose 6*o - 12 = 2*o. Let k be 0*(0 - o/3). Solve k = -2*v + 4*v + 10 for v.
-5
Suppose 3*f + f = 8. Solve 2*b = f + 2 for b.
2
Let n(t) be the third derivative of -7*t**4/24 - 2*t**2. Let i be n(1). Let m be (6/i)/(5/(-35)). Solve 2 = -2*d + m for d.
2
Let b(n) = n**2 + n - 3. Let j be b(-3). Suppose -t - 1 = -3*i, 4*i + j*t - 19 = 2*i. Solve 1 + i = -3*v for v.
-1
Let w be (-1 - 0)/((-3)/(-9)). Let c be (-2)/(5/w - -1). Let q(u) = 3*u - 35. Let r be q(14). Solve r*d = c*d for d.
0
Let s(r) = -r**2 + 28*r + 34. Let z be s(29). Solve -2 = -z*j + 8 for j.
2
Let t = -3 - -3. Suppose t*p = p - 11. Suppose q + 3*r = p, 2*r = 4*r - 4. Solve -8 - 7 = q*l for l.
-3
Let y = 30 - 27. Solve 0 = w + y*w - 8 for w.
2
Suppose 2*x + 2 = 3*y, -2*y + 2*x = -x + 7. Let h(i) be the first derivative of i**3/3 + 25*i + 1. Let a be h(0). Solve a = -t - y*t for t.
-5
Let c be (0/(-20))/(1 + -2). Solve c*z - 12 = -4*z for z.
3
Suppose 2*w + 2*t = 3*w - 1, w - 5*t + 2 = 0. Suppose 3*h = -2*h + 3*k + 17, w*h - 16 = -4*k. Solve -18 = h*l - 2 for l.
-4
Let m(a) = 6*a**3 - a + 1. Let p be m(1). Suppose -c = 4*g - 2, 8*g - 3*g - 3*c = -p. Solve g*u + 2 = -u for u.
-2
Let r = 8 + -5. Let o(z) = -4*z - 8. Let f be o(-7). Suppose -s = -5*s + f. Solve -r = -x - s for x.
-2
Let m(o) = -3*o + o**2 + o**3 + 0*o**3 + 2 - 1. Let b be m(2). Solve -b = -2*s + 1 for s.
4
Let d(a) = -a**2 + 7*a. Let k be d(7). Solve k*s + 15 = -3*s for s.
-5
Suppose 76 - 8 = 2*i. Let g = i - 19. Solve g = -2*t - t for t.
-5
Let y = 13 - 7. Solve -3*o + 21 = y for o.
5
Let g(d) = -14*d + 38. Let w(i) = 5*i - 13. Let l(o) = 6*g(o) + 17*w(o). Let j be l(-5). Solve -2*c = -0*c - j for c.
1
Let y = 7 + -6. Suppose -5*r + 0*p - 2*p + 19 = 0, -3*p + 3 = -r. Solve 2*m - r*m = y for m.
-1
Let w be (1 - 1)*(-3)/(-6). Let p = w + 2. Suppose -2*h - 10 = 2*l, 2*l + l = p*h + 10. Solve x + l*x = 2 for x.
2
Let t(r) = -r**2 - 12*r - 24. Let k be t(-8). Suppose -2*j - 10 = 4*b, 0 = 5*j + 2*b + 3*b + 10. Suppose -3*q - j + 16 = 0. Solve -g = -q*g + k for g.
2
Suppose 2*v + f = 1 + 1, v = -3*f + 6. Let r be (-5 - -4) + -2 - -5. Solve -r*m = -4 - v for m.
2
Let m = 4 - 4. Suppose -4*n + m*n + 12 = 0. Solve n*b - 7*b = -8 for b.
2
Suppose 3*o = 5*k + 13, -5*k + 3*o = 4*o + 9. Let a = k + 7. Suppose -g + 2 = -2*n, -4*g + 3 = -2*g - 3*n. Solve g = 5*u + a for u.
-1
Suppose s = 5*w - 53, 0 = w - 5*s - 5 + 4. Suppose u + 25 = 4*d, 4*d + u - 4*u = 35. Suppose 0 = 2*t - 13 - d. Solve 0 = 5*z + w + t for z.
-4
Let g(k) = k**2 + 5*k + 2. Let w be g(-4). Let u be (-1 + 0)*(-4 - w). Solve -u = v - 7 for v.
5
Let o be -4*(15/12 - 2). Suppose 0 = -o*y - 2 + 11. Solve -2*s = -y*s + 2 for s.
2
Suppose 5*y = -s + 25 - 4, -3*y = -4*s - 8. Suppose -1 = -6*x + 3*x + b, x - 4*b + 18 = 0. Solve -x*i = -i + s for i.
-1
Let j be ((-4)/(-12))/((-1)/(-3)). Let r = 3 - j. Solve -17 + r = 3*h for h.
-5
Let a be 6/4*(80/(-12))/(-5). Solve -3*i - 10 = a*i for i.
-2
Suppose m + m - 3*z + 5 = 0, -3*z = -15. Solve -4 - 11 = m*d for d.
-3
Let y = 1 - -5. Let u = -2 + 4. Suppose -5 = -u*n + 3. Solve y = -n*l + l for l.
-2
Suppose 3*h - 2*h + 7 = k, -k - 23 = 5*h. Suppose o + 0*n - 2 = -k*n, 2 = o - 2*n. Solve o*t + 3*t = 20 for t.
4
Let z(y) = 3*y**3 + 2*y**2 - y. Let j be z(1). Suppose -j*d + 7 = -5. Solve 2*m + 1 + d = 0 for m.
-2
Suppose 2*m - 9 + 3 = 0. Let z = m - 4. Let k be 2 - (z + 1) - -2. Solve 0 = 4*i + k - 0 for i.
-1
Let m(d) = -2*d - 3. Let q be m(-5). Let o = -61 + 69. Solve o = -5*j - q for j.
-3
Suppose -4*g + 28 = t, 2*g = 6*g - 2*t - 40. Solve 3*d - g = -d for d.
2
Suppose -2*c + 29 - 23 = 0. Solve -c*a + 8 = a for a.
2
Suppose -3*k - 3*q + 9 = -6*q, -3*q - 15 = -5*k. Suppose 3*m - z - 12 = 2*z, -k*z - 18 = -5*m. Solve m*g = 6*g for g.
0
Suppose 2*m = 10 - 6. Let w = -2 + 5. Suppose w*u = -u + 16. Solve -2*v = m*v + u for v.
-1
Let c be ((-40)/(-50))/(2/(-10)). Let k be (-189)/(-15) + c/(-10). Solve k = 5*r - 2 for r.
3
Let y be ((-4)/(-6))/((-2)/(-6)). Let n be 0/2*1/y. Solve n*d - d - 1 = 0 for d.
-1
Let v(f) = 7*f + 3. Let z be v(7). Let d be 216/z - 10/65. Solve 3 = d*j - 17 for j.
5
Let a(u) = -7*u + 1. Let g be a(-1). Suppose 3*z - g = -z. Let s be ((-3)/6*0)/z. Solve 5*m + s = 20 for m.
4
Suppose 0 = 5*p - 14 - 11. Solve -m + 2*m = -p for m.
-5
Let a(r) = -r - 1. Let b be a(-4). Let g = 6 - b. Solve -8*h = -g*h - 15 for h.
3
Let g(u) = u**2 - 19*u + 28. Let r be g(18). Solve -11*f = -r*f - 3 for f.
3
Let g = 16 + -13. Suppose g*k = -k + 16. Solve 0 = 3*d + k - 19 for d.
5
Let l = 11 - 8. Suppose 3*x = -2*x + 2*w + 18, x - l = w. Suppose 0 = x*m - 18 + 6. Solve f - 2 = m*f for f.
-1
Let q(b) = b**2 + 3*b + 2. Let v be q(-4). Solve v*c = c for c.
0
Suppose -2*q + 4 = -2. Suppose 14 = 3*p + 2*r, 5*p + 6*r - 22 = q*r. Solve u = p*u for u.
0
Let h = 8 - 5. Suppose -i + 20 = 3*q - q, -3*q + 5*i + 30 = 0. Solve -h*v = -5*v + q for v.
5
Let n(l) = -4*l - 7. Let t be n(-7). Suppose 3*q - 15 = t. Solve -3*v - 3 + q = 0 for v.
3
Let t(f) = f**2 + 2*f - 4. Let b be t(2). Let o(y) = y**2 - 4*y + 2. Let l be o(b). Solve 3*c + l = c for c.
-1
Let i(f) = -f**2 + f - 1. Let n be i(1). Let w = 4 - n. Let p = -13 - -18. Solve w*h + 0 = p for h.
1
Suppose -3*p + 0*p = -f - 20, -35 = -3*p + 4*f. Suppose -x + 2*c + 2 = 0, -x + 10 = 4*x + 4*c. Let u be (-1 + x)*p - -3. Solve -2*y + 6*y = u for y.
2
Suppose 0 = -3*k - 6*z + 2*z + 5, -z + 8 = 3*k. Let v = -5 + 8. Suppose -2*l + 2 = -2*u + 2*l, v = 3*u - k*l. Solve 0 = y - u*y + 10 for y.
5
Suppose -4*w + 20 = 4*l, 8*l + 4*w = 5*l + 18. Let t be (-24)/l*3/(-6). Solve 3*i - t*i = 0 for i.
0
Let h(c) = -c**2 - 5*c + 17. Let o be h(-7). Solve 4 = -o*g - 2 for g.
-2
Suppose 2 + 2 = 2*q. Let j = 0 + q. Suppose 2*p = -2*p + 16. Solve -p*c + 2 = -j for c.
1
Let o(n) = 5*n**3 - n**2 - 2*n - 2. Let x(f) = f**3 - f**2. Let v(s) = -o(s) + 3*x(s). Let h be v(-2). Suppose -h*y = -3*y - 6. Solve -a - y - 3 = 0 for a.
-5
Suppose 4*n - 7 = 5*s, -n + 1 = -5*s + 3*s. Solve 2 = 5*r - n for r.
1
Let f(v) = 3*v**2 - v + 1. Let y be f(1). Solve 0 = 2*o + y*o - 20 for o.
4
Let g = -3 + 10. Let w be 17*4*(-4)/(-8). Let h = 38 - w. Solve -9 = -h*k + g for k.
4
Suppose -6*k - 4*o = -3*k + 2, 4*k + 2 = -5*o. Solve c = k*c for c.
0
Let t(g) = -16*g + 7. Let j(w) = -8*w + 4. Let p(h) = 7*j(h) - 4*t(h). Let i be p(2). Suppose 0 = 8*l - 6*l - 10. Solve q - l*q = i for q.
-4
Suppose 2*b + w - 6 = 0, b + w = 2 + 2. Solve 6 = -b*l - 2 for l.
-4
Suppose 5*g + 2*s = -27, -s - 20 = -6*s. Let v = g + 9. Solve -v*p = 2*p + 4 for p.
-1
Let s = 2 + 1. Suppose 1 - 13 = s*a. Let h be 2/(-8) + (-29)/a. Solve 0 = 3*y - h*y + 12 for y.
3
Let o be (-2 + 2)/(1/1). Suppose 0*b = -b + 12. Suppose 0 = -4*q + b. Solve o = -2*c + q*c + 1 for c.
-1
Let q = -10 - -15. Solve 3*w - q = 7 for w.
4
Suppose 7*s - 2*s + l = 98, 0 = -5*l - 10. Let c be s/8*12/15. Solve -c = -w - 5 for w.
-3
Suppose -3*q - 2*q = 0. Suppose -5*n + 3 + 12 = q. Solve 5 = 4*i - n for i.
2
Let q(v) = v**2 - 4*v + 3. Let m be q(3). Solve m*h = 4*h for h.
0
Let q(g) = -g**3 - 9*g**2 - 8*g + 5. Let s be q(-8). Suppose -29 = -4*h + 3. Solve -3*d - s = -h*d for d.
1
Let t(c) be the third derivative of -c**4/4 - c**3/6 + c**2. Let w be t(-1). Suppose 15 = w*g + 5. Solve y = 3*y - g for y.
1
Let a be (-4)/(-6) + 10/(-15). Let p = a + 4. Solve -v - v = p for v.
-2
Suppose -30 = -6*k + 3*k. Let z be k/(-3) - 2/3. Let h = 11 + z. Solve -3 = 5*c + h for c.
-2
Let l(k) = -k**3 + 6*k**2 + 7*k - 4. Let q be l(7). Let m = 6 + q. Solve 2*r + 0 - m = 0 for r.
1
Let r be (3/24 - (-5)/(-8))*-4. Solve -5*f = -r*f - 12 for f.
4
Let y(n) = -n**3 - n + 1. Let g(b) = 2*b**3 - 2*b**2 - 2*b + 3. Let r(m) = -g(m) + 2*y(m). Let a be r(-1). Solve 33 = -a*z + 8 for z.
-5
Suppose 4*c - 1 - 5 = -3*r, c + 3 = 0. Let b = 12 - r. Solve b*t = 2*t + 12 for t.
3
Let j = 8 + -7. Let q be ((-120)/6)/(-1*j). Solve q = 5*k - 0 for k.
4
Let a be (4*4/(-8))/((-6)/9). Solve 0*l - 3*l = -a for l.
1
Suppose -13 = -2*g - 9. Solve -k = -g*k - 3 for k.
-3
Let g(f) = -f**3 - 9*f**2 - 7*f + 11. Suppose -5*k = -2*o + 30, -k + 2 = -o - o. Let p be g(k). Suppose 0 = p*y - y. Solve -c + 1 - 2 = y for c.
-1
Suppose -7 + 27 = l. Suppose -5*o - 4*r = -2 - 1, -o - 4*r 