b - (-1)/4. Solve -p = p + u for p.
-5
Let r be 2 + (-4)/((-2)/2). Let s(q) = -q + 11. Let w be s(8). Let o be ((-4)/3)/(w/(-9)). Solve r*y + o = 2*y for y.
-1
Suppose 0*r + 90 = -5*r. Let z be 2/10 - r/10. Suppose 0*o = -z*o, 5*o + 18 = 3*c. Solve 4 = -5*b - c for b.
-2
Let v(g) = -5*g + g**2 + 3 + 13*g - g. Let t be v(-7). Solve 0 = -t*f + f - 2 for f.
-1
Let o = 22 + -20. Let w be (-1)/(0 - 1)*7. Solve -o + w = -r for r.
-5
Suppose -2*m - 9 + 3 = 2*j, 0 = -2*m + 4*j + 12. Let d(o) = 5*o + 33. Let g(w) = 3*w + 17. Let i(z) = 4*d(z) - 7*g(z). Let v be i(9). Solve -v*p + p = m for p.
0
Let z(p) = p - 1. Let j(g) = -g + 12. Let q(s) = 5*s - 1. Let i be q(2). Let t be j(i). Let c be z(t). Solve -c - 2 = d for d.
-4
Let f(z) = -6 + z**3 + 4*z**2 + 0*z**2 + 4*z - 2*z**3. Let x be f(4). Solve -5*t = -x*t - 25 for t.
-5
Let m(u) = -u**3 - 15*u**2 - 35*u + 34*u - 2 - 9. Let r be m(-15). Solve -z = -1 - r for z.
5
Let v be ((-4)/(-18) + 4/(-18))/2. Let s be -10*-2*(-1)/(-5). Solve s*y + 20 = -v*y for y.
-5
Suppose 3*o - 23 = -4*h + 30, 5*o - 93 = -2*h. Let c be (-4)/12 + o/3. Solve c*s = 3*s for s.
0
Let p = 25 - 3. Solve p = 5*l - 3 for l.
5
Let s(u) be the first derivative of -u**4/12 - u**3 + u**2/2 + 2. Let t(z) be the second derivative of s(z). Let q be t(-4). Solve -4*o - q = 18 for o.
-5
Let r be -4 + (-12)/((-3)/1). Suppose q + 60 = 4*q. Let u be q - 0/(4 - 2). Solve -4*d = -r*d + u for d.
-5
Let p(d) = -d**3 + 4*d**2. Let c = 4 + -1. Let o be (c/9)/(1/12). Let g be p(o). Solve 10*l - 5*l - 25 = g for l.
5
Let f = -5 - -10. Suppose 0*m + 30 = f*m. Solve -m*v - 6 = -3*v for v.
-2
Let a(o) = 68*o**2 - 2*o - 1. Let c be a(-1). Suppose -c = -5*g + 41. Suppose z - 4*d = g, 0*d + 23 = 4*z - 3*d. Solve 2*j - z - 8 = 0 for j.
5
Let b(f) = -f - 2. Let h(v) = -v - 9. Let u be h(-6). Let r be b(u). Let z = -1 + 7. Solve -c - z = -r for c.
-5
Let z = -17 + 17. Solve -v + 2 - 4 = z for v.
-2
Suppose -b = b - 6. Suppose -n + 0 = -b. Suppose -4 = -2*k + 2*j, -n*k - 3*j - 6 = -k. Solve t = -k*t + 1 for t.
1
Let b(r) = r**3 + 8*r**2 + 7*r + 3. Let q be b(-7). Suppose -3*p = 4*d + 4, 0*p + 10 = -q*d - 4*p. Solve -d*z = z + 15 for z.
-5
Let b(t) = t**3 + 4*t**2 + 2*t - 1. Let u be b(-2). Suppose 4*o - 12 + 4 = 0. Suppose s = -u*s - 5*n + 10, 0 = -o*s - 5*n + 10. Solve 6*a - 3*a = s for a.
0
Suppose 24 = 3*i - 5*i. Let o = i - -17. Solve -o*f - 25 = -0*f for f.
-5
Suppose 39*c = 44*c - 10. Solve 0*p + c*p = 0 for p.
0
Let u(s) = s**3 + 6*s**2 - 7*s + 5. Suppose -4*j + 15 = -y, 3*y - 4*j = -0*y - 29. Let n be u(y). Solve -o = -n*o - 4 for o.
-1
Let s(k) = 0*k - 7 + k - 5*k + k**2 + k. Let n be 2/(-7) - 37/(-7). Let l be s(n). Solve 0 = -l*b - b for b.
0
Suppose 2*p - 3 + 7 = -t, 5*p - 8 = 2*t. Let a = -35 + 40. Suppose -4*n + p*v = -a*v - 57, 5*v = 5*n - 65. Solve -n = 2*w - 2 for w.
-3
Let m(s) = s + 9. Let i be m(-4). Let r = -3 + 6. Solve -i = r*y + 4 for y.
-3
Let z(i) = -i**2 + 10*i + 16. Let b be z(11). Suppose 11 = -b*m + 56. Solve 3*y - m = 3 for y.
4
Suppose 0 = -3*d + 3, 2*d - 3 = -o + 1. Suppose 0 = 4*s - o*s. Suppose 0 = 2*z - 3*z + 5*k + 22, 5*z = -3*k + 54. Solve s = g + 3*g + z for g.
-3
Suppose 3*x + 12 = 6*x. Solve -3*a = -a + x for a.
-2
Suppose 4*g - 6 = -2*n + 10, -3*g + 5*n = 1. Suppose -7 = -2*f - 9. Let v be 2 + 0 - (1 + f). Solve -v*p + g = p for p.
1
Let u(s) = 5*s**2 - 3*s + 2. Let j be u(2). Let z = 22 - j. Solve k = -k + z for k.
3
Let o(f) = f**3 - 6*f**2 + 5*f - 2. Let z be o(5). Let m be z/4*(-3 + 3). Suppose -2*w + 3*w = m. Solve -s = -1 - w for s.
1
Let z(j) = j**3 - 9*j**2 + 8*j + 3. Let i be z(8). Suppose v + 2*m + 0*m + i = 0, v = 3*m + 22. Solve 2*d = v*d + 5 for d.
-1
Let b be 12/16 + 10/8. Let x be (-5)/(1 + b + -2). Let i be (24/30)/((-2)/x). Solve i*m - 2 = 2 for m.
2
Let q(o) be the third derivative of o**6/120 + o**5/10 + 4*o**3/3 - 2*o**2. Let l be q(-6). Solve -m - m = l for m.
-4
Let s = -6 - -6. Let d be (9 + s)*(-1)/(-3). Solve -4*p + d = 7 for p.
-1
Let s(a) = 3*a + 28. Let w(m) = m + 9. Let n(d) = 6*s(d) - 17*w(d). Let z be n(-5). Solve z = -2*k + 4*k for k.
5
Let o be (-2)/8 - 77/28. Let z(u) = -5*u + 3. Let w be z(o). Solve -3*s - w + 3 = 0 for s.
-5
Let w(m) = m + 10. Let i be w(-8). Solve 3*g + i = -4 for g.
-2
Suppose l - 5*m = -12, 0*l - 4*m = -2*l - 6. Solve -2*z - l*z - 5 = 0 for z.
-1
Let v(l) = -2 + 2 + l. Suppose 10 + 8 = 3*x. Let t be v(x). Solve -r = r + t for r.
-3
Suppose 2 = -p - 0*p + 4*f, -41 = -5*p + 3*f. Suppose -3*k + p = 2*k. Solve k*n + 1 = -7 for n.
-4
Suppose 4*v - 113 = -3*n, 3*v - 2*v = -4*n + 155. Suppose 0*h - 2*g = h - 10, -5*h = -g - n. Solve 4*p + 8 = -h for p.
-4
Let k(n) = n**3 - 10*n**2 + 9*n - 4. Let t be k(9). Let b be 5/(-1)*t/10. Let z be (-2 - -4) + 2/b. Solve -x = -z*x for x.
0
Suppose 8*b = 3*b + 225. Let o be 223/15 - (-6)/b. Solve o = 5*n - 0*n for n.
3
Let p be (3/2)/((-1)/(-10)). Let h be (p/(-2) + 2)*-2. Solve -4*o - h - 5 = 0 for o.
-4
Suppose 4*a + 0*a = 44. Suppose -2*y + a + 5 = 0. Solve 3*i - i - y = 0 for i.
4
Suppose 2*n = 4*n - 20. Solve 0*p - n = 2*p for p.
-5
Let p = -6 + 9. Solve -6*o = -p*o for o.
0
Suppose 0 = 4*v + 29 + 115. Let f be 34/6 - 1/(-3). Let z be (2/f)/((-3)/v). Solve 0*g - z*g - 20 = 0 for g.
-5
Suppose 2*n - 7*n + 2*v + 30 = 0, 7 = 3*n + v. Let r = n + -3. Solve 2 + r = -h for h.
-3
Suppose 1 = l - 4. Let a(n) = n**2 - 10*n - 3. Let x be a(11). Let g = x - l. Solve -4 = -k - g for k.
1
Let h(y) = -y**3 - 5*y**2 - 6*y. Let l be h(-4). Let n(j) = j**3 - 2 + j - l*j**2 - 3 + 1. Let v be n(8). Solve 9*x = v*x for x.
0
Let r be 2/11 - (-20)/11. Solve r*t + 1 + 5 = 0 for t.
-3
Let r(j) = -4*j**2 - 2*j - 1. Let i be r(-1). Let a be (i/9)/((-1)/3). Suppose -5*y + 31 = z, 2*y = 4*z - a + 9. Solve -b - 2*b - y = 0 for b.
-2
Let i = -8 - -1. Let q(g) = 2*g - 8. Let n(u) = 3*u - 15. Let x(o) = 6*n(o) - 10*q(o). Let t be x(i). Solve 15 + 1 = t*j for j.
4
Suppose 0 = -2*j - 4*j. Solve j = f + 2*f for f.
0
Let y be (-3 - -6 - 6)*-1. Solve 0 = y*k - 3 + 9 for k.
-2
Suppose -4*d + 147 = -d. Suppose t = -3*u + 25, -4*u - t + d - 15 = 0. Suppose 3*j - 21 = -3*r, -4*j - 2*r + 17 = -5. Solve -j*n - 10 = -u*n for n.
2
Let f = -1 + -1. Let t be (1/f - -1)*6. Let h be ((-20)/(-3))/(1/t). Solve 4*n + h = 4 for n.
-4
Let x(n) = -n**2 - 7*n. Let m be x(-5). Suppose -4*h + a = -m, 3*a - a = -5*h + 6. Solve v - h = -0 for v.
2
Let b be 9/(-270)*-6 - (-59)/5. Solve -5*c + b = -8 for c.
4
Suppose 78 = 5*y + x, 2*y = -x - 2*x + 39. Solve 2*h = -3*h - y for h.
-3
Suppose 4*o + o - 63 = 4*r, 82 = -5*r + 3*o. Let u = 33 + r. Solve 2*a = 6*a + u for a.
-4
Let f(b) = -b**3 + 7*b**2 - b - 2. Let g be f(7). Let z be (-61)/g - (-20)/90. Solve -3*o + z - 1 = 0 for o.
2
Let c be (-4)/(-14) + (-32)/14. Let t be (-1)/(-2)*c*3. Let i = 6 + t. Solve -i = -2*h + 5 for h.
4
Let h be (-4)/(-18) + (-68)/(-18). Suppose -h*g = -g. Solve g*j = 2*j + 10 for j.
-5
Suppose -8*a + 8*a - 3*a = 0. Solve a = 5*y - 3*y - 8 for y.
4
Let y be (-2 + 5/(-2))*-2. Suppose -3*p + 0*r = -4*r + 29, 4*p = -r - 26. Let o = 10 + p. Solve 0*l = o*l + y for l.
-3
Let t = 20 - 10. Solve 2*i + 0*i - t = 0 for i.
5
Let n(s) = -s**3 + 4*s**2 + 4*s + 5. Let f be n(5). Suppose -2*q + q = f. Solve q = u + u for u.
0
Let q(t) = -t**2 + 12*t - 6. Let p be q(11). Suppose -10 + p = -5*l. Solve 4*k = 5*k + l for k.
-1
Let v = 2 - -1. Let u(a) = 4*a - 4. Let b be u(v). Solve 3*c + c = b for c.
2
Let v(m) = 5*m + 0*m - 3*m - 7. Let d be v(6). Suppose d*s - 12 = 2*s. Solve -12 = s*p + 4 for p.
-4
Suppose 5 + 7 = 6*h. Solve h*p + 20 = -3*p for p.
-4
Suppose -2*f = 2, -2*w - f = -w - 4. Let p = 4 - 7. Let q = -3 - p. Solve -10 = -q*b - w*b for b.
2
Let h be (32/10 - 2)*20. Suppose -h = s - 5*z, -4*s - 2*z + 13 = -s. Solve -s + 3 = -q for q.
-2
Let c(t) = 4 + 6*t - 3 + 2*t - t**2. Let l be 26/3 + (-6)/9. Let h be c(l). Solve h = m - 3 for m.
4
Let l = -71 + 74. Solve 0 = -t + l for t.
3
Let i = -9 + 13. Suppose 0 = -o + 2 + 1. Suppose k = -0*m - o*m + 14, -k = 1. Solve i*v = -v - m for v.
-1
Suppose 3*i - 2 - 1 = 0. Suppose -q - i = 2*u, 2*u + 0*q - 4 = 4*q. Solve u*l - 5*l + 20 = 0 for l.
4
Let n be ((-2 - -8) + -24)*(-2)/4. Solve 1 = -5*g - n for g.
-2
Let k = -12 - -17. Solve 7 = k*p + 32 for p.
-5
Suppose 2*l - u + 7 + 12 = 