*c - 2*c = -4*x - 20 for x.
-5
Suppose 3 = -3*f - 3. Let c = -1 - f. Let o be (-34)/(-8) - c/4. Solve -k + 2*s + 4 = -0*k, -7 = -o*k - s for k.
2
Let w(m) = m**3 + 12*m**2 + m + 14. Let q be w(-12). Solve -7 = -4*c + u, -2*c - 2 = -4*c + q*u for c.
2
Let v be (-8)/12*(-18)/4. Suppose 5 = 2*k - 5. Suppose 3*t - 6*t + 9 = 0. Solve -2*b + 11 = k*o, -t*b = 3*o - 0 - v for o.
3
Let l be 3/(((-3)/9)/(1/(-3))). Solve -1 - l = -3*w - h, 0 = -5*w + h + 4 for w.
1
Suppose -2*z - 2*z = -16. Suppose -z*x = -0*x - 16. Solve x*v - v - 2*d = -18, 13 = -4*v - d for v.
-4
Let z be 2/5 + (-138)/(-5). Let k(d) = d + 12. Let c be k(-7). Solve 3*w = -15, -5*w - 12 - z = c*q for q.
-3
Let h(g) = 3*g**3 + g - 1. Suppose 0 = -2*k - k + 4*d + 15, -2*d - 6 = 0. Let v be h(k). Solve 4*x = -5*q + 33, q + 19 = 6*q - v*x for q.
5
Let a(r) = -r + 9. Let f be a(4). Let n(k) = -k**3 - 2*k**2 + 4*k + 5. Let s be n(-3). Solve p - s*j = 7, 25 = 5*p - 0*p - f*j for p.
3
Suppose 3*t = -2*m - 2, 0*t + 2*t - 5*m = 24. Suppose -4*q + 6 = t. Let h be q/(1/9*3). Solve -3*n + h*p + 9 = 0, 2*p = 3*n - 4 - 7 for n.
5
Let o be 143/33 + (-1)/3 + 0. Solve -3*w - u - 8 = 0, 2*w - 4*w - 2 = o*u for w.
-3
Let j(n) = -n + 4. Let l be j(0). Solve -2 = t + 3*g + 1, 0 = -5*t + l*g - 15 for t.
-3
Suppose -4*g = -2*g - 10. Let i be (5/3)/((-3)/(-9)). Suppose -3*l - i*f + 2*f + 27 = 0, 0 = -2*f + 10. Solve g*u - 4*c + 3 = -l, 3*c = -2*u + 11 for u.
1
Let t = 15 - 10. Solve -5*l - 2*a = -2*l - 16, 31 = 3*l + t*a for l.
2
Suppose 16 = 5*w - 4. Solve 5*v + o = 11, 0*o + w*o + 28 = 4*v for v.
3
Let j(p) be the second derivative of -p**4/12 - p**3 - 3*p**2/2 + 3*p. Let v be j(-4). Solve -b - 2*m = 2*b + 11, -3*b - v*m - 5 = 0 for b.
-5
Let q = 1 - -5. Suppose 4*o - 3*x - 5 = 0, 0 = 2*o - 3*o - 4*x + q. Let p be (o/(-3))/(10/(-45)). Solve r - p = 0, -r + 4 + 5 = -2*b for b.
-3
Let z(c) = -c**2 + 7*c - 7. Let x be z(5). Suppose -22 = -x*f + 4*h, -5*f + 3*h = 6*h + 2. Solve n + n = -3*s, 0 = -4*s - f*n for s.
0
Let v(n) = -n - 4. Suppose -4*k + k = 18. Let u be v(k). Solve -5*l + u*i = 6*i - 15, -i = 4*l - 1 for l.
-1
Suppose -7 = 2*h - 37. Suppose -2*g + h = g. Solve 3*b = -5*q - 4, -8 = g*q - 4*b + 10 for q.
-2
Let q(j) = -j**2 + 1. Let s be q(-1). Suppose m + 4 + s = 0. Let o be (-10)/m + 2/(-4). Solve -11 = 3*b - c, 2*c - o = 2*b - b for b.
-4
Suppose 0 = -3*x + x. Let s = 5 - x. Solve 0 = 3*c + s*g - 3, 2*g + 4 = 2*c + 2*c for c.
1
Suppose -p = -3*s + 2, s - 6 = -p + 4*p. Let o be 13/(-2) + p/(-4). Let x be (12/9)/((-4)/o). Solve -4*f - x*q = -12, 5*f - 5*q - 46 = -16 for f.
4
Suppose 4*i = 4*m - 44, 0 + 10 = 5*m + 4*i. Let q = m + -4. Solve q*p = -2*h - 3*p + 16, -4*h = 4*p - 20 for h.
3
Suppose -5*o - 4 = -4*h - o, -h = 2*o - 1. Suppose 0 = -j + 3 - h. Solve -j*i - 3*n = 2*n + 9, -4*n - 18 = -2*i for i.
3
Let z = 17 - 12. Let r(b) = -b**3 + 18*b**2 - b + 27. Let u be r(18). Solve -z*q - m - 27 = 0, 3*m + u = -q + m for q.
-5
Let c(o) = -o**3 - 2*o**2 - 3*o - 3. Let t be (8/(-2))/(3 + -1). Let y be c(t). Solve 5*m + s = -10, 4*m + 8 = y*s - 2*s for m.
-2
Let a(d) = -4*d - 10. Let i(b) = -3*b - 7. Let h(f) = -5*a(f) + 7*i(f). Let o be h(-1). Solve 2*p = -c + 12, -4 = -3*c - 0*p + o*p for c.
4
Let o(s) = s**3 - 8*s**2 + 8*s - 4. Let v be o(7). Solve v*f - 2*h = 4, 3*h = f + f - 6 for f.
0
Let m(y) = y**3 + 10*y**2 + 10*y + 11. Let r be m(-9). Let x be 0/(-2*(-1 + 0)). Let j be (-2 - -2)/(-1 + x). Solve 4*p + r*b + 2*b = j, 5*b = -p - 4 for p.
1
Let n = 12 + -10. Suppose -n*h - 6 = -4*h. Solve 3*j = -2*z + 15, -h*j - 3 = -4*z - 0*z for j.
3
Suppose -3*b - 2*i = -7*b - 66, -5*b - 3*i = 66. Let n be (-13)/(-5) - 6/b. Solve -z - 4*z = 5*o - 15, -n*z + 15 = -3*o for z.
4
Let p(x) = -x**2 + 4*x - 1. Let c be p(2). Suppose m = 2*m - c. Solve -3*z = 4*h - m, -3*z + 3*h = -1 - 2 for z.
1
Suppose -3*s + h + 42 = s, 5*s = -4*h + 42. Solve z = -5 + 2, n + 3*z + s = 0 for n.
-1
Suppose -5*s = 14 + 11. Let k = s + 11. Let c(f) = -f**2 + 6*f + 3. Let y be c(k). Solve 0*z = 2*i + z - 3, 3*i - 3 = -y*z for i.
2
Let p(t) = t. Let l be p(3). Let a = -3 + l. Solve h - 6 = -o, -4*h = -4*o - a*o + 16 for h.
1
Suppose -5*a + 17 = 2. Solve 2*v + v = 5*d + 20, a*v + 4*d = 11 for v.
5
Suppose -4*p + 0 = 3*c - 19, -28 = -3*p - 5*c. Suppose -3*m - 10 = -r, m + r = -p - 1. Let l be (m/2 - 1)*-2. Solve -2*w - q = l, -2*q - 2 = -w - 4*q for w.
-4
Let x be (0 - -2) + 6/(-3). Solve 25 = m - 5*d, 3*d + 15 = -2*m - x*d for m.
0
Let b = 5 - 5. Suppose -3*k - 5 = -4*w - 40, b = -2*k - 2*w. Solve 0 = 5*u + 4*t - k, 3*t = -4*u + 2*t + 15 for u.
5
Let a(j) = -j**2 + 2*j + 4. Let p be a(4). Let v be 6/p - 3/(-2). Let t = v - -2. Solve -4*z = -y - 1, 3*z + y + t*y - 12 = 0 for z.
1
Let f(i) = -i**3 - 8*i**2 + 2. Let n be f(-8). Suppose -4*b + 8 = n*k, k - 6 + 4 = -4*b. Solve -2*j + 3 = 1, -3*w - 3*j = k for w.
-3
Suppose 5*a + 29 = 2*q, -5*q - 3*a - 3 - 2 = 0. Solve 0 = -5*c - 4*m - 1, 2*c - 7*m + q*m = -7 for c.
-1
Suppose 0 = -4*w + 7*w - 12. Suppose w*z - 16 = 2*d - 2, z = 5. Let l = 60 + -56. Solve 3*m = d*r, 0*m - l*r + 21 = 3*m for m.
3
Suppose 0 = k - 2*k + 4*z + 29, 3*k - 2*z = 127. Suppose -4*c + 15 = -k. Let f = c + -11. Solve 3*d - 2*n + 3 = -10, 0 = -f*d - n - 10 for d.
-3
Suppose -b = 2*b - 51. Let h = b - 14. Solve 2*q - h*q = -j + 2, -4*j + 3*q = -10 for j.
4
Let q(k) = 2*k. Let r be q(-6). Let w = -8 - r. Solve 5*t - 4*f + f = 16, 0 = -3*t + w*f + 3 for t.
5
Let h(c) = -9*c - 9. Let t be h(-7). Suppose -q + t = 2*q. Solve -3*d = -2*j + 7 - 17, -5*d + q = -4*j for d.
2
Let h be 2/(-1*(-1)/35). Let a = -111 + 65. Let v = a + h. Solve 4*s - 1 = -3*p, -4*p + 0*s = -s + v for p.
-5
Let b be (-1)/(2/(22*-1)). Suppose 4*p + 0*u - 2*u - 14 = 0, 3*p - u = b. Solve -4*f + 24 = -p*k, -9 - 12 = -5*f - 4*k for f.
5
Let k(j) = 4 - j**2 - 7*j**3 - 3 - 4*j**3. Let f be k(-1). Suppose -2 = 3*q - f. Solve w = -q*z + 4, 0 = 2*w + 2*z + 7 - 3 for w.
-5
Let r = 9 - 6. Solve -n = w - 1, 3*w - w = r*n - 18 for w.
-3
Suppose -6 = -2*s - 2. Suppose 2*j - 7 = x + 1, 2*j - 12 = -x. Let k be 3/2*(-140)/(-42). Solve x*t - 4*n + 4 = -0*t, -s*n = k*t + 10 for t.
-2
Suppose -5*n = -n - 208. Suppose -5*y + n = 7. Solve t = -4*v + y, 0*t + 2*t - 4*v = 6 for t.
5
Let i = 60 + -56. Solve -3*b + i*b = -2*z - 1, 5*b - 5*z - 10 = 0 for b.
1
Let b be (-4 + 10)/(4 - 2). Solve m = -2*o - 12, o + 0*o + b*m + 11 = 0 for o.
-5
Let c(w) = 4*w - 28. Let l be c(15). Solve -2*i + u = 5, 2*u + l = -5*i - 2*u for i.
-4
Let q = 12 + -4. Let z = 13 - q. Suppose 5*f + 5*u - 25 = 0, -u = -z*f + 4*u + 25. Solve 10 = 5*s - 5*i - 5, -f*i = 5*s - 5 for s.
2
Let x be (-12)/(-3) - (5 - 3). Solve -d - 4 = 2*g, x*g + 32 - 12 = 3*d for g.
-4
Let w = -15 + 41. Let n be (47 + 1)*7/21. Solve -4*s + n = 0, 2*l - 4*l - 5*s = -w for l.
3
Let l(b) = b**3 - 5*b**2 + 4*b + 4. Let x be l(4). Suppose x*s = 14 - 2. Solve s = f, -3*m - 3*f = 2*f - 21 for m.
2
Let c be 10/30*18/2. Solve -2*p = -2*y - 6, 0*y - 1 = -c*p + y for p.
-1
Suppose 5*f - 83 = y, -f = -4*f - y + 45. Let i = 1 - -1. Solve -i*o = -4*h + f, o - 39 + 17 = -4*h for h.
5
Let h(f) = -f**3 + 3*f**2 - 1. Let z be h(2). Solve 4*c + n - 22 = 0, -z*c + 5*n + 2 = -3 for c.
5
Suppose 3*g = 4*i + 27 - 5, -5*g - 5*i - 10 = 0. Solve 3*k - 1 = 3*b + g, k = 2*b + 1 for b.
0
Let k be 4*(1 + (-2 - -2)). Suppose k*i + i = 0. Solve 5*a + r = 13, i*r - 1 = 3*a + 5*r for a.
3
Suppose 0 = -w - 0*w - 1. Let x(a) = 8*a. Let b be x(w). Let h be 3 + (b/(-2) - 2). Solve -3*v = 3*j + 3, -j + 4*v = 3*v + h for j.
-3
Suppose -3*t + 37 = 5*h, -5*t + 15 + 0 = -h. Suppose -b = h*f - 12, 0 = f + 2*f + 2*b - 3. Solve f*p + p + 4*i = 8, -17 = 4*p - i for p.
-3
Suppose 25 = -4*y - 3*z, -z = 5*y + z + 33. Suppose -x + 31 = 3*m, 4*x + 22 = m + 2*x. Let l = m + y. Solve -5*k = 5*g + 40, 0 = 3*k + l*g - 8 + 38 for k.
-5
Suppose 5*a - 9 = 16. Solve 0 = a*n - 3*q + 34, 5*q = -n - n + 5 for n.
-5
Suppose -32 = -2*s + 4*k, 2*k + 80 = 4*s + s. Solve -3*b + 5*c = 20, s = 3*b - c + 5*c for b.
0
Suppose 0 + 2 = v. Suppose -z - z = -3*d + 2, -14 = -5*d - v*z. Solve -11 + d = y + 3*j, j + 19 = 5*y for y.
3
Suppose -y - 2*y + 75 = 0. Solve -3*j - u - 4*u = 25, -3*j + 5*u + y = 0 for j.
0
Suppose -3*s + 3*d = s - 61, -3*s = d - 49. Let g = -1 + s. Solve 5*w - g = -2*h, -2*w + 7*w = 2*