a + 2*b + d = 6*a, 4*a = 4*b + k for a.
-1
Suppose -2*o = d - 6, 2*d - o - 3 = d. Solve -5*a - 4 = 4*t + 13, 4 = -d*a for t.
-3
Let c = 1819 - 1814. Solve 2*r = -c*q + 17, 0 = r + 4*q - 10 - 3 for r.
1
Let k be -5 + 3 + 2 + 0 + 0. Let t = -4 - -4. Suppose t = z - 2 - 11. Solve k = f - 5*b - z, 2*f + f = -5*b - 21 for f.
-2
Let j = -15 - -30. Suppose 0 = -3*a - 3*v - j, 10 = 5*a - 3*v - 5. Let c = a - -2. Solve -i = 3*n - 1, -c*n + 0*n - 4*i = 16 for n.
2
Suppose -6*h + 7*h - 3*n + 9 = 0, 3*h - 4*n + 7 = 0. Solve 2*f = -4*j - 2*f + 4, -2*f = -h*j - 22 for j.
-4
Let f be ((-10)/3)/(6/(-9)). Suppose -2*a - 2*d = -2, -a - 3*a = f*d - 5. Let g = a + 0. Solve g = 5*u - 2*w + 10, 0*w = 4*u + w - 5 for u.
0
Let k be 6 - 9/((-45)/(-20)). Solve k*d - 3*a = 7, -5*d + 2*a - 2 = 8 for d.
-4
Let y = -110 - -156. Let z = -41 + y. Suppose -z*n + 33 = -4*u, 10 = -3*u + 4. Solve n*w + 15 = -4*h, w + 2*h = h - 3 for w.
-3
Suppose -22*t + 26*t - 8 = 2*g, 5*g - 6 = -3*t. Solve -2*x - 8 = -r, g*r - 14 = -x - 4*r for x.
-2
Let v = -567 + 567. Solve v = 4*d + 3*j + j + 20, -j = 0 for d.
-5
Let d(j) = j**2 - 14*j + 13. Let a be d(13). Suppose 2*m - 3*y = -0*y + 12, 3*m - 3*y - 15 = a. Solve -4*k = 5*z - 25, 4*k = m*z + 9 + 8 for z.
1
Let y = -18 - -23. Solve 4*l = 4*p, 5 = -4*l + y*p + 4 for l.
1
Let r(v) = 20*v + 32. Let z(k) = 7*k + 11. Let q(c) = 6*r(c) - 17*z(c). Let l be q(12). Let a = -15 + l. Solve g - a = 3*o + 2*g, -o = -3*g - 6 for o.
0
Suppose -2*o + 111 - 15 = 0. Suppose -10*x = -13*x + o. Let w be ((-18)/12)/((-6)/x). Solve -4*r + 5 = -3*b, 3*b - 4*b = -w*r + 15 for b.
5
Let w(v) = 2*v**2 - 8*v - 5. Let y be w(5). Solve 4*c + c - 22 = -s, y*c - 28 = s for c.
5
Let c(v) = 3*v**3 - 6*v**2 + 10*v - 4. Let b be c(1). Solve -5*z = 2*y - b*y - 14, z + 4*y - 7 = 0 for z.
3
Let d(r) = r**3 - 3*r**2 + 2*r + 3. Let x be d(2). Suppose -2*p - x*p = -40. Solve 0 = 2*a + 2*m + 2*m + p, -5*a - 11 = m for a.
-2
Let v = -60 - -35. Let n = v - -43. Let d be (3/9)/(2/n). Solve -d*w + w + 6 = 0, 4*m - 5*w - 5 = 0 for m.
5
Let n = 15 + -12. Let c be (-2)/((-1)/2 + 0). Suppose -x + 4*x = 12. Solve 5*z + n = 3*j, 3*z + z - c*j = -x for z.
0
Let b be (-13)/39 + ((-244)/(-6))/2. Suppose 56*p - 52*p = b. Solve -q + 6 = -2*z - 2*q, -3*z + p = -2*q for z.
-1
Suppose -5*i + 9 = u - 0, -2*u = 2*i - 10. Solve -3*o - u = -2*g, -23 = 4*o + 5*g + 13 for o.
-4
Suppose -2*h - 30 = -8*h. Suppose 4 - 9 = -h*o. Solve 0*x = -5*x - 5*c - 5, -2*x - 3*c = -o for x.
-4
Suppose -56 = -105*z + 91*z. Solve -3*i + 15 + 12 = -3*f, 2*i + 12 = -z*f for i.
4
Suppose 737 = 2*u + 707. Solve -2*y - t = -11, -2*y - t + u = y for y.
4
Let o(f) = f + 4. Let a be o(-10). Suppose -11 - 3 = 7*i. Let m = i - a. Solve m*n = -4*v - 0*n, 2*n = -5*v + 9 for v.
3
Suppose 7*g - 3*g - 2*d = -28, 3*d = 4*g + 26. Let s be (-1 - g/4) + 3. Suppose 0 = -i + s*k + 22, -2*k - 2 = i - 6. Solve -i = -5*r + a, 1 + 6 = 2*r - a for r.
1
Suppose -3*w - q - 5 = 4*q, 0 = -3*q - 12. Solve -4*f + 4*r = -37 + w, 5*r + 31 = 2*f for f.
3
Suppose -11 - 13 = -8*t. Let b be ((-12)/(-4))/(-3) + 3 + t. Solve 2*c = b*y - 9, 4*c = -4*y + 5*y - 9 for y.
1
Let f(g) = -g**3 + 30*g**2 + 216*g + 20. Let v be f(36). Solve 3*r - 10 = -k + 5, 2*k - 4*r = -v for k.
0
Suppose -2*u + 2*b + 97 = -u, -u + 88 = b. Let x = u + -54. Suppose -r + 25 = 4*r. Solve r*k - 10 = 5*d, 5*k - 11 = -4*d - x for d.
-4
Let c = 14 - 4. Let v be (24/c)/((-16)/(-40)). Suppose -v*s = -2*s - 8. Solve -4*i + o = i, s*o = 4*i + 6 for i.
1
Suppose 13*i - 99 = -8. Solve -i = -m + 4*g - 0, -g = -2*m + 7 for m.
3
Suppose -91*b = -39*b - 156. Solve 2*a - f = b, 5*f = 3*a - 2*a - 24 for a.
-1
Let q be ((-150)/(-36))/5 - (-10)/(-12). Solve -z - 1 = -2, 5*i + z - 16 = q for i.
3
Suppose -7*t + 3*t + 5*k - 24 = 0, 2*k = -t + 7. Let q be (14 - 10 - 6)*(t + 0). Let w be (39/(-9))/((-2)/6). Solve -h - 5*v - w = 0, -3 = -q*h + v + 4 for h.
2
Let x be (3 + -1)*(3 - (-1 + 3)). Solve 0 = -x*s - 4*o - 21 + 1, -4*s - 4*o = 28 for s.
-4
Suppose -f - 6 = s - 22, -36 = -3*s + 3*f. Let r = s - 14. Suppose 3*q + 0*q = r. Solve -5*g - 4*n = -10, 3*n + q*n = -g + 2 for g.
2
Let o be 4 + (0 + 2)/((-4)/6). Solve 0*t + 3*f = 2*t + o, t + 2*f = 10 for t.
4
Suppose 5*d = -0*g - 5*g, -5*g - 18 = -4*d. Solve -d*w = -4*w + 2*i + 8, -12 = -4*w + 2*i for w.
2
Suppose -460 = 90*n - 95*n. Suppose 0 = -13*z + 246 + n. Solve -4*s + z = 3*v - v, -2*s = -2*v - 4 for v.
3
Let f(d) = -d**2 + 6*d + 3. Let b be -1 + 4*(-1 - -2). Let g be (-2)/5*(-7 - b). Let i be f(g). Solve -4*t - 14 = 2*c, 2*c + 0*t = -3*t - i for c.
-1
Let m = 116 + -112. Solve -15 = -5*x, -m*z - 13 = -4*x + 5*x for z.
-4
Let q(n) = 5*n**2 - 10*n - 6. Let o be q(4). Solve -2*s + 0*f + 1 = 3*f, 5*s - 3*f - o = 0 for s.
5
Suppose -5*k = -0 - 10. Suppose -k*v = 2*v - 48. Solve -4 + 20 = 3*c - 4*n, -3*n = -c + v for c.
0
Let c = 0 + 0. Let n be 8/6*(-6)/(-4). Let f = -398 + 403. Solve -n*q + f = -5*o, 3*o = -c*q + q - 4 for q.
-5
Let x(r) = -r**3 - 16*r**2 + 18*r + 18. Let h be x(-17). Solve 5*n = -3*w - h, w + 3 = -3*n - 0*n for n.
-2
Suppose 2*b - 420 = -26*b. Solve -3*c - b = -3*h, -2*h + 14 = 2*h - 2*c for h.
2
Let c = -877 + 877. Solve 5*i = c, -4*j + 3 = -j - 4*i for j.
1
Let y be 6 + -14 - 4*-3. Solve -g + 3 = 0, -2*m + 0*g + y*g = 12 for m.
0
Suppose 5*i - 8 = 2*x, x + 7 = 4*i - 0*i. Suppose -15 = -3*o + i*o. Solve 0 = -5*p + m + 2*m - o, 2*m = 10 for p.
0
Let q = -733 - -733. Solve 4*g + 8 = q, -g - 1 = -2*m + 9 for m.
4
Let z(t) = t**3 - 7*t**2 + 10*t + 3. Let c be z(5). Suppose d + c*o = -8, 3*d + 4*o = -5 + 1. Solve -w = -d*m + w - 14, 0 = -3*m - 2*w - 21 for m.
-5
Let o = 277 - 275. Solve -o*s - 10*l + 4 = -11*l, 5*l + 2 = 4*s for s.
3
Suppose -19*p = -14*p - 20, 0 = -2*w - p + 32. Solve y + 2*y = 5*h - w, 4 = 2*h - 2*y for h.
4
Let f = 6 - 1. Let s be -1 + 140/(-14) + 17. Solve f*l + 2*w + 15 = s*w, -4*l - 12 = 2*w for l.
-3
Let u(o) = 0*o - 2 + 4 - 5*o + 3. Let b be u(6). Let t = -23 - b. Solve 6*w - 3 = -2*x + 3*w, 4*x + t*w + 6 = 0 for x.
-3
Let z(g) = 4 - 3*g + 2*g + 17 + 0. Let q be z(18). Solve -4 = 3*s + 2*c, 1 = -q*s - 5*c - 0 for s.
-2
Suppose -2*a - 63 + 3 = 0. Let w = a + 41. Solve 5*c + w = 4*v, -5*v + 5*c = c - 16 for v.
4
Let x(w) be the second derivative of -w**5/20 + w**4/4 + w**3 - 3*w**2 - 4*w. Let p be x(4). Solve 5*v - 9 = 2*a + 5, -p*a - 5*v + 6 = 0 for a.
-2
Suppose 0 = 3*p + z - 40, z = 5*p - 4*z - 40. Suppose -18*q = -21*q + p. Solve 3*v + 0 = 4*g + q, 5*g + 20 = 0 for v.
-4
Suppose 30 = 14*t - 8*t. Solve 5*m - t*x + 6 - 41 = 0, -5*m = 2*x - 7 for m.
3
Suppose -5*p + 7*m + 37 = 11*m, -p - 3*m + 14 = 0. Solve 2*h = 5*k - 11, -20 = -2*h + 7*h - p*k for h.
-3
Let q(g) = 3*g**2 + 2*g - 4. Let i be q(-4). Suppose 3*k + t = -4*t + 29, -k - 3*t = -15. Solve -k*h + h + 3*f = 23, -4*h = -4*f + i for h.
-4
Let r be (-2)/1 + -4 + 6. Let u = 130 + -127. Solve -2*b + u*z + 1 = r, b - 3*z - 13 = 2*b for b.
-4
Let s(j) = -j**3 - j**2 - 4*j - 3. Let w be s(-3). Suppose -7*p = -0*p + 35. Let z be (-2)/p + (-8)/(-5). Solve -i + 5*l = w, 5*i + z*l - 7*l = -35 for i.
-2
Suppose c = -c - 40. Let f be (-1)/4 - 85/c. Let q = -4 - -8. Solve 1 = r + q*b + 13, -f*r + 20 = -b for r.
4
Let y be (-6)/(-4)*(-170)/(-51). Let a(v) = -v**2 - 3*v + 4. Let w be a(-4). Suppose r - y = -w*r. Solve -2*k + r*j = -4*k + 9, 0 = k + j for k.
-3
Let o(j) = j**3 - 2*j**2 - 2*j. Let z be o(3). Suppose -m = w + z*w - 20, -4*m - 4 = 2*w. Solve 2*q = 10, 5*c + w = 3*q - 4 for c.
1
Suppose 3*o - m - 180 = -516, 0 = -2*m - 6. Let c = o + 116. Solve -3*k + 3 = 0, -c*k + 1 = -3*h + h for h.
1
Let x be 34/(-5) - 5/25. Let w(d) = -5*d - 19. Let n be w(x). Solve v + 3*y = 2 + 1, 2*v + n = 5*y for v.
-3
Suppose 4*r - 20 = -2*b - b, 2*b + 3*r - 12 = 0. Suppose 3*k = 3*y - b, 3*y + 5*k = 6 + 38. Solve x - y = -3*x + 5*t, x - t - 2 = 0 for x.
2
Let c be (1 - 3)*1*-10. Suppose -c*z + 9 = -17*z. Solve 4*r = -2*h + 5*h + z, -r - h = 1 for r.
0
Suppose 29*t + 118*t - 588 = 0. Solve 5*c + t*k = -10, -c + 5*k + 4 = -23 for c.
2
Let r(i) = 67*i**2 - 5*i - 21*i**2 - 21*i**2 - 23*i**2 - 3. Let g be r(3). Solve g = 2*k + 3*a + 2 + 8, -k = -2*a - 2 for k.
-2
Let s = -137 - -140. Solve 0 = -5*f + 5, 2*f - 11 = 4*i + s*f for i.
-3
Suppose -8*g - 4*r = -3*g + 310, g - 2*r + 76 = 0. Let p be (