0*c = -c - h. Let q be c/((-48)/(-20))*-3. Solve 2*f - 1 = -q for f.
-2
Suppose -4*t - 2 + 14 = 0. Let o be -172 + -6*4/32*4. Let u = 187 + o. Solve -t*a + u = 3 for a.
3
Suppose 0 = -3*s + 2*a + 26, -2*s + 3 = -a - 15. Let j = 10 - s. Solve j*c = 2*c - 6 for c.
3
Let p = -19 - -30. Suppose p*j = 8*j + 6. Solve -3*k - j*k = 20 for k.
-4
Let j(f) = 2*f**2 + 10*f + 2. Let i be j(-7). Suppose -r = r - i. Suppose -x + 8 = 2*q - 5*q, 2*x - 5*q = r. Solve -x*c + 4 = -6 for c.
2
Let a(l) = -l**2 + 9*l - 16. Let g be a(3). Let k(n) = n**3 + 9*n**2 + 7*n - 5. Let s be k(-8). Solve g - 8 = s*q for q.
-2
Let r(b) = -b**3 - 7*b**2 + 5*b - 9. Let p be r(-8). Let j = -11 + p. Solve j*s = -10 + 30 for s.
5
Let w(i) = -16*i**2 + 30*i - 11. Let y(z) = 3*z**2 - 6*z + 2. Let n(p) = -2*w(p) - 11*y(p). Let a be n(6). Let h be a/7*(-1)/2. Solve 0*r + 4*r = h for r.
0
Suppose -3*b = -2*f - 0*f - 65, 3*f + 105 = 3*b. Let i = 44 + f. Solve s + 5 - i = 0 for s.
-1
Let b be ((-64)/48)/(4/(-6)). Suppose z - 5 = -2*r, 3*r - b*z - 12 = z. Solve 7 = -h + r for h.
-4
Let a(u) = 2*u - 16. Let c be a(9). Solve -2*k + c = 6 for k.
-2
Suppose -2*t - 2 = 2*g, -2*t - g = -2 - 1. Suppose -2*u = t*j + j, 4*j - 4*u = -28. Let s = j - -7. Solve -2 = p - s for p.
3
Suppose 0 = k + 2*r, 0 = -r - 4*r - 5. Suppose -k*p - 2*p = -3*p. Solve 0 = -p*u - u for u.
0
Let s = 2516 + -2476. Solve -7*l = -s*l + 132 for l.
4
Let t be 6 - 3/((-3)/(-4)). Solve -q = t*q + 15 for q.
-5
Let f = -35 - -42. Let g(c) = 2*c**2 + 2*c + 2. Let m be g(-4). Suppose -s = -4*j - 4*s + m, 0 = j + s - f. Solve -2*q = -j - 1 for q.
3
Let c = -12 + 17. Suppose c*v - 4*q - 660 = 0, -v + 528 = 3*v - q. Let n be 504/v + 4/22. Solve n*d = 2*d - 4 for d.
-2
Let y be 62/8 + 20/80. Solve 0*x - 2*x + y = 0 for x.
4
Let r(a) = 3*a - 94. Let h be r(32). Solve -h*l = -l + 2 for l.
-2
Suppose -34*m + 2*g = -41*m + 419, 0 = 4*m - g - 248. Solve m*q - 6 = 58*q for q.
2
Let h = 2 - 0. Suppose -n + 1 = -h. Let s be ((-2)/5)/(15/150) + 4. Solve 2*j + n*j - 5 = s for j.
1
Let d(l) = l**2 + 8*l + 4. Let j be d(-8). Suppose 5*y - 15 = 0, 5*i = 3*i - j*y + 30. Solve -4*h = -3 - i for h.
3
Suppose 0 = -17*f - 53*f + 280. Let r(j) = j**3 - j**2 - 2*j. Let m be r(2). Solve m*n = -n - f for n.
-4
Suppose -3*b + 45 = -3*p, -b - 4*p = b. Suppose -4*y = -2*a - b, 4*y - 20 = -2*a + 2. Solve -4*d + 16 = -y for d.
5
Suppose -3*d + 4*l = -25, 4*d = d + 5*l + 29. Suppose w + 2*r - d = -r, 4*w = -3*r + 12. Solve -w*b + 0 - 6 = 0 for b.
-2
Let d be (-14)/((1 + 0)/1). Let l = 14 + d. Solve l = -z - 0*z - 4 for z.
-4
Let k be (1/1)/((-57)/(-27) + -2). Solve 3*t = -k - 3 for t.
-4
Let d = 12 + -28. Let c be (d/(-12))/2*6. Let t = c - -6. Solve t = 4*k - 2 for k.
3
Let i(c) be the first derivative of -3*c**4/4 + 2*c**3/3 + c**2/2 + 26. Let d be i(-1). Solve -d + 0 = 4*o for o.
-1
Let p be ((-1)/(-1))/((-10)/(-50)). Suppose 3*q + 0 = a + 36, -5*q + p*a = -70. Solve -4 = -3*i + q for i.
5
Let h(i) = i**2 + 7*i + 2. Let w be h(-7). Let z(j) = j + 2. Let b be z(6). Let g = 15 - b. Solve 0 = l + g - w for l.
-5
Let f be (-4)/(-12)*21 + -3. Suppose 4*x - 9 = -m, m + 1 = 3*x - f. Solve w + 0*w = m for w.
1
Let j be (2 + -3)*1*-3. Solve 26*c - j = 23*c for c.
1
Let z(a) = -a**3 + 14*a**2 + 14*a + 3. Let r be z(15). Let v be -1*0*(-4)/r. Solve v = d - 4*d for d.
0
Let u(d) be the third derivative of d**5/60 + 7*d**4/12 - 35*d**3/3 - 2*d**2 + 2. Let s be u(-18). Suppose -22 - 2 = -3*x. Solve 0 = -s*g - x for g.
-4
Let k(f) be the third derivative of f**5/60 - f**4/8 + f**3/2 - 7*f**2. Let r be k(3). Solve -r*o = -7*o + 4 for o.
1
Let t = -26 - -31. Suppose -t*x = 0, x + 4*x = -5*r + 15. Solve 0 = o + r for o.
-3
Suppose -84*k = -503 - 421. Solve 5*h + 11 = k for h.
0
Let y = 41 - 30. Suppose -y + 1 = -v. Solve -3*r - 1 = -v for r.
3
Let s(c) = 10*c - 44. Let i be s(5). Solve i = 5*u + 11 for u.
-1
Let t = 293 - 287. Solve t*l - 4*l = -10 for l.
-5
Let s(t) = 15 + t**3 - 14*t**2 + 8*t**2 + 8*t**2. Let x be s(0). Suppose 13 = 4*l - y, 2*y = -y - x. Solve -10 = 3*q + l*q for q.
-2
Let f(w) = 2*w**2 - 5*w - 14. Suppose 25 - 17 = -4*o. Let v be f(o). Solve 24 - v = -5*g for g.
-4
Suppose 20*b - 104 = 76. Solve -14*s = -b*s for s.
0
Suppose -713*o = -709*o - 12. Suppose 4 = r + r. Let f be r/(-4)*-4 - 1. Solve -4*q = o + f for q.
-1
Let a = -90 - -96. Solve -3*f - a = -f for f.
-3
Suppose 4*n - 20 - 1 = -3*k, 5*n = 4*k + 3. Suppose 4*m + 4*l = 4 + 8, -k*l + 7 = 2*m. Solve -2*b = m*b + 8 for b.
-2
Let w(v) = -v**2 + 6*v. Suppose 27 = 4*q + s, 2*q - s = -2*s + 15. Let z be w(q). Suppose 48 = 8*j + 40. Solve -u = -z*u - j for u.
1
Let i = -14 - -24. Let g = -33 + 48. Let m = g - i. Solve 0 = m*z - 14 + 34 for z.
-4
Let n = 34 - -32. Let r = n + -56. Solve 2 + r = -3*x for x.
-4
Let r(d) = d + 3. Let v be (-1 - (-7 - -3)) + -14. Let y(k) = -6*k - 14. Let m(a) = v*r(a) - 2*y(a). Let q be m(8). Solve -q*w + 15 = -0*w for w.
5
Suppose -2*l = 3*v - 14, -5*l + 8 = 2*v - 5. Suppose -3*u - 3 - 6 = 0, -v*u = 5*h - 38. Solve 5 = -5*n - h for n.
-3
Let d = -39 - -48. Let y = -1 + d. Solve -4*k + 12 + y = 0 for k.
5
Let p(i) = i + 14. Let m be p(-9). Suppose 5*t = 2*v + 2*t - 4, 12 = 4*v - 4*t. Let k = v - m. Solve k - 4 = -2*u for u.
2
Suppose -5*d + 34 = 2*i, -6*i = 3*d - 2*i - 12. Let v(f) = f - 3. Let z be v(7). Solve z*n - d*n = 20 for n.
-5
Let l(h) = 28*h**3 - h. Let z be l(-1). Let k = z - -29. Solve 0 = 7*s - k*s for s.
0
Suppose -6 = 7*q - 6*q. Let h be (q - -3 - -2) + 1. Suppose -3*g - 2*g + 15 = h. Solve 10 + 5 = g*l for l.
5
Suppose 2*l + 2*l = -a + 13, 0 = a - 1. Suppose -l*s = -3*p - 12, s = -3*s - p + 16. Solve n + s = 2 for n.
-2
Suppose 3*a - 3*b = 0, 4*a - 7 = -3*b + 7. Suppose -a = -o + 1. Let k be 3*(-1)/((-12)/8). Solve j + o = -k for j.
-5
Suppose -d - 26 = c, -4*c - 144 = 5*d - 10. Let l = d - -33. Let z = -21 - -21. Solve z = 2*r - l*r - 5 for r.
-5
Let t be 1/1 - (2 + -3). Suppose -5*k = -t*k. Suppose -5*j + 5*o = -15, 0 = -o - 30 + 29. Solve 5*c - j*c - 3 = k for c.
1
Suppose 4*n = -3*k + 21, -8*k + 15 = -3*k. Solve n*j - 45 = 12*j for j.
-5
Let p = 27 + -24. Suppose 0*u = 2*u - 2*y - 10, 0 = p*u - 5*y - 25. Solve 4*b + b + 5 = u for b.
-1
Suppose -5*l + 3*o = -14, 4*l + 0*o = -3*o + 22. Solve -l*h = 4 + 4 for h.
-2
Suppose -l = -3, -7*q = -3*q + 2*l - 14. Let p(v) be the third derivative of -v**4/24 - 2*v**3/3 + 12*v**2. Let r be p(-6). Solve q = g - r for g.
4
Let n(u) = 5*u - 169. Let p be n(37). Solve 0*b = -4*b - p for b.
-4
Suppose 7*z + 3*c = 9*z - 9, 3*c + 3 = 0. Suppose -z*h = 5*v - 0 + 11, -3*h = 4*v + 7. Solve -h = -m - 1 for m.
2
Let p be (-2 - -6)*(-15)/(-12). Let r be (-2 + -1)*4/(-6). Suppose p*n + u = -r - 3, 2*n + u = -5. Solve 2*q = -n*q + 8 for q.
4
Suppose 0 = 4*t + 4*j, 5*t + 3*j - 1 - 3 = 0. Suppose -t*q - 1 = -4*q - 3*x, -5*x = 25. Suppose 5*y - 3*y = q. Solve 0 = -0*r - y*r for r.
0
Let j(p) = -10*p - 2. Let y(o) = -29*o - 7. Let v(f) = -17*j(f) + 6*y(f). Let q be v(10). Let z be ((-9)/27)/(2/q). Solve -k - z = k for k.
-4
Suppose 30*g - 24 = 26*g. Solve g*y = 7*y + 3 for y.
-3
Suppose t - 5 + 4 = 0. Suppose -p + 4 = -t. Solve -12 = -p*m + 2*m for m.
4
Suppose -368 = 10*l - 608. Solve 7*n = -n + l for n.
3
Let x be 5 + ((-6)/(-12)*-10 - 0). Solve x = -5*m + 5 - 10 for m.
-1
Let u(p) be the first derivative of p**4/4 + 5*p**3/3 - p**2 - 6*p + 9. Let l be u(-5). Solve 0 = -r - l*r for r.
0
Let c(x) = -13*x - 375. Let l be c(-35). Solve 3*v = 19*v + l for v.
-5
Let y be 4 + (-1 + 5 + -5)/(-1). Solve -1 = -i - y for i.
-4
Let v(z) = 53*z + 825. Let x be v(-15). Solve -26*a - x = 4*a for a.
-1
Suppose 71*q - 285 = 14*q. Solve -11*v + q = 49 for v.
-4
Let q = 559 + -555. Solve -q = -j + 5*j for j.
-1
Let t = 1565 - 1527. Solve -10 = -7*d - t for d.
-4
Let r = -31 + 30. Let p(d) = 2*d + 4. Let u be p(r). Solve u*q - 3*q = -4 for q.
4
Let w = 113 + -113. Let v = 5 + -2. Solve w = -v*l + 14 - 2 for l.
4
Suppose -3*z + 2*v + 82 = 0, z + 5*v - 39 - 11 = 0. Solve -26 = 2*m - z for m.
2
Let u be -3 + 7 + -5 + 4. Solve -b = u*b for b.
0
Suppose -b + 3*t - 4*t = -125, 5*t + 20 = 0. Solve -4*j - 133 = -b for j.
-1
Suppose -2*v = 3*z - 191, -v - 2*v = 15. Let i = 68 - z. Solve -3*u - 14 = i for u.
-5
Let i be 6 - ((-2 - -3) + -4). Suppose 18 = -3*r