, -5*k - 40 = -5*j. Solve -l - l - j = 0 for l.
-4
Let r(j) = 13*j**2 - 13*j - 3*j**3 - 29 + 2*j**3 + 47. Let c be r(12). Solve -c = -k - 2 for k.
4
Let n(o) = -o**3 + 5*o**2 - 2*o - 2. Let g be n(4). Suppose g*m - 32 = 2*m + 3*d, 0 = m - 5*d - 25. Let i be (4/6)/(6/27). Solve -m*s + i + 7 = 0 for s.
2
Let s = -17 + 46. Suppose 3 + 6 = d + 2*i, s = 5*d + 2*i. Solve -2*f - d = 1 for f.
-3
Let j(k) = k + 7. Let m be j(-4). Solve 2*h = -m - 1 for h.
-2
Let s be 6/(-33) + 356/22. Solve -5*t = -t + s for t.
-4
Suppose -7*m + 2*m + 20 = 0, 22 = -5*d - 2*m. Let v be 2/d + 66/9. Suppose -3*a = -v*a + 8. Solve -12 = a*t + 2*t for t.
-3
Let r(p) = p**2 - 9*p + 12. Let z be r(8). Suppose j + 4 = -u, z*u + u = 10. Let n be j/8 + (-22)/(-8). Solve c + 3 = n*c for c.
3
Let f = 3 - 1. Let k be (f + 0 + -1)*1. Let s(d) = -d**3 + 5*d**2 + d. Let w be s(5). Solve 0 = w*n + 6 - k for n.
-1
Let k(y) = y**2 + 2*y - 4. Let i be k(2). Solve -4*g + i = -0 for g.
1
Let s be 3 + 0/(-3) + -1. Let p be -2 + s + 4 + -2. Suppose 3*x - 16 = -3*q - q, -5*x + 25 = 5*q. Solve -q = -n - p for n.
-1
Let d(u) = u + 17. Let l be d(-13). Solve 3*q = -10 + l for q.
-2
Suppose 3*t = -4*z - 1, -2*z + 25 = 3*z - 5*t. Let g(b) be the third derivative of -b**4/12 - b**3 - b**2. Let h be g(-5). Solve -3*d - z = -h*d for d.
2
Let c = -2 - -7. Suppose -c*y + 51 = -74. Solve 0 = -7*i + 2*i - y for i.
-5
Let u = 2 + 0. Suppose -6*k + 20 = -u*k. Solve 8 = k*j - 2 for j.
2
Let k = -6 - -21. Solve 4*n - k = n for n.
5
Suppose 4*m + f = 31, 2*f = -4*m - 2*f + 16. Solve -3*y + m = -0*y for y.
3
Suppose 5*h = -0*w + 3*w, -4*w = -3*h - 11. Solve -w*x = -0*x - 15 for x.
3
Let p be -6*(-8)/3 + -3. Let w = p + -13. Solve w = -i - 1 + 6 for i.
5
Let s be ((-12)/21)/(2/(-14)). Solve -2*f + s - 2 = 0 for f.
1
Let z be (-3)/((-9)/4)*-3. Let y = 4 + z. Suppose -4*i + 0*i = y. Solve i = -m - 2*m for m.
0
Let k be 14 - 3 - (-6)/(-2). Solve k*h - 3*h = 10 for h.
2
Suppose 0 = 2*m - 4. Let q be 45/(-6)*m/(-3). Suppose -4*j + 3 = -q. Solve -r - 2 = -j*r for r.
2
Let s(w) = 2*w**2 - 1. Let l be s(-1). Let g be (-4 - -3) + (l - 0). Let q be (3 - 2)*(g - -5). Solve 10 = 5*z - q for z.
3
Let v be 1 + -2 + 8 + 3. Let t = v - 10. Suppose s = 2 + 1. Solve -f + t = s for f.
-3
Suppose 5*s = -5*v - 10, -3*s = -2*s + 5*v + 2. Let g be s/(-3)*-3*-5. Let j = 12 - g. Solve -6 = w + j*w for w.
-2
Suppose -5*u + 75 = 3*r - 10, u = 4*r - 6. Solve -u - 1 = -5*z for z.
3
Let l(u) = -2*u + 1. Let i be l(-1). Solve 2*k = 3*k + i for k.
-3
Let z(t) = -t. Let f be z(7). Let h = -11 - f. Let j be h/(-6) - (-8)/6. Solve 4 = j*s - 4 for s.
4
Let w = -2 + 2. Solve i + w*i = 1 for i.
1
Let i be 50/(-15)*(-3)/2. Solve -i*y + 10 = -10*y for y.
-2
Let j(o) = 2*o - 3*o**2 + 2 + 3*o**2 + o**2. Let w be j(-2). Let m be 0/(w - 0/3). Solve m*b = -2*b for b.
0
Suppose 0 = 2*i - 4*i. Suppose -3*q = -j - 23, -q = -i*q - j - 7. Solve 4*u = 6*u + q for u.
-4
Let u be 6/(-4)*(1 + -3). Suppose v + m - 4 = 0, 0 = v + u*m - 0*m - 2. Solve -6*d + v = -d for d.
1
Let w = -8 + 16. Let a(l) = -l**2 + 11*l + 2. Let x be a(w). Solve -5*r = x - 1 for r.
-5
Let c = 0 - 15. Let b be ((-8)/6)/(2/c). Suppose 2*i = 4*i - 20. Solve -5*v = -i*v - b for v.
-2
Let d be (-2 - (-9)/6)*-14. Solve -4*k - 27 = -d for k.
-5
Let s be -2*3/6*-2. Solve s = f + 1 for f.
1
Suppose -2*n = f + 2*n - 24, -4*f = -4*n - 36. Solve 0*u + f = 4*u for u.
3
Let f(g) be the first derivative of -g**2/2 - g - 1. Let d = 1 - 2. Let p be f(d). Solve r - 4 - 1 = p for r.
5
Let x be -24*(1 - -3 - 3). Let v be x/(-40) - (-17)/5. Let l be 2/6 - 5/(-3). Solve 0 = 2*m + l*m - v for m.
1
Suppose 3*d + d + 20 = 0. Let c = 8 + d. Suppose -l - c*l = -8. Solve -2*i = l*i for i.
0
Let b(u) be the first derivative of 3*u**2/2 + 8*u + 2. Let y(n) = 4*n + 8. Let f(l) = 3*b(l) - 2*y(l). Let v be f(-6). Solve v*t = t + 5 for t.
5
Suppose 0 = 2*y - 3*c - 13, -3*c - 24 = -y + 2*c. Let t be 9 + ((-3)/(-3))/y. Suppose t + 0 = 2*k. Solve k*u + 0*u + 20 = 0 for u.
-5
Let j be 0 + (-3 - (-1 + 0)). Let a(b) = -b**3 + 3*b + 2. Let i be a(j). Let f = i + 9. Solve -3*s + f = -2 for s.
5
Let h = -23 + 27. Solve -h*x + 2 = 6 for x.
-1
Suppose 10 = 2*i - 5*h - 15, 3*i - 50 = -5*h. Let j = 3 - i. Let y = j - -20. Solve 2 = -3*p + y for p.
2
Suppose g - 3 + 4 = 0. Let w be 28/6 + g/(-3). Solve 15 = -w*q - 0*q for q.
-3
Let v be (-2)/(-14) + 836/28. Let u be ((-2)/4)/((-3)/v). Solve -u*w - 23 = -3 for w.
-4
Let o be 0/((-3)/(-4 - -1)). Solve 0*w - w + 1 = o for w.
1
Let k be 1/(-3)*(-96)/8 + 4. Solve -2*t = 2*t - k for t.
2
Let a(o) = 5*o**3 + 2*o**2 - 10*o - 3. Let j(z) = z**3 - z**2 - z - 1. Let y(x) = -a(x) + 4*j(x). Let g be y(-7). Solve -2*b + 5*b + g = 0 for b.
-2
Let n(o) = o**2 + 3*o - 8. Let l be n(-7). Solve -s + 5*s = l for s.
5
Suppose -5*g + y - 2 = 0, 4 = -g - 4*y + 12. Solve g = -4*d - 5 + 17 for d.
3
Let u be (0 + -3)*-1*1. Suppose -u*d = -d - 10. Let a(r) = -r**3 + 4*r**2 - 2*r - 1. Let t be a(2). Solve 4 = -t*m - d for m.
-3
Suppose -l + 13 = 3*g, -5*l + g + 1 = -0. Solve 4*k = l - 5 for k.
-1
Let q(g) = g**3 + 8*g**2 - 3*g - 14. Let t be q(-8). Solve -u = u + t for u.
-5
Suppose -4*c - 12 = -0*c. Let y = 8 + c. Suppose -y*u + 0*u + 15 = 0. Solve -2*i + u = -5*i for i.
-1
Suppose 1 = b - 7. Suppose 3*z - y - 8 = 0, -2*z + 3*y = -z + b. Solve z*g - 1 = -13 for g.
-3
Let h(a) = a**2 - a - 10 - 6*a**2 - 3*a**3 + 0*a. Let x(q) = 4*q**3 + 5*q**2 + 11. Let r(j) = 5*h(j) + 4*x(j). Let k be r(6). Solve 2*d - d - 1 = k for d.
1
Suppose -5*w + 0 = 5. Let q be w/(-3 + (-190)/(-64)). Suppose -q = -3*v - v - 4*m, 2*m - 10 = 0. Solve -2*i + v = -i for i.
3
Suppose -2*a = -i - 9, 3*i - 2 - 7 = -3*a. Suppose -4*t + 15 = 5*b, 6*b - b = -3*t + 15. Solve 0 = -a*u - t*u + 4 for u.
1
Let t be (-30 - 0)*40/(-30). Let c(a) = -a**2 - 7*a - 1. Let x be c(-6). Suppose 0*b + x*b - t = 0. Solve 0 = -u - u + b for u.
4
Let r(t) = 2*t**2 - 18*t - 17. Let f be r(10). Solve 5*b = f*b + 6 for b.
3
Let c(r) = 2*r**3 + 19*r**2 + 6*r - 21. Let q be c(-9). Solve 3*t = q*t - 3 for t.
1
Suppose 12*p = 9*p + 30. Solve -4*r + 2*r = -p for r.
5
Let j be 2/((-5)/(-2) + -2). Let f(d) = d + 6. Let w be f(-5). Let q(b) = 4*b + 1. Let p be q(w). Solve x = -j*x + p for x.
1
Suppose 19 = 4*j + g - 4, g - 3 = 0. Solve -j*v + 1 = -24 for v.
5
Let p(g) = -g**3 + 9*g**2 - 8*g + 2. Let q be p(8). Solve 2*u + 10 = q for u.
-4
Suppose 0 = 5*v - 10 + 25, -v = -4*g + 19. Solve 8*m - g*m = 0 for m.
0
Suppose -4*z - 15 = -9*z. Suppose -1 = -z*a + 29. Suppose -3*g + 7 = -2*y + 3, 4*y = 5*g - 6. Solve a + g = -3*h for h.
-4
Let f(p) = p**3 + 3*p**2 + 3. Let d be f(-3). Let t = 17 - 7. Let g = -7 + t. Solve 3 = -d*z - g for z.
-2
Suppose 2 = h - 0. Suppose -2*y = 4*o - 8, -h*y + 4 = y + 2*o. Suppose 0 = -y*f + f. Solve f = -4*q + 7 - 19 for q.
-3
Let i(c) = -10*c - 5. Let q be i(-3). Suppose 0 = -2*b + 6, -3*d + 27 = b + 2*b. Solve -d*o + o - q = 0 for o.
-5
Suppose -2*z + 0 = -2. Suppose -3*m = 2*m - 25, 0 = -h + m - z. Let y(n) = -n + 8. Let j be y(8). Solve j = -2*u + 3*u + h for u.
-4
Let p be (-8)/(5/((-25)/10)). Solve p - 12 = 2*a for a.
-4
Let i(c) = c + 20. Let g be i(0). Solve -6*u + g = -u for u.
4
Let r(i) = -2*i**3 + 14*i**2 + 16*i + 2. Let y be r(8). Let s(o) = -o**2 - o. Let z be s(-1). Solve -b - y = -z for b.
-2
Let f(u) = -2*u**3 + 19*u**2 + 12*u - 5. Let j be f(10). Solve j = a + 4*a for a.
3
Suppose 0 = -4*n + n + 6. Let h(z) = 2*z**2 - 2*z. Let k be h(n). Suppose -4*v + k = -4. Solve -v*m + 4*m = 0 for m.
0
Let q be (-4)/2 + (11 - 8). Suppose q = -2*s - 1. Let l = s - -4. Solve l*c = -0*c for c.
0
Let z be 2 - 3*2/(-3). Let a(d) = -d - 1. Let o be a(-4). Solve o = -w + z for w.
1
Let j = 3 + 0. Let w = j - 2. Solve -w = -0*n + n for n.
-1
Let q(a) = -12*a + 63. Let o be q(5). Solve 2*c + o*c = -5 for c.
-1
Suppose 0 = -0*u - 5*u. Suppose u*v + 7 = -v. Let x = v + 23. Solve 9 = 5*y - x for y.
5
Suppose -2 = -3*p + 4*p - 5*y, -2*p = 5*y - 71. Let r = p + -8. Suppose -4*v + 14 = 3*n, -3*n + r = 5*v - 1. Solve -n*m = -4*m for m.
0
Let m = -9 - -11. Let x be -1*(-6)/(-1 - -3). Let v = 3 + 0. Solve v = m*l - x*l for l.
-3
Suppose -2*w = -w. Suppose 185 = 10*a + 155. Solve 5*f - 18 + a = w for f.
3
Let y(v) = -v**3 - 2*v**2 + 2*v + 3. Let l(m) = m + 6. Let