- 3. Let s be t(2). Let p be k(s). Solve 3*u - 4 = 2*h + q, u = p*h for h.
1
Suppose 0 = 2*f + 5*m + 2, 15 = 2*f - 4*m - 1. Suppose -2*c - 12 = -f*c. Solve -2*t = n + t + 19, -c = 4*n - 2*t for n.
-4
Suppose q + 2*q - 6 = 0. Solve -30 = -5*c - q*a, c - 3*a = -c - 7 for c.
4
Let g be (1 + 1 - 7)/1. Let q(c) = c**2 + 5*c + 2. Let o be q(g). Solve 4*i + 16 = 2*v, -i + 2*v - 4 = -o*v for i.
-4
Let d be -2*4/(4/(-1)). Let u be ((-1)/d)/(7/(-42)). Solve -u*c = -2*a + 25, 0*c = 5*c + 5*a for c.
-5
Suppose 0*s = 4*s. Let g be 10/(-25)*(-2 + -3). Solve -g*w + 20 = -4*w - 4*n, 4*w - 4*n + 4 = s for w.
-4
Let g = 38 + -35. Solve s - 6 = -2*j - 0, -6 = g*s for j.
4
Let n be 3 + (2/(-1) - -2). Suppose -n*y = -2*y + r - 7, -2*y + 3*r - 6 = 0. Solve 0 = -2*w - y*f + 3, -1 = -5*w - 4*f - 4 for w.
-3
Let u be (-18)/30 - (-28)/5. Suppose -4*b = 4*k - 20, u = -2*k + 4*b + 3. Solve -h + k*h = -3*r - 12, -3 = h for r.
-2
Suppose -j + 4*n = 2, -j + 4*j - 3*n = 3. Let v(z) = z**2 + z**3 + 2*z + 0*z - 3*z**2. Let o be v(j). Solve o = 2*x - x + 2*l, 0 = -5*x + 4*l - 36 for x.
-4
Suppose -4*f + 24 = -16. Let j(r) = -r**3 + 4*r**2 - 3*r + 1. Let a be j(3). Let c be ((2 - 2) + a)*11. Solve -5*h + c = -3*l, -2*h + h = 2*l - f for h.
4
Let k(u) = u**3 - 2*u**2 - 3*u + 3. Let n(h) = -h**2 - 6*h - 2. Let c be n(-5). Let q be k(c). Solve -4*x + q = -3*t - 2, 2*x - 4*t + 10 = 0 for x.
5
Let f(z) = -z**3 - 2*z**2 + 12*z - 9. Let h be f(-5). Solve 6 = -4*q - 5*l, -2*q = -q - l + h for q.
-4
Let f = 83 + -78. Suppose -6*a + 4*a = -8. Suppose -a*l + l = 0. Solve -4*z = f*x - 27, -3*z - x + 6*x - 6 = l for z.
3
Let u(z) = z + 1. Let p be u(4). Suppose -5*y - p + 30 = 0. Solve -3*w = -y*a - 13 - 16, 3*a + 4*w = 0 for a.
-4
Let x = 30 + -25. Solve -3*t - d + 21 = t, -t - x*d + 29 = 0 for t.
4
Let f(t) = -2*t**3 + t**2 - t - 1. Suppose 5*r + k + 3*k - 7 = 0, -k + 8 = -5*r. Let s be f(r). Solve 0*y - 4*h + 3 = -s*y, 3*y - 21 = -4*h for y.
3
Suppose 2*y + 5 = x - 0, 2*y = -6. Let k = x + 5. Solve -h + 4*c = 0, -k*c + 5 - 21 = -5*h for h.
4
Suppose -v + b = -13, 3*v + 4*b - 18 = -0*b. Solve -4*m + 2*q + v = 0, 3*q = m - 0 + 10 for m.
5
Let i(r) = r**3 + 3*r**2 - r - 1. Let b be i(-2). Solve 0 = -5*v + g - b*g - 10, -30 = -5*v + 4*g for v.
2
Let c = 22 - 20. Solve 0 = 4*i, -n - c*i = 2*i for n.
0
Suppose 0 = 2*r - l - 10 + 2, 0 = 5*r + 4*l - 33. Suppose -2*x + r = -3*x - a, 2*x = -a - 5. Solve 5*v + 2*j - 20 = 0, -v + 6*v + 4*j - 30 = x for v.
2
Suppose v - 13 - 12 = 0. Solve -2*s - v = -5*p, 4*p - 11 - 9 = 3*s for s.
0
Suppose -x - 3*h + 6 = -10, -2*x = -5*h + 12. Suppose x*w - 60 = -w. Solve r + 5*v = 3*r - 18, 4*r = -2*v + w for r.
4
Let b be (-1 - -3) + -2 + 2. Let w(h) = 4*h**2. Let m be w(1). Suppose 2*i - 7 = -5*d, -6*d + 3*d = -4*i - 25. Solve b = -t + m*n, d*t = t - 4*n + 8 for t.
2
Suppose -40 = -4*c + o, 1 - 8 = -3*c - 5*o. Let j be ((-2)/(-3))/(3/c). Suppose 0*m = -5*m. Solve -j = -2*w + 3*i - m, -5*w + 3*i = 13 for w.
-5
Let q be 4/(-10) - 510/(-25). Suppose c + 0*x - q = 3*x, -c = -x - 10. Let s(y) = -y - 2. Let m be s(-6). Solve -m*g = -g - 9, c*g - 14 = v for v.
1
Suppose 4*c - 3*c - 5 = 2*u, 0 = u. Solve -5*p = c*j + 20 + 25, 4*p = j - 16 for j.
-4
Let h = 1 + -2. Let x(z) = -15*z**3 + 2*z**2 + 2*z + 1. Let n be x(h). Suppose -2*m - 4*v = -14, m - 5*v + 6 = -1. Solve k + 4 = d, 3*k - n = m*d - 7*d for d.
4
Let z be 7/4 - (-2)/8. Suppose -4*l - 11 = 2*o - 7*o, o - 3*l = 0. Suppose 0*b = -o*b - z*m + 73, 3*m = -3. Solve -7*f - 3*a + 5 = -2*f, -5*f - b = -3*a for f.
-2
Suppose -35 = -4*m - 6*i + i, 5*i = -m + 20. Suppose -2*h + 26 = m*a, -5*h - a = -10*h + 11. Solve -4*t - t = h*q + 29, -t - 13 = 3*q for t.
-4
Suppose 0*l - 11 = -3*l - w, 5*w = l + 23. Suppose -2*q = -3*r + 39, 7 = -0*r + l*r + 5*q. Let m = r + -6. Solve 4*t + 45 = m*u, 2*u - 4*t - 30 = -0*u for u.
5
Let m(p) = 3*p**2 + p. Let l be 1 - (0/3 + 1). Suppose l*o + 3*u - 5 = -o, 2*o + 12 = 5*u. Let v be m(o). Solve 0*q - 10 = -2*q + v*b, 5*b = -4*q - 25 for q.
0
Let y(i) = i. Let m = -4 - -8. Suppose 5*l - 25 = -3*x, 2*l - 10 = -m*x - 0*x. Let n be y(l). Solve -n*a + 15 = 4*j, 0 = -3*j + j + 3*a + 13 for j.
5
Let s = 12 - 7. Suppose -2*g + s = 1. Let c be 41 + (-3 - g/(-1)). Solve 4*w - c = 4*m, -5*w - m = -6 - 14 for w.
5
Suppose d + 58 = 2*h, 0 = -5*h - 0*d - 2*d + 154. Suppose 5*n = -0*r - 4*r + h, r + 3 = 4*n. Solve n*q = -4*v + 12, q - 2*v = 2*v for q.
4
Let s be (-1 - -1) + (0 - (-6)/2). Solve -7 = w - 2*v, -5*w - 25 + 4 = -s*v for w.
-3
Let a(q) = -8*q**3 + q**2. Let t be a(-1). Let l = -4 + t. Suppose 1 + l = 3*x. Solve -20 = -3*d + 4*p - 4, -x*d + p + 4 = 0 for d.
0
Suppose -2*q - q + 6 = 0. Solve -15 = b - 3*g - q, -3*b - g + 1 = 0 for b.
-1
Let z(u) = -7*u + 4. Let r be z(-2). Suppose -2*w + 5*k - r = -62, k = 0. Solve -5*f + w = 2*c + 3, 3*c - 6 = -3*f for f.
5
Let x = 0 - 16. Let k = -16 - x. Solve -5*i = k, -3*i - 6 = h + 2*h for h.
-2
Suppose 2*b = 4*r + 4, 0 = -b + r + 2. Suppose 3*f - b = 10. Let x(s) = 6*s**3 + s - 1. Let y be x(1). Solve y*m + 4 = 2*m, -3*m - 23 = f*i for i.
-5
Suppose 0 = -5*u - 3*y - 9, 3*u - u - y - 3 = 0. Suppose 3*k - 2 - 7 = u. Let s = -148 + 163. Solve 5*q + 4 + 13 = k*a, -3*q - s = 3*a for q.
-4
Let a be (1 + 1)*(-5 + 7). Solve -2*k = -7*k + 2*r + 3, a*r + 17 = -k for k.
-1
Let t be ((-5)/(-2))/(2/4). Let a be -2*(2/(-8) + 9/(-12)). Solve 4*l + g + 10 = a*g, t*l + 14 = 2*g for l.
-2
Let f = -7 - -10. Suppose 0 = -3*r + 2*r + 3. Suppose r*c - 8 = -2. Solve 0*m + m - 3 = c*b, -5*b = -f*m + 10 for b.
1
Let y be (2/(-5))/(3/15). Let b = y - -2. Solve 0*h + 3*p = -3*h - 24, b = 3*h - p + 4 for h.
-3
Let i = -8 + 11. Suppose i*v - v = 0. Suppose q + 4*n + 0*n = -6, 5*n = -4*q - 2. Solve -4*r + 4 = -v*r, -q*k - 2*r = 8 for k.
-5
Let p(q) = q**2 + q - 2. Let l be p(-2). Suppose 2*o = -x - l*o + 2, x + o - 2 = 0. Solve -6 = a - 5*a - 2*i, -x*a + 3*i = 9 for a.
0
Let y = 7 - 5. Suppose 2*w - 4*p = 3*w - 12, 4*w = 5*p - 15. Let r be 8 - 6/3 - 1. Solve 0*z - x - 1 = z, w = -y*z + 5*x + r for z.
0
Let f(j) = -9*j - 5. Let n be f(-1). Solve n*v - m + 21 = 0, -2*m - 21 = 5*v + 2*m for v.
-5
Suppose -5*i = 2 - 17. Suppose 0 = 2*p - i*p + 26. Solve -z + 1 = -3*a, -a + p - 8 = -4*z for z.
-5
Suppose -t - 2 = -3*w - 19, -3*t + w = -43. Let u = t - 6. Solve j - u - 5 = -2*a, 2*a - 5*j + 17 = 0 for a.
4
Let q = -3 - -4. Let n = q - 1. Suppose -15 = -3*v - 3. Solve -3*z + 2*b + 13 = n, 4*b + 19 = v*z + b for z.
1
Suppose 2*t - 7 = 1. Suppose 7*v - 11*v + t = 0. Solve 4*s - 28 + 2 = -2*y, -2*s = -3*y - v for s.
5
Let g = 96 - 81. Solve -c - 10 = 2*l, -c + l + g = -4*c for c.
-4
Suppose 0 = 11*n - 4*n - 14. Solve 0*i - 4*i - 14 = -u, -2*i = -3*u + n for u.
-2
Let f(y) = -y**2 + 8*y - 4. Let b be f(7). Solve -b*q - 1 = 2*i + 2, 24 = -4*q + 4*i for q.
-3
Let w(j) = -4*j + 3*j + 0 - 2. Let g be w(-4). Solve -4*a = -4*r + 24, -a + r = -g*a for a.
-3
Suppose -2 - 2 = -c. Solve -3*w - 31 = -0*q + c*q, 4*q = -16 for w.
-5
Let g be (3 - 0 - -1) + (-7 - -8). Suppose 3*i = 15 - 3. Solve -3*p + 4 = g*n, 3*n - 11 - 3 = i*p for n.
2
Suppose -k + 13 - 3 = 5*v, 2*v = 2. Suppose 3*p = -3*x - 3, k*p + 4*x = -1 - 3. Solve i - 4*b = -i + 20, p = -i - 4*b - 14 for i.
2
Let l = 9 + -9. Solve l = d - 3*f - 20, 5 = 3*d - 0*d + 2*f for d.
5
Suppose -8 = -5*x - 2*y, 3*x + 5*y = -12 + 32. Solve x*j - j - 10 = -3*c, 2*j = 2*c for j.
5
Let u be 2/9 - (-21)/27. Solve -3*k + k - r - 7 = 0, 0 = r + u for k.
-3
Let v be -2 + 5*3/3. Solve 3 = -v*m, 0 = -0*b + b - 4*m for b.
-4
Let b(i) = -i**2 + 25*i - 43. Let r be b(23). Solve 3*s + 4*d = -2*s - 41, s - r*d - 7 = 0 for s.
-5
Suppose -5*u - 5*m = -31 - 14, 2*m = -5*u + 30. Solve -o = -5*b - 0*b + 17, u*o - 4 = 2*b for b.
4
Suppose -56*t - 3 = -59*t. Solve 0 = 2*s + w - 0*w + t, 3*s + 12 = 2*w for s.
-2
Let b be 22 - (1 - 3/1). Suppose 0 = p + p + b. Let n be ((-1)/(-3))/((-1)/p). Solve -15 = 5*c + n*x, 5*c - 2*x - 2 = -17 for c.
-3
Suppose i - 31 = 2*v, -3*v = 2*i - v - 44. Let f = 45 - i. Suppose 5*s - 3*p - 189 = 0, -2*s - 2*p + 0*p + 66 = 0. Solve f = 4*a - b, -a + 5*b + s = 3*a for a.
4
Let u = -7 - -3. Let g be (-4 - u) + (-3 - -3). Solve 4*r - r - 31 = -5*p, -5*r + 5*p - 15 = g for r.
2
Let k(u) = u**2 + 2*u + 14. Let b be k(0). Suppose b = -0*l + 2*l. Solve -3*n =