4*k + z + 13 = -2*u, -4*u = w*k - 24 for u.
1
Suppose 0 = 5*b + 2*i - 14, 6*i - 9*i = 2*b + 1. Solve 16 = -b*r, -48*r - 6 = -5*y - 44*r for y.
-2
Let o = -2 - -4. Suppose o*z - 14 = -6. Let x(y) = -4*y - 3. Let b be x(-2). Solve 5*q - 5*m + 11 - 31 = 0, -29 = -b*q - z*m for q.
5
Let f be ((-115)/25)/(-1) - (-8)/((-280)/21). Solve 2*o - 5 = j - 16, -2*j - 2*o + f = 0 for j.
5
Let v(h) be the first derivative of h**3/3 - 19*h**2/2 + 10*h + 68. Let y be v(19). Solve 4*a + c + y = 0, c = 2*c + 2 for a.
-2
Suppose 384 = 13*l - 6. Suppose 29*a - 15 = l*a - 4*s, -15 = -3*s. Solve 3*c = -3*j + 12, 2*c + 5*j - 6 = a for c.
3
Let t(h) = -h**2 - 5*h + 6. Let j be t(-6). Suppose 3*l - 5*l + 6 = j. Solve 3*w - 35 = l*a - 8*a, w + 3 = 2*a for w.
5
Suppose -5*b + q + 26 = -b, 4*b + 3*q - 18 = 0. Let h be (-1 - -2)*-1*(-503 - 14). Let a = h + -515. Solve 0 = -5*y + a*p + 7, 3*y + p - b = 4*p for y.
1
Let d = -97 - -105. Suppose 4*i + 3*i - 49 = 0. Suppose d*b = i*b. Solve b*q - k = -4*q + 12, 0 = 3*q + 4*k - 9 for q.
3
Let b(n) = -32*n**2 + 28*n + 9. Let v be b(1). Solve -q - 4*k + 11 = 0, -17 = v*q + 17*k - 21*k for q.
-1
Let n be (4 - 9)*4*-1. Let v = 82 - 76. Suppose 2*r - v = 3*j, -j + 0*j - 2 = 0. Solve -q = -2*l - r*l - 10, 0 = 4*l - 3*q + n for l.
-5
Suppose -9*y - 19*y - 100 = -48*y. Solve 0 = -2*t + s - 4, 4*s - 6*s + 12 = -y*t for t.
-4
Let v(l) be the third derivative of 2*l**5/15 + 3*l**4/2 - 42*l**2. Let b be v(-5). Let h = -15 + b. Solve -5*f = -5*c - 5, 0 = -h*c - 5*f - 35 - 10 for c.
-5
Suppose -10*l - 9 + 9 = 0. Solve l = 3*n - 9*o + 11*o, 0 = 2*o - 6 for n.
-2
Suppose -4*l + 139 = 131. Let u = 2 + 22. Suppose -l*k = 4*k - u. Solve 2*d - 18 = -3*d + z, k*d - 24 = 4*z for d.
3
Let j(f) = -3*f**3 - 4*f**2 - 6*f - 3. Let q be j(-1). Suppose 2*s = -4*m + 102, q*m - 4*s - 36 = -0*s. Solve 2*b + m = 5*g, -g - b + 2 = -0 for g.
4
Suppose -2*d - 4*m = 0, 4*d + 2*m = 5*m + 22. Suppose -4*i - 3*q = i - 11, -d*i + 5*q = -31. Solve -5 = -4*o + 3*o + 3*x, x = i*o + 2 for o.
-1
Suppose 4*b + 4 = 5*u, 4*b = 2*u + 17 - 9. Suppose -14*x - u + 74 = 0. Solve 0*s + 11 = -5*v - s, x*s = -v + 17 for v.
-3
Let t = 186 + -174. Suppose -28*i + t = -22*i. Solve 4*s = k + 18, -5*k - i = 2*s - 22 for k.
2
Let d(v) = -v**3 + 39*v**2 + 83*v - 51. Let c be d(41). Let j be c/(-2) + 0/((-50)/(-10)). Solve 0*l - l - 11 = 3*f, -31 = j*l + 3*f for l.
-5
Suppose 1189 = -152*b + 1384 + 2085. Solve -2*m = -3*m - 2*c + b, 0 = -5*m + 5*c for m.
5
Suppose 2*j - 10*j = 800. Let v = j - -126. Suppose -4*y = i - 72, y + i + 5 - v = 0. Solve 2*x + 3*s = y, -3*x + s + 4 = -5 for x.
4
Let w = 34 - -288. Let c = w + -312. Solve -4*n = -2*q + c, 13 = -5*n - 2*q - 13 for n.
-4
Let f be -1*((0 - 9) + 10)*-1. Let s be -2*2*(-1)/2. Suppose s*a + 2*a - 4 = 5*h, 0 = -4*h - a + f. Solve w + 2*q = 1, -2*w = -h*w + q - 8 for w.
5
Let z(t) = -5*t - 82. Let s(o) = 2*o**2 - 34*o + 43. Let a be s(15). Let h be z(a). Solve 0*c + 2*c + 8 = -h*w, -4 = -2*w + c for w.
0
Suppose 237*k - 3*k - 468 = 0. Solve 4*u - 6 = -k*x - 24, 0 = -4*u - 5*x - 27 for u.
-3
Let i be (-12)/(-192) + (-715)/(-80) + -5. Solve 3*t - 6 = 3*u, -i*t = -0*u + 4*u + 32 for u.
-5
Let r = -262 - 14. Let x = -274 - r. Solve 3*v + 3*l = -x*v + 14, 5*v = -4*l + 12 for v.
4
Let c be 12/10 - 2/10. Let m be (0 + 2)*(c - 0). Let k(w) = -2*w**3 + 118*w**2 + 238*w + 371. Let n be k(61). Solve 4*g = n*b + 22, -m = -2*g - 2*b - 0*b for g.
3
Let a(q) = 3*q - 4. Suppose -4*i = -7*k + 10*k - 20, 0 = -4*k + 16. Let x be a(i). Solve 4*t + 13 = -l, x*t - 3*t = 5*l + 8 for l.
-1
Suppose 4*x - 133 = j, 47*j + 40 = x + 49*j. Solve 4*r = -5*v + 26, -30*v + x*v - 8 = 0 for r.
4
Let n be ((-16)/24)/((-1)/(-9)). Let l be 5/30 + 109/n. Let q = 2 - l. Solve 4*f = -2*g + q, f - 5*f = -g - 14 for g.
2
Suppose 3*f = -2*c + 23 - 2, 5*c = 4*f + 41. Let m be 6 - ((-63)/c + 9). Solve -n + 8 = m*x - 5*x, 0 = -n + 4 for x.
-4
Let p(f) = f**2 - 16*f - 7. Let z(y) = y**2 - 13*y - 6. Let u(s) = -3*p(s) + 4*z(s). Let l be u(5). Solve 3*i - 11 = -l*r + 5, 12 = 4*i - 2*r for i.
4
Let c = -14523 + 14527. Solve -4*d - c*q = -20, 4*d = -5*q - 108 + 130 for d.
3
Let j = 25 + -19. Let r be (18/j)/(9/42). Let w be 4/r + 312/84. Solve 0 = d + 2*h - 10, 4*d - 4 = w*h - 12 for d.
2
Suppose -4*h = -5*v + 36, 54 - 36 = 3*h. Solve v = -s - 5*u, -6*u + 5*u = -5*s - 8 for s.
-2
Let f = -21493 - -21509. Solve j + 1 = 2*l + 2*l, -l + f = 5*j for l.
1
Let j = -137 + 137. Suppose j = 19*v + 7*v - 52. Solve v*t + 3*f - 14 = 0, -2*f = 5*t - 2*t - 11 for t.
1
Let q be 44/4 + 8 + -6. Suppose -11*n = q*n. Solve 18 = u - 5*j, n = -u + 2*j + 9 - 0 for u.
3
Suppose -5*u = 275*p - 278*p - 10, -4*p = 5*u - 45. Solve 2*o = 3*r - 2 - 2, 3*o + p*r + 25 = 0 for o.
-5
Suppose -177*t - 63*t - 432 = -2112. Solve 3*n = -3*j - 21, -3*j = 3*n - t*j + 7 for n.
-5
Let c be 123/6 - (-3)/(-6). Suppose -14*q + 10*q + c = 0. Suppose -3*n = -5*h - 43, 19 + 34 = 5*n + h. Solve q*i + n = i + 3*l, 0 = -5*i - 4*l + 25 for i.
1
Let r(h) = -h**2 + 48*h - 212. Let s be r(43). Solve 2*u + s*u + 5*o - 45 = 0, 4*u - 11 = o for u.
4
Let i be 0/(-2) - 2/(-1). Let g be (-51)/(-6) - 2/(-4). Let t be ((-6)/g)/(2 - (-264)/(-126)). Solve -l + i*n + 10 = 0, -l - n + t = -2*n for l.
4
Let v(y) = -59*y + 9 + 13 + 49*y. Let n be v(2). Let g = 118 - 115. Solve n - 5 = -3*c + g*k, 0 = -3*c - 2*k + 23 for c.
5
Let q(y) = -y**3 + 5*y**2 + 3*y - 11. Let g be (-8)/(192/18) + (-23)/(-4). Let u be q(g). Solve -u*s = 4*a - 24, -3*s + 3*a + 28 = 8*a for s.
1
Suppose -3*s + 17 + 43 = 0. Suppose -2639*g + 2602*g = -111. Solve o - 10 = -3*p - 0, 0 = -g*p + 4*o + s for p.
4
Let q(g) = g**2 - 11*g - 9. Let l be q(12). Suppose 2*o + l*m = 3 - 1, 4*m = 5*o - 28. Let s = 450 - 447. Solve -9 = -i + o*c, 4*i = -i + 4*c - s for i.
-3
Let r = -54 - -27. Let b = r - -43. Solve f = -c - 2*c - b, 4*f = -4*c - 24 for c.
-5
Let s(h) = -h + 14. Let r be (11*-2)/(-2) + 3. Let k be s(r). Let y be 2 - k*(-1)/4. Solve 0 = -5*m - i + 16, y*i = -m + 4*i + 1 for m.
3
Let t(b) = -6*b**2 - 10*b + 56. Let m be t(-4). Solve f + 3 = -2*h, m = -4*f - f - 2*h - 15 for f.
-3
Let m(j) = 121*j - 704. Let d(w) = -15*w + 88. Let v(t) = 33*d(t) + 4*m(t). Let k be v(8). Solve -12 = -3*s - 3*p - p, k = 4*s - 3*p - 16 for s.
4
Let s(c) = 4*c + 45. Let z be s(-10). Suppose -z*q = -8*q + 15. Solve k - 2*y - 4 = 0, q*k - y = 2*k + 2 for k.
0
Let k = -12 + 18. Suppose -52 = -k*s + 8. Solve -2*r - 6*i = -i - s, -2*r + i = 2 for r.
0
Let g = -350 - -347. Let s be g*(35/(-21) + -3). Solve -s = 3*b - x, 2*b - x + 6 = b for b.
-4
Suppose -k + 37 = c, -5*k + 2*c = 4*c - 188. Let h = k - 50. Let x be (2 + -2)*h/(-24). Solve y - j - 4 = -5*j, x = -2*y - 4*j + 4 for y.
0
Let h(i) = i**3 - 2*i**2 + 10*i - 28. Let u be h(6). Let q = u - 169. Solve -2*d + q*d - 9 = g, -3 = -d - g for d.
2
Let q = 5765 - 5762. Solve 2 = -2*k + q*a, -a + 13 = 2*k + 15 for k.
-1
Suppose 2*t = 2*t + t - 11*t. Solve -3*w + 2*n - 5 = 7, -5*n = t for w.
-4
Let o(r) = -13 + 43*r**2 + 14*r + 5 - r**3 - 31*r**2. Let x be o(13). Solve 5*l = -5*h - x, -5*h - 3*l - 3 = 4 for h.
-2
Suppose -3*t + 27*t - 3960 = 0. Let y = -160 + t. Solve g = -5*m - 25, -5*m + 5*g = -0*g - y for m.
-4
Suppose 138*x + 198 = 149*x. Solve 7*h + 24 = 3*h + 4*z, h + 5*z - x = 0 for h.
-2
Let d = -127 + 159. Let h be d/4 - (1 + 4). Solve 2*n - 4*i = 16, -n + 20 = -h*i - 2*i for n.
0
Let c be 12*((-41)/(-205))/((-8)/(-10)). Solve 4*k = -o + 17, 19 = c*o - 3*k + 13 for o.
5
Suppose y - 12 = -7, 3*y = f + 14. Let a(q) = -2*q - 1. Let w be a(-2). Solve -w*n = 2*k + 4, 2*k - 5*n = f - 5 for k.
-2
Let c be (14 - (-275)/(-22))/(2/((-8)/(-3))). Solve -4*b = -c*j + 6*j + 4, -2*j - 5*b = -7 for j.
-4
Let h = -314 - -317. Let g(q) = 0 + 0 + 1 + 4*q - 10. Let p be g(h). Solve 0 = -p*w + 4*j - 4, -2*j = -4*w + 2*j for w.
4
Suppose 27*a = 14*a - 47*a + 180. Suppose -j = 5*v + 2 - 23, 2 = 2*j. Let u = v - 2. Solve -u*x - 1 = o, -3*x + a = -4*o - 1 for o.
-1
Suppose -2*t + 12 = 5*u, -2*t + 7 = 2*u + 1. Solve 13*m - 15*m - 14 = -u*v, 3*v + 4*m + 14 = 0 for v.
2
Suppose 19*y - 130 = 2*y - 9*y. Let z = -12 - -22. Solve -z = o + 3*x, o - y*x = -3*x for o.
-4
Suppose 168 = 56*w - 56. Solve 3*y + 2*z + w = -3, z = 5*y - 10 for y.
1
Let u be (-18)/12 + 411/(-6). Let b be (-84)/u +