3). Let l = t + 4. Solve l*o = o + 3 for o.
3
Suppose -c + 0*c = -x + 4, -2*x - 5*c - 20 = 0. Let n(u) = x - u + 0. Let k be n(-2). Solve -k*p + 0 = 2 for p.
-1
Suppose -i + d = i - 12, -d = 0. Let q be 5*3*2/i. Solve -q = -0*f + f for f.
-5
Let p be (-4 + 56)*(-2)/(-4). Let h be (-1)/(-2) - (-9)/2. Suppose -4*j + h*j = 4. Solve j*u = 6 - p for u.
-5
Let a = -20 + 37. Suppose u - a - 3 = 0. Solve -2*d = 2*d - u for d.
5
Suppose -l - 35 = -38. Solve -6 = -3*c - l for c.
1
Let a be 0*4/(-8)*1. Solve 2*j + 8 = -a*j for j.
-4
Suppose -3*z = 5*k - 30, 5*z + 0*k - 3*k = 16. Solve z + 4 = 3*p for p.
3
Let w = 241 - 129. Suppose c - 74 = -4*u - c, 5*u - 4*c = w. Solve 3*g + 5 - u = 0 for g.
5
Let y = 26 - 53. Let g be (-18)/y*(-18)/(-4). Solve 0 = -g*f - 0 + 3 for f.
1
Let a(g) = -9*g + 2. Let y(p) = 26*p - 6. Let v(d) = 8*a(d) + 3*y(d). Let c be v(2). Suppose 0 = 5*s - c. Solve 0*m + s*m = 0 for m.
0
Let b be 5/(-2) + 1/(-2). Let l = 3 - b. Let z = 10 - l. Solve 3*n + z = -n for n.
-1
Suppose 3*m = 1 + 20. Let k be (-12)/(-42) + 61/m. Suppose 0*s + k = 3*s. Solve 2*b - s*b + 4 = 0 for b.
4
Let n(y) = y + 3. Let g be n(4). Solve 3*v = g + 5 for v.
4
Let h = 61 - 46. Solve 2*y + h = -y for y.
-5
Let d be ((-3)/6 - -1)*8. Solve -8*t = -4*t + d for t.
-1
Let y be (-6 + (-3)/1)*-1. Suppose 5*u - 8 = 17. Solve 0 = 2*o - u*o + y for o.
3
Let h(m) = m**2 + 7*m + 6. Let n be h(-6). Suppose n*z = -2*z + 12. Suppose z*c - 2*c = 0. Solve c = -j + 6*j for j.
0
Let p be -2 + 7 + 0 + -1. Suppose -5*j + i + 0*i + 24 = 0, -p*i = -4*j + 32. Let w = -3 + j. Solve -u - 4 - w = 0 for u.
-5
Suppose 2*t - 2*b = b + 31, 2*t - 1 = -3*b. Suppose 1 = -i + t. Solve -1 + i = -2*v for v.
-3
Let a = -15 - -11. Let y = a + 10. Solve 0 = g + 2*g + y for g.
-2
Suppose 0 = -5*o - 4*c + 18, 0 = 5*o - o - 3*c - 2. Solve 0 = o*g - 5*g + 3 for g.
1
Let o(n) = n**2 + 4*n + 2. Let a(x) = -x**2 - 3*x - 2. Let p(h) = 4*a(h) + 5*o(h). Let i be p(-8). Solve i*y = 1 - 11 for y.
-5
Suppose -8*b + 12 = -7*b. Let x = -88 + 44. Let l be 2/3 + x/(-6). Solve b + l = -5*k for k.
-4
Let s = -48 + 48. Let f be 4/(-6) + 2/3. Solve 4*o + f - 8 = s for o.
2
Suppose 0 = o + 3*o - 16. Suppose 3*b - p + 7 = 54, b = -5*p + 5. Suppose -w - b = -4*w. Solve -w*a - o = 16 for a.
-4
Suppose 12*v - 30 - 30 = 0. Suppose -z + p + 2*p = 14, -3*p + 46 = -5*z. Let c = 25 + z. Solve v*y - c = 8 for y.
5
Let d(y) = 3*y - 4. Suppose 4*a - 26 = 2*j, a - 2*a = -4*j - 10. Let p be d(a). Solve -2*m - 4 = -p for m.
5
Let f = 14 - 6. Solve f + 1 = -3*x for x.
-3
Let g be (0 - (-2 - -1)) + 3. Let y = -5 + 5. Suppose 0 = -5*h + g*c + 8, -3*h - 8 = 4*c - y. Solve 0 = -h*w + 3*w for w.
0
Suppose -4*m - 5 = 31. Let j = 4 + -13. Let r be (-93)/m + (-6)/j. Solve -3 = -2*n - r for n.
-4
Let p be 2/6 + 17/3. Suppose -4*z - 2 = -p. Let w be (4/(-1))/(-2 + z). Solve 0 = w*m - 0*m + 8 for m.
-2
Let w be -1*2 + 0 + 2. Suppose w = 2*l - 0*l. Solve -5 = -l*j + j for j.
-5
Let a be 8/(-8)*(-2 + 1). Solve -a = 3*h + 5 for h.
-2
Suppose 0 = -5*x + 7 + 8. Let h = 0 - -5. Suppose -32 = -y + 5*m, -h*y - 2*m - x*m = -10. Solve -y = 3*q - 4 for q.
-1
Suppose 0 = -5*d + 5*n - 2*n + 35, -3*d = -2*n - 22. Solve 1 = -d*l - 3 for l.
-1
Let p be -3*(-2)/12*2. Let r be (11 - -1) + 2 + p. Solve -r = 3*q - 8*q for q.
3
Suppose -g + 4*v - 36 = -3*g, -3*g - 2*v + 34 = 0. Let t = 18 - g. Solve -3*h = 2*h + t for h.
-2
Let y = 7 + -3. Let x be (-2)/3 - 46/(-6). Let r = x - y. Solve 0 = 4*o + r - 11 for o.
2
Suppose -7 + 13 = h. Solve 5*k - 19 = h for k.
5
Let s = -6 - -10. Let d be (s/(-6))/((-4)/18). Solve -7*p - 16 = -d*p for p.
-4
Let d(w) = 1 - 4 + 0 + 2*w. Let c be d(4). Suppose 19 = c*n - 21. Solve -2*y = -0*y - n for y.
4
Let p = 51 + -39. Solve 0 = -p*q + 10*q - 10 for q.
-5
Let z be (-6)/8 + 33/44. Solve z = s + 3*s + 8 for s.
-2
Suppose 2*u = -2*d - 6, d + 4*u = 6*d - 30. Let l be 10 + -9 - (7 - 0). Let s be 0/(-2) - (6 + l). Solve 0 = -s*j + d*j - 8 for j.
4
Let x be (42/9 - 4)*6. Solve -v = -0*v - x for v.
4
Suppose -a - 2*g = -6, -4*g = -5*a - 9*g + 10. Let t = 2 + a. Solve 4*y - 4 = -t for y.
1
Let s be -1 + (-4 - -2) + 5. Solve k = -2 - s for k.
-4
Suppose -4*c = -0*c. Suppose c*y - 3*y + 56 = 4*m, 2*y + 36 = 4*m. Suppose -h = -3*i + m, 6 = 5*i - 2*h - 14. Solve -i*q - 3*q + 25 = 0 for q.
5
Let y(m) = 10*m**3 + 2*m - 1. Let i be y(1). Let o = -9 + i. Let k = 39 - 24. Solve 0 = -d - o*d - k for d.
-5
Let d be 17/5 + (-2)/5. Let h(m) = 3*m**2 - 4*m + 7 - 4 + m**2 - m**d. Let f be h(2). Solve 0*n = -n - f for n.
-3
Let x(s) = s + 5. Let u = -8 + 3. Let v be x(u). Solve v = -4*r - 12 for r.
-3
Let z = 0 + 1. Let r(j) be the second derivative of j**3/2 - j**2/2 - 6*j. Let t be r(z). Solve -t*n - 3 = 7 for n.
-5
Let r(n) be the first derivative of 7*n**3/3 + n**2/2 + 3. Let q be r(-1). Let v(z) = -z**2 - z + 2. Let o be v(0). Solve o*k = 2 + q for k.
4
Let g = 5 + -3. Let d be (-1 + 7)*g/3. Suppose 2*s - 5*q = -2*s + 32, -2*s + 22 = -d*q. Solve 8 = s*b - 7 for b.
5
Let s = 72 + -70. Solve -s*r = r + 6 for r.
-2
Suppose h = -4*h + 600. Suppose 3*l = -l + h. Let z = 58 - l. Solve -5*n - z = -3 for n.
-5
Suppose 0 = -6*d + 3*d. Solve 2*c + c = d for c.
0
Let k(w) = w + 13 + 3 - 2. Let o be k(-11). Solve o*h + 6 = -9 for h.
-5
Suppose -7*o - 4*o + 22 = 0. Solve l = -o - 2 for l.
-4
Suppose y - 2 = 2. Solve -2 = 6*s - y*s for s.
-1
Let m be 2/(-6) + (-28)/(-12). Solve -m*r = 2*r + 16 for r.
-4
Let v be (-2 - (-4)/2)/2. Solve -4*g - g - 20 = v for g.
-4
Suppose s = 5*g + 2, -5*s + 2 + 8 = -5*g. Solve 5 = -s*o - 1 for o.
-3
Let h(g) = 7*g**2 + g - 1. Let c be h(1). Solve 0 = 2*v - c + 3 for v.
2
Suppose 3*d = -2*d + 70. Suppose 16 = 5*a - d. Suppose -5*h - 6 = -8*h. Solve a*g = h*g for g.
0
Let w = 5 + -8. Let z be w - (-6 + 5 + -2). Suppose 2*y - 5 - 1 = z. Solve -a + 6 = y for a.
3
Suppose -8 = 2*l - 5*t, 4*l + 22 = -4*t + 62. Suppose 2*k = 2*v, 0 = -v - 5*k + 24 - l. Solve -8 = -c - v for c.
5
Let f be (-1 - 0)/(-1) - -8. Suppose -n = -3*z + f, -6*n + n = -2*z + 6. Suppose n*m + 4*m = 20. Solve -19 = m*k - 4 for k.
-3
Let l(c) = 2*c**3 + 13*c**2 + 11*c + 6. Let n(i) = -i**3 - 7*i**2 - 6*i - 3. Let a(s) = -2*l(s) - 5*n(s). Let z be a(-8). Solve -d = -z*d for d.
0
Suppose -2*r + 16 = 4*i, 0 = -4*r + i + 3 + 2. Suppose 1 = -d - 0. Let v = d + 1. Solve r*y + v = 6 for y.
3
Suppose 206*t = 207*t - 5. Solve 5 = -t*r - 0*r for r.
-1
Suppose -5*s = -2*s + 6. Let h = s + 4. Solve 0 = 4*r - h*r - 10 for r.
5
Let f(h) = -7*h**3 + h**2 + 2*h + 4. Let v(x) = -6*x**3 + x**2 + 2*x + 3. Let w(u) = 5*f(u) - 6*v(u). Let m be w(2). Solve 0 = m*a + 3*a for a.
0
Let o = 120 - 114. Solve -3*p + o = 3 for p.
1
Suppose 0 = -3*y + 4*b + 23, 0 = -3*y - b + 3 - 5. Let v be -8 - -8 - -5*1. Suppose 0 = -v*s + 14 + y. Solve -9 - 6 = s*w for w.
-5
Let w = 44 + -18. Solve -5*q = -11 + w for q.
-3
Suppose 4*j - 28 = -5*f, -j - 3*j - 4 = -3*f. Suppose -4*x = p - 1, 0 = -f*p + 3*x - 1 + 5. Suppose -3*i + p = -2. Solve 4*g + i = 3*g for g.
-1
Let z be (-6)/(-10)*(8 + -4 + 1). Solve -z*h = -6*h for h.
0
Let r = -15 + 30. Suppose -3*k = f - r, -f + 5*f = 3*k. Solve k*w - 16 = -0*w for w.
4
Let x = -7 + 7. Let p be 2/4*-2*x. Solve p*t - t = -2 for t.
2
Let l be (0 + 5)/5*6. Solve 3*x + 9 = -l for x.
-5
Let r(p) be the first derivative of -p**4/4 + 5*p**3/3 + 4*p - 1. Let a be r(5). Solve -a = -5*t + 6 for t.
2
Let k be (((-4)/4 - 0) + -1)/(-2). Solve 2 + k = -3*l for l.
-1
Let v(z) = -2 - 2*z + 3 + 3*z**2 + 0*z**2. Let o be v(3). Suppose 0 = 2*l + 5*i - o, -3*i = -0*i - 12. Solve -l = -h - 2 for h.
-1
Suppose -4*p - 8 = -6*p. Solve -6 = p*l - 22 for l.
4
Let u = 63 + -63. Suppose 4*o + h - 3*h = 0, -2*h + 12 = 2*o. Suppose 0*d + o*d = 4. Solve u = -v - 0*v - d for v.
-2
Let u = -6 + 11. Let s = u - 2. Let f be 3 + 1/(-1) + 2. Solve s*x - f + 1 = 0 for x.
1
Let y(g) = -g**3 - 5*g**2 + 3*g + 5. Let s be y(-5). Let o = -7 - s. Solve 2*p - o = 7 for p.
5
Let x(i) = i**2 - 6*i - 22. Let q be x(-3). Solve 3*g + q = 2*g for g.
-5
Let z(j) = j**2 - 2*j - 3. Suppose 4*t - 1 + 9 = 0. Let o be z(t). Solve -3*f = -2*f - o for f.
5
Let f(c) = c**2 - 6*c + 10. Let z be f(4). Solve -2*x = z + 4 for x.
-3
Suppose -5*d + 16 = -t - t, 4*t - 4*d = -8. Solve t*y + 0*y - 8 = 0 for y.
4
Let l be 2/3 + 100/75. Solve 