 b = n - -14. Solve -12 = -m - b*m for m.
4
Let w = 10 + -3. Let r(q) = 4*q - 13. Let i be r(4). Solve i*d = -w + 4 for d.
-1
Suppose -7*k + 17 - 17 = 0. Solve k*c = -3*c - 15 for c.
-5
Suppose 0 = 4*m - 52 - 12. Let b be (15/10)/(6/m). Solve -b*d - 4 - 4 = 0 for d.
-2
Let c = -30 + 50. Solve 5*w - w = c for w.
5
Suppose 0 = 4*k - 2*k. Suppose -2*c = -l - 2, 0 = -2*l - 4*c + 28. Solve k = -p + 4*p - l for p.
2
Let k = 4 - 2. Solve 7*a - k*a = -15 for a.
-3
Let z(t) = 2*t - 18. Let n be z(10). Solve -2 = -n*a + 6 for a.
4
Let t = 17 + -14. Solve -t*a = -0*a + 12 for a.
-4
Let p = -8 + 14. Suppose -p = -i - i. Solve 3*u = 6 + i for u.
3
Let w = 3 - -1. Suppose i = 2*g - 4 + 8, 2*g + w = 3*i. Solve i = m - 0*m - 3 for m.
3
Let z(u) = u**2 + 11*u + 25. Let s be z(-9). Solve -s*g + 25 = -12*g for g.
-5
Suppose -30 = -3*h + 2*o, 4*o + o - 10 = -h. Solve -6*a + a = h for a.
-2
Suppose -1 = y - 4. Suppose r + 0*r = y. Suppose -r*i + 2*i = 0. Solve i*m - m = -3 for m.
3
Suppose 0 = -4*p + 14 - 2. Suppose -2*a - 2 = -4*r, -2*a = -4*a + 3*r. Let w = a - p. Solve -3 = -w*d - d for d.
3
Let l(p) = -4*p**3 + p. Let a be l(-1). Suppose 0*u - u = -5*r + 2, 0 = -u - 5*r + 8. Suppose m + 2*m = 4*h + 5, -a*h = u*m - 12. Solve -5*g = m + 22 for g.
-5
Let d be ((-10)/3)/(2/(-45)*5). Solve 3*x - d = -2*x for x.
3
Let l be (-4 - -16) + 4 + -1. Solve 3*g = -l - 0 for g.
-5
Let h(j) = -j**2. Let r(i) = -6*i**2 + 12*i - 11. Let k(n) = 5*h(n) - r(n). Let z be k(11). Suppose z = 3*v + v - 28. Solve -5 = -4*u + v for u.
3
Let m(k) = 2*k + 2. Let p be m(1). Let g(u) = u**2 - 2*u - 4. Let r be g(p). Let a be 5*(-1 - 21/(-5)). Solve r*c + a = -0*c for c.
-4
Let s(h) = h**2 + 23*h**3 - 24*h**3 - 12*h**2 - 11*h. Let b be s(-10). Solve -3*n = 2*n - b for n.
2
Let r = -4 - 8. Let o be ((-1)/(-3))/((-1)/r). Suppose 5*u + 0*u = 40. Solve -4*x - u = o for x.
-3
Let o(f) = f + 2. Let z be o(7). Suppose 0 = 4*q - z*q + 10. Solve 2*w = -q*w for w.
0
Let a(d) = -7*d**3 + 7*d - 2*d**2 - 7*d + 1. Let i be a(-1). Solve 5*t = 21 - i for t.
3
Let y(b) = -b**3 - 7*b - 5 + 7*b**2 + 1 + 12. Let t be y(6). Solve -5*f - t = -17 for f.
3
Let h be (-1 - 0) + 7 + -9. Let o(g) = g**3 + 5*g**2 + 2*g + 2. Let s be o(h). Let d be (0 + -1 + 0)*-5. Solve d*j = s - 4 for j.
2
Let p(h) = 5*h - 3. Let z be p(2). Suppose z*o + 4 = 3*o. Let w be (6 - 4) + (o - -3). Solve -x - w = 1 for x.
-5
Suppose -15 + 36 = a + 4*u, -20 = 5*a - 5*u. Suppose 4*o + 4*b - 36 = 0, 2*b + 13 = 4*o + a. Solve 3*n = 2*n + o for n.
5
Let n be 9/(-12)*-4 - -4. Solve n*z + 5 = 6*z for z.
-5
Let k = -8 + 7. Let s = k + 1. Solve 3 = -3*w - s for w.
-1
Suppose 7*f - 2*f = 20. Solve -f = -0*m - m for m.
4
Let c(s) be the second derivative of s**5/60 + 3*s**4/8 + 4*s**3/3 + s**2/2 - s. Let n(u) be the first derivative of c(u). Let m be n(-8). Solve m*p = -p for p.
0
Let j be (-20)/(-6) + 6/9. Suppose 4*w + 12 = j*p, -w + 0*p + 5*p - 15 = 0. Solve w = c + 3*c for c.
0
Let k(c) = 3*c**2 + 3. Let m(p) = p**2 + 1. Let q(t) = 2*k(t) - 5*m(t). Let f be q(2). Let l be (-4)/(-2)*(0 + 2). Solve -f*b = 6 + l for b.
-2
Let w = -38 - -42. Solve -n - w = -3 for n.
-1
Let h be (8/10)/(2/5). Suppose -y = -2*o, -5*o = -0*o - 3*y + h. Solve -o = u - 0*u for u.
-2
Let z = 4 - 6. Let m be 0 + 3*(z + 3). Suppose m*u + 1 = 4*j, j + 3*j = 5*u - 9. Solve 4*v = u*v + 5 for v.
-5
Suppose -v + 3*o + 14 = 0, 0 = 2*v + o + 2*o - 46. Solve -2*m + v = 2*m for m.
5
Let p(j) = 4*j**2. Let g be p(-1). Let h(z) = -3*z**3 - z**2 + z + 1. Let n be h(-1). Solve -g*i - 6 = n for i.
-2
Let p be 0 + -3 + (-3)/3. Let w be p/(-6)*(-3 + 9). Solve r = w*r for r.
0
Let s(w) = w**2 + 6*w + 3. Let y be s(-5). Let d be (8/(-10))/(y/35). Solve -2*l - d + 4 = 0 for l.
-5
Suppose -9 = -4*h + h. Suppose -4*l - 2*v + 44 = 0, -11 = -h*l + v + 12. Let q(m) = -2*m - 5. Let n be q(-5). Solve 0 = 2*k - n*k + l for k.
3
Let h(j) = 6*j - 10. Let f be h(4). Suppose 0 = 4*q + 3*q - f. Solve 0 = 4*r - 2 - q for r.
1
Let h be 6/(-33) - (-328)/(-11). Let w = -13 - h. Suppose -5*r = -4*r + 4*b + w, -5*b = -3*r + 34. Solve y + 0*y = -r for y.
-3
Let z(q) = q**2 + q - 1. Let s be z(-2). Let f = 4 - s. Solve -f*x - 2 = -2*x for x.
-2
Let y(t) = -2*t. Let m be y(-1). Suppose 0 = 3*v + 11 - 71. Solve m*b = 6*b - v for b.
5
Suppose 2*b + 5*j - 5 = 0, 5*b - j - 1 = -2. Suppose 2*d + 3 = 3*p - 1, b = -3*d - 4*p + 28. Solve 0*t + d = -2*t for t.
-2
Let h(n) = 5*n**2 - n - 3. Let x be h(2). Suppose -o = 4*o - x. Solve c - 1 = -o for c.
-2
Suppose 3*s = s + 8. Suppose s = -0*z + 2*z. Solve -v + 1 = z for v.
-1
Suppose -5*r + 18 = -82. Let m = r - 18. Solve -m*u = -0*u + 4 for u.
-2
Let m be 1 - 1 - (3 + -4). Let a(j) be the first derivative of j**4/4 + 7*j**3/3 + 5*j**2/2 - 6*j - 4. Let z be a(-6). Solve 0 = -r + m - z for r.
1
Let a = -46 - -33. Let d = a + 14. Solve -2*v - d = 3 for v.
-2
Let v(t) = -t**2 + 6*t - 4. Let q be v(5). Let m be (22/6)/(2/6). Solve -2*s - m = -q for s.
-5
Suppose 3*g + 2*g = 3*g. Solve 2*w - 8 = -g*w for w.
4
Let q = -14 - -12. Let i be (-2)/(-11) + q/11. Solve i = 4*a + 13 + 3 for a.
-4
Let m be (12/9)/(2/3). Suppose -f = -2*f + m. Suppose 6 = t + f*t. Solve 7 = -t*h - 3 for h.
-5
Let v = 17 - -76. Suppose -l = 23 - v. Suppose 5*a - l = -2*m, -a - 68 = -5*a - 4*m. Solve -3*h + 0*h + a = 0 for h.
4
Let b be (-21)/(-15) + 2 + (-14)/35. Solve 0 = b*z - 2*z - 5 for z.
5
Let w be (3/(-2))/((-36)/336). Solve -4*b - w = 6 for b.
-5
Let x be 2/(-11) + 476/77. Solve -x*y = -2*y - 20 for y.
5
Suppose -1 = 4*h + 3*b, -b - 2 = 2*h + b. Suppose 0 = 2*y - 4*y. Solve 0 = -h*l - y + 10 for l.
5
Suppose -4*l + 13 + 39 = 0. Suppose 0 = -l*n + 8*n + 15. Solve -n*h - 2 = 1 for h.
-1
Let l = -20 + 23. Solve 4*g - l = 9 for g.
3
Suppose 0*l = 4*l + 24. Let s = 3 - l. Solve 0*z = 3*z - s for z.
3
Suppose u = -2 + 3. Suppose 3 = q + u. Suppose -5*g + 13 + q = 0. Solve g*z - 2*z = -2 for z.
-2
Let y be 7 - ((-1 - -3) + 0). Let a = y + -2. Let m(o) = 2*o - 28. Let l be m(14). Solve a*i + 0 + 3 = l for i.
-1
Suppose 4*f = 6*f - 4. Suppose -3 = t - 2, -4 = -3*y - f*t. Solve 6 = -s - y*s for s.
-2
Suppose -d - 2*o + 27 = 0, o = 3*d + 2*o - 56. Suppose 4*c - 4 = y, -5 + d = 4*c + y. Solve -h + c = -0 for h.
2
Let n(r) = -3*r + 36. Let a be n(12). Solve a = 2*h - h - 3 for h.
3
Suppose 3*u + 4 = 2*u. Let r(t) = -t - 2. Let c be r(u). Solve 0 = y + c for y.
-2
Let j be (5/(-10))/(2/(-8)). Solve -j*x = 2*x - 4 for x.
1
Let m be -3*(0 + (-8)/(-6)). Let o = 4 + m. Suppose o*q - 60 = -3*q. Solve 2*k = 7*k + q for k.
-4
Let p(t) = 2*t + 3. Let i be p(-3). Let b be i/12*2*0. Suppose b = -a + 4*a. Solve 0 = 2*s + 8 - a for s.
-4
Let n(s) = s**3 + 7*s**2 + 7*s + 6. Let g be n(-6). Suppose 3*c - 15 = -4*u, g*u - 3*u - 25 = -5*c. Solve 25 = c*k + 5 for k.
4
Let h(j) = -3*j - 4. Let c be h(-3). Suppose 0*n = -c*n + 10. Solve -5 = m - n for m.
-3
Suppose -8*c + 3*c = -35. Let h = c + -7. Solve h*t - 2 = 2*t for t.
-1
Let g be (-1)/3 - 21/(-9). Let w be (10/(-4))/((-1)/g). Solve w*m = 2*m + 3 for m.
1
Let z = 10 - 8. Suppose -5*x + z = -8. Solve -d - x*d - 12 = 0 for d.
-4
Let b(i) = -i**3 - 8*i**2 + i + 8. Let y be b(-8). Let z = 0 + 3. Let v = z - y. Solve -v*f - f = 0 for f.
0
Let v = -24 - -39. Solve 0 = 7*a - 2*a + v for a.
-3
Suppose -7*k = -2*k. Suppose k*b - b = 4*y - 15, 3*y - 8 = -4*b. Solve -2 - 18 = y*a for a.
-5
Let q be 445/30 + 3/18. Suppose -c - 4*k - q - 2 = 0, -5*c - 5*k = 10. Solve 3 = -3*a - c for a.
-2
Let p(o) = o**2 + 3*o + 3. Let c be p(-2). Let r be (c + 15/(-9))*-3. Solve 0 = -5*s + r*s for s.
0
Suppose 0 = -4*b + 6 + 2. Solve 3*w + b - 5 = 0 for w.
1
Let a(d) = 3*d + 1 + d + 0. Let r be a(1). Solve -w + 8 = -r*w for w.
-2
Suppose 2*i - 6*i - 5*j + 13 = 0, -i - 2*j + 4 = 0. Let h = i + -2. Solve h = 2*l + 3 + 5 for l.
-4
Let s be 6 + -2 + (-8)/(-4). Suppose v = -3 + s. Solve -v*i = 5 + 10 for i.
-5
Suppose -4*o = -5*n + 40, 0 = 4*o - 0*n - 2*n + 28. Let s = o + 11. Solve 2*p - s + 0 = 0 for p.
3
Suppose 0 = -0*q - 5*q + 4*l + 26, -4*q - 8 = 4*l. Suppose -q*p + 1 = -3. Solve 0 = 2*k + p*k + 4 for k.
-1
Let g be 4 + -4 - (-3)/1. Let l = 7 - g. Solve l = 2*q - 3*q for q.
-4
Let j = 45 + -45. Solve 2*r + j - 4 = 0 for r.
2
Let k = 31 + -28. Solve 9 = -k*c - 6 for c.
-5
Let c = -5 + 13. Let k be 3/6 + 