 5*i, -y*c = u*i - 32 for c.
4
Let p = -14 + 17. Let i be 5/(2/(-1) + p). Suppose -b = 2*o - 17, -2*b + 18 = -3*o + i*o. Solve -5*n - v + o = -12, -4*v = 0 for n.
4
Let f be ((-6)/4)/(8/128). Let k(v) = 5*v - 1. Let i be k(-7). Let m be i/f*(-4)/(-3). Solve -3*q + m*q + 9 = -y, -15 = 3*y for q.
4
Suppose -2*u = 0, -16*u + 15 = 3*o - 19*u. Solve 0*x = -x - o*i - 1, 3*x - 2*i = -3 for x.
-1
Suppose g + 3*d + 8 = 0, -3*g + 5*g = -d + 4. Suppose -g*f = 41 - 53. Solve 5*l + 3*r + 0*r + 15 = 0, f*l - 25 = 5*r for l.
0
Let s be 6/(-10) + 990/25 + 3. Let x = s - 39. Solve -w - 4*w - x = -3*j, -3*w - 3*j = 21 for w.
-3
Let p = 7 - 4. Let o be (95 - 94) + (8 - 0). Suppose -o*w = -p*w - 18. Solve -7*k + w*k = 5*v - 5, -k = -v + 10 for k.
-5
Suppose -74*d = -87*d + 26. Solve -b - 2*b + 6 = 5*s, -d*s = 3*b - 6 for b.
2
Suppose 2*c = 10, 0 = -5*q + q - 3*c + 23. Suppose 4*x - 24 = q*x. Solve -3*j + 2*l = -l - x, -5*j + 4*l + 21 = 0 for j.
5
Let c = 168 + -163. Suppose c*v = r - 1 + 9, -4*v = 3*r - 14. Solve 0 = 5*q - 5*i - 25, 2 = 5*q + r*i - 2 for q.
2
Suppose 0 = 25*w - 196 + 146. Solve 2*x = -5*a + 1, 4*a - w*x + x - 6 = 0 for a.
1
Let a = -3 - 0. Let w(z) = z**3 + 4*z**2 - 5. Let u be w(a). Solve 2*l + 5 + u = -3*m, 2*m = -5*l - 6 for m.
-3
Let r = -17 - -16. Let m be (r/(-2))/(2/12). Suppose 0 = 2*l + 3*k - 27 - 4, -m*l + 43 = k. Solve -2*b + 16 = -0*b + 2*y, -3*y + l = b for b.
5
Let r be (-4)/28 - (-1)/7. Suppose 0 = -a - r + 1. Solve 3 = -3*b, -2*c + 2*b = b - a for c.
0
Let f be 7/(-2)*(-1296)/1134. Solve -4*g = 3*c - 10, -f*g + 2*c = -0*c for g.
1
Let u be -7*(6*-1 + 3). Let y = 11 - u. Let x = -8 - y. Solve 3*z = -f - x, 0*z - 28 = 4*z - 5*f for z.
-2
Let a be (-64)/(-34) - 6/(-51). Solve 4*c - 12 - 2 = -a*p, -5*c = 3*p - 17 for p.
-1
Let o = 1572 + -1567. Solve 5*z - 2*z + o*x + 4 = 0, 4*x = 4*z - 16 for z.
2
Let t = -290 - -293. Solve 3*i = -3*x - t - 3, -9 = 3*x + 4*i for x.
1
Let t be 3*(-2 + 3)/((-30)/(-10)). Solve y = t, 5*v + 5*y + 21 = 1 for v.
-5
Let x = -114 - -102. Let m be (-43)/(-9) - 0 - x/54. Solve -5*d + 13 = 38, -m*h - 2*d - 25 = 0 for h.
-3
Suppose 0*v - 18 = 3*v. Let i be -1 - v*(-1 + 2). Solve 0 = 3*n + i*k - 19, 2*n + 3*k - 16 = -2*k for n.
3
Let b = 447 + -447. Solve -j - 1 = -o - b*j, 4*j = -o + 16 for o.
4
Suppose -2*c + 135 = 25*c. Solve -c*u = b - 23, b = 4*u - 3*u - 7 for u.
5
Let w(a) = 2*a + 5. Let h(k) = 2*k + 4. Let v(r) = -5*h(r) + 4*w(r). Let x be v(-1). Solve 3*i = -2*u + 7, -3*u + x*u - 5*i + 7 = 0 for u.
2
Let y(f) = 7*f**2 - f - 1. Let w be y(-1). Suppose 47 = 4*l + 5*r, -5*l - r + 5*r = -28. Let p be l + (-4 - 10/(-5)). Solve m - p = -2*b, -w*m = -3*m for b.
3
Suppose -5*h = r + 7, -4*r + 2*h - 5*h + 6 = 0. Suppose 10 = -2*v - 3*v + 5*y, 4*y = 5*v + 5. Solve 5 = -r*g + 5*f + v, 4*g = -3*f + 7 for g.
1
Suppose 5*x = -23 - 22. Let d be 0/(x + 4 - -4). Solve d = -5*o + 20, 5*g - g - 4*o + 12 = 0 for g.
1
Suppose 3*a + 1 + 11 = 0, -2*y + 2*a + 12 = 0. Solve 7*b + 6 = 10*b + y*o, -4 = -2*b + 5*o for b.
2
Let q(v) be the first derivative of v**4/4 + v**3 + v**2/2 - 28. Let z be q(-1). Solve 3*u - 6 = 2*g + 7, 0 = 5*g + 3*u + z for g.
-2
Let q = 37 + 10. Suppose 45 = 4*x - q. Solve -3*s = -4*w - 7, 5*w = 2*s - 3*s - x for s.
-3
Suppose 0 = 5*i + 5*m - 20, m = -2*i + 6*i - 6. Let z(k) = k**3 - 4*k**2 - 11*k - 4. Let u be z(6). Solve 3*w - u*r - 15 = r, -3*w - i*r = -15 for w.
5
Suppose 9*y = -6*y + 75. Let t be (-5)/(y/(-2)) - 0. Solve -n - t = 0, 3*j - 2*j + 8 = -4*n for j.
0
Let n(o) = -174*o - 516. Let d be n(-3). Solve 0 = 3*w - 5*w - 2*q - d, 2*w + 5*q = -12 for w.
-1
Suppose 0*z - 5 = -5*z. Let o = -37 - -33. Let m be o/(-3)*45/20. Solve -2*p - 23 = -4*x + z, -2*p + 11 = m*x for p.
-2
Let b = -91 - -95. Solve 5*g = -b*i - 2 + 1, -i + g = -2 for i.
1
Let n(q) be the first derivative of -q**4/2 + 3*q**3 + 3*q**2 - q - 31. Let h be n(5). Solve -4*f - 10 = -2*b, -h = -0*f + f - b for f.
-1
Suppose 3*h - 4*h + 3*f = -12, 3*f + 3 = -2*h. Let n(i) = 3*i + 43. Let k be n(-14). Solve 0*s - 3*s + 6 = h*r, -s - 4*r = k for s.
3
Suppose -4*t = -74 + 18. Let h = -10 + t. Solve -2*i + 24 = h*b, -3*b + 8 = -0*i - i for b.
4
Let w be ((-3)/4)/(2/(-16)*-1). Let i be 2/8*-2*w. Solve 7*x = 3*u + i*x + 20, -5*x = -u - 14 for u.
-4
Suppose -169 = 6*n - 55. Let l be (-245)/(-85) + -1 + n/(-17). Solve -2*w + 2 = -r, -l*w + 5*r = w + 8 for w.
3
Suppose 4*o = -2*h + 122, 151 = 5*o + h + 3*h. Suppose -6 = 5*n - o. Suppose -36*l = -35*l - 4. Solve -5*w - 15 = -5*k, -1 = -l*w + n*k - 11 for w.
-5
Let j(v) = v**3 + 11*v**2 + v + 8. Let s be j(-11). Let x be -23*(4 + 0 + s). Let r = -11 - x. Solve -2*p = -5*d + 3*p, 0 = 5*d - 2*p - r for d.
4
Suppose a - 24 = 4*h, -4*h = a + 4*a - 72. Let l be 3*(3 + -1)/6. Let b be ((-15)/(-9) - l)*3. Solve b*q + 2*j + 11 + 1 = 0, 4*j = -a for q.
-2
Let a = 61 + -93. Let u = 40 + a. Solve 2*v + 1 = 3, 4*j + 4*v = -u for j.
-3
Let b(l) = -l**3 - 36*l**2 - 34*l + 50. Let n be b(-35). Solve -x = 2*x - 3*w - n, -3*w - 9 = 0 for x.
2
Let z = -23 - -42. Let t = 21 - z. Solve 5*y - h = -0 + t, -3*y + 2*h = 3 for y.
1
Suppose -4*w + 13 = -35. Suppose 0 = -l + 27*l - 104. Solve 4*i + 4*g + 4 = 0, -2*i + 10 = -l*g - w for i.
3
Let g(a) = -2*a + 2. Let l be g(1). Suppose -o + 5*b + 6 = -3, l = -3*o + 5*b + 17. Solve o*n - k = 13, -2*k - 20 = 2*k for n.
2
Suppose 0 = 5*v - 6*l + 3*l - 16, 0 = -v - l. Solve 0 = v*t + 5*f + 2, 5*f - 1 = -3*t + 1 for t.
4
Let f be (5*24/(-210))/((-2)/14). Solve 0 = 3*k - 2*o + 4*o + 5, 0 = f*k - o - 8 for k.
1
Suppose 3*o - 6*o + 15 = 0. Suppose 2*a = o*a. Solve a*s + 14 = 5*k - s, 2 = -k - s for k.
2
Let j(p) = 2*p**3 - 16*p**2 + 18*p - 23. Let k be j(7). Solve -4*u + 2 = -2, -k*s + 30 = 5*u for s.
5
Let w be 270/72 + 2/8. Suppose 0 = w*s - 2*g + 8, -2*s + 4*g + 20 = 9*g. Solve -2*y = -4, -5*x + 22 = -s*y + y for x.
4
Suppose 181*o = 186*o. Solve 4*g + o*s - 45 = 5*s, -2*g + s + 15 = 0 for g.
5
Suppose -4*f - f = 0. Let j be 4 + 2 + -2 + f. Let r(p) = -6*p - 64. Let u be r(-12). Solve -j*n + 3*t = -0*n + u, 2*n = -t + 6 for n.
1
Let x = -5 - -1. Let v be -3 + 1 - (-28 + x). Suppose 3*f = v + 6. Solve 6*o - 3*o = f, -2*q - 2*o - 2 = 0 for q.
-5
Let o = -98 - -101. Suppose 3*j = o*w - 24, 9 = -4*j - 3. Solve -5*v + w = 2*z, 0*v + 4 = 4*v for z.
0
Suppose -1471*x + 1470*x + 4 = 0. Solve -v + x*l - 3 = 0, -4*v - 2*l = -7*l + 1 for v.
1
Let c be 46 + -1 + 3/(-3). Let i be 225/33 - 3 - (-8)/c. Solve 4*k - i*u + 6 = -9*u, -3*u + 22 = -4*k for k.
-4
Let d be (-106)/(-8) + 574/328. Solve -5*j + 5 = -4*p, p + 2*p = d for j.
5
Suppose -18 = -11*s + 2*s. Let h be 6 - 4/s - 4. Solve 2*w - 5 - 1 = h, -2*q + 2*w - 8 = 0 for q.
-1
Let p be (28/8 + -4)*-16. Suppose -3*a + p = -4. Suppose a*y = 4*u + 12, -3*u + 9 = 5*y - 6*u. Solve f + 1 = -h - y, -3*h = -5*f + 3 for h.
-1
Let k be 0 + 2 + (-9)/((-27)/42). Suppose o = 5*o - k. Solve 4*d - 8 = -4*m, o = -3*m + 13 for d.
-1
Let g be (-92)/(-20) + -5 - 17/(-5). Suppose 4*l + a - 77 = 0, -5*a + 12 = 27. Suppose 5*r - 3 - 22 = 0. Solve -3*j + l = r, 2*k + g = -j for k.
-4
Suppose 61 = 5*f - 4*d, -2 = -2*f - 0*d - 4*d. Suppose -3*b - 104 = -110. Let v be b*(f/6 - 0). Solve -y + v + 0 = 0, -o = 2*y - 7 for o.
1
Let u be (-24)/(3/2 + -3). Let o = 11 - u. Let l be 5/2*(-32)/o. Solve 4*f - l = 2*h, 5*h + 3 = -5*f + 8 for f.
3
Let p = -1 - -1. Let w(m) be the second derivative of m**4/12 + 5*m**3/3 + 21*m**2/2 - 15*m. Let l be w(-8). Solve 3*i - l*a = -6*a + 20, p = 3*i - 3*a for i.
5
Let z be -8 + 6 + (1 - (4 - 7)). Solve -z*c - 3*b + 7 = -c, 2*b - 10 = 2*c for c.
-2
Suppose 140 - 153 = -4*l - n, -l - 8 = 4*n. Solve -3*f - t = 2 + 18, -l*t = 3*f + 35 for f.
-5
Suppose -3*a - 4*p - 6 + 1 = 0, 5*p = a + 27. Suppose -s + 15*n - 12*n = 28, -3*s + 2*n = 49. Let v = a - s. Solve 0 = y - 3*b - 3 - 0, 2*y + 5*b - v = 0 for y.
3
Suppose -f - 3*k = -9, 2*f - f + 2*k - 6 = 0. Suppose f = -22*g + 10*g + 84. Let p be ((-1)/(-2))/((-2)/(-20)). Solve -2*t = -2*u - p - g, -u = t for u.
-3
Let o be (-92)/(-6) + (-2 - (-16)/6). Suppose -7*q = -o - 5. Solve 3 + 1 = f - 2*x, -5*x - 8 = -q*f for f.
-4
Suppose 123 = 5*c - 3*n + 120, -n = c + 1. Solve -16 = 5*y - 2*d - 0, c = -2*y - 2*d - 12 for y.
-4
Let b(p) be the first derivative of -p**3/3 - p**2 + p - 23. Let s be b(-1). Solv