lve 10 = -m*i - f for i.
-4
Suppose -9 = -s - 4*f + 7, 2*s - f = 14. Suppose s*t = 6*t + 12. Solve 2*v = -0*v + t for v.
3
Let d be 23 + (0 - 0 - -2). Suppose -4*p = v - 11, 3*p + 3*v = 8 - 2. Solve 2*y + d = -p*y for y.
-5
Let z be 2/(-1) - (3 + -5). Suppose l + 10 = -z*l. Let f be (-25)/l + (-1)/2. Solve -f*x + 3 = 5 for x.
-1
Suppose 0 = -47*h + 42*h + 45. Solve -3*t - 24 = -h for t.
-5
Let s be 34/9 - (-4)/18. Solve s*i + 10 = 2*i for i.
-5
Let n be (-56)/(-6)*(-2 - -5). Let j be 704/n - (-4)/(-28). Solve r - 6*r = -j for r.
5
Let g be 1/(-2 + (-39)/(-18)). Suppose 0 = -g*h + 3*h. Solve h = 5*c - 5 for c.
1
Let r = 41 + -39. Solve 0 = -3*v + r*v for v.
0
Suppose -7*s = -2*s. Let z be (s - -3)*32/12. Solve 4*x - 2*x + z = 0 for x.
-4
Suppose 0 = 3*s, 3*g + 2*s = -2*s + 9. Solve p + g = -0*p for p.
-3
Suppose -2*x = -4*x. Let j(r) = r - 9. Let b be j(12). Solve x = -l - b + 2 for l.
-1
Suppose 2*l + 3*l = 3*h - 25, -28 = -4*h + 4*l. Suppose 3*m = h*m. Solve -5*n = -m*n + 10 for n.
-2
Let g = 87 + -82. Solve 0 = 2*z - 7*z + g for z.
1
Let u = -38 + 43. Solve u*c = c for c.
0
Let l = 11 + -4. Solve l*v - 4*v + 3 = 0 for v.
-1
Let k be (-16)/(-10)*(-5)/(-2). Solve -k*l + 0*l = 0 for l.
0
Let x(u) = u + 8. Let t be x(-8). Solve -a + 1 = -t for a.
1
Suppose 2*y = 4*c - 50, -4*c + y = -5*c + 11. Solve 5*l - l = c for l.
3
Let n(j) = 7*j - 13. Let x be n(5). Solve 0 = -5*c + 3 + x for c.
5
Let n(k) = -k**3 - k**2 - k - 2. Let w be n(-2). Let i = 7 - w. Suppose -5*d + 2 = 2*p, 2 = -d - p + i*p. Solve 0 = 5*t - d*t + 20 for t.
-4
Suppose -q + 1 = 3*i, -2*q = 2*i + 4 - 2. Solve w = i - 4 for w.
-3
Let c be (2 - 1)*(-8 + 5). Let k be c/3 + 1 + 2. Solve k*v = -v - 12 for v.
-4
Suppose 5*u - 9*u = -12. Suppose u*f = -4*q + 50, 5 = 2*f - 4*f + 5*q. Let p = -8 - -12. Solve -x + f = p*x for x.
2
Suppose -2*a - 1 = -5. Suppose -32 = -5*x + x. Suppose 0 = -2*r - 3*l + x, a*r - r = 5*l - 9. Solve r - 4 = 3*d for d.
-1
Let b(y) = -2*y**2 - y + 2. Let c be b(0). Solve -13 - c = 5*w for w.
-3
Let n = 4 + 0. Let o(a) = a. Let m be o(n). Solve -m = -4*p - 0 for p.
1
Suppose 4*y = -m + 14, -1 + 3 = -2*m + 2*y. Suppose 43 = m*j + 1. Suppose -5*q + j = -4. Solve q*b - 4 + 29 = 0 for b.
-5
Suppose -20 = -4*t + 5*a, -t + 4*a = -3 - 13. Let k = 0 - t. Solve k = -s - 2*s - 12 for s.
-4
Let v(n) = 3*n - 2*n + 2 - 1. Let b be v(1). Solve -2*l + 4 = b*l for l.
1
Let y be 3/(-6)*(1 - 3)*2. Solve 12 = 6*i - y*i for i.
3
Let k(y) = -y + 0*y**2 + 6*y**2 - 3*y**2 - 4*y**2 - 10. Let c be k(0). Let s be 2/(c/(-8) + -1). Solve -m = 3*m + s for m.
-2
Suppose 5*i - 9*i = 0. Solve i = 2*q + 2*q for q.
0
Let w be 6/(-1 - 15/(-6)). Let v be 2/8 - (-63)/w. Suppose l = 5*l - v. Solve -c = -l*c for c.
0
Let i(x) = x + 7. Let h be i(-7). Suppose h = -6*s + 11*s. Solve -2*r + s*r + 6 = 0 for r.
3
Let b = -31 + 36. Solve b + 7 = 3*c for c.
4
Let a(m) be the third derivative of -m**6/120 - m**5/20 + 5*m**4/24 + m**3/3 + 2*m**2. Let h be a(-4). Let x be (1 - (-3)/h)*-2. Solve 0*p + p = -x for p.
-1
Suppose -2*s + 4 + 2 = 0. Solve 1 = -s*v + 2*v for v.
-1
Let g(d) = -d**3 - 2*d**2 + d + 2. Let h be g(-1). Solve h*n = 2*n for n.
0
Let a = 4 + -3. Suppose n + 2 = -a. Let t be 6/(2/((-4)/n)). Solve 0 = o + t*o - 5 for o.
1
Let l(h) = -h**3 - h**2 + h. Let t be l(-2). Let w be 4/14 + (-16)/56. Suppose w = 3*z - 2 - 13. Solve -1 - z = -t*j for j.
3
Let l be (-2 - 0)/((-20)/30). Solve 0 = -5*x - l + 13 for x.
2
Suppose 2*t = -5 - 7. Let y be 1/(-2) - 21/t. Solve 6 = -y*x - 3 for x.
-3
Suppose -m + 5*m = 2*l + 12, 3*l = 2*m - 2. Solve l*n - 1 = 1 for n.
1
Let d be (-9)/((-9)/3) + 12. Solve d = -2*v + 5 for v.
-5
Let l(q) be the third derivative of -q**6/120 - q**5/60 + q**4/12 + q**3/3 - 2*q**2. Let w be l(-2). Suppose -8 = -2*c - w. Solve 0 = c*m + m - 8 for m.
2
Suppose -n + 6 = -1. Let m = n - 0. Let d be 218/11 + (-2)/(-11). Solve m*j = 2*j + d for j.
4
Let h be 0/((7 - 3) + -7). Suppose 70 = 3*d + 4*j, -5*j + 27 = d - 0*d. Suppose 6*o - 3*o + 24 = 5*n, -5*n = -4*o - d. Solve h = z + 1 - n for z.
5
Suppose 5*r - 3*r = 0. Suppose -5*z + r*z + 15 = 0. Solve 0 = -z*y - y - 8 for y.
-2
Let a be -4 - -2 - (1 - -1). Let t be 8 - (0 + (-2 - a)). Solve f - 4*f = -t for f.
2
Let z be (-24)/(-16) - 6/(-4). Let d(g) = -3*g**3 - g**2 - 2*g - 1. Let c be d(-1). Let r = c + 2. Solve 0 = -z*u + 1 + r for u.
2
Let u(t) = -3*t + 12. Let m be u(-8). Let i be (-5 - -2)*(-4)/6. Let y be i/9 + (-8)/m. Solve y*n - 12 = 4*n for n.
-3
Suppose 0 = 5*g - 2*g - 6. Suppose r - 11 = -5*p + 3, -g*r + 14 = 3*p. Solve -2*o - 12 = -p for o.
-5
Let a(x) = x**2 - 3*x + 6. Let o be a(5). Solve o = 5*k + 1 for k.
3
Suppose 0*w = 4*w - 4*q - 8, -3*w = q - 22. Solve -14 = -5*g + w for g.
4
Suppose -5*h + 0 + 25 = 0. Let f(m) = -5*m - 2. Let l be f(-6). Suppose i = h, -d - 4*i + i = -l. Solve d = 4*s - 3 for s.
4
Let y(o) = o - 3. Let a be y(7). Let h(u) = -u**2 + 5*u + 2. Let w be h(a). Solve -2*d = -w*d for d.
0
Suppose 12 = -11*t + 9*t. Let n be 6 - -3*t/9. Solve -2*w = -0*w + n for w.
-2
Let y = -85 - -87. Solve y*z - 3 - 1 = 0 for z.
2
Let o(u) = u**3 + 3*u**2 + 2*u + 3. Let h be o(-2). Suppose 2*b = 3*b - 27. Suppose -5*g + b - 7 = 0. Solve -g = -x - h*x for x.
1
Let t = 6 + -5. Solve -2*w + t = -1 for w.
1
Let u be 5/(-1) + (0 - 2). Let z be (2 - 1) + -11 - -4. Let b = z - u. Solve 14 + b = -5*x for x.
-3
Suppose -20 = -5*p, -3*p + 13 = i - 5*p. Suppose 4*q = -2*l + 88, l + q = 21 + i. Suppose 4*x - l = -s, -x - s + 10 = 3*s. Solve -2*o = -0*o - x for o.
5
Suppose 2 = w - 0. Suppose -3*x = -4 - 5. Let j = -1 + x. Solve j*n + w = -4 for n.
-3
Let u(g) = 7*g + 16. Let z be u(-2). Solve -z = 4*j - 14 for j.
3
Suppose 0 = 3*x + x - 60. Suppose 0 = 4*i + 4*v - 36, -i - x = -5*v + 6. Solve i*n + 0 = -4 for n.
-1
Let o(i) = i - 3. Let p be o(5). Suppose -9 = -3*h, 2 + 3 = -p*z + 3*h. Suppose -f + 15 = -0*f. Solve 5*g - f = z*g for g.
5
Let p be (-4 + 0)/(1/(-2)). Suppose 15 + 1 = 4*y. Suppose -5*q + 3 = u, -q + 4*u - 12 = y*q. Solve q = -a - a + p for a.
4
Suppose 5*w = -11 + 26. Let j = 23 + -11. Let h = 0 - 0. Solve -5*n - w - j = h for n.
-3
Let p be ((-11)/33)/(1/(-9)). Solve p*d = 1 - 10 for d.
-3
Let q(f) = -f**3 - 21*f**2 + 22*f + 5. Let l be q(-22). Solve 0 = -3*s - l + 20 for s.
5
Let k(t) = 6*t**2 - t - 1. Let n be k(1). Solve 2 = -n*i - 10 for i.
-3
Suppose -3*v - 3 = -3*n, 5*n - 4*v - 10 + 2 = 0. Suppose 1 + n = d. Solve -d*r + 3*r = 8 for r.
-4
Suppose -2*u - 2 = -c, u - 10 = -0*u - 5*c. Solve 2*z + u*z = -8 for z.
-4
Let t = 74 - 398. Let l be 1/4 + t/(-48). Solve -3 - l = -2*j for j.
5
Let g(w) = -2*w**3 - 4*w**2 - 2*w. Let k be g(-2). Solve -4 = -k*y - 0 for y.
1
Suppose -10 = -4*x + 6. Solve x = -5*k - 6 for k.
-2
Let b = 0 - 5. Let k = -4 - b. Solve -k = 3*d + 2 for d.
-1
Let g(d) = -d**2 + 6*d - 3. Let k be -1*(4 + -3 + -3). Let l be g(k). Suppose -p = -3*i - 4, l*p - 11 - 9 = 2*i. Solve 4*s + 14 + 2 = i for s.
-4
Suppose -2*y = v - 10, -y = -2*v - 1 - 4. Solve u = -v*u - 2 for u.
-2
Suppose -2*v - a + 3 = 0, -3*v - 4*a + 7*a = -18. Let o be -1 + 9/(-2)*2. Let u be (o/2)/(2/(-6)). Solve 0*r - v*r + u = 0 for r.
5
Suppose -3*a - 5 = -5*h + a, -h + 3*a - 10 = 0. Solve -h*q = -2*q + 6 for q.
-2
Suppose -3*h = -o - 4*h + 5, 0 = 5*o - 3*h - 57. Solve o*l = 10*l - 4 for l.
4
Let y be 0/(-2) - (-4 - -6). Let b be (-6)/(-4)*(-4)/y. Solve -2*m + 4 = -b*m for m.
-4
Suppose 0*s = 4*s - 120. Let o be ((-8)/6)/(4/s). Let h = o + 18. Solve -h = 5*k - k for k.
-2
Let t(u) = u**3 + 4*u**2 + u - 3. Let n be t(-2). Solve -n*z = -8*z - 5 for z.
-1
Suppose 0 = -3*u + 5*c + 6, 2*c + 1 = -4*u + 9. Solve -u*r + 0 = -6 for r.
3
Suppose 0 = -3*c - 5*a + 3 - 13, c = -5*a - 10. Suppose c = -2*g + n + 1, -2*g + 2*n = -g + 7. Solve -g*s + 2 = -4 for s.
2
Suppose 4*l + 1 = 13. Suppose 5*b - 2*d + 7*d = 40, -4*b - 5*d + 36 = 0. Suppose -l*m - h = -2*h - 17, b*m = -4*h - 4. Solve 0 = m*y - 3*y - 3 for y.
3
Let r(q) be the second derivative of q**6/90 + q**5/120 - q**4/3 - 4*q. Let w(k) be the third derivative of r(k). Let n be w(1). Solve n = 3*f - 6*f for f.
-3
Suppose 0 = 4*u - 6 - 14. Solve -u*i = -0*i + 15 for i.
-3
Let h be 1*6/4*4. Solve -k + 25 = -h*k for k.
-5
Suppose 2*x - 2*k = 16, -2*x - 4*k + 19 + 21 = 0. Solve -o - 3*o = x for o.
-3
