 4/((-2 - w) + 4). Solve -o - x = -5 for o.
3
Let h be -2*((-4)/(-1) - 10). Suppose -2*x = 3*w - h, -4*x = 3*w - 2*w - 14. Solve 3*o = 2*o - w for o.
-2
Let b(l) = l + 5. Let r be b(-3). Suppose 14 = r*f - 8. Let u = f - 7. Solve 8 - u = -d for d.
-4
Let i = 4 + -2. Suppose 0 = -6*w + i*w. Solve 3*c - c = w for c.
0
Let o = -6 - -6. Suppose -q = 2*q - 4*y - 2, -3*y = -q - 1. Solve o*n = 2*n + q for n.
-1
Let n(s) = 4*s + 3. Let f be n(0). Solve -f = -t - 4 for t.
-1
Let d(r) = r**2 + 3*r - 5. Let o be d(-5). Let q(z) = z**2 - 4*z. Let h be q(o). Suppose -4*n + 2 = 3*s + 1, h*n = -3*s - 1. Solve -c = -2 + s for c.
-1
Let y be (2 - -23)*(-1)/(20/(-16)). Solve 3*q + y - 8 = 0 for q.
-4
Let h(v) = v**3 - 3*v**2 + 3*v - 2. Let u be h(2). Solve -5*j = -u*j + 25 for j.
-5
Let d = -3 - -6. Suppose 0 = d*r - 5*r + 20. Solve r = -7*m + 2*m for m.
-2
Let o = -1 + 5. Solve -4*u = -6*u - o for u.
-2
Let g be (-6)/(-4) + (-3)/(-2). Suppose 0*f = g*f. Solve -10 + f = 5*u for u.
-2
Suppose -1 = t, 0*r + t = -r + 2. Solve -a = -1 + r for a.
-2
Let w = 21 + -14. Let i(o) = o**3 - 6*o**2 - 2*o - 10. Let x be i(w). Let s be (12/8)/(6/16). Solve -x = -t - s*t for t.
5
Let c = 23 + -7. Solve -2*s + 6*s - c = 0 for s.
4
Suppose 2*j - 20 = -4*v, -5*j + 2 = -2*v - 0. Let w be 32/(-12)*(-21)/j. Let g be 120/w - 4/14. Solve 7*y = g*y for y.
0
Suppose 4*v - 9*v = 2*o - 22, 2*v + 5*o = 13. Solve v*f - 13 - 7 = 0 for f.
5
Let k be 0/(-2 - ((-25)/5)/5). Solve 5*n + 7 + 18 = k for n.
-5
Suppose -r + 4*p - 21 = 0, 0*r + 2*r = -5*p + 23. Let b be 3 + -2 - r - 2. Solve b*i + 2*i + 2 = 0 for i.
-1
Suppose 0*m = -m + 10. Solve 0 = 4*b - m - 10 for b.
5
Let g(l) = -18*l + 2. Let r be g(3). Let p be 2/7 + r/(-14). Suppose -3*c + p*b + 16 = -c, -3*c - 3*b - 3 = 0. Solve 0 = -3*o + o - c for o.
-1
Let k(z) = -z + 9. Let f be k(7). Suppose -3*j = 4*o - 22, -2*o - f*j = -0*o - 10. Solve 2*y - o + 3 = 0 for y.
2
Let t(k) = 2*k**2 + k - 1. Let l be t(1). Suppose -n - 2*f = 3, 0 = l*n - 4*f + 3 - 5. Let s = 1 + n. Solve s = 4*m - 10 - 2 for m.
3
Let y(o) = -16*o**2. Let s be y(1). Let h = s + 16. Solve h*c = 2*c + 6 for c.
-3
Suppose 3*d + 23 = j, d - 19 = -0*j - j. Solve -4*s = -9*s + j for s.
4
Let v be -11 - (2 - (-4)/(-2)). Let r = 15 + v. Let a = -35 - -51. Solve a = 5*q - r for q.
4
Let f(l) = -l**2 + 12*l - 17. Let m be f(10). Solve m*s = s + 10 for s.
5
Suppose l - i = 5*l - 1, 0 = -l + i + 4. Suppose r - 2*r = -l. Let w be (0 + (r - 0))*1. Solve w = 4*m + 13 for m.
-3
Let s(v) = v**2 - v - 6. Let x be s(-2). Solve -3*n - 3 = -x*n for n.
-1
Suppose -12 + 22 = 5*n. Solve n = 5*t - 13 for t.
3
Let t be 2/(-11) - 1230/(-110). Let k = -9 + t. Solve -k*b + 0*b + 6 = 0 for b.
3
Let x be 1*9/(-3)*-1. Let z be 1/1 + 6/x. Solve -z*p + 1 - 4 = 0 for p.
-1
Let g = -7 - -6. Let p be g + 6 - (-1 - 0). Solve 0 = 3*h - p*h + 9 for h.
3
Let g = -11 - -7. Let y = g + 6. Suppose -7 = -t - y*m, -4*m = -t - 2*t + 11. Solve 4*p + 3 = -t for p.
-2
Let s be 3 + -4 + 1 + 0. Suppose s = 7*h - 3*h. Solve -2*y + 3 + 5 = h for y.
4
Let g = -2 - -3. Let k = 11 - 8. Let x be ((-2)/6)/(17/(-102)). Solve k*v = g + x for v.
1
Let u(v) = v - 1. Let f be u(3). Suppose -4*r + 2*g - 36 = -f*g, 0 = -4*r - 2*g - 42. Let i = r - -16. Solve h - 4 = -i for h.
-2
Suppose -7*l = -12 - 23. Solve 2 = 7*k - l*k for k.
1
Suppose -2*v - 3*v + 8 = -3*t, -12 = 2*v - 5*t. Solve -v + 2 = -2*h for h.
1
Let i be 8/20 - 36/(-10). Let g = 7 - 4. Suppose -i = -g*l + l. Solve 3*z + l*z = 0 for z.
0
Suppose -14 = -4*c - 6. Suppose t - 12 = -3*t - 2*k, -2*t + 4*k + 6 = 0. Let z = 3 - t. Solve z = -c*q + 4 + 2 for q.
3
Suppose -5*o + 2 + 3 = -5*z, -o - 2*z = -16. Solve 3*q = o*q + 3 for q.
-1
Suppose 2*l + 6 = -5*d + l, -4*l = 3*d + 7. Let r be 6/(d/4*-6). Suppose 52 + 8 = 4*t. Solve 0 = r*z - z - t for z.
5
Let v = 5 + -4. Suppose -w + 4 = 0, -2*w - 2*w = -5*j - v. Let i be ((-3)/(-2))/(j/6). Solve i*m = 8 - 2 for m.
2
Suppose 3*m + 3*l - 9 = 0, 0*l = -3*m - 2*l + 12. Let y be 196/10 + 4/10. Suppose 0 = -5*a + 5*r + y, -r + 28 = 4*a + r. Solve -m - a = -4*p for p.
3
Let p(b) = b**3 + 15*b**2 - 16*b + 1. Let g be p(-16). Solve x + 2 = g for x.
-1
Suppose 0*v = -4*d - 5*v + 73, -4*d + 100 = -4*v. Suppose 3*k - o - 12 = 0, -3*k + d - 1 = -4*o. Solve 5*q + k - 13 = 0 for q.
2
Let y = -6 - -4. Let v = 6 + y. Suppose -3*t = 2*j - v*t + 2, -4*t = -2*j - 14. Solve -p + 3 = -j for p.
4
Let p(x) = -x + 5. Let f be p(5). Suppose f = 2*s - 0*s. Let u be s/(-2 + 1) + 11. Solve -2*g + 5 - u = 0 for g.
-3
Let a(p) = p**2 - 3*p - 2. Let i be a(2). Let q = -2 - i. Solve 1 = q*m - 3 for m.
2
Suppose 4*w - a = 77, -a = 3*w + 5 - 54. Solve -4*r - 2 = w for r.
-5
Let b = 6 + -1. Let z(w) = -w**2 + 5*w + 5. Let l be z(b). Let t(n) = n**3 - 11*n**2 + 10*n + 5. Let o be t(10). Solve -20 = -o*q + l for q.
5
Let a be 2 + 7 + 2 + -1. Let d = -4 + 13. Suppose r + 4 = 5*u - 9, d = 3*r + u. Solve -3*t - a - r = 0 for t.
-4
Suppose 9 = b + 1. Solve 5*q + 7 + b = 0 for q.
-3
Let q = 19 - 15. Solve 9*n - 10 = q*n for n.
2
Suppose 0 = -2*x - f - 2*f + 12, -2*f = 4*x - 8. Let z be (-1)/4 + 68/16. Suppose -2*i - z*g + 3*g = -14, 2*i + 6 = 4*g. Solve x = -i*w + w + 12 for w.
3
Let y(x) = -x**3 - 5*x**2 - 3*x + 6. Let r be y(-4). Solve 2*o - o = r for o.
2
Let s be (3/(-2))/((-6)/32). Suppose 3*c = 5*c - s. Solve 2*v - 2 - c = 0 for v.
3
Suppose 23 + 1 = 3*n. Let g be (1/1)/((-2)/6). Let r = 0 - g. Solve -n*w = -r*w - 20 for w.
4
Suppose -2*o - 3*c = -0*o + 1, 3*o + 4 = -2*c. Let l = 4 + o. Solve -a + l = a for a.
1
Let w be 1*(3 - (-2 - 0)). Suppose 11 = 3*b - 1. Solve o - b = w*o for o.
-1
Suppose -5*k = 4*d - 57, -3*d + d + 42 = 4*k. Solve -u + 7 = k for u.
-2
Let w = 0 + 2. Let j(t) = t + 3 + 0*t + t**w - 2 - 3. Let m be j(2). Solve -m + 6 = -b for b.
-2
Suppose 3*j + 0*j = 0. Suppose h + 0*h + 4*w + 3 = j, 24 = 4*h + 4*w. Let x = 4 + 0. Solve -x*s + h*s = -10 for s.
-2
Suppose -2 + 0 = 2*x. Let w = x + 1. Suppose -5 = l - 4*f, w*f + 4 = 2*l - f. Solve 4*u = l*u for u.
0
Let x = 8 + -5. Suppose -x*z + 8 = 2. Solve -z*g - 9 = 1 for g.
-5
Let c be (-8)/3*(-2 + 1/2). Let d = -19 - -59. Suppose -5*w + 5*x + d = 0, 0 = w + c*x - 0*x - 8. Solve 0 - w = 2*u for u.
-4
Let x(y) = 3*y**3 + y**2 + y + 4. Let k be x(0). Solve 0*v = -v - k for v.
-4
Let m(h) = h**3 + 3*h**2 + 3*h + 3. Suppose 3 = -2*d + 11, -3*p = 5*d - 14. Let w be m(p). Solve 2*l = w + 5 for l.
3
Let u = -1 + 6. Let p be 8/(-10)*u/(-2). Solve -p*h + h = 0 for h.
0
Let b be (7/((-21)/9))/(3/(-5)). Solve -1 = -b*m + 4 for m.
1
Let m(w) = -w**3 + 8*w**2 - 2*w + 1. Let z be m(6). Suppose 5*r - 4*h = -z, 5*h = 3*r + 52 - 18. Let u = -7 - r. Solve v - u + 2 = 0 for v.
4
Suppose -2*v + 3 = -4*k + 3*k, -2*v - 3 = -3*k. Solve -3*u = -12 - v for u.
5
Suppose -20 = -f - 2*x, 3*x + 6 = f - 2*x. Suppose -y - 3*v = -4, -2*v = -6*v + f. Let m = 15 + y. Solve m = 2*l + 1 for l.
3
Suppose m = 3*m. Solve 2*q + m = -8 for q.
-4
Let r(v) = -v**3 - 4*v**2 - 3*v + 1. Suppose 0 = -4*n - m - 19, -4*m = -4*n - 3 - 1. Let y be r(n). Solve -3 = -2*s - y for s.
-5
Let j(r) = -2*r - 6. Let p be j(-5). Suppose o + 1 = -5*h + 24, 0 = p*o + 4*h - 28. Solve -o*x = -x - 4 for x.
2
Let t(w) = -w + 5. Let o be 10/2 + -2 - -2. Let s be t(o). Solve 3*b + 6 = -s*b for b.
-2
Suppose 3*z = 25 + 5. Suppose 5*h + z = r - 6*r, -r = 3*h - 2. Solve -2*u = h*u + 12 for u.
-3
Let d(i) = -i**2 + 9*i - 7. Let w(k) = -2*k - 6. Let b be w(-4). Suppose -12 = -b*o + 2. Let g be d(o). Solve -5*h = -3 - g for h.
2
Let r(d) = 3 - 4*d**3 - 6*d**2 + 3 - d + 1. Let z(u) = u**3 + u - 1. Let o(h) = -r(h) - 3*z(h). Let m be o(-6). Solve p - 3*p - m = 0 for p.
-4
Suppose 2 = 2*i - 2*j, -2*i = 3*j - 14 - 3. Let w(d) = -d**2 + 0*d**2 - 3*d - 6 - i*d. Let u be w(-5). Solve u*v = -5 - 7 for v.
-3
Suppose -40 = -2*h - 8. Let z = h + -4. Solve -z = -2*r - 2*r for r.
3
Let c(l) = -3*l - 4. Let x be c(-3). Suppose -73 = -3*o + 5*v - 18, 15 = -o - x*v. Solve -3*g + 2 + o = 0 for g.
4
Let g = 4 + -4. Solve -a + g = 4 for a.
-4
Let y(k) = -k**3 + 6*k**2 + 5*k - 5. Let g be y(6). Suppose -6*m - g = -5*c - 5*m, 3*c = -2*m + 28. Let q(a) = 6*a + 2. Let u be q(3). Solve o - c*o = -u for o.
4
Let i = 1 + 0. Let m be -6 + 7 + (2 - i). Suppose -7*t + 2*t = -3*g - 4, 2*g = 3*t - m. Solve 4*r = 