(6). Solve -u*f = -9*f + 12 for f.
3
Let t = 22 - 17. Suppose 0 = -t*x - 7 + 17. Solve -7*f + x*f - 20 = 0 for f.
-4
Let u = -5 - -8. Suppose -i = -1 - u. Suppose -y + 6 = i. Solve y*z = -3*z - 5 for z.
-1
Suppose -4 = -2*g + 4. Suppose -5*i = -2*y - 1, 5*i + 0 + 3 = g*y. Solve -4*m = -y*m for m.
0
Let h(r) = -r + 6. Let n be h(-6). Let y be (-22)/n + 2 - (-69)/18. Solve 1 = y*z + 9 for z.
-2
Let c(q) = 2*q + 16. Let x be c(-8). Let y be 6/9*(-36)/(-8). Suppose 0 = -y*t - 0*t. Solve -2*n + t - 2 = x for n.
-1
Let w = 18 - 10. Let q = 8 - 5. Suppose 2*c = -q*c + 100. Solve -c = 3*g - w for g.
-4
Let w(z) = 5*z + 8. Let g be w(4). Suppose -j + 4*r = -g, 2*r - 14 = 4*j - 56. Suppose -3*o - j = -4*o. Solve o*t = 3*t for t.
0
Let x be 8/(-3)*(-27)/(-4). Let g = x - -18. Suppose -r + 3 + 2 = g. Solve -r*f - 12 = -32 for f.
4
Suppose -5*x = -4*p - 34, 0*x = 4*p - 3*x + 30. Let m be 15/9 - 2/p. Solve -4 = m*t + 2*t for t.
-1
Suppose -2*r - 62 = -2*b, 27 = -3*b + 4*b + 3*r. Suppose 0 = -2*u - 2 + b. Solve -u + 2 = 4*i for i.
-3
Let s be (-54)/42 + (-4)/(-14). Let j be ((-4)/12)/(s/(-6)). Let t be (-1 - j)/((-1)/(-2)). Solve n + t = -n for n.
-1
Let g be (-342)/(-45) + (-4)/(-10). Suppose g = m + o, 6 = -5*m - o + 34. Suppose 3*j - 2 = -3*c + 2*c, 10 = 5*j + m*c. Solve j*z = 4*z + 16 for z.
-4
Let x(f) = 2*f**3 + 23*f**2 - 10*f + 29. Let q be x(-12). Solve 0 = 42*r - 47*r - q for r.
-1
Let x = 489 + -485. Solve 0 = -j + x*j - 6 for j.
2
Let h be (1/2)/((-2)/368*-4). Suppose 3*k = -m + h, -4*m + 19 = 4*k - 5*m. Solve 3*n - 15 = k*n for n.
-5
Let x = -22 - 9. Let c = x + 50. Solve 0 = 5*i + 6 + c for i.
-5
Let n = -21 + 31. Suppose 5 = -4*w + 3*v - 16, 0 = 2*w - 2*v + n. Let s be 2/(-12) + (-19)/w. Solve -s*p - 5 = -2*p for p.
-5
Suppose 0 = -188*i + 177*i + 231. Solve -27*g + 6 + i = 0 for g.
1
Suppose -4*z + 26 = 3*x, -x - z - 6 = -13. Solve -5*u + x = -18 for u.
4
Let p = -17 - -35. Suppose 2*d + d + p = 0. Let h = d - -12. Solve -3 = -k - h for k.
-3
Let z = -569 + 574. Let t(y) = 17*y - 1. Let r be t(1). Solve 0 = -z*d + d - r for d.
-4
Suppose 5*c - 11 = 14. Suppose 5*p + 15 = -c*j, 0 = -3*p + 4*j - j + 21. Solve w + 9 = -p*w for w.
-3
Let m(y) = -y**3 + 7*y**2 - 6*y - 2. Let a be m(6). Suppose 11 - 5 = 2*n. Let q be -1 - n*a - 0. Solve q = -2*i + i for i.
-5
Let n(s) = -6*s + 12. Let x(q) = q - 1. Let t(l) = -3*n(l) - 24*x(l). Let o be t(-4). Let u = 6 + -4. Solve u*w - o = -w for w.
4
Let m be ((128/(-12))/2)/((-6)/45). Suppose m*d = 41*d - 16. Solve -2*q - d = 2*q for q.
-4
Suppose 4*s - 16 = -2*u, 9 = 2*s + 3. Suppose 5*g - 23 - u = 0. Suppose 2*t - 9 = 5*n, n = 2*t + t - 7. Solve 8 = -g*a - t for a.
-2
Let m = 82 - 82. Solve -4*u - 6 + 2 = m for u.
-1
Suppose 3*a = 5*a - 6. Suppose -7 = 4*x + a*h + 4, -3*x + 3*h = -18. Solve 0 = -o + x - 0 for o.
1
Let p = -77 - -42. Let s = p - -37. Solve 3*c - s*c = 0 for c.
0
Let s = -461 + 486. Solve -4*b + s - 9 = 0 for b.
4
Let x be 13/39*(4 + -2 - -46). Solve -36 + 4 = x*w for w.
-2
Let w(a) be the third derivative of -a**4/6 + 2*a**3/3 - 3*a**2. Let k be w(4). Let b be (k/30)/((-2)/10). Solve 0 = b*m + m - 9 for m.
3
Suppose -7*p = -2*p - 10. Suppose 0 = 3*u + 9, -q + p*u + 7 + 3 = 0. Suppose -q*t + 5*t - 9 = 0. Solve 0 = o + 2*o - t for o.
3
Let u be (-3)/((-8)/(64/8)). Let r(n) = n**3 - 3*n**2 + 4. Let p be r(3). Solve u*z = z + p for z.
2
Suppose -4 = -5*v + q, 49*v - 3*q = 45*v + 12. Solve v = -11*w + w + 40 for w.
4
Suppose 220 - 225 = -5*u. Solve -2 = -w + u for w.
3
Let m(t) = -13*t - 267. Let z be m(-21). Solve 0 = 13*o - z*o for o.
0
Let o(v) = -2*v. Let k be (15 - 13) + 1*-3. Let c be o(k). Solve -4*w + c*w = 6 for w.
-3
Let s = 15 - 15. Let c be (s - (4 - 8)) + -2. Suppose 0 = -m - 3*m + 3*f + 23, c*m = 2*f + 12. Solve m*u = -30 + 10 for u.
-4
Let g(m) = -2*m**3 - 3*m**2 + m - 10. Let z be g(-3). Solve -z = 4*i - 2 for i.
-3
Suppose -84*x = -98*x + 196. Solve 0 = -3*b - 4*b - x for b.
-2
Let o = 47 - 14. Let k = o - 28. Solve k*f - 5 - 10 = 0 for f.
3
Let s = 1230 + -1200. Solve -15*b = -0*b - s for b.
2
Let q(a) = 3*a + 27. Let g = 29 - 37. Let d be q(g). Solve 2 = d*l - 10 for l.
4
Let m be -5*((-42)/(-15) - 2). Let d be 8/(-4)*6/m. Suppose 8 = 4*q, 2*t - 3*q + 6 = 3*t. Solve t = -d*r + 5 + 1 for r.
2
Let x = -31 + 31. Solve -4*p - 4 + 24 = x for p.
5
Let k be (-4)/3*(-3)/2. Suppose -l = -k*l. Let u be (-7)/(-5) + (-6773)/(-2605). Solve -u*o + 11 + 5 = l for o.
4
Suppose -b = 4*z + b - 162, 3*z - b = 119. Solve -37*u + z*u - 12 = 0 for u.
4
Let r be (2/4)/(22/132). Suppose r = -4*c + 15. Solve w + c = -0*w for w.
-3
Suppose -4*x + 17 - 1 = 0, 0 = -y - 5*x + 134. Let l = -109 + y. Solve 4*p - l - 3 = 0 for p.
2
Suppose -n = -r + 3 + 1, 0 = 2*r + 5*n + 27. Let j be (-3 + 1)/(-2 - r). Solve -j*l - 2 = 2 for l.
-2
Let w(o) = 2*o - 26. Let q be w(19). Solve q*j - 9*j + 3 = 0 for j.
-1
Let f(x) = -x**3 - 4*x**2 - 3*x + 3. Let k be f(-3). Suppose -k*z + 16 = -2. Let w = 49 + -47. Solve -w + z = -t for t.
-4
Let a = 422 - 403. Solve 0 = 2*g + 13 - a for g.
3
Suppose 5*i = t + 24, 3*i + 4*t - 9 = 2*i. Suppose -2*r + 4*m - 4 = 0, -i*m + 7 + 24 = 4*r. Suppose 8*h = r*h + 28. Solve 5*w + 3 = -h for w.
-2
Let g(i) = i + 10. Let l be g(-5). Suppose -q + 7 = l. Suppose -5 = -7*w + q*w. Solve 0 = -2*v - w - 3 for v.
-2
Let a(m) = m**3 + 3*m**2. Let j(x) = 2*x**2 - 2*x - 2. Let h be j(2). Suppose 0 = -0*l - h*l - 6. Let o be a(l). Solve 10 + o = 5*p for p.
2
Let n = 133 - 187. Let t = -49 - n. Solve 2*u + t = u for u.
-5
Let c be (-15 - -3)*(-1)/3. Suppose -c = -5*h + 21. Let p be h + (1 - 1)/2. Solve -p*l = -2*l for l.
0
Suppose -15*w + 16*w + 23 = 5*s, 3*w = -5*s + 11. Solve -6*q - 34 + s = 0 for q.
-5
Let s be (6 + -9)*-2 - -15. Solve s = -n + 23 for n.
2
Let q = 11 + -7. Let l be (6/10)/(q/20). Let g(r) = 42*r - 460. Let x be g(11). Solve -h - x*h - l = 0 for h.
-1
Let s(c) = -3 + 6 + 12 + c - 4. Let r be s(-5). Solve -r*y + 4*y = 4 for y.
-2
Let h = -144 + 144. Solve h = 2*d + d + 9 for d.
-3
Suppose -t = t - 30. Let g be (5/2 + (-3)/(-2))/(-1 - -2). Solve -b = -g*b - t for b.
-5
Let k(n) = n**2 - 17*n - 306. Let h be k(28). Let d = -4 + 7. Solve h*i + d*i + 10 = 0 for i.
-2
Let p(h) = h**3 - 9*h**2 - 26*h + 11. Let i be p(12). Let f = -128 + i. Solve 12 = -f*b - 0 for b.
-4
Suppose -26 = -10*b + 54. Solve -2*v + b = -0*v for v.
4
Let f(o) = o - 10. Let m be f(8). Let q(g) = -2*g**3 - 4*g**2 - 3*g + 2. Let x be q(m). Solve -v - 4 + x = 0 for v.
4
Let g(i) = 2*i**2 - 8*i - 3. Let a be g(5). Solve -10 = -9*c + a*c for c.
5
Let t = -479 - -482. Let n(l) = -l - 4. Let w be n(-6). Solve w*c - t - 3 = 0 for c.
3
Let f = -372 + 381. Suppose -5*p + 5 + 20 = 0. Solve p*o - f + 24 = 0 for o.
-3
Suppose 4*v + 13*b - 8*b = 46, 2*v + 3*b = 24. Solve -3 = 8*t - v*t for t.
3
Let f be 44 + (-9)/36*-16. Solve 30*g = 14*g - f for g.
-3
Let r(m) = -4*m + 31. Let w be r(7). Suppose -l + 5 = -4*o, -5*l - 4*o = -2*o - w. Solve i - l = 2*i for i.
-1
Suppose 0 = 2*r - 3*k - 5, -5*r + 0*k + 2*k + 18 = 0. Suppose 6*i + 15 - 27 = 0. Solve -i*s - r = -s for s.
-4
Let a be (9/(-4))/(-3) - (-25)/4. Suppose -7*n + 8*n - 9 = 0. Let f = n - a. Solve -f*w = -w + 1 for w.
-1
Let n be (-6 - 70/(-15))/(1/(-6)). Let r(t) = -2*t**2 + 17*t - 8. Let a be r(n). Solve z + 2 = -a for z.
-2
Let n(x) = x - 14. Let p be n(16). Let j = 2 - p. Solve -2*f + j*f = 10 for f.
-5
Let t(z) = z**3 + 15*z**2 + 7*z - 75. Let q be t(-11). Solve q*n - 337*n = 0 for n.
0
Let m be (-2*2/12)/(3/(-72)). Solve m*q - 4 = 6*q for q.
2
Suppose -2*j - 11 = 5*z - 7, -z - 8 = -2*j. Solve -4*d + j*d - 5 = 0 for d.
-5
Let k(f) = 2*f**2 - 17*f + 33. Let c be k(7). Solve 5*i - 13 = c for i.
5
Let i(k) = 9*k - 32. Let a be i(3). Let p be a + 4 + (1 - -8). Solve -3*t - p = t for t.
-2
Let k(j) = -2*j**2 + 43*j + 5. Let h be k(21). Solve 22 = -12*y - h for y.
-4
Suppose 2*i - 5*t = 12, -5*t + 18 = 7*i - 4*i. Solve -i = q - 11 for q.
5
Let k = 0 + 21. Let i be (4/8)/((-2)/(-44)). Let p be 4 - (i - 3)/2. Solve p = -4*d - k + 1 for d.
-5
Suppose 0 = -5*m + 4*m + 51. Let l = m - 24. Let s be 6/l + 100/36. Solve s = -4*o - 1 for o.
-1
Let m(t) = -2*t + 18. Let p be m(8). Solve 0 = -q + p*q for q.
0
Suppose -5*b = -c - 4 - 3, -4 = -2*c + 4*b. Let h = -77 - -79. Suppose 2*x + h*x 