.
2
Let s(d) = -2*d - 2. Let y be s(-8). Suppose 1 + y = 3*m. Suppose -f - 2 = 5*c + 2*f, 5*f = -m*c - 10. Solve l = 2*p + 2, -4*p + c*p + 2*l = 0 for p.
-2
Suppose 3*n + 6 = 2*k + n, -5*n + 9 = -k. Suppose -k*q = -8*q + 82. Suppose 10 = 2*u - 0. Solve 8 = -2*h, u*j - q = 5*h - 6 for j.
3
Suppose -5*p + 27 = 3*v, -4*v + 0*p - 2*p = -22. Let k = v - 4. Suppose k = 4*b - 6 - 10. Solve 5*y + 23 = -t, b*y - 3*t = -4*t - 19 for y.
-4
Let j be 1 - 1/((-2)/82). Let l(a) = 98*a**2 + 884*a + 18. Let b be l(-9). Solve 5*m - 2*g + 10 = b, -2*m - j + 9 = 5*g for m.
-4
Suppose -96*t + 992 = 320. Suppose b + 2*b - 15 = 0. Solve -5*x + 5 = b*o, 0 = -x + 5*o - 36 + t for x.
-4
Suppose 0 = 4*u - 587 - 549. Let l be u/12 + (-2)/(-6). Let p be 4*(3 - -1 - 3). Solve -d + 28 = 5*t, 7 - l = -p*d - t for d.
3
Suppose 0*v - 3*v = -2*b - 17, -4*v + 32 = -5*b. Let l(t) = -6*t - 1. Let r be l(v). Let g = -14 - r. Solve -2*x = -3*y + 4, x = g*y - 14 - 2 for y.
4
Suppose -5*x + x + 32 = 0. Suppose -13*l + 150 = -x*l. Solve -2*w + 11 = -w + 4*m, 5*m = 2*w + l for w.
-5
Let k = 2 + -3. Let u be (-1)/k + (8 - 2). Let h = -3 + u. Solve 3*b - n - 9 = 0, b + h = 4*n + 7 for b.
3
Let n(y) = -y - 5. Let h = 0 + -12. Let w be 66/(-14) + h/42. Let v be n(w). Solve -3*p - p = -4*c - 12, v = 2*c - 2 for p.
4
Let l be (-2)/12 - (-5 + (-187)/(-66)). Solve -5*x - 5 = 4*p, -l*p - 4 + 3 = 3*x for p.
-5
Suppose 16*z = 23*z - 154. Solve 5 = 3*i - 4*l + z, -4*i + 29 = 5*l for i.
1
Suppose 0 = -5*j + 2*w + 22, 0 = -5*j - 5*w + w + 16. Suppose 2*y - 22 = -2*p, 5*y = j*p + 19 + 9. Solve 0*g - g - 5*d - y = 0, -5*d = -g + 12 for g.
2
Let g be 12/(-10)*(-45)/27. Suppose 2*p = 4*m - 6, 3*m - g*p - 4 = -0. Solve -4*w + 0*w = z + 13, 0 = -m*w + 3*z - 17 for w.
-4
Suppose 42*t - 162 = -12*t. Solve 4*h = 12, h + h = t*c - 3 for c.
3
Suppose -5*u + 0*u + 15 = 0. Suppose -2*s - u = -9. Suppose 7*p = -4*v + s*p + 8, 4 = 2*p. Solve -4*d = -3*o + 20, -4*o + 12 = 2*d - v*d for d.
-2
Let y be -1 - (24/(-4) + 2). Solve -6 = y*f - 2*g, 5*g - 5 = 3*f + 1 for f.
-2
Let z(b) = -14*b + 240. Let f be z(17). Solve -4*p - f*q + 20 = 0, 5*p - 10*q + 12*q - 25 = 0 for p.
5
Let m(v) = v - 3. Suppose -7*l + 8 = -2*l + 2*d, 2*l - 4*d = -16. Let f be m(l). Let b = 27 - f. Solve b = -5*q - 4*j, 0*q = 4*q - j + 3 for q.
-2
Let h(t) = t**2 + 13*t - 65. Let u be h(-17). Suppose 8*p = 4*p + 12. Solve -2*m = u*j + 3*m - 8, p*j - 4*m = -28 for j.
-4
Let y = 244 + -242. Solve -l - 2*g - 4 = 2*l, 4*l = y*g + 18 for l.
2
Suppose 4*m = -4*m. Suppose 12 + m = 4*b. Suppose 0 = 2*f + 4*p - 18, b*f - 1 - 20 = -4*p. Solve -5*n + 1 - 20 = -j, 29 = -f*n + 5*j for n.
-3
Suppose 0 = -2*k - 5*f - 76 - 67, 186 = -3*k + 2*f. Let v be (k/(-80))/((-2)/(-5)). Solve 2*s + 4*o + 4 = 16, o = -v*s for s.
-2
Suppose 3*g = -7*j + 2*j + 65, 55 = 4*j + 3*g. Let d = -6 + j. Solve -4*n + x + 7 = -n, -d*n = -5*x + 9 for n.
4
Let j(k) = -2*k - 9. Let d(o) = -o + 13. Let r be d(13). Suppose r = -5*b + 4 - 34. Let x be j(b). Solve -z + x*m + 3 = -3, 0 = -4*z + m - 9 for z.
-3
Let k(i) = 10*i**2 + i + 1. Let d be k(-1). Suppose -3 = 4*o - 5*o - 2*f, -5*o = 3*f + 20. Let x = o + d. Solve -3*n - 12 = 5*a, -x*a - 5 = -2*n - 2*a for n.
1
Let h = 8 - 3. Let b be 1/(-3) - 3/(-9). Suppose b*t + 5*t + 15 = 0, 0 = a - 4*t - 14. Solve -c - 1 = -2*j, 0*c - a*c = -h*j + 2 for c.
-1
Let v = -45 + 38. Let f(r) = -r**2 - 8*r - 4. Let t be f(v). Solve 4*z + 4*c = 24, t*c - 6 = -0 for z.
4
Let y(t) = 8 - 1 + 17 - 21*t + 20*t. Let o be y(9). Solve -a - 2*l = a - 2, -5*a - o = -5*l for a.
-1
Suppose -12 = 2*c - 12. Solve c = 2*i - 5*n - 1, -i + 2 = -3*n + 1 for i.
-2
Let w(d) = -8*d - 12. Let c(b) = -4*b - 6. Let g(h) = 11*c(h) - 6*w(h). Let j be g(0). Solve -4*v + 2*o - j*o + 32 = 0, -v - 4*o + 20 = 0 for v.
4
Suppose -4*p - 5*f - 20 = -p, 4*p = -3*f - 12. Solve 0 = -4*v - 2*s - 7 - 5, 2*v - 4*s - 14 = p for v.
-1
Let u(c) = c**3 - 13*c**2 + 13*c - 10. Let h be u(12). Suppose -77*s = -78*s + h. Solve 0 = f - 5*l, 5*f = -s*l + 31 - 4 for f.
5
Suppose 0 = -2*s + 3*j - 19, -2*s - s - j = 34. Let d = -7 - s. Let u be 1*d - (-12)/(-6). Solve -u*z = -2*p + 5*p - 13, -5*z = -5*p - 20 for z.
5
Suppose 107*c - 136 = 292. Solve -4*d + 3*v + 2 = -c, -13 = -d - 5*v for d.
3
Suppose -3*c + 0 = -y + 13, 4*c + 11 = -5*y. Let n = y + -5. Let w(u) = -2*u - 6. Let j be w(n). Solve 2*h = k + 1 - 9, 0 = 2*k + j*h + 8 for k.
0
Let i be (-161)/46 - 29/(-2). Solve 2*g - i = 3*z + 4, 0 = -5*g for z.
-5
Let p be 56/(-42)*3/(-2). Suppose -i + 9*i = 32. Suppose 5*z + 4*m = -0*m + 8, -8 = -i*m. Solve -3*x - f = -1, 3*x + 1 = -z*x - p*f for x.
1
Suppose -5*k + 20 = 5*y, 17 = -y + 4*y - 2*k. Let d(u) = u**3 - 59*u**2 + 112*u + 139. Let a be d(57). Solve y*w = -a, g + w + 4*w = -20 for g.
5
Let h = -595 - -599. Solve u + 3 = a, 6 + 8 = 3*a - h*u for a.
-2
Let b = -105 - 21. Let z = 130 + b. Solve -3*f + 8 = z*r, 2*f = f for r.
2
Let s = -1423 - -1425. Solve -2*z = -4*f - z - 17, -s*z = -f - 6 for f.
-4
Let d be (0 - 6) + 14 + -1. Solve d = 5*k - 2*p, -2*p - 10 = -5*k + 3*p for k.
1
Let y(c) = -4*c**2 + 21*c + 24. Let a be y(6). Solve 0 = 4*j + 3*i - 6, -3*i + a = j for j.
0
Let w be -4 + 15 - (19 + -10). Suppose 0 = -3*m + 4*s + 80, -4*m + 0*s + 2*s + 90 = 0. Solve 4*b = 3*t + m, w*b + 2*b - 4*t - 24 = 0 for b.
2
Suppose 21 = 5*x + b, 3*x - 1 = -3*b + 2. Solve x*i + 10 = -3*w, -w = -2*w + i + 2 for w.
0
Suppose 0 = 2*l - l - 21. Let p = 25 - l. Suppose 4*o - 83 = i, -65 = -3*o - o - 5*i. Solve -12 = -3*d + v, p*d + v - o = 3 for d.
5
Let r be (-36)/(-3) - -2 - 2. Let g be r/(-28) - 17/(-7). Solve -8 = -4*p - a - a, -g*p - 4*a = 8 for p.
4
Suppose 1292*z - 1276*z = 0. Solve z = 5*b, u = -4*u + b - 25 for u.
-5
Suppose -5*a + 4*l + 12 + 13 = 0, -5*l - 25 = -5*a. Solve -3*h + 8 = -6*h - 5*z, -a*h + 32 = -3*z for h.
4
Let n(y) = -y**3 + 7*y**2 - 6*y - 1. Let x be n(6). Let c be 0 - (-8)/4 - x. Suppose -f + 1 = -c. Solve 5*w + 2*q - f = 0, -2*q + 4 = -5*w + 2*w for w.
0
Let r be -3 + 723/36 - 2/24. Suppose p + 148 = 5*p - 4*k, -142 = -4*p + k. Solve 3*c + p = 2*s + 3*s, c + r = 3*s for s.
4
Let v = -975 - -980. Solve -l = -2*s - 11, 4*l + l + v = -2*s for l.
1
Let t = -58 + 64. Suppose -4*m - 2 = -4*p + t*p, p = -5*m + 5. Solve 4 = -2*u - m*g, 2*g - 5 = 2*u - 13 for u.
1
Let v(i) = -3*i + 3. Let r(h) = -h**2 - 7*h + 7. Let w(n) = 2*r(n) - 5*v(n). Let o be w(3). Let p = o - -21. Solve -5 = -2*f + g, 4*f = p*g + 1 - 0 for f.
4
Let f = 1517 - 1517. Solve 0 = -k - 3*h + 13, f*k = 4*k - h for k.
1
Suppose 5*y = 5 + 45. Suppose -y = -3*s - 2*s. Solve v + 5*n = 3*n + 5, -s*n + 6 = 0 for v.
-1
Suppose 27 = 4*a + 3*o, -3*o + 11 = 2*a - 2*o. Let f be 10/(-20)*-1*2. Suppose -2*b = -5 - f. Solve -k + 2*x = 6, 2*x + b*x - 13 = a*k for k.
4
Suppose 0 = -8*f + 14*f - 72. Suppose 14*n - f = 10*n. Solve -k + 1 = n*u, 0 = 2*u + 2*k + 2 - 4 for u.
0
Let k(o) = -4*o - 31. Let w be k(-7). Let g(l) = 2*l**2 + 2*l + 3. Let j be g(w). Solve -2*f + j = -3*s - 0*f, -3*s - f = 6 for s.
-3
Suppose 8 = -6*n + 8*n + 3*h, -h = 0. Solve 5*x + 5*a + 10 = 0, n*x - 1 = a + 6 for x.
1
Let w(z) = -z**3 - 17*z**2 - 6*z - 85. Let k be w(-17). Solve -k = -5*h - 2*a, 2*h = -5*a + 4*a + 6 for h.
5
Suppose -6*i = -4*i + 10. Suppose 5*o = -u, -2*o + 0*o = -5*u - 135. Let x = i - u. Solve -t - 10 = 4*t + v, -5*t + x = -5*v for t.
-1
Let w(j) = 53*j + 217. Let q be w(-4). Solve 0 = -3*v - 5*r - 6, 0 = q*r for v.
-2
Let p(c) = -c**3 + 4*c**2 - c - 1. Let q be 5 + 0 + -2 + 0. Let z be p(q). Let g be 3/(7 + -1)*4. Solve -2*u + u - z = -s, -5 = 3*u + g*s for u.
-3
Suppose 0 = -0*p + 5*p. Suppose p = 3*r + 15, -3*u - r - 1 = u. Suppose -3*h + 13 = -2*h. Solve 0 = -z, -3*b = -3*z + h - u for b.
-4
Let g = 0 + 1. Let v = 32 - 28. Let p = g + v. Solve 2*h + 0*h = -2*f, 18 = -p*h + 4*f for h.
-2
Suppose 20 = -96*g + 100*g. Suppose 3*h - x = -4 + 1, x - 3 = -4*h. Solve g*t = -2*s + 21, h = -5*t - 5*s - 8 + 23 for t.
5
Let t = -11 + 11. Suppose l + 2 = 2*l. Suppose 5*p - 3*z - 35 = 0, -p + l*p + 5*z = -21. Solve 4*r - 4*j + 40 = t, 0*r - 5*j = p*r - 5 for r.
-5
Let r(i) = -i**2 + i**3 + 8*i**2 + 9 - 3 + 7*i. Let l be r(-6). Let x = -3 + 22. Solve 6*o + x = 2*o + y, l = -4*o + 3*y - 17 for o.
-5
Let t(b) be the second derivative of -b**3/6 - 2*b**2 + 2*b. Let h be 24/