lve g = -3 + s for g.
-2
Let c = -7 - -12. Let n be -1*(6 + -3) - -6. Suppose 0 = -3*i + 2*i + n. Solve -i*w = -c*w - 10 for w.
-5
Let h(m) = -5*m**2 - m + 6*m**2 - m - 3. Let n be h(5). Solve -3*t = 27 - n for t.
-5
Suppose -15*a + 13*a = 48. Let p = a + 30. Solve -p = -4*j + 14 for j.
5
Let l = 10 + -2. Suppose -s = 2 - l. Solve 2*w - s*w - 4 = 0 for w.
-1
Suppose 0 = 3*b - 4*b + 3. Let v(w) = w**2 + w - 1. Let r be v(-3). Suppose b*k - r = 1. Solve k = q + q for q.
1
Let c(p) = -3*p - p**2 - 5*p + 2*p. Let j be c(-3). Solve 5*n - 6 - j = 0 for n.
3
Suppose -10*i + 52 = -6*i. Let l(v) = -v + 7. Let f be l(5). Solve f = 5*r - i for r.
3
Let o = -39 - -40. Solve -x - o = 4 for x.
-5
Let w(y) = 3*y**3 - 5*y**2 - 2*y + 13. Let x(v) = 2*v**3 - 6*v**2 - v + 13. Let b(m) = 3*w(m) - 4*x(m). Let n be b(-9). Solve d + n - 1 = 0 for d.
-4
Let u(p) = p + 7. Let q be u(-7). Solve q = -t + 2*t for t.
0
Let h(o) = -o**3 - o**2 - 6. Let f be h(0). Let t be (-4)/8*f + 0. Solve t*g + 1 = 4 for g.
1
Let c be (4/5)/(6/15). Suppose 5*n - c*n = 12. Suppose -5*z - 3 = -28. Solve 6 = -z*o - n for o.
-2
Let n(g) = -2*g**3 + 0*g**2 + 3*g**3 - 2 - 2*g**2. Let a be n(3). Suppose -2*f = -a*f + 15. Solve -p - 1 - f = 0 for p.
-4
Let u(p) = -p**3 + 6*p**2 - 6*p + 8. Let a be u(5). Let j be (2/(-4))/((-4)/16). Let s be j/(-6) - (-13)/3. Solve a*z = s*z - 5 for z.
5
Suppose 2*j + h + 1 = 7, 5*j = 5*h + 30. Let d(t) = t + 3. Let x be d(-4). Let a = x - -3. Solve -j*k = -5*k + a for k.
2
Let w be 4 + (1 - 1)/2. Suppose 3*r = 4*v + 2*r + 2, -2*r = 2*v - 4. Suppose 4*p = -v*p + 60. Solve i + w*i - p = 0 for i.
3
Suppose 5*n + 0 + 19 = -2*x, -2*n = 3*x + 1. Suppose -j - 2*v = 0, 3*j = -6*v + x*v + 6. Solve 8 = -j*l - 12 for l.
-5
Let s(r) = -2 + 5*r - 5*r - 4*r. Let k(o) = 3*o + 1. Let q(b) = -5*k(b) - 4*s(b). Let a be q(-3). Solve 2 + a = j for j.
2
Suppose 5*z - 1 = -4*s - 7, 4*z + 12 = 4*s. Solve 4 = -g + s for g.
-3
Let m be 1 + (-15)/(-6)*2. Suppose 5*z + 1 = m. Let y be (-1)/z*18/(-6). Solve 0*x + y*x + 3 = 0 for x.
-1
Suppose -n + 1 = 5*w - 4, -4*w - 25 = -5*n. Suppose w = 3*y - 4*y. Solve y*a = a + 5 for a.
-5
Let n = 14 + 2. Solve 3*t - n = -1 for t.
5
Suppose 3*k = 2*k + 10. Let i = k + -10. Solve 5 + i = -a for a.
-5
Suppose 0 = x - 8 - 3. Let g = 18 - x. Let k = 12 - g. Solve -7 = k*d - 22 for d.
3
Suppose -n - 2 = -4. Solve -n*k = k + 3 for k.
-1
Suppose 4*w = u - 17 - 7, -2*w = -4*u + 40. Suppose 0 = o + o + t - 4, -2*t = -u. Solve i + 3*i + 16 = o for i.
-4
Let i(y) = -8*y - 28. Let q be i(-4). Solve q*a - 11 = 9 for a.
5
Suppose 0 = -4*g + 5*q + 59, -3*g + 7*g - 60 = 4*q. Solve 11*x = g*x + 10 for x.
-2
Let m(d) = -20*d**2 + 2*d + 7*d + 13 - 7*d + 0*d**2. Let g(w) = 10*w**2 - w - 7. Let h(o) = -11*g(o) - 6*m(o). Let a be h(-1). Solve -5*y + 0 + a = 0 for y.
2
Suppose -k + 0*k + 25 = 0. Let d be k*7/(70/4). Solve -4*j + d = 26 for j.
-4
Let h(m) = m - 2. Let o = 2 + 2. Let l be h(o). Solve 0*g - 10 = -l*g for g.
5
Suppose g = -2*o - g + 4, -8 = -4*o + 2*g. Solve 0 = o*d - 6*d - 12 for d.
-3
Suppose -5*o + 2 - 3 = 2*q, -2*o = -q + 13. Solve -23 = -4*l - q for l.
4
Suppose -v + 2*v = 2. Suppose 0 = -3*s - 2*k + 18, 2*s - v*k - 10 = -2*s. Solve 0 = -s*z + 3*z for z.
0
Suppose 0 = 5*u - 0*y + 2*y + 33, -16 = 4*y. Let p be ((-2)/u)/(6/60). Solve l = -p*l for l.
0
Let h be 4/(-22) - (-896)/88. Let v(a) = a**3 - 11*a**2 + 11*a - 10. Let i be v(h). Let j = 2 - i. Solve j*d - 5 = -3*d for d.
1
Let b(f) = f**3 - 8*f**2 - f + 11. Let r(n) = n + 1. Let t be r(7). Let g be b(t). Let d = 4 - g. Solve 0 = -3*v + 4*v + d for v.
-1
Suppose -2*q = 3*h, -h - 5*q - 19 = -3*h. Solve 7*b - h*b = 10 for b.
2
Let w(t) = 2*t - 8. Let z be w(12). Let d(o) = -o + 16. Let x be d(z). Solve -k + 4 + 0 = x for k.
4
Suppose -18 = 2*i - 0*i. Let n be (24/18)/((-1)/i). Solve 0 = -0*m + 3*m - n for m.
4
Let n be 1/2 + -2 + 27/6. Let c(h) = -h**3 - 4*h**2 + 6*h + 5. Let l be c(-5). Let u be (-4)/(-6) + 67/3. Solve l = 4*d - n + u for d.
-5
Let d(y) = y**3 - 6*y**2 + 4*y + 5. Suppose 4*x - 2*x - 10 = 0. Let r be d(x). Solve -5*w - 22 - 3 = r for w.
-5
Suppose -8*b = -5*b. Solve b*i + 3 = -i for i.
-3
Let d = 50 + -71. Let m = d + 24. Solve 3*b + 0 = m for b.
1
Suppose 0 = -6*t + 3*t + 15. Let o(j) = -j. Let u(r) = 4*r + 5. Let h(b) = 5*o(b) + u(b). Let y be h(0). Solve y = -t*g + 10 for g.
1
Let j be -1 + 19 - (-3 + 1). Solve 2*v = 6*v - j for v.
5
Let z(l) = 2*l - 2. Let u be z(3). Suppose -u*d + 11 + 5 = 0. Let f = d + -4. Solve 0 = -f*a - 2*a for a.
0
Suppose -5*o - 1 = -4*a + 1, 4*o = 4*a - 4. Solve -3*n + a = 6 for n.
-1
Let n(c) = 7*c - 2. Let x be n(-2). Let h = -13 - x. Solve h - 7 = -2*f for f.
2
Let s(b) = -b + 6. Let u be s(4). Let g(n) = -u + 2 + n. Let k be g(5). Solve 0*j - k*j - 10 = 0 for j.
-2
Suppose -2*y - 5*v + 3 = -6*y, 3*v = 3*y. Solve -y*a + 6 = -0*a for a.
2
Let v(g) = g**2 - 11*g + 21. Let a be v(9). Solve 1 = m - a for m.
4
Let k = 21 - 19. Solve f - 3*f = -k for f.
1
Let l(c) = c + 1. Let b(f) = -f**2 + 3*f + 2. Let y be b(-2). Let k be 15/(-10)*y/3. Let t be l(k). Solve -j = -t*j for j.
0
Suppose -5 = 4*m - 29. Let b = 1 + m. Let q = b + -4. Solve 0 = -5*y - q - 2 for y.
-1
Let x be (-8)/(-14) + 240/70. Solve -3*a + x*a = 5 for a.
5
Let j = 11 - 7. Suppose -2*l + 7*l - 9 = 3*v, 2*v = j*l - 6. Solve l = 4*x + x + 15 for x.
-3
Suppose -k + 4*t + 0*t = -10, 6 = -2*k - 5*t. Suppose c + 10 = 6*c - f, -3*f + 24 = 3*c. Solve k = -c*a - 7 for a.
-3
Suppose -24 = -5*p - 9. Solve -x + p*x = -2 for x.
-1
Let b = -22 + 34. Suppose 0*j - b = -3*j. Solve -1 = 5*p + j for p.
-1
Suppose c = -0*c - p + 1, -c - 2 = 4*p. Solve -s + c = -1 for s.
3
Suppose -4*g - 4 - 12 = 0. Let t be -4*g/(2 - 0). Suppose -2*c + 2 = -t. Solve -26 = c*m - 1 for m.
-5
Let q be (-1)/(-4) + 1/(-4). Let u be -3*1 - (11 - 14). Solve q = 3*r - u*r + 15 for r.
-5
Let y = -22 + 25. Solve 5*l = 4*l + y for l.
3
Let b(r) = -r - 3. Let s be b(-3). Suppose 3*g = 5*y - 54, -3*y - 4*g = -2*y + 3. Let k = -4 + y. Solve s*o = k*o - 5 for o.
1
Suppose 0*r - 33 = -3*r + 5*d, 5*d = -15. Let u = r - 5. Solve -h - u = -0 for h.
-1
Let i be ((-24)/(-18))/((-2)/(-3)). Solve -i*o = -3*o + 1 for o.
1
Let x(l) = l**2 - 5*l - 4. Let d be x(6). Let m(f) = f**2. Let p be m(0). Suppose -h + 1 = g - p*h, g = -d*h + 1. Solve g + 4 = n for n.
5
Suppose 0*s - 180 = -4*s. Suppose -3*r = 2*r - s. Solve -5*u - r = 1 for u.
-2
Suppose 7 = t - x, 0*x + 19 = 4*t + 5*x. Suppose 54 = 3*y + t. Let i = -13 + 18. Solve i*u + y = u for u.
-4
Suppose -3*u + 9 = 3*g, -u - 1 = 2*g + g. Let y(k) = -k**3 + 10*k**2 + 5. Let d be y(10). Suppose d*z - u = 25. Solve -c - z = c for c.
-3
Let i(b) = 5*b - 20. Let t(f) = -14*f + 59. Let y(n) = 11*i(n) + 4*t(n). Let d be y(7). Suppose 4*x + 50 = d*x. Solve -2 = 4*r + x for r.
-3
Let a = -6 - -14. Let u(z) = -z**2 + 9*z - 8. Let s be u(7). Solve 2*f - s*f + a = 0 for f.
2
Let b(i) = -i + 17. Let v be b(13). Suppose a + a = -d - 1, a = 4*d + 4. Solve a = -q - v for q.
-4
Let n = 30 - 15. Suppose 3*y + 3*a = -n, -y + 2*y = 3*a - 9. Let s(f) = f**3 + 7*f**2 + 6*f + 2. Let i be s(y). Solve v + 9 = -i*v for v.
-3
Suppose -2 = 3*r - 14. Let l be 7/2 - (-1)/2. Solve r*c + 0 - l = 0 for c.
1
Let y = -5 + 7. Let x be (-1 - (0 + -2)) + 0. Suppose 0 = -2*o + y*l + x + 9, -5*o = -l - 25. Solve o*a + 24 = -1 for a.
-5
Suppose -3*z = 2*r - 80, -5*z + 3*r + 175 = -2*r. Solve 0 = 5*f + 5 - z for f.
5
Let c = -44 + 46. Solve -c*t + 7 - 17 = 0 for t.
-5
Suppose -4*r = -r - 27. Let g(s) = -s**2 + 10*s - 3. Let p be g(r). Solve 2*i - 16 + p = 0 for i.
5
Let h(j) = j - 17. Let a be h(18). Let c be 3/((-30)/4)*-10. Solve g + a = -c for g.
-5
Let t(q) = q + 4. Let z be t(10). Suppose 2*x = 4*a - z, 0*a = 3*a + 4*x - 27. Let u be a - (-4 - 0 - -3). Solve u*j = 2*j + 16 for j.
4
Let n(k) = k**2 - 6*k + 4. Let f be n(7). Suppose -2*q = -0*a + 5*a - 19, 4*q = -a + f. Solve 0 = 5*z - q*z for z.
0
Suppose 8 = 3*u - 7*u. Let y = 2 + u. Solve y*d - 2*d = -2 for d.
1
Suppose 0 = 3*s - 2*j - 0*j - 16, 4*j = 2*s - 16. Solve s*l = 18 - 6 for l.
3
Let b(r) be the third derivative of -r**4/12 - r**3 + r**2. Let i(g) = g + 2. Let h(x) = 4*b(x) + 11*i(x). Let n be h(3). Solve c = n - 3 for c.
4
Let u(v) = -v**3 + 5*v**2 + 8*v - 7. Let x be u(6). Suppos