 be s(-22). Solve -3 - 1 = -b*c for c.
2
Let m(l) = l**2 - 7*l + 6. Let s be m(6). Suppose 0 = 2*r - 5*p + 2*p, 4*r + 5*p = s. Solve -2*j - 2*j - 16 = r for j.
-4
Let b be (0*4/24)/6. Solve -5*r + b = 5 for r.
-1
Suppose 14*h + 210 = 28*h. Solve -h*c + 11*c = 12 for c.
-3
Let u = -520 - -525. Solve -60*c + 59*c - u = 0 for c.
-5
Suppose 0 = -f + 12 + 7. Let h(l) be the third derivative of l**5/60 + l**4/6 - l**3 - 7*l**2. Let j be h(-6). Solve -f = 5*p + j for p.
-5
Suppose 8*w - 3*w = -3*u + 21, 5*w = -u - 3. Solve -11*x = -8*x + u for x.
-4
Let x be (-4)/(-14) - 17*10/595. Solve x = -4*u + 99 - 87 for u.
3
Suppose 7 = 3*r + 10. Let z be (-6)/2 - (r - 8). Suppose z*c = 3*c. Solve n + 3 = -c for n.
-3
Let l be 1/(1/(-4) + 238/728). Solve 12*g - l*g = 0 for g.
0
Suppose 432 = 6*m - 30. Suppose -m*d = -82*d + 10. Solve -d*c - 4 = 6 for c.
-5
Suppose 9 - 5 = 2*u. Solve u*y - 2 - 8 = 0 for y.
5
Suppose -26 = -2*h - 3*z, -3*h = z + 4*z - 41. Let x be (4/(-6))/((-22)/(-33)). Let u = h + x. Solve -12 = -u*q + 2*q for q.
3
Let h be (-21)/5 - 1/(-5). Let t = h - -4. Suppose u + 0*u - 7 = t. Solve -3 = -w - u for w.
-4
Suppose 3*s + 4*j = -62, 3*j = -s - 2*s - 63. Let p = 22 + s. Solve -2*c = -p*c - 4 for c.
2
Let n(p) = 2*p**2 - 76*p + 112. Let j be n(37). Solve 0 = -5*u - j + 28 for u.
-2
Let m be 1 - 5/(5/(-2)). Suppose -m*k + 4*k - 1 = 0. Let s be (-3)/1*-1 + k. Solve d - 12 = s*d for d.
-4
Let x(h) = 13*h - 11. Let t be x(2). Suppose -t = -5*a + 10. Solve 0 = 4*s - a + 1 for s.
1
Suppose 924*f - 920*f = 88. Solve 0 = f*i - 13*i + 36 for i.
-4
Let z be (-28)/77*11/(-2). Solve -z = -d - 0*d for d.
2
Let m(g) = -g**2 - 1. Let w be m(1). Let o = -3 + w. Let z = 2 - o. Solve 0 = 2*d + z - 1 for d.
-3
Let v = -19 + 19. Let d be (1 - 11)/(v + -2). Solve -d*w + 3 = -2*w for w.
1
Let r = -152 - -137. Let f = -9 - r. Solve 3*p - f*p = -15 for p.
5
Let s be -2 - (-325)/156 - 71/(-12). Let f(c) = 2*c - 3. Let i be f(4). Solve -21 = i*t - s for t.
-3
Let j(q) be the second derivative of -q**5/20 - 7*q**4/12 + 5*q**3/3 + 9*q**2 - 43*q. Let p be j(-8). Let x be 3*(5/3 - 1). Solve -x*o + p = -0*o for o.
1
Let m be (-1)/(-2)*(-136)/(2 - 4). Solve 0 = u - 18*u - m for u.
-2
Let b(f) = 2*f + 1. Let s be b(1). Let d be ((-7)/14)/((-1)/4). Solve -d*i = s*i + 15 for i.
-3
Let x(r) = 2*r - 32. Let k be x(16). Suppose -15 + k = -5*t. Solve -s + 5 = t for s.
2
Let h(l) = -l**3 - 7*l**2 - 4*l + 13. Let c be h(-6). Solve -3*j + 16 = c for j.
5
Suppose -4*q + 10 = -q + 4*x, 3*q = x + 5. Solve 0 = -q*z + 3*z for z.
0
Let n(j) = -j + 13. Let w be n(11). Let v = -12 + 17. Solve w = -a + v for a.
3
Let o(d) = 8*d + 4. Let x = 159 - 159. Let a be o(x). Solve 20 = 8*y - a*y for y.
5
Let k(g) = 5*g**2 - g - 1. Let x be k(-1). Let u(m) = 3 + x - m - m**2 - 6*m. Let c be u(-8). Solve 0 = 3*h - c*h - 9 for h.
3
Let j = -24 + 24. Suppose 52 = 4*z - j*z. Solve -1 + z = -4*n for n.
-3
Let u(p) be the third derivative of -p**6/360 - p**5/12 - 5*p**4/24 - p**2. Let i(j) be the second derivative of u(j). Let o be i(-11). Solve 5*l = l + o for l.
3
Suppose -3*t - 3*w - 55 = 50, -16 = 4*w. Let v be (-2)/(-11) + t*(-2)/22. Let r = 2 + 0. Solve 10 = r*x + v*x for x.
2
Suppose 3*k = k + 4*t + 20, 4*k - 28 = 4*t. Suppose k*q - 10 = 14. Let i = q - 3. Solve o = i*o for o.
0
Let o = 0 - -1. Suppose -8*i + 2*i = i. Suppose i = u + 4, 4*x - u + 0*u - 40 = 0. Solve 2*s = o + x for s.
5
Suppose -3*r - 74 = -4*p, 4*r - 38 - 70 = -5*p. Solve 4*w + w - p = 0 for w.
4
Let j(a) = -a + 20. Suppose -b - 4*z + 2 + 8 = 0, 4*z = -5*b + 82. Let o be j(b). Suppose o = d + 3*k - 4*k, 2*k = 0. Solve 2*n + 0 = d for n.
1
Let h(y) = 23*y - 18. Let x be h(4). Let r = -59 + x. Solve 0*d = 5*d + r for d.
-3
Let n be 60/(-24)*(6/5)/(-1). Solve -d + 4 = -n*d for d.
-2
Suppose 0*v = 4*u - v - 17, -4*u - 8 = 4*v. Let y be 53/4 + (279/36 - 7). Solve 1 = u*o - y for o.
5
Let c(b) = -b**3 + 2*b - 109. Let v be c(0). Let o = v - -115. Solve 5*h + o = 16 for h.
2
Let f(o) = 4*o + 4. Let z be f(8). Suppose 4*b + b + z = 2*s, 4 = -s - 3*b. Suppose 2*i - y + 3 - 6 = 0, 0 = -2*i + 4*y. Solve -2 = -i*t - s for t.
-3
Let l(b) = b**3 - 9*b**2 - 36*b + 3. Let o be l(-3). Solve o = 2*m + m for m.
1
Let k be (-30)/4*6/(-9). Let w(m) = -m**2 + 5*m + 11. Suppose -3*l - 5*z + 0 = -3, -21 = -5*l - 3*z. Let s be w(l). Solve 0 = -k*y - s for y.
-1
Let p = -5 + 6. Suppose 5*k = 5*s - 0*s - 15, 2*k - 8 = 0. Suppose 2*d + o = -2, d + 2*o = -0*o - s. Solve -t + p = -d for t.
2
Let l = -1246 - -1265. Solve 14*c = l*c for c.
0
Suppose 14 = 4*i - 10. Suppose 3*f = 18 - i. Solve -2 = 2*s + f for s.
-3
Suppose -4*s + 27 = 5*c, 15 = 5*s + 3*c - 9. Solve s*w = -4*w for w.
0
Let f be (3/(-3) - 1)/(-1). Solve 0 = -4*r + f*r - 4 for r.
-2
Suppose 3*d + 5*u - 376 = 0, -139 - 85 = -2*d + 2*u. Suppose 7*i - 4*i = -d. Let l = -39 - i. Solve -2*p = -l*p for p.
0
Let a(k) = -k + 21. Suppose 4*u + 2*l - 78 = 0, -4*u = -0*l + l - 77. Let c be a(u). Let t = -1 - -1. Solve r + t + c = 0 for r.
-2
Let c = -1696 + 1707. Solve 13*m + 2 = c*m for m.
-1
Let p = 112 - 97. Suppose 60 = p*v - 15. Solve 10 = -3*s - v for s.
-5
Let x(i) = -i**2 + 1. Let j be x(-1). Let f be -5*(1 + j)*-1. Suppose 5*a - 19 = 16. Solve -3*p - a = f for p.
-4
Suppose 9*j = 4*j - 0*j. Solve 2*s - 9 + 1 = j for s.
4
Let z = 84 - 68. Solve -9 - z = 5*c for c.
-5
Let y be ((-20)/6)/((-343)/(-42) + -9). Solve -50 = 14*l - y*l for l.
-5
Let p = 0 - -1. Let u be (7/2)/(-3 + 380/80). Solve u = 3*k - p for k.
1
Let v = -4 + 7. Solve -v*c - 2*c = 0 for c.
0
Suppose -2*f + 1 = -7. Let p be 4 - ((-12)/f - -1). Suppose -p*t + 5*t = -12. Solve d + t = -3*d for d.
-3
Let s = 724 + -692. Solve -l + 27 = s for l.
-5
Suppose 0 = 4*d - 3*d + 3*c - 5, d - 5*c - 13 = 0. Suppose -a - 2*a = -5*l - 1, 5*a - 3*l - 23 = 0. Solve -w - a = -d for w.
1
Let w = 24 + -25. Let g be w + 11 + -4 + -3. Let x = 7 - 4. Solve x*o - 6 = g for o.
3
Let y(f) = f**3 + 3*f**2 - 16*f + 26. Let x be y(-6). Solve -19*u = -24 - x for u.
2
Let n = -5 + 8. Suppose 2*l - 2*a - 18 = 0, a = n*a + 10. Solve l = 5*t - 1 for t.
1
Let w(o) = o + 6. Let k = 14 + -17. Let q be w(k). Suppose 2*j = 3*y + 12, 0 = q*j - 4*y + 6*y - 5. Solve -4 = j*r - r for r.
-2
Let y = 26 - 23. Suppose 2*f - 1 = y. Let u be ((-8)/6)/(18/(-81)). Solve 2*i + f = -u for i.
-4
Let h(v) = -55*v**2 - 13*v + 69*v**2 + 2 + 3 - v**3. Let i be h(13). Suppose 5 = -0*u - 3*u - 5*z, 20 = -i*z. Solve o + 4 - u = 0 for o.
1
Suppose 0*s = 5*s - 35. Suppose 1 = -o + 5*y - 6, 4*y - 52 = -5*o. Suppose -2*q - 4*j = -4, -o*j = -2*q - 3*j + 13. Solve -r - s = -q for r.
-3
Let g(j) = -j**3 - 8*j**2 + 10. Let s be g(-8). Suppose -5*p + 5*r = -50, -7*r + 2*r = 2*p - 41. Let z = p - s. Solve -3*q - z - 6 = 0 for q.
-3
Let i(t) = t**2 - 9*t + 2. Let a(k) = k - 5. Let y be a(7). Let l be -9*(-1 + 0/y). Let v be i(l). Solve v*u + 6 = 4*u for u.
3
Let q = 338 - 329. Solve q*h + 69 = 42 for h.
-3
Let v(b) = b**2 - 30*b + 244. Let j be v(16). Solve 5*s + 30 = j*s for s.
2
Suppose 4*r + 5*j - 16 = 0, 0*j + 20 = 5*r + 3*j. Solve 17 = -r*z - 3 for z.
-5
Suppose -q - 8*q = -135. Solve -c - 2*c = q for c.
-5
Suppose 108 = 4*x - 5*b, 4*b = -0*x + 2*x - 60. Let n = -20 + x. Solve n*l = 4*l + 8 for l.
-4
Suppose -4*t = -v + 8, -3*v + 4*t + 14 = 2*t. Let i(r) = -r**3 + 6*r**2 + 3*r + 3. Let y be i(6). Let f = -19 + y. Solve -f*m = -v*m for m.
0
Let m(v) = -2*v + 2. Let b be m(-1). Let y be (0 + b)/((-1)/(-5)). Solve -9*p = -4*p + y for p.
-4
Let q = -10 - -14. Let m(c) be the third derivative of -c**4/4 - 5*c**3/3 - 9*c**2. Let v be m(-2). Solve -2 - q = v*u for u.
-3
Suppose -6*y + 11*y - 20 = 0. Suppose y*v - 12 = -0. Solve -5 = -v*k + 2*k for k.
5
Suppose 0*i + 2*i - 6 = 0. Suppose -i*j = -4*j. Suppose -2*u + 22 = 2*y, 2*u - y - 6 - 7 = 0. Solve -3*q + 4 + u = j for q.
4
Suppose 8*m + 5 = 3*m. Let c(t) = -t**3 + t**2 - 3*t - 2. Let a(u) = u - 1. Let y(h) = m*c(h) - a(h). Let b be y(0). Solve 2*s = b*s for s.
0
Suppose 15*j + 452 - 512 = 0. Solve 0 = r + j*r for r.
0
Suppose -6 = -2*n + 12. Let t be (n/(-27))/((-2)/60). Let a be t/45 - (-102)/27. Solve 25 = -a*z + 9 for z.
-4
Suppose -5*l - x + 15 = 0, 2*l + 2*x + 9 = 5*l. Solve 0 = -3*m + 18 - l for m.
5
Let m(z) = -2*z**2 - 16*z. Let o be m(-8). Solve 8*k 