 5*t + 22, 3*t = 4*m - 22 for t.
-2
Let d = -1288 - -1289. Solve 0 = y + r + d, 2*r = -2*y + 6*r + 16 for y.
2
Let z(b) = -b**2 + 6. Let d be z(-2). Let i(a) = a**2 + a - 1. Let c be i(d). Solve u - c*u = -x - 7, -3*u - x + 7 = 0 for u.
2
Let o(t) = -t**3 + 13*t**2 - 16*t - 14. Suppose -4*v + 52 = 4. Let a be o(v). Let d = 89 + a. Solve -3*m = -3*u + d, -m + 7 = m + 3*u for m.
-4
Let z(c) = c**2 - c - 88. Let n be z(-9). Solve 0 = 2*j - n*i - 4, 4*j + 0*j + 5*i = 8 for j.
2
Suppose -3*m + 3 + 8 = y, 5*y - 10 = 0. Suppose -3 = o + m*k, -k + 2 = 5*o - 3*k. Solve -a + 4*j + 0*j = -12, 2*a - 3*j - 9 = o for a.
0
Let t = -2952 + 2957. Solve 3*z + 3 = 0, -t*z = l + 1 + 5 for l.
-1
Let x be (-21)/(-28) + (-65)/(-4). Let u = x + -13. Let g be 18/(-12)*(0 - 2). Solve 8 = -2*l + 2*c - u, -g*c = 2*l - 8 for l.
-2
Let r = 1 + -1. Suppose -51*w + 74 = -130. Solve -j + 2*a + w = 0, r = -3*j + a - 1 + 13 for j.
4
Suppose 0 = -7*k + 3*k - p + 12, -5*k + 4*p - 6 = 0. Suppose -2*j + 2*g = 8, -3*g = -k*j - 11 - 2. Solve 4*v - 2*u + j = 5*v, -3*v - 30 = -5*u for v.
-5
Let c be ((-3)/(-6))/(2/(-12)). Let r be c + 21 + (-12)/(-4). Let u be (1/(-3))/(-1)*r. Solve -3*j - 3*z - z + 10 = 0, 0 = -j - 5*z + u for j.
2
Let c(z) = -3*z**2 - 20*z - 25. Let v(u) = -u**2 + 1. Let g(m) = c(m) - 2*v(m). Let b be g(-18). Solve 0 = 4*q - 3*q - 2*n - 12, -2*q + n + b = 0 for q.
2
Let t be -9 + 1*(-4 - -6). Let w be (4/(-6))/(t/21). Suppose 14 = 6*n - 10. Solve 13 = -3*o - k - w, 5*k + 31 = -n*o for o.
-4
Let h(w) = w**3 - 4*w**2 - 4*w. Let f be h(5). Suppose f*x + 15 = 5*m, m - 4*x = -9*x + 27. Solve -2*k + 6 = 4*o, 2*o = -3*k - 0*k - m for k.
-5
Let g be (0 + 7/(-2))/(1/(-40)). Let h = g + -135. Solve 0 = 3*i + 2*f - 9, f = i - h*i + 12 for i.
3
Suppose 3*r - 5*r = -5*z - 12, 0 = 4*z - r + 9. Let c be (-16)/(z - 2)*1. Let d(l) = -2*l - 1. Let v be d(-4). Solve -c*x - 8 = 4*p, -x - 3*p + v = 3 for x.
-5
Suppose -2*k + 0*k = 4*z - 34, -4*k = -5*z + 10. Solve y = 3*d, 0 = 5*d - 4*y + z*y for d.
0
Suppose -x + b - 3 = 0, -56 = -5*x - b - 53. Solve 3*m + 2*f + 15 = x, 9*f = -3*m + 6*f - 15 for m.
-5
Suppose 0 = 3*f + 3*f - 174. Let u = f - 19. Solve -2*p + u = -3*z, 4*p - 5*z - 8 = 12 for p.
5
Suppose k = 2*k - 3. Let s be (0 + 0)/(5 - k). Let m = 0 + s. Solve -q + a + 1 = 2*q, 4*q - a = m for q.
-1
Let u(z) = 178*z - 2846. Let r be u(16). Let k be 1/(-1) + 4 + 1. Solve -r = -2*l + 3*s + 1, -5*s = -k*l + 3 for l.
-3
Let n(y) = -y**3 + 9*y**2 - 15*y + 7. Let h be n(7). Suppose h = -g - 3*g + 12. Solve g*r = 4*z - 17, -5*z + 27 = 2*r - 0*r for z.
5
Suppose -5*x = -3*h + 71, -4*h = 5*x + 6 - 54. Solve -2*o - h = 5*z, 5*z + 3*o + 8 + 10 = 0 for z.
-3
Suppose 4*z - z = -4*c + 8, 5*z - 2 = -c. Let h(y) = -y**2 + 14*y + 56. Let t be h(17). Solve 0 = 2*x - 2*k - 14, -3*x + c*k + t = 3*k for x.
3
Let o = -17 - -25. Solve -k + 2*f = 2, 2*k - f = 6*k + o for k.
-2
Suppose 10*w - 6*w = 5*w. Suppose 69 = 2*t + t. Solve 5*z + 25 = 0, -3*i + 3*z + 7 + t = w for i.
5
Let k = -104 + 109. Let w be 5 + (-78)/15 - (-1)/k. Solve 3*u = -4*m - 5, 5*m + 6 + 4 = w for u.
1
Suppose 2*s + 0*p - 8 = 2*p, 4*s + p - 21 = 0. Solve 4*w - 6*w + 6 = -2*h, -h = s*w + 9 for w.
-1
Suppose u + 15 = 6*u. Let i be ((-3)/(-2))/((-25)/(-50)) + 1. Solve 2*w + 25 = -3*w + i*v, 0 = u*w - 5*v + 15 for w.
-5
Let o(y) = 0 + 11 + 10*y - 55*y**2 + 54*y**2. Let r be o(11). Suppose u + u - 10 = r. Solve 0*q = i + u*q + 12, -4*q = i + 10 for i.
-2
Let v be (0 + 12/(-14))*7. Let z be (1 - v) + -1*2. Suppose -j + 54 = z*g, g = -3*g + j + 36. Solve 4*b - 3*q + 12 = 1, -2*q = -g for b.
1
Suppose -6*c + c + 75 = 0. Let r be (-9 - -1)/((104/(-12))/13). Let f = c - r. Solve -p - t = -7, 0 = 4*p - f*t + 5*t - 18 for p.
2
Let k be 4/(((-10)/72)/(-5)). Suppose -5*n + k = 7*n. Let c(t) = t**3 - 6*t**2 + 4. Let s be c(6). Solve -r + 0*r - 4 = -3*b, -3*r - n = -s*b for b.
0
Let b = -2 - -2. Let l = -9 + 12. Let g(j) = -j**3 + 5*j**2 - 5*j + 2. Let y be g(l). Solve -s - 3*a + 19 = b, y*a = -3*s - s + 41 for s.
4
Suppose -3*y + 6 = 0, 3*f - 9*y = -5*y - 2. Solve -3*r + 2*q + 6 = 5, -2*r - f*q + 4 = 0 for r.
1
Let g(h) = 7*h - 61. Let d be g(9). Solve d*x + 3*z - 4 = 3*x, -5*x - 5*z = 0 for x.
-1
Suppose -6*i - 23 + 119 = 0. Suppose -5*v + x = -21, -x - i = -3*v - 5. Solve -k + 4 + 7 = -3*w, -k = -v*w - 19 for w.
-4
Let f(h) = h**3 + 7*h**2 + 3*h - 12. Let q be f(-6). Let o be ((q - 3) + (-4 - -1))/2. Solve 3*k - 5*y = -15 - 8, -k - 2*y + 7 = o for k.
-1
Let t be 0 + 28/(-6) - 4/(-6). Let k = 0 - t. Solve -f = -r - 4, -3*f + 18 = k*r - 1 for r.
1
Let f be (-18 + -2)/(6 + -8). Suppose -f = 7*j - 9*j. Solve i = 2*q + 2*q + 18, 0 = -j*i - q - 15 for i.
-2
Suppose -5*h = 4*p - 7, 0 = -2*h - h - 3. Solve 2*x = -p*w + 11, -x - 4*w + 12 = x for x.
4
Suppose 2*g + 11 = 5*w + 147, -w - 2*g - 32 = 0. Let p be w/(-13) - (-44)/(-286). Solve 4*d = 5*f - 0*f - 2, f + p*d = 6 for f.
2
Let o = -568 + 582. Solve 4*s + 3*t + 2 = -o, 4*t = 0 for s.
-4
Let l(q) be the second derivative of q**4/12 + 7*q**3/6 + 3*q**2 - 18*q. Let i be l(-6). Solve i = -5*n + 3*y + 29, 4*y + 6 = 2*y for n.
4
Let y = -24 + 37. Suppose 17 = 4*b - 5*p, -2*p = -5*b + 2*p + 19. Let g be (-17)/(-4) + 2/(-8). Solve 2*i + 2*i = g, -b*f + y = -2*i for f.
5
Suppose 0 = -g + 3*g - 8. Suppose 0 = c - g*c. Suppose -2*q + 6 = -c*q. Solve -6*z - t + 9 = -q*z, -t = 3 for z.
4
Suppose 3*h - 2*t + 15 - 61 = 0, 2*h = 5*t + 49. Suppose 5*u = 8*u - h. Solve -u*s = 5*a + 4 - 14, -3*s = 3*a - 6 for a.
2
Suppose -4*x - z = -112, -6*x + 2*z = -7*x + 35. Suppose 8 = -2*h, 0 = -0*v + 3*v - 3*h - x. Solve -3*s + c = 5, -2*s - 11 = -v*c + 1 for s.
-1
Suppose 3*r - 5*m + 8 = 1, -2 = -m. Let o = r + -1. Solve -2*s - 8 = -4*q, -5*s + o*q + q = -16 for s.
4
Let z(t) = -4*t**2 - 4*t - 4. Let r be z(-2). Let y be 11/3 + (-4)/r. Let a = 13 + y. Solve -2*b = 2*s - 6, b + 0*b = 3*s - a for s.
5
Let n(p) = p**3 - p**2 + 5. Let v be n(0). Suppose 0 = v*o - 0*o. Solve -3*i = 3*z - 18, -4*z + 0*z + 2*i = o for z.
2
Suppose -5*b = -u + 12, 7*u + b = 11*u - 10. Solve 2*g - u*y + 17 = y, 5*g - 2*y + 15 = 0 for g.
-1
Let a be (10/(-25))/(-1 + (-8)/(-10)). Let y = 16 + -8. Suppose -o + 16 = 4*k, 3*o + y = 2*k + 4*o. Solve -c + 17 = 4*x, -k*x + 4 = 2*c - a*x for c.
-3
Let c = 16 - 13. Let o = 17 + -12. Suppose -4*i = g + i - 25, -3*g - 5 = -o*i. Solve t + m = g*t + 10, 13 = -c*t - 2*m for t.
-3
Let t be 5*3/5 + 0 + -2. Let s(o) = 4*o - 2. Let n be s(t). Solve -5*l - 2*d - 16 = 0, l = n*d + 4 - 0 for l.
-2
Let g(q) = q - 12. Let d be g(12). Let h = -118 + 121. Let z = 23 - 10. Solve r - 19 = 4*l, d = l + l + h*r + z for l.
-5
Let v(i) = -i - 7. Suppose -7*d = 74 + 3. Let y be v(d). Solve -5*m = 3*g + 10, 3*g + 4 = -y*m - 7 for g.
-5
Let i be ((1 - 0)*-6)/(-2). Suppose i*s = 5*s. Solve m + 0*m = -u, -4*u + 4*m + 32 = s for u.
4
Suppose q = -9*q + 40. Solve 2*l - q*o = 12, 4 = -2*o - 0 for l.
2
Let o = 39 - 36. Suppose x + o = 2*x. Solve -x*z + 5*v = -6, 0*z + 4*v - 4 = -2*z for z.
2
Let q = -233 - -238. Solve 8 = -q*a - 3*b + 2*b, 16 = -3*a + 5*b for a.
-2
Let u be 2/(-10) + (-5)/(-25). Suppose u = -10*s + 5*s. Solve -5*d - o + 17 = s, 3*d + 5*o - 25 = -2*d for d.
3
Let q(f) = 12*f**2 + 4*f + 4. Let s be q(-2). Suppose -4*m - 4*c = 16 - s, 3*m = 2*c - 4. Solve 0*d - a + 8 = -3*d, 0 = -2*d + 4*a - m for d.
-3
Let i = 24 - 22. Suppose -3*w + 3 = 0, 5*w + 4 = i*j + 5. Solve 4*x = 7*q - j*q - 15, -2*q = -3*x - 13 for q.
-1
Let r be 13 + -7 + 2 - 5. Solve -3*y + 27 = 3*j, r*y = -5*j + 19 + 16 for y.
5
Suppose 3*j + 2 = -5*p, 51*j - 52*j = -4*p - 22. Solve 4*w = 4*l + j + 6, -3*l = 2*w + 19 for l.
-5
Let o be (-28)/((-1)/6*-3). Let n = o - -32. Let k = -22 - n. Solve 4*c = 3*p + 16, c + k = -p + 6 for p.
0
Let q(f) = f**2 - 5*f + 4. Let v be q(4). Let t = 85 + -85. Solve t*d = -d + 3*h + 16, 3*d + 3*h = v for d.
4
Let m(x) = -x**3 - 8*x**2 - 11*x + 10. Suppose -5*s + f - 10 = -4*f, 30 = -3*s - 3*f. Let a be m(s). Solve 7*p - a*p + 13 = h, 0 = -2*p - 5*h - 3 for p.
-4
Let v(x) = 8*x**3 + x**2 + 2*x + 2. Let y be v(-1). Let q be (-10)/(-4)*(-9 - 5)/y. Solve -q*m + 3*m + 10 = 2*b, 4*b = -5*m + 23 for b.
2
Let c be 3*3 + (-3 - -2). Let j be (-8*33/(-176))/(2/(-4)). Let f be c - 5/((-5)/j). Solve 3*m + 2*g = 0, -f*m = 3*g + g for m.
0
Let n(h) = 