-t for p.
-1
Let y = -96 + 100. Solve -y*l - 3 = -7 for l.
1
Suppose 6*h - h + r = 3, r - 3 = -3*h. Solve 5*l - l + 12 = h for l.
-3
Let f = -50 + 54. Solve f = -n + 1 for n.
-3
Let f be (-16)/(-12) + 4/6. Suppose -90 = f*d + 3*d. Let j be (-1)/(3/d) - 0. Solve 0 = -j*r + 4*r + 2 for r.
1
Let f be (7/15*6)/((-6)/(-15)). Solve -f*r - 1 = -6*r for r.
-1
Let i(f) = 2*f - 9. Let c be i(7). Suppose -2*o = c*g - 33, -2*g - 5 - 5 = -5*o. Solve -o*k + 2*k + 10 = 0 for k.
5
Let i be (-3)/((-6)/(-4)) + 1. Let w(a) = 0*a**3 - 1 + 1 - 5*a**3. Let d be w(i). Solve -4*q + d*q = 0 for q.
0
Let n(m) = -11*m - 1. Let g be n(-1). Suppose 5*h - 5*a = g, -5*a = -2*h - 3 - 2. Suppose 0 = -3*i + i + 2. Solve 0 = -2*b - i - h for b.
-3
Let u be 16/4*(-2)/(-2). Solve u*i - 11 = 9 for i.
5
Let u(p) be the third derivative of p**5/60 - p**4/4 + p**2. Let d be u(6). Solve -i - 3*i = d for i.
0
Let l be (-3)/9*(2 - 17). Let u(m) = m**2 - 4*m - 4. Let b be u(l). Let j be (-1 - -3)/(b/2). Solve 3*r - j = -1 for r.
1
Let j(a) = -a**3 - 4*a**2 + 11*a. Let c be j(-6). Solve g - c*g + 20 = 0 for g.
4
Suppose 5*f = -3*k + 2 - 0, -3*k = 3*f. Let y = f - -2. Solve y*o + 15 = 3 for o.
-4
Let o be (-32)/(-2) + 0/(-2). Suppose -o = -4*c + 4. Suppose 3*y = -c*p + 14, -5*y - 2*p + 10 = -7*p. Solve 0 = -y*t + t - 4 for t.
-2
Suppose -4*x - 3 = -6*l + 3*l, x - 8 = -l. Suppose -x*a + 4*p + 0*p = -61, 3*p - 33 = -3*a. Solve -3*y - a = 2*y for y.
-3
Let o = -15 - -15. Solve -4*f + 20 = -o*f for f.
5
Let t = -16 - -26. Let j be 9/6*(-12)/(-9). Solve -j*o + 7*o = -t for o.
-2
Let v be ((-25)/(-10))/((-2)/(-4)). Suppose v*a = a. Suppose -d + 1 = -a*d. Solve q = -3 - d for q.
-4
Suppose 4*y + 2*c = -0*y + 30, -2*c + 5 = -y. Suppose -y*x - 27 = -3*f, -x + f = 3*x + 16. Let t = x + 6. Solve u - t = 2 for u.
5
Let y(n) = -n - 6. Let z be y(-9). Let m be (-2)/z*21/(-14). Let x be (-2 - m)/(9/(-12)). Solve x = -v - v for v.
-2
Suppose -2*w + 0*w = -8. Solve 1 = w*n + 13 for n.
-3
Let o = -2 - -5. Suppose 3*t = -0*t + 15. Suppose t*z = z. Solve z*n = o*n + 15 for n.
-5
Let u(k) = -k**2 - 4*k + 7. Let j be u(-5). Suppose j*t + 3 = 3*t. Suppose 2*o + 1 = t. Solve 2*p - p = o for p.
1
Let h(q) = -q**3 + 10*q**2 + 10*q + 11. Let x be h(11). Solve 3*s - 2*s - 5 = x for s.
5
Suppose 2*w = -8 - 0. Let c(h) = -h**2 - 1. Let t(v) = 6*v**2 + 4*v + 5. Let a(d) = -5*c(d) - t(d). Let f be a(w). Solve f*l - 1 = l for l.
-1
Let t(l) = -l**2 - 3*l + 1. Let r be t(-2). Suppose 5*z = -5*y - 15, -2*y - 7 = r. Solve 0 = z*v - 5*v + 15 for v.
5
Suppose 2*z - 6 + 0 = 0. Solve -z*w = -w - 4 for w.
2
Let z be 1/3 + 10/15. Suppose n = -3*t - z, -2*n - 2*t = -n. Solve n = f + 7 for f.
-5
Suppose -11*i + 15 + 29 = 0. Solve 3*v + 10 = i for v.
-2
Let b = -71 + 81. Solve -b = -q - 13 for q.
-3
Let o(s) = s**3 - 6*s**2 - 25*s - 10. Let t be o(9). Solve -6*k = -10*k - t for k.
-2
Let y(x) = -2*x + 4. Let a be y(0). Solve 16 = a*q - 4 for q.
5
Let f(q) = -q**3 + 6*q**2 - 2*q - 4. Let b be f(4). Solve -b = -j + 6*j for j.
-4
Let p(v) = -v - 2. Let a be p(-6). Let k be a/((-4)/(-3)) - -2. Suppose -q - k*z = -3*q + 10, 3*q = -3*z - 6. Solve -3*j + 2*j + 4 = q for j.
4
Let p(z) = 9*z + 3. Let h be p(0). Let q = -3 + 5. Solve -q = h*d - 17 for d.
5
Suppose 20 = b + 4*b, 0 = 2*w - 4*b + 18. Let c be 0/(w + 0 + 3). Solve -3*k + 5*k - 10 = c for k.
5
Let o = 11 - -3. Let n = -348 - -350. Solve -o + n = -4*g for g.
3
Let d(g) = g**3 + 3*g**2 + 2*g. Let s be d(-2). Suppose -p + 50 = p. Suppose -3*j = 2*j - p. Solve s = 2*w - j*w + 3 for w.
1
Suppose 10*l + 6 = 13*l. Suppose -24 = -3*h + 3*g, 0*g = -l*g - 8. Solve -h = -5*x + 1 for x.
1
Let r(q) = q - 2. Let d be r(11). Solve 0 = -7*f + d*f - 8 for f.
4
Let c = -52 + 54. Solve 0*h + h + c = 0 for h.
-2
Let r = -17 - -22. Solve r*b + 13 = -12 for b.
-5
Suppose -12 = 2*x - 16. Solve -x*k + 8 + 0 = 0 for k.
4
Let a(w) = 2*w**2 + 3*w + 1. Let t be a(-2). Suppose -6*b + b + 28 = 4*n, b = 2*n. Solve f = -n*f - t for f.
-1
Suppose -b - 12 = -3*v - 0*b, -5*v = -5*b - 10. Solve v*c - 5 = -0*c for c.
1
Let v = 6 + -6. Suppose v = w + 3 - 5. Solve w*k + 6 = -k for k.
-2
Let q = -79 + 81. Solve 4 = -q*g - 0*g for g.
-2
Let h = 26 + -24. Solve h*k = 6*k - 4 for k.
1
Let v = -29 + 32. Solve v*u - 6 = 3 for u.
3
Suppose -4*l = -2*z - 28, 5*l - 3*z - 15 = 22. Suppose 0 = l*b + c - 4 - 20, 4*b + c = 19. Solve 0*k + k = -b for k.
-5
Let r = -8 + 12. Solve -k + r*k = -3 for k.
-1
Let f be (-2)/((-5)/((-35)/(-2))). Let o = 11 - f. Solve -o*g = -7*g - 3 for g.
-1
Suppose -3*f = 2*v - 19, f - 3*v + 11 = -1. Solve 0 - f = 3*k for k.
-1
Suppose 4*y - 100 = -2*u, -2*u + 0*u + 3*y = -65. Let d = u + -27. Suppose 3*s = d - 4. Solve 2 = -t + s*t for t.
1
Suppose -2*d + 24 = 2*d. Let w be 2*d/4 - 1. Solve -2 = -2*h + w for h.
2
Suppose 0 = 2*i + 2*i + 172. Let x = -28 - i. Solve 0*y + 5*y = -x for y.
-3
Let u = -14 + 16. Suppose -3*a - u*d = -5, -4*d - 1 = 3*a + 4. Solve -v = -6*v + a for v.
1
Let m(s) = s**3 + 6*s**2 - s + 3. Let g be m(-6). Let p be (-3 + 30/9)*g. Solve -p*w = -w - 2 for w.
1
Let c(u) = u**2 - 5*u - 4. Let j be c(6). Solve 9 = -r - j*r for r.
-3
Suppose -11 - 19 = 5*c. Let i = c - -6. Solve i = 4*z - 7 + 3 for z.
1
Let t be 0 + -2 + -19 + 21. Solve t*l = l for l.
0
Let v be 42/11 + 2/11. Solve h = -0*h + v for h.
4
Let x be 7 + (-6 - 1) + 3. Solve -f + 1 = x for f.
-2
Let d be 2/(-5) + 77/5. Let y be (-1)/(-3) + 295/d. Let q = -5 + 7. Solve -2*l + y = q*l for l.
5
Suppose 4*d - 2*y + 5*y = 5, 4*y + 8 = 2*d. Solve -d = i - 2*i for i.
2
Suppose 5*i - 3 = -4*r, 3*i - 19 + 1 = 3*r. Let w(b) = -b**2 + 4*b + 2. Let a be w(i). Solve 4*c = 3 + a for c.
2
Let f(i) = -13*i**3 - 3 + 0 + 4 + 0. Let m be f(-1). Let p be (-2)/7 - (-4)/m. Solve p*w = -3*w for w.
0
Let f(w) = w**3 - 2*w**2 - 7*w + 3. Let v be f(4). Solve -v = 4*r - 3 for r.
-1
Let c(m) = -3*m**2 - 22*m - 1. Let a be c(-7). Solve -a*s - 20 = -2*s for s.
-5
Suppose -3*s + 3*r = r - 46, 43 = 4*s + r. Solve 4*q = q + s for q.
4
Let y(r) = 4*r**2 - 3*r - 3. Let p be y(-2). Suppose v + 1 = 4*j - 0, -p = -3*v + j. Let g = -2 - -4. Solve -v - 1 = -g*x for x.
4
Let s(c) = -c - 5. Let g be s(-10). Suppose 2*p = -6, g*b + 3*p + 0*p = 6. Solve 3 = 2*m - b for m.
3
Let s be (-3 - -2)/(5/(-10)). Let w = 17 - s. Solve -h + w = 4*h for h.
3
Suppose 12*p - 24 = 6*p. Solve -13 = p*a + 7 for a.
-5
Suppose 11*x + 7 = 40. Solve -x*m = -5*m + 4 for m.
2
Let k be ((-3)/(-3) - 1)/(4/(-2)). Solve k = 3*x + 3 - 9 for x.
2
Let m(k) = 6*k - 2. Let d be m(3). Let i = 5 + d. Let v be (4/14)/(3/i). Solve 2 = -0*t - v*t for t.
-1
Let z be -4 - (15 + (-7 - -3)). Let h be (-69)/(-15) + (-6)/z. Solve 0 = 2*i - h*i - 3 for i.
-1
Let g(j) = 5*j**2 - 1. Let u be g(1). Solve 2*k = -0*k + u for k.
2
Suppose -z + 3*z = 0. Suppose -p + 1 + 4 = z. Suppose 28 = p*q - q. Solve -q*n = -2*n + 20 for n.
-4
Let k = 2 + 1. Solve -2*q = -k*q + 5 for q.
5
Suppose -3 = g - 8. Suppose g*b = 4*b. Solve b = h - 2 for h.
2
Suppose -5*u + 145 = -5*l, -3*u = 2*l + 6 - 78. Solve -4*x + 6 = u for x.
-5
Let c(k) = -k + 7. Let b be c(0). Suppose -b = -3*p + f, 0*f + 6 = 4*p - 3*f. Suppose 4*j + g = 18, p*j + g - 10 = j. Solve -j*u - 7 = 1 for u.
-2
Suppose 2*d = 10, 4*m + d = 39 + 6. Let p = 5 - 8. Let b = p - -3. Solve 0 = 2*c - b - m for c.
5
Suppose -5 = m + 4*i + 14, 0 = 3*m - 2*i + 1. Let v = 4 + m. Suppose y - 2*y = 0. Solve -r + v + 1 = y for r.
2
Let u be 1*(-2*1 - -7). Let k be (3*-3)/3 + 0. Let t = u + k. Solve -4*b - 8 = -t*b for b.
-4
Let p(c) = -c**2 + 3*c + 5. Let x be p(4). Solve 4*h - 3*h = -x for h.
-1
Let f be 2 - 3*1/3. Let z = 4 - 3. Let w = f - z. Solve 4 + w = i for i.
4
Let g(u) = -u**3 + 3*u**2 + 4*u - 8. Let o be g(3). Solve -o = -4*x + 16 for x.
5
Suppose -4*i = 2*r + 8, 0 = -4*i - r - 3 - 1. Suppose -3*w = -i*w - 12. Solve -s = w*s for s.
0
Suppose -m = -4*m + 24. Let i be (-3 - (3 + -2))/(-1). Solve -i*q - m = 8 for q.
-4
Suppose 6*x - 4 = 5*x. Solve -x = k - 0 for k.
-4
Suppose -18 = 4*u - 2*f, -4*u + 0*f = 3*f + 23. Let y be u*5*(-1 + 0). Suppose 0 = 5*o - y. Solve -c + o = 4 for c.
1
Suppose -4*d + 14 = -2*s - 3*d, 0 = -2*s - 5*d - 38. Let u = s - -12. Solve 4*p - 9 - u = 0 for p.
3
Suppose 16 = -4*x, -2*z + 3*x = z - 21. Let m(s) = 1 + 2*s**2 + 5 - s**2 - 5 - 2*s. Let c be m(