*c - z*c, -3*m = -2*c - 23. Solve 5 + m = 5*x for x.
2
Let s(x) = x**2 + 3*x + 2. Let f be s(-2). Let d = f - 0. Suppose 2*a + 5*g - 7 = 0, d = -3*a + 2*g + 3*g + 23. Solve a = t - 3*t for t.
-3
Suppose -4*j + 0*j - 12 = 0. Suppose -11 = -r - 8. Let n = r + j. Solve g - 3 = -n*g for g.
3
Let a(n) = -2*n**3 + 67*n**2 - 31*n - 64. Let d be a(33). Solve 22*w - 21*w = d for w.
2
Let h(z) = -2*z**3 + 2*z**2 - 6*z + 6. Let r be h(3). Let j be -2 - ((-28)/(-154) - r/(-22)). Suppose -3*u = 2*u. Solve j = s - u*s - 1 for s.
1
Let n(p) = -p**2 + 8*p - 10. Let k be n(4). Let x(g) = g**2 + 5*g - 5. Let z be x(-8). Let t = z + k. Solve -4*h - h = -t for h.
5
Let j = -77 - -81. Let q be (-6)/j*(-16)/8. Solve 0*z + q*z + 12 = 0 for z.
-4
Suppose 9*g + 7 = 10*g. Solve -8*n + g = 23 for n.
-2
Suppose 2*l + 14 = t + t, -2*l - 6 = 0. Suppose 3*k + t = 4*k. Solve k*z - 2*z = 0 for z.
0
Suppose 4*p = -2*u - 38, -u + 43 = -4*u + p. Let a = u + 15. Solve a = r - 4 - 0 for r.
4
Suppose -3*w + 7 = -2*a, -2*w - 3*w + 4*a + 11 = 0. Suppose 8*t = 9*t - 20. Let m(l) = 5*l - 7. Let h be m(3). Solve -w*x - t = -h for x.
-4
Let a be 23/7 - (-10)/(-35). Suppose -m = m + a*m. Solve m = 2*o - o for o.
0
Let l be 3 - 2 - 0 - 0. Let m = 297 - 294. Solve q + m - l = 0 for q.
-2
Let u be (-4)/(-14)*49/14. Suppose -5*q + 25 = 0, -2*q + 25 = 5*g - 0*q. Let f = -7 - -11. Solve f = g*j + u for j.
1
Suppose 3*z - 2*m - 13 = -7*m, -5*z - 3*m = -27. Let r(v) = -v**3 + 8*v**2 - 5*v - 3. Let u be r(7). Let k be (2/z)/(u/132). Solve -2*p = 2 + k for p.
-3
Let p be (-33 + 2)/1*-1. Suppose p = -2*t + 37. Solve 0 = -t*k - 3 for k.
-1
Let i be -1 - (-4 + 0) - -2. Suppose -9*j + i*j + 32 = 0. Solve 2*p = 4*p + j for p.
-4
Suppose 8*k - 3*k = 15. Solve 0 = -k*w + 7 + 2 for w.
3
Suppose 3*c - 4*x = -2*c + 15, -c - 2*x + 17 = 0. Let j = c + 7. Let v = -12 + 18. Solve -4*h = -v + j for h.
-2
Let r(d) = -d + 7. Let p be r(0). Suppose -3 = -10*o + p*o. Suppose 34 = 5*t - 1. Solve -o = -3*s - t for s.
-2
Let f(p) = 2*p**2 - 21*p + 12. Let a = -17 + 27. Let d be f(a). Solve -6 = d*l + 4 for l.
-5
Let t be -3 - ((-20)/(-80) + (-226)/8). Solve 0 = -21*j + 16*j - t for j.
-5
Let q(x) = 3*x**2 + 3*x + 4. Let l be q(-4). Suppose -5*c - 5*n + l = 0, 16 = 2*c - c + 5*n. Suppose 3*p + 11 = c*p + 4*r, -r = p - 3. Solve -p = z - 2 for z.
1
Suppose 2*z + 22 + 0 = 0. Let n = -8 - z. Suppose 0 = 3*h - 5*h + 12. Solve 0 = n*b - 3 - h for b.
3
Let l(u) = -u**3 - u**2 + 8. Let x be l(0). Solve -5*j = -x*j for j.
0
Let p = 39 + -88. Let z = p - -53. Solve 2 = -2*k + z for k.
1
Suppose -25 = -5*p - 0*p. Suppose p*j - 5*l + 19 = 6*j, 2*l = 6. Solve 0 = 7*i - j*i - 6 for i.
2
Suppose 0 = -5*s + 2*t + 55, -2*s + 0*t + t = -21. Suppose -8*z + s*z - 60 = 0. Let u = 4 + 0. Solve c = u*c + z for c.
-4
Suppose -4*v = z - 4, 0 = -2*z - 2*v + 2 + 6. Let w = -68 - -93. Solve -z*o - o - w = 0 for o.
-5
Let q = 7 + -4. Suppose k + q*k = 0. Suppose 4*n = -16, -3*n + n - 2 = 3*z. Solve 6 = z*r - k*r for r.
3
Suppose -7 = -c + 7. Let f = c + -8. Solve -3*l - f - 6 = 0 for l.
-4
Let n be (14/4)/((-1)/(-2)). Suppose n*d = d + 24. Suppose 2*j = -0*j. Solve j = -v - d*v + 25 for v.
5
Let i = -16 - 23. Let y = i - -40. Suppose -b - 13 = 5*m, 0 = -3*b - 4*m + 2*m. Solve f - b*f = y for f.
-1
Let q(t) = 4*t**3 - 13*t**2 + 9*t + 2. Let u be q(3). Let k be (1/(-3))/(2/(-30)). Solve 0*i = k*i - u for i.
4
Let p = 231 + -223. Solve -13*k + p*k = -25 for k.
5
Let r(j) = 3*j**3 + j**2 - 1. Let a be r(-1). Let f be a + 3 + -4 + 4. Solve -3*t - 3 - 12 = f for t.
-5
Suppose l - 8 = -4*r, -2*l = 3*r - 3*l - 6. Solve -5*j + 12 = -r*j for j.
4
Let k(b) = 7*b**3 + 7*b**2 - 3. Let x(y) = -4*y**3 - 4*y**2 + 1. Let z(r) = -3*k(r) - 5*x(r). Let f be z(-2). Solve 0 = -m - 3*m + f for m.
2
Let r be 15/(-2)*(-10)/(-3). Let q = 27 + r. Let s be ((-3)/(-6))/((-2)/(-12)). Solve -q = -s*l + 2*l for l.
2
Let v = -471 + 477. Solve -p = -4*p - v for p.
-2
Suppose 12*h - 24 = 4*h. Suppose -2*s = -6, 4*w - 8*w - h*s = -21. Solve 0*v + w*v = -15 for v.
-5
Let t(y) = 6*y - 3*y - 2*y + 4. Let w be t(-4). Let m(x) = x**2 - 2*x - 3. Let z be m(4). Solve w*v = v - z for v.
5
Let f(u) = -2 - 5*u**2 - 6*u - 5*u**3 - 3 + 1 + 4*u**3. Suppose 0*m = -m - 4. Let k be f(m). Solve k = -0*p - 2*p for p.
-2
Let q(a) = a**2 + 8*a - 4. Let u(o) = o**2 + 8*o - 3. Let r(d) = 2*q(d) - 3*u(d). Let g be r(-6). Solve 3*z = 2 + g for z.
5
Let t be 8/(-14)*105/(-6). Let v(x) = -x - 3. Let a be v(3). Let c = a + t. Solve 3*p + c = 2*p for p.
-4
Let o be (4/(-5))/((-2)/35). Let v(q) = 12 + 1 + 0*q + o + q. Let b be v(-11). Solve m - b = -3*m for m.
4
Suppose -125*b + 120*b + 100 = 0. Solve -b = 9*l - 4*l for l.
-4
Suppose 0 = -5*i + 3*g + 2*g + 65, 4*g = 3*i - 36. Suppose 3*q - 16 = 5*z, 4*z = 4*q - 0*z - i. Solve 3 = -q*b - 1 for b.
-2
Suppose 2*o + w + w = 146, 3*w = 9. Suppose 0 = 65*f - o*f + 50. Solve -2*h = 3*h + f for h.
-2
Let f = 412 + -408. Solve f*i = -2*i + 18 for i.
3
Let a = -30 + 10. Let y = a + 25. Solve -y*g + 15 = -0*g for g.
3
Suppose 0 = 2*c - 2, 0 = 4*x - 0*x + c - 85. Let p = 21 - x. Solve 4*d - 3 - 5 = p for d.
2
Suppose 2 + 14 = 3*c - 2*x, 0 = -4*c - 6*x + 30. Solve 3*j + 3*j + c = 0 for j.
-1
Let n be (-2)/15*-6*5. Let t = -4 + n. Suppose -15*b + 10*b = t. Solve b = u - 2*u + 1 for u.
1
Let h = 2361 + -2360. Let w = 4 - 3. Let l = w - -1. Solve h + 7 = l*u for u.
4
Let d(y) = -y**2 + 11*y + 4. Let q be d(11). Let p be (-78)/117 + 28/6. Solve p - 16 = -q*k for k.
3
Let q(f) = -f + 2*f + f + 1 + 10. Let a be q(0). Solve a = 5*h - 4 for h.
3
Let h be 14/(-8) - (21/12)/7. Let m be 4/(-14) + 48/21. Let u be h - (-1)/(m/8). Solve -4*c + 2 = -u for c.
1
Let m(n) = -13*n**2 - 32*n + 1. Let a(v) = 7*v**2 + 16*v. Let q(y) = 11*a(y) + 6*m(y). Let f be q(-16). Let l be 148/52 - f/(-39). Solve -o + 4 = -l*o for o.
-2
Suppose -4*g - 13 + 9 = 0. Let p(j) = -2*j - 7. Let y(c) = -c - 1. Let u(w) = g*y(w) + p(w). Let a be u(-10). Solve a*q = -q - 5 for q.
-1
Suppose 0 = -4*z - 2*i + 6 + 4, -20 = -3*z - 4*i. Suppose 0*h - 7*h = z. Solve h = -5*r + 8*r + 9 for r.
-3
Let r be 20/(-15)*30/(-8). Let b be 3/r + ((-44)/(-10) - 1). Solve o = -b*o for o.
0
Let d(k) = -k**3 - k - 1. Let s be d(3). Let g = s - -46. Suppose 5*m = 2*b - 3*b + 13, 0 = 5*b - g. Solve 4 + 6 = m*z for z.
5
Let a(n) = n**3 + 6*n**2 - 8*n + 13. Let b(k) = -6*k**2 - 1. Let v be b(1). Let u be a(v). Solve -6*l + u = -l for l.
4
Suppose 366 + 569 = 85*a. Solve b + 20 = a*b for b.
2
Let n be 32/12 + (-8)/(-6). Let d(w) = w**2 + 3*w - 3. Let m be d(-4). Solve -n = -t + m for t.
5
Suppose -72 = v - 19*v. Solve -v*k = -21 + 9 for k.
3
Let j = 1 + 2. Let f be (-115)/15 + (-3)/9. Let c be (f/(-4))/(2/4). Solve -j = -c*s + 9 for s.
3
Suppose -4*b + 151 = -41. Let r = -48 + b. Let c(z) = z**3 + 7*z**2 + z + 10. Let d be c(-7). Solve r*u - d = u for u.
-3
Let l be 24/10 - 8/20. Let z be (-90)/27*(-48)/10. Let t = z + -16. Solve 4*x - 14 + l = t for x.
3
Let s = 0 + 3. Suppose 2*x - s = -2*x - o, 7 = x - o. Solve -w - x*w + 12 = 0 for w.
4
Let r be -6*((-9)/(-6) - -1). Let c be (r/(-3) - 4)*5. Suppose 4*f - c = 3. Solve -2*k + 2 + f = 0 for k.
2
Suppose -2*h = 4*a, 2*h + 101*a = 96*a. Solve h = -5*d - 16 - 9 for d.
-5
Suppose 5*y - 33 = -2*b, -2*b = -5*b + 4*y - 8. Suppose 4*d - h - 118 = h, 4*d = -5*h + 125. Solve b*g = d - 10 for g.
5
Let p = -3 + 6. Suppose 0 = 6*u + 15*u - 336. Suppose -j + p*f = 2, -5*j + u = -3*f + 2. Solve 0*v - j*v = -20 for v.
5
Suppose -3*v = 2*c - 2*v, -v - 2*v = 0. Solve 78*a - 80*a = c for a.
0
Let w(q) = q**2 + 5*q - 22. Let z be w(-8). Suppose 5*y - 28 = -4*k, -3*k - y + 14 = 2*k. Let d be -1 + k*(-1)/(-2). Solve -z*p - 10 = -d*p for p.
-5
Let q(h) = -h - 6. Let j be q(-9). Suppose -j*x = x - 8. Suppose -3*s - 4 = 2*k, -x*s + 2*k = -1 - 13. Solve -s*g = -g + 3 for g.
-3
Let a(z) = -5*z**3 - 3*z**2 - z + 1. Let f(k) = -k**2 + 2*k + 2. Let i be f(3). Let y be a(i). Solve 0 = -y*g - g + 20 for g.
4
Let a(l) = l**3 - 6*l**2 - 6*l + 8. Let u be a(7). Solve 18*x + 12 = u*x for x.
-4
Let a = -244 - -265. Solve 20 = -17*u + a*u for u.
5
Let m = -3 - -2. Let v be (m/(-3))/(4/12). Suppose 2*n - 4*n + 4*a = -20, -5*n + 11 = 3*a. Solve 5*p + v = n*p for p.
-1
Suppose -25 = -5*g + 3*m + m, m + 22 = 3*g. Suppose 5*y - g