1. Solve m + 3 = y for m.
-2
Suppose -5 = -2*p + 3*k + 9, 4*p - 28 = 4*k. Let v be (p - 2) + 0/3. Solve 5 - 20 = -v*x for x.
3
Suppose 13 - 1 = -2*i. Let l be (-10)/i + (-1)/(-3). Suppose n + x = 4, l*n - n + 3*x = 8. Solve 4*w - 14 = n for w.
4
Suppose -z - 2*z + 2*m = -11, 3*z + 2*m = 7. Solve -z*o = -5*o + 8 for o.
4
Let t = 67 + -61. Solve -5*y = 14 + t for y.
-4
Let q(w) = -26*w**3 - 2*w**2 - 2*w - 1. Let m be q(-1). Let g = 16 - m. Let z = -5 - g. Solve 0 = 2*t + z + 4 for t.
-4
Let w be 2/(-5) + 2/5. Suppose w = -3*a + 3 + 30. Solve -2*c - a + 1 = 0 for c.
-5
Suppose 0*d = -5*d. Suppose d = -4*a, 7*u + a = 3*u + 24. Let i be (-5)/(-3) - (-2)/u. Solve -2*o = i*o + 16 for o.
-4
Suppose 5*k = 2*k. Let y be (8 - 3)*(k + 1). Solve -y*v = -0*v - 10 for v.
2
Let c(f) be the third derivative of f**6/120 + f**5/12 - 5*f**4/24 + 4*f**3/3 + 5*f**2. Let x be c(-6). Solve 0*i = -x*i for i.
0
Let c be -2*1 - (-16 - -4). Suppose 4*r - c = -r. Let v = 4 + -4. Solve v = -0*o + r*o for o.
0
Let m = -21 - -44. Let l = m + -17. Solve l*q = q - 15 for q.
-3
Suppose 0 + 2 = -4*j + 2*n, 20 = 5*j + 2*n. Suppose -3*r = -21 + 6. Suppose -i = 4*f - 9, -j*f = -r*i + i. Solve -i = k + 4 for k.
-5
Suppose -2*d - 2*j = -0 + 2, -1 = -d + j. Suppose d*v = v. Solve v = -b - 2 - 1 for b.
-3
Suppose 4*b = -8, 4*s - 2*b - 22 = 3*b. Let x(y) = -2*y + 7. Let o(q) = -q + 3. Let l(m) = -7*o(m) + 3*x(m). Let z be l(4). Solve s*d - z = d for d.
2
Let c be -3*10*(-1)/6. Suppose -2 = c*b - 12. Solve b*x + 2*x = 8 for x.
2
Let j(b) = 8*b**2 - b - 2. Let d = 8 - 6. Let y be j(d). Let g be (-82)/(-7) + 8/y. Solve -g = -2*a - a for a.
4
Suppose -3*i = -3 - 15. Let x(u) = u**3 + 3*u**2 - 2. Let d be x(1). Solve -8 = -i*o + d*o for o.
2
Let l be 0/1 - (-3 + -2). Suppose l + 10 = 3*k. Solve -k = m + 4*m for m.
-1
Let q = 6 + -3. Let z be (-3)/(9/q) - -5. Solve z*p + 5 = 1 for p.
-1
Suppose 0 = 2*s + 3*s + 70. Let r = -10 - s. Suppose -5 = -4*g - g. Solve -5*w + r = -g for w.
1
Let q(a) = 4*a - 16. Let h be q(6). Solve -3*t - 20 = -h*t for t.
4
Suppose 0 = 4*g - 8, 4*x - x - 3*g + 12 = 0. Let a = -1 + x. Let r = -1 - a. Solve 0 = 4*n - 2*n + r for n.
-1
Let v = -1 - 5. Let z be ((-4)/v)/(2/33). Let x = -12 + 12. Solve x = -2*i + z - 1 for i.
5
Let z = 9 + -2. Suppose z - 17 = -2*d. Solve -20 = d*i - i for i.
-5
Let x(r) = -r - 11. Let y(i) = -i - 10. Let h(g) = -6*x(g) + 7*y(g). Let j be h(-4). Let o(s) = s**2. Let z be o(j). Solve 0 = 2*w - z + 6 for w.
-3
Let g(d) = 2*d - 27. Let m be g(15). Solve m*q - 20 = -q for q.
5
Let p(g) = 2*g + 5. Let t be p(5). Suppose -5*z + 0 = -t. Let f be ((0/z)/(-1))/2. Solve u + 3 - 8 = f for u.
5
Suppose -4*o + 8 = -3*o - s, -18 = -2*o + 3*s. Let i be (-2)/(-6) + (-2)/(-3). Solve o - i = k for k.
5
Suppose 8*z = 11 + 13. Solve -h + z = -0 for h.
3
Let t be -2 - (14*3)/2. Let x = t - -43. Let f be 2 + (-1 - 2) + 1. Solve f*q + x = -4*q for q.
-5
Let x = 6 - 2. Solve -6 - 2 = x*p for p.
-2
Let r(h) = 22*h + 5. Let g(c) = -21*c - 5. Let w(v) = -6*g(v) - 5*r(v). Let l be w(-5). Let f = -48 - l. Solve -5*s = -f + 2 for s.
5
Let v = 11 + -11. Suppose 0 = -j - v + 6. Solve 4*q - q + j = 0 for q.
-2
Suppose -7*n = -2*n + 4*q - 23, n + 7 = 5*q. Solve n*b + 2 = 4*b for b.
2
Let u = 156 + -154. Solve -2*f = -f - u for f.
2
Suppose 0 = 4*h - 0*h + 5*g - 25, 2*g = 2*h - 8. Let r be -3 + h - (-1 + 0). Suppose -2*w + 3*y = -3 + 6, r*w - 5*y = -7. Solve -5*a - 1 = -w for a.
1
Let h(a) = -3*a**3 - 15*a**2 + 18*a - 3. Let t(j) = -j**3 - 5*j**2 + 6*j - 1. Let s(z) = -4*h(z) + 11*t(z). Let g be s(-6). Solve g = -0*y - y for y.
-1
Suppose f = -2, -4*f + 18 = 4*p + 54. Let n(q) = q + 13. Let d be n(p). Solve -s + d = -3*s for s.
-3
Suppose 5*g - 2*g = 12. Solve 0*p - g*p + 4 = 0 for p.
1
Let c(j) = j**2 + 5*j - 16. Let l be c(-9). Solve l = -g - 3*g for g.
-5
Let b(d) = -d + 2. Let h = -4 + 8. Let f be b(h). Let i be (1/(-2) + f)*-2. Solve 0 = -i*a + 5 - 20 for a.
-3
Let v be 1/4 + (-186)/(-24). Solve 0 = 4*k - v - 0 for k.
2
Suppose 28 = 4*f - 0*f. Suppose n - f = -o + 5, -2*o + 4*n = -12. Let t = 16 - 7. Solve 0 = 4*s - t*s - o for s.
-2
Let x = 43 - 37. Solve 6*h = 3*h - x for h.
-2
Let h = 24 - 22. Solve h*p + 12 = -p for p.
-4
Let h = -5 - 1. Let q = 11 + h. Suppose 2*k + 16 = -a + 5*a, -27 = -k - q*a. Solve 0*j = j - k for j.
2
Let j = 22 + -32. Let u(r) = -r**3 - 11*r**2 - 11*r - 7. Let b be u(j). Solve -b*c - 2*c = 15 for c.
-3
Suppose -2*d = -0*d - 8. Let n(h) = h**2 - 4*h + 1. Let s = -3 + 8. Let t be n(s). Solve -d*l + t = -2*l for l.
3
Suppose -2*p + 3*p = 0. Let g = 3 - 0. Solve -2*v - g - 1 = p for v.
-2
Suppose 14 + 1 = v. Let k = v - 15. Solve k = -o - 2*o for o.
0
Suppose -2*q = -3*q + 2. Let p(g) = g**3 + 4*g**2 - g - 2. Let c(t) = -t**2 + 8*t - 10. Let z be c(7). Let y be p(z). Solve -q*o = 3*o - y for o.
2
Let o(t) = -t**2 + 5*t + 3. Let h be 15/(-10)*(-20)/6. Let d be o(h). Solve -2*c = -d*c for c.
0
Suppose 0 = -w + 10 - 5. Suppose -10 + 18 = 4*f. Solve f = w*s - 23 for s.
5
Let p = 8 - 9. Let k = -3 - -7. Let w = p + k. Solve 2 = -w*r - 7 for r.
-3
Let v(b) = 3*b**3 - b**2. Let a be v(1). Solve a*g + 2*g = -12 for g.
-3
Let a = -31 - -36. Solve a = -5*c - 15 for c.
-4
Suppose 8*m - 12*m = 0. Let i(y) = -y**3 - 5*y**2 - 6*y - 4. Let o be i(-4). Suppose 0*q = 2*q - o. Solve m*g - 8 = q*g for g.
-4
Suppose -3*n + 6 = u - 4, 2*n = -5*u - 2. Let k(j) = -j**3 + 3*j**2 + j - 1. Let b be k(3). Let r be 3 - (u/b)/1. Solve l = -r*l - 10 for l.
-2
Let d(u) = -u + 2. Suppose 0 = 2*y - 5*z - 15, z - 2*z = 4*y + 3. Let x be d(y). Solve -x = -3*l - 5 for l.
-1
Suppose -2 + 3 = z. Solve 16 - z = -5*l for l.
-3
Let c = 15 + 2. Solve c - 2 = -5*i for i.
-3
Let l(r) = -r**3 + 7*r**2 - 4*r - 7. Let g be l(6). Solve -2*s + 5 = -g for s.
5
Let l be (-40)/18 - (-32)/144. Let j be 0/(-1 + 3) - l. Solve 0 = -0*m - j*m - 4 for m.
-2
Let w(p) = -p + 4. Let f be w(4). Solve -5*n = -f*n - 15 for n.
3
Suppose 10*a = 11*a. Suppose 2*g - 6 = 5*g + 3*s, -s = -4*g + 12. Solve q - g = -a for q.
2
Let v be 49/7 - 1*3. Solve 2*b + 2*b + v = 0 for b.
-1
Let p = 0 - 1. Let w be (1 - 1)/(-1 + p). Suppose w = 3*x + 2*x - 25. Solve 4*o + 7 = -x for o.
-3
Let a be 3 + -1 - 6 - -2. Let g = 4 + a. Suppose h = g*h. Solve -5*n = -h*n + 5 for n.
-1
Let v be 2/3*18/3. Suppose 0 = -f + 3*m + 15, 2*f + 4*m = 12 - 32. Solve f = v*i - i + 15 for i.
-5
Suppose -5*u + 11 = -9. Suppose -u*a - 26 = -2*p - 0*a, -5*p = -3*a - 30. Suppose p*m - 3*o = 2*o - 10, o = -2*m + 2. Solve -5*f + 10 = -m*f for f.
2
Suppose -5*u + 0*u = -30. Let z = -2 + u. Suppose z*i = 3*s - 5*s, 2*s = 5*i - 18. Solve -i = -0*c - c for c.
2
Suppose -4 = 5*r + g - 5*g, -4*r = -4*g + 4. Suppose -3*s - 5 = -17. Solve k + 1 - s = r for k.
3
Let j be (-1)/(-6) - 23/(-6). Solve -j = 4*d + 4 for d.
-2
Let p = 17 - 12. Solve -p = 5*u - 15 for u.
2
Let r(t) = -t - 6. Let p = -19 - -10. Let l be r(p). Solve -l = -x + 1 for x.
4
Let a(k) = -k - 8. Let b = 21 + -29. Let h be a(b). Let q = 13 + -7. Solve h = o - 4*o - q for o.
-2
Let p be (10/(-6))/((-295)/354). Suppose 3 = 3*n - 0. Suppose 0 = -4*i + 3*d - 3, -2*i - i + d = -4. Solve p*a = i*a + n for a.
-1
Suppose 0 = -w - 4*w + 10. Solve w = -r + 6 for r.
4
Suppose -3*w = -7*w. Let m(t) = -t**3 + 4*t**2 + 2*t - 5. Let f be m(4). Let h(r) = -r**3 + 5*r**2 + 6*r. Let x be h(6). Solve x = n - w + f for n.
-3
Suppose 0*u - 8 = -4*u. Let m = 4 - u. Solve p = -m*p for p.
0
Let i be 2/(-6) + (-2)/(-6). Let n = i + 2. Solve 6*m = n*m - 16 for m.
-4
Suppose 3*u + 3 = 2*x - 2, -21 = -u - 5*x. Suppose -1 = -4*l - a + u, 3*a = -5*l - 1. Solve 3*m = -5 - l for m.
-2
Let z(o) = -o**3 + 4*o**2 - 2. Let c be z(3). Let n = c - 3. Let h = n + 12. Solve 6 - h = 2*k for k.
-5
Let z(l) = -l**3 - l**2 - 1. Let h(s) = -3*s**3 - 5*s**2 - s + 2. Let v(x) = h(x) - 4*z(x). Let j be v(0). Solve j*c - 4*c - 10 = 0 for c.
5
Let p = 82 + -81. Solve 0 = 2*t - p + 3 for t.
-1
Let d(m) = m + 9. Let u be d(-7). Suppose -2*x + u = -8. Solve 0*j + j + x = 0 for j.
-5
Let y be (-2)/(-2 - -4) - -2. Let l(s) = s**2 - s. Let j be l(y). Suppose r - 3*r + 8 = j. Solve 3*b + r = -b for b.
-1
Let a(r) = 4*r + 46. Let q be a(-11). Let u be 74/14 - (-4)/(-14). Solve q*l = u*l for l.
0
Suppose 0 = 2*k - 3*w - 19, -2*k + w + 20 = -3*w. Sol