x.
-4
Let b be (-1)/11 + 1*(-19)/(-209). Solve 3*x + 10*x + 13 = b for x.
-1
Suppose 0 = 7*j - 20 + 83. Let u be (5/4)/(j/(-36)). Solve u*h - 25 = -0*h for h.
5
Let a(y) = y**3 + 18*y**2 + 17*y - 8. Let u(i) = i**3 + 19*i**2 + 18*i - 7. Let g(z) = 3*a(z) - 4*u(z). Let n be g(-21). Solve -1 = -3*m - n for m.
-1
Let q(x) = x**3 + 11*x**2 + 3. Let a be q(-11). Suppose 4*j = -a*g + 7 + 4, -3*g = j - 14. Suppose -g*b + b + 12 = 0. Solve 2*c - 5 = -b*c for c.
1
Let o be (-2)/(90/(-42) - -1*2). Suppose 7*r + 0 = o. Solve -2*j + 8 + r = 0 for j.
5
Let i(k) = -2*k - 25. Let z be i(-24). Solve 4*w - 7 + z = 0 for w.
-4
Suppose 0 = -5*t - 35 - 85. Let v be 16/t + 11/3. Suppose y + 6*h - 2*h - 27 = 0, -v*y + h + 81 = 0. Solve -4*r = 11 - y for r.
4
Suppose 3*z - 4*o = 35, 0*z = 2*z - 4*o - 22. Let m be (-1 - (2 + 0)) + z. Suppose -2*w + 22 = 4*y, 2*w + 0*w = -y + m. Solve -w*f + 3 = -0 for f.
1
Let i(k) = -k**3 + 3*k**2 + 8*k - 24. Let g be i(3). Solve g = 6*d + 16 - 4 for d.
-2
Suppose -2*n + 5 = -3. Suppose -n = -4*h + 2*h. Let z = -2 + h. Solve -3*x = -z*x for x.
0
Let w = 21 - 22. Let t be ((-5)/(-20)*0)/w. Solve -2*q + 8 + 2 = t for q.
5
Let c = 81 + -59. Suppose 0 = -27*u + c*u + 10. Solve u*k + 3 = k for k.
-3
Let f(u) be the first derivative of u**4/2 - u**3/3 - u**2 + 4*u + 11. Let t be f(0). Suppose 2*l = 0, -5*a + l + 2 = -13. Solve -a*x - 4 = -t*x for x.
4
Let h(k) = k**2. Let p(o) = -o + 5. Let f be p(7). Let x be h(f). Suppose -5*n + 2 = -0*m - 4*m, n = -x*m + 10. Solve -g - m = g for g.
-1
Let c be 468/28 + (-1)/(21/(-6)). Suppose 0 = -2*y - 2*w + 20, -3*y + 3*w = -25 - c. Solve -y = 2*t - 5*t for t.
4
Suppose 2*j = 5*j - 21. Solve 0 = -4*b - 3*b + j for b.
1
Let t(q) = q**2 + 12*q + 11. Let l be t(0). Solve -l*i = -8*i - 6 for i.
2
Suppose -4*k - k + 25 = -5*z, 0 = 4*k - 3*z - 24. Suppose k = o + 2*o. Let l = o - -5. Solve -c + l = c for c.
4
Let p(h) = -h - 15. Let f be p(3). Let r = -3 - f. Solve 4*j = 9*j - r for j.
3
Suppose s = -39*s. Solve -7*h + 20 - 6 = s for h.
2
Suppose -4*h - 4*t = -44, -5*h - 3*t + 13 = -44. Solve h = 7*f + 5*f for f.
1
Suppose r - 153 = -2*v, -7*v + 4*v = 15. Solve -g - r + 158 = 0 for g.
-5
Let i(u) = -u + 12. Let t be i(10). Suppose -13 = -t*s - f + 2*f, 4*f = 2*s - 28. Suppose 0 = 4*l - l - x - 38, -l - s*x = -17. Solve -4*b - 7 = l for b.
-5
Let r be (15/(-2))/5*42. Let d = 79 + r. Solve 2*g = 6*g - d for g.
4
Let b be 0*(-2)/(-8)*-2. Suppose -5*w + 8 + 2 = b. Suppose -5*j = 2*a - 10, -3*j - 2*a = -j + w. Solve 0 = g - j - 0 for g.
4
Let b(f) = -f**3 - f**2 + 17*f + 3. Let o be b(0). Let s = 0 - -3. Solve -s*z + o = -12 for z.
5
Let o(a) = a**3 + 11*a**2 + 12*a + 22. Let f be o(-10). Suppose -f*g - 2 = -0*g. Let h(b) = -b + 1. Let t be h(g). Solve -t = -y - 0*y for y.
2
Suppose -4*i + b = -0*b - 324, 0 = b - 4. Suppose 7*x - i + 26 = 0. Solve 0 = -3*q - x - 4 for q.
-4
Let u = 281 + -273. Solve -2*l - 16 + u = 0 for l.
-4
Suppose 6*i - 10 = 2. Suppose -4*j + i = 6. Let p = j + 2. Solve -p = 5*a + 24 for a.
-5
Let t = 2 - -4. Let f(b) = -b**2 - 6*b + 2. Let d be f(-7). Let s be 0/d - -4 - 2. Solve -i = s*i + t for i.
-2
Suppose 0 = 2*r - 52. Solve r*u = 22*u - 16 for u.
-4
Suppose 0 = -2*k + 5*u + 52, 0 = -2*k - k + 4*u + 71. Let i = k + -20. Solve -i - 7 = 2*b for b.
-4
Let q(g) = g**2 - 6*g - 44. Let y be q(0). Let w = y + 49. Solve w*n = n + 20 for n.
5
Let v(m) = -24*m + 88. Let l be v(3). Solve 6*a - l = 2*a for a.
4
Suppose 2*h = h. Let y be (1 - 0)*(h - -1). Solve -y + 3 = s for s.
2
Let x(t) = 8*t + 115. Let a be x(-14). Solve -3*f = -9 + a for f.
2
Let f(n) = n**2 - 13*n - 114. Let r be f(-6). Suppose 5*p + 10 = -0*p. Let v = 5 + p. Solve -3*k + v + 6 = r for k.
3
Let k be (-68)/17 - (1 - 0 - 7). Let q be (17 + -2)*(-2)/(-3). Solve 0 = k*a - q for a.
5
Let x(n) = n + 14. Suppose 10 + 14 = 4*f. Let v = f + -17. Let a be x(v). Solve 3*q - 9 - a = 0 for q.
4
Suppose 5*i - 11 = 4. Suppose -i*c + 8 = -1. Solve c*h = -2*h - 15 for h.
-3
Suppose -8*j = -78 - 10. Solve 6*o + 1 = -j for o.
-2
Let o = -12 + 14. Suppose -i + 7 = -r, -3*r = 3*i - 4*r - 19. Let z be -1*i*4/(-3). Solve -o*j = z - 0 for j.
-4
Suppose 0 = 106*f - 105*f. Solve -d + 5*d = f for d.
0
Suppose 65*k + 25 = 5*d + 67*k, -3*d + 5*k = -15. Solve 32 = -d*z + 7 for z.
-5
Let g(z) = 3*z**2 + 39*z + 4. Let p be g(-13). Solve -p*h = h - 10 for h.
2
Suppose -103 = 5*s - 3. Let k be 4*-5*(-16)/s. Let a = k + 17. Solve -z + a = -2*z for z.
-1
Let u be (-1)/3*(-25 + (-3 - -7)). Solve 0 = -w - 2 + u for w.
5
Suppose -3*i + 85 = -4*w, -82 = -0*i - 3*i + w. Solve -7 + i = -4*o for o.
-5
Suppose -2*k + 0*k = 0. Suppose k = q + 2*q. Suppose 106 + 83 = 63*j. Solve -6 = j*t - q for t.
-2
Let y = 39 + -35. Suppose 17 = 5*z + b - 3*b, -2*z = y*b - 2. Suppose -3 = -3*v - 0*v. Solve v = d - z for d.
4
Let k be (-7)/(-1) + 7 + -8. Solve 0*v = k*v - 30 for v.
5
Let v be 2/(-3) + (-22)/(-6). Suppose v*m - 17 = w, 4*m = 4*w + w + 30. Let r be 11 + w/1 - 1. Solve -12 = 4*c + r for c.
-5
Let h = -56 + 105. Suppose -9*g - 4 = -h. Solve 8 = g*f - 2 for f.
2
Let s = 274 - 273. Solve -6*m - s = 5 for m.
-1
Let h = 29 - 26. Solve -45 = h*x - 33 for x.
-4
Let t = -381 - -392. Solve 19 = -4*q + t for q.
-2
Suppose 3*m = 22 + 62. Suppose -2*p - 4*b + 25 = -b, -4*b = -5*p + m. Solve 0 = -3*t + 5*t - p for t.
4
Let c(l) = 8 - 7*l + 5*l + 0*l. Let v be c(4). Solve -3*z + v*z = -9 for z.
3
Let w = -85 + 102. Suppose -21*q = -w*q - 40. Solve -2*g + q = 3*g for g.
2
Let z(h) be the third derivative of -h**4/6 + 29*h**3/6 + 15*h**2. Let u be z(7). Solve 9 = 2*c - u for c.
5
Suppose 5*g + 4 = 7*g. Suppose 0 = g*w - r, -7 = 4*r - 23. Solve -2 = -2*n + w for n.
2
Let k = 602 - 600. Solve -k = -0*m - m for m.
2
Let m(i) be the second derivative of -i**3/3 + 7*i**2 - 22*i. Let x be m(3). Solve -10 = 3*c - x*c for c.
2
Let x = -80 - -45. Let u = -31 - x. Solve -u*c + 7 = -9 for c.
4
Let f(z) = -9*z + 173. Let g be f(19). Solve 3*o - 3*o = -g*o for o.
0
Let b = -194 - -194. Let a be 8/6*3/2. Solve 4*x - a*x - 6 = b for x.
3
Let l(m) = -m**3 + 5*m**2 + 9*m - 12. Suppose 3*p = -z + 22, -z = p - 0*z - 10. Let j be l(p). Solve 2*q - 2 - j = 0 for q.
4
Suppose -2*y - 257*t = -252*t - 4, 0 = 2*y + t - 4. Solve -i - y*i = i for i.
0
Suppose 0*c - 4*c - 2 = m, 0 = 2*c + 2*m + 4. Solve c = -13*g + 3*g + 40 for g.
4
Let h(z) = 2*z + 2. Let m(j) = -j**3 - 6*j**2 - j - 5. Let v be m(-6). Let x be h(v). Solve x*p = 3*p for p.
0
Let k(v) = -9*v + 35. Let z be k(3). Solve -4 = -6*q + z for q.
2
Let f be (-33)/(-22) + 10/(-4) + -1. Let d be f - (-10 - -5) - 0. Solve 0 = 3*l - 3 - d for l.
2
Let w(g) = g**2 + 9*g - 7. Let h be w(-10). Suppose 4*l - 34 + 10 = 0. Suppose 0 = p - 4*s, -3*p = -5*p - 3*s. Solve h*v + p = l for v.
2
Let r(j) be the third derivative of j**4/6 - 2*j**3 + 11*j**2. Let l be r(3). Solve l = 2*t - 6 + 2 for t.
2
Suppose -6 = 9*n - 51. Solve -3*z - n = -2*z for z.
-5
Suppose -2*p - b + 5*b = -12, 3*p + 2*b = 10. Suppose 0 = -s - 3*n + 2, -3*s - p*n = -0 - 6. Solve 2*w + 20 = -s*w for w.
-5
Let v be (11 + 114/(-12))*128. Solve v*i - 6 = 195*i for i.
-2
Let q be ((-6)/4)/(5 - 183/36). Let j be (q/2)/(84/112). Solve m - 5*m - j = 0 for m.
-3
Let p(d) = 168*d - 68. Let c be p(1). Solve -5*m = -30*m + c for m.
4
Suppose 0*v - 240 = 6*v. Let s = v - -45. Solve 4 = -c + s*c for c.
1
Suppose 4 + 16 = 4*o. Let k = 3 + -1. Let x(m) = -24*m - 117. Let v be x(-5). Solve v*f = -o + k for f.
-1
Suppose j + 2 + 1 = 0, -4*j - 22 = -2*u. Suppose -4*f + 2*q + 30 = 0, 4*q + 2 = -2. Suppose r - 3*v = 20, 0 = 2*r - f*v + 3*v - 30. Solve r*m + 0 = -u for m.
-1
Let v(q) = -38*q + 199. Let s be v(5). Solve -s = 4*l - 21 for l.
3
Let s = 482 - 476. Solve -12*p + 15*p - s = 0 for p.
2
Let f(h) = -10*h - 169. Let l be f(-17). Solve 3*n = l + 5 for n.
2
Let d = 2123 - 2080. Solve -d = -4*h - 27 for h.
4
Let d = 850 + -813. Solve -11*a + 15 = d for a.
-2
Let u = -1736 + 1741. Let q = 26 - 3. Solve 0 = -u*f - q + 8 for f.
-3
Let a(q) = 5*q + 150. Let p be a(-30). Solve -r + 5 - 3 = p for r.
2
Let m(w) = -6*w + 47. Let x be m(8). Let j be x + (-3)/(15/(-25)). Solve -4*s + j = -8 for s.
3
Suppose 18*d + 89 - 179 = 0. Solve 0 = 4*k - 9*k - d for k.
-1
Let w = 0 + 0. Let r = 15 + -13. Let x = 854 - 851. Solve w 