- 15*w - 8. Let x be k(-14). Solve -4 = 5*n + x for n.
-2
Let x be (3/9)/(1/15). Solve -x = -a - 4*a for a.
1
Let g(k) = k**3 - 6*k**2 - 6*k - 7. Let y be g(7). Let u(z) = -2*z - 10. Let c be u(-7). Suppose y*r - 2*r + c = 0. Solve 0 = 4*i + r + 2 for i.
-1
Let p(a) = -a**2 - 4*a. Let f be p(-4). Solve f = -2*c - c for c.
0
Suppose -5*f - 4*x = -2*x - 29, -4*f + x + 18 = 0. Suppose 0 = -2*k + f*t + 11, -2 = -k - 0*k - t. Solve 0 = k*n + n - 4 for n.
1
Suppose -5*r + 17 + 63 = 0. Let h = r - 16. Solve -d - d = h for d.
0
Let r = 10 - -5. Solve -3*m + r = 2*m for m.
3
Let i = -1 + 5. Suppose i = 3*h - 2. Solve 0 = -3*g + h - 5 for g.
-1
Let s = 10 + -2. Let t be (-14)/(-3) - (-6)/(-9). Suppose f - s = -3*d, -t*d - 4*f = -5*f - 6. Solve -j = -d*j - 3 for j.
-3
Suppose -2*q - 44 = 2*q. Let t = -6 - q. Solve -t*k - 10 = -0 for k.
-2
Let m be 6/(2/9*-3). Let j = m - -13. Solve 2*n - 8 = j*n for n.
-4
Let v(x) = -x**3 - x**2 + x - 7. Let r be v(0). Let l = r - -8. Solve 0 = 5*g - 4 - l for g.
1
Let n(l) = -l + 10. Let f be n(10). Solve f*o = -5*o - 20 for o.
-4
Let i = -3 - -13. Suppose 1 = 3*f - 8. Suppose -2*u = a + f*a + 2, 0 = 4*a - 2*u - 18. Solve 0*c = -a*c - i for c.
-5
Suppose 5*v + d + 4 = 0, v - 3*d + 0*d - 12 = 0. Let i = 20 - 16. Solve 4 = -v*f + i*f for f.
1
Let c be ((-4)/(-6))/((-2)/(-129)). Suppose 4*j + 5*k = j + 88, -3*j + 3*k + 72 = 0. Suppose 2*d - j = -3*a, -3*d - 4*a + c - 6 = 0. Solve -2*f + d = -3 for f.
5
Let o = 2 + -20. Let q = o + 22. Solve q*g + 15 = g for g.
-5
Suppose 2*j - 5*g + 14 = 5*j, -5*j = -4*g - 11. Solve -5 + j = 2*t for t.
-1
Let d(m) = -2*m + 5. Let z be d(5). Let t = 5 + z. Solve 3*g - 4*g + 5 = t for g.
5
Suppose -37*p + 42*p = 15. Solve 0 = p*l + 4 + 2 for l.
-2
Suppose -4*q + 15 = -4*p - 49, -4*q - p = -59. Solve -z - 2*z - q = 0 for z.
-5
Let y = -54 - -57. Solve -3*k + 4*k = y for k.
3
Let b be (-43)/(-3) - (-6)/9. Let p(h) = -h**2 - 4*h + 4. Let y = -7 - -3. Let f be p(y). Solve -f*o - b = -7*o for o.
5
Let b be 28/(-4)*(-4)/2. Suppose -b - 14 = -2*v. Suppose 5*m = 4*i + 12, -i + 6 = 3*m - 2*m. Solve -m*u + 6 = -v for u.
5
Let p(i) = i + 3. Let x be p(-1). Solve -15 = -x*y - y for y.
5
Suppose 45*h - 44*h = 0. Solve -x - 2*x + 9 = h for x.
3
Suppose 0 = z + 2*z + 42. Let r = -9 - z. Let k = r + -3. Solve 0*p = -k*p for p.
0
Let j(d) = d - 3. Let n be j(5). Solve -n*q - 12 = -5*q for q.
4
Let p be (-1)/(-2)*2 - 2. Let v be -4*(-6)/4 + p. Suppose -s + 1 = 3*x, -v*x + 2*s + 3 - 5 = 0. Solve x = l - 5 + 1 for l.
4
Let z(k) = k - 2. Let b be z(2). Solve -5*u - 3 - 12 = b for u.
-3
Let w(s) = -s**2 - 3*s - 2. Let k be (-2)/6*(4 - -2). Let u be w(k). Solve u = 5*t - 13 + 3 for t.
2
Let l = -22 - -23. Solve 3*z = 4 - l for z.
1
Let p be 1 + (-1 - -1) + -27. Let c be p/(-8) + (-2)/8. Suppose -c*h + 9 = 3*l, l - 3*h = -0 + 3. Solve -7*u = -l*u for u.
0
Let q = -1 - 2. Let d be 2 - 0*q/(-6). Solve 0 = 2*z + 12 - d for z.
-5
Let k be 6/21 + (-132)/(-28). Solve -4*g = k + 3 for g.
-2
Let o(u) = -u**2 + 8*u - 10. Let p be o(7). Let v be (40/12)/((-2)/p). Solve 7 = v*t + 32 for t.
-5
Suppose q + 2*q - 18 = 0. Let g(k) = -6*k - 4. Let o be g(-1). Solve d - o = -q for d.
-4
Let s be 4 + 8*44/8. Suppose -6*p - 12 = -s. Solve 4*t + p = t for t.
-2
Suppose -2*f + 5*k = 13, -f - 4*k = 4*f - 50. Suppose q = -q - f. Let y = -1 - q. Solve y*h = -2*h for h.
0
Let a(n) = -n**3 - 3*n**2 - 2*n + 4. Let r be a(-3). Suppose r = 4*u - 2. Suppose 7*v = u*v + 36. Solve c = 4*c + v for c.
-3
Let m be 8/(-3)*(-3)/(-1). Let t = m + 12. Solve 8*q - t*q = -16 for q.
-4
Suppose 0*f = 3*f. Suppose f = -q - 3*q + 16. Solve -4*w + q = -4 for w.
2
Let u = -7 - -5. Suppose 3*y + d = -1, 0*d + 3*d = 2*y - 3. Let h = y - u. Solve -2 = a + h for a.
-4
Let m(b) = -2*b - 8. Let h be m(-7). Let k be (h - (2 - 0)) + 0. Solve -k = 3*d + d for d.
-1
Suppose 3*i - 8 = i. Let h be i/(-3)*(-6)/4. Solve 5 = -t + h*t for t.
5
Suppose -15 = -3*j - 3*l, 7*l - 10 = -2*j + 2*l. Suppose -2*u + j*f - 12 = 0, 11 = 4*u + 3*f - 17. Solve -m - u = -5*m for m.
1
Let g(v) = -v + 7. Let i be g(4). Suppose -3*y - 4*d = 2 - 34, 2*y = 5*d - 17. Solve y*w - i*w = -5 for w.
-5
Let u(l) = l**3 - 2*l**3 + 4*l + 0 + 3 - 3*l**2. Let o be u(-4). Let i be 37/3 - 1/3. Solve -i = -6*t + o*t for t.
4
Suppose -3*f - 4 = -16. Solve -3*p + 1 = f for p.
-1
Let a(z) = -z**3 + 3*z**2 + 5*z - 3. Let o be a(4). Let j be (-3)/(-1)*(-4)/(-6). Suppose -o - j = -r. Solve -4 = -r*x - 1 for x.
1
Suppose -8*c + 22 + 10 = 0. Solve -4*q = -0*q + c for q.
-1
Let r be 6*3*(-4)/(-36). Solve -r*z + 10 = -0*z for z.
5
Let p(q) = -2*q - 2. Let s be p(-3). Suppose -a + 15 = s*a. Solve 2*k = a*k - 5 for k.
5
Let y = 0 + -2. Let l be (3/y*-4)/2. Solve l*p + p = -12 for p.
-3
Suppose -18 = q + 4*j, 5*j - j + 12 = -4*q. Suppose -y - r + 10 = -4*r, -q*r = -3*y + 23. Suppose y*k - 10 = 5*k. Solve 2*n = k*n - 9 for n.
3
Let v = -68 + 70. Solve -2 - v = 2*c for c.
-2
Let i = 6 - 4. Let g be ((-2)/(-3))/(i/24). Suppose -2*d - 2*d - p + 5 = 0, -4*p = -3*d + 18. Solve 0*f = -d*f + g for f.
4
Let j(t) = t**2 - 4*t. Let x be j(6). Suppose 0 = -4*h + 5*g, -1 = 3*h - 0*h - 4*g. Suppose h*n - 32 = 4*q, -5*n + 10 - 2 = 4*q. Solve -l - x = -n*l for l.
4
Let o(d) be the second derivative of d**5/20 + 7*d**4/12 - 7*d**3/6 + 11*d**2/2 - 2*d. Let n be o(-8). Solve u = -1 - n for u.
-4
Suppose -22 = -5*w - 17. Solve 0 = -3*c + 2*c - w for c.
-1
Let l(o) = -o**3 + 5*o**2 + o - 6. Let b be l(5). Let y = 9 - 15. Let w be (2/3)/(b/y). Solve 12 = w*p - p for p.
4
Let v(d) = d**2 + 9*d + 11. Let n be v(-8). Solve 0*p = n*p + 6 for p.
-2
Suppose 3*u - 7 = -t, 0*u - 3*t = 2*u. Suppose -23 = -4*a - u. Suppose -2*w + 25 = a. Solve c + c = -w for c.
-5
Suppose 2 - 12 = -5*q. Solve 0 = q*r + r for r.
0
Let y(b) = -2*b - 8. Let q be y(-5). Solve 0 = g + 3 - q for g.
-1
Suppose -4*d - d + 38 = z, 5*d = 3*z - 14. Let r = z + -21. Let j be (-22)/r - (-5)/20. Solve 12 + j = 5*q for q.
3
Suppose s - 7 = 5*p, 5*p = -3*s + 45 + 16. Let l = s + 3. Suppose -l = -3*r - 2*r. Solve 3 + 1 = -r*w for w.
-1
Let n(z) = -z**2 + 14. Let d(y) = y + 1. Let t(b) = 5*d(b) - n(b). Let x be t(-7). Solve -4 - 6 = x*p for p.
-2
Let d be 2*-1 + 4*3. Suppose -3*z - 2*z + 5*k = d, 3*z + 10 = 5*k. Suppose 5*c - 20 = 0, 0 = 5*b + c - 0*c - 9. Solve z = -q + 2 + b for q.
3
Let f(y) = -y**3 - 5*y**2 - 4*y. Suppose 2*k + 3 = 3*k. Let b = -1 - k. Let s be f(b). Solve -t = -s*t for t.
0
Suppose 2*p + 2*t + 4 = 0, 0 = p + p + 4*t + 14. Suppose -8*j = -p*j. Solve j*a + 5 = a for a.
5
Let z be 9/2*(-4)/(-6). Suppose -z*l - l = 0. Let k = -1 + 16. Solve 3*d - k = -l for d.
5
Suppose 0 = 3*u - 0*u + 5*l - 69, 5*u = 4*l + 115. Let k = -16 + 19. Suppose c + u = 2*q + k*q, 5*c - 30 = -4*q. Solve 3*x - q*x = -10 for x.
5
Suppose 0 = -19*l + 14*l. Solve 0*j + 2*j - 8 = l for j.
4
Let r = 1 - -7. Solve 5*t - 3*t = r for t.
4
Let r(f) = -f + 2*f + 2*f - 5*f. Let q be r(-2). Solve 0*w - q = -w for w.
4
Let j(z) = z**3 + 5*z**2 - 7*z - 3. Let w = -6 - 0. Let d be j(w). Suppose -4*n = -f - 14, -7 + d = 2*f - 2*n. Solve f*b = -3*b - 25 for b.
-5
Let z(b) = -6*b - 2. Let r(u) = -2*u**3 - u**2 + u. Suppose -d + 1 = -0. Let y be r(d). Let q be z(y). Solve -s - s = q for s.
-5
Suppose 4*i = 3*i + 8. Let b be 34/i + 6/(-24). Suppose 5*j - 1 = b. Solve 4 = -l - j for l.
-5
Suppose g - 50 = -0*g + 2*s, -g - 2*s = -42. Let z = g + -28. Solve -2 - z = 4*i for i.
-5
Suppose 3*t + 2*k - 3*k = -22, 2*k = 2. Let x = t - -5. Let g(a) = -a**2 - 6*a - 3. Let q be g(x). Solve -q*i = -i - 8 for i.
2
Suppose 0 = -4*i + 5*h + 19, -2*i + 16 = 3*h + 1. Suppose 3*v - i = 2*c + 1, -21 = c - 5*v. Solve 3*f = 4*f + c for f.
-4
Suppose 3*h + 7*h = 50. Let n be 2 - 0 - (0 - -1). Solve n = c + h for c.
-4
Let g = -4 - -6. Let o = 1 - -3. Suppose -o*v + g*v = 0. Solve -u + 5*u = v for u.
0
Suppose 3*g - 5 = 4*g + 5*h, 53 = 5*g - h. Suppose 0*v + g = 5*v. Solve n + n = -v for n.
-1
Suppose -a - 17 = 4*y - 6*a, -5 = -a. Let o be ((0 + 0)/y)/1. Let h be 0 - 0 - (1 - 4). Solve -m - h = -o*m for m.
-3
Let o be (-2)/(6/(-9) - 0). Let p be (16 - 1)*(-2 - -3). Solve -o*k - p = 2*k for k.
-3
Suppose -55 = -5*f + 2*o, o + 2*o + 24 = 3*f. Let d = f - 6. Solve j = 3 - d for j.
-4
Suppose -4*q + 2*q + 20 = -5*r, -r + 19 = -5*q. Let 