Suppose 0*v = -4*v + 24. Solve 6*i - v = 3*i for i.
2
Let i(w) = 4*w - 5 + 1 - 2*w - w**3 + 3. Let g be (-2)/(-5) + (-12)/5. Let s be i(g). Solve 0 = -5*n - 22 - s for n.
-5
Let w(g) = 3*g + 6. Let i be w(-9). Let m be 8/28 + (-99)/i. Solve -5*f + 0 = -m for f.
1
Let l be 1*(4 + -3) + -1. Let m(i) = i + 7. Suppose 0 = -3*z + 3, -8 = 2*h - 0*h + 2*z. Let a be m(h). Solve -x - a*x = l for x.
0
Let x(n) = n**3 + 19*n**2 - 22*n - 23. Let p be x(-20). Solve -3 = 4*g + p for g.
-5
Suppose 5*a - 14 = -i, 4*i = -a + 27 - 9. Solve a*h = -3*h - 20 for h.
-4
Suppose 0*m - 2*m = -4*z + 2, -z = -m + 1. Let n be (-2 - 0)*z/(-4). Solve x - 1 = n for x.
2
Let l = 14 + -1. Suppose l = 3*p + 1. Solve -p*q = -q for q.
0
Suppose -5*n + 85 = 10. Solve 3*p - n = -0 for p.
5
Let n be (-7)/(-2) - 7/14. Solve b - n = -2*b for b.
1
Let o(w) = -2*w + 4. Let d be o(3). Let j be (-2)/d + 9/9. Solve -7*f - 10 = -j*f for f.
-2
Let u(k) = -k**2 + k + 3. Let b be u(0). Suppose -5*o - 3*r = -6, 0 = -b*o + r + 5 + 7. Solve 0 = 2*w + w + o for w.
-1
Let x(b) = -b**2 + 5*b + 4. Let c be x(5). Let q = c + -4. Suppose q*w - 15 = -5*w. Solve -9 = -w*r - 0*r for r.
3
Let c(b) = 2*b**2 + 2*b - 2. Let y be 18/(-5) - 6/15. Let i be c(y). Solve 0 = 5*a + 2 - i for a.
4
Suppose -g = -12 - 21. Let m be g/(-9)*-3*1. Suppose s + 5*w - m = 4*w, -20 = -4*w. Solve 3*i - s = -21 for i.
-5
Suppose 3*l = 2*o + 6*l, -2*o + 28 = -4*l. Suppose -1 = b - o. Solve 0*y + 5 = -b*y for y.
-1
Let w(k) = -k**3 + 5*k**2 - 5*k + 2. Let a be w(3). Suppose -17 = -f + 4*o, 0 = -f - a*o + 5 - 15. Let d be (-3)/f*5*-1. Solve -d*z - 3 = -12 for z.
3
Suppose 8*l = 4*l. Suppose l*o - 8 = -2*o. Let u(s) = s - 2. Let j be u(o). Solve j*v = 2 - 0 for v.
1
Let c(k) = -3*k - 12. Let m be c(-5). Solve -m = -4*h + 1 for h.
1
Let c(t) = 6*t**2 - t. Let p be c(1). Suppose 0*q = -p*q + 10. Solve q*j + 15 = -j for j.
-5
Let g be (-1)/2*(-16)/1. Let n = 6 - 6. Suppose -a = -n*a - 4. Solve 0*k - a*k = g for k.
-2
Let t be -1*2*(-3)/(-2). Let l be (-9)/6 - t/2. Solve l*g - 2 = -g for g.
2
Let o be 2/9 - (-12)/(-54). Solve o = -2*d + 1 + 1 for d.
1
Suppose -11*g + 34 = 1. Solve -18*a = -19*a + g for a.
3
Suppose -5*j - 2*y - 55 = -146, 53 = 4*j - 5*y. Let p(k) = k**2 - 1. Let d be p(-4). Suppose -4*s - 2*t + 6*t - 8 = 0, -3*t = -d. Solve -s = -5*g + j for g.
4
Let i(w) = w - 3. Let b be i(5). Solve 0 = h - b + 1 for h.
1
Let z be (18/52 - (-12)/78)*0. Solve z*v = -v + 5 for v.
5
Let k be 3/12 - (-39)/(-12). Let j be 5*(-1)/(k/3). Let c = j + -5. Solve 0*g + g - 3 = c for g.
3
Let b(w) = -w**2 - 10*w. Let t be -8*(2 + 3/(-4)). Let m be b(t). Solve -5*y + 20 + 5 = m for y.
5
Suppose 0 = -3*c - 9 + 30. Let j = c - 7. Solve 3*f + 0*f + 9 = j for f.
-3
Let o = -4 + 6. Suppose j - 10 = -o. Solve 4*g = -0*g - j for g.
-2
Let p be (4/(-3))/(1/(-3)). Let v be 3/12 + 135/(-12). Let d = v + 12. Solve d = -3*f + p for f.
1
Suppose 0*f - 3*x + 13 = f, f - 23 = -5*x. Let k be (-80)/(-45) + f/(-9). Solve 0 = k*i - i + 3 for i.
-3
Let v(p) = p**3 + 4*p**2 - 4*p + 7. Let q be v(-5). Let b be (q + 3/1)*4. Suppose 10 = 3*i + 5*g - 10, -5*i + 22 = -3*g. Solve i*u - u + b = 0 for u.
-5
Suppose -3*f - 27 = 5*a, 0 = -3*a + 4*f - 0*f - 22. Let i = -2 - a. Solve u + 2 = i for u.
2
Let m(o) = o**2 + o + 1. Let i be m(-2). Suppose -2*w - p + i = -0*w, 2*p = -w. Solve -l + w = l for l.
1
Let p = -389 - -394. Suppose -5*z + 2*z + 6 = 0. Solve -p*q - z = 13 for q.
-3
Let k(w) be the first derivative of -w**4/4 + 2*w**3 + 7*w**2/2 + 2*w + 2. Let u be k(7). Suppose -1 - 7 = -4*n. Solve n*p - u = p for p.
2
Suppose 5*s = -5*n + 5, 4*n - 3*s + 4*s - 1 = 0. Solve n = -5*u - 0*u + 5 for u.
1
Suppose -4*u - u - 3*s - 61 = 0, -s = -2*u - 20. Let a = u - -13. Solve a*w + 1 = 9 for w.
4
Let w be 1/(4*2/24). Suppose z - 1 = -s + 5, -2*s = -w*z + 13. Solve -z = -4*o - 21 for o.
-4
Let t = 0 + 2. Suppose -j = 4*b - 18, 0*b - b + t*j = 0. Solve -3*o - o = b for o.
-1
Suppose 2*m = 7*m - 105. Let f = 5 - 8. Let c = f + m. Solve -4*o - c = -6 for o.
-3
Suppose 100 = -0*k + 4*k. Suppose 0 = 4*i - 9*i + k. Solve i = -x + 2*x for x.
5
Let q(r) = r**2 - 8*r + 2. Let d be q(8). Suppose d = -3*f + 5*f. Solve -4*u - f = -3*u for u.
-1
Let x = 1 - -2. Let k(o) = -8 - o + x*o - 1. Let d be k(6). Solve d*v - 2*v - 1 = 0 for v.
1
Let x be (-34)/6 - (-2)/(-6). Let b = 9 + x. Solve -2*d = b*d + 15 for d.
-3
Suppose -2 = 3*o - 11. Solve -o*n - 2 = 1 for n.
-1
Let o be (-32)/(-12) - (-4)/3. Solve o = -0*v - v for v.
-4
Let x(z) = -z**2 - 3*z + 1. Let q be x(-3). Let w(f) = -f**3 + 2*f**2 - 1. Let g be w(q). Suppose g = -n - 2*n + 18. Solve 0*k + n = -2*k for k.
-3
Let j = -3 - -5. Let y be (27/(-6))/((-1)/j). Solve y - 3 = 3*f for f.
2
Suppose -3*p = p - 8. Let c(z) = z**2 - z**2 + z**2 - 7*z + p. Let v be c(7). Solve 0*q + q = v for q.
2
Suppose w + 2*w - 12 = 0. Let h = w - 4. Solve 4*i + h*i = -4 for i.
-1
Suppose 2*l - j = -3, -12 = -17*l + 19*l - 4*j. Solve 3*y + l*y = 0 for y.
0
Suppose 0*l - 3*l = 6. Let c be 27/18 - l/4. Let u(w) = -w**2 - 9*w - 5. Let x be u(-8). Solve a + c*a = -x for a.
-1
Let t(k) = k**2 - 3*k - 1. Let i(v) = v**3 - 5*v**2 + v - 1. Let m be i(5). Let y be t(m). Solve s - 4*s = -y for s.
1
Let z(i) = i**2 + 5*i + 8. Let y be z(-3). Solve -y*q = -q + 2 for q.
-2
Let h(z) = -z + 4. Let q be h(4). Solve -b - 2 - 3 = q for b.
-5
Let a(d) = -4*d + 13. Let f be a(3). Let k = -2 - -5. Solve k - f = -2*j for j.
-1
Suppose 0 = -2*k + 3*k. Solve k*m = -m for m.
0
Let i(m) = m**2 + 2*m - 24. Let r be i(-6). Solve r*v = -v for v.
0
Suppose -3*v + 6*v + 5*k = 46, 2*k = 4. Let b = -10 + v. Let l be (-54)/(-7) - 4/(-14). Solve b*t - l = -0*t for t.
4
Suppose 2*m - 8 = 4*t, m - 3*t = 3*m + 6. Suppose -5*z - 2 = -3*y + 9, m = 5*z + 20. Let b be 1 + 5 + 1 + y. Solve -b*s = s for s.
0
Let p(t) = -t**2 + 4*t + 1. Let j be p(6). Let f = j + 11. Solve 0*d + 3*d + 15 = f for d.
-5
Let v = 40 - 20. Suppose 39*u = 41*u - 10. Solve a = u*a - v for a.
5
Let t(x) = -x**2 + 4*x + 5. Let a be t(5). Let f be 0 + a + 6 + -8. Let j be f/3 - 64/(-6). Solve -y - j = y for y.
-5
Suppose -4 = -5*y + p, y - 5*p = -2*y - 2. Solve -y = u - 3 for u.
2
Let k(u) = u**3 - 9*u**2 + u + 2. Let g be k(9). Suppose g*w - 14*w + 6 = 0. Solve 0 = -w*f - 2 + 8 for f.
3
Suppose 35*k = 34*k. Let v be 1*(-2)/(-4)*6. Solve 0 = 3*z - k*z + v for z.
-1
Suppose 2*y = -2*b - 2, -y = -4*b - 18 - 6. Solve 0 = 2*j - j + y for j.
-4
Suppose -14 = -5*w + 3*l, -l - 4 = w - 2. Suppose -w = o - 2. Solve 0 = u - o - 3 for u.
4
Suppose -4*x = -5*g + 2, 4*x - 8 = g - 2. Suppose -2*s - x*s = 0. Solve 0 = -s*u + 3*u - 15 for u.
5
Let m(j) = 2*j**3 - 12*j**2 + j - 2. Let l be m(6). Solve -l*o + 3 = 15 for o.
-3
Suppose -15*j = -11*j - 4. Solve j + 1 = -2*c for c.
-1
Suppose 3*o = -g + 4*g - 15, 2*g - 15 = o. Suppose 4*k = -y + 5, 4*y - k = 2*y + g. Let i be 4/10 - (-8)/y. Solve -13 = 5*b + i for b.
-3
Let k(s) = -s**2 + 3*s + 22. Let i be k(6). Solve -i*u = -0*u + 16 for u.
-4
Let f(i) be the third derivative of -i**5/60 - 7*i**4/24 + i**3/3 + 3*i**2. Let j be f(-7). Let q = 0 - -2. Solve 0 = -g - j - q for g.
-4
Let h(j) = -j**2 - j + 4. Let v be h(-3). Let r be (0 + v)*2*-1. Suppose 4*s + 12 + 24 = r*l, l - 4*s = 9. Solve 4*p + 7 = -l for p.
-4
Let i(j) = -5*j**2 - 2*j + 3*j - 2 + 3*j - 2*j + j**3. Let t be i(5). Suppose -2*s + 2 = -4. Solve -t = s*f + 1 for f.
-3
Suppose -o + 2*s = 3*o - 110, 5*o - s - 136 = 0. Let k = o + -2. Solve -3*l - 2*l + k = 0 for l.
5
Let d be (6 - 480/78) + 2/13. Let w(t) = t**2 - 7*t - 4. Let j be w(8). Solve j*z - 3*z = d for z.
0
Suppose 14*a = 4*c + 12*a - 20, 0 = -5*c + a + 19. Solve 0 = m - 2 - c for m.
5
Let u be 30 + 4/(-2) - 3. Let z = -36 + 41. Let f = 2 + -2. Solve f*g + z*g + u = 0 for g.
-5
Suppose 0 = 5*p - 15 - 0. Solve x - 16 = -p*x for x.
4
Let v = 148 - 144. Solve 0 = -u - v*u + 10 for u.
2
Let p = -2 - -4. Suppose -r + 7 = 5. Solve r = -2*y - p for y.
-2
Let w(x) = x + 6 - 1 + 1 - 3. Let p be w(0). Suppose p*v = v. Solve c = -v*c + 1 for c.
1
Suppose -4*y - 4*u + 16 = -8, -2*y = 5*u - 24. Solve 0*k = -y*k - 4 for k.
-2
Suppose 7*j - 2*j = 0. Suppose 4*b - 8 = -j. Solve 0 = -3*a - b*a + 5 for a.
1
Let f = -15 - -23. Suppose 0 = -5*x + f*x - 60. Solve 0 = -10*t + 5*t + x for t.
4
Let h 