p + 12 = 0, 2*p = -4*u + 16 + n for u.
4
Let k = 830 - 818. Solve -4*v + 3*f + 5 - k = 0, f = 4*v + 5 for v.
-1
Let d = -73 - -93. Solve y = -4*y + i - d, y + 4 = 4*i for y.
-4
Let q(p) = 3*p**3 + 12*p**2 + 5*p + 24. Let b be q(-4). Solve -i + 28 = b*i - 2*m, 4*m + 36 = 5*i for i.
4
Let x = -633 - -635. Solve -2*r = -4*m, -3*m - 10 = x*r - 6*r for m.
2
Let h = -226 - -236. Solve -z + 3*g - 2 = z, 4*z - h = -g for z.
2
Let j(d) = -d - 34. Let p be j(-37). Solve -i + 16 = p*i, -3*k + 11 = -i for k.
5
Suppose -1701 = 31*i - 1794. Suppose 4*l - 3 - 5 = 0. Solve 2*t + n - 5 = 0, -l*n + i*n = -t + 3 for t.
2
Let a = 15 + -9. Let m(y) = -1. Let c(g) = -g**3 + 6*g**2 - g - 5. Let s(b) = -c(b) + 6*m(b). Let r be s(a). Solve 0*i + i + 3 = h, 0 = 4*i + 3*h + r for i.
-2
Suppose 9*w + a - 2 = 7*w, 2*w + 4*a = 8. Solve n - 2*g + 5 = -w*g, 0 = 2*n - g + 1 for n.
1
Let t = 424 + -422. Solve -4*i - 17 = -x, -t*x - 16 = 2*i - 0*i for x.
-3
Let f = -1985 + 1989. Solve -2*t = -4*t + f, 2*x + t = -2 for x.
-2
Suppose -4*d + 36 = -6*d. Let y = d - -38. Suppose l = -3*l + y. Solve 0 = -h + 4*z + 18, l*z = -20 - 5 for h.
-2
Suppose 0 = 10*o - 16*o. Solve o = -3*x - 3*g - 21, 5*x - 2*g = -6*g - 30 for x.
-2
Suppose 5*b + 42 = 5*j - 48, -3*j = 5*b - 22. Let r(u) = 4 - 18 - 9 + 2*u + 2. Let z be r(j). Solve -2*v + 8 = -5*s - z, -4*v - 9 = 3*s for s.
-3
Suppose 0 = -f - p + 14, f - 42 = -2*f + 2*p. Let q = 39 + -34. Solve -4*x = -q*g - x - f, -g + 4*x + 4 = 0 for g.
-4
Let z = -257 - -257. Solve -y + 2*s + 15 = 0, z*s + 3*s = -3*y for y.
5
Let f be (5 + -8 - -6) + (1 - 1). Solve -f*s = -u - 0*u - 18, -u = 4*s - 17 for u.
-3
Suppose -2*q = 3*g + 43, -4*q + q = -5*g + 17. Let k be (q/(-3))/(20/90). Suppose 2*s + s = k. Solve -20 = 4*j + j, 0 = -m - j - s for m.
-3
Let j(a) = -a**3 - 2*a**2 + 5*a + 6. Let v be j(-4). Let r be (6/(-12))/(1/32). Let m = r + v. Solve -10 - 6 = 5*l - q, -3*q + 9 = -m*l for l.
-3
Suppose w - 7 - 10 = 0. Let m be (5/(-2))/(w/(-34)). Solve -3*b = 4*j + m, 0 = 3*b - b - 3*j - 8 for b.
1
Let r(b) = b**2 - 2*b + 2. Let h be r(2). Suppose 4*y - 3*y = 5. Suppose -5*d = 5*w - 25, 4*d - 6 - y = 5*w. Solve n + d = 0, 4*l - h*n - 12 = -n for l.
2
Let n(j) = -j**3 + j**2 - 2*j + 83. Let l be n(0). Let w = l - 78. Solve 0 = -h - w*r + 10, -9 = 2*h - 5*r + 16 for h.
-5
Suppose d + 4 = -2*h, -d - 2*h + h - 1 = 0. Suppose u + d*x + 2*x = 25, 2*x = 4*u - 10. Solve 4*z + 3*p + 1 = -8, 3*p = u*z + 18 for z.
-3
Let s be (-60)/100 + (-153)/(-5). Let w = s + -24. Solve w*n - n = x - 2, 3*x = -4*n + 6 for n.
0
Let z be 6 + (-1 - (-5 + 6)). Solve 4*j + 5*h = 3 - 0, -3*j + z*h = 21 for j.
-3
Suppose 0 = -r - 0 + 3. Let f(l) be the third derivative of l**5/15 + l**4/24 + l**3/6 + 6*l**2. Let w be f(-1). Solve -2*b + b + w*z = -r, 8 = -2*b + z for b.
-5
Let o = 269 + -267. Let d(f) = 4*f - 1. Let n be d(1). Let a be 4/o + n + 1. Solve -8 = -y - 5*s, 3*y + 2*s - a*s + 14 = 0 for y.
-2
Let o be 1350/81 - (-1)/3. Solve 5*z + x - 23 = 0, 5*z - o - 12 = -3*x for z.
4
Let b be 0 + 34 - (-24 - -32). Solve -4*j - 9 = r + 5, 3*r - b = 5*j for r.
2
Suppose -4*o - 2*n + 2 = 0, -3*n - n - 14 = -o. Solve 5*u = -o*y + 15, -2*u = 2*u + y - 12 for u.
3
Suppose 5*p - 90 = -6*i + 2*i, -4*i + p + 102 = 0. Solve 4*v = -2*x - 20, -5*v - i = -9*x + 12*x for x.
0
Let o = -1 + 3. Suppose -o = 4*c - 14. Solve 4*k - 11 = -x - 0*x, 0 = 4*x + c*k - 5 for x.
-1
Let t = 264 - 260. Solve -2*d + 1 = p - d, -1 = -p - t*d for p.
1
Let o(n) = n - 4. Let v be o(6). Let a(t) = 3*t + 25. Let k be a(-7). Solve -4*y - 8 = v*b, 0 = 2*y + y + 2*b + k for y.
-4
Suppose 0*p - 36 = -2*p - 4*l, -l - 3 = -p. Let k be ((-12)/(-9))/((-4)/(-6)). Let s = 22 - 21. Solve 4*d - s = 5*x + p, -4*x + k*d = 12 for x.
-5
Let k be (-6 + 78/12)*-2*-2. Suppose 19 = v + 2*n + 2*n, -5*n = -2*v + 38. Solve 2*x - k = 5*y + v, -3*x = y - 6 for y.
-3
Suppose 3*x + y = 65, -22*x = -24*x - 2*y + 50. Solve 3*o + x = -5*w + 5, 4*o = -20 for w.
0
Let o be (-80 - -71)*((-2)/3 - -1). Let u be -4*((-15)/(-6) + o). Solve 3*t = 0, -3*f + 4*t + u = -4*f for f.
-2
Suppose -3*l = -g + 6*g - 110, g - 40 = 3*l. Suppose 31*q = g*q + 84. Solve 3*b - 3*r = -24, -r = -0*b - 3*b - q for b.
-3
Let t(o) = -10*o. Let i be t(-5). Let p(f) = -6*f + 4. Let b be p(-3). Let n = -18 + b. Solve 4*g = n*s, 4*g + 5*s + i = -g for g.
-5
Suppose z - 10 = -z + 5*x, z = -5*x + 5. Suppose -3*l - 25 = -z*c - 6*l, 0 = 3*c - 2*l + 4. Solve -y = c, -5*t - y + 11 = -4*y for t.
1
Let s be (10/(60/(-9)))/((-4)/8). Solve -d = s*c - 16, -5*d = -5*c - 2*d + 8 for c.
4
Let j be (4/(-3))/(1/(-3)). Suppose -j*o = 4*o - 16. Let v be 6/9*(o - -1). Solve -v*r - 3*r + 4*z - 16 = 0, -4*r - z = -4 for r.
0
Let n = 29 + -26. Suppose 2 = n*q - 1. Solve -5*i + 2 = -3*k, k - q = -5 for i.
-2
Let v be -2 - (1/(-2))/((-6)/(-144)). Solve -11 + 1 = 2*l - 2*x, -2*l - 3*x - v = 0 for l.
-5
Let h = -77 - -82. Suppose 2*s = h*s - 9. Solve -m + 30 = -5*w - 0*m, 25 = -s*w + 2*m for w.
-5
Suppose 3*m = -0*m + 105. Solve -5*p = 5*r + m, -5*r = -p + 20 + 3 for r.
-5
Let w = -515 - -515. Solve 5*f = -c + 2 - 9, 4*f + 8 = w for c.
3
Suppose h + 55 = 59. Suppose 2*t = 0, -4*z + 0 = 5*t - 16. Suppose -5*b + 3*w = -4, -4*w + 0*w = z*b - 16. Solve f + b = r, -h*r - 3*f - 7 = -4*f for r.
-3
Suppose 5*o - x = 6*o - 6, -3*o - x + 16 = 0. Solve -7 = 4*u - o*y, -u + 0*u = 3*y - 11 for u.
2
Let a(m) = m**2 + 12*m + 36. Let l = 6 + -14. Let f be a(l). Let n be (-30)/(-8) + 1/4. Solve -f*u + 3*v = -15, 0*v - n = -u + v for u.
3
Suppose -5*v - 2*c + 8 = c, v + c = 0. Solve v*s = -d, 3*d - s = -d - 17 for d.
-4
Let h(v) = v**2 + 4*v + 2. Let y be h(-4). Suppose f + y*f - 3*z - 426 = 0, 5*z = -20. Suppose -t = 2*t - f. Solve -i + o = 7, 3*o - t + 17 = 5*i for i.
-4
Suppose -2*r - 8 - 2 = 0. Let c be (-20)/(-8)*(1 - r). Let o = c + -9. Solve a = i - 1 - 1, 0 = a + 3*i - o for a.
0
Let s(q) = -59*q. Let b be s(1). Let l = b + 68. Solve 4*m - 4 = 0, -4*z + 0*z = -m + l for z.
-2
Let t = 1017 + -1013. Solve t*w - 12 = 3*b + 2*b, 2*w + b = -8 for w.
-2
Let i be (-21)/2*-8*(-3)/(-18). Let n be 6/i - (-224)/49. Solve 0 = r - 5*z - 4 - n, r + 3 = -z for r.
-1
Let m(z) = z**3 + 15*z**2 + 2. Let c = -92 - -77. Let l be m(c). Solve -2*u + 8 = -0*u, -l*u = 2*q for q.
-4
Let u = -855 + 860. Solve -2*y + 3*c = c, u*y = -5*c + 10 for y.
1
Let z(h) = -h**3 + 3*h**2 - 4. Let d(k) = k**3 - 7*k**2 - k + 7. Let b(r) = 3*d(r) + 5*z(r). Let w be b(-4). Solve 14 = -4*g + 5*p + w, -g + 5*p = -19 for g.
4
Suppose -10 = -4*w + 2. Suppose 4*v + j + 4*j = -13, -w*v = j - 4. Solve 7*k = -3*y + 2*k - 5, y - v*k - 17 = 0 for y.
5
Let m(g) = g**3 + 22*g**2 + 24*g + 71. Let d be m(-21). Solve -3*b = -b - d, -3*b + 12 = -3*i for i.
0
Let q(k) = k**3 - 10*k**2 + 8*k + 9. Let r = 9 - 0. Let x be q(r). Suppose -3*y + 2*y + 4 = x. Solve -3*i = j + 2, 7*i - y*i = -2*j - 1 for j.
1
Let s be 5*(168/(-20))/(-7). Let a be 60/45 - (-16)/s. Solve 4*h + 3*x = -7, 1 = -3*h - 2*x + a*x for h.
-1
Let o be 2*(-5 + -2 + 13 + -2). Solve 3*s = -5*m + 22, 2*s = 6*m - o*m + 8 for s.
-1
Suppose -3*y - l + 14 = 0, 2*l - 1 = 3. Suppose -5*f - 4*a + 92 + 58 = 0, y*a = 20. Solve -3*m - f = -5*x, x - 6*x = 5*m - 10 for m.
-2
Let f be (-2)/9 - (-47)/9. Solve 2*g = z + 8, 4*g + f*z - 16 = 3*z for g.
4
Let i be (3 - 3) + 1*2. Let d be 8 - (-1)/2*(4 + -6). Suppose -m - d*m + 7*m = 0. Solve -i*p - l + m*l - 4 = 0, -5*l - 20 = p for p.
0
Let g(i) = 16*i - 716. Let b be g(45). Solve 3*r + 10 = -n, 7*r - 5*r = -b*n - 20 for r.
-2
Suppose 4*d = -4*d + 40. Solve 0 = -d*t - 3*s + 6, -5 = 2*t - 2*s - 1 for t.
0
Suppose 54 = -6*j + 66. Let f be 10/8 - (-21)/28. Let o = 1 + f. Solve o*b + 35 = -5*z, 13 = -j*b - 3*z - 9 for b.
-5
Let f(a) be the first derivative of a**2 - 28*a - 25. Let t be f(17). Solve 2*j - 3 = -u, u - t*u = -j + 7 for u.
-1
Suppose -3*b + 5*s = 8, -3*s = 4*b - 0*s - 28. Suppose 0 = 5*z + 11 + 19. Let k be (-19)/z - 4/24. Solve -5*x - 21 = -b*j, x + 0*j + k*j = 11 for x.
-1
Let d = -200 - -203. Solve 12 = -0*v - d*v, 0 = 4*q + 4*v for q.
4
Let s = -99 + 181. Suppose d = -s + 82. Solve -3*i - g - 4*g + 17 = d, 4*i - 12 = 4*g for i.
4
Let m be (6/(-3))/(3 - 39/15). Let c(z) = 2*z**2 + 8*z + 7. Let s be c(m). Solve -4*f - 5*k + s = 0, -f + 7*k - 17 = 4*k for f.
-2
Suppose -2*m -