 n*a - 5*a for a.
0
Let l = 2588 - 2586. Solve 0 = l*s + 22 - 28 for s.
3
Let g(u) = -10 - 8*u**2 - 2*u**3 + 3*u**3 + 2*u + 0*u. Let r be g(8). Solve -3*w = -0*w - r for w.
2
Let c = 107 + -106. Solve -5*d + 6*d = c for d.
1
Let p(g) = -7*g - 23. Let s be p(-4). Solve 8 = -3*o + s*o for o.
4
Suppose -40 = -15*z + 7*z. Solve -j = -z*j + 4 for j.
1
Let g be (-86)/(-6) + (80/12)/(-5). Suppose 16*u - 6 = g*u. Solve u = -5*h - 18 for h.
-4
Suppose -2*n = -39 + 33. Solve -7 = -4*g - n for g.
1
Let r(s) = s**2 - 4*s + 6. Let d be r(5). Suppose 38*x - 5 = 33*x. Solve -d = -2*p - x for p.
5
Suppose 2*g + 2 = v + 8, 3*v - g + 23 = 0. Let n(f) = 6 + 8 + f**2 + 17*f - 6 - 8*f. Let s be n(v). Solve s = -a - 4*a + 25 for a.
5
Suppose -2*j + 12 = -2*n - 0, -5*j = 3*n - 22. Let a be -7*(1 - (-2 + j)). Suppose 0 = 2*m + a - 64. Solve 0 = -3*h - 2*h + m for h.
5
Let f(o) = -o**2 + 10. Let y be f(4). Let g = 21 + y. Solve -4*n = -n + g for n.
-5
Suppose -23 = 2*x - 11. Let s be (-4)/(9/(27/x)). Let u(y) = y**3 + 8*y**2 - 3*y - 12. Let p be u(-8). Solve 0 = s*i + p - 4 for i.
-4
Suppose 0 = -4*v + 7 + 1. Let f(g) = 2 - g - g**v + 0 + g - 6*g. Let p be f(-6). Solve -p = u - 6 for u.
4
Suppose -2*s = k - 3*s - 19, -75 = -5*k - 5*s. Solve -7 + k = 5*n for n.
2
Suppose -3*i = -2*i - s - 13, 3*s = -4*i + 24. Solve -i*z + 6*z - 9 = 0 for z.
-3
Suppose 0*o - 4*o + r = -13, 0 = o - r - 7. Solve -o*t + 10 = 3*t for t.
2
Let n = 4 - 3. Suppose 0 = -t - t + 32. Let j = -14 + t. Solve j = k - n for k.
3
Let u(t) = 3*t**2 - 19*t + 10. Let j be u(7). Suppose j - 12 = 4*y. Solve -4 = -y*s + 5 for s.
3
Let g = 10 + -7. Suppose t = -4*t. Suppose t = g*i - 5*i. Solve 2*u + 2*u = i for u.
0
Let n = 1 + 1. Suppose a = -3*c - 6 + 16, -5*c - a + 20 = 0. Let r be 2/c + 99/15. Solve 0 = -y + r - n for y.
5
Let a(f) be the second derivative of f**4/12 + 5*f**3 + 85*f**2/2 - 33*f. Let n be a(-27). Solve -13*t + 9*t + n = 0 for t.
1
Suppose 0 = 2*g - 0*g, 5*w - 4*g = 5. Let s be 1/((-2)/(-12)*w). Suppose -u - s = -8. Solve y + 3 = -u for y.
-5
Suppose -5*q - 25 = 5*z, z - 2*q - 1 = -q. Let n be 8*z*2*(-5)/20. Solve n = -5*y + 3*y for y.
-4
Suppose 3*q + 56 = 4*c, -22*q - 20 = -17*q. Solve 0 = 16*m - c*m for m.
0
Let h be ((-6)/(-4))/(2/8). Solve -9*b = -6*b - h for b.
2
Let h = -29 - -32. Suppose 0 = d - h*d + 10. Solve -d*u - 3 = 2 for u.
-1
Let z(o) = -2*o**2 - 18*o + 20. Let y be z(-10). Solve 3 = -y*x + 3*x for x.
1
Suppose 9*o - 40 = o. Solve 14 = o*p + 4 for p.
2
Let n = -69 + 66. Let x(h) = 2*h**3 + 6*h**2 - 3*h - 7. Let k be x(n). Solve -12 = k*z + 2*z for z.
-3
Let w be (-4 + 3 + 0)*1. Let r be (2 - (3 + w))/1. Solve 9 = -r*p + 3*p for p.
3
Let v(y) = -3*y**3 + y. Let s be v(-1). Suppose -5 = k - 5*i, -4*k = -5*i - 0*i - 10. Suppose -4*n + n + 7 = 5*c, -k*n = -4*c - 24. Solve -n*a + 4 = -s*a for a.
2
Let y be -1*8/10 - 252/(-90). Solve 4*j + 22 = y for j.
-5
Let g(a) = -a**3 + 11*a**2 + 80*a + 1. Let p be g(16). Let q = -1 - -5. Solve q = -h + p for h.
-3
Suppose 2*l + 5*c = -25, 2*c + 17 - 7 = -4*l. Suppose 2*o - 6*s + 2*s + 12 = l, -5*s = 3*o - 37. Solve 0 = y - 2*y + o for y.
4
Suppose -5*f = 0, 3*f - 10 = 7*i - 12*i. Solve -i*q - 2 + 8 = 0 for q.
3
Let o be (3 - (5 - 12)) + -3. Suppose -2*x + 15 = o. Solve x + 5 = -3*k for k.
-3
Let n(v) = -v**3 + 4*v**2 + v + 28. Let q be n(5). Let c be (-1 + q/(-4))/(-3). Solve 0 - c = d for d.
-1
Let d(f) = -f**3 - 2*f**2 - f + 2. Let r be d(-2). Let b = 527 - 525. Solve -r*z + b = -2 for z.
1
Suppose -3*g + f = -74, -7*g + 2*g + 2*f = -122. Let q be (-4)/g + (6 - 144/78). Solve -4 = q*r + 8 for r.
-3
Let l be 12/18*(1 - -305). Suppose -4*m + m + 126 = 3*v, -5*m - 2*v = -l. Let h be m/16*(3 - -1). Solve 0 = 3*r + 25 - h for r.
-5
Let r(a) = a**2 + 11*a + 20. Let y be r(0). Solve -2*z = 2*z - y for z.
5
Let p = 99 + -95. Solve 0 = -p*m + 33 - 17 for m.
4
Let p be (-4)/8 - 18/(-4). Suppose -3 - 5 = -p*f. Suppose v - x - x = 12, x + 1 = 0. Solve f*s - v = 7*s for s.
-2
Let b be (2/2)/((-8)/(-24)). Suppose -g + 10 = -3. Suppose 0 = -12*l + g*l - 2. Solve -v + b = l*v for v.
1
Let x(g) = 4 + 2*g**2 - 3*g + 5*g + 1 + 0*g**2. Let h(c) = 2*c**2 + 2*c + 4. Let a(z) = 4*h(z) - 3*x(z). Let l be a(-2). Solve -1 = q - l for q.
4
Let v be (39/(-45) - 5/(-25))*-3. Let r be v + (-4)/(-4)*-2. Solve r*c = -3*c - 12 for c.
-4
Let d = -1441 - -1448. Solve 0 = 8*q - d - 17 for q.
3
Let l(w) = -w**2 - 10*w + 7. Suppose 2*j + 0*j = -6, -9 = 3*a - 4*j. Let p be l(a). Solve 5*c - 3 = -p for c.
-5
Let d(s) = 2*s**3 + 9*s**2 + 2*s + 38. Let j be d(-5). Solve -6*w - j = 9 for w.
-2
Let u be -1 - (-1)/(6/126). Let w be 4/(-22) - 171/(-33). Let k = w + -3. Solve k*l = 7*l - u for l.
4
Let i(k) = -53*k - 8. Let b be i(-1). Solve 0 = 10*p - p - b for p.
5
Suppose 0*f + f - 11 = 0. Suppose -5*r + f + 24 = 0. Let o(c) = 4*c - 30. Let w be o(8). Solve -r + 1 = w*u for u.
-3
Let u = -115 - -124. Solve 6*l + u = 3*l for l.
-3
Suppose 5*l = 24 - 4. Suppose 0 = 6*w - w - 10, -4*u + l*w = 8. Suppose 2*c = -0*v - v + 12, -2*c + v + 4 = u. Solve 2*h = h + c for h.
4
Let g be 2/(-7) + (-820)/(-28). Let f = g - 26. Suppose f*j = -0*j + 6. Solve 0 = -j*k - 2*k + 8 for k.
2
Let z(t) = t + 7. Let n be z(-6). Suppose -31 = -4*c + 5*p, -2*p - p = 2*c + n. Let u = 0 + c. Solve d + 1 + u = 0 for d.
-5
Suppose 2*u = -4*u + 30. Suppose 14 = u*d - 6. Solve d*r + 15 = -r for r.
-3
Let z(l) = l**3 - 5*l**2 + 3*l - 6. Let x be z(5). Suppose 76 = 5*b - x. Let t = -17 + b. Solve t = 6*p - 2*p + 16 for p.
-4
Let l(r) = -r + 10. Let g be l(8). Solve g*j - 25 = -3*j for j.
5
Let k be 5 + (-99)/21 + (-96)/(-7). Suppose k + 1 = 3*y. Solve -y*h = -4*h for h.
0
Suppose 12 = -w + 26. Solve w*a - 8*a - 12 = 0 for a.
2
Suppose -4*k = 2*h - 44, 0 = 4*k + 8*h - 11*h - 64. Solve -4*j + 33 - k = 0 for j.
5
Suppose -3*g = 4*d - 6, 0 = -2*g + 4*d + 3 + 1. Suppose 2*z + g*p = 1 + 13, 5*z - 5 = 5*p. Solve 0 = -3*u + z + 11 for u.
5
Suppose 23 - 3 = 5*t. Suppose 0 = 2*o - t*n - 20, 5*o - 3*n - 77 = -2*n. Solve -2*b - o = 2*b for b.
-4
Suppose -63 = -4*p + k, 5 + 29 = 2*p + 2*k. Let q be 7/((-28)/p) + 4. Suppose 5*z + a - 7 = q, -4*a = -3*z - a + 15. Solve 2 = g - z for g.
4
Let y = -2296 - -2296. Solve -r + 13*r = y for r.
0
Let u(s) = s**3 + 10*s**2 + 16*s - 10. Let t be u(-7). Suppose 3*p + t = 5*w - 0, -4*p + 5 = w. Solve 2 = -d - p for d.
-2
Suppose 3*y = 4*f - 60, -4*y = 5*f - 3*f + 102. Let h be (-4)/(1*y)*6. Let g = 3 + -2. Solve -h = u + g for u.
-2
Suppose 0 = -20*x + 21*x - c + 2, 2*x = 3*c - 6. Solve x*a - 25 = 5*a for a.
-5
Suppose -5*c + 21 - 6 = 0. Let y(g) = 5*g + 32. Let f be y(-15). Let k = f - -51. Solve -x = -c*x - k for x.
-4
Let u(g) = -g + 26. Suppose -4 = -2*n + 8. Let t be ((-68)/n)/((-6)/9). Let k be u(t). Solve k*y = 4*y for y.
0
Let b = 689 - 675. Solve 11*q = 4*q - b for q.
-2
Let p(i) = -i**2 - i + 30. Let m be p(-6). Solve 2*d + 0 + 8 = m for d.
-4
Let u(s) be the second derivative of s**3/6 + 3*s**2 + 3*s. Let t be u(-4). Suppose -4*c = -18 - t. Solve 20 = -c*f - 0 for f.
-4
Let o(q) = -3*q**2 + 1. Let b be o(-1). Let x(m) = m + 19. Let y be x(-15). Let l = y + b. Solve l = 5*c + 17 for c.
-3
Let k = 155 + -141. Solve -k = -r + 8*r for r.
-2
Let z = -1977 - -1982. Suppose 4*k = -3*v + 3, -2*v - k - 8 = -3*v. Solve -z*l - 5 = v for l.
-2
Let m = -570 - -572. Solve -2*u + m = -4*u for u.
-1
Suppose 10*u + u = -16*u. Solve -25*m + 46 + 29 = u for m.
3
Suppose -1 = -13*o - 1. Suppose -65 + 2 = -3*l. Suppose 0 = -5*t + 4*h + 35, 3*t + 0*t = 4*h + l. Solve o = 4*k + 1 + t for k.
-2
Let a = 101 + -62. Let s be (13/a)/(1/3) + 7. Solve -x = -3*x + s for x.
4
Let q(l) = l**3 + 35*l**2 + 34*l. Let u be q(-34). Solve u = -10*x - 3*x + 52 for x.
4
Suppose -3*q - 6 = 2*l, l - 4*q = -3*q + 2. Solve 12 = -l*u + 4*u for u.
3
Suppose 3*u = 5*m - 18, -4*m = -5*u - 2 - 41. Let l = u + 11. Suppose -5*t + 6 = -p, l = -4*p - t - 4*t + 26. Solve -p*z = -9*z - 15 for z.
-3
Suppose -26*z = -39*z + 117. Solve -6 = 5*c + z for c.
-3
Let o(y) = -18*y**2 - 2*y + 4. Let j be o(0). Solve -j*p + 9 = 5 for p.
1
Let a(i) = 8*i - 1. Let o be a(1). Suppose -q = -3*p - 11, -4*p + o = -0*q + 3*q. Solve -q + 1 = 4*n for n.
-1
Let w be (-6)/(-54) - (-440)/90. Suppose j = 4 - 1. Solve -2*o + w = j for o.
1
Suppose 35 + 15 