 -5*x, -2*x + 27 = 5*c + v for x.
-3
Suppose -2*a - 4 = -3*a. Suppose 3*q - z = 3, -q - 3*z - a + 5 = 0. Suppose -2 = 3*v - 4*v. Solve q = -4*w - v*s - 11, 4*w = 3*s - 22 for w.
-4
Suppose 0 = -5*m - b + 32, -3*m - 2*b + 10 = -12. Solve 0 = 5*z + 4*y + 27, -3*z + m*z + 6 = y for z.
-3
Let j(f) be the second derivative of -f**4/12 + 4*f**3/3 - 7*f**2/2 + f. Let u be j(7). Let q = u - -2. Solve 0 = -q*a - 2*c + 16, 16 = 5*a - 0*c - c for a.
4
Suppose 4*u + 20 = 8*u. Solve 4*n = 3*b + 18, -4*n + 2*b + 11 = -u for n.
3
Suppose -3*n = -6*n + 12. Solve v = -n*h - 2*v + 8, 0 = 4*v for h.
2
Let c be (3 - 5)/(8/(-20)). Let u = -8 + 16. Solve 0 = 4*n - 4*r, -2*n + c*r - u = -2 for n.
2
Let z(q) = -q**2 + 4*q - 3. Let x be z(2). Let g = x + 14. Solve -10 = 2*h - 4*o, 3*h + 2*o = -0*h - g for h.
-5
Let v = -1 - -1. Suppose -s + 2 + 1 = v. Solve -2*w = -w + 3, -4*w = 3*m + s for m.
3
Suppose -4*n + 20 = -0*n. Let s(f) = f + 1. Let r be s(n). Solve -2*z - 8 = -i + r*i, z + 4 = 2*i for i.
0
Let c(s) = 12*s + 1. Let r be c(6). Suppose -3*h = 5*z + r, -4*h + 0*z - z - 103 = 0. Let l be 9/6 + h/(-4). Solve -3*t - t = q - 5, 3*t - l = -5*q for t.
1
Let t = -6 - 28. Let j = t - -24. Let b be ((-16)/j)/((-2)/(-5)). Solve q - 2 = 4*r, b*q + 6 = 4*r - q for r.
-1
Suppose 0 = -3*p - 2*p + 20. Solve -p*y - 5*o + 11 - 2 = 0, 3*y = -2*o + 5 for y.
1
Let u be (-3)/2 - 34/(-4). Suppose u = -f + 3*r, -4*f - r + 20 = 3*r. Solve 0*x + x - 4*z = 4, 5*z + 5 = f*x for x.
0
Let z(y) = -y**2 + 8*y - 2. Let l be z(7). Suppose -3*v + d + 4*d + 5 = 0, 5*v + l*d + 5 = 0. Solve -h - 13 = -3*r, v = 2*r - 7*r - 4*h - 1 for r.
3
Suppose -2*g = -3*g + 1. Solve g = 2*n - 3*n + z, n + 6 = 2*z for n.
4
Suppose 9*k = 11*k - 6. Solve -37 = -2*m + 6*m - 5*t, k*m = 4*t - 29 for m.
-3
Suppose 14 = -b + 3*b. Let o(w) = -w**3 - 4*w**2 - w - 1. Let r be o(-4). Let t be 4/(-14) + 74/14. Solve -b*c + 4*c - t*k - 14 = 0, -3*c - r*k - 12 = 0 for c.
-3
Let n be 4/(-2) - (-2 - -3). Let v be -3*(10/n)/2. Suppose 0 = 2*r + d - 12, 0 = 3*r + v*d - 4 - 28. Solve 2*l - 3*b + 8 = 0, r = -2*l - 2*b + 3*b for l.
-1
Suppose 10 = -d + 2*p, -5*p + 6 = d - 12. Let w be 0*((-3)/d - 1). Solve 2*r = -3*f - 3, r - 2*f - 5 - 4 = w for r.
3
Suppose -3*d - 8 = -5*d. Suppose n + d*n = 25. Solve 0 = -5*k + 5*o - 25, 4*k + n*o - 2 = 5 for k.
-2
Let v(x) = 6*x - 2*x - x - 4 + 0*x. Let o be v(2). Solve o*g + 15 = 3*q, 2*g = -5*q + q + 20 for q.
5
Let m(v) = v**3 - 12*v**2 + 11*v. Let u be m(11). Suppose r - 3*g - 14 = 0, -r - r + 5*g + 24 = 0. Solve q + r*h + 11 = u, 12 = q + 2*q - 3*h for q.
-1
Let n = -6 + 6. Suppose -2*p + 5*p + 4*t - 29 = n, -3*t = -5*p. Let u(d) = d**3 - d**2. Let v be u(1). Solve 4*j = -2*a - 10 - 16, v = a + p for j.
-5
Let i(c) = -c**2 + 3*c + 2. Let k be i(3). Solve 5*s + 3 = 5*b - 2, -4*s = -k*b for b.
2
Let f(p) = p**2 + 4*p - 8. Let a be f(-6). Suppose -5*v = a*k - 16, 2*k + v = -0*v + 8. Solve 3*i + 3 + k = -5*c, 2*i - 5*c - 12 = 0 for i.
1
Suppose 4*y - 4 = -3*j, 3*y - 26 = -4*j + 8*y. Suppose j*p - p = 0. Solve 5*z - 35 = -5*u, -5*z + p = -15 for u.
4
Let g(d) = d**3 - 2*d**2 - d - 4. Let k be g(3). Suppose 4 = 2*i + 2*i. Let z be 1 + 4 - (i + 0). Solve -5*p - z*x - 17 = -2*x, 0 = k*x - 8 for p.
-5
Let z be (2 + 0)*5/2. Solve z*u - i - 11 = 0, 3*u = -2*u - i + 19 for u.
3
Let o be (16/(-28))/(-2)*(2 - -5). Let l be (-2 - -2)/(-1 + -1). Solve g + l = o*v - 15, -20 = 2*g - 2*v for g.
-5
Let p be ((-2)/(-6) + 0)*6. Let c be 0 + (7 + -1)/p. Solve 4*a - c*g + 16 = 0, -2*g = 4*a - g + 16 for a.
-4
Suppose -f - 2 = -3. Let s(v) = -v + 0 - 1 + 2. Let l be s(f). Solve 3*q + n - 24 = -2*n, l = 3*q + 4*n - 27 for q.
5
Suppose 4*t = 4*h + 16, -12 = -6*t + 2*t + 2*h. Suppose -3*v + 4*r + 121 = 0, -t*v - r - r + 62 = 0. Solve -2*d + v = -5*i, -4*i + 5*d = 16 + 29 for i.
-5
Suppose t - 4*y - 1 = -9*y, t = 2*y - 6. Let n = 9 + t. Solve 4*a = 3*c - 3, -n*c - 7*a + 3*a = -37 for c.
5
Suppose 5*s + 10 = 3*u, -4*u - u - 5*s = -30. Solve -u*l - 2 = 2*g, 2*g - 6 = 2*l - 3*l for l.
-2
Let o be 3*3/(-45) - (-84)/20. Solve 2*b + 6 = -o, 0 = z + b + 3 for z.
2
Suppose a - 4 = -2. Solve -5*t - a = -4*r, 2*t + 0*r = 2*r for t.
-2
Let t = -15 + 14. Let v = 4 - t. Solve 2*b - 3*o + 8 = 4, v*b - o = -23 for b.
-5
Suppose 2*h = 27 - 3. Suppose 0 = -2*g + r + 27, 2*g - 21 = -r + h. Let z = 5 - 5. Solve -2*c = -4*k + 16, z = -5*c + 4*k + k - g for c.
2
Suppose 5*c - c = -4*v, -4*c = -4*v + 16. Solve 5*s - 5*f - 10 = 0, -v = f - 0*f for s.
0
Let b be (2/(-2))/((-1)/5). Let n(z) = z**3 + 22*z**2 - 23*z + 23. Let t be n(-23). Solve 4*j - 25 = -j, 2*w + t = b*j for w.
1
Let r be (-2 + 2)/((-2)/(-2)). Solve -5*t + 4*d + 23 = r, 0 = -t + 3*t + 2*d - 2 for t.
3
Let o be 12/(-2)*(-4)/6. Suppose -o*z + 9 - 1 = 0. Let s be 7/(-14)*-46 + -5. Solve 6*t - v = 2*t - s, v = z for t.
-4
Let m be (-13*1)/(-1*1). Let k = 5 - 10. Let c = k - -5. Solve g + 5*z + m + 7 = c, -3*g + 4*z - 3 = 0 for g.
-5
Let v(f) = -3 - f**3 - 4 + 3 - f - 6*f**2. Let q be v(-6). Solve 0*z = -2*l + z, -q = -2*l + 2*z for l.
-1
Let j = 10 - 6. Suppose -1 + 21 = 4*r. Solve r*u = 4*l, j*l - 2*u = -l for l.
0
Let g(s) = s**2 + 7*s + 6. Let a be g(-6). Solve p - 17 = -4*h, -2*p - 2*h + a*h + 16 = 0 for p.
5
Let s be 98/14 + 1*-3. Solve 4*o + 3*c = 26, 3*o - 3*c = o + s for o.
5
Suppose 0 = b - 2*b - 6. Let x be (b/(-4))/((-3)/(-10)). Let k be x/20 - (-14)/8. Solve 32 = -3*o + 4*r, -k*r - 2 = -12 for o.
-4
Let p(d) = d**2 + 8*d - 6. Let k be p(-8). Let q = 7 + k. Solve -2 = -2*h, -h + q = -4*i + 4*h for i.
1
Suppose -f = 3*b - b - 12, 3*b = -5*f + 32. Let r = b - -5. Suppose -r + 24 = y. Solve -y = 4*i + a, -4*a = 3*i + 6 + 15 for i.
-3
Suppose -3*m + m = 8. Let s = 8 + m. Let w be (-3 - -2)/(1/(-7)). Solve 32 = s*c + 3*z, c - 5*z + 8 = -w for c.
5
Let p(s) = -s**3 + 11*s**2 + s - 4. Let a be p(11). Let v(k) = -k**3 + 6*k**2 + 5*k + 14. Let g be v(a). Solve 4*q - 2*l - 22 = g, -4*l = q - l + 5 for q.
4
Let i(h) = h**3 - 3*h**2 + 3*h - 2. Let s be i(2). Solve 3*l - 5 = -3*n - 2*l, s = -n - 5*l + 5 for n.
0
Let r be ((-16)/(-10))/((-4)/(-10)). Suppose -r*g + 10 = -2. Solve n = h + 3, 2*n - n - 11 = -g*h for h.
2
Let j(q) = q**3 + 3*q**2 - 3*q + 4. Let m = 8 - 0. Let a = m + -12. Let x be j(a). Solve x = 5*k + r - 0*r + 6, 12 = 3*r for k.
-2
Suppose 0 = -d - 2*w - 3*w - 9, -4*d - 3*w + 15 = 0. Suppose -2*x = -d*x + 60. Solve -5*q - 2*o = -3*o + 7, 5*q - 5*o + x = 0 for q.
-1
Let d(n) = -n**2 + 9*n - 13. Let t be d(6). Solve 4*m = l + 18, m - 5*m = t*l - 6 for l.
-2
Let y(j) = 2*j**2 + 8*j + 2. Let w be y(-4). Suppose 18 = -2*f + 5*k, -4*f + 2*f = 5*k - 22. Solve 8 = -4*l - 2*t, -w*l + l = t + f for l.
-3
Suppose -19*p = -39 - 37. Let t(o) = -3 - 2*o + 1 - o. Let i be t(-2). Solve -4*f - 28 = i*j, p = -4*j + 3*f - f for j.
-3
Suppose -6*w - 9 = -9*w. Solve 0 = 2*j - w*q - 8, -3*q + 16 = -4*j - 5*q for j.
-2
Let c = -18 - -20. Suppose 0 = 7*a - c*a - 20. Solve -a*w = -3*b + 10, b - 6*b = -5*w - 15 for b.
2
Let t = 0 - -4. Suppose 1 = -2*v + 9. Suppose 0 = v*k + 11 - 71. Solve o = 5*d - k, -4*o - 16 + t = -4*d for o.
0
Let y = -48 - -52. Suppose -5*o + 120 = b - 6*b, 0 = 3*o + b - 72. Solve -5 = -p + 2*d + 2, y*p - o = 4*d for p.
5
Let o(g) = -g + 15. Let p be o(17). Let y = -4 - 1. Let c be 4 - (p + (-3 - y)). Solve -4*v = -2*q - 14, -v + 22 = -c*q + v for q.
-5
Suppose 3*n - 11 = 1. Let x be (n/(-12))/(2/(-18)). Suppose x*p + 2*p + 16 = -2*v, -4*p - 16 = 0. Solve 4*o - 5*y - 2 = 0, v*o + 4*y = o + 11 for o.
3
Suppose 2*r + a = 6, 0 = -2*a - a. Suppose -3*v + 21 - r = 0. Let f = v + -4. Solve -f = 3*k + 2*x, 0 = k + 2*k - x + 8 for k.
-2
Let v(a) = a**3 + 10*a**2 + 4. Let z be v(-10). Let o = 6 - -1. Let d = o + 1. Solve j = 5*s + 2, z*s + 0*s - 4*j = -d for s.
0
Let t = 0 - -12. Suppose 4*b = z + 8*b + t, 0 = -4*z + 4*b + 32. Suppose 5*f - z*g - 4 = 3*f, 5 = 2*f - 3*g. Solve -c + 6 = 4*o, -f*c - 4*o = o - 2 for c.
-2
Let p be ((-16)/(-6))/((-2)/(-3)). Solve p*t = k, -3*k - t + 5*t = 8 for k.
-4
Suppose 3*h + 3*o = 2*h + 7, 3*o - 19 = -4*h. Solve 0*p - h*y + 24 = -4*p, 4*p = -5*y + 3 for p.
-3
Suppose -5*g + 3*s + 7 = -s, -g = 4*s + 13. Let h be 7/g - (-2 + 1). Let b be (-9)/h*16/6. Solve 0 = -n + k - b, -n + 0*k + 8 = 2*k for n.
0
Let x = 7 + -6. Let y = 4 + x. Solve 3*j + j 