 = -h + 3. Let a be h*2/(-4)*-3. Solve 0 = -2*m - a + 3 for m.
-3
Let b be (-8)/(64/6) + 3/4. Solve b = -i + 3*i for i.
0
Let q(p) be the second derivative of p**5/20 - p**4/12 + 2*p**2 + 3*p. Let b = -1 + 1. Let o be q(b). Solve -o*m - 2 = -3*m for m.
-2
Suppose -3*p + 3*k = -21, -5*k = -0*p - 2*p + 26. Let x be 3 + -1 + (p - -1). Let z be (-3)/(x*(-3)/24). Solve -z*n + 0 = 4 for n.
-1
Suppose -3*s + 8*s = -45. Let n = s + 13. Let v = -18 - -30. Solve n*k + v - 4 = 0 for k.
-2
Suppose 0*l + 52 = 4*l. Let b = 13 - l. Let x(v) = v + 9. Let k be x(0). Solve -a + 4*a - k = b for a.
3
Suppose -12 - 10 = -11*x. Solve 10 = -x*p + 2 for p.
-4
Suppose y + 0 + 2 = 0. Let z = y + 6. Solve -p = z*p for p.
0
Let k = -7 + 11. Let t = 2 + -3. Let i = k + t. Solve 6*y - 9 = i*y for y.
3
Let b be (-2)/8 - (-100)/16. Solve b = v + 4 for v.
2
Let n be (-288)/(-153) + (-4)/(-34). Solve -13 + 3 = -n*t for t.
5
Let i = 7 + -7. Solve -5 = -i*m + m for m.
-5
Suppose -6*g = -g. Solve g = -d - d for d.
0
Suppose 0 = -3*j + 4*u - 3, 5*j + 2 = 3*u + 8. Solve -6*a = -j*a + 6 for a.
-2
Suppose -3*q + 3*h - 12 = 0, -q - 2*h = 3 - 2. Let k = 4 + q. Solve 0 = -3*c - 4 + k for c.
-1
Let m(p) be the first derivative of -p**4/4 + 4*p**3/3 - p**2 - p + 2. Let b be m(3). Solve 0 = -x + b*x - 5 for x.
5
Suppose 0 = 2*r + 3 - 7. Suppose 4*t - 8 = -2*c, -5*c + 3*c = -t - 3. Solve -r = v + c for v.
-4
Suppose 0 = -6*l + 9*l - 6. Solve -l - 2 = -4*h for h.
1
Let o be 0 - (-1 - -1) - -1. Suppose -2*z = 2*t - 10, -t + o + 6 = 3*z. Let a be -1 - (-1 + t/(-2)). Solve a*l + 3*l = 0 for l.
0
Suppose 4*m = -3*g - 0*m + 18, -m = -3*g + 18. Solve 2*q + g = 16 for q.
5
Let p be 0/(-2 - 15/(-5)). Solve p = 3*h + h + 12 for h.
-3
Suppose r + r - 8 = 0. Let f(a) = a**2 + 2*a + 1. Let o be f(-2). Let c = o + -1. Solve -r + c = -s for s.
4
Suppose -l - 18 = -2*r + 1, 0 = r - 2*l - 8. Solve -6*k + r = -k for k.
2
Suppose -2*o + 12 = y + 2, o + 2*y - 8 = 0. Solve -o*b = -3 - 1 for b.
1
Let b(p) = p**3 - 8*p**2 + 8. Let n be b(8). Let o = n + 10. Solve -3 = 3*c - o for c.
5
Let r(t) = -2*t**2 - 2*t - 2. Let b be r(-3). Let w = b + 23. Solve 5*c = w + 6 for c.
3
Let b = -3 + 10. Suppose 5*s + 3*m - 88 = 0, -3*s + 5*s - 20 = -5*m. Suppose 2*o + s = 6*o. Solve -18 = -o*c + b for c.
5
Let h(g) = g**3 - 6*g**2 - 5*g - 10. Let n be h(7). Suppose -5*u + 11 = d, 0*u = -n*d + 3*u + 21. Suppose 0 = i - d. Solve 4*s - i + 18 = 0 for s.
-3
Let z be 0 + (-1)/(3/(-9)). Solve 0 = -q + z*q for q.
0
Let q = -39 + 39. Let u = 13 + -9. Suppose i - 145 = -u*i + k, q = 4*i - 3*k - 105. Solve 5*l - i = -10 for l.
4
Let y = 4 - 3. Solve -2*o - y = -5 for o.
2
Let o be ((-12)/(-4) - 3)/(-1). Solve -b + 2*b + 3 = o for b.
-3
Suppose 3*b = 9*b - 12. Solve u = -2 - b for u.
-4
Let i(t) = -6*t + 1. Let o be i(-2). Let f = -18 + o. Let h = 9 + f. Solve -2*q = -q - h for q.
4
Let h(u) = -1 + u**2 - 2 + 1 + 0 - u. Let v be h(-2). Solve 0*q - 4*q = v for q.
-1
Let n = 5 + -5. Solve n = -7*c + 3*c + 4 for c.
1
Let n(u) = 3*u**2 - 23*u - 6. Let x(f) = f**2 - 8*f - 2. Let q(p) = -6*n(p) + 17*x(p). Let s be q(2). Solve s*c - c + 2 = 0 for c.
-2
Let k(h) = 7*h + 1. Let m(j) = 8*j. Let w(l) = 7*k(l) - 6*m(l). Let u be w(5). Solve -3*v = -u - 0 for v.
4
Let n(c) = -c**3 - 4*c - 4. Let s be n(-3). Suppose 5*v - s - 5 = 0. Solve 0 = -5*k + k + v for k.
2
Suppose -3*k = -6*k + 12. Let s(w) = w + 4. Let i be s(-1). Solve -n - i*n = k for n.
-1
Suppose -15 = -2*b + 4*c - c, -b + 5 = -c. Suppose b = -s, u - 4 - 11 = 4*s. Solve y + 4*y + u = 0 for y.
-3
Let d be (0 - 1) + 2 + 5. Let u be 4/d - (-13)/3. Suppose -u*g - 16 = -9*g. Solve g*o = 3 + 17 for o.
5
Suppose -y = -6*y + s - 73, -3*s = -3*y - 39. Let n = y + 17. Solve b = n*b for b.
0
Let r be (0 + 1)*45*1. Suppose -5*f + y + 4*y + r = 0, -f + 1 = y. Let g = f - 2. Solve -g - 17 = 5*b for b.
-4
Suppose -4*z = z + 40. Let b be (z/(-6))/(3/9). Solve b = 3*k - 2*k for k.
4
Suppose 4*z - 47 = -5*o, -4*z + o + 35 = 6. Let t(b) = -b**3 + 6*b**2 + 9*b + 1. Let s be t(7). Suppose -a - 2*a + s = 0. Solve -a*p + p = z for p.
-2
Let f be 7/28 + (-3)/(-4). Let m be 0*f*(-2)/(-4). Suppose -2*r - 2*r = m. Solve -4*q + r = -4 for q.
1
Suppose 4*j + 0*o + 5*o = 32, -3*j - o = -13. Let d(p) = -p**3 - 8*p**2 - 9*p - 3. Let k be d(-7). Let f = -9 + k. Solve f*c - 5 = j*c for c.
-5
Let o(t) be the first derivative of 3/2*t**2 - 2 + 3*t + 0*t**3 - 1/4*t**4. Let q be o(-2). Solve 5 = q*g + 10 for g.
-1
Suppose 0 = -4*c + 3*u + 11, -3*c + 11 = -2*u + 3. Solve 0 + 2 = -c*h for h.
-1
Let j(f) = f + 2. Let c(r) = r**3 - 7*r**2 + 4. Let m be c(7). Let t be j(m). Solve 0 = -t*v + 4*v - 2 for v.
-1
Let k be (3/(-9))/1*-18. Let n = k + -3. Solve 5*x - 6 = n*x for x.
3
Let n = -23 - -26. Suppose 9 = 2*i + 3*r, 2*i - 2 = r + 3*r. Suppose 0 = -s - i*q + 11, -3*s - 2*q + 9 = -2*s. Solve 2*m + s = -n*m for m.
-1
Suppose -5*o - 42 = 4*k - 3*o, 3*o = -3*k - 33. Let b be 4/k - 84/15. Let z be b*1/(9/(-3)). Solve 0 = a + z + 1 for a.
-3
Suppose 78 = -0*q + 4*q - 2*w, w = 3*q - 60. Suppose 4*z = z - 36. Let u = q + z. Solve u = 2*o - 5*o for o.
-3
Let z be (-3)/(-21) - 1/7. Solve z = 4*f - 7*f + 3 for f.
1
Suppose -4*h + 5*r = -24 + 85, -5*h + 3*r = 73. Let y = -14 - h. Solve y = -4*u + 8 - 0 for u.
2
Suppose -7*p = -3*p - o - 42, 0 = 3*p - 5*o - 40. Solve 0*t + p = -2*t for t.
-5
Let v be (5 + -1 + 3)*1. Suppose -25 = -4*m - m. Suppose 3*s - 4 = s. Solve m*a - s = v*a for a.
-1
Let k(m) = -2*m**2 + m. Let g(a) = -a**2. Let n(j) = -3*g(j) + k(j). Let d be (-2)/(-4)*1*-4. Let q be n(d). Solve 0 = -q*h - 0*h - 4 for h.
-2
Let l = 20 - 17. Solve 6 = -v + l*v for v.
3
Let i(k) = k - 2. Let o be i(2). Solve -r + 2 - 3 = o for r.
-1
Let v be ((-15)/(-6))/5*8. Suppose -v*g - g = 0. Solve -8*x + 3*x - 15 = g for x.
-3
Let a(v) be the first derivative of 4*v**3/3 - 3*v**2/2 + v + 3. Let f be a(2). Suppose 3*j - y - f = -2, y = -5*j + 7. Solve j*c - 6 = -c for c.
2
Let u be (-22)/(-6) - 14/21. Solve -u*g + 10 = -g for g.
5
Suppose 3*j = 5*j + 10, j = -3*t + 31. Solve -2*l - t = -2 for l.
-5
Suppose -21 = -5*g + c, 3*c + c = -2*g + 26. Let x(j) = j**3 - 5*j**2 - j + 6. Let v be x(g). Suppose -i + 2 = -v. Solve 0 = -5*a - i - 12 for a.
-3
Let b be 7 + (0 - (0 + 3)). Suppose 5*g = -6 - b. Let p = -1 - g. Solve 4*y - 3*y = -p for y.
-1
Let s(l) = -l**3 - 4*l**2 + 3*l + 3. Let o be s(-3). Let p be (-2)/(-6) - o/9. Solve 0 = -2*i + 4 + p for i.
3
Let i(q) be the second derivative of -q**5/20 - q**4/2 + 3*q**2 + 2*q. Let m be i(-6). Suppose m*b = 2*b. Solve u + u = b for u.
0
Let w(k) be the first derivative of k**2/2 - 7*k - 3. Let d be w(7). Solve d = j - 5*j for j.
0
Suppose -5*x - 2 + 12 = 0. Let n be ((-18)/15 + x)*5. Let z(y) = y**3 - 3*y**2 + 2*y - 3. Let h be z(n). Solve 5*p = -1 + h for p.
4
Let o = -20 + 20. Solve -q + o*q + 1 = 0 for q.
1
Let z(t) be the first derivative of -t**3/3 - 7*t**2/2 + 10*t - 5. Suppose -g = -3*g - 16. Let b be z(g). Solve -3*m - b*m + 25 = 0 for m.
5
Let f be 299/65 - (-2)/5. Solve -f*d + d = 4 for d.
-1
Suppose -4 = 3*x - 10. Let j be (-24)/(-5) + x/10. Solve j*a - 3 = 12 for a.
3
Let b = -11 + 16. Solve 4 + 1 = -b*a for a.
-1
Suppose 0 = 4*r + 4 + 24. Suppose 3*g = -6 + 36. Let w = g + r. Solve -c + w*c = 8 for c.
4
Suppose 2*j - 3*j + 5 = 0. Suppose -2*d - 3*d - 5 = j*i, 1 = 3*d + 2*i. Suppose 3*s - 3 = d. Solve 0*c + 2 = s*c for c.
1
Let x(c) = 4*c + 28. Let r be x(-9). Let v(q) = 1 - 1 - 5 - q. Let d be v(r). Solve 0 - d = -w for w.
3
Suppose 10*p - 12*p + 6 = 0. Solve -p = -2*o + 3 for o.
3
Let h be 3/((-5)/((-10)/2)). Solve h*k = -0*k for k.
0
Suppose -3*l = 7 - 13. Solve l = 5*c - 3 for c.
1
Suppose 5 = -2*m + 15. Suppose -3*p + 50 = -m*p. Let r = -5 - p. Solve -4*q + r = q for q.
4
Let s = 131 - 131. Solve -4*q = -s*q for q.
0
Let k(q) = q**2 + 10*q + 4. Let g(t) = 3*t**2 + 30*t + 13. Let a = -8 + 25. Let o(x) = a*k(x) - 6*g(x). Let j be o(-7). Solve 31 = -5*y + j for y.
-4
Suppose 4*x + 0*x - 4 = -3*n, 0 = 3*x + 3*n. Solve -x*p - 5 + 1 = 0 for p.
-1
Suppose 4*a + 16 = 0, -5*z + 6 = a - 5. Suppose 0*r - r + 10 = h, 0 = 5*r + 15. Suppose -4*p + 11 = -h. Solve p = -z*m - 9 for m.
-5
Let h(q) = -q. Let l be h(-3). Suppose -2*o + d + 10 = -d, 5*d = -l*o - 25. Solve 4 = -o*v + v for v.
4
Let c be ((-1)/