 - 12*j - 13. Let b(u) = u. Let n(f) = -2*b(f) - r(f). Let y be n(-9). Let d be (1 + -2 + 2)*1. Solve 3*v + y = 3*i - 14, -d = -i for v.
-5
Let q = -110 + 118. Suppose -10*g + 12 + q = 0. Solve 7*m = g*m - 5*t - 35, -2*t - 20 = 5*m for m.
-2
Let q be 6/(-45)*3 - (-135)/25. Solve 2*n = w - 6, -4*w = -2*n - q*w - 6 for n.
-3
Let h(q) = -q**2 + q + 4. Let d = -2 + 2. Suppose 0*n + 4*n = d. Let z be h(n). Solve -w - 3*c = 4*w - 16, -3*c - 29 = -z*w for w.
5
Let d be 4*(11/(-4) - -3). Let h(a) = 11*a - 1. Let p be h(d). Let c = 10 - p. Solve 0 = 3*r - 6*w + 4*w + 6, c = -2*r - 3*w - 4 for r.
-2
Let d = -2004 - -2034. Suppose -2*w - 8 = -24. Suppose -w = -4*p, c - 3 = 5*p - 11. Solve -4*q - d = c*s, -4*q - 35 = -q + 4*s for q.
-5
Let m = 18 + -14. Suppose 0 = 5*g + 49 - 154. Suppose a - g = -5*c, a + m = -0*a. Solve 5*h + 3*z + 11 = 0, -h + 0 = 2*z + c for h.
-1
Suppose 5*v - 10 = -0. Suppose -9 + 3 = -v*q. Suppose q*l - 6 = 5*n, -n + 0*n + 2 = l. Solve -4*f - 7 = -3*d, 4*f + d = -n + 13 for f.
2
Suppose r - 5 = 3*j - j, -4*j - 25 = -5*r. Suppose j = -5*g - h + 14 + 8, 0 = 5*g + 2*h - 24. Solve -4*b - 3*q + 0*q = -11, 14 = 5*b + g*q for b.
2
Let v = 10 - 13. Let y be (-1)/2*(-3 - v). Solve 2*i + 8 = -q + 3*q, y = q + 3*i + 4 for q.
2
Let f = 391 + -387. Solve 4*w + f*g = 24, -2*w + 5*g - 25 = -2 for w.
1
Suppose 0 = 5*h - 25 - 65. Let b = h + -13. Solve 5*y - 2*z - z = 2, -4*y - z = -b for y.
1
Suppose -19*v = -v - 144. Let a be ((-4)/4)/((28/v)/(-7)). Solve 5*i - a*i = -2*y - 7, 0 = -2*i - 6 for y.
1
Suppose 6*u - 8*u - 10 = 0. Let o = u + 8. Solve 4*w = -0*b + o*b, 0 = b + 2*w - 10 for b.
4
Let l be -12*(-1 + 0) + 0. Suppose 4*z - 4*i = l, 0 = 3*z + z + 5*i - 21. Let j(p) = 2*p. Let s be j(1). Solve 4*c - 1 = -c + k, 4 = s*c - z*k for c.
0
Let g(f) = 18*f + 112. Let o be g(-6). Solve 2*j - o*j + 2*k = -4, 2*k = -2 for j.
1
Suppose -6*o - 1 = -13. Suppose 2*g = -o*g + 124. Solve -10 = 5*f, 5*y - 2*f + 5*f + g = 0 for y.
-5
Suppose -18 = -14*f + 8*f. Suppose 22 = 2*v + y + f*y, -3*v + y + 12 = 0. Solve -2*p + 4*g - 1 = g, 5*g = v for p.
1
Suppose 9*x + 5 - 50 = 0. Suppose 0 = -x*s - s. Solve s*d + 20 = 2*u + 2*d, 20 = 3*u + d for u.
5
Let k(x) = -x + 15. Let g(s) = -s - 1. Let p(m) = 4*g(m) - k(m). Let j be p(-8). Solve -2*u + 8 = -5*a, 5*a = a + j*u - 20 for a.
0
Let d(t) = t**3 + 3*t**2 - 5*t - 6. Let w be d(-5). Let g = 43 + w. Solve k - 4*m - g = -3*k, k = 3*m + 13 for k.
-2
Let g(p) = p**3 + p**2 - 2*p - 2. Let k be g(-2). Let n = k - -2. Let i be 12/(-16) - (-966)/168. Solve 2*o + 14 - 1 = i*m, n = -5*o + 5 for m.
3
Suppose -228 - 347 = -115*t. Solve 5*q - 1 - 9 = m, 40 = 5*m + t*q for m.
5
Let p = 43 + -39. Solve -3*w - 18 = -p*b - 0*b, b + 3 = -3*w for w.
-2
Let d(u) = u**2 - 12*u + 7. Let j be d(12). Let t be (-6)/45 + 51/45. Let l be (t/2)/(1/28). Solve 3*i - v = j, 2*v - l = -i - 0 for i.
4
Let w = -25 + 27. Suppose 3*q = p - 14, -6*p + w*p + q + 12 = 0. Solve -p*n + 11 = -5*u + 44, -5*u + n = -29 for u.
5
Let w(g) = -6*g - 1. Suppose 4*k - 3*f = -13, -3*k = -0*k + 4*f - 9. Let q be w(k). Suppose 3*v + 12 = q*v. Solve 5*d = 4*i - i + v, 3*d + i - 12 = 0 for d.
3
Suppose -2*z + 35 = 3*h, 3*h - 5*z + 0*z = 28. Suppose -4*r + 12 = 2*q + 4, -3*r = 4*q - h. Solve -5*f + q*w + 25 = 0, 3*f = 2*w - 6 + 25 for f.
3
Let v = 16 + -12. Let n(l) = -v + 0*l - l - 9*l + 2*l - l**2. Let f be n(-7). Solve f*k + 2*o = 8, 2*k - 4*o = o - 20 for k.
0
Let z(u) = -239 + 241 + 2*u**2 + 2*u - 3*u. Let v be z(-2). Solve -3*i = 2*g - 20, g + 2*i + 0*i = v for g.
4
Suppose -7*c = 9*z - 3*c - 116, 0 = z + 5*c - 22. Let p(y) = -4*y + 3. Let d be p(-3). Solve -3*j - w + z - 1 = 0, -d = -3*j - 3*w for j.
3
Let d = -180 + 110. Let v = d + 74. Solve 9 + 11 = v*t, 5 = 4*b - 3*t for b.
5
Suppose 5*c - 90 = -5*k, -4*c + k + 1 + 51 = 0. Solve -2*b + 2 = 2*m, -6*m - c = -8*m + 2*b for m.
4
Suppose 20*a = 27*a - 7. Let s be 0/(3 + (a + -4 - -1)). Solve 0 = 2*z + 5*i - 20, -12 = -s*z - 4*z - 3*i for z.
0
Suppose 5*u = u + 12, -a + 4*u + 3 = 0. Suppose 3*d + 39 = a. Let w(b) = b**2 + 8*b. Let r be w(d). Solve 0*q + 5*x = 3*q - 10, 5*q - x - 2 = r for q.
0
Suppose 0 = 6*d - 15 - 3. Solve 5*p - 20 = a + 7, d*a - 4 = -2*p for p.
5
Suppose 0 = -5*q + 3*y - 11, -y - y = -3*q - 6. Let k be (1 - (q + 3)) + 2. Solve -4*v = 3*u + 18, k*v = u - 5 - 5 for v.
-3
Let u = -22 - -19. Let k(q) = -7*q - 2. Let h be k(u). Solve 0 = 3*f - 5*p - h - 10, f - 19 = 4*p for f.
3
Let f = -2404 + 2408. Solve f*t - 32 = 4*b, 3*b - 1 = -3*t + 5 for b.
-3
Suppose 0 = 2*i - 243 + 235. Solve -i*y + 2*f = -30, -3*f + 1 = 4*y - 4 for y.
5
Suppose 334 = 2*x + 7*b - 4*b, -5*x + 869 = -b. Let m = -169 + x. Solve -m*z = 2*f + 6, -z + f = 4*z - 3 for z.
0
Let p = 68 - 68. Suppose p = -9*u + 7*u + 6. Solve b + 3 = -4*n - 4, -u*n + 4*b = 29 for n.
-3
Suppose 0 = 4*b - 3*b + 8. Let h be (b/(-6))/(1/6). Let j = 66 + -62. Solve -z = j*d - 19, 2*d - 4*z - h = -6*z for d.
5
Suppose 3*l - 114 = 5*d + 5*l, -3*d = 2*l + 66. Let h = d + 27. Suppose -h*i = -5 - 1. Solve 3*j + 5*x = 23, -5*j - i*x + 7 = -6 for j.
1
Suppose -10*l = -29*l + 95. Solve 4 = 4*r - 3*y, 3*r + l*y = 3 - 29 for r.
-2
Let w be (-2)/7 - (-5 + (-88)/14). Solve -4*n - 2*h - 1 = -w, 5*n - h - 30 = 0 for n.
5
Suppose -10 = -4*c + 2. Suppose -2*x + 6 = 4*o, -o - c*x = -0*o - 9. Solve 12 = 4*f + l, -12 = -4*f + 4*l - o*l for f.
3
Suppose 4*j = 5*l - 3 + 32, 3*l + 3*j + 39 = 0. Let w be (-80)/(-36) - (-2)/l. Suppose w*z = -z + 12. Solve 6*t = z*t - 2*r, 0 = -4*t + 2*r - 18 for t.
-3
Let l(y) = -y**2 - y + 6. Let h be l(-3). Solve 2*m - 3*v + 18 - 1 = h, 5*m - 20 = -5*v for m.
-1
Let q(s) = s**3 + 4*s**2 - 6*s - 7. Let p be q(-5). Let y be (p - 27/(-6))*2. Let g be (-1 + -1)/((-8)/20). Solve -17 = g*d - 2*f, y*f - 12 = d - 4 for d.
-3
Let g(d) = -d**3 + 11*d**2 - 4*d + 48. Let p be g(11). Solve 3*k = -w + p*w + 3, 2*w + 14 = -k for w.
-5
Suppose 7 = 5*w - 13. Suppose w*o - d = 19, -d - 5 = -6. Solve -18 = -o*g - 0*g - 3*k, 2*k = 2 for g.
3
Let j = -4 - 5. Let b be (-869)/(-99) - 2/j. Suppose -i + b = -9. Solve -i = -2*u + 4*x, 5*u = -0*u + 2*x + 5 for u.
-1
Let b be (-2)/(-7) + (-531)/21. Let p = 36 + b. Solve 5*d + 5*m = -0*d + 25, 0 = -d - 4*m + p for d.
3
Suppose f - f = 6*f. Let z be (-78)/(-15) + (-2)/10. Let b = -3 + z. Solve -2*q - 2 + f = -b*n, -5*q + 19 = 3*n for n.
3
Suppose 9*h = 12*h - 5*t - 44, 2*t + 32 = 3*h. Solve 20 = y - 5*q, -5*q = -2*y - 3*q + h for y.
0
Suppose 2*w = 2*l - 10, 2*l + 5*w + 4 = -0*l. Suppose l*q - 1 + 0 = -5*h, 3*h = 5*q - 13. Let i = 7 - q. Solve i*r - 16 = -p, r = p + 7 + 1 for r.
4
Let b(i) = i**2 - 24*i + 122. Let g be b(7). Solve -a = k + 3, g*k - 24 = 5*a - k for a.
-4
Let m(f) = -38*f + 342. Let j be m(9). Solve 0 = -17*q + 18*q + 3*t + 17, 2*q + 3*t + 19 = j for q.
-2
Let l(d) = d + 26. Let q be l(-10). Suppose -q*m + 27 = -7*m. Suppose -a - 1 - 1 = 0, 13 = 3*s - 2*a. Solve -s*f - 2 = -n - 6*f, 5*n + m*f = 22 for n.
5
Suppose -19 = -4*h + 5*n + 10, 3*n = h - 2. Solve -4*m - 3*u - h = 0, u + 3*u + 24 = 4*m for m.
1
Let c = -39 + 53. Let q = c + -12. Solve 3*w + 19 + 0 = -4*h, -4*h + 6 = -q*w for h.
-1
Let v(k) = 2*k**2 + 65*k - 33. Let i be v(-33). Solve -3*x + i*x = -12, x - 7 = d for d.
-3
Let l(a) = 5 - 30 + 13 + 11*a + a**2. Let r be l(-12). Solve 0*n - 2*n + d - 1 = r, -5*n = -3*d + 5 for n.
2
Let g(k) = k**3 + 4*k**2 + 4*k + 3. Let s be g(-2). Suppose -6*r = -s*r. Suppose -5*m + 0*m + 25 = r. Solve -l - m*c + 16 = -4*l, -l - 3*c = -18 for l.
3
Suppose 9*h - 15 = 4*h + 5*o, -5*h + o = -23. Solve 0 = -3*q + 4*c - 2*c + 1, -5*q + 5 = -h*c for q.
-1
Let l be (-1)/(-5) + 8/(-40). Let f(u) = 4 + 0*u**2 + 3*u**2 + 4*u - 2*u**2 - 2*u**2. Let o be f(4). Solve 2*v = o*x - 20, l = 4*v + 5*x + 1 for v.
-4
Let s(n) = 162*n + 489. Let m be s(-3). Solve 0 = -2*z + 6*k - 3*k - 6, -3*k = -m*z - 3 for z.
3
Suppose -z + 3*f = 2*z - 9, 6*f = 2*z + 2. Solve -2*o = -z*a - 8 + 10, 0 = 5*a - 4*o + 6 for a.
2
Let a be 2/((-5)/(-5)) - (-13 + 5). Suppose 6*c - 60 = c. Suppose 5*o + c = 72. Solve 5*w + 0*g - o = 3*g, 3*w + g = a for w.
3
Let l = 115 - 111. Solve 2*n + l*x - 3*x - 3 = 0, -1 = -x for n.
1
Let a(s) be the first derivative of -s**4/4 + 3*s - 7. Let g be a(0). Suppose g = 2*w - 5. Solve -3*b - 5 = 2*j, -4*j = w*b + 3 + 1 for j.