 3. Let t be x(-6). Solve 3*l - t = j*l for l.
-3
Suppose -2*m = 7*m - m. Solve m = -6*j + 3*j - 9 for j.
-3
Suppose 0 = -2*c + 4*x - 8, 5*x = -3*c - 0*c + 21. Suppose -c*r + 27 = r. Solve -3*d + 0 + r = 0 for d.
3
Suppose -25 = -5*v - 2*j, -3*v + 3*j - 2 = 4. Suppose -3*s + 7*s + 12 = -2*z, -v*z - 4*s - 12 = 0. Solve z = -4*q + 3*q + 3 for q.
3
Let w be (-90)/((-54)/6) + -2. Solve -w*a + 10 = -3*a for a.
2
Let h(o) = -o**2 + 29*o + 98. Let x be h(-3). Let q = 2 + -2. Solve q*j = x*j + 6 for j.
-3
Let s = -2550 + 2558. Solve -s = 16*f - 12*f for f.
-2
Suppose -48*l + 414 - 78 = 0. Solve l = -6*i - 5 for i.
-2
Let a be 3/(-2)*4/(-3). Let k = 55 + -87. Let g be ((-6)/(-4))/((-16)/k). Solve -a*s - s - g = 0 for s.
-1
Suppose -o - 3 = 2*x, 6*x - 8*x - 9 = -o. Suppose -r + o*u = -13, 5*r - 35 = 5*u - 0*u. Solve -q = r*q for q.
0
Suppose -5 = -t - 4*t. Let a(i) = i + 1. Let l be a(t). Solve -l*b + 3*b = 0 for b.
0
Suppose 4*l - 5 + 0 = -3*q, 5*q = -5*l + 5. Suppose -l*a = 2*a + 8, -22 = -o - 5*a. Solve 5*j = -o + 7 for j.
-5
Let z be 153/6 - (0 - 1/(-2)). Solve 2*g - z = -33 for g.
-4
Suppose -2*x + 0*x + 24 = 2*q, 35 = 3*q + 2*x. Suppose 3*v - 5 = -q. Let h be 7 + -4 + 6/v. Solve h = 3*w - 4*w + 3 for w.
3
Suppose 29 = 5*p + 4*y, -20*y = -24*y + 4. Suppose -5*s = -2*d + 30, -5*s - 19 = -3*d - 4*s. Suppose -n + d*n = 0. Solve 15 = -n*a + p*a for a.
3
Let j = 26 - 21. Solve -j*o = -4*o - 2 for o.
2
Suppose -34 = 15*i - 79. Let c be 1/(0 - -2)*2. Let n be (2/(-2))/c + i. Solve -5*h + n = -3*h for h.
1
Suppose 3*q = -0*b + 2*b + 23, 41 = 5*q - 4*b. Suppose 5*d = q*o, d = 4*o - 10 + 4. Solve y + o*y = 12 for y.
4
Suppose 0 = 7*n - 5*n. Suppose 4*z + 3*c - 9 = -n*z, 16 = 4*z - 4*c. Solve -8 = -t + z*t for t.
-4
Let u = -762 - -863. Solve 17*h = -16 + u for h.
5
Let h be (48/(-18))/((-4)/6). Solve d - h = 1 for d.
5
Let u(d) be the third derivative of -d**5/60 + 5*d**4/24 - 2*d**3/3 - 5*d**2. Let k be u(4). Solve -2*o + 0*o + 8 = k for o.
4
Let j = 304 - 301. Solve -7 - j = 5*v for v.
-2
Suppose -3*v + 0*s - 3*s = -33, -v + 12 = 2*s. Solve -9*j + 2 = -v*j for j.
-2
Let x(c) = c**2 + 15*c - 12. Let y be x(-16). Let s be 84/60 + y/(-10). Suppose 22 = -k + 5*f, -3*f - 2*f + 31 = 2*k. Solve k*j + 5 + s = 0 for j.
-2
Suppose -12*f + 649 = 47*f. Solve 0 = -2*i - f + 1 for i.
-5
Let j be (0/(1 - 2))/(-8 + 6). Solve 0 = -2*n + 4 - j for n.
2
Suppose 0 = -49*b + 43*b + 12. Solve -5*n - 3 = b for n.
-1
Suppose -22*t = -28*t + 18. Solve -6 + t = -q for q.
3
Suppose -t = -5*i + i - 11, 0 = -4*i + 3*t - 17. Let y be 2/((-9)/i + -4). Solve 3 = q - y*q for q.
-1
Suppose -2*d = 2*s + 4, -3*d - 6 + 2 = 4*s. Suppose 2*b + c = -10 - 5, -b = -5*c + 2. Let h = d - b. Solve -h*o - 6 = -o for o.
-3
Suppose 2*m - 7 - 13 = 0. Let p(s) = s**2 - 11*s - 1. Let i be p(m). Let v = i - -15. Solve 3*d - 4 = v*d for d.
-4
Let s = -1079 + 1084. Solve -3*h + s = 11 for h.
-2
Suppose 27 = c + 5*d, 4*c - d = 2*d - 7. Let g be (1 + 0)*2*2. Suppose 4*s + 32 = g*a, a + 0*a = -3*s - 8. Solve -c - 2 = a*r for r.
-1
Let q be ((-1)/(-3))/(2/132). Let i = q - 20. Suppose i*l = 3*l. Solve 0*x + x + 2 = l for x.
-2
Let v(d) = 2*d**2 - 8*d - 83. Let n be v(-5). Solve -2*x - 11 = -n for x.
-2
Suppose -94*y - 72 = -106*y. Solve 20 = -y*j + j for j.
-4
Suppose -4*k + 25 = a, 5*k - 3*a - 47 = -3. Let j(m) = m**3 - 9*m**2 + 14*m + 3. Let z be j(k). Let t be 0/(((-2)/(-1))/(-2)). Solve t = -z*w + 3 - 6 for w.
-1
Let y = -657 + 657. Solve -2 = d - y for d.
-2
Let s(c) = 2*c + 10. Let b be s(-5). Let z = 8 - b. Let q be z*(1 - 3)/(-8). Solve 0 = -0*l + q*l for l.
0
Let k(b) = b**3 - b**2 - b + 1. Let n be k(1). Suppose n = x - 2*x. Let f be ((-6)/(-7))/(2/14). Solve -4*d + d - f = x for d.
-2
Let j be ((-3)/(-1))/(-1)*(-20)/12. Let a(c) = -c**2 + 8*c - 5. Let n be a(7). Solve -j*z - n = 3 for z.
-1
Suppose 4*y = -2*f + 60, 5*f - 20 = -y + 2*f. Suppose -y*r + 16*r - 50 = 0. Solve -7*o + r = -12*o for o.
-5
Let o(l) = -l**3 + 5*l**2 + 5*l + 8. Let c be 5/(3/(-4) - -1). Let k be (-32)/(-5) - c/50. Let u be o(k). Solve 0 = -3*s + 2*s - u for s.
-2
Let o be 1*(-3 + 3/1). Suppose 4*g + 4 = -o*g. Let w be 0/(-1*(-2)/g). Solve w = -4*s - s + 25 for s.
5
Let j be -3 - (-2 + 296/(-4)). Solve -2*d + j = 77 for d.
-2
Suppose 8 + 0 = 2*r. Suppose -b + 770 = -11*b. Let m = b - -80. Solve -r*l = -m*l - 3 for l.
3
Suppose -3*o = -24*o + 210. Solve 524*a - 529*a = o for a.
-2
Let j(a) = -a**3 + 11*a**2 - 2*a + 26. Let h be j(11). Let l(o) = 2*o**2 + 3*o + 5. Let y be l(-2). Solve -h*p - y = 1 for p.
-2
Suppose -3*s + 7 = 5*a, s - 22 = -4*s + 2*a. Solve -24 = -s*n - 20 for n.
1
Let k = 11 + -7. Suppose 6*h = 40 - k. Let r be (-2)/(-1 + (-1)/(-3)). Solve r*s = 6*s + h for s.
-2
Let s(m) = -m**3 - 5*m**2 - 5*m + 1. Let t be s(-4). Suppose 0 = b - t*n - 31, 0 = -2*b + 5*n + 37. Let y be 2/b*(2 + 10). Solve -y*r = r - 20 for r.
4
Suppose 3*w - 45 = 69. Suppose 3*m = 53 - w. Solve -m*x + x = 4 for x.
-1
Let g(s) = -s**3 + 20*s**2 + 24*s - 51. Let d = -23 + 44. Let u be g(d). Solve 0 = -3*x + 7*x - u for x.
3
Let v = -33 - -47. Suppose 3*j + 4 - 19 = 2*k, -4*j + k + 15 = 0. Suppose -j*g - 4*i = -4*g + 6, -4*i = 0. Solve -4*q + g = -v for q.
5
Let f = -355 - -228. Let q = 136 + f. Solve 1 - q = 4*w for w.
-2
Suppose 0 = -0*a - a - 5*w, -5*a + 2*w = 0. Suppose a = -5*h - h. Solve h = 2*p - 14 + 6 for p.
4
Let q = 39 - 15. Let w = q + -20. Solve f + w = -f for f.
-2
Let v be -6 + 1 - -6 - -11. Solve -v*i + 10 = -22*i for i.
-1
Let n(w) = w**3 + w**2 - 6*w + 3. Let y be n(2). Suppose y = 3*k - 6. Solve 2*j + k = -3 for j.
-3
Suppose -2*h + 36*s = 32*s - 4, 3*s = -4*h + 8. Solve h = 9*g - 43 for g.
5
Let i = 76 - 171. Let x = 102 + i. Solve 0 = -x*r + 3*r for r.
0
Suppose -22 = 4*m - 6*m + 2*y, 0 = 3*m - 2*y - 31. Solve 0 = 7*u - m*u - 2 for u.
-1
Let y(a) = -60*a**2 + 27*a**2 + 37*a**2 + 2*a - 1. Suppose -3*t + 11 = -4*u - 12, -5*u = -3*t + 28. Let v be y(t). Solve -6 = v*d - 1 for d.
-1
Suppose -20 = 5*h, 2*h - h = 2*f - 14. Let i(o) = -o**3 + 5*o**2 + o - 2. Let j be i(f). Solve -4*y - j = -5*y for y.
3
Let j be (-1)/((-40)/(-15) - 3). Let q(f) = 4*f**2 - 5*f + 3. Let y be q(1). Solve -j*z = -2*z + y for z.
-2
Suppose 0*v - 16 = -3*v + y, 3*v - 11 = 2*y. Suppose 0 = -2*p - 6, 0 = 1571*i - 1566*i + 2*p + 6. Let z = 5 + -2. Solve i = -z*q + v - 1 for q.
2
Let x be 5 + 9 - (-1 - (7 - 16)). Solve 8*m - 56 = -x*m for m.
4
Suppose 13 - 17 = -2*k. Let t(l) = 2*l**3 - 2*l**2 - l + 1. Let r be t(k). Suppose -r = v + 5*b, 3*v + 2*v = -5*b + 5. Solve 0 = -v*s + 15 - 0 for s.
5
Let m(d) = -d**3 + 5*d**2 + 26*d - 1. Let a be m(8). Let q be 10*6/a - 4. Solve -3*t = -q*t - 15 for t.
5
Suppose 88 = -9*t + 205. Let c(p) = 3*p**2 + 4 - 3*p**2 - p**2 + 13*p. Let y be c(t). Solve -y*n - 4 = -24 for n.
5
Let u be -1 + 1 - 24*-1. Let n be (-30)/4*u/(-15). Let c = n + -7. Solve -11 = c*z + 4 for z.
-3
Let k(p) = -6 + 5 + 5 + 3*p - 7*p. Let f be k(0). Solve c - f = -3 for c.
1
Suppose 0 = 2030*l - 2026*l. Solve -7*g + 24 - 10 = l for g.
2
Let q(x) = 5*x. Let o be q(-1). Let p be ((-4)/o)/((-6)/(-15)). Suppose 0 = -5*j - 0*v - 3*v + 18, 2 = j + v. Solve p*b + 0*b + j = 0 for b.
-3
Let y be 0 + -3 + 6 + 1. Solve 3*g = 5 + y for g.
3
Let j(k) = -4*k**3 + 2*k - 1. Let a be j(1). Let n be a + 22 - -3 - 2. Suppose -n = -p - 4*p. Solve -2*w + 0 = p for w.
-2
Let y be (3 + -1 - -2) + 0. Solve -12 = -10*m + y*m for m.
2
Let i(z) = 45*z + 2. Let b be i(1). Let o = b - 27. Solve 4*j = 9*j - o for j.
4
Let h(b) = -12*b + 384. Let n be h(32). Let l(o) = o**2 + 1. Let a be l(-3). Suppose 5*g = -n*g + a. Solve -g - 18 = 4*y for y.
-5
Let a = -249 + 276. Solve a = -6*g - 3*g for g.
-3
Suppose -270*i + 155 = -265*i. Solve 5*q - i = -26 for q.
1
Let d(v) = 2*v + 41. Let y be d(-14). Solve 12*p = y*p for p.
0
Let s be -1 + -1 - (1 + 3 + -27). Suppose -3*y = q - s, -4*y = q - 17 - 10. Solve -y = -c - 2 for c.
4
Let w = 33 + -31. Solve w*v + 46 = 44 for v.
-1
Suppose 0 = 7*n - 17*n. Solve -y - 3*y - 12 = n for y.
-3
Let b be (0 - 7/(-1))/1. Solve 0 = -5*k + b*k + 6 for k.
-3
Let k be 67 + 16/(-6) + 19/(-57). Solve -33*o + o = -k for o.
2
Suppose -j - 18 = -28. Let q be (-4)/j - (-98)/70. Solve z = -q - 3 for z.
-4
Suppose 0 = 6*g - g + 30. Let b be g/30 - 26/(-5). Solve 15 =