3
Suppose p + p - 4*p = 0. Let m = 6 - 4. Solve p = -3*d - m - 4 for d.
-2
Let c be (-3)/2 + 16/(-32) + 2. Suppose -a + 0*a = 3*m + 1, -3*m = -4*a + 26. Solve c = -4*p + a*p for p.
0
Let z(n) = 4*n - 2. Let f be z(2). Let a = f - 1. Suppose a*c + 7*j - 2*j = 40, j + 10 = 2*c. Solve -20 = -o + c*o for o.
-4
Suppose 2*g - i + 9 = 38, g - 17 = i. Solve -g = 3*f - 0 for f.
-4
Suppose 0 = 6*r - 2*r - 16. Solve -n = r - 3 for n.
-1
Let w(s) = 13*s**3 - 32*s**2 - 32*s - 27. Let r(y) = 3*y**3 - 8*y**2 - 8*y - 7. Let m(h) = -9*r(h) + 2*w(h). Let z be m(9). Solve g - 1 + 6 = z for g.
-5
Let n(j) = -2*j**3 + 9*j**2 + 8*j - 12. Let x be n(5). Solve q = x*q for q.
0
Let a be (1 - 1) + 20/5. Let k = -13 - -15. Solve 0 = k*h - h - a for h.
4
Let y = 4 - -5. Suppose -6*z + y*z = 0. Suppose 0 = -2*b + b + 3. Solve z = -s + b*s + 4 for s.
-2
Let y be (-6)/9*1*15/(-5). Solve y*k = k for k.
0
Suppose 0 = -4*r + 5*d - 17, -5*d = 2*r - 22 - 7. Solve 27 = 5*q + r for q.
5
Suppose 0 = 2*w - 3*w + 1. Solve 3 = k - w for k.
4
Let y be ((-8)/5)/(6/(-30)). Let z be (-6)/(-8) + (-6)/y. Solve z = -2*a + 7*a + 25 for a.
-5
Suppose 40 = 5*h - 4*p, 5*h = 2*h + 5*p + 24. Solve u - h = 3*u for u.
-4
Let k(a) = 2*a**2 + a - 3. Let y be (-2 - 2) + 0 + 1. Let t be k(y). Solve 3*l = -0*l + t for l.
4
Let z = -85 + 105. Solve t = 6*t + z for t.
-4
Let j = -654 - -1474. Suppose -2*l + j = 3*l. Let h be (-1)/2 + l/8. Solve h = -0*w - 4*w for w.
-5
Let w = 22 + -20. Solve -w*z + 0 = 10 for z.
-5
Suppose 0 = z + 4*z - 5. Let s be ((-6)/(-3) - z) + -1. Solve y + 4*y - 5 = s for y.
1
Let g(p) = p**3 - 4*p**2 - 3*p - 5. Suppose -5*o = 5*x - 25, o - 15 = -2*o + x. Let b be g(o). Solve 4*k = -11 - b for k.
-4
Suppose -v + 6 = -0*v. Let g be (-3)/9 + (-34)/v. Let r be ((-1)/(-3))/((-2)/g). Solve -3*y = -2 - r for y.
1
Suppose -2*n + 15 = -3*i + 3*n, -4*i - 2*n = -6. Suppose 6 = 3*u - i*l - 4*l, 4 = u - 2*l. Let x = 4 + u. Solve -3*b - 2 = -x*b for b.
-2
Let u(i) = 12 - 11*i + 6*i**2 - i**3 + 4*i**2 + 4*i**2 - 3*i**2. Let h be u(10). Solve -h*o = o for o.
0
Let x be 2/(-3) - 15/(-9). Suppose d = -d - 12. Let q = d - -8. Solve -q*y - 1 = x for y.
-1
Let c(a) = 2*a. Let y be c(2). Suppose 2*t = 2, y*f - t = -3*t - 46. Let h be 2/8 + (-33)/f. Solve 1 + 5 = -h*s for s.
-2
Let l(r) = 8*r**2 - 10*r + 2. Let w be l(2). Solve -4*x - 6 = -w for x.
2
Suppose 0 = -0*t - t + 23. Suppose 3*c - t = -4*l, -l - 3*l = -3*c + 7. Suppose l*x - 6 = -0*x. Solve x*k + 0*k = 0 for k.
0
Let p = 7 - 4. Suppose -a - 6 = -p*a. Solve d + 10 = a*d for d.
5
Let n(h) be the second derivative of -1/20*h**5 + 5/3*h**3 + 2/3*h**4 + 0 + h - h**2. Let w be n(9). Solve 2*x + w = -3 for x.
-5
Let m = -48 - -116. Let w = m + -48. Suppose -w = b - 2*b. Solve d + b = 6*d for d.
4
Let n be 2/(-8) - 9/(-4). Suppose b + 10 = 6*b. Suppose b*a + 4 = 6*a. Solve n*w - 3 = a for w.
2
Let r(m) = m**3 - 9*m**2 + m - 3. Let h be r(9). Let n be (-15)/(-2) + (-3)/h. Solve 3 = -p + n for p.
4
Let y(p) = -p**2 - 3*p + 4. Let c be y(-4). Suppose -i - i = c. Suppose i*x = -x. Solve -5 = -x*f - f for f.
5
Let s(c) = c**2. Let r = -18 + 19. Let g be s(r). Solve q + g - 3 = 0 for q.
2
Suppose 6*c = 3*c. Let r(j) = -j**2 - 8*j - 9. Let i be r(-6). Suppose -u + i = -4. Solve -u*k + 3*k + 16 = c for k.
4
Let m(c) be the second derivative of c**5/30 - c**4/24 - c**2/2 - 3*c. Let x(t) be the first derivative of m(t). Let z be x(1). Solve 0 = -5*n - 9 - z for n.
-2
Suppose -2*h - 2 + 12 = 0. Solve 8 = h*d + 18 for d.
-2
Let q(s) = -s**3 - s**2 - s + 8. Let l be q(0). Let f = 15 - l. Let j(c) = 2*c - 9. Let a be j(f). Solve 0 = -0*g - a*g + 5 for g.
1
Let d(m) = 3*m + 9. Let k(p) = -p - 3. Let a(r) = 6*d(r) + 17*k(r). Let q be a(11). Solve -3*j - 1 - q = 0 for j.
-5
Let q(l) = l**2 + l. Let j be q(1). Let p be ((-9)/(-6))/(j/4). Solve -h = -p*h + 4 for h.
2
Suppose 7*r = -r + 16. Solve -3*d = -r*d - 2 for d.
2
Let x = 65 - 65. Solve 3*i - 5 - 4 = x for i.
3
Suppose 6*f + 10 = f. Let k be (f/5)/((-1)/10). Suppose -k*x = -23 - 9. Solve 2*j + x = 4*j for j.
4
Let w(u) = u**3 + 3*u**2 - 2*u - 3. Let r be w(-3). Solve 0 = -a - r - 1 for a.
-4
Suppose 0 = -8*u + 4*u - 36. Let v = u - -13. Solve -v*i - 5 = -5*i for i.
5
Let a(t) = t**3 + 7*t**2 + t + 10. Let n be a(-7). Let b be n/(1 + -2 + 2). Suppose 0 = 2*m - b*y + 5, 4 = m + 4*m - 2*y. Solve -m = o + 2 for o.
-4
Let k be (-8 - -4) + 3 + 21. Solve b - k = -3*b for b.
5
Let w be (8 - 5) + 3*-1. Suppose w = -3*b + 2 + 1. Solve 0 = -q + 1 + b for q.
2
Let i be (34/8)/((-9)/(-36)). Let h = i + -12. Solve h*r = 7 - 32 for r.
-5
Let y(s) be the third derivative of -s**4/6 + 2*s**3/3 + 2*s**2. Let b be y(-4). Suppose 2*x = -0*x. Solve 5*m - 5 + b = x for m.
-3
Let n = -51 - -53. Solve 3*q = -n*q - 20 for q.
-4
Let i(c) = c**3 + 7*c**2 - 2*c - 4. Let z be i(-7). Let h(a) = 2*a - 1. Let m be h(-4). Let t be ((-3)/(-2))/(m/(-24)). Solve 0 = d + t*d + z for d.
-2
Let a(y) = -2*y**2 + 21*y + 14. Let u(j) = j**2 - 10*j - 7. Let d(c) = -6*a(c) - 13*u(c). Let q be d(5). Solve q*r = r - 2 for r.
-2
Let t(v) = v - 2. Let g be t(3). Solve 5*d - g = 4 for d.
1
Let s be (3/1 + -3)/(-3 + 4). Suppose 4*k + 0*k - 20 = 0. Solve k*b = -10 - s for b.
-2
Suppose -2*b - 1 = 3*f - 3, f - 4*b - 24 = 0. Suppose 0 = -f*l - 8 + 72. Solve 5*q - l + 1 = 0 for q.
3
Suppose 35 = 5*g + 4*m + m, 0 = 5*m - 25. Let j(u) = 3*u**3 - 2*u**2 + 2*u + 2. Let k be j(2). Suppose -6 = g*b - k. Solve -t + 5*t = -b for t.
-2
Suppose 0 = 3*j - 5*t + 10, -4*j = t - 2*t + 36. Let k be (6/j)/(3/(-45)). Solve 2*z - 5*z + k = 0 for z.
3
Suppose -4*d + 2*d + 4 = 0. Solve d = 4*m - 10 for m.
3
Let a = 3 + 3. Let d = a - 4. Solve 0*x = d*x - 2 for x.
1
Suppose 1 = 4*g - 0*x + x, -1 = -2*g - x. Solve -5*o + 4*o = g for o.
0
Suppose k + k = 5*h - 15, -6 = -2*h. Solve -2*o + o = k for o.
0
Let n be -2*(-34)/16 - (-3)/(-12). Suppose 0*x = -2*x + 8. Let t = -2 + x. Solve 0*v - t*v + n = 0 for v.
2
Let g = 0 - -2. Suppose -2*x - g*c - 2 = -0*x, 3*x + 3 = -4*c. Let o be x/(-2)*24/1. Solve -2*p - o = -6*p for p.
3
Suppose 5*o - 20 = 2*x, -3*o + 9 = 4*x - 3. Suppose -2 - 6 = -4*w. Solve -w*b = -o + 2 for b.
1
Let p = -2 + 4. Let n be p/(-2 - (-5)/2). Solve -n*x = -x - 12 for x.
4
Let d(m) = -16*m - 1. Let x be d(-1). Suppose 3*w - 5*v = 10, 4*v = 4*w - v - x. Let t(a) = a**2 + 9*a - 6. Let p be t(-10). Solve p*c - 3*c = w for c.
5
Let f = 11 + -16. Let b = f - -5. Let v be (-1)/(-2)*(-4)/(-1). Solve b*y = -v*y for y.
0
Let n be ((-1)/3)/(4/(-48)). Let a be ((-3)/5 - (-36)/10)*1. Solve a = n*r - 1 for r.
1
Let y = 8 - 6. Suppose 24 = 2*s - 2*o, 4*s - 39 = y*o - o. Let m(g) = -g**2 + 4*g - 1. Let l be m(3). Solve l*t - s = -3 for t.
3
Suppose 0 = v + 8 - 0. Let f = -5 - v. Suppose 0 = x - f*x. Solve x = -k - 3*k - 12 for k.
-3
Suppose 1 = 2*p - 1. Solve 0*v - v = p for v.
-1
Let v be (-3)/(-2)*20/(-15). Let x = 1 - v. Solve d = -x*d - 16 for d.
-4
Let o be (-6 - -11) + 3 + -2. Let p be 2*o*2/8. Solve p*m - m = 6 for m.
3
Let p(w) = w. Let l be p(1). Let j(s) be the first derivative of 2*s**3 - s**2/2 + s + 2. Let z be j(l). Solve 5*v + 1 - z = 0 for v.
1
Let z(q) = q**2 - 8*q + 9. Let k be z(7). Solve 0 - 10 = k*a for a.
-5
Suppose -6*d + 2*f + 10 = -5*d, 5*d - 5 = f. Solve -2*i + 4*i = d for i.
0
Suppose 27 = 5*g - 3*m + 5*m, -3*g + 19 = 4*m. Solve 0 = g*a - 7 - 8 for a.
3
Let p be (-4)/(-8) - 5/(-2). Suppose -c = -2*t + 7*t + 18, p*t = c - 14. Suppose 2*u = 1 + 1. Solve -3*o + c*o - u = 0 for o.
-1
Suppose 3*m + 4 = -o, -3*m + 8*m - o - 4 = 0. Let z = 7 + -1. Solve z = -3*t - m*t for t.
-2
Let t = 11 + -8. Suppose -3*c - 7 = -5*k, -4*c - 1 = -k - 3. Let y be 5 - (3 + (-2 - -2)). Solve -t*q = -c - y for q.
1
Suppose 0 = -0*t + 5*t - 5. Let r be t + 2 + -5 + 2. Solve 0 = -a - r*a for a.
0
Let z(s) = -s**3 + 7*s**2 + 2. Let r be z(7). Solve -4*o + 10 = -r*o for o.
5
Suppose -2*y + 103 = 5*l, -2*l - 3*l = 3*y - 142. Suppose y = 2*d + d. Suppose 3 = 2*f - d. Solve 2*p = -f + 2 for p.
-3
Let z = 4 - -2. Let d be 1/(-2) - (-33)/z. Suppose -16 = -d*p - 3*f + 2*f, -5*f = -5. Solve 0 = -p*b - 3 - 3 for b.
-2
Let k(n) = -n**3 + n**2. Let t be k(0). Let m = t + 2. Solve -7*h + m*h - 20 = 0 for h.
-4
Let k(d) = -d**3 - 4*d**2 - 3*d + 3. Let y be k(-3). Solve -y*f + 12 = -6*f for f.
-4
Let f