i, 2*w - c*i + 2 = x for w.
5
Suppose 7 = d + 4*k + 19, -4*d + 28 = -3*k. Let v = 7 - d. Solve -v*x = 9, 0 = q - 0*q + 4*x + 8 for q.
4
Let s(g) = -2*g. Let o = 4 + -6. Let l be s(o). Solve 3*b - 1 = -l*f + 3, f = 2*b + 1 for f.
1
Suppose 3*n + n = 12. Suppose o = -n*o. Solve 4*u - w = 9, 4*u - 3*w + 5*w - 6 = o for u.
2
Let y be (10/35)/((-4)/(-7))*10. Let s be (-1)/2 + 7/2. Solve -11 = -2*z - s*i, 0 = 5*z - 2*i + y*i - 14 for z.
1
Let i = 47 + -17. Suppose -i = -5*y - 5. Solve -2*b + 1 = -3*p - 1, y*p + 5*b = 5 for p.
0
Let m be (7/2)/(-7)*0. Suppose -5*f - 3*x + 3 + 4 = m, 0 = -f - 4*x - 2. Suppose 2*o = -t + 38, 4*o - 48 = 3*t + 18. Solve -u + o = f*w - 7*w, -6 = w + u for w.
-4
Suppose -v + 30 = 5*n, v - 20 = -3*n - 0. Solve 15 = -3*z, -4*g - v*z + 0 = 13 for g.
3
Let l be 2/3 + (-6)/9. Let k(w) = -w**2 - 12*w - 7. Let q be k(-11). Let p = q + l. Solve 5*z - 2*t + 3*t + 8 = 0, p*z + 10 = -2*t for z.
-1
Suppose 3*d + 0*d = -27. Let f be ((-210)/d)/(2/3). Solve 0*q - 4*h - 30 = 2*q, -2*q - 5*h - f = 0 for q.
-5
Let p = -3 - -11. Suppose p*d - 4*d - 24 = 0. Solve o + 6 = c, c + 2*c - d = -3*o for c.
4
Suppose 13 = -3*l + 2*u - u, -u = -1. Let r = -7 - l. Let h be 1/(-3*r/27). Solve 2*c + 5*b - 21 = -8, 4*c - 5 = -h*b for c.
-1
Suppose 4*f + 5*n = -4, -6*f + 5*n = -f - 40. Solve 2*m - f*g + 7*g + 19 = 0, -2*m - 13 = g for m.
-5
Let y be (-1 - -1) + (0 - 0). Let v(s) = s - 9. Let d be v(14). Suppose -w = -d*w + 4. Solve 5*i + 10 = 5*f, y = -0*i - i + w for f.
3
Let r(l) be the third derivative of 1/24*l**4 + 2*l**2 + 0*l - 7/6*l**3 + 0. Let n be r(9). Solve -3*q = 2*w - 2*q + 3, w + n*q = 0 for w.
-2
Suppose 3*g = -8 + 20. Solve -3*p + 2*v - 3 = 2, -21 = -5*p - g*v for p.
1
Suppose 0 = -2*y - 2*f + 10, f + 8 + 3 = 3*y. Solve -1 - 4 = -y*g + r, 0 = -3*g - 2*r + 12 for g.
2
Suppose 0 = 4*o - 6 - 22. Solve -3*a - 7 = 4*y, -5*a = o - 22 for y.
-4
Let f be (-2*6)/(2/(-47)). Let v be (2/6)/(2/f). Let x = 66 - v. Solve p + s + x = -4*s, -2*p - s - 2 = 0 for p.
1
Let h = 34 + -32. Solve -10 = h*c + 5*z, -c + z - 4 = 1 for c.
-5
Let r(s) = -s**3 + 10*s**2 + 10*s + 13. Let b be r(11). Solve b*v - 7 = -v - 5*a, 2*v - 3*a = 11 for v.
4
Let s be (1*(-4)/1)/(-2). Suppose s*k - 6*k = 0. Suppose 0*j + 2*j + 2*q = 6, 3*j - q = 13. Solve j*g + 2*v - 4 = 6, 4*g - 3*v + 5 = k for g.
1
Suppose -4*x = 1 - 25. Suppose -120 = x*o - 11*o. Suppose 5*y = y + o. Solve -3*f - 2*z = 11, 3*f - 2*z = z - y for f.
-3
Let i(g) = g - 2. Let r be (2/4)/(2/(-16)). Let x be (-1)/r - 21/(-12). Let w be i(x). Solve 0 + 2 = -3*b - k, w = 3*b - 2*k + 14 for b.
-2
Let j = 125 + -118. Solve 5*y - 25 = 2*n, 5*n + 12 = -2*y - j for n.
-5
Suppose 3*x - 23 = -5*v + 12, 3*x - 15 = 0. Suppose -33 - 9 = -3*w. Let f = w + -10. Solve 2*p + f*g + 28 = 4*p, -v*g = 20 for p.
4
Let k be 0 - (-6 + (6 - 4)). Solve 0 = n + 3*q, 4*n + 3*q + 5 = -k for n.
-3
Let y(q) = q. Let b be y(2). Suppose -6*o = -3*o - 36. Let r = o - 1. Solve 0 = t + 5*v - r, -b*v = -4*t - 31 + 9 for t.
-4
Let r be 412/8 + (-1)/(-2). Suppose r = y + 3*y - 4*x, 0 = 3*y + 5*x - 7. Let t be 39/y + (-2)/6. Solve 0 = 2*b - v - 1, 4*v + t = b - 0 for b.
0
Let h(c) = -2*c. Let k(d) = -d - 1. Let f(m) = -3*h(m) + 4*k(m). Let g be f(5). Let x = -1 + g. Solve -b + x*n + 13 = 0, 4*n + 0 = 5*b - 2 for b.
-2
Let i be 0 + -2 - (-6)/3. Solve i = -h - 3*y + 10, 2*y - 5 = -3*h - 2*y for h.
-5
Suppose z + 2 = -3*j + 3, -z - 7 = -j. Let i(w) = -2*w + 3. Let r be i(2). Let d = j - r. Solve 8*x - 3*n = d*x + 16, 3*x - 18 = -n for x.
5
Suppose 3*z - 5 = -2*p, 0*p + 9 = 3*p + 3*z. Let d(t) = t**2 + 9*t + 12. Let y be d(-8). Solve -5*b - 8 = -p*l - 4*b, 2*b = -4*l - y for l.
1
Suppose -3*x + 27 = -21. Suppose 4*y = -0 - x, -4*l = 4*y + 4. Solve 0 = -4*r + l*o + 14, 2*r - 23 = -r - 4*o for r.
5
Let f(s) = -s + 1. Let j be f(-1). Let v be (-2)/(((-3)/(-9))/1). Let u be v/4*32/(-24). Solve -u*m - m = -5*d - 17, 2 = -j*m for d.
-4
Let y be 11 + (-6)/2*-1. Solve 6*c + 5*v = 2*c - 6, 3*v - y = 2*c for c.
-4
Suppose 10 = 7*r - 2*r. Solve -12 = -y + 3*y + 5*o, -y - r*o - 4 = 0 for y.
4
Suppose 0 = -t - 3, -t - 22 = -4*d + t. Suppose -d*q - 8 = -0*q. Let b(f) = f**3 + 2*f**2 + 2. Let k be b(q). Solve o + 1 = -s, 3*o - 5 = k*s + 2 for s.
-2
Let f(y) = y**3 + 21*y**2 + 37*y - 14. Let u be f(-19). Solve -3*d = u*r - 10, -2*d - 3*d - 8 = -4*r for r.
2
Suppose -4*d - 16 - 28 = 0. Let c be (-8 - d)/((-6)/(-26)). Solve 5*k = 3*q + 11, 5*k - 45 = -4*q - c for q.
3
Let f = 26 - 22. Solve -3*m + f*k - 8 - 1 = 0, -5*m + 2*k - 15 = 0 for m.
-3
Let k = 129 - 125. Solve 3*v + 4*o - k = 0, -v - 2*o + 3*o - 8 = 0 for v.
-4
Suppose -6 + 18 = 5*z - 4*y, -5*z + 5*y = -15. Suppose -5*s + z*v + 12 = -3*v, 0 = 4*s + v - 13. Let c = -4 + 9. Solve -s*h = 0, k + 4*h = -h + c for k.
5
Suppose 2*a = 6*a. Let d(q) = -q + 9. Let l be d(0). Let n be l*(-2)/(-2) + 3. Solve a = v - 4*v + 6, n = 2*g + v for g.
5
Suppose 19 - 7 = 3*f. Let l = -5 - -19. Suppose 2*y - 5*c + 0*c = 58, 0 = 2*y + 4*c - 22. Solve -5*b - m + 2*m - y = 0, -f*b = -2*m + l for b.
-4
Let j = 34 - 31. Solve -t - 6*n - 2 = -j*n, -5*n + 10 = 5*t for t.
4
Suppose 6 = 4*p - 2*p. Let v = 2 + p. Suppose 3*z - 2*z - 1 = 0. Solve v*a = 5*b, b = a + a + z for a.
-1
Let k be 6/1 - 0/1. Let w = k - -3. Solve 3*z = -3*b + 3, -w = -0*z - 3*z + 3*b for z.
2
Suppose -4*c - 22 = -d, -2*d + c + 2*c = -19. Suppose 0 = -3*s - 9 + 24. Let r = s - d. Solve -3*q = r*w - 24, 2*w = w + q for w.
4
Suppose -3*r + 85 = -8*r. Let p = r + 26. Solve 0 = 3*d + p, -i + 5*d + 23 = -3*i for i.
-4
Suppose -4*t = -3*b - 29 + 4, 4*t = b + 19. Solve -3*o - 5*v + v = 13, 0 = -t*o - 5*v - 16 for o.
1
Let q(j) be the first derivative of -j**3/3 + j**2 + j - 3. Let o be q(-5). Let n be (o/4)/((-2)/4). Solve -3*s = -2*s - 4*a - 16, 2*s = 5*a + n for s.
-4
Let c(i) = 2*i - 8. Let h be c(7). Let b = h + 0. Solve -2*m + 2 = 3*o, 4*m + b = 5*o + 6*m for o.
2
Let j be ((-45)/(-6) + 0)*-2. Let w = -11 - j. Suppose w*t + 3*z - 81 = 0, 4*z + 29 + 38 = 3*t. Solve i = 2, -7 = 3*l + 4*i - t for l.
2
Let r = -18 + 21. Solve 2*g + 6 = 2*t, 5*g + r = -5*t + g for t.
1
Let r(t) = -5*t - 11. Let p(d) = -d. Let h(i) = 6*p(i) - r(i). Let v be h(6). Solve x - 3*x = -4*c - 18, 0 = v*c - 4*x + 24 for c.
-4
Let n(l) = 5*l**2 + 21*l - 4. Let x(f) = f**2 + 4*f - 1. Let k(j) = -2*n(j) + 11*x(j). Let y be k(-5). Solve -3*s - 3*w = -y, 16 = 4*s - 0*w + 2*w for s.
4
Let g = 37 + -23. Solve 4*t = -d - 6, -d + 7 - g = 5*t for d.
-2
Let w(k) = k**3 + 7*k**2 - 7*k + 10. Let r be -5 + 0/(-3) + -3. Let u be w(r). Solve d = 2*c - d, 3*c - 4*d - u = 0 for c.
-2
Suppose -3*c = -0*c - i + 3, 12 = 4*c + 4*i. Solve -w + 0*w - 2 = c, 2*w = -5*x - 14 for x.
-2
Let p be 17/3 + 4/(-6). Solve -p*y + 2*y + 3 = 0, -5*f = -y + 6 for f.
-1
Suppose -4*r + 51 = 7. Suppose 25 = r*t - 6*t. Solve -3*s + b + 8 = -3*b, 4*b + 16 = t*s for s.
4
Let d(f) = -f**2 + 3*f + 2. Let c be d(2). Let g = -2 + c. Solve 0 = 2*r - 4*z + 2, 3*r + 4 = g*r + 5*z for r.
1
Let l = -24 - -29. Solve -i - i = -l*n, -2*n - 6 = -2*i for i.
5
Suppose -2*x - x = 2*z, -x - 3*z - 7 = 0. Let f be x - -1 - 1/(-1). Solve -o + 1 = f*v, -4*v + 12 = -3*o - v for o.
-3
Let o be ((-18)/(-21))/(1/21). Let w be (12/o)/((-4)/(-6)). Let j be 1 + 1 + w*3. Solve -20 = -5*g, 18 = 2*t - t + j*g for t.
-2
Let c be (20/12)/((-5)/(-6)). Suppose 0 = -3*g + g + c. Solve o = -5*n - 16, 2*o + g = -3*n - 3 for n.
-4
Let k be -1 + (-2)/6*-3. Solve -f - 3*s - 13 = 0, 3*f + k - 3 = 5*s for f.
-4
Let c = 8 - 8. Suppose c*g = -2*g + 40. Solve 4*n - g = -4*a, -6*a = -3*a + 2*n - 11 for a.
1
Let u = 53 + -36. Suppose -u - 14 = -r. Solve -4*w - 2*q + 18 = 0, -3*w - 6*q + r = -q for w.
2
Let o = 71 + -70. Solve 0*r = -r - y + o, 0 = -r - 3*y - 1 for r.
2
Let j = 10 - 8. Solve z + 2*t = 4, -2*t = -z + 6 - j for z.
4
Let r = 1 + 3. Suppose 5*p = -3*v + 4*v + 6, 48 = 4*v + r*p. Solve -22 = -4*m + 2*u, 5*m - 3*m + u - v = 0 for m.
5
Let h(c) = c**3 - 6*c + 7. Let q be h(2). Solve q = -3*y + 3*u, 4*u + 3 = -4*y - 17 for y.
-3
Suppose -3*w - 3*w = 0. Solve 4*c = w, -c - 6 = -2*q - 0*c for q.
3
Suppose -2*t + 0*t - 27 = 3*u, -3*u + 3*t - 42 = 0. Let a = 15 + u. Solve -10 = 2*h, a*k + 2*h - 15 + 5 = 0 for k.
5
Let g be 0*(-3 + 21/6). Suppose g = -2*n + 8 + 8. Let i = -8 - -13. Solve i*