 -4*k - 25. Let l = k - -25. Solve 0 = -l*t + 3*t for t.
0
Let r(w) = -w**2 - w + 11. Let f be (-1)/(-3) - (-7)/(-21). Let a be r(f). Solve 2*z - a = -1 for z.
5
Let f(z) = -2*z + 5*z - 13 + 0*z - 4*z. Let m be f(-13). Let c = 16 + -11. Solve m*h = c*h + 10 for h.
-2
Let i(n) = n**3 + 7*n**2 - 17*n + 12. Let s be i(-9). Suppose -5*m + 10 = s*z - 4*z, 5*m - 10 = 5*z. Solve m*t + 2*t = -20 for t.
-5
Let s(l) = l - 18. Let w be s(-8). Let y = 37 + w. Solve -31 = 4*k - y for k.
-5
Let j be (21/(-9))/((-2)/(-24)). Let m be (j/14)/(-1*(3 + -1)). Let i = -2 - -3. Solve -m - i = 2*s for s.
-1
Suppose 4*g - 25 = 3*g - 2*v, -4*g + 45 = -3*v. Solve -g*k = -14*k for k.
0
Let j(x) be the second derivative of 2/3*x**3 + 0 - 2*x**2 + x. Let c be j(4). Solve -4*r - 32 = -c for r.
-5
Let b be (-3)/(-6)*-2*(-4 - 5). Solve 3*o - 18 = b*o for o.
-3
Let s = -398 - -414. Solve 4*p = -0 - s for p.
-4
Let u be (-136)/6*(-1260)/112. Solve -252*x - 6 = -u*x for x.
2
Let f = -8 - -10. Suppose -48 = -0*t + f*t. Let u be (-14)/4*t/42. Solve -1 = r - u*r for r.
1
Let p(l) = -2*l**3 - 46*l**2 - 44*l + 4. Let h be p(-22). Let c be (-18)/(-8) + (-1)/4. Suppose 36 = 4*i - h*d, c*d + 14 = 4. Solve i*n = -0*n for n.
0
Suppose -j - 1 - 13 = -2*m, 2*m - 14 = -j. Let t(b) = b**3 + b**2 + b + 13. Let l be t(0). Let h = l - 9. Solve j = n + 1 - h for n.
3
Let s = 199 - 196. Solve -4*l + 7 = s*l for l.
1
Let z(b) = -b**2 + 2*b - 1. Let o be z(1). Let u(m) = -2*m**3 - 3*m - 4. Suppose 0 = -3*n + q - 4*q, -5 = 3*n - 2*q. Let r be u(n). Solve w + o = -r for w.
-1
Let h = -16 + 7. Suppose 9 = -n - 2*x - 2*x, -4*n - 5*x = 14. Let r be n/3 - h/27. Solve -5 + r = -5*q for q.
1
Let l(t) = t**2 + 11*t + 3. Let u be l(0). Let n be 0/(-3 + (0 - -2)). Suppose -y + 3*s + 5 = n, 7 = 4*y + s - 0. Solve -u = y*v + 3 for v.
-3
Suppose 3*t = 12, -2*j - 5*t - 68 = -288. Solve -3*a + j = -23*a for a.
-5
Suppose 5*j = 5*r - 30, j = -0*r - r + 10. Let a be -3 + -1 + r/2. Let q be (-1 - -3 - 1)*a. Solve 3 = f - q for f.
3
Suppose 2*s + 5 = 3*s + i, -14 = 2*s - 4*i. Solve -2*y + s = 11 for y.
-5
Let m = 1079 - 1073. Let r = 4 + -2. Solve 4*i = r*i + m for i.
3
Suppose 2*d + 4 = 12. Solve 0 = d*y + 2 + 2 for y.
-1
Suppose 2*i + i = -2*a - 8, -12 = -3*i + 3*a. Solve 5*l = -i*l for l.
0
Suppose -4*b + 10 = 3*h - 5, 2*b = h + 15. Solve 0*v + 6*v + b = 0 for v.
-1
Suppose -32 = -4*a + 3*u - 15, 0 = -3*a - 5*u + 49. Solve -a = 10*d - 38 for d.
3
Let m = 54 + -65. Let w be 1/(15/6)*(-1 - m). Solve -w + 0 = 2*s for s.
-2
Suppose -w + 3 = w - i, 0 = 5*w - 5*i - 15. Solve w = b + b for b.
0
Let m = -1 + 15. Suppose 2*y - m = -0*y. Let u = y - 3. Solve -u*n + 0 = 4 for n.
-1
Suppose 0 = -25*f + 23*f + 12. Suppose -5*d - 30 = -5*y, 4*y - 4*d - 36 = -f*d. Solve 3*r - r + y = 0 for r.
-4
Let r = -17 - -20. Suppose 0 = 2*l - r + 1. Let n be -24*l*(-1)/3. Solve n = -0*a + 2*a for a.
4
Let h(u) = 6*u**3 - 25*u**2 + 12*u - 9. Let p be h(4). Solve -p + 29 = 2*b for b.
3
Suppose -2*n + 10 = 4*q, 2*n - 7*q = -2*q + 55. Let d = 2 - 1. Let h be (n + 1)/4 - d. Solve h*b = -0*b - 6 for b.
-2
Suppose 5*b + 5*d - 15 = 0, 0 = 4*b + b + 3*d - 23. Let r = b + -4. Let s(n) = 2*n**2 - 4*n - 1. Let j be s(r). Solve -2 = 3*y - j for y.
1
Let r(k) = -k. Let l be r(-10). Suppose -5*m - l = -10*m. Let j be (-36)/(-21) - (-6)/21. Solve -m - j = -4*y for y.
1
Let b = 24 - 37. Let o be 1 + 2 + -1 + b + 13. Solve -2*d + o = -2 for d.
2
Suppose 5 = 3*v - 2*v. Let y = -89 - -89. Solve -w + v = -y for w.
5
Let t(s) = -s**2 - 18*s - 32. Let d be t(-15). Solve -3*c + 4 = d for c.
-3
Suppose 268*w - 19 = 256*w + 5. Let a = -3 - -6. Solve -t - w = -a for t.
1
Let g = 15 - 16. Let i be g/4 + 106/8. Suppose 0 = -11*b + i*b. Solve 5*r + 22 - 2 = b for r.
-4
Let k = 29 - 25. Suppose o = 6*o. Solve o*u - 8 = -k*u for u.
2
Let i(v) = -v - 3. Let m be i(-7). Let f(o) = 8*o**2 + 8*o - 25. Let c be f(4). Let d = c + -131. Solve -d*s + 12 = m for s.
2
Let r be (5/2)/(108/24 + -4). Solve -12 = 2*l - r*l for l.
4
Suppose 3*n + 35 = 5*k, -2*n + 27 + 8 = 5*k. Suppose 3*v = k*v - 16. Solve 8 = -v*p - 12 for p.
-5
Suppose -191*y = -181*y - 50. Solve -y + 1 = -2*x for x.
2
Suppose 17 = 12*a - 19. Solve 8*s + 5 = a*s for s.
-1
Suppose 57*j + 14 = 64*j. Let q be 2*-6*1/(-2). Let h be 24/(-2)*(-4)/q. Solve h = -j*b - 0 for b.
-4
Let j = 46 + -63. Let i = 3 - j. Solve 5*q = q - i for q.
-5
Suppose -5*i + 4 + 23 = 4*y, -5*y + 43 = -3*i. Suppose x + 4*s + 8 = 0, y*s - 3*s = -5*x - 10. Suppose 5*c - 6 = 4. Solve 0 = -q - x + c for q.
2
Let x(r) = 7*r - 7. Let s(d) = -8*d + 7. Let c(h) = -5*s(h) - 6*x(h). Let l be c(-4). Suppose 3*b + l = -w, -3*w - 4 = b + 1. Solve 5*q + w = -5 for q.
-1
Let i be (-11367)/18*(65/15 + -5). Solve i*a - 2 = 422*a for a.
-2
Let q(j) = 4*j**2 - 9*j - 6. Let b be q(5). Let y = b + -37. Solve y = u - 4*u for u.
-4
Suppose 4*f = 4, -l + 10 + 9 = 3*f. Suppose 0 = 8*t + l - 40. Solve -4*i + 3*i = t for i.
-3
Let j be 6*2*(-2)/(-8). Suppose -3*i = -2*v + 44, i + 28 + 45 = 3*v. Let y = 25 - v. Solve -j*h - 6 = -y for h.
-2
Let t be 2*(42/4)/7*1. Let w be ((-36)/14)/((-1)/7). Suppose 0 = 2*k + 5*h + 7, 3*k - h - w = -3. Solve -5*f + t*f = k for f.
-2
Let i(a) = -a**3 - 2*a**2 + 3. Let h be i(0). Solve -27*z + 24 = -h*z for z.
1
Let s(y) = -y**2 + 21*y + 73. Let p be s(23). Solve 4*n + p = -5*n for n.
-3
Suppose -9*v + 4*v = 40. Let m = -4 - v. Let c be ((-4)/(-2))/2 + 1. Solve -c = -m*q - 18 for q.
-4
Let v = -1478 - -1527. Solve v*k - 47*k + 2 = 0 for k.
-1
Let s(k) = -k**3 + 25*k**2 + k - 22. Let z be s(25). Solve 0*j = -3*j + z for j.
1
Suppose -68 = -2*c - 3*c - 2*d, 5*c = -3*d + 67. Let y be (-26)/(-7) - (-4)/c. Suppose -r + 3*r = y. Solve 8 = 2*k + r*k for k.
2
Let m = 293 + -290. Solve -x + m*x = 0 for x.
0
Suppose -5*o - 4 + 4 = 0. Let f = 1 + 2. Suppose o = 2*t - 1 - f. Solve z - 1 = t*z for z.
-1
Let x(l) = l - 7. Let j be x(11). Let d(w) = -w**2 + 5*w + 4. Let f be d(4). Solve f*m - j*m = 0 for m.
0
Let k be ((-1 - 1)/1)/(42/231). Let v(b) = b**2 + 9*b - 17. Let c be v(k). Solve -c = 5*x - 0 for x.
-1
Let l be (4/(-12))/((-10)/90). Solve -l - 2 = k for k.
-5
Let d(u) = -u**3 - 2*u. Let k be d(0). Solve k = z - 0 + 1 for z.
-1
Suppose 5 = 3*j - 13. Solve j*z - 12 - 6 = 0 for z.
3
Let v = -1076 - -1083. Solve w - 3 = -v for w.
-4
Suppose -19*t = -281 - 99. Solve -t*z + 42 = -6*z for z.
3
Let m(s) = -3*s**2 - 6*s - 4. Let u(n) = n**2 + n. Let b(v) = -m(v) - 4*u(v). Let w be b(3). Solve 3*z = -5 - w for z.
-2
Suppose 3*l + 2*o + 305 = 0, 2*l - 317 = 5*l + 5*o. Let v = l + 106. Solve -3*b + v*b = 20 for b.
5
Suppose m + 2*p - 5 = -3, 10 = 5*m + 2*p. Solve -4 + 10 = m*g for g.
3
Suppose 4*l - 2*k = k + 40, -2*k = 0. Suppose j + l = 3*j. Solve 0 = -2*r + j*r + 12 for r.
-4
Suppose -n + 2*m + 74 = 5*m, 0 = -n + m + 78. Solve 4*j + n - 81 = 0 for j.
1
Let x be (-2 + -1)/(-3) - 4. Let u be (-1 - x)*-2 - -2. Let h be u/((-2)/(-12)*-3). Solve -2*t = -h*t + 8 for t.
4
Let y(d) = 2*d**2 - 15*d - 12. Let x(g) = -5*g**2 + 45*g + 36. Let b(m) = -3*x(m) - 8*y(m). Let n be b(-14). Solve 6 = n*o - 4 for o.
5
Let r(b) = b**3 + 8*b**2 + 1. Let t be r(-8). Let a be (-2)/9 + (-60)/(-27). Solve -7 = a*j + t for j.
-4
Suppose -3*v - 2*q = -q + 19, 0 = -2*v - 5*q - 4. Let x be (-4)/v + 4/(-7). Solve -b = -x*b for b.
0
Let g(i) = -i**3 - i**2 + 5*i. Let b be g(-3). Suppose -94 = -b*d - 94. Solve y - 2*y - 4 = d for y.
-4
Let h = 141 - 70. Let c = -69 + h. Solve -i + c = 4 for i.
-2
Let u = 994 - 924. Solve 5*k + 9*k + u = 0 for k.
-5
Suppose -z = -16*z + 120. Let p(a) = a**2 - 14*a + 52. Let h be p(z). Solve -15 = -h*x - x for x.
3
Let h be -1 - (-12)/(2 - -1). Let t be ((-10)/(-12))/((-10)/(-60)). Let r be 4/h*(t + -2). Solve -2*k + 6*k = -r for k.
-1
Let c be (405/(-12))/(6/16). Let z = -86 - c. Solve z*u = 3*u + 2 for u.
2
Let b(s) = -6*s - 1. Let q be b(-3). Let k = q + -14. Solve -j + k = 5 for j.
-2
Let p(l) = l + 2. Let z be p(3). Suppose -z*o + 24 = o. Let h be (3/2)/((-3)/(-16)). Solve h + 4 = o*j for j.
3
Let x(w) = w**3 + 17*w**2 - 6*w - 42. Let d be x(-17). Suppose 0*f - d = -5*f. Solve 3*r + f = -r for r.
-3
Let j be ((-56)/70)/(2/(-5)). Solve -j*i + 2 = -3*i for i.
-2
Suppose l = 5*z - 13, 3*l - 31 = 6*z - 5*z. Solve 9*b - 3 = l*b for b.
-1
Let t = 22 - 12