 55 = d*m. Let p = m - 9. Solve 3*c + p*c = 0 for c.
0
Let n be -1*(-9 + 3 + 1). Solve 20 = x - n*x for x.
-5
Let w(z) = -4*z - 4. Let h be w(-5). Solve -5*q + h = -q for q.
4
Suppose -z + 5*n + 9 = -10, -n - 15 = -3*z. Solve z*l - 2 - 2 = 0 for l.
1
Let m = 70 + -57. Solve 4*h = -3 - m for h.
-4
Let g be 3*1*(-15)/9. Let x be 1/g - 21/(-5). Suppose u + x*t = -u, 0 = 3*u - t - 14. Solve -u*d - 9 = 7 for d.
-4
Let p be 36/2 + 3/3. Suppose 5*w = -4*b + 5*b + 26, -4*w = -2*b - 22. Solve -4 + p = w*n for n.
3
Suppose -6*o + 33 = -15. Solve 3*u - o*u - 5 = 0 for u.
-1
Let s be 19 + -15 - (2 - 1). Solve -3 - s = -2*k for k.
3
Suppose 0 = -7*x + 10*x - 12. Solve 0*c + 4*c - x = 0 for c.
1
Let l = 34 - 30. Solve 0 = -l*j + 6*j - 10 for j.
5
Let r = 14 + 1. Solve -3*w + 3 - r = 0 for w.
-4
Let v(n) = n**2 - 11*n + 10. Let w be v(9). Let u be 40/18 + w/36. Solve u*i + 8 + 0 = 0 for i.
-4
Let l be 10/6 - (416/39)/(-8). Suppose 0 = z - 0*z. Suppose 5*m - 4*m - 6 = -2*w, m - 5*w + 15 = z. Solve m = -y + l for y.
3
Let f = -8 - -12. Let v(r) = -2*r - 1. Let n be v(-1). Let c = f - n. Solve 0 = -4*g + g - c for g.
-1
Suppose 5 - 15 = -2*j. Suppose 2*q + 3*h - 26 = 0, -2*q - 15 = -7*q + 5*h. Solve -q*a = -2*a + j for a.
-1
Let i(h) = h**3 - 16*h**2 - 19*h + 36. Let k be i(17). Solve k*j = 3*j - 5 for j.
5
Let c be (0*3/6)/(-1). Suppose 4*z - 4*o - 16 = c, -8 = 2*o + 2*o. Solve -z*h + 3 = -3*h for h.
-3
Suppose p + 2*u + 2 = -2*u, -2*p + 3*u = -7. Solve s = 1 + p for s.
3
Let z be 2/(-3)*(-1 - -16). Let d be (-38)/z - (-1)/5. Solve d = 8*v - 4*v for v.
1
Let h = 1 - 1. Suppose h = -2*n - 2 + 6. Let a be 2/(-7) - 177/(-7). Solve -n*x + a = -7*x for x.
-5
Let y = 1 - -6. Suppose 0 = 4*i - a + 70, -y + 3 = 2*a. Let l be (-372)/i + (-2)/3. Solve -3*n - 2*n - l = 0 for n.
-4
Suppose 0 = 4*k - 3*t - 10, 2*k + t + 2 = -t. Suppose w = -k + 4. Solve -w = -5*n - 8 for n.
-1
Suppose 0 = 4*z - 3*t + 7*t + 12, -4*z - 9 = 3*t. Suppose z = 3*g - 6, 3*f - g - 6 = 1. Solve 7 - f = -u for u.
-4
Let d(p) = 4*p**2 + 3*p + 1. Let l be d(-1). Solve -l*s = -3*s for s.
0
Let d = 6 - 2. Suppose -d*x - x = -20. Suppose -3*o + 4*t = -16, 22 = -o + 6*o - 2*t. Solve 0*u + x*u = o for u.
1
Let u(p) = -p**2 + 3*p + 2. Let d be u(3). Suppose 0 = -d*k - 0*k + 10. Suppose 0*v - k*v = 0. Solve -8 = 4*o - v*o for o.
-2
Suppose -8*v = -6*v - 4. Let k be (-1)/(-3) + 4/(-3). Let g = 1 - k. Solve -v*i = g*i for i.
0
Let f = -12 - -20. Let v be 4*((-6)/f + 2). Solve 3 = 2*n - v for n.
4
Let v(m) = -m. Let i be v(0). Let z(o) = o**3 + 14*o**2 + 13*o + 4. Let b be z(-13). Suppose -5*u + 10 = -3*u. Solve i = b*g - 7 - u for g.
3
Suppose -5*m = -5*p - 10, 4*p - 2 - 2 = m. Solve -d + m = -2*d for d.
-4
Suppose -5*p + 7*l + 22 = 3*l, -5*p = 4*l - 38. Suppose -4*u - p = 5*v, -3*u - 5 = 4*v - 0. Let b = v + 9. Solve 15 = b*s - 2*s for s.
3
Let s = 6 + -10. Suppose -2*p + 8 = -2. Let h be p + 2 - (-2 - s). Solve 0*v - h = v for v.
-5
Let t(b) = -b**3 - 5*b**2 - 5*b. Let o(k) = 5*k**3 - 2*k - 1. Let i be o(-1). Let m be t(i). Solve -m = 6*d - 5*d for d.
-4
Let b(v) = v**2 + 13. Let t be b(0). Suppose -3*n = -4*j + t - 59, 3*n - 64 = -5*j. Let l(c) = -c**2 + 7*c + 11. Let d be l(8). Solve d = 3*x + n for x.
-5
Let y(j) = 5*j**2 - 7*j + 6. Let s(h) = -4*h**2 + 7*h - 7. Let r(q) = 6*s(q) + 5*y(q). Let l be r(-9). Suppose l - 3 = d. Solve -m + d = -1 for m.
4
Let w be (2 + -1 - 0) + (-1 - -2). Solve -w = d + d for d.
-1
Let j(d) = -d - 5. Let t be j(-5). Solve 5*c + 0*c = t for c.
0
Let v(j) = -3*j - 2. Let u be v(-4). Let r be -3 + 1 - u/(-2). Suppose -5*l + 3*p = -r*l, -5*p - 2 = -4*l. Solve -3 = -0*c - l*c for c.
1
Suppose -3*b + 0 + 12 = 0. Let a be 2/2*(4 - b). Let k be 2 + 5 - 12/3. Solve l + 4 - k = a for l.
-1
Let y(a) = a - 2. Let c be y(7). Suppose c*u - 116 + 6 = 0. Suppose 0*f = f - 3. Solve f = -5*w - u for w.
-5
Let x = -12 + 14. Solve 7*f = x*f + 15 for f.
3
Let w(k) = k**2 - 8*k + 8. Let d be w(6). Let m(f) = f**2 + 4*f + 2. Let y be m(d). Solve y*h - 3*h = -2 for h.
2
Let v be (-2)/9 + 316/(-36). Let x = v + 11. Solve -w - x + 3 = 0 for w.
1
Suppose 0 = -3*r + 6*r. Solve 2*a + 1 + 1 = r for a.
-1
Suppose 0 = -2*x + 3 + 3. Suppose n + 3*j = -j + 18, -4*n - x*j = -46. Let l be -5*(-2)/(n/3). Solve -2*f + l = -3*f for f.
-3
Let p be (30/9 - -1)*-3. Let j be (4 - p/(-3))*0. Solve j - 1 = a for a.
-1
Suppose 2*f - 30 = 4*a, -2*a = f + 2*a + 15. Suppose f*n - 6*n + 2 = 0. Solve n*z - z = 1 for z.
1
Let u = 4 - 1. Solve 0 = u*a + a + 4 for a.
-1
Let r = -6 - 3. Let s = 0 - r. Solve -x + s = 2*x for x.
3
Let c(v) = v**2 - 20*v + 42. Let a be c(18). Solve 2*n - a = -4 for n.
1
Let i(f) = f**2 - 2*f - 4. Let q be i(4). Solve -q = -4*m - 16 for m.
-3
Suppose 0 = 2*z - 2 + 16. Let j = 11 + z. Solve -4 = -j*y - 0 for y.
1
Suppose d = 5*d - 12. Solve -d*s + 0 = 3 for s.
-1
Suppose 3*f + 2*s + 2*s + 25 = 0, -3*f + 3*s = -3. Let v = -1 - f. Suppose v*l = -0*l + 4. Solve -2*w = -8 - l for w.
5
Let j be -1 + -3 - 12/(-2). Solve -n - j = -2*n for n.
2
Suppose 30 = -2*x + 5*x. Let q = 13 - x. Let k(f) = -f**3 + f**2 - f + 18. Let b be k(0). Solve -q*w - 6 = -b for w.
4
Let p = -1 - -2. Let b = 2 - 0. Solve -3*w - p = -b*w for w.
-1
Let w = 12 - 6. Let y(n) = n**3 + 8*n**2 - 10*n - 5. Let v be y(-9). Solve 0 = 6*h - v*h - w for h.
3
Let v be 3/((-4)/16*-6). Solve j + 1 = v*j for j.
1
Let s(o) = -3*o**2 + 19*o + 12. Let r(t) = 4*t**2 - 28*t - 18. Let k(x) = -5*r(x) - 7*s(x). Let m be k(-6). Suppose 5*u - 2*u - 12 = m. Solve z = -u*z for z.
0
Let o = -74 - -76. Let r = 2 + 0. Solve -r*y = o*y - 16 for y.
4
Let z(y) = -y**3 - 3*y**2 + 6*y + 8. Let g be z(-4). Solve -w - w = g for w.
0
Suppose 5*o = 2*q - 5*q + 30, 2*q = 3*o + 1. Solve -q = -k - 7 for k.
-2
Let s(t) be the first derivative of t**2 + t + 2. Let p be s(1). Solve 0*r = -p*r + 3 for r.
1
Suppose -2*k + 3 = -r - 1, 3*r - 4*k = -8. Solve r = -0*l + 4*l - 16 for l.
4
Let j = 174 - 166. Let g = -2 + 4. Solve 0 = 2*p + g*p + j for p.
-2
Let g = -22 - -37. Solve -x + g = -6*x for x.
-3
Let w(d) = d**2 - 3*d - 5. Let s be w(5). Suppose -u + 5*u + 20 = -s*m, 2*u - 2*m + 10 = 0. Let y be (u/(-15))/((-1)/(-6)). Solve y*v = 3 - 7 for v.
-2
Suppose -5*v = 3*b - 4, -4 - 4 = -3*v + b. Solve 0*u + v = -2*u for u.
-1
Let i = 33 + -21. Let s = 18 - i. Suppose t + 2*t = s. Solve -t*a + 4 = -0*a for a.
2
Let j(q) = -q**2 + 6*q - 2. Let b be j(5). Solve -h = b*h for h.
0
Let n be 1/((3/(-9))/(-1)). Solve n = 2*w - 3 for w.
3
Let n be 10/4*((-20)/2)/(-5). Suppose -m + 2 + 3 = 0. Solve -25 + m = n*y for y.
-4
Let y = 2 - -1. Suppose 4*v = 5*s + 12, -2*v + 3 = y*s - v. Solve 2*z - 6*z = s for z.
0
Let c be 6 + (-2)/6*-3. Solve c + 2 = -3*n for n.
-3
Let q be 4/6*(-27)/6. Let u = q + 5. Suppose i + 15 = -u*i, -l - 5*i = 19. Solve -x + l = x for x.
3
Suppose b = 3*b. Let o(a) = a**2 + 2*a - 2. Let k be o(2). Suppose -k = -4*u + 2. Solve -i - u*i = b for i.
0
Let f = -3 - -9. Solve 0 = 2*d - 4 - f for d.
5
Suppose 4 = -0*v + 2*v. Let a(c) = 2*c**2 - 4*c + 2. Let o be a(v). Solve o*p = -3*p - 20 for p.
-4
Let i be 408/42 - 4/(-14). Solve 3*s = -i - 2 for s.
-4
Suppose -4*g + 13 = -3*d - 6, -4*d + g - 8 = 0. Let r = 4 - d. Solve -4*c - 3 = r for c.
-2
Let q = -30 + 38. Solve -b - q = -3*b for b.
4
Suppose 5*x - 2 = p, 0 = -p - 4*x + 6 + 1. Let i = -4 + 11. Suppose -i*h = -3*h - 24. Solve -6 = h*j - p*j for j.
-2
Let u be 8*(0 + 1)*-2. Let o be 5/(-2)*u/20. Solve -g + o*g = 2 for g.
2
Let p be (-5 - (-1 + -3)) + 1. Suppose 3*f - 7*o = -4*o + 3, -2 = -o. Solve 0 = -i + f - p for i.
3
Let u = -16 - -11. Let s = 7 + u. Let t(v) = -v**3 + 5*v**2 + 5*v + 6. Let w be t(6). Solve w = q + s*q - 6 for q.
2
Let j(o) = 5*o**2 + 3*o + 1. Suppose 2*u + 8 = -2*u. Let w be j(u). Solve w = -0*f + 3*f for f.
5
Let t = 23 + -7. Solve -5*z + z = -t for z.
4
Suppose 96 = 3*r + 6. Suppose -s - 2 - r = 5*k, -4*k - 18 = -3*s. Let n be k/(-5 - -3) + -1. Solve 3 = -n*g - 7 for g.
-5
Let k(j) = j + 8. Let n(s) = s + 3. Let u be n(-3). Let o be k(u). Solve -o + 20 = -4*i for i.
-3
Let d be (-2 - 7/(-2))*(-6)/(-9). Solve 3*q + 7 = d for q.
-2
Let v be (4/3)/((-4)/(-12)). Suppose -3*a - 7 = v*l, 2 = -4*l - 6*a + 4*a. Solve -d - 1 = l for d.
-3
Let i = -57 + 106. Suppose 4*g - 35 - 2 = 3*l, -3*g + i = 2*l. Solve