1
Let y(m) be the first derivative of m**2 - 6*m + 1. Let j be y(5). Let s be (-3)/(0 - 3/j). Solve p - s = 1 for p.
5
Let b be ((-4)/6)/(2/12). Let c be b/2*24/(-16). Solve -d = -c*d - 10 for d.
-5
Suppose 2*s = -4*s + 12. Solve -s*d + 2 + 6 = 0 for d.
4
Let l = -4 + 7. Let h(r) = 4 + 6 - r**3 + r - 2*r**2 - 8. Let i be h(-2). Solve -l*a = -i*a + 15 for a.
-5
Suppose 16 = -4*f + 48. Let r be (f/(-10))/(6/(-15)). Solve -3*b = -5*b + r for b.
1
Suppose b + 2 - 5 = 0. Suppose n - 3*i - 18 = -6, -4*n - b*i = -48. Solve -3*v + 0*v = n for v.
-4
Let r = 2 + -4. Let t be ((-5)/10)/(r/12). Solve 0 = t*b - 9 - 0 for b.
3
Let u = -6 - -9. Let l be (-8)/(-3)*3/2. Solve -10 = u*a - l for a.
-2
Suppose 5*f = -8*w + 3*w - 10, 0 = -2*f + 5*w + 24. Solve -v = 3 - f for v.
-1
Let q = 13 - 10. Let l be (-1 - 0)*(-3 - -1). Solve b + l = -q for b.
-5
Let l be (-14)/(-4)*4/2. Suppose 0 = -3*c + 3*f - 12, 3*c + l = 2*f - 0. Let u = c + 3. Solve 4*h - 12 = -u for h.
2
Suppose d + 2*d = -24. Let n(i) = i**3 + 9*i**2 + 9*i + 8. Let z be n(d). Solve -2*x = -z - 8 for x.
4
Let r(g) be the second derivative of -g**4/12 - g**3/6 + 4*g. Let v be r(0). Solve 5*a - 9 - 16 = v for a.
5
Suppose 45 = h + 4*h. Let z = 19 - h. Solve -z - 5 = 5*u for u.
-3
Let o = 14 + -14. Solve 5*m - 3*m - 6 = o for m.
3
Suppose 3 = -g + 3*a + 5, a = -5*g + 26. Suppose 2*f - 4*n = 14, 0 = g*f - 4*f + n - 1. Solve -5*k - 8 = -f*k for k.
-4
Suppose -2*v = -4*v + 8. Solve 2*q - v = 4*q for q.
-2
Let l(r) = 4*r - 23. Let t be l(7). Solve -i + t - 4 = 0 for i.
1
Suppose 3*d - 4*f + 21 = 0, -2*d - 1 - 11 = -2*f. Let w be -1*(3 + (d - 1)). Suppose -2*c - 4*y = -32, -c + 5*y + w = -1. Solve -c = -3*a + 7*a for a.
-3
Let n = -8 - -2. Let d(x) = -x**3 - 6*x**2 + x + 8. Let o be d(n). Let s = -6 - -6. Solve 6*p - o*p + 20 = s for p.
-5
Let x(y) = y**3 - 7*y**2 - 8*y + 5. Let j be x(8). Solve 0 = 4*p - j + 1 for p.
1
Let p(m) = 4*m. Let i be p(2). Solve 0 = 3*a + 17 - i for a.
-3
Suppose 0 = 4*k + 4 - 16. Solve 5*l - k*l + 4 = 0 for l.
-2
Suppose -5*y - 25 = 3*r + 2*r, 0 = -3*r - 2*y - 10. Let v(l) = -l + 7 + 3 - 1. Let x be v(7). Solve -p + x*p = r for p.
0
Suppose -16*n + 28*n = 72. Let d(h) = h**3 - h + 6. Let u be d(0). Solve 0 = 4*l + n + u for l.
-3
Suppose -5*j - 5*p + 105 = 0, -1 + 4 = 3*p. Let v = j - 20. Solve 2*g + 2*g - 4 = v for g.
1
Let a be 0 - 4*(0 + -1). Suppose 3*m = a*m - 6. Suppose m*b = 5*v + b - 80, 2*b - 28 = -3*v. Solve 0 = -3*w - 3 + v for w.
3
Suppose 16 = 4*n, 3*l + 3*n - 27 = 9. Solve -t + 3*t - l = 0 for t.
4
Suppose 0 = 3*z - 8*z + 10. Let a(q) = 5 - 3*q + 1 - z - q**2. Let f be a(-4). Solve 5*w - 15 + 5 = f for w.
2
Let j(a) = a**2 - 6*a + 8. Let r be j(5). Solve -r*q + q + 8 = 0 for q.
4
Let d be (-6)/(2/2 + -3). Suppose -d*q - 6 = -5*q. Solve -v - 4 = q*v for v.
-1
Suppose 2*l + 2 = 6. Suppose -4*v - 39 = l*a - 7, -a - 28 = 5*v. Let j = 3 - a. Solve 2*g - 3 = -j for g.
-4
Let u be (-62)/(-4) + (-2)/4. Let y be -1*(-1 + 2) - -30. Let v = y + -26. Solve 0*k - u = -v*k for k.
5
Let c(d) = -d**2 + 8*d - 4. Let g = 3 + 1. Let s be c(g). Suppose -s = -3*u - 0*u. Solve 0 = 4*w - 3*w - u for w.
4
Let b(x) = 3*x**2. Let n be b(-2). Suppose n = -4*w + 7*w. Solve w*o + 6 - 14 = 0 for o.
2
Suppose -7 = -2*q + u, 3*q - u - 7 = -3*u. Suppose g = -5*b + 2*g + 6, g = 2*b - q. Let h be (0/(-3) + 0)*b. Solve -3*z + h = 6 for z.
-2
Suppose 40 = 5*w + 3*r, r = -3*w - 6 + 26. Let h = w - 3. Solve -h = -b - 0 for b.
2
Let c(i) = 3*i**2 - i - 1. Let d be c(-1). Let u(l) = 2*l**3 + l**2 - l. Let s be u(1). Suppose -3*x = s*h - 9, 4*x - 22 - 1 = h. Solve -x*g + 8 = -d*g for g.
4
Suppose -20 = -7*z + 3*z. Suppose -a + 5*s + 0*s - 15 = 0, -z*s = 5*a - 15. Solve a*m - 3*m + 9 = 0 for m.
3
Suppose 82*l - 80*l = 0. Solve l*r - r = -5 for r.
5
Let g(l) = l**3 + 7*l**2 + 4*l - 3. Let x be g(-6). Suppose -6 = -3*a + x. Suppose 3 = -7*h + 8*h. Solve h*t - 10 = a*t for t.
-5
Suppose 1 = 2*z + 5*r - 4*r, 0 = -4*z + 5*r + 23. Solve z*d - 5*d - 12 = 0 for d.
-4
Suppose 3*r - 25 - 14 = 0. Solve -5*m - r = 2 for m.
-3
Suppose -4*c + 14 = -3*s, -4*s = -c + s + 12. Suppose p - 5 + c = 0. Solve -4*q = p + 1 for q.
-1
Let s = 37 + -10. Suppose -8 = 2*g - 4*u, g + 4*u - 15 = 5. Suppose -s = -g*y - 7. Solve 0 = -y*a - 9 - 1 for a.
-2
Suppose 4*y + y = 10. Solve 3*g + y*g = 0 for g.
0
Let v = 3 + -3. Let c be (3/(-6) - v)*0. Solve c = 2*a + 1 - 5 for a.
2
Suppose -6*z = -4*z - 40. Solve -5*j = -10*j - z for j.
-4
Let o = -71 + 75. Solve -1 = o*t + 7 for t.
-2
Let v(q) = -q + 12. Let x be v(8). Solve y = 2*y - x for y.
4
Let j be 6*(-4)/(-24)*3. Solve 5*b - j*b = -2 for b.
-1
Let w be (2/8)/((-12)/(-96)). Solve -3 = -w*o - 7 for o.
-2
Suppose 7*h - 6 = 5*h - y, 18 = 3*h - 3*y. Solve -w = w - h for w.
2
Let o be -2*(-1 + 3/(-6)). Let j(p) = -4*p - 4. Let z be ((-9)/12)/(1/4). Let m be j(z). Solve -m*g + 20 = -o*g for g.
4
Let g(a) = 11*a**2 - 2*a - 11 + 2 + a**3 - 4*a**2. Let o be g(-7). Solve 3*z - o*z = 0 for z.
0
Let a be -5 + 4 + 1*4. Let j = 8 - a. Suppose -16 = -2*c - 0*i - 4*i, -4*i = -c - 16. Solve j*o = -c*o - 5 for o.
-1
Suppose -5*q - 11 = -51. Let d(y) = -y**3 + 4*y**2 + 4. Let s be d(4). Let k be 2/4 + 14/s. Solve q*a - 12 = k*a for a.
3
Suppose 0 = 2*k + k - 12. Let i be 8/2 + 1/(-1). Solve 0 = i*u - k + 19 for u.
-5
Suppose -7 = 4*s - 4*b - 19, -1 = -s + 3*b. Suppose -4 + 14 = -2*q, -j = -s*q - 24. Suppose 5*d - 3*d + 2*l + 6 = 0, 0 = -3*d - 2*l - j. Solve d*y = -2*y for y.
0
Suppose 5*w = 1 - 6. Let r be 3 - 0 - 2*w. Solve 0 = -j + 10 - r for j.
5
Let k(x) be the third derivative of x**4/24 - x**3/2 - x**2. Let q = 7 - 4. Let g be k(q). Solve -t + 3*t = g for t.
0
Suppose 3*d + g + 5 = 0, d + g + g + 10 = 0. Suppose d*h + 5 = h. Suppose 17 = h*q + 4*n, 5*q + 1 = 2*n - 0. Solve c + q = -2 for c.
-3
Let y = 0 + 3. Suppose -y*d + 10 = -4*h, d = h + 6 - 1. Suppose 5*r = 2*k + 5, 0 = -4*k + r - 0*r - 1. Solve -2*n + d = -k*n for n.
5
Let d = 6 + -6. Let p(q) = 4*q**2 - 2*q + 1. Let r(x) = -x**2 + 3*x - 1. Let v be r(2). Let w be p(v). Solve f + w*f = d for f.
0
Let n = 4 - 1. Solve 6 = -z + n*z for z.
3
Let a = -18 + 23. Solve 23 = a*d - 2 for d.
5
Let i(d) = 3*d**3 - 1. Suppose -4*c - 3*r - 5 = 0, -5*c + 0*r = -r - 8. Let s be i(c). Solve -1 = -3*f + s for f.
1
Let g(y) = -2*y - 6. Let m be g(-5). Let s = m + -3. Let o = -5 - -8. Solve o*u = s + 8 for u.
3
Let z(l) be the second derivative of -l**3/6 + 5*l**2 + 2*l. Let j be z(8). Solve j*p - p = 4 for p.
4
Suppose 4*t - 8 = 2*f, 0 + 10 = 5*t + 3*f. Solve -12 = -t*i - i for i.
4
Let t(n) = 2*n - 13. Let q be t(9). Solve 0*d - q = -5*d for d.
1
Let l be (-91)/(-28) + 5/(-4). Solve -v - l*v = -3 for v.
1
Suppose -4*v + 3 = -v. Let i(k) = 74*k + 1. Let j be i(v). Let d = j - 50. Solve 0*o - d = -5*o for o.
5
Let n(l) = -l**3 - l**2 - 1. Let o(y) = 5*y**3 + 3*y**2 + y + 3. Let k(t) = -4*n(t) - o(t). Let w be k(1). Solve w = 2*x - 6*x - 16 for x.
-4
Let g(t) = 2*t - 5. Let w be g(4). Let y(o) = -w + 1 + o + 13. Let p be y(-5). Solve -z - p = z for z.
-3
Suppose d = -0 + 4. Solve z = -d*z for z.
0
Suppose 0 = -4*a + 3*k + 14, 0 = 2*a - k + 8 - 16. Let q = -36 - -60. Solve a*x + 4 - q = 0 for x.
4
Let a = 0 - -2. Let n(h) = -h**3 - 5*h**2 + 3. Suppose -2*o + 4*o + 10 = 0. Let w be n(o). Solve w*f + a = 11 for f.
3
Suppose 2*q + 3*s = 4, -3*q + 3*s + 18 = -3. Solve q = -4*h - 11 for h.
-4
Suppose 0 = -y - 0 + 3. Solve -y*x + 5*x = 0 for x.
0
Suppose 3*m - 6*m = -15. Let p(b) = b**2 + b + 2. Let k = -2 - -2. Let y be p(k). Solve -y*z = 3 - m for z.
1
Let s = 40 + -25. Solve -2*i + s = i for i.
5
Let x(j) be the second derivative of j**4/12 + j**3/2 + 3*j**2/2 - 2*j. Let n be x(-2). Solve n = -2*b - 7 for b.
-4
Let i(d) = d + 11. Let c(q) = -3*q. Let g be c(3). Let s be i(g). Solve -s*l - 1 = -5 for l.
2
Suppose 10 - 76 = 3*h. Let r = 27 + h. Solve 0 = -5*c - 10 - r for c.
-3
Let w = -118 - -118. Solve w*k = 5*k - 10 for k.
2
Let r(x) be the first derivative of x**5/60 + x**4/3 - x**2/2 + 1. Let n(z) be the second derivative of r(z). Let o be n(-8). Solve -4*k + o*k + 4 = 0 for k.
1
Suppose -3*y + 0*y = -6. Suppose -u + v = y*v - 5, -5*v = 4*u - 21. Solve -t - 7 = -u for t.
-3
Suppose 2*c + c + 21 = 4*t, 0 = 3*t + 2*c - 3. Solve t + 6 = -3*s for s.
-3
Let t(p) be t