f*n + 6 - 1 = 0, -3*w - 4*n + 19 = 0. Suppose w*p - 15 = 2*p. Solve 0 = p*v - 15 + 35 for v.
-4
Suppose 4 - 2 = m. Let n(v) = -7*v - 3*v**m - 3*v**2 - v**3 - 2*v**2. Let z be n(-7). Solve -o - 5 + 2 = z for o.
-3
Let g be (-159)/(-15) - (-3)/(-5). Let s be 0*(3 - g/3). Solve 0 = -s*u - 3*u for u.
0
Suppose -4*t = 2*f - 6, -f + 0*f - 3*t + 3 = 0. Solve 0 = f*o + 2 - 11 for o.
3
Let x be 3*-1*1/(-3). Let d(o) = 2*o**2 + o - 1. Let n be d(x). Let c be n/3*-3 + 4. Solve 4 = -c*r - 2 for r.
-3
Let j(n) = n**2 - 7*n. Let t = 4 + -22. Let c = -11 - t. Let a be j(c). Solve a*p + 2*p = 8 for p.
4
Let v be ((-40)/(-12))/(2/6). Let l = v - -5. Solve -l - 5 = -4*k for k.
5
Suppose -1 = -5*b + 9. Suppose 2*k + b = 8. Solve -6 = -k*f + 9 for f.
5
Let i(k) = 4*k + 3. Let h be i(3). Let x be ((-12)/h)/((-4)/50). Solve 2*b = 4*b - x for b.
5
Let a(w) = w**3 - 3*w**2 + 3. Let y be a(3). Suppose -15 = -y*r - 0*r. Solve 20 = r*q - q for q.
5
Let n be 7/(84/16)*3. Solve -7*d - 3 = -n*d for d.
-1
Let u be 1/(-2)*4 - -3. Solve d + u = -2 for d.
-3
Let j(f) = -2*f**2 + 2*f. Let n be j(1). Solve -x = -n*x - 1 for x.
1
Suppose -r - 1 = 0, -3*r = o - 3*o + 9. Solve 0*l = o*l - 12 for l.
4
Let c(g) = -g + 16. Let v be c(7). Solve 4 = z + v for z.
-5
Suppose 2 = -3*c - 1. Let n be (-2)/c + (-9)/(-9). Solve -n = -5*z + 2 for z.
1
Let b(l) = -l**3 - 2*l**2 - 2*l + 1. Let y be b(-2). Suppose 4*n = 2*v + 18, -3*n + y*v = v - 26. Solve n*o = -2*o for o.
0
Let k be ((-16)/(-6))/(38/171). Solve 2*o + k = 6*o for o.
3
Let g(k) = -k**3 - 2*k**2 + 2*k - 3. Let b be -6 - ((-6)/(-3) - 3). Let y = -8 - b. Let u be g(y). Solve -4*f - f = u for f.
0
Suppose -12 = -s - 2*c, s = -2*s + c + 15. Suppose -4*x + d - 27 = 0, 3*d = x - s*x - 55. Let u(m) = -2*m - 11. Let o be u(x). Solve 3*f - o = 4*f for f.
-5
Suppose -2 + 7 = 5*k. Solve -2*h = -3 - k for h.
2
Let q(o) = -o**3 + 5*o**2 - 6*o + 11. Let t be q(4). Solve 0 = w + t - 4 for w.
1
Suppose -20 = -x + 5*r, 4*r - 30 = -4*x + 2. Let s be ((-5)/3)/(x/(-12)). Solve 0 = h - s*h - 4 for h.
-4
Let b(k) = 2*k + 4. Let d be b(4). Let n be ((-2)/(-6))/(2/d). Solve -s - 3 = -n for s.
-1
Let y = -3 + 3. Suppose y = 3*j - 5*j - 4*h + 12, -3*j + 17 = 5*h. Solve j*f - 8 = 8 for f.
4
Suppose s + 0*s - 23 = 0. Suppose -s - 1 = -2*c. Suppose 2*x - c = -4*d + 5*x, -3*d + 4*x = -16. Solve -q + 2 = -d for q.
2
Suppose 0*p + 30 = -5*p. Let b be 3/p*4 + 2. Let w(s) = -s**2 + 8*s + 11. Let v be w(9). Solve v*x - x = b for x.
0
Let t be (-6)/(-15) + (-4)/10. Suppose t*w = 3*w - 12. Solve 0 = w*g + 20 - 0 for g.
-5
Suppose -3*o - 50 = -3*u - 2*o, 13 = u - 4*o. Let q be ((-2)/(-6) - 0)*6. Solve 3*c = q - u for c.
-5
Let g be 1/3 - (-528)/9. Suppose g + 6 = 5*k. Let o be (140/15 + -9)/((-2)/(-18)). Solve -o*q + k = 4 for q.
3
Suppose 3*l + 2*l - 83 = q, 2*q - 38 = -2*l. Suppose h + 7 - l = 0. Suppose 2*t + 16 = 6*t. Solve 0 = -s - t*s - h for s.
-2
Let t(d) = -6*d - 1. Let c be t(-4). Let y = c - 15. Solve -2*q + y = -4*q for q.
-4
Let p = -4 + 3. Let h be -3*p/(3/2). Suppose -3 = -h*a - a. Solve -2*c - a = 3 for c.
-2
Suppose -4*j = -7*j. Let t = 7 + j. Solve -t = a - 3 for a.
-4
Let b(q) = -2*q + 1. Let r be b(-7). Suppose 2*u - r = -3*u. Solve 3 = u*z - 0*z for z.
1
Let q be ((-5)/10)/(2/(-16)). Suppose 2*n + i = -3*n + 19, -16 = -4*n - i. Suppose 4*v - q = n*v. Solve -21 = -v*a - 1 for a.
5
Let k be 0/(-2) + -1 + 0. Let h = 1 + k. Let n = -48 - -51. Solve h = -p + n + 2 for p.
5
Let y be 16/6 + 2/6. Let p be (8/10)/2*5. Let t be 2/(-4)*154/(-11). Solve t = y*o - p for o.
3
Suppose 0 = -8*p + 4*p. Solve j - 3 = -p*j for j.
3
Suppose 0 = -2*o + 3*o. Let a = 5 + o. Let m(k) = k**3 + 4*k**2 + 2*k - 2. Let b be m(-3). Solve b = -a*h + 11 for h.
2
Let y = 14 + -11. Let s be (0 - 5)/(2 + -3). Solve 4 = y*i - s for i.
3
Let y be (-7)/(-21)*(2 - 1 - 1). Solve y = 5*w - 5 for w.
1
Let q = 5 - 1. Let o = -5 + 7. Let h = -10 + 20. Solve -q*j + o + h = 0 for j.
3
Suppose 0 = u + 3*u + 5*g - 32, -u + 7 = g. Suppose f + 6 = b, u*f = 3*b + 2*b - 24. Solve -4*q = -b*q + 5 for q.
-5
Suppose 0 = -5*f + 6 - 1. Let x = f - -2. Solve x*p = 1 - 4 for p.
-1
Let q = 1 - -2. Suppose 0 = -q*x + 1 + 11. Solve -x*l - 3 = 5 for l.
-2
Let g be 4/(-2) - 1 - -7. Suppose 3*s - 32 = -y + 6*y, -s = 2*y + g. Solve -z - 6 = -s*z for z.
2
Suppose 4*p = -8 + 4. Suppose 0 = 3*q - q - 3*b + 3, 3*q + 5*b + 33 = 0. Let j be (q - -1)/(0 + p). Solve 0 = r - j*r for r.
0
Suppose -4*w - 2 = -2*q, 3*w = q - w + 7. Let y(k) = k + 12. Let a be y(-8). Solve -a*f + q*f = -5 for f.
-1
Let k(b) = 3*b**2 - 4*b - 1. Let m be k(2). Suppose 4*d + 40 = 2*a, -m*a - d = 16 - 69. Let o = 7 + -4. Solve -5*j - a = -o for j.
-3
Suppose -196 = -4*f + 32. Suppose -13 + f = 4*p. Let z = -11 + p. Solve z*y = 5*y + 15 for y.
-3
Suppose -2*p + 8 - 2 = -n, -p - 4*n + 12 = 0. Suppose -p = -c - 1. Solve -2*j = 3 + c for j.
-3
Let q = 6 - 2. Suppose k = -q*k. Suppose -l + 4*y = 0, l + k*l + 3*y - 7 = 0. Solve 0 = 3*o - l + 1 for o.
1
Let c be (-6)/(-1)*2/(-2). Let r be (c/5)/((-4)/10). Solve -16 = -r*u - u for u.
4
Let r(j) = -j**2 - 8*j - 1. Let y be r(-9). Let v be y*(1 + 7/(-5)). Solve -2*x + v*x - 6 = 0 for x.
3
Let s(k) = 16*k. Let q be s(2). Suppose -3*p = -4*l - q, 4*p + 0*p = -5*l - 9. Let j = -4 + 5. Solve p*w + 15 = -j for w.
-4
Suppose -7*m = 1 - 15. Solve 2 = -m*w + 6 for w.
2
Let p be (8 - 4) + -1 + -1. Solve p = 2*j - 0 for j.
1
Suppose -3*i + 317 = -4*z, -66 = 2*z - 3*i + 97. Suppose -2*m = 5*u + 252, m = -4*u - 206 + 2. Let w = u - z. Solve -4*n = n + w for n.
-5
Let w = 7 + -1. Solve -2*q = -w*q + 12 for q.
3
Let n(x) = -x + 10. Let h be n(15). Let k = 7 + h. Solve -k = -5*f + 18 for f.
4
Suppose 2*o = 5*x + 30, o - 2*o = -5*x - 25. Solve 10*q = o*q + 10 for q.
2
Suppose 0 = -5*h + 9 + 16. Suppose -o + 3 = 5*c + 8, 2*o + 4 = -4*c. Solve o*k = h*k - 5 for k.
1
Let r(m) = -m**3 - m**2 + m - 2. Let a be r(-2). Let z be (-12)/8 + 14/4. Let f = z + 0. Solve a = -3*n + n - f for n.
-1
Let a(x) = x**2 - 6*x + 8. Let o be a(5). Solve 3 = o*v - 0*v for v.
1
Suppose 0*n + 2*n = 156. Let o be 65/n*(6 - 0). Solve -o*z = -2*z + 9 for z.
-3
Suppose 5*d + 0 = 15. Suppose 0 = -5*z - d*o + 21, 5*z + 2*o - 19 = -0*z. Solve z*x = -0*x - 12 for x.
-4
Let v(h) = 5*h**3 + 8*h**2 - 11*h - 5. Let f(t) = t**3 - t. Let y(i) = -6*f(i) + v(i). Let n be y(7). Let p = 21 - n. Solve 4*d - p = -0*d for d.
3
Let i(w) = -w**2 + 8*w - 4. Let a be i(8). Let u = a + 8. Let n be 2 + 2/u*8. Solve 0 = b - n*b for b.
0
Suppose 85*s = 96*s. Let t be (-2 - -1)*(-8)/2. Suppose -n + t*l + 15 = l, 13 = -n - 4*l. Solve -a + n = -s for a.
3
Let z = 2 - 0. Suppose -z*g + 2 = -10. Let b = 60 - 35. Solve -g*c + c = -b for c.
5
Suppose 3*r = 2*r. Suppose 8 = -3*x - 4*p, x + 1 = 4*p - 5*p. Solve -h + r = x for h.
-4
Suppose 4*p - 9 - 7 = 0. Solve p = t - 1 for t.
5
Suppose 3*m + 2 = -m + 5*d, -d = -m. Solve 0*o = -m*o + 8 for o.
4
Let q = -6 + 4. Let s = -9 + 10. Let r be q + -1 + 7 - s. Solve -16 = -j - r*j for j.
4
Let d be -2 - 4/(((-30)/9)/5). Solve 0 = -i - d*i for i.
0
Let j(y) = -y**3 - 6*y**2 + 3. Let u be j(-6). Suppose -u*h = -2*h - 2. Let q = 2 + 0. Solve q*a - h - 4 = 0 for a.
3
Suppose -103 = -5*u + 3*w, 0 = -7*u + 4*u + 2*w + 62. Suppose 0 = 2*i + 15*a - 20*a - 20, 3*i = -4*a - 16. Solve 3*r + 2*r - u = i for r.
4
Suppose -2*i + 1 = -4*b - 5*i, 0 = 5*i + 15. Suppose s + b*s = 0. Suppose 2*w - 34 = -4*a, w + 3 = -s*w. Solve -z = z - a for z.
5
Let v(c) = c**2 - 7*c + 4. Let l be v(7). Solve -4*j + 12 = l for j.
2
Let n(z) = z + 2. Let c be n(-4). Let v be 12/(-2)*c/6. Suppose -40 = -v*g - 3*g. Solve -2*k + g = 2*k for k.
2
Let m(g) = 5*g**2 - 5*g - 8. Let t(q) = 14*q**2 - 15*q - 24. Let u(b) = 11*m(b) - 4*t(b). Let s be u(6). Solve -5 + 3 = -s*c for c.
1
Let j = 63 + -58. Solve 7*d = 8*d + j for d.
-5
Let m = -21 - -31. Suppose -m = -5*k, 5*z - 1 = -4*k + 27. Suppose 2 = -b + z. Solve -b*p + p = 0 for p.
0
Suppose 3*s = 5*s - 10. Let j(h) = 3*h - 12. Let u be j(s). Solve -4*n = -u*n + 1 for n.
-1
Let d be (-4 + 4)/(-2 + 3). Solve d = -h - 4 + 1 for h.
-3
Let u(c) = -2 + 4*c**3 + 2*c**2 - 3*c**3 + 1 + 3. Let s = -4 + 2. Let z be u(s). Solve -z*t + 6*t = 0 for t.
0
Suppose -3*f = -a + 16, -4 = -5*a - 2*f - 2*f. Suppose c - h + 5 = h, 2*h = -2*c - a. Let