*a, x*j = -5*a + 21 for j.
4
Let q be (27/18)/((-2)/8). Let w = q - -8. Suppose 2*v - 23 = 3*c, 0 = w*v - 4*c + 10 - 38. Solve 0 = -k - 3*k - 4*s - 24, -3*k + v*s = -17 for k.
-1
Let l(h) = -34*h**2 + 33*h**2 + 7*h + 12 - 8*h. Let u be l(-3). Solve -r = -5*n + u, 5*n - 8 + 1 = 2*r for r.
-1
Let w(i) = -i**3 - 8*i**2 - 6*i + 7. Let u be w(-7). Let h = -15 - -15. Suppose h*k + 3*k - 9 = 0. Solve 2*n - k*f - 13 = u, 0 = 3*n - 0*n - f - 16 for n.
5
Let h be (-4 - 1)/((-5)/6) + -1. Suppose -h*t + 83 = 8. Solve 2*a - 3*q - t = 0, 2*q + 1 = -5*a - 9 for a.
0
Let d be (-2*(-3 - -4))/(1/(-2)). Solve 2*l = -d*z, z + 1 + 2 = l for z.
-1
Suppose 5*h + 16 = -4*t + 76, -3*h + 63 = -3*t. Solve 2*y = -a + 3, 0 = 4*a + 4*y - 3*y + h for a.
-5
Suppose 5*n + 3*q - 67 = 0, 4*n - 5*n + 4*q - 5 = 0. Suppose -2*x = -21 + n. Solve 2*v = x*m + 5 + 4, 3*m = -v - 12 for v.
-3
Let j(g) = g + 2. Let y be j(2). Let k be 2/((-42)/11 + y). Solve -4*i - 36 = 4*x, 4*i = -3*x + 4*x - k for x.
-5
Suppose 0 = f - 0*f + 11. Let a = f + 20. Suppose a = -g - 0*g + 3*b, -4*g - b + 16 = 0. Solve -10 = -g*t + t, 4*t - 12 = 4*q for q.
2
Suppose -5 = -4*q - 3*o, 2*q - o - 8 = 3*o. Suppose 34 = -4*x - 46. Let i be (25/(-20))/(1/x). Solve 5*r + i = -5*j, -q*r + 5*j - 5 - 5 = 0 for r.
-5
Let h(l) = l**3 + 6*l + 3 + 52*l**2 - 58*l**2 - 4. Let s be h(5). Solve 3*d - 5*m + s = -4*m, -20 = -2*d - 5*m for d.
0
Suppose 2*x - 1 - 5 = 0. Suppose 4*s = x*w + 66, -4*s - 2*w + 33 + 23 = 0. Let p be 5/((-20)/(-8)) + 12. Solve -5*y = 11 + p, j - s = 2*y for j.
5
Suppose 0 = 5*h - 4*s - 41 - 54, 3*h - 3*s - 60 = 0. Let f = h - 29. Let b = 43 + f. Solve -4*k - g - 13 = 0, -k - 5*g + 2 = b for k.
-2
Suppose -3*r - 6 = -4*j, -5*r = 3*j - 4 - 15. Suppose -j*k = 4*h - 32, -3*h = -3*k + h + 40. Let a = k + -7. Solve v + g - 2 = 0, -a*g + 19 = -1 for v.
-2
Suppose -3*j - 5 + 41 = 0. Let l be ((-10)/(-8))/(1/j*3). Solve 2*w + l*n = -21, -2*w + 0 + 3 = -3*n for w.
-3
Let c be ((-12)/(-5))/(14/35). Suppose -s - d + 5*d = c, -4*s + 3*d + 15 = 0. Suppose -2*v + s*v = 20. Solve -5*f + 20 = 5*q, 4*q = v*q - 3*f + 12 for q.
0
Let w be (2/(-6))/(1/57). Let q = 27 + w. Suppose 0 = b - 3*b + q. Solve u + 17 = -b*l - l, 5*u - 2 = 4*l for u.
-2
Suppose -16*o = -342 + 86. Solve -4*w - o = -0*w, 5*w + 4 = -4*p for p.
4
Suppose -20 = -0*p - 4*p + 3*k, 5*k - 5 = -p. Solve g + u = 6 - 5, 5*u = 5*g - p for g.
1
Let d = -370 - -374. Solve -d*q = -5*w - 45, q = 4*w - q + 30 for w.
-5
Let i be (-9)/(3 - (-9)/(-2)). Suppose a - i = -2*a. Suppose 2*n - n = a. Solve -4 = 3*v + n*c, v - 5*c + c - 22 = 0 for v.
2
Let a(s) = -41*s + 330. Let b be a(8). Solve -b*k = 3*w + 3*k + 23, -3*w + 5 = -2*k for w.
-1
Suppose -9*h = 9*h - 54. Solve -8 = 4*m + 2*q + 2*q, -h*q = -3*m + 12 for m.
1
Let v(s) = 4*s + 91. Let j be v(-19). Solve 4*o - 14 = -f, -3*o + 0*f = 3*f - j for o.
3
Suppose -4 = 4*v - 0*d + 5*d, -4*v = 4*d. Suppose -t - 1 = -v. Suppose 4*r = -3*n - 6, 0 - t = -3*n - r. Solve z - 4*m - 13 = -n*z, 2*z - 6 = 2*m for z.
-1
Suppose 5*j = -4*q + 21 + 2, 3*q = 2*j. Solve -3*z = 3*n - 12, -n - 3*z - 1 = -j for n.
5
Suppose -3*a + 2*i = 2*a - 204, 0 = 5*a + 4*i - 192. Suppose 4*x = -4*x + a. Solve q = 2*c, 2*q = -2*c + x + 7 for c.
2
Suppose -5*m = -4*c - 12, -5*m + c - 11 + 29 = 0. Solve m*v = 5*t + 17, -2*v + 4 = -2 for t.
-1
Let q(k) = -12*k + 111. Let o be q(9). Solve 4 = -n, n = -f + o*f - 2 for f.
-1
Let a(l) = l**3 + 17*l**2 + l + 18. Let t be (-12)/(16/4) + -14. Let j be a(t). Solve -3*q = -3*v + 15, 2*v - v = -q - j for v.
2
Let j be (-2)/13 + -1*(-180)/(-13). Let u be (-44)/j + (-7)/49. Solve d + 25 = 5*t, -5*d + 2*t - u*t = -5 for d.
0
Let u(w) = -w + 13. Let o be u(9). Solve o*y - 8 = -5*p + 3*p, 5*p = 4*y - 8 for p.
0
Suppose -3*w - 21 = w - i, -3*w + 5*i = 20. Let j(g) = -g**2 - 5*g + 2. Let v be j(w). Solve -2*x + 2 = -4*a, v*x + a - 14 = -a for x.
5
Let k = 464 - 462. Solve -2*r = -k*s - 12, -3*s + 5*r - 20 = -0*s for s.
-5
Let a = 939 - 915. Solve -y + 3 = 2*t, 2*y + a = 3*t + 2 for t.
4
Let s be -3*(-10)/15 + 69. Let k = 76 - s. Solve 5*j + k*t + 20 = 0, -4*j - t - 2*t - 15 = 0 for j.
-3
Suppose -4*m + 4 = 4*r, 0*m = 4*m - 2*r - 10. Suppose p - m + 10 = 0. Let t = 11 + p. Solve -4*q - 16 = -4*a, 12 = -t*a - 4*q - q for a.
1
Let j be (7/(-14))/(2/(-16)). Suppose 5 = -3*u + j*u. Solve u*a - 22 = 3*s, 0*s = 5*a + 5*s - 30 for a.
5
Suppose 40*x = 24*x + 160. Let z be ((-4)/(-6))/((-28)/(-42)). Solve -5*f - x = 0, 3*i + f + 9 = z for i.
-2
Let u be ((-4)/(-5))/(22/55). Suppose -5*q + 4*o + 7 = 0, u = 3*o - 4. Solve 0 = -q*w + 2*r - 11, r = w - 1 + 5 for w.
-3
Let f be (-2)/10 - (-33)/15. Let k be ((-2)/10 + 11/5)*f. Suppose -i = -4*i. Solve 5*d = 2*g + 11, i = k*d - 2*g - 2*g - 4 for d.
3
Suppose 0 = 2*h - h - l + 46, 4*h + 194 = -l. Let x = h - -54. Solve j - 6*j = -3*r - x, -r = -j for r.
3
Suppose -8 = -4*w + 12. Let p be (-140)/(-21)*6/w. Let f be 18/(-48) + 163/p. Solve 4*b = f, 4*k = k + 5*b - 10 for k.
5
Let b(r) be the second derivative of r**3/2 - r**2/2 - 11*r. Let d be b(7). Solve -d = 2*t + 3*h, t + h = 4*t + 8 for t.
-4
Let i = -167 - -173. Solve 2*h - t - 22 = -i*t, h = 3*t - 11 for h.
1
Suppose -4*h + 0 = 2*f + 12, -2*h - 16 = -4*f. Solve -t + 15 = -6*t + 4*a, f*t - 2*a + 6 = 0 for t.
-3
Let x = 6 - 11. Let q be -6 - (-1 - -2 - 4) - x. Solve h = q*w + 8, -4*w - 3*h + 7 = 23 for w.
-4
Suppose -y + 5 = -0*y. Let i = -6 + y. Let f = 1 + i. Solve -4*a + 18 = -2*a - 4*l, f = -a - 3*l - 16 for a.
-1
Let z be (-1)/2*(-13 + 3). Suppose -6 = -4*p + 3*d, z*d = -3*p + d + 17. Solve p*r + 2 = r, 4*r = -x - 3 for x.
1
Let o = 15 + -9. Let b be 1 + o + (-4 - -1). Solve 0 = -4*k + 3*v + 17, 0 = -7*k + b*k - 4*v - 6 for k.
2
Let d = 155 - 148. Solve 18 = 5*y + 4*l, -d*y + l + 8 = -2*y for y.
2
Let g = 12 + -19. Let o = -4 - g. Suppose -o*j + j = -4. Solve -4*l + 4*w = 32, 0 = -2*l + 3*w + j*w - 31 for l.
-3
Let a(u) = u**3 + 20*u**2 + 18*u - 5. Let v be a(-19). Let p be (-2 - -4)/(v/35). Suppose 5 = 5*g - p. Solve 0 = g*o + 6, 4*h + 2*o + 9 + 17 = 0 for h.
-5
Let f be -6*5/(-20)*30. Let w be 0 + 40/18 + (-10)/f. Solve -2*p = -q, 0 = -p - w*p for q.
0
Suppose -5*x = 2*a + 3 - 5, 2*a = x + 2. Solve -k - 1 = 0, x*p = -5*p - 2*k + 8 for p.
2
Suppose 2 = -2*g + 3*g. Let p(q) = g - q - 6 + 2. Let m be p(-6). Solve 2*y + 0*a - 4*a = 8, -3*a = m*y - 16 for y.
4
Suppose 2*w = -2*w - 5*g + 31, 3*g - 5 = w. Let k be ((-2)/4)/(2/(-12)). Suppose k*t + w = 19. Solve 0 = 5*v - 2*s + t + 5, -5*v - 10 = -s for v.
-2
Let x = 1623 - 1617. Solve -10*w = -2*a - 6*w + 2, 3*w + x = 0 for a.
-3
Let q be (5 - (3 + 4))/(-1). Solve -q*d - d - 9 = 3*b, 5*d + 2*b = -6 for d.
0
Let l be (3/(-6))/(4/(-16)). Suppose -3*y - 20 = -5*b, 5*b - 20 = l*y + 2*y. Solve -2*d = y, -3*d = -2*x - 2*d - 4 for x.
-2
Let n = 67 + -66. Solve -l = 3*w - 3, -n = l + 4*w - 4 for l.
3
Let a be (16 - (-144)/(-9))*(-1)/(-2). Solve -4 = 2*g + 4*z + 8, -z - 3 = a for g.
0
Suppose -2*z + o - 2 = 0, 0*z + 5*o - 10 = -5*z. Let w be ((-5)/4 + 0)*-4. Solve -w*v - 2 = 23, z = -5*k + 3*v + 20 for k.
1
Let j = 253 - 244. Solve 2*c - c + x = -7, -2*x - j = c for c.
-5
Let d be 10/6 - 167/(-501). Solve 3*z + 27 = 3*n, 5*n + z - 7 = d*n for n.
4
Let w be (35/(-14))/(2/(-4)). Suppose 0 = -b + 3*a - 7, -3*b - w = -8*b - 5*a. Let y be (3 - b - -1)/1. Solve 3*g + 5*p = -2, 2*p = -y*g - 2*p + 1 for g.
1
Let h(c) = c + 3. Let z be h(0). Let b(f) = -f + 2. Let d be b(3). Let t(r) = 4*r**2 + 1. Let s be t(d). Solve -s*g + z*x + 17 = -8, -g + 3*x + 17 = 0 for g.
2
Suppose 0 = -v - 22 + 12. Let l be 8/10*v/(-4). Solve -6 = -5*s + 3*s - 5*g, -l = 2*s + g for s.
-2
Let q be 22/10 - 2/10. Solve 8*f + 3*r = 3*f - 20, 0 = -q*f + 2*r + 8 for f.
-1
Suppose 2*u - 16 = -4*v + 14, -2*v + 5*u = 15. Suppose v*o + 0*j - 10 = 5*j, -o = -3*j. Solve -2*c + 12 = 4*w, -o*w = -3*c - 4 - 14 for c.
-2
Suppose -5*q + 1 = -9. Let g be (-1 - 2) + (q - -14). Solve -c + 4*p - 19 = -0*c, 2*p = -3*c + g for c.
1
Let g(c) be the first derivative of 7*c**2/2 - 21*c + 14. Let r be g(5). Solve 2*x - 5*v = x - r, -x + v = 6 for x.
-4
Let v = -3 + 4. Let n = v - -7. Solve -3*f = -x - 2 + 19, n = 3*f + 4*x for f.
-4
Let p be (2/(-2))/((-4)/16). Let q(f) = 19*f + 2. Let t be q(p). Let x be 3/(-9*(-1)/t). Solve -4*v + 5*l + x = -0*l, 14 