= 5*c + 12 for c.
0
Suppose -66*d = -11*d. Solve -3*h + 3 = d, 0 = -4*x - 0*x - 2*h - 2 for x.
-1
Let j(m) = -m - 5. Let g(a) = -4*a + 2. Let h be g(3). Let p be j(h). Suppose d = p*d. Solve 4*t - 4 = d, 4*t = 5*z - 5 + 19 for z.
-2
Suppose 2*y - 4 = 8. Let p(g) = -g**3 + 5*g**2 + 8*g - 9. Let r be p(y). Solve t - l - 6 = 0, 4*l - r*l + 2 = 0 for t.
4
Let h(g) = 10*g - 27. Let l(c) = 2*c - 5. Let w(z) = -4*h(z) + 22*l(z). Let p be w(3). Solve -k = -4*o - 2, 8*k - 2*o = 3*k + p for k.
2
Let f = -498 - -511. Solve -3*i - i = 3*v - f, 0 = -4*i - v + 7 for i.
1
Let p(u) = -3*u. Let f be p(-2). Let l = f + 1. Let d = l - 7. Solve 2*a + 7 = -j - d*j, 3*j + 11 = -a for a.
-2
Let k(q) = -13*q**2 + 168*q + 16. Let u be k(13). Solve u*d - 13 = -z, -2 = -4*z - 10 for d.
5
Let x = 610 + -601. Solve 0*h = -3*s + 3*h - x, 10 = -3*s + 4*h for s.
-2
Let d(a) = -3*a - 44. Let w(p) = 21*p + 306. Let l(m) = -27*d(m) - 4*w(m). Let b be l(-15). Solve 2*f = -3*j + b + 3, -5*f = -3*j + 12 for f.
0
Suppose 31 = 5*p + y - 24, 0 = -4*p + 4*y + 20. Solve 4*v + 8 = -2*x - 0*v, -x - 4*v - p = 0 for x.
2
Let i = 66 + -90. Let z be 16/i*69/(-2). Solve -5*f + 22 = c, c - f - 3*f + z = 0 for c.
-3
Suppose 0 = 13*j - 14*j. Solve j = l + 1, -5*l - 1 = -f + 5*f for f.
1
Suppose o - 3*o + 12 = 0. Let y be (o/28 + 4/14)*14. Solve -5*a - y = 2*g - 1, 0 = -5*g + 4*a + 18 for g.
2
Let r(z) be the first derivative of z**2 + 14*z - 2. Let b(x) = -1. Let s(v) = -2*b(v) - r(v). Let n be s(-6). Solve n = -4*u, -2*u - 3*u = -4*m + 8 for m.
2
Suppose -19*s - 88 = -41*s. Suppose j = 5*j - 32. Let c(w) = -w**3 - w**2 + 3. Let l be c(0). Solve j = -4*h - o, -12 = -l*h + s*o + 1 for h.
-1
Let v = 71 - 66. Suppose 0 = -v*y + 2*f + 15 + 3, 0 = 5*y + 3*f - 23. Solve y*k + 3 = -c + 1, -c + k = -3 for c.
2
Let g be 2/(0 - -1)*(-223 + 225). Solve -g*n - 4*j - 24 = 0, 2*n + 3*j + 4 + 9 = 0 for n.
-5
Let b be -21*5/(-15) + -3. Suppose -3*y - 17 = -b*f - 0, 0 = -2*f - 5*y + 15. Solve -5*q + m - f = 5, -3*m = 4*q - 11 for q.
-1
Let b = 86 - -4. Let z = b + -77. Solve 4*k - k + z = -2*x, 4*k = 3*x - 23 for k.
-5
Let b be 2*(51*-1 + 1)/(-2). Suppose 5*z = -5*w + b, z - 3*w = -z - 5. Solve -g - 2*y - 6 = 3*g, -2*g = -z*y + 9 for g.
-2
Let g = 8 - 3. Suppose 3 = 2*t - 6*t + g*d, 5 = -2*t - d. Let w be t - -1*(23 + -1). Solve -5*c - 5*n + w = 0, 2*n + 4 - 11 = -3*c for c.
-1
Let t = 481 - 477. Solve q + 4 = -t*z, 0 = z - 2*q - 8 - 0 for z.
0
Suppose 9*a - 2*w = 5*a + 50, 0 = -2*a - w + 35. Solve 6*t = 5*z + 5*t + a, -5*t - 21 = -z for z.
-4
Suppose -b + 62 = 2. Let z = 65 - b. Solve -5*x = -y + 21, 2*y = -y + z*x + 13 for y.
-4
Suppose s = -5*j + 15, 6 = 5*j - 4*s - 9. Solve v + j*x - 8 = 4*x, -v - x = 2 for v.
3
Let b(a) = -a**3 + 26*a**2 + 23*a + 115. Let c be b(27). Solve 4*i - 3*f = -6, -7*f + 3*f + c = -5*i for i.
-3
Suppose -2*h = -5*u - 10, -h + u - 4 = 3*u. Suppose 0 = i - w, 4*i + w = -h*w - 20. Let j = 11 - i. Solve -5*l + j = 2*t, -2*t = -l + 2*l + 5 for t.
-5
Let n(c) = 2*c**2 + 102*c + 2. Let z be n(-51). Solve -15*x + j = -10*x - 1, 3*j = z*x + 10 for x.
1
Let i = -916 + 919. Solve i*k = -r - k + 5, 0 = 3*r - k - 2 for r.
1
Suppose -114 = -186*z + 258. Let a(l) = -3*l. Let h be a(-1). Suppose 1 + 5 = h*m. Solve -p = -2*p - m, -5*p - 2 = z*i for i.
4
Let w = 305 - 300. Solve -w = j - 3*j - y, 4*j + 11 = 5*y for j.
1
Let k(f) = -f**2 + 23*f + 110. Let v be k(27). Solve 2*p = 4*u + 2, 5*p + 11 = -u + v*p for u.
-2
Let t = 521 - 521. Solve 0 = -t*q - 4*q - 12, 0 = 2*m - 2*q - 12 for m.
3
Suppose 45*t + 12 = 49*t. Solve 2*c - p - 14 = 0, 3*p + 0*p - t = -3*c for c.
5
Let w be -4*(3 + -2) + -24. Let i = 24 + w. Let o = i - -8. Solve -o*s + p + 11 = 0, 0 = -7*s + 3*s + 3*p + 17 for s.
2
Suppose 2*n = n + 3. Let m(u) = -u**3 - 8*u**2 - 6*u + 12. Let r be m(-7). Let p be (-6)/(-15) + 53/r. Solve 5*x - t + 16 = -3*t, n*t + p = -x for x.
-2
Let l be ((-6)/(-5))/((-3)/(-30)). Suppose x = 6*r - 3*r + 12, 0 = 4*r - 2*x + 16. Let t be r/(16/l)*-1. Solve -4*m + 2*v = 26, -t*m - 2*m = 3*v + 5 for m.
-4
Let k = 49 - 31. Let q = k - 14. Solve 0 = 3*g + 3*n, -q*g + 3*n = -0*g - 14 for g.
2
Suppose -69*y + 660 = -39*y. Solve y = 4*i + 2*f, -4*f + 28 = 3*i - 1 for i.
3
Let m be (2/(-10))/((-29)/580). Solve -3*k - 4 = -4*q, m*q + 4 = -k + 2*k for q.
-2
Let z(p) be the third derivative of -p**4/24 + 7*p**3/6 + 5*p**2. Let c be z(5). Solve -5*g + c*g + 22 = 5*t, 5*t = 5*g - 10 for g.
4
Suppose -k - 2*r = -13, k - 14 = -r - 2*r. Suppose -k = s - h - 28, 3*h - 6 = 0. Solve 2*x = 3*p - s, -p + 9 = -4*x + 2*x for p.
5
Let a be (-4)/(-1) - -2*15/(-30). Solve q - 3*l + 5 = a*q, 0 = -4*q + 4*l + 20 for q.
4
Let m = 1940 + -1939. Solve -5 = -5*z, -16*q + 3*z = -15*q + m for q.
2
Suppose 84 = -45*h + 59*h. Solve 3*j - h*m + 4*m = 1, -2*j + 4*m = 2 for j.
1
Let v = 344 + -340. Solve 0 = -2*f + v*c - 6, 0 = f + f - 2*c - 2 for f.
5
Let m = 138 - 134. Solve -m*w - 2*i + 0*i = 28, -3*i - 12 = 0 for w.
-5
Let m(n) = 2*n**3 + 42*n**2 - 4*n - 79. Let u be m(-21). Solve 4*l = -5*r - 16 + 3, -u*l - 14 = 4*r for r.
-1
Suppose -u - 9*p = -4*p - 2, -4*p + 51 = -3*u. Let d(w) = w**2 + 14*w + 15. Let h be d(u). Solve 4*q + 5*s = h, -3*q = 2*q + 3*s - 9 for q.
3
Suppose -z + 3*y - 4 = 0, -72 = -5*z - 4*y - 35. Solve o + 5 = -z*g, 2*g + 19 = 2*o + o for g.
-2
Suppose 5*n = g + 8, -n + 3*n = -5*g + 14. Suppose -3 + 33 = 5*i. Solve 0 = -3*f - f + n*y - i, 3*f = -y - 12 for f.
-3
Let p(d) = d**3 - 18*d**2 + 18*d - 16. Let y(o) = o. Let z be y(5). Let a be 75/(z + 0) - -2. Let v be p(a). Solve -2*q = i + 14, 4 = -5*q + 5*i - v for q.
-5
Let d be 2*-1 + 3*3/3. Solve -b = v - d, -v + 3*b + 17 = v for v.
4
Let p be 558/45 - 4/10. Suppose 0 = 2*k + 4*i - p, 0 = -2*k + i + 3*i - 12. Suppose 0 = -k*t + t - 3. Solve -4*s - 15 = 3*r, -2*s + 2*r = -t*s - 10 for s.
0
Suppose 2 = -n + 26. Suppose 0*y - 2*y = -n. Solve 4*h + 0*h = -u - y, -3*u + 28 = -4*h for u.
4
Suppose -3*o + 5*f + 50 = 0, f = -5*o - f + 135. Suppose 0 = 5*v + 10 - o. Solve -3*q + v = -3*d, 2*d - 10 = -q - 0*q for q.
4
Suppose -2*r - 11 = -37. Suppose r*k - 11*k = 0. Solve a + 7 = z, k = -0*a + 2*a + 2*z - 2 for a.
-3
Suppose 43*w - 42*w - 30 = 0. Suppose -7*p + p = -w. Solve 0 = 2*a - 2*d, p*a - 2 = -d + 4 for a.
1
Let g = 22 - 19. Suppose -2*x + 5*l = -g, -5*x - 2*l + 22 = -0*l. Solve 3*u + 12 = 2*q, -x*q = -u - 18 + 4 for q.
3
Let y(n) = -n + 10. Let m be y(7). Suppose -m*i + 4 = -8. Solve 4*w + a = -24, -i*a = -3*w + 1 - 0 for w.
-5
Let q = 182 - 178. Solve -q*z + 15 = -k, -k = -5*k - 4*z + 40 for k.
5
Let x = 11 + -11. Suppose x = 4*j - j - 24. Let m be 3/2*32/12. Solve m*r + 17 + j = 5*d, r - 3*d = -15 for r.
0
Suppose -36 = -120*d + 114*d. Solve -2*z = -5*u - 16, 4*u = 4*z + z - d for u.
-4
Suppose -5*n + 34 = -46. Let r = 29 - n. Solve -5*p + 2*s + 12 = -2, -s = -4*p + r for p.
4
Let n = 35 - 26. Suppose n*b = 6*b + 9. Solve -5*d = -2*h + 10, -b*h - 12 = -2*d - 5 for h.
-5
Let p = 536 - 526. Solve -w - 2 = z, -3*w + p = -4*z - 12 for w.
2
Let u(r) = -2*r - 6*r + 3*r + 2*r - 26. Let y be u(-10). Solve 0 = 2*o + y*v - 2, -o - 1 = 4*o + 4*v for o.
-1
Suppose 51*j = -214 + 367. Solve 5*t + 5 = -k, 2*t - 1 = -4*k + j*k for t.
-2
Let a be 0/(-9) - (1 + -6 - -2). Suppose -2*l - 2 = -5*j + 17, -3*j = -4*l - a. Solve -l*t = g, 0*g = -g - t + 2 for g.
3
Suppose 5*o + 116 = 3*h, -2*h - 3*h + 220 = -3*o. Solve -2*p + 2*g = -4, -4*p - 5*g + 10 = h for p.
-3
Let l = 0 - -7. Suppose -6*g - 5 = -l*g. Suppose 6 = -3*y + g*y. Solve 5*j + y*t = 20, 9 = -5*t + 34 for j.
1
Suppose 4*o - 20 = -52. Let l = o + -7. Let k be l/6*8/(-5). Solve w = 2*w + k*p, 0 = -p for w.
0
Let s(z) = z**2 + 5*z + 8. Let x = -4 + 4. Suppose x = -5*b + b - 16. Let r be s(b). Solve -3*d + 16 = r*h, 4*h + 4*d - 3 = 17 for h.
1
Let c be -2*1 - (-12)/2. Let s(j) = -1. Let o(f) = -f + 4. Let t(p) = -o(p) - 2*s(p). Let l be t(7). Solve 0 = l*g + c*y + 33, -12 = 4*g + y - 5*y for g.
-5
Let s = 12 + 6. Let b = 1 + -32. Let h = -29 - b. Solve 0 = h*r + 4*u - s, -6*u + 20 = 2*r - u for r.
5
Let x(k) = 1 - 4 + 5 + k. Let y(w) = w. Let s(i) = -x(i) + 3*y(i). Let v be s(6). Solve -4*l + 45 = -o - 4*o, -3*o + v = 5*l for l.
5
Let k = 274 - 270. Solve -3*s + k*p = -17, 2*s = 3*s - 5*p - 13 for s.
3
Let p(b) = -b**2 + 20*b - 51. Let z b