 s(t). Solve -9 = -5*m - v for m.
-5
Let v be 1 - (0/2 - 7). Solve v*x - 20 = 3*x for x.
4
Let q be (-2)/(0 + 6/27). Let l be (30/q)/(2/(-6)). Solve -4*w + l = w for w.
2
Let w(c) = 2*c**2 + c. Let r be w(-1). Solve 6 - r = -p for p.
-5
Let y = -10 + 15. Let m = y - 3. Suppose 0 = m*p + 3*p. Solve -v = 1 - p for v.
-1
Suppose o + 14 = 5*r, -3*r - 2*o - 2 = -0*o. Let z be (-45)/(-30) + 5/r. Let w(f) = -f - 3. Let c be w(-7). Solve 0 = c*l + 4 + z for l.
-2
Let p(c) = -c**2 + 12*c - 10. Let l(a) = 2*a**2 - 23*a + 20. Let u(d) = 4*l(d) + 7*p(d). Let r = -5 - -12. Let k be u(r). Solve k = v + 1 for v.
2
Let m be ((-6)/4)/(6/(-64)). Let f be (-2)/(-6) + m/(-3). Let l be 3/2*(f + 7). Solve l*x + 0 = -9 for x.
-3
Let w(u) = -u**2 + u - 12. Let f be w(0). Let g(l) = l - 2. Let s be g(5). Let z be 0*s/f*-2. Solve z = -3*k - 0 - 9 for k.
-3
Let c(o) = -4*o - 4. Let h be c(-6). Suppose 3*r + h = 8*r. Solve 0*y + r*y + 16 = 0 for y.
-4
Suppose 5*n - 2*n = 3*b - 18, 19 = 3*b - 4*n. Let z be 0/((2 - 3) + 0). Solve -b*f + z*f = 20 for f.
-4
Suppose -3*z = -0*z - 24. Solve 0*q = 4*q + z for q.
-2
Suppose -3*h + 5 = 2. Suppose h = 3*t - 17. Solve 4*b - 6 = t*b for b.
-3
Let r(d) = d**2 + 2*d - 1. Let a be r(1). Suppose -5 = a*f - 13. Solve 4*n = -0*n + f for n.
1
Let b(h) = 1 - 5*h**2 + 5*h + 2*h - 2*h + 0*h**3 - h**3. Let o be b(-6). Solve 1 = -2*c - o for c.
-4
Suppose 5*j - 4*r + 3 = 0, -3*j = -0*r - 2*r + 1. Solve -j = -p + 4 for p.
5
Let f be ((-126)/(-15))/(-2 + (-46)/(-20)). Solve 5*s = -f + 8 for s.
-4
Let q = -2 - -8. Suppose -q*s = -s - 10. Let b be (s - 2)*1 + 2. Solve -z = 7 - b for z.
-5
Let z = -5 - -7. Suppose -4 - 4 = -z*r. Solve -w = -0*w - r for w.
4
Let l(i) = i**2 - 4*i. Let u be l(5). Suppose 0 = 2*a - 27 - 13. Solve -u*j - a = -j for j.
-5
Let k be (2/4)/((-4)/(-312)). Suppose 3*i = 3*j + 27, -4*i = -0*j - 5*j - k. Solve -h = -i*h + 25 for h.
5
Let z(h) = h**3 + 3*h**2 - 2*h + 4. Let q be z(-3). Solve -2*u - q = 3*u for u.
-2
Suppose -y + 20 = 4*y. Suppose a = y - 1. Suppose 5 = z + 3*n - 15, 4*z - 28 = n. Solve a = -5*b + z for b.
1
Let a = -7 - -9. Let r be (-4)/((-8)/6) - 1. Solve 0*j - a*j = r for j.
-1
Suppose 0 = n + 2*n - 24. Let g = n + -7. Solve 0 = -x - g - 3 for x.
-4
Let r = 2 + -2. Let a = 11 + -3. Suppose -4*t = -a*t + 16. Solve 2*n - n + t = r for n.
-4
Suppose 4*o - 3*o = 17. Suppose 7*q - 9 = 4*q. Solve -o = -4*b + q for b.
5
Suppose 2*d = 3*q + 7*d + 4, q - 4*d - 10 = 0. Suppose 6 = h - r, -h + 16 = 2*h - q*r. Suppose -2 = 3*j - h*j. Solve 9 = 5*k - j*k for k.
3
Suppose -5*q + 5 = 5*r, -2*q + 8 = r + 4*r. Suppose -2*m + 2 = -2*a - 0, -3*m + 4*a - r = 0. Solve y = 3*y - m for y.
3
Let s be ((-1)/3)/(4/(-180)). Let b be ((-9)/s)/(3/(-45)). Solve 4*z - 7 = b for z.
4
Let f(k) = -k + 12. Let j be f(10). Suppose 25 = j*x + 7. Solve 0 = 2*m + m + x for m.
-3
Let d(w) = 3*w**2 + 2*w - 2. Suppose i + 3*l + 14 = 0, -l - 8 = -3*i - 0*i. Let c be d(i). Solve 9 + c = 3*g for g.
4
Let n(i) = -2*i + 5*i**2 + 2*i**3 + 5*i - i**3 - 1 + 0*i. Let h = 6 - 10. Let x be n(h). Solve 0 = -o - 4 + x for o.
-1
Suppose -5*f + 5*g - 10 = 0, 3*g + 18 = -3*f + 2*f. Let c = f - -8. Suppose -2*b = 2*o - 4, 4*o + c*b - 17 + 5 = 0. Solve 9*a = o*a for a.
0
Let m be -4*((-5)/(-4) + -2). Let z = m + 1. Solve -z*r - r - 25 = 0 for r.
-5
Let g = 6 - 6. Suppose 0 = -g*x - x + 10. Let q be (x/8)/((-5)/(-20)). Solve -l - q = -2 for l.
-3
Suppose -2*w + l + 13 = 0, -w = -5*w - l + 23. Solve w*b = 4*b - 6 for b.
-3
Let k = -66 - -70. Solve -2*l - k + 0 = 0 for l.
-2
Let n be (-110)/(-11)*((-10)/4)/(-5). Solve -n*t + 3*t = 2 for t.
-1
Let k = -18 + -5. Let l = -17 - k. Solve -l = o - 5 for o.
-1
Let d be (-4)/(-6) - (-16)/3. Suppose w - d + 3 = 0. Suppose 0 = -0*m + w*m. Solve m*p + p = -3 for p.
-3
Let t(x) = -x**3 - 11*x**2 - 10*x + 3. Suppose -j - 31 = 4*n + 2*j, 3 = j. Let a be t(n). Solve -11 = -2*d - a for d.
4
Suppose c + 5 - 8 = 0. Solve -2*r - 25 = c*r for r.
-5
Let h(s) = -s**2 + 8*s - 2. Let k = 67 + -48. Let a = -13 + k. Let d be h(a). Solve -5 = 5*j + d for j.
-3
Let w = 164 + -164. Solve 5*z - 11 - 9 = w for z.
4
Let g be 0/((2 - (7 + -4))*-2). Solve g = -p - 1 - 4 for p.
-5
Let b(m) = -m**3 - 5*m**2 - 6*m - 8. Let v be b(-4). Solve 2*w - 4 + v = 0 for w.
2
Let b(w) = -w**3 + 3*w**2 + 2*w - 3. Let v be b(3). Let d be 133/21 + (-1)/v. Solve -d*u + 4*u - 2 = 0 for u.
-1
Let o(d) = -11*d - 17. Let p be o(-2). Solve 0 = p*s - 3*s + 10 for s.
-5
Let c = 11 + -7. Let n = 6 + -4. Suppose 2*y - c*r - 8 = 0, -35 + 9 = -n*y - 2*r. Solve -4*m = -y - 10 for m.
5
Let t be 12 - (-4 - (-4 - -1)). Let f be (1/1)/1*3. Solve 2*b + f = t for b.
5
Suppose 0 = 3*p - f + 3*f - 16, f + 5 = 5*p. Suppose -a - 24 = -p*u + 3*a, -4*u + a = -13. Solve j = -1 + u for j.
1
Suppose -2*m + 1 + 37 = 0. Suppose 2*r - m = -g, 2*g + 46 = -r + 4*r. Let i be (-4)/r + 28/3. Solve 5*k + i + 1 = 0 for k.
-2
Suppose 8*s - 6 = 6*s. Solve n = -2 - s for n.
-5
Let m(h) = h**2 - 5*h - 5. Let x be m(6). Let p(b) = 8*b**2 - b + 1. Let a be p(x). Suppose 0 = 2*o + f - 17, 3*o + 5*f = a*o - 5. Solve -4 = -4*w + o*w for w.
-2
Let n = -22 - -23. Solve -n = -2*j - 7 for j.
-3
Let q = -102 - -103. Solve -3*o + q = -2 for o.
1
Let f be ((-16)/(-14))/(4/14). Solve -f*x - 7 = 1 for x.
-2
Let q = 19 - 27. Let g = q - -11. Solve g = m - 0*m for m.
3
Let z(n) = 10*n - 2. Let q be z(-3). Let j = -23 - q. Suppose 0 = 2*l - 5*p + j, p - 3 = 4*l - 12. Solve 2 = -m - l for m.
-5
Suppose -6*b + 35 = b. Solve 0 = 21*f - 22*f - b for f.
-5
Let i(j) = -2*j - 22. Let h be i(-13). Solve -h*m + 11 = -1 for m.
3
Let j(b) = 19*b**2 + 2 - 1 - 2. Suppose -2*o + 3 + 0 = p, -3*p - o - 1 = 0. Let k be j(p). Solve -4*w = 6 - k for w.
3
Let h = 3 - -2. Solve 0 + 5 = -h*d for d.
-1
Let c = -7 + 17. Solve 8*w + c = 3*w for w.
-2
Let d = 15 + -7. Solve -d = -0*p - 4*p for p.
2
Suppose -4*w - 2*v = -46, 5*w - 9*v + 4*v - 35 = 0. Solve -z - z = -w for z.
5
Suppose -3*o - 4 = -10. Let k be ((-150)/24)/(o/(-8)). Solve 9*t = 4*t + k for t.
5
Let l be (-2)/4 + (-5)/(-2). Let o(q) = q**2 + 5*q - 3. Let j be o(-6). Solve j = l*n + 1 for n.
1
Let j be (42/63)/((-4)/(-6)). Solve -s = -0*s - j for s.
1
Let i be (2/6)/(22/(-33))*-6. Solve -i*y - 25 = 2*y for y.
-5
Let n be ((-10)/6)/((-10)/30). Solve -n*l + 0 + 5 = 0 for l.
1
Let v = -52 - -52. Solve v = -2*h - 0*h - 8 for h.
-4
Suppose 0*q + 4 = d + 3*q, 8 = 2*d - q. Suppose -d*g + 8 = -2*g. Solve 0 = -0*j + g*j + 12 for j.
-3
Let q(t) = 17 + 7*t - 4 - 6*t. Let l be q(-11). Solve -y + 0*y = -l for y.
2
Suppose 0 = 4*g + 53 + 11. Let p = g - -22. Solve 3*y - p = 3 for y.
3
Let p(a) = -a**3 - 10*a**2 + 24*a + 8. Let m be p(-12). Solve 2*l - m = -0 for l.
4
Suppose 2*n + 3*n = 15. Suppose 2*v = 3*v - 5. Solve -n = 2*o + v for o.
-4
Suppose -2 = -0*v + v + 3*d, 4*v - 36 = -d. Suppose 0 = -5*w - 50 + 20. Let u = w + v. Solve -c = u*c for c.
0
Suppose 0*p + 6 = 3*p. Suppose 4*o + 2*g + 2 - 4 = 0, -p*g = -5*o - 2. Solve o*f - 2*f = 6 for f.
-3
Suppose -2*l + 4 + 3 = 5*k, 4*l + 22 = 2*k. Solve 7 = k*w - 8 for w.
5
Let k = 135 + -120. Solve 3*v - k = -0*v for v.
5
Let u be (-1)/(-3 + 8/3). Suppose -5*o = 3*d - 2*d + 3, 0 = -4*d - 4*o + 4. Solve -q - u = -d*q for q.
3
Let u(q) = q**2 + 2*q + 5. Let t be u(-5). Solve 4*v + v - t = 0 for v.
4
Let u = 8 - 6. Let t(b) = -3*b. Let g be t(u). Let y = g + 12. Solve -r - y = 2*r for r.
-2
Suppose l = 3*b - 11, 8 = -4*l - b + 4*b. Solve -5*j = -l + 6 for j.
-1
Suppose -7*w = -8*w + 15. Let f = w - 13. Solve -z - f*z = 9 for z.
-3
Let a = -7 + 2. Let l = 10 + a. Solve 6 = -l*b + 31 for b.
5
Let i = 1 - 1. Solve -h + 0*h - 3 = i for h.
-3
Suppose 3*q + 27 = 36. Solve a = q*a + 10 for a.
-5
Let z(a) = -a**3 + 6*a**2 - 3*a - 5. Let m be z(5). Solve 5 + m = -2*o for o.
-5
Suppose 0*c = c. Solve 6 = -c*s + 3*s for s.
2
Let q be -6 + (-1)/(3/(-9)). Let x be 4/(q/6 + 1). Solve -3*v + x = v for v.
2
Let h(x) = -x**2 - 6*x - 4. Let g be h(-5). Solve 4*d - g = 19 for d.
5
Let c(w) = -4*w. Let p be c(4). Let q be (p/2)/(-3 + 1). Suppose -6 = -4*i + j + 6, -5*i = -2*j - 15. Solve 5 = -i*b - q for b.
-3
Let i(w) = -w + 3. Let d be i(-6). Suppose 0 = 5*k - d - 6. Suppose 4*t = -k*o - 9, 0 = 4*t - 3*o + 5*o + 6. Solve t = g - 3*g + 8 for g.
4
Let q be (2/(-4))/((-1)/4). Le