 v*k = 1 for k.
-1
Let c = 5 - 3. Suppose v = -c*v + 36. Suppose 0 = s + 2 - v. Solve 0 = 4*u - 6*u + s for u.
5
Let l be (3 - -3)/(2*-1). Let q(c) = c + 5. Let y be q(l). Suppose -8 = -r + 4*a, 4*a = -3*r + 6*r - 8. Solve r = -m - 5 + y for m.
-3
Let k be (-2)/4 + (-164)/(-8). Let j be 102/5 - 8/k. Suppose s + h = -1 + 5, -5*s - 4*h + j = 0. Solve -6*n - 8 = -s*n for n.
-4
Suppose -4*m + 8 = -2*r, -21 = -5*m - 0*r - 3*r. Solve 0 = -i - m - 1 for i.
-4
Let j(w) be the first derivative of w**4/4 - 2*w**3 + w**2 - 5*w - 8. Let v be j(6). Solve -v*c = -2*c + 5 for c.
-1
Let u = -1 + 2. Let b = 4 + u. Suppose 7*t + 37 = b*h + 3*t, -h + t + 8 = 0. Solve 0 + h = a for a.
5
Suppose 2*w + 2*w + 9 = 3*k, 6 = 2*k. Let h(y) = -2*y - 3. Let l be h(-4). Suppose w*p - 20 = -l*p. Solve p*t + 1 = -15 for t.
-4
Let o = 22 - 10. Suppose o = 4*h - h. Suppose 12 = h*v - 0. Solve -v*n - 5 = -4*n for n.
5
Let d be 15/6*(-8)/(-5). Suppose -2*t = -0*t - d. Suppose t*i - 5 = 7. Solve 0 = 4*y + i - 18 for y.
3
Let a(f) be the first derivative of 5*f**4/4 + f**3/3 - f + 2. Let j be a(1). Solve -7 = -j*n - 27 for n.
-4
Suppose -5*j = -2 - 8. Suppose d = -5*s - 0*d + 19, 5*s - 21 = d. Let f(p) = -p**2 + 4*p + 3. Let m be f(s). Solve 0 = -n - j*n - m for n.
-1
Let n = -23 + 9. Let i = n + 16. Solve 4 = 2*l - i for l.
3
Suppose o - 4 = -o. Suppose -h - 4*d - 4 = 0, 0*h - h - o = 3*d. Solve h*p - 5*p = -3 for p.
3
Let i be 114/15 - (-6)/15. Let u = 13 - i. Solve -2*c + u*c - 3 = 0 for c.
1
Suppose -5*i - 12 - 8 = 0. Let l be i*(-2)/20*5. Solve 0 = -5*a - l + 22 for a.
4
Suppose 2*a + 4*d + 26 = 0, 5*a + 2*d + 19 = -46. Let n(k) = k + 17. Let s be n(a). Solve w = s*w + 6 for w.
-2
Suppose 0 = -0*c - c + 1. Let n = 4 + c. Solve 30 = -5*i + n for i.
-5
Let g be 7/5 + 12/(-30). Let y(d) = 7*d - 1. Let r be y(g). Solve 10*x = r*x - 12 for x.
-3
Let q be 4 + 1*-6 + 8. Solve -4*v - q = -v for v.
-2
Suppose 2*x = -0*x + 10*x. Let u = -1 - -11. Solve -w - w - u = x for w.
-5
Let b(j) = -j**2 - 25*j. Let u be b(-25). Solve u = -0*i + i + 4 for i.
-4
Suppose 20 = 2*s + 4*l, -5*s - 5*l + 5 = -35. Solve -6 - s = 4*o for o.
-3
Suppose -14 = -2*b - 4*m + 6*m, -3*m + 3 = 5*b. Suppose b*u - 10 = u. Solve 1 + 24 = u*j for j.
5
Suppose -5*x = -27 + 2. Solve x*d = 22 - 7 for d.
3
Suppose 2*r + 0*r + o = 0, -4*o - 16 = 0. Let y be (-4)/14 + (-30)/(-7). Let l = y - r. Solve -l*x - 2*x - 8 = 0 for x.
-2
Suppose 98 = 4*h + m, -2*h + 2*m + 60 = 6. Solve -4*i - 9 = -h for i.
4
Let d(w) = 3*w - 1. Let v = 13 + -12. Let g be d(v). Solve -s + g*s = -4 for s.
-4
Let j(t) = -t**3 + 6*t**2 - 7*t - 1. Let d be j(3). Solve 0 = -2*h - d - 3 for h.
-4
Let i(o) = -6*o - 2*o**2 + 1 + 0*o + 4*o**2 - o**2. Let b be i(6). Solve d - b + 3 = 0 for d.
-2
Suppose 5*n - 76 = 2*v, n + 62 = 5*n - v. Suppose 2*t + 2*t - n = 0. Let m(h) = h**3 + 4*h**2 + 3*h. Let c be m(-3). Solve t*z - 8 + 0 = c for z.
2
Suppose -3*d + 7 = -2. Suppose -d*q + 20 = 2*q. Solve z + 12 = q*z for z.
4
Suppose 0 = 5*t + 5 + 10. Let d be 1/(2 + t)*-5. Solve b + 12 = d*b for b.
3
Let l = -14 - -9. Let s = l + 8. Solve s = 3*a - 9 for a.
4
Suppose -2*g + 3 = 3*j, 3*g + j = -4 + 5. Solve f - 4*f = g for f.
0
Suppose -5*i + 4 = -4*r - 8, 2*i - 4*r = 12. Let n be -3 - (-4 + i/(-1)). Suppose 8 = -5*f + 2*b - 0, -f - 5*b + 20 = 0. Solve f = 5*l + 11 - n for l.
-2
Suppose -3*n - 2*s = -s + 22, 4*n + 40 = -4*s. Let t = -6 - n. Solve 0 = -3*z - t - 6 for z.
-2
Suppose 5 = o + 1. Suppose 0 = 4*a - 0 - 24. Suppose -y = -o*y + a. Solve -3 = y*j + j for j.
-1
Suppose 16*k + 50 = 21*k. Let d be (-4)/k - 108/(-20). Solve 0 = d*y + 16 + 4 for y.
-4
Let c be (8/10)/(1/5). Let z be 10/2*c/5. Suppose -m - m + 8 = 0. Solve z*u = m + 8 for u.
3
Suppose 5*h = 2*y + 15, -4*y - 5*h - 12 = -9*h. Solve y = 7*w - 3*w - 12 for w.
3
Let j be (-3)/2*90/(-27). Solve -4*u = u - j for u.
1
Let r(u) = u**2 - u + 4. Let m be r(0). Suppose -1 = -3*z + 17. Suppose -4*v + 12 = d, 2*v + 0*d - 3*d = z. Solve -v*g + m = -11 for g.
5
Suppose -2*m - m = -6. Solve m*a - 9 = -a for a.
3
Let p(o) = -o + 4. Let r be p(7). Let i be 1*((-6)/r - -15). Suppose 3*q + u = 18, -4*q + i = -3*u + 2*u. Solve 0 = -y - 4*y - q for y.
-1
Suppose -4*r - 2*y = 2*y - 44, 3*r + 2*y - 30 = 0. Suppose -3 = -4*u + s, 5*s = r*u - 3*u + 15. Solve 0*k - u*k = 2 for k.
-1
Let g be 596/5 + 2/(-10). Suppose 3*o - 5*n = -85 - 10, n = -4*o - g. Let p be o/(-9)*(-6)/(-4). Solve p*b - 3 + 23 = 0 for b.
-4
Let z(j) = -4*j - 3. Let w be z(-3). Suppose -5*m + 21 = 4*f, m - 2*f = 2*f + w. Suppose 4*s = v + 2*s, m*v + 5*s = 60. Solve 3*a = -a + v for a.
2
Let b = 43 - 41. Solve -6 = -0*p + b*p for p.
-3
Let k be 16/12*(-6)/(-4). Solve k = g + 5 for g.
-3
Let i(w) = w**2 - 2. Let q be i(2). Suppose -q*n - 3*n + 15 = 0. Let j be (6/15)/(1/5). Solve 0 = -n*v + j*v - 3 for v.
-3
Suppose -b = 2*b - 39. Let l = 22 - b. Solve -4*i - 1 + l = 0 for i.
2
Suppose 4*s - 8 = w, 3*w - s - s + 4 = 0. Suppose w*g = -2*g. Solve -z + 6*z + 25 = g for z.
-5
Suppose -3*q + p = -8, -q + 2*p + 0*p = -1. Let z be (-6)/(-27) + 47/(-9). Let f = z - -7. Solve -q = f*b + 1 for b.
-2
Suppose -4*j + 26 - 2 = 0. Solve -j - 2 = 4*g for g.
-2
Let h(z) = z**2 - 6*z + 1. Let q be h(0). Solve m + q = -0 for m.
-1
Let w = 47 - 23. Let r be (w/(-9) - -2)*-3. Solve r*y + 0*y + 10 = 0 for y.
-5
Suppose -4*p = -2*l + 30, l - 3*l = 5*p - 75. Let a = -22 + 37. Let q = a + -9. Solve -q*j - l = -j for j.
-5
Let s(b) = b**3 - b**2 + b + 1. Let g be s(2). Let j = g + -3. Solve 5*y - j = 1 for y.
1
Suppose 0 = h - t + 9, -3*h = -4*t + 13 + 10. Let s = 15 + h. Solve -2 = k + s for k.
-4
Suppose 0 = -4*y + 2*y. Solve y = -p - 3*p + 8 for p.
2
Suppose 0 = -5*b + 10*b - 10. Solve h = -h - b for h.
-1
Let d = 5 - 3. Solve -d*k = 2*k for k.
0
Suppose y + 3*y = 0, 0 = -4*h + 2*y. Suppose h = 4*t + 3*k + 11, 4*t = -t - 4*k - 15. Solve -c + t = -0 for c.
1
Suppose 5*c - 17 + 2 = 0. Solve 9 = -c*h - 0*h for h.
-3
Let c(b) = -84*b - 3. Let g be c(-2). Let a be (-4)/14 + g/(-35). Let x(y) = y**3 + 6*y**2 + 5*y. Let z be x(a). Solve z = -r + 2 - 0 for r.
2
Suppose -4 = 2*d - 3*s + 1, 3*d - 21 = -5*s. Let q be 5/2*2 - d. Solve q*h + 4 = -11 for h.
-5
Let w be (-4)/8*(1 - 1). Suppose -s + 1 + 1 = w. Let y be -1 + s + (1 - -13). Solve 0*m + 3*m - y = 0 for m.
5
Let k(m) = 2*m - 4. Let o(g) = g. Let w(r) = k(r) + 5*o(r). Let l be w(-3). Let d = l + 35. Solve -2*z = d - 4 for z.
-3
Let d be (-2)/1*(8 + -10). Suppose 3*w - 12 = -2*w - a, -d*w = 5*a - 18. Solve y - 2*y = -w for y.
2
Let u(a) = a**2 - 4*a + 6. Let g be u(4). Suppose 0*d + 2*d = 10. Solve -d*t - g = -1 for t.
-1
Let g = 8 + 2. Solve g = u - 3*u for u.
-5
Let p(l) = 3*l**2 - 2*l - 2. Let f be p(2). Suppose -m - m + 24 = 0. Suppose 2*t = -5*d + m, -4*t + t = 3*d. Solve b + f = d for b.
-2
Let f be 2/5*50/20*2. Solve f*d - 4 = -2*d for d.
1
Let q(p) = 4*p**2 - p + 2. Let v be q(1). Solve 0*r = -v*r + 25 for r.
5
Suppose 3*b - 18 = 12. Suppose -d + b = d. Solve d = f + 1 for f.
4
Let d = -46 + 29. Let q = d + 20. Solve -q*l + 6 = -0*l for l.
2
Let a(c) = c**2 + c. Let q be a(-1). Solve q = -4*o + 3*o + 3 for o.
3
Suppose -5*c = -12*c. Solve c = -q + 6*q for q.
0
Let r = 29 + -3. Suppose r + 22 = 3*a. Solve 5*p - 1 + a = 0 for p.
-3
Let q be (1/1 + -1)/(-3). Solve -2*z + q = -2 for z.
1
Let x = 1 + 4. Suppose -2*l - 4*q - 18 = 0, x*l + q = 5 - 32. Let z be 6/(-5)*l/2. Solve z*o = 2*o for o.
0
Let h(s) = s**2 + 4*s. Let o be h(1). Solve -o + 1 = 4*y for y.
-1
Suppose 0 = -3*o + 110 - 5. Suppose -m - o = 4*v, 0 = 3*v + 6*m - 5*m + 25. Let s = -7 - v. Solve -4 = -s*c - 19 for c.
-5
Let n be (-2)/(-4 + 2)*3. Suppose n*l - 1 = 5. Solve 0*q + l*q = -4 for q.
-2
Let h(y) = -y - 1. Let f be h(-2). Let i = 3 - f. Let r be 1/(1/i) + -2. Solve z - 1 - 4 = r for z.
5
Let v(y) = -y**2 + 6*y - 5. Let q(i) = 7*i**2 + 2*i - 1. Let d be q(1). Let c be v(d). Let k be c/(2 + 0 - 3). Solve 5*x = k + 4 for x.
5
Let u(j) = -j**2 - 3*j - 2. Let x be u(-2). Solve x*n - n = -1 for n.
1
Suppose 2*x + 2*x - 8 = 0. Suppose -63 = -5*d + 3*s - 0*s, 8 = x*s. Let b = d - 9. Solve -b*u = -u - 15 for u.
3
Suppose -4*i = -5*k + 13, -i - 3*i - 3*k + 27 = 0. Solve -5 - 1 = i*o for o.
-2
Suppose -5 = m + 1. Let s be 2/3 - (-4)/m. Solve -2*b + 2 + 6 = s for b.
4
Let a