pose t + 3 = 2*t. Let a = 7 - t. Solve -3*b - z - 4*z + w = 0, -a*z + 13 = -5*b for b.
-1
Let j(c) = c**2 - 18*c + 37. Let o be j(16). Solve 0 = -2*g + o*i - 17, 3*g + 3*i - 27 = -0*g for g.
4
Let s(w) = -w**2 + 2. Let c(k) = -k + 7. Let g be c(7). Let x be s(g). Solve -2*y + 7*l + 3 = x*l, 2*y = -3*l + 11 for y.
4
Suppose -11*c + 63 = -14*c. Let i = c - -28. Solve -2*f = -i*f + 4*v - 2, 0 = 5*v - 15 for f.
2
Let a be (-1 - 2) + (0 - -5). Suppose 4*t - a = 3*o + 5, t + 4*o = -3. Solve 4*w - 7 = -p, -5*w - t = -11 for p.
-1
Let x be 5 + -2 + (2 - 3). Solve -x*f - 2*n - 11 - 1 = 0, 3*f + 21 = -4*n for f.
-3
Suppose 3*m = 62 + 7. Solve -15 = -5*w, 6*i - 4*i - 5*w = -m for i.
-4
Suppose 0 = -4*t + 15 + 5. Let j be (-5 - -1)*2/(-4). Let g = 3 + -3. Solve -w = -3*b - 2, g*b + 27 = t*w + j*b for w.
5
Suppose 4*h - 12*l + 4 = -8*l, -5*l = -h - 5. Solve c = 4*w + 6 + 3, h = 5*c - 5*w for c.
-3
Suppose 5*a = 2*a - a. Solve -2*t = 2*b, -t + 0*b + 2*b - 3 = a for t.
-1
Let l = 5 - 3. Let t be 44/10 - l/5. Suppose q + p - 19 = 0, -5*q - 4*p + 115 = -9*p. Solve 5*h + q = -t*s, -3*s + 5*h - 8 = h for s.
-4
Let w be (165/20)/11 + 9/4. Solve 5*k + 40 = -6*o + o, -4*k + 3*o + w = 0 for k.
-3
Let m(y) = 2*y**2 - 6*y + 14. Let t be m(4). Solve b - 5*w = -t, 3*b + 0*w + 22 = 4*w for b.
-2
Let u = -77 - -177. Suppose -36 + u = 4*p. Solve 2*a = -3*z - 2*a - p, -16 = 4*a for z.
0
Let m be (-3 - 2409/(-9))*-3. Let k be m/9 + (-4)/(-18). Let o be 6/(-15) + k/(-20). Solve 4*c + 1 = -w + 10, -o*c - 3*w = -11 for c.
2
Suppose 0 = 5*i - 0*i - 20. Suppose -5*t + 4*v = -21, -4*v - v + 25 = i*t. Solve 0 = -3*d + t*n - 8, -n + 5 = -4*d - 0 for d.
-1
Let z(j) = -j + 15. Let c be z(12). Solve -2*h + c*v = 4*v - 4, 0 = h + 2*v - 2 for h.
2
Suppose -3*d + 4*s = -1, -4*d + 2 = -9*s + 4*s. Suppose 0*g - d*g = -15. Suppose 16 = 3*o + 4. Solve o*x - 3*r = g, -2*x + 2*r + 2 = -2 for x.
-1
Let m(j) = -j**3 + 7*j**2 - 5*j - 6. Let n be m(6). Solve 25 = -4*x + 5*h, n = -2*h - 2*h + 4 for x.
-5
Let h(o) = -o**3 - 44 + 44 - 5*o**2. Let s be h(-5). Solve s = 2*z + 3*n, -6*z = -2*z + n - 10 for z.
3
Suppose -2*a - 10 = 2*d, -5*a + 5 - 30 = 3*d. Solve -2*b = d, 5*z + 13 = 2*b + 38 for z.
5
Let m(n) = -5*n - 1. Let z be m(-1). Let d be z/(-5 - -3) - -4. Suppose -3*q - 12 = -5*r + 2*r, -q = d. Solve 0 = 2*u - 5*y + 21, -3*u - y - r*y + 21 = 0 for u.
2
Suppose 4*u - 20 = -8. Let w be 1/(-3) + 49/21. Solve 0 = 5*t + 3*s + w, 12 = 4*t + 2*s - u*s for t.
2
Let t(z) = z + 1. Let k be t(2). Suppose -3*p = 3*w - 12, p - w = -k + 1. Let d be -2*3/(-2)*p. Solve 0 = -5*l + 2*i + d*i - 15, -5*l - 2*i = 22 for l.
-4
Suppose 4*b - 4*h - 2 = 2*b, 0 = -2*b + 5*h. Solve 3*s + 15 = 0, -b*y + 2*s + 2*s = -5 for y.
-3
Let n be (-12)/20 - (-69)/15. Solve g = -3*m - 0 - n, 5*g = -5*m for g.
2
Let t(g) = -g**3 - 4*g**2 + 3*g - 5. Suppose 2*q = 5*q + 5*u + 20, -4*u = -2*q - 6. Let y be t(q). Solve 5*z + f - y = 0, -4*z + 2*z - 3*f = -15 for z.
0
Let q(i) = 3*i**2 + 2*i. Let x(n) = -n. Let u be x(-3). Let l be q(u). Suppose 3*r - 35 = -2*g + 5, -2*g - 44 = -4*r. Solve -4*y + 2*k = y - l, 3*k = -r for y.
5
Let f = -4 + 6. Let y be 11/f - 7/(-14). Suppose -16 = -y*n + 2*n - 2*w, 3*w = n + 3. Solve n*t - 24 = 3*z, 2*z + 31 = 4*t + 5 for z.
-3
Let v(q) = q**2 - 2*q - 1. Let j be v(3). Suppose 0*s + 7 = 4*s - w, 0 = -4*s + 2*w + 2. Solve j*g = -2*u - 1 - 7, s*u = -g - 12 for g.
0
Suppose -2*c = c - 6. Solve c*l = -4*v + 2, 3*l - 5*v - 12 + 31 = 0 for l.
-3
Let u = -3 - -3. Let t(g) = g + 23. Let s be t(u). Let h be (-1)/(-1 - 2/(-3)). Solve -w = -l + 5, 4*w = l + h - s for l.
0
Suppose -3*t = -6*t + 9. Suppose -3*a + 2*l + 19 = 0, 10 = a + t*l + 22. Solve -a*g + 2*g + 3 = -2*j, 3*g - j - 9 = 0 for g.
3
Let a(d) = 8*d + 3. Let s be a(0). Solve -5*o - 5*g - 40 = 0, -s*o - 2*o = 4*g + 35 for o.
-3
Let d be 2/(-3) - 6/18. Let z be 1*(d - 1) - -7. Solve -2*c - 25 = -6*c - 3*n, 0 = z*c - 4*n - 8 for c.
4
Let q(s) = -s + 7. Suppose 33 = 3*i + 12. Let g be q(i). Suppose -4 + g = -d - 2*u, -4*d - 5*u = -10. Solve -v + 3*x = -0 + 10, d = -2*v + 5*x - 15 for v.
5
Suppose -12 - 24 = 4*n. Let u be (n/(-15))/(2/10). Solve 6*i - f = i + 18, u*f = -3*i for i.
3
Suppose 0 = -5*t + 4*t + 5*p + 11, 3*t = -5*p - 47. Let a be (-34)/t - 2/(-9). Solve -14 = -3*m + 2*z, 2*m + a*z = -0*m - 12 for m.
2
Suppose 14*m - 9*m = 0. Suppose 6*l = l + 25. Solve 3*n + 5*s - 21 = m, l*s - s - 12 = 0 for n.
2
Let l = 22 - 22. Solve 3*h + 18 = 4*f + 5, l = 5*h + 2*f + 13 for h.
-3
Suppose 2*o = 6 + 4. Suppose 0 = -4*b + 7*b + o*n - 24, -3*n = -5*b + 6. Solve -2*c + b*c = 2*p - 7, 4*c = -4*p - 16 for c.
-5
Let k(t) = -t**3 - 9*t**2 - 14*t + 4. Let f be k(-7). Solve 5*o - f*o + 3 = -2*y, 4*y = 3*o - 21 for o.
3
Let m be (-3)/((-12)/8) - -8. Solve p = -2*d + m, 0 = 2*p - 3*p - 3*d + 14 for p.
2
Let w be (-4)/(-6) + (-28)/(-12). Suppose 0 = w*s - 0*s - 12. Suppose 5*n + d = 16, -2*d = 5*n - 11 - 1. Solve -15 = 2*r - 5*b + 6, n*r + 12 = s*b for r.
2
Let z = 1 - -2. Solve z*h + f - 2 = 0, 0*f = 3*h + 4*f + 10 for h.
2
Suppose 13 = 5*w - 2. Suppose 2*z = 5 + w. Let b be 11/5 - 2/10. Solve b*x + 3*x = a - 2, -z*x - 4 = -2*a for x.
0
Suppose 0 = -3*h + 35 + 28. Let z be (-26)/(-6) - (-14)/h. Solve 0*u + 5*x = u + 24, 0 = u + z*x - 26 for u.
1
Suppose h = b, 2*b = -2*h - 2*b + 18. Solve 2*n - h*y + 6 - 22 = 0, -5*y + 10 = 4*n for n.
5
Let f(h) = h**3 + 5*h**2 + 4*h + 2. Let j be f(-3). Let r be 2 + (-2 - -2) + -4. Let v be r/(3 + 34/(-10)). Solve -g - 3*l - j = 0, 3*g - l - v = 11 for g.
4
Let n(u) = 8*u**2 + u - 2 + 2 - 2. Let c be n(2). Let s = 2 + 3. Solve -2*x + s*o - c = -11, 3*o - 15 = 0 for x.
2
Let s(h) = -h**2 + 4*h. Let r be s(4). Solve -5*g + 0*g = -5*p, g + 2*p + 3 = r for g.
-1
Let y be 3*(-2 + 4) + 0. Let b = y - 1. Solve 0 = -5*n + q - b, -3*n - 6*q + q + 25 = 0 for n.
0
Suppose -3*p = p - s - 24, 0 = 5*p + 4*s - 30. Let g(x) = x - 3. Let f be g(p). Suppose -11 + 1 = -5*d. Solve 8*h = f*h + i - 16, -d*i = -5*h - 12 for h.
-4
Let n = -9 - -13. Suppose -20 = -5*d, 3*d = n*t + t - 13. Suppose -6*l = -2*l - 32. Solve 0 = -3*g + t*p + 3 - 34, -g - 2*p = -l for g.
-2
Suppose -2*d - d = -6. Let w be d - 7/((-14)/(-4)). Solve 2 = i - 3*o - 4, -5*o - 15 = w for i.
-3
Let w(v) = -v**3 - v**2 - 2. Let l be w(-2). Suppose -l*q = -3*q - 11. Let s be 6/33 + (-207)/q. Solve -5*n + 4*a = -2*n + 18, 2*n + s = 5*a for n.
-2
Let u be 1/((-6)/(-5) - 1). Suppose 31 = 2*l - u*z, -l + 2*z + 28 = -3*z. Solve 4*s + l*h + 11 + 0 = 0, -h + 7 = -4*s for s.
-2
Let y be 2 + (2 - 2) - 0. Let n be ((-4)/6)/(y/(-6)). Let i be 1 - -1 - 0/n. Solve -2*v = 4*a - 20, 3*a - 2*a - 5 = i*v for a.
5
Let c = -3 - -5. Let b be ((-10)/(-4))/(c/4). Suppose -2*m - 9 = -13. Solve b*h + 10 = -2*w, -2*h - 8 = -m*w + 10 for w.
5
Let b(d) = d + 5. Let c be b(-5). Let y = 2 - c. Solve -2*n = -a + 5, 4*a + 0*n + 30 = -y*n for a.
-5
Let u(v) = -3*v + 12. Let m be u(3). Solve -q - 2*t = m, 0*t + t + 19 = -4*q for q.
-5
Let x(v) = v + 11. Suppose 0*t = -4*t. Let r be x(t). Suppose 3 = 2*g + r, -2*n = -3*g - 24. Solve -m + 2*m + n = 4*f, -f = -1 for m.
-2
Suppose 3*y + 9 = -0*y. Let x be 0*((-3)/(-2))/y. Suppose x = -t - 0 + 2. Solve -2*f = -3*c + 22, 3*c - 5*c + 18 = -t*f for c.
4
Suppose 0 = -44*z + 41*z. Solve z*s + 3*n + 14 = 4*s, 20 = 5*s - 5*n for s.
2
Let a(o) = o**2 - o. Let y be a(0). Let d be (-1 - -1)*4/(-8). Suppose -5*f + d*f + 175 = 0. Solve y = 5*x + p - 20, -2*x = 3*x + 4*p - f for x.
3
Suppose -3*g + g + 24 = 0. Solve 4*i - 3*o = i - g, -14 = 3*i - 5*o for i.
-3
Suppose 13*p = 15*p - 2. Let g = -8 + 11. Solve -n + 6 = -j, g*j + 5*n - p - 5 = 0 for j.
-3
Suppose 0 = -5*a + 79 + 26. Suppose -a*v = -19*v - 14. Solve -4*j - 20 = 7*s - 3*s, -3*s = -j + v for s.
-3
Suppose 0 = 4*s - 4*r - 4, 9 = 3*s - s + 5*r. Let k be -12 + 2 + (-10)/s. Let b = -11 - k. Solve o - 1 = -p + b, p - 2*o + 4 = 0 for p.
2
Let x(i) = -2*i**3 + 3*i**2 + 5*i - 2. Let m be x(3). Let j be -1 - 1 - 1*m. Let r be 6*3/j*4. Solve t + 7 = -2*w, r = -5*t + w - 7 for t.
-3
Suppose 2 = 3*d - 7. Solve -d = y + 2*q, -2*y + 6 = -4*y - q for y.
-3
Suppose -o = -2*j + 127, 177 = 3*j - 2*o + 5*o. Suppose 5*l - 2*r + 3*r - 171 = 0, -2*l - 2*r = -j. Solve s - i - 10 = 0, 4*s - 2*s - 5*i = l for s.
5
Let j(h) = -h**2 - 8*h + 4. Let r be j(-