t k(z) = -6*z**2 + 1. Let o be k(-2). Let h = o - -25. Solve p + 2*u = -15, -4*p - 22 = h*u + 8 for p.
-5
Let t = 14 - 11. Suppose t*b = 88 - 4. Let f be -1 + (-2)/(2/(-7)). Solve 3*j - 18 = -3*k + f*j, -5*k + 4*j = -b for k.
4
Let v = -57 + 84. Let q = v - 14. Let m be 2 + -3 + 8 + 2 + -6. Solve 0 = -0*a - a - 4*c - q, -13 = 4*a + m*c for a.
-1
Let d = 9 + -5. Suppose 27 = -n + d*z + 9, z = 5. Suppose 5*v - 3*m = 10, 0 = 4*v - 4*m - 0*m - 8. Solve 5*h - 16 = n*l + 2*l, -5*h = v*l + 8 for l.
-4
Let v be (-24)/(-3) - 3 - 3. Let p be ((-8)/12)/(v/(-33)). Solve m = -x + 7, m = x - 4*m + p for x.
4
Let m = -12 - -17. Solve -4*p + 0*q = -3*q - 21, m*q = -5*p for p.
3
Suppose 4*v - 8 = 2*z, 2*v - 6 = -v + 3*z. Let y be (0/6)/((-4)/(-2)). Solve 2*r - h = 9, -2*r + v*h = -y*r - 8 for r.
5
Let v = -1 - -7. Suppose -4*o + 11 + 9 = 0. Suppose v = -o*a + 26. Solve -4*q + s = 16, -5*q - s = 16 + a for q.
-4
Let d = 12 - -6. Suppose z - d = -z. Solve 2*o + 21 = 5*p, -2*p - 2*p + z = o for o.
-3
Let q = 41 - 38. Solve 4*j = m - q*m + 26, 0 = 2*m + 5*j - 31 for m.
3
Let g be 3/(-5)*(-10 - -5). Let f = 4 - g. Solve k = 0, 0 = -2*i - 5*k - f - 3 for i.
-2
Let x(b) = -b**2 - b + 2. Let c = -4 + 7. Let u be (-7)/2 - c/(-2). Let y be x(u). Solve 0 = -r - y*r - 4*s - 10, 5*r - s = 13 for r.
2
Suppose c - 2 = 2. Let b = c - 2. Let z(x) = x**3 + 11*x**2 - 13*x - 8. Let w be z(-12). Solve w*v = -5*a + 41, -5*v + 0*a + 10 = -b*a for v.
4
Let t(q) = q**3 - 2*q**2 + 3*q - 1. Let u be t(2). Let z be ((-52)/(-2))/(-2) + 1. Let v = 27 + z. Solve -7 = -u*d + 3*g, 5*g - v = -5*d - 0*d for d.
2
Let q be (9/12)/(6/16). Solve 7 = -r - m, q*r + 4*m = -r - 24 for r.
-4
Suppose -s + 10 = -5*n, -s + 2*s = -n + 22. Let g = -14 + 16. Solve -2*f - 2*f - 15 = -d, -g*d - s = 2*f for f.
-5
Suppose -2*q + 3*m - 9 = -0*q, -q + 18 = 3*m. Solve -3*g = -x + q, -4*x + 0*g - 10 = -g for x.
-3
Let f(w) = 2*w + 8. Let d(c) = -c**3 - 8*c**2 - 4. Let g be d(-8). Let k be f(g). Solve 0 = -3*q + 9, 20 = -t + 5*q - k*q for t.
-5
Suppose 4*z + 14 = 5*w, 0 = -3*z - z - 4*w - 32. Let i = -17 + 5. Let y = z - i. Solve -2*c + 8 = -x, -4*c - 4*x + y + 10 = 0 for c.
4
Suppose c = l - 2, -2*l - 2*l + 8 = 5*c. Let b be (-4)/(8/12*-3). Solve 3*i + 4*s = -b*i - 22, -5*i - 3*s - 19 = c for i.
-2
Let r be 3/(-2 - (-52)/32). Let t = r + 10. Solve -t*h - 18 = -b + 3*b, 0 = -3*b - 15 for h.
-4
Suppose 0 = 4*c - 7*c + 6. Suppose 0 = -n + c*j + 2, -7*j - 5 = n - 2*j. Solve n*o - 5*o + m = 19, -o + 2*m - 2 = 0 for o.
-4
Let r be 1*1/(-1) - -4. Solve -4*f - 5*x + 6*x = -23, 2*x = r*f - 21 for f.
5
Let y be (-30)/((4 + -3)*-2). Solve -3*v = -3*i + 12, -5*v + 2*i - y = -2*i for v.
1
Let n be -2*(-3)/6 - -4. Solve -n*i - 8 = 2*u, 7*i + u + 5 = 4*i for i.
-2
Let x be 0 - (-3 - 44)*1. Suppose 2*w - x = 5*f, -4*w + 19 = 6*f - f. Solve -3*u = 2*r + 18, 2*u - r + w = -2*r for u.
-4
Suppose 10*f = 6*f - 3*h + 8, -4*h = 3*f + 1. Solve -5*o = -4*k + 28, -f*k - 4*o + 1 - 7 = 0 for k.
2
Suppose -3*y - 12 = 0, y - 3 = s + 3*y. Solve 5*x + s = -5*r, -10 = -5*x - 3*r + r for x.
4
Let q = -8 - -5. Let z be (2/q)/((-2)/15). Let i(u) = u - 6. Let g be i(6). Solve g = 5*r + 20, -2*r + z*r = 3*x for x.
-4
Suppose 36 = m - 5*m. Let n = 15 + m. Let f be (-2 - (0 + 0)) + n. Solve -13 = -h - 3*g, f*g = -h + 16 - 0 for h.
4
Suppose -4 = r - 3*r. Solve 0 = -a - 2, 3*c = 7*c - r*a for c.
-1
Let b(v) = 2*v - 3. Let q be b(7). Let r = q - 6. Let a be (-3)/(1 - -2) + r. Solve 0 = -4*k + 5*k + a*u - 25, 3*u = 3*k for k.
5
Let z be -6*((-7)/3 + 1). Suppose -4*g = -2*j + z, 0*j - 3*j + 4 = 2*g. Suppose j*i = 7*i - 100. Solve 0 = -4*c + i, -2*l + 5*c - 21 = -4*l for l.
-2
Suppose 6 = -3*i - 2*f, 1 = -f - 2. Let k = -14 - -19. Solve -m - 4*a - 14 = i, -k*a + a - 24 = -4*m for m.
2
Suppose 0*k + 2*q = 4*k - 14, -3*q = -k + 11. Solve -4*x + 2 + 10 = 4*r, k*x + 4 = 0 for r.
5
Suppose -k + 6 = -2*k. Let w = k - -3. Let j be 9 + ((-6)/w - 1). Solve 2*y + 2*h - j = -0*h, -5*y - 3*h = -25 for y.
5
Suppose 5 - 1 = 2*b. Solve 12 = y + 2*y, -b*z - y + 6 = 0 for z.
1
Suppose 138*g = 140*g - 4. Solve -3*d + 3 = -4*q, 0 = 3*q - d + 4 + g for q.
-3
Let u(r) = r - 5. Let t be u(7). Let j be 1/t + 46/4. Suppose -4*k + 23 - 7 = 0. Solve 0 = -c - 3*q + 8, 0*c - q - j = k*c for c.
-4
Let l = -37 + 37. Solve 4*q + 0*j - j - 7 = l, 0 = -5*q - 3*j + 30 for q.
3
Suppose 0 = -b - b + 10. Solve 0 = b*k - 15, -6*g + 22 = -2*g + 2*k for g.
4
Let g = 12 - 12. Solve g*n - 4*n + 5*h - 31 = 0, -26 = 5*n - 2*h for n.
-4
Let y(i) = -i**3 + i + 4. Let t be y(0). Suppose 0*j + 12 = t*j. Suppose -j*k = -0*k. Solve 0 = -k*s - 2*s - n - 6, 0 = -3*n - 6 for s.
-2
Let f be 2/((-72)/20 - -4). Solve -15 = 4*h - 5*b, 0*b + 3*b = f*h + 9 for h.
0
Suppose -3*z = -4 - 5. Suppose k - z = 8. Solve 2*m - 2*y - k = 3*y, -4*y = 4*m - 8 for m.
3
Suppose -2*r - p + 52 = -5*p, -r + p = -21. Solve 2*w - 4*i = -r, -7*i + 20 = 5*w - 2*i for w.
0
Let j(a) = -a - 3. Let i be j(-3). Suppose i = -4*t + 3*o + 50, -2*t - 3*o - 12 = -28. Let g = 7 - 3. Solve -g*d - 3*r + t = d, -3*r = -3*d - 3 for d.
1
Let u(t) = t**3 + 15*t**2 - t - 11. Let b be u(-15). Solve -3*z + 12 = b*p + z, 4*p = 2*z + 24 for p.
5
Let i(z) = -z**2 + z + 5. Let l be i(0). Solve 2*o + 10 - 28 = -4*d, l*d - 2*o - 27 = 0 for d.
5
Suppose -3*t = -t + 3*t. Solve 2*w + 3*o + t = 1, 0 = 3*w + 3*o for w.
-1
Let y(k) = k**2 - 4*k. Let n be y(5). Solve 5*p = -n, -2*s + 3 = -p - 2*p for s.
0
Let y = 79 - 76. Suppose -3*r + 8 = -c - 7*r, 0 = 5*c - 4*r - 32. Solve y*w = a - 22 + 5, a = -c*w - 11 for a.
5
Suppose 0 = -3*k + k. Suppose b - 5*g + 16 = -k*b, -12 = -3*g. Solve -3*d - 49 + 12 = 5*q, -4*d + 4*q + b = 0 for d.
-4
Let u = 14 + -12. Solve 0 = -u*j + 10, 8 = 3*n - 2*n + j for n.
3
Let a = 31 + -27. Solve 0 = 4*m - 2*b - 18, a*m + 2*b - 13 = 9 for m.
5
Suppose 2 = a - 6. Suppose -2*z = 2*z - a. Solve -i - 9 = -3*c, -z*c + 25 = -5*i + 3*c for i.
-3
Let f(z) = -1 + 5 + 1 + 3*z - 4*z. Suppose 0 = -3*p + 5*p - 4*u + 26, p + 9 = u. Let o be f(p). Solve -4*i + 10 = 3*j, i + j + o = 3*i for i.
4
Let m = 23 + -13. Suppose 2*n + 59 = n. Let p = -39 - n. Solve 0*g + u - m = -g, p = g + 3*u for g.
5
Let n = 13 + -9. Solve -3*o - n*q = 3, -5*o + 2 + 1 = 4*q for o.
3
Let r be (-5*1 - -2)*-1. Let t = r - 1. Suppose y + 67 = 5*d - t*y, -75 = -5*d - 5*y. Solve -6 = 5*b + d, c = -b + 1 for c.
5
Let k be (15/(-5))/(-9)*9. Solve -k*u - 15 = 5*r, r + 5*u + 25 = -0*r for r.
0
Let x = 11 - 4. Let o = 9 - x. Solve 4*a + a = 2*s - 3, o*a - 2*s = 0 for a.
-1
Let h(t) = t + 14. Let b be h(-12). Suppose u + 5 = b*u. Solve u*v - 2*a = 13, v + 2*a = 5 - 0 for v.
3
Suppose k - 2 = -0. Solve 9 = d + k*t, -1 + 21 = 4*d + 4*t for d.
1
Suppose -4*v + 7 = -5. Let w = 6 - v. Suppose -2 = -w*k + 1. Solve -t - 2*j = k, 11 = t - 0*t - 2*j for t.
5
Let d = -6 - -8. Let r be 42 - (d - (-1 + 5)). Suppose 3*k + 0*g - r = -2*g, -5*g - 42 = -2*k. Solve -4*s + 2*q + 15 = 1, 4*q = 2*s - k for s.
2
Suppose -3*r = -5*f + 9, -2*r = -2*f - 2*f + 8. Solve -2*q - 10 = 0, 0*q + 11 = -f*l - q for l.
-2
Let a be 30/10 - (-5 + -1)/(-2). Solve -4*l + 2*f - 2 = a, 0 = -0*l - 3*l - f - 9 for l.
-2
Suppose 3*q - 2*a - 8 = 0, 0*a = 2*q + 4*a. Suppose 0 = -q*s + 4*s - 8. Solve 1 = -s*c + 5, -3*x + c = -8 for x.
3
Suppose 0 = y - 5*y + 84. Suppose -x - 21 = -3*j, -4*j + 5*x = -j - y. Let t be 2/3*18/4. Solve -6*s + s + j = 2*w, -3*s + 6 = t*w for s.
1
Let d(r) = -1 - 2*r - 5 + 2. Let v be d(-4). Solve -2*l + v = -2*y, 3*l = y - 6*y - 26 for y.
-4
Suppose 0 = 6*q - 0*q - 36. Solve -3*b - q*t = -t - 11, -3*b + 3 = -3*t for b.
2
Let w(y) = -3*y**3 + y + 2. Let v be w(-2). Solve 19 = -5*h + 2*q - 3*q, 4*h = -3*q - v for h.
-3
Let j be -14*2/(-3 - 1). Suppose j + 3 = 5*y. Let u = -3 + 15. Solve -y*v + 4 = -2*a, 4*v = 5*a - 0 + u for a.
-4
Suppose 4*t + 3 = -9. Let q be 1/((1/t)/(-1)). Let u be 2 + 2/2 + 2. Solve -q = 2*a - 5*x - 4, 14 = -u*a - 4*x for a.
-2
Suppose -4*d + 3*d - 8 = 3*i, -3*i + 5*d - 14 = 0. Let z(t) = -t**3 - 4*t**2 - 3*t + 4. Let o be z(i). Solve 0 = -3*b + 4*b - 5*m - 19, -b = o*m + 8 for b.
4
Let a = -3 - -7. Let i = -20 - -40. Suppose -2*n - 3 = -d - 7, 3*d + 2*n = i. Solve 2*h - y + a = 4*h, -d*h - 4*y = -16 for h.
0
Let d be (-2)/(-3)*15 - 1. Let r = -18 + 22. Suppose 0 = 3*q - o - d - 11, -4*o 