y + w = 9 for z.
0
Suppose 0 = -3*a + 7*a - 4. Let j(o) be the first derivative of o**4/4 + o**2 - o + 7. Let u be j(a). Solve 0 = u*q + 3*t + 1, 17 = -0*q + 2*q - 3*t for q.
4
Let r(b) = -4*b - 27. Let v be r(-8). Suppose -8 = 2*l, -6 = -v*a - l + 10. Solve 3*y + 5*u = -15, -2*u - 6 = -a*y + 2*y for y.
0
Suppose 0 = -2*q + 7*q + 20. Let o be q/(-14) - 480/(-35). Let y = 18 - o. Solve -i = -2*v + y*i - 13, 0 = -5*v - i - 19 for v.
-4
Let s be (-8)/(-10) + 52/10. Suppose k - 3 = 2*u, -3*k + s*k - 9 = 5*u. Solve -2*w - 5*m = -3, -2*m = -3*w - k*m + 11 for w.
4
Let u = -3 + -4. Let g = -5 - u. Suppose 20 = -2*f + 6*f, 5*h - 4*f + 5 = 0. Solve -3*c + 5*x = 2, 4*x - 3*x - h = -g*c for c.
1
Let f(u) = -u**3 + 11*u**2 + 2*u - 20. Let v be f(11). Suppose 0 = 5*q + v*s - 50, 2*q - 45 = -3*q - 3*s. Solve 4*l - q - 8 = 0, 5*h + 3*l = 5 for h.
-2
Suppose -3*p = -341 - 361. Suppose 3*l - 4*g + 272 = 38, 3*l = -2*g - p. Let m be (l/30)/((-2)/10). Solve w - 2*b + 3*b = -4, 3*w = 2*b + m for w.
1
Let w(j) = -j**3 + 9*j**2 + 21*j + 16. Let s be w(11). Suppose -8*b - 4 = -4*b + 4*z, 0 = 5*b + 3*z - s. Solve -x - 5*l = -9, 2*x + 2*x - b*l + 12 = 0 for x.
-1
Let x = 122 + -213. Let u be (-390)/x + (-4)/14. Solve 2*f - 4*n - 2 = 0, 3*f - u*n - 3 = -2 for f.
-1
Let d(m) = -m - 4. Suppose 4*l = -l. Suppose n + l*n + 9 = 0. Let j be d(n). Solve -4*f - 2 = -t + 7, j*t = -3*f - 24 for f.
-3
Let v(p) = p**3 - 43*p**2 - 43*p - 42. Let z be v(44). Solve 3*d = -5*w - 8, 2 = z*w - 0*w - 4*d for w.
-1
Let u(q) = -q**3 - 3*q**2 + q - 1. Let g be u(2). Let w = g - -19. Solve w = -5*i - y - 15, -3*i + 2*y = 2*i for i.
-2
Let v be ((-3)/5)/(1 + (-6)/5). Suppose -4*o + 0*o + v*d + 25 = 0, -5*o = -3*d - 29. Solve -5*t + 2*c - o = 2, 2*c - 6 = -3*t for t.
0
Let r = -118 - -122. Suppose k + 11 = 4*w, 0 = w - r*k + 2 - 1. Solve -6*a - 3*o + w = -2*a, 0 = a - 5*o + 28 for a.
-3
Suppose -o = -3*k + 7, -2*k + 3*o + 9 = k. Solve -h - k*z = h, 2*h - 4*z = 12 for h.
2
Let y be 2 - 4/(-6)*3. Let x = y - 4. Let l be (-3 + 2)*x - -4. Solve 0 = 4*n - l, -m - m - n = -7 for m.
3
Let i be (-26)/8 + (-9)/(-36). Let d be (i*4/8)/((-2)/20). Solve -2*t + 2*n - 3 = -9, -4*n = -t + d for t.
-1
Suppose 19*j = 173 - 59. Solve -4*p = -m - 1, -m + 0*m = 3*p - j for p.
1
Suppose -4*s - 3*k + 179 = -56, -s - 3*k = -52. Suppose 5*w - 58 = -2*p, -5*w + 0*p = -p - s. Solve 2*l = -2*y + w, -y + 4*l = 1 - 2 for y.
5
Suppose -11 - 7 = 9*x. Let m be (-15)/(-6) + x - (-1)/2. Solve -m = 5*k + 4*r + 35, 0 = -2*k + 2*r for k.
-4
Let y = 75 + -77. Let s be 5 - (2 - (-1 - y)). Solve 2*g = -5*d + 1, -s*g + 6 = 4*d - 2 for d.
-1
Suppose 6*h - 5*h = 85. Let a = h - 83. Solve -q - 3 = 0, -3*d + 4*q - 9 = a*q for d.
-5
Let h = 52 - 42. Suppose 2*c = 4*l + 16 + 4, 3*l + 5*c + 2 = 0. Let b = l - -6. Solve 0 = -2*j - 4, b*m + 3*j = -h for m.
-2
Let n be (13/4)/(2/8). Let l = -19 + 37. Let g = l - n. Solve -2*y = -5*h - g, 2*h - 3*y - 6 = -h for h.
-3
Let f(q) = 4*q + 8. Let a be f(-2). Solve -2*w = -h + 5*h, a = -3*h - 3 for w.
2
Let r = -1085 - -1090. Solve -5*o - 30 = r*i, -2*i = o + 5 + 6 for i.
-5
Let k(a) be the first derivative of 1/2*a**2 - 5*a + 2/3*a**3 - 2. Let v be k(-3). Solve j - 18 = -y + 6*j, -4*j - v = -3*y for y.
-2
Suppose 96 = 10*k - 4. Solve -2*j + k = 2*v + 2, -4*j = -3*v + 19 for j.
-1
Let r = 104 - 100. Solve 4*b + 5*u + 5 = -0, u + 1 = -r*b for b.
0
Let d be 0/(-4*3/(-12)). Suppose d = 7*p - 20 - 1. Solve 6 = -3*b - 5*v, 0 = 2*b + p*v + 3 for b.
3
Let q be 2 + -3 - -20 - -3. Let f = q - 21. Suppose 0 = -l + f + 2. Solve 0 = -5*b - l*a + 11, 4*b + 0*a + 2*a = 10 for b.
4
Suppose h - 2*o + 10 = 0, -4*h = -5*h + 4*o - 20. Let b = 7 - 5. Suppose -3*k = a - 5*k + 5, -4*a = -b*k + 2. Solve u + n = 0, -4*u - 5*n + h = -a for u.
-1
Suppose 1 = -55*q + 111. Solve -d + q*d + 5 = -l, -5*d + 4*l + 2 = 0 for d.
-2
Let t be ((-330)/99)/((-6)/9). Solve -5*x = k + 20, -4*x - 3 = t*k - 8 for k.
5
Let y = -31 - -31. Suppose y = 6*g - 9*g - 11*g. Solve -19 = -z + 4*n, 2*z + g*n - n = 10 for z.
3
Let d be (9/(-39))/((-28)/364). Solve -3*x + 9 - 1 = -2*r, x = r + d for r.
-1
Let a be -1*1/(3 - (-35)/(-10)). Let z = 7 + -4. Solve 7*u = a*u + z*n, -n + 5 = 0 for u.
3
Suppose 11 + 38 = -7*s. Let r(f) = -f**2 - 10*f - 15. Let y be r(s). Solve -y*h + 4*h = 3*u + 5, -4*u = -4 for h.
-4
Let h(s) = 33*s - 150. Let m be h(5). Suppose -f = 2*f - 36. Suppose m*l - 12 = f*l. Solve -2*y = -2, 4*j + 20 = l*y + 4 for j.
-3
Let w(g) be the first derivative of -g**3/3 - 3*g**2/2 + 13*g + 1. Let t be w(-5). Solve -5*k - 2 = -t*f - 0*f, -k = 3*f - 14 for k.
2
Let t = 200 - 195. Solve 0 = 4*p + 4*b, -3 = -t*p + 4*b + 42 for p.
5
Let l(z) = 2*z - 16. Let y be l(8). Let h(g) = g**2 + 3*g - 1. Let p be h(-4). Suppose y = -3*d + 12 - p. Solve n - 27 = 5*f, d*f - 5*n = -28 + 3 for f.
-5
Let x = -57 + 148. Let o = x - 85. Solve 2*r - o*a + 2*a + 10 = 0, -5*a + 23 = r for r.
3
Let k = -506 - -513. Solve 4*i + k = 6*b - 3*b, 2*b + 5*i + 26 = 0 for b.
-3
Let m(r) = -r**2. Let o(v) = 15*v**2 + 2*v - 1. Let w(d) = 3*m(d) + o(d). Let l be w(1). Let y = -7 + l. Solve 3*b - y*q + q + 31 = 0, 20 = 4*q for b.
-2
Let v be (8/8)/(3 + 44/(-16)). Solve -3*y - 5*o = -20, -6*y + y - o = -v for y.
0
Let h = -11 + -3. Let l = -13 - h. Let y(q) = 6*q - 1. Let n be y(l). Solve -n*k + 7 = 3*m - 0*m, m = -k + 1 for m.
-1
Let c be -1*45/((-90)/10). Solve 2*h + 8 = -2*b + 2, 0 = c*b + 10 for h.
-1
Suppose -36 - 54 = -6*x. Suppose 5*g + x = d, 0*d = 2*d + 5*g + 15. Solve z + 1 = -b, -5*z - 20 = -d*z for b.
3
Let d = 24 - 26. Let a be 5 - 5 - 3 - 22/d. Solve -5*u + z = -5 - a, 3*u + 5*z = 19 for u.
3
Let m(p) = -p**3 - 19*p**2 - 17*p + 28. Let c = -135 + 117. Let h be m(c). Let n = 0 - 0. Solve 4*v = -n*u - 2*u + h, -2*v - 10 = -2*u for v.
0
Let c be -123*(8 - 100/12). Solve o - 3 = -y, 4*o = 5*y - c + 8 for y.
5
Suppose 4*w = 17 - 13. Suppose -q - 1 = -4*t + 3, 2*q - w = 5*t. Suppose 5*c = -0*c + 2*j + 19, 4*j + 8 = 0. Solve 2*r = -3*h + q + c, -9 = -r - 5*h for r.
4
Let n(u) = -2*u + 0*u - 3*u + 8 + 4*u. Let x be n(4). Solve 5*z - x*z = 5*r - 23, r = -z + 1 for r.
4
Suppose 0 = -4*i - 5*n + 37, -4*n = 4*i + 17 - 49. Suppose 6 + 0 = -3*d, 4*d + 20 = 3*r. Solve 0 = 2*c - r*c + i*k + 25, 25 = c - 4*k for c.
5
Suppose -45*g - 9 = -48*g. Solve u - g*y - y = 12, u - y = 0 for u.
-4
Suppose -8*q + 2*q = 0. Solve -4*g + 3*d + 5 = -0, q = 2*g + d - 15 for g.
5
Let a be 6/(-18)*9/(-1). Suppose -13 = 4*i + a, -4*i = -3*t + 16. Let x = t + 0. Solve x = 2*y - 4*u + 14, -4*u = y - 5 - 12 for y.
1
Let t = 52 - 0. Let k = -47 + t. Solve k*z + 14 = y - 0*y, 4*z + 12 = y for y.
4
Suppose -5*k = -3*s - 16, -s = -3*k + 4*k. Suppose -k*n = n. Solve -z - 3*v - 14 = 0, n = -0*z + 3*z - 5*v for z.
-5
Let q(y) = -2*y - 39. Let f be q(-21). Solve 0 = 3*m + 2*r - 10, m + 2*m - f*r = 0 for m.
2
Let r(y) = 0 + y**3 - 8*y**2 + 2*y - 18 - 2*y**2. Let k be r(10). Let o = -6 + 10. Solve 2*c = o*n + 2, k*c = 3*c - n + 2 for c.
-5
Let k(d) = 12*d + 582. Let s be k(-48). Solve 4*o - i + s = 0, -o - 13 = 4*o - 4*i for o.
-1
Suppose l - 30 = -2*l. Let q(z) = z**3 - 10*z**2 + 4. Let n be q(l). Solve n*b - 4 = -4*u, 3*u - 3*b = -0*b + 27 for u.
5
Let k be 2/(-20)*2 - 352/(-110). Solve -l + k*d - 5 = 2, -d + 24 = 4*l for l.
5
Suppose 4 = 2*r - 2. Suppose -4 = b - r*b. Suppose 11*w - 6*w = 2*h - 14, -h + 7 = -2*w. Solve -d = -3*n + 1, h*d = 5*n + b*d - 15 for n.
-1
Suppose -4*l - 3*v - 2*v + 63 = 0, 0 = l - 3*v - 20. Suppose -4*a = -12, k - 2*a + 6*a = l. Solve -5*g - 13 = -b, g + k*b - 4*b - 1 = 0 for g.
-2
Let n(z) = 19*z - 1. Let i be n(-1). Let g = i - -20. Solve g = -2*o + 3*w - 11, 2*w = -o - o - 6 for o.
-4
Let k(q) = -q**2 - 12*q - 25. Let h be k(-9). Let c = -6 - -14. Let b be (-3)/(-6) + (-7)/(-2). Solve -g - 18 = b*l, -3*l - c = -h*g - 0*g for g.
-2
Let o be 2/((-8)/(-20)) + -8 + 8. Solve s - 17 = o*r, -2*r - 2*s = 3*r + 11 for r.
-3
Suppose 423*f - 691 = 155. Let l be 1*((-1)/(-1) - 3). Let p be 4/(-1)*1/l. Solve -4*t + 4 = p*z, z - f = -3*z - 5*t for z.
-2
Let m(x) = 5*x - 19. Let f be m(5). Suppose -f*r - 1 = -139. Solve 4*s + s + r = 2*u, 4*u = -3*s - 19 for u.
-1
Let v be 1/(-3) + 70/3. Let i(p) be the second derivative of p**3/6 + p**2/2 + 5*p. Let y be i(4). Solve -4*l = -4*u - 4, y*u + 4*l +