e k(z). Solve 0 = l + f*l - 4 for l.
1
Suppose 5*m = -5, 5*q = -3*m - 0 + 7. Solve -2 = q*v - 3*v for v.
2
Let n be 0/2 - (1 - -1). Let h(a) = a**3 + 2*a**2 - a + 1. Let f be h(n). Solve -8 = 5*b - f*b for b.
-4
Let f(y) = -3*y**2 - 5*y + 4. Let d(w) = 2*w**2 + 3*w - 2. Let p(r) = 5*d(r) + 3*f(r). Let z be p(0). Solve z*c + 1 = -5 for c.
-3
Let y(p) = -p - 7. Let x be y(-7). Let m(j) = -j**2 - j + 4. Let v be m(x). Let r = -1 + v. Solve -r*u = -3 - 6 for u.
3
Suppose 4*m + d - 25 = m, -3*d = 3*m - 21. Let u be (m + -1)/4*2. Solve 0*b = -u*b for b.
0
Let r(q) = -q**2 - 8*q + 4. Let g be r(-8). Solve g*y + 3 = y for y.
-1
Let x be (1 + (-9)/6)*0. Suppose -2*y - y + 15 = x. Solve -1 - 9 = -y*u for u.
2
Let q(o) = -o**2 + 2*o - 2. Let v be q(3). Let r = v + 9. Let u = 1 - 1. Solve u = i - r for i.
4
Let z(d) = -d - 3. Let o be 16/(-12)*9/2. Let c be z(o). Solve c*x + 11 + 4 = 0 for x.
-5
Let c = 22 - 15. Let q(d) = d**2 - 5*d + 6. Let l be q(c). Solve -5*p + 0*p - l = 0 for p.
-4
Suppose 0 = y + p - 1 - 0, -4*y - 2*p + 2 = 0. Solve y*j + 10 = -5*j for j.
-2
Let n(u) = u**2 - 5*u - 4. Let s be n(6). Suppose -3*i = 2*h + 1, -6 = -s*i + 2*h - 0*h. Suppose -2*y = -7 + i. Solve 2*b + 1 = y for b.
1
Let u(d) = -d + 1. Suppose -5*a - 6 = -1. Let g be u(a). Solve g*i = -0*i - 4 for i.
-2
Let w = -1 - -6. Let r(a) = a**2 + a + 1. Let n(i) = -i**3 + 5*i**2 + 7*i - 1. Let c(g) = n(g) - r(g). Let d be c(w). Solve d*x - 6 = x for x.
3
Let b(j) = 9*j**3 + 19*j**2 - 14*j + 5. Let c(q) = -5*q**3 - 10*q**2 + 7*q - 3. Let f(a) = -4*b(a) - 7*c(a). Let h be f(-7). Solve h - 16 = 3*u for u.
-5
Suppose -5*d = -4*i - 15, 4*d + 0*d = -5*i + 12. Suppose n + 0*n = i. Solve 0 = -o - n - 1 for o.
-1
Let f(j) = -j**3 - 3*j**2. Let t be f(-2). Let o be t + 0 + 1 + 0. Let y = o + 4. Solve 0 = -2*b + y - 3 for b.
-1
Let a(y) = -y**2 + 11*y - 4. Suppose 0 = 4*b - 9*b + 40. Let k be a(b). Solve x = 5*x + k for x.
-5
Let c = 6 + -2. Suppose -6*j + 2*j = 8, -4*a = c*j - 92. Let l be (-2)/6 + 32/6. Solve l = -5*z + a for z.
4
Let t = 21 + -12. Suppose -3 = -4*u + 3*u + r, 3*u - t = -2*r. Suppose -1 = -u*h + 5. Solve y = h*y for y.
0
Suppose -2*i = -5*i + 9, 50 = -2*f - 2*i. Let b = 28 + f. Solve b = z + 4*z + 15 for z.
-3
Let w = -26 - -35. Solve -2*r = r - w for r.
3
Let q = -4 + 6. Suppose 0*m = q*m. Let a be (m + 0)/(0 - 2). Solve p + p - 10 = a for p.
5
Suppose -3*n - 3*d = 12, 5*n + 15 = -5*d + d. Let v(c) = -c**3 + 4*c**2 - c - 1. Let j = -1 - -4. Let b be v(j). Solve -3*o + b = -n for o.
2
Let s = 27 - 27. Solve 2*t = -s*t for t.
0
Let g = -12 + 12. Solve g = -3*y - 1 + 4 for y.
1
Let l = -2 - -2. Let u(q) = q**3 - q**2 + 3. Let v be u(l). Solve 3 = -6*b + v*b for b.
-1
Let j(p) = -4*p + 18. Let o be j(4). Solve 3*x - o*x + 4 = 0 for x.
-4
Let m(b) = -b**2 - 3*b + 1. Let s be m(-4). Let x(o) = -o**3 - 4*o**2 - 5*o - 2. Let w be x(s). Solve 19 = w*h + 3 for h.
4
Suppose -4*f + 81 = 4*d - 55, 0 = d - 4*f - 49. Let v = d - 17. Solve 3*p = -2*p + v for p.
4
Let n(a) = a**2 + 4*a. Let c(z) = -z. Let l be c(6). Let y be n(l). Suppose -y = -3*x + 9. Solve -2*p = -x*p + 25 for p.
5
Let o(s) = -s + 3. Let b be o(0). Suppose y = c + 3, 0 = -5*y + c + 3*c + 15. Suppose -k = -2*a - 0 + 1, 17 = y*k - a. Solve 8 = k*d - b*d for d.
2
Suppose 6*k = 3*k + 15. Suppose -7 = -n - t, k*n - 3*t + 2 = -3. Solve n*x = 5*x + 15 for x.
-5
Let b = -28 + 30. Suppose 0 = -3*j + 8 - 2. Solve j*x + 0*x - b = 0 for x.
1
Let r be (-1)/(1 - 2) - -3. Suppose -r*l + 5*l - 4 = 0. Solve l*q - 3*q = 4 for q.
4
Suppose -5*b + 7*r + 30 = 2*r, -2*b + 4*r + 6 = 0. Solve -b = 16*d - 13*d for d.
-3
Let d = -2 - 1. Let w be ((-1)/(-1) + -2)*d. Suppose -5*s + w*b = -55, -7*s + 3*s + b + 37 = 0. Solve 0 = -0*u - 4*u + s for u.
2
Suppose 10 - 26 = -4*m. Solve -2*r + m = -0 for r.
2
Let p(h) = h**3 - h**2 - 2*h + 3. Let k be p(2). Solve -2*l - 5 = k*l for l.
-1
Let v be 1 - 1*12/(-3). Suppose 5*a + 0*a - 65 = 0. Suppose 2*t = t + a. Solve v*c + t = 28 for c.
3
Let w(t) = -t - 3. Let k be w(-5). Suppose 16 = 2*f - 5*o, 8 = f - 0*f - k*o. Solve h = -h + f for h.
4
Suppose 0 = 3*q + w - 12, -w = -2*q - 2*w + 9. Solve -q*n + 0 = 3 for n.
-1
Suppose 0 = 2*j - 6*j + 68. Let q = -9 + j. Let a be q/(-28) - 32/(-14). Solve 2*f + a*f - 4 = 0 for f.
1
Suppose 0 = -4*d + 27 + 17. Suppose d = -2*r + 29. Suppose -x - 1 + 4 = 4*a, -3*x + 2*a + r = 0. Solve 8 = -x*m - 1 for m.
-3
Let d be (-2)/8 + (-3)/(-12). Let q(g) = -2*g + 13. Let i be q(5). Solve d*u = 3*u + i for u.
-1
Let z = 13 + -25. Let y = z + 16. Suppose -6 = -4*o + 2. Solve o*b + y + 2 = 0 for b.
-3
Let i = 42 - 39. Solve 0 = -i*g + g + 2 for g.
1
Suppose 3*d + 5*r = -d + 8, 0 = -3*d + 3*r + 6. Solve 3*z - d*z = 0 for z.
0
Suppose -2*s = 2*s + 5*g - 36, -9 = -s + 4*g. Suppose 0 = -3*p - 0 + s. Solve -1 = p*m + 8 for m.
-3
Let c = 160 + -155. Solve 3*l + 8 = c*l for l.
4
Let k be (12/(-10))/(2/10). Let h be (48/(-18))/(4/k). Suppose 4*t = h + 12. Solve 0 = t*s - 3*s for s.
0
Suppose 6*p - 66 = 4*p. Solve p = 4*z + 13 for z.
5
Let q(m) = -m**2 - 7*m + 11. Let p be q(-8). Suppose 3*a = 2*d + 6, p*a - 5*a + 11 = d. Solve -3*u - 12 = d for u.
-5
Suppose 2*b + 5 - 1 = 0. Let c be b*(0 - (-3)/(-6)). Let x be c + -3 - (-10 + 3). Solve x = -r + 2*r for r.
5
Suppose 3*s + 15 = 5*k, -4*s = -0*s. Let d be k/((-2)/6*-3). Suppose 4*z - 15 = -d. Solve 3*i = -z - 3 for i.
-2
Suppose -s = -2*d - 7, 0 = 2*s + 4*d + 7 - 37. Solve -2*p + 1 = s for p.
-5
Let k be (1/(-1) - 0) + 1. Suppose -1 = f - 4. Suppose 2*o + 3*h = -0 + 16, f*o - 4*h + 10 = k. Solve o*m + 0 = 10 for m.
5
Let w = -6 + 17. Let b = 152 + -138. Let x = b - w. Solve 2*l = -x*l for l.
0
Suppose -2*m - 6 = -4*m. Suppose 0 = -2*i + i + 3*o - m, -2*o = i - 7. Let x be (i/9)/(2/6). Solve 0 + x = c for c.
1
Let l = 5 + -2. Suppose l*f + 2*f = 20. Solve f*v - 4 = 4 for v.
2
Let l = 6 - 2. Let j be -2*3*(-6)/(-18). Let i be 6 + (j - (3 + -1)). Solve l + i = -2*u for u.
-3
Let h(i) = -2*i + 2. Let l be h(-1). Solve -l*u = u for u.
0
Suppose -4*x + 6 + 22 = -5*d, -2*x + 16 = -3*d. Suppose 3*l = 5*j, l = -j + 5*j. Let k be (j - 8/(-6))*15. Solve k = x*h + 2*h for h.
5
Let w = -10 - -5. Let i be (-2)/10 + (-11)/w. Solve -10 = -0*q + i*q for q.
-5
Let f(b) = b**2 - 8*b + 25. Let a be f(4). Solve -3*h + a = -0*h for h.
3
Suppose 16 = -3*h + 4*g, 16 = 2*g + 2*g. Solve 0 = -h*c + 4*c - 4 for c.
1
Let i = -33 + 34. Solve -i = n + 3 for n.
-4
Let f be 0 + 1 + 0 + 1. Suppose 3*y - 6 = -3*a, 1 = -a + y - 5*y. Solve a*s - f*s = 0 for s.
0
Let r(f) = -f**3 - 5*f**2 + 6*f + 4. Let w be r(-6). Suppose 0 = -0*d + w*d + a + 272, 325 = -5*d - 5*a. Let k = -43 - d. Solve -4*y - k + 6 = 0 for y.
-5
Let v(m) = m + 11. Let d be v(-5). Suppose -3*g + d = -0*g. Let f = g + 1. Solve -f*t = -t + 10 for t.
-5
Let m = 28 - 9. Solve 3 = -4*i + m for i.
4
Let s be -1 - 2/(-3 + 2). Let r be (-8)/8 - (-3 + -1). Solve -r*g = -4 + s for g.
1
Suppose 0 = -4*j - q + 5*q + 8, -5*j = -q - 2. Suppose x + 4 = -3*f, -4*f = -0*x - 5*x - 20. Solve -o + 3 + j = f for o.
3
Let r = 10 - 16. Let h = r - -8. Solve h = a - 3 for a.
5
Suppose -2*u - 8 = 2*u. Let z be (0 + -2 - u)/1. Let m = -4 - -20. Solve 4*x = -z*x + m for x.
4
Suppose 3*w = -4*j + 2*j + 4, 4*w + 5*j = 3. Let q be ((-1)/w)/(2/(-4)). Solve -4 = -u - q for u.
3
Suppose 5*h + 30 + 5 = 0. Let k(r) = -r**3 - 7*r**2 - 2*r - 5. Let l be k(h). Let p = l - -2. Solve -2*s = -1 + p for s.
-5
Let w = -9 - -13. Let j = 0 + -5. Let b be (j - 1)*1/(-2). Solve -5 - w = -b*r for r.
3
Let o(l) = l**3 - 7*l**2 - l + 7. Let b be o(7). Suppose 3*p - 1 = 2*r - r, -2 = -2*r + 2*p. Let f(m) = 4*m - 2. Let i be f(r). Solve -i = 2*y - b for y.
-3
Suppose 0 = -4*w - 52 + 12. Let u be w/(-15)*18/4. Solve v = -u*v + 12 for v.
3
Let g = 2 - -13. Suppose -2*q - g = -0*q - 5*p, -2*q + 9 = 3*p. Solve 0 = -3*c - q*c for c.
0
Let v(w) = w**2 + 46*w + 3. Let a be v(-46). Let j(r) = -r**2 - 7*r - 6. Let b be j(-5). Solve 0 = -b*p + 5 + a for p.
2
Suppose 124 = 4*w - 0*w. Suppose -5*k = 4*v - k - 52, -2*v = 3*k - w. Let d be v/(-14)*(-63)/18. Solve -s + d*s = -1 for s.
-1
Suppose 3*d - 9*d = -72. Solve u - d = -3*u for u.
3
Let l = 38 - 35. Solve l*t = -1 + 13 for t.
4
Let p(y) = y**2 + 3*y + 2. Let g be p(-3). Let i = 6 - g. Suppose 3*n + 4 = i*b, 3*b +