d + 8 = 4*w, 5*w + x = -3*d for w.
-3
Suppose -20*y = 807 + 1713. Let f = -121 - y. Solve i = 2*m + 4*i + f, -5*m - 4*i - 9 = 0 for m.
-1
Let a(l) = 3*l + 46. Let j be a(-15). Solve -2*k - 9 = -4*d + 3*k, k = -j for d.
1
Let x = -49 + -26. Let w be 24/84 + x/(-7). Solve -3*j = -2*o - w, 2*j = 3*o - j + 9 for o.
2
Let l = 69 - 69. Suppose 0 = -3*c + 2*q + 23, c + 7*q - 4*q - 4 = l. Solve -4*z = -2*y + 22, 5 = 4*y - c for z.
-4
Suppose 6*r - r + w = 490, 0 = w. Let k be (-4)/(-14) - (-7)/(r/24). Solve -2*g - k*v + 4 = 0, 3*g + 2*v - v = 0 for g.
-1
Let j be ((-10)/(-6) - 1)*(1 - -2). Solve -f = -2*i - 5, 5*f - j*i = -7*i - 20 for f.
-1
Let t(q) = -2*q**2 + 40*q + 45. Let i be t(21). Solve 2*y - 15 = -i*y + z, 21 = 4*y + z for y.
4
Suppose q + 5*u + 11 = 0, -q = -2*u + 6*u + 7. Solve 0 = -5*f - w + q, w + 1 = -f + 2 for f.
2
Let m = 26 + -12. Suppose -15*v + 4 = -m*v. Let a be 1/2*(3 + 1). Solve -u = -4*p + v, -4*p + 2*u + a*u = -16 for p.
0
Let t be 1/(-2) - 24/(-16). Let r(x) = -11*x**2 - x + 2. Let f be r(t). Let b be (-2)/(-4)*f/(-1). Solve b*h + 2*s + 0 = -6, 3*h - 4*s - 12 = 0 for h.
0
Suppose 4*g = 5*o - 12, -3 = 3*g - 5*o + 11. Solve -g = -2*n - 0*n + 3*a, 0 = -5*n - 2*a + 24 for n.
4
Suppose 15 = 5*t - 0*t. Let w = 37 - 53. Let j = -13 - w. Solve 4 = 2*d - 3*d, 0 = -t*c - j*d - 12 for c.
0
Suppose 0 = c + 43 - 45. Solve j = 6*j - 10, 4*j = -c*b + 2 for b.
-3
Suppose -g + 5 = 3*z, 22*g - 19*g = -z - 1. Let v(a) = 2*a - 9. Let y be v(6). Solve -1 = -d - y, -z = 4*r + d for r.
0
Let g = -930 + 934. Solve -g*o = -3*m + 4, -4*m = -3*o + 2*o + 12 for o.
-4
Let a = 224 - 203. Solve -l - y - 2*y = -7, -5*y + a = 4*l for l.
4
Let v be (-3)/4 - 35/4*-1. Let z(x) = -x**3 + 9*x**2 - 10*x + 20. Let o be z(v). Solve -3*u = o*y - 12, y - 2 = -4*u + 1 for u.
0
Let b = -106 - -110. Suppose -b*d - 8*d = 0. Solve -3*n + 4*i - 7 + 24 = d, 0 = -3*n + 2*i + 7 for n.
-1
Suppose 3*d = -4*v + 82, -7*d = 4*v - 8*d - 74. Let k = -1 - -1. Solve -3*w + 4*m + v = 0, k = -3*w - m - 1 for w.
1
Let t = 346 - 346. Solve -2*n - 3*o + 0 - 6 = t, 0 = -2*n + 2*o + 4 for n.
0
Let g be 72/15 - 1/(-5). Suppose -5*k = g - 100. Let o = k - 17. Solve -3*m - o*m - 3*t = 0, 4*m - 4*t = 0 for m.
0
Suppose 7*t = -0*t + 49. Let d(a) = -a**3 + 9*a**2 - 10*a + 3. Let p be d(t). Solve 4*y + 3*n = -p, -5*n + 15 = -y + 36 for y.
-4
Let j be (-6)/(-4)*(-32)/(-16). Let t = -7 + 11. Solve x - t = 4*q + 1, -j*q = -2*x for q.
-2
Suppose -3*d = 5*h - 2, d - 3*d + 2*h + 12 = 0. Suppose 0 = 5*v - v - 8. Solve -a = d*w + v*a + 7, 2*w + 11 = a for w.
-4
Let g(w) = -w**2 + 10*w + 26. Let i be g(12). Suppose c + 4*b - 1 - 5 = 0, 0 = -i*c - 4*b + 8. Solve -16 = -2*z - c*h - 2*h, -z + 2*h - 4 = 0 for z.
2
Suppose 2*h - 6*h + 52 = 0. Suppose 5*t - 1 = 2*a - h, 8 = -4*t. Let y = 4 + a. Solve 4 + 6 = y*c, 0 = 2*r - 4*c + 14 for r.
-3
Suppose 0 = 3*s - 83 - 49. Let y = s - 40. Solve r + 2*k = -9 + 3, -y*r - 18 = 5*k for r.
-2
Let b = 96 + -93. Let c be 2 + 5/b + 14/42. Solve c = 4*h + v - 17, 3*h - 37 = -5*v for h.
4
Let l be (-16)/(-8) + 1 + -1. Let i be 2*((-36)/(-8) + -3). Suppose 2*c - 4 = -3*r, -c = 5*r - i + 1. Solve 0 = -5*f + 3*s + c*s + 25, -f + 10 = -l*s for f.
0
Let y = 1273 - 1269. Solve 0 = 2*d - y*k - 10, 7*d - 6*d + 2*k - 1 = 0 for d.
3
Let y(z) = -z**3 - 6*z**2 + 7*z + 4. Let w = -29 + 22. Let c be y(w). Let l = -21 - -24. Solve c*q - 2 = -2*f, -4*f + l*q + 26 = -0*f for f.
5
Suppose -64*g - 81 = -91*g. Solve 4*c - 21 = -m, -g*c + m - 6*m + 20 = 0 for c.
5
Suppose 16 = -3*i + 13. Let z be (i/2 - 10/(-20))*1. Solve 6*a - 3*a + 5 = -4*o, 5*o + 3*a + 10 = z for o.
-5
Let t = -14 + 18. Suppose -c - 1 = -t*v + 7, 12 = -3*c. Solve 35 = -5*p - 5*a, -4 - v = 3*p - 5*a for p.
-5
Let u(i) = i + 11. Suppose s = -4 - 4. Let c be u(s). Solve -c*g + 4*q - 31 = 0, 1 = 4*g + 3*q + 9 for g.
-5
Let r(m) = -m**2 - 2*m + 2. Let f be r(-5). Let w = 17 + f. Suppose -5*t + w*t = -5. Solve 2*z - t*g + 0 = -26, -5*z + 3*g - 27 = 0 for z.
-3
Let x be (2 + 103)*(-1)/(-3). Let d be x/10 + 1/2. Suppose 2*n = -4*q - d, -4*n + 2*q + 14 = -q. Solve -a + w - 11 = -3*a, -n*a - 3*w = -21 for a.
3
Let i be ((-8)/(-12))/((-2)/(-18)). Let l(t) = 13*t + 7. Let p be l(5). Let u be p/30 + (-4)/10. Solve 2 = 2*m + j - u, -i = -3*m + j for m.
2
Let g be (-7)/28 + 0 + 5/4. Solve g = -3*c + 8*c - 4*v, 5*c - 3*v - 2 = 0 for c.
1
Suppose -2*i + 3*i - 5 = -3*y, 5 = i + 2*y. Suppose i*s = 6*s + 30. Let o be (-220)/s - (-2)/(-6). Solve -q = -l - o, 4*l - 2*l + 24 = 4*q for l.
-2
Let q be (-32)/(-6) - 1/(30/40). Solve -4*o = 7 - 3, 16 = 5*j + q*o for j.
4
Suppose -12*v + 11 = 4*x - 15*v, 5*x - 9*v + 2 = 0. Solve -4*s - 2 = 2*n, 2*n + x*s = -3 - 2 for n.
5
Let w(m) = m**2 + 7*m - 13. Let f be w(-9). Let s = -4 - -6. Suppose 0 = -s*t + 5 + 1. Solve -f*u + t*u + 10 = 5*a, -4*a - 2*u + 8 = 0 for a.
2
Let h(x) = 14*x - 178. Let g be h(13). Solve -3*a + 6*m + 8 = 2*m, 2*m = 2*a - g for a.
0
Suppose -4*j = -5*v + 23, 5*v - 37*j + 41*j = 7. Solve 5*c = v*z + 10, -8 = -c - 3*c + 5*z for c.
2
Suppose 5*f - 83 = -263. Let i = -32 - f. Solve 5*q - 21 = -2*k - 0, -5*k - i*q + 10 = 0 for k.
-2
Let q = 9 - 5. Let g be 36 + (0 - (-8)/4). Let f = -34 + g. Solve -q*w + 0*w = -f*s - 12, -2*w - 18 = 4*s for w.
-1
Let b(r) = -56*r - 21. Let v be b(2). Let a = v - -133. Solve a = -3*g - 15, -5*l - 40 = 3*g for l.
-5
Suppose -r + 7 = 10, l - 2*r = 8. Solve l*d = 4*x - 2*d + 4, 3*x - 5*d - 1 = 0 for x.
-3
Suppose 0 = -151*j + 110*j + 287. Solve 2 = 4*c + 3*i, 18 = 4*c - 12*i + j*i for c.
2
Suppose 0 = -116*h + 15*h + 202. Solve -o - 1 = -3*c - 0, -2*o + h*c = 2 for o.
-1
Suppose 2*u - 34 = 30. Suppose -o - 3*o = -u. Suppose -6*s - 6 = -o*s. Solve 3*g - 4*h + 3 = 6, 2*h = s*g - 9 for g.
5
Let d = 15 + -22. Let q = -4 - d. Solve q*g + 3 = 0, -v - 2 = 3*g + 2*g for v.
3
Let q = -4 + 6. Let u(w) = -w + 11. Let x be u(2). Suppose 3*v - 3*i = 12, 5*v - 11 = -4*i + x. Solve 4*t + 16 = g, -q*t + 0*g = -v*g - 6 for t.
-5
Let z = 3 - -8. Suppose 0 = -6*b + 7*b + z. Let d be 2/(-3) - b/3. Solve 0*j + 4*j + 2*m = -2, 3*m = -d for j.
0
Suppose 4*p = 4*m + 16, 10 = 2*m + 3*p - 2. Solve m = 3*y + 3*x + 9, x + 4*x + 20 = 0 for y.
1
Suppose -2*c - 5 = -5*k, -k + 28 = -0*c + 5*c. Solve 0*u + 31 = 5*p + 3*u, k*p - 25 = -5*u for p.
5
Suppose 3*q + 3 = -a - 3, -a - 4*q - 9 = 0. Solve 3*m + 30 = 3*s, 9 = -5*m - a*s - 1 for m.
-5
Let l = -2 + -3. Let c be (-7 - -11)*l/(-4). Suppose 0 = -n + 3*p + 2*p + 9, -15 = -5*n - c*p. Solve n*o - 17 = -0*o + 5*v, 0 = 5*o - 5*v - 20 for o.
3
Let k(c) = 2*c + 3. Let q be (-3 + 3 - -1)*0. Let t be k(q). Let g = -8 + 12. Solve -5*n - 6*d + 15 = -t*d, g*d - 20 = 5*n for n.
0
Suppose 2*b + 0*b - 6 = 0. Suppose b = -l + 2*l. Let n = 21 - 16. Solve q = g + l, -n = -g - q - 0*q for g.
1
Let j be -4 + (6 - (-3 + 1)). Let f be 3 + 0 + (3 - j). Solve r = 2*z - 9, 2*r - f*z = 3*z - 21 for r.
-3
Let j = -202 - -115. Let p = j - -90. Solve n + p*n = -2*l - 26, -3*l = 15 for n.
-4
Suppose -16 = -3*k - k. Suppose -2*x = -k*x. Let v be (3 - -2)/(x - -1). Solve 3*z + 2 = 5*t, -4*z - 30 = z + v*t for z.
-4
Suppose -12 + 3 = -3*u. Suppose -7*k + 11 - 4 = 0. Solve u*p - 3 = 5*t, p = 5*t + 2*p - k for t.
0
Let v be -6*(36/(-108))/((-2)/(-3)). Solve -3*q - 27 = -v*s, -4*s + 2*q = -3*s - 14 for s.
4
Suppose 6*z = 3*m + 7*z - 7, 21 = 4*m - z. Solve q = -m*u - 17, u = 6*q - 3*q - 14 for u.
-5
Let p(q) = -3*q - 12. Let a be p(-5). Suppose a*f - 4*r = 7, -5*r = 3*f - 3 - 22. Suppose -93 = -n - 2*n. Solve 1 = 2*i + 3*l, 0 = f*i - 10*i + 2*l + n for i.
5
Suppose -307*p = -323*p. Solve t + w - 2 = 2*t, -4*t - 4*w + 8 = p for t.
0
Let o be 75/(-30) - (62/(-4) + 2). Solve -3*a = -9, -5*t - 43 + o = -4*a for t.
-4
Let l = 39 + -38. Suppose -65 = 2*g + 3*g. Let u = g - -32. Solve -j = -2*d + 2*j - u, 3*d + l = -j for d.
-2
Let h = 19 + -14. Let g(z) = 8*z - 2 + 6 - h + 0. Let m be g(3). Solve 5*c - 17 = 2*p, -5*c + m - 3 = -5*p for c.
3
Suppose 4*r - 36 + 4 = -4*z, 4*z = 5*r + 32. Solve 2*v + z = 4*v - 2*j, -4*j + 9 = v for v.
5
Suppose 5*y + 30 = 80. Suppose -2*o = -y - 16. Solve -2*a = -z + o - 5, 4*a = 4*z - 16 for a.
-4
Let u(i) = -2*i**3 + 14*i**2 + 18*i - 12. Let t be u(8). Suppose t*s - 6 - 2 = 0. Solve -3*m + s*z = 2*m - 1, 3 = -z for m.
-1
Let o(p) = p. Let w be o(3). Let