*w = -3*b + 1, -2*b - 2*w = 2*b - 20. Let o = b - -3. Solve 0 - o = -3*y for y.
2
Suppose -3*p + 5*c - 74 = 0, 6*p - 3*p + 66 = 3*c. Let f be (-152)/(-36) - (-4)/p. Solve 0*z - f*z = -4 for z.
1
Suppose 3 - 19 = -2*g. Solve 0 = -4*b - g - 12 for b.
-5
Suppose -2*u - 1 = -1. Solve u = -y - 3*y for y.
0
Suppose -12 = -4*y - 0*y. Solve 0 = -y*x - 4 + 1 for x.
-1
Let h = -46 - -48. Suppose -c - c = -6. Solve -h*a = c*a + 5 for a.
-1
Let a(g) = -g - 2 - 3 + 0*g. Let j be a(-3). Let p = j + 6. Solve -5 = -y - p*y for y.
1
Let y = 3 + 5. Suppose -8 + 2 = 3*a, 0 = 5*n + a - y. Solve n*x - 2 = 4*x for x.
-1
Let p = 9 - 16. Let s be (3 - 0)*-1 - p. Suppose k + 0*k - s*v - 10 = 0, 4 = -2*v. Solve -n = k*n for n.
0
Let j(b) = b**3. Let r be j(2). Suppose 2*t = r - 2. Solve 0 = h - t*h + 2 for h.
1
Let x(y) = 2*y**2 - y - 1. Let v be x(-2). Let s = v + -9. Solve 4*u = -s*u + 8 for u.
2
Suppose -5*a + w + 8 = 0, 4*w + 12 = -3*a - w. Let s be a/1 + -4 + 3. Solve y = -s*y + 1 for y.
1
Suppose -v + 10 = -0*v. Let f = 11 - v. Solve 2*x = 3*x + f for x.
-1
Let s = 0 - -2. Let j be s/(-4)*(3 - 5). Let t = -2 - -4. Solve -1 - j = -t*v for v.
1
Let p = -19 - -23. Solve -3*r - p = -4*r for r.
4
Suppose -9 = -5*g + 1. Let i be 2/(-8) + (-10)/(-8). Solve -i = g*n + 5 for n.
-3
Let h = 1 + 1. Solve 0*i + 2*i = -h for i.
-1
Let n(b) = b**2 - 14*b + 16. Let l be n(13). Solve l*d - 1 = -7 for d.
-2
Suppose -5*j = -2*j - 3. Solve -5*f - j = 4 for f.
-1
Suppose -r + 1 = -2*j, 3*j - j = 5*r - 13. Let i = -5 + r. Let f be (1 - (i + 2)) + 5. Solve 6 + f = 3*c for c.
4
Let b be (-1)/4 + 1/4. Suppose 5*p - 12 = z, 0 = p + p + 2*z. Suppose b*w + p = w. Solve w + 0 = -k for k.
-2
Let h be ((-10)/8)/((-2)/32). Let j(z) = 5 + z + 6 - 3 + 8. Let c be j(-8). Solve -3*g - h = -c*g for g.
4
Let y(u) = u**3 + 6*u**2 - 6*u + 9. Suppose 2 = -4*l - 26. Let q be y(l). Let z(h) = h**3 + 11*h**2 + 10*h + 4. Let a be z(-10). Solve 0 = -q*s - a for s.
-2
Let q be (9/(-6))/3*0. Suppose q = 4*o + y - 5*y - 104, -y = -5*o + 126. Solve 8*t = 3*t + o for t.
5
Suppose 5*s = 3*x - 15 - 8, x + 2*s = -7. Suppose 0 = 3*y + x - 37. Solve 0 = 5*a - a + y for a.
-3
Let n(z) = -z - 12. Let w be n(-12). Suppose 0 = -w*i + 4*i. Solve 0*x - 3*x = i for x.
0
Let a(r) = 2*r**2 - 11*r + 2. Let m be a(7). Let n = -16 + m. Solve 0 = -n*u + 2*u - 20 for u.
-4
Suppose 21 = 3*z + 3. Suppose -6 = z*p - 24. Solve -p*s + 11 = -4 for s.
5
Let d(c) = -2*c - 3 + 3*c + 1. Let s be d(7). Solve -u = -0*u - s for u.
5
Suppose -w = -2*w. Solve 9*c - 4*c + 20 = w for c.
-4
Let i = -9 - -4. Let l(r) = r + 5. Let w be l(i). Suppose 2*y + 5 = 3*c - w*c, 2*c + 2*y = 0. Solve -c = q + 4 for q.
-5
Let a be 53/3 + 3/9. Suppose 3*q - 5*b + 22 = 0, -q - 24 = q - b. Let w be a/14 - q/(-49). Solve -i = -2*i + w for i.
1
Let z(g) = -3*g - 9. Let w = 16 + -20. Let v be z(w). Solve v*x = 2*x - 5 for x.
-5
Let o = 7 + -3. Let d be o/20 + (-28)/(-10). Let y be (-1)/(d/(-18)) - 1. Solve c - 2*c = y for c.
-5
Let t = 3 - 1. Solve 18 + t = 4*z for z.
5
Suppose 2 = 2*w + 2*l - 3*l, 2*l = 2*w. Suppose 3*z - 2 = 34. Solve 0 = -2*x - z + w for x.
-5
Let k = 5 + -3. Let s(u) = -u - 3. Let q be s(-3). Let m = q + k. Solve m*z + 2*z = 0 for z.
0
Let x(p) = -p + 2. Let k be x(5). Let m(a) = -4*a + 2*a + 4 + 3*a. Let o be m(k). Solve r = 1 + o for r.
2
Suppose 5*x - 6 = 3*h, -5*h + 2*x + 12 = x. Solve -h*d = d + 20 for d.
-5
Suppose -2*d = -3 - 7. Let a = d - 3. Solve -3 = -a*y + 7 for y.
5
Let h = -9 - -14. Let q(c) = 4*c + 3. Let b be q(-2). Let y = b + h. Solve y = -0*i - 2*i - 6 for i.
-3
Let o = 8 - 5. Suppose 0*r - 5*r = 0. Solve r*s + 9 = -o*s for s.
-3
Let g(d) = 16*d**2 - d + 1. Suppose -4*y - 8 = 3*w, -2*y - 3*y = 2*w + 3. Let o be g(y). Solve -2*k - o = 2*k for k.
-4
Let s = -3 + 19. Suppose -4*o - s = 0, d + d - 14 = 2*o. Solve 0 = -i + d*i for i.
0
Let s = 2 - -3. Let j(n) = 3*n - 5. Let q be j(4). Let t = q + s. Solve 2*d + 2*d = -t for d.
-3
Suppose 3*f + 37 = -2*m + 3*m, -4*f + 2*m = 52. Let h = f + 15. Solve 1 = l + h for l.
-3
Let p(u) = 3*u**2 + 1. Let x = -13 - -14. Let f be p(x). Solve 3*w - f = 2*w for w.
4
Let b = 8 + -9. Let x be -3 - (4 + b)*-1. Solve 0 = 3*c + 6 - x for c.
-2
Let b be 4 + (2 - (-2 + 4)). Solve 0*m = b*m for m.
0
Suppose 3*n + 2*n - 20 = 0. Let d be -2*((-14)/n + 3). Let g(h) = 5*h**3. Let r be g(d). Solve 0*z = z + r for z.
-5
Let n = -4 + 10. Suppose 3*v - n*v = 0. Suppose 0 = g, 3*f + 3*g + g - 9 = 0. Solve v = f*w + 6 for w.
-2
Let n(a) be the first derivative of -a**3/3 + 3*a**2/2 - 2*a - 2. Let p be n(2). Let j be (3/2)/3*p. Solve j = 3*k - 8*k for k.
0
Let r = 32 + -30. Solve 0 - r = 2*u for u.
-1
Suppose 0 = 2*r - 4*r. Suppose -5*k - 4*m - 322 = r, 72 = -k - 0*m + 3*m. Let c be 8/28 + k/(-14). Solve -c*t - 22 - 3 = 0 for t.
-5
Let r be 7/3 + 2/3. Suppose r*a = 5*a - 8. Suppose -3*v + 6 + 2 = k, -v - a*k = -10. Solve 0 = -l - 0*l + v for l.
2
Let z(w) = w**3 - 4*w**2 - 6*w + 7. Let p be z(5). Let u(x) = 12*x + 3*x - 1 + 76*x**2 - 7 - 74*x**2. Let i be u(-8). Solve i*b - p*b = 8 for b.
-4
Let i = 70 + -68. Solve -h = -3 - i for h.
5
Suppose -3*t = -n + 17, -n - t = 3*n - 16. Let r be n + (-5)/(5/2). Suppose r*z = -5 + 17. Solve z*p + 10 = -2 for p.
-3
Let r be -1 + (-1)/1 + -2. Let u = 6 + r. Suppose -3*h + 9 = 0, -u*h + 5*h = -5*c + 34. Solve 29 = -c*a + 9 for a.
-4
Let a be (-2)/4*(4 + -4). Suppose a = 3*z - 6*z + 2*t + 12, -3*t + 4 = z. Let d = -3 - -9. Solve -d = z*r + 2 for r.
-2
Suppose 3*r = 5*i - 35, 5*i + 3*r - 14 - 21 = 0. Suppose -3*w + i - 1 = 0. Solve -w*t = 6 + 4 for t.
-5
Let n be 17/(-34)*2/4*0. Solve k - 3 + 5 = n for k.
-2
Suppose -5*s = z - 8, -3*s = -z - 0*s. Let w(r) be the second derivative of -r**3/6 - 2*r**2 + 2*r. Let t be w(-8). Solve -z*l - 11 = t for l.
-5
Let q be (-524)/(-16) + (-6)/8. Suppose 2*c + 3*o = -3*c + q, 2*c - o - 4 = 0. Solve 6 + c = 5*v for v.
2
Suppose 0 = 3*h - 3*s, 40 = 5*h + 2*s + s. Solve 0*f - h*f = 0 for f.
0
Suppose -4*o - 4 = -4*k, -3*o + 10 = 2*o. Suppose -1 = -2*u + k. Solve 0 = u*i - 4 for i.
2
Let i(g) = g**3 + 10*g**2. Let n be i(-10). Solve n = 2*m + 4 - 2 for m.
-1
Let f(t) = t**2 - 10*t + 30. Let x be f(5). Solve 5*o + 0 = x for o.
1
Let k be (4/(-10))/(6/(-30)). Solve a = k*a for a.
0
Suppose -3*g + 0*g + 12 = d, -3*g + 21 = -2*d. Suppose -g = -3*m + 1. Solve 4*y = m*y for y.
0
Let u be (3*(-8)/(-12))/((-4)/(-14)). Solve 5*d - u = 18 for d.
5
Suppose 0 = -8*h + h + 35. Solve 0 = 5*r + h for r.
-1
Let q be 0 + 3 - 0/(-18). Solve q*h - 5*h - 4 = 0 for h.
-2
Let a(n) = -n**3 - 2*n**2. Let d be 1/((-3)/(-6) - 1). Let w be a(d). Solve -b - b - 8 = w for b.
-4
Let l = 41 + -35. Solve -2*a + 5*a = -l for a.
-2
Let b be -1 + 2 + -1 + 1. Suppose 4*a - 9 = -5. Solve -x = -b - a for x.
2
Let p be -1*(-5 - 8/(-4)). Solve k = p*k for k.
0
Suppose -2*i - 31 = -7*i + 3*s, -3*s + 9 = 0. Solve 2*w - 2 = i for w.
5
Let l = 51 + -37. Let a(s) = s**2 + 2*s + 1. Suppose -5*m = -2 + 12. Let j be a(m). Solve 3*b + j = -l for b.
-5
Suppose -4*v - 16 + 52 = 0. Suppose 2*j - v + 3 = 0. Solve u - 4*u = j for u.
-1
Suppose -8*b = -4*b. Suppose b = 2*l + l - 12. Solve -1 = 3*a - l for a.
1
Let y = -59 - -104. Suppose 5*j - y = 9*p - 4*p, -4*j = -3*p - 32. Suppose -4*h = -4*n - 12, -3*h + 10 = -4*n + 2. Solve -h*g = -j*g + 4 for g.
4
Suppose 0 = n - 4 - 0. Solve -n*x = -2*x - 2 for x.
1
Let d be -1*4*(2 + -3). Solve j = 2*j - d for j.
4
Suppose 3*c = 2 + 10, -4*c + 16 = 4*f. Solve f = -2*u + u - 4 for u.
-4
Let n = 4 - 14. Let i be ((-4)/n)/(5/50). Solve 4*z - 2*z = i for z.
2
Let i be (-194)/1*(-2)/4. Suppose 3*d + 22 = i. Suppose -2*p = 3*p - d. Solve 0 = p*r - 13 - 2 for r.
3
Let p be (-10)/(-3) - (-5)/(-15). Let i = p - 1. Suppose i = -z + 4. Solve 4 = z*y - 4 for y.
4
Let m = -21 + 24. Solve m = -2*n + 7 for n.
2
Suppose -2*p - 40 = -4*p. Let f be ((-2)/(-3))/((-1)/(-6)). Suppose f*b = 3*j + b, 0 = 3*j + 3*b - 24. Solve -p = -j*c - 0*c for c.
5
Suppose -3*j - 30 = -4*k, -3*j - j = 5*k + 9. Let l be j/15 - 66/(-15). Suppose l*f - 5*s = 7, 2*f - 1 = 4*s + s. Solve z = f - 5 for z.
-2
Let k(m) = -m + 3*m - 4*m + 1 + 3*m. Let h be k(-1). Solve h*x = -5*x + 15 for x.
3
Let u be (-1 - 0)*1*4. Let z be (u - -5)/(1/5). Suppose f = -0 + 3. Solve -f - 12 = z*b for b.
-3
Suppose 4*f