 4, c = g*l - 3*l for w.
-4
Suppose 4*y + 24 + 0 = 0. Let k be 2/(-8)*0 - 3. Let v = k - y. Solve -5*c = -m - 13, -v*m = -5*c - 0*m + 9 for c.
3
Suppose -9*t = -0*t - 45. Let x be 216/21 - (-4)/(-14). Suppose x = t*z + 3*f - 11, z = -f + 5. Solve 2*b + 2*y = y, b - 14 = z*y for b.
2
Suppose 0 = -g - 5*m + 1, g + 2*m = 4*m + 8. Suppose g*c = 2*c - 12. Let a be -2 + c/(-1) + 1. Solve -a*d = 3*x + 9, -3*d = d + 12 for x.
-1
Let n be (-1 + 2)/((-2)/(-6)). Let p(z) = z - n*z + 13 + z. Let c be p(9). Solve -c*v - 3*w + 9 = 0, -5*v - 5 + 25 = -5*w for v.
3
Let m(z) = z**2 - 11*z + 15. Let h be m(10). Solve -5*k = 4*x - 32, 0 = 5*x + h*k - 39 + 4 for x.
3
Let x = -26 + 11. Let q be (-1 - 51/x)*-5. Let i be ((-6)/q)/((-1)/(-12)). Solve 0 = 2*z + i, n + z + 2 = -4 for n.
-3
Let k(m) = -2*m**2 + 1 + 3 + 3*m + 3*m**2. Suppose -v - v = 6. Let c be k(v). Solve -2*s - c*z = 22, -5*z = -2*s - 0 + 5 for s.
-5
Suppose 5*c - 43 = -3*k, 2*k + 0*k + 5*c = 27. Suppose -3*f = -2 - k. Suppose 0 = -2*u - 0*u + f. Solve u*d - 2*s = -3, -5*d + 3*s - 2 = 2 for d.
1
Suppose -n - 40 = -9*n. Solve 3*s - 9 = -3*b, 0 = -n*s + b + 3*b + 6 for s.
2
Suppose -5*d = -u - 3, -39 = -3*u + u - 5*d. Solve u = -4*y - 2*b, 7*y - 2*y + 5*b = -5 for y.
-5
Let m be 1*(-5)/5 + 3. Solve 0 = -o + 4*x + 23 - 10, m*o - 18 = 4*x for o.
5
Let o be 32/6*126/24. Suppose -4*i - 6 = -0*z + 5*z, 4*z - 5*i = o. Solve 4*w + 2*g = 18, z*w = w - 3*g + 7 for w.
4
Let q(n) = n**3 - 6*n**2 - 6*n - 5. Let w be q(7). Solve 0 = -w*y - 4*g + 15 + 5, -g - 1 = -y for y.
4
Let n(r) = -r**2 - 6*r + 3. Let c be (-20)/6*(-3)/(-2). Let w be n(c). Solve q - 2*h = -3 + w, -5*q + h = 2 for q.
-1
Suppose 90 = 13*h - 4*h. Solve -s = u - 1, 6*u + h = 2*u + 3*s for u.
-1
Let y(d) be the second derivative of d**4/12 - 7*d**3/6 + 5*d**2/2 + 3*d. Suppose 12 = 5*f - 23. Let a be y(f). Solve 24 = -4*z - 4*p, -a*z - p = p + 27 for z.
-5
Let f(t) = -t + 23. Let c be f(18). Solve m - 22 = -3*m + 2*n, -3*m = -c*n - 27 for m.
4
Let y be 16/(-40) - (-4)/10. Let a = 2 + y. Let r = -3 + 17. Solve -4*h + 35 = -5*i - h, r = -i + a*h for i.
-4
Let y(p) = p**2 - 5*p - 10. Let m be y(7). Let a = m - 4. Suppose 0*o + o - 5 = a. Solve o*j = -x + 25, -3*j - 15 = -6*j for x.
0
Let m(g) = g + 6. Let l be m(-6). Suppose 10 + 0 = 5*c. Let a = 13 + -8. Solve c*n = 4*i - l*i + 12, 0 = -a*i - 4*n - 15 for i.
-3
Let y(i) = 3 - 2*i + 1 + 6*i. Let m be y(4). Suppose 5*g - 11 = -4*k, 0*g - 19 = -5*k - g. Solve 4*l = 4*c - m, -k*c + l = -c - 11 for c.
3
Suppose 6*a = 6 + 6. Solve 3*p = 4*s + 19, a*s + 5 = p - 2 for s.
-1
Suppose 0*g = 2*x + 3*g - 23, -4*g + 32 = 3*x. Suppose x*h - 2*h - 4 = 0. Let a = 4 - h. Solve -3*t = -a*t - 1, 5*w - 4*t = 1 for w.
1
Suppose 0 = 2*x + 3*x. Let g = 0 - x. Suppose q + 1 = 6. Solve -25 = -5*d + 2*b, b = d - g*b - q for d.
5
Let i = 42 - 37. Solve 5*d - i*p = 15, -5*d + 2*p = -2*p - 17 for d.
5
Suppose 2 + 2 = 3*m + y, -2*y = -2*m - 8. Solve 32 = 3*o - 4*p, 0 = 4*o + 2*p - m*p - 6 for o.
4
Suppose 9 = -4*o + 37. Let r(p) = 2*p + 0*p**2 + 0*p - 3 + p**2. Let j be r(2). Solve 14 - j = f + 3*u, -f + 5*u - o = 0 for f.
3
Let h(t) = -t**3 + 4. Let g be h(0). Solve 4*r = g*k - 3*k + 23, -r - 4*k = 7 for r.
5
Suppose b + 14 = -3*w, 0*w + 14 = -2*b + w. Let a = b - -11. Solve -3*g + 2*g - 11 = -a*l, -5*l - 10 = 4*g for l.
2
Let o(h) = h - 1. Let z(r) = -2*r + 2. Let w(k) = -7*o(k) - 4*z(k). Let f be w(4). Let g = f - -4. Solve -b + 6*b = -4*s + g, -5*s = -15 for b.
-1
Let s be ((-1)/(-3))/(3/36). Let j be 2*-5*s/(-8). Suppose -3*i - 6 = -2*c, -8 = 5*i - 5*c + 7. Solve 4*w - 14 = -2*r + 6*w, i = r + 5*w + j for r.
5
Let v(g) = g**3 + 6*g**2 - g - 7. Let y be v(-6). Let c be (10/8)/((-1)/(-4)). Let x = c + y. Solve 0 = -i - 4*h - 7, -x*h = 2*i + h + 11 for i.
-3
Let g(f) = f**3 - f**2 + 2. Let d be g(0). Solve -s = -d*b - 11, -15 = 3*b - 0*b for s.
1
Suppose 5*o - 320 = 255. Suppose -28 = 4*c - 2*c. Let u be o/35 + 4/c. Solve -4*m = t - 9, u*m - 4*t - 28 = -9*t for m.
1
Let s(i) = i**2 + 7*i + 9. Let w be s(-6). Solve -w*b + 15 = 4*u + 2*b, 2*u + 2*b = 8 for u.
5
Let w be -2 + 138/33 - 2/11. Solve -5*t + 10 = -4*y, w*t + 2*t = -2*y + 8 for y.
0
Let x = -18 + 25. Suppose 3*g + 3*a - 3 = 0, -3*g + 2*g = -2*a - x. Solve -g*w = c + w - 11, -w = 3*c - 11 for c.
3
Suppose -7 = -k - 3. Let v = k - 0. Solve -v*q - 12 = -5*z + z, 4*z - 21 = -5*q for q.
1
Let l be 38/8 + (-4)/(-16). Let b be 2*6/4*3. Suppose -3*m + z = -b, -4 - 2 = -2*m - 2*z. Solve -2*f + 0*a - 6 = 4*a, m*f - l*a = 2 for f.
-1
Suppose -n + 35 = 2*t, 7*n = 4*n + 3*t + 141. Let k = -27 + n. Solve -4*l - l + 5*z = -20, -4*l + 3*z = -k for l.
4
Let n be (-3 + -3)*6/(-9). Suppose -4*j + 32 = -0*j. Suppose j = -3*w - 2*x, 0*x + 8 = -5*w - 2*x. Solve -5*h - 2*r - 3 + 8 = w, 3*h + n*r = 3 for h.
1
Let d be -1 - (1 + 6) - -3. Let o be (3 + 18/d)*-5. Suppose 0 = -2*f + 3 + o. Solve -q - 20 = f*g, 4*q + 4*g + 35 = q for q.
-5
Let m(o) = o**2 - 3*o - 4. Let n be m(4). Suppose -5*g - 3*b + 28 = 3, 5 = g - b. Solve -g*j - 5*l + 7 + 8 = n, 4*l - 7 = j for j.
1
Suppose 5*m - 10 = -0. Let j = 2 + 1. Suppose 0*v = -v + j. Solve -2*f - 5 = 2*b + v*f, m*b - 3*f = 19 for b.
5
Suppose 2*t = 5*x - 9 + 21, 5*x + 6 = -4*t. Let m = 9 + t. Solve 2*k + m = 0, -7 = -3*p + 5*p + k for p.
-1
Let m = -32 - -38. Let s be -3*5/15 + m. Let j be (8/6)/((-2)/(-6)). Solve -4*w - b + j = -s, -3*w + b = 2 for w.
1
Suppose 3*b - 11 = 1. Solve -b*w = w + 10, -11 = -3*s + 4*w for s.
1
Let y be (-4)/((-2)/2 + 0). Solve y*r = -5*f + 14, r - 2*f - 2*f = -7 for r.
1
Suppose -5*q = -23*q + 54. Solve -b = 4*t + 4 + 8, t = -q*b + 8 for b.
4
Suppose 2*q - 68 = -28. Let c be 1 + 4 - (0 + 2). Suppose -i = c*i - q. Solve -y + i = a, -16 = -4*y + 3*a + 4 for y.
5
Suppose 0 = -3*d - 2*d + 5. Solve 3*t - 18 = -m, t - 2*m + 0 = -d for t.
5
Suppose 5*k - 33 - 87 = 0. Suppose -2*u - u + 14 = -g, -2*g + 5*u - k = 0. Let q(t) = t + 4. Let r be q(g). Solve -2*x = -5*l - x + 16, 0 = r*x - 8 for l.
4
Suppose 13 = 5*o - 3*l, o + 2*o - 2*l - 7 = 0. Solve 2*h - 14 = -5*i, 4*h + 4*i = o*h + 19 for h.
-3
Let v be 2/(-1)*28/(-7). Let h = 9 + v. Solve -5*x = m + 29, 2*m + x + h = -m for m.
-4
Let u = 1 + 4. Suppose 0 = u*o - o - 104. Suppose -2*w + 8 = 4*y - 8, 3*w - 20 = -4*y. Solve 2*x + o = 5*b, 2*b + w*x - x + 1 = 0 for b.
4
Let a be -1 + 2 + (-217)/(-7). Solve 0 = -3*d + 2*p + 2*p - a, 4*d = 3*p - 31 for d.
-4
Suppose d = -0*d. Suppose d = 2*m + 6, -2*u + 4*m + 17 = 3*u. Solve 3*q - 5*f = 2*q - 6, 0 = 2*q + 3*f - u for q.
-1
Suppose -5*o = -o - 12. Let f = o + 1. Let d be (15/6)/(2/f). Solve 3*q = 3*j - j, 0 = -j - d*q for j.
0
Let k be 10/4 + 2/4. Suppose 0 = -x - x - 34. Let g = x - -23. Solve 6 = -3*t, k = d - g*d + t for d.
-1
Let g = 13 - 9. Let z = 11 - 7. Solve g*b + 5*d = 2*d + z, b = 3*d + 16 for b.
4
Let p be 6/(-4)*8/(-3). Let n be (-3 + p)*(20 + 0). Suppose 4*d = -d - n, -d - 9 = -a. Solve 5*q + 20 = -s, -5*q + 2 - 22 = a*s for q.
-4
Let t be ((-3)/2)/(2/(-4)). Let a be 3 + (2 - 1)*2. Solve a*v + j = -t, 4*v + v - 3 = j for v.
0
Suppose -5*r - 5*k + 5 = 0, 3*r - r = -4*k - 4. Solve -4*d - 15 + 6 = a, r*d + 21 = 3*a for d.
-3
Let x be -5*5/(-25) - -3. Solve 0 = 5*z + x*a - 2*a + 16, 3*a - 22 = 4*z for z.
-4
Let t = 12 - 10. Suppose 0 = -t*u + 25 - 1. Solve 5*g - u + 1 = 2*n, -20 = 5*n - 5*g for n.
-3
Let r(z) = -z**2 - z. Let l be r(-1). Let o(x) = x**3 + x**2 + 4. Let h be o(l). Let v = 0 + h. Solve 6 = -2*y + v*q, -5*y - 3*q + 21 = -q for y.
3
Suppose -4*y = -5*r - 19, 5*y + 4*r - 32 = 2*r. Suppose -y = -3*t - 0*t. Let c = 6 - t. Solve 0 = 3*z + 2*p - c, 4*z - 5*p + 26 = -7 for z.
-2
Suppose o - 7 = t - 3*t, 0 = -5*o - t + 17. Let v = 7 - o. Solve 3*w = -v*p + w - 12, 24 = -5*p + 2*w for p.
-4
Suppose 2*n - 2*m - 16 = 4, -4*m = -5*n + 47. Let i = 11 - n. Suppose 6*a + 12 = 4*a - 3*s, i = -s. Solve a = -5*j - 4*d + 1 + 3, -8 = -3*j - d for j.
4
Let y(h) = -h + 9. Let o(w) = 8. Let t(j) = -6*o(j) + 5*y(j). Let n be t(-2). Solve -5*r - 5*q + 15 = 0, -n = 5*q + 3 for r.
5
Suppose 4*o = -u - 4 - 5, 3 = 5*u + 4*o. Solve -u*c + 0*k + 4*k = -19, 0 = 3*c - 2*k - 17 for c.
5
Let u(s) = -s**2 + 33*s - 86. Let a be u(30). Solve -3*c = a*d, -c = -2*d - 0*c for d.
0
Let j(p) = p - 2. Let n(h) = 4*h. Let x(g) = g. Let z(k) = -2*n(k) + 9*x(k