t x(k) = 2*k - 10. Let f be x(7). Suppose 0*v + 2*t - 10 = -f*v, 5 = -3*v + t. Let a be (1 - v)*(2 + -1). Solve 2*w - a = 9 for w.
5
Let s be ((-2)/4)/(1/(-10)). Solve 0 = s*n - 2*n + 6 for n.
-2
Suppose 4*s - 7 = 3*p + 9, -32 = -4*s - p. Let b = s - 4. Let z = 0 - -7. Solve 5 = -b*n - z for n.
-4
Let k = -43 - -74. Let q = -58 + k. Let b be (-141)/q + 4/(-18). Solve -12 + 32 = -b*r for r.
-4
Let g(c) = c**3 + 7*c**2 + 3*c - 13. Let m be g(-6). Solve 2*i - m = 1 for i.
3
Let r(h) = -2*h + 2 - h**3 - 5*h**2 + 0*h + 0*h**2. Let x be r(-4). Let n be 0 - x - (1 + 0). Solve 0 = n*j - 3*j for j.
0
Suppose 4*l - 3*z + 6 = 4, 0 = 5*l + 4*z + 18. Let t be (-2)/(-4)*(-2 - l). Solve -4*c = -t*c for c.
0
Let o(m) = -m + 4. Let c be o(4). Suppose 18*u = 20*u - 6. Suppose 4*z - u*z = c. Solve z = -0*b + b + 3 for b.
-3
Let a = 40 + -34. Solve 0 = -2*z + a*z for z.
0
Let k be (-2 - 15/(-6))*12. Let h = -1 + k. Suppose -h*l + f + 2*f + 3 = 0, 2*l - f - 1 = 0. Solve -5 = -l*b - b for b.
5
Let a(m) = -5*m - 2. Let s be a(-1). Suppose o = -0*o + 2. Suppose -3*v - 3 = -5*x, -4*x - 3*v + v - o = 0. Solve -s*l + l = x for l.
0
Suppose 4*l - 54 = -3*x, -l + 2 + 16 = 3*x. Suppose -s = 6 - 22. Suppose -3*v + 3*r = 2*r - s, 2*r - 4 = 0. Solve -2*u = -v*u + l for u.
3
Let p = 83 + -83. Solve p*o = 3*o - 3 for o.
1
Let b be ((-2)/(-2) - 4) + -3. Let n(y) = -y - 2. Let x be n(b). Solve 20 = x*o - 9*o for o.
-4
Let a = -1 - -3. Suppose 0*z - 3*z + 24 = 0. Suppose -z = -5*b - 3. Solve 0 = 3*d + a + b for d.
-1
Let j(u) = 4*u - 6. Let i be j(5). Let t be ((-24)/i)/((-4)/14). Solve -z = -t*z - 15 for z.
-3
Let n(y) be the second derivative of -y**5/20 + y**4/3 + y**3 - 5*y**2/2 + 3*y. Let o be n(5). Solve j + o + 1 = 0 for j.
-1
Suppose 2*j = -6*j + 48. Solve y + 5 = j*y for y.
1
Suppose 0 = -6*k + 2*k. Solve -1 = -v - k for v.
1
Suppose -2 = 3*a - 8. Suppose a*s = s + 4. Solve -s*g = -g for g.
0
Suppose -n - 12 = -4*n. Let b(d) = -d**3 + 4*d**2 - d + 1. Let i be b(4). Let r = i + 12. Solve n*x - r = x for x.
3
Let h = 125 + -87. Let m be 13 + -1 - 7/(-7). Solve 5*f + m = h for f.
5
Suppose -2 = a, 3*a + 31 = 5*b + 5*a. Solve 0 = q + 3 - b for q.
4
Let v be 2/(-3)*-18 - 3. Suppose -16 = -5*a + 4*a. Suppose -4*p - 4 = -a. Solve -3*b = -p + v for b.
-2
Let i(m) = m**2 + 5*m + 4. Let s be i(-4). Suppose 5*a = -14 + 39. Solve -2*p - a + 1 = s for p.
-2
Let m be (2/(-3))/((-1)/3). Suppose -7*c = -6 - 8. Solve m + c = -b for b.
-4
Let k(w) = -w + 4. Let h be k(2). Let p be 0/(-7) - 0/h. Solve 4*v - 5 + 17 = p for v.
-3
Suppose 7*i - 13 = 1. Solve i*f - 5*f + 3 = 0 for f.
1
Suppose -2*y + 6 = -0*y - 4*d, -5*y = -4*d + 3. Let k(h) = h**2 + 3*h + 3. Let u be k(y). Solve 0 = 5*a - u*a - 10 for a.
5
Let z(g) = g**3 + g**2 + 1. Let m be z(0). Suppose -2*w = 3*w - 15. Let a = w - m. Solve -h + a*h = 0 for h.
0
Suppose 55 = i + i + l, -i + 31 = 4*l. Let g = i - 17. Solve -6 = -4*p + g for p.
4
Suppose -9 = -4*r + r. Let a = r - 3. Solve a = o + 2 - 7 for o.
5
Let z(u) = -u + 1. Let h be z(-6). Let f = h + -4. Suppose -2*m - 1 + 9 = 0. Solve m*w = f + 5 for w.
2
Let g = 8 + -19. Let y = g - -11. Solve y = 4*p - 8 - 0 for p.
2
Suppose 0 = 3*j - 2*u + 4, -3*j + j + 5*u = 10. Suppose 0 = 2*x - 12 - j. Solve -t + x = t for t.
3
Suppose -4*f - 3*j - 16 = 0, -2*f - 9 - 1 = j. Let p = 9 + f. Solve p*w + 1 = 3*w for w.
1
Let r = 12 - 11. Suppose d = -r + 3. Solve 3*a - d*a = 5 for a.
5
Suppose -18 = -v + 5*w, -v + 3*w + 22 = -6*v. Let l be (v/3)/((-4)/18). Let h be (l/1)/(-3) - -4. Solve 0*b = h*b + 3 for b.
-1
Let i(m) = m**2 + 3*m**2 + 6*m - 3*m**2. Let r be i(-4). Let p be 2/r - (-63)/12. Solve l - p = -4 for l.
1
Suppose -4*m + 36 = -m. Suppose 36 = 4*f - m. Suppose -5*o - 10 - f = d, 3*d - 4*o = 29. Solve 0 = h + d*h - 16 for h.
4
Let b(x) = x**2 + 6*x + 1. Let a be b(0). Solve 0 = -5*l - a + 16 for l.
3
Let z = 15 + -19. Let d be z - (16 + -4)/(-3). Solve -2*w + 1 - 3 = d for w.
-1
Suppose -n + w = 7, 0*n - 3*n - 2*w = 1. Let t = -1 - n. Let v be -6*((-3 - 0) + t). Solve 0 = -5*h + 2*h - v for h.
-2
Let i be ((-175)/21)/(-2 + 10/6). Solve -3*w + i = 10 for w.
5
Let g(b) = b + 4. Let a be g(0). Solve 7*i - a*i + 15 = 0 for i.
-5
Let x(c) = -4*c**3 - c**2 - c - 1. Let f be x(-1). Solve 6*a - 15 = f*a for a.
5
Suppose 2*v + 0*v - 24 = 0. Let j = -12 + v. Solve -x = -j*x - 4 for x.
4
Suppose -3*a - 5 = -2. Let l = a - -3. Solve -l*t = -t for t.
0
Suppose y - 2*f + 0 = -4, 4*f = -y + 20. Solve y = 5*a - 3*a for a.
2
Let n be 2 + 1 - (2 - 4). Solve n - 3 = -2*g for g.
-1
Let t be (-3)/(1*(-2)/6). Let g be (4 - 16)/3 + 10. Solve 5*a = g + t for a.
3
Suppose 6 = -3*s + 21. Suppose s*q = 3*r + 9, -8 = -5*q + q + 2*r. Suppose h = 3*o - 16, -q*h = -o - h + 7. Solve o = -5*c + 20 for c.
3
Let y be (-39)/15 + 3 - 48/(-5). Solve 5*z = -y - 5 for z.
-3
Let p(y) = -8*y**2 - 2*y**3 - y - 12 - 2*y + y**3 + 9*y. Let d be p(-9). Solve -d + 3 = 4*w for w.
-3
Let h = -7 + 17. Let q be (21/(-35))/((-2)/h). Suppose 3*f - s + q = 5*f, 5*f - 3 = -4*s. Solve f*p - 5*p = 0 for p.
0
Suppose f = 4 - 2. Solve 7 = f*o + 9 for o.
-1
Let v be (-4)/6 - 72/(-27). Suppose -a = -v, -2*j + 0*j + a - 2 = 0. Solve -4*h + 0*h + 16 = j for h.
4
Let b(l) = l**3 - 3*l**2 - 9*l. Let f be b(5). Solve 0 = a - 2*a - f for a.
-5
Suppose -2 = 2*x - 4*z, -x - 2*z = -0 - 3. Let c(w) = 1 - 4*w**2 + 3*w**2 + x - 4*w. Let t be c(-4). Solve -3*f - 5 + t = 0 for f.
-1
Suppose -5*y + n = -3*n + 5, y - 3*n + 12 = 0. Solve -3*p = -y - 3 for p.
2
Let m be (0 - (-6)/(-9)) + 12/18. Let q be 26/8 - 3/12. Solve m = a + q for a.
-3
Let h(q) = q**3 + 10*q**2 - 26*q - 18. Let a be h(-12). Let y be (-1)/(-4) + (-83)/(-4). Solve a - y = -5*i for i.
3
Suppose -9 = 3*f, t - 3*f = 2*t + 5. Solve -t = -q + 5*q for q.
-1
Suppose -16 = 2*j + 7*m - 3*m, 4*j + m = -4. Suppose -3*t + j*t = -21. Solve -t*a = -3*a - 8 for a.
2
Suppose 0 = -4*a + 5*a. Let z = 0 - 0. Let r be (z/(-3) + a)/(-1). Solve -u - u = r for u.
0
Suppose -d + 6*d - 25 = 0. Solve -3*x + 2*x - d = 0 for x.
-5
Suppose z - 4*t - 5 = 9, 8 = -4*t. Solve z*h = h + 10 for h.
2
Let x(f) be the third derivative of f**5/60 + f**4/12 - f**3/2 + 3*f**2. Let d be x(-3). Solve 1 = -d*z - z for z.
-1
Let z(j) = -j**3 + 20*j**2 - 19*j + 1. Let y be z(19). Solve 5 - y = q for q.
4
Suppose 6*i - 61 = i - f, -4*i - f = -49. Suppose 3*d = 5*v + 24, d = -4*v - v - i. Suppose -2*q + 2 = 2*j, 3*j = -0*q + 3*q - d. Solve -k + 2 - 1 = j for k.
1
Let w = -4 + 6. Let p(v) = 3*v**2 - 2*v. Let g be p(w). Solve -4*c = -2*c - g for c.
4
Suppose -5*i + 4*g = 5, 2*g - 1 = i - 0. Let p be ((-2)/(-4)*-6)/i. Suppose -p = o - 8. Solve b + 0*b + o = 0 for b.
-5
Let k(r) = r**2 + 11*r + 5. Let s be k(-11). Solve 19 = s*i - 6 for i.
5
Suppose -3*l = 2*f - 14, f = -2*f + 2*l + 8. Solve 4 = -2*d + f*d for d.
2
Suppose 5*c = b - 2*b + 8, -3*c - 9 = -4*b. Solve -b*z - 11 = 1 for z.
-4
Let d be 2/5 + 96/(-15). Let x = 12 + d. Solve i = x*i + 5 for i.
-1
Suppose 5*q + 4*d - 5 + 2 = 0, -4*d - 27 = -5*q. Solve -q*m - 8 = -m for m.
-4
Let s(n) = -2*n + 49. Let v be s(17). Solve -h + v = 2*h for h.
5
Let x = 92 - 87. Solve 19 = -x*v + 4 for v.
-3
Let k(b) = b**2 + 2*b. Let q be k(-2). Suppose q = -5*l + 1 + 4. Solve -2*d + l = -3*d for d.
-1
Let v = 98 + -70. Suppose 4*j = -0*j + v. Solve 3*x - j*x = 4 for x.
-1
Suppose -6*y = -2*y + 64. Let q be (-6)/y*-2*-12. Let k = -1 + 5. Solve k = m + q for m.
-5
Suppose 0 = 12*r + 6*r - 324. Solve 4*t - 2 = -r for t.
-4
Suppose -74 = -15*c + 1. Solve c*m - 9 = 2*m for m.
3
Suppose 0 = -o - 3 - 5. Let s = o + 10. Solve s*d - 7 = -3 for d.
2
Let j = -5 + 9. Let d(x) = 4*x**2 + 2*x**3 - 2*x**2 + 4*x - 3*x**3. Let a be d(3). Solve j = -t + a for t.
-1
Suppose 2*u - 11 = 5. Solve 0*z + u = 4*z for z.
2
Let v(r) = -11*r + 3. Let f = 4 + -2. Let h be v(f). Let q = h - -27. Solve 10 = -3*k + q*k for k.
2
Suppose h = -h. Let s(w) = -w**3 + w**2 + 6. Let q be s(h). Let k = 11 - q. Solve 0*x = -k*x - 15 for x.
-3
Let z(o) = -o**3 + 6*o**2 - 6*o + 6. Let p be z(5). Let c = p - -3. Solve d + c = 1 for d.
-3
Suppose -j = 3*j - 4. Let g(y) = y + 1. Let o(k) = -8*k - 7. Let l(m) = -6*g(m) - o(m). Let h be l(j). Solve 0 = -3*r - 0 + h for r.
1
Let t(b) be the first derivative of b**3 + b - 2. Let n be t(-1). Suppose z - n 