 = x, c = -4*l + 3*x + 3. Solve l*o - 6 = 3 for o.
3
Suppose 5*h - 3*d + 6*d = -45, 36 = -4*h - 2*d. Let b = -15 - h. Let o be (-1)/b*8*3. Solve o*i + 2 = -2 for i.
-1
Let d be (4/(-14))/(6/(-42)). Solve x = -0*x - d for x.
-2
Let j be -2 + 0 + 1 + 1. Solve 5*x - 1 + 6 = j for x.
-1
Let v be 6/(-15) + 6/(-10). Let o be -1*8*v/1. Solve j + j = -o for j.
-4
Suppose 3*j = j - 8. Let k = -8 - j. Let s be k/14 - 30/(-7). Solve -s = -5*p + 6 for p.
2
Let v(k) = k**2 - 6*k - 4. Let l be v(6). Let a(u) = -u - 4. Let h be a(l). Suppose h = -4*g + 12. Solve f = g*f for f.
0
Let t be (-4 + 3 - -7)*1. Let c be (-20)/(-15)*t/4. Solve -c*j - 2*j = 20 for j.
-5
Let o = -3 + 10. Let f = 8 - 0. Let a be 2 - (1*-5 + 2). Solve -a*w + o = -f for w.
3
Let c be 2/8 + 9/(-4). Let s(k) = -6*k**3 + 3*k + 2. Let j be s(c). Suppose 4*z = -4*n + j, 4*z - 3*z - 4*n - 11 = 0. Solve 0 = 5*a + z + 4 for a.
-3
Suppose -w + 27 = -5*t, 3*w = -2*w - 3*t - 5. Solve w*z + 16 = 6*z for z.
4
Suppose -3*t + 77 = 5*i, 5*i - 117 + 32 = 5*t. Let o be (-595)/(-68) - (-2)/8. Solve -o = 5*j + i for j.
-5
Suppose -8 = -k + 2*a, 0 = 4*k - 9*a + 4*a - 20. Solve o - 5*o - 16 = k for o.
-4
Suppose -1 = -2*f + 3. Suppose 3*b - 9 - 6 = -3*o, -5*o + f*b + 25 = 0. Let u be -1 - 2*(-2 - -1). Solve o*q + 11 = u for q.
-2
Let c = -63 + 73. Solve -c = -5*k + 5 for k.
3
Suppose 0*q + 2*q = 3*z + 14, 0 = 5*z. Suppose 0*n = 2*n. Let y = -5 + 7. Solve y*j - q*j - 10 = n for j.
-2
Suppose -q + 54 = 2*q. Suppose 4*d + q = -6. Let h = 6 + d. Solve 15 = -h*l + 5*l for l.
3
Suppose 4*d = -4*f + 40, -f - 44 = -4*d - d. Let v(a) = -a**3 + 5*a**2 - 5*a + 6. Let s be 2*(-2)/(-3)*3. Let w be v(s). Solve 5*y - w*y = -d for y.
-3
Let g(k) = -k**2 + 7*k + 2. Let m be g(7). Suppose 5*d + 0 = -5*n + 5, m*n - 2*d - 2 = 0. Solve -i + 3 = -n for i.
4
Let q(o) = o**3 + o**2 + 17. Let z be q(0). Let r = z - 13. Solve 0*m + 4 = -r*m for m.
-1
Suppose s + 2 = 5*m, -4*s + m + 6 = -5. Let f(r) = -2*r. Let g be f(-2). Solve -1 = g*o + s for o.
-1
Let m(y) = -3*y - 8. Let z be m(-4). Solve q + q = -z for q.
-2
Let p(h) be the first derivative of -h**2/2 - 3*h + 2. Let n be p(-5). Let w = 8 - -1. Solve -v - w = n*v for v.
-3
Let f(u) = -u + 16. Let x be f(0). Let m = -14 + x. Solve 0*c + 2 = m*c for c.
1
Let x(k) be the third derivative of -k**5/60 - k**4/24 + 2*k**2. Let m be x(-1). Suppose -6 = -3*r - m*r. Solve n = -n - r for n.
-1
Suppose 2*i = -0*i + 668. Let x be i/12 - (-4)/24. Suppose -2*l + b = 2*b, 4*l - 5*b = x. Solve 0 = 3*c + 10 + l for c.
-4
Let p(b) = b + 2. Let u be p(4). Suppose -a + u = -3*g + 5*g, -3*a = 12. Solve 0 = -g*n + 3 + 7 for n.
2
Suppose -5 = -i + 4*x, 2*x + 1 + 4 = i. Solve 2*q - 15 = i*q for q.
-5
Let x = -88 + 92. Solve -x*l + 4 = 20 for l.
-4
Let h(l) = l**3 + 3*l**2 - l - 1. Let u be h(-3). Solve 0 = d - u*d + 2 for d.
2
Suppose -3*u - 2*o + o = -118, -3*u + 121 = 4*o. Let j = 57 - u. Solve 4*c - 6 + j = 0 for c.
-3
Suppose s = -3*s + 8. Let u be (-32)/(-14) + 14/(-49). Solve s*a + 8 = u for a.
-3
Let h be (-6 - 0)*3/3. Let o(i) = -i**3 - 6*i**2 - 4*i - 9. Let l be o(h). Solve -x - 2*x = -l for x.
5
Suppose 0 = -5*b + 3*z + 35, 2*z + 28 = 2*b - 2*z. Suppose 0 = b*i - 4. Solve -2 = 3*f + i for f.
-1
Suppose -2*r - 2*r = -20. Suppose -r*d + 6*d - 2 = 0. Suppose l + 28 - 3 = d*s, -43 = -3*s - 4*l. Solve -5*n + s - 3 = 0 for n.
2
Let w be 6/3 - (0 - -10). Let q(c) = c + 3. Let i be q(w). Let t = i + 7. Solve -v - 1 = -t*v for v.
1
Suppose -4*j + 5*t - 4 = -1, 2*j - 5*t = -9. Suppose 14 = -g + 4*d, 2*g - g - 14 = -j*d. Solve -4*m = -10 + g for m.
2
Let m(h) = 2*h**3 - 12*h**2 + 11*h - 2. Let l be m(5). Solve 0 = -l*j - j - 4 for j.
-1
Suppose 0 = -5*n + 9 + 1, 0 = -5*q + 3*n + 154. Solve -q + 12 = -5*k for k.
4
Suppose -2*n + 6*q = 5*q - 32, -3*q - 81 = -5*n. Solve -n = 2*h - 5*h for h.
5
Let c be 35/15 - (-1)/(-3). Let b = -2 + c. Solve b = 2*f - 3 - 1 for f.
2
Let x(f) be the third derivative of -f**4/24 + 2*f**3/3 - f**2. Let p be x(2). Solve 16 = -p*d + 6*d for d.
4
Suppose 0 = 2*z - z + 3*m + 7, -3*z - m + 3 = 0. Solve 2*l - 20 = -z*l for l.
5
Suppose 5*r + 28 = g, 0 = g + g + r - 12. Let t be (-6)/4 + 28/g. Solve 0*i - t*i - 8 = 0 for i.
-4
Suppose -2*f - 16 = -6*f. Suppose f = k + 2. Suppose -5 = -k*p + 1. Solve 0*u + 12 = -p*u for u.
-4
Let x(f) = f**3 - 2*f**2 - f - 3. Let c be x(3). Let z = -5 + 11. Solve 0*j + z = c*j for j.
2
Let d = -16 - -16. Solve d = 6*n - 2*n for n.
0
Suppose 0 = -7*q + 10*q - 9. Solve q*t = -0 - 6 for t.
-2
Let s = -11 + 15. Suppose 0*v - s = -v. Solve -2 = v*k - 5*k for k.
2
Let c = 3 + 0. Solve -c*n = n for n.
0
Suppose -y + 5*d = -17, -5*y - 3*d + 4*d = -61. Suppose 0 = -8*t + y*t - 12. Solve -2*j + t = j for j.
1
Suppose -23*x + 20*x + 18 = 0. Solve 6 = -x*p + 3*p for p.
-2
Let w(t) = t**3 - 6*t**2 + t - 2. Let q be w(6). Let x be (-4)/14 - 206/14. Let b be (-1*1)/(3/x). Solve 0 = -3*r + q + b for r.
3
Let x(q) = -q**2 - 4*q + 7. Let v be x(-5). Solve -3*u + 3 = -v*u for u.
3
Let b be ((-9)/(-6) + -2)*36. Let a be (-1)/(-2) + (-99)/b. Suppose a*v = v. Solve v*w = -2*w for w.
0
Let p be ((-30)/(-40))/(0 + (-3)/(-8)). Solve -p = -s - 4 for s.
-2
Let i(f) = -f**3 + 4*f**2 + 5*f + 3. Let g be i(5). Suppose 0 = -w + 3, 3*w - 18 = -g*h + w. Solve -h*n + 7 = 23 for n.
-4
Suppose 3*q = 2*r - 4*r + 5, r + 2*q - 2 = 0. Let l(z) = -z**3 - 7*z**2 + 2. Let f be l(-7). Suppose -f*c = -2 - 2. Solve 0 = -c*p - 4 - r for p.
-4
Let p be 3/(3 + (-2 - 0)). Suppose 5*r - 5 = x, -p*r = 3*x - 43 + 4. Solve -4*u = 2 + x for u.
-3
Suppose 2*z - 8 = 10. Suppose i = 1 - z. Let t = 13 + i. Solve t*b - b = -12 for b.
-3
Let b = -83 + 83. Solve h + 3*h - 8 = b for h.
2
Let x be 8/36 + (-16)/(-9). Let j(m) = -5*m + 7. Let q(d) = -9*d + 13. Let n(h) = -11*j(h) + 6*q(h). Let a be n(7). Solve a = -x*i + 4*i for i.
4
Let q = 1 + 0. Let k be (q + 1)*15/6. Solve m - k = 2*m for m.
-5
Let i be 3 - (-1)/2*2. Let r be (-12 - (2 - i))/(-2). Solve 5*o = r + 20 for o.
5
Suppose -17 = -2*w + 59. Let c = w + -23. Suppose 2*o = -5*f + c, 4*f - 2*o = 20 + 10. Solve 13 = f*g - 12 for g.
5
Let u be -4 + -1 + 2 + 0. Let r be 1/(-2)*u*2. Solve 0 = x - r + 1 for x.
2
Let l(c) = -2*c**2 - 8*c - 19. Let w(s) = s**2 + 4*s + 9. Let y(h) = 6*l(h) + 13*w(h). Let k be y(-4). Solve -3*x - k = 9 for x.
-4
Let h(r) = -2*r - 8. Let v be h(-7). Suppose -3*z = -6*z + v. Solve 0 = -0*n - z*n + 4 for n.
2
Let m be -1*4*1/(-2). Let z be 6*m*10/15. Solve z = -p + 3 for p.
-5
Let i(r) = -4*r - 28. Let h be i(-10). Let u = -2 + 4. Solve h = -p - u*p for p.
-4
Suppose 3*l = -12, -5*q = 2*l - 0*l + 8. Suppose -3*z - 6 + 15 = 0. Solve y + z = -q*y for y.
-3
Suppose -4*d + d = -4*l + 14, 0 = 3*l + 3*d. Suppose -l*n - 3*v + 23 = 0, -n - 3*v + 6*v = 11. Solve -3*x + n*x + 4 = 0 for x.
-4
Let t = 0 - -2. Let n be t + -1 + 3 + -3. Let c be (5 + (-2 - 1))*1. Solve -k - c = -n for k.
-1
Suppose 5*z + 100 = -0*h + 5*h, -2*h + 30 = -4*z. Solve 10*o = 5*o + h for o.
5
Let c(j) = -6*j - 24. Let m be c(-4). Solve 3 = v - m for v.
3
Suppose 4*c = 2*c + 8. Suppose -5*v + 24 = r, v - 2*r - 3 = c. Solve 1 = v*j - 4 for j.
1
Suppose -11*j + 4 = -10*j. Let f(b) = 0 + 3*b - 4*b - 3. Let n be f(-3). Solve k + k + j = n for k.
-2
Suppose -4*v = -v - 9. Solve 1 = 2*t - v for t.
2
Let k = 8 - 6. Let w be 8/(-2) + (-5 - -8). Let v = w + k. Solve -v = -b - 0*b for b.
1
Suppose 3 = -2*d + 11. Suppose d*t = t. Solve t = -0*b - 2*b - 2 for b.
-1
Let h = -2 - -3. Let u be -1*h - (-1 - 6). Let s be 3*(-4)/6*-1. Solve 4*a = s*a + u for a.
3
Suppose 45 = n + 4*n. Suppose 0 = -5*w + 16 + n. Solve 0 = -0*o - w*o + 15 for o.
3
Let g be (1/2)/((-1)/(-8)). Suppose q + 2*q = 3*p + 12, 0 = 4*p + g. Solve -j = q*j for j.
0
Suppose -l + 4*b + 11 = 0, -3*l + 5*b = -0*l - 19. Let g(o) = o**2 - o - 1. Let a be g(l). Suppose 0 = a*t - 5, 0*j - t = 3*j - 10. Solve -j*m = -1 - 11 for m.
4
Let b be (18 - 4) + (2 - 1). Suppose 0 = -5*v + b + 80. Let h = v - 11. Solve -j - h = j for j.
-4
Suppose 3*j - 41 = 4*h, 4*j = 8*j - 5*h - 55. Let i = j - 2. Let p be i/3 + 1/(-3). Solve 0 = -0*x + p*x + 20 for x.
-5
Let s = 0 - 0. Let y(m) = m**3 + 14*m**2 + 15*m + 7. Let v be y(-13). Let g = v + 21. Solve -g*r - 3*r - 5 = s for r.
-1
Let k(t) = -t**2 + 8*t - 4. Suppose 0 = 3*x + 4*o - 69 - 1