 11, -3*k + 3*w + 23 - 2 = 0 for k.
2
Let d = 38 + -26. Suppose -o + 3 + 3 = 0. Suppose -w + o - 3 = 0. Solve 0 = -w*q - 0*t + t + 10, -d = -4*q + 2*t for q.
4
Suppose 2*a + 42332 = 42336. Let l be -9*(2 - (-14)/(-6)). Solve -17 - l = -5*t, -2*n = -t + a for n.
1
Suppose 0 = 13*n - 9*n - 20. Suppose y - 9 = -4*s, 0 = -2*s - y - 2 + n. Solve 0 = -5*j - 2*w + 6, 4*j + s*w - 6 = w for j.
0
Let f(j) be the second derivative of j**4/12 + 13*j**3/6 + 19*j**2 + 22*j. Let x be f(-10). Solve 2*o + 5*l = -17, -6 = -o + 2*l + x for o.
4
Let m(x) = x**2 - x + 2. Let g be m(3). Let d = g - -2. Suppose 2*r - d = -2. Solve 2*l = i - r*i - 12, 0 = -3*l - 3*i - 12 for l.
0
Let b(x) = -2*x + 56. Let s be b(26). Solve -s*r - l - 2 = 0, -5*r - 5*l + 4 = -1 for r.
-1
Let l be -1 - 6/(-4)*104/6. Solve 5*i = -5*x + l, 4*i - 7 = 1 for x.
3
Let u be 33 + (2 - 2 - 3). Suppose -f - u = -6*f. Suppose 0 = 7*p - f*p. Solve -m + 2 = v + 9, p = -5*v - m - 15 for v.
-2
Let p(t) = -2*t + 124. Let q be p(60). Solve h - 23 = q*r, -5*h + 21 = -3*h - 3*r for h.
3
Suppose 2*k - 1 - 15 = 0. Suppose k = -4*h + 6*h. Solve 2*s = -4*r - 2, 3*s = 2*r + 1 + h for r.
-1
Let c = 29 - 25. Suppose 2*r = -c, -3*r = 5*u - 0*r + 31. Let a = u + 8. Solve 2*k - k = a, -4*j - 2*k = -22 for j.
4
Let x(k) = -42*k - 116. Let s be x(-3). Solve -3*d - 7 = -4*o, 0 = -s*o + 5*o + d - 5 for o.
-2
Let j = 1576 + -1562. Solve 4*a = -4*z - a + 7, 4*z + j = 2*a for z.
-2
Suppose 95*w - 64*w - 620 = 0. Solve 3*t = 2*m + 2*m - w, 2*m - 10 = -3*t for t.
0
Suppose -v = 4*h + 4*v - 21, 0 = -2*v + 2. Solve h*d = -0*z + 3*z + 4, 4*d - 2*z = 0 for d.
-2
Let h(i) = 21*i - 44. Let m be h(7). Let a = -95 + m. Solve -x = x, 2*v - x = a for v.
4
Let o(a) = -2*a - 33 - 16 - 3*a + 2*a. Let x be o(-18). Solve 2*l - 30 = x*j, -3*j + 5*j + 13 = l for l.
5
Suppose 13*t = -8 + 73. Solve 0 = t*k - 10, -2*z + 5*z = -5*k + 25 for z.
5
Let w(r) = 4 + r - r**2 + r**2 - r**2. Let b be w(0). Suppose -112*t - 14 = -119*t. Solve t*f = -4*l - 14, 0 = -4*f + 3*f + b*l + 17 for f.
1
Suppose f + 5*l - 20 = 3*f, -8 = 3*f - 2*l. Suppose -7*x + 1 = -314. Suppose 0 = -5*t + 2*t + x. Solve -3*g + t + f = 0, -5*a = 3*g for a.
-3
Suppose -f - 5*n = -4 - 1, 3*n = -5*f + 3. Let b(g) = -g**2 - 41*g - 146. Let r be b(-37). Solve -4*m - r*k = -3*k + 10, f = m - 2*k - 1 for m.
-3
Let n(m) = -m**3 - 9*m**2 - m + 1. Let j be n(-9). Suppose 0*f = -2*f + j. Let b = 4 - 0. Solve -2*x = -y + f + 8, -b*y + 24 = -x for x.
-4
Let l be 8/((5/15)/((-1)/(-3))). Suppose -f - l = -s, -20 = 6*f - f. Solve -w = -s*w - 2*z + 16, 26 = 3*w + 4*z for w.
2
Let k(n) = 11*n - 51. Let q be k(6). Suppose 0 = 2*w - 4*w + 6. Solve -5*i + 5*j = -q, -i = -w*i - j for i.
1
Let b(u) = -2*u**2 + 21*u + 38. Let q be b(12). Solve 3*s - 2*z + 3*z + 10 = 0, q*s - z = 0 for s.
-2
Let x = -831 + 841. Solve 3*m - 3 = -3*t - 0, -2*t = -x for m.
-4
Let a(q) = q**2 + 10*q + 4. Let b be a(-10). Let g be 4 + 2 - (b - 2). Suppose 3*z - g*z = -3. Solve -z*n - 5*p - 12 = -p, 2*n + 8 = -2*p for n.
-4
Let s(p) = -5*p**2 - 184*p + 43. Let l be s(-37). Solve 0 = u - 4*j + 19 + l, u - 10 = -3*j for u.
-5
Let v = -37 + 40. Let c be v*(40/12 + 0). Solve 0 = f - 0*t + t + c, -3*t = f + 20 for f.
-5
Let b be (0 - (1 + 4))/(-1). Suppose 25 = s + 3*m, -4*s = -s + b*m - 55. Solve 0 = q, 0*y + 5*q - s = -5*y for y.
2
Let q be (7/2)/(7/14). Solve -o + 3 = 4*v, -v + o + q = -0 for v.
2
Suppose 0 = -v + 4*h + 16, -5*h - 18 = -3*v + 30. Solve -5*q + 2*j + 9 = -j, 0 = 2*q + 5*j - v for q.
3
Suppose 0*r - 4*r = 8, -5*r - 6 = 2*o. Suppose -35 = f - 8*f. Solve -2 = -o*n + 4*n, f = 5*z - 5*n for z.
0
Let j(v) = 19*v - 9*v - 7*v - 4*v. Let b be j(-2). Suppose 2*o = -b*o + 8. Solve -5*k = -z, 4*z - o*k = -3*k for z.
0
Let b = 564 - 555. Solve 3*n - w - 2*w + b = 0, 2*n = -3*w + 4 for n.
-1
Suppose -4*n + 45 = 5. Suppose -6*v + 156 = 36. Solve -6 = 4*j + n, -4*t = -j - v for t.
4
Suppose 0 = -h - 0*h. Let l be h/(0 - (1 - -1)). Let q be 7 - (3 - 0 - l). Solve -5*t = -4*p, 9 = -p - q*t + 3*t for p.
-5
Let j(m) = 3*m - 4. Let f be j(4). Let p = 69 - 67. Solve y - f = r + 3*y, 3*r + p*y + 12 = 0 for r.
-2
Let l = 31 - 15. Suppose 15*s = 17*s - l. Let f(k) = -k**2 - 8*k + 1. Let v be f(-8). Solve -o - s = 4*z - v, -5*z + 10 = -5*o for z.
-1
Suppose -35*t + 59 = -116. Solve -4*a = -2*j + 8, -3*a = -t*j - 2*a - 7 for j.
-2
Let f be (-1 + 3)/((-4)/106) - -2. Let u = f + 54. Solve -8 = 4*g + 4*w, -u*g - 8 = -4*w + 5*w for g.
-3
Let g = 24 - 16. Suppose -3*o = -g*o. Suppose -2*v + 56 + 0 = o. Solve 2*n + u + 3*u + v = 0, 0 = 3*n - 5*u - 13 for n.
-4
Suppose 3*j = -m + 5, 0*m + 44 = 5*m - 4*j. Suppose -2*g + m = 5*w, 2*w - 4*g + 2 = -14. Let d = -9 + 13. Solve -n + y + 4 = 0, y = -d*n - w*y + 16 for n.
4
Suppose y + 4*b = 4, 10*y - 5*y + 5*b = 5. Solve -4*j - 8 = 4*i, i + 5 = 2*j - y*j for i.
-3
Let d(p) = 7*p**2 - 12*p + 1. Let x be d(2). Solve 2 = x*k + 7, 3*s - 2*k = 11 for s.
3
Suppose -5*n + 20 = -j, -2*j - 2 = -2*n + 14. Suppose -5*y - 2*a = -0*a - 7, 0 = -n*a - 12. Solve 13 = -2*m - 3*g, y*m - 2*g - 28 = 3*g for m.
1
Let k be (1 + -4)*-8 + 3. Let x = 27 - k. Suppose x = -4*n - 6 + 26. Solve 5*w = 3*b - 7, 3*w + 10 = 2*b + n*w for b.
4
Let r(p) = -p**3 + 20*p**2 - p + 23. Let i be r(20). Suppose -3*d - 15 + 45 = 0. Solve -4*k + 26 = -5*s - 19, -i*s = k + d for s.
-5
Let g = 2 - 0. Let s be (g/(-6))/((-3)/18). Suppose -3*x + 4 + 5 = -2*v, -3*x + 5*v + 9 = 0. Solve x*q - 7 = s*q - 2*l, -4 = 3*q + l for q.
-3
Let c be 2/(7 - 3)*(-7 - -7). Solve -m + 6 = p - c, -m + 2*p - 9 = 0 for m.
1
Suppose 0 = -5*y + 7*j - 4*j + 17, 13 = 3*y + j. Solve -19 = y*c - 3*x, x = -c - x + 9 for c.
-1
Suppose -3*r = 4*i - 25, r + i + 10 = -4*i. Let y = r + -5. Solve y = -6*a + 2*a + 5*g, 4*g - 8 = a for a.
0
Let z(u) = -u + 4. Let y be z(-7). Suppose -36 = y*b - 20*b. Solve -b*h + 4*i + 21 = 5, -2*i = -5*h + 23 for h.
5
Let q(l) = -l**2 - 6*l + 10. Let i be 17/(-2) - (-15)/10. Let a be q(i). Let k = a + -1. Solve k*j = 3*p + 4*j + 12, 12 = -3*p + 5*j for p.
-4
Suppose 321 - 314 = 7*p. Solve 0 = -2*y + z + p, -3*z + 6*z = -y - 3 for y.
0
Let o be (-10)/(3/(3/(-2))). Suppose 4*q - 25 = -5. Solve -o = 5*m + 4*c - 4, -q*c + 3 = 2*m for m.
-1
Let o = -18 - -66. Let s = o + -45. Solve 3*c + c + 4*p = 12, -s = -5*c + p for c.
1
Suppose 11*x + 14 - 47 = 0. Solve 2*w - 4*w = 2*r - 8, 0 = x*w + 4*r - 16 for w.
0
Suppose -5*y = -u + 2, -4*u + 2*y = 33 - 41. Solve 8 = 2*c - 4*p, c - u*p = p + 6 for c.
0
Let d(y) = -4*y + 9. Let i be d(12). Let j = 42 + i. Solve 0 = -v - s - 3, -j*s = -5*v - s + 13 for v.
1
Let p = 14 + -3. Let j = -11 + p. Solve 3*k - 9 = 6*k, 2*d + 5*k + 23 = j for d.
-4
Let n be 1/3 + 11 + 14/(-6). Solve 3*x - 3*d + n = 0, -6 = 2*x - 2*d + d for x.
-3
Let g = 44 - 38. Let n(p) = 8*p - 44. Let y be n(g). Solve -5*i - 5 = -4*d, 3*d = -y*i + 10 - 45 for d.
-5
Let p be (-15)/(-4) + (-2)/(-8). Solve 3*s + j + 16 = 0, 3*s + 12 = 4*s - p*j for s.
-4
Let s be ((-4)/12)/((-2)/(24 - 6)). Solve 2*c - 3*n + 1 = 0, -2*c - s*n + 6 = c for c.
1
Let t = -441 - -446. Solve -4*f + 28 = 6*z - 2*z, -t*z = 4*f - 31 for f.
4
Let x be (6/(-10))/((-4)/20). Suppose -4 = 2*i - x*i. Solve 5*k = -5*u - 18 + 3, -3*k - 2*u - i = 0 for k.
2
Let u(t) = t**2 + 32*t + 159. Let n be u(-26). Solve n*x = -x + v + 6, -v = -2 for x.
2
Let q(c) = -2*c. Let j = -36 + 35. Let n be q(j). Solve 4*o - n*y = 2*y, 4*y - 20 = 0 for o.
5
Let k be (((-10)/6)/(-5))/((-1)/93). Let b = k - -33. Solve 0 = -3*y + 15, y + b*y - 20 = z for z.
-5
Let i = 447 - 222. Let q be i/35 - (-3)/(-7). Solve 4*t = 5*n + 8*t + 11, -2*n + t = -q for n.
1
Let q be ((-944)/(-30))/4 + 126/945. Solve 0 = 4*m - 2*y - q, -5*m + 16*y = 20*y - 36 for m.
4
Let f(u) = -u**2 + 6*u - 5. Suppose -2*x = -4*o + 20 + 6, -22 = -3*o + 2*x. Let a be f(o). Solve -i - a = -4*l, -5*i + 10 + 9 = -3*l for i.
5
Suppose -q - 12 - 12 = 0. Let l = q - -26. Solve 5*w = i + 18, -2*i + l = -4*w + 14 for w.
4
Suppose 5*v = -10 - 5. Let d be 3 + (1 + -2 - v). Let a(x) = -x**3 - 13*x**2 + 31*x + 21. Let g be a(-15). Solve n + 5 = d*t + g*n, -5*n = 3*t - 7 for t.
-1
Suppose 4*j - 44 = -0*j. Suppose j*w + 5 - 82 = 0. Solve -2*x - w = -s + 3, -4*x - 3*s = 10 for x.
-4
Let y be (30/(-8) - -4) + 1/(-4). Solve -2*l = -y - 10, 2*q + 2*l = 0 for q.
-5
