m = -5*l - 10. Solve l = 3*r - p for r.
1
Let w(d) = d**3 + 23*d**2 + 5. Let l be w(-23). Suppose l*v + 0*y - 56 = 2*y, 0 = 5*v + 5*y - 70. Solve -b + v = 3*b for b.
3
Suppose 0 = -3*y - 9, 0*v + 2*y + 511 = 5*v. Solve 102*a = v*a + 1 for a.
1
Suppose p - 28 = -3*m - 3*p, 3*p = -m + 16. Suppose -2*c + m*x + 10 = 0, -6*c + 2*x + 25 = -c. Solve 0 = -5*q - 0*q - c for q.
-1
Suppose -4*z - 6 - 10 = -4*s, -4*s + 2*z = -12. Let l be (22/(s + -1))/(-1). Let i = 28 + l. Solve 0 = -b + i - 5 for b.
1
Suppose 5*a + 3*u = -3, a = -3*a + 4*u + 4. Solve a*y + 2*y - 4 = 0 for y.
2
Suppose -20*f + 47 = -13. Solve 2*h - 7 = -f for h.
2
Let t = 1089 - 1089. Solve t*c = 4*c - 6*c for c.
0
Let t(k) = 9*k - 37. Let c be t(5). Let w be c/(-4) + -3 + 7. Solve w*z - 6 = -0*z for z.
3
Let q = 132 - 122. Solve 5 + q = -5*x for x.
-3
Let h be 3 - (-4 - 2/(-2)). Solve 4*c + h = 2*c for c.
-3
Let m be 7/(14/(-16)) - (5 - 2). Let q(v) = v**2 + 12*v + 13. Let x be q(m). Solve s + x = 2*s for s.
2
Let f be (53 - 50)/(3/6). Solve -4*s - 14 = f for s.
-5
Let h = 7 + 1. Let n(r) = -r**3 + 17*r**2 + 172*r - 92. Let f be n(24). Solve 8 = h*l - f*l for l.
2
Let a(c) = -14*c**2 - 91*c + 11. Let q be a(-6). Solve q = 13*f + 14 for f.
3
Let w be (-8)/(16/(-10) + 2/(-5)). Solve 2 = 2*g + w for g.
-1
Suppose -21*x = -17*x - 84. Suppose -x = -5*a - 2*a. Let z = -2 - -5. Solve 9 = a*h + z for h.
2
Suppose 0 = l - 4*s + 14, -3*l - 2*s + 21 + 7 = 0. Solve 21*n = 19*n - l for n.
-3
Let a be ((-6)/(-9))/((-4)/(-18)). Let y be (-4)/(-22) - 524/(-22). Suppose -a*n = y - 84. Solve 0 = -i + 5*i - n for i.
5
Let a be 16/(-20)*(-5)/2. Suppose -3*w + w + y = -12, a*w - 16 = 3*y. Solve -1 = 3*o + w for o.
-2
Let h(a) = a - 5*a + 21 + 2*a. Let u be h(9). Suppose -2*m + 5*v - 14 = 0, -3*m - 5*v + 47 = 18. Solve m = -u*p + 2*p for p.
-3
Let o = 51 - 48. Let i(r) = 19*r**3 + 2*r**2 - 2*r + 1. Let q be (-5 - -3) + 1 + 2. Let j be i(q). Solve -l + j = o*l for l.
5
Let n(a) = -a**3 + 4*a**2 + 8*a - 12. Let d be n(5). Suppose -d*r + 1 = -8. Solve 0 = -2*y - 5 - r for y.
-4
Let m(r) = -r**3 - 5*r**2 + 7*r + 3. Suppose -22 = 5*d + 8. Let f be m(d). Let n(o) = -3*o - 5. Let c be n(f). Solve c*w - 20 = -0*w for w.
5
Let l be 6/15 + (-14)/35. Suppose l = 2*a - 3*x - 12, -5*a + 5*x = x - 30. Suppose 0 = 5*g - a*g. Solve g = -6*r + 3*r + 9 for r.
3
Let n = -16 + 19. Suppose 19 + 17 = n*i. Solve -4*k = -k - i for k.
4
Suppose 2*p - 6*p = -5*c - 20, 5*p = 2*c + 25. Suppose -5*h - 12 = 3*r, 5*h - 2*r - 3 - p = 0. Solve 4 = 4*d - h*d for d.
1
Let r be 3/6 + 99/(-22). Let s be 3/15 - (-36)/(-30) - r. Solve 0*l = s*l for l.
0
Let l(z) = -z**3 + 3*z + 1. Let b be l(-2). Suppose 12*q - b*q = 0. Solve 2*f - 4*f - 2 = q for f.
-1
Let b(y) = y - 32. Let i be b(14). Let d = i + 18. Solve d = -0*z + 2*z - 6 for z.
3
Let f = -382 + 384. Let d = 15 + -15. Solve -f*w + 5*w = d for w.
0
Suppose 2*y + 0*y - 10 = 4*d, 4*y - 2*d = 14. Suppose -b = -y - 1. Solve -c + b - 1 = 0 for c.
3
Let k(b) = -b**3 - 3*b**2 - 2. Let o(a) = -2*a**2 + 3*a - 1. Let q be o(2). Let n be k(q). Let g be (4/3)/(n/(-6)). Solve -g - 1 = -f for f.
5
Suppose 0 = 5*z + p + 2, -6*p + 2*p = 8. Solve 12*o + z*o = 36 for o.
3
Suppose 3*a - 8 = x, 6*x = x + 20. Solve a*z - 2*z = z for z.
0
Let k(h) be the third derivative of -h**5/60 + h**4/3 + 4*h**3/3 - 3*h**2. Let x be k(8). Let v be ((-3)/(-6))/((-12)/(-72)). Solve 0 = -j + v*j - x for j.
4
Suppose 27*x - 10 = 3*c + 32*x, -c - 4*x = 8. Solve k - k + 4*k = c for k.
0
Suppose 3*s + 2*s = -25. Let g be (6/5)/(2/s). Let j(k) = -2*k - 6. Let z be j(g). Solve 2*x + z = -6 for x.
-3
Suppose 0 = -2*f + 4*l + 46, 2*l = -5*f - 0*l + 55. Let j = 18 - f. Solve 2 = j*t + 7 for t.
-1
Let t(y) be the third derivative of -1/3*y**3 - 1/8*y**4 + 3*y**2 + 0*y + 1/15*y**5 + 0. Let m be t(-2). Solve 0*h = -4*h + m for h.
5
Let m be 24/(-10)*-3 - 24/(-30). Suppose -9 - 6 = -5*o. Suppose 4*i = 3*h + 32, -m*i - 4*h + 9 = -o*i. Solve i = -4*u + 3*u for u.
-5
Suppose 2*c = 6 - 2. Let z be (1 - 5)*(-6)/8. Let w = z - 3. Solve w*q + 8 = -c*q for q.
-4
Suppose -207 = -396*w + 373*w. Solve -w*f - 17 = 8*f for f.
-1
Let w(s) = 7*s**3 - 2*s + 1. Let c(g) = 2*g**2 + 1. Let b be c(-1). Suppose -b*o = -1 - 2. Let p be w(o). Solve -h + 20 = -p*h for h.
-4
Let s(l) = -11*l**3 - 2*l**2 + 4*l - 2. Let n be s(2). Let x = 102 + n. Solve o - x = 4*o for o.
-4
Let o be ((-1)/(6/(-10)))/(10/12). Suppose 0*d = -2*d + 5*y + 17, -5*d + 32 = -o*y. Solve -7*p - d = -4*p for p.
-2
Suppose -3*c + 16*i - 6 = 19*i, -2*c + 2 = -i. Solve -x - 4 + 0 = c for x.
-4
Let z be 36/10 + 22/55. Let l = -60 + 61. Solve z*c + l = 3*c for c.
-1
Let p(o) = o**3 + 22*o**2 + 24*o + 79. Let b be p(-21). Solve -b = -d + 5*d for d.
-4
Suppose 0 = -3*o - 4*i - 168, -o - 2*i = -i + 57. Let k = -60 - o. Solve k*j + j = 3 for j.
3
Suppose 2*j - 5*p - 1 = 35, -5*j + p + 90 = 0. Solve -33*z = -24*z + j for z.
-2
Let w(f) = -7*f - 51. Let m be w(-8). Suppose -3*z = -4*n + 65, -2*n = -m*z + 3*z - 30. Solve -n = -4*d - d for d.
4
Let x(d) = -d**3 + 12. Let u be x(0). Suppose 4*q - u = -4, c + 2*q - 4 = 0. Solve c = -0*k - 3*k for k.
0
Let z = -22 - -10. Let j = -9 - z. Suppose y = j*y. Solve 6*s - s = y for s.
0
Suppose 5*d + 10 = 0, -l + 1 = 4*d + 108. Let z = l - -124. Solve 5*n + 0*n = z for n.
5
Suppose 0 = a + 3*u - 8, 4*a + 2*u = -5 + 27. Suppose -5*g = 2*n - 0*g + 11, -4*n = g - a. Let o = 33 + -18. Solve p + n*p + o = 0 for p.
-5
Let w(n) = 8*n - 152. Let f be w(23). Solve 37*o = f*o for o.
0
Let y(n) be the second derivative of n**4/4 - n**3/2 + 3*n**2 + 8*n. Let l be y(2). Solve -4 = 4*h - l for h.
2
Let h be (-48)/12 + -1 + 5 + 5. Let g be 2/5 + (-166)/(-10). Suppose s + 0*s = -h*u - g, 5*s + 5*u + 5 = 0. Solve s + 1 = -v for v.
-4
Suppose -3*t = -2*p + 47, -3 + 36 = 3*p + 3*t. Let w(q) = q**3 - 20*q**2 - q + 25. Let v be w(20). Solve k - p = v*k for k.
-4
Let m be 2*3 + 3 + 2/(-2). Suppose -2*s - m = -6*s. Solve -s*v = v for v.
0
Let t(l) = l**3 + 21*l**2 + 40*l + 42. Let h be t(-19). Solve 6 + 2 = -h*d for d.
-2
Let y = 148 - 48. Suppose q - y = -3*q. Suppose 2*o - 3 = q. Solve 4*g + o = -2 for g.
-4
Suppose 177 = 42*c - 117. Solve -9 = 2*h - c for h.
-1
Let c = 295 - 226. Solve -c*w + 20 = -74*w for w.
-4
Let i be -427*(-14)/245 - 2/5. Solve -i*l = -22*l - 4 for l.
2
Let d(n) = -5*n + 1. Let m be d(1). Let z be -5 - -3 - (0 + m). Suppose 3*c = -z*c. Solve c = v - 3*v - 2 for v.
-1
Suppose -5*i = -5, 0 = -5*y + 5*i - 4*i - 1. Let j be (y + -1)*(11 - 11). Solve j = -q - 6 + 1 for q.
-5
Suppose -m = 4*t - 16, 4*m - 3*m - 2*t = -2. Let b(a) = -a**3 + 5*a**2 + 25*a - 4. Let h be b(8). Solve 16 = h*y + m for y.
3
Let b(s) = s + 7. Let f be b(-1). Solve -f*u + 15 = -u for u.
3
Suppose -9*o = -11*o - 16. Let n = o - -12. Suppose 3 - 30 = -g + n*s, 2*s = 5*g - 81. Solve 3*x + g = 8*x for x.
3
Suppose -f = -0*f - 2. Let i be (f/8)/(5/380). Suppose -5*n = 9 - i. Solve -n*u + 1 = 5 for u.
-2
Suppose -a + 4*z + 43 = 0, 0*a + 5*a + z - 110 = 0. Suppose 4*m = a - 19. Solve v + 0*v - m = 0 for v.
1
Let c(n) = n**3 + 3*n**2 - n - 1. Suppose -12*i - 10 = 26. Let p be c(i). Solve 7*b - p*b = 5 for b.
1
Let f(b) = b - 3. Let x be f(2). Suppose 9 = 7*p + 9. Let o be 10 + 3/(p - x). Solve 7 = 5*v - o for v.
4
Let q(c) = -c**2 + 2*c - 1. Suppose 2*r + r - 10 = -t, r - 3 = 0. Let y be q(t). Solve y = -4*x - 13 + 1 for x.
-3
Suppose -516 + 546 = 10*x. Solve -x*l - 3 - 3 = 0 for l.
-2
Suppose 0 = -4*w - 9 + 9. Suppose -2*q - 4*j - 1 = 3*q, w = -5*q + 3*j + 27. Solve -q*x - x + 20 = 0 for x.
5
Let j = 1300 + -1300. Solve j = -17*z + 19*z - 2 for z.
1
Suppose 3*i + 2*r - 59 = 0, 0 = -4*i + 2*r + 49 + 11. Let y be -3 + i + -2 - 3. Solve -3*t - y - 3 = 0 for t.
-4
Let g(x) = -x - 7. Let v be g(-6). Let u(k) = 2*k + 2. Let n be u(v). Solve n = -5*m + 3*m + 6 for m.
3
Let x(v) = -v - 8. Let i be x(-8). Let n(j) = -3*j + 9. Let b be n(-5). Suppose 0 = -0*k - 4*k + b. Solve i = g + 1 - k for g.
5
Suppose 173 = 11*b - 80. Solve -b*l = -25*l - 8 for l.
-4
Suppose -3*w - 5*y = 7, -w + 5*w = -2*y + 14. Solve 3 + 3 = w*d for d.
1
Suppose 4*p = 4*m - 68, -5*p + 49 = 2*m - 13. Let g be 3/(-2)*(-7)/m*20. Solve -4*r - r = g for r.
-2
Let o(w) = -w - 3. Let j be o(-8). Suppose 4*v + 20 = 4*h, 5*v = 3*h - h - 19. So