-l*j + n = 2 for j.
3
Let g be 2 + -1 + 11 - -1. Suppose -g = -4*d - 1. Let v(a) = a**3 - 6*a**2 + 2*a + 4. Let j be v(6). Solve 4 = -d*z + j for z.
4
Let j(f) = -f**3 - f**2 - f - 16. Let h be j(0). Let w be (-12)/h*4 - -12. Solve 6*d = 3*d - w for d.
-5
Let j(n) be the third derivative of -1/24*n**4 - n**3 - 3*n**2 + 0 + 0*n. Let f be j(-8). Solve -3 = f*g + g for g.
-1
Let j(d) be the first derivative of d**2/2 + 14*d - 3. Let k be j(0). Solve -2*f - k = -4 for f.
-5
Suppose -3*j = g - 7, 0 = j + 7*g - 2*g + 7. Suppose 3*b - f = 52, -5*b + j*f + 53 = -31. Solve 0 = -5*n + b - 3 for n.
3
Let b(w) = 3*w + 2. Let f be b(0). Let t = -3 - -5. Solve 0 = -f*o - t*o + 4 for o.
1
Let n = 174 - 174. Solve -3 + n = -m for m.
3
Let v(h) = -h**2 + 10*h - 20. Let x be v(5). Solve 0 = x*f - 3 - 2 for f.
1
Suppose -5 = -5*j - 30. Let m be j/(-1)*(0 + 3). Suppose u + 15 = -2*u, -m = -5*g - 3*u. Solve -2 = -4*b + g for b.
2
Let v = 19 - 18. Solve g + 2 = -v for g.
-3
Let u be -4 + 26/3 + 1/3. Solve -3*b - 1 - u = 0 for b.
-2
Let n = 30 - 10. Suppose 0 = -5*w + 10*w - n. Solve w*a - 3*a + 3 = 0 for a.
-3
Let u(f) = -f**3 + 6*f**2 - 5*f + 4. Let p be u(5). Let c be p*((-3)/1)/(-3). Solve -2*r = -4*r - c for r.
-2
Let m be (-4 + 6)/(3/(-6)). Let i be 2/(-4) - 14/m. Solve 2*h + i = -3 for h.
-3
Let m be 30/(-75) + (-12)/(-5). Let q = m + 2. Solve 0 = q*n - 2 - 10 for n.
3
Suppose c - 2 = -4*z, 4*z - 8*c + 6 = -5*c. Solve z = 2*b - 1 + 7 for b.
-3
Let z be 36/(0 - 3) - -1. Let r(x) be the first derivative of x**4/4 + 10*x**3/3 - 13*x**2/2 - 12*x - 1. Let t be r(z). Solve -6*o = -o + t for o.
-2
Suppose -2*f + 5*f = -4*w + 21, 0 = 4*f - 5*w - 59. Suppose d - 1 = 2, 0 = -g - 5*d + 21. Let b = g + -2. Solve b*x = 3 - f for x.
-2
Let r be 2/5 - (-144)/40. Solve r*z = 3 - 15 for z.
-3
Let p(w) = 7*w**2 - 2*w + 1. Let b be p(1). Suppose 4*d - d = b. Solve 2*m - 4*m = d for m.
-1
Suppose 0 = -0*y - 3*y. Solve -f + 4 + 1 = y for f.
5
Suppose 3*n - 4*u = u - 4, -n - 3*u + 8 = 0. Suppose 4*r - 4 - 20 = -2*j, -3*j = 3*r - 24. Suppose y = -j*y. Solve -n*q - 2 = -y*q for q.
-1
Suppose -j + 4 = 5*k, -1 = -k + 3*j - 13. Let c(p) = -p + 6. Let h be c(6). Solve h = -k*f - f + 1 for f.
1
Suppose -4*x - b = -5*x + 1, -1 = -4*x + b. Let c be 17 + 1*(1 - x). Let g be 30/c - 2/(-6). Solve -g*t = 3*t for t.
0
Let i be 0 - (-7 - (-6)/2). Let q be i/20 - (-1)/(-5). Let p = q - -7. Solve p*g - 4*g - 9 = 0 for g.
3
Let w be ((-18)/15)/((-3)/10). Suppose c = 4*a - 4*c - 27, 0 = -w*a - 5*c - 3. Solve 5*x - a*x = -8 for x.
-4
Let p(z) = 2*z - 3. Let c = 4 + -6. Let d be 2 + (4/c)/(-2). Let y be p(d). Solve b = -y - 2 for b.
-5
Suppose 4*t = -o + t + 52, 0 = -5*o - 2*t + 312. Suppose 3*g + 0*a - o = 2*a, -68 = -2*g - 5*a. Solve g = -4*p + 4 for p.
-5
Let x be -1*(2 + -6 + -1). Solve 15 - 35 = -x*z for z.
4
Let z = 14 + -10. Let b = -5 - -17. Let y = 17 - b. Solve -z - 1 = y*l for l.
-1
Let w(t) = t**3 - 2*t**2 + 3*t - 2. Let v be w(3). Solve -4*n + 4 + v = 0 for n.
5
Let m be 3/(-1 - 3/6). Let x = 3 - m. Let d = -1 + 5. Solve d + 1 = -x*o for o.
-1
Suppose 0 = a + 2*a - 30. Suppose p + 4*p - a = 0. Suppose 5*x = -u + 2*x, 0 = -u + x + 12. Solve -p*v - u = -1 for v.
-4
Let k = -3 + 5. Suppose -k*g + 4*g = -v - 1, 0 = 4*g - 4*v - 28. Solve -g*z = z for z.
0
Let k be 2 - 3 - 1 - -2. Let c = 7 + k. Let p = c - 7. Solve -2*t - 2*t + 16 = p for t.
4
Let q = 1 - -2. Let b = -1 + 2. Let h = 1 - -1. Solve q = -h*g - b for g.
-2
Let w = 11 + -3. Solve 3*z = z - w for z.
-4
Suppose 0 = i - 1. Let b be (i + -6)/(4/(-16)). Solve -3*z - z = b for z.
-5
Let h be (-10)/6 - -1 - (-90)/135. Solve -4*g - g = h for g.
0
Suppose -2*t + 2 = -2. Solve -18 + t = 4*f for f.
-4
Suppose 5*k + 15 = -0*k - 3*x, -4*x - 20 = 2*k. Solve k*f = -4*f for f.
0
Let d(m) = -m**2 + 3. Let p be d(0). Solve -2*q + 15 = p*q for q.
3
Suppose 4*c = 3*f + 20, 3*c - f + 2*f = 2. Suppose c*h = b + 3*h - 6, -4*h = -b - 9. Solve -18 + b = 3*k for k.
-5
Let w be -1*-3*(-2)/(-15)*10. Solve w*s + 25 = -s for s.
-5
Suppose 9*u = 6*u + 36. Solve 7*c = 3*c - u for c.
-3
Let d = -6 + 6. Suppose d*w - 4*w + 12 = 0. Solve w*q - q = 0 for q.
0
Let u(j) = 3*j**2 - j. Let p be u(1). Solve 0 = -3*y - p*y for y.
0
Let b = -1 + 3. Let k be (b/4)/((-2)/(-12)). Let h be (-2)/(-2) + k/1. Solve j = h*j for j.
0
Let m(x) = x**2 + x - 6. Let n be m(0). Suppose 3*k - 2*j + 7*j = 67, -5*j + 25 = 0. Let l = k - n. Solve -t + l = 3*t for t.
5
Let r = 22 - 20. Solve -3*g = -r*g - 1 for g.
1
Suppose 0 = 4*y + 5*t + 7, -3*t + 1 = 4*y + 2. Suppose r + 1 = -0*r + y*o, o = 3*r - 7. Solve -c = -r*c - 2 for c.
-1
Suppose -4*m + 36 = -3*q, 4*q - 2 + 24 = m. Solve -m*u + 3*u = 0 for u.
0
Let j be ((-12)/8)/((-1)/2). Suppose j*m - 2*m = 5. Solve 3 = 2*l - m*l for l.
-1
Suppose 5*x - 3*g = 13, 0*x + 3*g + 5 = x. Suppose -2*h + 4*m + 18 = -x, 4*m + 12 = -2*h. Let l(d) = -31*d + 98. Let a be l(3). Solve f - h = -a for f.
-3
Suppose l + 3*s - 2 = 2, 5*l - s = 52. Let k(y) = -y + 13. Let q be k(l). Solve m - 7 + q = 0 for m.
4
Suppose p + 3*q + 21 = 0, -2*q - 2*q - 20 = 0. Let r be p/21 - (-80)/35. Solve -r = 4*t + 6 for t.
-2
Let n be 5/2*(-2 + 0). Let j = n + 8. Solve 0 = -j*z - 5 - 4 for z.
-3
Suppose -5*c + 12 = -m - 0*c, -15 = -m - 4*c. Solve -m*z + 2*z = 4 for z.
-4
Let x be (-1)/((-3)/(7 - 4)). Solve 0*r - x = -r for r.
1
Let z = -25 + 30. Solve z*q = 14 - 4 for q.
2
Let o(j) = 7*j - 3. Let u(x) = x - 1. Let c(m) = o(m) - 4*u(m). Let b be c(3). Suppose 0 = -4*r - 11 + 51. Solve -4*d = -r - b for d.
5
Suppose 2*c - 2*b + 24 = -3*c, 5*c = -3*b - 39. Let a = 2 - c. Suppose -l + 5 = 3. Solve 2*n = l - a for n.
-3
Let v = 155 - 152. Solve v - 6 = p for p.
-3
Let i(p) = -p + 1. Let d(s) = -s**2 + 11*s - 4. Let h(q) = d(q) + 6*i(q). Let j be h(6). Let w be (-72)/(-42) - j/14. Solve -w*u = -4*u for u.
0
Let v(j) = -1 + 2 - 4 - 7*j + 0. Let s be v(-4). Solve 2*a - s = -3*a for a.
5
Suppose -43 = 3*c - 67. Let h = 15 + -36. Let f be (-6)/h + 103/7. Solve -c*t = -3*t - f for t.
3
Let p(m) = -3*m**3 + 2*m + 1. Let n be p(-1). Solve 2*w = -n + 8 for w.
3
Let a = -1 + 4. Let j be 20/6*a/2. Let l(s) = -s + 5. Let i be l(j). Solve -k - 1 = -i for k.
-1
Suppose 0 = -2*m - 20 + 2. Let f = m - -13. Solve 1 = f*x - 3 for x.
1
Suppose -3*z = n - 16, 0 = 3*n + z + 6 - 22. Suppose -n*u = 1 - 9. Solve 2*m + 8 = u for m.
-3
Let s(r) = r**2 - 2*r + 2. Let h be s(2). Let w be ((-2 - -4)*-2)/(-2). Solve -l + h + w = 0 for l.
4
Let g(d) = 7*d + 1. Let k be g(2). Suppose -5*x + 5 = k. Let a = 7 + x. Solve 0 = 3*q - a + 20 for q.
-5
Let t(f) be the third derivative of f**6/120 + 7*f**5/30 + f**4/24 + 17*f**3/6 - 9*f**2. Let w be t(-14). Solve w*m = -m for m.
0
Let v(c) = 2*c - 3 - 2*c - 2*c + c. Let x be v(-6). Solve 0 = 2*w + x*w for w.
0
Suppose -6*k = -k - 4*k. Solve k = -2*q - 3 - 5 for q.
-4
Suppose -v + 5*v + z - 7 = 0, 3*v + 5*z = 1. Solve -2*c + 0 = v for c.
-1
Let t be 3/12 - 1/4. Suppose -3*j = 3*q - t*q + 3, -4 = q. Solve 7*r = j*r for r.
0
Suppose 0 = o + 3*o. Let c(j) = 3*j - 5. Let k be c(4). Let l(f) = f - 4. Let m be l(k). Solve o = -d + m*d + 4 for d.
-2
Suppose 4*m + 32 = 92. Solve 3*b + m = -2*b for b.
-3
Let y = 7 - 12. Let c(f) = 2*f**2 + 7*f**3 - 6 + 2*f**2 - 7*f - 6*f**3. Let m be c(y). Solve 2*n = n - m for n.
-4
Let l(p) = -p**3 - 7*p**2 - 7*p - 6. Let f be l(-6). Solve -4*w = -f - 4 for w.
1
Let i be (-1)/(-2)*(3 + 19). Solve 4*r = 27 - i for r.
4
Let z be (1 + 3)*(-50)/(-8). Let r be (-265)/(-25) - (-12)/(-20). Suppose -z = -3*u - r. Solve -3*k - 2*k - u = 0 for k.
-1
Let q = 2 + 0. Let a(o) = 4*o**2 + q*o + 2 + o + 0*o + o**3. Let g be a(-3). Solve l - g = -0*l for l.
2
Let p(d) = d**3 + 8*d**2 + d + 11. Let x be p(-8). Solve 2*t = -x*t for t.
0
Suppose a = -2*l + 10, -3*l + 12 = -3*a - 3. Solve -l = -2*u + 3 for u.
4
Suppose -25 = -o - 5*j, -o + j = 3 - 22. Solve 7*u = 3*u - o for u.
-5
Suppose 5*l - 12 = 13. Suppose -5*c + 15 - l = 0. Let a be 2/(-1 - 1) - -7. Solve c*j - 12 = a*j for j.
-3
Let f = -7 - -9. Let n be -2 - (0 - (2 - -1)). Solve -f = -x - n for x.
1
Suppose 11 = -0*j + 3*j + 2*i, 3*j - 4*i = 5. Suppose 0 = 4*k, -k = -j*f + k. Let d be (5/(-4))/((-3)/12). Solve f = r - d for r.
5
Let x(q) = 5*q**3 - 3*q**2 + 8*q - 2. Let n(l) = 9*l**3 - 6*l**2 + 15*l - 4. Le