6 + x for m.
2
Suppose 4*i - 4 = 3*i. Suppose 0 = i*n + n. Solve 0 = d - 4 - n for d.
4
Let n(c) = -c**2 + 4*c + 4. Let o be n(5). Let r = 5 + o. Solve 5*p + r + 11 = 0 for p.
-3
Let s be 5/10*2/1. Let q = 3 - s. Let u = 19 + -19. Solve -w + u*w = q for w.
-2
Let d = 37 - 35. Solve -4*p + 5*p = d for p.
2
Suppose 3*d - a - 8 = -0*d, 3*d - 28 = 5*a. Solve u = -d - 3 for u.
-4
Let b(f) = f - 1. Let d be b(3). Let s(q) = 9*q - 3. Let n be s(d). Suppose 0*x + 5*m = 2*x + n, 4*x = 4*m - 12. Solve j = -x*j + 4 for j.
4
Let t(u) = -u**2 - 7*u - 2. Let w be t(-4). Let z be 4/w*(-4 - 1). Let n be (-3)/(0 + 2/z). Solve -j + 8 = -n*j for j.
-4
Let u(s) = s**2 + 8*s + 9. Let h be (1/1 - 2) + -6. Let v be u(h). Solve -1 + 7 = -v*y for y.
-3
Let v(k) = k**2. Let i be v(2). Suppose 21 + 87 = i*a. Suppose -6 = -4*d + 2. Solve 5*h + d = a for h.
5
Suppose 2*u - 112 = -2*u - w, -4 = w. Let k(q) = 17*q. Let y be k(1). Let j = u - y. Solve 4*d - j = -0*d for d.
3
Let b be ((-24)/(-9))/((-2)/(-6)). Let q = b + -6. Let z be 12/2*(-2)/(-3). Solve q*o = -6 - z for o.
-5
Let i be 1 + (-10)/4 + (-42)/(-12). Solve 0 = i*y - 6*y for y.
0
Let j be 7/(-4)*(-3 - 1). Let l(n) = n**2 - n**2 + 7*n - n**2. Let i be l(j). Solve 5*d + 5 + 15 = i for d.
-4
Let w(x) = -2*x + 71. Let t be w(34). Solve t*d = 13 - 25 for d.
-4
Let w(k) = k**3 + 6*k**2 - k. Let z be w(-5). Suppose -5*x + 10*x + z = 0. Let m = -3 - x. Solve -m*n + 2*n = 5 for n.
-5
Let j = -4 - -7. Solve 0 = 2*c - j*c - 3 for c.
-3
Suppose 4*m + 2 = 2*q, q = 4*m - 2*q + 7. Suppose -4 + 3 = t, -t - 7 = -2*g. Suppose g*h = -m*h. Solve h = -j - 3*j for j.
0
Let z(g) be the second derivative of g**3/6 + 7*g**2/2 + g. Let i be z(-6). Solve -i + 4 = -u for u.
-3
Suppose 42 = 4*d + 2*y, -d + 5 + 23 = -3*y. Let s be (-7)/(-21)*(d - 1). Suppose -3*a = 4*h - 4 - 20, -2*h + 12 = -s*a. Solve -4 = -5*p + h for p.
2
Let q(g) = 2*g**2 - 2*g - 1. Let p be q(-2). Solve -4*u - p = 1 for u.
-3
Let d be (-4)/14 - 684/(-42). Suppose 0 = -5*h + 4*s + 33, 0 = 2*h - 5*s + 2*s - d. Suppose -2*b - 3*f + 37 = -4*f, -4*f = 5*b - 125. Solve 4*t = b - h for t.
4
Let q = -76 - -13. Let p = q + 88. Let h be 2 + 5 - 0/1. Solve 0 = 2*i - h*i - p for i.
-5
Let t(c) = -c - 3. Let g be t(-6). Suppose -4*j - 4*u - 9 - g = 0, -5*j = -5*u - 35. Solve f + j = 6 for f.
4
Suppose y - 1 + 0 = -3*c, -4*c = 2*y - 2. Solve 2*f - 10 = -c*f for f.
5
Suppose -18 = -5*o + 3*i, -o + 6*o = -5*i + 10. Solve -2*p = -7 - o for p.
5
Suppose 4*y = -4*w - 4, -2*w + 2*y - y = 14. Let g(i) = i**3 + 6*i**2 + 6*i + 6. Let c be g(w). Solve 4 = -z - c for z.
-5
Suppose x + 0*g + 2*g = 0, -x - 5*g = 3. Solve -m + x = 4 for m.
-2
Let i = 9 + -2. Let j be (-305)/(-35) + 2/i. Solve 4*g + 11 = -j for g.
-5
Let d = 24 - 36. Let k be ((-8)/d)/((-2)/(-3)). Solve 0 = b - 0 + k for b.
-1
Suppose 7 = 3*i + 2*q, -4*i = i + 5*q - 5. Solve 2*x = i*x + 9 for x.
-3
Suppose 3*x = l - 28, -2*l + 5*x + 38 = -16. Solve l = 3*f + 7 for f.
5
Suppose 2*g + 0*g = 2*j - 6, 0 = -4*g - 4*j + 4. Let h be g*(-1)/((-3)/3). Let x be -2 - (h - 2) - 0. Solve 0 = -d - 5 + x for d.
-4
Let p(c) = c + 5. Let y be p(-5). Let x = -125 + 131. Solve y = t - x*t + 20 for t.
4
Let t(y) = y**2 - 3*y - 6. Let x be (-185)/(-35) - 4/14. Let j be t(x). Let c = -2 + 3. Solve -m - c = -j for m.
3
Suppose 0 = -2*k + k - 14. Let o be k/63 + (-56)/(-9). Solve -o*q + q = -5 for q.
1
Let o be (2 - (1 - -2)) + 5. Suppose -w + x + o = 0, 0 = x - 2. Solve -w = 3*g - 6*g for g.
2
Let d = -8 - -23. Suppose 2*g + 4*i + d = 5, 5*g = i + 19. Solve 2*n = -g*n + 25 for n.
5
Let b be 30/(-10) - (0 + -3). Suppose -5*t = -0*t - 15. Solve b*m + 12 = t*m for m.
4
Let b = -77 - -78. Solve u = b + 2 for u.
3
Let h(b) = -b**2 - 3*b + 57. Let f be h(-9). Solve f*p - p = 6 for p.
3
Let n be 1*(-4 + 1 + 3). Let o(s) = -s + 5. Let x be o(4). Suppose -16 = -4*d + 2*c, 0*d + 8 = 2*d - 3*c. Solve i - x + d = n for i.
-3
Suppose 2*y + 3 = -13. Let a = -3 - y. Let v = -1 - -1. Solve v*w = -a*w - 15 for w.
-3
Let j be 2/(6/(-9)) - -17. Suppose -3*q + 5*u - 22 = -2*q, 0 = 3*q - 3*u + 6. Suppose -g - j = -q*g. Solve 5*d = g - 2 for d.
1
Suppose -6*k + 7*k - 10 = 0. Solve -2*h = 3*h - k for h.
2
Let t be (2 - (-2 - -4))/2. Solve -3 = -t*l + l for l.
-3
Suppose 0 = 3*d - 2*o - 8, 5*d - o = 2*o + 13. Suppose -d*v + 54 = 16. Solve 6 = -5*w - v for w.
-5
Let f = 2 - -3. Suppose 0*j - 25 = -f*j. Solve -2*g = -g + j for g.
-5
Let w(j) be the second derivative of j**4/12 - j**3/6 - j**2 + 4*j. Suppose q - 5*x = 4*q - 12, -5*x - 8 = -2*q. Let z be w(q). Solve -5*r + 5 = z for r.
-1
Suppose 8*b = 4*b + 24. Solve 5*w - b = -1 for w.
1
Suppose -3*n + 9 - 6 = 0. Solve 2*b - n = 3*b for b.
-1
Suppose -27 = -2*w + 5*w. Let o(f) = f**2 + 9*f + 6. Let r be o(w). Solve 2*l - r = -4 for l.
1
Suppose -2 = -3*j - l + 3, 5*j = -3*l + 15. Solve a + j*a + 2 = 0 for a.
-2
Let u(o) = 3*o - 1. Suppose 3*p - 4 = 2. Let r be u(p). Solve -r*i - 9 = 6 for i.
-3
Suppose -z - 2 = a, 0 = 2*z + 4*a - 5 + 3. Let s(r) = 2*r + 2. Let w be s(10). Let y = w + z. Solve 4*o - 5 = -y for o.
-3
Let o be (7/2)/(2/(-4)). Let y = o + 4. Let h be 0/(y + 1) + 4. Solve 7 = h*b - 1 for b.
2
Let o be 1/((-2)/(18/(-3))). Solve 3 = o*x - 0 for x.
1
Let k = 0 - -2. Let z = -4 - -6. Let q = z + 1. Solve k*g + q*g - 20 = 0 for g.
4
Let r(d) = -d**3 - 12*d**2 - 7*d + 7. Let t(a) = 2*a**3 + 25*a**2 + 14*a - 14. Let n(f) = -7*r(f) - 3*t(f). Let k be n(-8). Solve 4 = x - k for x.
5
Let a be (2 + 0 - 3)*-6. Let s = a - 4. Suppose -s*w = 4*c - 16 - 2, 0 = -c - 3*w - 3. Solve 2*v = -c - 4 for v.
-5
Let m(j) = -j**3 - 4*j**2 + j - 4. Let k be m(-4). Let q be k/18*6*-6. Solve -q = -3*i - i for i.
4
Suppose 30*f = 31*f - 5. Suppose -6*n + f*v = -3*n - 16, -4*v = -5*n + 18. Solve -2 - n = i for i.
-4
Suppose 5*i = -2*i + 70. Solve -2*m = -0*m - i for m.
5
Let y = -2 + 2. Suppose y*r + 3*q = -3*r + 15, 0 = 5*q. Solve -r*m + 24 = -1 for m.
5
Let y(b) = -b**3 - 6*b**2 + b - 5. Let l be y(-6). Suppose -45 = 5*x - 2*z, 0 = -2*z - 0*z + 10. Let o = x - l. Solve 0 = -9*s + o*s for s.
0
Let m = 13 - 9. Let q(n) = -n**3 - n**2 - n + 14. Let t be q(0). Let v be (-66)/(-14) - (-4)/t. Solve v*g = -m - 21 for g.
-5
Let n = -10 + 16. Suppose -n = -4*k + 3*k. Solve g = -7 + k for g.
-1
Let l(n) = n**3 - 5*n**2 - 4*n. Let c be l(6). Suppose c = 4*r - r. Solve 0 = -3*g + r*g - 3 for g.
3
Suppose 0 = 2*q - 5*p - 1, 3*q = -3*p + 2*p + 10. Solve q*c = 4*c + 2 for c.
-2
Suppose z - o + 1 = 0, o - 2 - 3 = -z. Suppose -4*r - r - 40 = 0. Let p be r/(-12)*(-6)/(-4). Solve 0 = 3*g - z*g - p for g.
1
Suppose -2*x = -x + 4, -4*x - 16 = -b. Solve -3*r + 4 + 2 = b for r.
2
Let n be 5*(-1 - 0)*(-48)/60. Solve -3*x - x = n for x.
-1
Let b(y) be the third derivative of y**5/10 + y**4/24 - 3*y**2. Let n be b(-1). Suppose -n*q + 14 = 2*u, q + 4 = -2*u + 5*q. Solve u = -2*a - 0 for a.
-1
Let v(s) = s - 10. Let x be v(9). Let z be 17/(2 - (-1)/x). Solve -4*f + z = 1 for f.
4
Let u = 14 + -10. Solve -c + 1 = -u for c.
5
Suppose 3*p + 15 = g, 2*p + 4*g + 1 = -9. Let m = p - -5. Suppose -4*j - 3*h - 9 = 0, 5*h + 0 + 15 = 5*j. Solve m = -j*a - a + 5 for a.
5
Suppose j + 3 = 7. Solve 0 = j*o - 3*o + 1 for o.
-1
Suppose 2*h - 5 - 5 = -2*k, -2*h - 8 = -4*k. Suppose 10 = 5*n - 0. Solve -4 = -k*w + n for w.
2
Let f(q) = -q**3 + q + 2. Let u be f(2). Let c be (-114)/(-10) - u/(-10). Let i = -5 + c. Solve 4*w + i = w for w.
-2
Let i(p) = 6*p + 60. Let w be i(-10). Solve 2*h + 3*h + 10 = w for h.
-2
Let g(o) = -o - 7. Let p be g(-12). Solve p*q = -9 - 6 for q.
-3
Suppose -2*o = h - 9, 5*o - 24 = -0*o - h. Solve 4 = -l + o for l.
1
Suppose 0 = 5*j - 76 + 16. Solve -j = i + 2*i for i.
-4
Let l be 4/5*(-135)/(-18). Suppose -l*m + 7*m - 5 = 0. Solve 3*t + 4 = m*t for t.
2
Let a = 5 + 30. Let r be (a/21)/((-1)/(-3)). Solve -r*l - 8 = -l for l.
-2
Let x = 15 + -25. Let f be (4/x)/((-1)/10). Suppose 35 = 3*u + 2*u. Solve -u - 13 = -f*w for w.
5
Let j = -4 - -9. Suppose h + 4*r + r - 25 = 0, -j*h = -r + 5. Let u be (-4)/12*h/(-2). Solve -2*n = -u*n for n.
0
Let u(h) = h**2 - 8*h - 5. Let v be u(9). Let k be (-4)/(-10)*(-9 - 1). Let m = v + k. Solve m*c + 4 = 4*c for c.
1
Let w(n) = -n**2 + 10*n + 14. Let l be w(11). Solve 10 = -l*r + 25 for r.
5
Let g(r) = -2*r - 5. Let x be g(-5). Le