 4*d = -c*v - 4. Suppose 2*w + 4 = 10. Solve w = d*o - 17 for o.
5
Let c(m) = 2*m + 3. Let r be c(-1). Solve -4*n = -r - 19 for n.
5
Suppose -y + 23 = 5*q, -4*q + 3*q - 3*y = 1. Suppose -x = 2*n - 8, 3*x - q*n = -0 + 2. Suppose -4*u + x + 4 = 0. Solve 3*h = h - u for h.
-1
Let l = -12 - -15. Let p(c) = c - 1. Let v be p(0). Let n = 1 + v. Solve 12 = -l*r - n*r for r.
-4
Suppose -5*l = -3 - 7. Let b = l - 2. Solve b = -q + 3 for q.
3
Suppose c + 5*m - 46 = -2*c, -4*c = 3*m - 54. Solve -c = 4*v - 0*v for v.
-3
Let k(y) = y**3 + 7*y**2 - y + 1. Let b be k(-7). Solve 0 = -3*g + b*g - 25 for g.
5
Let t be 5/(20/(-12)) - -3. Solve 3*z - 5 - 7 = t for z.
4
Let m = 0 - -5. Suppose 0 = -5*k + 5*j - j + 31, 14 = -2*k - m*j. Suppose -2*d - k*d = 0. Solve d = -i + 3*i + 6 for i.
-3
Let k be 2 + 3 + 6/(-2). Let p be 60/28 - k/14. Let o(v) = -v - 2. Let w be o(-3). Solve -w = s + p for s.
-3
Let h = -2 + 2. Suppose h = 2*n + n - 15. Solve -3*g = -n*g + 10 for g.
5
Suppose -3 = -5*h - 3*k, 4*h + 2*k - 4 = -0*k. Solve 0 = h*w - 0 - 12 for w.
4
Suppose 7 = -l - 4. Let y = -4 - l. Suppose 2*n = y*n - 2*a - 10, 2*n + 3*a - 4 = 0. Solve -1 = 3*h + n for h.
-1
Let m(c) = c - 6. Let p be m(8). Suppose -7*b + 15 = -p*b. Let v be (-3 - b/(-3)) + 6. Solve 0 = -2*y - 0 + v for y.
2
Suppose 0 = 4*n + 2*v - 68, 2*v = -5*n + 3*v + 78. Solve -4*w - n = -8 for w.
-2
Let u(c) be the first derivative of c**4/4 + 2*c**3 - 3*c**2 + 7*c + 3. Let q be u(-7). Solve -5 = 5*r - q*r for r.
-1
Let w(f) = 7*f - 2. Let c be w(1). Solve -r = -6*r + c for r.
1
Let r be (8/3)/((-4)/(-30)). Suppose -r = -m - m. Let t = 5 + -3. Solve t*n + m - 4 = 0 for n.
-3
Let o be (3 + (-1)/3)*-3. Let k = -6 - o. Solve k*r + r = 3 for r.
1
Suppose -2*q = 2*o - 14, 0 = -4*o - 0*o + 20. Suppose -q*x = -k + 24, -3 = -5*k - 5*x + 87. Solve 8*h = 4*h - k for h.
-5
Let c = 2 + -6. Let o(x) be the third derivative of x**4/24 + 5*x**3/6 - 4*x**2. Let a be o(c). Solve 0 = -s + a - 0 for s.
1
Suppose 0*t = -3*t + 87. Suppose s - 3*f - f = 2, -5*s = -f - t. Let a be (-26)/(-12) - s/36. Solve 2 + a = -4*o for o.
-1
Let q(r) = r**3 + 2*r**2 - 5*r - 2. Let y(l) = l**3 + 2*l**2 - 4*l - 2. Let a(x) = 3*q(x) - 4*y(x). Let n be a(-2). Solve u + u = n for u.
0
Let z(m) = m + 3. Suppose -y + 7 = -2*v, -v + 4*y - 7 = -0. Let i be z(v). Solve -b + 4 = -i*b for b.
4
Let k = -10 + 12. Solve -k + 7 = 5*b for b.
1
Suppose 7*t - n = 4*t + 9, 2*t - 3*n - 6 = 0. Let c be (2/t)/(3/18). Suppose 0 = -0*p + 4*p - 48. Solve c*u + p = -4 for u.
-4
Let j be 42/(-9)*(-18)/21. Solve -j*k = 13 - 1 for k.
-3
Let g be 0/(-12)*(-1 + 2). Solve 8 = 4*x - g*x for x.
2
Let y(t) be the third derivative of t**4/24 - t**3 + 20*t**2. Suppose 3*q - 24 = -6. Let s be y(q). Solve 2*p = -s*p for p.
0
Let t(m) = -m**2 + 6*m - 6. Let p be t(4). Suppose -7 = -v - p. Suppose 3*a - 6*a + 9 = 0. Solve d = -a + v for d.
2
Let u be 2/4 + 68/(-8). Let s = u + 8. Solve s = f + 2 for f.
-2
Suppose -2*a + 6*a - 36 = 0. Let z(y) be the second derivative of -y**4/12 - 2*y**3/3 - y**2/2 + 2*y. Let n be z(-3). Solve a = -n*t - t for t.
-3
Let a be 1/3*(-2 - -17). Solve 10 = -a*u + 3*u for u.
-5
Suppose k = 3 - 1. Solve 3*n = 8 - k for n.
2
Let r(d) = 0*d**2 + d**2 - 4*d + 2*d - 2*d - 7. Let z be r(6). Let y be (-2 - 5/(-2))*0. Solve z*o - o = y for o.
0
Let k be (-8)/(-3)*(-15)/(-4). Suppose -8*q + k*q = 6. Solve q*v = -0 - 3 for v.
-1
Let c(t) = 4*t - 3. Let s be c(2). Suppose 3*o - 26 = 4*p, 1 + 1 = -4*o - 2*p. Suppose 0*h = -s*h - a + 4, -3*a = o*h + 1. Solve 2*d = -1 - h for d.
-1
Let t(j) = 1. Let u(p) = -5*p - 5. Suppose -4*m + 3*m - 5 = 0. Let q(y) = m*t(y) - u(y). Let f be q(5). Solve -2*o + f = -7*o for o.
-5
Suppose -r + 3*h = -32, 0 = 2*h - 4*h - 8. Solve 4*a + a = -r for a.
-4
Suppose 5*h + 5*i - 20 = 0, -5*h - 4*i + 7 = -14. Let r = 1 + h. Solve -2*q - 16 = -r for q.
-5
Let z(u) = u**3 - 2*u + 1. Let b be z(1). Let f = -14 - -11. Let c = b - f. Solve -c*j + 10 = -5*j for j.
-5
Let t(q) = 5*q**2 + 5*q - 4. Let z(g) = -14*g**2 - 15*g + 13. Let d(w) = 11*t(w) + 4*z(w). Let m be d(-6). Let o be m - (5 + (-1 - 2)). Solve o = 6*s - s for s.
0
Let q be 4 - 5/((-10)/(-4)). Suppose -3*s = 4*v + 20, -5 = 2*s - v + q*v. Solve s*u = -u - 2 for u.
-2
Let x(o) = 17*o + 38. Let j(a) = 6*a + 13. Let u(n) = 11*j(n) - 4*x(n). Let h be u(-6). Suppose 9 - 4 = 2*i + v, -4*v = h*i + 5. Solve 3 = -2*z - i for z.
-4
Suppose 5*y - y + 20 = 0. Let m(a) = 2*a**2 + 6*a - 1. Let z be m(y). Suppose 11 = 3*l - z. Solve 5*f = -l - 10 for f.
-4
Suppose -1 = u - 17. Let k = -15 + u. Solve 0 = -2*v - k - 9 for v.
-5
Suppose -5*g + 1 = -19. Solve -11 = g*h - 3 for h.
-2
Let o be -1 + 4 + -7 + 6. Solve m = 5 - o for m.
3
Let c be 0*(-2 + 3)*-1. Suppose -4*x + c*x = -8. Solve -2*g - x = -0 for g.
-1
Let g = 2 + -11. Let q = -4 - g. Solve 3*m - 14 = -q for m.
3
Suppose -4*f = 6 + 6, 4*f + 80 = 4*q. Solve -3*s + 8 = q for s.
-3
Suppose 0*w - 8 = -2*w. Suppose 4*a - 4*d = 32, -w*a - d + 7 + 15 = 0. Suppose 0 = -v - 2*k + 4, -4*v + 4*k + 1 = -63. Solve 0 = -3*o + a*o - v for o.
4
Let r(a) = -a**3 + 4*a**2 + 2. Let p be r(4). Suppose 6 = p*s - 10. Solve -v - s = v for v.
-4
Suppose -2*z = d, 28 - 1 = 5*d + z. Solve 2*b - 4*b + d = 0 for b.
3
Let k(q) = 3*q**3 - q + 1. Let o be k(1). Solve -z + o*z = 8 for z.
4
Suppose -3*n = -1 - 11. Let c(m) = -m**3 + 5*m**2 - 4*m. Let k be c(n). Solve k*h - 4 = -h for h.
4
Let n(a) = 7*a + 22. Let r be n(-3). Suppose 3*h + 12 = -3*s, -2*h = -5*s + 18 + 11. Let l be 4/(-10) + h/(-5). Solve -2*k - l = r for k.
-1
Let n be -4 - (-1 + (-4 - -4)). Let k(y) = y**3 - 3*y**2 + 3*y - 3. Let u be k(3). Let r = n + u. Solve 3*w - 3 - r = 0 for w.
2
Let c = 8 - 7. Let f be c*-3*(-10)/15. Solve -3 = f*n - 11 for n.
4
Let m(t) be the first derivative of t**4/4 + 2*t**3 + 2*t**2 - t - 1. Let b be ((-10)/8)/((-2)/(-8)). Let w be m(b). Solve -1 = -w*s + 3 for s.
1
Let k(f) = 5*f**2 - 1. Let r be k(1). Suppose -r*c + c = -6. Suppose 0 = -6*a + 5 - 5. Solve a = 7*v - c*v for v.
0
Suppose r - 86 = -4*h + 71, -2*h + r = -83. Let b be (3/(-1))/((-24)/h). Suppose 18 = b*x - 2, 5*i - 6 = x. Solve -3*p = -i*p - 4 for p.
4
Suppose 0 = -3*q + 15, -5*q - 10 = -3*t - 4*q. Solve 3*i - 4*i = t for i.
-5
Let q(l) = l**2 - 6*l - 2. Let n be q(3). Let z = n + 21. Let x be ((-3)/2)/(15/(-20)). Solve 3*o = x + z for o.
4
Let n be 1 - (-33 + 3)/2. Suppose q + 0*c - n = -4*c, 5*q - 17 = c. Solve 2*g = q*g + 8 for g.
-4
Let w be -1 + 7/((-21)/(-72)). Suppose -3 + w = 2*x. Solve 8*h = 3*h + x for h.
2
Suppose -2*u - u - 9 = -3*f, 4*u = 3*f - 9. Solve t + 12 = -f*t for t.
-3
Suppose 0 = -3*m - v - 76 - 38, 0 = 2*m - 2*v + 68. Let y = 53 + m. Solve -h = 3*h + y for h.
-4
Suppose 4*r + 0*r = 0. Suppose 0 = -2*j + 32 - r. Let h be (2 - 4) + 2*3. Solve 0*v = h*v + j for v.
-4
Suppose 27*o = 24*o + 12. Solve 0 = q - o*q - 3 for q.
-1
Let i = 147 - 135. Solve 0 = -i*z + 7*z - 10 for z.
-2
Let c(v) = -v**2 + v + 1. Let k be c(-1). Let o = k + 4. Solve u + o*u = 16 for u.
4
Suppose 4*z - 4*b - 8 = 0, -2*z - 2*z + 7 = -5*b. Suppose 2*c + 5 = z*c. Solve -u = -0*u - c for u.
5
Let w = -46 + 48. Solve w*m = -0*m for m.
0
Let s = 9 - 4. Solve -5*v + s = -10 for v.
3
Suppose -9 = v + 5. Let x = 23 + v. Suppose 6*a - 4*a - j - x = 0, -a = -3*j - 17. Solve -5*p = -a*p + 15 for p.
-5
Suppose 5*f - 20 = -y, -5*f + 20 = -3*y - 2*y. Suppose y = -3*z + 6 + 39. Suppose 0 = 5*t - 25, -4*r - 5*t + 33 = 8. Solve r = -2*j - j + z for j.
5
Suppose p - 2*p = -3*j + 77, 128 = 5*j - 2*p. Suppose -29 = -5*r + j. Suppose 5 = 2*x + 3*x. Solve 3*s + r + x = 0 for s.
-4
Let u be (-2)/(-6) - 26/(-3). Let c be 10/25 + (-7)/5. Let y = u + c. Solve -a + y = a for a.
4
Let a be -3 - -1 - (40 + -2). Let o = -61 - a. Let m be (-3)/6*(o + 1). Solve 4*p - 2*p - m = 0 for p.
5
Let w be (2/4)/(3/(-516)). Let y be 6/27 + w/(-18). Let t be (-2)/(-1)*1 + y. Solve -4*n - t = 13 for n.
-5
Let f(m) = -2*m**3 + m**2 - 1. Let t be f(-1). Solve -t*l + l - 4 = 0 for l.
-4
Suppose -3*n = s + 5, 0 = -5*n - s - 0 - 5. Suppose 2*c = -n*c + 3*q + 6, 0 = -2*c + 5*q + 10. Suppose c = -3*b - 1 + 7. Solve 0 = 2*o + b*o for o.
0
Let n(j) = -j**2 + 13*j + 17. Let c be n(14). Solve -9 = c*w + 3 for w.
-4
Let x(j) = j**2 + 11*j + 8. Let d be x(-7). Let n = -18 - d. Solv