 + p = n for n.
1
Let m(j) = 9*j**3 + j**2 - 3*j + 5. Let g be m(2). Suppose 4*b + g = 15. Let h be -12*20/b - 4. Solve h = -0*c + 4*c for c.
3
Let d(j) = -j**3 - 12*j**2 - 12*j - 8. Let u be d(-11). Suppose -2*g - l = l - 18, -5*l + u = -g. Solve -g*q + 4 = -3*q for q.
1
Let x = 23 - 4. Let w be (6/(-4))/(3/(-6)). Suppose v - 16 = -w*v. Solve -3*a + v = x for a.
-5
Suppose -4*r + u - 115 = -0*r, 15 = -3*u. Let n = 32 + r. Solve 0*o - 4 = n*o for o.
-2
Let w = 10 - 6. Suppose -t + w*t = 0. Suppose 10*n = 5*z + 5*n - 25, 4*n + 20 = -4*z. Solve 3*o + t - 15 = z for o.
5
Let x = -1866 - -1878. Solve 0 = -x*o - 11 - 1 for o.
-1
Suppose 2*j + 216 = -7*j. Let d = j - -25. Solve -3*w + d = -2 for w.
1
Suppose -2*j + 257 = 257. Let a = -1 + 1. Solve j*v - 5*v = a for v.
0
Let v be ((12/(-5))/(-1))/((-52)/(-65)). Solve v*x + 0*x = 2*x for x.
0
Suppose -60*b = -64*b + 208. Solve -14*p - b = -p for p.
-4
Suppose -1233*p - 90 = -1251*p. Solve -20 = 3*r - p for r.
-5
Suppose -3*u - 39 = -a + 4*a, 5*u = -4*a - 50. Let c be 1/(-4) + (-1 - a/12). Solve c = -5*f - 4 + 14 for f.
2
Let q = 42 + -68. Let s be (-13)/q + (-14)/(-4). Suppose -s*a + 26 = -22. Solve 4*i - a = -4 for i.
2
Let c = -109 - -113. Let s(p) = -p**3 - 2*p**2 + 2. Let t be s(-2). Let q be (4 - 5)/(t/(-10)). Solve c*u = -13 + q for u.
-2
Suppose 6*q - 4*q = -p + 25, 0 = 3*q - 4*p - 54. Suppose 5*a = -2*a + q. Solve 0*k = -a*k for k.
0
Suppose 4*f + 11*f = 30. Solve 0 = b + f - 7 for b.
5
Suppose 0 = -5*k + 2 - 7. Let j be k - 4/(4/(-5)). Suppose -2*c = -2*o + 4, -j*o + 7*o = -3*c + 6. Solve 3*m - 4*m - 1 = c for m.
-1
Suppose -134 = -20*n + 126. Solve -2*p - n = -5 for p.
-4
Suppose f = m + 1, -3*f = -5*m - 4 + 7. Let t = -30 - -36. Suppose b = 6*b. Solve b = i - m*i + t for i.
3
Let l = -103 + 105. Suppose r + 4 = -4*t, -2*t + l*r + 11 - 3 = 0. Let g(v) = -v**2 + 5*v + 4. Let a be g(4). Solve -m - m + a = t for m.
4
Suppose -195*f + 191*f + 20 = 0. Solve f*b - 3 = -8 for b.
-1
Let b(r) = 13*r + r**2 + 20*r + 2*r - 14*r + 5. Let c be b(-21). Solve -c*t = -t for t.
0
Let y = 21 - 13. Suppose 3*v + y = 7*v. Suppose v*f - 5*f + 6 = 0. Solve 7*g - f*g + 15 = 0 for g.
-3
Let o(k) be the third derivative of k**4/24 + 13*k**3/6 + 5*k**2. Let y be o(-9). Solve -2*b + 6 = y for b.
1
Let l = 93 + -81. Suppose 6 - 2 = s. Solve -8 = -s*d + l for d.
5
Let c(s) = -s**3 + 8*s**2 + 3*s - 76. Let h be c(5). Solve 17*m = h*m - 12 for m.
-4
Suppose 2*z = -4*w + 22, -17 = 2*w - 4*w + 5*z. Solve 14 - w = -2*v for v.
-4
Let g = -2 - -10. Let u = -20 - -18. Let d be (g - (-4)/(-2)) + u. Solve c + 2 = d for c.
2
Suppose -16*d + 18*d = r + 33, -d - 4*r = -30. Solve 0 = -4*t + d - 2 for t.
4
Let q(f) = -f**2 + 12*f - 4. Let t be q(12). Let n be -2 + (-40)/t + -2. Let r be (40/n + -3)*3. Solve 3*j + 1 = -r for j.
-4
Suppose 6*n - 51 + 21 = 0. Solve -1 = n*f + 24 for f.
-5
Let q be (-11 - -6)*(-3)/5. Solve q = 4*h - 13 for h.
4
Suppose -2*c - 4 = -c. Let k(v) = -v**3 - v - 3. Let y be k(c). Let f be (-2)/13 - (-205)/y. Solve 1 = q + f for q.
-2
Suppose 8*k = -9 + 97. Suppose 6*q = 35 - k. Solve q = 5*y - 1 for y.
1
Suppose t + 3*t = 0, 0 = 5*u + 4*t. Suppose u = 5*z + 2*s - 27, -s + 1 + 5 = z. Solve 0 = -2*g + 3 + z for g.
4
Let q(n) be the second derivative of n**3/6 - 11*n**2 - n. Let s be q(17). Let p be (-1)/s + 59/5. Solve -3*v + p = -0 for v.
4
Let u(s) = -2*s + 1. Suppose 0 + 2 = -2*n. Let j be u(n). Let o(a) = 3*a + 2. Let i be o(3). Solve j = 4*w + i for w.
-2
Let l = -7 - 5. Let y be 4 + l/(-2 - -6). Solve -y = -o - 2 for o.
-1
Let y(c) = 2*c**2 - 13*c. Let r be y(7). Solve 2*k + r = 1 for k.
-3
Let l(a) be the third derivative of -a**6/60 - a**5/15 + a**4/24 + a**3 + 22*a**2. Let p be l(-2). Solve -p*v - 8 = -2*v for v.
-4
Let x(m) = -m**3 + 7*m**2 - m - 14. Let b be x(6). Suppose 2 = 2*n, 5*n = -3*j + n + b. Solve j = 2*q - 0 for q.
2
Suppose 16*q + 14 = 17*q. Solve s = 8*s + q for s.
-2
Let w(m) = -m**3 - 4*m**2 - 2*m - 3. Let o = 23 - 27. Let k be w(o). Solve -k = -2*g - 7 for g.
-1
Suppose -48 = -4*k + 3*g, 6*k = 9*k - 5*g - 47. Solve 0 = 8*z - 23 - k for z.
4
Let q be (-83)/(-9) + 30/(-135). Suppose -q = -37*n + 34*n. Solve 7*o - 20 = n*o for o.
5
Let i be (-12 - -8) + (-12)/(-2). Let f be ((-25)/10)/(-1)*i. Solve 12 = a - f*a for a.
-3
Let y = -223 - -227. Solve -51 = y*c - 31 for c.
-5
Let i = 1430 + -1427. Solve -6 - 3 = i*v for v.
-3
Suppose -2*m + 14 = -5*d, -42*m + 43*m + 5*d = 7. Solve m*a + 15 = 12*a for a.
3
Suppose -5 = -5*b + 160. Suppose -3*s - 19 = 4*l - 58, 3*l + 3*s = b. Solve -l - 6 = 3*t for t.
-4
Suppose 26 - 6 = 4*z. Suppose p + 4*p + 1 = 4*n, 12 = 4*p. Suppose n = 4*f - 4. Solve z = -f*q - 1 for q.
-3
Let x(j) = 8*j + 1. Let r(i) = -23*i - 2. Let n(s) = -4*r(s) - 11*x(s). Let h be n(4). Suppose -2*z + h = 5. Solve -p + 1 = z for p.
-3
Let a be 2/2*(1 + 1). Suppose -3*i - a*x + 2 = -4*i, 5*i - x = -1. Let n(m) = 3*m**3 + 7*m - 6. Let z be n(1). Solve 4 + i = -z*h for h.
-1
Let s = 96 + -94. Suppose -i = 2*l - s, 8 + 12 = -5*i. Solve 4*g = l + 1 for g.
1
Let v be (-11 - 8/(-2))/(-22 - -21). Solve 7*f - 28 = -v for f.
3
Let a = -527 - -530. Solve -a*y - 17 = -29 for y.
4
Let z be 1*(-1 + (-1 - 0)). Let k be 4*4 - (2 - z). Solve -4*d = -0 - k for d.
3
Let n(a) = 3*a**2 - 16*a - 7. Let l be n(6). Solve -1 - 4 = -l*o for o.
1
Let h(f) = f - 8. Let i be h(10). Suppose -20 = i*j + 4*b, -2*b - 5 - 5 = 2*j. Solve j = 3*l - 5*l for l.
0
Let c(g) = g**2 + 4*g + 8. Let f be c(-6). Let z be 60/45 + f/(-6). Let j be -1*(-1 - z)*-29. Solve -5*o = -j + 4 for o.
5
Let k = -35 - -59. Solve k*d = 28*d - 12 for d.
3
Suppose -u + 42 = u - 2*o, u + 2*o = 9. Let g = -14 + u. Suppose -5*m = -g*m - 8. Solve m*x = -x + 20 for x.
4
Suppose 0 = -5*o + 25, 3*b = 3*o + 100 - 103. Solve b = 6*d - 2 for d.
1
Let a = 56 - 38. Let m = 19 - a. Solve -d - 1 = m for d.
-2
Suppose 4 = -5*z - 11, 3*z + 9 = -v. Solve 20 = -5*m - v*m for m.
-4
Let y = 465 + -462. Solve y*l = 4*l + 2 for l.
-2
Let u(i) = -i**2 - 7*i + 3. Let t be u(0). Solve -5*o + t = -2 for o.
1
Let s = -548 - -578. Solve -s + 0 = 6*n for n.
-5
Let n(o) = o**3 - 12*o**2 - 14*o + 15. Let v be n(13). Let a be (16/(-56))/(v/(-14)). Suppose -4*r = -a*r. Solve -5 = -l - r for l.
5
Let s(g) = g**2 - 6*g + 14. Let k be s(4). Suppose -k = -a - 4. Solve -15 = -3*c - a*c for c.
3
Suppose 9*u = 5*u + 28. Let p(g) = 3*g + 17. Let t be p(-5). Solve -u*r = -t*r + 20 for r.
-4
Let z = -7 - -5. Let w = z + 2. Suppose w = -0*s + s - 5. Solve g = -0*g - s for g.
-5
Suppose 61 = -0*f + 4*f - q, -4*f = 4*q - 76. Let l = f + -13. Suppose 28*v = 27*v + l. Solve v*h + 3 = -6 for h.
-3
Let f(y) = -7*y - 1. Let u be f(1). Let n be 9/2*u/6. Let l be (-121)/n + 3/(-18). Solve -k - l = 3*k for k.
-5
Let n = 22 - 20. Suppose i + 2*i + n*t - 16 = 0, 26 = 4*i + 5*t. Suppose 3*s + 2*a - 2 = 4, 2*s - a = i. Solve y = -s - 1 for y.
-3
Let p be (9 - 4) + -2 + -4 + 3. Solve -p + 14 = 4*y for y.
3
Let u(q) = -q + 13. Let p be u(12). Suppose 101 = 25*m + 76. Solve -p = -2*d + m for d.
1
Suppose -25 = -3*r - 2*r. Let h = r + -3. Suppose 4*j + 0 = -b + 10, 4*j = b + 14. Solve -h*p - 1 = -j*p for p.
1
Let d = 43 - 26. Solve -7 = -5*j - d for j.
-2
Suppose -6 = -2*s + 2. Suppose -14*u = -11*u - 6. Solve s*z = -14 + u for z.
-3
Suppose 271 = 7*q - 5*b, 0*b - b = -5*q + 191. Solve -6*o - q = -50 for o.
2
Suppose 3*m - 5*g = m - 15, -4*m = -5*g + 45. Let a(y) = 4*y + 60. Let c be a(m). Solve c*d + 8 = 4*d for d.
2
Let a(w) = 3*w**2 - 2 + 3*w**2 - 2*w**2 + 2*w - 3*w**2. Let r be a(3). Solve 5*m + r = 3 for m.
-2
Suppose -2*j = 5*o - 2*o, -j - 5*o = 0. Suppose 28 = 4*f - 4*h, -11*h + 9 = -14*h. Solve j = -y + 3 - f for y.
-1
Let m(k) = 5*k**2 - 21*k + 5. Suppose y - a = 2, 2*a - 4 + 0 = 0. Let w be m(y). Solve -2*z + 5 + w = 0 for z.
3
Suppose 4*w - 6 = 6. Suppose 5*x + 7 + w = 0. Let r = x - -10. Solve -15 = 3*o - r*o for o.
3
Suppose -22*r + 20*r + 82 = 4*c, -4*r = -3*c - 153. Solve -35*n = -r*n for n.
0
Let o be 2*(10/4 - 1). Solve -3*c - o = -0*c for c.
-1
Suppose 0 = -m + w + 5, 5*m - 4*w = 21 + 3. Let j be 2 - m - (-15)/5. Solve j = 3*t - 5 for t.
2
Let u(g) = -g**3 - 7*g**2 - 4*g + 12. Let d be u(-6). Solve j + 5 = -d for j.
-5
Suppose 0 = 2*r + 4*k + 6, 5*k + 27 - 2 = 0. Solve -11 = -9*j + r f