 = -18, -2 = r*y + 6 for a.
4
Suppose -4*q - 3*b = -35, -5*q - 14*b + 45 = -10*b. Let i(k) = k. Let v be i(-6). Let o be (-2)/7 - v/21. Solve o*n - 5*n - 5 = q*s, -n + 3 = 3*s for n.
-3
Let k = -38 + 42. Suppose 4*c - 12 = -4*m, -m + 3 = c - k*c. Solve 0*o + o = v - m, 3*v - 9 = -5*o for v.
3
Let k be 12/(-54) - 3/((-27)/236). Suppose -10 = 3*w + 5*i, -3*i - k + 6 = -w. Solve 0 = 2*l - w*m + 11, 2*l + 1 + 7 = 4*m for l.
2
Let s = -1674 - -1674. Solve -4*r + 2*o + 24 = s, -o - 12 + 5 = -r for r.
5
Suppose -5*z + 9 = -2*z - 3*k, -4*k + 37 = 3*z. Suppose 4*j = 35 - z. Solve 3*q - j = g + 1, -8 = -g - q for g.
4
Let u(w) = -w**2 + 8*w - 8. Let h be u(6). Solve f + 6 = -i - 0*f, 2*f + 22 = -h*i for i.
-5
Suppose -3*a = 3*z - 21, 5*a + 2 - 31 = -3*z. Suppose 0 = -3*d - 5*i - 8, -2*d + 7*i = 9*i. Solve d*s - 8*s - a = -2*u, 5*s + 3*u = -27 for s.
-3
Let y(x) = 0*x**2 - 4*x - 2*x - 2*x**2 + x**2 - 6. Let v be y(-3). Solve 0 = 3*q - 5*l - 16, 2*q - v*l - 5 - 5 = 0 for q.
2
Let l(u) = -u**2. Let h(f) = -4*f**2 + 10*f - 4. Let c(s) = -h(s) + 3*l(s). Let p be c(12). Solve 3*b + 29 = 7*b - 5*v, 5*v + p = 3*b for b.
1
Let a(d) = 2*d - 7. Let o = -20 - -23. Suppose -o*j + 7 = -8. Let x be a(j). Solve 5*v - f = -5*f + 23, -x*v - f = -11 for v.
3
Suppose -41*o + 408 = -17*o. Let d = -4 - -8. Solve -i - o = -5*y, d*i - 7 = -4*y + 21 for i.
3
Let k be (-5)/((-140)/8)*14. Suppose g + k*g = 50. Solve -g = 4*p + u, 6*p + u + 12 = p for p.
-2
Suppose 0 = -11*p + 506 - 462. Solve p*a = x + 14, 3*a = -2*x + 8 + 8 for x.
2
Let u be 29/(-9) - (1 + (-33)/27). Let s be 10 + (3 - 6)*4/u. Suppose -2 - 6 = -2*a. Solve 0 = p + a*t - s, -5*p - 5*t + 17 = -4*p for p.
2
Let o be 79/11 + (-4)/22. Let y(j) = 2*j - 3. Let p be y(o). Let t(w) = w - 9. Let m be t(p). Solve -4*z - 3 = -m*h + 1, 0 = 2*h + z + 1 for h.
0
Suppose -7*w - 732 = -10*w. Suppose -w = -9*v - 55. Solve 4*f + v = -5*b, -2*f = 3*f + 5*b + 25 for f.
-4
Suppose -5 = -5*o - 3*l, 8*o = 4*o - 4*l + 4. Solve 3*h - 7*h + 3*u = 7, u + o = -2*h for h.
-1
Suppose -363*z + 70 = -349*z. Solve -5*o - 25 = 5*m, 3*o + z = 5*m + 6 for o.
-3
Let b(a) = 3*a + 4 + 6 - 13*a**3 - 6*a**2 + 14*a**3. Let j be b(5). Solve 0 = 5*o + 25, j*o = -5*k + o + 25 for k.
4
Suppose d - 9 = -5*w, 2*d - 4*w - 36 = -2*d. Let z be (3/(-2))/(-4*d/120). Solve 2*g - 1 = -c - 2*g, 0 = z*c + 3*g + 12 for c.
-3
Let m = -6 - -8. Suppose 4*x + m = 5*x. Suppose 2*j + z - 8 = 0, -5*z = -3*j + 1 - x. Solve -j*b - 10 = 4*w + 22, 13 = -w - 2*b for w.
-5
Let k(a) = -2*a**2 - 2*a + 89. Let c be k(-7). Solve 4*v - 1 = 5*z + c, -3*v - 4*z - 11 = 0 for v.
-1
Let y be -5 - -2 - (-152)/38. Suppose p - 1 = 2. Solve 2*a = 3*a - p*h, -a - y = -4*h for a.
3
Suppose -5*y + 25 = 5*t, -t - 11 + 4 = -5*y. Suppose 0*f - 24 = -y*f. Suppose 3*a = -0*a + f. Solve n = b, -6*n + a*b - 12 = -5*n for n.
4
Suppose -d - 2*d = -3*i + 6, 4*i - 8 = -2*d. Solve -4*u - 3*x - 26 = d, -3*u + 4*x - 9 = -2 for u.
-5
Let v(a) = -a. Let y be v(-5). Let r be ((-24)/28)/((3/1)/21). Let l be (-256)/(-56) + (r/(-7))/2. Solve -y*t - 15 = -l*s, -3*s + 4*t + 10 = 2*t for s.
4
Let s be (-2)/(-3) + (-16)/(-12). Suppose 2*x = -s*x - 24. Let o be 8/(-8) + x/(-1). Solve 0*u = o*y + 3*u + 9, -2*y = -2*u + 10 for y.
-3
Let h be 5 - 6 - (-1 - (-27)/(-3)). Solve -a - h = 2*a - 5*d, 0 = 5*a + 5*d + 15 for a.
-3
Let j(y) = -18*y + 526. Let k be j(29). Solve -5*a = 2*t - k*t + 2, 5*t + 14 = 3*a for t.
-4
Let r(u) = u**3 + 18*u**2 + 16*u - 13. Let b = -13 - 4. Let g be r(b). Solve -14 = 3*n + l, 3*n - g*l + 19 = -0*l for n.
-5
Suppose 0 = -0*n + 4*n - 8. Let g be n/4 + (-21)/(-6). Let h(k) = -k**2 - 4*k - 3. Let l be h(-3). Solve 2 = -2*s - a - 3, l = 5*s + g*a + 11 for s.
-3
Let m(f) = -2*f - 4. Let q = 3 - 4. Let j = q - 2. Let g be m(j). Solve -l = 2*r - g*l + 6, -2*l = 3*r + 9 for r.
-3
Let p be 4/(-6)*(1 + 25/(-10)). Suppose -z + p = -16. Solve -2*m + 2*g + 2 = 0, -5*g - z = m + 12 for m.
-4
Suppose -8 - 1 = -3*l. Let x(q) = -4*q**2 + 0 - q**3 - 6 - 3*q + q + l. Let j be x(-4). Solve 5*r + 3*z = 2*r, 0 = -r - j*z + 12 for r.
-3
Let q = -210 + 215. Solve 2*d + 0*k = -q*k - 6, 0 = -k for d.
-3
Let h(j) = j**3 + 2*j**2 - 4. Let q be h(-2). Let s be 4 + 0 + (-12)/q + -2. Solve 7 = z + s*i, -z + 1 = -i - 0 for z.
2
Suppose -3*t + 12 - 6 = 0. Suppose 4*x + x = t*g - 22, 0 = 4*g + 3*x + 8. Solve 3*r = -2*i + g, -4*i = -i - 15 for r.
-3
Let k be (-43)/(-6) + (-5)/30. Suppose -k*d + 112 = -0*d. Solve 5*p = 3*o - d, 0 = 3*o - 5*p + p - 11 for o.
-3
Let y be 0*(3 + -7 + 3). Suppose 5*j + 2*h - 6 = 24, 2*j + 4*h = 28. Let p = -4 - -6. Solve -4*q + w - 17 + p = y, -q + j*w = 0 for q.
-4
Let n(c) = 4*c - 7. Let i be n(3). Suppose -b + 2*b - s - i = 0, 0 = -2*b - 3*s. Let q be (6/2)/b - -5. Solve 5*m = -3*z - 32, -4*m + q*z = 4*z + 8 for m.
-4
Let k be 1/2 - (-14)/4. Suppose 4*d - 9 = -u - 0, 3*u - 11 = -4*d. Suppose k + u = w. Solve -4*m + 24 + 4 = -4*g, 5*g + 5 = -w*m for m.
3
Let x(p) = -p**3 + 5*p**2 + 2*p - 6. Let d be x(5). Let q be 0*8*8/128. Suppose q = m - d. Solve 3*b = -9*k + m*k - 8, -2 = 4*k - 2*b for k.
-1
Let c(i) = i**2 + 5*i - 5. Let l be c(-11). Let s = -31 + l. Solve -3*p + 3*h - 5 = 25, 5*p + s = h for p.
-5
Let v(t) = t**3 + 15*t**2 + 26*t + 4. Let u be v(-13). Solve 0 = -i + 2*z - 3 + u, 5*z - 5 = 4*i for i.
-5
Suppose -2*z + 4*k + k = -33, 4*z = -3*k + 27. Let r(q) = q**3 - 9*q**2 + 2*q - 8. Let o be r(z). Solve -v = -2*c - o, v = -v - 4*c - 4 for v.
4
Suppose w = -t + 1, -3*w + 11 = 3*t - 4*w. Solve 3*z = -15, 0 = d + 2*z + 2 + t for d.
5
Suppose 87*b - 320 = 23*b. Solve 3 = 3*d, 5*i + b*d + 11 = -9 for i.
-5
Let f be (-1)/(-2)*(-2 - -10). Solve x + f*o + 9 = o, -3*x - 6 = 2*o for x.
0
Suppose 45*g - 47*g + 4 = 0. Solve 2*q + 10 = 0, g*l - 4*l + q = -5 for l.
0
Suppose -2*s + 6 - 4 = 0. Let i be 11/2 - 3/(-6). Let u = 6 - i. Solve -2*j + s = -d, 5*j + u*d + 4*d - 35 = 0 for j.
3
Let h(k) = -k**3 - 3*k**2 + k + 3. Let y be h(-4). Suppose 2*a = -3*a + y. Solve 0*m - 19 = -2*t + 3*m, a*t + 3*m = 6 for t.
5
Let u = 49 + -44. Suppose -3*m + u = -10. Solve -2 = 2*j - 4*w, -m*j - 3*w + 15 = -2*j for j.
3
Let x = 11 - 1. Let o = 12 - x. Let n be (0/(o + 0))/(-2). Solve 2*j = f + 1, j + f + 1 = -n*j for j.
0
Let i be -56 + 53 + (1 - -28). Solve -2*t + 18 = -2*o, 2*t = 11*o - 7*o + i for o.
-4
Suppose -2*f - 3*r - 15 = 0, -2*f - 2*r - 10 = -0*r. Let u = 46 + -43. Solve f = -3*y - u*z, z - 1 = -4 for y.
3
Let r be (-2)/12 + 676/24. Let g = -23 + r. Solve -3*q - 10 = 5*p, g*q - 3*p - 42 = -2 for q.
5
Let i(t) = -t**2 + 20*t - 34. Let k be i(18). Suppose 3*o = -3*o + k*o. Solve o*w = 3*w - 3*u + 3, u = 2*w + 5 for w.
-4
Let r = 6 - -6. Let g(l) = l**3 + 7*l**2 - l - 2. Let h be g(-7). Let c(u) = -28*u - 250. Let a be c(-9). Solve -a*y - 2*y = -h*d - 2, y + r = -5*d for d.
-2
Let g = -261 + 265. Solve -4*j = 4*s - 12, -s + 0*j + g*j - 12 = 0 for s.
0
Let u(c) be the third derivative of c**4/6 - 4*c**3/3 + 21*c**2. Let w be u(3). Solve 0 = -4*i - 2*o + 6, 2*o - 3*o = -w*i + 9 for i.
2
Let x(v) be the first derivative of v**2/2 + 9*v - 5. Let g be x(-6). Suppose -y + 12 = g*y. Solve -3*t + 0*t + 3 = y*f, 0 = -5*t + 5*f + 15 for t.
2
Let x(d) = -d**2 - 4*d + 2. Let a be x(-3). Solve -9 = a*o + 6*u - 4*u, 6 = -3*u for o.
-1
Let q be -40*(-2)/(-12)*3. Let g = q + 16. Let j = 9 + g. Solve 10 = -5*k + r, j*k - 6 = -4*r + 9 for k.
-1
Let k(t) = -t**2 - 17*t - 34. Let w be k(-16). Let r = 18 + w. Solve r = i + 2*u + 9, -5*i + u = 1 - 0 for i.
-1
Suppose 0 = 5*u - 21*u + 16. Suppose 2*h + u = 33. Solve 4*b = -h, -2*b = -3*o - 1 - 6 for o.
-5
Let y(i) = -i - 1. Let l be y(-6). Suppose -l*j - 28 = -2*o, 2*o + o - 67 = -5*j. Solve -3*w = 2*f + 11, 4*w + o = 2*f + w for f.
2
Let k = -45 + 75. Let u be 1/((2/k)/((-3)/(-9))). Let o(i) = i**2 + 2*i - 4. Let a be o(-4). Solve 5*b + 6 = 2*b - 3*y, 0 = b - u*y - a for b.
-1
Let h(m) = -m**2 - 3*m + 272. Let j be h(-18). Solve 7*x - 19 = l + 2*x, j*l = x - 11 for l.
-4
Suppose 0*h - 7*h + 3*h = 0. Suppose h = f + 3 - 5. Let o be 1/(2*(-1)/(-8)). Solve -f*u + v - 3 = -2, -22 = -u - o*v for u.
2
Suppose 4*u - 22 = 2*n, 6*u - 2*u - 4*n = 32. Let c be ((-513)/(-76))/((-12)/(-16)). Solve 6 = 3*q - c, 5*o - u*q = -40 for o.
-5
Let b = -370 + 379. Solve -5*y - l - 6 = -3*y, 5*l + b = -3*y fo