Let v be p - -13 - (0 - -2). Solve -a*w + v = -5*y, 0 = -3*w - 5*y - 6 - 20 for w.
-2
Suppose -20 = -4*o, 7*c + 2*o = 4*c - 20. Let g be ((-32)/c - 0)*5. Suppose 3*b = 12, -5*b = 2*d - 4*d - g. Solve r - 10 = -3*a, d*a + 3*a - 14 = -3*r for r.
-2
Let h be (-2)/((-8)/3 - -2). Suppose 15 + 9 = b - 4*f, 5*b - 20 = -5*f. Suppose 0 = h*n - b*n + 15. Solve -n*r + q + 14 = 2*r, 5*q = 5 for r.
3
Let h(u) = u + 5. Let l be h(0). Solve 3*b + 7 = -q, l*b + 0*b - 5*q + 5 = 0 for b.
-2
Suppose 6*k - 8*k = -32. Solve 2*d + d + 2*m = -k, 2*m - 12 = 4*d for d.
-4
Suppose c = -c + 6. Suppose 20 = -3*g + 5*s, -g + 8 = -c*g + 2*s. Solve 2*a - 4*m + 5 + 3 = g, 2 = 5*a + m for a.
0
Suppose 0 = -5*j - 2*s + 3*s + 7, 0 = -j - 3*s + 11. Solve b + 0*b = -4*w + j, -b = 2*w for b.
-2
Let l(a) = -a**2 + 6*a + 8. Let i be l(6). Let q be i/28 + 38/14. Solve 4*t - 6 = 5*w - 42, 4 = -2*w - q*t for w.
4
Suppose 5*w = 13 + 2. Suppose w*n + 4 = 13, 8 = -k + 2*n. Let b be 1 - k - (-24)/6. Solve -7 = 3*u + 4*r + b, -14 = 5*u + 2*r for u.
-2
Let y be 5 + -1 + 0 + -1. Suppose 0 = i - 4*t + 4, 3 = y*i - 5*t - 6. Solve 4*x + 2*s + i = 0, 3*x - 5*s = -x + 6 for x.
-1
Let m = 37 - 33. Suppose 3 = -0*l + l. Solve -l*g + 5*b = -g, m*g = -2*b - 24 for g.
-5
Suppose 2*n = -2*n. Solve 5*f + q = n, 5*q - 4*q = 5*f for f.
0
Let k(p) = -23*p - 2. Let n be 13/(-5) - 6/(-10). Let b be k(n). Let z = -28 + b. Solve 5*x + 4*q = x + z, 23 = 2*x + 5*q for x.
-1
Suppose f - 2 - 8 = 0. Let d(v) = v**3 - 11*v**2 + 9*v + 12. Let o be d(f). Solve 2*j = -5*k - 13, -o*k - j + 18 = -6*j for k.
-1
Suppose 2*r + 0*r + 15 = y, 0 = 5*y - 2*r - 67. Let u = y + -7. Suppose x = -2*x + u. Solve -5*p + 9 = -2*s, 4*s + p + 9 = x*p for s.
-2
Suppose 3*h + 132 = 14*h. Solve -2*s = -o - 4, -2*o + 8 = 3*s - h for o.
4
Suppose -3*z = 15, 0 = -5*j - 0*z + 2*z + 20. Suppose 0 = 4*u - j - 18. Let i = u + -3. Solve -i = -r + 3*f, 2*r - 5*r + 4*f + 6 = 0 for r.
2
Let h be 2/2 - 4/(-2). Let w be 15/3*(-2)/(-2). Solve -5*o + 0*s + s + 15 = 0, w*o + h*s = 35 for o.
4
Suppose 4*r = -5*i + 12, i = 2*r - 0*r + 8. Let h = r + 13. Solve -3*w = -2*s + h, 3*s - w = 3*w + 14 for s.
-2
Suppose -2*b - 9 + 31 = 0. Let w be 4/12 - (-38)/(-6). Let g = w + b. Solve -3*n = -g*p + 20, -5*p + 2*p = n + 2 for n.
-5
Suppose -4*n = -2*q + 28, -3*q + 9 - 3 = 0. Let k be 1 - 4/n*6. Let w be (-3)/k - 144/(-15). Solve p + 0*p + 5*l = 5, p + w = 2*l for p.
-5
Let n be -2 + 6*(3 + -2). Let j be (n/12)/(1/18). Suppose -2*x + j = x. Solve 4*q - x*z + 4*z + 24 = 0, 2*q + 4 = 3*z for q.
-5
Suppose i = -2*q + 26, -13 = -3*q + 2*q - 2*i. Suppose 3*v + 2*v - 15 = 0. Suppose 6*k = v*k + 6. Solve -4*t = -0 - 20, k*r - t + q = 0 for r.
-4
Let n = -4 + 6. Let c = n - -1. Solve f = t + c, -3*t = 4*f + 1 - 6 for f.
2
Let t = -19 + 37. Suppose -4*c = 0, -5*z + 10 = 3*c - 2*c. Solve 0 + 1 = f, -4*b + z*f + t = 0 for b.
5
Let n(o) = -o**2 + 21*o + 50. Let q be n(23). Solve -12 = -3*z, 4*f = z + q*z - 40 for f.
-5
Suppose 5*l = 4*z - 32, 5*z + 2*l + 2 = 3*z. Solve 3*t + 0 = -3*s - z, -4*s + 20 = -2*t for t.
-4
Suppose 3*u + 13*u - 160 = 0. Solve 3*x - u = -8*q + 3*q, -x = 5 for q.
5
Suppose 156 - 36 = 5*q. Let l = 5 - -3. Suppose 4*f - q = -l. Solve 0 = 4*d - 4*o - 16, -f*d - 3*o = -0*o - 16 for d.
4
Let u(o) = o + 4 - o**2 - 2*o - 2*o**2 - o**3 + 2*o**2. Let z be u(0). Solve 0 = z*t + 3*c + 10, -2*t - 7 + 1 = 2*c for t.
-1
Let v = 6 - 7. Let w be (-2)/(1*-2) + v. Suppose 2*k - 25 - 9 = w. Solve 0 = 3*t + 2*j + j - 9, 5*t = -4*j + k for t.
5
Let a(o) = o - 2. Let m be a(2). Let z = 0 - m. Suppose 0 = -p - 210 + 213. Solve -4*x - 4*t - 8 = z, -2*t = -p*x + 2*t + 8 for x.
0
Let u(m) = -m + 11. Let p be (-8 - -16) + (-2)/1. Let w be u(p). Solve -w*o + v + 4 = 0, 0 = o - 2*o - 3*v + 4 for o.
1
Suppose -12 = -22*x + 19*x. Suppose -p + 2*y - 10 = 0, 2*y - 15 = p - y. Solve p = -4*l - 6*f + 3*f - 8, x = -2*l + 3*f for l.
-2
Let l = 44 + -12. Solve -l = 2*g + 2*g + 3*i, 3*g - 3*i = -3 for g.
-5
Let m = 12 - 13. Let q be 24 + 8/4 - m. Solve 0 = 2*y - 5*r, -6*y - q = -y + r for y.
-5
Suppose -4 = -3*m - 1, 3 = -5*n + 3*m. Solve n = -5*a - t + 13, 16 = 3*a - a + 4*t for a.
2
Let y(a) = -3*a**3 - 2*a + 2*a**3 - 4*a - 4 - 5*a**2. Let r(v) = v**2 + 7*v + 2. Let h be r(-6). Let s be y(h). Solve s*d - 3*d = i - 6, 3*i - d = 12 for i.
3
Suppose -3*s + 6*s = 15. Let p = s - 2. Suppose 0 = -5*w - 3*v + 24, -3*w + 4*v - p = -0*w. Solve 0 = -3*x - 2*a - 14, -5*x - w*a = 23 - 0 for x.
-4
Let q(p) = -p**3 + p**2 + p + 4. Suppose 0*h - 3*h = 0. Let w be q(h). Solve 3*b - 8*b + 25 = -5*n, -5 = w*n + b for n.
-2
Let q(v) = 2*v**2 + 21*v - 4. Let y be q(-11). Solve 2*j = -x - 0*x - y, 12 = -3*j - x for j.
-5
Let v(u) be the second derivative of u**4/12 - 5*u**3/3 - 7*u**2/2 - u. Let g be v(11). Solve -l = -3*l + g*m - 6, 4*l - m = 2 for l.
1
Let z = 10 + -5. Let m be z/((-1)/(2/(-2))). Solve 5*d - 2*r = -5*r + 13, 15 = -d - m*r for d.
5
Let h(w) = w + 11. Let z be h(-8). Suppose 1 = z*s + 7. Let u be ((-1)/(-1))/(s/(-4)). Solve -4*j = -4*n - 24, -2*n - u*j = 3*n + 16 for n.
-4
Let f(q) = q**3 + 7*q**2 + 8*q + 12. Let r be f(-6). Solve r*j = 3*j - 3*c - 12, -2*j + c + 7 = 0 for j.
3
Let h(j) = -j + 4. Let d be h(4). Solve -q - q = -4*m, -5*q = d for m.
0
Let h(f) = 5*f**2 - f. Let x be h(-1). Let a be (-1 - (-1)/(-2))*124/(-93). Solve u = -5*d + a*u - 2, 2*u = -x for d.
-1
Let k(h) = 7*h**3 + 2*h**2 + h. Let t be k(-1). Let z = t - -4. Let a be (-70)/(-4) - 1/z. Solve 5*w = -3*u - u - a, 0 = -5*u + 5*w for u.
-2
Suppose 3*o - o + 4 = -h, 5*h + 27 = -3*o. Let l = 6 + h. Suppose d - 41 = -3*w + 10, 66 = 3*w - 4*d. Solve -3*u + 3 = -4*m, -5*u + m - 2*m - w = l for u.
-3
Suppose 0 = 14*m + 40 - 166. Solve 5 = 5*s, -y - m = -3*y - s for y.
4
Let o(m) = 0 - 4*m + 0*m + 1 - m**2 + 0*m. Let y be o(-4). Suppose -5 - y = -3*k. Solve -5*r + 28 = -3*p, p - k*p - r = -4 for p.
-1
Suppose 2*l = -4*x + 2*x, 2*x + 6 = -5*l. Let w be 10/4 + (-1)/x. Suppose 0 = -w*s + 6. Solve -g + 7 = -2*b, -3 = 2*b - s*g + 2 for b.
-4
Let l be -2 - (165/(-25) + (-4)/10). Solve -3*d - 1 = 2*b, -3*b - l = -2*b for d.
3
Let d(k) = -8*k - 41. Let s be d(-8). Solve 5*z + 4*u - s = 12, -2*u = -10 for z.
3
Let h = 6 + -2. Suppose 5*w = -4*f + 2, h*f - 6 = -0*f - 3*w. Suppose -d + 7 = d - 3*b, -d - f*b = 1. Solve -4*k + 22 = 5*t - d*t, -2*k = 4*t - 16 for t.
2
Let i be (0/2 - -2) + 0. Suppose 3*u + 3 = -3*x, 2*u + u - i*x = 22. Let n(w) = w + 26. Let b be n(-5). Solve 3*p = 3*k + 15, -u*p - 3*k = -b + 1 for p.
5
Suppose 39 + 9 = 4*m. Let x = m - -12. Solve -x = -5*b + 2*v, 2*b - v - 4 = 6 for b.
4
Let x be 234/45 - 2/10. Let g = 31 + -14. Solve 0*b - b + g = -x*u, -3*b - 5 = -u for u.
-4
Let p = -8 - -10. Solve 5*i + 6*n - n = 10, 2 = p*n for i.
1
Let c(i) = i**2 + 3. Let z be c(0). Suppose 0 = z*h - 8*h. Solve h = -5*b + 3*j + 13, 2*b + 2*j - 5 = -3 for b.
2
Let g = 66 - 54. Let w be (0 - 1)/((-3)/27). Suppose 0 = 4*d - w*d + 25. Solve 0 = -3*p + 3*h, 3*h = -d*p + 2*p - g for p.
-2
Suppose 73*b = 68*b + 10. Solve -4*m + 8 = -8, 0 = 3*x + b*m - 8 for x.
0
Let g(n) = n**2 - n. Let m be g(2). Let o be 3/m - (-2)/(-4). Suppose 2*b + 4 = 2*t - 10, 0 = 2*t + 3*b + o. Solve -u - 14 = -3*f, 3*f + 5*u = t*f for f.
5
Let j be ((-48)/30)/(2/(-5)). Solve -j*h = 2*v - 3*v + 20, 4*h = -4*v for h.
-4
Let w(n) = n**3 - 6*n**2 + 2*n - 9. Let s be w(6). Let g(j) = j**3 + 22*j**2 + 40*j + 3. Let f be g(-20). Solve 5*y - f*l = 7*y + 4, s*y + 5*l + 7 = 0 for y.
1
Let o(h) = -h**2 + 11*h + 4. Let w be o(12). Let q = -5 - w. Let r be (2 + 3)*36/15. Solve m = -q*d - r, 2*d - 3*m = m + 6 for d.
-3
Suppose 54 = 10*h - h. Solve 3*u = h, 2*c - u = c - 5 for c.
-3
Let u(p) = -2*p - 11. Let s be u(-8). Solve 5*x = -5*z + 50, 2*z = x - s*x + 30 for x.
5
Let r = -10 + 10. Solve r = 4*z - 4*f, 0 = -2*f + 4*f - 4 for z.
2
Suppose 0 = 17*r - 81 - 4. Let s be 1*(-1 + -4)*-1. Solve -s*k + 2*u - 3*u = 13, -r = k - u for k.
-3
Let o = -2 + 1. Let y(w) = -w**3 + 2*w**2 - 1. Let z be y(o). Let x be (-126)/(-24) - (-1)/(-4). Solve 0 = k + x, -4*t - t + z*k + 5 = 0 for t.
-1
Let z be (-6)/15 - (-119)/35. Solve -6*c + z*c = 5*o + 22, -4*c + 4 = 0 for o.
-5
Let l(j) = -j**3 + 6*j**2 - 4*j + 6. Let t be l(5). Suppose -t = -4*x - 3. Suppose 27 = -f + 4*f. Solve -x*v = -p - f, -3*v