*p = -4*p for p.
0
Suppose 0 = 5*f - 20 - 0. Solve s = -0*s - f for s.
-4
Let z(a) = -a**2 + 5*a - 3. Let r be z(3). Suppose 5*o + 1 = -2*d, -1 = -0*d + d + 3*o. Solve r*j = -d*j for j.
0
Let z be 2*(-3 + (-27)/(-6)). Let n be z/9 + (-64)/(-6). Solve -3*b - 1 = n for b.
-4
Let t = 25 - 15. Let n be t/(-55) - (-70)/22. Solve -n*k = -k - 4 for k.
2
Suppose -5 = 3*j - 4*j. Let f be j/((-11)/(-5) + -2). Solve o = -4*o - f for o.
-5
Let r(l) = l - 5. Let p be r(5). Suppose p = -0*w + 4*w - 8. Let b be (1 + -1)*(-4)/8. Solve b = x + 4 - w for x.
-2
Suppose 0 = -88*n + 89*n - 2. Solve n*y = 3*y + 1 for y.
-1
Suppose -25*l - 4 = -27*l. Solve 3*v + l = 11 for v.
3
Let x(s) = -s**3 - s**2 + s + 1. Let r be x(-2). Solve 0*u + 3*u = r for u.
1
Suppose 3*n + 3 = 9. Solve -h = -0 + n for h.
-2
Suppose 4*c - 5*c + 12 = -5*z, 0 = c - 3*z - 8. Let f = -4 - -4. Solve f = 5*h - c*h - 6 for h.
2
Suppose -2*r - 18 = -3*r + o, 76 = 5*r + 2*o. Suppose -4*c - 33 = 5*y, 3*y + 2*c = -11 - 10. Let g = r + y. Solve -g*b + 3*b = 8 for b.
-2
Suppose -4*l - 2*u + 3 = -45, -5*u + 42 = 4*l. Let z = l - 13. Solve z = -4*s + 3 - 19 for s.
-4
Let v be 37/(-3) - (-9)/27. Let n be (2/(-6))/(2/v). Solve -a - n*a - 15 = 0 for a.
-5
Suppose 3*r - 25 = -4. Solve 3*d - r - 5 = 0 for d.
4
Let u = 10 + 5. Suppose 2*b - 7*b = u, -4*c - 4*b = -4. Solve k - c*k = -3 for k.
1
Let c(i) be the first derivative of -i**4/4 + 8*i**3/3 + i**2 - 4*i + 2. Let t be c(8). Solve -4*k = -k + t for k.
-4
Let b be (1 - 5)*42/(-24). Suppose -2*o = -1 + b, 2 = -5*q - 4*o. Solve q*r = r - 4 for r.
-4
Let w be 25/20 - 3/(-4). Solve 1 = w*l + 3 for l.
-1
Let m(f) = -5*f - 9. Let k(r) = 12*r + 15. Let p(b) = -30*b - 38. Let n(y) = 12*k(y) + 5*p(y). Let g(j) = 7*m(j) - 6*n(j). Let q be g(3). Solve q + 4 = c for c.
4
Let q(d) = -7*d**2 - d. Let k be q(-2). Let w = -23 - k. Solve w*s = 15 - 0 for s.
5
Suppose 4*l - 6*l = -4. Let n = 7 - l. Solve 2*u = n*u + 9 for u.
-3
Suppose 0 = -o - o. Let r = -1 + 4. Solve o = 2*t + t - r for t.
1
Let l be 0 + (-1 - -1) + 18. Solve 5*p - l = 7 for p.
5
Let c = 4 - -1. Suppose -b - 4 + 1 = 4*n, c*n + 3 = -b. Solve n*i = -2*i - 8 for i.
-4
Let q = -23 - -14. Let r = q + 14. Solve 3 - r = -j for j.
2
Suppose -x = x. Suppose y - 3*y + 2 = 0, 3*v - 2*y = 49. Solve x = -5*b - 3 - v for b.
-4
Let z(b) = 3*b**3 - b. Let h be z(1). Suppose h*a - 8 = -2*a. Solve 0 = -3*t + 5*t + a for t.
-1
Let k = 148 - 133. Solve -16*o - 2 = -k*o for o.
-2
Let v = 5 - -4. Suppose -6*u - 2*w = -4*u, u + v = -4*w. Solve 0 = q + u - 2 for q.
-1
Let p = 5 - 0. Suppose 5*o - 4*y = 67, -y = p*o - 80 + 3. Solve -o = a - 4*a for a.
5
Suppose q - 24 = -4*q - 2*u, 5*u - 6 = q. Let x be (6/(-2) - -1) + 2. Solve -k + q*k + 6 = x for k.
-2
Let k = 5 - 7. Let h be (0 - -1)/(k/(-4)). Solve h*b = 3*b - 5 for b.
5
Let r(l) = -l**3 + 2*l**2 + l. Let p be r(2). Solve -4*i + p*i + 6 = 0 for i.
3
Let f(w) be the third derivative of w**5/60 + 2*w**3/3 + 4*w**2. Let z be f(0). Solve z*s = 2*s for s.
0
Let k be (-18)/(-14) - (18/14 - 1). Solve k = -2*m - 1 for m.
-1
Suppose 3*j - 15 = -0*j. Suppose p + p - 107 = -j*f, 5*p = f - 16. Suppose a + a = y - 8, -3*y + f = -3*a. Solve y = -c - c for c.
-3
Suppose 19*m - 20 = 17*m. Solve 0 = 4*l - m + 2 for l.
2
Let t be 1/(-2)*(-4)/2. Suppose -4*q + 5 = q. Let c be (-9)/(-6)*q*2. Solve 4 = -c*d + t for d.
-1
Suppose 0 = -3*v - c + 67, -3*v + 5*c = v - 102. Suppose 5*i + 8 = v. Suppose 4 = i*g + r, r = -4*g - 2*r - 3. Solve 4*t = g*t + 1 for t.
1
Let k(f) = -f**2 + 3*f + 5. Let d be k(5). Let h = d + 8. Solve 0 = -h*q + 5 + 1 for q.
2
Let i(u) = -u**2 - 10*u + 2. Let d be i(-10). Solve -5*v + 3*v = -d for v.
1
Let g = 8 - 18. Let l = 15 + g. Solve -b = -0*b + l for b.
-5
Suppose 4 = 3*x - 8. Solve 2*d - x = -8 for d.
-2
Let i = -3 - -6. Let s = -5 - -11. Let p be 10/(-15) - (-16)/s. Solve -p*j - 3 = i for j.
-3
Let g be -4 + 7 - (-1 + 1 + -1). Let y(b) = -6*b + 1. Let t be y(-1). Suppose 0 = -4*x + 39 - t. Solve -x = 3*h + g for h.
-4
Let f(v) = 7*v**3 - 3*v**2 + 2*v + 4. Let s be f(3). Let d = s + -112. Let g be (-2)/(-6) - d/(-9). Solve g*w = 3*w - 20 for w.
-5
Let l = 85 + -73. Solve -l = 3*y + y for y.
-3
Let x(z) = -z**3 + 3*z**2 - 2*z + 1. Let t(p) = p**3 + 10*p**2 + 2. Let n be t(-10). Let o be x(n). Solve c = -o - 2 for c.
-3
Let y(w) = -w**3 - 6*w**2 + 7*w + 6. Let p be y(-7). Solve g = p*g for g.
0
Let o = -12 - -20. Suppose 0*c = -3*q + c + o, 2*c = 4*q - 8. Let s = 16 + -11. Solve -5*k = -q*k - s for k.
5
Let c(g) = g**2 + 10*g - 7. Let o be c(-11). Solve 18 = -o*a - 2 for a.
-5
Suppose 22*z - 21*z - 3 = 0. Solve 3*s + 0 - z = 0 for s.
1
Suppose 2*k - 10 - 4 = 0. Solve 0 = -2*i + k - 1 for i.
3
Let h(s) be the second derivative of 2*s + 0 - 2*s**2 + 1/3*s**3. Let r be h(6). Solve 3*g = 2 - r for g.
-2
Let z be (-78)/(-18) + (-1)/3. Suppose z*u = -0*u. Let w be (-25)/2*6/(-5). Solve -5*v - w + u = 0 for v.
-3
Let a = 3 + -1. Suppose 0 = a*z - 3*z + 3. Let r = 3 - -6. Solve -z*d - r = -6*d for d.
3
Let b(m) = -4*m - m**2 + 2*m - 4*m. Let x be b(-6). Let u = 8 + -1. Solve -3*v - 8 - u = x for v.
-5
Let m be (1/2)/((-1)/(-4)). Suppose -m*y = -5*y + 24. Let o = 2 + y. Solve l - o = 3*l for l.
-5
Let v(p) = -p**3 + p**2 + 7*p + 5. Let w be v(-2). Solve 3*n + w = 4*n for n.
3
Suppose -3*x + 1 + 3 = 5*s, -2*s - x + 2 = 0. Suppose -7 - 3 = 4*i + s*o, 2*o + 10 = -3*i. Solve i = -6*m + m for m.
0
Let h(m) = -m**2 - m + 2. Let d be h(0). Suppose -d*i + 24 = i. Solve 3*j + 10 = i*j for j.
2
Let n(x) = 4*x + 1. Let g be n(2). Let r = g - 5. Solve -r*k - 3 = 13 for k.
-4
Suppose -3*r + 5*o + 20 = 0, 7*r = 4*r - 2*o - 8. Solve 2*x = -r + 2 for x.
1
Suppose -2*t - 2 = 0, -t + 6 = -4*r + t. Let x be (-196)/(-8) + r/(-4). Solve -2*p = 3*p + x for p.
-5
Suppose -2*q - 5*b - 5 = 0, -30 = -3*q + 4*b + b. Let g = -3 + 14. Suppose -2*y + j = -3, 4*y + 4*j + 1 = -j. Solve q*w = g - y for w.
2
Suppose -15 = -2*g + 29. Let p be ((-33)/g)/((-1)/2). Solve p*c = c + 10 for c.
5
Let t = -4 + 13. Suppose -y + t + 0 = 0. Let h = -4 - -8. Solve 0 = -h*z + y + 11 for z.
5
Suppose y = 2*y. Solve 1 = -o - y for o.
-1
Suppose -3*t + 11*t - 208 = 0. Solve 4*k - t = -10 for k.
4
Let x(g) = 0*g**2 + 2*g - 1 + g**2 + g + 3. Let t be x(-4). Solve t*i = i for i.
0
Suppose 0*a = 3*a - 12. Let j = 1 + a. Solve 0*t = j*t for t.
0
Suppose -3*l = -6, -m - 6 = l - 2. Let i be -2*-2*(-3)/m. Solve 0 = -i*h - 3 - 7 for h.
-5
Let f = -11 + 12. Let d be 0 + 0 - (-6)/(-3). Let u be d - -4 - (-2 + 1). Solve f = z - u for z.
4
Let a be (0 - (-2 + 1))*-1. Let k = 0 - a. Suppose 4*g = v + 4, -3*v + k = -7*v + g. Solve 2*f + 4 + 4 = v for f.
-4
Let f(h) = -h + 0*h**3 + 5 + h**3 + 7*h - h - 6*h**2. Let y be f(5). Solve 7*o + y = 2*o for o.
-1
Let u = 56 + -53. Solve 0 = z - u - 0 for z.
3
Let w(t) = -t**2 - 4*t. Suppose 3*g = -g + 4, 5*o - 3*g + 33 = 0. Let l(v) = v**2 + 8*v + 8. Let h be l(o). Let f be w(h). Solve f = -5*a - 19 - 6 for a.
-5
Suppose -j - 2 = r - 4, 3*j = -9. Suppose -w - 13 = -5*v + 2*w, r*v - 4*w = 14. Suppose -l + 7 = v. Solve -l*d = -3*d for d.
0
Let l = 38 + -30. Solve 0 = -3*p + l*p + 15 for p.
-3
Suppose -4*v - 2*r - 40 = 0, 3*v - 2*r = -15 - 8. Let s = -6 - v. Solve -6 = s*f - 0 for f.
-2
Suppose 3*u - 11 = -0*u + t, 0 = -t + 1. Let c = 4 + -4. Suppose 5*s - 5 = 0, -2*h + u*s = -c*h - 2. Solve 0 = -4*b + h*b - 2 for b.
-2
Let h(k) = k**3 - 5*k**2 + 5*k + 2. Let z be h(4). Let p = z + -5. Solve 0 = 5*r - p - 24 for r.
5
Let a be (-1 + 3/4)*-4. Let k = a + 0. Let p = k - 1. Solve p = 2*n + 5 + 1 for n.
-3
Suppose -k - 172 = -3*o + k, -o + 64 = -4*k. Suppose 2*m - o = -2*m. Let d be 7/m - (-22)/4. Solve d*x = x for x.
0
Let o(l) = -l**3 + 13*l**2 - 10*l - 14. Let d be o(12). Suppose -6*h = -h - d. Solve -p = -1 + h for p.
-1
Let x = 15 + -3. Let r be 1/(-1) + x + -5. Suppose 0*f - w - r = -f, 4 = -2*w. Solve 0 = b + f for b.
-4
Suppose -5*g + 17 = 4*n, g - 6 = -4*n + 7. Let l be (1/3)/(3/27). Suppose -l*t + n = -2*t. Solve 0 + 9 = -t*f for f.
-3
Suppose -5*m = -51 + 21. Solve m*p + 15 = p for p.
-3
Let r(p) be the second derivative of -p**3/6 - 2*p**2 - 3*p. Let q be r(-8). Solve 0 = -l - 1 - q for l.
-5
Let m(b) = b**3 - 10*b**2 - 11*b + 4. Let w be m(11). Solve 0 = w*i - 2*i for i.
0
Let v(w) = 4 + w - w