 y = 0. Suppose y*b = -b + 5. Let x be (15/(-6))/5*-6. Solve -x*v + 2 - b = 0 for v.
-1
Let k be (12/8)/((-2)/4). Let n be ((-1)/(-2))/(k/(-78)). Solve -n + 5 = 4*a for a.
-2
Suppose 3*p - 56 = j, -p - 60 = -5*p + 5*j. Suppose 5*f - 28 = -3*w, -3*f = -2*f - 2. Solve -w*z - p = -2*z for z.
-5
Let d(m) = -2*m + 2. Let i be d(-2). Let h be (-44)/2 - (i + -4). Let o be 1/3*h/(-2). Solve 3 = o*t - t for t.
1
Let n be (18/(-12))/(3/4). Let b be (n/(-3))/(2/(-6)). Let q be b/1 - (-2 + -1). Solve -5*i + 9 = -q for i.
2
Suppose -4*k + j = -30, -6 = -0*j + 3*j. Let i = -14 - -23. Suppose 2*a = 3*t, 0 = 2*a + 5*t - 7 - i. Solve a = 2*g + k for g.
-2
Let o(j) = j + 1 - j**3 + 3 - j**2 + 2. Let z be o(0). Solve z*n + 20 = 2*n for n.
-5
Suppose 0*u + 3*u = 2*u. Solve 2*b = -u*b - 8 for b.
-4
Let d = -184 + 186. Solve d = l - 2 for l.
4
Let y = -11 + 19. Suppose 4*p + p + h = 36, 2*p - 28 = 3*h. Let c = 20 - p. Solve -y*o = -4*o - c for o.
3
Let g(s) = s + 2. Let j be g(-2). Let h = 1 + j. Solve -10 = -3*i - h for i.
3
Let o(s) = -s + 15. Let f be 6*1*4/8. Suppose f*k = -k. Let n be o(k). Solve q + 4*q - n = 0 for q.
3
Suppose 2 = -3*v - 1. Let n be v*(1 + -13 + -3). Solve -n = -3*a - 2*a for a.
3
Let d(z) = z**3 - 4*z**2 + 2*z - 6. Let u be d(4). Suppose 0*t - 5*t = 15. Let m = t + 9. Solve u*q - 2 = m for q.
4
Suppose 3*w = 2*a + 8*w - 4, -3*a + 31 = -5*w. Let i = -1 + a. Suppose r - 5*m + 27 = i, 4*r - 26 = -2*m. Solve -q = r*q + 20 for q.
-4
Let b be (-44)/(-6) - ((-4)/(-3) - 2). Solve b*d + 2 = 10*d for d.
1
Let v(n) = -n**2 + n + 1. Let j be v(0). Let u(a) = a**3 - 6*a**2 + a - 7. Let s be u(6). Let k be j/(3/2 + s). Solve 0 = k*m - 8 - 2 for m.
5
Suppose 6*j - 4*j - 4 = 0. Suppose 5*s = j*s. Let t be (s + -1 + 1)/2. Solve t = -2*h - h for h.
0
Let j be -8 + 1 + (-6)/(-3). Let y(c) = c - 5. Let s be y(j). Let b be (s/(-3))/(4/30). Solve i = 6*i - b for i.
5
Let i be (-1 - 5)*2/(-4). Solve -x + 8 = i*x for x.
2
Suppose 3*j + 2 = 4*j. Solve -j = 3*h + 1 for h.
-1
Let m(h) = -4*h - 49. Let n be m(-13). Solve 5 = -n*r - 4 for r.
-3
Suppose 3*a + 4*b - 74 = 0, 3*a - 2*b = b + 60. Solve 2 = -4*f + a for f.
5
Let k be (-1)/(-3)*(-10 + 1). Let g be 2*(k/(-6) + 3). Solve -4*r = -g*r - 15 for r.
-5
Let a be (3/(-2))/(5/(-40)). Solve -4*y - a = 4 for y.
-4
Let k be 1*19/(-3)*3. Let s = 29 + k. Solve 7*x = 2*x - s for x.
-2
Let j = 11 + 20. Suppose -3*g - 4*y = -j, 2*g - y = g + 22. Solve -3*h - 2 + g = 0 for h.
5
Suppose -4*y - 171 = -187. Solve -y*n - 1 = -9 for n.
2
Suppose 2*q - 16 = 2*n, 0*q + 3*n - 21 = -2*q. Suppose q = -5*t + 3*h, 9 + 3 = 4*h. Suppose 3*d + 0*z - 2*z + 2 = t, -3*d = 4*z - 4. Solve d*p = -p for p.
0
Let g be ((-7)/(-3))/(4/(-12)). Let v(s) = -s**2 - 9*s - 5. Let l be v(g). Solve l = -f - 2*f for f.
-3
Suppose -4*t - 4 = -24. Suppose 5*j + 3*f - 41 = 0, 4*j - 4*f + 6 = 26. Suppose 2*x = j*x. Solve t*w + x = -15 for w.
-3
Let k = 1 + 0. Let o be 0/(k/(1/2)). Solve 0*y - 2*y - 6 = o for y.
-3
Let k(t) = -5*t - 1. Let v be k(-3). Let g be (-18)/(-14) - 4/v. Let o = g - 0. Solve 11 = -2*y + o for y.
-5
Let l(n) = n**2 + 4*n + 1. Let s be l(-4). Suppose -8 - 7 = -3*q. Solve -4*v - s = -q for v.
1
Suppose 3*t = -3*j, 5*t + 24 = 2*j + j. Suppose 0 = -j*d + 5*d - 4. Suppose 2*w - 6 = 0, -z + 4*w + 1 = 3*w. Solve -r = d - z for r.
2
Let x(d) = d**3 - 15*d**2 + 14*d + 3. Let g be x(14). Solve g*v = 1 + 8 for v.
3
Let m be 2/(-3) - 4/(-6). Let d be (6/(-6))/((-1)/3). Solve -t - d*t - 12 = m for t.
-3
Suppose -16 = 5*k - 6*k. Solve -5*h + k = -h for h.
4
Let y = -15 + 18. Suppose -5*r + 25 = -5. Solve 0*h + r = y*h for h.
2
Suppose c - 2*c = -3. Solve 16 = -c*u - u for u.
-4
Let m = -27 + 27. Solve 0 = -b - 1 - m for b.
-1
Let x(v) = -v**3 + 2*v**2 + 5*v + 2. Let l be x(-2). Solve q = l - 3 for q.
5
Suppose -3*j = 4*l - 19, 2*j - 7*j = 5*l - 30. Let a = l + 1. Solve o + 1 = a*o for o.
1
Suppose 7*r - 16 = -r. Solve r*p + p + 12 = 0 for p.
-4
Let j(t) = t - 3. Let z be j(-6). Let i be 195/27 - (-2)/z. Solve i - 1 = -3*k for k.
-2
Suppose -a = -2*u - 10, 4*u - 6 = -2*a - 2. Suppose a*b - b = 10. Solve 0 = b*l + 3*l - 25 for l.
5
Let y be ((-18)/(-24))/(2/8). Let d be y - 2/(-8)*-4. Solve -3*h - 5 = -d*h for h.
-5
Suppose 0 = x + f - 2, 4*x + 7 = 3*x - 4*f. Solve x*t + 6 = -9 for t.
-3
Let p(s) = 2*s**2 - 71*s - 33. Let a be p(36). Let v = -4 - -7. Solve a*x - v = 4*x for x.
-3
Suppose -30 = 3*o - 5*o. Suppose 35 = 5*j + o. Solve w - 15 = j*w for w.
-5
Suppose -2*l - 5*j + 17 = 0, -2*l + 0*j = j - 5. Solve -l - 2 = 3*b for b.
-1
Let v = -11 - -19. Suppose 0 = -a - 4*w - 14, 0*w = 4*a + 4*w + v. Suppose a*y - 34 - 6 = 0. Solve -f + 5*f + y = 0 for f.
-5
Suppose -12*u + 41 - 17 = 0. Solve u*r - 3 = -5 for r.
-1
Let u be (4/5)/(2/(-15)). Let c = 9 + u. Solve -c*h + 0 = 15 for h.
-5
Let c(l) = -l + 11. Let w(x) = -x. Let r be w(-6). Let v be c(r). Solve -2*d + 7 = v for d.
1
Suppose 5*b - 2*y - 20 = 0, -b + 5*b - 2*y - 18 = 0. Solve b = -4*t + 10 for t.
2
Let d(q) = q**2 - 3*q. Let n be d(4). Let j be 1/(0 - 2/4). Let x = 8 + j. Solve -x*u + 2*u + n = 0 for u.
1
Suppose 3*r + 3 = 4*r. Let q = r - -4. Solve d + 3 = q for d.
4
Let c(y) = y**2 + 3*y - 3. Let z be c(-6). Let d be 50/z + 2/3. Suppose 5*f + 5 = u, -2*f - 3*f + 15 = u. Solve x + d*x + u = 0 for x.
-2
Let l be (1 - -3)/(2*1). Let z = l + 0. Let n be 2/(-8) - 10/(-8). Solve 0 = -z*f + 3 - n for f.
1
Let j be (-1)/(-2)*(1 - 1). Suppose j = 4*z + 6 - 50. Let t = 13 - z. Solve -t*k - 5 = 3*k for k.
-1
Suppose -5*i - 2*m = 2*m - 13, -3 = 5*i - 4*m. Suppose 4*u - 17 = -i. Solve 0 = -5*t + u*t + 2 for t.
2
Let g = 30 - 28. Solve -6 + 0 = -g*l for l.
3
Let u(l) = -3*l + 11*l - 4 - l**3 + l + 9*l**2 + 16. Let a be u(10). Solve 3*k = a - 14 for k.
-4
Let u be (1/2)/(1/8). Let w = -5 + 8. Suppose -w*r - 1 = -13. Solve 2*s = -u - r for s.
-4
Let r(h) = -h**3 + 6*h**2 + 7*h + 3. Let g be r(7). Let b be (1/(-2))/(g/(-60)). Solve -2 = 4*u + b for u.
-3
Suppose 0 = 4*w - 2*h - 4, -3*w + 4*h = h + 3. Solve -w*j + 4 = -2 for j.
2
Let w(i) = -2*i**3 + 8*i**2 - 3*i - 5. Let u be w(3). Solve -u*f = -6*f - 6 for f.
-3
Let c(g) = -g**3 - 6*g**2 + 7*g + 8. Let t be c(-7). Solve -5*r - 18 = -t for r.
-2
Suppose -3 = 2*n - 7. Solve 0 = -n*x + 5*x for x.
0
Suppose -x = 5*f - 20, -4*x + 19 - 8 = -3*f. Solve x*u + 11 - 36 = 0 for u.
5
Let m = -40 - -42. Solve a = 1 + m for a.
3
Suppose 3*b - 2*b = 5*j + 29, 48 = 3*b - 2*j. Suppose b = 4*s - 3*z, s - 5 = 5*z + 7. Let r = s + -2. Solve r*p - 20 = 4*p for p.
-5
Let g = 139 + -131. Solve -2*t = -4*t + g for t.
4
Let u(r) = -r**2 + 3*r + 4. Let o be u(4). Let m(j) = -j**3 + 3*j + 2. Let w be m(-2). Suppose -w = -5*c + 11. Solve c*s - 7 + 19 = o for s.
-4
Let t = -7 - -12. Solve -10 = -t*h - 5 for h.
1
Suppose -3*n + 21 = -3*l, -5*n - 4*l = -2*l - 21. Solve 2*f = f + n for f.
5
Let t(j) = -2*j - 4. Let o be t(-3). Let v = o - -1. Solve v + 7 = 5*a for a.
2
Let q(l) = -l**3 - 3*l**2 - l - 3. Let g be q(-3). Solve g = t - 6*t for t.
0
Suppose 0 = -15*r + 17*r. Suppose 3*j + 8 = 4*k, 0 = 5*k - r*k - 25. Let s be (0/(-1 + -1))/(-2). Solve s = -0*c + j*c + 8 for c.
-2
Let x(f) = 9*f + 2 - 4 - 2*f - f**2 - 2. Let y be x(6). Solve y*s + 4 + 2 = 0 for s.
-3
Suppose -3*a - 10 - 2 = 0. Let k = a - -9. Solve 0*j = j - k for j.
5
Let s(f) = f**2 + 8*f - 8. Let l(r) = 2*r**2 + 16*r - 15. Let h(i) = -6*l(i) + 11*s(i). Let b be h(-8). Solve b*p - 4 = 3*p for p.
-4
Let v = -15 + 18. Solve -v*r + 3 = -0 for r.
1
Let h(t) = t**3 - 13*t**2 - 15*t + 17. Let n be h(14). Solve 2*o + n*o = 10 for o.
2
Suppose k - 2 = 2*u, 5*k = -0*u - 4*u + 10. Solve 2*n - 5*n = u for n.
0
Let c = 68 + -64. Solve -3 = -c*f + 5*f for f.
-3
Suppose n = -0*n - 6. Let o = n + 9. Let z = -3 + o. Solve -k - 2 = -z*k for k.
-2
Let f = -1 - -6. Let m(j) = -j**3 + 3*j**2 - 3*j + 2. Let q be m(2). Solve 0 = f*t - q*t for t.
0
Suppose t = 4*c - 8, -8 = 2*c - 4*t + 2. Suppose 0 = -c*o + 15, 3*o - o = 4*z + 2. Solve -15 = -i - z*i for i.
5
Let v = 24 - 21. Solve 0 = 3*j + v - 12 for j.
3
Let y(o) = -o**2 + 6*o - 3. Let c be y(4). Suppose 2*m = -2 - 0. Let s = m + 5. Solve -s*u = -c*u for u.
0
Suppose 0 = 2*n - 10 - 0. Suppose 4*g = 83 - 35. Solve -n*c + c - g = 0 for c.
-3
Let u(w) = -w**2 + 5*w - 3. Let y be u(4). Let k be (0 - (-2