6 for o.
-4
Let g(r) = -r + 3. Let b be g(3). Solve 0 = -b*m + 4*m + 4 for m.
-1
Let r(j) = j**2 + 6*j - 3. Let z be r(-7). Suppose -5*o + 2*b + 17 + z = 0, -3*b = 3*o. Solve 3*v - 9 - o = 0 for v.
4
Let t be 1/4 + 225/60. Solve -v + 15 = t*v for v.
3
Suppose 2*f - 10*f = -128. Solve -4*t = -8*t - f for t.
-4
Let p(b) = b**2 - 5*b + 1. Suppose -2*t + 4 = -4*t - 4*g, -t - 4*g = 0. Let u be p(t). Let v = u - 24. Solve v = -4*h + 1 for h.
-3
Suppose -5*d - 40 = -7*d. Solve 8*n - 4*n - d = 0 for n.
5
Suppose 5*s = -p - 15, -3*s + 19 = -6*p + p. Let j be s/(5/3 + -2). Suppose -j*o = -o. Solve o = -5*a + 5 for a.
1
Let u be 2/((-1)/(3/6)) - -1. Solve u = m - 2*m for m.
0
Suppose 0 = t - 3*t. Solve -j + 5*j - 20 = t for j.
5
Suppose -2*m - m - 6 = 0. Let q be 26/10 + m/(-5). Let f be -2 - 0/q - -2. Solve h + f = 1 for h.
1
Suppose 2*h + 1 + 1 = 0. Let n be -3*(-2 - h) + 6. Solve -f - 2*f = -n for f.
3
Let v be (5 + -2)/((-9)/(-6)) + 4. Solve -2*h = h - v for h.
2
Let p(v) = v. Let r be p(3). Suppose -2*u + 1 + 9 = 0. Suppose -2*x = -2, 0 = -5*s - 0*x - u*x + 15. Solve -r*h - s = 10 for h.
-4
Let q = 1 + -1. Let u be q + 3 - (-1 + 0). Let m(w) = -w**2 + 6*w - 4. Let b be m(u). Solve b*a = -a for a.
0
Let n = -11 + 13. Solve 25 = 7*v - n*v for v.
5
Suppose 0*j + 6 = 3*j. Solve 4*d + j + 6 = 0 for d.
-2
Let i(p) = 2*p**2 + 2*p - 2. Let f be i(-3). Solve -3*h - f = 2*h for h.
-2
Let r = 0 + 0. Suppose -w + 28 = -r*w. Solve -5*h = w - 8 for h.
-4
Suppose 3*d + 4*c = -c + 28, -5*d + 34 = 2*c. Suppose -d + 1 = -q. Solve 5*m + q = -15 for m.
-4
Let s = -21 - -21. Solve o + o - 2 = s for o.
1
Let n = -7 + 13. Let k = -4 + n. Let d(y) = -y**3 + 3*y**2 - y. Let r be d(k). Solve r*h - 8 = -2 for h.
3
Let u(z) = z**2 - 16*z + 15. Let k be u(15). Solve w = -k*w - 3 for w.
-3
Let q be (-1)/4*6*(-8)/6. Solve 3 = q*v + 9 for v.
-3
Let r be 9*4/42*7. Let j = r - 15. Let u = -5 - j. Solve 0 = u*g + g - 5 for g.
1
Let p(a) = -a**3 - 8*a**2 + 9*a + 2. Let r be p(-9). Let z(c) = c**3 - 2*c**2 + 2*c + 1. Let w be z(r). Solve 0 = -w*m + m for m.
0
Let z = -63 + 66. Solve z*i = -1 + 10 for i.
3
Suppose -i - 3 + 2 = 0. Let d = 6 + i. Solve 0 = d*b + 21 + 4 for b.
-5
Suppose -22 + 8 = -2*w + 3*d, -d + 35 = 5*w. Solve l + 6 = w for l.
1
Suppose -5*v + r - 11 = -r, 3*r - 8 = -v. Let w = 2 - v. Suppose 5*d - 13 = -w. Solve 1 = d*o - 1 for o.
1
Suppose -k + 0*j - j = 2, -j - 14 = -5*k. Let u = 1 + 0. Let x be (0 - (-2)/4)*2. Solve x = -k*f - u for f.
-1
Suppose 4*o - 3*h = -o + 34, -3*h = 3*o - 6. Solve 6*x - o*x = 0 for x.
0
Suppose u + 10 = 4*t + t, 0 = u - 5. Let l be (2/6)/(t/36). Solve -18 = l*o + 2 for o.
-5
Let u = -35 - -67. Let a = -17 + u. Suppose -a = -4*c - c. Solve -c*j + 2 = -4*j for j.
-2
Let j(z) = z**2 + 2. Let a be j(0). Suppose -2*w + 7*l - 2*l + 35 = 0, -5 = -2*w - l. Suppose v = 10 - w. Solve -a*c = -v + 3 for c.
1
Let r = 8 - 5. Let y be 20/2 + r + -1. Let k(a) = a - 7. Let s be k(9). Solve -y = s*v + 2*v for v.
-3
Suppose 2*k + u - 3 = 0, 5*u - 3 = -0*k - 4*k. Solve -k*l = 3*l for l.
0
Suppose -h - c + 5 = 0, 0 = -5*h + 5*c + 24 + 31. Solve -18 + h = 5*z for z.
-2
Let s be (-16)/(-72) + 1/9*16. Solve -3*f = s*f - 15 for f.
3
Let p(i) = -i**3 + 7*i - 5. Let l be p(2). Solve -2*f = -3*f - l for f.
-1
Let u be (-2)/4*-2 - -3. Suppose -x + 1 = 4. Let r be (-77)/x - 1/(-3). Solve -u*f - r = -6 for f.
-5
Let b(w) = -w**3 + 3*w + 2. Let l be b(-2). Suppose 0 = -3*u + 7*u - 72. Let g be u/l + 2/(-4). Solve 0 = -g*a - 2 + 10 for a.
2
Let w(a) = -a + 1. Let c be w(-4). Suppose -12 = 4*b - 8*b, b = c*k - 2. Solve 14 = 3*p - k for p.
5
Suppose -2*v + 15 = -v. Let b be -1*5*(-12)/v. Solve -2*w - b = 2 for w.
-3
Suppose -1 = 2*q + 5*i - 29, 4*q - 32 = -4*i. Suppose 10 - q = 2*l. Solve -l*u = 2*u - 15 for u.
3
Let p be (16/(-40))/(2/40). Let j be (-8 - p)/((-2)/(-1)). Solve -f - f = j for f.
0
Let a = -2 + -2. Let j = 10 + a. Let r(b) = b**2 - 5*b - 3. Let d be r(j). Solve 2 = -x + d for x.
1
Let o(v) = v**2 + 8. Let x be o(0). Let s = x + -5. Let w = s + -1. Solve 0 = -w*r - 1 + 5 for r.
2
Let l(h) = h**2 - 7*h + 6. Let a be l(6). Solve -2*j - 2*j - 4 = a for j.
-1
Let q = 38 + -2. Let u(d) = -3*d + 2. Let n be u(-3). Let j = -17 - -22. Solve -j*h + n = q for h.
-5
Suppose 22*d - 26*d = -8. Solve 6 = -d*o + 4 for o.
-1
Let x = 37 - 34. Solve 2*h - x*h + 4 = 0 for h.
4
Suppose -3*l + 37 = y, -2*l + 27 = y + 2. Let j be 1/2 + 6/4. Solve -2*g = j*g - l for g.
3
Let w be ((-4)/8)/((-2)/96). Suppose a - 4*k - 20 = 0, 2*k + w = 2*a - 2*k. Solve 0 = -a*u + 3*u for u.
0
Suppose f + 0 = 2. Let d = -49 - -52. Solve -z = f*z - d for z.
1
Let h(r) = 3*r - 2. Suppose 5*k + 3*n - 10 = 6*n, 0 = -2*n. Let o be h(k). Solve 0 = o*y - 2*y for y.
0
Let d(p) = 2*p**2 + 5*p + 2. Let a be d(-3). Suppose 0 = o + a*n - 12, 2*o - 4*n = -0*n - 4. Solve 5 = -7*m + o*m for m.
-1
Suppose 0*f + 2*f = 4. Solve 6 = -0*a + f*a for a.
3
Suppose 5*k = -3*i + 7, 5*i - 3*k + 5*k - 18 = 0. Suppose -33 = -4*t - 5*y, -y = 2*t - 11 - i. Solve 0 = -4*m + 1 + t for m.
2
Suppose 2*t + 7 + 3 = 2*f, -2*f - 3*t + 5 = 0. Solve 4*c - f = 5*c for c.
-4
Suppose 2*t = 5*m - 0*m + 24, -22 = -5*t + 3*m. Let g(s) = -4*s**2 - 5*s**t + s**3 + 9*s + 3 - s. Let i be g(8). Solve 7 + 2 = i*c for c.
3
Let a = -6 - -13. Solve -4*g + a = -13 for g.
5
Let d = -12 + 17. Solve -3 = -d*o + 2 for o.
1
Suppose 1 - 7 = -3*x. Suppose k - 5 = x. Let q = 1 - -2. Solve k*h = q*h for h.
0
Suppose -16 - 32 = -2*k. Let p = k - 14. Solve w = 3*w - p for w.
5
Let i(n) = n - 2 + 1 + 0 + 2. Let k be i(-1). Solve -d + 6*d = k for d.
0
Let t = -72 + 73. Solve s + 4 = t for s.
-3
Suppose s = -s + 6. Suppose m - 2 = s. Solve -m*r + 3*r - 4 = 0 for r.
-2
Suppose -3*r = 2*d - 7, -d + 30 = 4*d - 5*r. Suppose 3*x = 2*t - 12 + 29, -2*t + 7 = 5*x. Solve -x*m = -d*m - 8 for m.
-4
Let a = 13 - 13. Suppose -g + a*g = 0. Solve g*o + 3*o = 0 for o.
0
Suppose -3*p + 5 = 2. Suppose 5*x - 4*g + p = 57, x + 3*g = 15. Suppose q + x = 4*q. Solve -q*i = -3*i for i.
0
Suppose 3*t = -t. Suppose t = -x - 4, -22 = -2*q + 4*x - 0*x. Solve 11 = 4*u + q for u.
2
Suppose -4*c = 4 - 8. Let x = 2 + 3. Solve x*a + c = 11 for a.
2
Suppose -5*h + h = 88. Let s = h + 30. Let m(f) = -f**2 + f + 5. Let x be m(0). Solve -7 = x*a + s for a.
-3
Suppose 3*l - 12 = -5*a, -l + 5*a + 1 = -3. Let d(k) = -4*k**3 - 2*k**2 - k**3 + l*k**3 - 4. Let q be d(-3). Solve q*f + 0*f - 25 = 0 for f.
5
Let r(d) = -d**3 + 4*d**2 - d - 4. Let s be r(3). Solve 1 - 5 = -s*a for a.
2
Let n(h) = h**2 + 3*h - 1. Let l = 25 - 15. Let v be (-1 + -1)/(4/l). Let g be n(v). Solve -g = z - 4*z for z.
3
Suppose 4*j = 3*w, -w = w + j - 11. Suppose -2*i = -4*i + w. Suppose 0 = -4*c + 5*c - 1. Solve i*v = -9 + c for v.
-4
Suppose -2*z + 8 = 2*d, 3*z + 4 = 5*d - 0*d. Suppose 2*h - 2*j = -2*h + 2, d*h + 2*j - 10 = 0. Solve -2*x + x - h = 0 for x.
-2
Let z(n) = 4*n**3 + 2*n - 1. Let d be z(1). Let l = -3 - -3. Let a = 3 + l. Solve d = a*c - 4 for c.
3
Suppose 4*l = l + 66. Let z = 24 - l. Solve 4 = -2*g + z for g.
-1
Let o = -3 - -6. Solve 0 = o*y - 2*y for y.
0
Suppose -4 = -v - 2. Suppose -3*t = 2*z + 5 - 25, 4*z - v*t - 40 = 0. Solve z = -0*q + 5*q for q.
2
Let f = 6 - -6. Solve 2*b = -b + f for b.
4
Let p(b) = 3 - 3 - 2*b - 1. Let x be p(-3). Solve -3 = -2*v - x for v.
-1
Suppose -h = -4*h - 4*i + 32, -h + 16 = -4*i. Solve h + 4 = 4*t for t.
4
Let y be (-12)/10*200/(-12). Solve y = -j + 5*j for j.
5
Let g = -14 - -10. Let v be 0/(g/(-2) - 1). Let l = 0 + v. Solve -x + 3*x + 10 = l for x.
-5
Suppose 0*a = 3*a - 18. Solve -4*q + 2 = a for q.
-1
Let i = -4 + 10. Solve 4*c + i = -6 for c.
-3
Let l(h) = -h**3 + 4*h**2 - 3*h. Let s be l(2). Let t be (s - 8/(-4)) + 3. Solve 3*w = t - 1 for w.
2
Let f be 8/2 - 3/3. Let s = 6 - f. Suppose 3*i - 18 + s = 0. Solve i*a - 18 - 2 = 0 for a.
4
Let n(u) = u**3 - u**2 - 2*u + 4. Let b = 3 + 0. Suppose -6 = -5*s + b*s. Let j be n(s). Solve p - 5*p = j for p.
-4
Let g(o) = -o**2 - 7*o - 4. Suppose 0 = -4*v + 14 + 2. Suppose -3*x - v*h = 34, -3*h = x - 3*x. Let a be g(x). Solve a*c + 4 = 3*c for c.
4
Let n be 2/(-3) - 22/(-6). Suppose 0 = -n*b + b. Suppose 3*a + 4*g - 23 = b, -3*a + 0*g + 9 = -3*g. Solve 0*f - a*f + 5 = 0 for f.
1
Suppose -3*p - 3*n + 1 = -20, p + 3*n - 11 = 0. Suppose 8 = -