d + 12 = c, -5*d + 13 = -7 for h.
4
Let o = 1717 - 1714. Solve -28 = 4*w + 4*t, -3*w + 3*t + 2*t = -o for w.
-4
Let m be 0*(9/(-11) - (-6)/(-33)). Suppose m = 9*x - 11 - 34. Solve 0 = o - 0*o + 2*z + 7, 0 = -z - x for o.
3
Let r(c) = c**2 + 2*c + 2. Let t be r(2). Suppose 5*u - t = 5*y, -3*u + 4*y + 4 = -u. Solve 0 = -4*a + 3*b - 11 - 4, u*a = -b - 5 for a.
-3
Suppose 3*o - 5*o + 4 = 0. Let c be 7 - (1 - 2)*-1. Suppose o*i + 8 = c*i. Solve -2*p = 2*j + 18, -i*j = 3*j + p + 29 for j.
-5
Let r(s) = s**2 - 4*s - 10. Let c be r(6). Let t be (-21)/(-27) - c/(-9). Let g be -6*(-2)/4 + t. Solve 3 = 3*l + 2*i - 7, g*l - 3*i - 2 = 0 for l.
2
Suppose b = -2*a - a + 15, -5*a = -4*b + 43. Solve 4*x = 3*k + b, -2*k = -x - 0*k + 3 for x.
3
Let g(x) = -25*x + 4. Suppose -4*n - 24 = -4*o, -8 - 11 = 4*n - 3*o. Let q be g(n). Solve 2*z + 3*w + 6 = 19, 5*z + 4*w = q for z.
5
Let s = -104 + 105. Solve 0 = -y - 4*q + 8, -s = 3*y - 2*q + 3 for y.
0
Let b(f) = -6*f - 1. Let x be (-12)/8*20/(-6). Let v = x - 6. Let i be b(v). Solve -3*q - 2*m + 2 = -5, -3*m = i*q - 12 for q.
3
Let t = -25 - -25. Let g be 2 + (6 + t)/2. Solve 3*r - 5*z = -2, r - 3*r = -g*z - 2 for r.
-4
Let n(v) be the third derivative of -v**6/120 - 7*v**5/30 + 13*v**4/24 + v**3 - 31*v**2. Let x be n(-15). Solve 4*p = -5*y - 67 + 27, 4*y + x = -4*p for y.
-4
Let t(v) = v**3 + 6*v**2 + 8*v + 3. Suppose 8*u - 25 = 5*g + 3*u, -3*g - 16 = -4*u. Let z be t(g). Solve -5*p = y - 21 - 4, z*p - 15 = 5*y for y.
0
Let d = 508 - 505. Solve 2*k - 19 = d*x, -2*x = 3*k + 2*k for k.
2
Let c be 5/((-6)/(-3) + -1). Solve -3*l + 2*m = -2*l - 8, 15 = -c*m for l.
2
Let g(n) = -2*n**2 + 9*n + 6. Let v be g(3). Solve -5*i = v, -d + 4*d - 5*i = 6 for d.
-3
Let l be (-8)/(-10)*(4 + 1). Let i(a) = 8*a**2 + 61*a - 72. Let k be i(-9). Solve 5*y = 2*n + k, 9*n - l*n - y = -10 for n.
-1
Suppose -1 = 9*n - 1. Suppose -a + 2*a - 18 = n. Solve 0 = 2*b + 3*j + 7, 3*b - 2*j - j = -a for b.
-5
Suppose 26*h - 437 = 7*h. Solve 0 = -2*b - d - 4*d + h, 0 = 2*b + 4*d - 18 for b.
-1
Let f be (-2)/(-8) - 195/(-20). Suppose -4*g = -0*g - 8. Suppose -g*y + 12 = -5*w, 2*y + w = -y + 1. Solve -2*o = 4*j + f, -y = o - 0*o for j.
-2
Let o be (-4)/(-18) + (-100)/(-36). Let g be 8*(8/(-36))/((-8)/18). Suppose -2*z = -3*x - 0*x + 16, -x = -4*z - 22. Solve x*t - w = t, -g*t - o*w = 14 for t.
-2
Let v(r) = 15*r + 16. Let h(f) = -f**2 + 29*f + 32. Let u(t) = 2*h(t) - 5*v(t). Let y be u(-7). Solve -4*c + 10*j - y*j = 5, -c - 3*j + 3 = 0 for c.
0
Suppose -3 = z, a = -11*z + 15*z + 15. Solve -a*b - 4*m + 8 = -18, -5*b + 2*m = 0 for b.
2
Let s be (7*-1)/(5/(-25)*1). Suppose -8*r + s = -r. Solve 2*x = 5*p + 13 + 1, r*x - 10 = 0 for p.
-2
Let b(w) = -8*w - 52. Let d be b(-7). Solve 3*z - 16 = -v, -v = 2*z - d - 7 for z.
5
Suppose -3*j + 87 = -4*v - 35, 40 = j - 2*v. Let i be (14/j)/((-2)/(-30)). Solve -i*c = 5*o + 30, 3*c + 2*o = 5*o for c.
-3
Let d = 22 + -15. Let b = 65 - 65. Solve 4*t - 5*x = -b*t + 11, t = -3*x + d for t.
4
Let t(r) = -r**2 - 8*r - 5. Let p be t(-7). Let d be 34/8 + p/(-8). Solve -11 = 5*k + d*g + 4, 0 = 2*k - g + 6 for k.
-3
Let x = -19 + 50. Suppose -6 = 5*w - 7*w. Let h be 1/w*3 - 1. Solve t - 5*k = -t - x, h = -5*t - 3*k for t.
-3
Suppose 80 = 4*o + 7*g - 12*g, 2*o + 8*g + 2 = 0. Solve 3*m - x + 11 = 0, m - x = -4*m - o for m.
-2
Suppose 6*b - 18 = 36. Suppose 11 = 4*a - b. Solve 1 = 2*g + a*d, 5*g - d - 17 = d for g.
3
Suppose 40*c - 20 = 35*c. Let o(h) = -h**2 - 10*h + 13. Let q be o(-11). Solve 0 = -c*s - 5*k + 4, q*s - k - 2 = -0 for s.
1
Let z(b) = 8 + 8 - 20 - b. Let s be z(-7). Let d be s*((-69)/(-9) - 1). Solve -2*u = 5*r - 0*r + 8, 5*r = 5*u + d for r.
0
Let n = 379 - 375. Solve n*q = 5*c - 20, 5*c = -6*q + 7*q + 5 for q.
-5
Suppose -12*s + 5*w = -13*s + 28, -12 = -3*s + 3*w. Solve -2*x + 3*x = 4*m + 4, s = 2*x for m.
0
Let m(r) = -r**3 + r**2 - r. Let v be m(0). Solve s + 9 = -2*j - v, -j = -5*s - 12 for s.
-3
Let v be ((-2)/1)/(6/(-12)). Suppose -33 = 5*b - 4*j - v, 5*j - 16 = 4*b. Let o be (-6)/b + (-8)/(-6). Solve -o*i + 10 = -4*f, 3*i + 2*i = -5*f - 35 for i.
-3
Let k = -169 + 209. Solve -3*d - q = 8, d - 16 = 5*q - k for d.
-4
Suppose 5*w - 8 = 3*r + 10, 2*w - 4*r = 10. Suppose -4*i + 9*o = 4*o + 20, 0 = -w*i - 5*o + 20. Solve -3*l + 4*d + 20 = i, 5*d + 3 = -3*l + 5 for l.
4
Let a = 83 + -82. Suppose 5*j + h - 21 - a = 0, -5*h = 3*j. Solve 2*r + j*f - 1 = 0, 4*r + 10 + 3 = 5*f for r.
-2
Let w be (-9)/((-20)/8 + 3). Let r be -1 - 1 - w/2. Solve r*p - 3*p = 5*i - 24, -9 = -3*i - 3*p for i.
4
Let i = 13 + -8. Suppose -4*u + i = -7. Solve 0 = 5*m + 2*x + 26, 5*m + u = 2*x - 11 for m.
-4
Let y = -168 - -171. Solve 3*a = i + 5, y*a + 4*i - 5 = 5 for a.
2
Let j be ((0 - 0)/(-4) + 2)*-1. Let t be (-8)/(-28) - (54/(-7) - j). Solve -22 = 2*m + 4*h, 4*m - t = -h - 29 for m.
-5
Suppose 0 = j + 2*z - 26, 4*z + 6 = j - 8. Solve -2*a = -r + 10, r + 3 = 5*a + j for a.
-3
Let d(v) = -v**2 - 10*v + 13. Suppose -7 - 3 = -2*o, -g + 2*o - 21 = 0. Let b be d(g). Solve 2*t = 5*f + 15, -b*t + 4 = 5*f - 1 for t.
5
Let y = -1596 - -1596. Solve 0 = -5*u + 4*n + 25, -5*u = -y*u + 3*n - 25 for u.
5
Let n be -65 - -56 - (-20 + 2). Solve 5*s + 5*f + 25 = 10, s - 5*f = n for s.
-1
Suppose -17 = -w - 3*c, 3*w + 0*c = 4*c - 14. Solve -4*k - a + 14 = -2*a, -4 = -2*k + w*a for k.
4
Suppose -16 + 4 = -3*j. Suppose 36 + 33 = 23*g. Solve -q - 6 - 7 = -g*h, -16 = -j*h + q for h.
3
Let x(u) = u + 1. Let v be x(2). Let p = -15 - -2. Let j = p + 18. Solve 4 = -0*a - 2*a + j*t, 2 = -a + v*t for a.
-2
Let x = 81 - 65. Solve 5*f - 3*t = -x, 2*f = 5*t - 2*t - 1 for f.
-5
Let x(b) = -b**3 - 6*b**2 + 52*b - 31. Let p be x(-11). Solve 2*t - 17 = 5*g, -5*t - g = p*g + 4 for t.
1
Let o be ((-23)/(-3))/(1 + 91/(-84)). Let d = -89 - o. Solve 0*w + 5*w - d*b - 8 = 0, w = -3*b + 16 for w.
4
Let k(b) = b**3 - 14*b**2 + 13*b + 4. Let u be k(13). Solve 3*z = -3*i - 0*z - 3, u*i - 2*z = 26 for i.
4
Let c(h) = 1 + 0*h - 2*h - h**2 - 5. Let g be c(-5). Let x = 23 + g. Solve 17 = 4*w - b, x*b + 2 - 9 = w for w.
5
Let q = -337 + 368. Solve 0 = 4*c + 5*y - q, 2*y + 0*y + 10 = 4*c for c.
4
Suppose 4*o - 6*o = -14. Suppose -o*y + 14 + 7 = 0. Solve -4*d = -y*n - 29, 6*n - 2*n + 27 = 3*d for d.
5
Suppose 0 = 3*c + 3, l = 4*c - 0*c + 26. Solve 4*k + 3*v - l = 0, 2*k - 2*v + 7*v - 18 = 0 for k.
4
Let m(i) = 6*i - 34. Let j be m(6). Solve -s + 4 = 3*o, -5*o = -j*o - 3*s - 12 for o.
2
Let z(h) = h + 3. Let n be z(17). Let s = 17 - 32. Let j = n + s. Solve j*x = -3*a + 7, -x - 5 = a - 2*a for x.
-1
Let g = 228 - 217. Solve k = -0*k - 2*t - 4, -k + 3*t = -g for k.
2
Let m be -4*(1 - 0) - 2/(-1). Let u(z) = 2*z**2 - 6*z - 1. Let c be u(m). Solve -3*s = 5*w - s - 11, -5*w + 2*s + c = 0 for w.
3
Let h(g) = 2*g**3 + 15*g**2 + 18*g + 2. Let k be h(-6). Solve -5*r - 2*u - k*u = -32, u + 5 = 2*r for r.
4
Let i be (-4)/(-10)*(-4 - 1878/(-12)). Let l = -57 + i. Solve -4*w = l*z + 16, -2*z - 9 = -2*w + 3*w for w.
1
Suppose -4*g + 3*g = -7*g. Solve g*l + 4*l + 5*x + 17 = 0, 3*x = 2*l - 19 for l.
2
Let b(i) = -3*i - 1. Let h be b(-2). Suppose -3*w + 2*v + 14 = 0, -v = -h*w + 2*v + 23. Solve 0*z - z - f - w = 0, 5*z = 5*f for z.
-2
Suppose 1515*p - 1513*p - 6 = 0. Solve g = 6*z - z - 1, -5*g = -p*z + 5 for g.
-1
Let l be (-3*(-1)/6)/(2/28). Suppose l*g - 5*g - 4 = 0. Solve 1 = g*f - 3*k + 11, -3*f - 15 = 3*k for f.
-5
Let g = -2 + 6. Suppose -25 = -g*q + 5*q. Let p = q - -50. Solve 5*l = -2*t + 2, 0 = 3*l - 4*t - p + 3 for l.
2
Let s = 389 - 375. Let m be (6/(-5))/(4/(-10)). Suppose -m + 13 = 2*u + 3*z, 4*u = -3*z + s. Solve -3*w = -u*p - 6, 5*w - 4*p = 2 + 6 for w.
4
Let m be -3*(-2)/6*4. Let b be (-136)/22 + 10/55. Let t(y) = y**3 + 5*y**2 - 9*y - 8. Let d be t(b). Solve 4*i + o + o = -d, m*o = -4 for i.
-2
Suppose -30*z - 18 = -27*z. Let f(b) = b**2 + 5*b + 4. Let l be f(z). Solve -n - l = 4*m, m + 4*n = -1 + 6 for m.
-3
Suppose 3*j = -11 - 4, -s + 3*j = -20. Solve -3*h - 3*l + 0 + 12 = 0, 0 = 2*h + s*l - 14 for h.
2
Let o(i) = -i + 17. Let k be o(14). Suppose 0*x + 6 = -2*x. Let g = x - -14. Solve -h + 4*n = -0*n + g, -5*h + 37 = k*n for h.
5
Suppose -11*a = -a - 90. Suppose -a = 2*b - 19. Solve 3 = -b*h - 5*r - 2, -4*r = 20 for h.
4
Let o be (6/(-16)*-2)/((-9)/(-60)). Suppose 3*w = -o*m + 13, m + 