 = 2*a + 2. Let y be 2/(0 + -2)*-5. Suppose -3*b - y*b + 16 = m. Solve -3*s = -4 - 8, -b*s = 5*z - 18 for z.
2
Suppose 0 = 5*v - 13326 + 13316. Solve -m - 4*o = -2*o + 5, o - v = -2*m for m.
3
Let w be 18/3 + (-5 - -1). Solve 2*j = 6, -w*g = 3*j - 10 - 3 for g.
2
Suppose o + f = 1, 2*f + f = -o - 3. Suppose -3 = -o*i + 3*r, 38*r = 4*i + 33*r - 1. Solve i*c + 0*j + 8 = 2*j, 2*c - 4*j - 2 = 0 for c.
-3
Suppose 775*s - 40 = 765*s. Solve i + 3*u = -8, 0 = 5*i + s*u - 0*u + 29 for i.
-5
Let x be (-3)/2*(-2)/9*6. Let k(f) = 41*f**2 - 37*f**2 + 2 - 3 + x*f. Let n be k(1). Solve m + 4 = -4*t + 11, -n*m = 5*t - 5 for m.
-1
Suppose -214*a - 12 = -218*a - 4*m, 2*m - 6 = 0. Solve 2*z = -p + 11, 3*z + 2*p + 186 - 203 = a for z.
5
Suppose -w - 104 = 2*b + w, 5*b + 242 = w. Let d = -37 - b. Solve -2*m - 2*p + d = -0*p, 5*m - 2*p = -5 for m.
1
Suppose 20*o + 6 = 2*j + 22*o, 5*j - 4*o - 6 = 0. Suppose j*p + 20 - 26 = 0. Solve 0 = 4*n + 3*l + 2*l + 12, n + 3 = p*l for n.
-3
Suppose -3*t - 4*g + 14 = 0, -3*t = 3*g + 51 - 66. Solve -t*f = 2*o - 4*f + 18, -o + 2*f = 0 for o.
-6
Suppose -5*p - 64 = 2*b - 69, 0 = -p - 3. Solve -7*g + 6*g - 6 = -3*h, -5*h = -b for g.
0
Suppose 2*m - 184 = -p + 453, 0 = -5*p + 4*m + 3213. Let x = 644 - p. Solve 0 = 2*n + 5*k - 23 + x, -k + 17 = 3*n for n.
5
Let f be 3/(-6)*(2 + -6). Suppose -t = 2*s + 4, f = t - 4*s - 12. Let k be (t/(-3))/(4/(-24)). Solve 3*v - 4*x = -0*v + 3, 0 = 4*v - 5*x - k for v.
1
Suppose -d - 114 = 3*l + 470, -4*l - 3*d - 777 = 0. Let z be (l/12)/(-5) + 30/(-24). Solve 4*j + 24 = 4, n - z*j - 11 = 0 for n.
1
Let n(j) = -j**3 + 25*j**2 - 27*j + 75. Let l(b) = 3*b - 90. Let i be l(38). Let s be n(i). Solve s*r + 4*k + 14 = 0, -5*k = 5*r - 3*k + 14 for r.
-2
Let q = -1748 + 1756. Suppose 3*p = -0 + 12. Solve q = -p*u - 4*l, l = -5*u - 2*l - 4 for u.
1
Suppose -5*j + 193 = -12. Suppose -46*y + j*y = 70. Let l = 28 + y. Solve 3*s - 2*n - 8 = 0, l - 34 = s + 5*n for s.
0
Suppose 0 = 4*f - 3 - 5. Suppose 0 = -5*x + 87 - 7. Solve -2*k = -4 + 12, -3*k = -f*d + x for d.
2
Let b(w) = -w**3 - 7*w**2 - 7*w + 29. Let k be b(-7). Suppose -2*u = k - 116. Solve -3*t - 2*h - u = 0, 5*t + 4*h - 6 = -41 for t.
-3
Suppose -4*w = r - 39, -91 = -4*w + 5*r - 46. Solve 0 = -5*k, 5*k + w - 6 = 4*p for p.
1
Let r = -18 - -15. Let z be -4 + r + 3 - -44. Suppose -3*x + 12 = j, j + 4*j + 5*x = z. Solve -j*b = -v - b - 26, 5*v - 15 = -4*b for v.
-1
Suppose 18*a = 10*a + 24. Suppose -9*x = -89 - 73. Solve -3*n + z = -7*n + 14, 4*n = -a*z + x for n.
3
Let x = 610 + -562. Let o be x/10 + (-11)/(-55). Solve 5*k + 11 = 4*y - o, 0 = 5*k + y + 21 for k.
-4
Let v be (-2)/(-12) + (-23)/(-6) - 2. Suppose -5*c = c - 126. Suppose -v*t + 11 = -c. Solve 3*u = 4*f - t, 2*f + 0*u - 4*u - 8 = 0 for f.
4
Suppose d - 12 = 5*s - 11, 0 = -3*d + s + 45. Let j(g) = -g**2 + 20*g - 44. Let x be j(d). Solve v + 4*v = -x, 3*v + 9 = i for i.
-3
Let c = -405 - -390. Let h be 12/c - (-695)/25. Solve 3*l + h = 3*b, 12 = 5*b - 8 for l.
-5
Let b be (-113)/((6/(-8))/((-60)/40)). Let q be (-10)/(-25) + b/(-10). Solve -l + d - 6 = -0, -4*l = -3*d + q for l.
-5
Let c(a) = 4*a**2 + a - 197. Let t be c(7). Solve 7*u - t*u = 5*r - 5, -r - 23 = -5*u for u.
5
Suppose -1 = -0*q - q. Let j be ((-8)/(-20))/(q/5). Let b(z) = 100*z - 1897. Let f be b(19). Solve 5 = 2*y + m, y = j*y + f*m + 10 for y.
5
Let f be 21 - ((-112)/(-24) - (-2)/(-3)). Suppose 5*v = x + f, 25 = -5*v - 5*x + 60. Solve 2*c + 12 = v*m, -2*m - 6 = -c - 4*m for c.
0
Let x = 76 - 88. Let z be (10/(-4))/(1 - (-18)/x). Suppose 0*l + 5*l + z*c = 5, -4*c = -4*l + 28. Solve -7*k = 4*w - 3*k - l, 0 = -2*w + 4*k + 14 for w.
3
Let m(a) be the first derivative of 1/4*a**4 - a + a**3 + 0*a**2 - 4. Let o be m(-2). Solve 0 = v + o*n, 0 = 4*v - 3*v + n - 2 for v.
3
Let m(h) be the first derivative of -h**3/3 + 21*h**2/2 + 49*h + 230. Let b be m(-2). Solve 3*n + 9 = -3*o - 2*n, -b*o + 5*n - 9 = 0 for o.
-3
Let h be ((-41)/(-123))/((-2)/(-246)). Suppose -23*v + h*v = 216. Solve d = -0*d - 4*k + v, 0 = 4*d - k + 3 for d.
0
Let t(r) = -3*r - 72 - 6*r - r**2 + 88 + 123. Let k be t(-17). Solve 2*j - 3 = k*g, 3*j - 4*g = 2*j + 9 for j.
-3
Let r be 0/(1 + -1 + 2). Let w = -215 - -345. Let z = -127 + w. Solve b - 4 = 4*k + 5*b, -5*k - z*b - 7 = r for k.
-2
Suppose -8*b - 366 = -1102. Solve 0 = -b*o + 93*o + 3*m - 10, -2*o - 16 = -3*m for o.
-2
Suppose -3*m = 0, -5*l + 4*m - 75 = -m. Let d = -4 - l. Let r be 108/d - (-2)/11. Solve v = 5*b + r, 3*b = -2*v + 1 - 7 for v.
0
Suppose 3*u = -1722 + 1737. Solve -u*r = -3*d - 9 + 22, r = -4*d + 2 for r.
-2
Let l(z) = 7*z + 199. Let y be l(-28). Solve 31*b = 29*b, 4*b = y*i - 12 for i.
4
Let t(p) = -3*p**3 - 24*p**2 - 5*p. Let c be t(-8). Suppose c = 4*x + 20. Solve 0 = -u + x*u - 3*b + 11, 4*b + 7 = u for u.
-5
Let o = 5 - 0. Let v be -1 - 4/2 - (-10 - -3). Solve 3*y + 27 = o*p, 4*p + v*y + 6 - 2 = 0 for p.
3
Let h(g) = 85*g - 1440. Let u be h(17). Solve -u*z - 5*k = 25, -35*k - 15 = -z - 32*k for z.
0
Suppose 4*c + 14 = 2*s, c + 0*c = -1. Suppose -899*u + 887*u = -756. Suppose 3*q = -s*y + u, -y - q - 2 = -13. Solve 4*v = -2*m + 1 + 15, 0 = -5*v + y for m.
2
Let v(l) = 12*l - 31. Let i be v(6). Suppose i - 11 = 15*x. Solve -s + x*g = 2*s - 16, -3*s + g = -14 for s.
4
Suppose 2*v - 26 = -4*j - 8, 3*v = -3*j + 21. Suppose -3*w + j*b + 11 = 0, 2*w + 9*b - 12*b = 9. Solve d - 3*k + 12 = 0, -2*d - k = w*d - 4 for d.
0
Suppose 3 = -2*f + r, 1 = r - 0. Let n(a) = -8*a - 4. Let v be n(f). Let k = 4 - 2. Solve 0 = 4*u - 3*x + 10, -12 = -k*u + v*u + 2*x for u.
-4
Let h = 297 - 291. Let c be 7*(-11 - -8)*h/(-63). Solve -c*u + 0*t - 16 = 5*t, -5*t - 7 = -u for u.
-3
Let r = -25129 - -25142. Solve -5*b = -5, -5*b + r = 5*k - 17 for k.
5
Let h(c) = 1 - 4*c**3 - 1036*c**2 - 2 + 1037*c**2. Let b be h(-1). Solve -2*n - 4*q = -10, b*q - 3 = -2*n + 7*n for n.
1
Suppose 7*c + 49 = 14*c. Suppose 4 = h, -2*y + c*y - 136 = h. Solve -2*k + 5 = 5*s, -s - 4*k - 9 = -y for s.
-1
Let h = -76 + 93. Suppose -4*u - u - l + h = 0, 4*l + 32 = 5*u. Let r be (-1)/(6/8*u/(-72)). Solve -r = -4*v - 2*m, 2*m - 13 = -v - 2*m for v.
5
Let o(c) = c**3 + 5*c**2 - 63*c - 282. Let u be o(-6). Solve 5*t + 19 = -u*p + 57*p, 7 = -t + p for t.
-5
Suppose -3*i = 3*y - 45, 4*y + 39 = 3*i + 22. Solve -5*s - 25 = -4*o + i, 5*s = -o - 16 for o.
4
Suppose -38 = -k - j + 280, 2*j = 2*k - 628. Let q = -314 + k. Solve 2*z + 2*w - 10 = -0*z, q*w = -4*z + 10 for z.
0
Let n be 0 + -5 + 1 - (-112)/(-2). Let y be (129/215)/((-2)/n). Solve -3*p = -5*l - 0*l, -l = 3*p + y for p.
-5
Let h be (-2)/(-5) - 36/(-10). Suppose k = 7 + 4. Suppose -k*l + 27 = -6. Solve l*s + 1 = z, z + 2*s - h = 2 for z.
4
Suppose 5*l + 4*i - 85 = 0, 3*l - i = l + 47. Let s = l - 15. Suppose -3*h + 0*h = -s. Solve x - 5*x - 2*m - 20 = 0, -x = h*m + 8 for x.
-4
Let t be -2 - ((-18)/2 + 3). Let n(d) = d**2 + 11*d - 13. Let r be n(-13). Let v = r + -8. Solve -6*j - v*z + 5 = -j, 2*z = t for j.
-1
Suppose -71 + 83 = 6*h. Let k(n) be the second derivative of n**4/3 - 4*n**3/3 + 7*n**2/2 + 4*n. Let q be k(h). Solve 2 + 1 = 3*v, q = -2*g + 3*v for g.
-2
Let u(o) be the third derivative of -o**5/60 - 13*o**4/24 + 35*o**3/6 - 8*o**2 + 5*o. Let y be u(-15). Solve -3 = y*j - 18, j = -x + 8 for x.
5
Suppose -a + 1 = -2. Suppose 2*j - 3 = -a*q + 4, -2 = -2*q - 2*j. Suppose 15 = -n + 5*f, -4*f = q*n - 2*n - 12. Solve n = l + 4, 7 = t - 5*l - 18 for t.
5
Suppose 0 = 18194*n - 18167*n - 405. Solve 4*l - 23 = 2*d - 21, -5*d = -n for l.
2
Suppose 2*p - 3*l = 1, 4*p - 2*p - 2*l = 4. Solve 2*s + 5*d = -0*s, -2*s = -p*d - 20 for s.
5
Let u = 4151 - 4146. Solve -u*m - 27*b = -26*b + 24, 0 = -2*m - 2*b - 8 for m.
-5
Let f(h) = -68*h - 1750. Let c be f(-26). Solve -9*g - 4 = -7*g, 0 = -2*u - 5*g - c for u.
-4
Let h = 1277 + -1252. Solve 2*s + 5*v = h, 6*s + 5*v = 2*s + 35 for s.
5
Suppose 33*t - 32*t = 270. Let o = 274 - t. Solve o*h - 9 = 5*k, 12 = -2*k - 2*h - 6 for k.
-5
Let m(v) = 2*v + 3. Let t be m(1). Suppose 0 = -3*i + x + 18, 3*i + 16 = t*i - 2*x. Solve -i*s + 4 = 4*b - 24, 3*s - 16 = -2*b for b.
2
Let o(w) = 63*w - 122. Let n be o(2). Solve 4*g = 5*b + 8, -6*b = -7*b - n*g - 16 for b.
-4
Suppose 0*t = t - 5. Let q be (11 + -12)/((-1)/t). Let j(z) = 4*z + 45. Let g be j(-10). Solve 4*b - 15 = -q*r