ve b = -q*p - p for p.
0
Let b(c) = -c**2 - 4*c + 1. Let n be b(-3). Suppose 10 = p + n*p. Solve -p = j + j for j.
-1
Suppose x - 5 = -4*x. Let y be x - (-2)/(2 + -4). Let v = y + 2. Solve -3 - 5 = v*u for u.
-4
Let m(l) = l**2 - 5*l + 6. Let j be m(4). Suppose u = 4*y - 6, -2*y = -4*u + j*y. Solve 0*z + u*z = -6 for z.
-3
Let x = -91 + 96. Solve x*p + 0*p + 15 = 0 for p.
-3
Let q(p) = -p**2 - 3*p - 2. Let a be q(-3). Let j be -4 + (a/(-1))/1. Let s be 4/(16/(-30))*j. Solve 3*u + s - 3 = 0 for u.
-4
Suppose -3*n - 19 = -2*o, 25 - 6 = -3*o - 5*n. Suppose -22 = -5*q - k - o, -4*q - 2*k = -16. Solve 3*z - 2 = q*z for z.
-2
Let n(f) = f**3 + 9*f**2 + 8*f + 4. Let p be n(-8). Solve -p*u = -0*u for u.
0
Let j(a) be the second derivative of -a**5/20 - a**4/8 - a**3/6 - a. Let l(b) be the second derivative of j(b). Let f be l(-2). Solve -2*g - g = f for g.
-3
Let t = -44 - -47. Solve -2 - 4 = -t*c for c.
2
Let n(v) = -v - 5. Let c(p) = -p - 10. Let x be c(0). Let s be n(x). Solve -3 = -s*y + 12 for y.
3
Let m(c) = -c**3 - 6*c**2 - 7*c - 5. Suppose -5*z = -4*i - 0*z + 5, 4*i - z + 15 = 0. Let k be m(i). Solve 5 = k*j - 0 for j.
1
Suppose 1 - 5 = -4*k. Solve 2*v + 3 + k = 0 for v.
-2
Suppose 0 = -9*s - 8*s. Solve d + 3*d = s for d.
0
Suppose -y + 8 = -0*y. Suppose -2*m = -m - y. Suppose 0*q + 8 = -q + 3*s, -2*s - 8 = -4*q. Solve 4*n = -m - q for n.
-3
Let c(z) = -z**3 + 10*z**2 + z - 6. Let p be c(10). Solve r + 20 = -p*r for r.
-4
Let q be ((-984)/20)/(-3) - 10/25. Solve 3*m - q = -m for m.
4
Let b be 0*(-1 - 0)/(-1). Solve -h - h = b for h.
0
Let m = -3 - -3. Suppose -4*p - p = m. Let n be 1 - (-4)/(8/2). Solve -n*i - i + 9 = p for i.
3
Let x be 2/3*63/6. Suppose -3*j = -x*j + k + 32, -40 = -5*j - 5*k. Let f be 0*2*(-2)/4. Solve f = 2*p - 4*p + j for p.
4
Let p(j) be the third derivative of j**5/60 + j**3/2 - 4*j**2. Let w be p(0). Let y(f) = f**2 + 9*f - 5. Let g be y(-10). Solve g = -w*b + 14 for b.
3
Let w(f) = -f**3 + 3*f**2 + 4. Let u be w(3). Let h be (-1*9)/((-6)/u). Suppose 3*v + 12 = -3*s, 4*s = -0*s + 5*v + 20. Solve 2*l + s + h = 0 for l.
-3
Suppose -4*i + 54 = -2. Solve -5*d = -4 + i for d.
-2
Suppose -i + 2*g + g + 20 = 0, 4*i = 2*g + 40. Solve i*w - 4*w = 8 for w.
2
Suppose 0 = -5*b + 10, 5*b - 4 = 2*v - 0. Suppose -v*m = -5*s + 32, 0 = 2*s + 4*m + 7 + 1. Solve s*t + t - 10 = 0 for t.
2
Suppose 2*j + 3*w + 19 = 4*w, 0 = j + w + 17. Let c be -1*(-5 + 2) - j. Solve 8*b + c = 3*b for b.
-3
Let v be 3*(0 + -2)*-1. Solve 0 = x + 2*x - v for x.
2
Let n be 0 + -1 + -2 - -17. Let x = 17 - n. Solve -u - 1 = -x for u.
2
Let c be (2 - -2)*2/(-4). Let u be (0 - 2) + (-8)/c. Solve -o - u = 1 for o.
-3
Let c be (-5 - -6)*(2 - -1). Solve 5*a = c*a for a.
0
Suppose 0 = 2*i - 3*a + 4*a - 20, 8 = -2*a. Suppose y - i = -3*y. Solve 8 = y*v + 2 for v.
2
Let x(i) be the second derivative of 5/2*i**2 + 0 + 1/6*i**3 + i. Let l be x(-5). Solve k + 0*k + 1 = l for k.
-1
Suppose -2*i - 3*s - 25 = -4*s, -58 = 5*i - s. Let r = i + 16. Suppose y + 2 = r. Solve y*x + 0 = 15 for x.
5
Let a = 12 - 20. Let o = 11 + a. Suppose 0 = -z + 1, 0 = 2*g - 4*z + o*z - 3. Solve -4 = 2*l + g for l.
-3
Suppose 0 = -4*h - 5*s + 21, 0 = 3*h - 0*s + 2*s - 21. Suppose 5*f - 11 = h. Let k = 12 - 11. Solve n + f = -k for n.
-5
Let h = 2 + 0. Let i = 0 + h. Solve 2*a + i = 4*a for a.
1
Let v(d) = 2*d**3 - d + 4. Let n be v(-4). Let i be (3/(-4))/(6/n). Suppose 0 = t - 3*a - 20, i + 0 = -3*a. Solve t*c + 3 = -2 for c.
-1
Let y(r) = -3*r - 1. Let v be y(-1). Suppose 0 = -0*u + v*u - 40. Solve 0*z + u = 5*z for z.
4
Suppose 0 = -5*t - 0*t + 100. Solve -t = 4*n - 0*n for n.
-5
Let x be 609/35 - (-4)/(-10). Let r = -7 - -10. Solve x = -r*p + 2 for p.
-5
Let h be 2/((-4)/(-3 + 1)). Let w(m) = m + 1. Let u be w(h). Suppose -5*n + 10 = -2*o, 4*n - 3*o + 7*o - 36 = 0. Solve u*c = c - n for c.
-4
Let v(m) = 2*m**3 - m + 1. Suppose -1 = -3*c + 2. Let f be v(c). Solve d - f*d = -5 for d.
5
Suppose -24 = 2*j - 76. Let i = j - 17. Solve -15 = -i*m + 4*m for m.
3
Let v be (-6)/(-15) - 26/(-10). Suppose g - 1 = 3*s, -g - 2*g + 9 = -3*s. Suppose -v*y = -g*y. Solve 0 = 5*f - y*f - 5 for f.
1
Let y = 49 - 39. Let j(m) = 7*m - 1. Let t be j(1). Let g = y - t. Solve -h - 1 - g = 0 for h.
-5
Let d(k) = 2*k - 1. Let w(p) = -4*p + 1. Let h(f) = 5*d(f) + 2*w(f). Let l be h(4). Solve 14 = l*z + 4 for z.
2
Suppose 1 = x - 1. Let w(o) = o**2 + 10*o + 10. Let z(q) = -2*q**2 - 20*q - 19. Let t(a) = 5*w(a) + 3*z(a). Let f be t(-9). Solve -y - f = x for y.
-4
Let k be 2/((-10)/(-25)) - 3. Solve 4*r + k = -2 for r.
-1
Let s be -2 + 4 - 24/2. Let n be (1/1)/((-2)/s). Let f(m) = m - 5. Let d be f(n). Solve 4*u - u + 12 = d for u.
-4
Suppose -8 = -2*n + 4*n. Let l be ((-2)/n)/(2/(-24)). Let i be -1*-2*(-3)/l. Solve -2*f + i = -1 for f.
1
Let w be ((-100)/36 - -3) + 32/18. Solve 5 = -k + w for k.
-3
Suppose -16 = 2*o - 5*w, 2*o = 4*w - w - 12. Let z be (3/(-9)*0)/o. Solve 4*h - 19 + 7 = z for h.
3
Let a be 54/(-5) - (-8)/(-40). Let q = a - -16. Suppose 7 = f - 5*m - 9, -28 = -q*f - m. Solve -f*g = -g for g.
0
Let l be 0 + 4 - (2 - 0). Let h be (-215)/30 - l/(-12). Let w(o) = o**3 + 6*o**2 - 6*o + 9. Let i be w(h). Solve 0 = -i*s + s for s.
0
Suppose 52 + 22 = k. Suppose 0 = -3*s - 11 + k. Suppose -2*a - s = -5*y, -4*y + y + 11 = -2*a. Solve 0 = -y*j + 4*j + 2 for j.
2
Let g(d) = -d**3 - 9*d**2 - 9*d - 3. Let o be g(-8). Solve 0 = z + o - 10 for z.
5
Let o = 2 - 2. Suppose -x - 2*i + 13 = o, 0 = -5*x - 0*x - 3*i + 72. Solve r - x = 4*r for r.
-5
Suppose 0 = 3*q + 9, -2*p + q + 10 + 3 = 0. Let f = p - 4. Let m(o) = -o**3 + 2*o**2 - o. Let x be m(f). Solve x*i + 4 = i for i.
4
Let a(v) = v**2 + 8*v + 12. Let k be a(0). Solve 2*r + r = k for r.
4
Let n be (-133)/(-28) + 2/8. Solve -10 + 30 = n*q for q.
4
Let g be (1/(-2))/(1/14). Let p be ((-4)/g)/(6/21). Solve -p*z + 8 = -6*z for z.
-2
Suppose 3*n = -5 + 20. Suppose 0*k + n*u = -k - 15, 0 = -5*k + 4*u + 41. Solve 4 + 1 = k*c for c.
1
Suppose 0 = 2*l - 4 - 30. Let v be (81/21 + -3)*-14. Let b = v + l. Solve -b*h + 19 - 4 = 0 for h.
3
Suppose 0 = -2*f - 4*h + 18, 2*h + 4 = -4*f + 22. Suppose f*m = 2*m. Solve -3*s + 0*s = m for s.
0
Let w(c) = -3*c - 10. Let n be w(-4). Suppose -2*d + 12 = 2*d, 5*i - 5*d - 85 = 0. Solve n*p = 7*p + i for p.
-4
Let w(k) = k**3 - 7*k**2 + 5*k - 1. Let r be w(6). Let t(z) = z**2 + 8*z + 9. Let g be t(r). Solve -8 - g = 5*o for o.
-2
Let j(l) be the third derivative of -l**4/24 + 7*l**3/6 - l**2. Let i be j(3). Solve -c - i*c - 20 = 0 for c.
-4
Let r = 1 + 4. Suppose 4*u + 3*n - 39 = 0, 4*n - 15 - r = 0. Solve 0 = -2*x + u + 2 for x.
4
Let m = -55 - -22. Let b = -23 - m. Suppose 2*z + 4 = 2*v, -v + b = 2*v - 2*z. Solve 3 - v = g for g.
-3
Suppose -j + 2 = -2. Solve p = -j*p for p.
0
Let s(f) = 4*f + 1. Let i be s(1). Suppose i*z - 25 = 2*j, 7 = 4*z - 3*j - 13. Solve -1 = -2*p + z for p.
3
Let q be (-7)/(-2)*(-64)/(-56). Suppose q*t + 0*t - 24 = 0. Suppose -4*b + 3 + 4 = 3*c, 5*b + c - t = 0. Solve -b + 11 = -5*x for x.
-2
Let s(j) = -j + 8. Let w be s(4). Suppose 96 = 4*c - v, 5*v - 48 = -2*c + 2*v. Solve 8 - c = w*r for r.
-4
Let d(a) be the second derivative of a**4/24 + 3*a**3/2 - a**2 + 2*a. Let n(b) be the first derivative of d(b). Let g be n(-6). Solve -x - g = -4*x for x.
1
Let y = -15 - -36. Solve -17*i = -y*i - 4 for i.
-1
Let w = 1 - 1. Solve 3*n + n - 4 = w for n.
1
Let a be 23/5 - (-2)/5. Let r(x) be the second derivative of x**4/12 - x**3/6 + 3*x**2/2 + 2*x. Let z be r(0). Solve z*u + 1 = -a for u.
-2
Let a be (-22)/(-6) - (-1)/3. Let u be 3 - 24/(-4) - -1. Solve -i - a*i = u for i.
-2
Let z(f) be the first derivative of -f**3/3 - 3*f**2 + f - 1. Let q be -3 + (-4)/((-4)/(-2)). Let c be z(q). Solve -c - 10 = -4*k for k.
4
Let z(m) = m**3 - 8*m**2 + m - 5. Let w be z(8). Suppose -8*v = -w*v - 25. Solve -2*a = -v*a + 9 for a.
3
Let j(s) = s**2 + 8*s - 5. Let a be j(-9). Let l = a + -2. Solve 0 = -u - 0 - l for u.
-2
Let v(l) = -l**3 + l**2 - l + 8. Let w be v(0). Let h be 3 + -5 + 72/6. Let d = h - w. Solve d*q + 2*q = -20 for q.
-5
Let k = 22 + -18. Solve 0 = -3*p + p + k for p.
2
Let n(s) = -2*s + 5. Let g be n(-13). Suppose -11 = -3*r + g. Solve 5*t = 39 - r for t.
5
Let l(i) = -i**3 - 2*i**2. Let c be l(0). Solve -3*g = -c*g + 15 fo