m - x = c for c.
-5
Let o = 137 + -179. Let j be 11/((-33)/o) + -5. Solve -16 - j = -5*b - 4*t, 4*b - 20 = -t for b.
5
Let k(r) = r**2 + r. Let d be k(3). Let q be (-8)/d - (3 + (-34)/6). Solve z + 7 = -3*l - q, l = -4 for z.
3
Let k(b) = 4*b - 4. Let n(i) = i - 3. Let p(j) = k(j) + 4*n(j). Let z be p(2). Solve 5*y + 3*h + 10 = z, y - 14 = -5*h + 6 for y.
-5
Let m be (1 + 18)/(-17 + 18 - (2 + -2)). Solve 4*j + 5*w + m = 2*j, -5*j = 4*w + 22 for j.
-2
Let r be 2 + 12/1 + -7 + (-1)/1. Solve j + m = 3*j + r, m = -5*j - 8 for j.
-2
Let t(y) = 3*y + 25. Let v = -43 + 35. Let o be t(v). Let b = o + -1. Solve b = -4*z - 5*s + 2, -s = -2*z - 0*s + 8 for z.
3
Let n = -34 + 42. Let q(k) be the second derivative of -k**3/6 - k**2 - 27*k. Let h be q(-6). Solve 0 = 2*o + 2*o + 2*a + 8, -a = h*o + n for o.
-2
Suppose 22*a = 20*a + 32. Let c = -14 + a. Suppose -4*i + 8 = 2*h - 10, -5*i = -15. Solve -h*f - 2*v + c = 13, 0 = -f + 5*v - 15 for f.
-5
Let g be (-12)/(-60) - (-57)/15. Suppose 0 = 6*q + g*q - 30. Solve -s = 3*u + 9, 0 = 5*s - q*s - 4*u - 22 for s.
3
Suppose 90*h - 93*h = 27. Let x be 3/(h/(-16)) + 1/(-3). Solve 2 = -2*a - 0*a + 2*g, -x*g = -4*a for a.
-5
Suppose -u - 56 = -4*v, 4*v - 5*u - 45 + 5 = 0. Suppose -v = -6*l + l. Let c be l/(-3) + 8 + -4. Solve b = -c*r - 2, -3*b - 3 = -6*b for r.
-1
Let x(i) be the first derivative of -1/4*i**4 + 34*i - 5/2*i**2 + 2*i**3 + 7. Let o be x(6). Solve 3*s = -o*g - 4 - 9, 5*s = 4*g + 21 for s.
1
Suppose 0*w + 4*i = 5*w + 239, -5*w - 2*i = 233. Let c = w + 50. Suppose 0*u + s = u + 5, 4*s = -4*u + 20. Solve 5*o + 5*j - 5 = u, -4*o - 2 = -8*o - c*j for o.
-1
Suppose -1490 + 1693 = -7*b. Let r(j) = 4*j + 119. Let m be r(b). Solve 0 = -y - 2*q + 10, -4*y + 3*y - m*q = -13 for y.
4
Let v = 10 + -8. Suppose 0 = -4*j - 5*g - 6, j + 44*g - 45*g = 3. Solve v = r + j, 1 = u + r for u.
0
Suppose 3*k - 533 = 70. Let v = k - 198. Solve 2*r = v*h + 15, 2*r + 0*r = 5*h + 21 for h.
-3
Let h = -2 - -2. Let a(k) = 2*k**3 + 11*k**2 + 9*k - 8. Let y be a(-4). Suppose -27*b + y*b + 46 = 0. Solve b*j + 2*d - 4 - 4 = h, 23 = 5*j + 2*d for j.
5
Let v = 261 + -479. Let m = -214 - v. Solve f + 0*f + 1 = l, -5*f = m*l + 14 for l.
-1
Let s(g) = -39*g - 191. Let i be s(-5). Let f(a) = a**3 - 7*a**2 + 3*a + 1. Let t be f(7). Let m be 20/11 - t/(-121). Solve m = 3*k - 1, -q = k - i for q.
3
Suppose 38*w = 32*w + 420. Let c be w/35*(-2)/(-2). Solve -m + 6*m + 23 = -4*s, c*s = 5*m + 11 for m.
-3
Suppose 2*f - 262 = 5*o - 882, -f - 295 = 5*o. Let d = 308 + f. Solve -3*k = s - 10, 5*s - 5 = -3*k + d*s for k.
5
Suppose -5*a = -4*a - 1. Suppose -a + 4 = -m. Let u(j) = j**2 + 4*j + 6. Let r be u(m). Solve -l - r*f + 7 = 23, 3*l + 3*f + 18 = 0 for l.
-1
Let k be (18/(-15))/((-18)/60). Suppose -5*r = -n - 6 - 1, -5*r = -2*n - k. Suppose -3*u + 4*u = 4. Solve -u = 4*c, 5*c = n*o - 4*o - 5 for o.
0
Let i(d) = -d**2 - 52*d - 382. Let j be i(-9). Solve -v = 3*a + 7, -2*v + 5 = 3*v + j*a for v.
5
Let t be -8 - 24*5/(-15). Solve 3 + t = -2*a - r, -a - 5*r = 24 for a.
1
Let q = 24583 - 24576. Solve 240*h - 3*s - 13 = 245*h, -2*s - q = 3*h for h.
-5
Suppose -15 = j + 5*y, -2*j = 2*y + 23 - 25. Solve 2 = -3*p - 2*i, 4*p - j*p + 18 = -4*i for p.
2
Let f(o) = 5*o**3 + 17*o**2 + 75*o + 212. Let u be f(-3). Solve -4*v = -3*r + 5 - 16, -2*v - u*r = -25 for v.
5
Suppose 0 = 3*x - 5*h + 745 - 82, -2*h = -x - 220. Let d = -223 - x. Solve 0 = -d*u - 5*f + 18, 3*f = 2*f + 3 for u.
1
Suppose -6*g + 45 = 27. Suppose -30*q + g = -29*q. Solve 2*v + 2*u = -2*v, q*v - 22 = 4*u for v.
2
Let n = 7340 + -7316. Solve -2*j + n = -3*b + 10, -2*b = 4*j - 12 for b.
-2
Let v(c) = -2 - 1 + 0 - 2 + c. Let r = 100 - 95. Let l be v(r). Solve -2*g = -j - 3 - l, -3*j = -g - 11 for j.
5
Let y = -249 - -720. Let b = y - 467. Solve 0 = -w - 2*w + 15, b*t = -5*w + 37 for t.
3
Let d be 7/((-28)/8)*-2. Let o be (-5)/10 - d/(32/(-548)). Let c = 84 - o. Solve 4*j = -3*n + c, 2*j = 5*n - 11 - 7 for n.
4
Let j be 1270/45 - 4/18. Let v = 54 + -46. Suppose 0 = 4*y + 3*k - j, -k = -y + 2*k - v. Solve -y*w + 4*c + 17 = 3*c, 2*w + 3*c = 5 for w.
4
Suppose -7*n = -4*x - 9*n + 128, x - 32 = 2*n. Suppose 0 = -3*q - 5*q + x. Solve 12 = -q*k, l - k = -2*l for l.
-1
Let q = 401 - 310. Let h = 94 - q. Solve 2*g - 4*k = 8, -h*g = 4*k - k - 3 for g.
2
Let i be -3 - (-17)/(68/32). Suppose -2*f + 24 = 4*d - 4*f, -i*d - f = -16. Solve -n - 4*n + 5*v + 40 = 0, -3*n = -d*v - 27 for n.
5
Let t(r) = r**2 + r - 1. Let l(i) = 9*i**2 - 5*i - 27. Let n(p) = l(p) - 5*t(p). Let b be n(4). Solve -2*v - b*x + 14 = 0, 3 + 1 = -4*v + 4*x for v.
3
Let j = 43 - 33. Suppose -j*t + 7*t = 0. Suppose t*n + 5*n = 55. Solve i + 3*b + 12 = 0, -n = -5*i + 2*b - 3 for i.
0
Suppose -4*q + 2*a + 14 = 2, 4*q = 4*a + 8. Let i(k) = 3*k**2 - 11*k + 13. Let v be i(q). Solve 3 = 3*b - 4*r + v, 2*b + r = 9 for b.
2
Suppose 0 = -5*u + 5*x, -45*u + 3*x - 73 = -199. Let y = 4 - 2. Solve -3*z - 3*f = 0, 0 = -y*z + 4*f - u*f for z.
0
Let u = 4105 - 4076. Solve -4*x - u = -7*x - 5*g, 0 = -3*g + 12 for x.
3
Let a = 11700 - 11668. Solve 0 = -9*y + 13*y + 5*w + a, -3*w - 18 = 2*y for y.
-3
Let s(j) = -j**2 + 3*j + 158. Let i be s(-11). Suppose -4*o - i*l = -12, -17*o + 20*o - 3*l + 9 = 0. Solve -d = p, p - 2*d + o*d + 12 = 0 for p.
-4
Let m = 3393 - 3386. Solve 2*n - t = 3, 22 = -2*n + m*t - 11*t for n.
-1
Suppose -151*q - 76*q = 84*q. Solve -17*n + 12*n - a + 25 = q, n - 4*a + 16 = 0 for n.
4
Let z(o) = o**3 + 6*o**2 + 10*o + 12. Let r be z(-4). Suppose 5*c - 7*j + 5*j = 12, -4*c = -r*j. Solve c*t - 24 = -5*v, -2*t - 3*t + v + 1 = 0 for t.
1
Let v(a) = a**2 + 4*a + 1. Let t be v(-4). Let m be 9 - 15/3 - t. Solve 2*o = -2*h - m - 3, o + 6 = -4*h for h.
-1
Let t(x) = -x**3 + 7*x - 1. Suppose 3 = -40*c + 39*c. Let l be t(c). Solve 0 = -q - k + 5, 0*k = -2*q + l*k - 11 for q.
2
Suppose 2 - 14 = -3*n. Let d = -817 - -821. Suppose -32*m = 4*s - 29*m - 14, -d*m = 3*s - 14. Solve n = -r + z + 2*z, 4*z - s = 2*r for r.
5
Let l = 17529 + -17529. Solve 7 = -2*d - l*d + i, -5*d = -5*i + 20 for d.
-3
Let b be -5 - ((-40)/16)/(2/4). Let c be b/((6 - 5)*-1). Solve -5*f - 14 = 4*p - 0*p, c = -p - 2*f - 5 for p.
-1
Let b = 1531 - 1507. Let q(y) = y**3 - 5*y**2 - 9*y. Let s be q(7). Suppose -s = -4*f - 3*p, -3*p + b = 9. Solve -f*u - 9 = -3*u + 3*h, 4*h + 32 = 4*u for u.
3
Let k be -149 + 139 - (-15 + -3). Solve -l = -2*b + 2*l, -4*l = k for b.
-3
Suppose 68*v - 34*v = 510. Solve 3*n - s + 1 = 0, -5*n + v = 2*s + 13 for n.
0
Suppose -g - g + 84 = 2*t, 2*t + 3*g - 87 = 0. Suppose 0 = 30*n - 33*n + t. Let a be 3/((-15)/(-10)) + n. Solve -4*p + 5*i + 15 = 0, -6*i - a = -i for p.
0
Let p = -10 + 12. Let l(f) = f**3 + 4*f**2 + f - 1. Let k be l(-2). Suppose -4*r + 0*r = -w + p, k*r = -w + 2. Solve w*h = 0, 4*h + 22 - 2 = 5*y for y.
4
Let k = -6 + 18. Suppose 0 = k*z - 3*z - 54. Suppose -4*h - 3*o + 3 = z, 0 = -2*h + 5*o + 31. Solve 3*l - 21 = -3*r, r = h*r - 5*l for r.
5
Let l be 4 + -17 + 31 + -6. Solve -2*r + 2 = -4*j, -30*r + 26*r + 4*j = -l for r.
5
Suppose 5*o = 5*d - 120, -2*d + o - 17 = -63. Solve -2*x - 7 = -d*l + 27*l, 3*l - x + 13 = 0 for l.
-3
Let z be (-13 - -14)/(15/6 - 2). Let h(m) = 2*m**3 - 3*m**2 + 2. Let x be h(z). Let c = 1 - 0. Solve -x*j + 2*l - c = -j, -l = 3*j - 6 for j.
1
Let o = -26140 + 26142. Solve 2*c + 8 = -o*t, -140 = 3*t - 125 for c.
1
Let t be (4 + 13)*(-1 - 0). Let h be t/4*(89 - 93). Suppose -4*j + 5*j - 5 = 0, -5*j = -z - 22. Solve 2*w = -z*w + 4*l - 22, 4*w + h = 3*l for w.
-2
Let d(y) = y**3 - 7*y**2 + 12*y. Let l be d(7). Let b be l/(-9) + 2/6. Let m be (-2)/(-4) + (45/10)/b. Solve 2*f + 15 = 5*p, 4*f = -4*p - m*p - 16 for f.
-5
Let k = -180 + 186. Suppose k*r + 1 = 7*r. Solve 4*w - r = -y, -6 = -4*y - w - 2 for y.
1
Let g = -13913 + 13915. Solve 6 = 5*p + g*m, -2*p = -m + 2 + 1 for p.
0
Let i(h) = 2*h**2 - 32*h - 11. Let t(u) = 8*u - 2. Let l be t(2). Let j be i(l). Let s = -67 - j. Solve s = -2*c - 4*p - 10, 3*c - 2*p = -3*p for c.
1
Let l be (-49)/294*(-1 - 5)/1. Solve 5*r = 5*z, -2*z = -r + 1 + l for r.
-2
Let f be -1 + 2 + 13 + -1. Suppose 86 = 9*u - f. Solve -3*t - w = 2 - u, w - 3 = -t for t.
3
Let m be (2 - -10)/((-62)/(-31)). Solve -k - 2 = -n, 11*n + k = 13*n - m for n.
4
Suppose 4*o = 888 - 760. Suppose 11 = -7*a + o. Solve 