z + 2*a = -2*a - k for z.
-5
Let x(c) = -c**3 + 6*c**2 + 2*c - 9. Let h be x(6). Let i be 12/(-18)*h/2. Let r = 5 + i. Solve 0 = -2*l + 8, r*g + l = g + 7 for g.
1
Let g be 2 + 9 - (1 + 0). Suppose 17*n + 7 - 7 = 0. Suppose 10*y - 5*y - g = n. Solve -y*o - 3*d - 5 = 0, -3*o - 2*d - d = 0 for o.
5
Suppose 0 = d + 5*p - 27, 3*d + 2*d - 51 = -4*p. Suppose 7457*l = 7449*l. Solve 0 = -w + v - l*v + d, -3*v + 11 = 5*w for w.
4
Let o be (-168)/48 - (-7)/2. Solve 2*r - a - 6 = o, 6*a = -2*r + 3*a - 10 for r.
1
Let b = 0 - 0. Suppose 3*h = 3*f + 3, 5*h + 4*f = 2*h + 17. Suppose k - 1 = h*a - b, 3 = 3*k. Solve 0 = 3*l + 12, -n + l + 2*l + 11 = a for n.
-1
Let d(j) = j - 14. Let r be d(10). Let q be 1/r - (-27)/12. Suppose -2*m - 6 = n + n, 4*n = q*m - 12. Solve -5*p - 2*u = -2*p - 4, -p - 4*u + 18 = m for p.
-2
Suppose 0 = 5*i - 25, b - 8 = -i + 5. Solve 0 = -4*f - 4*t - b, 4*f = -3*t - 0*t - 8 for f.
-2
Let k = 39 + -26. Suppose 0 = -5*r - 8 + 23. Let q be (r/(-12))/1*-20. Solve 4*p = v - 8, -q*v = -2*p + k + 1 for p.
-3
Let p = -395 + 397. Solve -3 = t + p*q + 2, -5*q - 14 = 3*t for t.
-3
Suppose -3*d + 5*m = -52, 2*m - 20 = -2*d - 2*m. Let i be 2/d + 664/56. Solve 4*y - i = 3*c + 8, 0 = -4*y - 3*c + 20 for y.
5
Let y = -569 + 581. Solve 0 = 2*m + 2 - y, m + 15 = 4*i for i.
5
Let z be (-2)/(-12) + 2/(-12). Suppose z*o = -3*o + 3. Suppose 3*v + o = 16. Solve r - 17 = 4*a, 2*a = -5 - v for r.
-3
Let p(y) = -y**2 - 5*y + 7. Let h be p(-6). Suppose 5*x = -u - 22, -2*u - 2*x = h + 3. Solve 3*n - 13 = -3*o - n, -u*n = -12 for o.
-1
Let z(g) = -7*g + g - 4*g + g**2 - 2. Let n be z(10). Let r be n/(-4) - 24/(-16). Solve 0 = -5*a - 2*s + 10, -a + 0*a - r*s + 10 = 0 for a.
0
Let l(x) = 8 + 40*x + x**2 - 20*x - 27*x. Let h be l(6). Solve 5*a - h*z + 29 - 8 = 0, -5*a - 3*z = 6 for a.
-3
Let p = 18 - 18. Suppose p*w + 12 = 3*w. Let q be (-6)/(-8)*w*1. Solve 0 = 5*j + 4*k + 1, q*j - 2*j - 2*k = -3 for j.
-1
Let d = -16 + 9. Suppose 0*m + u - 16 = 5*m, 0 = -4*u - 16. Let n = m - d. Solve 0 = -n*c + 2*c + 3*r, 2*r - 14 = -4*c for c.
3
Let m(t) = -t**3 - 4*t**2 + 9*t + 4. Let a be m(-6). Suppose 8 + a = 2*l + 3*p, -2*l + 16 = -4*p. Solve -j = 5*n + l, -5*n = -3*n - 2*j for n.
-2
Let g(c) = -c**3 + 3*c**2 - 4*c + 4. Let k be g(2). Let l be (2 - -3) + -1 + k. Solve f + 13 = -4*t + 4*f, 0 = -l*t - 2*f - 18 for t.
-4
Let z(y) = -y**2 + 4*y + 7. Let v be z(5). Suppose 0 = d - 2*n - 10, 4*d + 1 = -3*n - 3. Solve 5*w - 1 - 24 = d*b, v*b = -w - 7 for w.
3
Let b(j) = j**3 - 6*j**2 + 6*j + 1. Let g be b(5). Suppose -3*k + l + 0*l = -10, -3*k - l + 14 = 0. Solve -4*f - k = 0, n - 2*f = 5*n + g for n.
-1
Suppose 5*i = 2*w + 1 + 2, i + 2*w = 3. Let t(x) = 4*x - 2. Let o be t(i). Solve 5*q - 10 - 15 = 5*g, -3*q + o*g = -12 for q.
2
Suppose 0 = -u + 4*v - 4, 3*v + 8 = u + 5*v. Solve 4*j - 5*h + 30 = 0, -4*h + u - 1 = j for j.
-5
Suppose 0 = 5*w + 4*m + 5, -2*m = -3*w - 6*m - 11. Solve 2*i - t = -5, -2*i - w*t = -t + 8 for i.
-3
Let x(g) = -16*g + 201. Let i be x(12). Solve -h - 3*c + i = 0, -2*c - 2*c = 2*h - 10 for h.
-3
Suppose 23*g + 27*g = 350. Solve 5*l + 5*r - 10 = g*l, -3*l - 8 = -4*r for l.
0
Suppose 6*u - 2*u = 5*s + 30, 0 = 5*u - 3*s - 31. Solve -j + u = 0, -2*j = -4*a - 9 - 1 for a.
0
Let p(f) = 2*f**3 + 8*f**2 + 9*f + 98. Let n be p(-5). Solve 0 = 4*r - 2*z - 10, 2*r + 10 + 5 = -n*z for r.
0
Let n(a) = -a + 2. Let p be n(2). Suppose -4*y = -p*y + 140. Let q be y/14*8/(-10). Solve 5*k + 4 = -l, k + 4*l = q + 1 for k.
-1
Suppose -10 = -2*a - 0*t + 2*t, -a - 4 = 2*t. Solve -3*j + j + 4*w + 2 = 0, -2 = -2*j - a*w for j.
1
Let s = 11 - 9. Suppose -2*p = 4*i - 62, -56 = -2*p + s*i - 4*i. Let f be 95/p - 1/(-5). Solve -5*j + f*g - 20 - 5 = 0, j + 2*g - 9 = 0 for j.
-1
Let v be 12/60 - (-38)/10. Solve 0 = m + 5*r - 0*r, -5*r = v*m - 15 for m.
5
Let l be (-23)/(-7) - 4/14. Let g = 33 - 21. Let c(y) = -2*y + 32. Let j be c(15). Solve -p - l*w = j*w + 20, -4*w - g = 0 for p.
-5
Let k(q) = -2*q - 4. Let c be k(-12). Let v be 4/6*150/20. Suppose o + 3*o = b + 6, -v*o = -b - 8. Solve -10 = 5*t - 4*i, -3*t - 2*t - o*i + c = 0 for t.
2
Let l(j) = -2*j**3 - 12*j**2 + 15*j + 9. Let z be l(-7). Solve m = z*n - 4*m - 15, 5*m = -3*n - 15 for n.
0
Suppose -2 = -b - 4*q, -3*q = -b - 0*b + 30. Solve -4*h = 3*d - 21, d + 4*h - b = -d for d.
3
Let z(x) = -6*x**2 + 2*x + 2. Let p be z(-1). Let o be (p*4/8)/(-1). Suppose 12 = 6*i - o*i. Solve 0 = -4*m + i*d - 8, -5*d + 12 = -d for m.
1
Let y(l) = -4 + 2*l**2 + 4*l + 3*l - 6*l. Let n be y(-2). Solve 0*j - 3*j + c = 4, 0 = -n*j - 3*c + 12 for j.
0
Suppose 291 = 13*m + 83. Solve -2*v - 4*w = v - 7, -2*v + 3*w = -m for v.
5
Let w = -78 - -78. Suppose 15 = -5*l, 2*v + 4*l - 7*l - 39 = 0. Let y = v - 6. Solve -i + g - 6 = w, 4*i + y = 2*g - 5 for i.
-1
Suppose -90 = 28*b - 46*b. Solve 4*h + 0*h - 8 = -2*g, -3*g = -b*h - 1 for g.
2
Let p(m) = -2*m**3 - 5*m**2 + 30. Let c be p(0). Solve -4*t - t = -3*u + c, 4*u - 3*t = 29 for u.
5
Let u(c) = 18*c + 201. Let n be u(-11). Solve 0 = -5*q - 5*o + 35, -n*q + 0*o + 2*o - 4 = 0 for q.
2
Let j(v) = -2*v**2 - 14*v - 16. Suppose -3*s = n + 11 - 0, n = s + 9. Let b be j(s). Solve 3*k + 27 = 4*i, 0*i + 3*i + b*k + 11 = 0 for i.
3
Suppose 0 = -2*x + 3 + 13. Suppose 0 = 2*b - b - 2, -x = -p - 2*b. Let q = 15 - 11. Solve 0 = -p*h - 8 + 4, -q*k + 5*h = 11 for k.
-4
Let m(n) = 2*n + 13. Suppose 2*s - 20 = 3*g + s, -5*g + 5*s - 30 = 0. Let p be m(g). Let i be ((-4)/(-6) - p)*3. Solve -3*j + 2 = -i*k - 15, k + 3 = j for k.
-4
Suppose s = -29*w + 34*w + 25, 0 = -2*w - 4. Solve -2*n = 3*r + n - 24, s = 3*n for r.
3
Suppose -5*i + 3*c + 37 = 6*c, 5*i + 4*c = 41. Solve m = i*s - 15, 0*s + 18 = -2*m + 4*s for m.
-5
Let g(r) = 3*r**3 + 6. Suppose s + 2*s = -5*s. Let y be g(s). Let f be ((-40)/(-6))/((-2)/(-6)). Solve -20 = -3*m - b + y*b, -5*b = 5*m + f for m.
0
Let h(f) = 10*f + 233. Let n be h(-23). Solve -2*x = -x + 2*o - 2, 0 = -3*o - n for x.
4
Suppose -10*k + 7*k = 0. Suppose k*p + 4*p = 24. Suppose -p*r + 50 = -r. Solve 5*z = n + n - 15, -r = -n + 3*z for n.
-5
Suppose 0 = -24*z + 27*z - 6. Suppose -z*a + 5*l + 6 = -5*a, 15 = a - 4*l. Solve -2*t + 2*c = 2, -5*c + 2*c + 9 = a*t for t.
1
Suppose -s = -6*s + 30. Let p = 65 + -63. Let v be 2 + (-4 - (-8)/p). Solve q + s = -2*h, -17 = -3*q + 3*h - v*h for q.
4
Suppose 4*d - 13 = -2*q - 5, 0 = -4*d + 4*q + 32. Solve 20 = 4*l + d*a, 0*l = 3*l + 4*a - 15 for l.
5
Suppose 2*s + 0*s + 6 = 0. Let f be ((-2)/s)/((-18)/(-135)). Suppose -8*z = -3*z - 20. Solve 0 = -2*p + 4*m + m - 11, m + f = z*p for p.
2
Suppose f + 18 - 21 = 0. Let p be (-92)/(-20) + (-9)/15. Solve 0 = 4*t - p, -a = f*t - 4 for a.
1
Let s(k) = 5*k + 2*k**2 - 9*k**2 + k**2 - 30 + 7*k**2. Let i be s(-9). Solve 0 = v + 3*w - 7, i*w = -5*v + w + 25 for v.
4
Let h = 2603 - 2601. Solve -f - 3*a + 13 = 0, h*a = -3*f + 4*f + 12 for f.
-2
Suppose -f - 30*y = -35*y - 45, 3*f - 2*y - 70 = 0. Solve -l - 4*z = -5*l, -l - 3*z - f = 0 for l.
-5
Suppose 5*q = 6*q - 3*k + 6, -5*q + 3*k + 6 = 0. Let d be q/(-3)*-4 - 1. Let l(t) = t. Let x be l(2). Solve -12 = -d*g - 3*z, z - x = g + 2 for g.
0
Suppose m + 2 = -4*y - 3, 18 = 4*m - 3*y. Suppose 2*o = 7*o - 25. Suppose n = 2*p - 18, p - 4*n + o = -0*p. Solve -p = -3*t - c, -5*t + 3*t - m*c = 2 for t.
5
Let v = 15 + -7. Suppose -v*k + 19 = 11*k. Solve -g = -0*m - m + 1, 5*g - m + k = 0 for g.
0
Let b be 2 - (-17 + -3 - -2). Suppose 5*c - 3*c + 2*n - 6 = 0, 2*n = -5*c + 6. Solve 5*w - 4*z = b, c*w + 4*w - 2*z - 10 = 0 for w.
0
Let w(d) = d**2 + 13*d + 40. Let m be w(-5). Solve p - 3 = -m*n - 4*n, 0 = -5*n - 3*p + 2 for n.
1
Let k(i) = -4*i - 3. Let f be k(-1). Suppose -3*g + 7 - f = 0. Solve 0 = -u + 6*u + 3*c - 40, u - g*c = -5 for u.
5
Suppose -9*q = -12*q - 3*u + 30, 20 = 4*u. Let c(n) = 2*n - 15. Let k be c(10). Solve 2*m + 5*a = 19, 20 = q*a + k for m.
2
Let c(r) = -r**3 - 5*r**2 - 2*r + 8. Let d be c(-4). Suppose -46 = -3*w - 4*q, -3*q + 2*q = 2. Solve 4*i - 3*u + 19 = 0, 3*u = 3*i - d*u + w for i.
-1
Suppose -4*d + 3*z = -31, 3*d - 5*z = 52 - 15. Suppose -5*w + 12 = -h, d*w - 4*h = -0*h. Solve 0 = 2*k - 2*g - 2, w*k + 0*g + 3*g + 15 = 0 for k.
-2
Let u = 127 + -89. Let o be (0 - -2)/4*u. Let w = 19 - 15. Solve i = 5*r - o, -w*r + 18 = 4*i - 2 for i.
1
Let n be (3/(-5))/((52/(-20)