/(-12). Solve -k + m = -3*k for k.
-3
Let h(k) = k**3 - 19*k**2 + k - 13. Let o be h(19). Solve 3*t + o = 21 for t.
5
Let g(t) = 2*t**3 - 5*t**2 + t**2 + 2*t - 3*t**3 - 6 - 4*t. Let b be g(-4). Solve 0 = 3*n + b - 11 for n.
3
Let s be (-4 + -2 + 6)*-1. Solve s*d + 3*d = 0 for d.
0
Suppose 4*y - y = -6. Let w be (y - -1)*4/(-2). Let p = 2 - w. Solve p = b + b + 4 for b.
-2
Let l = 35 - 33. Solve l*j = -j + 3 for j.
1
Let z be (31 + -3)/4 + 5. Solve z = 6*n - 2*n for n.
3
Let t be (-6)/(-15) + 6/(-15). Solve j - 3*j + 2 = t for j.
1
Let r(f) = 4*f**3 - f**2 + f + 1. Let j be r(-1). Let o be 0 - (3 - 0) - j. Solve 0 = -o*a + 2 - 4 for a.
-1
Let l(r) = 4*r + 9. Let q be l(-6). Let h be q/(-2)*2/3. Suppose 4*j + j + 5 = o, 5*o - h = 5*j. Solve o*a = 3*a - 15 for a.
5
Let n(c) = -c**2 - 3*c - 1. Let y be n(-2). Let x be (-1)/(3/2 - 2). Suppose x*i = -2*i. Solve i = 2*u + 1 + y for u.
-1
Let s(l) be the second derivative of l**3/3 - 4*l**2 + 5*l. Let n be s(4). Solve 5*w - 5 = -n for w.
1
Let v(m) = m + 6. Let r be v(-6). Let t be 1/(-3) + 4/3. Suppose -o - t = -3. Solve 6 + r = o*g for g.
3
Suppose -s = 3*j - j - 72, 0 = 5*j + s - 174. Let b = j - 19. Let o be (6/(-5))/((-6)/b). Solve -o*h - h = -20 for h.
5
Let q(o) = o**2. Let i be (2/(-3))/(4/12). Let d be q(i). Solve 3*u - d*u = -3 for u.
3
Let q(r) = -2*r**3 - 3*r**2 - r - 1. Let i be q(-2). Suppose 3*l + i*f + 14 = 0, 0*f = 2*f + 8. Solve 0 = 2*s + l*s for s.
0
Let c(i) = 3*i**2 + 28*i - 16. Let g be c(-10). Solve 15 - 3 = g*s for s.
3
Let p(z) = 2*z - 3. Let c(v) = v. Let r be c(3). Let m be p(r). Solve m*s - 19 = -4 for s.
5
Let u(a) = a**2 - 4*a + 2. Let d be u(4). Suppose 2*o - 6*o + 4 = 0. Let y = 1 - o. Solve y*n = -d*n for n.
0
Let t be (-5)/25 - (-1)/5. Suppose 0*p - 3 = -p. Suppose -p*d = d. Solve t = -d*y - y - 4 for y.
-4
Suppose 0 = -4*z - 19 + 115. Solve 5*m + z = 9 for m.
-3
Let i be 26/(-65) - 64/(-10). Solve -y + i*y = 0 for y.
0
Let y(d) = -5 + 8 + 5 + d. Let h be y(-6). Suppose h + 0 = 2*t. Solve -2 = n - t for n.
-1
Let x(w) be the third derivative of -w**4/24 + 13*w**3/6 - 2*w**2. Let v be x(10). Solve -v*m = 4 + 5 for m.
-3
Let z = 10 - 4. Suppose 0*u - z = -2*u. Solve -u = p - 5 for p.
2
Suppose g = 4*v + 2*g - 16, 3*v = -4*g + 25. Suppose -v*w = -7*w. Let q be (0 - 0)/(4 + -5). Solve w = -f - 4 - q for f.
-4
Let l be 6/(-14) - 32/7. Let x = 16 - 11. Let q = x + l. Solve -5*n + 3*n = q for n.
0
Suppose u = 3*k - 21, 5*k - 5 - 16 = -3*u. Let w be 23/k + (-1)/(-6). Solve -w*c = 1 + 7 for c.
-2
Let d(a) = -a**3 - 3*a**2 - a + 1. Let c be d(-2). Let s = 5 + c. Solve 0 = -s*b + 8*b - 8 for b.
2
Suppose 0*h + h = 14. Suppose h + 1 = 3*q. Solve 4*n = -q - 11 for n.
-4
Let l(i) = i**2 - 5*i + 6. Let r be l(7). Let p = -13 + r. Solve p = -2*z + 1 for z.
-3
Let f(p) = p + 2. Let l be f(5). Suppose -4*s - 16 = -3*y - l, -y + 3 = -s. Solve 2 = -y*j + 2*j for j.
-2
Suppose 4*a - l = -2 + 15, 2*a = -5*l - 21. Solve -a*g = 3*g for g.
0
Suppose 3*g = 3*a - 39, 3*a - 35 = 2*g - 1. Suppose -3*d + 2*d + a = -2*l, -4*d = -l - 18. Let m be -1 + (-4)/(2/l). Solve 0 = m*s - 6*s + 15 for s.
5
Suppose -48 = 5*u - 68. Solve q - 3 = -u for q.
-1
Let s be 2/3 + 4/3. Suppose -s*x = -3*x + 4. Let y = x - 4. Solve 3*t - t = y for t.
0
Let y(x) = x + 17. Let i be y(-12). Solve -i*w = -5 + 20 for w.
-3
Suppose 0 = -4*w + 10*w. Let d be (-2)/(-3) - 2/3. Suppose q + d = 3. Solve q*z + w*z = -9 for z.
-3
Suppose -x + 6 = x + 2*y, 3*x = 5*y + 49. Suppose 3*p - x = 3*d + 1, d + 6 = -2*p. Let n be (1 + p)/(1 - 3). Solve 0 = -l - n*l for l.
0
Let l = 7 + -2. Suppose -3*p = 3*s + 9, -p + l*s = -0*s - 15. Suppose 2*n - 4 = -p. Solve -2 - n = 2*c for c.
-2
Suppose -6 = 3*l - 2*l. Let c = l - -6. Solve c = -b + 2*b + 5 for b.
-5
Let k(y) = -2*y**2 - 11*y + 7. Let t(u) = u**2 + 6*u - 4. Let a(p) = -4*k(p) - 7*t(p). Let b be a(-2). Solve -q + b = 3 for q.
-3
Suppose -3*m - m = -12. Suppose -m*r - 4*f + 16 = 0, 4*r - f + 1 = -3. Solve -4*s + 13 - 1 = r for s.
3
Suppose -18*k = -16*k. Solve -g + 0*g - 2 = k for g.
-2
Let f be 7 + (-3 + 0 - 0). Suppose -70 = -f*x - x. Solve -4*s - 2 = x for s.
-4
Suppose 2*z + 8*s = 3*s + 1, 5*z + 4*s - 11 = 0. Solve z*m - 2 = 5*m for m.
-1
Let j be (2 - -1)*8/(-12). Let z be j + 1 + 1 + 2. Solve -z*v + v = 0 for v.
0
Suppose 5*u = -0 + 15. Solve u*v - v - 4 = 0 for v.
2
Suppose -15 = 2*z + 3*z. Let l be z + 4 - (3 + -4). Solve -y + 4 = -l*y for y.
-4
Suppose -i + 2 + 0 = 0. Let j(c) = i*c**2 + 1 - 4*c**2 + c**2. Let d be j(1). Solve 3*m + 5 + 4 = d for m.
-3
Suppose y + 4*q - 25 = 0, 2*q + 3*q - 30 = -y. Solve -2*n - 1 = y for n.
-3
Let v be (0 - 1)/((-7)/119). Solve 2*b + 7 = v for b.
5
Let j(h) = -h**3 + 4*h**2 - h - 3. Let g be j(4). Let m = 11 + g. Solve m*l = -1 - 3 for l.
-1
Let i be 4/(-18) + (-38)/(-9). Solve -5*a = -3*a - i for a.
2
Let y(a) = -7*a - 86. Let t be y(-13). Solve 0 = -t*f + 7*f - 6 for f.
3
Let y = -19 - -22. Solve -y*s - 10 = 5 for s.
-5
Suppose 0 = -2*j + 4. Let y be ((-8)/(-6))/((-1)/(-3)). Let a be 10/4 - j/y. Solve -a*s + 1 = -1 for s.
1
Let c = -11 + 15. Suppose 3*l = -4*s + 2, 0 = -5*s - 4*l - 1 + 3. Suppose s*h = h. Solve g + 1 + c = h for g.
-5
Let m be (3 + (-15)/9)/((-4)/(-6)). Solve m*a = a - 4 for a.
-4
Suppose 4*f + q = 13, 4*q = 3*f + 2*q + 4. Let t = 7 - f. Suppose 5 = -4*k - t*j + 17, 12 = 4*k + 4*j. Solve -4*m + k*m = -5 for m.
5
Let o(m) = m**3 - 3*m**2 - 4*m. Let h be o(4). Let p be (h - 0)/((-8)/(-4)). Let n be 70/8 - (-1)/4. Solve -n = 3*t - p for t.
-3
Let d = -7 + 11. Solve 0 = d*h + 7 + 13 for h.
-5
Suppose 0 = -4*b - 0*b + 8. Solve b*j + 0 + 6 = 0 for j.
-3
Let d = -7 + 11. Suppose u = 5*u + 64. Let o = 18 + u. Solve -d*l = -o*l + 2 for l.
-1
Let u(a) = -a**2 - 5*a + 1. Let h be u(-5). Let n(k) = k**3 - 18*k**2 - 18*k - 15. Let m be n(19). Solve -h = o + m for o.
-5
Suppose 2*z - 20 = -2*z. Solve -2*t + z = 3*t for t.
1
Let a(i) = i**3 - 3*i**2 - 2*i + 6. Let x be a(3). Solve x*v + v = -2 for v.
-2
Let t(o) = -5 - 8*o - 4*o + 3*o - 3*o. Let r be t(-2). Solve -4*h + 7 = r for h.
-3
Let q(v) = v**3 + 10*v**2 - 2*v + 6. Let n be q(-10). Let t be (2/(-3))/(4/(-102)). Let x = n - t. Solve -4*h = -x*h + 10 for h.
2
Let z(u) = u - 14. Let q be z(16). Solve -3 = q*g - 5*g for g.
1
Let v(h) = -h**3 + h**2 + 2*h - 1. Let q be v(1). Let g = q - -4. Solve -2 = g*z - 27 for z.
5
Suppose -2*v = 2*v - 76. Let u = -19 + v. Solve 5*p - 4 - 16 = u for p.
4
Suppose -20 = 2*a - 5*m, -4*m + 6 = 4*a - 10. Suppose a = 5*v + 4*z - 2, 3*z - 4 = -4*v - 2. Solve v*p - 5 = -3*p for p.
1
Let n be ((-90)/12)/((-1)/2). Let c be (-4)/10 - (-6)/n. Solve p + 2 = -c*p for p.
-2
Suppose x - 4*x + 9 = 0. Let f(c) = c**3 + 2. Let t be f(0). Let d = 2 + t. Solve -r = x*r - d for r.
1
Let u = -23 + 23. Solve u = 2*h + 2 + 2 for h.
-2
Suppose -5*p + 3*p = -3*u + 1, -2*u - p + 10 = 0. Solve u*l = -l for l.
0
Let r = 36 - 26. Suppose 4*a + y = 3*y + 4, -5*y - r = 5*a. Solve a = -3*i - 0 - 15 for i.
-5
Let i = 5 + 6. Let s be 35/11 + (-2)/i. Solve 5 = -s*h + 2 for h.
-1
Let u be (-3 + 0)*16/3. Let t be 187/7 + (-2)/(-7). Let w = t + u. Solve 0 = -5*m - 14 - w for m.
-5
Let d = -27 + 17. Let q(y) = y + 13. Let k be q(d). Solve s - 6 = -k for s.
3
Let x(k) = k**3 + 7*k**2 + 6*k + 2. Let j be x(-6). Suppose -3*v - j = 4. Let r = v - -5. Solve r + 2 = -c for c.
-5
Let i(c) = -c**2 + 2*c + 6. Let q be i(3). Suppose -2*y + 3*d = -25, 0*d = q*y + d - 65. Solve 3*w = -w + y for w.
5
Let v(u) = 12*u + 2*u - 4 - 12*u. Let t be v(3). Solve -10 - t = -3*o for o.
4
Let u(b) = b**3 - 5*b**2 - 6*b + 2. Let c be u(6). Suppose 0 = -f + c - 0. Let w = 5 - f. Solve 0 = -w*t + t for t.
0
Let s be (-20)/6*18/(-15). Let x be (-2)/(-4)*(-2 - -6). Let c be 0/x + s + 1. Solve w - 4 = -c for w.
-1
Suppose -4*b + 24 = -b. Let d(k) = -k**2 + 7*k - 4. Let z be d(b). Let j be (z/(-14))/((-1)/(-7)). Solve -4*l = -j*l - 6 for l.
-3
Let m be (-1)/(3/(-2) - -1). Suppose 2*l + m*l = 52. Let r = 19 - l. Solve -2*i - i = -r for i.
2
Suppose 0 = 3*q - 5*q - 4, 2 = -3*d - 4*q. Let b be (12/24)/(d/20). Let h(n) = n**2 - 2. Let t be h(-3). Solve b*u - t*u - 4 = 0 for u.
-2
Suppose 0 = -8*i + 3*i - 3*p + 25, 0 = 3*i + 3*p - 15. Suppose -16 + 11 = -i*w. Solve 4*d - w + 21 = 0 for d.
-5
Suppose -17 - 88 = -3*m. Suppose