-j + 4 = m for j.
1
Let p be 2/(-13) - 2847/169. Let r = 16 + p. Let b be (10 - 9)/(r/(-4)). Solve -b*n + 9*n = 25 for n.
5
Let m(j) = -2*j**2 + 26*j. Let s(u) = 2*u + 7. Let t be s(3). Let x be m(t). Solve x*n + 3 = -3*n for n.
-1
Let q(c) = -c**2 - 11*c - 6. Let v be 3*((-39)/9 - -1). Let i be q(v). Let u be (-2 + 2)/i - -2. Solve 20 = -u*g - 3*g for g.
-4
Suppose 5*h + 2*c = 4*h, -h = -3*c. Suppose -v - 3*v + 24 = 0. Let z = v - 3. Solve h = 4*k - k - z for k.
1
Let n be (-10)/4*4/(-2). Let l be (1 - 1)*(-4 + n). Suppose l = -8*c + 4*c. Solve -5*t + 5 = -c for t.
1
Let q(h) = -2*h**2 + 17*h + 10. Let p be q(8). Let y = 18 - p. Solve y = 3*x + 2*x for x.
0
Suppose 2*f - 10 = -0*f, 0 = l + 4*f - 68. Suppose 14*x - l = 10*x. Solve q + 2*q - x = 0 for q.
4
Suppose -6992 = -73*l - 1663. Solve 23*i + l = -42 for i.
-5
Let p be -1 + 4/3 - (-16)/6. Suppose -4*v + 2*c + 11 + p = 0, -5*v - 5*c - 5 = 0. Solve v*k - 1 = 7 for k.
4
Let w = -37 + 12. Let p = w - -26. Solve p = 2*c - 3 for c.
2
Let c(y) = 4*y - 3. Let x(j) = j - 1. Let g(r) = c(r) - 6*x(r). Let q be g(-2). Solve q = -4*z - 5 for z.
-3
Let r be 30/35*(8 - 1). Suppose -2*c + 9 = -c - 2*g, -2*g - r = 0. Suppose -2*f + 7 = 2*y - c, -f - 1 = -y. Solve 2*s + y = s for s.
-3
Let a = 112 + -103. Let i = 3 + 0. Suppose -9*f + 4 = -7*f. Solve -f*c + i - a = 0 for c.
-3
Let u be (1*0/4)/1. Suppose 2*y = -u*y - 80. Let i be 8/6*(-90)/y. Solve -15 = 3*p - i for p.
-4
Let k(m) = 3*m**3 - 2*m**3 - 2 + 4*m**2 + 11*m - 10*m. Let i be k(-3). Suppose -4*x = -2*u - 6, -i*x + 14 = x + 4*u. Solve x*b - 8 + 2 = 0 for b.
3
Suppose -2*z = 4*g - 162, 5*g - z = 193 + 6. Suppose 3*y - g = y. Solve 5*l = l - y for l.
-5
Suppose 6*h + 3508 - 3568 = 0. Solve -4*d + 24 = -h*d for d.
-4
Suppose -7 = -10*t + 23. Solve -d - t*d = 0 for d.
0
Let y = -5 - -5. Suppose -3*s + 60 - 3 = y. Let x = s + -17. Solve x*b + 12 = 5*b for b.
4
Suppose -156*o + 198*o - 882 = 0. Solve 6*p + o = -9 for p.
-5
Let i(s) = -s**3 - 7*s**2 - s - 7. Let g be i(-7). Suppose 700*h - 690*h - 10 = 0. Solve -q + h = -g for q.
1
Let q = -37 + 45. Suppose -16 = 5*v + 4*x, x - 3*x - q = 5*v. Suppose -t = t - 4. Solve v = -2*f + t + 2 for f.
2
Let p(u) be the first derivative of u**2 + 18*u + 8. Let l be p(-9). Solve -h + l*h = 0 for h.
0
Let j(p) = -5*p + 3. Let d be j(0). Suppose 68 = d*c + c. Solve -4*h - 1 = -c for h.
4
Suppose -t + 5*r = 5, 12*t - 16*t = 3*r - 26. Solve -45 = -t*w - 40 for w.
1
Suppose 0 = 2*v - 26 + 22. Let a be 11 + v + -5 + 1. Solve -a + 34 = 5*n for n.
5
Suppose 19 = 12*w - 11*w. Suppose -4*z = -8*z + 88. Let b = z - w. Solve -m + 8 = -b*m for m.
-4
Let s be (0/(2/1))/2. Suppose 0 = -3*t - s*t - 9, 5*o - 2*t = 31. Let f(k) = 24*k + 98. Let c be f(-4). Solve c = l + o for l.
-3
Let s(c) = c**2 + 4*c + 4. Let g be s(-4). Suppose -4*u = m - 2 + 16, 0 = 5*m + g*u + 38. Let h be 9/(m/(-2)) - 1. Solve h*t - 11 = -3 for t.
4
Let k = -99 - -111. Suppose -63 = -k*s + 9. Solve -j + 3*j = -s for j.
-3
Suppose -s - 10 = -3*s + 3*f, 5*s = -f - 9. Let c(g) = 2*g + 8. Let p be c(-3). Let i be (2 - (s - -3)) + p. Solve i*l - 6 = 4*l for l.
-3
Suppose 4*a + 3 = 3*b - 5, 21 = a + 5*b. Let l = 4 - a. Let r = 682 - 675. Solve r = 5*u - l for u.
2
Let p(x) be the third derivative of x**5/30 + x**4/12 - x**3/3 - x**2. Let u(t) = t**3 - t**2 + t + 1. Let r be u(0). Let j be p(r). Solve -6 + j = -s for s.
4
Let h = 107 - 107. Suppose 5*s - n = 14, s + n + 2 = -h. Solve -3*x + 5 = s*x for x.
1
Let a = 36 + -38. Let m = a + 3. Solve 21 = -4*j + m for j.
-5
Suppose -u + 1 = 3*z - 0, -u + 2*z = -21. Solve -u - 3 = 4*r for r.
-4
Let d = 97 + -76. Solve -26 = m - d for m.
-5
Suppose -11*j + 4*j + 7 = 0. Let c be j/(-2)*2 - -1. Let n be (c + -4 - -7) + 17. Solve 4*d + 0*d + n = 0 for d.
-5
Let a(o) = o**2 - 3*o - 20. Let i be a(0). Let d = i + 22. Solve 2*f = -12 + d for f.
-5
Let f = 10 + 10. Suppose f*u - 24*u + 100 = 0. Solve -u = -0*c + 5*c for c.
-5
Let t(g) = 13*g**2 + 3*g - 4. Let z be t(-3). Let b = z + -101. Solve b*j + 1 = -11 for j.
-4
Suppose 5*n - 10 = 5*i, 3*n - 1 - 3 = 4*i. Let b = 5 - i. Let g be (-3 + 5 + -2)/1. Solve b*w + 3 = -g*w for w.
-1
Suppose -2*m - 8 = -k, 39 = 5*k - 5*m - 16. Solve 5*a = k + 11 for a.
5
Let f be ((-285)/60)/((-2)/8). Let z = f + -12. Solve z*d = 4*d - 3 for d.
-1
Suppose -p + 3 = -9. Let f be 5 - (-4 - 77/(-11)). Solve 0 = -f*t - t - p for t.
-4
Let l be (30/2)/(3/4). Solve 3*u = -u - l for u.
-5
Let n = -23 + 32. Let f(a) = -a**2 + 12*a - 18. Let s be f(n). Solve 2*t - s = -t for t.
3
Let q = 222 - 222. Solve -5*k = -q*k - 25 for k.
5
Let w(a) = -a**3 + 25*a**2 + 47*a + 199. Let r be w(27). Solve -28*m + 23*m + r = 0 for m.
2
Let o be -3*2*(-11)/33. Solve -o*j - 24 = -30 for j.
3
Let z be (-2)/10 - ((-217)/35 - -4). Solve z*f - 9 = -f for f.
3
Suppose -2*p + 3*p = -30. Let d = 34 + p. Solve -2 + d = y for y.
2
Let w = -88 - -93. Solve -8*c + 15 = -w*c for c.
5
Suppose -6 = y - 4*h, 5*h - 2 - 4 = 2*y. Suppose 5 = 3*n + y*d - 0*d, 3*n = 2*d + 13. Let q be (10/6)/(n/9). Solve -2*s + s = q for s.
-5
Suppose 5 = d + 7. Let q(u) = -2*u - 1. Let g be q(d). Solve -2*i - g*i - 25 = 0 for i.
-5
Let t = 162 + -147. Solve -v + t = 4*v for v.
3
Let s = -2330 + 2346. Solve -s*o - o = 85 for o.
-5
Let h(i) = -i**2 - 30*i + 31. Let q be h(-31). Solve -2*f + 0*f = q for f.
0
Suppose -6*b + 38 = 14. Solve -13*o = -b - 61 for o.
5
Suppose -4*l = -70 - 210. Let w = l - 66. Solve -w*b + 1 = 13 for b.
-3
Suppose 4*j = 2*k + 26, -2*j - k + 11 = -0*j. Let t = 2 + j. Solve 0 = 2*m - 0*m - t for m.
4
Let i(m) = 17*m - 104. Let b be i(7). Solve 2*f - b = -3*f for f.
3
Suppose 3*q - q = -4*w + 20, 3*w = 3*q - 3. Let i = 286 - 286. Solve i*n = n - q for n.
4
Suppose -5*q = 2*o - 31, -o + 8 = -50*q + 51*q. Solve 19 = -14*g + q for g.
-1
Suppose -111 + 1 = -22*t. Solve t*o - 7 = 13 for o.
4
Let h = 7 - 5. Suppose -q = -h*q + 4. Solve -t + 0 + q = 0 for t.
4
Let v = -7 - -10. Suppose -y = -v*r + 26, y - 56 = -4*r - 12. Solve -5*f - 35 = -r for f.
-5
Let q = -9 + 13. Suppose -t + 16 = -q*p + 77, -19 = -p - t. Solve 9 = -5*k - p for k.
-5
Let w = 20 - 6. Suppose 0 = 5*j - 3*z - 3, 2*j + 0*z = 5*z - w. Solve 0*r = j*r for r.
0
Let i(q) = -78*q - 147. Let a be i(-2). Solve 0 = -23*f + a*f + 56 for f.
4
Suppose 0 = 4*n - 5*t + t + 12, 2*n - t = -8. Let j be 4/n*(-50)/20. Let h be 24/9*(-18)/(-8). Solve -h + 0 = -j*m for m.
3
Suppose j - 15 = -l, -5*l = 9*j - 10*j + 15. Let a = 9 - 5. Solve -a*f - j = -f for f.
-5
Suppose 21*n = 8*n + 312. Solve 0 = -6*a + n*a + 72 for a.
-4
Let h(i) = i**3 + 17*i**2 + 54*i + 30. Let f be h(-13). Solve 39 - 19 = -f*p for p.
-5
Suppose 3*i - 17 = 163. Let n = -56 + i. Let d(g) = g**2 + 5*g. Let u be d(-5). Solve u*s = n*s - 20 for s.
5
Let j(z) = -z**2 + 6. Let i be j(-2). Solve -3*c - 10 = i*c for c.
-2
Suppose 3*l - 20 = -l. Suppose l + 3 = 4*c. Solve -4 = c*r - 4*r for r.
2
Let o(n) = -n**2 - 4*n + 4. Let x be o(-4). Let w = 38 - x. Let u = -30 + w. Solve 0 = u*z - 0*z for z.
0
Let v(g) = g**2 + 2*g + 9. Let k be v(-5). Solve -9 + k = 5*t for t.
3
Suppose -6*q + q = 0. Suppose q = 5*k + 4*v - 4, 0 = -4*k - v + 2 + 10. Suppose -5*c + k = -p, -3*p - 4*c + 2*c + 22 = 0. Solve 5*z - p = 2*z for z.
2
Let k(y) be the first derivative of 7*y**3/3 + 2*y**2 - 4*y - 11. Let o be k(1). Suppose -3*v - 24 = -o*v. Solve 0*x = 2*x - v for x.
3
Let z be (-18)/(-3)*16/(-6). Let l be (z/10)/((-16)/200). Suppose 5*q + l = 5*s, -s - 2*s - 3*q = 0. Solve k + s*k = 12 for k.
4
Let q = -21 + 35. Let k = 0 - -4. Let y(a) = 2*a**3 - 5*a**2 - 12*a + 2. Let n be y(4). Solve -k*b = -q + n for b.
3
Let u be (-25)/(-3) - 11/33. Suppose 4*y - i - u = -5*i, 4*y - i = 18. Solve 2*n + y = -2 for n.
-3
Let d(s) = -s**3 - 4*s**2 + 4. Let a be d(-4). Suppose -6 + 2 = -a*y - 4*i, 4*y + 3*i = 7. Let o = y - 0. Solve -8 - 12 = -o*j for j.
5
Let g(m) = 6*m**3 + 4*m**2 - 20*m + 17. Let y be g(1). Solve -y*d + 7 = -21 for d.
4
Let f(d) = d**3 + 3*d**2 - 8*d - 16. Let g be f(-2). Let n = 7 + -2. Solve -n = t + g*t for t.
-1
Let h(j) = -1. Let d(q) = 2*q**2 + 13*q + 2. Let a(v) = d(v) - 5*h(v). Let m be a(-6). Suppose -z - m + 6 = 0. Solve -z*r - 15 = -2*r for r.
-5
Let c(h) be the first derivative of -3*h**2 + 41*h - 23. Let l be c(6). Solve 0 = l*v - 5 fo