2*k = -d + 2 for d.
-1
Let p be (5/(-30)*-6)/((-2)/(-72)). Solve -4*r + 27 = 5*u, -p = -5*u - 5*r - 6 for u.
3
Let b(r) be the second derivative of 0 - 6*r + 1/3*r**3 - 3*r**2. Let i be b(4). Solve 5*m - 6 = -o + 7*m, 3*o + 6 = -i*m for o.
0
Let x(b) = -2*b**2 + b + 1. Let y be x(-1). Let l be (-13)/1*y/1. Suppose -l - 19 = -3*j. Solve -o - 3*u + j = -7*u, 0 = 2*o - 5*u - 15 for o.
-5
Let m(w) = -w**2 - 6*w. Let t be m(-6). Let c be 8/204*-3 + 6/51. Let i be (-1 - -2 - c)/((-29)/(-145)). Solve t = -i*u + 5, -u = -3*p + u - 5 for p.
-1
Suppose -5*o = -l - 5, o - 5*l + 33 = 5*o. Suppose 4*i - s - 8 = 0, 0 = -i - o*s - 3 - 4. Solve 2*f - f = -3*z - i, -21 = 4*f - 5*z for f.
-4
Let l(n) = n**2 - 5*n + 2. Let b be l(5). Suppose b*m - 5*m = 12. Let q be m/14 - 44/(-7). Solve a + 2*t - 8 = q*t, 0 = -5*t - 10 for a.
0
Let p = 95 + -74. Suppose p = 12*b - 27. Solve -r + h = -b*r - 9, 4*r - 2*h = -12 for r.
-3
Let m(s) = 13 - 7*s + 6*s + s**2 + 4*s + 7*s. Let h be m(-9). Solve h*f + 2 + 11 = 5*r, 2*r - 10 = 4*f for f.
-2
Suppose -4*t + 5*y = -9, -3*y = t - y + 1. Solve -20 = -4*l, 4*l = -5*a + t + 9 for a.
-2
Suppose 32 = 43*x - 39*x. Let n be 1/(-4) + 0 - (-34)/x. Solve 2*y + 4*w = -2*y + 4, 0 = -3*y + n*w - 25 for y.
-3
Let l = -3 - -3. Let t be 6 - ((-16)/(-4) + l). Solve o - 7 = -2*u, 4*o = o + t*u - 19 for o.
-3
Suppose 5*z - 3*t + 36 = -3, 2*z = 3*t - 21. Let r = 7 - z. Suppose 5*u + i = 6*i + 45, -3*i + r = 2*u. Solve -g + 7 = -2*s - 3, -4*s - u = g for g.
4
Suppose -16 = -9*p + 7*p. Let d be 1859/52 - (-2)/p. Suppose -4*c + d = 8. Solve 5*l = 5, l = 4*i - 4*l - c for i.
3
Suppose 6*i - 37 - 173 = 0. Solve 5*y - i = -3*d, -4*y + 0*y - 4 = -4*d for y.
4
Let v = 5 - 2. Let n(m) = -12 - m + v*m - 6. Let s be n(10). Solve -q - 9 = 2*k - 0, -21 = 5*q - s*k for q.
-5
Let q = -90 - -85. Let b(x) = 8*x + 44. Let a be b(q). Solve -a*z + 3 + 2 = 3*n, 2*z = -n + 3 for n.
-1
Let l be 8/60 - 986/(-255). Solve 0 = -3*c + l*h - 15, -3*h + 5 = -0*c + 4*c for c.
-1
Let z be (146 + -10)/8 + 1*-5. Solve -z = -3*f, 0*f = -2*w - 5*f + 22 for w.
1
Let d(s) = 23*s + 119. Let m be d(-5). Solve -y - 2 = -0, -y = g + m for g.
-2
Let k = 216 - 214. Solve 3*a + 2*s = -k*a, 1 = 3*a + s for a.
2
Suppose -5*d = 5*r - 25, -5*d = r - d + 4. Suppose -3*i = -x + 9 + 3, r = x - 2*i. Solve -y = 2*f - 2*y - 2, x = -5*f + 2*y + 6 for f.
2
Let v(s) = -11*s - 4. Suppose 3*q - 9 = 6*q. Let g be v(q). Let y = g + -27. Solve y*k - 2*m + 8 = 0, 3*k + 2*m - 4 = k for k.
-1
Suppose 71*f = 72*f - 2. Solve f*h + 5 = n, -2 = 3*h + 1 for n.
3
Let r(n) = -n. Let y(f) = -f**2 - 36*f - 47. Let q(o) = -2*r(o) + y(o). Let m be q(-32). Solve -3*d = k - m, -d + 27 = k + 4*d for k.
2
Suppose 40 = 4*x + x. Suppose 0 = -b + 4*y + x + 4, -2*y = 4. Solve -4*w - 5*p = w - 40, 0 = -4*w + b*p + 8 for w.
5
Suppose -14*k - 975 = -9*k. Let x be 8/5 + 1 - 78/k. Solve -4*t - 15 = -5*b, -x*t + 2*b - 7 = -1 for t.
0
Suppose -3 - 5 = -4*h. Suppose -5*s - h + 17 = 0. Solve -3 = -3*w + s*x, -10 = -3*w + 2*x - 3 for w.
5
Let k be 1/(-2) + (-21)/(-6). Suppose -8*z = -4*z. Suppose -g - 4*g + 25 = z. Solve -g*w = -k*j - 17, 0 = -w - 0*w + 4*j for w.
4
Let a be 12 + (-28)/2 + 4. Solve l = -2, 4*t + 2*l = -a*l - 24 for t.
-4
Suppose 8*o + 2387 = 2475. Solve -13 = -3*m - 4*k, -4*m + 4*k - 3*k + o = 0 for m.
3
Let f(z) be the first derivative of z**4/4 - 14*z**3/3 + 7*z**2 + 2*z + 12. Let o be f(13). Solve -2*p + x - o = 0, 2*p + 12 + 8 = 2*x for p.
-5
Let t = -18 - -6. Let f = t + 16. Suppose 0 = 5*o - f*a - 84, -4*o + 93 = -4*a + 29. Solve -2*c + o - 8 = -2*y, 3*y = -4*c + 3 for y.
-3
Let x(g) = 3*g**2 + 12*g + 14. Let s be x(-3). Solve 2*k = -3*n - 18, -s*k + k = -4*n - 4 for n.
-4
Suppose 0 = -0*m - 3*m + 6, 2*m = -4*h + 104. Let x = h + -21. Solve 3*o - 12 = -x*u, -3*o - o - 6 = -2*u for u.
3
Suppose 4 = 3*a + 1, -5*i + a + 34 = 0. Let c = 4 - -1. Suppose c*d + 15 = -b - 3*b, 3*d + 22 = -5*b. Solve p - d = 4*r - 2*p, 0 = 3*r - p + i for r.
-4
Let r be ((-1232)/30)/(-8) - (-6)/(-45). Solve j = -r*q + 4, 4*q = -q for j.
4
Let p be 27/3 + (5 - 2). Let a = -11 + p. Let h be ((-1)/(-1))/(1/2). Solve -t + 4 = -h*i, -4*i - 7 = 4*t + a for t.
0
Suppose 9*v - 55 = 4*v. Suppose b + 4*k = 5*k + 17, -5*k = -4*b + 69. Let d = b - v. Solve 0 = 2*f + d*n, -2*f - 4*n + 2 = 4 for f.
-5
Let o(s) = -11 + 16 + 4 + 2*s + 15. Let d be o(-12). Let j be (-2)/5 + (-44)/(-10). Solve -2*m + 0*m - 18 = 4*z, d = -2*z - j for m.
-5
Let q = -15 + 9. Let t = -4 - q. Let u = 314 + -302. Solve 3*f - 2*r = -3*r - 13, t*f - r = -u for f.
-5
Suppose -2*g = -g. Suppose 3*w - 4*o + 1 = 0, 0 = -g*w + 2*w - 4*o + 6. Solve 2*c = 2*u - 2, 0*c - 4*c = 5*u - w for u.
1
Let i be (14/1)/(-1 - -3). Solve -3*n + 4*w - i = -19, 4*n + w = -3 for n.
0
Let q = -201 + 209. Solve -s = -2*s + 5*d - 20, 5*s = 2*d - q for s.
0
Let k(d) = -d + 11. Let f be k(6). Suppose 0 = 8*c - f - 11. Solve 2*s - t + c = -0*s, 0 = 2*s - 5*t + 10 for s.
0
Let c = 168 + -49. Let a = c - 115. Solve -3*o - 2*y = -a, 7*o - 3*o + y - 2 = 0 for o.
0
Let a(w) = -47*w + 25*w + 26*w + 3. Let b(x) = x**2 - x - 2. Let l be b(-1). Let z be a(l). Solve -z*g = -2*t - 7*g, -t - 5*g = 0 for t.
0
Let k(w) = 4*w**2 + 3*w - 6. Let c be k(-2). Solve 4*l - i = -l + 26, -21 = -5*l - c*i for l.
5
Let t(o) = -o**2 - 16 + 5*o + 15*o - 32*o. Let r be t(-12). Let k = -13 - r. Solve -g + 5 = 3*n + 3, k*g = -4*n + 6 for g.
2
Let i = 365 - 338. Solve -14 = 2*y - 5*o + 3*o, 5*y - 3*o + i = 0 for y.
-3
Let m be 0/(-6)*(1 - 2/4). Solve -10 = 4*n + 5*g - m*g, 0 = -3*g + 6 for n.
-5
Suppose -36 = -0*n - 3*n. Let z = n + -7. Solve -q - 2*c = -7 + 5, z*q + 4*c = 4 for q.
0
Let x = -136 + 137. Solve 5*b - 2*t - 11 = -4*t, -2*b - x = -t for b.
1
Suppose 47*b = 37*b + 30. Solve -b*q - 15 = -0*u + 5*u, -q + 6 = -2*u for q.
0
Let q(g) = -44*g - 156. Let r be q(-4). Solve 2*d - 8 = 0, 0*f - 3*f = 5*d - r for f.
0
Suppose -15*m + 2396 = 251. Suppose 102 = 2*x + 3*n, -5*x + 2*x - 2*n + m = 0. Solve -4*y = -3*t - 2*t - x, -y + 5 = 0 for t.
-5
Let t be ((-9)/(-6))/((-2)/(-4)). Suppose a - 39 = -2*a. Solve -4*n = -3*g + a, -4*g = -g - t*n - 9 for g.
-1
Let u(j) = -j**2 + 4*j + 3. Let l be u(6). Let i = l - -11. Solve 2*v + 12 = -i*v, 10 = r - 5*v for r.
-5
Let g be (0 + (-1)/2)*-6. Let z = 7 + -2. Let i = 12 + z. Solve -g*q - 48 = -5*a - i, 4*a = -4*q + 12 for q.
-2
Let w be (5 - 4)/(2*2/60). Suppose 4*k + 2*h - 26 = -0*h, -w = -5*h. Solve -3*s - 2*c = -s - 16, -k*s + 19 = -2*c for s.
5
Let w be ((-8)/6)/((8 + -6)/(-18)). Solve -4*v + 6*v = r - 7, -3*v + r = w for v.
-5
Suppose -94 = 2*m - 298. Suppose 5*y = -20, -m = -5*h - 3*y - 24. Let i be 7/4 - (-1)/4. Solve 22 = -5*r + i*z, 0*z = -4*r + 2*z - h for r.
-4
Let m = -5 + 7. Suppose 0 = -v + 2*v - 16. Let h = 50 - 42. Solve -u - h = m*u + 4*i, 5*u = -4*i - v for u.
-4
Let t be (-16)/(-28)*84/24. Solve 0 = -s - a + t*a - 1, 0 = -4*s - 5*a - 31 for s.
-4
Suppose -21*i + 400 = 4*i. Solve o - 3*q + 7*q + 5 = 0, 2*o - 5*q = i for o.
3
Suppose 0 = 4*y - 8 - 8. Suppose -5*d = -11 + 1. Suppose -16 = -5*p - 2*u + u, d*u + 7 = 3*p. Solve -y + 2 = m, -4 = -5*t - p*m for t.
2
Let h(j) = j**2 + 12*j + 3. Let u be h(-13). Suppose u = 4*v - 8*v. Let q be (v - -2)/((-2)/4). Solve 4*g = -c + 5, 2*c + q*g - g = 10 for c.
5
Suppose -33 = -4*j - 13. Suppose 0 = 10*s - j*s + 75. Let k be (-2)/(-1 - 9/s). Solve 20 = 4*r, -5*i + 4*r = k*r - 10 for i.
1
Let i = -5 + -3. Let j = i + 11. Let t be (-20)/15 - (-31)/j. Solve -2*o - t = 3*x, -x + 4*o - 12 = 3*x for x.
-3
Let v be 16/56 + (-2)/7 + 2. Solve -v*t + 20 = 4*c, 0*t + t = -3*c + 13 for t.
4
Let o = 3 + 0. Suppose 5*k - y + 3 = 26, -10 = -5*y. Solve -c = k*j - o*j + 6, 12 = -j - 5*c for j.
-2
Let z = -57 + 61. Suppose -l - 4*c = -7, 6*l = l - c + 16. Solve -p = l*r, -p = -z*p + r for p.
0
Let s = -1864 - -1873. Solve 5*u - s = -0*o - 2*o, -4*u = -2*o for o.
2
Let j be 90/(-36)*12/(-15). Solve 0 = j*y - 5*y + 4*t - 10, -4*t + 12 = -2*y for y.
2
Let t be (-41)/(-3)*(1 + -4). Let k = t + 44. Solve 2*m + 2*v - 2 = -20, -5 = -k*m + 5*v for m.
-5
Let a = -21 + 15. Let s be 0*(4 + 21/a). Solve s = -v + 2*j - 2 - 3, -2*v - j + 5 = 0 for v.
1
Suppose -704 + 644 = -10*t. Solve 0 = 5*y + d - 1, -t*y - 2*d = -9*y - 2 for y.
0
Let a(c) = 6*c**3 + 2*c**2 + 2*c - 3. Let q 