 be (2/4)/(a/56). Solve 8 = -b*c - 0*c for c.
-2
Suppose -3*r = 4*h + 8, -1 = 3*r + h + 1. Solve 3*w - w + 4 = r for w.
-2
Let s(n) = -n**3 + 3*n**2 + n - 3. Let z be s(-2). Solve -7*f + 10*f = -z for f.
-5
Let u = -9 + 13. Solve -n - u = 1 for n.
-5
Let h be 3 - (-2 + 3 - 2). Suppose c = 10 - h. Solve 0*n - 2*n - c = 0 for n.
-3
Let c = 3 + -4. Let y = c - -3. Suppose -78 = -k - y*k. Solve k = -5*x + 1 for x.
-5
Let a(t) = -t - 4. Suppose 0 = 5*j + 38 - 13. Let s be a(j). Solve s + 3 = -d for d.
-4
Suppose 5*j = 12*j. Solve r = -j*r for r.
0
Suppose -3*o - 17 = -8*o + w, 0 = -o - 4*w - 5. Solve -2*g - 20 = o*g for g.
-4
Suppose -5*m + 8*m - 30 = 0. Solve -m = -2*u - 0*u for u.
5
Suppose -4*f + 2*o + 548 = -7*f, 0 = 5*f + 5*o + 905. Let v be 4/(-14) + f/(-14). Suppose -3*u - 2*c = -v, -u - 3*u = 4*c - 16. Solve 4*s = -s + u for s.
1
Let f(q) = q**2 + 11*q - 17. Let l be f(-13). Solve 0 + l = 3*g for g.
3
Let p(z) = -z + 6. Let d be p(2). Solve 5*u + 11 = -d for u.
-3
Let h be 15/25*(1 + 4). Suppose 0 = -3*z + 3*l + 12, -24 = -h*z - 2*z + l. Solve -12 = -n + z*n for n.
-3
Let v(q) = 4*q - 2. Let b be v(1). Solve 3*a = a + b for a.
1
Let j(p) = p**2 + 8*p - 9. Let s be j(-9). Suppose -3*g - 10 - 20 = s. Let d be (-10)/(-4)*(-8)/g. Solve 25 = -7*m + d*m for m.
-5
Let y(l) = -l**3 - 6*l**2 + 6. Let r be y(-6). Let t = 6 - r. Let x(w) = w**3 + 8*w**2 + 6*w - 4. Let a be x(-7). Solve -v = -t*v + a for v.
-3
Let y = 13 + 16. Let r = y - 18. Suppose 22 = n + 4*d, 3*n + 4*d = 3*d + r. Solve -n*c - 8 = -0*c for c.
-4
Let k be 0 - (-2 + 0) - -3. Suppose 4*i = 2*d + 15 + k, 0 = 3*i + 3*d + 3. Solve -m = -2*m - i for m.
-3
Suppose 0 = 5*z - x - 23, 0 = -5*z - 0*x - x + 17. Let r(h) = h**2 - 2*h - 3. Let j be r(z). Let f(l) = l**2 + 3*l + 6. Let t be f(-3). Solve j*g + 1 = t for g.
1
Suppose -b + 12 = 2*b. Solve -9 = -a + b*a for a.
-3
Let p(q) = -q**3 - 6*q**2 + 5*q - 8. Let k be p(-7). Let b(z) = z**3 + 9*z**2 + z + 11. Let l be 3 - (2 + -1) - 11. Let x be b(l). Solve -u - x*u - k = 0 for u.
-2
Let r(c) = -c**3 - 8*c**2 - c - 8. Let o be r(-8). Let f(b) = -b**2 + 4*b + 5. Let l be f(5). Solve p + o*p + 3 = l for p.
-3
Let m(y) = -4*y - 2. Let p be m(-1). Solve 8 + 0 = -p*f for f.
-4
Let k(o) = o + 14. Suppose -l - 9 = -c + 2*c, 3*c - 53 = 5*l. Let s be k(l). Solve 0 = -s*r - 0*r - 12 for r.
-3
Let m(v) = v**2 - 9. Let s be m(0). Let w be 6/s - (-46)/6. Solve -a - w + 3 = 0 for a.
-4
Let y(v) = v - 2. Let o be y(6). Let x(h) = h**3 - 10*h**2 + 8*h + 12. Let p be x(9). Suppose 17 = 5*z - p*r, 12 = 4*z - 0*r - o*r. Solve -z = -5*m + 1 for m.
1
Let o be (10/(-15))/(2/3). Let m be ((-2)/(-2) - -2) + o. Suppose -6*r = -2*r + 4*i - 24, m*r + 3*i - 15 = 0. Solve r*p - 1 - 5 = 0 for p.
2
Let m = 11 + 9. Suppose -2*y = -x + 16, 0*y + y = -3*x + m. Let w(j) = j**3 - 8*j**2 + 9*j - 9. Let z be w(7). Solve x = -l + z*l for l.
2
Let m = 17 - 15. Solve -3*o - m*o = 0 for o.
0
Let u be -6 - -7 - (-2 + 1). Solve 2*a - 2 = u for a.
2
Let d(b) = -b**3 + 8*b**2 - 4*b - 8. Let o be d(7). Let x = -9 + o. Solve -x*z - 10 = z for z.
-2
Let q be 0/((-7)/(28/(-8))). Solve q = -0*l - 3*l for l.
0
Suppose 0 = -4*r + 5*a + 24, 4*a + 9 + 7 = 0. Let v be (-4 + r)*8/(-6). Solve 2*b = v + 2 for b.
3
Let p be 8/5 - 2/(-5). Solve 3*n = -7 - p for n.
-3
Let l(g) = -3*g - g + 3*g + 1 - g**3 + 2 - g**2. Let h be l(0). Suppose -4*u + 20 = 4*i, 3*i - 39 = -5*u - 14. Solve i*t + h = t for t.
3
Let a(b) = b**2 + b - 4. Let z be a(-4). Suppose 3*l = -3*k + 3, 2*k - 1 = 3*l - 19. Solve -l*j - z = -2*j for j.
-4
Let o be (-24)/(-8) + 1*(1 + 8). Solve -4*i - o = 2*i for i.
-2
Let z = -36 - -38. Solve -3 - 1 = -z*u for u.
2
Suppose -48*u + 51*u = 21. Solve -u*d = -3*d - 20 for d.
5
Suppose 5*p - 14 = 6. Suppose p - 19 = -3*w. Let z be 2 + 3 + -2 + -2. Solve 0 = -2*g + w - z for g.
2
Let o = 4 - 13. Let p = o + 9. Suppose 3*w - 2*b - 6 = p, -1 = -4*w + b + 2. Solve w = -6*a + 2*a + 16 for a.
4
Let b be ((-4)/28)/1 - (-424)/28. Solve -b = k + 4*k for k.
-3
Let c be ((-2)/(-4))/(1/12). Suppose c = 4*y + 2. Solve y = d - 2 for d.
3
Suppose 0 = 3*o - 2*m, 0*m + 2*m = 4*o - 2. Solve -6 = 2*k - o for k.
-2
Suppose 7 = -6*b + 5*b. Let q = b + 15. Suppose -4*r + 4 = -q. Solve r*j = -0*j for j.
0
Suppose 3*u + 3*u - 120 = 0. Suppose -s - 3*c = 3 + 9, -c = 4. Suppose -3*d + d - 2 = j, s = -2*j - d + 5. Solve -8*o + u = -j*o for o.
5
Let y(g) be the first derivative of -1/2*g**2 - 9*g + 1. Let x be y(-9). Solve -4*s + 12 + 4 = x for s.
4
Let m(s) = -s**3 + 11*s**2 - 10*s - 4. Let p be m(10). Let y = 8 + p. Suppose 0*o + y*o = 0. Solve o = 4*i - 12 + 4 for i.
2
Suppose -2*v = -v - 4*y + 10, -1 = 4*v - 3*y. Suppose -1 = v*t - 5. Solve t*w = 3*w for w.
0
Let g = 16 + -12. Solve g*u = -0*u for u.
0
Let l(c) be the third derivative of -c**5/60 + 7*c**4/24 + c**3/3 - c**2. Let q be l(7). Solve -12 = q*r + 2*r for r.
-3
Let t be 2/(-9) + 182/9. Suppose -t = f - 5*f. Suppose -2*m + f = -13. Solve 0 = -4*l + m + 3 for l.
3
Suppose 3*l = l. Let i be -3 - (l + 1 + 2). Let r = i + 8. Solve 0 = 5*x - r*x + 15 for x.
-5
Let g be (-3 - (1 + -2))/2 + 3. Solve i + g*i + 9 = 0 for i.
-3
Suppose -53 = -4*r + g, -3*r + 6*r = g + 41. Solve 0 = 3*b - 0*b + r for b.
-4
Suppose -5*k = i - 72, 3*i = 2*k + 6*i - 21. Solve -z - k = 2*z for z.
-5
Let c(n) = -n**3 + 5*n**2 + 6*n + 1. Let u be c(6). Solve u = l - 1 for l.
2
Let c be (-4)/10 + 224/35. Suppose -50 = x - c*x. Solve 3*h = -5 - x for h.
-5
Suppose -4*m = -c - 16, c + 3*c = 16. Suppose -k - 3*k = 0. Suppose -2 = -j - k. Solve j + 13 = -m*s for s.
-3
Let t(i) = -i**2 - 10*i + 15. Let d be t(-11). Solve 0*h + d = -h for h.
-4
Suppose 2*q - 7 - 7 = 0. Solve q = -4*z + 3 for z.
-1
Suppose 2*l - 6*l = 96. Let h = l - -25. Solve h = -v - 0 for v.
-1
Suppose -5*y + 10 + 90 = 0. Let j = y + -16. Solve j*f - 2*f = -10 for f.
-5
Suppose 0 = r - 1 - 2. Suppose 5*j + w = j + 11, 5*w = -r*j + 4. Solve -2*g - 5 = -j*g for g.
5
Let k be 2/(-7) + (-259)/(-49). Suppose k*i = 2*i. Solve 4 = -u - i for u.
-4
Suppose -5*a - 5 + 40 = 0. Let j = 17 - 6. Let u = j - a. Solve -5 = u*k - 1 for k.
-1
Suppose -3*g - 3*g = -12. Solve -r = g*r - 15 for r.
5
Suppose 0 = 4*v + d + 49, -62 = 2*v + 3*v + 2*d. Let n = -20 - v. Let p be ((-4)/3)/(n/12). Solve -12 = p*w - 5*w for w.
4
Suppose -7*f + 2*f - 25 = 0. Let w be ((-2)/6)/(f/(-15)). Let n = w + 1. Solve 3*j + 3 = -n*j for j.
-1
Let x = -33 + 35. Solve n + 3 = -x for n.
-5
Let d be (-6)/(-42) + 82/14. Solve f - d = 4*f for f.
-2
Let b = -19 - -35. Solve -5*q + 4 = -b for q.
4
Suppose -8 = -2*z - 0*z. Solve -12 = -f + z*f for f.
-4
Let i = 9 - 32. Let n = -18 - i. Solve -n - 7 = -3*t for t.
4
Suppose 0 = -5*v + 2*j + 20 + 14, -4*v = 3*j - 18. Solve -2*m = -v*m for m.
0
Let s = 20 - 18. Solve -y - 6 + s = 0 for y.
-4
Suppose 0*i = -4*i + 8. Suppose 0 = i*u - 4*u. Let j be 0/(-1 + (2 - u)). Solve 0 = -b - j*b + 4 for b.
4
Let y be 7 - (-7 - -3)*-1. Solve -y*m + 4 = -m for m.
2
Let b = -147 + 147. Solve -5*w + 3 - 23 = b for w.
-4
Let k = 13 - 9. Let u = -6 - -8. Suppose u = -3*i + k*i. Solve i*a = -a for a.
0
Suppose 4*h = -u - 8, -h = -5*u - 0*h + 23. Solve w = -3*w + u for w.
1
Let i = 13 - -13. Suppose -6 = 2*s - i. Suppose 9*r + 2 = g + 4*r, -4*g + 8 = -5*r. Solve 7*u - s = g*u for u.
2
Let q(s) = -12*s + 7. Let z = -13 - -8. Let x be q(z). Suppose -x = -5*c - 2*i, 0*i + 37 = 3*c + 2*i. Solve 4*t = -t + c for t.
3
Let f be (3 + -7)/(3/(-6)). Solve f = -4*q - 8 for q.
-4
Let f = 123 + -120. Solve 13 = f*p + 1 for p.
4
Suppose 64 = -4*v - 5*a + 11, -a = 1. Let u be (-32)/v*(-3)/(-4). Solve 0 = u*o + 2*o for o.
0
Suppose -5*l - 2*f = -2*l + 1, 3*l - 4 = -f. Solve l = 2*b + 1 for b.
1
Suppose -61 - 9 = 2*t. Let w be 10/t + 88/14. Suppose 0*l = 4*d + 2*l - w, 9 = 4*d + l. Solve 0*z - 3 = d*z for z.
-1
Let w be (-3)/(((-15)/2)/(-5)). Let i be ((-2 - w) + -3)*-1. Solve -i - 1 = -4*z for z.
1
Let w(z) = -8*z**2 - 29*z - 11. Let i(o) = 3*o**2 + 10*o + 4. Let f(n) = 11*i(n) + 4*w(n). Let s be f(6). Solve s = 5*j - 27 + 2 for j.
5
Let s be 4*(-3)/6 - -2. Solve s*z - 12 = -3*z for z.
4
Suppose 4*z - 5*w = -5, 3*w = -3 + 6. Solve 3*j + z*j - 6 = 0 for j.
2
Let m(b) = b**2 - 6*b + 3. Let k be m(6). Suppose z + k*a - 1 = 0, 2*z = z - 4*a. Solve z - 1 = -3*l for l.
-1
