-k - 2*k + 12 = d for k.
4
Let l = 1282 + -1260. Solve 6 = 19*t - l*t for t.
-2
Let r(v) = -v**2 - 10*v - 16. Let n be r(-8). Let d be 0 + 11 - n/(-6). Suppose d*q = 16*q - 10. Solve 2*k = k + q for k.
2
Let m be (-7)/7*1 + 6. Solve 0 = -t + m*t for t.
0
Let x = -17 - 12. Let l = -28 - x. Let f(s) = 13*s + 3. Let v be f(l). Solve 0 = 5*p - p + v for p.
-4
Let x(m) = m**3 - 16*m**2 + 29*m - 12. Let y be x(14). Solve 4 = -4*j + y*j for j.
-2
Let l be (-8)/(-3) + (-4)/6. Suppose 7 = -3*i + 13. Suppose -i*d + d = -4. Solve l = d*h + 14 for h.
-3
Suppose 13*y = 16*y - 198. Let o = 69 - y. Solve -s = -o*s for s.
0
Let x = 95 - 145. Let o(y) = 2*y**2 + 7*y + 21. Let j be o(-7). Let q = x + j. Solve q = 5*i - 5 for i.
5
Let j = 298 - 290. Solve j*o - 6*o = -2 for o.
-1
Suppose 4*q - 151 = -131. Solve j + q = -0*j for j.
-5
Suppose 4*s + 3*q = 7, 3*q + 17 + 12 = 5*s. Solve -26 = -s*d - 6 for d.
5
Let t(y) = -19*y**3 - y**2 - 1. Let m be t(-1). Let p be ((-8)/10)/((-8)/20). Suppose -p*a + 15 = 3*a. Solve -4*l = -m - a for l.
5
Suppose b = -b + 2. Let g be (84/91)/6 - (-16)/(-104). Solve -3*j - b + 4 = g for j.
1
Suppose -9 = -k + 3*o, 3*o - 2 = 4*k - 11. Solve k*s = s - 3 for s.
3
Suppose -2*y = 2*s - 0 - 2, 2*y = -s + 1. Solve -6*a + 4*a - 4 = y for a.
-2
Let y = -4 + 7. Suppose 5*j + 20 = -y*r + 7*r, -2*r = 4*j + 16. Let g(k) = k**3 - k + 3. Let o be g(r). Solve 3*b - o - 12 = 0 for b.
5
Let s(m) = -m**3 + 6*m**2 + m - 9. Let o be s(6). Let x be 2 - 0/(4 + o). Suppose 0*b - 3 = -3*b. Solve l + x + b = 0 for l.
-3
Let k(s) = -17*s**2 + 16 + 13 + 4*s**2 + 5*s + s**3 + 5*s. Let c be k(12). Let z(b) = -b + 7. Let y be z(5). Solve -5 = -y*n + c for n.
5
Let n = -1078 + 1084. Solve 0 = -w - 3 + n for w.
3
Let j(g) = 11*g - 278. Let f be j(28). Solve -f = 16*k - 10*k for k.
-5
Let l be ((-5)/10)/((-3)/12). Suppose 0 = l*k + 4*g - 12 - 4, -3*k + 2*g = 0. Solve k*j - 3 - 1 = 0 for j.
2
Let j be ((-106)/(-3))/(1*2/(-3)). Let d = -50 - j. Solve -8 = -s - d*s for s.
2
Let u(k) = -9*k - 6. Let w be u(-2). Let v = w - 3. Solve 2*c + 1 = -v for c.
-5
Suppose -3*b + 17 = -2*m, 0 = -m - 2 - 2. Suppose -u + b = -1. Suppose -u*f + 18 = -2. Solve f*l = l for l.
0
Let v be (-18)/(-27) - (5 - (-39)/(-9)). Solve 23*r - 43*r = v for r.
0
Suppose 0 = -4*l + 3*l + 3. Let w be (2 - 1)/(l/9). Suppose w*c - 15 = 21. Solve -c = -s + 5*s for s.
-3
Let k(r) = 3*r + 37. Let g be k(-10). Solve 0 = -g*m + 8*m for m.
0
Let u be 91/(-21) + 4 + 10/3. Suppose -4 = u*j - 13. Solve j = -3*k - 12 for k.
-5
Let o = 214 + -121. Let l = o - 93. Solve l = d - 4 - 1 for d.
5
Let b = 600 + -589. Suppose 2*n = 3*n. Suppose 3*i + b = 5*z, n = 3*i + 3*z - 0*z - 21. Solve i*m = -m + 20 for m.
5
Let c be (5 - 2)*(-1 - (-182)/3). Solve 4*v - 171 = -c for v.
-2
Let w(t) = -t**2 - 2*t + 9. Let c be w(0). Let u be 15/c - 5/(-15). Solve u*f + 2 = -4 for f.
-3
Suppose 22*y = 75 - 9. Solve 0 = -y*d + 3*d + d for d.
0
Let u(z) = -10*z + 70. Let o be u(7). Solve -3*p - 3 + o = 0 for p.
-1
Suppose -11*d - 22 = -55. Solve -d = -5*s - 13 for s.
-2
Suppose -1 = -k + 4. Suppose -k*o - 2*y - 2 + 1 = 0, 0 = 2*y + 6. Let f be (-1 + o)/(13 + -12). Solve f = -r - 2*r for r.
0
Let a(w) = w**3 + w**2 - 2*w + 84. Let m be a(0). Let h be m/63*3/2. Solve q + h*q = 9 for q.
3
Let s(c) = -36*c - 340. Let g be s(-10). Solve -24*i + 28*i + g = 0 for i.
-5
Suppose 0 = 2*j + 5*i + 36, j + 3*i + 2*i + 18 = 0. Let u(t) = -t**3 - 17*t**2 + 16*t - 36. Let l be u(j). Solve -2*o - 2*o + 16 = l for o.
4
Let d(i) = 6*i**2 + 10*i - 10. Let u be d(1). Solve k = u*k for k.
0
Let q be 12/(-8) - (306/(-4))/3. Solve -5*k + q = 14 for k.
2
Let y(q) = q**2 + 15*q - 100. Let x be y(-20). Solve -3 = -x*r + r for r.
-3
Let k(w) = -w**3 - 20*w**2 - 33*w + 58. Let l be k(-18). Solve 21*z - l = 23*z for z.
-2
Suppose -14 = -2*k - p, 4*k + 4*p - 30 = -2. Let b(x) = 3*x - 19. Let u be b(k). Solve -3 = u*t + 7 for t.
-5
Let u be (-5)/(-30) - (-574)/84. Solve -2*j - u = -17 for j.
5
Suppose 1228*o = 1242*o - 112. Solve 16*j = o*j for j.
0
Let x(n) = -n**3 + 6*n**2 - 5*n - 2. Let r be x(4). Suppose -r*a = -9*a - 3. Suppose -5*b - 4*l + 60 = -0*l, -4*l + 4 = -2*b. Solve b = -a*p - 7 for p.
-5
Suppose 0 = 3*w + 29 - 29. Solve -4*v + 5*v + 3 = w for v.
-3
Suppose -6*c - l = -4*c + 39, -72 = 3*c - 3*l. Let a = c + 24. Solve a = 3*v - 3 for v.
2
Let f = 458 + -448. Solve 0 = 4*x + f - 6 for x.
-1
Let k(z) = z**2 - 7*z - 6. Let i be k(7). Let s = i + 18. Suppose 13 = 5*o - s. Solve 0*b + o*b + 20 = 0 for b.
-4
Suppose 4*c - h - 2*h - 7 = 0, 3*c - 5*h + 3 = 0. Suppose 0 = -a + 4*b + 8, -c*a - 6 = -5*a + 2*b. Solve -a*i = -i - 9 for i.
3
Let f(q) = 2*q - 4. Let b be f(4). Let z be (2 - 0)/((-2)/(-21)). Suppose a = z - 12. Solve 0 = s - b*s - a for s.
-3
Let u = 87 + -83. Suppose 3*j - 4*j = -u*j. Solve j*x + 4 = -4*x for x.
-1
Let r(b) = -b**3 + 3*b**2 + 5*b. Let a be r(4). Suppose -a*v = -5*f + 14 + 9, -v = 5*f - 13. Suppose 0 = f*n - 3 - 9. Solve n + 2 = 2*y for y.
3
Let x be (-54)/24*8/(-2). Solve 2 + 16 = -x*s for s.
-2
Suppose 2*t + 21 = 9. Let f = 9 + t. Solve -f*c - c + 16 = 0 for c.
4
Let u = 10 - 7. Suppose -g + 16 = u*g. Suppose -3*l = -g*v + 7, 0*v + 3*v - 24 = -4*l. Solve -4*q = -2*q - v for q.
2
Let a = 38 - 32. Let u(z) = 9*z + 3. Let m(v) = 8*v + 3. Let k(n) = a*m(n) - 5*u(n). Let l be k(0). Solve 7 + 2 = l*s for s.
3
Let x(z) = 43*z - 501. Let n be x(12). Solve 42 = -a + n*a for a.
3
Let j = 2 - 2. Let q be 52/20 + 4/10. Suppose q*f + 34 = 46. Solve -o + 0 + f = j for o.
4
Let j(z) = z**3 + 7*z**2 + 2*z + 2. Let r be j(-6). Solve -5*d + 11 - r = 0 for d.
-3
Let d(k) = -7*k + 1 + 7 + 0*k + 8*k. Let m = 2 - 8. Let n be d(m). Solve -n*t + 7 + 1 = 0 for t.
4
Suppose 35 = 2*d - 5*t, -5*t = 7*d - 6*d - 25. Solve 5*x + d = x for x.
-5
Suppose -5*f = 5*g - 655 - 135, 0 = 3*g + 2*f - 477. Let a = g - 159. Let l = -2 - -2. Solve a = 2*b - l for b.
1
Suppose 0 = 5*q, 6*x - 4*q = x - 135. Let g = 27 + x. Solve 5 + g = -u for u.
-5
Let b be 8*((-110)/(-10))/22. Solve -o = -b*o + 15 for o.
5
Suppose 11*d = 35 + 130. Solve 0 = 4*t - 1 - d for t.
4
Let c = 4 - -2. Let p = -5 + 20. Suppose -p = -5*h - 5*y, -h + y + c = h. Solve 2*o + 2 = h*o for o.
2
Let k(v) = -42*v + 2. Let d be k(0). Let x(a) = a**2 - 5*a + 5. Let c be x(6). Let m = c - 6. Solve m + 1 = -d*u for u.
-3
Let l = 16 + -6. Suppose -5*r + r - 5*x = 13, -r + x = -8. Suppose 0 = r*u + 2*u. Solve 0*y + 2*y - l = u for y.
5
Suppose 4*f - p - 3*p - 20 = 0, -5*p = -3*f + 5. Solve 11*v - f*v = -2 for v.
-2
Let f be (-200)/(-12) - 6/9. Suppose -3*u - 34 = 14. Let h = f + u. Solve -5*t + 10*t - 25 = h for t.
5
Suppose -q + 3*k + 9 = 0, 0 = -2*k + 9 + 1. Solve t - 25 = -q for t.
1
Let t be 1/((6/21)/(-2)). Let c be t/(-2)*(-28)/(-49). Suppose -27 = -u - 5*i, i - c*i = 2*u - 9. Solve 2 = -u*n - 0*n for n.
-1
Suppose -183 = -33*u + 114. Solve 0 = -13*q - 22 + u for q.
-1
Let s = -392 - -404. Solve 0 = s*u + 6 + 6 for u.
-1
Let o = 212 + -83. Let d = -125 + o. Solve -d*z + 8 = -0*z for z.
2
Let v(o) = o**2 + 12*o + 38. Let t be v(-5). Solve 5*d - t*d = 6 for d.
3
Suppose -5*w = -4*m + 18 - 30, 20 = 2*m + 4*w. Solve -k = k - m for k.
1
Let h(j) = -j**3 + 7*j**2 - 5*j - 1. Let y be h(6). Suppose 4*l = 0, 5*l = y*b - 22 - 8. Suppose -3*c = b - 12. Solve 0*n + n = -c for n.
-2
Suppose -g + 14*g = 13. Solve -1 - g = -n for n.
2
Suppose 2*f - 4 = -6, 3*n + 4*f = 8. Suppose -w + 29 = 4*x, 0*x + n*x = 3*w + 25. Let u = x - 1. Solve 2*t + 4 = -u for t.
-5
Suppose -m + k + 3*k + 8 = 0, 5*m = -2*k - 4. Solve -h - h = m for h.
0
Let f(b) = b**2 + 26*b + 5. Let p be f(-26). Suppose 4*y + 30 = 5*k, -3*y = 8*k - 3*k + p. Solve -k*l + 7 + 1 = 0 for l.
4
Suppose 0*l - 4*l + 60 = 0. Let a(k) = -k**3 + 8*k**2 + k + 3. Let q be a(8). Suppose -q*f + 8 = -7*f. Solve 0 = -3*s - f*s - l for s.
-3
Let v = 18 - 16. Suppose 4*z - u = v*u + 16, -16 = -4*z - 5*u. Solve 1 = -y - z for y.
-5
Let n(h) be the second derivative of 1/2*h**2 + 0 + h + 1/2*h**3 + 1/6*h**4. Let a be n(-3). Solve -10 = -5*s + a for s.
4
Let g be (5 - (-117)/(-15))*4*-5. Solve g*a = 50*a for a.
0
Let c = 3476 + -3471. Suppose -27 + 3 = -4*a. Let o be a/9 + 7/3. Solve -14 + c = -o*y for y.
3
Let o = -19 - -21. Suppose -8 = 2*l, -3*j - 4 = -o*j + 3*l. Solve 4*r + j + 0 