Let x(k) = -33*k + 101. Let h be x(3). Solve 3*f + 23 = -h*a, 0*f - 3*a = 4*f + 32 for f.
-5
Let m = 116 - 101. Let r = -10 - -25. Let a = -10 + r. Solve 0*g - m = 4*g - a*x, g = 5*x for g.
-5
Suppose -5*s - 2 = 4*f + 9, 5*f = -3*s - 4. Let j be 0/(-1 + f - 1). Solve 3*c = -v - 3*v - 16, j = -4*v - 2*c - 16 for v.
-4
Let s be (8/(-28)*5)/((-6)/84). Solve -5*g = -q - 2*q - 20, -5*q - s = 5*g for q.
-5
Let c(w) = w. Let k(m) = 2*m + 2. Let u(q) = c(q) - k(q). Let t be u(-5). Solve -2*y - 1 - 1 = -v, 14 = 2*y + t*v for y.
1
Suppose 5*u - 9 - 6 = 0. Solve -u*n = 3*i, 3*i - 4*n + 8*n + 5 = 0 for i.
5
Let h(q) = -7*q**3 + 16*q**3 + 5*q**2 - 4*q**2. Let l be h(1). Solve 2*j = 5*k + 10, -2*k - 2*j + l = -0*j for k.
0
Let f(p) = p + 8. Let m be f(7). Let h(t) = -t - 6. Let o be h(-8). Suppose 0*n = -o*n. Solve n*x + 4 = -k - x, -3*x = m for k.
1
Suppose b + 1 = 4*d + 8, 0 = -5*b + 4*d + 19. Solve 5*g = 5*t + 15, 2*g - b*t = -3*g + 11 for g.
1
Suppose 77*o + 35 = 84*o. Let d = 9 + -9. Solve o*s + y = 16, d = -y - 4 - 0 for s.
4
Let s(a) = 131*a - 1177. Let z be s(9). Solve -5*x - 6*o = -o - 5, 0 = -3*x - 4*o + z for x.
2
Let z(x) = 3*x - 21. Suppose -7*p + 12*p - 35 = 0. Let m be z(p). Solve 3*q + 2*y - 6 = m, 0 = -5*q - 4*y - 5 + 17 for q.
0
Suppose 75 = 2*v + 61. Suppose v - 6 = c. Solve -z = 3*l + 3, 2*z + 0 = l + c for z.
0
Let p be 1/(-8) - (-825)/200. Solve 0*i + 3*i + 12 = -3*d, -18 = p*d + 2*i for d.
-5
Suppose 25*f = 20*f. Suppose -v + c - 1 = -11, f = 2*v + 5*c + 1. Solve 8*o - 4*o - 4 = 0, -4*d - o = v for d.
-2
Let d(b) = 11*b + 7. Let v be d(-3). Let h = v + 38. Solve 0*c + 3*c + 5*l = 28, -2*l + h = 2*c for c.
1
Let m be 5*(-1 - -2)*3. Let x be (-4)/22 + (-48)/(-22). Suppose -5*k + x*h = -31, 3*h - 8 = -k + 4*h. Solve 0 = z - k*d + 30, -4*z = -5*z + 2*d - m for z.
-5
Let w be (-4)/((-32)/(-6))*40/(-6). Solve r - 4*c - 13 = 0, -w*r - 3*c - 14 = 13 for r.
-3
Let t = -205 - -207. Solve t*y + 7 = -3*v, -y = 2*y + v for y.
1
Let l be ((-3)/(-4))/((-9)/(-12)). Let p be (-1 + l + -4)*-1. Solve d = 5*m, 3*m = -p + 1 for d.
-5
Let r be ((-18)/21)/2 - 170/(-70). Solve 5*a - 3 = r*g + 4, -9 = 4*g - 5*a for g.
-1
Suppose -18*i - 41 = -131. Solve -i*h + 2 - 5 = -4*o, -27 = 4*h + 5*o for h.
-3
Let c be (-9 + -1)/(14/(-84)). Let u be 358/(-9) + 1/((-9)/2). Let z = u + c. Solve b = -q + 4*b + z, 0 = 2*q + 2*b for q.
5
Suppose 4*z + z + 4*w = 8, -4*w - 4 = 2*z. Solve 0 = z*a - k + 15, -21 = 2*a - 5*k - 0 for a.
-3
Let u be 1/(-2 - 135/(-69)). Let j = u + 19. Let v be 17/(-68) - 21/j. Solve c + 30 = 5*n + 8, 18 = 2*n - v*c for n.
4
Let r be (-10)/60 + 25/6. Suppose -77 - 4 = -3*t. Let b = -22 + t. Solve 0 = d + r*a + 8, d + b = a - 2*a for d.
-4
Suppose -12 = -4*w, 6*u + 7 = 4*u - 3*w. Let b be 4*(2 + 12/u). Suppose 2*i = 2 + b. Solve i*x - z = 8, -11 - 4 = -3*x + 3*z for x.
3
Suppose q + 0*q - 98 = 4*a, 3*a + 5*q + 62 = 0. Let g = -23 - a. Solve 3 = -3*k + 5*s - 0, k + g = 4*s for k.
-1
Let o(g) = -2*g + 2. Suppose 0 = 16*y - 12*y + 4. Let m be o(y). Solve w + m*l = 5*l, 4*w - 5*l = 0 for w.
0
Let g(o) = 7*o**2 - 8*o + 15. Let z be g(2). Solve 4*r + 12 = 0, 4*r - 8*r - z = 3*q for q.
-5
Let h(j) = -5*j**3 + 8 + 3*j + 5*j**2 - 12 + 6*j**3. Let v be h(-4). Solve v = 5*g - 2*g + 5*s + 5, 0 = -g + s - 7 for g.
-5
Let o be (5 + -3 - 1)/((-2)/(-6)). Solve 3*p + 0*p = o*v - 15, 5 = v - 4*p for v.
5
Let m(z) = -12*z + 1. Suppose s = 3*k, 3*s + 2*s + 15 = 0. Let n be m(k). Solve 0*i = 3*i + u, -i + 4*u = n for i.
-1
Suppose -2*f + 15 = 3*f. Let k = 407 + -405. Let v(b) = b - 3. Let t be v(6). Solve 2*n - 2 = -f*q + 9, t*n - 4 = -k*q for n.
-2
Suppose 0 = 2*f - 2*k + 6, 4*f - k + 18 = k. Let v = f - -10. Solve b - r - 13 = r, -b - v*r = 17 for b.
3
Let w(b) = -b**3 + 2*b**2 - b - 2. Let t be w(2). Let o be (-2)/8*(t - 4). Suppose -o*k + 3*k = 3. Solve -k*l - f = -2*l - 8, f - 17 = -4*l for l.
3
Let s be (-1156)/(-58) - (-76)/1102. Solve 6 = -t - 0*t + j, -4*j = -3*t - s for t.
-4
Suppose -3*o + 5*x - 11 = 0, -4*x + 19 = -0*o + o. Solve 5*w - o*f - 2*f - 20 = 0, f = -w + 6 for w.
5
Let d be 1 - ((-6)/3 + -6). Let n = d + -6. Let k(u) = -u**2 + 2. Let m be k(0). Solve 0 = -2*x - r - 1, m + n = -r for x.
2
Suppose 4*y - y = -81. Let h = -27 - y. Let o be h + 26 - (2 - 2). Solve 2*u + 4*x = o, 4*u + x = -x + 28 for u.
5
Suppose -16*u - 119 = -33*u. Solve -b - u = -4*s, 3 + 0 = -3*s - 2*b for s.
1
Suppose 9 - 11 = -g. Suppose 2*o = -g*j + 6, -4*o - 3*j + 3 = -11. Solve o*u - 21 = -2*w + 5, 0 = -4*u - 4*w + 28 for u.
4
Let v = 26 + 2. Let y = v - 27. Solve 2*w + 6 = -5*s - y, 2*w + 6 = -4*s for s.
-1
Suppose -3*w - 12 = 0, 3*x + 16 - 47 = 4*w. Solve b = 4*q - 5*q - 1, 2*q + 8 = -x*b for b.
-2
Suppose 4*b - 32 = 2*s, -3*b + s + 5 + 20 = 0. Suppose b*n + 47 = 137. Solve -4*d - 19 - 1 = 2*x, 0 = 5*x + n for d.
-4
Let f(y) = -8*y**3 + 67*y**2 + 5. Let n(u) = 3*u**3 - 22*u**2 - 2. Let k(h) = -4*f(h) - 11*n(h). Let t be k(-26). Solve -t*s = -o, -5*s - 2*o - 6 = -3*s for s.
-1
Suppose -60*t + 386 = 146. Solve j - 3*j - o = 11, -4 = t*j - 4*o for j.
-4
Let h(w) = w**2 + 14*w + 1. Let d be h(-15). Suppose -3*q - q = -4*y + d, y = -3*q + 20. Solve -2*v - n = y, 2*n + 14 = -7*v + 4*v for v.
-2
Let r(v) be the second derivative of v**5/20 - v**4/6 - 7*v**3/6 - 2*v**2 - 18*v. Let k be r(4). Solve 2*q - 2 = -k*q - 3*t, 5*t = -10 for q.
4
Let m = -26 + 28. Suppose -11*w + m*w = 0. Solve -f - 2 = -3*p, w*p - 6 = 2*p + 3*f for p.
0
Let r = -25 + 32. Suppose 4*n - r = 13. Solve 0 = y - 4*a + 8, 2*y + n*a = 4*y + 13 for y.
-4
Let f = -187 - -325. Suppose -3*s + f = 3*k - 0*k, 2*k - 2*s - 104 = 0. Let q = -27 + k. Solve 3*r = -0*r + 3*o - 15, q = -5*r + 4*o for r.
-2
Let o(l) = -7*l - 68. Let f be o(-10). Solve -f*g - b + 13 = -4*b, g + 5*b + 13 = 0 for g.
2
Let v = -37 + 34. Let d be 5 - (v*4)/(-4). Solve -2*g + d = 0, g + g = -3*j - 10 for j.
-4
Let y = -1516 + 1521. Solve 0 = 4*g - 5*j + 41, -2*j + 5 + y = 0 for g.
-4
Let z = 1249 - 1244. Solve -i - b = 2, -5*i - z*b + 3*b = -5 for i.
3
Suppose 2*a + 0*a + 18 = 5*t, -5*a - t = 18. Let b be (2 + (a - -2))*1/2. Solve -3*h + s + 6 = b, 4*s + 2 = 2*h + 8 for h.
3
Suppose -29 = -3*b - 5*i, 2*b - 14 = -3*i + i. Solve 0 = -3*o + 9, 5*w - 2*o - 1 = b for w.
2
Suppose -f + 5*n + 13 = 0, 7*f - 3*n = 4*f + 27. Suppose 6*r = f*r. Solve 0 = -r*u - 3*u - 5*z - 17, -3*u = -3*z + 9 for u.
-4
Let t(w) = 40*w - 236. Let u be t(6). Suppose -4 = 2*c + 2*g - 4*g, -2*g = 2. Let j = 0 - c. Solve m - j*m + o + 3 = 0, m + u = -5*o for m.
1
Let q(a) = a**3 - 6*a**2 - 5*a - 2. Let u be q(7). Let w be (-5 + 25)*3/u. Solve 3*c - 28 = -4*k, c = w*c - 5*k + 4 for c.
4
Let l(d) be the second derivative of -d**5/20 - 11*d**4/12 + 11*d**3/6 - 12*d. Let z be l(-12). Solve -15 = 5*v + 2*x, -v = v + 2*x + z for v.
-1
Let t be -1 + 2 - -3 - (-14)/(-7). Suppose 0*d - 3*u - 5 = -2*d, -3*d - u + t = 0. Solve -d + 16 = -5*a, -a - 8 = s for s.
-5
Suppose 2*g + w = -2*g + 10, 2*g - 4*w = 14. Solve g*n = j + 13, 3*n - 1 = -5*j - 12 for n.
3
Let z be ((-189)/28)/9 + 123/4. Solve 0 = 5*l - l + 2*o - z, -5*l - 4*o = -45 for l.
5
Suppose -38 = -5*v + z + 3*z, -3*v = 4*z - 10. Solve 6 = -4*m - 2*y, -3*m + y + v = -y for m.
0
Let w(d) = -d**2 - 3*d + 3. Let l be w(-3). Suppose -l*b = 5*r + 5, -3*b + r = 5*r + 4. Let h = 8 + -4. Solve 3*p = -b - 6, 4*m - h*p = -12 for m.
-5
Suppose 14*f - 137 = 17. Solve -3*y + 12 = 3*l, 2*l - y = -0*l + f for l.
5
Suppose -4*l - 3*o = -6, -3*l + 2*o - 8 = -2*o. Suppose l = -2*z - 7*d + 2*d - 9, d + 3 = 0. Solve 0 = 3*g + 2*u + 4, 4*u = -0*g + z*g - 8 for g.
0
Suppose 3*w - 5*r = 43, -3*w - 5*r + 27 = 4. Solve 4*x + 13 = -3*j, -2*x - w = -6*x + 5*j for x.
-1
Let q be ((-7)/(-2))/(1/2). Let o be (4/(-7))/(8/(-28)). Suppose -8 = -o*x - z, x + 4*z + 0*z = 4. Solve 0 = -3*r - x*t + q, 2*r + 5*t = r - 5 for r.
5
Let k(x) = -x + 12. Let o be k(13). Let s be 0/o + 5 + -2. Suppose -v + 0*v + 5*p = 18, 4*v + 3*p = 20. Solve -l - v*h + 4 = 2*l, s*h = -2*l + 6 for l.
0
Suppose 550*h - 20 = 548*h. Solve z + h = -3*p, 2*z + 2*p = -z - 2 for z.
2
Suppose 5*u - 14 = 4*l, 0 = -4*u + 3*l + 16 - 5. Suppose 8 = -2*i + 4*i - s, 0 = -u*i + 5*s + 16. Solve i*h = -2*h - 4*y - 9, 0 = -4*h + 4*y for h.
-1
Let t = 47 + -14. Let r be 0 + ((-6)/(-24))/((-7)/(-308)). Solve 0 = -3