+ 13 = 4*p. Suppose w*h - 24 = h. Solve -4*a - h = -2*v, 0*v = -4*a - 3*v - 22 for a.
-4
Suppose 0 = -d - 2*d - 6. Let f be 4/d*15/(-6). Let q be 48/9 - 1/3. Solve 3*t = 2*c - 9, -33 = f*t + q*c + 7 for t.
-5
Let w(l) = -l - 4. Let h(i) = -i**2 - i - 4. Let k be h(0). Let c be w(k). Solve c = -4*b - 2*p + p + 19, -2*b = -5*p - 15 for b.
5
Suppose -l + 3 = -0*l. Solve 6*m + 8 = l*m + 4*v, -3*m = -v + 2 for m.
0
Suppose -6*g + 16 = -2*g. Let f be 4/(-14) + 74/14. Let q = f - 1. Solve -u = g*z + 9, 5*z - 3*u + 12 = q*z for z.
-3
Let w = 1 - -2. Solve -w*q + 18 = o, -5*q + 4 = -2*o - 15 for o.
3
Let o(b) = -2*b - 2. Let u be o(-2). Suppose -4 = u*m - x, -5*m = -2*m - 5*x + 20. Solve m*g + g - 19 = -5*f, -f - 1 = 5*g for g.
-1
Let a be (-6)/(-24) - (-2)/(-8). Solve -3*g = 2*o - 13, 2*o + o - g + 8 = a for o.
-1
Let z be (-28)/(-6)*(-78)/(-91). Solve -2*d = -4, 3*x + z = d - 10 for x.
-4
Let p be (-1)/(-1)*(-1 + 4) + -1. Solve -3*c - 5*n = -23, -c + 6*c - p*n = -3 for c.
1
Suppose -2*b = 2*a, -b + 5*a + 30 = 6. Solve -2*v + 3*v + b*k = -13, 0 = 2*v + 5*k + 14 for v.
3
Let u(h) = h**3 + 8*h**2 + 6*h - 2. Let b be u(-7). Solve -10 = -3*j + 2*y, -2*y = 5*j - y + b for j.
0
Suppose 4*w = -4*r + 5*w + 83, 25 = 2*r + 5*w. Suppose b - 6*b + r = 0. Solve -3*k - b*i = -14, -i = i - 4 for k.
2
Let n(m) = -m**3 + 11*m**2 - 12*m + 22. Let t be n(10). Solve -5*j = t*s + 10, -4*s = 6*j - 2*j - 4 for j.
-4
Suppose u + 4*l - 67 = -4*u, -2*l = 5*u - 71. Let x = 23 + -19. Solve -x*r - u = 5*n, -r = -2*n - 0*n - 6 for r.
0
Let z(g) = -8*g + 1. Let v be z(-3). Suppose -5*b + 79 = -301. Suppose 2*l - 3*i + i - b = 0, -i = 2*l - 61. Solve 5*q = -0*q - o - v, -2*q - l = 5*o for q.
-4
Suppose 3*h = 3 - 0. Solve 13 + h = -5*d - 4*x, d + 4 = -2*x for d.
-2
Let w = -11 - -16. Solve 4*k + t - 4 = 0, 5*k - 30 = -0*k + w*t for k.
2
Let c be 36/24 + 1/2. Let a(s) = -s + 2. Let q be a(2). Solve -2*z - g = -2*g, q = -z - c*g for z.
0
Suppose -s = 4*j - 29, -2*j + 4 = 4*s - 28. Let m(c) = c - 7. Let k be m(j). Let r be (5 - k) + 0 - -2. Solve 2*y - 3*w - r = 0, 3*y - w = -0*y + 5 for y.
1
Let x(b) = -b - 1. Let z be x(-3). Let u(k) = z + 2*k - 4*k - 4*k + 5*k. Let n be u(2). Solve y + 6 = -n*y + 2*w, 0 = -4*y + 3*w - 19 for y.
-4
Let o = 7 + -3. Suppose -3*w + 4*l - l = 3, -1 = -2*w + l. Let f(m) = -2*m**3 - m**2 - 2*m - 1. Let u be f(-1). Solve 4*x = -o*k + 16, -u*x - w*k + 9 = k for x.
3
Suppose -32 = -4*t + 4*l, 0*l = 5*t - l - 20. Suppose -y + t + 0 = 0. Suppose -1 = v - y. Solve -2*j - 4 = v*j, 3*j = 5*x - 3 for x.
0
Let p be (4 - (-12)/(-4)) + 4. Let h(i) = -i + 7. Let x be h(p). Solve -x*t - 4 = 2*r, 2*t + t + 21 = 2*r for t.
-5
Let c be 4*1/(-2)*-2. Solve -4*z = 0, -c*b - 3 = -2*z + 1 for b.
-1
Let d(h) = h + 6. Let u be d(-3). Suppose 0 = 2*b - u*p - 2 - 3, 0 = 5*b + 3*p - 23. Solve 0 = -3*t + b*a - 8, -5*t - 4*a - 24 = 0 for t.
-4
Let u(d) = -d - 2. Let h be u(-6). Solve 0 = h*r + q + 2, 4*r - 2*q - 5 = -1 for r.
0
Let z(j) = -j - 11. Let s be z(-15). Solve -a - 2 = 2*v + 2*a, 5 = -5*v + s*a for v.
-1
Suppose h - 24 = -4*t, 5 = -4*t + 5*t. Suppose -21 = -3*b + 5*j, -j - 4*j = h*b + 7. Solve -6*z + z + 4*w = 4, -2 = -3*z - b*w for z.
0
Suppose -1 = 3*c - 4. Let r(x) = 10*x**3 - 1 + 2*x**2 - 2*x**3 + x**3. Let i be r(c). Solve 5*b = 3*s - 0*s - 12, -2*s + 4*b = -i for s.
-1
Let n(w) = w**3 + w**2 + w - 1. Let g be n(1). Suppose -2 = 4*l + g. Let d be l - -4 - 9/3. Solve d = -h - 4*b - 13, -b = -2*h + 3*b + 22 for h.
3
Let d(z) = 2*z - 10. Suppose h + 3*t + 0 = -1, 2*h = 4*t + 18. Let u be d(h). Solve -2*g + 4*x = u, -3*g - x = -2*x + 5 for g.
-2
Suppose -2*m + 3 = -5*y - 13, 3*y + 2*m = -16. Let a be 2/y*10*-1. Suppose c = -a, -2*v - 4*c - 26 = -5*v. Solve 8 = -v*p - 5*u, u + u - 16 = 4*p for p.
-4
Let l = -5 - -7. Suppose r + l*r - 12 = 0. Solve 0 = -r*t - g - 5, -2*g - 11 + 1 = 3*t for t.
0
Let x = 4 - 2. Solve 13 = 3*h - x*f, -h - 4*f - 10 = 9 for h.
1
Let r be -2 - 20/(-9) - (-1870)/90. Solve 3*a = -3*p - r, -4*p + 14 = -4*a - p for a.
-5
Let r(f) = 6*f - 8. Let x be r(2). Solve 3*s + x*t = -35, s + 0*s - 5*t = 20 for s.
-5
Let t = -66 + 69. Solve -t*h - 20 = 2*h, -k + h + 6 = 0 for k.
2
Suppose 5*r - 36 = -3*z + 14, -2*z + 5*r = 0. Suppose 4*b + z*k - 5*k = 54, -k = -b + 9. Let c = b - 7. Solve c*g = -3*y - y + 28, 0 = -5*y + 15 for g.
4
Let v = -8 + 13. Suppose 0 = v*y + 5*d - 15, 30 = -y + 5*y - 5*d. Solve -5*f = 5*k, 4*k + y*f = -0 + 3 for k.
-3
Let a = -29 + 10. Let f = -18 - a. Solve -5*i + 5*w - 4 = f, 4*w - 9 = 5*i for i.
-5
Let n(y) = 20*y**2 - y**3 + 3*y + 10*y - 8*y**2. Let u be n(13). Solve 4*d = u, -j + d = 3*d - 1 for j.
1
Let l be 2 + (-8 + 3 - 2). Let g = -3 - l. Let t = g + 7. Solve -6 = -2*j + r, 0*r - t = -3*j - 3*r for j.
3
Let q be (2/(-5))/((-4)/40). Suppose d = 3*p - 60, p - d = -q*p + 100. Solve -b + 4 = 3*u + 17, -5*b = p for u.
-3
Suppose -3*q - 4*q = -0*q. Solve 5*j = 3*j + 2*o - 6, -j + 3*o - 1 = q for j.
-4
Let a(q) = -5*q - 2. Let h be a(-1). Solve h*t = -5*d - 19, -d = 3*t + d + 13 for t.
-3
Let g = 41 - 39. Solve -4*s + 2*k = -g, -2 = 4*s - 5*k + 7*k for s.
0
Suppose -3*q + 5*h + 18 = -q, 3*h - 10 = -4*q. Solve 0*k = 2*a - 4*k + 12, q*k - 20 = 0 for a.
4
Suppose 0 = -4*u - 3*r + 65, r + 110 - 5 = 5*u. Suppose 4*p = -y + 7, 0 = 2*y - 6*y - u. Solve 0 = o + p, -i - i + 7 = -5*o for i.
-4
Let u be 3/6*-1*-22. Suppose 0 = -c + 2, -3*b + u = -5*c. Suppose 3*z - b = 2. Solve -4*h - 15 = -3*j, z*j - 2*h + 1 = 10 for j.
1
Suppose 9*l - 7*l = 6. Let n be (-156)/20*(-4 + -1). Solve l*d - n = 3*u - 12, d = -u + 1 for d.
5
Suppose -a + 30 = 3*n + 4*a, -2*a = 3*n - 21. Let v(m) = m**2 - 3*m + 1. Let d be v(n). Solve 2*x + 5*w + 6 = 2, d = 3*x - w for x.
3
Let w = 62 + -60. Solve 2*k + a - 5 = 0, 4*k + 3*a + 1 = w*k for k.
4
Let k be (0/(-1) - -2) + 6. Let o = 13 - k. Solve 15 = 5*n + o*j + 5, 10 = -n - 5*j for n.
5
Let o(u) = -u**3 + 5*u**2 + 2*u - 5. Let d be o(5). Suppose -4*y - y - 245 = 0. Let w = 79 + y. Solve d*x + w = -p, -3*p = -4*x - 0 - 5 for p.
-5
Let n(z) = -z - 4. Let a be n(3). Let s = a + 8. Let h be s/(-5) - (-64)/20. Solve -h*w = -5*f - 14, -2*w + 18 = -5*f - w for f.
-4
Let u(o) = o**3 - 3*o**2 + 3*o + 3. Let n be u(3). Let a = 15 - n. Solve r = y + 2, -r - 4*y + a = -9 for r.
4
Let s be (6/8)/(-1 + (-20)/(-16)). Solve -2*d - 2*d = -2*a - 2, -a = -4*d - s for d.
-2
Let o be (-13)/((-65)/30) + -1. Solve -o*a + 10 = 0, 2*b + 10 = 4*b + 4*a for b.
1
Suppose 21 = 5*g - 2*n, g - 4*n = -0*g - 3. Let u be (-1)/(-5) + 14/g. Solve -18 = -u*q - 3*x - 0, -2*q = 5*x - 21 for q.
3
Suppose -3*s + 76 = 13. Solve 5*c = -g - 29, -5*c = -g - 0*g + s for g.
-4
Let f = 2 + 2. Suppose f*r - j = 30, -5*j = 8*r - 3*r - 50. Let z(u) = 2*u - 11. Let n be z(r). Solve x + 30 - 6 = 5*d, n*d = -x + 26 for x.
1
Let y(g) = g**2 - 4*g - 8. Let q be y(6). Solve 8*b + 20 = 4*b + q*h, 0 = -3*h + 6 for b.
-3
Let l = 1 + 1. Solve 5*i + 6*d + 8 = 2*d, 6 = l*i - 3*d for i.
0
Suppose 9*u = 7 + 29. Solve u*t = -4, -2*t = 5*f + 9 - 2 for f.
-1
Let t be (-2)/10 + (-11)/(-5). Solve -z = m - 3, 9 = 5*m - t*z + z for m.
2
Let j be (200/15)/(4 - (-30)/(-9)). Solve 3*b = 4*i - j, -2*i - 3*b + 10 = -2*b for i.
5
Let d = -27 + 31. Solve -n - 2*n = d*z - 1, 0 = -z - n for z.
1
Let x(y) = -4*y - 14. Let f(z) = 2*z + 7. Let c(d) = 5*f(d) + 3*x(d). Let t be c(-5). Suppose -t*b = 4 - 16. Solve 0*q - 2*o = -4*q - b, -19 = q + 4*o for q.
-3
Let u(b) = 0*b**2 + 9*b + 0*b**2 + 6 + b**2. Let s be u(-7). Let k be (-20)/s*16/10. Solve k*c + c = 20, 3*c = -4*n - 4 for n.
-4
Suppose -4*w = 5*a - 9, -9 = -4*a + 3*a + w. Solve 2*p - p = -r + 2, -a*p + 10 = -2*r for p.
2
Let o(f) = f**2 + f + 2. Let n be o(0). Let x = -20 + n. Let g be 0 - (x - (-3 - -3)). Solve -4*l + d + g = 0, -d = -2*l + 3*l - 2 for l.
4
Let a be 8/(-10) - (-405)/(-25). Let u = 21 + a. Solve -2*w = -c - 4*w + 2, -20 = 2*c - u*w for c.
-4
Let d = 7 - 1. Let n(l) = 8*l**2 + 5*l + 3. Let g(a) = -a**2 - a - 1. Let c(q) = d*g(q) + n(q). Let w be c(3). Solve -t + 2 = 3*p + t, -4*p + t = w for p.
-2
Let c = 16 + -16. Suppose -3*y = -2*y. Suppose y = -3*w + 46 + 32. Solve -4*m + c*m + 2*h + w = 0, -4*h - 24 = -m for m.
4
Suppose -4*y + 68 = 20. Solve -u + 0*u + 3 = -2*l, 0 = -4*u + 5*l + y for u.
3
Suppose 5*t = 4*b - 125, -b - 3*t 