r y.
-2
Let f(j) = -5*j - 11. Let z be f(-9). Let o = -31 + z. Solve -5*k = 23 - o for k.
-4
Suppose 0 = 3*d + h + 2, 5*d = 3*d + h + 7. Let o(m) = m**2 - 8*m + 7. Let c be o(7). Suppose c*v = 2*v + 3*g + 13, 11 = v - 2*g. Solve i - v - d = 0 for i.
2
Suppose -48 = -0*p - 4*p. Let t = 60 + -57. Solve -t*o + 0 = p for o.
-4
Let h(u) = u + 4*u**2 - 3 + 0*u - 7*u + u**3. Let m = -2 + -3. Let y be h(m). Solve -y*w = -w + 3 for w.
-3
Let z(r) = -2*r**3 + 16*r**2 - 15*r + 13. Let l be z(7). Solve 58*f + l = 60*f for f.
3
Let j(l) = l**2 - 15*l + 63. Let p be j(7). Solve 4*h + 19 - p = 0 for h.
-3
Let m(n) be the second derivative of -n**4/12 - 7*n**3/3 - 5*n**2/2 - 3*n. Let r be m(-12). Let u = -19 + r. Solve u = 5*l - 0 - 5 for l.
1
Suppose -18*a + 70 = -8*a. Solve 30 = -a*m + 2 for m.
-4
Suppose 32 = 4*q - 20. Suppose -2*j - 4 = o, -3*o + j = 2*j - q. Let z be 46/o + (-5)/(-15). Solve -n = n - z for n.
4
Let i = 36 - 32. Let w be 6/i*(-32)/(-6). Solve w = 3*s + 2 for s.
2
Suppose -106 = -124*f + 266. Solve f*k = -2 - 7 for k.
-3
Suppose 0 = -h + 4*t - 11, 3*h - 21 = -2*h + t. Suppose -3*z - f + 0 = -13, 10 = 4*z + h*f. Solve z*k - 12 = 2*k for k.
4
Let m = 20 - 16. Suppose 3*u - 5 = -q + 5, 5*q + m*u = 72. Let t = q - 12. Solve 0*p + 16 = t*p for p.
4
Suppose -1822 = -14*y - 422. Solve -y = 4*o + 16*o for o.
-5
Suppose 4*k = 3*x - 12, -5*k - 12 = 2*x - k. Suppose x = -3*q + 4*c + c - 3, -q - 2 = -2*c. Solve q*d = 2*d - 2 for d.
-1
Let v(z) = -z + 5. Let t be v(5). Suppose -2*m + t*m = 0. Solve m = -0*p + 2*p for p.
0
Let p be 10/4*(-6)/(-5). Suppose f + 3*g = 5, 0*f = -p*f + 2*g + 26. Let m be (2/f)/((-4)/(-16)). Solve 0 = 2*t + 5 + m for t.
-3
Suppose 2*p = -2*p. Let z(a) = 5*a - 56. Let h be z(12). Suppose 0 = -6*t + h + 2. Solve p*n + t = n for n.
1
Let v(m) = 4*m - 3. Let l(h) be the first derivative of h**3/3 - 7*h**2/2 + 5*h + 5. Let f(i) = 4*l(i) + 7*v(i). Let d be f(-1). Solve d*r = -10 - 5 for r.
-5
Let w(u) = -u**2 + 6*u + 7. Suppose 4*z = -0 + 28. Let a be w(z). Suppose a*m + 75 = 3*m. Solve -5*c - 5 = -m for c.
4
Suppose 0 = 12*j + 3*j - 30. Solve i = j*i for i.
0
Let f(w) = -2*w - 7. Let s be f(-6). Let m be -6*2/(-3) - 0. Suppose -4*i + 5 = -s*z, -i - 12 + 29 = m*z. Solve 0 = 3*a - i*a + 2 for a.
1
Let g = -160 - -162. Solve t + g = -3 for t.
-5
Let b(m) = -2*m. Let a be b(2). Let k = 7 + a. Solve 0 = 2*y + 3 + k for y.
-3
Let m(i) = -i**3 + 6*i**2 - 5*i + 4. Let q be m(5). Suppose 4*o + q*l - 36 = 0, 4*l + 3 + 1 = 0. Let s = o + -10. Solve s = 5*j + 12 + 3 for j.
-3
Let d = -6 + -9. Let p = -15 - d. Suppose p = -s + 6. Solve 0 = 4*w + s + 14 for w.
-5
Let m(x) = -x**3 + 7*x**2 - 14*x + 20. Let t be m(5). Solve t = 6*p - 0*p + 24 for p.
-4
Let c = 41 - 29. Let z = -19 + c. Let g = -4 - z. Solve -m = -g*m for m.
0
Let d(p) = p**3 + 5*p**2 - 36*p + 5. Let q be d(-9). Suppose -3*n - 7 = 2*z - 17, -5*n - 3*z = -15. Solve q*l = -n*l + 5 for l.
1
Let b be ((-6)/(-9))/((-2)/(-9)). Suppose -36 = b*q - 9*q. Solve -y + q*y = 20 for y.
4
Suppose 4*a - 9 = 7. Let h(q) = -q**2 + 7*q - 6. Let b be h(a). Solve 0*y = -2*y + b for y.
3
Let v = -4 - -2. Let k be (-12)/(-1)*v/4. Let c be (k/9)/((-2)/6). Solve -c - 1 = -3*l for l.
1
Suppose 0 = -a + j - 1, a - 15 = -4*j + j. Solve a*z = 16 - 4 for z.
4
Let z(p) = -12*p - 2. Let f be z(-2). Suppose -15*n + f*n = 28. Solve n*d + 3 = 7 for d.
1
Let h(s) = -s - 2. Suppose -4*t = 4*b - 24, -8*t = -4*t - 5*b + 3. Suppose -t*p + 5 = 17. Let j be h(p). Solve -2*g = j*g - 8 for g.
2
Let g = 4774 + -4765. Suppose -2*i + 3*i = 2. Solve 0 = -i*u - g - 1 for u.
-5
Let k = 459 - 458. Solve 0*a = a + k for a.
-1
Suppose f - 3*f + 20 = 2*z, 2*z = 4*f - 10. Suppose -2*j + 4 = -f*v, -j + 2 = 2*v - 4*v. Solve 0*c + j*c = 0 for c.
0
Let l(d) be the third derivative of -d**6/120 - d**4/12 - d**3/6 + 58*d**2 - d. Suppose -2*q = -0*q + 2. Let b be l(q). Solve -2*z = b*z for z.
0
Let q(m) = m**3 - m. Let x be q(-1). Let w(a) = a**2 + a - 7. Let y be w(3). Solve x = -l + y*l for l.
0
Let u = -106 + 106. Solve -5*m - 2*m + 21 = u for m.
3
Suppose 4 = -9*q + 11*q. Suppose 0 = -q*r + 8, -3*t - 4*r + 2 = -23. Solve 2*m = t*m - 5 for m.
5
Let y(s) = s**2 - 12*s + 16. Let g be y(11). Suppose 3*n - g*n = 3*f - 24, f - 4*n = 22. Let m = 14 - f. Solve -m*o + 24 = 8 for o.
4
Let o(d) = -d**2 + 66*d - 303. Let z be o(5). Let p(m) = -m**3 - 6*m**2 - 5*m + 1. Let b be p(-5). Solve b + 5 = z*x for x.
3
Suppose c = -c - 3*w + 22, 0 = -3*w + 12. Suppose -2*y + 8 = -0*y. Let d be 5/2 + y/8. Solve c*x = 23 - d for x.
4
Let y(n) = -n**3 - 21*n**2 - 22*n - 29. Let q be y(-20). Solve q*u - u - 10 = 0 for u.
1
Suppose 3*w + h = 21, w - h + 5*h = 7. Solve -d = -w*d for d.
0
Let m(h) = -3*h + 10. Let z be m(-4). Suppose -z*f + 9 = -19*f. Suppose 0 = -f*r - r. Solve 5*q - q + 16 = r for q.
-4
Suppose -5*k + 5*z = -34 + 4, 5*k = -2*z + 2. Solve a - k = -0*a for a.
2
Let k be (-1*3)/((-27)/18). Suppose 0*d - k = -d. Solve -1 + d = -x for x.
-1
Let x(u) = -13*u**2 - u - 1. Let l be x(1). Let y be (-4)/2*6/l*5. Solve 0 = y*p - 2*p - 2 for p.
1
Suppose 41*i = 20*i + 420. Solve -2*a = 3*a - i for a.
4
Suppose -2*j = j + 6. Let v = 62 - 60. Let y be ((j + v)/2)/1. Solve 12 = -3*w - y*w for w.
-4
Suppose -3*d = -1 - 8. Suppose 0 = d*c - 12. Suppose -10 = 2*g - 5*b, -2*g - 1 - 5 = -4*b. Solve c*o = g*o for o.
0
Let o(d) = -12*d**3 + d**2 + 3*d + 2. Let k be o(-1). Suppose 3*y - k = 0, -2*y - 1 = -a - 2. Solve a*b - 2*b + 20 = 0 for b.
-4
Let s(m) = -m + 2. Let p be s(2). Suppose d = -p*t + t - 13, 2*t - 5*d - 29 = 0. Suppose -t + 0 = -2*y. Solve 16 = y*k - 2*k for k.
4
Let p = -21 - -30. Suppose -2*y - 6 = -2*c, -y - 2*y - p = -4*c. Let r(f) = -f**2 + 9*f - 4. Let j be r(4). Solve -5*n + n + j = c for n.
4
Let h be 16/(-10)*(-16 - (0 - 1)). Suppose 0*t - t + 5*d = 14, 2*t = -3*d + h. Solve t*v - 8*v = 4 for v.
-2
Let q = 27 + -5. Suppose -2*z - 2*p - 6 = 0, -4*z + 5*p + 1 = q. Let n(c) = -c**3 - 4*c**2 - c - 2. Let j be n(z). Solve s - j*s = 0 for s.
0
Let u be 182/(-84)*-6 + (-12)/2. Solve -3*d - 30 = u*d for d.
-3
Let t(f) be the third derivative of f**4/24 - 5*f**3/3 - 7*f**2. Let x be t(13). Suppose -s + x = -0*s. Solve s*h - 1 = 2 for h.
1
Let q = -61 - -77. Suppose h = -0*h + 9. Solve -5*u = -q - h for u.
5
Suppose 9*s = 4*s + 15. Suppose 4 + 26 = s*m - 4*b, -2*m + 20 = 5*b. Solve 3*k - m = k for k.
5
Let i = -38 + 42. Let q(w) = 2*w**2 - 6*w + 2. Let g be q(i). Solve -4*y = -2*y + g for y.
-5
Let j = 22 - 12. Let z = j - 7. Solve 6*q - z*q = -12 for q.
-4
Let v = -23 - -31. Let d = v + -4. Solve -d = 3*h + 2 for h.
-2
Let x(l) = 25*l**3. Let d be x(1). Let i = d - 21. Solve 2*o = i - 10 for o.
-3
Suppose 0 = 34*f - 25 - 43. Solve -f*m = -3*m for m.
0
Let f = 48 - 44. Solve 1 - 5 = -f*g for g.
1
Let x(i) = -i**2 - 2*i + 27. Let k be x(-6). Solve 0*q = k*q + 15 for q.
-5
Suppose -4*n - 16 = w, -n = w - 6*w - 17. Let f = -23 + 27. Let o = f + w. Solve o = -4*j - 5 + 17 for j.
3
Suppose 204 = 36*u - 732. Solve -u = -8*v - 10 for v.
2
Let f be (3/(-3))/(6/(-30)). Suppose -4*g - 45 = -5*i, -5*i + 45 = -i - f*g. Let t be (-2 - -2)*-1 - -2. Solve -t*l = -i*l for l.
0
Let w(p) = -p**3 - 25*p**2 - 25*p - 22. Let u be w(-24). Solve 0 = -u*t + 3*t + 5 for t.
-5
Let q = 1279 - 1277. Let h(j) = -11*j**2 + 5*j - j**3 + 5*j**2 + 4 - 12. Let s be h(-7). Solve -q*f + 4*f = -s for f.
-3
Suppose 14 = 3*x - 1. Suppose -3*d + x*o = -43, d + 0*o + o = 17. Solve 2*c = 6*c + d for c.
-4
Let k = 13 + 11. Let j = -19 + k. Suppose -3 = -2*y + j. Solve -2*h + y = -0 for h.
2
Let w(m) = m**3 - 18*m**2 + 32*m + 5. Let c = -99 - -115. Let g be w(c). Solve g*f - 21 = -1 for f.
4
Let x(h) = h**2 - h. Let d be x(-1). Let c be ((-45)/20)/(d/(-64)). Suppose 7*z - p = 3*z + 61, -5*z = 3*p - c. Solve 0*k - 3*k + z = 0 for k.
5
Suppose -4*q - q - 40 = 0. Let b be q/20 + (-2)/(-5). Let x be (2 - 2)*(b + 1). Solve x*i = 3*i for i.
0
Let t(s) = -s**3 + 8*s**2 + 3*s - 19. Let x(m) = 6*m - 4. Let b be x(2). Let n be t(b). Solve n*i + 10 = -10 for i.
-4
Let m(b) = 40*b + 500. Let z be m(-12). Solve -z*g = -18*g - 6 for g.
3
Suppose 4*g - 22 = 2. Suppose -5*u = 4*d - 0*d - 40, -2*d = -4*u + g. Solve -d*v - 3 = 12 for v.
-3
Suppose -3*r - 4*q + 10 = 0, 0*r - 4*q = -3*r + 2. Let y be 35/21 - 4/(-1