5, -5*a = -3*i - 25 for a.
5
Let t be 19 + 6/4 + 8/(-16). Let i be (-2)/7 + (1 - t/28). Solve i = -2*m - 3*r - 23, -m + 3*r = -0*m - 11 for m.
-4
Let s be 2/2 + (1 - 2). Suppose 5 = 7*t - 23. Solve -5*v + t*w - w = s, -v + w = 0 for v.
0
Let f(z) = -z**3 - 6*z**2 + 5*z + 3. Let n be f(-8). Let m = n - 86. Solve g + b = 4*g + 9, 5 = m*g + 5*b for g.
-2
Let t(j) = -j**2 + 10*j - 6. Let q be t(6). Let h = -15 + q. Solve -r = -4*c - 24, 0*r - 3*r + h*c + 27 = 0 for r.
4
Suppose 0 = 3*j - 8*j + 5. Suppose 9 = 4*p + j. Solve 5*y - 2*s = -13 - 8, -p = s for y.
-5
Let n(a) = -2 + 2*a + 2*a**2 - 8*a - a**2 + 10*a. Suppose -4*k - 10 = -2*k. Let c be n(k). Solve p = 4*h + 14, -c*h + 12 = -5*h - 2*p for h.
-4
Let v = -8 + 4. Let w(g) be the second derivative of -g**3/6 - 2*g**2 + g - 1. Let s be w(v). Solve s = -4*l + 5*q + 45, 4*l - 25 = -2*q + 3*q for l.
5
Suppose 2*f + 15 = -5*n - 9, 3*f = -2*n - 36. Let u = 22 + f. Let q be 5/(-25) - (-32)/u. Solve -2*o = 2*o - 16, 4*o = q*a + 7 for a.
3
Suppose -48*m = -50*m - 3*u - 3, -4*u - 3 = 3*m. Let d = 2 + -2. Solve 5*l + 7 = 3*k, -m*l = -5*k - d + 17 for k.
4
Let x(n) = -16*n + 160. Let d be x(10). Solve d = -5*z - y - 6, 3*z + 8 = -10*y + 5*y for z.
-1
Suppose 4*o - 3*o = 5*q + 31, -5*o = -2*q - 40. Solve -12 = 4*k + 4*t, o*k + 18 = k - 2*t for k.
-4
Let p = 7 - 3. Suppose -p*k = -0*k. Solve -2*a + 3*j + 17 = -k*j, 4*a = -5*j - 21 for a.
1
Suppose -t - 3*t - 28 = -4*u, 14 = 4*u + 3*t. Solve -u*f = -s + 1, 7*s = 3*s - 5*f - 21 for s.
-4
Let z be (310/217)/((-4)/(-14)). Solve -2*p + 5*p + 12 = 0, 0 = z*l + 2*p - 2 for l.
2
Suppose -4*x + 54 = 5*x. Suppose b + x = 15. Solve -m = c + 4, -4*m - 7 = -c + b for c.
0
Let o be 1/4 - (-452)/(-16). Let f = 26 + o. Let c be 2*(f/(-4) - -2). Solve -3*g = -2*g + 5*m - c, 4*g = 4*m - 28 for g.
-5
Suppose -5*q + 5 = 0, 9 = 2*n - q + 2. Suppose n*g - 6 = -2*h, -g + 1 = h - 2. Solve -4 = 4*z + 3*y - y, z + h = -y for z.
1
Suppose -o = 3*i + 5, 0 = -o + 6*o + i + 11. Let b(l) = l**2 + 3*l + 4. Let m be b(o). Solve -2*d - 8 = -m*a, 4*d + 24 = -0*a - 4*a for a.
-1
Let l be (-10)/1*12/(-8). Let h(m) = m**3 - 14*m**2 - 16*m + 35. Let k be h(l). Solve 0 = -0*z - 2*z + 5*r + k, 4*z - 3*r = 12 for z.
0
Let n(c) = c**3 + 10*c**2 - 11*c - 3. Let k be n(-11). Let d = 8 + k. Suppose d*w - 8 = 2. Solve -w*l + 10 = -2*v, -v - l + 4 = 1 for v.
-1
Let z(t) = t**3 + 2*t**2 - t. Suppose 4*u + 4*i = 4, -3*i + 5 = -0*u + 2*u. Let a be z(u). Solve 4*y - 2*r + 22 = 0, -a*r - 8 = 2*y - 0*y for y.
-5
Let v be ((1 - 2) + 1)/2 - -100. Let t = 106 - v. Solve -3*b = 4*k + 5, -9 = 3*k - t*k + 2*b for k.
1
Let j(m) = m**3 - 6*m**2 - 8*m + 7. Let p be (-7)/9 + 4/(-18) - -8. Let k be j(p). Solve -3*r = -0*r + 3*h + 12, r - 2*h + 4 = k for r.
-4
Suppose 0 = -z - c + 2 + 1, -5*c = -z + 9. Suppose -s - 12 = -3*w + 2*s, 0 = z*s. Solve 2*m + 7*x - 16 = 3*x, x - w = -5*m for m.
0
Let m(k) = 6*k + 0*k - 9*k + 20. Let t be m(6). Solve 2*a = -b, -2*a = -b + t*a - 12 for b.
-4
Suppose 0 = 93*x - 63*x - 90. Suppose 72 = 4*p + 8. Let g = -10 + p. Solve -x*q - 6 - g = 4*u, -2*q - 3*u - 9 = 0 for q.
0
Let y be (9/(-6))/((-6)/16). Let u = -38 + 42. Solve -2*m - 10 = u*z, y*m = -4*z - 6 - 2 for m.
1
Suppose -g = 3*g - 4*k - 24, -3*g - 2 = 2*k. Let r be (0 - g)/((-2)/3). Let o be (2 + r/(-2))*6. Solve -d + 0*d - 7 = 2*m, 12 = -o*m - 3*d for m.
-3
Let v be (-119)/(-28) - 1/4. Solve q = 3*w - 4, 3 = -w + v*q - 3 for w.
2
Suppose 55 = 6*x - 5. Let s be ((-35)/x)/7*-34. Solve 0 = -2*c - 4*b + 3*b - 7, -4*c - 5*b = s for c.
-3
Suppose 26*s = s + 175. Solve 2*o + 3*m + s = 0, -4*m = 4*o - 5*m - 7 for o.
1
Let i be 19/7 + 2 - (-10)/35. Solve 0 = -4*k + 5*r + 10 + 30, -5 = -i*k - 5*r for k.
5
Suppose 35 + 7 = -3*p. Let s be (1/(-2))/(p/56). Solve 4*q = s*j + j - 14, j = -3*q - 4 for q.
-2
Let s = -863 - -181. Let j be 3 + -2 - s/11. Let p be 20/3*j/35. Solve 4*i - p = 2*w - 0*i, w = 5*i - 18 for w.
2
Suppose s + 9 = 3*k, 0*k + 3*k - 4*s = 0. Let j = k + 0. Solve -j*v + 20 - 8 = 2*u, 8 = 2*v for u.
-2
Let g be 1/2*(-10 + 10). Let l = 0 - g. Suppose 6 = 3*y - l*y. Solve y*a = -5*t + 3*a + 29, 4*t + 3*a - 8 = 0 for t.
5
Let c be (-1)/5 - 0 - 3762/(-1710). Solve 12 = -c*m + 5*n, m + 5*n - n - 20 = 0 for m.
4
Let g(n) = n**2 + 6*n. Let z be g(-6). Suppose z = b - 1 - 1. Solve 5*x = -a, -3*x + b*a = 6*a for x.
0
Suppose 296 = -8*c + 376. Solve 2 + 3 = -3*d - 4*x, -4*x - c = 2*d for d.
5
Suppose 26*b + 13*b = 195. Solve 0 = -2*j + a - 5*a + 10, -b*a = 0 for j.
5
Let f = -502 + 506. Solve -2*i - y = 3 - 0, -f*i = -2*y - 6 for i.
0
Let t = 18 - 12. Let y(x) = -x**2 + 11*x - 23. Let m be y(7). Solve 4*c - 28 = -m*q, 2*c - t = -c for q.
4
Suppose -124*q + 119*q = -50. Solve 0 = -2*d - 5*m - 13 - 1, 2*d + 4*m = -q for d.
3
Let j(p) = -21*p**3 + 3*p**2 - 3*p + 1. Let x be j(1). Let y = x + 25. Solve -5*c = -0*c + 5*w + 20, c = -2*w - y for c.
-3
Let f(q) = q. Let k be f(1). Suppose 2*c + k = -1. Let p be c/(2/6*-1). Solve 0 = -p*s - 4*y - 27, 0*y - 11 = s + 2*y for s.
-5
Let x(q) = q**2 - 6*q - 5. Suppose -5*v + 4*s + 24 = -23, -3*s + 12 = 3*v. Let p be x(v). Solve -2*i + 4*g - 14 = 0, -23 = -p*i + i - 4*g for i.
3
Let z(n) = -6*n**2 - 95*n - 74. Let x be z(-15). Solve a = 4*b + x, 0*b = -2*b - 5*a + 27 for b.
1
Suppose 49*v = 25*v + 120. Solve -5 = m - 4*k, m - 3*k = -0*m - v for m.
-5
Let g be 1 + -3 - (-104)/4. Let h be g/(-30)*(-4 - 1). Solve 2*q + 0*k = h*k - 16, 0 = -3*q + k - 9 for q.
-2
Let g be (-2 - -1) + -2*(1 + -3). Solve -g*x = 2*a + 14, 3*a + 12 = 4*x - 2*a for x.
-2
Suppose 2 = 2*b + 2*c - 8, 2*c = 3*b + 10. Solve -8*z + 3*z = 4*n - 28, b = -2*z + 2*n + 4 for z.
4
Suppose 0 = -a - 2*z, -a - 4*z + 4 = 2*a. Solve y + a*i = -0*y + 10, -y + 2*i = 8 for y.
-2
Suppose 11*j = -0 + 44. Solve j*o = 16, -4*o = -z - 2*o - 7 for z.
1
Let t = -14 - -16. Suppose t*y + 4 = 10. Suppose -5*h + y = -7. Solve -h*l = 2*i, -l + 4*i - 8 = 12 for l.
-4
Let u(h) = h**2 + 9*h + 23. Let o be u(-6). Solve 0 = o*d + 5*n + 15, 4*d + 0*n - 5*n = -30 for d.
-5
Let q = -15 + 43. Suppose 0 = -10*v - 8*v + 178 - 124. Solve -v*l = 3*y, 5*y + q = l - 2 for y.
-5
Let o(f) be the first derivative of -f**3 - 4*f + 1/4*f**4 - f**2 + 6. Let c be o(4). Solve -a + 13 = -3*m, 4*a = -5*m + c - 3 for m.
-3
Suppose -7*p - 2*p = -18. Let c be -2 + ((-56)/21)/(p/(-3)). Solve 5*j - 4 = -c*k, 3*k + 3 = -4*j + j for k.
-3
Let y be (-4)/(12/(-29)) + (-14)/21. Solve 4*u - c = y, -u - 3*u + 4*c = -12 for u.
2
Let n = -520 + 528. Let a(f) = f + 9. Let t be a(-4). Solve -4*r + 25 = -t*w, 5*w = r - 2 - n for w.
-1
Let g be 1/((-48)/15 + 3). Let h be ((-6)/g)/(4 - (-222)/(-60)). Solve -16 = h*z, 2*z = -4*a + 7 + 5 for a.
5
Let h = -504 + 514. Solve 0 = -5*x + 5*s, 0 = -5*s + h for x.
2
Let c be ((-1)/2)/(1/(-14)). Suppose 0 = -5*m + 2*m - 15, -q = 2*m - 8. Let o = -16 + q. Solve -4*s = -i - 11, -i - o*s - c = -4*s for i.
-3
Let v = -487 + 491. Solve 0 = v*z + 5*h + 9, 0*z + 3*z = -3*h - 3 for z.
4
Let f = 1338 + -1334. Solve 0*l + 36 = -5*g + f*l, -5*g - 4*l - 4 = 0 for g.
-4
Suppose 1 = -r + j - 0, -j - 3 = -5*r. Let f be r + (-1 - -3)*2. Solve 4*v - 21 = -f*o, 0 = -3*v - 2 - 1 for o.
5
Let a(l) = l**2 - 27*l + 184. Let n be a(12). Solve -2 = n*c + 6*g - g, 0 = -3*c - 3*g for c.
2
Let z be (-90)/(-22) - 1/11. Solve -z*p = 2*j, -3*j - 4*p + 3 = -1 for j.
4
Let i(t) = -15*t. Let u be i(1). Let w = -13 - u. Solve 3*s - 16 = -2*k, 7*k + s = w*k + 27 for k.
5
Let s = 1641 + -1630. Solve 3*n - 5*j - s = 0, -4*j = n + n + 22 for n.
-3
Suppose 5*v = -2*v + 14. Let q be v/(-5) + 1824/10. Let n be 4/(-26) + 2212/q. Solve 2*j = 2*g - 20, n = 3*g - 3 for j.
-5
Let s(h) = -53*h + 2. Let o be s(-1). Suppose 12 = -3*i - 2*y + 56, 0 = -4*i + y + o. Solve -5*b - q = -i, 2*b - 1 = -q + 4 for b.
3
Let f = -2229 - -2231. Solve 22*m - 5*z = 27*m, f = m + 3*z for m.
-1
Let j = -8 + 11. Let h(p) be the first derivative of p**3/3 + p**2/2 - 9*p + 56. Let a be h(j). Solve -3*u + 4 = 2*z - 3*z, 5*z = a*u - 20 for z.
-4
Let s(o) = 12*o + 376. Let t be s(-31). Solve 2*r = 4*r - t*c - 24, -3*r = 3*c for r.
4
Let t be (-13)/(156/(-60))*(-108)/(-10). Solve -w = 3*r - 16, r + 46 = -w + t for r.
4
Let b = -118 + 120. Suppose -15*h + 85 = b*h. Solve -h*n + 3*f + 15 - 4 = 0, 5*n = f + 17 for n.
4
Let k(h) = -2*h - 6