d = w for g.
3
Let z(p) = -2*p + 8. Let f be z(6). Let i be f/(-4 - (1 + -3)). Suppose i*w - 4*j = 38, 4*j = w - j - 7. Solve 0 = 4*x - 5*r - w, 0 = x - 2*x - r for x.
3
Suppose -5*o + 16 = -2*l, 5 - 17 = 4*l - 5*o. Solve -l*w = 4*a - 8, -2*w - 6*a + 5 = -3*a for w.
-2
Let g be -2*(18/4)/(-3). Suppose -33 = -6*t - 5*t. Solve -3*z = -d - 8, 19 = -5*d - g*z - t for d.
-5
Let x be 33*(7/(-3) - -3). Let r be 33/x - (-10)/4. Solve -d - r*y = -5*d + 24, 0 = -3*d - 4*y - 17 for d.
1
Suppose -5*y - 40 = 5*f - 140, 5*y = -3*f + 90. Suppose -3*q = -y, 2*c = 2*q - 5 + 1. Solve 2*l = -8, 0 = -c*n - 0*n + 3*l + 6 for n.
-2
Let x = 26 + -26. Suppose 3*h + 2*o - 53 = x, -2*h + 2*o + 46 = -2*o. Solve a + 0*s - 5*s + 11 = 0, -s = 4*a - h for a.
4
Suppose -2*g = 2*g - 16. Suppose i - 3 = g*i. Let c be i/5 - 32/(-10). Solve -f + 5*y - 11 - 15 = 0, c*f + y = 2 for f.
-1
Let l(u) = u**3 + 8*u**2 + 9. Let v be l(-8). Solve 21 = -4*o + 2*i + 3*i, -2*o - v = -i for o.
-4
Suppose 0 = -v - 3*y + 2*y + 1, -3*y + 1 = 2*v. Let h = -4 - -2. Let o = h + v. Solve o = -4*i - 4*d - 24, -3*d = -4*i - 9 - 8 for i.
-5
Let q be -1 + 1 + 0/(-4). Solve 2*f - 2*d = -2, q = -d + 2 for f.
1
Let p(c) = -c**3 - 5*c**2 - 2*c + 6. Let d be p(-5). Let q = d - 8. Solve 4*a + q = 0, -3*a + a = -4*w + 8 for w.
1
Suppose 0 = -2*m + 16 - 6. Suppose m*a - 30 + 5 = 0. Solve d + l + 7 = 0, -a*d - 4*l - 9 = 21 for d.
-2
Let a(f) be the third derivative of f**5/60 - f**4/12 - f**3/6 - 3*f**2. Let i be a(-1). Solve -5*m = 2*x + 3 - 12, i*m = 3*x + 15 for x.
-3
Let o(x) = x - 6. Let v be (-12)/30 + 32/5. Let l be o(v). Solve l = 5*n - 4*f + 9, 5*n + 26 = -f - 3 for n.
-5
Let v(c) = -c**2 - 9*c + 10. Let f be -3 + 5 - 4*3. Let q be v(f). Solve -p - o - 5 = q, 3*o = 2*p - 2*o - 18 for p.
-1
Suppose -2*g - 4*k = -24, 0 = -g + k - 0*k. Solve 2*b + 11 + 7 = 5*y, 8 = -g*b + 3*y for b.
1
Let s = 8 - -4. Let j be 12*(15/(-4))/(-3). Suppose -3 = 4*h - j. Solve -5*f - 21 = g, -h*f - s = -0*f for g.
-1
Suppose b - 4*b - 2 = r, 10 = 3*b - 5*r. Solve -6*x + x - 22 = 3*u, 4*x + 5*u + 15 = b for x.
-5
Suppose -l - 2*l = 0. Suppose 3 - 3 = -10*o. Solve l = -n, 1 = -o*q - q + 5*n for q.
-1
Suppose -2*b = 2*b. Solve -5*d + 0*i - 5*i + 10 = b, 5*d = 2*i + 10 for d.
2
Let m be (-1 - (-15)/3)/2. Suppose 5*y = 2*d - 11, -4*y - 19 = -5*d - 0*d. Solve -2*u + m = -t, d*u - 2*t = t + 6 for u.
0
Let a = 32 + -15. Solve -7 = 3*w - n + 10, -2*w - 5*n + a = 0 for w.
-4
Let r(d) = d - 3. Let b be r(5). Solve b*j + 4*i + 17 = -3*j, -j + 2*i = -5 for j.
-1
Suppose -3*l + 18 = 3*q, -4*q = -0*l + 3*l - 20. Let c be q/1*(-3)/(-2). Solve -c*p + 0*k + 32 = 4*k, k = 5 for p.
4
Suppose -4*f = d - f - 5, 5*f = 0. Let y be ((-6)/4)/((-1)/18). Let o be (-2)/3*y/(-6). Solve x - 1 = -2*h, d*h + o*x - 4 + 2 = 0 for h.
1
Suppose j - 36 = 4*o - j, -4*j = -o - 16. Let y = 13 + o. Solve -5 = -y*c, 5 = 2*h - 2*c - 1 for h.
4
Suppose 5*g = g. Solve 0*s - 5*s + 3*z + 14 = g, 2*z = 2*s - 4 for s.
4
Let k = 8 + -5. Let l be 15 + (4 - 1) + -3. Solve -k*c + 3*v + 0*v = -l, -4*c + 3*v + 20 = 0 for c.
5
Suppose -7*o = -8*o + 1. Let f be (2 - -1) + (o - -2). Let i be (8/(-6))/((-4)/f). Solve i*n + 12 - 3 = -h, -h + 16 = -3*n for n.
-5
Let t(j) = j**2 + 6. Let l be -1 - (1 + -3)/2. Let s be t(l). Suppose m - s = -1. Solve n - p + 10 = 2*n, -n + 30 = m*p for n.
5
Suppose 3*r - 2*o = 14, 0*r + o = -5*r + 19. Let x(b) = b**2 - 4. Let j be x(3). Solve -r*v + 30 = j*u, 5*u = 6 + 4 for v.
5
Let i(u) = -2 + 6 - 2*u + u. Let j be i(0). Solve 3*r - j*d - 7 = 0, 2*r + 2*r - 2*d = 16 for r.
5
Let o(c) = 6 - 1 + 8*c**2 - 2*c**3 + 9*c + c**3. Let t be o(9). Let b be 56/16*8/7. Solve 0 = 3*j + 15, -z = -b*z - j - t for z.
0
Suppose -4*u - 25 = 7. Let t = 11 + u. Let f(s) = -s**2 + 8*s + 4. Let i be f(8). Solve 0 = -4*b - i, b + 4 = 2*w - t*b for w.
0
Suppose -346*o + 9 = -343*o. Solve -5*a + 6*t - o*t + 7 = 0, a = 2*t for a.
2
Let s(o) = -o + 13. Let v be s(7). Let h(k) = k - 4. Let y be h(v). Solve y*q + w + 2 = q, -5*w = 10 for q.
0
Suppose q + 3*q - 16 = 0, -5*q = 4*r - 68. Let d(f) = 4*f**2 - f + 1. Let j be d(1). Suppose 7*z - 3*z = 0. Solve z*y - j*y = -r, h - 5*y = -20 for h.
-5
Suppose -4*g + 2*c = 2, -2*c - 3*c + 25 = 0. Solve 3*m - q - 4 = 0, -2*q + 1 = -g*m - 3 for m.
3
Suppose 5*w - 35 = -0*w. Let m be 0/(-1)*(-2)/(-4). Suppose o = 2 - m. Solve w*h - o*h - 5*b = 0, -b = 2*h - 15 for h.
5
Suppose 0*y + 3*y - 18 = 0. Suppose 4*q - y*q + 4 = 0. Solve -q*r = b - 11, -5*b + 43 - 13 = 5*r for b.
1
Let q(h) = 10*h**3 + 8*h + 5. Let b(t) = t**3 + t + 1. Let i(o) = -6*b(o) + q(o). Let s be i(1). Solve -5*y = -20, -k + y = s*y - 13 for k.
-3
Suppose -4*d - 3*a = 45 + 54, -2*a + 87 = -3*d. Let s be (-1)/(d/12 - -2). Solve -s*y + 4 = -3*j, 4*j - j + 10 = y for y.
-2
Let i(b) = b**2 + 16*b - 13. Let a be i(-17). Solve 4*x = 5*o + 20, 2*x + 0 = o + a for x.
0
Let f = -7 + 4. Let l be (2 - (-1 - f)) + 2. Solve 3*m + 15 = 0, l*t = 6*t + 4*m + 32 for t.
-3
Let j = -16 + 19. Solve 5*v + j*l + 2*l + 10 = 0, 0 = 5*l + 5 for v.
-1
Let u(s) = -2*s**2 - 30*s. Let j be u(-15). Solve -5*p = -n - 0*p + 12, -n - 2*p - 9 = j for n.
-3
Suppose 2*o - o - 11 = 0. Let d = 11 - o. Solve 5*r - 3*t = 5, 0 = -r + t - 1 - d for r.
4
Let o(j) = j**3 + 5*j**2. Let g be o(-5). Suppose -17 = -4*y + 3*i, 8 = -2*y - g*y - 4*i. Solve -3*v = u - 10, v - 6*u = -y*u - 1 for v.
3
Suppose 6*i = 4*i - 2, 3*z = 3*i + 15. Suppose 0 = -b + 5*x - 18, 8 = 2*b + 3*x - 8. Solve -m = 5*n - 19, -24 = -z*n - b*m - m for n.
3
Let t = 16 - 11. Suppose -5*m - 45 = -t. Let j(n) = -n - 6. Let f be j(m). Solve -a - f*y - 1 - 3 = 0, -2*a + 7 = -y for a.
2
Let t = -4 - -8. Suppose -8 = 4*c + 4*u + 4, 12 = -t*u. Let n = 2 - c. Solve 0 = 2*j - i + 6 + 1, 0 = n*j + 3*i + 3 for j.
-3
Let z(q) = q**2 + q - 8. Let h be z(-6). Solve -4*x - 2*v = -3*v - 23, 5*x + v - h = 0 for x.
5
Suppose 0 = -4*a - 19 - 77. Let y = 27 + a. Solve -2*l - y*j + 2*j = 6, 2*j = -2*l - 10 for l.
-1
Suppose a + 6 = 9. Solve 0 = 4*g - 5*j + 30, -a*g - 5 = 5*j - 0 for g.
-5
Let x(c) = c**3 + 6*c**2 + c + 8. Let f be x(-6). Let m = f - -3. Solve 0 = 3*p + g + m, -p - g - 1 = -2 for p.
-3
Let d(f) = -f**3 + 2*f**2 - 2*f + 1. Let x be d(1). Solve -4*z = 0, -l + x = 5*z - 2 for l.
2
Suppose t = 1 + 1. Suppose 3*y + t*l = -l + 57, 2*y + 5*l = 50. Suppose 3*s - y = -0*s. Solve d - 25 = -s*x + 3*d, -4*x + 5*d = -37 for x.
3
Suppose 3*t = 5*o + 11 - 45, 3*o - 3 = -4*t. Suppose o*s - 25 = -5. Solve s*l - 15 = -l, -l + 15 = 3*u for u.
4
Suppose 0 = 4*m + 2*n - 20, -m + 3*m + 6 = 3*n. Suppose 5*t = m*t. Let h = t - -3. Solve -3*w = -l - 12, 12 = 4*l - l + h*w for l.
0
Suppose -3*j + 19 = -5*d - 10, -d + 2 = 2*j. Suppose 0 = i + p - 1, -5*i + 1 = 4*p - j. Let s = 5 - i. Solve 2*g + t + 6 + 8 = 0, s*g = 4*t - 9 for g.
-5
Suppose 6 = z + 2. Let n be 44/20 - 4/(-5). Solve 2*c + 5 = d + 14, z*c - n*d - 17 = 0 for c.
5
Let r(z) = 11*z - 3. Let p be r(-3). Let n be (p/14)/((-6)/28). Solve 2*o + 3*b + 17 = o, 4*o = 4*b + n for o.
-2
Let t = 7 - 11. Let j be t/5*5/(-2). Let z be 8/(-18)*27/(-6). Solve -8 = z*a - j*k, 0 = -3*a + 4*k - 0*k - 11 for a.
-5
Suppose 0 = -5*z + 2*j + 19, -3*z - z + 11 = -3*j. Solve -z*g + 31 = -v - v, 3*g - 21 = 2*v for v.
-3
Let i be -2 + 7 + 1 - 3. Solve 3*s + 13 = 5*z + 3, 0 = i*s - z + 14 for s.
-5
Let a be -3*(12/(-4) + 2). Solve 2*u + 8 = 2*g, 0 = -0*g - a*g + 5*u + 10 for g.
5
Let y be -4*((-1)/(-2))/1. Let x be (y - -2)/(-2 + 0). Solve 3*z + x = -2*p + 4, 0 = -3*p + 4*z + 6 for p.
2
Suppose -b + 3 = -1. Suppose 0 = 3*g - 6*g + 5*c + 54, -b*g + 72 = 3*c. Solve 26 = -3*o + 4*u, -4*o + 2*u - g = -0*o for o.
-2
Suppose -2*r = -5*g - 79, -2*g - 4*r + 38 = -4*g. Let f be (2 - (-14)/(-6))*g. Solve 2*c = 6*c - f*m - 8, 5*m = 0 for c.
2
Suppose -6*v - 108 + 132 = 0. Solve v*k + 1 = -3*f, -f = 4*k + f - 2 for k.
2
Let j be 14/21 - 10/(-3). Suppose 0*r + 3*r + 6 = 0. Let x = r + j. Solve 4*p + 8 + 4 = -n, 28 = -5*p + x*n for p.
-4
Suppose -2*v + 26 = 2*v - 3*n, -2*v - 4*n = -24. Suppose v = 2*s - 4. Solve b + p = s*b + 5, -4*b - 28 = 4*p for b.
-2
Suppose m + 128 = -8*x + 3*x, -2*x = 4*m + 512. Let g be (-4)/6 - m/12. Let p(t) = t**2 + t. Let o be p(-2). Solve -3*y + 2*d = -10, 0*y - g = o*y + 2*d for y.
0
Suppose 0 = -12*f + 21*f - 18. Solve 0 = -2*d -