1). Solve c = 3*w + 12 for w.
-4
Suppose t - 5*t + 16 = 2*r, 5*r = -4*t + 22. Let c = 5 - t. Solve c*b + 2 = b for b.
-2
Suppose 3*y + 16 = 7*y. Solve y*o = -3 - 5 for o.
-2
Suppose 0 = 3*u - 3*j - 9, 2*u - j = -2*j - 9. Let i be (u + 1)/((-1)/6). Solve -2*q = -0*q + i for q.
-3
Let x = -23 + 28. Solve 0 = -x*j - 0 - 10 for j.
-2
Suppose -15 - 175 = -5*c. Let r be 3/12 + c/8. Suppose 12 = r*v + 4*p, 0 = 4*p + 4 + 4. Solve 4*z + v = -0 for z.
-1
Suppose -5*m - 15 = f, 4*f = -0*f. Let d = 3 - m. Suppose -2*h + d = -0*h. Solve 2*k - 3 = h*k for k.
-3
Suppose -3*u - 9 = 3*d, -4*d = -u - 1 - 2. Let j(v) = v**3 - 7*v**2 + 7*v - 3. Let h be j(6). Solve d = -5*n + 4*n - h for n.
-3
Let g = -2 + 4. Suppose -3*v - g - 4 = 0. Let k be ((0 - v) + -2)/(-1). Solve 0 = -2*d + 2 - k for d.
1
Let p(s) = -s**3 + 14*s**2 - 14*s + 17. Let r be p(13). Let w = 2 - -1. Solve 11 = w*b - r for b.
5
Let g = -40 + 42. Solve -c - g - 1 = 0 for c.
-3
Let m(n) = n + 14. Let d be m(6). Let s = 20 - d. Solve -h - h - 6 = s for h.
-3
Suppose 5*w + 69 = 3*g + g, 0 = g + 5*w - 36. Solve 4*f = g - 1 for f.
5
Suppose 2*r = -u + 1 + 2, -r - 3 = 2*u. Suppose 5*a - 3 = -3*w, 5*a + 2 = 5*w - 3. Solve a*d = -r*d for d.
0
Suppose 2*n = 4*r + 14, -3*r + n + 7 = 19. Let i = r + 5. Solve -j + i*j = 0 for j.
0
Suppose -5*y + 25 = x, 0*x + x = -y + 5. Solve 3*z + z + 8 = x for z.
-2
Suppose -2 + 0 = 2*v. Let g(p) = -33*p**2 - 2*p - 1. Let k be g(v). Let j be 3/2*k/(-12). Solve q = 5*q - j for q.
1
Suppose 0 = 4*c - 3*c - 4. Let u be c/(-1)*(-10)/8. Solve -7*h = -u*h for h.
0
Suppose -3*t + 35 = 4*j, t = 5*j + 3*t - 49. Let d = 2 + -4. Let f = 7 + d. Solve -1 + j = -f*c for c.
-2
Let s(h) = h + 4. Let x be s(9). Solve 5 - x = 2*o for o.
-4
Let x be 0/(1/(-3)*-3). Suppose 2*b - 128 = -2*l, x*b = 5*b + l - 320. Suppose -3*m + b = m. Solve -4*g = -m - 4 for g.
5
Let x(r) = -3*r - 7. Let h(v) = -2*v - 6. Let i(y) = -7*h(y) + 6*x(y). Let b be i(-1). Let f be b/(-7)*14/(-4). Solve n + 1 = f for n.
1
Suppose -2 = -2*a + a - f, 2*f = 0. Solve -2 = a*q - 4*q for q.
1
Let m be ((4 - (-28)/(-4)) + 1)*-1. Solve -o + 5 = -m*o for o.
-5
Let c(j) = -9*j - 9. Let f(i) = 26*i + 26. Let d(t) = -17*c(t) - 6*f(t). Let v be d(-9). Solve -4*z - 8 = -v for z.
4
Let n = -13 - -21. Let u be (-75)/(-10)*n/3. Solve 6*j = j - u for j.
-4
Let r(w) = -4*w + 20. Let d be r(5). Solve d = -n - 2 + 3 for n.
1
Let c = 4 + -1. Suppose 5*p - 15 = -3*j - 2*j, 4*p = c*j + 33. Solve p = -2*r - 0 for r.
-3
Let x be (1*4)/(5 + -7). Suppose 0 = -2*n + 5*n + 9. Let k be n/(-1) + 2 + x. Solve 0 = -k*l - 4 - 2 for l.
-2
Suppose -2*n + 2 = 2*d, -3*n + n - 16 = -4*d. Solve -a - d*a = 20 for a.
-5
Let b = -24 + 20. Let i be ((-176)/(-40))/(b/(-10)). Solve i = 3*o + 2 for o.
3
Suppose -u = 5*r - 28, r + 4*u - 3 - 14 = 0. Let h = -3 + r. Solve 0 = -5*g + h - 7 for g.
-1
Suppose 5 = 2*k - 3. Suppose k*s + q - 1 = 1, s = -q + 2. Solve -2*r - 6 = -s for r.
-3
Suppose -27 = 4*t - 51. Solve t*x = 3*x for x.
0
Suppose h - 5*h - 17 = -j, 0 = -j + 5*h + 21. Solve b + 5 = j for b.
-4
Let p = 46 + -46. Solve p - 15 = 3*z for z.
-5
Suppose -5*s + 9 = 29, y - s - 6 = 0. Solve 0 = y*j - 2 - 0 for j.
1
Let m be -2*1 - (-24)/4. Suppose m*v + t - 7 = -3, -t = 2*v. Solve 5*u = -v - 8 for u.
-2
Let s = 49 - 29. Solve s = -a + 5*a for a.
5
Suppose 3*u = g - 0*g + 79, 2*u - g = 54. Let a(n) = -n**2 + 9*n + 5. Let x be a(9). Solve x = -4*j + u for j.
5
Let w(s) = 8*s**3 - 11*s**2. Let b(y) = -7*y**3 + 10*y**2. Let q(p) = -7*b(p) - 6*w(p). Let v be q(4). Solve v = -5*u + 10 + 15 for u.
5
Let c = 134 - 128. Solve -t - 2 + c = 0 for t.
4
Let n(j) = -59*j - 351. Let k be n(-6). Let l be (2/4)/((-2)/(-36)). Solve 6*t + l = k*t for t.
-3
Let o = -102 - -103. Solve 0 = -3*l + 8 + o for l.
3
Suppose 0 = -4*z - 5*t + 19, -z = t - 1 - 4. Suppose 3*i - 5 - 10 = 0. Suppose 0*a = i*a. Solve a = 3*x - x + z for x.
-3
Suppose -87 = 3*f - 4*l, 3*l = f + 3*f + 109. Let m = f + 28. Solve -m*b = -b for b.
0
Suppose 0 = -10*y + 11*y - 3. Solve y*x = x for x.
0
Let p = 6 - 12. Let m be (-182)/p + (-12)/(-18). Suppose -4*c + 2*j = 3*j - m, -35 = -4*c + 3*j. Solve n + c = -n for n.
-4
Suppose 0 = 5*l - 36 - 4. Let u = 1 + -1. Suppose 5*n - n - l = u. Solve -4*b = -n*b for b.
0
Suppose g = -5*y - 7, 3*g - 5 = -0*g - 2*y. Let t be (g - (4 - 1))/1. Solve t = 3*u - 3 + 9 for u.
-2
Let y(f) = f**3 - 11*f**2 + 3. Let r be y(11). Solve -r*p = -8 + 2 for p.
2
Suppose -2*n + 6*n = 5*h - 40, 0 = -5*h - 4*n. Solve -h = -4*c + 16 for c.
5
Let x(h) = h**2 + 15*h + 38. Let s be x(-12). Let c(t) = t**2 + t + 1. Let w be c(-2). Suppose -w + 33 = 5*m. Solve -s*f + 2 + m = 0 for f.
4
Let c be (4/(-10))/((-3)/(-75)). Let a = c + 21. Solve 0 = 5*y - 36 + a for y.
5
Let i = 10 + -6. Let f be 3/4*i + 0. Solve -3*p = 9 + f for p.
-4
Suppose 4*t + 2 - 18 = 0. Suppose -11 = -2*w + 3*d + 2, t*w - 20 = 4*d. Suppose -23 = -2*i - b, -6*i - 5*b = -w*i - 61. Solve 2*g - i + 1 = 0 for g.
4
Suppose 0 = 5*b + 2*o + o - 58, 5*b = -o + 56. Solve -3*j + 1 = -b for j.
4
Suppose 2*b - 1 = 3*b, 4*i - 5*b - 25 = 0. Let g = -43 - -9. Let f be g/(-3) - i/15. Solve 0 = -4*s + 5 + f for s.
4
Let v(s) = -s**2 + 4*s + 4. Let c be v(4). Let d be (-2)/12 - 5/6. Let g be 3*(0 + (d - -2)). Solve 5*b - c = g*b for b.
2
Suppose 3*m - 6*m + 53 = -5*n, 64 = 4*m - 5*n. Suppose t + 3 = m. Suppose -15 = 3*j - t*j. Solve -u - j*u = 8 for u.
-2
Let d = 3 + -3. Let r(l) = -4*l + 0 + l**2 + 2 - 6. Let y be r(6). Solve d = 4*t - 0*t + y for t.
-2
Suppose 3*d = 8*d - 375. Suppose 0 = -0*k + 5*k - d. Let u be 1*5/(10/12). Solve k = -u*m + m for m.
-3
Let q(t) = 7*t**3 + 8*t - 3*t**2 - 4 - t**2 - 8*t**3. Let p be q(-6). Solve 5*z + p = z for z.
-5
Let j be ((-2)/6)/(1/(-9)). Suppose 6 = -j*u + 21. Solve u*m + 20 = m for m.
-5
Let j = -77 + 85. Solve w = 5*w - j for w.
2
Let n = -14 - -2. Let j = 17 + n. Solve 6 + 9 = j*t for t.
3
Let q(i) = i + 7. Let g be q(-5). Let x(l) = 2*l**3 - 2*l**2 - l - 2. Let j be x(g). Let p = j - 4. Solve -4*r + 7*r = p for r.
0
Let d = 13 - 10. Suppose 29 = 4*y - d. Solve -y = h + h for h.
-4
Let k(t) = t**3 - 5*t**2 + 2*t - 5. Let v be k(5). Let q(f) = 15*f**2 + 3*f + 2. Let c be q(-1). Solve v*y - 6 = c for y.
4
Suppose 0 = -o + 3*q + 5, 4*q - 2 = -o - 2*o. Suppose o*y = -3*y + 40. Solve y = 4*g - 4 for g.
3
Suppose 4*r = -2*b - 0*b + 46, r + 11 = 4*b. Solve -6*t + r = -3*t for t.
3
Let g = 96 + -94. Solve -4*k + 2 = -g for k.
1
Let v(x) = 2*x - 4. Let f be v(3). Suppose -2*d - 2*n + 12 = -3*n, -2*n = 2*d. Solve 0 = -f*o + 4*o - d for o.
2
Let g(z) = 2*z - 12. Let q be g(8). Suppose 3*i + q*v - 98 = 2*v, 110 = 3*i + 5*v. Suppose -4*m + 9*m - i = 0. Solve 0*n + 3*n = m for n.
2
Let x(w) = w**2 - w. Let d be x(4). Let o be (d/5)/((-21)/(-70)). Solve -3*k = k + o for k.
-2
Suppose -3*l = -2*n - 2 - 4, 3*n = 0. Solve 3*t = -1 - l for t.
-1
Let g be (-5)/(-2) - 324/(-24). Suppose -h + 3 = 1. Suppose 4*r = -h + 18. Solve 4*b = -g + r for b.
-3
Let x be (27/(-12))/(15/(-40)). Solve -x*z + 4*z = 10 for z.
-5
Suppose d = 30 - 27. Solve -12 + 0 = -d*i for i.
4
Let s be 6*(-3)/6*5. Let i be (20/s)/(2/(-15)). Solve -2*v + 2 = i for v.
-4
Let z(n) = -n + 1. Let y be z(-4). Solve x = -4*x - y for x.
-1
Let d(g) = -6 + 4 - 3*g + 2. Let x be d(-1). Solve -x*b + b = -4 for b.
2
Let p be -4 + ((-14)/(-3) - (-3)/9). Solve c - p + 2 = 0 for c.
-1
Let q = -22 - -10. Let i = q + 14. Solve -i*j = -j for j.
0
Let q(k) = -k + 11. Let m be q(11). Solve -2 = -l - m for l.
2
Let d(k) = k**3 - 2*k**2 + 2*k + 1. Let x be d(2). Suppose 5*m = -5*n + 5, -2*n - 8 - 15 = -3*m. Solve -x = -2*p + m for p.
5
Suppose 0 = z - 3*z. Suppose 0 = 2*p - 8*t + 3*t, 5*p + t = z. Solve 5*f = -p*f - 5 for f.
-1
Let b(y) = -y + 1. Let i be b(5). Let w be (i/6)/(6/(-27)). Let u(n) = -n**3 + 5*n**2 - n + 6. Let a be u(5). Solve -a = -s - w for s.
-2
Let m(y) = -y + 1. Let r be m(-1). Suppose 5*w + 15 = -0*w, -2*w = -r*u + 6. Solve -15 = -5*o - u for o.
3
Let x = 21 - 15. Solve x*f = f + 5 for f.
1
Suppose -5*x = 10, 5*u + x - 28 = -0*x. Let t = u - 4. Suppose 5 = 2*p - 5*g, 26 = 5*p - g + 2*g. Solve 9 = t*z - p*z for z.
-3
Let t(d) = -d**3 + 9*d**2 - 8*d + 5. Let y be t(8). Solve -h + y*h = 12 for h.
3
Let r(f) = 8*f + 1. Let h be r(1). Let n = h + -5. Solve -n = 