 0 = 6*d - 0*d. Suppose -9*a - a + 150 = d. Solve -4*x + p = -a, p = -5*x + 6*p + 30 for x.
3
Let k(i) = i**2 + 9*i - 6. Let t be ((-22)/(-1))/(3/(-3)). Let h = 12 + t. Let c be k(h). Solve -3*q + 8*q = -v + 16, c*v = 4 for q.
3
Let v be 12/(-20)*-5 + (-68)/1. Let p = v + 71. Suppose 4*o + 56 = 8*o. Solve 2*m - 3*h + o = 0, -m - 3*h - p = 2*m for m.
-4
Suppose 2*d + 0*n - 2*n = 6, 2*d - 1 = -3*n. Solve 2*j + 10 = d*k, 0*k = -5*j - 4*k + 11 for j.
-1
Let o(u) = -u + 13. Let h be o(8). Let l(j) = 5*j**3 - 3*j**3 - j + 0*j**3 + h + 2*j**2 - 3*j**3. Let y be l(0). Solve -t + 11 = -y*z, -t - 1 = -z + 2*z for z.
-2
Let w be -2 + (-6 - -2 - 0). Let r = w - -6. Suppose r = -2*q - 3*q + k + 25, -k = 0. Solve -q*m + 28 = l, -4*m = m - 25 for l.
3
Let r be 6*2/3 - -1. Solve 0*y + r*c = 4*y, 2*y + 6 = 4*c for y.
5
Let o be (1/2)/(2/20). Suppose a - i = 1, 2*i = 4*a - 1 - o. Solve -2*v = v + a*f - 5, -f = 2*v - 4 for v.
3
Let g(t) = 5 - 2 + 4 - 3*t + 3. Let a be g(-6). Suppose 11 = 5*x - 44. Solve -i - x = i - k, -i = -5*k + a for i.
-3
Suppose 9*y = 4*y - 255. Let q = y - -31. Let a = -15 - q. Solve 5*u + a*o = 5 - 50, 0 = -3*u - 4*o - 32 for u.
-4
Let p(q) = q. Let k be p(3). Suppose -5*u - 26 = 2*a - 0*u, -46 = 5*a + k*u. Let y = a - -25. Solve 0 = 3*b - 2*w + y, -4*b + 3*w = 17 + 7 for b.
-3
Suppose -9*l = -8*l + 11. Let y = l - -34. Suppose 4*r + 7 = y. Solve 4*w = 20, -37 = -4*f - 9*w + r*w for f.
3
Let j be (2 - 2 - 1)*2. Let y = 17 + j. Let s = -15 + y. Solve -2*z + 14 = 2*m, 15 + s = 5*z for m.
4
Let x = -15 - -20. Suppose 0*d - x*v - 20 = -5*d, 0 = v. Solve 14 = d*p - 2*j, 0*j - 3 = -2*p - 3*j for p.
3
Let k = 222 + -212. Solve 4*p + k = 7*p - 2*d, -4*p - 3*d + 2 = 0 for p.
2
Let m = -1038 - -1040. Solve -3*v - 4*r = -m*v + 12, 0 = -5*v - 5*r for v.
4
Let y(f) = -15*f - 21. Let n(r) = -r**2 - 1. Let j(q) = n(q) - y(q). Let i be j(16). Solve 22 = 4*g - 2*m, -i*g - 4*m = -g for g.
4
Let u(b) = -b - 12. Let f be u(-12). Suppose f = -2*z + 5*a - 38 + 12, -z + 5*a - 23 = 0. Let i = 5 + z. Solve x - 3*x = -3*m - 1, i*x - 5 = -m for m.
1
Let a = 10 + 2. Suppose -t = -2*t + 3*h + 9, -2*t + 3*h = -a. Solve 2*d + 15 = 3*m, -t - 3 = -2*d - 4*m for d.
-3
Let v(b) be the third derivative of -b**4/4 - 11*b**3/2 - 53*b**2. Let o be v(-6). Solve 4*w - 16 = -o*c, -3*w + 0*w + 2*c = -12 for w.
4
Let s = -34 + 34. Suppose -3*y - 6 = 0, 0*o - o + 4*y - 18 = s. Let m = o - -32. Solve i + m = -3*w, 4*w + 21 = 5*i - 6 for w.
-3
Suppose -3*y + 94*p = 91*p - 3, 4*y - 16 = -2*p. Solve -4*s - x = 4, -1 - y = -x for s.
-2
Let l be (-2 - -3)/(-3*(-2)/12). Solve 2*i + 3*u + 2*u + 26 = 0, 0 = -5*i + l*u - 7 for i.
-3
Let l = 208 - 203. Solve l = -2*v + 1, -j + 2*v = -8 for j.
4
Let b be ((-3)/5)/(12/15 - 1). Solve -s + 1 + 17 = b*h, -4*s = -h - 7 for h.
5
Suppose 4*n - 15 = 5*n + 4*c, 2*n = -5*c - 15. Solve 3*v - 18 = -2*v + 3*s, v + n*s = -2 for v.
3
Let k be (-520)/(-28) - 3/(-7). Solve 3*g - 2*u - 4 = -g, -g - 4*u + k = 0 for g.
3
Let p(a) = a**2 - 6*a + 2. Let q be p(4). Let t = -3 - q. Suppose l - 4*l + 6 = -t*j, -3*j = -4*l + 6. Solve 2*u + 8 = l, -2*y + u - 24 = 5*u for y.
-4
Let j be (-11 - -22)/22*4. Solve 2*l + 5*w = -35, j*w = -4*l + w - 25 for l.
-5
Let j(z) be the first derivative of -2*z**2 - 8*z - 2. Let w be j(-2). Solve 2*h + 3*d = 0, w = h - 4*h + 2*d for h.
0
Let s be -6*(-12)/16*2. Suppose 3*n - 8*q + 3*q = 27, 3*n = -q + s. Let i = 17 - n. Solve -4*d - 1 = 3*f - 9, 3*d - i = -4*f for f.
4
Let o = 135 + -140. Let y(d) = -d. Let u be y(o). Solve 0*b - b + 3*s = 13, -u*s + 25 = 0 for b.
2
Let u be (-4)/(2 - (-2 + 5)). Suppose -u*a + 2*a + 8 = 0. Solve 0 = -a*w - 3*r + 20, 0 = -2*w - 0*w + 3*r + 10 for w.
5
Let x be (-76)/(-13) + 12/78. Suppose -3*h + 9 = 5*t, h + 2*t + 15 = x*h. Solve 0 = -4*n - 4*f + 28, 0 = 2*n - h*f - 2*f for n.
5
Let l(x) = 4*x**3 - 2*x**2 + 1. Let g(r) = -7 - 8 - 1 + 1 - 2*r. Let n be g(-8). Let f be l(n). Solve -f*m + 4*a = 19, -5*m - a = 27 - 3 for m.
-5
Let n(m) = m**3 - 17*m**2 - 17*m - 12. Let w be n(18). Suppose 0 = -3*p + 5*t - 2, -p - 5*t + w = -0*p. Solve -a - 3 = 3*c, 1 = -2*c + 4*a - p for c.
-1
Let l = 35 - 10. Suppose 18*t = 13*t + l. Solve -5*z + 7 + 3 = 0, 10 = -4*q + t*z for q.
0
Let p = 28 + -25. Suppose 0 = k - p*k + 10. Suppose r = -1 + 3. Solve -3*u + 4*f + 2 = 1, 0 = -3*u + r*f + k for u.
3
Let j = 163 - 159. Solve -n + 4*b - 26 = -6*n, -j*n - 4*b = -24 for n.
2
Let g(z) = z**2 + 4*z + 8. Let f be g(-8). Suppose 6*l + f = 2*l. Let s be l/(-25)*(5 + 0). Solve -2 = 4*b - 4*p + 2, -s*p = 4*b + 22 for b.
-4
Suppose -11*j + 551 = 276. Solve 19*v - j = -g + 24*v, -5*g + v + 29 = 0 for g.
5
Suppose -16*c - 4*o = -18*c + 48, -5*c + 4*o = -90. Solve 0 = 3*p + 3*r - 9, -3*r + c = -p + 1 for p.
-1
Suppose 2*c = -5*i - 0*c + 75, 3*c + 24 = 3*i. Let t = i - -3. Solve -o + t - 1 = -4*y, -3*o - 15 = 3*y for o.
-1
Suppose -126*a = -125*a - 13. Solve m = 3*f + f + a, -m = 5*f + 5 for m.
5
Let h(q) be the third derivative of -2*q**4/3 - q**3/6 + q**2. Let z = 1097 - 1098. Let k be h(z). Solve 5*b + 22 = 4*c - 3, -3*b + 2*c = k for b.
-5
Let z be (-1 + (-7)/(-3))/((-2)/(-12)). Solve -5*w + 4*o + z + 13 = 0, 4*w + o = 0 for w.
1
Suppose 2*x + 0*x + 2 = -k, 2*k + 3*x + 2 = 0. Solve -26 = -4*f + 5*w, 4*f - w - k*w = 22 for f.
4
Suppose -5*t = 3*n - 19, -4*t + 12 + 14 = -3*n. Let f be ((-5)/4)/(n/8). Solve -a + 5*m + 7 = 3*a, f*m = 3*a - 4 for a.
3
Suppose 4*t - 4*m = 0, 8*t - 4*m = 10*t - 18. Solve -3*w - 3*x + t = 0, -16 = -5*x + 9 for w.
-4
Let t = 1 - 5. Let s be 38/(-10) - t - 19/(-5). Solve -r + 2*u - 4 = -u, 16 = -s*r + u for r.
-4
Suppose 0*u + 1 = y + u, -3*y + 5*u = -11. Solve -z = -2*b + y, 8 = z - 5*z + b for z.
-2
Let a = 10 + -7. Suppose 14 = -5*f + 124. Suppose 54 = 2*u + i, -u + f = -a*i + 2. Solve 2*z + u = -4*h, 5 = -5*h + 2*z - 14 for h.
-5
Suppose -4*r + 2*i + 4 = 3*i, 0 = -4*i - 16. Solve 0 = -5*h + r*s - 16, 5*s = h - 8 + 2 for h.
-4
Let c = 152 - 146. Solve n + 1 = -t, 0 = 3*t - 5*t - c for n.
2
Let t be 424/(-53)*(-5)/4. Solve -2*u - 20 = -5*q, t + 2 = 3*q for u.
0
Let k(h) = -4*h + 8. Let f(l) = 12*l - 23. Let d(x) = -3*f(x) - 8*k(x). Let y be d(10). Let w = -9 - y. Solve -2*c + 0*c = 4*m + w, 2*c = -5*m - 30 for m.
-4
Let x(w) = 6*w - 36. Let z be x(7). Suppose -5*y + 16 = z. Solve 0 = -l - 3*r + 15, -l + 10 = 2*l + y*r for l.
0
Let n = 8 + -4. Suppose b - n*b = -9. Suppose b*s = m - 0*s - 16, 4*s + 8 = -2*m. Solve f = -4*c + 13, m*c + 5*f = -0 + 1 for c.
4
Let m be 9/6*(0 + 24). Let d be (2/3)/(4/m). Suppose r - d*r = -10. Solve -i - r*i + 30 = 3*u, 5*i - 5*u = 0 for i.
5
Suppose 4*u + m = 9, 25*u = 22*u - 5*m + 11. Solve 5*z = 5*d - 6*d + 18, -u*d + 8 = 3*z for z.
4
Let z(t) = t**2 - 25*t - 6. Let d be z(26). Solve 3*q + 0*a = -a + 10, d = 5*a for q.
2
Let b(y) = 45*y**2 - 3*y + 2. Let m be b(1). Suppose -10 = -a - 4*q, -3*a - 2*q + m = -4*q. Let x = 20 - a. Solve 0 = n - x*n + 3*g + 14, 2*g = n for n.
4
Let x(f) = f**3 + 13*f**2 + 22*f - 77. Let l be x(-10). Solve 2*c = -5*r + 16, l = c - 0*c for r.
2
Suppose 3 = -3*u, 3*p - 8 = -5*u + 26. Suppose 0 = -4*k - 3*b - 46, 0*k + 2*b = k + 6. Let w = p + k. Solve -3 + 21 = -2*l - 4*h, 0 = l + w*h + 12 for l.
-3
Let j(f) = -f**3 + 6*f**2 - 5*f + 2. Let z(b) = -b**2 + 13*b + 3. Let h be z(13). Let c be 6/4*10/h. Let o be j(c). Solve -5*q = -u + 5, q - o*q + 3 = -u for u.
-5
Let w(r) be the first derivative of r**2/2 - 15. Let z be (1/(-1))/((-2)/6). Let t be w(z). Solve 7*p - t*p + k + 9 = 0, 3*k = 3*p - 12 for p.
-1
Let a(m) = m**3 + 4*m**2 - m - 3. Let o be a(3). Let w be (-3 + 1)*o/6. Let u = 23 + w. Solve 0 = 3*g - u*j - 19, j + 2 = -3*g + g for g.
1
Let m(w) = -w**3 + 6*w**2 - 3*w - 5. Let p = 6 - 1. Let l be m(p). Let v = -3 + l. Solve -g = 5*r + 26, r - 17 = 4*r + v*g for r.
-5
Suppose 168 = 3*q - 3. Let n = -52 + q. Let c be -2 + (2 - 0) + 3. Solve -c*v - v + 2*j + 6 = 0, -3*v = -n*j - 22 for v.
-1
Let o(k) = 2*k - 3*k + k - 5*k + 7*k**2 - k**3 - 8. Let d be o(6). Let n be (-3 + -2 - d)/(-1). Solve 4*b - 8 = 4*t, 3*b - 5 = 2*t + n for t.
2
Let c be 0*5/50*5. Suppose -h + 2 + c = 0. Suppose 0 = 2*b - 5*b + 9. Solve 5*g + 9 = 3*k, -h*k + 6 = -g - b*g for k.
3
Let k be -2 + 2 + (-26 - 1). Let t = -19 - k. Solve 3*g - 5*a - 35 = t*g, -g = 2*a + 11 for g.
-3
Le