Let p = 7 + 0. Solve 2*o - 1 = p for o.
4
Let s(w) = -w**3 + 3*w**2 + 6*w - 8. Let t be s(4). Solve -2*b + 0*b = t for b.
0
Suppose -2*m + 6*m - 12 = 0. Suppose -3*n - m = -5*p + 19, 5*p - n - 24 = 0. Solve p*i - 4 = i for i.
1
Let x be (-111)/(-21) + (-5)/(105/6). Solve -a + 2 = x for a.
-3
Let u be (-3 + 3)*1/(-2). Suppose 16*d - 41 = 23. Solve 3*b + 16 - d = u for b.
-4
Suppose -2*c + 3*d + 30 = c, 4*c = -5*d - 5. Solve -15 = -c*w + 5 for w.
4
Let d be 12/18 + (-8)/(-6). Solve 0 = d*j - 6 + 14 for j.
-4
Let z be (-3)/9*2*-3. Solve 0 = -z*t - 3 + 1 for t.
-1
Suppose -3*n + 180 = n. Suppose 2*m = 7*m - n. Let l be (-8)/(-6) + 6/m. Solve -6*x = -l*x - 12 for x.
3
Let g(v) = v - 2. Let f be g(5). Let y be (-2)/2 + (-4 - -10). Suppose -u = -4*d + 3, 5*d + y = -u + 2. Solve f*n + n = d for n.
0
Let u = 32 + -27. Suppose -2*v + 13 - u = 0. Solve -5*y + y - v = 0 for y.
-1
Suppose 2*g + 3*g - 30 = 0. Solve 0 = -i + 1 - g for i.
-5
Suppose 9*l - 9 = 6*l. Solve -2*i = -5*i + l for i.
1
Let c be ((-12)/(-21))/(1/7). Solve -c*k + 6 = 22 for k.
-4
Let d be (-1)/3 - 28/(-12). Suppose 0 = -0*n - n + d. Solve -n*m - m - 9 = 0 for m.
-3
Suppose 2*m - 6 = 3*t - 5*t, -4*m = -2*t - 18. Suppose u = 5*u - m. Solve h + u = -2 for h.
-3
Let l = -13 - -13. Solve l = 3*j + 2 + 10 for j.
-4
Let k = -9 + 7. Let y be 2/1*(0 - k). Solve -u - y + 1 = 0 for u.
-3
Let z(g) = g - 1. Let y(p) = 4*p - 11. Let k(f) = -y(f) + 3*z(f). Let b be k(8). Solve 0 = -c - b*c for c.
0
Let t(r) = 36*r**2 + r + 1. Let q be t(-1). Suppose -q = v - 4*v. Suppose 0 = 2*c + 2*w + 4, 2*w + v = 2*c - 0*w. Solve 3*f - c - 10 = 0 for f.
4
Let a = -21 + 25. Suppose -7 + 1 = -2*y. Suppose 5*g - v - v - 50 = 0, y*g + 2*v = 30. Solve a*m + m = g for m.
2
Let i be ((-5 - -4) + 3)/(2/15). Solve 4*m - 7 = -i for m.
-2
Let q(h) = h**3 - h**2 - 5*h - 1. Let u be q(3). Solve -u*i = 3*i + 15 for i.
-3
Let v = -16 + 18. Solve 25 = -v*f + 7*f for f.
5
Let w be (-16)/80 - 26/(-5). Solve -w*f - 9 = 6 for f.
-3
Let q(l) = -l**2 - 8*l - 6. Let w be q(-7). Suppose 2*u = 6*u. Let g = 4 + u. Solve g*j - 19 = w for j.
5
Let d(y) = y**2 + 7*y + 3. Let v be d(-5). Let p = v - -12. Solve o - 2*o + p = 0 for o.
5
Let w = -2 + 4. Suppose w*i = -i + 3. Let r = 3 - i. Solve -r*g + 1 = -1 for g.
1
Let l(y) = y - 2. Let v(g) = g**2 + 6*g + 7. Let i(r) = -r**3 + 3*r**2 + 4*r - 5. Let u be i(4). Let x be v(u). Let b be l(x). Solve a + 0 + 1 = b for a.
-1
Suppose -s + 0*s - 5*t = -24, 0 = -4*t + 12. Solve 11 + s = -4*g for g.
-5
Let n(s) = 3*s**2 + 8*s + 14. Let d be n(-2). Solve y = -y + d for y.
5
Suppose -2*w - 2*w + 20 = 0. Let t = 1 - 6. Let j = w + t. Solve 5*m = -j*m + 25 for m.
5
Suppose 0*c + 4 = c. Solve -2*h + h - c = 0 for h.
-4
Let f(s) = -4*s + 3 + 3*s - 3*s + s**2. Suppose -20 = 3*b - 8*b. Let l be f(b). Solve i = l*i + 2 for i.
-1
Suppose -2*d = -6, -5*d + 24 = -2*o - o. Let b = o - -6. Suppose -2*l - t = -5, 3*l - b*t - t = -9. Solve r - 2*r = l for r.
-1
Let i(x) = -x**3 + 7*x**2 - 7*x - 3. Let w be i(6). Let l = w + 9. Solve -y + 6*y = l for y.
0
Let z be 2/3 - 16/6. Let x(i) = i**2 - i - 2. Let m be x(z). Suppose -3*y - 2*a = 6, 0 = m*y - y + a + 3. Solve -b + 2 = -y for b.
2
Let a be (32/(-40))/((-2)/5). Let g be 1/(5/(-3) - -2). Suppose 0 = g*x + x. Solve -a*w + x*w = -4 for w.
2
Let z = 0 + 3. Let s = -4 + 8. Let o = z + s. Solve -25 = -2*h + o*h for h.
-5
Let v = -24 + 45. Solve -v = 3*y - 6 for y.
-5
Suppose -4*q = 2*q - q. Solve q = 5*w + 8 - 13 for w.
1
Let j(q) = -q**3 + 5*q**2 + 5. Suppose -2*a + 6 + 4 = 0. Let l be j(a). Suppose -l*m + 10 = -10. Solve -3*w = 19 - m for w.
-5
Suppose y - 1 = 3*i + 5, -8 = -4*i. Solve 3*a + y = -3 for a.
-5
Let q(d) = d**2 - d. Suppose -o + 13 = 5*n + 34, 1 = 4*o + 3*n. Suppose o*j + 6 = -2. Let i be q(j). Solve -3*z = -i*z - 12 for z.
-4
Let u(y) = y**2 - y. Let b be u(1). Let p be b*2*(-1)/2. Solve p*i - 3*i = 0 for i.
0
Suppose -2*x - 5*i = -7, -2 = -5*i + 3. Suppose -5*c + c = 4. Let o be (-9)/(-3)*1 + c. Solve o = h - x for h.
3
Suppose -4*w + 8 = -6*u + 3*u, 4*w = u. Let j(s) = -23*s**3 - s**2. Let o be j(w). Let g = o + -10. Solve 5*m = m + g for m.
3
Let q be 6 + (-1 + 4)/(-1). Solve -q*a - 16 = a for a.
-4
Let n(a) = -a + 1. Let w be n(-3). Suppose -17 = 4*j + 31. Let u(b) = -b**3 - 11*b**2 + 13*b + 14. Let q be u(j). Solve q*k = w - 6 for k.
-1
Let j(f) = -f**2 + 3*f - 1. Let w be j(2). Solve 4*u - 3 - w = 0 for u.
1
Suppose 0 = 2*o + 5*i - 2, 4*o - 3*i - 24 = o. Solve 0*r = 2*r - o for r.
3
Let n(w) = 2*w - 2. Let h be n(2). Solve 2*g + h = g for g.
-2
Suppose -5*a = -2*l - 92, 0 = 2*a - 3*a - 4*l + 36. Let h(f) = f**2 + 3*f + 2. Let x be h(-5). Suppose -3*k = k - x. Solve -k*b - a = -7*b for b.
5
Let z(s) = 2*s - 7. Let b be z(6). Suppose -3*r + 27 = -b*a, -3*r + 7 + 14 = -3*a. Solve -r = -3*n - 1 for n.
1
Let j be 86/4 + (-3)/6. Let m = 25 - j. Solve -c = m*c - 5 for c.
1
Let y = -1 + 1. Let n = -75 + 76. Solve y = 5*o - 6 + n for o.
1
Let v(g) = g + 4. Let h be v(-10). Let d = 6 + h. Solve 0*t + 5*t - 15 = d for t.
3
Let a(s) = -s**3 - 3*s**2 - s + 4. Let x be a(-2). Solve t = -x*t for t.
0
Let i(u) = u**2 + 10*u + 10. Let x be i(-10). Suppose 30 = 5*z - x*z. Let n = -4 - z. Solve -n*y + 6 = -0 for y.
3
Suppose 0 = t - 5 + 3. Suppose 0 = 4*v - 2*v - t. Solve -3 - v = 2*k for k.
-2
Suppose -5*q = -7*q + 24. Solve q = -0*r + 4*r for r.
3
Suppose o - 4*d = -2, -5*o + 4*d = -o - 4. Suppose 5*x + o = -8. Let b = 2 + x. Solve -3 + b = -a for a.
3
Let g(x) = 2 + 3*x**2 - x**2 - 4 + 2*x - x**2. Let b be g(-3). Solve -p - b = 1 for p.
-2
Let a be -6*(-1 + 2) - -1. Let q = -5 - a. Solve q = z - 6*z for z.
0
Let d(c) = -c**2 + 6*c - 1. Let h be d(5). Suppose -h*g = -2*g - 16. Suppose 0 = -3*o + o + 2*v + 24, -80 = -4*o - 4*v. Solve -g*z + 4*z = o for z.
-4
Suppose 5*h + 0*h = -5*y, 4*h - 20 = y. Solve -3 = h*m + 1 for m.
-1
Suppose -5 = -4*q + 3. Solve 2*a + q = 8 for a.
3
Let x = 90 - 86. Solve -2 = -x*g - 14 for g.
-3
Let u be (-342)/(-81) - 2/9. Solve -q = u*q for q.
0
Suppose -2*g = 3*g. Suppose g*y - 2*h - 10 = 4*y, 5*y = 2*h + 10. Solve -2*k = -y*k for k.
0
Suppose -4*u + 66 = 5*r, -r + 4*u - 36 = -3*r. Suppose 30 = -r*x + 12*x. Solve -5*o + 0*o - x = 0 for o.
-3
Let g(z) = -z**3 + 3*z**2 + 6*z - 4. Let y be g(4). Solve 0*b + 4 = -y*b for b.
-1
Let y(i) = 12*i - 1. Let n be y(1). Let b = 16 - n. Solve b*g = -0*g - 15 for g.
-3
Let r be 15/5 - -1*1. Let t(l) = -l**2 + 12*l + 3. Let s be t(12). Suppose 0 = -s*b + 2*b + 3. Solve -b*o - r = -4*o for o.
4
Suppose 3*h - h - 4 = 0. Suppose -h*w + 9 = -3*s, -5*s - 4*w = -w + 15. Let f = s + 15. Solve -3*j + f = -0*j for j.
4
Let u be (6/(-14))/((-2)/(19 + -5)). Solve -3 - 9 = u*p for p.
-4
Suppose -w - 11 = b - 0*w, 0 = -2*b + 3*w - 7. Let o = b - -16. Let n be 62/o + (-2)/(-8). Solve -s - 3*s = n for s.
-2
Suppose 4*y + 3 - 3 = 0. Solve y = 4*u - 4 for u.
1
Suppose -l + 6*l = -3*w + 34, -5*w - 5 = -4*l. Solve 0 = -i - l + 4 for i.
-1
Let r(s) = 4*s. Let d be r(-1). Suppose z = 2*z. Let j = z - d. Solve j*f + 7 + 1 = 0 for f.
-2
Let a = 16 - 9. Let w = -5 + a. Solve 8 - w = 2*q for q.
3
Suppose 0 = -4*q - q + 20. Solve -q*k + 0 = 4 for k.
-1
Let r be 1 + 1/(-1*1). Let p be 395/55 - (-2)/(-11). Suppose -4*s + 27 = p. Solve r = s*q - 4 + 24 for q.
-4
Let u(o) = 3*o**2 + 1. Let x(t) = -t**2 + t + 1. Let n(p) = -u(p) - 4*x(p). Let c be n(5). Solve c = d + 2 + 1 for d.
-3
Let y be (-2)/(5/(45/(-6))). Suppose -2*d + 1 - 2 = y*j, -2*j = -6. Let t be -2 - d - (4 - 3). Solve 0 = -t*o - 2 for o.
-1
Suppose -i + 2*f = -0*i + 5, -i = -f + 1. Suppose 3*h - i = 2*h. Solve h*a = -2*a for a.
0
Let o = 3 + -4. Suppose 2*h + 0*h = 4*a + 22, 0 = 2*h + 4*a + 18. Let n = h - o. Solve 0 = -n*b + 4*b - 6 for b.
3
Let o(b) = b + 2. Let i be o(-1). Solve -i + 6 = -5*t for t.
-1
Let n(i) = -i**3 + 6*i**2 + 6*i + 10. Let o be (-8)/(-1) - (10 + -9). Let k be n(o). Solve -k*v + 12 = v for v.
3
Suppose 4*y + 2*t - 18 = 0, 3*t - 27 = -5*y - 3. Let g be (2 + y)/((-3)/(-9)). Solve -2*j - 3*j + g = 0 for j.
3
Let v = 3 + 5. Let b(z) = z**3 - 12*z**2 + 11*z - 4. Let u be b(11). Let q = v + u. Solve 5*o = 4*o + q for o.
4
Let m be 12/10 - (-7)/(-35). Solve 4*l - 3 - m = 0 for l.
1
Let s = -2 - 6. Let z be 4/s*2 - -1. Solve 20 = 5*f - z*f for f.
4
S