4*c(j) + 3*k(j). Let a be n(1). Suppose -7*x - 42 = -14*x. Solve -o + a - x = 0 for o.
-2
Let n = -53 + 57. Suppose 0 = 4*b - n*j - 96, 2*b - 20 = -5*j - 0*j. Suppose -2*q + 0*q = 0. Solve -3*v - 8 + b = q for v.
4
Suppose 5*j + 0*j = 240. Suppose 2*b + 0 = j. Let v = b - 21. Solve 4 + 5 = -v*r for r.
-3
Let n(y) = -y**3 + 4*y**2 + 4*y + 7. Let o be n(5). Let g be (-7 + 4)/((-6)/(-4)). Let c = g - -2. Solve 0 = -c*u - o*u - 8 for u.
-4
Let y(p) = 4*p**2 - 6*p + 24. Let w be y(7). Let v = 183 - w. Solve -2*f - 13 = -v for f.
-4
Let u be (-390)/(-90) - (-1056)/18. Solve u*h = -22*h + 170 for h.
2
Suppose 11*w + 47 = 1070. Suppose 4*a - a + 100 = -v, 5*a = v + 76. Let i = w + v. Solve 0 = -i*y - 0*y + 2 for y.
1
Suppose x + 7 = -2*j, x - j - 4*j = 28. Solve -x = -6*v + 3 for v.
1
Suppose -4*w + 3*k = -352, -4*w - 5*k - 43 = -427. Solve 27*y = -17 - w for y.
-4
Let a be ((-4)/(-6))/((-6)/423). Let l = a - -54. Let f = l - 4. Solve 5*y = f*y + 6 for y.
3
Let v(l) = -36*l + 11*l + 11*l - 117 + 5*l. Let d be v(-13). Solve d*b + 5*b = -25 for b.
-5
Let q be -3 + ((-8)/(-14) - (-39)/91). Let h be 2 + 0 + -1*(q - 0). Suppose -2*u + 16 = -2*y, -y + h*y + 42 = 5*u. Solve -3*z - u = -0*z for z.
-3
Let j be -10 + 0/(-1) - -19. Solve j*z = 21*z + 60 for z.
-5
Let i = -116 - -99. Let a be (-6*i/3)/2 + 1. Solve 15 = n + a for n.
-3
Suppose 199*s - 47*s = 85*s. Solve s = 81*v - 70*v for v.
0
Suppose 185 - 145 = 8*o. Suppose 5*l - 4*l - o*x = -19, 2*l + 7*x - 30 = 0. Solve 5*w - 14 - l = 0 for w.
3
Let n be -1*(10 + -6 + 0). Let g be -7 - 8/n*5. Solve 1 = g*h + 13 for h.
-4
Let u(s) = -9*s + 59. Suppose -4*j + 20 = -6*y + 2*y, -3*j = 4*y - 22. Let q be u(j). Solve -2 + q = -r for r.
-3
Let j(i) = i**2 - 4*i + 5. Let c be j(3). Let s = 9 - c. Suppose -s*z + 10 = -2*z. Solve 8 + z = -2*x for x.
-5
Suppose 3*i - 10 = -g + 4, -3*i - 9 = 0. Let s = 31 - g. Solve -s*t = -9*t + 3 for t.
3
Suppose 9 = 3*a, -3 - 3 = z - 4*a. Let p be (0 + -2)*(37 - 2765/70). Solve -z*y = -p*y for y.
0
Let h(m) = -m**3 + 5*m**2 + 3. Let b be h(5). Let w be (-4)/(-12)*b*5. Suppose 0 = -4*j + w*d - 1, -3*j - 2*d = d - 33. Solve -2*a = -j*a + 8 for a.
2
Suppose -258 + 57 - 207 = -12*o. Solve -2*u + 38 - o = 0 for u.
2
Let j be 103/5 + ((-12)/5)/(-6). Let z be (-9)/j + (-402)/(-7). Let r = -57 + z. Solve v + r*v = 1 for v.
1
Suppose -12*j + 181 = -107. Suppose -3*t - h + 13 = 0, 4*t + 2*h = -h + j. Solve -4*b = -t - 9 for b.
3
Let h = 8934 - 8873. Solve -25*p + 14 = -h for p.
3
Let r(m) = -m**2 - 11*m - 4. Let h be r(-7). Solve -79*v + 76*v - h = 0 for v.
-8
Let y be (-279820)/(-2469)*((-12)/(-5))/(4/6). Solve 84*j + 18*j = -y for j.
-4
Suppose 2484 = 59*l - 489 - 803. Solve -120*z + l = -136*z for z.
-4
Let b = 303 - 289. Solve 15 = b*v + 113 for v.
-7
Suppose 6*r - 7*r - 30 = -5*a, 4*a = 2*r + 24. Suppose -a*j + 8 = -4. Solve -j = -l - 5 for l.
-3
Suppose 129 = 2*g - 5*s, 3*g - 69 = 2*g + 3*s. Solve 43*x + 345 = -g for x.
-9
Let f be (-3 + -3)*(8 - 495/54). Solve 0 = -3*k + 2 + f for k.
3
Suppose -9*i + 29*i - 260 = 0. Suppose i*g + 20 = 17*g - r, -3*r - 24 = -3*g. Solve 15 = -9*v + g*v for v.
-3
Let v(i) = 6*i**3. Let q be v(1). Suppose -15 - 3 = -q*p. Let h(k) = -k**3 - 19*k**2 - 19*k - 17. Let f be h(-18). Solve m + f = -p for m.
-4
Suppose 3*d = 5*d + 4*d - 42. Solve -5*u - d = 13 for u.
-4
Let s(q) = -7*q**2 + 0*q - 3*q**2 - q + q**3 + 11. Let p be (70/28)/(-4*7/(-112)). Let x be s(p). Solve -x - 9 = -2*j for j.
5
Suppose -4 = -p + 34 + 2. Solve -239*g - p = -229*g for g.
-4
Let s = 200 + -190. Let v be 3 + 0 + s/(-30)*6. Solve v = 2*r + 7 for r.
-3
Let g = 4031 + -4029. Let r be (-2 + -4)/((-6)/4). Suppose -7 = -u + g*n - 5, -4 = r*n. Solve 4*f + 0 + 16 = u for f.
-4
Let p(d) = d + 2. Let s(l) = 26*l + 48. Let w(g) = -6*p(g) - s(g). Let r be w(-2). Solve r = -2*k + 12 for k.
4
Let v be (26/12 - 0)/((15 + 6)/378). Solve 27 + v = 11*n for n.
6
Let h(b) = 2*b**2 + 108*b + 738. Let n be h(-46). Solve -55*v - 332 = -n for v.
-6
Let h(k) = -532*k - 613. Let c be h(-3). Solve c = -2*x + 977 for x.
-3
Let x = -98 + 108. Suppose -3*k + x + 19 = z, 5*k - 79 = -3*z. Solve 3*g + 8 = z for g.
5
Let y(f) = -4*f**2 + 2*f + 477 + 3*f**2 + 2*f - 463. Let r = 19 - 13. Let t be y(r). Solve 0*u = t*u - 6 for u.
3
Let x(z) = -8*z + 4. Let j be x(-1). Suppose j*k - 55 + 7 = 0. Solve k - 3 = -q for q.
-1
Let f(r) = -95*r - 356. Let v be f(-4). Suppose 3*b - 15 = u, b - 2*u - 5 + 0 = 0. Solve c - v = -b*c for c.
4
Suppose -72*r + 610 = 466. Solve r*j + 44 = 28 for j.
-8
Let a(x) = -22*x**3 - x**2 + 4*x + 3. Let h be a(-1). Suppose -37*l = -h*l. Solve l*n = -7*n + 28 for n.
4
Let c = -385 + 411. Suppose c + 49 = 15*w. Solve -w*k = -2*k + 9 for k.
-3
Let y(f) = 2*f - 12. Let d be y(8). Suppose -3*g + 10 = d. Suppose 6*p - 16 = -g*p. Solve -5*s + 22 - p = 0 for s.
4
Suppose 0 = -5*k + 3*b + 472, b + 110 = 3*k - 170. Solve 120 = -k*s + 72*s for s.
-6
Suppose j - i = 171, -j + 4*i + 171 = -i. Let t = -161 + j. Solve 9*a = 4*a + t for a.
2
Let u be (-57)/(-38) + 26/(-4). Let y(p) = p**2 + 5*p + 10. Let n be y(u). Suppose -3*h = n - 22. Solve 5*a = h*a + 5 for a.
5
Let y be 1 + 1/((-2)/(-4)). Suppose 0 = -7*g + 1 + 27. Suppose -z - z + g*p = 2, 0 = 3*z + 5*p - 8. Solve z = o + y for o.
-2
Suppose f - 3*m = -0*m - 8, -5*f - 21 = 4*m. Let o be (2/f)/(21/(-1260)). Let j = 26 - o. Solve 3*l = -j*l for l.
0
Suppose 3*p + 2 = -2*w, 3*p = 4*w - 9 - 5. Let f(m) = 2*m**3 - 6*m**2 - 10*m + 11. Let q be f(4). Let t be q - 3 - (3 - 6). Solve -w*g = -g + t for g.
-3
Let l(i) = i**3 + 15*i**2 - i - 25. Let p be l(-15). Let h be (3 + -2 + p)*2/(-6). Solve 4 = h*c - 2 for c.
2
Let z = 39140 + -39140. Let c(h) = -h**2 - 5*h + 8. Let r be c(-6). Suppose 5*m + 9 = 2*q, r*m = -2*q - 1 + 3. Solve -4*s - q - 6 = z for s.
-2
Let n be -2 + 1 + 3 + 1. Suppose 0 = -n*u - 6*u. Solve 4*j - 4 - 8 = u for j.
3
Let y(a) = a**3 + 7*a**2 + 5. Let i be y(-7). Let t be 18/(-207) - (-12326)/(-23). Let b = t + 541. Solve 0 = b*v - i for v.
1
Suppose -12 = -13*r + 14. Suppose -r*z = 6 - 102. Let w = z - 40. Solve -u + w = u for u.
4
Suppose 501*t = -4*j + 498*t + 144, 0 = -3*t - 12. Suppose 6 = -2*h + 20. Solve -h*k - j = -11 for k.
-4
Suppose -f + 21 = -4*b, -15 = -f + 5*b + 10. Let u = -1154 + 570. Let q = -577 - u. Solve 3*x + q = -f for x.
-4
Suppose -44*p - 97*p = -28*p. Let c(y) = 2*y + 1. Let l be c(-2). Let d = 6 + l. Solve p*o - o + d = 0 for o.
3
Suppose 0 = 4*u + 29 - 37. Suppose -t - u = -3*w, 2*t = -0*t - 3*w + 5. Suppose -t = 2*g - 1. Solve g = -f - f for f.
0
Let v(o) = -o**3 - 7*o**2 - 9*o - 16. Let c be v(-6). Suppose -4*k + 26 = -22. Solve -k + 10 = -c*i for i.
1
Let s = 35 + -17. Let f be 0/(-1) + (-24 - -26). Let y be (-1)/(f/(-18)) - 4. Solve -y*i - s + 8 = 0 for i.
-2
Suppose -150*r = -329*r + 169*r + 210. Solve r = -357*y + 364*y for y.
3
Let c be (-6)/21 - (-2 - (-38)/14). Let x be -1 + 4*(-4 + 3)*c. Suppose 0 = -x*y + 4 + 2. Solve -y*o - 7 = -1 for o.
-3
Let k be 5 - (-4 - -2 - -2). Suppose -9*b = -k*b. Suppose b = -6*v + 4*v + 12. Solve -n + v*n = -20 for n.
-4
Let w(h) = h**2 - h - 4. Let o be w(3). Let q = 155 - 155. Let z(j) = j**3 + 2*j**2 + j. Let m be z(q). Solve o*n = -m - 4 for n.
-2
Suppose 75*q + 863 = 1293 + 1145. Solve 42 = 21*z + q*z for z.
1
Let m(q) = q**2 - 7*q + 18. Let y(c) = c + 1. Let b(d) = m(d) - 4*y(d). Let h be b(10). Suppose -6*z + h*z = 0. Solve z*v = 4*v + 20 for v.
-5
Let g be 10/(-3)*(-30)/25. Suppose 2*y - 10 = 4*n, 2*y - 3 = -g*n - 1. Solve -6 + y = a for a.
-3
Let y(h) = h**3 + 2*h**2 - 201*h - 593. Let q be y(-3). Suppose 4*i + 20 = 9*i. Solve -q = -i*g - 5 for g.
-1
Let p = 3647 - 3627. Solve 4 = 16*w - p*w for w.
-1
Let h(r) = r**3 + 4*r**2 + 3*r + 33. Let d be h(0). Solve 43*s - 311 = d for s.
8
Suppose -2*m - 3*u = 585, -4*m - 11 = -2*u + 1135. Let f = m - -296. Solve 10 = f*w - 6*w for w.
5
Let h(z) = -z - 3. Let a(i) be the second derivative of i**4/12 - 2*i**3 - 3*i**2 + 9*i. Let u be a(12). Let s be h(u). Solve -4 = -q - s for q.
1
Let m be ((-3780)/405)/((-4)/54). Solve 133*y = m*y + 7 for y.
1
Let q = 9013 + -9007. Suppose 2*z + y - 1 = 0, 2*z - 8 = y - 1. Suppose -2 = z*o - 4. Solve -q + o = 5*l for l.
-1
Let d = 32 - 27. Suppose 8*q - 10 = 3*q. Let w = 1186 + -1174. Solve d*z =