d be (-6)/4 - (-825)/110. Solve p*r + d - 33 = 5*w, -3*w - 17 = -2*r for w.
-5
Suppose 8*m = 5*m + 6. Suppose 0*n = 2*t - m*n - 8, t = -n - 2. Let r = t - -3. Solve 18 = d + 4*q, -2*d - 16 = -r*d - 3*q for d.
2
Let a(l) = l**2 - 12*l - 32. Let y(p) = -5*p - 10. Let b be y(-5). Let c be a(b). Solve -3*m - 6*z + 2*z = -31, -3*z - c = -5*m for m.
5
Let v be (-18)/(-6) - -1*5. Suppose 20 = v*p + 4. Solve 5*u - 7 = p*u + 5*b, 9 = -5*u - 2*b for u.
-1
Suppose 5*z = 4*z + 3. Let m be (0 - (4 - z)) + 5. Suppose -m*k = -k - 6. Solve k = 2*x, 2*q - x + 1 = -4 for q.
-2
Let o(p) = -7*p + 2. Let s be o(0). Solve s*b = z + 5, -2*z - 3*b + 9 = -3*z for z.
3
Suppose -5*z = -2*g - 4 - 0, -5*z - 3*g = -19. Suppose 3*l = -4*a + z, -4 = -0*a + a. Solve 4*n = -5*d - 32, -d + n + 5 = l for d.
-4
Suppose -2*s - 3*x + 35 = 0, 2*s + 0*x - 5*x = 27. Solve s = 4*q, 5*m + 19 = -6*q + 7*q for m.
-3
Let a(s) = -s + 10. Let u be a(7). Suppose 0 = -3*f + 4*m + 6, u*f + 2*m - 7 + 1 = 0. Let n be (-2)/f*-2 - -2. Solve -11 = -3*d + 4*h, -3*d - 5 = 2*h - n for d.
1
Let m(a) = a + 36. Suppose 10*f - 12*f - 30 = 0. Let v be m(f). Solve 3*l + 0*k - 13 = -5*k, -v = 4*l - k for l.
-4
Let c be -1 - (10 - 7)/(-1). Solve 0*q - 4*q + 19 = -j, -c*j + 14 = 5*q for j.
-3
Let k = -181 - -184. Solve -a - 15 = 4*i, 11 = -k*i + a - 9 for i.
-5
Let g be (4 - -6)/(-5)*-1. Let f = -9 + 24. Solve 2*k - 4*z = -k + g, 5*k + 5*z = f for k.
2
Suppose 11*u = 7*u + 288. Let h = u - 72. Solve -q - 2*f = 3*f + 10, 4*q - 4*f + 16 = h for q.
-5
Suppose 36*n - 56 - 16 = 0. Solve 3*b = -n*c - 7, 5*b + 4*c + 20 = -c for b.
1
Let a(b) = -41*b + 457. Let o be a(11). Solve 20 = 5*w + d, 5*d - 40 = w - o*w for w.
3
Suppose -23 = -4*y - 3*a, -2*a = 5*y - 10 - 10. Suppose 4*q - 233 + 77 = 0. Suppose 44*c - q = 41*c. Solve -4*v = -5*i + 21, c = -3*v + 3*i - y for v.
-4
Let l = 1394 - 1385. Solve 3*v + l = 3*k, k - 31 + 8 = 5*v for k.
-2
Let b = 71 - 57. Let h be (4 - (2 - 0)) + -6. Let c be (2/6)/(h/(-24)). Solve p - c*g - 2*g + b = 0, -3*g = p - 14 for p.
2
Let t be -1 - (-1)/1 - -2. Suppose -6*h = -8 + 8. Solve 3 = 3*w + 2*x, h*w + x = t*w + 5 for w.
-1
Let s be ((-8)/(-64))/(2/(-12))*-4. Suppose 0 = s*l - 8*l + 10. Solve 0 = 2*t + l*t, -5*t + 8 = -2*y for y.
-4
Let w(o) = -20*o - 14. Let n be w(-1). Let z(y) = 5*y - 25. Let q be z(n). Let g be ((-6)/8)/((-2)/8). Solve -6 - 14 = q*k + 3*s, g*k = -3*s - 12 for k.
-4
Let d be ((-180)/70)/(6/(-21)). Let u be 19 - 6/d*3. Solve -3*c - 4*m = -14, -3*c - 4 = -3*m + u for c.
-2
Suppose 0 = -4*s + 11*u - 6*u + 16, 0 = 5*s + 5*u - 20. Solve m - 4*w - 9 = -1, -3*m - s*w - 8 = 0 for m.
0
Suppose u + 4*y = 18, 4*u - 2*u - 2*y + 4 = 0. Solve 0 = u*o - 2, 4*g - 3*o = 2*g - 9 for g.
-3
Let g(i) = i - 7. Let f be g(6). Let a be (32/72)/((-2)/(-9)). Let q be 1 + -4*f/a. Solve -q*t - 2*u = -0*t - 18, 4*u + 8 = 5*t for t.
4
Suppose -3*k - 84 = k. Let t = 30 + k. Suppose -52*g + 81 = -23. Solve 0 = -q - 2*f - g*f - 8, 3*f = 3*q + t for q.
-4
Suppose -w + 3*b + b + 24 = 0, 1 = -w - b. Solve 0 = -w*x + d + 17, -3*x + 6*x + 5*d = -16 for x.
3
Let p(z) = -z - 2*z - 1 - 6*z + 2. Let g be p(1). Let o = g - -10. Solve -1 = o*x + 4*f - f, -x + 13 = -3*f for x.
4
Let i(b) = b**2 + 6*b + 11. Let n be i(-6). Suppose 6*p = n*p - 15. Solve f = 2*v - 8, p*f + 1 = -v + f for v.
3
Let i = -6 - -9. Let w(x) = 3*x - 4. Let q be w(i). Solve 2*j + 4*k - k + 1 = 0, j - 4*k - q = 0 for j.
1
Suppose -10*o - 59 = -59. Solve -3*l - 5*y + 33 = -l, o = -5*l - 3*y + 35 for l.
4
Let l(q) be the second derivative of -2*q + 0 - 1/3*q**3 + 1/2*q**2. Let v be l(-2). Solve 4*x = x + v*d - 13, -5*x + 10 = -2*d for x.
4
Let z = 37 - 35. Suppose 3*m - 12 = -z*x, 9*x - 4*x + m = 4. Solve x = 4*d - n + 2, -2*d + n = 0 for d.
-1
Suppose -25 = 12*d - 17*d. Suppose 0*s + 5*s = -4*j - 25, d*j + 2*s = -10. Solve 4*u - 2*b + j*b + 6 = 0, -20 = 4*b for u.
-4
Suppose 32*a - 12 - 52 = 0. Solve -2*y + 2 = 3*v, a*v = 5*v - y + 10 for v.
-2
Suppose -5*w - 92 - 68 = 0. Let p = w - -32. Solve -2 = k, p*f - 4*k = -2*f + 18 for f.
5
Let f(p) = p**2. Let w be f(0). Suppose -3*q = 2*q - 30. Suppose q*t + 20 = 10*t. Solve -35 = -5*x + t*y, 4*x - 5*y - 30 = -w*x for x.
5
Let j(r) = r**2 - 9*r. Let c(d) = d**2 - 3*d + 9. Let g be c(6). Suppose 6*v = 3*v + g. Let q be j(v). Solve 4*x + q*x = h + 18, 26 = 4*x + 3*h for x.
5
Let p(f) = f**3 - 4*f**2 - f + 8. Let q be p(4). Solve -9 = -q*o + 2*o + 3*j, 0 = -3*o + j - 4 for o.
-3
Suppose 1 + 3 = z. Let a(j) = -j**2 + 24*j - 39. Let p(d) = d**2 + 23*d - 2. Let f be p(-24). Let h be a(f). Solve 8 = -2*x, 0*x = -h*l - z*x - 11 for l.
1
Let u be (-26)/(-7) + (-20)/(-70). Let x(a) = a + 1. Let l be x(3). Suppose -d - l*q + 2 = -0, 3*d + u*q = 6. Solve -3*g = 4*f - 10, d*f = -0*g + g + 10 for f.
4
Let b = 258 + -254. Solve 4*u + 16 = 2*o, 3*u - b*u - 4 = 3*o for u.
-4
Let a be 2 + -2 + (-6)/(-3). Suppose -a*d = -7 - 1. Let m = -94 - -97. Solve -3*z - 4 = d*l - 20, -m*z + 13 = l for z.
4
Let k(a) = 39*a + 239. Let q be k(-6). Solve -4*m + 3 = -6*m + w, -9 = 2*m + q*w for m.
-2
Suppose 0 = -5*z - 3*g + 1, 2*z - g + 7 = 14. Solve 23 = -5*k + 2*t, 2*k + z*t = 6*t - 6 for k.
-5
Let l(k) be the first derivative of k**4/4 + 3*k**3 + 5*k**2/2 - 1. Let r be l(-8). Solve -5*s = -y - s + r, 2*y - 33 = 5*s for y.
4
Suppose 3 + 7 = 2*k. Let g be -3 + 10/(-3 + k). Solve -3*l - 9 + 0 = -3*q, -g*l - q - 3 = 0 for l.
-2
Let t(x) = -4*x**2 - 154*x + 83. Let p be t(-39). Solve -5*b - 4*g = g - 50, -b - p*g + 30 = 0 for b.
5
Let x = -48 + 52. Solve 2*m - 5*u + 16 = 0, x*u = -1 + 17 for m.
2
Let o be (-16)/4 + 3 + 3. Suppose o*h + 10 = 4*h. Solve -h*r = -4*a - 6, 0*a = -2*r + 3*a + 1 for r.
2
Let a(o) be the first derivative of 5*o**3 - 3*o**2/2 - 3*o - 27. Let c be a(-1). Solve -3 = 5*g + m, -7*g - 5*m = -3*g + c for g.
0
Let y be 40/3*6/5. Suppose 3*s + y = -s. Let b be s/(-8)*-6 + 7. Solve 5*o = -a - 16, -6*a + b*o + 7 = -a for a.
-1
Let b = -70 + 31. Let z = b + 54. Suppose 0 = -s + 3*s - 2*h - 12, 5*h = -4*s - 12. Solve -s = -2*n, -4*n = -5*x + n - z for x.
-2
Let r be 96/18 - (-7)/(-3). Suppose 4*j = 3 + 1. Solve 0 = -5*y - 2*q + 24, 0 = r*y - 4*q - 3 - j for y.
4
Let q = 744 + -738. Solve -2*x - r - q - 1 = 0, 5*x + 3*r = -18 for x.
-3
Let a = 332 + -332. Solve 5*j - 5*o + 15 = a, -j + 4*o + 23 = -4*j for j.
-5
Let d(t) = -4*t + 3. Suppose -b + 5*b = -20. Let m be d(b). Let x = -11 + m. Solve -4 - 2 = 3*h - v, -3*h = 5*v - x for h.
-1
Suppose -2*v + 131 + 79 = 0. Let p = -87 + v. Solve -5*m - 6 = 2*n - 4*m, -p = -2*n + 5*m for n.
-1
Suppose 10*v - 3*k = 9*v - 6, -v + 10 = 5*k. Solve -4*t + 5 - 1 = 0, -b - t - 2 = v for b.
-3
Let t = 813 + -809. Solve -t*j + 4*o = -8, 4*j + 0*o + 17 = -o for j.
-3
Let y = 28 + -22. Suppose y*m - 2 - 28 = 0. Solve m*g - 4*x = 32, 0 = -g - 3*x - 5 for g.
4
Let w be (-2)/8 - 1/(-4). Suppose -j + 0*j = w. Suppose -2*f = -j*f - 4. Solve -2*u + 0*c - 3*c = -f, -u - 3*c + 1 = 0 for u.
1
Let u(f) = -2*f**2 + 51*f + 89. Let d be u(27). Solve 3*r - 8 = -5*x - 2, x = 4*r - d for x.
0
Let m be 1 - (4 + -4 - 1). Suppose m = -3*d + 4*d. Let y(r) = r**2 + r + 3. Let p be y(0). Solve -p = 5*b - 8, 2 = d*l + 4*b for l.
-1
Let c be (-126)/14*(-1)/3. Solve -i - c*o - 13 = -4, 0 = 2*o + 8 for i.
3
Let t(a) = -4*a**3 + a**2. Let r be t(-1). Let j(g) = -g**3 - 5*g**2 + 42*g + 57. Let o be j(-9). Solve o*v + 2*k + 3 = 4*k, -4*k - 5 = r*v for v.
-1
Suppose 4*a + 2 = 2*f + 3*f, 5*a - 18 = -4*f. Solve -4*g - 2 = a*d, 3*d = 2*d + 4*g - 7 for d.
-3
Let v(o) = -o - 15. Let x be v(12). Let j be (36/x)/(1/(-6)). Solve -5*h + w = 5*w - j, 5*h - 23 = w for h.
4
Suppose u = 4*u - 51. Suppose 0 = -7*x - 3 + u. Solve 5*l - x*m - 2 = 3*l, 21 = l - 5*m for l.
-4
Suppose -4*q - 4*c = -4, 5*q - 1 = 7*q + 5*c. Solve 3*p - q - 14 = 5*r, -4*p = 2*r - 4 for p.
2
Let b = 0 + 0. Suppose -h = 2*q, q = 2*h - b*q - 5. Suppose 4*u + 74*w - 72*w - 2 = 0, 3*u = -w + 1. Solve 0 = -5*i + h*z + 13, u = i + 3*z - 6*z - 13 for i.
1
Suppose -43*i + 28*i = -75. Solve -3*c = -4*d + 17, -5*d = -9*d - i*c - 7 for d.
2
Suppose 277*o - 276*o - 5 = 0. Solve 3*u + 3 = o*k - k, 3*u + 2*k + 3 = 0 for u.
-1
Suppose -3 = 2*y + 7. Let s be y/(3/2 - 4). Solve j + 2 = -z + 7, 5*z - 22 = -s*j for z.
4
Let a(u) = -u - 8. Suppose 4*k + 0*k = 24. Suppose 2*