 = 4*l, 4 = -4*d + 4*l - 28. Let y = d - m. Solve -q = -1 - y for q.
2
Let f(t) = t**3 - 6*t**2 + 2*t - 7. Let a be f(6). Solve 2*z = -a - 5 for z.
-5
Suppose 5*b + 4*x = -x - 5, 17 = -5*b - 2*x. Let o = b + 8. Solve -u - o*u = 0 for u.
0
Let p be (-15)/(-18)*3*(-2)/(-1). Solve 2*b = -3*b + p for b.
1
Let j(s) = s + 20. Let w be j(-15). Solve w*q = 15 - 5 for q.
2
Suppose 2*n = -o - 4 + 1, 5*n + 5*o + 15 = 0. Let d = -6 + 9. Let x be n/(((-6)/2)/d). Solve 0 = -4*r - 12 - x for r.
-3
Let n be (-2)/12 + 232/(-48). Let r = 7 + n. Let x(v) = 12*v**3 - 2*v**2 + v. Let w be x(1). Solve -r*l + 1 = w for l.
-5
Let y(n) = 2*n**3 + n**2 - n. Let c(r) = -r + 1. Let s(o) = -3*o + 3. Let v(f) = -2*c(f) + s(f). Let t be v(0). Let d be y(t). Solve d*q = -q + 3 for q.
1
Let t = 2 - -2. Suppose t*m = 17 + 35. Solve -3 - m = 4*o for o.
-4
Let s be (-3)/6 - (-5)/2. Let b = s + -1. Solve b - 7 = 2*f for f.
-3
Let b(t) = -t**2 + 5*t - 2. Suppose 2*x + 4 = -0*j - 4*j, 0 = -4*x + 3*j + 25. Let y be b(x). Solve y = 2*k - 2 for k.
2
Let v(o) = 13*o**2 + 7 + o**3 - 6*o**2 - o + 2*o. Let j be v(-7). Solve 5*y - 13 + 38 = j for y.
-5
Let a = -17 + 28. Let k = a + -2. Suppose 0 = 4*j + 10 - 34. Solve 5*h = k + j for h.
3
Let t(p) = 6*p - 1 + 3 + p**2 - 1. Suppose -d = -3*y - 6, y = 4*d + 22 - 2. Let w be t(d). Solve -1 - w = -i for i.
2
Let v(h) = h**3 + 10*h**2 + 14*h - 3. Let q be v(-8). Let p = 9 - 1. Let f = q - p. Solve -f*m - 15 = -0*m for m.
-3
Let t be (-6)/21 + (-132)/(-21). Let f(n) = n. Let x be f(3). Solve r = x*r - t for r.
3
Let b(p) = p - 1. Let a be b(9). Suppose 0*t - a = -2*t. Solve 1 + 7 = t*r for r.
2
Let z be 20/6*(6 + -3). Suppose -x = -t + 4*x + 20, z = 5*t + 5*x. Suppose 4*u - t = m + 3*u, -u + 5 = 4*m. Solve m*y - 2*y = -6 for y.
3
Suppose 0 = 6*v - 7*v + 10. Solve -v = 2*t + 3*t for t.
-2
Let a = -44 - -47. Solve 0 = -2*f + 1 + a for f.
2
Let d = 3 + -1. Let x be 0 + 2 + 2*d. Suppose -5*f + 1 = -3*k, -6*f + f + 5*k - 5 = 0. Solve f*b + 14 - x = 0 for b.
-4
Let y(c) = -3*c**3 - 4*c**2 + 3*c + 9. Let f(s) = 2*s**3 + 2*s**2 - 2*s - 5. Let g(h) = -5*f(h) - 3*y(h). Let t be g(2). Solve 0 = -t*r - r - 3 for r.
-3
Suppose 3*v + 2*y = 23, -3*v - y - 2*y = -27. Solve 0 = b - v*b + 16 for b.
4
Suppose 4*g - 4 = 4*v, v + 4*v - 20 = 0. Suppose g*o - 80 = -0. Suppose 4*u - 5 = 7. Solve u*h - 7*h + o = 0 for h.
4
Let p(t) = -t - 15. Let l be p(-18). Solve -2*a + 20 = l*a for a.
4
Suppose -f - 6 = -2*o + 1, -o + 3*f = -16. Solve 6 = -5*z + o for z.
-1
Let y = -23 + 36. Let a = y + -12. Suppose -o = -0*o. Solve z = a - o for z.
1
Suppose -t - 2*t + 13*t = 0. Solve 3*l - 1 + 7 = t for l.
-2
Let y = 4 - 2. Suppose -y*n + 0*b = -2*b - 22, -5*b - 47 = -4*n. Solve n*x - 3*x = -25 for x.
-5
Let y be 10/6 - (-1)/3. Solve y*z - 3 = -1 for z.
1
Suppose 3*p - 12 = 0, -3*x + 4*x - 2*p = -5. Solve x*q + 1 = 4*q for q.
1
Suppose -5*w + 0 + 1 = 3*k, -w + 7 = 4*k. Suppose -a - 3*j = -15, 0 = 2*a + j - 10 - 0. Solve -r = -k*r - a for r.
-3
Let t = -28 + 30. Solve -2*m + 12 = t*m for m.
3
Suppose v = -j + 9, -5*v + 19 = j - 2*v. Solve 1 = -j*h + 9 for h.
2
Let l(f) = 6*f - 6. Let d be l(3). Solve -3*u - d = -0 for u.
-4
Let h(m) be the first derivative of -2*m**2 - 3*m - 3. Let d be h(-2). Solve -b = -d*b - 20 for b.
-5
Let k be (-1)/(-1 - -1 - 1). Let i be 6/3*(2 - 1). Suppose -28 = -2*r - i*r. Solve r + k = -4*f for f.
-2
Suppose 5*b = -2*b + 4*b. Solve 5*f + b*f = -5 for f.
-1
Suppose 1 = -4*a - 7, 4*h - 4*a - 8 = 0. Solve 2*v - 1 - 3 = h for v.
2
Let x be (1/1)/1*3. Let f(u) = 4*u - 2*u + x - 7. Let d be f(3). Solve d = -3*n + 5*n for n.
1
Let y(m) = -3*m - 2. Suppose a + 4*s - 2*s - 9 = 0, 27 = 5*a + s. Let w be 2/(-5) + (-8)/a. Let b be y(w). Solve 0 = -z - b*z for z.
0
Let n = -13 + 25. Suppose 3*p - 9 = -5*w + 17, -4*w = 5*p - 26. Let k be ((-3 - -5) + -2)/p. Solve k*i - 3*i = n for i.
-4
Suppose -5*q = v - 22, -4*q = -2*q - 2*v - 16. Suppose -q*a + 29 + 51 = 0. Solve -4*f = -0*f - a for f.
4
Let s = 22 + -28. Let u = s + 8. Solve -o + 15 = u*o for o.
5
Suppose 4*v - 4*l - 9 = l, 20 = -4*l. Let h = v + -2. Let f be 27/6*(-4)/h. Solve 7 = -x + f for x.
-4
Suppose 0 = 25*k - 22*k - 18. Solve -k = -3*x + 9 for x.
5
Let q(d) = -2*d + 2. Let j be q(2). Let b(a) = -a**2 - a + 2. Let o be b(j). Solve o = -4*x - 9 + 29 for x.
5
Let v = 15 + 0. Solve 0 = -0*q - 5*q - v for q.
-3
Let q be 50/18 + 2/9. Suppose u = q*u. Suppose u = n - 6*n. Solve a = -n + 3 for a.
3
Let p(o) = o**3 - 8*o**2 - 4*o - 38. Let b be p(9). Let h(k) = -k**3 - 3*k**2 - 3*k - 2. Let s be h(-2). Solve 2*a - b + 1 = s for a.
3
Let k(o) = o + 6. Let n(c) = -c**3 - 3*c**2 + c. Let j be n(-2). Let l be k(j). Solve 2 = -l*b - b for b.
-2
Let k(r) = -r**3 + 6*r**2 + r - 2. Let h be k(6). Suppose -6*u + h*u + 4 = 0. Let y be ((-12)/9 - 0)*-6. Solve -u*w + 0 - y = 0 for w.
-4
Suppose 5 = y + 4, 0 = -5*c + 4*y + 26. Suppose 2*u - 3*v + c*v = 32, -5*u + 42 = -2*v. Solve -d = d - u for d.
5
Let u(o) = -o**3 + 4*o**2 - 1. Let r be u(3). Solve 3*n = r*n for n.
0
Suppose n = -8*n + 5*n. Solve n = 5*d - d + 8 for d.
-2
Let o(l) = -5*l - 6. Let a(x) = 11*x + 11. Let v(y) = 4*a(y) + 9*o(y). Let m be v(-10). Solve 0 = 5*u + 10 - m for u.
-2
Let n(m) = 7*m + 28. Let g be n(-4). Solve -3*h + g*h = 0 for h.
0
Suppose 5*n = 25, o = -2*n + 15 - 0. Suppose 0 = -q - o + 7. Solve -s = -0 + q for s.
-2
Let k be 80/(-32)*8/(-5). Solve 0 = -k*q + 8 + 8 for q.
4
Let n = 112 + -105. Solve -3*f = -n*f - 12 for f.
-3
Suppose 2*k - 7 - 6 = -n, n + 3 = 0. Solve -3 + k = -5*t for t.
-1
Suppose c - 240 = -2*c. Suppose -2*o - 2*o + c = 0. Solve -6*h = -2*h - o for h.
5
Suppose -2*d = d + 15. Let h = 8 + d. Let p be (-2)/(-6) + 34/6. Solve -h*o + p = -9 for o.
5
Let b(q) = q + 30. Let h be b(-15). Solve -3 = -3*v - h for v.
-4
Let v(a) = a**2 + a - 9. Let l be v(-4). Solve -7*w + 16 = -l*w for w.
4
Let d be (-3)/((-9)/3) - -2. Suppose -d*p = -2*r - 2*r, 35 = 5*r + 5*p. Suppose r*t + 0*t = 0. Solve t = m + 1 + 1 for m.
-2
Suppose -26*i = -31*i + 10. Solve 2*s + 20 = -i*s for s.
-5
Let q(z) = -z**3 - 7*z**2 - z - 2. Let s(b) = -b**2 - 3*b + 3. Let a be s(-5). Let i be q(a). Solve -f = -i*f for f.
0
Suppose 4 = -u, -4*w + 7*u + 28 = 2*u. Solve s - w*s = 5 for s.
-5
Let f(u) = 5*u**2 - 2*u. Let y be f(2). Let n(z) = -z**2 + 15*z + 19. Let k be n(y). Let h = -2 - -4. Solve h*q + k*q = 0 for q.
0
Suppose -4*g + 16 = 4*f - 16, -2*f - 9 = -3*g. Let c = f - 1. Suppose 23 = c*t + h + 2*h, 3*t + 3*h - 33 = 0. Solve -a + t = a for a.
5
Let d be (1/(-4))/((-2)/40). Solve -13 = -d*a + 2 for a.
3
Let g = 3 + -2. Let y = g - -1. Suppose 0 = -y*x + 10 + 14. Solve o - 4*o + x = 0 for o.
4
Suppose 198 = 12*a - 3*a. Solve -5*z - a = 3 for z.
-5
Let m(o) = 7*o + 35. Let f be m(-5). Solve -4*j + f*j + 12 = 0 for j.
3
Let a(d) = d**2 - 2*d + 3. Let k be a(2). Let h = 7 + -4. Suppose w = -4*w + 60. Solve h*r - k = w for r.
5
Let l = -4 + 10. Let d be 4/l*225/10. Solve -h - 2*h = d for h.
-5
Let l(p) = p - 2. Let f be l(2). Let t be 2 + (1 - 1)/(-2). Suppose 7*n - t*n = f. Solve -2*v + 0*v - 6 = n for v.
-3
Let p = -210 - -212. Solve -y = p*y - 3 for y.
1
Let b = -4 + 7. Solve -b*l - 4 = -l for l.
-2
Suppose 4 + 6 = 2*k. Solve 3*c - k*c - 10 = 0 for c.
-5
Let c(f) = -f**3 - 6*f**2 + 5*f + 1. Let x be c(-7). Suppose -x = 5*d - 10*d. Suppose 4*a = j + 7, -3*a = -0*j - d*j - 3. Solve 0 = -a*s - 4 + 2 for s.
-1
Let o(r) = r**2 - r + 4. Let q be o(0). Let c(l) = -q + l + 1 + 3. Let z be c(5). Solve 0 = -2*j + 3 - z for j.
-1
Suppose 4*j = b + 9, -j - 3*b = 2*j - 3. Solve -p + 3 = -j for p.
5
Let a(l) be the first derivative of -l**4/4 - 10*l**3/3 - l**2/2 - 8*l + 2. Let t be a(-10). Solve 10 - 2 = -t*x for x.
-4
Suppose -3 = o - 6. Solve -o*l - l = 8 for l.
-2
Let u(w) = -w**2 + 3*w - 2. Let j be u(4). Let l be (-9)/j*20/6. Suppose 21 = l*n + 1. Solve 0 = -6*t + 2*t - n for t.
-1
Let o be (4 - (5 + -1))/(-3). Solve 4*p - 12 - 8 = o for p.
5
Let i = 1 + 1. Suppose 0*z = 4*z. Suppose z = 2*n - 8. Solve n - 8 = i*v for v.
-2
Let s be 2/2*4/2. Solve 6 = 4*y + s for y.
1
Suppose d + 3*u = 5, 2*d + 7*u - 2*u = 13. Suppose k + k - d = 0. Let n be 2/(-10) - (-5)/25 - -3. Solve 4 = n*v - k*v for v.
-1
Let k = 5 - 13. Let i be (-94)/(-14) + k/(-28). Let a = i - 7. Solve 2*f + 0*f +