*k + 13. Let z = -3 - k. Let q be z/3*(-9)/(-6). Solve q = -5*n - 0*n for n.
-1
Let w be (-5)/(-3) - 4/(-12). Let a be 1/(22/(-12) - -2). Solve w*m - 4*m = a for m.
-3
Let r be (68/16 + -4)*0. Solve -5*c = -r*c + 15 for c.
-3
Let x be -1 - (4 + (-3 - 4)). Solve 0 - 4 = -x*g for g.
2
Let j(f) be the second derivative of f**5/20 + f**4/3 + f**3/6 - f**2 - 9*f. Let p be j(-3). Solve -h - p*h = 0 for h.
0
Suppose 5*z = -3*m, -3*m - 4*z - 3 + 6 = 0. Solve 3*i = 4*i - m for i.
5
Suppose -14 = -4*a + 10. Suppose -6*b + 3*b = -a. Solve -b*q = -q - 4 for q.
4
Let x = 4 - 4. Suppose 5*l = -5*c - 35, -3*l = -3*c + 4 - 13. Let f be l*((-2 - -4) + -4). Solve x = -2*z + z + f for z.
4
Let d(i) = -i**3 - 10*i**2 + 9*i - 4. Let v be d(-11). Let x be (-3)/v - 3/(-18). Solve x*r = -4*r - 4 for r.
-1
Let u be (-78)/(-8) - (-9)/(-12). Let a = -4 - -7. Let l = u - a. Solve -3*r + r = l for r.
-3
Suppose -40 = -3*i - 2*i. Solve 2*x - i = 6*x for x.
-2
Let u be 70/22 - (-4)/(-22). Let o be (6/u)/2*0. Solve o*x + 4*x = 4 for x.
1
Suppose -5*h + 2 = -8. Solve -a + 3 = h for a.
1
Suppose 0 - 8 = -2*v. Let c(y) = -y**3 + 10*y**2 + 13*y - 16. Suppose 2*z - 16 = 6. Let g be c(z). Solve -2 = -v*r + g for r.
2
Suppose -5*z = 2*p - 20, -4 = -4*z - p + 12. Solve 2*o - z = -2 for o.
1
Let n(u) = u**3 - 5*u**2 + 6*u - 5. Let v be n(4). Let j(m) = 2*m - 6. Let b be j(5). Let q be 18/b*2/3. Solve v*i = -q + 18 for i.
5
Suppose -4*l - x + 19 = 0, -5*l - 4*x + 9 = -1. Solve 0 = l*q - q for q.
0
Suppose 0 = -0*q + 3*q + 30. Let o be 3/(-6) + q/(-4). Suppose -23 = -6*m + 25. Solve m = 5*c - o for c.
2
Suppose -z = 3*g - 2*z - 31, 2*g - 10 = -2*z. Let p(h) = 2*h - 13. Let a be p(g). Suppose -5*o = 2*b - 15, 0 = -a*b - 34 + 9. Solve 2*x + 15 = o*x for x.
5
Suppose -3*z - 18 = -4*s, 5*s - s + 3*z = 6. Suppose -2*r - 8 = 3*u - 7*u, 5*r = s*u - 13. Solve -3*v = u + 5 for v.
-2
Suppose 2*s = -2*s + 4. Solve 5*c + s = -9 for c.
-2
Suppose -3*c + 9 = 4*d, -3*c - 3*d = -7 - 2. Suppose -4*w = 3*f - 17, -f - c*f + w = -10. Solve -f = 4*m - m for m.
-1
Suppose 2*i = -4*b - 16, -4*i + b = 6*b + 29. Let n = -34 + 32. Let l = n - i. Solve -q = l*q - 5 for q.
1
Let r = -1 + 4. Let o(v) = 3 - r*v - v**2 + v**2 + v**3. Let g be o(2). Solve 3 = 4*m - g for m.
2
Let x(b) = -b**2 + 3*b. Let h be x(4). Let r be (4 - h/2) + -2. Suppose -4*n + p + 12 = n, r*p - 24 = -4*n. Solve -18 + n = -3*l for l.
5
Let v(d) = d - 1. Let a be v(6). Suppose 3*r + 2 = a. Solve -r + 5 = -2*k for k.
-2
Suppose 2*n + 0*n = 8. Solve -n = -3*v + 2*v for v.
4
Let s(u) = u**2 - u + 6. Let b be s(5). Suppose 0 = -4*p - 5*l + b, 0 = -7*p + 2*p + 5*l + 10. Solve -p - 2 = 2*r for r.
-3
Let o(t) = -2*t + 2. Let w be o(-6). Let g be w + -2 + (-2 - -3). Solve -4*l - 1 = -g for l.
3
Let z be 2*(-2 - 25/(-2)). Suppose 2*n = 3*n - 4*g - 7, 2*g - 46 = -4*n. Let k = z - n. Solve -k = 4*d + 10 for d.
-5
Let a(o) = 3*o + 5. Let z be a(-1). Solve -v = z*v - 12 for v.
4
Suppose 0 = u + 4*u + 5*i, -5*u = i - 16. Solve -19 = -u*k + 1 for k.
5
Let n(w) = -2*w + 5. Let x be n(-4). Let u(r) = r**3 + 18*r**2 + 19*r + 38. Let g be u(-17). Solve 7 = g*y - x for y.
5
Let f(g) = -g**3 - 4*g**2 - 2*g + 3. Let r be f(-3). Let b = 2 + r. Suppose -3*u + 25 = -50. Solve -u = -3*y - b*y for y.
5
Let y = 8 - 6. Suppose -2*x = y*x. Solve x = 5*d - 0*d + 5 for d.
-1
Let o be -1*15/6*-2. Suppose -o*h + 24 = 4. Solve 4 = -2*v - h for v.
-4
Let m(g) = -11 + 5 - g - g. Let q be m(-6). Solve 0 = -b + q*b - 5 for b.
1
Let t be -3*(1 + (-15)/9). Let p be 15/t*4/5. Suppose -2*z + 3*z = 4. Solve -z*s - p = -s for s.
-2
Suppose -5*o = -0*h - 3*h + 9, -6 = 3*o - 2*h. Solve -x + o + 3 = 0 for x.
3
Suppose 2*y - 8 = -0*y. Solve y = 3*u + 13 for u.
-3
Let l = -91 + 91. Solve l = 3*z - 8 - 1 for z.
3
Suppose t - 5*m = 5*t - 57, -5*m = 5*t - 65. Let n(d) = d - 5. Let j be n(t). Let q = -1 + 3. Solve 0 = -j*v + 10 + q for v.
4
Let q be 5*(27/15 - 1). Let v be (1 - 0)/(1/3). Suppose v*y - q = y. Solve -12 = 5*h - y for h.
-2
Let v(h) = -h**3 - 3*h**2 + 7*h + 13. Let m be v(-4). Suppose 3*r = 6*r + 15, 18 = z - 3*r. Let c be m + 6/z*1. Solve c*g = 10 + 5 for g.
5
Let h be 2/8 + 62/8. Let j = h + -6. Solve -j*b - 1 = -3 for b.
1
Let d = 19 + -19. Suppose -m + d*m = 0. Solve m = u + u for u.
0
Let s = -25 - -35. Suppose -s*f + 45 = -7*f. Solve -f = -5*o + 2*o for o.
5
Let c be 1*(1*-3)/(-1). Suppose 0 = -2*u + c*u - 20. Let n(h) = -h**2 + 9*h - 3. Let j be n(8). Solve 0*a - j*a + u = 0 for a.
4
Let c be (9/(-6) - 0)*2. Let m = c - -3. Suppose -7*s + 2*s + 10 = m. Solve s*n + 3*n - 10 = 0 for n.
2
Suppose -3*r - a + 10 = r, 2*a = -r + 6. Let h = 16 + -11. Suppose -2*v = -p + 16, 0 = h*p + 5*v + 1 - 6. Solve r*b + b = -p for b.
-2
Suppose 3*w + 23 = 2*f, 0 = -4*w + 2*w - 10. Solve -13 = -f*t + 7 for t.
5
Suppose 7*s + 12 = 3*s. Let p be (-3)/7 - s/7. Solve p = -3*w + 8*w for w.
0
Let n = -20 + 25. Suppose -2*w + 2*h - 6 = 0, 0 = -3*w + n*h - h - 12. Solve -3 = 3*u - w for u.
-1
Let t be -2 - -4 - 1 - 1. Let a = 16 - 11. Suppose -6*i + 24 = -3*i. Solve t = a*b - b + i for b.
-2
Suppose 21*s + 12 = 27*s. Solve s*a - 9 = -1 for a.
4
Let d(w) = w**2 - 9*w + 4. Let p be d(7). Let v be 1/(-5) + (-2)/p. Solve 9 = -3*j - v for j.
-3
Let z = 5 + -2. Solve 0 = -o - 0*o + z for o.
3
Let g = 10 - 4. Suppose 0 = -2*q - 2 + g. Suppose -2*c = -0*c + 5*h - 4, 3*h - 4 = -2*c. Solve -c*m - q*m = -20 for m.
5
Let k(v) = v**3 - 12*v**2 - 12*v - 1. Let r be k(13). Solve 4*x + r + 4 = 0 for x.
-4
Let g be (19/38)/((-2)/(-12)). Solve -g*o - 6 = -o for o.
-3
Suppose -3*t + 7*t = 48. Suppose -2 - 13 = 5*n. Let k be 2/(4/(-30)*n). Solve -k*c - t = 8 for c.
-4
Let v = 44 - 38. Solve -n = -v*n for n.
0
Suppose -4*a + 23 = -2*n - a, -n + 11 = 3*a. Let p = 6 + n. Solve 5*o + 3 + p = 0 for o.
-1
Suppose 0 = -0*f + 5*f + 60. Let o(c) = c**2 + 11*c - 8. Let n be o(f). Solve n*y + y + 15 = 0 for y.
-3
Let u be (-19)/(57/(-18)) + 4/(-2). Solve 0*n = -u*n - 16 for n.
-4
Let n be ((-44)/55)/(2/(-10)). Solve 0 = -n*t - 0 + 4 for t.
1
Suppose r + o - 6 = 0, 5*r - o - 58 = o. Suppose -21*l + 16*l + r = 0. Solve -l = 2*x - 0*x for x.
-1
Let g = 0 + 2. Solve 5*r - g*r = 0 for r.
0
Let o be (1 + (-2 - 0))*-4. Let f(m) = 2*m**2 - 2*m - 1. Let n(q) = -q**3 + 6*q**2 + 8*q - 5. Let p be n(7). Let s be f(p). Solve -o = j - s*j for j.
2
Let d(f) = f**3 + 2*f**2 + 2*f + 1. Let r be d(-1). Suppose r = -2*n - 1 + 5. Solve n*s = -2*s for s.
0
Suppose 0 = 4*y + 3*p - 3, y = -2*y + 3*p - 3. Let b(d) = d**3 + 7*d**2 + 7*d + 15. Let z be b(-6). Solve 3*l + y = z for l.
3
Suppose -2*h - 2*h = 5*f + 12, 15 = -4*f - 5*h. Suppose -g = 5*o - 65, -5*o + 3*g + 45 = -f. Solve -o = 2*c - 5*c for c.
4
Let o be (1 - -2 - 36)*-1. Suppose 5*p - o = 7. Solve -3*x + p = 2 for x.
2
Let v be -1 + 0/(-2) - -3. Let k(j) = -9*j**3 - j. Let x be k(-1). Suppose 5*f - 8 = -3*o, -2 + x = o - f. Solve v*h - 2 = o for h.
4
Suppose -3*n - 20 = -4*g, 31 - 6 = 5*g - 5*n. Solve 2*p + g = -1 for p.
-3
Let t(d) = -d + 2. Let c be t(0). Suppose 5*r = c*r - 5*y + 28, -5*y + 24 = -r. Solve 5*z + r = 6 for z.
1
Let d = -26 - -29. Solve 0 = d*i + i + 20 for i.
-5
Suppose i + 1 + 1 = 0. Let o = i + 5. Solve -22 - o = -5*z for z.
5
Suppose -c + 20 = 3*c. Suppose c*g = -17 + 52. Suppose 2*y + 0*y = t + g, -3 = t. Solve -4 = -y*x - 0 for x.
2
Let j(c) = c**2 - 2*c - 5. Let f be j(4). Suppose -f*n + 3*r = -n + 13, r - 3 = 2*n. Let s = -13 + 15. Solve 0 = b - n - s for b.
3
Let i = 39 + -35. Solve -i*g = -6*g for g.
0
Let b(z) be the second derivative of 3*z**5/20 + z**3/6 + 2*z. Let v be b(1). Let r be 15/v + 3/12. Solve -n = -r*n - 6 for n.
-2
Let a be ((-3 - -1) + 1)*-3. Solve a*m - 8 = 7*m for m.
-2
Suppose -5*z - 4*p + 13 = -2*p, -4*z + 9 = 3*p. Suppose -4*m + 3*t = 4*t - 4, -z*t - 2 = -2*m. Suppose m + 31 = 4*r. Solve -g - 3*g = -r for g.
2
Suppose 24 = 3*b - 6. Suppose -b = -2*n - 3*n. Suppose a - n = 1. Solve -1 = 4*k - a*k for k.
-1
Let y(i) = i**3 + 3*i**2 - 10*i + 2. Let s be y(-5). Solve 0 = -2*k - s*k - 8 for k.
-2
Suppose -4*n + 20 = 0, n - 6*n = -4*t - 61. Let r = t - -14. Solve 3*m = 2*m + r for m.
5
Let t(s) be the third derivative of s**6/120 - 3*s**5/20 - 5*s**4/12 - 14*s**2. Let n be t(10). Suppose 0 = -0*c + 5*c - 35. Solve c*f - 2*f - 25 = n for f.
5
Suppose 