 0 = -j - 4*j + x for j.
3
Suppose 5*z = b - 19, -2*b - 5*z = -5*b + 77. Let t = -14 + b. Solve 3*n - t = -0*n for n.
5
Let y = 7 + -5. Suppose -16 = 27*v - 29*v + 2*a, 2*v - 30 = 4*a. Solve v = -y*b - 3 for b.
-2
Let q be ((-12)/14 - 0)*-7. Suppose -2*r + 3 = -q*r + u, -5*r + 15 = 5*u. Solve -3*t - 2*t = r for t.
0
Suppose 0*v = -3*v + 6. Let b(i) = i**2 + 3*i - 8. Let f be b(4). Suppose v*y + f = 3*y. Solve -l - 4*l + y = 0 for l.
4
Let m(y) = 3*y + 6. Let s be m(3). Let h(x) = -x**3 + 15*x**2 + 3. Let i be h(s). Solve -3 = -i*n + 3 for n.
2
Suppose -3*u - 2*k + k = 142, -3*k = 5*u + 242. Let m = u + 49. Solve -v + m*v = 0 for v.
0
Let m(f) be the third derivative of 2*f**5/15 - f**4/24 + 21*f**2. Let v be m(-1). Solve 3*h = v - 0 for h.
3
Suppose j + 3 - 7 = 0. Let g be (2/(j/(-2)))/(-1). Let d(p) = 8*p**3 - p + 1. Let b be d(g). Solve 0*n - 2*n = -b for n.
4
Suppose 0 = -4*r - 3*g + 30, -3*r + 8*g = 7*g - 16. Solve -6*u + 8*u = r for u.
3
Suppose 3*f - 2*f + 5 = 3*g, -g + 7 = -3*f. Let d = g + 4. Suppose -7*b + 24 = b. Solve b*n = -2*n + d for n.
1
Let t = 184 + -174. Solve -6*x + t*x + 16 = 0 for x.
-4
Let m = 238 + -223. Solve 0 = -0*w - 3*w + m for w.
5
Let p(j) = -j**2 - 5*j + 1. Let x be p(-3). Let a(h) = -h + 11. Let s be a(x). Solve 2*b = 4*b - s for b.
2
Suppose -105 = -298*q + 291*q. Solve q = j + 12 for j.
3
Let o = 30 - 26. Let m(c) = -2*c + 16. Let p(s) = -4*s + 32. Let r(w) = 13*m(w) - 6*p(w). Let z be r(7). Solve o*k - 14 - z = 0 for k.
4
Suppose 5*w = -c + 19, -4*c = -c + 4*w - 24. Let h be (c/3)/((-12)/(-108)). Solve -3*t = t - h for t.
3
Suppose -9 = -4*i - 1. Suppose 4*y - 12*y = -104. Let q = y + -11. Solve -q*l + i = 12 for l.
-5
Suppose 0 = -0*w - 5*w + 4*v + 88, 4*w + 4*v = 92. Let j(n) = -2*n + 43. Let k be j(w). Solve -4 = -k*f - f for f.
1
Suppose -8*t - 347 = 269. Let n = t - -77. Solve n = 2*l + 5 + 1 for l.
-3
Let f be (6/5)/(12/40). Suppose -2*l - l = f*n - 24, -4*n - 4 = -4*l. Let i(j) = -4*j + 1. Let y be i(-2). Solve 0*p = n*p - y for p.
3
Suppose 0 = -5*z + 2*h - 4 + 25, -4*z + 2*h + 18 = 0. Solve -30*u - 147 = z for u.
-5
Let t(l) = l**2 + 2*l - 9. Let h be t(-8). Let y = h + -24. Solve 0*j - 3*j = y for j.
-5
Let d = 1628 - 1626. Solve 83 - 85 = -d*i for i.
1
Let a = -59 - -156. Let q = a - 93. Let c = -28 - -49. Solve -c = -5*x + q for x.
5
Let a(t) = 4*t + 85. Let n be a(-20). Solve -o - 30 = n*o for o.
-5
Let a(w) = w**2 - 5*w + 3. Let i be a(5). Suppose 0 = 2*n - 4*c + 7 + i, 12 = 3*c. Suppose 0 = -n*x + l + 26, -6*l = -5*l - 1. Solve 3*u - 3 = -x for u.
-2
Let v(t) = -t**3 - 13*t**2 - 11*t + 17. Let g be v(-12). Suppose -4*b + 4*n - 8 = 0, -2*b + 1 = 3*n + g. Let i be (b + 2)/(2 - 3). Solve i*s = 2*s for s.
0
Suppose 24 = 12*q - 0*q. Suppose -3*l - 2*g = -16, -g = -3*l + 4*l - 7. Solve -l*u - q = 2 for u.
-2
Suppose 4*j + y - 85 = 11, 3*j + y = 73. Solve 11*s = j*s + 60 for s.
-5
Let p(s) = 6*s**2 + s + 6. Let o be p(0). Solve 3 = o*h - 9 for h.
2
Let z(r) = 3*r + 5*r - 24 - r**2 + 17. Let k be (0 - (-1 + 2)) + 8. Let m be z(k). Solve m = 2*t - 0 - 4 for t.
2
Suppose 3*v - 15 = 0, -5*g - 5*v - 5 = -2*g. Let y = g + 18. Let x(m) = 2*m**2 + 3*m + 5. Let o be x(-4). Solve y*b = 3*b - o for b.
-5
Let i = -327 + 343. Solve -i*f + 6*f = 0 for f.
0
Suppose -8*z + d = -6*z - 24, -5*d = -3*z + 36. Solve -z = -67*u + 64*u for u.
4
Let j be -2*(238/(-4) + 3). Let v = j - 111. Solve 2*l = -0*l - v for l.
-1
Let o(r) = r**2 + 4*r - 3. Let c be o(-5). Suppose 0 = 15*n - 11*n - 44. Let d(k) = k**3 - 12*k**2 + 10*k + 11. Let i be d(n). Solve b - c + 5 = i for b.
-3
Suppose 0 = -165*g + 166*g - 12. Solve 0 = g*v + 73 - 25 for v.
-4
Suppose 0 = -5*o + 4*j + 93, -94 = -3*o + 5*j - 33. Let f = -58 + 63. Solve f*z = -o - 3 for z.
-4
Let m(y) = 11*y + 181. Let l be m(-15). Solve -s + 11 - l = 0 for s.
-5
Suppose 9 - 26 = -k - 2*h, -5*h + 2 = -2*k. Solve 17 = k*o - 19 for o.
4
Let m = -263 + 267. Solve -8 = -4*d - m for d.
1
Suppose 1 = 2*v - 1. Suppose -4 = -8*o + 12. Solve l = v - o for l.
-1
Let v = -2 - -5. Let g be 1/(v/(-36)*2). Let z = 6 + g. Solve z = 3*k - 4*k for k.
0
Let w = 55 - 124. Let m = 73 + w. Solve -m*z + z - 12 = 0 for z.
-4
Let a = 148 + -148. Solve j = -a*j + 4 for j.
4
Suppose 2*w + 8 = 4*w. Let j be (-2)/w*8/(-1) - 1. Solve 1 = j*p + 16 for p.
-5
Let q = 26 - -16. Let u be ((-6)/(-18))/(2/q). Solve 0 = -5*r - 32 + u for r.
-5
Let f(j) = -j**3 - 9*j**2 - 13*j + 7. Let n be f(-7). Suppose 2*p + n*p = -8*p. Solve -w - 2 - 2 = p for w.
-4
Let f = 30 + -54. Let r = -8 - f. Suppose o - r = -3*o. Solve 4*k = -o - 4 for k.
-2
Suppose -18 = o - 41. Solve -4*i + 15 = o for i.
-2
Let w(q) = 6*q + 39. Let f be w(-6). Solve -4*x - 13 = f for x.
-4
Let h(a) = a**2. Let c(i) = -i**3 + 4*i**2 + 5*i - 2. Let y(b) = b + 14. Let q be y(-9). Let k be c(q). Let l be h(k). Solve 5*m - 1 = l*m for m.
1
Let b(k) = 2*k**2 - 10*k + 11. Let p be b(4). Solve -24 = -p*n - 3*n for n.
4
Let q be ((-2)/(-3))/((-8)/(-108)). Suppose -q*w = -4*w. Solve 4*a - 2*a + 4 = w for a.
-2
Let o = 9 - 6. Solve o*h + 10 = -2*h for h.
-2
Suppose 17 = 4*c + 3*j, 4*c + 3*j - 37 = 4*j. Solve -5*n + 12 = -c*n for n.
-4
Let j(f) = -3*f**2 + 12*f - 27. Let b(h) = -h**2 + 6*h - 13. Let s(t) = 5*b(t) - 2*j(t). Let y be s(-8). Solve 4*k - y = -1 for k.
1
Suppose -4*u = 3*h - 17, -h = 3*u - 1 - 18. Let k = u - 4. Solve 0 = -3*o + 5*o + k for o.
-2
Let p(k) = -k**3 + 4*k**2 + 2*k - 1. Suppose 3*v - 14 = 3*n - 2*v, -4*v = 5*n - 26. Let d be p(n). Solve 0 = -2*g - d + 1 for g.
-5
Let k = -21 - -4. Let q = 21 + k. Suppose 14 = q*t - 2. Solve 0 = -y + 5*y - t for y.
1
Let u be 2/(-3) - (-238)/42. Let g = u - -1. Solve -a = -g*a for a.
0
Let c(g) = -g**2 + 5. Suppose 0 = 4*a - 0*a. Let q be c(a). Let u(w) = w**3 + 6*w**2 + 3*w - 5. Let f be u(-5). Solve -5 - q = -f*p for p.
2
Let f(k) = 5*k**2 + 5*k + 6. Let o be f(-3). Let x = 38 - o. Solve -j = -2*j - x for j.
-2
Let v(i) be the second derivative of 2*i**2 + 0 - 1/6*i**3 + 2*i. Let m be v(0). Solve 3*w = m*w for w.
0
Suppose 4*q = -2*k + 16, -6*k + 26 = -k - 4*q. Solve 5 = k*t - 19 for t.
4
Let z(w) = -w - 13. Let l be z(-9). Let x be 2 - (l/5)/(18/(-45)). Solve 2*r + 0*r - 8 = x for r.
4
Let q = 3 + 4. Suppose -b = -q*b. Solve -3*s - s - 8 = b for s.
-2
Let r(k) = -4*k**3 + 5 - 11*k - 6 + 8*k**2 + 5*k**3. Let l be r(-9). Suppose l*b = 18*b. Solve i + b + 3 = 0 for i.
-3
Suppose -22*m + 18*m = -12. Suppose -l = -m*l - 5*h - 14, 2*h = l - 11. Let d be ((-42)/(-10))/(2/10). Solve 6 = l*c + d for c.
-5
Let x(a) = -2*a**3 - 5*a + a**3 + 20*a + 16 - 10*a**2 - 3*a. Let t be x(-11). Solve -t = -2*m + 3 for m.
4
Let d(n) = -2*n - 6. Let v be d(-5). Let o be (1/3)/(v/48). Solve o*i - 2 = -10 for i.
-2
Let k(q) = -q - 9. Let w(v) = v**2 - 6*v + 5. Let o be w(5). Suppose o*d - 9 = d. Let a be k(d). Solve 3*n + 12 + 3 = a for n.
-5
Let d be (-1)/(3/(-24)) - 2. Let o = 0 - d. Let g be 5/(-3)*(3 + o). Solve -g*h + 12 = 27 for h.
-3
Suppose 2*a = 1 + 5. Let p = 6 - a. Let d be 10/(p/(-2) + 2). Solve -5*v + d = -0*v for v.
4
Suppose -3*b - 140 = -10*b. Solve 0*y - b = 5*y for y.
-4
Let m = -7 + 13. Suppose -2*r = -m*r. Let b(a) = a**2 - 2*a. Let x be b(r). Solve -10 = -2*j - x*j for j.
5
Suppose 0 = -15*d - 102 + 552. Solve -12*o = -6*o - d for o.
5
Suppose -10*r + 26*r - 2176 = 0. Solve 0 = 131*c - r*c - 10 for c.
-2
Suppose 0 = -4*n - 5*u - 0*u - 20, n + 3*u = -12. Suppose n = 3*v - v - 8. Solve v*t + 3 = -17 for t.
-5
Let d(l) = -l**3 - 14*l**2 + 7*l + 104. Let v be d(-14). Let w be 10/4 + 2/4. Let k(t) = t**3 + 3*t**2 + t + 1. Let c be k(-2). Solve -w*i - v - c = 0 for i.
-3
Let j = -40 + 55. Let v(r) = r**3 - 4*r**2 - 13*r + 8. Let o be v(6). Solve w = -o*w + j for w.
5
Suppose s + p + 2 = -0*s, 9 = -3*p. Let a be (-7 + -1)*(-1 - (-6)/8). Solve -a*f - s = -3*f for f.
1
Let t = 10 + -5. Suppose -x = -2*f + t, 2*x = 6*x - f - 8. Suppose -4*v = -3*r - 20, -4*r = v - x*v + 10. Solve y = -r - 1 for y.
-1
Let n be 16/9 + 1 - (-64)/288. Suppose 0 = 2*z - 4*k - 14, -5*k + 13 = n*z - 3*k. Solve z = 4*i - 7 for i.
3
Let t = 106 + -106. Let f be 4/(-3)*(-3)/1. Solve -v - f - 1 = t for v.
-5
Suppose 38*m - 1995 = 3*m. Solve 0 = 8*p + 11*p - m for p.
3
Let y be ((-8)/5)/(2/(-5)). Let b(z) = -z**2 + 10*z - 19. Let p be (-1 - 1) 