.
4
Suppose -n - 3*w + 4 = 0, 2*n - 8*w = -3*w + 8. Solve 2*k - n = 6 for k.
5
Suppose -i + 4*u = -10, -4*i + 2*u - 23 = 7*u. Let f = i + 4. Solve 3*n - f*n = 5 for n.
5
Let y(v) = -v + 16. Let q be y(0). Solve 5*b - b = -q for b.
-4
Let l be 0 + -1*(-1 + -5). Suppose 7*d + 4*c = 3*d + 16, c = 0. Solve 5*u - l = d for u.
2
Let z(m) = 3*m**3 - 3*m**2 + 2*m - 1. Let k(o) = 2*o**3 - 3*o**2 + 2*o - 2. Let v(f) = 4*k(f) - 3*z(f). Let a be v(-4). Solve a*u + 18 = 3 for u.
-5
Suppose 0 = x + 3, 2*b + 2*x + 70 = 24. Let d be (-21)/14*b/6. Suppose 2*p + 3*p = 5*z - 5, 0 = 5*p - 3*z - d. Solve -2*a - p + 12 = 0 for a.
4
Suppose i = -5*n + 4*i, -n = -2*i + 7. Solve 0 = -n*k - k + 8 for k.
2
Let q = -27 - -43. Solve -3*w = w - q for w.
4
Suppose 0 = -5*r + 2*i - 31, -3*r - i + 5*i = 13. Let u = 9 + r. Solve 0 = -u*q - q + 15 for q.
5
Suppose -1972 = 5*w - 4*c, -287 = -3*w - 4*c - 1483. Let s be w/(-10) + 8/20. Suppose -4*q - q = -s. Solve 3*o + o = q for o.
2
Let q(v) = -v**2 + 1. Let s be q(3). Let r = 18 + s. Solve -r = 8*n - 3*n for n.
-2
Suppose -i + 11 = 4*w, 4*w = -2*i + 1 + 9. Let a be (-6)/39 - 80/(-13). Solve 0*d = w*d + a for d.
-2
Suppose 4*b + 30 = 9*b. Solve -p + b*p + 15 = 0 for p.
-3
Suppose -5*k - 4*q + 28 = 0, -4 = -k - 2*q - 2. Suppose 0*s - 2*a - 11 = -3*s, -2*s = -2*a - 6. Let r(c) = 2*c - 6. Let t be r(s). Solve -2*g + t*g = -k for g.
-4
Let r(k) = 3*k - 35. Let y be r(13). Solve -l - y = -3*l for l.
2
Let x(q) = q**3 - q**2 + 9*q**2 + 0*q**3 - 9*q + 7 + 3. Let f be x(-9). Solve -2*j + 0 = f for j.
-5
Let g = 3 + 1. Suppose g*p - 68 = -0. Suppose -2*q + p = -q. Solve 5*j + q = -3 for j.
-4
Suppose -3*k = -8*k. Suppose -f = f. Let x(c) = 3*c**2 - c + 1. Let n be x(1). Solve f*q - n*q + 3 = k for q.
1
Let o be 6 + 6*3/(-6). Let d be (o/(-6) + 0)*0. Solve d = 3*i - 0*i for i.
0
Let r(q) = 5*q - 2 + 0*q**2 - 3*q**2 - 2*q**2 + q**3. Let o be r(4). Let m be (-4)/(-60)*9 + (-2)/(-5). Solve o*t - m = -3 for t.
-1
Let b be (-2)/(-7) + (-338)/(-91). Solve -b*x = -2*x for x.
0
Let c(n) = 3*n - 1. Let o be c(1). Suppose 2*h - 4 = -2*s + o, 2*h + 4*s = 6. Solve 0 = -h*k + 9 for k.
3
Suppose -5*b + 60 = 3*u, b - 2 = -u + 8. Solve -3 = 3*h - b for h.
4
Suppose 4*n + 6 + 6 = -4*q, 0 = -3*n - 5*q - 19. Suppose 3*m + n*o = -3*o + 25, 29 = 5*m + 2*o. Suppose -m*j + 0*j = -15. Solve -1 = j*b - 10 for b.
3
Let k(s) = -s**2 - 3*s + 4. Let q = -48 + 68. Suppose 0*i + q = -5*i. Let y be k(i). Solve y*l = 3*l + 15 for l.
-5
Let u(n) = n**2 + 7*n + 2. Let k be 6/(-21) - (-141)/(-21). Let f be u(k). Solve -f*o - o + 6 = 0 for o.
2
Let c(k) = -k**3 + 6*k**2 + 5. Let b be c(6). Let v be 1/(-4) + 1017/36. Let m be (v/(-16))/((-3)/48). Solve 0 = -b*o - 8 + m for o.
4
Let u(k) = -k**3 + 9*k**2 + 1. Let a be u(9). Suppose 5*w = 4*w. Solve w = -2*o + a + 1 for o.
1
Let n(u) = -u + 5. Let z be n(0). Suppose -3*a = -2 - 10, 2*b - 24 = -z*a. Let s(v) = -v. Let t be s(-3). Solve -b*d + t*d - 4 = 0 for d.
4
Suppose -4*s + 5*r = -9, -3 = s + 2*r + 11. Let p = 8 + s. Suppose 0 = -3*x + 5*x + 5*k + 15, k + 25 = p*x. Solve x*a = -28 + 3 for a.
-5
Suppose -8*g + 13 = 4*s - 3*g, 0 = s + g - 3. Solve -4*r - s = -6 for r.
1
Let x = 4 - 3. Suppose 2*a - 3 = 3. Solve -x = 2*n + a for n.
-2
Let f be -1 + 0 + 2 + 4. Suppose 0 = i - 1 - 9. Let u be (8/(-3))/(i/(-15)). Solve -u = b - f*b for b.
1
Let v(l) = -l**3 - 5*l**2 + 6*l + 4. Let w be v(-6). Let t = 1 + w. Solve 0 = h - t*h - 12 for h.
-3
Let x(o) = o**2 + 24*o + 23. Let i be x(-23). Suppose 7 = 3*m - 2. Solve 9 = -i*y - m*y for y.
-3
Suppose 3*p + 0*w - w = 0, 0 = 2*p + 2*w. Solve p*c + 3*c = 3 for c.
1
Let w(o) = -o - 2. Let m be (-16)/(-56) - 23/7. Let h be w(m). Solve f = -6 + h for f.
-5
Suppose -4*t = 3*n - 8*n + 41, -4*n + 40 = 4*t. Solve -5*x - n = -29 for x.
4
Suppose -5*o = -2*c + 3 - 7, -3*c = -4*o - 1. Let w(g) = -g**3 - 4*g**2 - 2*g - 3. Let a be w(-4). Solve -a = -o*y + 1 for y.
3
Let j(c) = -c**2 + 9*c + 4. Let z be j(9). Suppose -q - 3*w = 2*q + 6, 5*q - 2 = w. Suppose q = -4*y + 20 - 8. Solve -y*i + z = -i for i.
2
Suppose -7*x = -5 - 51. Solve 5*v = x + 2 for v.
2
Suppose q = -5*r + 4*q - 2, 0 = -4*r - 3*q + 20. Solve 12 = -r*d + 2 for d.
-5
Let b(k) = k**2 + 7*k + 3. Let h be b(-4). Let q = h - -13. Let m = -24 + 26. Solve 0 = q*w - 2 - m for w.
1
Let j(y) = y**2 - 7*y + 3. Let i(q) = -q**2 + 8*q - 2. Let p(a) = -2*i(a) - 3*j(a). Let t be p(4). Let b = 5 - t. Solve -b*d + d = 0 for d.
0
Let z(s) = 2*s**3 + 10*s**2 + 2. Let m be z(-5). Solve -2*t - 12 = -m for t.
-5
Suppose d = 2*a - 4*d - 2, 2*d = a - 1. Let o = a + 3. Suppose 3*b = 2*b - o, 5*b + 14 = -2*v. Solve 0 = v*w + 8 - 2 for w.
-2
Let p(s) = s**2 - 4*s - 11. Let g = 19 + -13. Let c be p(g). Solve -h - 3 = -c for h.
-2
Let y = -17 + 19. Solve -j + y = -0*j for j.
2
Let n be 1/(159/39 + -4). Solve -n = -2*h - 5 for h.
4
Let i(o) = -o**2 + 6*o - 1. Let w be i(4). Let a = w + -4. Solve 2*n + a = -5 for n.
-4
Suppose 1 = 5*o - 4. Let q(s) = -s**3 + 13*s**2 - 12*s + 7. Suppose 0 = m - 9 - 3. Let l be q(m). Solve -o = 3*b - l for b.
2
Let m = -19 + 19. Solve -2*o + m*o = 0 for o.
0
Let g(w) = -w + 11. Let d be g(0). Solve 0 = 8*r - d*r + 15 for r.
5
Suppose -2*t - 24 = 2*t + y, -t - 3*y = 6. Let z be (-3 - 15/(-6))*t. Suppose -q + z + 0 = 0. Solve -i + 20 = q*i for i.
5
Let d be (-2 + 2)/(-4 - -3). Suppose d*j + 3*j = 3*v + 39, -1 = -j - 5*v. Solve -j = 4*q + 1 for q.
-3
Suppose 0 = i + 1 - 3. Suppose -a - c + 2 = 0, -8*a + c = -3*a - 28. Solve i*v + a = 3*v for v.
5
Let u = 95 - 90. Solve 6*g - 4 = u*g for g.
4
Let s = 318 - 226. Suppose 4 = u, -w + 3*u + s = 3*w. Solve 4*c - 10 = -w for c.
-4
Let m(d) = d**2 + 8*d + 6. Let h be m(-8). Suppose 0 = -q + 2*q + h. Let y be q/(-21) + (-19)/(-7). Solve 0 = 2*x - y*x for x.
0
Suppose -3*k - 20 = -5*d + 8, 3*d + k = 14. Solve d*z = 4*z - 3 for z.
-3
Let h be -5 - (3 + -2)*1. Let z(k) = k + 7. Let i be z(h). Solve 0 = -5*v - 9 - i for v.
-2
Suppose -5*u - 28 = 3*z, 3*z - 2*u = -z - 20. Let x = 15 + z. Suppose 3*c + 2*r = -r + x, -2*c + 2*r = -10. Solve c*k = -0*k - 20 for k.
-5
Suppose z - 4*k = k - 23, 4*z = -2*k + 18. Suppose f - 4 = -z. Solve 1 = f*u + 3 for u.
-1
Suppose -152*j + 75 = -147*j. Solve 3*w = -2*w + j for w.
3
Let l = 73 + -66. Solve 1 = 6*c + l for c.
-1
Suppose -5*x - 27 = -72. Solve 0*m + 3*m = -x for m.
-3
Suppose -4*y + 1 + 7 = 0. Solve -y*v - 10 = -0*v for v.
-5
Let z = 6 + -10. Let s be z/14 + (-46)/(-14). Solve 6 = -0*n - s*n for n.
-2
Let q(m) = -m**3 - 2*m**2 + 2. Let y = -3 + 1. Let a be q(y). Solve -j + 1 = -a for j.
3
Suppose -7 = 2*p + 3*c, 4*c = 2*p - 8 - 6. Let n = 2 - -7. Let s = 1 - -4. Solve -p = s*r + n for r.
-2
Suppose 2*w - 2 = 2*r + 2, 0 = -w - 5*r + 14. Let l be w/20 - (-2)/(-10). Solve l = -3*g + 7*g + 8 for g.
-2
Let o be 48/(-112) - 118/(-14). Solve -u + 3*u = -o for u.
-4
Suppose 0*y = -5*y. Solve d + 4 = -y*d for d.
-4
Let p(a) = 2*a**2 - 2*a. Let y be p(3). Suppose -2*u + y = u. Solve u + 1 = -5*r for r.
-1
Let s(p) = 4*p + 3. Let n be s(3). Solve 0*b = -3*b - n for b.
-5
Let k = -33 + 35. Solve 1 = k*o + 5 for o.
-2
Let h = 15 - 7. Let b be (h/(-10))/((-4)/20). Suppose -37 - 3 = -b*i. Solve 0*c - i = -2*c for c.
5
Let g(i) = -i**3 - 7*i**2 - 7*i - 4. Let y be g(-6). Let t(a) = a**3 - 2*a**2 + 3*a - 1. Let q be t(y). Solve 2*o - 3*o = q for o.
-5
Suppose -n + 5 = j - 2, 4*j - 8 = n. Solve 0 = j*g - 0*g for g.
0
Suppose 0 = g - 6 + 3. Suppose a - 17 = -g*w, -21 = -5*w + 3*a - a. Suppose 0 = w*m + u - 34, -m + 4*u + 8 = 3*m. Solve -6 - m = 3*x for x.
-4
Let z be (-3)/((-18)/4) - 484/(-66). Solve -2*h = -6*h - z for h.
-2
Suppose -44*w + 39*w = -15. Solve -w*a + 2 = 17 for a.
-5
Suppose -3*n + 15 = -0*n. Let f(b) = -b + 7. Let u be f(n). Solve -4*r + 10 = -u for r.
3
Suppose -4*l - 5*b = -41, -34 + 7 = -3*l - 3*b. Solve -o - l = o for o.
-2
Suppose -f = -4*g - 6, -24 = -f - 3*f - 4*g. Solve 2 + f = 4*l for l.
2
Let p = -3 + 3. Suppose p = -3*f - 18 - 6. Let o be (-64)/(-6) + f/12. Solve 0 = 3*z - 8*z + o for z.
2
Let k be -5*(4/(-10))/1 + 3. Solve 2*i - 3 - k = 0 for i.
4
Let p = 0 - -2. Let q be 3/(15/(-4))*-5. Solve -q = s - p*s for s.
4
Let o = -22 + 35. Let j = -8 + o. Solve 2*h = j*h + 15 for h.
-5
Let l(x) = x**3 - 4*x**2 + 4*x - 15. Let g be l(5). Solve 10 = 4*