 Solve v - 6*v = -u for v.
4
Let z(x) = -x - 17. Suppose d = -l - 13, 2*d = -3*l - l - 28. Let s be z(d). Let v = -3 - s. Solve v*i - 1 = 5 for i.
3
Let d be (2 + (-54)/24)/((-2)/8). Let w(f) = f**3 - 1. Let q be w(1). Solve d = h - q*h for h.
1
Let q(b) = -b + 6. Suppose -3*m = -4*g + 20, m = 5*g - m - 18. Let y be q(g). Let t be (-1)/1 + 8 + -2. Solve -3 = t*d - y*d for d.
-3
Suppose 60 = 9*x - 3*x. Solve -x*t + 2*t = 16 for t.
-2
Suppose -t - x - 30 = -5*t, 28 = 4*t - 2*x. Suppose t = -4*f + 5*f. Let y be (16 + -18)*(-10 - 0). Solve 4*s - f*s - y = 0 for s.
-5
Let o(r) = -27 - 2*r + 23 + 2*r**2 + 4*r. Let f be o(-3). Solve 3*m = 5*m - f for m.
4
Let n(y) = 2*y + 9. Let h(l) = -l - 4. Let f be h(-2). Let v be n(f). Solve -2*a + v = 3*a for a.
1
Let f(m) = 7 - 6*m + 17*m - 1 + m**2. Let s be f(-11). Let y(x) = -x**3 + 9*x**2 + 2*x - 12. Let k be y(9). Solve -s*v - k = -4*v for v.
-3
Suppose -88*f - r = -93*f + 109, -2*f + 2*r + 50 = 0. Solve -f + 11 = 2*h for h.
-5
Let g be 354/50 + 54/(-675). Solve -g = -4*j + 13 for j.
5
Let l(z) = -z**3 + 12*z**2 + 14*z - 7. Let w be l(13). Solve -6*d = -3*d + w for d.
-2
Let b(l) = l - 17. Let w be b(5). Let o be 15/(7/((-56)/w)). Solve -2*s - o = -0*s for s.
-5
Suppose -18*f + 72 = -6*f. Solve -14*z + 16*z = f for z.
3
Let u = 1 - 1. Let s be 3360/700 - 1/(-10)*2. Solve u*y - s*y = -10 for y.
2
Let b be (-1)/(-2) + 117/26. Suppose -38 = -b*z - 13. Solve -z*h - 13 - 2 = 0 for h.
-3
Let n(h) = -92*h + 137. Let u be n(1). Solve -u = 5*i + 4*i for i.
-5
Let b = 979 - 977. Solve j - j = b*j for j.
0
Let d be 129/21 - 6 - 223/(-7). Suppose 0*q + q = 5*n - 88, 2*n = -3*q + 25. Let g = d - n. Solve -w + g = -4*w for w.
-5
Suppose 60 = -4*p + 7*p. Suppose -5*w - 3*r = 2*r, 0 = -3*w + 3*r. Solve z + 4*z - p = w for z.
4
Let i(w) = -2*w - 7. Let j be i(-5). Suppose -9 + j = -b. Let m(a) = -a**2 + 20. Let f be m(0). Solve -v = -b*v + f for v.
4
Let s = -2 + 5. Suppose 0 = z + 25 - 12. Let c = z + 21. Solve s*x + c = -7 for x.
-5
Let g = -10 + 14. Let y be (g - 3) + 2 + 0. Solve y*a - 2 = 1 for a.
1
Let y(k) = k**3 - 5*k**2 - 4*k - 2. Let z be y(6). Suppose 5*o + z - 60 = 0. Solve 0*c = -2*c - o for c.
-5
Let w be ((-5)/(-2))/(1/6). Let v be 72/15 - 1/(-5). Suppose y = -0*n + n, 20 = 5*y - n. Solve -v + w = y*s for s.
2
Let g(k) = -k**2 + 4*k + 7. Let v be g(5). Suppose -v*i - 4*b = -22, 0*i = -3*i - 5*b + 30. Solve -20 = -r + i*r for r.
-5
Let w be (-56)/(-6) + -9 - (-29)/3. Solve 8*g + w = 3*g for g.
-2
Let z = 3 - 0. Suppose -o - z*o = 0. Solve 4*c + o - 4 = 0 for c.
1
Suppose -179*u + 256*u - 3234 = 0. Solve 28 = -7*z + u for z.
2
Let l = 561 + -551. Solve 7*d - l*d = -15 for d.
5
Let l = -3433 + 3435. Let j be (-11)/(-3) + 2/(-3). Solve l*d = j*d for d.
0
Let a = -5 + -4. Let p = a + 11. Suppose p*r + 3 = -3*x - 0, -4*x = 12. Solve -r*f + 2*f - 2 = 0 for f.
-2
Suppose -2*a + 4*a = -3*p + 105, -5*p = 5*a - 180. Solve -p*i - 3 = -32*i for i.
-3
Let p = 42 - 18. Solve 28*t - p*t = 16 for t.
4
Let u = 17 - 28. Let r = 10 + u. Let d = r - -5. Solve 8 + d = 4*q for q.
3
Suppose -4*y = -a + 312, -y + 3*a - 20 - 58 = 0. Let q = -75 - y. Solve -q = -2*t + 3*t for t.
-3
Suppose -3*k - 25 - 29 = 0. Let i be -3 - (k + 1 - 4). Solve 2 - i = 4*n for n.
-4
Let t = -165 - -280. Suppose d - t = -4*d. Let p = -18 + d. Solve -5*l + 5 = -p for l.
2
Let g = 3 - 3. Let t be ((-10)/2 + 3)*(-1 + g). Solve -3*a = t*a + 5 for a.
-1
Let r be -1 + 2 - (-4 - -3). Let u = 18 - 15. Suppose -4*j + 16 = s, -u*j = -2*j + r*s - 4. Solve 0 = 3*g - j*g for g.
0
Let a(l) = l**3 - 8*l**2 - 30*l - 16. Let o be a(11). Suppose -3*b + 2*w + 1 + o = 0, -2*w = -4*b + 24. Solve 20*g - 18*g + b = 0 for g.
-3
Suppose 8*q - 4*q = -44. Let c be (-12)/(-6) + (1 - q). Let t = -12 + c. Solve 0*i + t*i = -10 for i.
-5
Let d be 172/14 + (-4)/14. Let f = d + -8. Suppose 0*z = f*z - 12. Solve p = -z*p for p.
0
Let s(z) = -z - 5. Let l be ((-4)/(-6))/((-44)/462). Let b be s(l). Solve -b*o + 6*o - 20 = 0 for o.
5
Let s = 10 + -4. Let v = 5 - -4. Let a be v - 2/(-6 + 4). Solve -s*g - a = -g for g.
-2
Suppose -2*q = -5*w - 1, -3*w + 4*w - 1 = 0. Let z = -2388 + 2396. Solve q*x - x = z for x.
4
Let u(t) = -2*t**3 + 0 + 4 + t**2 - 3 + 2*t - 3*t**3. Let y be u(-1). Suppose -2*h - 9 = h - y*s, s - 3 = 0. Solve -7 - 3 = -h*r for r.
5
Suppose 0 = -2*b + 6 - 0. Let a(z) = -5*z + 1. Let u be a(-3). Suppose 5*i - u = -3*s, 0*i - 4 = 2*i - 4*s. Solve -1 = b*v + i for v.
-1
Suppose -2*p - 1 = -3*p. Let k be (-15)/(-4 - -1)*p. Suppose 0*a - a = -k*d + 28, a = -5*d + 32. Solve 2*w + d + 0 = 0 for w.
-3
Let u = -299 - -310. Solve -u*m = -2*m - 9 for m.
1
Suppose -3*s - 5*x + 25 = -0*s, -4*x = 4*s - 36. Let v be s*3/7 + (-2)/7. Solve -5*u + v = -u for u.
1
Let i be 6/18*-3 - (-1 + 3). Let w be ((-6)/9)/(1/i). Solve -k - w = -1 for k.
-1
Suppose 0 = -m + 691 - 687. Solve -m*d + d + 12 = 0 for d.
4
Suppose 2*q = -4*k - 6, -5*q + 2*k + 13 = 5*k. Let t be 32/q - (-2)/(-5). Let n be (t/(-24))/(1/(-8)). Solve -n*z - 2*z - 8 = 0 for z.
-2
Let p(r) = -r + 2. Let j be p(-3). Suppose 4 + 2 = 2*q. Solve -1 - j = q*w for w.
-2
Let k = -1650 + 1665. Solve -3*z = 2*z - k for z.
3
Let y = 57 - 9. Let u = y + -45. Solve w = -0 + u for w.
3
Let p be (1/3)/((-2)/(-12)). Let b be 364/169 + p/(-13). Suppose 0 = 7*z - b*z - 45. Solve -5*k = -2*k + z for k.
-3
Let i = -153 - -153. Solve i = 8*p - 4*p + 12 for p.
-3
Suppose 74 + 172 = 6*a. Suppose 0 = -9*i - 5 + a. Solve -9*l = -i*l - 20 for l.
4
Suppose 0 = -4*f + 13 + 11. Suppose 0 = -f*u + 4*u + 16. Solve 0 = 5*s - s + u for s.
-2
Let k(a) = a + 19. Let j be k(-13). Solve -6*d - j = 6 for d.
-2
Suppose -3*b + 2*x - 79 = 0, 157 = -5*b + 4*x + 22. Let t = b - -28. Solve -t*l = -0*l + 15 for l.
-3
Let d(c) = 2*c**2 - 23*c + 16. Let k be d(11). Suppose k*i + 4*i = 0. Solve i = 4*u - u for u.
0
Suppose 0 = -3*w + 40 + 50. Let y = w + -27. Solve -y = 4*v + 1 for v.
-1
Let w(b) = 6*b**3 + 3*b**2 + 6*b + 2. Let q be w(-2). Let k = q - -50. Solve -k*h - 5 = h for h.
-1
Suppose -4*n + 5*u = 2*u - 114, 5*n - 2*u = 146. Let x = n - 29. Solve x = a + 2 for a.
-1
Let x(r) = 2*r**2 - 32*r + 144. Let a be x(6). Solve 0 = -2*g - a + 20 for g.
-2
Let z = -480 - -483. Solve 0 = -z*b + b - 6 for b.
-3
Let d(k) = -k - 16. Let s be d(-6). Let j = -8 - s. Solve -i = j + 2 for i.
-4
Let i(s) be the second derivative of -s**3/6 + 3*s**2/2 - 11*s. Let d be i(-6). Solve w = -2*w + d for w.
3
Let b be (-1)/((1/(-3))/1). Let k = 13813 + -13811. Solve b*a + 3 = k*a for a.
-3
Let j(n) = -1164 - 12*n - n**3 + 1164 - 8*n**2. Let o be j(-6). Solve o = 4*m + 2 + 2 for m.
-1
Let d = 37 + -38. Let y be (-84)/(-24)*d/(-7)*0. Solve -b + 3 = -y for b.
3
Let f = 59 - 57. Suppose 3*y - 2*v = -f*y + 12, -3*y + 3*v = 0. Solve u = -0*u + y for u.
4
Suppose -3*n = 2*y, 4*y = -5*n + 8*y. Let f = n + 1. Let j be 14 - 9 - (-1 + f). Solve 0 = -j*w - 0*w + 25 for w.
5
Suppose 0 = -26*l + 4*l + 154. Solve h = -6*h + l for h.
1
Let g be 24/(-8) + -25*3. Let j = g - -93. Solve 0 = o + 2*o - j for o.
5
Let s(r) = r**3 + 13*r**2 - 15*r - 5. Let o be s(-14). Suppose 0 = -5*d + o + 11. Suppose -4*i = -33 - 27. Solve d*z - z = -i for z.
-5
Let s(k) = -9*k - 33. Let u be s(-4). Suppose 24 - 39 = -u*v. Solve a = v*a + 8 for a.
-2
Suppose -2*n + 28 = 4*c, -4*c + 26 = 3*n - 14. Suppose 6*s + n = 10*s. Solve 2*f - s + 13 = 0 for f.
-5
Let k(b) = b**3 + 20*b - 358 + 11*b**2 + b**2 + 363. Let l be k(-10). Let d(g) = 7*g - 3. Let j be d(3). Solve -l*y - 7 = j for y.
-5
Let b = 628 + -616. Solve -b = -3*j - 3 for j.
3
Suppose 0*g = -5*g + 180. Suppose n - g = -3*n - 2*z, -5*z + 20 = 0. Solve -3*f - 8 - n = 0 for f.
-5
Suppose -35*n - 180 = -45*n. Solve 0 = -6*o + 12*o + n for o.
-3
Suppose -3*j + 2*j - 9 = 5*s, s = 2*j - 15. Suppose -2*r = -4*i - 6, 5*i + j*r - 8*r + 6 = 0. Solve -6 + i = -3*f for f.
2
Suppose 25 = -2*k + 7*k. Let c = -13 - -26. Let m be (-6)/(-2 + c/8). Solve k*r = r - m for r.
-4
Let n(i) = 7*i**2 - 17*i - 16. Let q be n(-1). Solve -10 = -k - q for k.
2
Let p(r) = -r**3 + 4*r**2 + 7*r + 5. Let g be p(5). Suppose -g*a = -10*a - 5. Solve -5*w = 11 - a for w.
-2
Suppose 0 = -35*y + 5*y + 720. Solve 57 + y = -27*t for t.
-3
Let g be 42/(104/(-16) + 8). Solve -24 + g = -4*l for l.
-1
Let w = 227 + -216. 