
Let r be (1*-6)/(0 + -2). Solve 0 = r*s + 2*s + 5 for s.
-1
Let l be 4*3/6*2. Suppose -29 = -5*t - l. Suppose -2*h - h = 5*k - 19, -t*k + 7 = -h. Solve c = k*c for c.
0
Let x(q) = -q - 7. Let c be x(-14). Solve d - 2 = -c for d.
-5
Let i be (7/28)/((-1)/(-8)). Solve 0 = -i*o + 4 + 4 for o.
4
Let s be (-1)/(-6)*4*-6. Let g = 2 - s. Solve 3 + g = 3*x for x.
3
Suppose -2*o - 5 = -7*o. Let h be 1*o*(3 - 1). Suppose z = -2*z + 6, -h*f - 5*z = -10. Solve j + 4*j + 5 = f for j.
-1
Let a be (0 + -2)/(-2) + 1. Let m be a/(-3) - 22/(-6). Solve -f + 8 = -m*f for f.
-4
Let s(c) be the second derivative of -c**3/6 + 4*c**2 + 3*c. Let j be s(6). Solve -2*h - 4 = -j for h.
-1
Let p be 24/13 + (-6)/(-78)*2. Solve 0*o + p*o = 4 for o.
2
Let q = 39 - 35. Solve q*t - 14 = -2 for t.
3
Let n be 1 - 4 - -2 - -3. Let v = 10 - 7. Solve -n*c + 13 = v for c.
5
Suppose 9*c - 8*c = 0. Solve r + 2*r - 9 = c for r.
3
Let p(t) = t**2 + t - 9. Let z be p(-4). Solve -4*a = -z*a - 3 for a.
3
Let m(o) = 13*o - 4. Let r(p) = -13*p + 4. Let z(q) = 5*m(q) + 4*r(q). Let k be z(3). Let a = k - 23. Solve -4*b + a = -b for b.
4
Let p be (2 - (-1 - -4))*-7. Let v = p + -3. Suppose -1 - 2 = -y. Solve -v*r + 1 = -y*r for r.
1
Suppose 0 = -m + c + 5, -m = 3*m + 4*c + 4. Solve m = -n - 1 for n.
-3
Suppose -5*n + 4*n + 21 = 0. Suppose -4*l = 9 - n. Solve -l*c + 4*c = 3 for c.
3
Let t be -4 + 3 - (-1)/((-2)/(-4)). Solve -5*f + 4 = -t for f.
1
Let s(v) = v**2 - v + 2. Let r be s(2). Suppose 4*z + 20 = -2*c, -31 = -4*c + 4*z - 11. Solve c + r = -m for m.
-4
Suppose -s + 5*r + 12 = 0, 2*s = 4*s - r - 6. Solve 0 = h - s for h.
2
Let k be 470/30 - (-1)/3. Let f = 19 - k. Solve -m - f*m = -12 for m.
3
Let j = 26 + -23. Suppose -7*i + j*i + 8 = 0. Solve i = -b - 1 for b.
-3
Suppose p = -3*p + 116. Suppose -p - 51 = -4*k. Solve 5*u - k = -0*u for u.
4
Suppose 29 + 55 = 3*l. Let t = l + -18. Solve 3*x = x - t for x.
-5
Let j = 8 - 5. Suppose m + 3*o + 0*o = 9, 5*o + 13 = 3*m. Let t = -8 - -8. Solve -m = -t*z + j*z for z.
-2
Let z(v) = v**3 - 8*v**2 + 7*v + 7. Let i be z(7). Solve -3 = -2*b + i for b.
5
Suppose -4*h + 5*h = 2. Solve 3*z = h*z - 1 for z.
-1
Suppose 0 = -i - 3*x + 4*x - 1, 0 = i - 5*x + 5. Suppose -5*j = 5*q - 10, i*j + j = 0. Solve -q*w - 3 = 1 for w.
-2
Let c(g) = g**2 + 19*g - 37. Let n be c(-21). Solve n*l - l = -8 for l.
-2
Let r = 19 + -16. Solve 2*q - r = 7 for q.
5
Suppose -4*x - 3 = -i - 10, 0 = -2*x - 4*i + 26. Suppose x*j - 5 = 22. Let w = j - 4. Solve 0*c = c - w for c.
5
Suppose 5 = 3*l - 7. Solve -l - 6 = 5*u for u.
-2
Let t = -23 - -23. Solve t = -2*p + p + 2 for p.
2
Let c(r) = -r**2 - 11*r + 8. Let v be c(-12). Let f = 0 - v. Solve -z = f*z + 25 for z.
-5
Suppose 8 = 4*j - 4*u + 5*u, -4*j + u = 0. Solve -3 = -2*x - j for x.
1
Let g(c) = c**2 + 7*c + 8. Let d be g(-6). Let r be ((-3)/9)/(1/3). Let z = r + d. Solve 4*x - 9 = -z for x.
2
Suppose 2*j + 15 = 7*j. Suppose j*x - 12 - 6 = 0. Let m be ((-9)/x)/1*-4. Solve m = -3*v - 6 for v.
-4
Let i = 40 + -23. Solve 1 = -4*a + i for a.
4
Let d be (-2)/4 - (-38)/4. Suppose b + d*j - 20 = 4*j, -3*b = -4*j + 16. Suppose 0 = -b*s - s. Solve w + 1 + 0 = s for w.
-1
Let j be 1/(-2)*-12*3. Let g be (-6)/j + (-92)/(-6). Solve -4*a - 1 - g = 0 for a.
-4
Suppose q + 2*q = 9. Suppose -2*a = -0*a. Solve a = q*l - 7*l - 4 for l.
-1
Suppose -3*n - 11 = -5*b + 33, 3*n + 4*b + 62 = 0. Let r = 39 - 72. Let l = n - r. Solve -h - 4*h = -l for h.
3
Let v(q) = -q**2 - 14*q - 11. Let s be v(-13). Suppose -s*n = 2*n - 12. Solve 7 = -n*z + 22 for z.
5
Let q be 2/7 + (-64)/28. Suppose -4*k = 4 + 8. Let f be q - k - (-1 + 1). Solve x - 3 + f = 0 for x.
2
Let h(o) = -o**2 - 4*o + 5. Let l be h(-4). Let q be 1/l + (-19)/(-5). Suppose -1 = -r + q. Solve r*c - 4*c + 4 = 0 for c.
-4
Let s(i) = -i**2 - 5*i - 1. Let k be s(-4). Let b(c) = -5*c - 2 + c**2 - 2 + 4*c. Let q be b(k). Solve q*u = u - 2 for u.
-2
Let c = 65 + -64. Solve c = t + 2 for t.
-1
Let c be ((-26)/(-10) - 3) + 27/5. Solve -2*p + c = 3 for p.
1
Suppose -2*c - 2 = y - 4, -2*c + 3*y + 10 = 0. Let d(x) = 2*x**c - 2*x**2 - 5*x - x**2 - 4. Let v be d(-3). Solve -1 = v*o + 5 for o.
-3
Suppose -6 = 4*n - n, -3*l = 2*n + 64. Let p = 36 + l. Suppose p = 4*i - u, 3*i + 2*i = -u + 20. Solve 11 - 3 = i*d for d.
2
Let l(c) be the third derivative of -c**5/60 + 3*c**4/8 - 5*c**3/6 + c**2. Let u be l(8). Solve 10 = -u*k + 4 for k.
-2
Suppose -4*d = 2*v - 46, -15 = -d - 3*v - v. Suppose -4*l + 27 = d. Solve 4*b = 8 + l for b.
3
Let f = 136 - 126. Solve o - 3*o - f = 0 for o.
-5
Suppose 3*l = -0 + 6. Let t(o) = 2 - l + o. Let y be t(4). Solve -y = -c - c for c.
2
Suppose 23 = -6*b + 35. Solve p = b*p for p.
0
Let k(z) = z**3 - 12*z**2 - 13*z + 15. Let i be k(13). Solve 2*l = -3*l - i for l.
-3
Let x be 6/(-6) - (-7)/1. Suppose -2*v + x*v - 5*h = 2, -3*v - 3*h + 15 = 0. Solve v*i - 14 = 1 for i.
5
Let v = 87 + -37. Suppose 2*x - 7*x = -v. Solve -4*b + 2*b = -x for b.
5
Suppose 0 = 4*k - 4*s - 24, -3*s - 24 = -4*k - k. Suppose 4*t - 6 = 6. Let q = t - 3. Solve q = 5*x + 7 + k for x.
-2
Let x(t) = 2*t + 1. Let n be x(-2). Let g be 6/1 - (-6)/n. Suppose 2*l = -0*l. Solve l = i - g*i + 9 for i.
3
Suppose 9 = 3*o - 0. Suppose -2*r = -3*d, d + 4*r + 11 = 25. Solve z = -d*z + o for z.
1
Suppose 2*m - m = 2. Solve m*z - 5*z = 0 for z.
0
Suppose -3 = -25*q + 24*q. Solve -q - 1 = -2*p for p.
2
Let f be 0/3 - (0 - 3). Solve -8 + f = a for a.
-5
Let p(q) = -5*q - 1. Let b be p(-1). Suppose -2*s - 4 = -4*s. Solve -s*h + b*h = -2 for h.
-1
Let j be (3/2)/(1/(-2)). Let b be 2/j + (-22)/(-33). Solve -v + 4 + 0 = b for v.
4
Let b(o) = -o**3 - 7*o**2 + o - 11. Let s be b(-8). Suppose 4*h - s = -17. Solve h*w - 20 = 3*w for w.
5
Suppose -3*k + 354 = 3*n, 0 = -3*k + n + 123 + 239. Let y be (-2)/11 + k/55. Solve 0 = 4*w - y*w + 10 for w.
-5
Suppose -2*y = 4*c - 4, 4*c + 0 = 2*y - 4. Let x be 2/2 + 2 + -1. Let n = x - c. Solve -n*k - k = -15 for k.
5
Let j be (-4)/(-8) - (-7)/2. Suppose -5*a + 8 = 2*v, -4*a = j*v - 2*v - 6. Solve -1 - 3 = a*l for l.
-2
Let a be 2*(315/(-6))/(-5). Solve -a + 5 = 4*h for h.
-4
Let b(f) = 6*f - 4. Let y be b(2). Solve -4*r = -2*r + y for r.
-4
Let g = 9 - 5. Suppose 0 = -x + 2*o + 12, g*x + o + 7 = -2*o. Suppose -4*v + 0*n + 18 = 2*n, x*v + 5*n = 5. Solve 2*j + 1 = v for j.
2
Let b(r) = -3 + 2*r + 0*r - 2 + 3. Let a be b(3). Solve -a*k = k - 15 for k.
3
Let f(a) be the third derivative of a**6/120 + a**5/6 + 3*a**4/8 + 3*a**2. Let s be f(-9). Let x(w) = -w + 3. Let d be x(3). Solve -p + d*p - 3 = s for p.
-3
Let w be (-2 - 0)*(-25)/2. Let x be ((-20)/w)/((-2)/5). Solve x*u = -3*u + 10 for u.
2
Let p(h) = h**2 + 4*h + 3. Let k be p(-5). Solve -3*g + 4 = -k for g.
4
Suppose -5*g + k = 0, 4*g = 7*g - 5*k + 22. Solve -g = 5*y - 6 for y.
1
Let y be (-5)/((3/4)/(-3)). Solve -6*c - y = -2*c for c.
-5
Let r(y) = y**3 + 5*y**2 - 5*y - 7. Let n be r(-5). Suppose b = -9 - 3. Let m be n/b*(-3 - -1). Solve m*z = -z for z.
0
Let v = -49 + 52. Solve 3 = 2*m - v for m.
3
Let o = 150 - 148. Suppose 0*k - 3 = -k. Solve -o*p + 1 = -k*p for p.
-1
Suppose 0 = 3*k + 4*i - 11, 0*k + 4*k - 4*i + 4 = 0. Suppose 0*v + v - 13 = 4*z, 12 = -3*z. Let x be (k/(-3))/(v/36). Solve 0 = -x*y + 14 - 6 for y.
2
Let c(i) = -i**2 - 7*i + 2. Let w be c(-7). Suppose p - 4*d = -3*p - 20, 2*p + w*d - 10 = 0. Suppose -3*o = -p*o. Solve o*a = 2*a for a.
0
Let h(l) = l**3 + 6*l**2 - l - 3. Let q be h(-6). Let a = -14 + 14. Solve a = -q*k - k - 12 for k.
-3
Let b(y) = 4*y**2 + y - 1. Let o be b(1). Suppose 12 = -4*t - o*d, -4*d - 7 = 5*t + 3. Let g be (t + -2)/(-1 + 3). Solve -8 + g = -4*c for c.
2
Let r(b) = b**2 - 8*b - 6. Let f be r(9). Suppose 3*n - 5*n = 0. Solve 0 = -i - f - n for i.
-3
Let x = -8 - -13. Suppose -x*s - 1 = -11. Solve t + s*t - 12 = 0 for t.
4
Let r(h) = -7*h**3 - h**2. Let w be r(-1). Solve 0 = w*j - j + 5 for j.
-1
Suppose 3*r + 20 = 4*r. Let w(g) = -g**3 - 6*g**2 - 6*g + 1. Let z be w(-5). Solve 0 = k - z*k + r for k.
4
Suppose 2*v = m + 3*m - 22, 3*m = 4*v + 19. Let i = 5 + v. Let k(h) = -h + 6. Let y be k(4). Solve -i*u = -y*u for u.
0
Suppose 2*u + 3 + 17 = 4*i, -5*u + i = 5. Solve 3*h + 7 + 2 = u for h.
-3
Suppose 4*k + 2*b - 4 = 0, 1 = -3*b - 5. Solve -f = -k*f + 4 for f.
4
Suppose 0 = 3*j - j + 24. Let v be (j