e u*i + 2 = m for i.
1
Let b = 14 - 10. Solve 9*c = b*c + 20 for c.
4
Suppose 2*v - 12 = 4*k, 7*v - 3*k - 15 = 4*v. Solve v = -0*z - z for z.
-4
Let z(q) = -q**3 + 8*q**2 - 8*q + 12. Let o be z(7). Solve -o*w - 2 = -12 for w.
2
Let v = -117 + 126. Solve 3*z = -0*z + v for z.
3
Let n = 16 - 6. Let y be ((-36)/15)/(-4)*n. Solve y*k + 15 = k for k.
-3
Let v(p) be the first derivative of -p**3 + 3/2*p**2 - p - 1 + 1/4*p**4. Let o be v(2). Solve -j = -0 + o for j.
-1
Let s = -72 + 74. Solve -4*n + s = -2 for n.
1
Let y = 26 + -14. Suppose y = s - 5*s. Let f(l) = -2*l - 2. Let j be f(s). Solve -x + j*x = 12 for x.
4
Let w(h) = h**3 - 3*h**2 - 12*h + 12. Let z be w(5). Solve z*r - 4*r = 4 for r.
-2
Suppose -2*v - 14 = -5*c, -v + 5*c - 17 = -0*c. Solve v*l = l for l.
0
Let m(t) = t**3 - 7*t**2 - 6*t + 1. Let f = -16 + 24. Let h be m(f). Suppose 3*g + g - 2*p - 16 = 0, -h = -5*g + 4*p. Solve -g*k + 6 = -9 for k.
3
Let q = -55 + 30. Let k = -19 - q. Solve 4*n - k + 2 = 0 for n.
1
Suppose -2*x + 21 = -4*x + 5*i, x - 4*i = -18. Suppose -2*a + 2*d - 14 = 4, -5*a + x*d = 39. Let p = 10 + a. Solve -9 = -0*t + p*t for t.
-3
Suppose -3*v - 2*v - 25 = 0. Let l be 0 + (-1)/(4/8). Let s = l - v. Solve 10 = s*j + 25 for j.
-5
Let l = -29 + 17. Let p = l - -15. Suppose r + 2*r = 0. Solve r = 2*n - p*n for n.
0
Let z be (6 + -2)*(-1)/(-1). Suppose -2*o + 3*o + 4*v + 10 = 0, -v = -2*o - 29. Let n = -10 - o. Solve -4 - z = n*k for k.
-2
Let l = 4 + 0. Solve 14 = -l*g + 2 for g.
-3
Let w = 15 + -7. Suppose w = -5*z + 4*x, x - 4 = -5*z - 2. Suppose 3*u + 8 = -4*b, -2*u + z*u - 4*b = 8. Solve -d = -u*d + 5 for d.
-5
Suppose -5*g - 4*g + 5*g = 0. Suppose -3*q + 4*q = 21. Solve 5*j - 6 + q = g for j.
-3
Let x = 3 + -7. Let k be 2 + x - (3 - 2). Let n = -1 - k. Solve 3 = -n*q + 1 for q.
-1
Suppose -4*v = -l - 11, 4*l + 16 = -0*v + 2*v. Suppose -4 = -v*n - 6. Let b be (1 + n)/(-8 - -6). Solve -4*t + 7*t = b for t.
0
Let l(g) = g**2 + 2*g. Suppose -u = 3*u + 12. Let k be l(u). Solve k - 6 = b for b.
-3
Let q(z) be the third derivative of z**2 - 5/6*z**3 + 0*z + 0 + 1/12*z**4. Let w be q(5). Solve w*f = 6 - 1 for f.
1
Let f = 4 - 4. Solve f = -4*y + 2 - 6 for y.
-1
Let b = 30 - 15. Suppose 0 = 5*q - 2*q - b. Solve -q*d + 2*d = 0 for d.
0
Suppose 5*g + 31 = 6. Let c = g - -6. Solve -c = 4*d - 5 for d.
1
Let k(s) = s**2 - 5*s + 3. Let a be k(5). Let o(d) be the third derivative of -d**4/24 - 7*d**3/6 - 3*d**2. Let v be o(-7). Solve -a*r + v = -15 for r.
5
Suppose 0 = -2*g - 3*z + 4, 5*g = z - 0*z - 24. Let h = 10 + g. Let x be h/(-21) - 2/(-7). Solve x = 5*v - v + 12 for v.
-3
Let d = -19 + 21. Solve n = -d*n for n.
0
Let v be -1 - 25/(-35) - (-4)/14. Solve v*z = 4*z for z.
0
Let v = 0 + 14. Suppose 4*t - 2*j - v = 0, -4*t + 4*j = -0*t - 24. Solve 1 = n - t for n.
2
Let z = -15 + 10. Let r = 9 + z. Suppose -9 + 3 = -3*c. Solve 2*n = r*n + c for n.
-1
Let p(i) be the first derivative of i**2/2 + 11*i - 11. Let y = 19 + -27. Let t be p(y). Solve h + t*h + 8 = 0 for h.
-2
Let y = -43 + 47. Solve 5*z = y*z - 1 for z.
-1
Let r(i) be the first derivative of i**2/2 + 4*i - 1. Let z be r(-2). Suppose 0 = -4*b - 4*p + 8, 0 = -z*b - 3*b - 2*p + 4. Solve -12 = -4*g - b for g.
3
Suppose -l + 3 = -4*a - 6*l, 0 = 4*l + 12. Solve -a*o + 7 = -8 for o.
5
Suppose 24*f - 25*f = -18. Let a = f + -13. Solve -a = 2*g - 3*g for g.
5
Let b(o) be the second derivative of 1/12*o**4 + 2*o + 0 + 0*o**2 - 1/6*o**3. Let c be b(1). Solve 4*i = -c*i for i.
0
Let m be (-70)/(-5) - (4 - 2). Suppose 0*r = 2*r - m. Solve -r*l = -l for l.
0
Let r(t) = -4 + t**2 - 6 + 13*t - 4*t. Let l be r(-10). Let j = l + 0. Solve -2*x = -j*x - 2 for x.
1
Suppose 2*g = -2*o + 23 - 7, -30 = -4*g - 5*o. Suppose 17*i = 16*i + g. Let l be ((-10)/(-6) + -1)*3. Solve 3*w - i = -l*w for w.
2
Let k(p) = p**2 + 10*p + 13. Let l be k(-9). Solve 2*x = x + l for x.
4
Let i be (-4)/6 + 8/3. Let l be i*((-10)/(-4) + -1). Suppose 0 = 2*f - 5*k - 0*k + 4, -f + 7 = 2*k. Solve -3 - f = -l*a for a.
2
Let y = 18 - 14. Solve y*w + 0 = 8 for w.
2
Suppose -6 = -3*w + 6. Suppose w*h + 11 + 1 = 4*u, 2*h = -6. Solve 4*r - 3 + 15 = u for r.
-3
Let w(k) = 5*k - 23. Let d be w(7). Solve -3*j - d = -0*j for j.
-4
Let z be (4/6)/(11/66). Solve z*u - 2 = 10 for u.
3
Let o = 0 - -5. Suppose x = -c, 3*c - o*c - x = -1. Solve c = 2*w - 1 for w.
1
Let p = 20 + -14. Solve -p*u + 20 = -u for u.
4
Let p = 27 - 26. Let h(g) = -g + 1. Let c be h(p). Solve c*t = t + 4 for t.
-4
Let y(f) = -f**3 + 5*f**2 - 2*f + 4. Suppose -3*d + 15 = -0. Let l be y(d). Let q be 2/l*1*-12. Solve -q = -v + 3*v for v.
-2
Let i = -14 - -16. Solve i*d - 7*d + 5 = 0 for d.
1
Suppose -5*z - 4 + 24 = 0. Suppose -z*b + 4 = -0*b. Solve -b = -2*v + v for v.
1
Suppose -u + 6*u = 0. Suppose 0 = 5*r - 2*r - 15. Suppose r*n - 8 = n, -15 = -5*g - 5*n. Solve g = a - u for a.
1
Suppose 5*z = s - 3 - 26, -2*z - 10 = 0. Let t(k) = 8*k - 1. Let m be t(2). Suppose -s*j + m = j. Solve -18 = 5*g - j for g.
-3
Suppose 4*m + j - 16 = -2*j, -5*j = 4*m - 16. Let r(c) = -c + 5. Let p be r(m). Let u = p + 7. Solve u = -h - h for h.
-4
Suppose 6*p + 3*w = 2*p, 4*w = 5*p - 31. Suppose 3*n = 0, g = p*g - 4*n - 4. Solve g*d = -d - 12 for d.
-4
Suppose 0*n + 2*n + 18 = 0. Let k = n - -14. Solve -k*m + 14 = -6 for m.
4
Let s(x) = -2*x**3 - 15*x**2 - 7*x + 2. Let o be s(-7). Solve o*i - 2 = i for i.
2
Suppose -17 = -5*c + 8. Suppose -4*w + y = -c, 4*w - 2*y - 6 = -0*w. Let m be ((-1)/2)/(2/(-16)). Solve -5*i + w = -m for i.
1
Let c(l) = -7*l - 8. Let a be c(-4). Suppose 2*t - 3*t + 5 = 0. Solve a - t = -5*b for b.
-3
Suppose -y + 11 = 5*n, 4*y + 5 = 5*n - y. Solve -l = n*l for l.
0
Let r be 2/(-36)*4 - (-4)/18. Solve r*j = j - 3 for j.
3
Let n(d) = -d**2 + 4*d - 4. Let q be n(2). Solve q = -2*x + 6 for x.
3
Suppose 0 = 5*g + 2*i - 76, 3*g - 46 - 6 = 2*i. Let b = g - 8. Solve -s - b = s for s.
-4
Let z = -107 - -111. Solve 3*y - z*y + 3 = 0 for y.
3
Let f(w) = -w - 1. Let u be f(-3). Let c(h) = 1 + 2*h - 4*h - 2*h**u + 7*h**2 - h**2 + h**3. Let o be c(-4). Solve -o - 1 = 2*d for d.
-5
Let s(h) = -3*h - 5. Let a be s(-8). Let r = a + -15. Solve 0 = r*x - 7 - 9 for x.
4
Let o be (306/85)/(1/5). Let a = 23 - o. Solve a = 2*f - f for f.
5
Suppose 0*b = 3*b. Let y(k) = 2*k + 7. Let m be y(0). Suppose -m = -w - 2. Solve -w*c = -b*c - 10 for c.
2
Let t(p) = -2 - 2 - p + 2*p + 0*p. Let q be t(7). Solve 0*k = k - q for k.
3
Let r(c) = 2*c + 22. Let i be r(-8). Solve -4*z - 4 = -i*z for z.
2
Suppose 4*t + 2*f = -42, -3*t - 31 = -f + 3. Let p = t + 15. Solve 3*q - 16 = -p for q.
4
Suppose -6*u + 36 = 4*g - u, g = 5*u - 16. Suppose -2*h - 2*h = 108. Let a be 2/11 - h/33. Solve -5*k - g = a for k.
-1
Suppose 3*a + 12 = -4*j, j + 18 + 2 = -5*a. Solve j*x - 5*x = 10 for x.
-2
Suppose 6*t = 5*t + 3. Suppose -15 = 2*m + 4*d + d, 0 = t*m + 3*d + 9. Solve 5*o + 10 + 10 = m for o.
-4
Suppose 27 = -5*l + 5*s - 13, 4*l + 5*s = -68. Let w be (l/5 - -2)*-10. Solve 1 = -z - w for z.
-5
Suppose b - 3 = 3*k - 2*b, -3*k - 3*b = -27. Let a be 3/(k + -1) + 1. Solve 0*q = a*q + 8 for q.
-4
Suppose 0 = -3*u + 4*u. Solve -d - 3*d = u for d.
0
Suppose 14 = -l + 8*l. Solve l*o = 3*o - 2 for o.
2
Let a(b) = -2*b - 4 - 1 - 2. Let z be a(-5). Solve 3 + z = -2*x for x.
-3
Let z be ((-8)/(-5))/((-5)/25). Let y = -4 - z. Let f be 32/14 - y/14. Solve 6 = -m + f for m.
-4
Let g(z) = z**2 + 3*z + 2. Let u be g(-3). Solve 7*o = u*o for o.
0
Let w = 6 - 4. Suppose -h = -w*h + 6. Solve 2*g + h = 5*g for g.
2
Let y be 13/4 + (-3)/12. Suppose 2 = -y*o + 11. Let z = 3 - o. Solve z = -0*l + 5*l - 25 for l.
5
Let n(p) = -p**2 - 9*p - 6. Let r be n(-6). Solve -c - r = 3*c for c.
-3
Let x(k) = 3*k + 2 - 6*k - 8. Let j be x(-6). Solve -j + 0 = 4*m for m.
-3
Let b(q) = q**3 - 3*q + 1. Let l be b(2). Suppose -g = m + 2, -l*g - 5 - 5 = m. Solve -9 = m*n - 5*n for n.
3
Let m be ((-2)/(-5))/(6/(-30)). Let v = 0 - m. Solve 0 = -v*i + 8 + 2 for i.
5
Suppose -67*c = -68*c + 4. Solve 3*h + c = -11 for h.
-5
Let m be 3/6*(1 - -3). Suppose -m*l = -0*l - 32. Solve 0 = -0*d + 4*d - l for d.
4
Let l = 58 + -31. Suppose -z = -4*z + 5*p + 41, 2*z - l = 3*p. Suppose y = z + 8. Solve -5*n - y = -n for n.
-5
Suppose 0 = -d + 5, -5*d = -3*n + 2*n - 22. Solve 0 = n*a - 2*a for a.
0
Suppose -3 =