- 0. Solve -2*k + 4 = -t*k for k.
-4
Suppose 0 = 2*t - 5*t + 12. Let y be ((-2)/t)/(2/(-28)). Let d = -5 + y. Solve -4*w + 2*w = -d for w.
1
Suppose 0 = c + 2*c - 24. Let z be 12/42 - 38/(-14). Suppose z*y - c = -y. Solve -3 = -y*f + 1 for f.
2
Let s = 127 + -124. Let p = -1 + -3. Let y(b) = b**3 + 5*b**2 + 3*b - 1. Let v be y(p). Solve s + v = 2*g for g.
3
Let f(a) = -3 + 3 + 1 + a. Let w be f(2). Suppose 6*l + 78 = 19*l. Solve -w*r = -0 + l for r.
-2
Let h = -16 - -18. Solve 0 = 2*y - 0 - h for y.
1
Let g be (2 - 0 - 4)/(10 + -12). Solve -p + 5 = g for p.
4
Suppose 0 = g + 3*n - 17, 3*g - n - 19 = -2*n. Suppose -25 = -3*w + g. Solve -w = -5*u + 10 for u.
4
Suppose 0 = -t + 4*h - 4, 0 = t - 5*h + 3*h. Solve 2*d = -t - 2 for d.
-3
Let k(h) = 3*h - 7*h**2 + 12 + 2*h + h**3 - h**3 + h**3. Let z be k(6). Solve -2 + z = -4*w for w.
-1
Suppose 0*n - 3*n = -9. Solve n = 2*d + 1 for d.
1
Suppose -5*j = 17 - 127. Solve -5*w + j = 2 for w.
4
Let x(j) = -j**2 + j + 1. Let n be x(0). Suppose 2*g + 3*g = 4*h - 10, 2*h - 10 = 5*g. Solve h*l - n = l for l.
-1
Suppose -2*z = -4*h - 24, z - h = 6 + 1. Solve -25 = -z*b - 3*b for b.
5
Suppose 3*v = -0*v + 6. Let n(u) = -u**2 + 3 - 2 + u**2 - u**v. Let y be n(-1). Solve 3*q - 2 + 5 = y for q.
-1
Suppose -3*n = -2*n. Let y be 4/1 + -1 + 2. Suppose n = c - y*c. Solve c = 6*a - 3*a + 3 for a.
-1
Let i(m) = m**2 - 12*m + 13. Let v be i(9). Let s = 17 + v. Solve z + 8 = s*z for z.
4
Let o(n) = -n**2 - 8*n + 2. Suppose 0 = -3*t + 3*y + 39, 0*y = -y - 3. Let r be 5/(t/(-12)) + -2. Let a be o(r). Solve -a*h + 10 = 3*h for h.
2
Let n be (-20)/(1 + (-4)/2). Suppose 7*x - n = 3*x. Suppose -3 + 6 = -3*p + 3*l, x*l - 35 = -5*p. Solve 0*d + p*d - 15 = 0 for d.
5
Suppose -2*k = 3*u, -3*k - u = 2*k. Let a = 1 + 3. Suppose k*j = -a*j. Solve j = -5*b + 5 for b.
1
Suppose 0 = 5*d + 10, -d - d = 4*o - 12. Suppose 0*k + o*k = 0. Suppose k = -5*u - x + 50, -3*x = 0. Solve y + u = -y for y.
-5
Suppose 5*p = -m - 2*m + 17, 0 = 4*p + 8. Solve -m - 11 = -4*f for f.
5
Let o be (-10)/(-15)*(-18)/(-4). Suppose -2*w - 1 = -o. Solve 4*j = 3*j + w for j.
1
Suppose 0 = 2*d - 4*d + 4. Suppose 0 = -4*l + d + 10. Solve -l*s = -0*s for s.
0
Let r be ((-81)/(-12))/(1/(-4)). Let o = r - -39. Solve 0 = 3*p - 0 - o for p.
4
Let u(y) = -y**3 + 7*y**2 + 8*y + 3. Let x = -15 + 23. Let t be u(x). Solve -2*h = -t*h + 4 for h.
4
Let i be 6/(-2)*(-17 - -16). Solve -i - 3 = -2*t for t.
3
Let o be (4/6)/(22/99). Solve -6 = o*q - 0*q for q.
-2
Suppose -v - 1 = -3*h - 9, -5*v - 5*h = 0. Suppose v*q = q - 1. Let c be 3*2/(-2)*q. Solve -c*w - 6 = -w for w.
-3
Suppose -2 - 1 = -3*o. Let n be (14/(-6) + 2)/(1/(-6)). Solve -o = q + n for q.
-3
Let y(g) = 7*g. Let x be y(-1). Let o(j) = -j**3 - 8*j**2 - 6*j + 1. Let t be o(x). Let q be (-14)/(-3) - t/18. Solve -p + 6*p - q = 0 for p.
1
Suppose 0 = -a - q - 3, -3*q = a - 0*q + 9. Suppose -10 = -4*y - y. Solve a = 6*f - y*f + 20 for f.
-5
Let b be (2/6 - -1) + (-17)/51. Let u be ((-2)/5)/((-1)/5). Let y = u + b. Solve 12 = y*a - 0*a for a.
4
Let s(a) be the third derivative of a**4/24 - a**3/2 - 7*a**2. Let p be s(6). Solve p + 3 = 2*h for h.
3
Let p(j) = 1 + 2 - 5 + j. Let d be p(3). Suppose 0 = 3*t - 11 - d. Solve -t*y = 9 - 1 for y.
-2
Suppose -10 = 5*g, 2*g + 26 = 3*p + 4*g. Solve 0 = 3*w - 5*w - p for w.
-5
Let z = 2 + 6. Suppose z = 5*d - d. Suppose 3*o - 4*n = o + 18, 5*o + 3*n - 19 = 0. Solve -12 = -o*x + d*x for x.
4
Let a be 4/(-7)*3*-7. Let j be (-12)/(-4)*1 + 0/(-1). Solve 0 = j*t - a for t.
4
Let g = -60 + 60. Solve g*v = v - 4 for v.
4
Suppose -4*m + 9 + 28 = -5*k, -5*m = 4*k + 5. Solve m = 3*q + 12 for q.
-3
Let o be (-2)/(-6) - (-2)/3. Let m(w) = w + 14. Let u be m(-7). Suppose 2*v - u = o. Solve v = s - 5*s for s.
-1
Suppose 0*c - 3*c = -42. Let a = -5 + 8. Solve 2 = -a*x + c for x.
4
Let q = -7 + 17. Suppose q = 5*c, 2*c + 2*c = -t + 18. Suppose t = 3*m + 1. Solve 4*j - m*j = 0 for j.
0
Let n = -4 + 2. Let b = 6 + n. Solve 0*v + 8 = b*v for v.
2
Suppose -3*q - 1 = -5*y, y = 4*q - 7 - 3. Let j = 5 - y. Suppose k = j - 1. Solve k = -3*r - 1 for r.
-1
Let v(p) = p**3 - 7*p**2. Let x be v(7). Suppose 2*u + k = x, -6*u = -4*u + 2*k. Solve -3 = -u*m + 3*m for m.
-1
Suppose 0 = -16*z + 11*z. Solve -4*p + 14 + 6 = z for p.
5
Let b(y) = -3*y - 6. Let d(q) = q**3 - 10*q**2 - 10*q - 14. Let c be d(11). Let v be b(c). Solve v*n + 4 = -2 for n.
-2
Let b(u) = -u**3 + 4*u**2 + 7*u - 6. Let i be b(5). Let z(c) = -c**3 + 3*c**2 + 6*c - 5. Let d be z(i). Solve d*g - g = 6 for g.
3
Let j(x) = 2*x + 5. Let c be j(-2). Solve 0 = d + 4 + c for d.
-5
Suppose 5*m + 2*j = -0*m + 23, -5*j = -5*m - 5. Suppose w - m*x = 14, -x + 5 = 3. Solve 0*f = 5*f - w for f.
4
Suppose 0 = -2*c - 2, -6*l + c + 1 = -4*l. Solve -3*z - 2*z = l for z.
0
Let o(h) = -h**2 + 1. Let a be o(1). Suppose -153 = -4*g - a*x - x, 186 = 5*g + 3*x. Suppose -1 = -5*r + g. Solve -3*n = n - r for n.
2
Let r be (-3)/9 + 146/6. Suppose 4*m + o = r, -2*o - 24 = -4*m - o. Solve m*w - 3*w = 12 for w.
4
Suppose 25 = 5*p + 2*m, 2 - 22 = -4*m. Solve p*f = f for f.
0
Let m(h) = -h**3 + 4*h**2 + 4*h - 4. Let n be m(5). Let r = -5 - n. Let j = 1 + r. Solve 0 = 2*d + 13 - j for d.
-4
Let g(b) = b - 4. Let y be g(7). Suppose -p - y*p = -12. Solve 0 = -5*d - 7 - p for d.
-2
Let j be -2*((-3 - -6) + -1). Let a(z) = -z**3 - 4*z**2 + 2. Let s be a(j). Solve -3*v - 13 = s for v.
-5
Let g = 6 - 1. Let h(b) = -b**3 + 4*b**2 + 6*b - 2. Let o be h(g). Solve -3 = o*n - 0*n for n.
-1
Let o = -2 + 5. Suppose 0 = -o*q + 21 - 6. Solve 0*s = s - q for s.
5
Suppose 0*l + 2*l = 10. Let s(c) = -1 - c - 5*c**2 - 4 - c**3 + 2 + 0*c**3. Let z be s(-5). Solve z*o + 12 = l*o for o.
4
Let f = 11 + -1. Let c = 14 - f. Solve -c*s + 10 = -9*s for s.
-2
Suppose -3*y + 44 = -a, -a = 2*y + 2*y - 54. Solve 0 = -3*f + y - 2 for f.
4
Suppose 0 = -8*o + 3*o. Solve -4*i + i + 15 = o for i.
5
Let a = 77 - 76. Solve a = z - 2 for z.
3
Suppose -j + 4*j = 9. Suppose 2*x + j*x - 20 = 0. Suppose w = -n - w + 2, -3*n - x*w + 16 = 0. Solve 2*h - n = 6*h for h.
-3
Suppose -4*p + 3*p - 3*v + 47 = 0, -4*p + 4*v + 108 = 0. Let i = p - 28. Solve -3*h - 7 = -i for h.
-1
Let k = -3 - -9. Suppose f + 1 + 0 = 4*i, -k = -f - 3*i. Solve 2 = f*z - 10 for z.
4
Let z(t) = -t**2 + t + 3. Let s be z(0). Suppose s*l = -2*l + 20. Suppose 4*g - 12 = c - 3*c, 5*g = 3*c + l. Solve c*x = 4 - 2 for x.
1
Suppose -d = -3*b - b - 10, 3*d = -2*b + 2. Suppose d*r - 4 = -4*i, i + r + 4 = -2*r. Let x be i*(1 + 6/4). Solve -c = -x*c - 20 for c.
-5
Suppose -17*q = -16*q - 5. Solve 12 = q*y - 8 for y.
4
Let q = 19 - 29. Let b be q/(-35) - (-61)/7. Solve -3*s + 6*s - b = 0 for s.
3
Let i(r) = r**2 - 2*r - 1. Let w be i(3). Let h(p) = 5*p. Let q be h(2). Let s = -7 + q. Solve -w*m - 2 = -s*m for m.
2
Suppose 0 = -n + 5 - 1. Suppose 4*x - 12 - 16 = 0. Suppose 0*j - j = -x. Solve -j = n*v + 9 for v.
-4
Suppose 2*m = 2*d - 38, -3*d = 2*d + m - 65. Suppose -2*w + d = -10. Suppose 0*i + w = 4*i. Solve -z = i*z + 12 for z.
-3
Suppose -2*x = 5*p - 30, -x - p = -6*x + 21. Let z(y) = -y + 11. Let a be z(6). Let r = a - x. Solve -3*n = 9 - r for n.
-3
Let y(j) = -j - 3. Let s be y(-7). Let d(l) = l + 10. Let h be d(-7). Solve 17 = -s*r - h for r.
-5
Let f = 22 - 13. Suppose 3*t = -0*t + f. Solve 3*b = 6 - t for b.
1
Suppose 10*m - 6*m - 48 = -3*z, 0 = -4*m + 2*z + 48. Solve m = -11*w + 8*w for w.
-4
Let g = -11 + 12. Suppose 5*r - 14 = -4*z, -z - g = -r - 0. Solve 2*w = r + 4 for w.
3
Let n = -11 - -18. Let p = -4 + n. Solve 0 = -d - p*d + 8 for d.
2
Suppose 4*k = -2*k + 12. Let a be 22/(-6) - (-1)/(-3). Let i be (-2)/a + 18/4. Solve 22 = i*t + k for t.
4
Let m(h) = h**2 - 6*h + 9. Let f be m(7). Solve v - 5*v = f for v.
-4
Let j be ((-9)/(-3))/((-2)/2). Let b = 23 + -13. Let g = j + b. Solve -g*k = -2*k - 10 for k.
2
Let l = 1 + 1. Solve l*d - d = 4 for d.
4
Let q(k) = -3*k + 23. Let d be q(7). Solve 4*u + d = -6 for u.
-2
Suppose 5*o + 3 = -4*s, -2*o + 0*o = 4*s + 6. Let z(h) = -h**2 - 5*h - 2. Let t be z(s). Solve 0 = t*k - k + 3 for k.
-1
Let b = 4 - 2. Let t be 2 + (-8)/b - -3. Let l = t - -5. Solve -v + 4*v = l for v.
2
Let w = 34 - 32. Solve -v + w = -2 for v.
4
Suppose 0 = 12*r - 16*r + 80. Solve 3*n + r = 7*n for n.
5
Let c be 4/14 + 198/42. Suppos