for z.
-2
Suppose 6 + 2 = -3*r - 2*u, -4*u = -4*r + 16. Let q(a) = -a**2 - 2*a + 6. Let g be q(r). Solve 3*p + 10 = f, -g*p + 2*f + 24 = -11*p for p.
-4
Let n(k) = -26*k + 106. Let x be n(4). Solve -1 = w, 7*u + 4*w + x = 8*u for u.
-2
Suppose 11*x - 6*x + 3*k = 23, -x - 3*k + 7 = 0. Solve t = c - 1, -c + x = -0 for t.
3
Suppose -8*z + 24 = -32. Suppose 2*t - 100 = -5*r, -z = -t - 2*r + 42. Solve 5*a - t = 5*n, 4*a - n = n + 28 for a.
5
Suppose -2*s + 132 = s. Suppose -33 = -3*l - z, -4*l = -0*z + z - s. Let q = 16 - l. Solve -3*k + 8*k - 15 = u, 0 = -q*u + 2*k - 6 for u.
0
Let r = 9 + -11. Let l be 3/r + (-38)/(-4). Let s be (0 + -12)*l/(-16). Solve 0*a + 4*v + 4 = 4*a, -s = 2*a - 4*v for a.
5
Let o be 141/4 + 18/24. Suppose 4*f - 5*d + 60 = 0, -f = 2*d + 2*d + o. Let m = -12 - f. Solve i + m = 2*b - 4*b, -3*i + 6 = -4*b for i.
-2
Let y(b) = b**3 + 4*b**2 + 3. Let t be y(-4). Solve -4*n + 11 = t*f - 17, 0 = -5*f + 20 for n.
4
Suppose -f - 2*h + 5 = 0, -h = -0*h + 2. Solve 5*z - 2*z - 3*c + f = 0, -4*z - 28 = 4*c for z.
-5
Suppose 104 = -12*k + 64*k. Solve k*i + x - 12 = 0, -5*x + 11 = i - 2*x for i.
5
Let q(r) = r**3 - 7*r**2 - 7*r - 5. Let y = -2 + 2. Suppose 6*u - u - 40 = y. Let a be q(u). Solve p + 9 = g, 3 = a*g - p + 4*p for g.
5
Let y be -6*(-80)/30 + -4*1. Solve 2*h - h - 3*q - 11 = 0, y = -3*q for h.
-1
Let n(c) = -2*c**2 - 1. Let h be n(-4). Let d = h - -40. Solve -4*f - v = -6, 4*f - 2*v + d = 7*f for f.
1
Let m be -3*(-2)/(-9) + 24/36. Suppose -5*k + 33 + 17 = m. Solve -3*w + 16 = w, 0 = 3*o - 4*w + k for o.
2
Let h = -521 + 523. Solve -5 = -r, 5*z - 5*r + 40 = -h*r for z.
-5
Suppose -388 = -5*v + 122. Let m = v + -100. Solve 3*b = 3*z - 6, m*b - 2*z = -b - 5 for b.
-1
Let d(k) = 4*k - 37. Let h be d(12). Solve 9*u - 4*u - h = 4*q, -10 = -2*u + 3*q for u.
-1
Suppose -6*b = -21*b + 225. Solve p + 4*m = 3, 0 = -10*p + 5*p + 4*m + b for p.
3
Let y = 13 + -9. Let i = y - -1. Suppose 28 = g + 3*g. Solve -x - 2 = -o - g, i*o + 4*x = 20 for o.
0
Suppose -36*p = -10*p - 806. Let z(y) = y**2 + 4*y - 5. Let x be z(-5). Solve -n - l - 5 - 3 = 0, 2*n + 5*l + p = x for n.
-3
Let z(y) = 48*y**2 - 13*y. Let p be z(1). Solve -4*n - p = 3*h, -2*n = 4*h + 3*n + 45 for h.
-5
Let g(t) = 10*t + 96. Let v be g(-9). Let r(i) = -3 + 6 + 6 - i. Let z be r(v). Solve 2*b + z - 1 = 0, -m = -2*b - 5 for m.
3
Suppose -m + 4 - 20 = -h, -3*m = 2*h - 17. Let u be (-67)/(-4) + (-3)/4. Let y = u - h. Solve -t + p = 0, 3*p + 4 = -y*t + 4*p for t.
-2
Suppose 24*p + 29 = 269. Solve 2*f + 3*u + 18 = 5*f, 0 = -f - 3*u - p for f.
2
Let n(x) = -7*x**2 - 3*x + 1. Let q(o) = -13*o**2 - 6*o + 2. Let c(k) = 7*n(k) - 4*q(k). Let t be c(1). Solve -t*s = 0, z - 4*s + 8 = -3*z for z.
-2
Suppose 4*q - 21 = t, 0*q + 1 = q + 4*t. Solve 4*z = 3*z - y - 5, -y - q = -4*z for z.
0
Suppose -2*y - 8 = -3*o - 0, 5*y - 37 = -2*o. Let q be 9/o + 1/(-2) + 3. Solve -6 = -2*d, 4*k + 0*d + 12 = q*d for k.
0
Let q(g) = g**3 - g**2. Let i be q(0). Suppose 5*v - 35 = -10. Let n be (3 + v/2)*4/2. Solve -3*z - 5*l + n = i, 0*l + l = -5*z - 11 for z.
-3
Let i(s) = s**3 - 6*s**2 + 5*s. Let q = 3 + 2. Let f be i(q). Suppose f = 3*b + 5 - 17. Solve 5*m = k - 9, -k + 4*m = -b - 4 for k.
4
Suppose -59 = 2*f - 17. Let i = -19 - f. Solve 0 = 2*r - 2*s - 2, -r - 11 = -i*s - 2*s for r.
5
Let w(d) = -d**2 - 3*d - 2. Let q be w(-2). Suppose 9*p - 4*p - 55 = q. Suppose 3*f - 4 = p. Solve 0*j + 2*j + f = -v, 2*j + 9 = -5*v for j.
-2
Let l be 5/10 + 38/4. Let h = l + 0. Solve -t + 5 = -5*r, 0 = -0*t + 2*t - h for r.
0
Suppose -2*z - 2 + 6 = 0. Solve 0*c - z*k = 2*c, 0 = -2*k - 8 for c.
4
Suppose 4*n = 6*n. Let d = 34 - 29. Let i(y) = y**3 - 4*y**2 + 4. Let r be i(d). Solve n*g = -2*c + 5*g - r, c + 17 = 3*g for c.
-2
Suppose 0 = 2*u - 5*u + 30. Let n be (-5)/u*(-7 + -1). Let g(l) = -l**2 + 9*l - 14. Let k be g(7). Solve 5*o + 25 = k, -o + n = -f + 4*f for f.
3
Suppose -4*u - 11*s + 10*s = 0, 0 = -4*u - 4*s. Solve -g - 5 = -5*o + 4*o, u = -3*g + o - 5 for g.
0
Let j(n) = 12*n**3 - 4*n**2 + 10*n - 5. Let o be j(1). Solve -a + 7 = w, -9*w = -o*w + a + 8 for w.
3
Suppose -5*k + 14 = -16. Suppose -5*m + 2*m + k = 0. Suppose 4 = 3*n - m. Solve -8 = 5*b - 0*s + n*s, 2*b = s + 4 for b.
0
Suppose -16 = -29*f + 25*f. Solve -4*b - 5*o + 11 = 0, -f*b + 20 = -3*o + 1 for b.
4
Suppose p = -1, -2*a + 5*p + 41 - 20 = 0. Solve 0 = 4*u - 3*y - 10, 3*y - 6 + a = 2*u for u.
4
Let v = 6 - 4. Suppose 3*d + 3*d - 12 = 0. Suppose d*x = 5*s - 4*s + 42, -82 = -4*x + 3*s. Solve -4 = -4*p + v*j, 2*p + 4*j + x = -j for p.
-1
Let t = -6 + 10. Let z = 22 - t. Suppose -8*m = -5*m - z. Solve 3*d - m = n - 16, -5*d = -n + 16 for d.
-3
Let y = -776 + 784. Solve v = 2*c - 4*v + y, -3*v = 0 for c.
-4
Let l(f) = 7*f**2 + f - 1. Let c be l(1). Let q = -101 + 103. Suppose 4*b = -4*x + 104, -16 - 26 = -q*x - 4*b. Solve 3*k = 4*r + x, 0*k - 3*k - 2*r = -c for k.
5
Let a = 8 + 37. Let r = a + -38. Solve 0 = -5*x - 3*n + r, 5*n - 10 = 3*x + 13 for x.
-1
Let z(x) = 20*x**2 - 3*x - 9 - 19*x**2 + 17*x. Let c be z(-15). Suppose -2*r + c + 0 = 0. Solve -4*t + 2*u + 1 = r, 5*t + 4*u = 17 for t.
1
Let a(q) = 1. Let l(d) = d**2 - 12*d - 8. Let h(t) = 2*a(t) - l(t). Let i be h(11). Let n = i + -19. Solve 3*u - 1 = n*m, -4 = -2*u - 4*m + 18 for u.
3
Suppose b - 21 = 4*b. Let t = b + 11. Suppose 22 - 40 = -9*p. Solve -t*d = d - v - 18, -p*d + 10 = v for d.
4
Let q be (-39)/(-2) - 1/(-2). Let p = 5 - 7. Let c be -1*(-16)/4 + p. Solve -c*u + 5*v + 17 = 0, -u + 6*u = 5*v + q for u.
1
Let m be (-4 + -6)*42/(-140). Let n be (-2)/(-6)*(-18)/(-2). Solve j + j = -m*l, 5*j + 21 = n*l for j.
-3
Suppose 62 = 6*q + 38. Solve -2*w + 5*c - q = 27, w = c - 8 for w.
-3
Let x = 419 + -415. Solve 0 = -4*c - 4*b - 4, 4*b - 29 = x*c - 9 for c.
-3
Let f(l) = -3*l + 3. Let c be f(-2). Suppose 6*x + 20 = -46. Let j = x + 18. Solve 3*r - 9 = -j*v + 2*v, -3*r = -3*v - c for r.
3
Suppose 231 = 6*c - 13*c. Suppose 3*w = 15, -3*w + 71 = -3*p - 28. Let u = p - c. Solve -h + u*h + 20 = 0, 2*i + 2 = -2*h for i.
4
Let k(r) = 2*r**3 - 6*r**2 - 11*r - 5. Let n be k(-3). Let y be (-16)/n + 48/10. Solve -5*v - y*b = 10, -5*b - 2 = v - 0 for v.
-2
Suppose -3*k = -y + 1, k = 2*y + 2*y - 15. Solve 0 = -w - 5*m - 6, 0 = -0*m - m - k for w.
-1
Let t(z) = -z**3 - 48*z**2 + 2. Let f be t(-48). Solve f*c + 3*u + 1 = 0, 5*c + 3*u + 9 = 2 for c.
-2
Suppose -y + 4*a = 13, 3*y = 2*y + 2*a - 5. Let q = -13 + y. Let b = -2 - q. Solve -4*z - 31 = -5*v, 0 = v - 2*z - b - 3 for v.
3
Suppose 3*i + 0*i - 3*p + 15 = 0, -p = -5. Solve 5*j = -5*b - 25, -j + 4*b - b + 3 = i for j.
-3
Suppose -2*a - 2*u = -6*a - 24, 0 = 3*u. Let q = 2 - a. Solve 5*z + 2 = -4*h, q*z - 3*z - 16 = 2*h for z.
2
Suppose -3*n + 6 = -15. Suppose -w + 2*w - n = 0. Solve -m = -5*s + m + w, -m = 4*s - 16 for s.
3
Suppose 45*g + 24*g = 345. Solve -w + 0*l + 2*l = -3, -w + 12 = -g*l for w.
-3
Let m(i) = i**3 - 6*i**2 + 3*i - 6. Let z be m(6). Suppose 0*d - d + z = -3*n, -5*d + 21 = -2*n. Solve r = 4*u - 15, -d*r = 2*u - 0*r + 3 for u.
3
Suppose c - 20 = 2*y, -2*c = -y - 10 - 30. Solve -4*z - c = 3*g, 2*z + 3 = -g - 5 for g.
-4
Suppose w - 32 = 99. Suppose 2*b + 123 = w. Solve b*z - 27 = -5*c, -z = -5*c + 4*z for c.
3
Suppose -33*m + 55 + 44 = 0. Solve -m*n - 20 - 15 = 4*l, -4*n = 5*l + 45 for l.
-5
Let k = 387 + -385. Solve -k*v = 3*v - 25, 5*x - 5*v + 15 = 0 for x.
2
Suppose -143*a - 11 = -144*a. Solve -2*v + i = 13, 0 = v + i + 2*i - a for v.
-4
Suppose 3*s = -2*s + 85. Let x = 26 - s. Suppose -2 = a - x. Solve -4*r = -0*h + 4*h + 28, 3*h + a = 4*r for h.
-5
Let s = -2169 + 2169. Solve 18 = -5*l + f, 0 = -s*l + 2*l - 4*f for l.
-4
Let n be (-3)/(-4 - (-6)/2). Suppose -s + 12 = n*s. Solve -6 = -2*y + 3*y - c, -s*y - c = 10 for y.
-4
Let b = 11 - 11. Suppose b*r - 3*r = 129. Let i be r/(-5) - 6/(-15). Solve -2*k + 2 = -z + 8, -5*k = -z + i for z.
4
Suppose 9*c - 100 = 19*c. Let m be 0 + (13 - 1) + 1. Let i = c + m. Solve -5*d = 3*w - 7, -d - 2 = i*w - 13 for d.
-1
Let y = -92 + 101. Solve -4*b - 11 = -y*b + 2*v, v + 6 = 3*b for b.
1
Let n be 14 + (3 - 10) + -7. Solve -3*v - 2*z = 7 + 16, n = 5*v - 5*z + 5 for v.
-5
Let t(q) = -q**2 + 3*q + 7. Let j be t(7). Let l = j - -24. Solve -5*h + 35 = -l*f - f, 4*h = 3*f + 27 for f.
-5
Let r(v) = v**3 + 4*v**2 