2). Let i(c) = c + 11. Let p be i(h). Solve a = -p*a - 3 for a.
-1
Suppose 5*j = 5*t - 10*t + 60, 44 = 3*j + 5*t. Solve 0 = -5*l + 3*l - j for l.
-4
Let g(c) = 5*c - 2. Let k(i) = i - 1. Let u(n) = -g(n) + 6*k(n). Let b be u(7). Solve -3*w - 9 + b = 0 for w.
-2
Let l(b) = 0*b + 2*b**2 - b + 6*b - 3*b**2. Let g be l(4). Solve 2*r = -0*r + g for r.
2
Let x = 8 - 5. Solve y = -x + 5 for y.
2
Let n be (-2)/(-8) - (-94)/8. Suppose 0 = 3*a - 5*a + 2*p + n, -3*a + 8 = 2*p. Suppose 4*z = 2*z + a. Solve 0*x - z*x + 6 = 0 for x.
3
Suppose 27*p = 24*p + j + 36, 2*p - 37 = 5*j. Solve -p + 23 = 3*s for s.
4
Let g be (-3 - -1) + (4 - -2). Suppose 0 = -2*o + g*o - 16. Let z = o + -6. Solve -z*b + 8 = -0*b for b.
4
Suppose 0 = -5*d + 5*x, -3*d - 3*x + 14 = x. Let j be (d/6)/((-2)/(-30)). Suppose 3*q - 9 = -3*o, 0 = -j*o - 17 - 8. Solve 2*b + q = -2*b for b.
-2
Suppose -2*h + 2 = -2, -5*h = 2*r - 14. Solve -r*f + 1 = -1 for f.
1
Suppose 4*b - 4 = 3*g + 4, -b = -2*g + 3. Suppose 0 = -o + b*l + 13, -2 = -0*o - 2*o - 2*l. Solve -4 = o*y - 19 for y.
5
Let c be 0/((-8)/2 + 3). Let t(q) = q**3 + 1. Let v be t(c). Suppose 7*s = -5*w + 3*s + 95, 5 = s. Solve 4*i - v = w for i.
4
Suppose -3*o = -14 + 5. Let j(y) = -y - 10. Let h be j(-10). Solve -2*u - o*u = h for u.
0
Let r = 2 - -1. Let s(l) = l**2 + 23*l - 208. Let o be s(-30). Solve o*h + r - 5 = 0 for h.
1
Let n = -1 - -1. Suppose -4*i + 12 = 4*z, -z - 2*z - 2*i + 12 = n. Let u = -275 + 285. Solve u = z*b - 4*b for b.
5
Suppose 74*o - 77*o = -60. Solve 10*x - 5*x - o = 0 for x.
4
Suppose -30 = -2*m + j - 5*j, 0 = -3*j + 12. Solve -m*l - 8 = -9*l for l.
4
Suppose 4*d - 16 = -4*q, -5*d - q + 24 + 12 = 0. Solve 0 = -d*p + 5*p + 3 for p.
1
Let r = 57 - 51. Solve 4*q = r*q - 8 for q.
4
Let j(f) = -f**3 - 3*f**2 + f - 2. Let r be j(-4). Solve 0 = -x - x - r for x.
-5
Suppose 0 = -5*w + r + 9, 0 = 4*w - 7*w + 5*r + 1. Solve -3*q - 4 = -w*q for q.
-4
Let s be (9 + 0)*1*(-10)/(-6). Solve 0 = -0*c + 3*c + s for c.
-5
Suppose -5*t + 10 = -3*n, -t = t + 5*n - 4. Solve t = 5*y - 23 for y.
5
Let o be -2 + (0/(-2) - -2). Suppose -10 + o = -2*c. Let u = -3 + c. Solve u = f + 1 for f.
1
Suppose -3*o + 4*q = -2*o - 15, 9 = 5*o + 2*q. Solve o*s - 1 = -10 for s.
-3
Let w(t) = -t**3 - 7*t**2 + 8*t + 3. Let c be w(-8). Solve y - c*y - 6 = 0 for y.
-3
Suppose -3*f + 14 = -2*d, 4*d = 4*f - 0*d - 24. Suppose -29 = -f*y + 1. Solve j = 4*j - y for j.
5
Let t = 12 - -4. Solve 3*b - t = -b for b.
4
Let k be 272/64 - (-1)/(-4). Solve -17 - 3 = -k*d for d.
5
Let s(m) = m**2 - 2*m + 2. Let k be s(2). Let c = k - 0. Solve 5 = -c*u - 5 for u.
-5
Suppose -5*h - 5*o + 11 + 49 = 0, -4*h - 3*o + 49 = 0. Let z be 2/(3*(-4)/54). Let i = z + h. Solve 3*b = 2*b - i for b.
-4
Let d be (3 + 12)*1/3. Suppose -5*j + 1 + 4 = d*g, 0 = 2*g + 2. Solve -j*q + q = 5 for q.
-5
Suppose 19*n + 72 = 22*n. Solve -8*x + 2*x - n = 0 for x.
-4
Suppose 2*k = 2*b - 14, 3*k = -3*b - 3 - 0. Let i(d) = -5 + d**3 + 4*d + 0*d**2 - 4*d**2 + 4. Let o be i(b). Solve -3*h = -o*h for h.
0
Suppose 3*c - 10 = -1. Suppose -c*t - 5*j + j = 9, 10 = t - 3*j. Solve -y + 2 = t for y.
1
Let k(o) = -3*o - 3. Let p be k(-2). Suppose 5*h - 5*y = 25, 6*h - h - p*y - 15 = 0. Solve h = 2*r - 11 + 1 for r.
5
Suppose 4*s - 30 = 2*s. Let y(q) = -q**3 + 23*q**2 - 21*q - 22. Let a be y(22). Solve 0 = -a*m - 3*m - s for m.
-5
Suppose 0*h + 4 = 2*i + h, 0 = -5*h + 20. Solve i*y = 4*y for y.
0
Suppose 0 = -0*p - p - 6. Let c be 11/3 - (-4)/p. Solve -c*b = -0*b for b.
0
Suppose 0 = -a - 2. Let r be -12*(a - (-15)/9). Solve 3*n = -n - r for n.
-1
Let c = 3 - 1. Solve -c = 3*b + 13 for b.
-5
Suppose 0*w - 105 = 5*w. Let o = -20 - w. Solve -a + o + 2 = 0 for a.
3
Suppose -3*c - 5 = -q, 5*q - 3*c - 12 - 1 = 0. Solve q + 0 = -2*i for i.
-1
Suppose 5*u - 2*u = 3. Solve 0 = -v - 0 - u for v.
-1
Let q(x) = 5*x**2 - 2*x + 1. Let s be q(1). Suppose m - a = 2*a, -m = -s*a + 1. Solve -c - 16 = m*c for c.
-4
Suppose 2*h - 1 - 5 = 0. Suppose 5*x - 4*i + 12 = -0*x, -2*x = -h*i + 9. Solve 3*j = -x*j + 6 for j.
2
Suppose -5*a = -4*h + 10, -h + 2*a + 4 = -5*h. Solve 2*u + h*u - 6 = 0 for u.
3
Suppose 4 = o - 2. Let i(d) = 7*d - 3. Let k be (-1)/((-3)/2)*6. Let g be i(k). Solve g = -s + o*s for s.
5
Let h be 2/(-6) - 28/(-12). Suppose 4*j = 5*m + 6, -h*j = 4 - 12. Solve -4 = -m*t - 6 for t.
-1
Suppose 3*s = 3*l - 9, 3*s = -4*l - 0*s - 9. Suppose -5*z = -l*z - 25. Solve -13 = z*o + 7 for o.
-4
Let f be (-24)/(-84) - 19/(-7). Suppose 8*t - f*t - 40 = 0. Solve 2*i = -0*i + t for i.
4
Suppose 5*o = -5*d + 15, -2*o - 4*d = -0 - 8. Suppose o*l = l. Solve l*t - 4 = 4*t for t.
-1
Let n = 16 - -1. Let w(g) = -g**2 + 2*g + 5. Let r(z) = 1. Let o(c) = 5*r(c) - w(c). Let k be o(2). Solve -5*h + 3 + n = k for h.
4
Let y = 5 - -10. Suppose -5*c = -14 + 4. Solve -c*l + 5*l = y for l.
5
Suppose 3*c + c = 0. Let h = 33 + c. Solve -5*z - h = -8 for z.
-5
Suppose -2*m = 3*m - 15. Solve 5*n = -m + 18 for n.
3
Let p(h) = h**3 + 8*h**2 + h + 7. Let a be p(-8). Let i be 0 + a - -1*17. Suppose -i - 4 = -t. Solve 0 = -2*b - 3*b + t for b.
4
Suppose 4*r + x - 88 = 0, -2*r - 2*x = -4*x - 54. Let i = r - 23. Solve i*c = c + 1 for c.
-1
Let r(t) = t + 6. Let l be r(-9). Let d be (6/5 + -2)*-5. Let f = l + d. Solve 0 = -h - 5 + f for h.
-4
Suppose 0 = -3*l - 2*y + 12, -l + 3*l = y + 1. Suppose l = 3*x - i, 1 = 4*x + 2*i - 5*i. Solve -3*z - x - 11 = 0 for z.
-4
Let u(j) = j**2 - 1. Let v be u(-2). Solve v*m = -m for m.
0
Let c(n) = 2*n**2 + 13*n + 9. Let g be c(-6). Solve -10 = g*l - 8*l for l.
2
Let j(h) = -5*h**3 + h**2 + 0*h + h - 5*h**2 + 3*h**2. Let s be j(1). Let i = -5 - s. Solve 5*t = -i*t + 5 for t.
1
Let a(w) = -2*w - 5. Let z be (0 + 5)*(-2)/2. Let v(l) = -3*l - 9. Let g(p) = z*a(p) + 3*v(p). Let n be g(4). Solve -7 + n = k for k.
-5
Suppose 5*u + 70 = 25. Let f be 6/(-4)*6/u. Let k = -3 - -3. Solve f = -k*h + h for h.
1
Let l(i) = -i**3 + 9*i**2 - 9*i + 12. Let h be l(8). Suppose 0 = 3*q + q + h. Let j be 3/(-6)*-4 + q. Solve w + j = -0 for w.
-1
Suppose 0*p - 6 = -6*p. Suppose -4*w + 29 = 5*a, -1 - 19 = -5*a + 5*w. Solve 4*u - a + p = 0 for u.
1
Suppose 2*j = -3*n - 3, j - 2*n = -0*n + 2. Suppose 3*f + f = j. Solve f = -x - 4 - 0 for x.
-4
Let q be (1/(-2))/(1/(-8)). Solve -v = q*v - 10 for v.
2
Let k(t) = 7*t + 42. Let g be k(-6). Solve g = 5*o - 4*o + 2 for o.
-2
Let v = 26 + -24. Solve v = f + 1 for f.
1
Suppose j = -3*t + 15, -5*j - 5 = -2*t + t. Let n = 4 + -1. Suppose -t*i - 3*l + 2*l = -23, -n*l + 9 = 0. Solve -3*b + i = b for b.
1
Let x = -122 - -125. Suppose 0 = 3*s + 2*s - 5. Solve 0 = -x*u + 2 + s for u.
1
Let w(o) = 3*o + 13. Let a be w(-3). Solve a*s = s + 12 for s.
4
Let k = -1 + 4. Suppose -4*y = -2*i - 9*y - 10, 2*i - 30 = 5*y. Solve -8 = i*x - k for x.
-1
Let n be 0*((-5)/(-2) + -2). Suppose 2*u + n = 2. Solve 4*j - u = -9 for j.
-2
Let p(o) = 3*o**3 - o + 1. Let r be p(1). Solve 2*d = -r*d + 20 for d.
4
Let r(y) = 3*y - 40. Let c be r(14). Solve -7 - 3 = c*t for t.
-5
Let h(f) = -f**3 + 4*f**2 - 3*f + 1. Suppose 0 = -w - 3*t - 13, -5*w + 20 + 0 = -2*t. Let n be h(w). Solve n*l - 4*l + 3 = 0 for l.
3
Let c = -17 + 24. Solve -2*s - 3 - c = 0 for s.
-5
Suppose 0 = 6*x - 2*x. Suppose 3*z + x*z = 0. Solve z = -s - s - 6 for s.
-3
Let u(v) be the first derivative of -v**4/4 + 10*v**3/3 + v**2 - 12*v - 3. Let c be u(10). Solve -1 = 3*l + c for l.
-3
Let t be ((-8)/(-4))/((-2)/(-3)). Suppose i - 5*i - 2*x + 48 = 0, 2*i - 5*x = 0. Solve t*c - i = c for c.
5
Let q(x) = 13*x**2 + 2*x + 1. Let a be q(-1). Let h = 2 - 5. Let n be (-4)/a + (-34)/h. Solve -31 = -4*b - n for b.
5
Suppose -2*g + 4*h = 10, -12 = -4*h + 8. Solve 4*t - 3*t = g for t.
5
Suppose 0 = -5*o + 12*o - 21. Solve -4*c - 1 = -o*c for c.
-1
Let x be 2*(1 - -11) + -4. Solve 0 = 3*a + a + x for a.
-5
Let h be (-1)/(9/(-2) + 4). Solve 0 = -h*y - y - 15 for y.
-5
Suppose 4 - 14 = 4*o + 5*i, 2*o = -3*i - 6. Solve -4*x + o*x = -16 for x.
4
Suppose -2*t = -3*t + 2*r + 9, 12 = t - 3*r. Solve -2*d = -9 + t for d.
3
Let z(t) = -t**3 - 5*t**2 - 7*t - 10. Let p be z(-4). Suppose 0 = -p*x - x. Solve 0 = -x*k - 2*k + 6 for k.
3
Suppose 39 = 2*h - 3*a, 5*a - 8 = -3*h + 22. Suppose -4*u + 16 = -2*o, -2*u + 4*o + 12 = 2*u. Suppose 0*x + h = u*x. Solve x*q + 0 = -3 for q.
-1
Let s(u) = 