/3). Let p(w) = -w**3 - 4*w**2 + 5*w + 2. Let j be p(-5). Solve t + j*v = -5, -4*t + 4*v = -m*t + 5 for t.
-5
Let l(s) = s - 3. Suppose 0 = -6*w + w + 35. Let u be l(w). Solve -2*o = -u*o - 4*p, -4*p = 3*o for o.
0
Let m = 12 + -3. Let s = 12 + m. Let t = 46 - 31. Solve -2*c = -4*c + 3*l - s, t = 3*l for c.
-3
Suppose -3*i - 6*y + 2*y = 1, 3*y + 32 = 4*i. Solve -4*d + i*b = 6*b + 13, -3*d - 5*b = -3 for d.
-4
Let n = 23 + -8. Solve 0 = 3*d - 2*x + 4 + n, -x + 5 = 0 for d.
-3
Let s be (-2*(-2)/12 + 0)*9. Solve 4*c + 5 = -b, -2*c - s*c + 4*b - 1 = 0 for c.
-1
Let w be (1 - 2/(-2))*2. Suppose 5 = y + 3*y + 5*l, 0 = -w*y + 4*l + 32. Suppose -2*m + 30 = 3*m. Solve -3*r + i - m*i - 5 = 0, -29 = y*r - 2*i for r.
-5
Let f(s) = s + 5. Let h be f(2). Solve -y + 3*g = -2*y - h, -2*y - 10 = 5*g for y.
5
Suppose -3*m + 0*y - 3*y + 21 = 0, -m + 5*y - 23 = 0. Let w be (-5)/10*(-24 + m). Solve -3*b - 7*j + 3*j = 29, -j - w = 2*b for b.
-3
Let y(v) = -v**2 - 15*v + 7. Let c be y(-15). Let i(w) = -w**3 + 5*w**2 + 16*w - 10. Let r be i(c). Solve -5*x = 2*a - 0*a - 7, -r*a = x + 13 for a.
-4
Suppose -33 = -6*t - 5*t. Solve a + 6 = -t*h + 20, -a + 10 = 2*h for h.
4
Let f be 1*(9 - (-4 - -8)). Solve 3*q + 19 = -f*z, 10 = z + q - 5*q for z.
-2
Let b = 58 - 97. Let u be 2 - (-3)/((-9)/b). Solve 4*a - u = -0*a + x, 4*a + 5*x - 21 = 0 for a.
4
Let k(x) = -x**3 + x**2 + 39*x + 11. Let g be k(-6). Suppose 2*m - 1 = -n + 1, 5*n = -m + 10. Solve w + g = 5*i, 18 = w + 4*i + n for w.
-4
Suppose -2*f + 5 = 1. Solve -3*o + 0 = -2*s + 16, f*s - 4*o = 20 for s.
2
Let i(k) = k**3 - 6*k**2 + 6*k - 3. Let m be i(5). Solve -8 = -4*q + 3*u - m, -5*u - 5 = -5*q for q.
3
Let d be 4/6*6/4. Suppose 2*g = -g + 3. Suppose -5*s = 23 - 48. Solve -3*i - d = -2*j - 0, -4*j - g = -s*i for j.
-4
Let x(j) = j**2 - 4. Let r be x(-3). Solve a + 10 = 2*v, -5*a + r*v - 25 = -3*a for a.
0
Let s be ((-6)/(-4))/((-10)/(-20)). Let k = s + -3. Solve -3*u + 2*d + 1 = k, u - 4*d = 4*u + 29 for u.
-3
Let f be -1 - (-10 - (-4 - -1)). Solve -3*a = h - f, -16 = -5*h - 0*h - a for h.
3
Let g(l) = 6*l + 3. Let v be g(2). Let x = -13 + v. Solve x*f = 4*r - 3 - 5, 5*f - 25 = -5*r for r.
3
Let o = 10 - -6. Solve r - 2*w + o = 3*w, -r - w = -2 for r.
-1
Let j = 34 + -20. Solve 5*a = 3*p - 0*a - j, 8 = -2*a for p.
-2
Suppose 9*v = 6*v - 12. Let q be ((-2)/v)/((-2)/(-24)). Let h be (0/(-2))/((-6)/q). Solve 0 = -4*n + l - 1, 10 = -h*n + 5*n + l for n.
1
Suppose 3 + 5 = 2*w. Let q be (-138)/(-9) - (-2)/3. Let d = -11 + q. Solve -5*j - d*i = -3*j - 13, -5*j = -w*i - 16 for j.
4
Let f(q) = 4*q**3 + 2*q**2 - q. Let l be f(1). Let k = 83 + -83. Solve 0 = v + l*u - k*u - 6, -4*u + 8 = 0 for v.
-4
Let q be 6/(-30) + (-62)/(-10). Suppose -2*i + 3 = 3*n, 3*i + n - q = -2*n. Solve -2*f + i*d = -5*f - 12, 1 = -d for f.
-3
Suppose 3*y = y + 8. Suppose -s = y*s - 10. Suppose -s + 40 = k - 5*g, 0 = -3*g - 9. Solve -3*j = 4*t + k, 4*j + 0*j + 9 = -t for j.
-1
Suppose 5 = -x - 4*w, -16 = 4*x + 3*w + 17. Let m(u) = -u - 9. Let r be m(x). Solve -5*b - 2 = j - r*j, 17 = 5*j - 2*b for j.
3
Let h = -78 - -266. Let q be h/28 - (-8)/28. Solve -2*i = o + q, 2*i - 2 = 3*i for o.
-3
Suppose h = -2*h - 6. Let a be 0/(h - 3/(-1)). Suppose a = -8*l + 5*l. Solve -z - 2*z = j - 1, l = -2*z + 2 for j.
-2
Let y(o) = 4 - 3 + 4 - 4 - o. Let u be y(1). Suppose -5*b - 4*k + 20 = 0, -3*b + 4*k + 2 + 10 = u. Solve f + 6*i = i - b, -5*f = -4*i - 9 for f.
1
Let l(k) = k**3 - 9*k**2 - 11*k + 11. Let n be l(10). Suppose 3*u = -5*p + 22, 2*u - n - 9 = -p. Solve -8 = 2*y + 2, 0 = p*m + 2*y + 4 for m.
3
Suppose 2 - 20 = -6*z. Solve -i = w + z, i + w = 2*i - 1 for i.
-1
Let d be 68/6 - (-2)/(-6). Let x = d + -8. Solve 0 = -2*q - 5*w - 10, x*q - q + w = -10 for q.
-5
Let j be (-16)/(-2) + -2 + 2. Let c = 1 + 16. Suppose 0 = 6*n - 3*n - 9. Solve -p - 1 = 3*k, 4*k + j*p = n*p + c for k.
-2
Let c = 0 - 4. Let h = -6 - -13. Let s = h + c. Solve 4*p + s*m = -0*p - 26, -5*p - 35 = 5*m for p.
-5
Let g be (12/15)/(4/20). Suppose 5*c - g = 3*c. Solve f - 2 = c*y, -4*f + 2*f = y + 1 for y.
-1
Let n = -14 - -17. Solve -z - 3*l - 3 = 0, 0*l + n = -3*l for z.
0
Let f be ((-2)/4)/((-1)/(-6)). Let s = f + 3. Suppose -3 - 17 = -4*a. Solve b = -s*l - l - 8, 3*l + 34 = -a*b for l.
-3
Let r(h) = -h + 8. Let i be r(5). Suppose 1 = -4*x + 25. Let z = x + 0. Solve -d - d + z = 0, d + 9 = -i*n for n.
-4
Let g(y) = 3*y**2 + 2*y - 1. Let w be g(1). Suppose 5*u - w*u = 4. Let c = 6 - 4. Solve 3*a = -x + 5, c*a + 2*x - u = -a for a.
2
Let q(m) = m**3 + 7*m**2 - 10*m + 3. Let g be q(-8). Let d be (1 + 2)/3 + g. Solve 2*n = -2*p + 14, d = 2*p - 3*n + 7*n for p.
4
Let f = 2 + 9. Suppose 0*b - f = -3*b + 2*j, -5*j + 35 = 5*b. Solve -d + 21 = b*r, 5*d + 9 = 3*r + 2*d for r.
4
Let b(p) = 11*p**2 + p. Let x be b(1). Suppose -2*k + 2 = -5*y + 2*y, -3*k + 3 = 2*y. Suppose z - 2 - 3 = y. Solve m = -z*j - x - 8, -29 = 3*j + 4*m for j.
-3
Let t = -9 + 7. Let f = 1 - t. Solve -3*y - 4 = -f*k - 1, -3*k - 2*y + 8 = 0 for k.
2
Let x(p) = -p**2 + 6*p + 2. Let n be x(6). Suppose 22 = 4*z + n*a, -5*z + 5*a + 28 - 8 = 0. Solve 0 = 2*u - 2*s + 18, u - 3*u + 17 = z*s for u.
-4
Let t be ((-4 - 0)*1)/(-1). Let v(x) = 23*x**2 + 3*x + 1. Let w be v(-1). Solve 0 = 3*l + 2 - 14, -b + t*l - w = 0 for b.
-5
Suppose -9*u = -7*u - 6. Solve 4*n = j + 4 - u, 2*n + 3*j = 11 for n.
1
Let j(w) = -3*w - 10. Let t be j(-4). Let f = 2 - 0. Solve -i - 17 = -f*o - t*o, -2*o = -8 for i.
-1
Suppose 0*r - 4*r = 12. Let a be 2/((6/(-8))/r). Suppose 8 + a = 4*p. Solve -4*k = -x - 6, 5*x = 3*x - p for k.
1
Suppose 0 = -5*z - 4*d + 37 + 17, 3*z - d = 29. Suppose -2*i + 12 = -0. Suppose 2*n - 4*n = -i. Solve 4*u = 16, 4*r = n*u - 14 - z for r.
-3
Suppose -11 = -2*d - 1. Suppose 2*r = 4*p + 6, -p + 9 = d*r - 6. Solve p = 5*f + w + w + 20, -f + 3*w = -13 for f.
-2
Let j be (25/(-1) - -1)*-1. Suppose -j = 2*t - 5*o, -o + 5 = -3*t - 5. Let y be (-2)/(-4)*(t - -2). Solve 3*l - 5*d + 2 = 0, y*d = l - 4*d + 3 for l.
1
Suppose -4*t = -v - 30, -4*t + 5*v = -17 - 21. Solve 0 = -l + 4*w + 4 + 5, l + t = -4*w for l.
1
Let j be (-1)/(2*3/258). Let h be j/(-3) + 6/9. Suppose -2*c + 95 - h = 0. Solve 2*u = 4*b + 6*u + c, 3*u = 3*b for b.
-5
Suppose -4*k - 5*g = -3*k - 22, -52 = -5*k + 4*g. Solve 0 = 2*t + 4*m + k, 4*t + 0*m = 2*m - 4 for t.
-2
Let z(o) = -2*o**2 - 6*o. Let q be z(-3). Solve -2*t - 1 = -i + 10, q = t + 5 for i.
1
Suppose 3*t - 10 = -1. Solve -2*l = 5*z - 5, l - 4 = 2*z + t for z.
-1
Suppose 15 = 2*f + f. Suppose 0 = -f*h - 9 + 24. Solve p - 12 = -h*d + 6*p, 3 = -p for d.
-1
Suppose -k - k + 14 = 0. Let h be (-2)/8 - (-51)/12. Solve 4*z - w + 2 = k, 0 = 4*z + h*w + 20 for z.
0
Let v(n) = n**2 + 5*n + 6. Let t = -11 - -7. Let c be v(t). Solve -f - 4*f + 15 = s, 0 = c*f + 3*s - 6 for f.
3
Let b be 2 - ((-15)/3 - -3). Solve -3*n = 2*n + b*c + 15, 3*n + 9 = -c for n.
-3
Let a = -17 + 22. Solve 0 = -4*w - a*h - 5 - 1, 3*w + 18 = 3*h for w.
-4
Suppose 14 = 3*m - 1. Let x(a) = -a**2 - 3*a + 15. Let n be x(-4). Solve -2*b - 3*v = -m, -1 = 3*b + 5*v - n for b.
-5
Let d be 7 - (0 + 1)/(-1). Suppose 2*l - 6*l = -d. Suppose 2*b = -5*r + 5*b, 2*b = -l*r. Solve -2 = -2*j, -5*n + r*n - 26 = -j for n.
-5
Let t(h) = -h**2 + 5*h - 2. Let k(f) = f**3 - 2*f**2 + f + 1. Let o be k(2). Let p be t(o). Solve 0 = -2*q - 8, -3*z - 2*z - 21 = p*q for z.
-1
Let k = -13 + 19. Let f = k - 3. Solve 0 = f*b + 4*c + 10, 5*b + 5*c = 3 - 18 for b.
-2
Suppose -2*g + 3 = -4*l + 13, 15 = 5*g. Let s = l + 0. Suppose 3*o = -2 + 20. Solve s*m + o*h = 2*h, 3*m + 5*h = 2 for m.
-1
Let z = -102 + 104. Solve z*k - 3*k = -4*m + 8, 2*m - 14 = -2*k for k.
4
Let j(s) = -27 - 4*s + 10*s + 24 + 2*s**2 - 3*s**2. Suppose 2*y - 8 = -2*y. Let a be j(y). Solve q + 3*h = 2*q - 4, 5*h + 10 = a*q for q.
1
Let s(x) = -3*x. Let p be s(-1). Solve -p*q + 3*l = -9, 0 = q - l - 2*l - 11 for q.
-1
Let b(j) = -j**2 + j - 1. Let z(n) = -n**3 - 4*n**2 - 1. Let y(m) = -b(m) + z(m). Let t be y(-2). Let h = t + 5. Solve 2*g - 12 = 3*p - h, -4*g = 12 for p.
-5
Let n = -1 - 15. Let w = n + 23. Suppose 3 = -4*s - 4*y - 1, -2*y = 5*s - w. Solve -3*g + 17 = z, -z - 1 = -s*g + 6 for g.
4
Let i be ((-6)/(-12))/((-2)/20). Let x be ((-8)/i)/((-2)/(-5)). Suppose 2*k = 3*k - 3. Solve -x*a = 4*u + u - 31, -5*u = -k*a - 