+ 8 for u.
-4
Let w(p) = -p**2 - 3*p - 3. Let a be w(-3). Let z be 4 + a + (3 - 1). Let g = 7 - 4. Solve -5*y = 2*l - z*l + 25, -l = g*y + 7 for l.
5
Let n = -654 + 668. Solve -n = 2*l - 4*x, l + 4*x - 22 = -5 for l.
1
Let t = -316 + 316. Solve t - 29 = n - 5*q, -3*n = 3*q - 3 for n.
-4
Let k(i) = -i**3 - 12*i**2 + 13*i + 3. Let y be k(-13). Suppose c = 2*f, 2 = 3*f - 8*f + 3*c. Solve 3*m = -2*o + f, m + y*o - 8 = -m for m.
-2
Let b(g) = 4*g**2 + 3 - 27*g + 25*g - 4 - g**3. Let n be b(2). Suppose -2*w + 1 - n = -3*s, 4 = 2*s. Solve o + w*m = -o - 10, o = 2*m + 1 for o.
-3
Suppose 0 = 18*c - 15 - 3. Solve 4*v + 4*k - c = -v, -5*v - 3*k = 3 for v.
-3
Let z(m) = -2*m**2 - 21*m - 43. Let f be z(-7). Solve 5*c - 2 = -2*w, -3*w + 5*c = -f + 3 for w.
1
Suppose -i = -17 + 5. Suppose -i = 5*s - 6*s. Solve -4*a - 10 = -2*x, 3*x + x - 4*a - s = 0 for x.
1
Let n(q) = q + 18. Let t be n(-21). Let k be (2/t)/((-12)/18). Solve -2*a = 4*v + 8, 0 = -v - k - 1 for a.
0
Suppose 27 = 31*i - 22*i. Let g be (5/(-2))/((-8)/16). Solve 2*a + 10 = f, g*f = i*a + 22 + 7 for a.
-3
Suppose -90 = 14*u - 160. Solve -30 = 5*d - u*x, 0 = d + 4*x - 3 - 1 for d.
-4
Let v(l) = 3*l**2 + 9*l - 4. Let k be v(-3). Let n be (k/(-5))/(-2) + (-10)/(-25). Solve -2 = 3*c - f - 4, -5*c - 5*f + 30 = n for c.
2
Let h be 8*(2 - 24/15)*245/98. Suppose 0 = 5*z + 5*r + 10, 0*z + 4*r + 8 = 5*z. Solve 4*p - 4*o = -4 - h, z = 2*p + 3*o - 4 for p.
-1
Let s(f) = -f**2 + 6*f - 5. Let t be s(4). Solve 0 = j - t*o + 7, -5*j - o + 0*o = 3 for j.
-1
Suppose -20 = -2*t + 4*x, x + 2*x + 2 = -5*t. Solve g - 3 = 0, -c + t*g + 0 = 3 for c.
3
Suppose 4*r + 2*r - 96 = 0. Suppose 11*c = r + 28. Let k(q) = -q**2 + 5*q + 4. Let b be k(4). Solve 3*i - b = -5*t, 2*i + 2*t - c = -0 for i.
1
Let u be (-10)/(8 + -18) + 3. Solve 4*o = -5*q + 13, -2*q + 10 = 2*o + u for q.
1
Let v be (-2 - -8)*(-2)/(-6). Suppose 5*z + s + 12 = -2*s, 0 = v*z + 5*s + 20. Solve -2*q + 1 = -3*r - z*r, 5*q + 2*r - 12 = 0 for q.
2
Suppose -5*d + 38 - 14 = 3*f, -4*f = 2*d - 18. Suppose -k + 24 = 3*p, -36 = -k + p + 2*p. Solve -z - 4*z - 10 = d*n, 3*z = 3*n - k for n.
5
Suppose 3*b - 5*u - 27 = b, 25 = -5*u. Let n be b + -2*2/4. Suppose -3*d - 2*l = -25, n*d + 4*d - 30 = -2*l. Solve 4*o = 5*a - 5, -a = 4*a + 4*o - d for a.
1
Let l(m) = -m**2 + m - 32. Let r be l(0). Let z = r + 35. Solve 0 = -4*x - 3*c + 10, 0 = z*x + 2*c + c - 6 for x.
4
Let p = 18 - 29. Let a = 12 + p. Solve 1 = 5*k + 4*w - a, -2*k - 5*w = 6 for k.
2
Let z be (-4)/22 + 4*18/33. Solve -4*c + 8 = 5*h - 8, -2 = z*c for h.
4
Let c = 6 - 6. Let s be 99/22 + 1/(-2). Let f(p) = 2*p - 9. Let l be f(8). Solve s*y = 3*v + 13 - c, v + l = 4*y for v.
-3
Let u be 3/(27/18) - (-1 + 0). Solve u*v + 9 = -0, 5 = -2*k - 3*v for k.
2
Let x(n) = -n**3 - 5*n**2 + 7*n + 9. Let h be x(-6). Suppose 0 = -h*b, 5*b - b = 2*q - 4. Let u be (-1 + 1)/(q/2). Solve u*t + 5*t - 4*k = -37, 6 = 2*k for t.
-5
Suppose -7*g + 36 = -3*g. Suppose g*h - 15 = 4*h. Solve -2*k + k = -h*n + 4, -3*n = -5*k + 16 for k.
5
Let d(u) = -u + 11. Let w be d(9). Solve w*m + 1 = 5*q - 13, 4*m = 3*q for m.
3
Suppose 18 = 211*c - 208*c. Solve -21 + c = -3*p + 3*m, -3 = -p - m for p.
4
Let i(r) = -r + 2. Let j be i(0). Let o(k) = 3*k**2 - 7*k + 1. Let b be o(3). Solve j = 3*l + 8, -u = -4*l - b for u.
-1
Let b(j) = j + 4. Let k be b(4). Let w(q) = -q**3 + 8*q**2 - q + 11. Let f be w(k). Solve 4 = -d, -7*u + 3*u = f*d + 20 for u.
-2
Suppose 0 = -0*i - i. Suppose i = -4*j + 4*f, 3*j + j + f = 20. Suppose -2 + 2 = 4*z. Solve m - 1 = 3*q - z*m, -20 = -j*q - 4*m for q.
1
Let c(b) = -b**3 - 12*b**2 - 19*b + 15. Let w be c(-10). Suppose k - 6*k - 4*d + 25 = 0, -k = 4*d - w. Solve 3*z - 4*a = -a, k*a - 35 = -2*z for z.
5
Suppose 75 = 5*t - 30. Suppose 22*g = t*g + 6. Solve 0 = -4*v + k + 14, 2*v + 2*k - 3*k - g = 0 for v.
4
Let q be (16/(-24))/(3*6/(-27)). Solve 3*k = -m + 2*m - q, 4 = -k + 4*m for k.
0
Let r = -100 - -104. Let u = -23 - -52. Solve w = p + 1, r*p - 3*p - u = -5*w for w.
5
Let x be (0/2)/(-1)*-1. Suppose -g - 7 = -x*g. Let y = 10 + g. Solve 6*l - 16 = y*l + 4*c, -5*l - 5*c + 15 = 0 for l.
4
Let k be (-22)/(-6) - (-1)/3. Let v = 327 + -321. Solve 1 = -2*a + 3*i, k*a - v + 17 = 3*i for a.
-5
Let m(q) = -q**3 + 41*q**2 + 2*q - 80. Let r be m(41). Solve r*c - 4*u - 4 = -2, 12 = -3*c + u for c.
-5
Suppose m + 2*t - 178 = 0, 3*m - 2*t - 200 = 310. Let h be m/36 + 1 + 14/(-18). Solve -3*f + 5*p = f - 29, -h*p - 21 = 4*f for f.
1
Let p = 62 - 33. Let z = p + -27. Let l be (-24)/(-11) - 12/66. Solve -l*w - z*w + 13 = -v, -5 = -5*w - v for w.
2
Suppose 3*k - 63 = -4*k. Let x be k/45 - 79/(-5). Suppose x*p = 20*p. Solve 2*c - 5*y + 6 = p, -c = -6*c + 4*y - 15 for c.
-3
Let k(j) be the first derivative of -j**2 + 32*j - 10. Let p be k(14). Solve 3*f + 2*w = -0*w + 11, -f + p*w - 1 = 0 for f.
3
Let w be (-6 - 0)/(116/(-58)). Solve w*i - 3 = -3*x, -i - 12 = 4*x - 5*i for x.
-1
Suppose 0 = 18*c - 58 - 194. Solve 0 = 5*u - 2*l - 14, 2*u - 5*l - c = -0*l for u.
2
Let h(q) = -q**2 - 8*q + 10. Let p be h(-9). Suppose -p = 7*b - 15. Solve -b*o + 4*k - 22 = 0, o - 5*o - 4*k = -4 for o.
-3
Suppose 2*x = 25 + 15. Suppose -3*n - 1 = -3*s + 2, x = 5*n. Solve 10 = -s*m, -5*m - 3 = -3*a - 2*m for a.
-1
Let z be ((-240)/25)/4*10/(-3). Solve 3*h - 10 = -2*h + l, 4*h - 2*l = z for h.
2
Let l(j) = 3*j**2 + 8*j + 2. Let u be l(-3). Solve -t - u*i = 5, -3*t + 5*i - 11 = 4 for t.
-5
Suppose -4*b + 4*s + 22 = 2, -3*b = 2*s. Let w be b + (1 - 4)/(-1). Let h be 214/10 - 2/w. Solve -2*d = 3*y - h, -28 = -5*y - 2*d + d for y.
5
Suppose 0 = 5*q - 0*q - 50. Solve 5*v = -q, 4 = -2*k + 5*k + v for k.
2
Let l(h) = 4*h**2 - 12*h - 12. Let i be l(4). Solve -22 - 14 = -4*d + 5*p, -i*d - 5*p = 4 for d.
4
Let m(n) = -3*n + 3. Let f be m(-3). Let z be (-4)/18 + 76/18. Suppose -k = -z + 2. Solve -k*g = -2*d + 3 + 5, 3*g + f = 2*d for d.
0
Suppose 7 = -w - 0. Let l(d) = -d**2 - 7*d. Let u be l(w). Suppose u = 3*c - 6*c. Solve c*h = 4*x - 4*h, 5*h - 10 = -5*x for x.
1
Let s = 485 - 483. Solve -t - 6 = -b, -s*t - 5*b = -b - 6 for t.
-3
Let z(v) be the first derivative of -3*v**4/2 - v**3/3 + 3. Let o be z(-1). Suppose 10 = -3*k + o*k. Solve 5*l = 5*s - k, l = -5 + 3 for s.
-1
Let d(i) = -i**3 + 10*i**2 - 11*i + 26. Let r be d(9). Solve -3*g - 3*u = -r*g + 13, 4*g - u - 16 = 0 for g.
5
Let j(r) be the second derivative of r**3 - 3*r**2 + 3*r. Let n = -48 + 52. Let v be j(n). Solve 4*m + v = -p, 4*m + 10 = -3*p - 4 for m.
-5
Suppose 16*j + 25 = 11*j. Let w be 5/(75/(-72))*j. Suppose 4*g = 16 + w. Solve -5*s = -2*q - g, 4*s - 2*q - 20 = 2*q for s.
0
Suppose -4*s - 2*f + 10 = 0, -25 = -3*f - 10. Suppose -2*d + 5*d - 18 = s. Solve -a + 3 = 2*w - d, 0 = 2*a - 5*w for a.
5
Let p = -60 + 62. Solve 3*n - 12 = p*n - 2*i, 5*n - i - 16 = 0 for n.
4
Let h(y) = -y**2 - 4*y + 1. Let w be h(-4). Suppose -w = -2*o + 1, o - 26 = -5*k. Solve -t = -5*t - k*d - 14, 4*t = 4*d + 4 for t.
-1
Suppose -6*s - 275 = -s + 4*r, -s + 5*r = 55. Let j be (-16)/(-10)*s/(-22). Suppose o + j*o = 50. Solve d + o = 2*z, -5*d - z - 3*z - 8 = 0 for d.
-4
Let z = 20 + -5. Let w(l) = l**2 - 12*l - 22. Let s be w(z). Suppose -s = -3*h - 11. Solve 0 = -h*f - 2*v + 4, f + 1 = v + 5 for f.
2
Suppose 22 = 19*l - 54. Solve l*x - 4 = -m, 0 = 2*m + 3*x + 1 + 1 for m.
-4
Let o = 1 - 39. Let f = 69 + o. Solve -f = -3*x + 5*l, 0 = 2*x + 3*l - 0*l + 11 for x.
2
Suppose -58*h - 24 = -66*h. Solve l - 5*w = 29, 2*l + 15*w - h = 14*w for l.
4
Suppose 52*u = 14*u + 190. Solve 4*d = 4*l - 28, -u*l = -3*d - 8*l - 9 for d.
-5
Let l(f) = -f**3 + 3*f**2 - 3*f + 5. Let u be l(2). Let q(v) = v**3 + 5*v**2 - 5*v + 8. Let w be q(-6). Solve -u*r - 3 = a + w, 2*r + 5 = a for a.
1
Let l = -1769 - -1772. Solve l*v - 2 = 2*d, -6*v + 14 = -7*v - 3*d for v.
-2
Suppose 0 = -5*v - 3*b + 30, 4*v - 4*b = v + 47. Let m be (-26)/(-7) + 82/287 - (2 - 1). Solve -3*c - v = -3*w + 4*w, -3*w - m = c for c.
-3
Suppose 0 = j - 11 + 5. Let v be (-5)/15 + 2/j. Suppose 15*b - 12*b = v. Solve 5*w + 37 = -3*u, -3*w + b*u - 3 = -3*u for w.
-5
Let l = 87 - 55. Let d be (l/(-3))/((-22)/33). Let u be (22/6)/((-3)/(-9)). Solve 4*y = -d, 0*y + 2*y = 3*r - u for r.
1
Let y be (-10)/(-6)*69/115*4. Solve -4*v + 3 = 4*o + 7, -2*o - 12 = y*v for v.
-5
Let l be 14 - 6*(-4)/(-1