53 - 13 = 0. Suppose 5*p = 3*p - d. Let n be (-1 - -1)/(5 + p). Solve n = -v + 5, -9 = -4*i + 3*i - 2*v for i.
-1
Suppose 4 = -d + 7, 6 = 3*s - 2*d. Suppose -4*r - 9 = z, 3*z - 3*r = s*z + 6. Solve 8*g - 17 = 4*m + z*g, g - 15 = -5*m for m.
2
Let y(a) = a**2 + 7*a + 10. Let n be y(-7). Solve 0 = 4*z + z + 2*f + 14, 4*z = -f - n for z.
-2
Let a = -13 - -9. Let m be (-42)/(-11) + a/(-22). Solve 5*x = m*v - 18, 3*v - 4 = -v - 2*x for v.
2
Suppose 2*s + 0*s = 2. Let i be s/(-6) + (-172)/(-24). Solve 4*u - i = -m + 2*m, -3*u = 5*m - 11 for m.
1
Suppose l - 3 - 4 = -3*m, 2*m + 6 = 2*l. Solve 2*t - 3*t = 3, t = l*c - 3 for c.
0
Suppose 4*k - 1 - 9 = -5*b, -2*k - 6 = -3*b. Suppose -f + 2*n = 3, k = -f + 3*n - 1 - 5. Solve -5*z - 2*y = 0, 9 + 10 = 2*z - f*y for z.
2
Suppose 3*v = 5*b - 18, -4*b + 2*b - v + 5 = 0. Suppose -5*m = -4*m. Solve 2*l - 2 = -h, -3*l + m*l + 3 = -b*h for l.
1
Let w(h) = h - 2. Let l be w(7). Let g be (0 - -3) + 5 - 0. Suppose -2*s = -4*b + 44, 4*s = -0 - g. Solve 2*d + l = 3*m + 6*d, 5*d = b for m.
-1
Let f = 105 + -100. Solve d + 19 = -l - 2*d, -2*l + f*d + 17 = 0 for l.
-4
Let o be -1*1*(-5 + 1). Solve -20 = -o*v, -2*v - 2 = -3*b - 0 for b.
4
Let z(n) = -n**2 - n + 4. Let f be z(0). Suppose 4*l = -l + f*j + 27, 3*l = -2*j + 3. Let g = 10 - l. Solve 4*s + 9 = 3*q + 2*q, 3*s + g = 4*q for s.
-1
Let w = 11 + -18. Let x = -5 - w. Suppose 0 = -r, 13 - 1 = x*u + 4*r. Solve 0*z + z = 5*l + 11, 2*l = -u for z.
-4
Let o = 38 + -34. Let r(l) = -l**3 + 4*l**2 - l - 1. Let d be r(3). Solve 0 = -5*x + o*u + 7, 2*x - u + d*u + 14 = 0 for x.
-1
Let m = 2 - -3. Suppose b = -2*j + 19, j + b = m*j - 47. Solve 4*w + 3*x = -j, 3*w - x - 2*x = -3 for w.
-2
Suppose 3*o - 24 = -3*a, 5*o - 8 = 3*o. Suppose -a*i = -3*i - 4. Let c be (i + -4)*(-1 + 0). Solve 4*d = -j - 4 - c, 4*j - 3 = 3*d for j.
0
Let v = 37 + -35. Solve o - t = -v, 3*o + 0*o + 5*t = -14 for o.
-3
Let y = -3 - 9. Let g(q) = -q**2 - 11*q + 16. Let b be g(y). Suppose p - 2 = -4*u - b, 0 = 3*u + 3. Solve -2*r - 1 - 11 = -4*i, -5*i = -p*r - 14 for i.
2
Let z be 2/(-7) - (-23)/7. Let x be (-7)/(-1) - 2 - z. Solve -6*g + 4*t = -x*g - 28, 2*t = -2*g - 2 for g.
3
Let o(g) = g**3 - 5*g**2 - 7*g + 9. Let a be o(6). Suppose 0 = -3*h + 1 + 11. Let z = 16 - h. Solve w + 3 = a*w - m, -5*w = -4*m - z for w.
0
Let h = -5 - -9. Suppose h*u - 16 = -0. Solve -14 = -2*y - u*g, 0*y = 3*y - 2*g + 11 for y.
-1
Suppose -2*i = -4*i + 10. Suppose 0 = 5*r - 6 - 4. Suppose l = r + 3. Solve 5*k + 20 = l*h, -k + 20 = i*h + 6 for k.
-1
Let b = -31 - -43. Solve -2*z = -4*v - 6, 2*v + 0*z + 2*z - b = 0 for v.
1
Let f be (-2)/(-9) - (-200)/72. Solve -2*s - 1 - 1 = -4*w, 0 = -2*w - f*s + 5 for w.
1
Let w(n) = n**2 + 2*n + 3. Let m be w(-4). Suppose 0 = 2*o - 23 + 15. Suppose 23 = 4*f + 3. Solve -1 = p + o*d - m, f*p = -d + 12 for p.
2
Let m(c) = -c**3 + 13*c**2 + c - 11. Let v be m(13). Suppose r - 2*d + 3*d = -2, v*r = -d. Solve -5*t - 2*i + 27 = 0, -4 = -r*t + t + i for t.
5
Suppose -3*s - 6 = -12. Let c = 18 - -2. Solve s*t = t + o, -o = 3*t - c for t.
5
Suppose 2*z + 2*z = 76. Suppose 4*y = z + 13. Suppose -5*q = -3*i - 26, -5*q + 3*i = -i - 28. Solve -4 = -3*h - q*p + y*p, 5*h + 3*p + 3 = 0 for h.
0
Let o be ((-50)/2)/(((-6)/2)/3). Solve f - 25 = 5*s, 0 = -6*s + s - 4*f - o for s.
-5
Let j = 1 + -1. Let r(w) = 2*w - 6. Let n be r(4). Let y = 0 + n. Solve b + y*o + 14 = j, -3*o = 4*b + 2*o + 41 for b.
-4
Let a(j) = j**2 - 15*j + 16. Let b be a(14). Solve -4*q = -0*q - 4, -4*q = x - b for x.
-2
Suppose 0 = -4*z + 20, 4*u = -u + 5*z - 5. Solve u*n + 2*j = -6, 2*n = -n + j - 7 for n.
-2
Let r(k) = -k**2 - 3*k + 2. Let z be r(-3). Solve -4*s = 5*o + 26, -3*o + 0*o - z*s = 14 for o.
-2
Let w = -28 + 23. Let u = 0 - 2. Let v be u/((w/(-2))/(-5)). Solve -v*j + 2*j - 11 = -q, 17 = j + 4*q for j.
-3
Let p = 19 + -19. Solve p = -5*x + 2*h - 26, 5*x + 32 = 3*h + h for x.
-4
Let x = -4 + 7. Suppose 4*l - 2 = x*l. Solve 5*w = 2*h + 35, -w = w + l*h for w.
5
Suppose -7 = 2*o - 6*o + 5*q, -2*o + 4 = -2*q. Solve -3*l + 9 = o*d, -3 = -2*d - 0*d - l for d.
0
Suppose 0 = -0*t + t - 16. Solve 4*m = -4*d + 16, 4*m - 4*d + t = -0*m for m.
0
Let a(d) = -d**2 + 8*d - 5. Let p be a(5). Let s = p + 18. Solve s = -2*c + 5*z, -z - 2*z + 16 = -c for c.
-4
Suppose 2*r = -r. Suppose -w = -r*w - 4. Solve 0 = -w*f, 4*z + 2*f + 4 = -f for z.
-1
Suppose 7*i = 3*i - 108. Let u be (-2)/(-4) + i/(-6). Solve -5 = -u*o - 4*v, -5*v = 12 + 13 for o.
5
Let z(y) = -y**2 - y + 24. Let r be z(-5). Solve 2*g - r = 2*d - 16, -4*d + 12 = 0 for g.
-3
Suppose 2*k - 2*x = k - 4, 3*k + 2*x = 20. Suppose -2*w - 6 = -6*t + 3*t, 2*w + 8 = k*t. Solve z = -j, -j + t*j - z = -6 for j.
-3
Let a be 1 - 1*(-4 - -3). Suppose -a*g + 10 = 2. Solve 0 = -4*l - 0*h - g*h + 24, l + 4 = 4*h for l.
4
Suppose 6*u - 2*u - 4 = 0. Let m = 2 + u. Suppose 0 = -3*a + 6, 0*a + 9 = t + 3*a. Solve -m*p + r + 3*r = 10, t*r = 3*p + 6 for p.
2
Suppose 4*u = -0*u + 20. Let j be (u - 4)*-3 + 3. Solve -z + c - 1 = 0, j = -4*z - 2*c - 19 - 9 for z.
-5
Let z(w) = -2*w + 14. Let p be z(6). Solve -p*f + i = 5*i, 5*i = -5 for f.
2
Suppose 4*c = c. Let s = 2 + c. Suppose -152 = -4*k - 52. Solve 5*n - k = 0, -4*x + 2*x = -s*n + 8 for x.
1
Let l(z) = -z**2 + 9*z - 9. Let f be l(7). Solve 5*o - 20 = -f*v, o - v = -4*v + 4 for o.
4
Let w be (-25)/((-4 + 7)/(-3)). Solve 5 = -2*a + b, -3*a = 3*b + 2*b - w for a.
0
Let l(z) = -z**2 + z + 3. Let n be l(0). Suppose 3*t - t = -26. Let i = t - -16. Solve 22 = u + 5*v, -i*u + 18 = -0*v + n*v for u.
2
Suppose 7 - 51 = -11*x. Solve 4*y - x*c = -0*y + 24, 15 = -5*y - 4*c for y.
1
Suppose 5*r = -3*h + 15, 0 = -r - h + 2*h + 3. Let a be r/(-2) - (-165)/10. Solve -c - 5*p = a, 4*c = 2*p - 0*p - 16 for c.
-5
Let d be -1*1*(3 + -2). Let k be d/(4/8*-2). Solve 5*f + 4*o - 19 = k, 2*f - 8 = 2*o for f.
4
Let w(q) = -q - 9. Let g be w(-8). Let s be -1*g*(-2 - -5). Solve -2*c - s*c - 3*l = -29, 5*c = 3*l + 11 for c.
4
Suppose -3*r - 2*i + 10 = 0, 0 = 5*r - 3*i + 13 + 2. Suppose r = m - 5. Suppose -3 = -j + m. Solve w = -c + 2, -j = -2*c - 3*c - 4*w for c.
0
Let a be 38/(-12) + 2/12. Let v(j) = -4*j - 4. Let h be v(a). Suppose -d - 4*k - 10 = 0, 2*d - 2*k + 6*k + h = 0. Solve 0 = d*g, -7*g + 3*g - 8 = 4*b for b.
-2
Suppose 3*y - 16 = -1. Solve -10 = -y*f - 5*t, t + t + 24 = 5*f for f.
4
Suppose 3*n = -4*s + 68, -2*s - n - 24 = -4*s. Let x = 24 - s. Let b(y) = -4*y - 2. Let h be b(-2). Solve -4 - h = 5*g - 5*a, 4*g + x = 3*a for g.
-4
Suppose -3*y + 52 = y. Solve 5*s - 4*g = -y, 0*s = -s + g - 2 for s.
-5
Let y(i) = 3*i - 3. Let f be y(2). Let b = -10 - -10. Solve 27 = -f*c - 3*x - b*x, -c - 4*x = 21 for c.
-5
Let j = -113 + 76. Let y = 72 + j. Let w = -20 + y. Solve -n - m + 8 = -3*m, 0 = -3*m - w for n.
-2
Suppose 0 = -4*g + 4*y + 52, 3*g - g + 9 = -5*y. Solve -2*f = 4*d - g, 5*d - 2*f + 3 = 4 for d.
1
Suppose -43 = -9*s - 16. Solve -z + 4 = -s*k - 13, -16 = -k - 4*z for k.
-4
Let i be 6*5/225 - (-4)/(-30). Solve s - 5*h = -2*s - 16, 2*s - h + 6 = i for s.
-2
Let q = 5 - 5. Suppose q = 2*f - 5*f - 3. Let g = f - -3. Solve 0*n + 14 = -3*b - 2*n, 2*b + 6 = g*n for b.
-4
Let c = 22 - 17. Solve 2*o - 11 = -c*m, -3*m - o - o = -9 for m.
1
Let w = -8 - -8. Let k be -3 + 0 + w + 17. Let f = k + -10. Solve 0 = 5*q + 5, 0 = f*u + 3*q - 1 + 16 for u.
-3
Let a = 94 + 64. Let z be (-4)/22 + a/22. Suppose 3*k - z - 2 = 0. Solve -n = 5, n - 2*n - 5 = -k*j for j.
0
Suppose 2*p = 57 - 53. Solve 5*b + 20 = -5*u, 2*u + p*b = 5*u - 13 for u.
1
Suppose 19 = -x - 0*b - 5*b, 3*x - 13 = -b. Let c(p) = p**3 - 6*p**2 + p - 6. Let j be c(x). Solve j = 5*l - 20, l = 5*h - 0*l - 1 for h.
1
Let v(w) = -w**3 - w**2 + 10*w - 5. Let t be v(-4). Solve p + 11 = t*h, 3*h + h - 8 = 3*p for p.
4
Let n = 5 - 2. Suppose 1 = n*w - 5. Suppose -3*l + w*u + 26 = 10, 0 = l + 2*u. Solve -3*p + 0 = 3*b + 9, -5*p - 11 = l*b for p.
1
Let x be ((-12)/10)/((-4)/10). Let c(j) = -j**3 + 3*j**2 + 2*j - 2. Let p be c(x). Solve 0 = p*q - 8, 0 = 3*z + 2*z + 2*q - 14 for z.
2
Suppose -39 = 4*i - 17*i. Solve i*y = 2*k + 8*y - 21, -5*k + 2*y - 20 = 0 for k.
-2
Let k = 7 + -5. Suppose 3*u + 0*u = 9. Suppose -5*j = -u*s, -4*j = -5*s - 3*j. Solve 27 = 3*h + t - 6*t, k*h - 3*t - 17 = s for h.
4
Let k(f) = 5*f**2 + f + 1. Let n be k(-1).