or t.
-5
Suppose 5*y + 2*t = 7*t + 10, 0 = y - 4*t + 4. Suppose y - 8 = m. Let a be ((-6)/(-4))/((-2)/m). Solve 0*p + a*p = 0 for p.
0
Let x be (-1 - -2 - -1) + 2. Solve 8 = -x*r - 4 for r.
-3
Let d(p) = p**3 + 16*p**2 - 16*p + 25. Let t be d(-17). Solve -t = 5*z - 3*z for z.
-4
Let m = -2 - 8. Let q = 20 + m. Solve -3*r = -5 - q for r.
5
Let m(n) be the second derivative of n**5/20 + 5*n**4/12 - 7*n**3/6 - 5*n**2/2 + 2*n. Let r be m(-6). Solve -z + 5 = r for z.
4
Suppose -44 = -4*y + 4*w, -3*y - 3*w = y - 79. Solve -3*p - p - y = 0 for p.
-4
Let w = 38 - 33. Solve 3*u + w = -2*u for u.
-1
Suppose 3*g - 49 = -5*r, -g = -0*g + 3*r - 23. Suppose 12 + g = 5*b. Let p(m) = m + 5. Let f be p(-5). Solve -b*z + z - 12 = f for z.
-4
Suppose 3*f + 3 = 2*a, -a + 5*f = 2*f + 3. Suppose 3*w = -3*l - a, -3*w + 7*l + 10 = 2*l. Solve 0 = u + 3 - w for u.
-3
Let x(n) = -n**2 + 8*n - 5. Let h be (-1 + 3 - 3)*-5. Let s be x(h). Solve s = 3*y - y for y.
5
Let z(f) = -f**2 - 7*f - 1. Let h be z(-1). Solve h + 3 = -2*y for y.
-4
Let n(g) = g**2 - 2*g - 7. Let k be ((-1)/3)/((-3)/45). Let z be n(k). Let c = z - 6. Solve -m + 4 = -c*m for m.
-4
Let j(k) = k**3 + 13*k**2 - k - 3. Let t(z) = z**3 + 14*z**2 - z - 2. Let l(s) = 6*j(s) - 5*t(s). Let y = 1 + -9. Let w be l(y). Solve -r - 2 = -w for r.
-2
Let o be (-1 + 2)*(2 - -4). Suppose -o*x = -5*x. Solve 2 = 2*j - x for j.
1
Let p(h) = -11*h + 55. Let o be p(5). Solve 3*w - 2*w + 2 = o for w.
-2
Let p(n) = 38*n + 1. Let m be p(1). Suppose 0 = -4*t - 7 + m. Suppose 2*o + t = 4*o. Solve o*a + 15 = -a for a.
-3
Let i(b) = -b**3 - b**2 - 3. Let h(f) = -f**3 - 3*f**2 - 7. Let p(n) = -2*h(n) + 5*i(n). Let y be p(-1). Let d be ((-1)/y)/((-4)/36). Solve 2 + d = s for s.
5
Let p = 2 + -2. Suppose p*c + c = 2. Suppose -3*b + 2 = -7*b - c*o, o = -5*b + 5. Solve 0 = b*x - 0*x - 8 for x.
4
Let w(u) = -2*u - 2. Let c be w(-2). Let v(g) = g**3 - 5*g**2 + 2*g - 7. Let h be v(5). Solve h*o + 8 = c for o.
-2
Suppose 0*f - 3*f = -21. Let w = -19 + 24. Let k = f - w. Solve j + 2 = k*j for j.
2
Let v = -27 - -52. Solve -5*x - 5 = -v for x.
4
Let l be (2/3)/(4/12). Solve -l = -4*w + 2 for w.
1
Let h(s) be the first derivative of -s**2/2 + 12*s - 17. Let t(f) = f**3 - 6*f**2 + 2*f - 3. Let r be t(6). Let x be h(r). Solve -x*y - y = 0 for y.
0
Let j = -8 - -3. Let k = -3 - j. Solve k*h - 6*h = 0 for h.
0
Let s(i) be the third derivative of i**4/24 + 5*i**3/6 - 4*i**2. Let z be s(-5). Solve -5*d + d - 4 = z for d.
-1
Let l be 212/8 - (-12)/(-8). Solve 7*u - 2*u = l for u.
5
Let v(p) = p**3 + 3*p**2 + p + 3. Let w be v(-2). Solve -8 + 28 = w*a for a.
4
Let m = 11 + -9. Solve -m*l - l = -3 for l.
1
Let r be 6/(-4)*(-6)/1. Let g = -4 + r. Suppose -2*j - 10 = g*m, -4*m - 12 = 4*j + 8. Solve 0 = a - m + 5 for a.
-5
Suppose -2*t = -12 - 2. Suppose -p = -4*g + 9 + t, p = -2*g + 8. Suppose 6*n = 5*d + n - 40, 4*d + g*n = 0. Solve 3*o - d - 11 = 0 for o.
5
Suppose -2*s + 15 = 3*s. Solve -2*a + 5*a = -s for a.
-1
Suppose -2*o + 17 = 1. Solve 0*a - 4*a + o = 0 for a.
2
Let f(q) = 2*q + 4. Let j = 6 - 3. Let p be f(j). Solve -4*n - p = n for n.
-2
Let q = -114 - -80. Let r be ((-51)/q)/((-6)/(-8)). Solve 0*a - 10 = -r*a for a.
5
Let h = -52 - -52. Solve n = -h*n + 3 for n.
3
Let l = -5 + 9. Suppose -17 = -l*c - g, -4*g = -3*g + 3. Solve -t - c + 0 = 0 for t.
-5
Let a = -19 - -32. Suppose -3 = 5*m - a. Solve -2*f = m*f + 4 for f.
-1
Suppose 3*g + 2*j = j - 5, -4*g = 4*j + 20. Suppose -x - 5*h = g, 0 = 2*x - 0*x - h. Solve -5*l - 4 - 11 = x for l.
-3
Suppose 4*s - 13 = u, -u + 10 = 5*s + 4*u. Let y be 0 - -1 - s - -2. Solve 12 = 3*t - y for t.
4
Let u(k) be the second derivative of k**3/3 - 15*k**2/2 + 3*k. Let r be u(10). Solve -q + 6*q + r = 0 for q.
-1
Let p be (2/(-3))/((-6)/9). Suppose b = 3 - p. Solve -q = -b*q for q.
0
Suppose -3*r - 6 + 3 = 0. Let o be (2 - 3) + -1 + r. Let x be (o/5)/(5/(-25)). Solve x*l + 16 = -l for l.
-4
Let c(t) = 7*t + 3 + t**2 + 6 + 3*t. Let y be c(-6). Let k be (-144)/y - (-2)/5. Solve -5*h - k + 35 = 0 for h.
5
Let p = -20 + 52. Suppose 2*d - p = -4*r, 0 - 8 = 4*r. Solve -8*j = -3*j + d for j.
-4
Let a be 2/(-4)*(-2 - -2). Solve -2*c + 5*c - 6 = a for c.
2
Let u(h) = -h + 8. Let k be u(5). Solve 4 = k*s + 10 for s.
-2
Let i(n) = 2*n**2 - 3*n. Let v be i(2). Suppose -v*g = -g. Solve g = -a - 3*a - 20 for a.
-5
Let r be 2*(39/6 + 0). Suppose -4*w = 1 - r. Solve n + 4 = w*n for n.
2
Let w(v) = -v**3 - 4*v**2 + 5*v - 2. Let k be w(-5). Let s(j) = j**2 + j. Let l be s(k). Suppose 0 = 2*p - m - 5, 3*m - 10 = -3*p + l*m. Solve r = -p*r for r.
0
Suppose 4*g - 38 = 2*u, 5*u - 25 = -6*g + g. Solve -10*w = -g*w - 6 for w.
3
Let k(q) = -q**3 - 8*q**2 - 9*q - 9. Suppose -2*p = 2*p + 28. Let i be k(p). Solve -d = i - 8 for d.
3
Let x(c) = -c**3 - 9*c**2 - c - 2. Let u be x(-9). Let m = u - 5. Suppose 5*n - 11 = -4*z, 0*z - 5 = -m*n - z. Solve -5 = -n*r + 8*r for r.
-1
Let k(l) = -l**2 + 9*l. Let y be k(9). Solve 5*s + 0*s + 25 = y for s.
-5
Let i = 2 + 3. Let m = i + -2. Solve 0 = 5*z + 2 + m for z.
-1
Suppose 4*r - 2*x = 10, 2*x + 7 = -5*r - 3. Suppose f = -r*f. Suppose u + 25 = n + 6*u, f = n + 3*u - 19. Solve 6*i - n = i for i.
2
Suppose 4*u = 16, -4*u = 4*a - 6*u. Solve 2*y = 4 + a for y.
3
Suppose 0*d + 3*d - 9 = 0. Let t be (-119)/(-21) - 2/d. Solve 3*u + 2*u - t = 0 for u.
1
Suppose -5*g - 14 = -2*c, 2*c - 3*g = -3*c - 3. Let w(x) = x + 6. Let z be w(c). Let b(a) = a**3 - 2*a**2 - 2*a + 4. Let i be b(z). Solve i = -2*l - 3 for l.
-5
Let t = 2 + -4. Let p be t/11 - 466/(-22). Suppose -l + 2 = -f, f - 3*l = 3*f - p. Solve s - 1 = f for s.
4
Let h = -117 - -205. Let u be h/24 + 4/(-6). Solve -k + u = -1 for k.
4
Let k = -17 - -24. Let p(l) = l**2 - 5*l - 9. Let f be p(k). Solve 0 = -3*j + f + 4 for j.
3
Suppose 0 = 8*z + 21 - 45. Suppose 5*d + 1 = -4*i, 3*d + 5 = 2*i - 0. Let v be (-1*1 + 1)*i. Solve v*j = z*j for j.
0
Let a(q) = 9*q**2 + q - 17. Let g(r) = -4*r**2 - r + 8. Let s(c) = -3*a(c) - 7*g(c). Let l be s(-5). Solve l*m = -m + 2 for m.
2
Suppose -4*b + 56 = 4*y, b - 10 = -0*y + y. Suppose 1 - 11 = -2*o. Solve -o*t + t = b for t.
-3
Let j = -85 - -91. Solve -j + 0 = 2*p for p.
-3
Let n be 96/18 - (-1)/(-3). Let f = n - 4. Solve 0 = -0*c + c - f for c.
1
Let s(f) = -f**3 - 5*f**2 + 6*f + 5. Let k be s(-6). Let c(b) = -3 - 2*b + 1 + 2 + 5. Let h be c(-5). Solve -2*v = -k*v - h for v.
-5
Suppose k - 11*s = -8*s - 7, 0 = -5*k - 3*s + 19. Solve -k*b - 2*b + 16 = 0 for b.
4
Suppose -2*w - 3*a = 11, -w + 2*a + 17 = -a. Suppose -3*y - 15 = 0, -w*n + 3*n = y + 8. Solve -n*f - f = 0 for f.
0
Let g = -3 + 7. Suppose -g = -o - o. Solve d = -o*d for d.
0
Suppose 2*t = -0*n - n + 3, 2*t - 18 = 4*n. Let x(k) be the second derivative of k**3/6 + 3*k**2/2 + 3*k. Let g be x(-2). Solve y + g = -t for y.
-4
Suppose 21 = -71*n + 78*n. Solve m - n = 4*m for m.
-1
Suppose -o + 4 = -2. Suppose -u - 2*u + o = 0. Suppose u*g = -g. Solve g = -0*l - l + 1 for l.
1
Let n(d) be the first derivative of d**2/2 - d - 2. Let g be n(7). Solve -4*y + g*y = 0 for y.
0
Let h be (1 - 2)/(1/(-6)). Suppose -4*q = -q - h. Solve q*f = -3*f + 20 for f.
4
Let v(y) = 3*y - 3. Let b be v(4). Suppose 15 = -b*c + 4*c. Let g be 4 - 0/(c/3). Solve -g = -2*r - 12 for r.
-4
Let y(q) = -3*q**2 - 11*q - 18. Let o(g) = 2*g**2 + 5*g + 9. Let s(c) = 5*o(c) + 3*y(c). Let v be s(9). Solve 2*u + v = -6 for u.
-3
Let l(k) = -5*k - 16. Let g be l(-4). Solve -g*w - 20 = w for w.
-4
Suppose v + 0*t - 14 = 3*t, 0 = 3*v - 4*t - 32. Suppose -6*q + q + 14 = -2*b, -5*b - v = q. Solve 0 = 2*j + q*j + 8 for j.
-2
Let y(b) = -b**2 + 4*b + 1. Let w be y(-3). Let j be ((-8)/w)/((-2)/(-5)). Suppose j = 4*c - 11. Solve -t + 20 = c*t for t.
5
Let y = -1 - -4. Solve -m - 2 = -y for m.
1
Let i be 1 - 1 - (1 + -1). Suppose 0 = -t, 5*h + 3*t + t - 20 = i. Solve 0*g = -h*g + 16 for g.
4
Suppose 0*o - 2*o + 114 = 5*k, 15 = -5*o. Let a(m) = -m**3 + 20*m**2 - 51*m + 5. Let q be a(17). Solve 0 = -q*p + 4 - k for p.
-4
Suppose 0*m + m = 5. Suppose -h = d + 2, -m*d = -4*h - 13 - 13. Solve -u + d = -0*u for u.
2
Let i(h) = h**3 + 6*h**2. Let r be i(-6). Suppose r = -2*s + s. Solve 3*c - 3 = -s*c for c.
1
Let t = -14 + 18. Suppose 0 = -t*c + 5*c + 1, -f + 3*c + 5 = 0. Solve -f*u + 5*u = -12 for u.
-4
Suppose 5 