 -p*l + 2*z + 8 = -x for l.
5
Let u = 1013 + -1011. Solve 5*t = -3*s + 34, -7*s = -2*t - u*s - 5 for t.
5
Let v be (-94)/(-8) - 6/(-24). Let h = v - 11. Suppose -2*b - h = -7. Solve -b*i + 33 = 5*t + i, -4 = -2*t + 3*i for t.
5
Let f be (-10)/(-6) + (-1)/(-3). Solve -f*u = -y + 6, -2*u - 3 = -3*u - y for u.
-1
Suppose -3*p - 3 = 2*d + 5, 3*d = 4*p + 22. Suppose -2*w - v + 6 = -5, -5*v + 37 = 4*w. Let h = w + -3. Solve -m + 5 = -2*l + 4*m, -3*l + d*m - 13 = h for l.
-5
Suppose -5*f + 2*l = -5, -7*l + 4*l + 30 = 5*f. Solve -3*q + 10 = 4*t - f*t, 0 = -q - 3*t - 10 for q.
5
Let q(t) = 9*t**3 + t**2 - 1. Let s be q(-1). Let l = -21 - s. Let h = 12 + l. Solve b - 1 = h, -5*o - 2 + 13 = -4*b for o.
3
Let z = 15 + -9. Let t be (16/3)/(2/z). Let c = -5472 + 5474. Solve 2*a - 2*l = t, -5*a = -10*a + c*l + 31 for a.
5
Suppose 0 = -0*b + 4*b - 12, 34 = 5*j + 3*b. Suppose 3*i - 5*i = -2*w - 32, -i + 3*w = -24. Solve d - j*d + i = 0, 5*d - 12 = -s for s.
-3
Suppose 0 = -68*n + 74*n - 18. Solve 0*c = -2*u - n*c + 4, 0 = u - 5*c - 15 for u.
5
Suppose 19 = 17*l + 2*l. Solve -4*k + 4*q = 4, -17 + l = 4*q for k.
-5
Let v(q) = -3*q - 20. Let x be v(-8). Let n(b) = -b. Let s be n(0). Suppose s = f + 2*f - 15. Solve -f = 5*r, x*w - 4 = r + 3*r for w.
0
Suppose 24 = 5*z - 46. Suppose z + 6 = 5*g. Solve -3*u + 14 = 5*m, -4 = -4*u + 4*m + g for u.
3
Let s = 19 - 13. Let u be ((-3)/(-2))/(s/8). Let j(l) = 6*l + 1. Let d be j(1). Solve -u*a - 4*p = -7*p - 1, 5*p = -2*a - d for a.
-1
Let w = -15 - -51. Suppose w = 5*j + 4*j. Let i = 5 - 2. Solve g - 12 = 2*y + i*y, 0 = -j*y - 4*g for y.
-2
Suppose 5*m + b - 3*b = 19, 2*m - 3*b = 1. Suppose 22 = -m*u + 127. Solve -2*o - 18 = 4*x, -4*o - 4*x = x + u for o.
1
Let t = 841 - 837. Solve 5*u + y + 1 + 2 = 0, -t*u + 5*y - 14 = 0 for u.
-1
Let y be 20/(1 + (-1)/(-1)). Suppose 3*f + 2*o + 3*o - y = 0, -o - 6 = -f. Suppose 7 = 3*j - f. Solve -2 = a, 3*a = 4*z + j*a - 10 for z.
3
Let x = -23 + 31. Suppose 13*z - x*z - 10 = 0. Solve 0 = -3*w - 3*f - 21, -2*w - 13 = z*w - f for w.
-4
Let n(m) = 9*m**2 + 3*m + 2. Let o be 1*-1*(-3 + 4). Let k be n(o). Solve -2*y + k = 4*l - 0, 5*y - 5*l = -40 for y.
-4
Let n be (-15 - -24) + -8 + 2. Let j = 30 - 18. Suppose -3*l = -4*d + 6 + 6, -2*d + 4*l = -16. Solve -3*c + t - j = d, -5*c + n*t - 5*t = 20 for c.
-4
Let o be ((-6)/11)/3 - 270/(-33). Suppose o*s = -s + 144. Solve -k - 4*n = -s, -2*k + 3*n = -5*k + 12 for k.
0
Let u(c) = c**2 - 3*c - 3. Let p be u(-4). Suppose 247 - 240 = -k - 3*z, -z - 29 = -5*k. Solve -4*t - p = -5*i, t - i = -2*i + k for t.
0
Let n = 4 - 2. Let f(o) = o**3 - o**2 - 3*o + 4. Let z be f(1). Solve n*g = -t + 4 - z, 5*t - 25 = 0 for g.
-1
Let s = 17 - 11. Suppose -s*a + 12 = -3*a. Solve -5*o + o = -2*d + 24, a*d = 5*o + 33 for o.
-5
Let f be 266/21 - (-8)/6. Let a = -21 + 27. Suppose a = -v + f. Solve -3*r - 3*j - v = 10, -3*r = 2*j + 17 for r.
-5
Let s = 91 + -89. Suppose -s*y + 11 = 2*p - y, 15 = -3*y. Let f be (3 - 1/1)/1. Solve -p = -f*l, -2*v - l + 19 = v for v.
5
Let r(z) = -4*z**2 - 11*z**2 + 0*z**2 - 2*z + 5 + 14*z**2. Let l be r(-3). Solve 5*o - 10 = 3*j, 4*j + o = l*o + 15 for j.
5
Let s be 306/(-204)*8/(-6). Solve -b - 2 = 3*p, 6 = s*b + 10 for p.
0
Suppose 0 = -2*t + 17 + 3. Let b be (8/t)/((-4)/(-10)). Let d be -4*1*6/(-8). Solve -x = b*v, -4*x - 2 = d*v - 12 for v.
-2
Let z be (-7 + 0)*(-72)/21. Solve 5*w - z = w + c, -3*w = -c - 19 for w.
5
Let w be (11 - 3) + 0 + -3. Solve -3*q + 5 = 2*f - 2*q, -25 = f - w*q for f.
0
Suppose 6*d = -0*d + 30. Let s = 12 - d. Solve -2*x + 16 = 4*z, -19 = 2*x - s*z + 4*z for x.
-2
Let t = 76 + -75. Let h be (t - 6)/(5 + -6). Solve -h = f, 0*z - z = -2*f - 7 for z.
-3
Let g be (-1 - 4/(-3))*0. Suppose 15 = -3*u, g = r + u - 5*u + 6. Let y = -18 - r. Solve 0 = -a, -4*d - 3*a - 8 = -y*a for d.
-2
Let p(o) = 3*o**2 - 2*o + 6. Let d be p(-3). Let l = d - 36. Suppose -l*h + 1 = -3*n - 2, 2 = -n + 2*h. Solve 4*m = 4*j - n*j, 5*m - 14 = -2*j for m.
2
Let m = 9 - -18. Let s be -22*(m/(-6) - -4). Let n = s + -9. Solve -4*w + 28 = 3*z, -n*z = -7*z + 5*w for z.
4
Suppose c - 40 = -10. Suppose 32*i - 10 = c*i. Let o = -2 - -5. Solve 0 = 4*p + p + i*l, 4*p = o*l - 14 for p.
-2
Let i = -36 + 36. Suppose i = -g + 2. Solve -4*n - g*s + 3*s - 15 = 0, 4*n + s = -9 for n.
-3
Suppose -j + 35 = 31. Let h be 4 - (4 - j) - 1. Suppose 6 = -2*b + 5*b. Solve -g - 2*s + 9 = b*s, 3*s = h for g.
5
Suppose -4*c = -25 + 9. Suppose 3*j = 0, 3*r - 18 = r + j. Let v(x) = -x**2 - 14*x - 31. Let m be v(-11). Solve -3*l - 22 = -m*g, -g + 6*g + c*l = r for g.
5
Let c be ((-84)/6)/(2 + -4). Let h(s) = s**2 - 8*s + 7. Let j be h(c). Solve j = 5*w + k + k + 5, 3 = -3*w + 4*k for w.
-1
Let a(d) = -3*d - 4. Let x be a(-3). Suppose q + q - 5*l = -19, l = x*q + 13. Let w = 26 - q. Solve w = -2*y + 5*g, -2 = -3*y + 2*g - 22 for y.
-4
Let q be 0/((-1 - -5) + -1). Solve 0 = 3*h - 4*v - 6, q = 5*h - v - v + 4 for h.
-2
Let v(i) = -i + 3*i + 0*i + 21 - i. Let g be v(-9). Suppose 0 = y + 3*y - g. Solve 3*u = y*p - 18, -p = 3*u + 4*p - 14 for u.
-2
Suppose -a - 95 = 4*v + 165, -v - a - 62 = 0. Let h = 69 + v. Suppose -4*o - 5*z = o - 215, o - 35 = 3*z. Solve -u - h = 2*k, 2*u = 4*k + o - 15 for k.
-4
Let k = -3 + 6. Suppose -i + k*i = 0. Let n be (-260)/(-45) + (-12)/(-54). Solve -t = -0*t + 3*f - n, -3*f + 9 = i for t.
-3
Let r = 23 + -12. Let n = 11 - r. Suppose n = 3*c + 5*j - 71, -5*c - 2*j = -3*c - 50. Solve 0 = -5*f - 3*g - 5, f + 0*f - 5*g = c for f.
2
Let w(i) be the third derivative of i**5/60 - i**4/4 + 4*i**3/3 + 11*i**2. Let g be w(5). Solve 3*t = -g*r + 21, -9 = 2*t - 5*t for r.
4
Let k = -74 + 31. Let r = k + 59. Solve 0*z = z + 4*u + r, z = 5*u + 29 for z.
4
Let x = -814 + 820. Solve 5*f + 4*w = -0*w + x, -2*w = 5*f + 2 for f.
-2
Suppose -170*q - 30 = -180*q. Solve -2*x - q*o + 4 = 2, 3*x = -o - 4 for x.
-2
Let h = 99 - 32. Let l = 67 - h. Solve 4*s + 5*k + 25 = l, 0*k + 15 = -3*k for s.
0
Let o = -2242 + 2253. Solve -3 = -a + o*p - 6*p, 2*p = -2 for a.
-2
Suppose 5*o = -25, -3*h + 2*o + 34 - 6 = 0. Suppose -p + 3*p = h. Solve -k - p*r = 11, r = -2 - 3 for k.
4
Let a = -1288 + 1293. Solve -a*g + c - 5 = 2*c, 5 = g - c for g.
0
Let x = -49 + 46. Let j be (-28)/(-8) + x/(-2). Solve -j*f - 4*t - 9 = -0*f, 0 = 2*t - 8 for f.
-5
Let t = -57 + -16. Let q = 73 + t. Solve -2*j - 3*i + 2 = -q*i, -3*j - 2*i - 2 = 0 for j.
-2
Let y(u) = -7*u - 422*u**3 + 211*u**3 + 212*u**3 - 21 + 4*u**2. Let f be y(-4). Solve 3*g + 6 = -3*t - 3, 0 = -g - 2*t - f for g.
1
Let a = 10 + -23. Let y be (5 + a)/(2/(-1)). Suppose 0 = -g + 3*w + 9, y = g - w - 1. Solve g*p = j - 2*p + 11, 3*j - 3 = -3*p for j.
-1
Suppose -r = 4*r + 5. Let q be (-39)/(-2) + r/(-2). Suppose 7*a = -18*a + 50. Solve 0*g = g - 3*k + 16, 0 = 3*g - a*k + q for g.
-4
Suppose -17*a = -42*a + 50. Solve -12 = -4*s, 2*j = -a*j - 3*s + 1 for j.
-2
Suppose 70 = -q - q. Let p be (-1)/2 + (93/(-6) - -3). Let t = p - q. Solve 2*u = -o - 11, -7*u + 3*o = -2*u + t for u.
-5
Let o = -50 + 50. Suppose 3*g = -l + 13, 4*l - 12 = -2*g - o*g. Suppose 3 - 1 = q. Solve l - 5 = -5*p - 3*w, -p + 5 = q*w for p.
-1
Let r(v) = v**2 - 12*v - 9. Let t be r(12). Let n(d) = d**3 + 9*d**2 + d + 13. Let p be n(t). Solve 2*f - p*f + 4 = 2*j, -10 = -5*j + 5*f for j.
2
Suppose 0 = 3*m + 9 - 45. Solve 0 = 2*b + 2*b - 4*c - m, -2*c = 4*b for b.
1
Let w(l) = l**3 - 7*l**2 - l + 7. Let b be w(7). Suppose b = 5*t - 15, -10*z + t = -7*z - 9. Solve -2*i + 2 = n + n, 0 = -3*i - z*n - 1 for i.
5
Let p(r) = -11*r + 154. Let b be p(14). Let j = -3 - -5. Suppose -j*w + 8 = -b. Solve 3*k - 5*u = 6, -2*k + 3*u + w = 1 for k.
-3
Let a = 58 - 58. Suppose -5*g + a*g = -2*l + 37, -3*l + 4*g + 38 = 0. Solve -2*o + l = -h, 4*h = -o + 2 - 17 for o.
1
Let s(n) = -n + 6. Let y be s(3). Suppose -4*w + 24 = -4*f, w - 24 = -8*f + y*f. Solve 4*v + 4*h = -20, 5*v - 2*h + w + 9 = 0 for v.
-4
Suppose -j = 37*j - 152. Solve c - 5*y + y - 17 = 0, 0 = 4*c + j*y + 12 for c.
1
Let z(t) = 1. Let o(m) = m - 11. Let r(v) = -o(v) - 3*z(v). Let x be r(6). Solve x*n = 3*c + 12, 5*c + n = -16 - 4 for c.
-4
Let f = -247 + 263. Solve -v - z = 8, v = -5*z - 40 + f for v.
-4
Suppose 0 = 97*y - 108*y. Solve m + b + 4 = 0, y = 4*b + 5 + 3 for m.
-2
Let o(c) = -c + 12. Let z be o(12). Let s be z*