-r**2 + 12*r - 15. Let z be k(12). Let o = -11 - z. Let b(c) = 3*c**2 + 2*c + 2. Let s be b(-1). Solve o*j - 3*x + 19 = 2*x, -s*x = -5*j - 14 for j.
-1
Let l(c) = c - 1. Let x be l(4). Suppose -2*d + 13 = x. Suppose 0 = 14*q + 4 - 46. Solve 2*w + w = 4*s + 2, q*s + 16 = -d*w for w.
-2
Let a(f) = f**3 + 9*f**2 + 3. Let d be a(-9). Solve 5*j + 2*w + 24 = 0, d*j = 2*j - 2*w - 8 for j.
-4
Suppose 4*m = 1 + 7. Let t(b) = 3*b**3 + 3*b**2 - 2. Let u be t(1). Suppose u = -4*i + 20. Solve 0 = m*s + i, 0 = -2*q + 4*s + 15 + 1 for q.
4
Let v(y) = -14*y + 170. Let j be v(12). Solve -j*k = -2*s - 18, -2*k + 5*k = 15 for s.
-4
Let a(q) = q**3 + 13*q**2 - 6*q - 69. Let f be a(-13). Solve 3*p = -4*d - f, -5*p + p - 12 = 3*d for p.
-3
Let j(f) = -18*f**2 - 2*f + 1. Let u be j(1). Suppose 12*m + 37 + 131 = 0. Let g = m - u. Solve i + i = 0, 4*k - g*i - 20 = 0 for k.
5
Suppose 4*t - 2*o = 36, -3*t = -5*o + 2*o - 24. Solve 4*g = 5*b + t, -4*b + 4 = -g + 12 for b.
-2
Suppose -2*b + 27 - 20 = 5*a, 2*b + 5 = -a. Solve 2*s + 5*c = 0, -8*s - 4*c - 17 = -a*s for s.
-5
Let j = -161 + 87. Let v = j - -76. Solve -d + v*d - 5 = -4*c, -2*d = c - 3 for d.
1
Let w(i) = -14*i - 208. Let u be w(-15). Solve -k = u*k, 3*k = -d + 3 for d.
3
Let s(x) = x - 5. Suppose 3*g = 3*o + 1 - 10, -2*g + 14 = 2*o. Suppose g = y - 3. Let l be s(y). Solve 3*a - 4*r - 7 + 4 = l, 3*a = -3*r + 3 for a.
1
Let g(f) = 37*f + 76. Let y be g(-2). Solve 3*b + 11*z - 7 = 16*z, -b - y*z = 5 for b.
-1
Suppose -5*m + 2*y = -16, -1 + 0 = -5*m - 3*y. Suppose i - m*i = -p - 6, i = 2*p + 10. Suppose -4*s = -24 + 8. Solve -5*x + h = i, -5*h + 2 = 5*x - s*h for x.
0
Suppose -3*i - 24 = -4*a + 1, -5*i = 5*a - 5. Suppose 4*h - 2*h = 5*u - 40, u + a*h = 8. Solve v = -2*y - u, 2*y - 4 = 4*v + v for v.
-2
Let p(d) = 6*d - 20. Let u be p(8). Suppose -2*g + c - 2*c = -15, -c = -g. Solve 2*s = 5*x - u, -s + g = -2*x + 17 for s.
-4
Let p be 1*4 + 9 + -11. Let q be 1 + (p - (0 + -1)). Solve 4*j + 23 = -3*k, 5*j + 8 + 13 = q*k for j.
-5
Let y(r) = r**2 + 19*r + 4. Let x be y(-14). Let g be (5/3)/((-11)/x). Solve 4*p = -20, -2*p + g = -5*t - 5 for t.
-5
Let u = -36 - -36. Solve -15 = 4*d + g - u*g, 3*d + 21 = -4*g for d.
-3
Suppose 0 = 6*s - 11*s - 2*x + 30, 5*s - 15 = x. Solve -2*i - 4*m = -6, m - 1 = -s*i + 18 for i.
5
Let q be 2 + (-12 - -6)/(-6). Solve q*j = -a + 2*a - 13, -a - 5*j - 19 = 0 for a.
1
Suppose s - 6 = 5*c, 125*s = 121*s - 4*c. Solve 3*z + 20 = 3*o - s, 5*o = 10 for z.
-5
Let y = 40 + -43. Let s be 5 - (3 + y)/(-1). Solve 0 = -k + 3*c + 1, s*k + c + 11 = -16 for k.
-5
Let p be (-6)/16*-4 - 35/(-2). Suppose p - 25 = -3*h. Solve 3*n - 1 = 4*s - 8*s, 18 = -h*n + 2*s for n.
-5
Let s = -51 - -51. Suppose s = -5*v + v + 4. Solve -4*o - u - v = -4, -2*o - 3*u - 11 = 0 for o.
2
Suppose 3*g + 2*d + 6 = -2*g, 0 = -5*g + 2*d + 6. Suppose -4*k = 0, q - k = -g*q + 4. Suppose -t = 2 - 5. Solve -i + 4 = -t*h - 0, q*i - 3 = -h for h.
-1
Suppose -3*s = m - 14, -5*m - 3*s + 26 = -44. Solve 0*l + 20 = 5*l, -5*l = -2*v - m for v.
3
Suppose 15 = 2*d + 5. Let k(a) = -a**2 + 14*a - 3. Let r be k(d). Let s be 360/r - (-3)/7. Solve 0 = p - 4*z - s, p - 5*z + 15 = 5*p for p.
5
Suppose 0 = -14*z + 10 + 46. Solve y + 5 = -z*u + 24, 2*y - 3*u = -6 for y.
3
Suppose 21*t + 28 = -35. Let p(r) = 2*r + 8. Let y be p(t). Solve 0 = -5*w - y*q - 2, w - 2 = -0*q - q for w.
-2
Let u be (14/3)/((-232)/60 + 4). Solve -4*q + u = -3*n, 0 = 4*n + n - 2*q + 35 for n.
-5
Suppose 0 = -0*q - 3*q + 15. Let c be -2 - -1 - (-11 + q). Suppose -p + c*l = -8, 0*p + 48 = p + 3*l. Solve -4*y = 5*t - p, t - 4 = 3*y - t for y.
2
Suppose 0 = 9*q - 7*q - j - 2, 0 = 5*j - 10. Solve -12 = -2*x + q*m, -4*x - x + m = -14 for x.
2
Let y(i) = i**2 + 10*i + 9. Let p be y(-9). Solve 4*x + p*o - 11 = -3*o, 5*x - 28 = o for x.
5
Let p be (4/(-3))/(12/54). Let t be ((-4)/p)/(6/(-117)). Let i = t + 17. Solve 2*n + k + 4 = 0, i*k - 2 = -2*n - 0*k for n.
-3
Let v(i) = -7*i + 22. Let d be v(3). Let z be (d + -3)*(0 + -1). Solve 0 = z*w + x + 12, 3*w - 2*w = -2*x - 9 for w.
-5
Let o be (-4)/6*(5 - 44). Let t = o - 8. Suppose -11 = -w - 8. Solve -2 = 5*b - w*y, -b = 6*y - 2*y - t for b.
2
Let j = 53 - 36. Let f(z) = -z + 20. Let c be f(j). Solve h = 3*u - 7*u - 11, -h = -c*u - 3 for u.
-2
Let n = -18 + 31. Suppose 4*z = -1 + n. Suppose 3*o - 2*i = -2, 0 = -5*i + z + 17. Solve 25 = 3*d - 5*x, -10 = -2*d + 4*d + o*x for d.
0
Suppose 7*i + 142 = 198. Solve 3*v - i + 5 = 3*o, -3*v - 4*o = 4 for v.
0
Let a = 5 - 1. Suppose t + a*c - 2 = 0, -c + 4 = 3*t - t. Solve 0 = 5*z + 5, 3*q + t = -5*z - 0 for q.
1
Suppose 20*c = 26*c. Solve c = 3*p - 3*t - 3, -2*t + 15 = -3*p - 5*t for p.
-2
Suppose -2412*a = -2410*a - 2. Solve p = s - 3 + a, 2*p + 9 = 3*s for s.
5
Let t be ((12/10)/(-2))/(216/(-720)). Solve -5 = 4*d + 5*n + 9, 6 = t*d - 4*n for d.
-1
Let h(z) = -85*z + 1. Let y be h(-1). Let r = -81 + y. Solve 0 = x + 4*o - 5, -x + 2*o = -2*x + r for x.
5
Let f be ((-2 - -1) + 3)*168/21. Solve -f = a + 5*v, -a + 2*a - 4*v - 11 = 0 for a.
-1
Suppose 14*w + 3*f - 43 = 9*w, 3*w - 26 = -2*f. Solve -3*l + 7*l = -4*i + w, 4*l + 2*i = 6 for l.
1
Let y = 14 - 6. Let s be (-18)/(-12)*y/6. Suppose 0*v - s*v + 4*b - 2 = 0, 5*v + 2*b - 31 = 0. Solve -5*n - 35 = -v*f, 29 = -3*n + 5*f + 4 for n.
-5
Suppose 2*q - 26 = -22. Solve 10 = 5*y + q*b, y + 2*b = -0*b + 10 for y.
0
Let w be 84/4 - -4 - 1. Let t be (-1)/(-5) - w/(-5). Suppose m = t*m - 8. Solve -4*z + m*c + 0*c = 28, -3*z + 5*c = 35 for z.
-5
Let g(q) = q**3 + 25*q**2 - 27*q - 21. Let h be g(-26). Suppose 14*t - 76 = -h*t. Solve -2*r + 2 = -t*b, b + r - 1 = 6*b for b.
0
Suppose -3*t = -6, -a - 4*t + 24 = -5*a. Let c = a + 13. Solve 5*k + c = 3*s, 0*k = 3*s - k - 9 for s.
3
Let b(d) = 4*d**2 + 61*d + 19. Let r(t) = -6*t**2 - 91*t - 29. Let a(o) = -8*b(o) - 5*r(o). Let p be a(-16). Solve 2*v + j = p, -4*j = -2*v + v - 18 for v.
2
Suppose 339*w - 30 = 333*w. Solve -4*s = 5*l + 5, 3*s - 3*l = 2*l + w for s.
0
Let c(n) = n**2 + 4*n - 10. Let q be c(2). Solve 2*w - 6 = -q*w + j, -2*j - 6 = -5*w for w.
2
Suppose -9 = 8*c - 11*c. Let o be ((-3)/(3/(-1)))/(1/c). Solve -o*i = -2*i - 2*j, -3*i - 4*j = 0 for i.
0
Suppose 2 = -u - 2. Let p be u/(-6) - (-80)/24. Solve 2*w + 4 = 4*m, p*m = 5*w - 5 + 15 for w.
-2
Suppose 2*t = 2*b + 76, -3*b - t - 2*t = 126. Let i be ((b/(-24))/(-5))/(2/(-18)). Solve z = -z + 2*k, -i*k = 3*z - 12 for z.
2
Suppose -3*d + i = 2*d - 15, -4*d - 3*i + 31 = 0. Solve -3*n + 2*x + 15 = 0, -d = -4*n - 2*x + 2 for n.
3
Let h(w) = -w**2 - 11*w - 24. Let l be h(-8). Let a = -86 + 93. Solve -5*j - a = -3*c, -5*c - 5 = -l*c for j.
-2
Suppose j = 3*j - 92. Let a = 48 - j. Solve a*v + 12 = -2*m + 4, -v = -m for m.
-2
Let b = -3 + 6. Suppose b*g - 6*g = -6. Let v be -4 - (-16*3)/((-3)/(-2)). Solve -5*t = r + 25, -2*r - v = g*r + 2*t for r.
-5
Let n be 7/56*4*4. Solve o + 13 = n*v + 5, -4*o + v - 11 = 0 for o.
-2
Suppose -i = -12 - 8. Suppose i*o = 15*o. Solve o = -3*r - 9, 0 = -3*k + 5*r + 3 for k.
-4
Suppose 15*f - 108 = 9*f. Solve 2*h + 3*o + 6 = -8, 3*h + f = -3*o for h.
-4
Let b = 5 + 3. Let j be (-2)/2 - b/(-2). Suppose j*f - 2 = 7. Solve -20 = -4*q, 2*q = 4*d - 7 - f for d.
5
Let n(a) = 3*a - 3 + 7*a**3 - 2*a**2 + 0*a - 6*a**3. Let v be n(2). Solve -5*c - 30 = 3*s + 2*s, 4*s + 10 = v*c for c.
-2
Let j = -342 - -343. Solve 5*b + 3*o = 1, -2*b - 3 + j = 2*o for b.
2
Suppose 0 = 24*w - 23*w - 42. Let v be (-24)/w + (-11)/(-7). Solve -2*b - v = -3*u - 2*u, 3*u - 4*b + 5 = 0 for u.
1
Let q = -776 - -778. Solve -4*f + 18 = 3*l - 2*f, q*f = 6 for l.
4
Let b be (5/(-3))/((-8)/48). Suppose 30 = -b*t + 15*t. Solve -c = -o + 3, c + t*o - 3*o - 5 = 0 for c.
-1
Let m = -39 + 83. Let b = -39 + m. Solve -b*a = -3*o + 22, 2*o + 10 = -a + 4*o for a.
-2
Let o be ((-64)/(-128))/(-1*2/(-12)). Solve -3*b - 2 + 13 = p, o*p = 3*b + 9 for b.
2
Suppose -3 = -v - 4*b, 5*v - 2*b = 17 - 2. Solve t = 5*t - v*z + 5, 2*t + 7 = 3*z for t.
1
Let s(w) = -w**2 + 5*w - 4. Let r be s(3). Let q = r + 4. Let x be q/(-2 + (-46)/(-20)). Solve -6*b - 4*f = -2*b + x, -3 = -3*b + 3*f for b.
-2
Let c = 67 - 46. Suppose -3*d + c = -3*n, -2*d + 4*n - n = -11. Solve -j = j - 4*h + d, -3*h + 9 = -j for j.
3
Suppose -7*s + 4*s = -5*z - 64, 4*s = 3*z + 67. Suppose 6*y + s - 43 = 0. Solve 3*o + 