-b = -0*b - p for b.
2
Suppose 3*y = -4*s - 4, -2*y - 5*s = -s + 8. Suppose 14 = 5*j + y. Solve -h = j*h for h.
0
Let i(a) = 3*a**2 - 3*a**2 - 18 + 17 + 2*a**2. Let t be i(2). Suppose -9 = 2*f + t*x - 2*x, 2*x + 2 = -f. Solve y - f = -3*y for y.
2
Let j(l) = l**3 - 8*l**2 + 8*l - 10. Let o be j(7). Let b be 2/3 + (-1)/o. Suppose -b = -2*a + 15. Solve -k - a = k for k.
-4
Suppose w = -24 + 27. Solve -w*j + 2 = 17 for j.
-5
Let r(j) = 2*j**2 + 3*j + 3. Let y be r(-2). Suppose p + 4*n = -4, 3*p - y*n = -0*n - 12. Let s = -3 - p. Solve -14 = 3*a + s for a.
-5
Let x be (0 + (-4)/8)*0. Solve -2*d - 8 = -x*d for d.
-4
Let u(v) = -v + 2. Let i be u(2). Solve i = n + 3*n - 16 for n.
4
Let x(z) = z**2 + 5*z + 6. Let a be x(-4). Let m = 2 + -5. Let n = m - -5. Solve n*w - a = -4 for w.
-1
Let h = 10 - 6. Let y = 8 + h. Solve -6*n + 3*n = -y for n.
4
Suppose -3*b + 0*b = 2*u - 4, 2*u = -b + 4. Solve 0 = -u*a + a - 4 for a.
-4
Suppose 0 = -f + 5*z, 5*f - 30 = -7*z + 2*z. Solve -40 = f*w - 15 for w.
-5
Let d(h) be the third derivative of h**5/30 + h**3/6 - 5*h**2. Let y be d(-1). Solve -a - y = -2 for a.
-1
Let b(q) = -q**2 - 1. Let z be b(-2). Let a = z + 16. Suppose 3*k + 3*s - 24 = 0, 5*k - a + 1 = s. Solve -f + 2*f = -k for f.
-3
Let b be (-3)/2*32/(-12). Suppose -5*k + 3*o + 17 = 0, b*k - o = 3 + 5. Solve -h - 3 = -k for h.
-2
Suppose 27*j = 31*j + 20. Let i(q) = -q**2 + 7*q**2 - 5 + 4*q + q**3 + 3. Let h be i(j). Solve h*z - 20 = -z for z.
5
Let i be (-48)/(-40)*(-5)/(-2). Suppose 5*b + i*n - 24 = 0, 0 = 5*b - n + 3 - 15. Solve 2*j = b*j - 3 for j.
3
Let g be 2*4 - (5 - 2). Suppose g*h + 2*l = 4*h - 7, -2*h + 2*l = -16. Solve n = -7 + h for n.
-4
Suppose 33 + 22 = 5*d. Suppose 5*w - 19 - d = -4*u, 0 = -w + 4*u - 18. Solve 0*o + 2*o = w for o.
1
Let c be 2*-1*(-3)/3. Suppose z = 4*u - z - 30, 0 = -u - c*z - 5. Suppose -u*k - 1 + 11 = 0. Solve k*r = -3 - 5 for r.
-4
Let q(r) = -2*r + 16. Let w be q(6). Solve -w*o = -8 - 12 for o.
5
Suppose 7*b - 40 = 2*b. Let g(t) = t**2 - 7*t - 6. Let i be g(b). Let z(o) = 2*o**3 + 2*o**2 - 2*o + 2. Let s be z(1). Solve 0 = i*q - 0 + s for q.
-2
Suppose -2*v = -v + 5*z - 35, 53 = v - 4*z. Suppose -4*l + 7*l = v. Solve -3*d = -0*d - l for d.
5
Let z = -15 - -17. Let k(x) = x**3 - 3*x**2 + 2*x + 2. Let l be k(z). Solve 4*p + l = -10 for p.
-3
Suppose 3*a = 3*l - 4*l - 9, -2*a = -4*l + 34. Solve -l + 0 = 2*o for o.
-3
Let w be 0 + 2*(-15)/(-10). Solve w*c = -c - 20 for c.
-5
Let x = -15 - -24. Let f be 66/3 - (-3 + 1). Suppose 3*b = -z + 5, -3*z + b - x + f = 0. Solve 0 = n - 2 + z for n.
-3
Suppose 4*g = 4, 2*s + 4*g - 21 = -g. Suppose s = 3*u - 1. Suppose -2*b = -u*b. Solve b = -0*v - 5*v for v.
0
Let q(j) = 3*j**2 - 2*j - 1. Let r be q(-1). Suppose -8 = -4*y + 3*m - 4*m, -24 = -r*y + 3*m. Solve -4*h - y = 13 for h.
-4
Let o(b) = b**2 - 8*b + 10. Let c be o(7). Suppose -3*z + 18 - 6 = -4*l, -15 = -2*z + 5*l. Let q = 0 - z. Solve -4*a + 1 + c = q for a.
1
Let o(a) = a - 3. Let q be o(8). Suppose 1 = 3*x - 2*m - 10, 3*x + q*m + 17 = 0. Let b be 16 - x - (-3 - -3). Solve 0 = -4*n - n - b for n.
-3
Let k(z) be the third derivative of -z**4/24 - z**3 + z**2. Let n be k(-9). Let i = -3 + 11. Solve -i*x + 10 = -n*x for x.
2
Let y(d) = d + 11. Let q be y(-5). Let g(z) = 0 + 7*z + q - 4. Let n be g(2). Solve -n = -0*a - 4*a for a.
4
Let s = -3 + 5. Let y be (-40)/(-12) + s/3. Solve -y*l = l - 10 for l.
2
Suppose 2*t + 4*k - 60 = 9*k, -4*k = t - 17. Solve -4*a - t = a for a.
-5
Let r(l) = -1 - 1 + 3 - l. Let i be r(3). Let f be (-3)/i*16/12. Solve c = -0*c - f for c.
-2
Let y(d) be the first derivative of d**4/4 - 2*d**3 + 5*d**2/2 + 5*d + 6. Let m be y(5). Solve -2*s = -3*s - m for s.
-5
Let j = -13 - -14. Solve 0 = -d + j - 6 for d.
-5
Suppose 14*f - 158 + 18 = 0. Solve 3*h = 8*h + f for h.
-2
Let o(y) = -6*y - 12*y + 15 + 5*y + y**2. Let u be o(12). Solve 6*c - u*c = -6 for c.
-2
Let u = -12 - -20. Suppose -u = 3*i - 7*i. Solve i*x - 3*x = 0 for x.
0
Let q = -1 + 5. Suppose -a = q*a - 15. Solve 1 - a = 2*f for f.
-1
Suppose -1 = -g + 1. Suppose -v + g*v = 0. Solve -3*a + a = v for a.
0
Suppose 5*t + c + 3 = -74, -2*t - 35 = -c. Let q = t + 28. Suppose 4*u - 16 = -2*l - 2*l, l - 13 = -4*u. Solve q = z + u*z for z.
3
Let j be 72/5 - (-4)/(-10). Let v = j - 10. Solve -v*q = q + 25 for q.
-5
Suppose 0 = -4*u - 3*f + 27 - 9, 4*u - 4*f = 4. Solve d = u*d + 10 for d.
-5
Let c = -17 - -20. Let l = -18 + 30. Solve w - l = -c*w for w.
3
Let r be (-2)/9 - 114/(-27). Solve 2*m = r*m - 2 for m.
1
Let i be 10/(-15)*(-3)/2. Suppose 2*a = 9 - i. Let g = -1 - -3. Solve 0 = -g*v + a*v for v.
0
Let s = -75 + 78. Solve s = -5*z + 2*z for z.
-1
Let l be (-10)/4*4/(-5). Suppose 5*u - l*w = 10, u + w = -w - 10. Solve u = -0*k + k + 4 for k.
-4
Let r = -6 - -4. Let p be 1*3 - r/1. Solve -p*n - 4 = -29 for n.
5
Let m = -7 - -7. Suppose -r - 3*r + 20 = m. Solve 0 = 4*i - r*i + 5 for i.
5
Let t(w) = 5*w. Let s(a) = -6*a. Let m(n) = -4*s(n) - 5*t(n). Let p be m(-3). Let d = p + 0. Solve d*x - 4 = 5 for x.
3
Let p be (-4)/(-3)*(-18)/(-12). Suppose -4 = p*k - 3*k. Solve m = -k*m for m.
0
Let f(g) = g**2 - g - 5. Suppose -u = l - 7, -4*u + 3*l = -0*l - 14. Let s be f(u). Let x be (-72)/s*10/(-3). Solve -3*q + 7*q = -x for q.
-4
Suppose -4*p - 7 + 11 = 0. Let t be p - (0/(-2) + -1). Solve -t*l + 7*l + 20 = 0 for l.
-4
Suppose 4*a + 4*g + 24 = 0, 0 = -2*a - 5*g + g - 2. Let v(b) = -b - 8. Let z be v(a). Solve 0 = -2*i + i + z for i.
3
Let h = 9 + -4. Suppose -4*o + 19 = 3, -s - 5*o + 23 = 0. Suppose 0 = h*z + 5*q - 5, -5*z = -s*q - q - 5. Solve -n = -z + 4 for n.
-3
Let i(k) = -k**3 - 6*k**2 + 8*k + 10. Let q be (-102)/14 + 8/28. Let g be i(q). Solve g - 5 = -2*h for h.
1
Suppose -f - 2*l + 0*l = -9, -3*l = -5*f + 6. Let t = -344 + 344. Solve -f*i + 2 + 13 = t for i.
5
Suppose -l + 11 = -3. Suppose 7*h - 7 = -0*h. Solve -h = -5*b + l for b.
3
Let w(i) = 2*i - 1. Let f be w(4). Solve -2 + f = -k for k.
-5
Let h(o) = -2*o**2 - 12*o - 2. Let q(n) = 4*n**2 + 23*n + 4. Let z(a) = 5*h(a) + 3*q(a). Let d be 6/(-15) + 28/(-5). Let i be z(d). Solve 4*t + 0*t = i for t.
5
Let r = -14 + 14. Solve -2*c + r*c = 0 for c.
0
Suppose -r = -3*r - 8, 5*n + 39 = 4*r. Let c = -9 - n. Solve w = -w - c for w.
-1
Let u = 17 + -8. Suppose u = -3*t + 24. Solve t*b - b = -12 for b.
-3
Suppose -5*s = -4*y - 94, -2*y + y + 5*s - 16 = 0. Let v be (-204)/y - (-6)/39. Let n = -6 + v. Solve -5*c = -n*c + 6 for c.
-2
Suppose k - 6 = -1. Solve -2*r + 3 + k = 0 for r.
4
Let f be (-2)/6*(6 + 3). Let v(m) = -m**3 - 2*m**2 + 2*m + 2. Let x be v(f). Solve 0 = x*t - 14 - 1 for t.
3
Let z(o) = -o**2 - 9*o - 12. Let u be z(-7). Solve -q + u*q = 0 for q.
0
Let z be 55/22*4/5. Solve -7*q = -z*q - 20 for q.
4
Suppose -3*y + 0*y + 138 = 0. Let s(l) = l**2 + 3*l - 1. Let h be s(-4). Suppose 0*g = -h*g - 4*k + 52, 0 = -3*g + 2*k + y. Solve r - g = -3*r for r.
4
Suppose -3*n = 2*p + 39, -2*p + 6*p = -n - 83. Let t be (-3)/9 + p/(-9). Solve -q = -t*q + 5 for q.
5
Let v = 3 + 4. Let f = v + 3. Solve -b + f = -3*b for b.
-5
Let d = 8 + -6. Solve 0 = 5*m - 8 - d for m.
2
Suppose 5*n - 13 + 3 = 0. Solve -n*t + t = 5 for t.
-5
Let a = -12 + 9. Let u be 0*(0 + a/(-6)). Solve u = 3*w - 6*w + 12 for w.
4
Let v be (-4)/(-18) - (-10)/(-45). Solve v = -2*j + 5 - 3 for j.
1
Let a(w) = w + 1. Let j be a(4). Suppose -2*p + 8 = -j*c, 5*p + c - 21 = -1. Solve p*o - 4 = 5*o for o.
-4
Let v be 6/3*33/6. Suppose -4*a + 20 = 0, 3*r = -a + 6 + v. Solve 5*c - 6 = r for c.
2
Let j(y) = y**3 + 22*y**2 + 23*y + 46. Let m be j(-21). Solve -m*g = -2*g for g.
0
Let k = -4 + 10. Solve 3*n = n - k for n.
-3
Let l = -8 - -12. Suppose x = 5*v - 3*x + 1, 0 = -3*v - 3*x + 21. Solve l*c + 15 = v for c.
-3
Suppose 5*b + j - 6 - 2 = 0, 5*b + 5*j = 0. Suppose 0 = -3*y + 6*y + b*k - 2, -11 = -4*y - k. Solve -6 = -y*i + 14 for i.
5
Let d(a) = -a - 8. Let s be d(-8). Suppose -y = -s*y. Let k = 0 + 0. Solve 3*n - 3 + y = k for n.
1
Suppose -o + 2 + 23 = 0. Solve -h - 4*h = -o for h.
5
Let y(g) = -7*g**2 + 16*g**3 - 17*g**3 - 5 - g + 3. Let v be y(-7). Solve -2*i + v - 13 = 0 for i.
-4
Let f(t) = t + 23. Let w be f(-18). Solve -w*l + 9 = -1 for l.
2
Let m = 1 + -21. Let o = m + 28. Suppose 0 = 98*n - 95*n - 9. Solve a + o = -n*a for a.
-2
Let s(b