 w(-7). Solve -2*p - 1 + m = 0 for p.
4
Let x = -6 - -9. Let k(c) = -c**3 - 3*c + 6 + x*c + c**2. Let r be k(0). Solve r = -0*j - 2*j for j.
-3
Let y(x) = -x**3 + 8*x**2 - 5*x - 8. Let n be y(7). Let d = n - 4. Solve 4*h - 14 = d for h.
4
Suppose -4*y = 2*v + 10, -1 = -4*v - 3*y + 4. Let r be 6/2 - (1 - 1). Let o = r + 3. Solve -v*m + o + 4 = 0 for m.
2
Let l(t) = -6*t - 3. Let o be l(-4). Solve -6 = -3*z - o for z.
-5
Suppose -2*x + 5*q = 13, 2*q = 3*x - 0*x + 3. Let t(g) = -3*g - 4. Let c be t(-4). Suppose -5*z - 2*d = 1, -5*z + 2*d + c = -3. Solve -2*h + z = -x for h.
1
Suppose -18 = -5*z + 4*y, -3*z - y + 27 = z. Let p = z + -3. Solve -p*b = -2*b - 1 for b.
1
Let i be 66/9 + 2/3. Let n be (-2 - 2)*(-6)/i. Suppose a = 2*g - 2, -3*g + 4*a = -0*g + 2. Solve -p - g = n for p.
-5
Let x(o) = -2*o + 8. Let m = 12 - 8. Let u be x(m). Solve 4 + u = 2*r for r.
2
Let k = -52 - -53. Solve 1 = j - k for j.
2
Let f be 8/(-3)*(-12)/16. Solve -4 = v - f for v.
-2
Let m(k) = k**3 - 2*k - 1. Let o be m(-1). Solve u + o*u = 1 for u.
1
Let f be (-4 - -3)/(-2)*6. Solve -1 = -g + f for g.
4
Let c(y) = y**3 - 9*y**2 - y + 12. Let h be c(9). Suppose -h*v + v = -6. Let i = v + -3. Solve i*j - j = 5 for j.
-5
Let z(p) = -p**2 + p - 1. Let k be z(0). Let c = -1 - k. Suppose c*n - 8 = -2*n. Solve -n*u = u for u.
0
Suppose 2 = x - 0*x. Suppose 2*l - 2*w = l - x, 0 = -4*l + 2*w + 4. Suppose 0 = 3*n + 2*y - 6, l*n - 5*y - 4 = -2*y. Solve -u - n = u for u.
-1
Let c = 10 + -6. Let r = c + 0. Solve -o - r + 1 = 0 for o.
-3
Let i = 1 - -9. Suppose -5*c = 0, -5*r + 6*c + 10 = 3*c. Solve -i = -0*j - r*j for j.
5
Let o be 1/(-2) + 44/8. Solve -o*b - 7 = 13 for b.
-4
Let d(i) = -2*i + 30. Let t be d(12). Let m(q) = q**2 - 3*q - 3. Let c be m(4). Suppose f + c - 6 = 0. Solve -t - 9 = -f*g for g.
3
Let t(o) = 0*o + 2*o - 3*o + 7. Let v = -1 - -6. Let f be t(v). Solve -4 = f*x + 2*x for x.
-1
Let c be (-2)/7 + (-92)/(-28). Solve 2*y - c = 7 for y.
5
Let n be (-4)/10 - (-188)/20. Solve -1 - n = 2*o for o.
-5
Suppose 4*d - 6 = -2. Let b(a) = -3 + a**2 - 2*a**3 + 3*a**3 - 2*a + 4. Let r be b(d). Solve 2*t - 5 = r for t.
3
Suppose -o - 7 = -0*o + 5*w, -3*o - 21 = 2*w. Let t(z) = -z**3 - 8*z**2 - 7*z. Let k be t(o). Solve 4*b + 20 + k = 0 for b.
-5
Let p(f) = -2*f**2 + 5*f + 4. Let v be p(3). Solve v = -4*l - 11 for l.
-3
Let g be (-34)/(-8) + 3/4. Solve n + g + 0 = 0 for n.
-5
Suppose -10 - 5 = 5*x, 5*d = -x + 7. Suppose 2 = -2*z - z + d*m, z = m - 2. Solve z = -3*j - 1 for j.
-1
Let u = -4 + 16. Let g = -7 + u. Solve t - 20 = g*t for t.
-5
Suppose -2 + 4 = r. Suppose 7*n = r*n. Suppose n*j = 4*j - 64. Solve g - 5*g + j = 0 for g.
4
Suppose 40*n = 50*n. Solve 4*r - 3*r - 3 = n for r.
3
Suppose 0 = -7*m + 8*m - 4. Solve 0 = o + 1 + m for o.
-5
Let q be 2/(-1 + (-21)/(-15)). Suppose q*j - 82 = -2. Solve -v - j = 3*v for v.
-4
Let a = 34 - 27. Solve 2*j + 3 + a = 0 for j.
-5
Let v be (-40)/(-22) - (-4)/22. Suppose 3*l - 38 = q, -2*l - 6*q + 2 = -v*q. Let i = l + -8. Solve -3*x - 15 + i = 0 for x.
-4
Let z(b) = -b. Let d be -8*(-4)/8 + -7. Let n be z(d). Solve 2*i - 3*i = n for i.
-3
Suppose -2*q + 14 = 2*p, 2 = 2*p - 2. Suppose 0 = -4*z + q + 7. Let x be (-4)/(-6) - 16/(-3). Solve -z*t - x = -t for t.
-3
Suppose 2*h + 3*u - 11 = 0, -15 = 4*h - 9*h + 5*u. Solve h*c - 22 + 2 = 0 for c.
5
Let y(a) = -6*a - 1. Let v be y(-1). Suppose v*w = 2*i + 2*w - 5, -2*i + 4*w + 4 = 0. Solve -i*b = 4 - 16 for b.
3
Let h = 8 + -7. Let s = 4 - h. Solve 1 = -a - s for a.
-4
Let k be 12/(-8) + 201/6. Suppose 2*l = 2*b + b - 23, 0 = -4*b + 2*l + k. Let t be 1*b*(-6)/(-18). Solve -t*h + h = -4 for h.
2
Let u = 4 - 2. Solve 7*l - u*l + 10 = 0 for l.
-2
Suppose -4*q + 18 + 26 = 0. Suppose -2*x = -3*s + 6, -3*x + 5*s - q = -0. Solve -11 = x*l + 1 for l.
-4
Let x(p) = p**2 - 2*p - 1. Let t be -3 + (-1 - (1 + -4)). Let n be x(t). Suppose -n*g - 4 = -3*l + 7, -3*l + 17 = g. Solve -q + 3 + g = 0 for q.
5
Suppose 40 = 9*q + 4. Solve 0 = 3*p - 8 - q for p.
4
Let q be 6 - ((-16)/(-2))/4. Solve 0 = -q*y + 2 + 2 for y.
1
Let g(k) = -k**3 - 9*k**2 + 5. Let v be g(-9). Solve -6*c = -c - v for c.
1
Suppose -n - 3*t + 62 = 4*n, -5*t + 20 = 0. Let m be (-65)/n*2/(-1). Solve -7 - m = -4*v for v.
5
Let o = -94 + 100. Solve -5*a = -o*a + 3 for a.
3
Let o(z) = -5 + z - 4*z + 4*z. Let f be o(5). Solve f = d + d - 6 for d.
3
Suppose 0 = -3*m + m. Suppose 0*v + 4*v - 12 = m. Suppose -u - 8 = -5*n, -3*n = n + v*u + 5. Solve b + 0*b = -n for b.
-1
Let m = -3 - -7. Suppose 0 = 6*x - m*x - 8. Solve 5*c = x + 6 for c.
2
Let t(i) = 5*i**2 + i - 18. Let d(n) = -4*n**2 + 17. Let f(h) = -4*d(h) - 3*t(h). Let a be f(6). Solve 0 = 3*z - a - 2 for z.
2
Suppose -n + 1 = -5. Let t = n + -6. Solve 0 = -t*w + w + 3 for w.
-3
Suppose 0 = -0*i + 2*i - 8. Let f be 1 - (-3)/(3/2). Suppose f*m = -m + i. Solve -m = -n + 3 for n.
4
Let n(g) = -g**3 - 6*g**2 - g + 20. Let b be n(-5). Solve b = -2*j + 2 + 2 for j.
2
Let x(g) = 16*g + 5. Let q(i) = 3*i + 1. Let r(s) = -33*q(s) + 6*x(s). Let y be r(-2). Let l = 10 + -6. Solve l*o - 4 = y*o for o.
4
Suppose o + 5 = w, 0 = -3*o - 2*w + 6*w - 20. Suppose 5*s = -o*s. Suppose s = p + 4*n - 18, -2*p + 3*p - n + 2 = 0. Solve -p*i + i = 5 for i.
-5
Let o be 5/3 - 4/6. Suppose 0 = 2*n + t + 1, 5*t + 15 = 3*n - 8*n. Solve n*m = -1 - o for m.
-1
Let g = -6 - -10. Let l be (-142)/(-6) - 7/(-21). Let q = l + -4. Solve -g*r = -q + 4 for r.
4
Let k = -39 - -46. Solve 0 = -k*o + 5*o - 4 for o.
-2
Let d = 11 + -7. Let a be d/14 - 33/(-7). Let b be (-3)/1 + 3 + 0. Solve -2*f + f - a = b for f.
-5
Let o(l) = 2*l + 21. Let v be o(-9). Solve 0 = -v*s - 1 + 16 for s.
5
Suppose 3*m + 44 = 8*m + 4*l, -4*m + l = -31. Solve 3*d - m = d for d.
4
Let g(o) = o**3 + 7*o**2 - 8*o + 4. Let p(k) = -k - 14. Let q be p(-6). Let b be g(q). Solve -20 = b*h - 0*h for h.
-5
Let f be (-2)/9 + (-40)/(-18). Solve -f = -z - 0*z for z.
2
Suppose -5*t + 3 = -7. Solve t*o = -o for o.
0
Suppose -17*l + 15*l = -6. Solve -5 = -2*k - l for k.
1
Let m be (-4 + 2)*(-1 + -1). Solve -z + m*z + 12 = 0 for z.
-4
Let c be 75/9*(-18)/(-6). Solve 0 = 2*n + 3*n - c for n.
5
Suppose -2*l = -3*r - 4, 2 = 5*l - 4*r - 8. Solve 4*t + l = 18 for t.
4
Let p be ((-3)/(-3))/((-1)/(-5)). Let o be (-12)/((p - 4) + -3). Solve 2*t + o = 14 for t.
4
Let b = -4 + 8. Solve b*w = w for w.
0
Let u = -10 - -17. Let r(o) = 14*o**2 - 23*o - 3. Let g(x) = -5*x**2 + 8*x + 1. Let t(c) = -17*g(c) - 6*r(c). Let d be t(-2). Solve -4*n + u = -d for n.
2
Let k = 34 + -34. Solve 2*u + 2*u - 8 = k for u.
2
Suppose 18*c - 48 = 24. Solve 2*b - c = -14 for b.
-5
Let s be (-2)/(-16) - (-120)/64. Solve s*f - f - 1 = 0 for f.
1
Let s = -25 - -19. Let m = s + 12. Solve -i = -3*i + m for i.
3
Suppose i + 2*b - 16 = 0, -4*b = 5*i - 64 + 2. Let v be (2 + i)*(-5)/(-10). Solve -5*j = -1 + v for j.
-1
Let q = 9 + -2. Suppose 0*r + 28 = 2*r. Let v = r - q. Solve -12 = -3*c + v*c for c.
-3
Let x(o) = o**3 + 7*o**2 + 7*o + 9. Let k be x(-6). Solve -9 = k*s - 0*s for s.
-3
Let u be 55/10 + 1/2. Solve h + h = -u for h.
-3
Suppose 0*a = 3*a - 2*h - 1, 3*h = -3*a + 6. Solve -g + 2 = a for g.
1
Suppose -4*f + 0*f - 3 = -3*z, -4*f - 2*z + 2 = 0. Let r be (-3)/(-3)*3 - f. Suppose 0 = 5*i - r*i. Solve i = -3*q + 2*q + 4 for q.
4
Suppose 0*v = -5*a + 5*v + 5, v = 4*a - 4. Solve -4 = 5*b + a for b.
-1
Suppose -1 = a - 5. Let t be (-62)/(-10) - a/(-5). Solve -2*f + t*f = 0 for f.
0
Let n be -3 - ((-10)/(-2) - 1). Let t(v) = v**3 + 7*v**2 - 2*v - 4. Let h be t(n). Solve -h = -5*i - 0 for i.
2
Let u(x) = -5 - x**2 + 3 - 8*x - 3. Let y be u(-5). Solve -y = -5*h - 0*h for h.
2
Suppose -10*v + 12*v - 4 = 0. Solve 3*r + v*r + 15 = 0 for r.
-3
Let q = 7 + -5. Let i be (0 + 1)/(q/4). Let b = 13 - 10. Solve -n - i*n + b = 0 for n.
1
Suppose 5*u - 2 = 4*u. Suppose 13 + u = 5*g. Solve -g*m = 2*m - 10 for m.
2
Suppose 5*u - u - 12 = 0. Let f be 10/(-15) + 38/u. Solve -g - 2*g = -f for g.
4
Let t(o) = -o - 1. Let i(k) = 8*k + 3. Let a(p) = i(p) + 5*t(p). Let j be a(2). Let w = 4 - j. Solve l = -w*l - 3 for l.
-3
Suppose 3*m + 23 = 5*a, -4*m + 17 = 4*a - 5*m. Solve -a*h = h for h.
0
Let l be (-6)/39 + (-216)/(-52). Suppose -2*g = 5*m + 24, -2*m + 3*g + 2 = -m. Let v = l + m. Solve -3*a + v*a = 0 for a.
0
Suppose -3 = 34*k - 35*k. Sol