3*j + 4. Let c be (-1)/2*j*1. Solve c*v = -2 - 4 for v.
-3
Suppose -5*m = 2*i - 16, -i + 4*m + 9 = 7*m. Solve 0 = -5*o + 2 + i for o.
1
Let d(m) = 3*m**2 + 5*m - 6. Let l be d(4). Let b = l - 23. Let y = b - 27. Solve y = 3*v - 0*v for v.
4
Let l(g) = 2*g**2 - g + 4. Let s(m) = 3*m. Let w be s(-1). Let z be l(w). Solve b - z = 6*b for b.
-5
Suppose -2*t = 2*l - 7*l - 23, -3*t + 46 = 4*l. Let z be (t + 1)*(-4)/(-12). Solve z*d = 29 - 4 for d.
5
Let m = -51 - -53. Solve -2*r + r + m = 0 for r.
2
Let f = -1 - -6. Solve -3*y + f = 2*y for y.
1
Suppose 7*u = 2*u + 40. Solve u = z + z for z.
4
Suppose 0 = v - 9 + 2. Let x be (5 - 12)/(-1 - 0). Let r = v - x. Solve -2*m - 3*m = r for m.
0
Suppose -2*f - 3*j + 8 = 2*f, 4*f - 8 = 5*j. Solve -f*q = 1 + 3 for q.
-2
Suppose 0 = -5*n + 7 + 38. Let q = n + 0. Solve -1 - q = -2*d for d.
5
Suppose -4*f = -86 + 6. Solve -f = 7*i - 3*i for i.
-5
Let c(v) = v**3 - 7. Let f be c(0). Let n = 13 + f. Solve -5 = -j + n*j for j.
-1
Let s = 6 + -24. Let x = s - -13. Let y be 0/(-2 - (x + 2)). Solve 7*j - 3*j + 20 = y for j.
-5
Let u be (14/8 - (-36)/(-48))*4. Solve 0 = -2*w + u*w for w.
0
Let q(g) = g**2 - 4*g + 3. Let o be q(2). Let r = o - 5. Let l = r - -6. Solve -6*n + n = l for n.
0
Let q = -6 + 8. Let c(z) = z**3 + 6*z**2 + 3*z - 7. Let h be c(-5). Solve 0 = -q*d - d - h for d.
-1
Suppose -4*q + 6 = 5*f, 3*f = 3*q - 21 + 3. Let w be -2*(f - (-11)/2). Let h(v) = v**2 + 6*v - 4. Let z be h(w). Solve -j = -1 - z for j.
4
Let i = -6 - -10. Let w(d) = 12*d**3 + 11*d**2 - 27*d**3 + 14*d**3 - 12 - 8*d. Let u be w(10). Solve -u*n + i = -4*n for n.
1
Suppose 0 = o + r - 4*r - 20, -2*o + 2*r = -20. Let m = -5 + 3. Let c be (12 + m)*2/4. Solve 0*d = -o*d - c for d.
-1
Suppose 6*x = 4 + 2. Solve x = y - 1 for y.
2
Let d be ((-140)/(-8))/5 + 2/4. Solve 2*x + d = -0 for x.
-2
Let j(n) be the second derivative of -n**3/3 - 2*n. Let f be j(-2). Let q(z) = -z**2 + 5*z - 4. Let o be q(f). Solve -5*h - 7 - 13 = o for h.
-4
Let c = 93 + -91. Solve 3*l = -4 - c for l.
-2
Let f = -7 + 10. Suppose -f*y + 30 = -39. Solve 5*c = -y + 8 for c.
-3
Suppose -3*f + 4*a = -3 - 7, -f + a + 3 = 0. Suppose 6 = 5*d - 6*c + f*c, -5*d + 15 = 5*c. Suppose -6 = -2*k - d. Solve k*h - h = 5 for h.
5
Suppose -2*j = 4*g - 36, 4*j + 4*g - 23 = 29. Solve -5*x = -j + 3 for x.
1
Suppose 3*l = 5*h + l - 19, -5*l = -3*h. Suppose 0 = -3*q - 1 + 1. Solve x - h = -q for x.
5
Let n(p) = p**3 - p**2 - p. Let g be n(2). Let a = 0 - -3. Suppose 3*k - a = 3*q, -g*q - 3*k - 14 = -8*k. Solve q*b = -b for b.
0
Let z = 14 - 6. Suppose -2*l + 4 = -0. Suppose 2*t - 5 - 7 = 3*p, -l*t = -p - z. Solve -n = t + 1 for n.
-4
Suppose -3*s + 53 = 11. Suppose 4*j + 2 = s. Solve j*o + 5 = -1 for o.
-2
Suppose -3 = -2*y + 3. Let k = 9 + -6. Suppose -y*u - k = -24. Solve u + 1 = 4*m for m.
2
Let h(n) be the first derivative of n**4/24 + 3*n**3/2 + 3*n**2/2 - 2. Let a(y) be the second derivative of h(y). Let b be a(-4). Solve -t + 12 = -b*t for t.
-3
Let f be (28/10 - 2)*-25. Let x be (6 - 1)*(-8)/f. Solve x*m = -2*m for m.
0
Suppose 2 = -z + 4. Suppose -z*q + 4 = -4. Solve -q*i + 1 = -19 for i.
5
Let p(j) = j**2 - 10*j + 5. Let k be p(9). Let x be -4*(k + (-28)/(-8)). Solve 0 = x*g - 7*g for g.
0
Let t(s) = -s**2 + 10*s + 6. Let n be t(9). Let i be 5*1/(n/9). Solve -2*c + 10 = i*c for c.
2
Let m be ((-8)/10)/(3*4/(-60)). Solve m*r = -2 - 6 for r.
-2
Suppose 7 = 5*u - 13. Solve 0 = u*d - 0*d + 16 for d.
-4
Suppose 7*o - 12*o = -5. Solve -3 = 4*a + o for a.
-1
Suppose t - 144 = -2*t. Suppose 5*p - p - t = 0. Solve -p = -2*n + 6*n for n.
-3
Let u be (-30)/(-9) - ((-60)/9 + 6). Solve 0 = u*h - 3 - 1 for h.
1
Suppose -s + 2*s = q, 0 = -3*s - 5*q. Let a be 0/(-2) - (-3 - 0). Let j = -4 + 6. Solve -a*m - j*m + 5 = s for m.
1
Let v = 18 + -11. Let z be ((-120)/42)/((-2)/v). Solve -3*h + z = 2*h for h.
2
Suppose -2*r - 7 = -2*u + 5*u, -4*r = 4*u + 4. Let x be 10 + -6 - (3 - (-3 + 3)). Let m be x - 4 - (u - -1). Solve -2*q - 1 = m for q.
-1
Let w(c) = c + 5. Let u be w(-5). Solve q + 1 = -u for q.
-1
Let p(x) = x - 7. Let i be p(7). Let v be i/((1 - 2) + 0). Let q(k) = -k**2 + 2. Let z be q(v). Solve z*j = -0 - 2 for j.
-1
Let x(a) = 2*a**2 + 10*a - 4. Let m be x(-6). Solve -1 = -3*s + m for s.
3
Let s(n) = n + 2. Let r be s(-2). Suppose 2*h - 2*x - 6 = r, 0 = -2*h - 2*h + 2*x + 10. Suppose 0 = -5*u - 2*f, 2*f + 4 = -3*u - 0. Solve -u*b = h*b for b.
0
Let y be (-208)/(-24)*6/4. Solve y = -5*h - 7 for h.
-4
Let t = 4 + -2. Suppose 3*d + t*y - 8 = 0, 3*d + 7 = -5*y + 27. Solve 5*h + 10 = -d*h for h.
-2
Suppose z - a - 4*a = -21, -5*a + 37 = 3*z. Suppose b - 6 = z*b. Let n be (-65)/(-55) + b/11. Solve -n + 3 = v for v.
2
Let q(r) = -r - 8. Let c be q(-8). Solve 0 = 2*x - c*x for x.
0
Let m = 0 - -9. Let k be (-2)/(-3) + (-6)/m. Suppose z + k = 1. Solve -5 - z = 3*p for p.
-2
Suppose -4*d - 3*i - 25 = 0, 0*d - 2*d - 30 = -2*i. Let w be d/25 + 2/5. Let t(q) = q**3 + q**2 + 2. Let l be t(w). Solve -l*v = -14 + 6 for v.
4
Suppose -v + 3 = -r, 0 = -v + 5*r + 2 + 1. Suppose v = 2*n - 1. Solve n*m + 0*m = -6 for m.
-3
Let f(c) = c**2 - 11*c + 7. Let g(y) = -2*y - 5. Let h be g(-8). Let k be f(h). Solve -k = 4*u + 5 for u.
-3
Let i(d) = 4*d**2 - d**3 + 0*d**3 - 1 - 2 + 1. Let q be i(3). Solve 3*m = 5 + q for m.
4
Suppose 0 = -2*r - s - 1, 2*r - 9 = s. Solve -u = u + r for u.
-1
Let f = 23 - 21. Suppose 2*j - 12 = -f*j. Solve 0 = -2*a - 3 - j for a.
-3
Suppose -2*g = -g - 25. Solve 0 = 3*q + 2*q + g for q.
-5
Let q = -19 - -25. Let u be 40/(-30) - (-32)/q. Solve -u = -0*a - 4*a for a.
1
Suppose 3*z + 8 - 17 = 0. Solve z*j - 1 = 2*j for j.
1
Suppose 0*z + 3*z = 0. Solve z = -r - 3*r + 12 for r.
3
Suppose 4*j - 28 = -5*x, 0 + 4 = 2*j. Solve x*y + 9 = -7 for y.
-4
Let c(l) = 23*l**2 - l - 1. Let b be c(-1). Solve b = -4*i + 7 for i.
-4
Let s(c) = -c + 1. Suppose 4*i = 5*w - 15, w - 6 = i - 3. Let o be s(i). Solve o = -a - 0 for a.
-1
Suppose 2 = -4*b + 18. Suppose 4*k = 5*q - 9, b*q = 2*k - 0*k + 6. Solve -q - 3 = -4*w for w.
1
Suppose 1 - 25 = 2*m. Let t = m - -15. Solve -t*r = r + 12 for r.
-3
Let i be 1/3 + (-1)/3. Suppose -5*x = z - i*z - 2, -10 = -5*z - 5*x. Suppose -5*s = 3*w + 1, -5*s - 15 = -w - 2. Solve z*v - 11 = -w for v.
4
Let n = 10 + -6. Suppose m + 3*m = -n. Let z = 1 - m. Solve -3*c + z*c = -5 for c.
5
Let n(d) be the second derivative of d**5/20 + 2*d**4/3 + d**3 - 2*d**2 + 2*d. Let r be n(-7). Let b = 9 + r. Solve 2*i + b = 6*i for i.
3
Let f be (3*2/12)/((-1)/(-8)). Solve f*x + 0 - 4 = 0 for x.
1
Let a(f) = f**3 - 6*f**2 + f. Let t be a(6). Solve -4 - t = -2*o for o.
5
Suppose 3*o - 30 = 2*k, 0*o - 12 = -3*o - 4*k. Solve 0 = -4*i + o for i.
2
Let r(t) = t**2 - 11*t - 2. Let w be r(12). Solve -8*y + w*y + 8 = 0 for y.
-4
Let y(b) = -b**2 + 4*b - 2. Let t be y(4). Let r(w) = -3*w - 3. Let g be r(t). Solve 0 = -g*n + 1 + 8 for n.
3
Suppose -2*j + 4*j = 2. Let g(d) = 3*d - 2. Let v be g(j). Solve u - 2 = v for u.
3
Let h(s) = 2*s**2 + 15*s - 7. Let c(p) = -p**2 - 8*p + 4. Let g(v) = 11*c(v) + 6*h(v). Let i be g(-2). Let d be 1/i*(-24)/(-2). Solve -3*n = d - 3 for n.
-1
Let w be 3/(-3 - (-72)/20). Suppose -a = -w + 3. Solve h = 2*h - a for h.
2
Let p = 1 - -7. Let x(y) = -y**3 + 8*y**2 + 2*y - 13. Let o be x(p). Solve 0 = -o*h + 2*h for h.
0
Let q = -11 - -17. Suppose -q*f = -3*f - 9. Solve -f*r + 12 = 3 for r.
3
Let w = -9 - -12. Let n be 4 - (1 + -4)/w. Solve 0 = n*u - 7 + 17 for u.
-2
Let p = -38 - -40. Solve -3*t = p*t + 5 for t.
-1
Suppose -5*q - 5*r - 20 = -10*q, 7 = 4*q - r. Solve -b - 4 = q for b.
-5
Let m(k) = 4*k**3 - k**2 + k - 1. Let h be m(2). Let b = h - 16. Suppose -7 = -5*o + b. Solve 3*d = o*d for d.
0
Suppose 5*o - 4 = -2*i - 10, 2*o + 1 = -i. Let p = i + -7. Solve -3*l + p*l = 15 for l.
-5
Let i(h) = -h**3 - 10*h**2 + 12*h + 4. Let b be i(-11). Let c = -2 - b. Solve 0*g = -c*g for g.
0
Let i be (-7 + -1)*(15 + -17). Solve 5*c - i = c for c.
4
Let r be (-2 + 1)*(-1 + -1). Suppose -3*s = r*s - 50. Solve 4 - s = -3*o for o.
2
Let q(m) = 2*m - m - 3 + 2. Let a be q(0). Let z be -1 - (2*a + -2). Solve -2*r + z*r = -5 for r.
-5
Let g(m) = -m**3 - 4*m**2 - m - 2. Let h be g(-4). Suppose -3*k - 5*u = -8*k + 35, 5*k + 4*u = -1. Solve -k*t = -5*t - h for t.
-1
Let p = -15 + 22. Solve