 0 = -b*x - 0*x. Solve -5*v + v + 4 = x for v.
1
Suppose -1 + 73 = 6*g. Solve -2*q - 2*q = g for q.
-3
Suppose 0 = -6*x + 2*x. Suppose 10 = 5*b - x*b. Solve -b*v = -5*v for v.
0
Let z be 0/(-2)*5/(-10). Let f(b) = b**2 + 4*b - 1. Let h be f(-5). Solve -2*o + h*o - 6 = z for o.
3
Let o(h) = -3*h + 1. Let f be o(-2). Suppose -2*m - 1 = -f. Solve 0 = -4*q + m*q for q.
0
Let o(i) = i**2 + i - 2. Let a be o(-2). Suppose a*p = -p. Suppose z - 11 = -p*z. Solve -z = 4*h - 31 for h.
5
Suppose -h + 5 + 10 = 0. Suppose 2*c = w - 2*w + 9, 3*c = 5*w + 7. Solve c*v = v - h for v.
-5
Let m be (-68)/(-10) - 1/(-5). Let n be (1/(-2))/(2/(-8)). Solve m*f - 5 = n*f for f.
1
Let l(v) = v**3 - 4*v**2 - 2*v - 5. Let r(s) = 4*s**2 + 1. Let d be r(-1). Let a be l(d). Solve a = -4*z - 6 for z.
-4
Let m(d) = d**2 + 9*d + 10. Suppose 28 = -4*h + 2*x, 2*h - 2*x = -7*x - 38. Let c be m(h). Solve 2*a - c = -3*a for a.
2
Suppose 0 = -5*i + 4*i. Solve s - 2 = -i for s.
2
Let t(v) = 3*v**2 - 3*v + 6. Let y(b) = 10*b**2 - 8*b + 19. Let o(n) = -7*t(n) + 2*y(n). Let h be o(4). Solve h*w = -w + 3 for w.
3
Suppose 5*z + u = 22, 4*z - 3 - 8 = -3*u. Suppose -2*y = -z*w + 34, w - y - 2*y = 12. Solve 0 = w*b - b - 20 for b.
4
Let p(l) = 2*l**2 - 2*l. Let m be p(2). Let u = 4 - m. Solve 0 = -u*x + 2*x for x.
0
Let j = -22 + 38. Let r = j + -6. Let n be (-2)/(-9) - r/45. Solve n = -3*f - 9 + 21 for f.
4
Suppose -3*b = 3*z + 2*b - 1, 4*z - 4*b = -20. Let f be z - (-5 + (2 - 0)). Solve -4*q = -f*q for q.
0
Let t = -20 + 40. Solve 2*n + t = 6*n for n.
5
Let c(w) = w**3 - 5*w**2 - 3*w + 3. Let i be c(5). Let t = 3 + i. Let x = 20 + t. Solve 3*s + 4 = -x for s.
-5
Suppose 5*g - 24 = -5*m + 2*g, -6 = -2*m - 3*g. Let r(o) = 19*o**2 + o - 1. Let k be r(1). Solve -5*l - k - m = 0 for l.
-5
Let n = 9 - 9. Let t = 3 + -9. Let w = t + 11. Solve -w*y = -n*y + 5 for y.
-1
Let z(g) = -g - 3. Let r be z(-3). Suppose -5*h + h + 48 = r. Solve h - 2 = -5*u for u.
-2
Let q(d) = d**3 - 11*d**2 + 9*d + 11. Let c be q(10). Suppose -s + 6 = -c. Let p = -3 + s. Solve 2 = 2*v - p for v.
3
Let f(j) = -j**2 - 2 + 5*j**3 + 2 + 1 - j. Let s(n) = n**2 - 3*n + 3. Let w be s(2). Let i be f(w). Solve -2*d = -i*d for d.
0
Let a = 4 + 1. Suppose a*h = -k - 16 + 39, 4*k = 3*h. Suppose p - 16 = -k*p. Solve p*b + 4 = -0 for b.
-1
Suppose 3*l = -l + 192. Suppose 2*t = -o - 1, -4*o = -5*t - 13 - l. Solve -1 - o = 2*m for m.
-5
Let z(p) = -p**2 - 7*p. Let i be z(-3). Suppose i = d - 13. Solve -a + d = 4*a for a.
5
Let j be 0/3 + 2 + 0. Suppose 3*l + 5 = 2*i, 2 = j*i - l - l. Let p be (i/(-6))/((-2)/(-12)). Solve 0*q = p*q + 2 for q.
-1
Let f = 15 + -23. Let o = 8 + f. Solve o = -t + 4*t - 6 for t.
2
Let m = -4 - -7. Suppose 0 = 3*x + u + 1 - 0, u - 11 = m*x. Let o(g) = -g**3 - 3*g**2 - 2*g. Let h be o(x). Solve h = -2*a - 3*a - 20 for a.
-4
Let h be (-2)/(-5) + 143/55. Suppose 5*n = h*n + 2. Solve a + 1 = -n for a.
-2
Let u(m) = m + 17. Let v be u(-13). Solve b = -0*b - v for b.
-4
Suppose 0 = -5*n - 3 + 13. Solve -3 = -f + n for f.
5
Let k = 13 + -23. Let b be (-24)/(-10) + 4/k. Let a = -6 + 14. Solve -a + b = 3*y for y.
-2
Suppose -7*w - 2*w = -27. Solve 0*t - w*t = 0 for t.
0
Let r = 5 + -2. Suppose 3*v + 4*h = -56, -v + r*h = 4 + 32. Let o = -16 - v. Solve 8 = -o*q + 4*q for q.
-2
Let h be 6/4*(-56)/(-21). Solve b = h + 1 for b.
5
Let l(b) = -b + 11. Let u be l(8). Suppose a + 14 = u*a. Solve -d - 2 + a = 0 for d.
5
Let v(d) = d**3 - 12*d**2 + 13. Let r be v(12). Solve -5*z = -r - 2 for z.
3
Let i(w) = 11*w - 5*w**3 + w**2 + 6*w**3 + 12*w**2 - 12. Let t be i(-12). Solve -1 = -x - t for x.
1
Let h be 114/9 - 4/6. Let g be ((-4)/h)/(1/(-30)). Solve 4*t = 2*t - g for t.
-5
Suppose 3*u - 20 = 4*t, -12 = -2*u + t - 2. Let s = -8 - -11. Let b = 7 - s. Solve -b*r + 12 = u for r.
2
Suppose -5*l = -3*f + 170, -52 = -f + 4*l + 14. Suppose 50 + f = 5*q. Suppose -m = m - q. Solve -m = -5*d + 10 for d.
4
Let g be (-10)/(-4)*18/15. Suppose 0 = g*v + 2*v - 15. Solve -v*o = -o + 4 for o.
-2
Let r(l) = -l**3 + 21*l**2 - 18*l - 37. Let n be r(20). Suppose 5*x = -4*k + 6*k + 14, -3*k = -3*x + 12. Suppose -h = -3*h. Solve -x*s + 3*s - n = h for s.
3
Let u = -14 - -12. Let w be (8/(-14))/(u/7). Suppose -i + 1 = -4. Solve 3*g + i = w for g.
-1
Suppose 0 = -l + 4*h, -4 = 5*l + h - 25. Suppose 10 = 3*i + l. Solve -2*v + 0 = -i for v.
1
Suppose -2*b + 7 + 1 = 0. Suppose -4*x - 4 = 5*z - 50, 4*x - 40 = -b*z. Suppose 0 = 3*l - 7*l. Solve l = 2*d - z for d.
3
Suppose -4*o + 4*q - 14 = -o, 3*o = -2*q + 16. Solve o = f + f for f.
1
Let d be ((-2)/4)/(2/(-24)). Suppose -p = -3*p + d. Solve 5*s = 4*s - p for s.
-3
Let v be (0/(4 + -2))/(-2). Suppose -2*x + v = -6. Let q = 0 + 1. Solve x*j = -5 - q for j.
-2
Let a = 30 + 1. Let z = a + -19. Solve 0*d - z = -3*d for d.
4
Suppose 0 = -o + 2*h - 4*h + 2, -4*o + 3*h + 8 = 0. Solve o*s + 9 = -s for s.
-3
Suppose -q + 12 = 3*q. Suppose -2*p = j + q, 5*p + 8 = -5*j + 3. Solve -3*g - j = -4 for g.
1
Let h be 16/5*(-30)/(-4). Suppose -3*v + 3 = h. Let p be (-2)/v + (-48)/(-28). Solve -p*f + 3 = f for f.
1
Let f be 1/(-2) - (-3)/2. Let k(r) = -r**3 + 4*r**2 + 7*r - 6. Let t be k(5). Suppose -1 = t*x - w, x - 5 = 2*x - 5*w. Solve -g + 1 + f = x for g.
2
Suppose -g = -2*g + 4. Let y = 13 - 11. Let r = -2 + y. Solve r*o = -4*o + g for o.
1
Let u be (-2748)/(-72) - 1/6. Suppose 0*d + g = 4*d - u, 3*d = 3*g + 24. Suppose r = 6 - 1. Solve -5*c + r = -d*c for c.
-1
Suppose -3*g + 18 = 3*o, o - 2*o - 3*g + 12 = 0. Let b be 8/(-16) + (-1)/(-2). Solve -2*h - h + o = b for h.
1
Let u = -6 - -28. Let l be 37/5 + (-4)/10. Let z = u - l. Solve 10*a - 5*a - z = 0 for a.
3
Let v(r) = r**3 - 3*r**2 - r - 4. Let g be v(3). Let f = g - -12. Solve f*h - 3*h = 0 for h.
0
Suppose -10 = 2*y, -k - 3*k - 4*y = -12. Suppose -x + k = 4. Solve f - x*f = -9 for f.
3
Let p(i) = 2*i + 5. Let a be p(5). Let d be (0/(-1))/(1 + -2). Suppose -5*f + 4*y + 13 = 0, f = 5*f - 4*y - 8. Solve -f*n + 0*n - a = d for n.
-3
Let n(s) = s**2 + 6*s + 7. Let h be n(-5). Solve -h - 2 = -q for q.
4
Let z(i) = -i**3 + 12*i**2 - 10*i - 8. Let d be z(11). Solve -d*s - 8 = 4 for s.
-4
Let q(r) = r**2 - 9*r + 4. Let d be q(7). Let b = d + 2. Let w be (-5)/(-2)*b/(-10). Solve -w*o - o = -12 for o.
4
Let d be 0/((0 - 1)/1). Let c be 1/((-36)/(-8) - 4). Let u be c/(-5) - (-16)/40. Solve -o + d*o + 5 = u for o.
5
Suppose 0*k + 12 = 3*k. Suppose -5*p - k = -6*p. Solve 0 = 2*r - p - 4 for r.
4
Let v = -4 - -31. Suppose 0 = -5*i + v - 12. Suppose -2*k - 4*n = 4, 2*n + n = k - 3. Solve -i + k = -m for m.
3
Let q = -15 + 25. Let p be q/(-35) - (-46)/14. Suppose -p*r + 0*r = 0. Solve r*g = -g + 2 for g.
2
Let i(r) = r + 5. Let w be i(-5). Solve -3*q + w*q - 6 = 0 for q.
-2
Let g = 37 + -33. Solve 2 = -3*n - g for n.
-2
Suppose -3*d = 3 - 18. Suppose 3*s + 11 = f + 2, -5*f + d*s = -45. Solve -4*l - 10 = -f*l for l.
2
Let n be 27/(-18)*(-16)/(-6). Let m be (-94)/(-18) + n/18. Solve 0*p - 10 = m*p for p.
-2
Let v = -45 + 50. Solve 10 = -10*m + v*m for m.
-2
Suppose 4 = 2*d - 4. Let j(x) = x**3 + 4*x**2 + 3. Let f be j(-4). Suppose f*a + 4*u + 10 = -u, d = 5*a - 2*u. Solve g = -a*g for g.
0
Suppose 3*w - 5*n - 34 = 0, 4*w + 2*n - 3 = -1. Solve 0 = -0*i - i + w for i.
3
Let r be (1*-4)/(22 - 23). Solve r*d = -d + 10 for d.
2
Suppose -57 = -5*f - 2. Suppose 5*c = -1 + f. Solve -c*w = -6*w + 8 for w.
2
Let r be -3*2/2*1. Let y = 8 + r. Suppose -2*b + 20 = b - y*h, -5*h = 4*b - 15. Solve 5*o - 4*o - b = 0 for o.
5
Let m = 3 + 1. Suppose -m*s + 24 = 2*p, -2*s - 27 = -4*p - 3*s. Suppose -4*d = -7*d + p. Solve -d*c - 2 = 4 for c.
-3
Let a = 83 + -81. Solve y = -a*y for y.
0
Let q be ((-6)/21)/(9/(-63)). Solve 5 = q*o + 3 for o.
1
Suppose 0 = -d + 29 - 2. Solve -d = -5*n - 2 for n.
5
Suppose -8 = 3*c + 4. Let o be c/6 - (-6)/9. Solve o - 1 = p for p.
-1
Let m be (-15 - -27)*(-2 - 22/(-6)). Solve -3*k = -8*k + m for k.
4
Let x(s) = -s**2 - 5*s + 1. Let h be x(-5). Let z = 1 - -2. Let o = z - h. Solve 3*v - o*v = -2 for v.
-2
Let j(s) = -s**3 + 14*s**2 - 16*s + 39. Let t be j(13). Solve -3*o + 0*o - 3 = t for o.
-1
Suppose -5*i = -2*t - 50, 0*i = 3*i - 4*t - 30. Solve 0 = 2*c + i - 2 for c.
-4
Suppose 0 = 3*a - 3*w - 21, -2*a + w - 9 = -3*a. Let t(j) = -1 + 8*j + a + 3*j**2 + 6 - 4*j**2. 