 -3). Solve -5*w + 0*w = u for w.
0
Suppose -35 = -3*b - 4*n, 3*n - 25 = -3*b + b. Solve 7 = -4*m - b for m.
-3
Suppose -2 = -2*j - s + 2, -3*j - 4*s + 1 = 0. Let m(u) = u + u**3 + 4 + 2 - j + u**2. Let q be m(0). Solve 0*a - q*a = 12 for a.
-4
Let w(t) = -33*t. Let r be w(-1). Suppose 4*y - r = -5*x, -4*x - 3*y = 2*y - 30. Solve -x*k + 9 = -6 for k.
3
Let q be (-24)/32*4/(-6)*0. Solve -2*k - 6 = -q for k.
-3
Let d(y) = -4*y + 1. Let u be d(-1). Suppose 0 = -3*h + u + 7. Let v = 2 - 0. Solve h*j + v = -2 for j.
-1
Let f(c) = -4 + 2 + 2*c - 4*c - 1. Let n be f(-4). Solve -n*m + 25 = -0*m for m.
5
Suppose -3*q + 5*q - 2 = 0. Solve -m = -2*m + q for m.
1
Suppose 2*p + 20 = 4*r + 6*p, 4 = -2*r + 5*p. Let g = 6 - r. Suppose -128 = -5*n - 53. Solve 6*v = g*v - n for v.
-5
Let i be 48/27 - 4/(-18). Suppose 4*o - 23 = i*o + b, 5*o - b - 50 = 0. Let c be o/15 - 54/(-10). Solve g - c*g = 5 for g.
-1
Let h = -5 - -11. Solve g - h = -g for g.
3
Let c be 3 - (-1)/(1 - 0). Suppose -3*x = -c*x + 5. Solve -x*d - 20 = -0 for d.
-4
Let z = -8 + 11. Let h(q) = -q**2 + 5*q - 2. Let o be h(3). Suppose -o*t = t. Solve t = -z*i + 5*i - 6 for i.
3
Let g be ((-96)/20)/((-3)/10). Let c = -9 - -6. Let l = 6 + c. Solve -g = w + l*w for w.
-4
Let q be 2/(-4)*1*-10. Let k = -5 + q. Let d = 0 + k. Solve -5*m + 3 + 12 = d for m.
3
Let s = 10 + -6. Let d be (-1)/s*(4 + 0). Let v be (-1)/d + 1/(-1). Solve v = -q + 6*q for q.
0
Let g(h) be the first derivative of h**3/3 + 4*h**2 - 3*h - 1. Let d be g(-9). Solve 3*b + 3 = d*b for b.
1
Suppose -k + 0*f = 3*f + 11, -2*f = 3*k - 2. Let y be k/(-10) + (-51)/(-15). Solve 8 = -z + y for z.
-5
Let m = -5 - -9. Suppose -3*j - 2*n + 5 = -2*j, m = j + n. Solve j*i = i for i.
0
Suppose 4*t = -l + 16, 2*t - 20 = -3*t - l. Let p = -50 - -57. Solve 23 - p = t*i for i.
4
Let q(v) = v. Let z(x) = 3*x + 6. Let a(y) = -16*y - 30. Let c(s) = 2*a(s) + 11*z(s). Let i be c(-6). Let p be q(i). Solve -4*f + p = 8 for f.
-2
Let u(g) = 4*g**2 + g - 3. Let z(f) = -f**2 + 1. Let v(s) = u(s) + 3*z(s). Suppose 4*c - 5*c = 2. Let a be v(c). Solve -2*k + k = a for k.
-2
Let q be 8/(-24) + 25/3. Let y = 12 - q. Solve -5*a = -y*a - 4 for a.
4
Suppose -4 = -2*m, -4*m = -2*b - 0*b. Solve 0 = b*o - 2*o + 10 for o.
-5
Suppose -h = -4*a - 14, 2*a + 9 + 7 = 5*h. Suppose -4*l + 5*c + 15 = 0, h*l + 3 + 0 = -c. Solve -q + l*q + 2 = 0 for q.
2
Suppose 3*u - 2*q + 2 = 2*u, 0 = -3*u + 5*q - 5. Solve u = 3*g - 5*g for g.
0
Let y = -24 + 26. Solve f + y*f + 9 = 0 for f.
-3
Suppose 2*k = -0*k - 12. Let u be (k/(-10))/(1/5). Solve 16 = -u*t - t for t.
-4
Let w be 0/(-1) + -8 + 12. Solve 0 = -w*u + 12 - 4 for u.
2
Let l be 4/(-14) - (-9)/7. Let n(x) = -x. Let a(i) = -i - 1. Let c(t) = a(t) - 2*n(t). Let j be c(l). Solve f + j = 2 for f.
2
Let a be 48/9 + (-2)/6. Suppose -5*d = -4*d - a. Solve -11 - 9 = d*f for f.
-4
Suppose 2*u - 336 = -u. Let r be ((-64)/u)/((-2)/7). Solve 0 = 7*d - r*d + 15 for d.
-3
Let s(w) = w**2 + w - 1. Let f(y) = -2*y**2 - 6*y + 3. Let m(r) = f(r) + 3*s(r). Let v be m(4). Suppose 0*g + n - 12 = -v*g, 2*g = n. Solve g*p = p for p.
0
Let o = -6 - -8. Suppose o*n - 3*n = -1. Solve -6 = 5*j - n for j.
-1
Let k = 53 + -49. Solve -3*d + k*d = -1 for d.
-1
Suppose 220 = -0*t + 4*t. Suppose -3*s + 8*s = -t. Let m = 21 + s. Solve -m = y - 6*y for y.
2
Suppose 135 - 131 = s. Solve -2*o + s*o = 4 for o.
2
Let w be -9 + 11 + 1 + 0. Solve 2*k - 7 = w for k.
5
Let u = -3 + 0. Let w = u - 1. Let q be (w - -1)*6/(-9). Solve 0*x + x = -q for x.
-2
Suppose -4*p + 3*m = -0*m, -3*p + 4*m = 0. Solve 3*y + 9 = -p for y.
-3
Let z be 5/2 - 3/(-2). Suppose -z*s - y + 4 = 0, -4*s = s + 5*y + 10. Solve 0*i = -s*i + 2 for i.
1
Suppose 0 = 4*w + m - 13, 6 + 3 = 2*w + 3*m. Let n = 4 - w. Solve -n + 2 = z for z.
1
Let p(t) = 2*t**2 + 2*t + 1. Let x be p(-2). Let j(s) = s + 2. Let y be j(14). Solve -d = -x*d - y for d.
-4
Suppose -2*h = 8, -5*r + 0*h = 3*h - 23. Solve 3*j = -r - 5 for j.
-4
Let x be 0/(-3 - 1 - (-10 + 8)). Solve -2*h - 2*h + 16 = x for h.
4
Let x be (-1)/4 - (-114)/8. Let a be 0/((-2 - -5) + -5). Solve -4*c - 6 - x = a for c.
-5
Let x(p) = -p - 1. Let m be x(-5). Let g = 2 + m. Let y be -1 - (0 - (-1 + g)). Solve 0*z + 16 = y*z for z.
4
Let o = 4 - -11. Let z be (-231)/(-45) - (308/60 - 5). Solve 2*j + z = o for j.
5
Let y(a) be the third derivative of -a**4/8 - a**3/3 + a**2. Let m be y(-4). Solve 5 + m = 5*u for u.
3
Suppose -38*l + 39*l = 2. Let n(x) = x + 4. Let g be n(-2). Suppose 0*w = -g*w. Solve 0 = -w*o - o - l for o.
-2
Let p be -2 + 0/(-4) - -4. Solve p*n + 2*n = 0 for n.
0
Suppose -s - 5 + 9 = 0. Solve -s*z - 5 = 3 for z.
-2
Let d(y) = 6*y. Let q(z) = -z. Let m(u) = d(u) + q(u). Let l be m(2). Solve -3*g - 2 - l = 0 for g.
-4
Suppose 3 = -4*l + 3*c, -2*c = -c - 1. Solve -4*j + j - 9 = l for j.
-3
Let u(q) = q**2 + 15*q + 17. Let z be u(-14). Suppose 4*g = -5*w + 21 + 6, 5*g = 5*w. Let r = g - z. Solve r*s + 20 = 5*s for s.
4
Suppose 0*i - 8 = -4*i. Suppose 0*f + 1 = 5*y + 3*f, 2*y + 4 = f. Let v be (0*(-2)/(-6))/y. Solve v = -6*r + i*r + 4 for r.
1
Suppose 5*b = -j + 5*j - 4, 4 = 4*b + 4*j. Solve b = -r + 2*r - 3 for r.
3
Let u(r) = -r**2 - 25*r + 90. Let c be u(-28). Solve 0 = -7*m + c*m + 2 for m.
2
Let t(y) = y - 4. Let b be ((-1)/(-2))/((-4)/24). Let s = 10 + b. Let x be t(s). Solve 0 = -x*l + 4*l for l.
0
Let b(s) be the third derivative of s**4/12 + s**3/6 - s**2. Suppose 4*q + 0 = 4. Let v be b(q). Solve 2 = -p + v for p.
1
Suppose 2*d - 35 = -9. Let v = -8 + d. Let j = 5 + -4. Solve -3*w = j + v for w.
-2
Let s(a) = -a + 3. Suppose -3*f - 12 = 0, -4*f - 16 = -0*p - 2*p. Let y be s(p). Solve 0 = l - y for l.
3
Let y be (46/(-14) + 3)*-7. Let t be (1 - y)/(6/(-90)). Let m be 87/t - 3/(-15). Solve m*x - 2*x = -16 for x.
-4
Let f(h) = -11*h - 19. Let r be f(-2). Solve 0 = -5*v + r*v - 10 for v.
-5
Let p = -22 - -29. Solve 4*m + 13 = -p for m.
-5
Let j = 36 + -32. Solve -j - 2 = -3*k for k.
2
Suppose 0 = -5*f + d, 4*d = 2*f + 3*d. Suppose 5*c - 5 = -2*k, 0 = -2*c + 2. Solve f = -5*x - k - 25 for x.
-5
Let y(n) = n**3 - 4*n**2 - 5*n + 7. Let o be y(5). Let v be (1 - 1) + -1 + 2. Suppose -o = -4*p + v. Solve -p = -q + 3 for q.
5
Suppose 4*b - 32 = -0*b. Let c = b + -4. Suppose 0 = -p - 5*t + 15, c*p - 2*t + 6*t - 28 = 0. Solve 2*u + p = u for u.
-5
Suppose -j - 2*j = 0. Solve -10 = -j*q + 5*q for q.
-2
Let s(z) = z**3 + 112. Let a be s(0). Let w be a/20 + (-6)/(-15). Solve w*f - 3*f = 0 for f.
0
Let l(r) = r**2 + 3*r - 8. Let f be l(-5). Solve f - 12 = -2*k for k.
5
Let w be (9/(-3) - -1)*-2. Suppose 3*k - 3*t + 24 = 5*k, 0 = -w*k - t + 28. Let n be (2/k)/(4/36). Solve n*b = -b for b.
0
Let f be (-2)/((-32)/(-18) - 2). Let g(r) = -6*r**2 - 3*r**2 + 0 + 2 + r**3. Let w be g(f). Solve -w*y - 15 = y for y.
-5
Let c(m) = m**2 - 7*m + 8. Let r(d) = -5*d**3 - d - 1. Let p be r(-1). Suppose -2*y = -4*a + 34, p*a - 3*y - 55 = 2*y. Let n be c(a). Solve n*z = -z for z.
0
Let z(l) = -2*l**3 + 7*l**2 - 5*l. Let n be z(2). Solve 8 = 5*o - n for o.
2
Suppose 2*f + 2*h = 4*h + 28, 0 = 4*f - 3*h - 55. Solve -4*n = -f - 3 for n.
4
Let m(z) = -z**2 - 4*z - 3. Let f be m(-2). Let c be 0/(5 + f + -4). Solve 7*n - 2*n = c for n.
0
Let r(u) = u + 14. Let b be r(-10). Solve -g + b = -0*g for g.
4
Let k be -1 - (-16 + 1)/5. Solve 4*m = k + 10 for m.
3
Suppose -12 = -3*c - 2*j + 5*j, 10 = -5*j. Solve -2*o = c*o + 12 for o.
-3
Suppose -2*k - 3 = -3*k. Suppose 0 = 2*h + k*h. Let i be 0/2*1 - h. Solve i = x - 2*x - 2 for x.
-2
Suppose 0 = 7*o - 108 + 38. Solve -b + o = -6*b for b.
-2
Suppose -20 = -2*h - 4*x, -x = 4*h - 11 - 8. Solve -h*b - 4 = 12 for b.
-4
Let f(b) = -b**2 + 3*b. Let v be f(-3). Let l = v - -22. Solve -l = -5*t + t for t.
1
Let r = -6 - -5. Let a(b) = -4*b**3 - 2*b**2 + 1. Let x be a(r). Solve -v + x*v - 2 = 0 for v.
1
Suppose 2*u + 2 = 6. Suppose -4*r + 3*b - u*b = 1, -r - 5*b = -26. Suppose -2*m + 4*f - 8 = 0, 3*f = -2*m - r + 28. Solve -d + m*d = 0 for d.
0
Suppose -4 = 2*k - 4*k. Let c = -31 + 36. Suppose y - 5*z = k*y - 30, 3*z + 66 = c*y. Solve y = -3*n + 6*n for n.
5
Let s = -110 - -114. Solve s - 19 = -3*a for a.
5
Let r = 7 - 3. Suppose 21 = 3*b + b + j, 4*b + r*j = 36. Solve b*f = -0*f for f.
0
Let y = -7 + 7. Suppose 0*m - m + 2 = y. Let v(t) = t**3 