. Suppose 0 = 3*l - j - 3, -2*l = 5*j - 10*j + 11. Suppose -2*i = l*i. Solve i*c = 5*c - n for c.
2
Let j be ((-9)/(-18))/((-2)/28). Let v be 1/(((-14)/8)/j). Solve a - v*a - 15 = 0 for a.
-5
Let t be (4 - 2*-1)/2. Suppose -m + 0 = -t*f - 3, -5*m - 5*f + 15 = 0. Suppose -5*o - 20 = 0, -p + 17 = -71*o + 68*o. Solve 2*l - m = p for l.
4
Let h be ((-2)/(-4))/((-2)/(-12)). Suppose 4*i - 7*i - s + 7 = 0, -7 = -i - 5*s. Solve i = h*j - 13 for j.
5
Let s = -10 - -20. Suppose 4 = 5*y - 6. Solve -3*c - s = y*c for c.
-2
Let y = -187 + 59. Let t = y - -130. Solve -t*w = -w for w.
0
Let l be 2/4*(6 + 18). Suppose -7 = -l*x + 41. Solve x - 9 = 5*r for r.
-1
Let h(z) = -15*z + 304. Let i be h(20). Solve 0 = -5*u - 6 - i for u.
-2
Let c(o) = o**3 - 6*o**2 - 4*o - 11. Let i be c(7). Solve 0 = i*j + 30 for j.
-3
Suppose 122*f - 123*f = -3. Solve 2*j - f = 5 for j.
4
Suppose -3*l - 76 = -2*u, -6 = -2*u - 2. Let k be 42*(l/(-28) - 0). Let m be (k/15)/(9/30). Solve 3*g = -g - m for g.
-2
Let w be (((-10)/(-6))/(-5))/((-1)/15). Suppose j = -0*j + w*j. Solve 0 = -3*x - j*x for x.
0
Let w = -351 - -351. Solve w = -y + 2 + 2 for y.
4
Let o = -1163 - -1163. Solve o*b - 6 = 2*b for b.
-3
Suppose -8 - 27 = b. Let w = b + 43. Solve 7*l = w*l + 1 for l.
-1
Let f(r) = r**3 - 24*r**2 - 24*r - 22. Let c be f(25). Solve 6*a + c*a = -27 for a.
-3
Let j(c) be the third derivative of c**4/4 + 73*c**3/6 + 4*c**2. Let z be j(-12). Solve -2*b + z = -1 for b.
1
Let n(x) = -x**2 - 8*x - 4. Let b be n(-5). Suppose b - 5 = 3*s. Solve -s*l - 4 = -4*l for l.
2
Suppose 26*r = 21*r + 15. Suppose -3*s + r = 3*z, -3*s + z = -0 - 3. Suppose -u + s + 2 = 0. Solve 0 = u*j - j for j.
0
Suppose -3*w = 4*i - 9, 2 - 17 = -5*w. Suppose c + 2 - 4 = i. Solve c*h + 1 = h for h.
-1
Let r(v) = v - 1. Let n be r(3). Suppose -5 - 1 = -3*s. Suppose 2*u - 2 = -5*l + 4, -3*l - s*u = -n. Solve l = 4*d - 2 for d.
1
Suppose -2*v + 16 = -4*v. Let b be (39/(-52))/(2/v). Let y(i) = -2*i**3 - 3*i**2 + 2*i - 3. Let r be y(-3). Solve 3*x - r = -b for x.
5
Suppose 11*k - 843 = -810. Let j(t) = -10*t - 1. Let b be j(-1). Solve -3*a - b = k for a.
-4
Let f(l) = -l**2 + 8*l - 8. Let d be f(11). Let o = d - -45. Suppose 0 = 3*i - 2*i - 6. Solve i*k = 2*k + o for k.
1
Let d = -7 - -9. Let j be d*(-5)/2 - -6. Solve -4*t = -5*t - j for t.
-1
Let b(q) = q**2 + 14*q + 52. Let k be b(-6). Solve -5*f = -14 + k for f.
2
Suppose -4 = -4*j, 2*f = 7*f - 2*j + 2. Suppose -n = 2*x - 46, f = 4*x - 2*x - 5*n - 22. Let b = -17 + x. Solve 0 = q + b*q for q.
0
Suppose -5*k + 2*k = 15. Let u = 7 + k. Suppose 33 = -2*m + 6*m + x, -4*x + 20 = u*m. Solve -m = -d - d for d.
4
Let d = 159 + -156. Solve 0 = d*a - 2 - 4 for a.
2
Suppose 3*r - 24 = -6*w + 3*w, -4*w = 4. Let a(u) = u**3 - 9*u**2 + u - 7. Let g be a(r). Suppose -10 = -g*p - 2. Solve p*d = -d + 15 for d.
3
Let t = -61 - -69. Let a be (t/(-32))/(2/(-16)). Solve x = -a*x - 12 for x.
-4
Let g(k) = -4*k + 32. Let r be g(5). Suppose -36 = 6*u - r*u. Solve 0 = 4*z - 2*z + u for z.
-3
Let d = 49 + -36. Let p(i) = i - 1. Let n be p(5). Suppose -16 = 5*q - 41. Solve d = -n*w + q for w.
-2
Let z(q) = -q**3 - 32*q**2 + 43*q + 337. Let k be z(-33). Solve 0 = k*t + 8 + 13 for t.
-3
Let g(a) = a**2 - 2*a + 11. Let k be g(3). Solve k*x - 7*x = 0 for x.
0
Suppose -5*n + 3*n = j - 4, -2*j = -4*n. Suppose j*z - u + 2*u - 8 = 0, -3*u = 5*z - 21. Solve h - z + 4 = 0 for h.
-1
Let u be (-3)/(-5) - (-12)/(-40)*-28. Solve -6 = -3*j + u*j for j.
-1
Let g(t) = -5*t + 5. Let x(n) = -4*n + 4. Let u(m) = -3*g(m) + 4*x(m). Let l be u(-2). Solve -l*a - 2 = -a for a.
-1
Let g be (4/2)/(-2 + (-2 - -5)). Solve g = -2*t - 4 for t.
-3
Let k = -263 + 263. Solve k = 4*g - 6 + 18 for g.
-3
Let x(j) = -j**2 - 7*j - 8. Let p be x(-5). Suppose 0 = -p*o - 11 + 15. Solve 4 = c + o for c.
2
Suppose -2 = -2*q, 5*f - 2*q - 32 = -24. Solve 0 = f*o + 130 - 134 for o.
2
Let z = 20 + -20. Suppose z = -2*l - l + 8*l. Solve 3*t + 14 - 2 = l for t.
-4
Let f(w) = -w**3 - 4*w**2 + 4*w - 5. Suppose -7*r + 15 = -10*r. Let a be f(r). Solve -3*i + a*i = 0 for i.
0
Let n(u) = -8*u - 62. Let i be n(-8). Solve -q + i = -0 for q.
2
Suppose 5*r - 18 = 2*r. Suppose 8*x - 3*x = 20. Suppose 3*y - 2 + 0 = f, -x*y = -2*f - 4. Solve y = s - r + 5 for s.
1
Let n be (-111)/(-6) - 27/(-18). Suppose p - 4*m + 16 = -p, -5*m + 23 = -p. Suppose v + p*v - 9 = 0. Solve -g = v*g - n for g.
5
Suppose -2 = 2*f - 6. Suppose 4 = -f*w + 3*w. Suppose -2*z = 5 - 15. Solve w*b = z*b + 2 for b.
-2
Let s = 2 + -1. Let g(f) be the first derivative of 5*f**3/3 + f**2/2 - f - 25. Let y be g(s). Solve -y*t + 8 = -t for t.
2
Let h(v) = v**2 - 7*v - 8. Let l be h(-1). Solve u + 10*u + 22 = l for u.
-2
Suppose 396 + 24 = -7*y. Let p be (24/y)/(2/(-5)). Solve p = 4*x + 5 for x.
-1
Let b = 14 - 11. Let o be 4 + -3 - (b - 2). Let h be o - (-4 + 2 + 0). Solve 2*v - 4 = h for v.
3
Let w be (1/(-1) + -3)*-1. Let i be w/(-6)*(-30)/4. Suppose 16 = 2*m - x, -7*m + 3*m = -5*x - 20. Solve i*u - 3*u = m for u.
5
Let j be ((0/2)/(-1))/4. Solve j = 2*v - 8 - 0 for v.
4
Let s be ((-2)/3)/(1/(-3)). Let k = 23 + -20. Suppose -f + 24 - 17 = 0. Solve -s*m = f + k for m.
-5
Suppose -2*s = -k - 75, -16*k + 195 = 5*s - 17*k. Solve -10*a - s = -20*a for a.
4
Suppose 6*t + 12 = 9*t. Solve -t*h + 25 = 5 for h.
5
Let x(f) = f**3 + 19*f**2 + 34*f + 10. Let z be x(-17). Solve m - z = -15 for m.
-5
Suppose z + 136 = 5*z - 2*q, 0 = -q - 4. Suppose 0 = 4*l + 4*l - z. Solve 0*u + 16 = -l*u for u.
-4
Let l = 25 - 8. Suppose -l*j + 12 = -14*j. Solve 3 + 17 = -j*o for o.
-5
Let n(g) = -5*g + 31. Let q be n(0). Let p = -22 + q. Solve 7*f - 4*f = -p for f.
-3
Let r = -25 + 32. Let h(d) = d**2 + 5*d + 4. Let z be h(-3). Let x = r + z. Solve -16 = x*s - s for s.
-4
Let i = 377 - 372. Solve -i = 85*r - 84*r for r.
-5
Suppose 12 = 3*u, -4*r - 5 + 1 = -4*u. Suppose 5 = r*p - 7. Suppose p*t = -t + 15. Solve -m + 12 = t*m for m.
3
Let k be ((-60)/(-25) - 2) + (-156)/(-10). Suppose -k = 8*a - 12*a. Solve 6 = 5*g - a for g.
2
Let g(y) = -y**3 - 4*y**2 + 2. Let v be g(-4). Let r(s) = s**3 - 7*s**2 - 6*s - 14. Let z(t) = t + 18. Let u be z(-10). Let h be r(u). Solve v*f - h = -6 for f.
-2
Let l(d) = 2*d**2 + 14*d + 2. Let v(y) = -8*y**2 + 3*y - 2. Let k be v(1). Let q be l(k). Suppose 3*f = -f - 5*m + 13, -1 = -m. Solve f*h - q + 10 = 0 for h.
-4
Suppose -5*n - 17 = 4*p, 4*p = -n - 10 - 19. Let u(i) = i**2 + 8*i + 5. Let w be u(p). Solve d - w*d - 16 = 0 for d.
-4
Suppose -6*m + 5*m = -3. Let d be 1/(-2) - 7/(-2). Suppose 0 = 2*y - m*y + d. Solve -y*s = 4 - 1 for s.
-1
Suppose -5*p - 6 = 9. Let z = -4 - p. Let r be ((-1)/2)/(z/4). Solve -r*s + 3*s = -5 for s.
-5
Let h(u) = 3*u - 21. Let w be h(8). Suppose w*y = 4*r - 6, -2*r + 2 = 4*y - 12. Solve y*x = 6*x - 20 for x.
5
Let p(f) = 2*f**3 - 29 - 2*f**2 - 4*f**3 - 2*f**2 + f**3 + 4*f + 31. Let j(d) = -6*d**2 + d. Let w be j(1). Let r be p(w). Solve -5*a - 18 = r for a.
-5
Let a be (2 - 1) + 7 + 2. Let s = 53 + -61. Let o = s + a. Solve -o*d = -0*d for d.
0
Suppose s - 139 = -3*f - 58, 5*f - 131 = -3*s. Solve r = -13*r - f for r.
-2
Suppose 4*a = 157 - 57. Suppose 0 = 2*r - 5*r - 4*d + 26, 3*d - a = -5*r. Solve 0 = r*l + l + 3 for l.
-1
Suppose 2*h = h + 18. Suppose 7 = -5*o - 3*q, 0 = 2*o + 4*q + q + h. Suppose -5*z + 8 + 7 = 0. Solve -f - o + z = 0 for f.
2
Suppose -z = -0*q + 3*q - 29, -20 = -4*z. Let n be (-6)/q + (-124)/(-16). Solve 0 = -2*y + n*y + 15 for y.
-3
Let m = -57 + 147. Suppose 4*l - m + 26 = 0. Solve 2*v + l = -2*v for v.
-4
Suppose 4*g = 2*j + 10, g - 3*g = 3*j - 25. Suppose -2*x + 2*v + g = -1, x = -2*v + 6. Solve -x*a + 15 = a for a.
3
Let f(d) = -2*d - 12. Suppose -s + 3*y + 7 = 0, -3*s - y - 4 = -5*y. Let u be f(s). Solve u*q = 12 - 0 for q.
3
Let y(i) = -i**2 - 6*i - 2. Let w be y(-4). Let c be 0 - 6*(-3)/w. Solve c*l - 15 = 8*l for l.
-3
Suppose -8 = -16*q + 12*q. Suppose 3*r = 3 - 0, 5*l - 89 = r. Let v = -18 + l. Solve t - q + 0 = v for t.
2
Suppose 0 = -2*t + 14 - 4. Suppose t*n - 3 = 7. Let l be (2 + (-9)/(-6))*n. Solve l*h - 25 = 2*h for h.
5
Let w(q) = 6*q**3 - 4*q**2 + 2*q. Let c be w(2). Suppose 3*s = -6 + c. Solve -s = 2*x - 6 for x.
-2
Let y(l) = -l**3 - 18*l**2 + 18*l - 11. Let k be y(-19). Solve k = 5*b - 17 for b.
5
Suppose -3*w = -2*w + 