Let v be u(2). Suppose -2*x = v - 2. Let n be (-2 + x)*(-14)/21. Solve -n*k = 2*k - 12 for k.
3
Let j(w) be the first derivative of -w**2 + 5/3*w**3 + w - 3. Let d be j(1). Solve -d*s - 4 = -3*s for s.
-4
Suppose -4*p + 0*o - 34 = -2*o, 0 = -3*o + 3. Let q be (p/10)/((-11)/110). Let i be (-2 + q)/2 - 0. Solve -i*y - 1 = 2 for y.
-1
Let u be 358/8 + (-5)/(-20). Let a = u + -42. Solve 5*o = a*o for o.
0
Let b(l) = 2*l**2 + 11*l - 2. Let h be b(-6). Suppose -h*g = -2*g. Solve g = j - 4*j - 3 for j.
-1
Suppose -y - m = 0, -3*y = m - 7 - 1. Let o(x) = 9*x - 23. Let l be o(3). Solve 0 = -y*g - 8 - l for g.
-3
Let y = 19 + -15. Suppose -y = -5*n + 1. Let x = n + -1. Solve 0 = -q - x - 5 for q.
-5
Let k be (-24)/(-16) - 6/(-4). Solve k*c = 4*c + 2 for c.
-2
Let i be ((-636)/(-265))/(0 + 9/30). Solve 0*c = -2*c - i for c.
-4
Suppose 216 = 49*n - 78. Solve 0*i = n*i + 18 for i.
-3
Let z = -753 + 762. Solve -z*n + 6*n - 15 = 0 for n.
-5
Let h(c) = 0*c**2 + 2*c**2 - c + 18 - c**2. Let y be h(0). Solve -2 = 5*q + y for q.
-4
Let w be 48/21 - (-4)/(-14). Suppose -3*a + 8*a - o = -3, w*o - 6 = -5*a. Solve a = -5*z - 20 - 0 for z.
-4
Let l(i) = -i**2 - 22*i + 26. Let t be l(-23). Let a be 6/t - (-15 + -3). Let x = 4 + -1. Solve x*d + d = a for d.
5
Let w be ((-3)/2 + 1)/(2/(-8)). Let c be (-1)/1 + (4 + w)*1. Solve 3*z - c*z + 8 = 0 for z.
4
Let i be (78/72 + (-3)/4)*33. Solve i - 23 = -3*q for q.
4
Let h(i) be the first derivative of i**3/3 - 9*i - 4. Let z be h(-3). Solve 0*p - 2*p = z for p.
0
Let v be 11*1*6/6. Let l = v + -8. Suppose -6 = 3*m, 5*m - 3*m + 8 = 4*q. Solve -l = c + q for c.
-4
Let n(g) = 6*g**2 + 3*g. Let p be n(1). Solve -6 = -7*i + p*i for i.
-3
Suppose 3*r - 1 = y, 4*r + 32 = 4*y + r. Suppose -o - 5*w = -4*o - 9, -o - 3*w = -y. Solve -2*g - 6 = -o for g.
-2
Suppose -3*q = u - 6*q + 1, -7 = -u - 5*q. Suppose -d + g = -5, 7 = 3*d - u*g - 7. Solve 0 = -3*b + d*b - 3 for b.
3
Suppose -4*y - 2*q = -20, y + 0*q = 4*q - 13. Let m be -16 - 3/y*-1. Let p = m + 18. Solve -p*v - 2*v = 0 for v.
0
Suppose 2 = -2*c - 2. Let t be (2 + -2)*(-2)/c. Suppose s + 1 - 2 = t. Solve -s - 11 = -3*j for j.
4
Suppose 2 - 6 = -i. Suppose i*o + f - 20 = -3*f, f - 5 = -2*o. Solve 6*y - y + 25 = o for y.
-5
Let a be -3*(-12)/54 - (-112)/12. Solve -a*t = t + 44 for t.
-4
Let r(j) = j**2 - 7*j + 2. Let z be r(7). Suppose -g = z*g. Suppose 3*n - 11 = -2. Solve g = -4*c + n*c + 3 for c.
3
Let v(n) = n**2 - 9*n + 24. Let r be v(7). Suppose 4*k - r = 3*s, 2*k - 14 = 3*s - 6*s. Solve 2*u = u - s for u.
-2
Suppose -10 = 4*u - 22, 4*g - 2*u + 6 = 0. Suppose 5*h - b = 14, -2*h = -45*b + 46*b. Solve g*j + j - h = 0 for j.
2
Let p(a) = -a**3 + 5*a**2 - a + 3. Let s be p(5). Let i(q) = 5*q**2 + 50*q + 40. Let x be i(-9). Let z = s - x. Solve 3*h - z - 3 = 0 for h.
2
Suppose 4*j = 5*s - 101, -4*s = -3*j + 6*j - 56. Let m(g) = 1 - s*g + 5*g + g**2 + 2 - 1. Let y be m(12). Solve -y*w - 5 = -w for w.
-5
Let s be 1/(-3)*(-12)/1. Let v(m) be the third derivative of m**5/60 - m**4/6 + 2*m**3/3 - 4*m**2. Let x be v(s). Solve b - x = 3*b for b.
-2
Suppose 4*t + 5*d - 23 = 0, -3*d - 9 = -6*d. Solve -6 + 16 = -t*h for h.
-5
Suppose 17*k - 111 + 77 = 0. Solve -67 = -k*t - 75 for t.
-4
Let g = -6 + 7. Let p = 1 + g. Suppose 4*u - 4 = 0, -y + 2 = 3*y - p*u. Solve 4*a + y + 3 = 0 for a.
-1
Suppose -5*o - 3*k + 11 = 2, -12 = -3*o - 4*k. Let d(c) = c**2 + 39*c + 142. Let v be d(-35). Solve v*m - m + 2 = o for m.
-2
Suppose 12 = 4*l + 4*u, -23*l - 4*u + 9 = -20*l. Solve -x + l = 7 for x.
-4
Suppose 22 - 64 = -5*i - 2*c, -4*i - c + 36 = 0. Let d be (-9)/2*i/(-15). Solve 4*f + d = 5*f for f.
3
Let i = 29 - 24. Let w be (-10)/(-6) + 4/12. Suppose 0 = -2*a + a + w. Solve -a*t = -7*t + i for t.
1
Let i(q) = q**2 + q - 3. Let h be i(-4). Suppose 4*z + 2*d - 30 = 6*z, -2*d - 20 = 3*z. Let m = z + 13. Solve m*j + 0*j + h = 0 for j.
-3
Let f = -41 + 49. Solve -2*i - 4 + f = 0 for i.
2
Let q be (0*(-3)/9)/1. Let y be 1/(q - (-1)/4). Solve -21 - y = -5*r for r.
5
Let j be (-1)/(1 - (-6)/(-5)). Let u(v) = -6*v + 58. Let m be u(8). Suppose -4*g - m = -i, 4*i - 5*g = 13 + j. Solve 5*q - 6 = i*q for q.
2
Let s(z) be the first derivative of z**5/24 - z**4/24 - z**3 - 1. Let x(l) be the third derivative of s(l). Let t be x(1). Solve -a = -5*a + t for a.
1
Let n be (-2)/3 - (-28)/6. Suppose 2*q - 138 = -134, -3*d - 2*q + 10 = 0. Solve n*v = 6 - d for v.
1
Suppose -18*l + 16*l + 10 = 0. Solve -l*t = -41 + 51 for t.
-2
Let j(u) = u**2 - u - 5. Let n be j(-4). Let x be (-10)/n - (-22)/6. Suppose 0*o = -3*l - o + 44, -3*o + 48 = x*l. Solve l = -5*q - 1 for q.
-3
Let r(g) = 36*g - 20. Let h be r(3). Suppose 18*n - h + 34 = 0. Solve u - 20 = -n*u for u.
5
Suppose -2*w + 11 = -11. Suppose 33 + 0 = w*x. Solve -2*o + o = x for o.
-3
Suppose 4*r = 40 + 12. Let k = -9 + r. Suppose -3*s + 5*c + 40 = -0*s, 0 = s - c - 10. Solve -k*f - 1 + s = 0 for f.
1
Let u = 39 + -50. Let r be u/(-3) - 16/(-12). Solve -4*d + r*d = 3 for d.
3
Let b = 52 - 77. Let h = b - -37. Solve 0 = 3*g + g + h for g.
-3
Let o(q) = -q**3 + 5*q**2 + 7. Let d = -10 - -7. Let g be ((-50)/(-15))/((-2)/d). Let s be o(g). Solve -5*t - 3 - s = 0 for t.
-2
Let m(v) = 8*v + 1 - 9*v - 10*v. Let a be m(-1). Suppose 3*i + a = 87. Solve 5*g - i = -0 for g.
5
Suppose 0 = 3*w + 4*x - 3*x - 17, 29 = w + 5*x. Solve -w*a = -7*a for a.
0
Let g(z) = -z**2 - 11*z - 26. Suppose 3*u + 20 = -q + 1, -2*u = -5*q - 27. Let b be g(q). Solve -y + 2 = -b for y.
4
Suppose 0 = w - 1, 4*w = -5*n + w - 37. Let k = n - -5. Let u = 6 + k. Solve 0 = 6*p - u*p - 15 for p.
5
Suppose 4*j - 42 = -2*n, -2*j + n + 5 = -6. Suppose -3*q + x + 4*x = -30, 5*x = -15. Solve -q*a - j = -a for a.
-2
Let q = -2 + 5. Suppose -5*j = -10*j - 5*x - 5, -q*j - 5*x - 9 = 0. Suppose d - j - 3 = 0. Solve 0 = d*p - 3*p for p.
0
Let i(z) = -2 + z**2 - 4*z + 3 + 0*z**2 + 3*z. Let y be i(-2). Suppose 3*q - 2*n = 0, -4*q + n = 2 - y. Solve 2*g + q = -0*g for g.
-1
Suppose -2*f + 3*g + 10 = 0, f = -3*f - 5*g - 2. Let b = 5 + f. Let s(x) = x - 6. Let c be s(b). Solve -2*a - 9 = c for a.
-5
Let q be (-58)/18 + 2/9. Suppose -4*v - 6 = -j - 3*v, -4*v = j + 19. Let y = j - q. Solve -y*m = m + 10 for m.
-2
Let i(l) = 16*l - 3 - 10*l**3 - 11*l**2 + 2 + l**2 + 9*l**3. Let c be i(-11). Let z be (-3)/(-21) + (-104)/c. Solve z*b = 4*b + 4 for b.
-2
Let g(b) = b**3 + 5*b**2 + 4*b - 3. Let d be g(-4). Let l be d/(-4) + 52/16. Suppose l*z - 7 = 5. Solve 2*t = 3 + z for t.
3
Suppose -y - 6 = 2*v, -v - 8 + 5 = 5*y. Suppose y*i + 9 = i + 2*t, -t = 5*i - 27. Solve b + 0 + i = 0 for b.
-5
Let x(g) = -g**3 + 7*g**2 + 16*g + 30. Let l be x(9). Solve l*i = 8*i + 4 for i.
1
Let v = -2348 - -2354. Solve -v*q = -3*q + 3 for q.
-1
Let f(h) = -h - 13. Let l be f(-17). Suppose -l*t = -3*q - 6, -2 = t + 3*q - 2*q. Solve v - 5*v = t for v.
0
Suppose 0 = 33*f - 9*f - 144. Solve -5 - 7 = -f*x for x.
2
Let i(o) be the second derivative of o**4/12 - 11*o**3/6 + 5*o**2 + 12*o. Let w be i(11). Let y = w - 6. Solve -12 = y*x - x for x.
-4
Suppose 4*r = -3*f + 76, 0 = 3*r + 2*f - 16 - 42. Solve r*m + 8 = 20*m for m.
-4
Suppose 0 - 25 = -5*b. Suppose 3 - b = -p. Let w be (-3)/(-2)*p/3. Solve -3 + w = -u for u.
2
Let u(j) = 16*j - 29. Let g be u(5). Let d = g + -46. Solve d*k + 9 = 2*k for k.
-3
Let u be 0 + 0 + (13 - 13). Solve -7*h = -u*h + 35 for h.
-5
Let n(q) = -q + 4. Let x be n(4). Suppose -b - 3 = 4*c, 3*c - 259 = 3*b - 280. Solve 3*t + 4 + b = x for t.
-3
Suppose -14*y = -8*y - 12. Suppose -6*o + y = -5*o. Solve 0*c + o*c = 2 for c.
1
Let r(q) = 5*q + 34. Let w be r(-5). Solve -w = -5*l - 29 for l.
-4
Let x(v) = 2*v**2 - v. Let u be x(1). Suppose 47*z = -30 + 124. Solve 5 = -z*a - u for a.
-3
Let b be 2*2 - 187/(-17). Suppose 6*f + 6 = 36. Solve f*i - b = -0*i for i.
3
Let v be (-1)/1 + 3 + 0. Suppose -6 = -v*i - 2. Let t be ((-5)/i)/(2/(-12)). Solve -5*d - t = 5 for d.
-4
Suppose 0 = k - 4 + 1. Let l = -12 + 20. Suppose -l = 4*y - 2*t, -2*y - 5*t = -k*t - 8. Solve y = 4*m - 3 - 1 for m.
1
Suppose -2*f + 14 = -f - 3*t, -2*t - 4 = 0. Solve -4*m = -2*m + f for m.
-4
Suppose -6*v = -c - 7*v + 9, -3*v + 7 = -2*c. Solve -i - c*i + 5 = 0 for i.
1
Let z be (9/12)/(7/252). Let r = 27 - z. Solve s = -r*s + 1 for s.
1
Suppose 3*p - 2 = -a, -2*p - a = 3 - 5. 