 + (1 - -2 - 2). Solve -d*k + y = j for k.
-1
Let k = -13 - -21. Suppose k = 2*a - 0*a. Solve -6*z = -a*z for z.
0
Let b(v) = 3*v**2 - v - 3. Suppose 5*m + 28 = f, 4*f - m + 5*m = -8. Let s be b(f). Solve -5*k = -s + 1 for k.
4
Let q be (4 - 2)/((-6)/(-9)). Suppose 0*s = 4*s - 20. Suppose 0*u - s*u + 10 = 0. Solve 2 = u*z - q*z for z.
-2
Let a = -22 - -26. Solve -a*s - 9 - 7 = 0 for s.
-4
Suppose y = -0*y + 2. Suppose y = 2*m - 2. Suppose 4*c = -0 + 4. Solve m*p = -5 - c for p.
-3
Let m(r) = r**2 - r + 14. Let n be m(0). Let l be 2/3 - 39/(-9). Solve n + 11 = -l*u for u.
-5
Suppose -2*o - 14 = -2*j, 0 = -4*j - 0*j + 3*o + 23. Solve -2*q + j = -4 for q.
3
Let r(z) = z**3 - 8*z**2 + 14*z - 6. Let h be r(6). Solve h - 10 = -x for x.
4
Suppose -5*j - 214 = 2*m, -j + 2*m + 88 = -3*j. Let a be 2/(-3) + j/(-9). Solve -3*p = -a*p - 1 for p.
-1
Let p be (-2 - 7)/((-12)/(-8)). Let c be (5/p)/(2/(-12)). Solve 2*j - c*j - 15 = 0 for j.
-5
Let q = -70 - -72. Solve -10 = q*u - 0 for u.
-5
Suppose 0 = 88*i - 85*i - 15. Solve i*b + 20 = 5 for b.
-3
Suppose 6 = 4*k - 2*k. Let r(f) = -f**2 + 6*f - 6. Let d be r(k). Solve 0*s - d = s for s.
-3
Suppose 4*i - i + 5*z = -43, 4*z + 20 = 0. Let t(u) = u**2 + 6*u + 3. Let k be t(i). Solve k*n = 7*n - 12 for n.
3
Let i be 4 - (18/(-24) - (-57)/12). Solve 4*n + i*n = -4 for n.
-1
Let g be -1 + (0 + 4)/1. Let l(v) = 3*v**2 - v - 2. Let o be l(-1). Solve g*x = o*x for x.
0
Let a = 17 - 13. Solve -a = 3*p + 11 for p.
-5
Let v be ((-3)/(-6))/(3/(-36)). Let d be (2 + 1)*(-4)/v. Solve d*p = p + 3 for p.
3
Let k(l) = l + 5 - 2*l - 2 - l. Let s be k(-6). Solve -2*u + 5*u + s = 0 for u.
-5
Let j(r) = r + 14. Let f be j(-11). Let s be (9/(-3) + f)/(-2). Solve 2*x + 3 + 1 = s for x.
-2
Suppose -4*p + 5*b = -2*p - 35, -b + 15 = 4*p. Let a(c) = c**3 - 2*c**2 + 2*c + 1. Let k be a(2). Solve -p = -2*u + k for u.
5
Let q(r) = r**2 + 5*r - 1. Let g be (30/35)/((-2)/14). Let m be q(g). Solve 5*c = m - 0 for c.
1
Suppose -3*k - 11 = 16. Let t = -7 - k. Solve 0 = t*d - 3 - 5 for d.
4
Suppose -3*d + 16 = -0*d - n, n = -d. Suppose 4*t - 7*t = d*m, -2*t = 2*m. Let a = -4 + 8. Solve -z + a = -m*z for z.
4
Let u be 0 - (1 - (-1)/(-1)). Suppose 3*w = -u*w + 5*q + 4, 0 = 3*w + q - 28. Suppose y = -3*y + w. Solve -2*d + d - y = 0 for d.
-2
Let m = -51 - -59. Solve m - 2 = -2*o for o.
-3
Let c be -1*1 + (3 - 3). Let f be c - (-1*5 - -2). Solve t + f = -t for t.
-1
Suppose 12 - 15 = -z. Solve 2*h - 2 = z*h for h.
-2
Suppose -z - 6 = -3*z. Suppose 0 = 4*m - z*m. Solve m = 5*i - 3 - 2 for i.
1
Let i(l) = -l**3 + 5*l**2 - 3*l - 4. Let r be i(3). Solve -r*f + 6 + 4 = 0 for f.
2
Let a = -6 + -4. Let u = a - -13. Solve 8 = -u*k - 1 for k.
-3
Let m(k) = k**2 - 2*k + 2. Let x(p) = -p + 1. Let q(g) = g - 2. Let f(r) = 6*q(r) + 5*x(r). Let a be f(10). Let j be m(a). Solve 2*n + 5 + j = 0 for n.
-5
Suppose 3*l = 3, -3*l = -3*m + l + 8. Solve 2*i = 6*i - m for i.
1
Let g be ((-1 + 2)*0)/1. Suppose g = 4*n + 4*p - 4, -2*n = 3*p + 1 - 0. Solve n*t + 20 = -0*t for t.
-5
Let z(v) = -v**3 + 4*v**2 + 7*v - 5. Let g be z(5). Suppose -3*k + g = -4. Suppose 4 = k*q - 11. Solve -3*d - q = 1 for d.
-2
Let v be 7 + -4 + 4/2. Solve -v*o + 24 = -1 for o.
5
Suppose 4*m + m - 10 = 0. Let o be -1 + 2 - -1*m. Suppose 0*d + o*d = 12. Solve -2*j + d = 2 for j.
1
Let s be -2*(-2)/(1*-4). Let y(k) = -2*k**2 + 3*k. Let q(n) = -2*n**2 + 4*n. Let t(i) = 3*q(i) - 4*y(i). Let v be t(s). Solve v*c = c - 2 for c.
-2
Let n be 30/(-9)*(-3)/2. Let f = -1 + n. Let q be (12/(-16))/(1 - (-20)/(-16)). Solve f*x - 15 = -q for x.
3
Let x be -3 + 2 + 0 - 1. Let l = x + 7. Let y(w) = -w + 6. Let g be y(l). Solve 0*n = -n + g for n.
1
Let k = 188 + -100. Suppose k = 5*z + 33. Solve 5*b + 4 = -z for b.
-3
Suppose -9 = -4*q + 3*f, 0*q + 5*f = 5*q - 15. Let r be (0 - q)/((-6)/(-3)). Solve y = 5 - r for y.
5
Let c = 2 - -5. Solve -3*b = -c + 1 for b.
2
Let h(x) = 2 - 7 + x + 7 + 0. Let z be 2/(-4)*-2 - 3. Let n be h(z). Solve -4*s = 8 - n for s.
-2
Let s = 6 + -5. Suppose -2*x + 4 + 0 = 0. Let w = 0 + 7. Solve x*u - s = -w for u.
-3
Let t = 68 + -56. Solve -z - t = -5*z for z.
3
Let x(n) = -n**3 - 8*n**2 - 9*n + 1. Let b be x(-7). Let v = b - 8. Solve 2*w + 25 = v*w for w.
5
Let k(q) = 22*q + 4. Let b be k(4). Suppose -3*l = -2*y - 62, -2*l = -6*l + 5*y + b. Suppose 0 = 3*j - 2*m - 30, 2*j - j = -2*m + l. Solve -3*r - j = r for r.
-3
Let c be (-1)/2*(-7 - 1). Let m(t) = 8. Let y(h) = h. Let b(u) = -m(u) - y(u). Let j be b(-9). Solve s + j = -c for s.
-5
Suppose -x = 2*x - 12. Let r(h) = -h**2 + 7*h - 9. Let p be r(x). Solve -p*j = 11 + 1 for j.
-4
Let o(t) = 7*t**2 + t - 2. Let y be o(1). Solve -f + y = -3*f for f.
-3
Let h be (0 - (7 - 3))/2. Let c be (-1 - (-15 - -3)) + h. Solve -i = 2*i - c for i.
3
Let l be (0 + -1)*3/(-1). Solve 4*k = l + 13 for k.
4
Let w(p) = p**3 - 6*p**2 - 5*p - 10. Let g be w(7). Let z = -2 + g. Suppose -2 = -f + 3*n, 4*f - z*f = -n + 11. Solve -d - f = -3 for d.
-2
Let o be (-3 - 2) + 1 + 4. Solve 2*n = -o*n - 6 for n.
-3
Let r(l) = l**3 - 6*l**2 + l - 4. Let f be r(6). Solve -9 = -f*h + 5*h for h.
-3
Let o(r) = -r - 2. Let w be o(-5). Suppose w*j = -2*j. Suppose -g + 7 = -j*g. Solve -5*i - g = 18 for i.
-5
Suppose -2*r + 116 = r - m, 0 = -2*r + 3*m + 68. Suppose -4*u + 44 = 2*p, 2*u - r = -u + 2*p. Let n = u - 7. Solve n = -2*b + 3*b for b.
5
Suppose 3*m + 5*f - 3 = m, -2 = 2*f. Solve -8*s + m*s = 0 for s.
0
Let p be (-1)/3 + 1/3. Suppose p = -2*w + 84 - 24. Suppose 0 = 2*x - 10 - w. Solve -5*l + x = -l for l.
5
Let f = 23 + -12. Let k(c) = c**3 - 10*c**2 - 9*c + 9. Let w be k(f). Solve 5*p - 6 = -w for p.
-5
Let l be (-1)/(-1 + 0) - -2. Suppose 0 = 4*v - v + l. Let q = 2 - v. Solve -14 = q*d + 1 for d.
-5
Suppose -2*k + b = 3*k + 1, -5*k = -4*b + 4. Let z(l) = -l + 1. Suppose -n = 4*n - 3*i + 6, 4*i = -4*n - 24. Let o be z(n). Solve k + 8 = -o*w for w.
-2
Let z = -21 + 27. Solve 4*f - f = -z for f.
-2
Let p(x) = x**2 - 2*x + 1. Let j be p(1). Suppose -4*s + 5*m + 65 = j, s - 40 = -s + 4*m. Solve 0*k - 5*k = -s for k.
2
Let d = -49 - -51. Solve 2*u - 3*u - d = 0 for u.
-2
Suppose -5*z - 15 = q, 16 - 4 = -2*q - z. Let m(o) = -o - 5. Let k be m(q). Solve -2*r = -k*r - 10 for r.
5
Let m(a) = -a**2 - 6*a + 3. Let k be m(-6). Solve 2*t - k = -t for t.
1
Let l = 6 - 5. Suppose -l = -q + 3. Solve q*j = 3*j - 5 for j.
-5
Let v be -1 + ((-2)/(-1) - -2). Let d be (1/1)/(1/6). Let i(y) = -y**3 + 6*y**2 + 2. Let f be i(d). Solve -f = -5*p + v for p.
1
Let a(z) = -3*z + 4*z - z - 2*z + 3. Let b be a(-7). Suppose 2*w + 2*o = -4, -2*w + 0*w + 5*o = -b. Solve -s - 2 = -w for s.
-1
Suppose -3*b + 18 = t, 4*t - 32 = -0*t - 2*b. Let j(y) = 2*y**2 - y**2 - 14 + 4*y + t. Let i be j(-6). Solve i*l - 2 = -6 for l.
-1
Let j = -7 - -9. Suppose -5*g = -5*m + 3*m - 11, -m + 4*g = 13. Solve m*u - j*u = 0 for u.
0
Let z = 9 - 6. Solve v = z*v + 10 for v.
-5
Suppose 3*h = p + 15, 4*h + 5*p = 28 - 8. Solve 3 = h*g - 2 for g.
1
Let l = 44 - 44. Solve -3*f - 12 = -l*f for f.
-4
Let p = 89 + -86. Solve -8 = -p*g + 7 for g.
5
Suppose -5*t + 211 = 131. Solve -1 = 5*s - t for s.
3
Let n be -3*(-1)/((-9)/(-6)). Suppose -33 = -2*y - 5*h, -5*y - n*h + 40 = 2*h. Suppose -y*k = -2*k. Solve k = u + 8 - 3 for u.
-5
Let z = -7 - -1. Let v(d) = -d - 1. Let a be v(-9). Let m = z + a. Solve -m*n + 3*n = 0 for n.
0
Let j(h) = -h**3 + 4*h**2 + 4*h + 3. Let i be j(5). Suppose 3*d - 3*g = -30, 0 = 5*d + 2*g + 2*g + 14. Let n be 3 - (i + d/(-3)). Solve -n*f = -f + 10 for f.
-5
Suppose -18*y + 36*y = 72. Solve 0 = y*m - 2 - 10 for m.
3
Suppose -2*x + 4*x - 14 = -2*v, -2*x = -3*v - 4. Solve v*d = d for d.
0
Let u = 3 + 8. Solve 5*c + 14 = -u for c.
-5
Let m(v) = v**3 + 14*v**2 + 13*v - 10. Let i be m(-13). Let j = 30 + i. Solve 3*t - j = -t for t.
5
Suppose 0 = 6*k - k + 5*a - 10, -2*a = 6. Solve 0 + 20 = k*c for c.
4
Suppose -2*t = 2*t - 4. Suppose 7 = 2*i - t. Solve -i*k - k = 0 for k.
0
Suppose 2*s + 3*s = 4*a + 72, -5*s + 54 = 2*a. Suppose 7*k = 3*k + 8, -k = 5*g - s. Suppose 4*r = 9*r - 50. Solve 4*d + r = -g for d.
-3
Let y be ((-3)/2)/((-6)/40). Let i = 14 - y. Let s(c) = 3*c - 6. Let w be s(i). Solve h + w = 2 for h.
-4
Suppose 0 = 6*u + u - 21. Solve -2*x - 4 = -u*x for x.
4
Let x be 1 + 2*(4 + -3). Suppose x*d - 2*d