3). Solve u - t*p = -0*p, z = -5*u - p for u.
0
Suppose -5*p + 8 + 0 = 4*c, 2*c = -3*p + 6. Let s = 0 - c. Solve 45 = 5*o - 5*h, -s*h + 3 = 4*o - o for o.
5
Let w = 2 - -3. Suppose -5*g - 4*l + 17 + 55 = 0, 10 = -w*l. Solve 5*n = k + 4, 4*n + g = -4*k - n for k.
-4
Let m(f) be the first derivative of 2*f + 5/2*f**2 - 1/3*f**3 + 4. Let j be m(5). Solve -2*k = -4*l + 12, 2*k + 0*k - j*l + 6 = 0 for k.
0
Let j = -1 + -1. Let d = 4 + j. Let t be 0/d*(-1)/2. Solve -4*l = 5*i, i + 3*l + 11 = -t*i for i.
4
Suppose 0*p + 2*p - 14 = 0. Let y(v) = 2*v**2 - v - 3. Let c be y(3). Let n = c - p. Solve n + 3 = -3*r - s, r - 3*s + 16 = 0 for r.
-4
Let b be (-3)/9 + (-15)/9. Let i be -8 - -2 - b - 3. Let o = i + 14. Solve -2*d + y - 6*y = -4, -5*d = 4*y + o for d.
-3
Let d be 0 - (-3 + 69/9)*-3. Solve 0 = 3*r - 2*b - 1, 2*b = -3*r + b - d for r.
-3
Suppose 6 = -0*y + 3*y. Let q be -1*((-1 - 1) + -2). Solve p = y*u - 5, -3*p - 7*u + 2*u - q = 0 for p.
-3
Let l = -183 - -187. Solve l*y = -5*g - 20, 0 = -y - 2*g + g - 4 for y.
0
Suppose z - 5*z = -16. Let o(v) = 3*v**2 + 7*v - 6 - z*v**2 - v + 2*v. Let k be o(5). Solve 0 = -2*g - 5*r + k + 11, -4*r = -5*g - 16 for g.
0
Suppose 4*f - 3*f = m + 5, -3*f + 15 = -4*m. Suppose 4 - 27 = -u. Solve -5*n + 5*o = -2*n - u, 0 = f*o + 20 for n.
1
Suppose 2*l + 8 = 4*a - 0*l, 4*l = 0. Suppose 21 = 2*y - 3*c, -a*y - y - 4*c - 11 = 0. Solve 0*t + 3*t = -2*g + y, 0 = 2*g - 6 for t.
-1
Let m = -4 + 8. Suppose -12*j + 10 = -7*j. Solve -23 = 3*b + m*o, 5 = -b + o + j for b.
-5
Suppose 4*b - 2*x - 38 = 0, -5*b + 43 = x + 6. Let f = b + -8. Solve 0 = -3*j - 4*k + 1, f*j = 5*j - 4*k + 41 for j.
-5
Suppose 0 = -3*a - v - 2, -6*a - 3*v = -a + 6. Let c be 1 - a/(-1 + 3). Let y be ((-4)/3)/(-2) + (-28)/(-12). Solve -h - 5 = -4*j, y*j + 14 = -3*h - c for h.
-5
Suppose -c - 4 = -0. Let l = 8 - 2. Let p = l + c. Solve p*h + 4 + 6 = 3*y, -2*y = -5*h - 14 for y.
2
Suppose -2*s = -4*s. Suppose 5*f + 3*v + 13 = s, 0 = -f - 4*v - 6. Let o be 1/2*(-16)/f. Solve 5*b = c + 28, -o*c - 16 = -2*b + 6 for c.
-3
Suppose -2*y - 3*v = -15, 4*y - 41 = -5*v - 10. Suppose -y - 3 = -3*z. Solve 31 = 3*q + 9*m - z*m, -2*m + 4 = -3*q for q.
2
Let c be 9 - (-4 + (-8)/(-1)). Solve c*m + 3*f - 24 = 0, 4*f = 3*m + 2 + 1 for m.
3
Let k = 11 - 7. Suppose 0 = k*r - 14 - 2. Let a(c) = c**2 - 3*c - 1. Let w be a(r). Solve -x = m - 3, -9 = -4*m - w*x - 1 for m.
-1
Let t be (-4)/(-5 - -2 - -2). Let h(a) = -a + 5. Let g be h(-5). Solve -5*v = -i + 13, -t*i + 2 = g for v.
-3
Let b(r) = -17*r + 1. Let p be b(-1). Let m be ((-4)/6)/(p/(-243)). Solve -w = 5*t + 15, -m = -4*w + 6*t - 3*t for w.
0
Suppose i + 5*u - 20 = 3, 2*i - u - 2 = 0. Let l = -5 + i. Let f be l + 0 + 2*2. Solve y - 4 = 4*k, -k + f*y - 8 = -5*k for k.
0
Let h = 0 - -2. Suppose -h*f = f - 18. Solve -2*x - f*c = -c + 2, 2*c = -x for x.
4
Let q be 1 + -2 + 0 + 1. Solve 4*k + 4*x + 28 = q, -5*k = -5*x + 7 - 22 for k.
-2
Suppose -t - 2 = 2. Let f be t/((2 + -1)*-2). Solve z + 14 = f*b + 5*z, -4*z = -b - 23 for b.
-3
Let t = 4 + 1. Suppose -3*z = t - 17. Suppose -u - 4*u = -4*b + 30, 0 = -z*b + 4*u + 28. Solve b*w - g = g + 1, 5*w + 3*g - 11 = 0 for w.
1
Let k(h) = -5*h**3 - 2*h - 1. Let v be k(-1). Let x = 7 - v. Let r be (-2 + x)/((-3)/6). Solve -q + 2*q + 2*i = -13, -4*q = -r*i + 12 for q.
-5
Let n = 10 - 6. Suppose -b - n = -2*b. Solve 2*j - j = -2*l + 11, -27 = -b*l - 3*j for l.
3
Let w = -78 - -78. Solve -5*x - 4*j = -w*j - 29, -11 = -3*x + 4*j for x.
5
Suppose -5*j = -3*j. Let f(z) = -4*z - 1. Let y be f(-1). Solve -3*g = -4*s - 4, j*s + y*g = -2*s + 16 for s.
2
Let m = 14 + -10. Let w = -63 + 66. Solve 2*f + 31 = -5*u, -u + 24 = -m*u - w*f for u.
-5
Let s = -11 - -17. Suppose -x + 3*x - 22 = 0. Suppose -2*b = s*a - a - 19, a = 2*b + x. Solve 5*u = -a*j + 25, 2*u + 3*j + 5 - 17 = 0 for u.
3
Let s(l) = l**2 + 9*l + 10. Let v be s(-8). Let d = 10 + 30. Suppose 4*c = -4*i + d, v*c - i - i = 36. Solve -2 + 11 = 3*u + 3*r, -2*r + c = -2*u for u.
-2
Suppose t + 0*t = -0*t. Solve -3*k + 4*c - 3 = -t*c, 5*c = -2*k + 21 for k.
3
Suppose -4*d + 2*d = -6. Let q be ((-2)/4)/(d/(-72)). Suppose -2*u + 2*o = -q, -u - 4*u + 2*o + 27 = 0. Solve -3*m = -u*r, -6*r - 2*m = -3*r - 19 for r.
3
Suppose k + k - 8 = 0. Solve k*i - 5*d - 14 = -0*i, 2*i = 2*d + 6 for i.
1
Let i(h) = -h**2 + 5. Let x be i(0). Solve -l - 4*l = 2*m, 5*l + x*m = 15 for l.
-2
Suppose 6*b - b = 0. Suppose 5*c - 2*r - 20 = 0, b*r + 4 = c - 4*r. Solve -4*p = c*a, 4*a + p = -p for a.
0
Let j(b) = -4*b + 33. Let c be j(7). Solve s - 5*z + 0 = -2, 2*z - 10 = c*s for s.
-2
Suppose 0 = 4*s + 17 + 3. Let j(g) = g**2 + 6*g + 7. Let c be j(s). Solve -c*l = 2*l + 3*q - 19, -4*l = q - 17 for l.
4
Suppose 2*r + 5*f + 10 + 6 = 0, -4*r - f = -4. Solve -3*x = -m - 16, -6*x + 4 = -3*x + r*m for x.
4
Let t(k) = 14*k**3 - k**2. Let s be t(1). Suppose -s = -5*u + 2. Let y be u/((1 + 0)/1). Solve -4*d - c - 13 = 0, 5*d + y*c - 3 + 28 = 0 for d.
-2
Suppose 0 = 4*l - l. Suppose -3*a = -0*a - 6. Suppose -3*i + a*i + 2 = 0. Solve -2*g + 6 = -l*d - i*d, d + 4 = 2*g for g.
1
Let s be 0/(3 - 0) + 3. Solve -3 = -s*r + 4*m - 9, -5 = 5*r - 5*m for r.
2
Let x = 136 + -134. Solve -3*k = -f - 4, 3*f = -x*k - 0*f - 1 for k.
1
Let y(x) = -x - 11. Let v be y(-9). Let j = -1 + v. Let n be (j/(-3))/(2/10). Solve s - 4*k = 24, 13 + 16 = s - n*k for s.
4
Let u(c) = -c**2 - 7*c - 2. Let v be u(-6). Solve 3*z - s = -9, -z = -5*s - 1 + v for z.
-3
Let g(f) = -f**2 + 10*f + 5. Let o be g(10). Let v be (3 + 1)/(-2)*-1. Solve -5*h + 40 = -3*b, 0*b + o*h - 15 = -v*b for b.
-5
Let q(h) = -h**2 + 2. Let j be q(0). Let s(v) = -j*v**2 + 2*v**3 + 0*v - v - 3*v. Let w be s(3). Solve -p = -5*b + 27, p - 3*p - w = -4*b for b.
5
Let l(o) be the first derivative of o**4/4 + 4*o**3/3 + o**2 + 1. Let c be l(-3). Solve -c*h = 3*j - 21, h = 2*j + 4*h - 17 for j.
4
Let r(l) = 7*l - 2. Let d be r(2). Suppose f + f = d. Suppose -2*a - 4 = -3*m, -2*m + f*a = 3*a - 6. Solve -8 = -2*z - m*p - 2*p, 3*z - p = 8 for z.
3
Let l be (-154)/(-8) + (-1)/4. Let w = -6 + l. Suppose -3*m = -y + w, -3*y + 81 = 5*m - 0*m. Solve 4*a = -4*x + 28, 0 = -a - 0*x - 4*x + y for a.
2
Let b(x) = 2*x - 2. Let s be b(2). Let v be s*(-2 + -1)/(-3). Suppose -32 = -4*j + 4*z, 1 = 2*j + z - 0. Solve 3*k + v*l + 22 = 0, -j*k - 3*l - 7 = -5*k for k.
-4
Let y(c) = -c**3 - 5*c**2 - 4*c + 1. Let i be y(-3). Let r = i - -7. Suppose -o - 30 = -r*o. Solve -u - 12 = -t + 6*t, o = 5*u - 5*t for u.
3
Let v be 18/81 - 32/(-18). Solve l = 4*o - v*l + 5, 15 = -5*o - 5*l for o.
-2
Let u be (-6)/9 - (-4 + (-20)/(-6)). Solve -4*b + 4*q = u, -b + 4 = 2*b - 2*q for b.
4
Let x be (-4)/4*1*-5. Solve 5*j + x = 4*o, -3*j - 2*o - 5 = -24 for j.
3
Let t = 5 - 3. Solve 2*y + 6 = 0, t*y + 7 = 4*g + y for g.
1
Let v be (60/(-25))/(3/10). Let w(g) be the first derivative of -g**2/2 - 6*g + 1. Let q be w(v). Solve -3*i = 2*b - 4, 0 = q*i + 5*b - 9 - 1 for i.
0
Let i(s) = -2*s**3 + 2*s**2 - 2*s - 2. Let c be i(2). Let d be (-66)/c - 14/(-49). Solve -2*k - v = -3 + 14, -v = d for k.
-3
Let o be 20*(-2 + (-10)/(-4)). Let l = o - 7. Let f(a) = a**2 - 4. Let i be f(l). Solve 0 = 5*y + z + i + 3, 4*y - 11 = 5*z for y.
-1
Suppose -12 = -5*g - 4*v, g + 3*v - 2 = -4. Solve -5*x = 4*y - 12, -2*x = -0*x + g*y for x.
4
Suppose 20 - 5 = -5*w. Let r be -5*(-4)/(-30)*w. Solve y + t = 0, 2*y + 1 - r = -3*t for y.
-1
Suppose -1 + 4 = w. Let u be (-2)/w*(-45)/6. Solve -21 = -2*a - 5*j, -a = -0*a + u*j - 18 for a.
3
Let y(o) = -o**3 - 9*o**2 + 11*o + 13. Let h be y(-10). Let q(z) = -2*z. Let v be q(-1). Solve -p - h*k - 12 = 2*p, v = p - 5*k for p.
-3
Suppose -3*t = -4*t. Let w = t - -3. Solve -3*y + w*d = -9, -4 = -4*y - 3*d + 8 for y.
3
Let x be 2/5 + 46/10. Let y = x - 4. Suppose -y = -4*g + 23. Solve -2*v = -w + 2*v + 15, -3*v + g = 5*w for w.
3
Let k be -1 + (-10)/(-45) + 52/9. Solve 0 = z - 3*z + j - k, -5*j = -4*z - 25 for z.
0
Suppose -2*z + 6*z = 2*s + 12, -4*z = 2*s - 4. Let b be (1*-4 - z)/(-2). Solve 5*i - 30 = 5*h, 4*i + b*h + 2*h = 15 for i.
5
Let l = 59 - 57. Solve -3*w + 7 = y, 0 = -y - y - l*w + 2 for y.
-2
Let b be (-2)/14 + 180/35. Let h = b + -2. Solve n + 5*g = 0, n = -3*n - h*g for n.
0
Suppose -2*b = 2*d - 5*b - 16, 0 = 5*d - 5*b - 30. Solve 4*y = 4*l + 28, -d*y = -3*y + 3