 x = -c for d.
3
Let n(l) = -l**3 + 2*l**2 + 6*l - 2. Let x be n(4). Let s = 10 - x. Solve 0 = -3*t - t - s for t.
-5
Let c be ((-1)/(-3))/((-5)/(-135)). Solve -5*s + c*s = 8 for s.
2
Suppose 5*x + 42 - 112 = 0. Solve -3*h + 5 - x = 0 for h.
-3
Suppose -2*v = v + 3*s - 9, 3*v - 44 = 4*s. Let w be 1*-2 - v/(-4). Solve -12 + w = 3*q for q.
-4
Let f = -33 - -35. Solve 1 = p - f for p.
3
Let w(v) = -7*v - 3. Let t be w(-2). Let b(m) = -2 + 0*m**2 - 3 + t*m**2 - m**3 - 9*m. Let g be b(10). Solve -g*z = -4*z - 5 for z.
5
Let t(d) = d**2 - 10*d + 4. Let c be t(10). Suppose 2*a - 4*z = 8, z + 7 + 9 = c*a. Solve 3*w = 7*w - a for w.
1
Let d = 5 + 2. Let z = -5 + d. Suppose -z*c + 1 = -5. Solve -c*w = 11 + 1 for w.
-4
Let i(o) = o**3 + 11*o**2 - 2*o - 13. Let n be i(-11). Suppose 0 = 5*s - n - 6. Solve l = -s*l - 4 for l.
-1
Let r(l) = -2*l**2 + 10*l + 2. Let v be r(5). Suppose 5*n + 36 + 4 = 0. Let y = 14 + n. Solve -v*w = y - 0 for w.
-3
Let x(c) = c - 6. Let a be x(8). Let f be (-45)/10*a/(-3). Suppose q - 3*q = 0. Solve f*y - 8 - 7 = q for y.
5
Suppose -c = -8 + 1. Solve -5 = c*s - 2*s for s.
-1
Let y(x) = x**2 - 9*x + 4. Let c be y(9). Let k be (0/3)/(-2 - -3). Solve k = -o + c for o.
4
Let x = -10 - -14. Solve -x*r = r - 15 for r.
3
Let x be 25/9 - 8/(-36). Let n = -4 - -8. Solve g = x - n for g.
-1
Let x(p) = -2*p + 1. Let q(n) = n + 1. Let v(k) = 6*q(k) + 2*x(k). Let f be v(-4). Solve 0*d - 2*d - 8 = f for d.
-4
Suppose -f - 4 = -8. Let i be (6/4)/((-1)/(-22)). Let p = i + -13. Solve -8*y - p = -f*y for y.
-5
Suppose 0 = 3*u - 1 - 8. Let s = -4 + u. Let q be (-1 - s)*3/6. Solve -3*f + 4*f - 2 = q for f.
2
Suppose 10*n - 12 = 6*n. Suppose n*i + 2 = 14. Solve -2 = i*b + 2 for b.
-1
Suppose 0 = t - 3*t - 10. Let m be (30/t)/(2/(-4)). Suppose u + m = 4*u. Solve -10 = 6*s - u*s for s.
-5
Suppose 0 = 4*u - 3*u - h - 3, -h - 35 = -5*u. Solve -3*j + u + 7 = 0 for j.
5
Suppose 2*h - 4 + 8 = -2*q, -5*q + 2*h + 18 = 0. Suppose 3*n - 20 = -q*n. Solve 2*y + 2 = n*y for y.
1
Let n(f) = f**3 - 3*f**2 + 2*f - 3. Let s be n(3). Solve -8 = s*x + 4 for x.
-4
Let p(h) = h**2 - 9*h - 7. Suppose 28 = 5*i - 22. Let s be p(i). Solve 5 = -s*w - 1 for w.
-2
Let w(c) = -3*c + 4. Let j be w(0). Solve j*t + 9 = -3 for t.
-3
Suppose -h - 2*n - 3 = 0, -2*h - 5*n = -4*h - 6. Let j(o) = o**2 + o - 2. Let p be j(h). Solve -p*d + 11 = -5 for d.
4
Let u be (10/6)/(6/18). Solve u*m + 3 = -7 for m.
-2
Let n(b) = -7*b - 43. Let c be n(-7). Solve 0 = -2*k + 4 + c for k.
5
Let t = 49 - 43. Solve v - t*v - 5 = 0 for v.
-1
Suppose -3*y = 3*h - 39, 4*y + h = 5*h + 12. Suppose -y = -c - 1. Solve 0 = -4*i + 5 + c for i.
3
Let g be 2/4 + (-1)/(-2). Let u be (g + 5)*(-2)/(-2). Suppose -5*h = -d + 20, 6*h - h = -5*d + 10. Solve 0 = d*p - 3*p - u for p.
3
Let m(p) = -p - 7. Let s be m(-9). Suppose s*x = 2*i + 3*i, -5*x = 3*i. Let j = i + 0. Solve 3*y = -3 - j for y.
-1
Let d(k) = k - 4 - 2*k + 0*k - k**2. Let h(a) = 5*a**2 + 5*a + 17. Let c(v) = 9*d(v) + 2*h(v). Let w be c(-3). Solve -n = -w*n + 15 for n.
5
Suppose 3*z + 36 = 3*k, 4*z + z - 8 = k. Suppose 2*q - 5*t = 7*q - 20, 4*q + 5*t = k. Let f be 8 - ((-12)/q - -2). Solve -3*i + f = -i for i.
5
Suppose 0 = 3*o - 5*c + 7, -3*o - 2*c + 0 = -28. Solve o = -v - v for v.
-3
Let s(g) = 3*g**3 - 3*g**2 - 6*g + 4. Let h be s(2). Solve 3*n - 5*n + h = 0 for n.
2
Suppose 3*r + g - 4 = 9, 4*r = 4*g - 4. Solve r*z + 9 = -3 for z.
-4
Suppose 3*m - 66 = 5*m. Let r be (-6)/m + (-2)/11. Suppose -4 = -l - b + 3, 4*l - 4*b + 12 = 0. Solve r*n = n - l for n.
2
Let w = -4 + 24. Suppose -3*j - j = 2*l - w, 2*j - 10 = 3*l. Suppose 2*s + 12 = 2*k, 31 - 1 = 5*k - s. Solve j*f = -k - 4 for f.
-2
Let n = -2 - -7. Solve p + n = 1 for p.
-4
Suppose 5*m - 2*m + 5*g - 25 = 0, -2*g - 11 = -3*m. Let n(k) = 20*k - 130. Let x be n(7). Solve -m*u - x + 0 = 0 for u.
-2
Let h = -2 - -9. Solve 5*y + h = -13 for y.
-4
Let a(w) = -w**3 - 13*w**2 + 15*w + 22. Let b be a(-14). Solve -7*h + 5*h = b for h.
-4
Suppose 0 = -3*o - q + 70, 5*o - q - 2*q - 126 = 0. Let x = o + -4. Let y = 0 + 0. Solve -6*j + j - x = y for j.
-4
Suppose 3*r - 5*j = -r - 53, -5*r = -5*j + 70. Let b = -7 - r. Solve -u - b = u for u.
-5
Let f be 2/2*-1*-1. Let c = 0 + 3. Solve c*n - 4 = -f for n.
1
Let s be 10/(-4)*(-6)/5. Suppose -c = -d, s*c = -d - c. Solve d = 5*h + 5 for h.
-1
Suppose -11*m + 15*m - 24 = 0. Solve -a + 1 - m = 0 for a.
-5
Let c be (-2 + 2)/(4/2). Solve c = -2*i - 1 + 5 for i.
2
Suppose 3*p = 11 + 7. Suppose c + 2*a + 48 = p*c, -5*a - 60 = -5*c. Solve 0*d + c = 2*d for d.
4
Let j = 4 - -1. Solve 0 = j*b - 5 - 5 for b.
2
Let j = -12 - -18. Let a = 19 - j. Solve -5*h + a = 3 for h.
2
Let m be -3*(-21)/9 - -2. Solve 7*k = m*k + 8 for k.
-4
Let w(x) = 2*x - 4. Let f be w(3). Let v = f - -3. Solve -15 = 2*h - v for h.
-5
Suppose 60 = 4*c - 4*h, 0*c + 25 = 4*c + 3*h. Solve 0 = -b - b + c for b.
5
Suppose 3*o + 3*w + w = 32, 4*o - 2*w = 6. Let n = 4 + -3. Let t be n/5 - 144/(-30). Solve -o*d + t*d = 0 for d.
0
Let o be (6/(-5))/((-3)/15). Suppose o = t - 10. Suppose 2*n = 5*c - t, 7*c - 24 = -4*n + 3*c. Solve 0 = -2*h - n - 0 for h.
-1
Let d = 26 - 11. Let g = d + -10. Solve 0 = -g*q + 6 + 14 for q.
4
Suppose -j = -5*z - 1, -j - 2 = 4*z - 3*j. Solve z + 2 = -2*i for i.
-1
Let l(m) = -m**3 - 6*m**2 + 7*m + 2. Let d be l(-7). Suppose -7*h = 4*n - d*h + 24, 0 = -5*n + h - 30. Let x be 4/n + 44/12. Solve x*w + 4 = w for w.
-2
Let o(z) = z**3 + 8*z**2 - 10*z - 3. Let v be o(-9). Solve v*i - 2*i = 0 for i.
0
Let l(s) = -2*s**2 - 5*s - 9 - s**3 + 2*s - 5*s**2 + 10*s. Let t be l(-8). Let h be (6/t)/(-3) + 0. Solve h*a = -0*a - 2 for a.
-1
Suppose 0 = -3*d + d. Suppose -a + 26 - 1 = d. Let q = a - 15. Solve -5*u + 5 = -q for u.
3
Let k = -20 + 22. Solve p = -k*p - 12 for p.
-4
Let q = 21 - 5. Suppose k + 2*k - q = -5*w, 0 = -4*k + 8. Solve -4*x = -w*x + 6 for x.
-3
Let b be -7*-1*(-2 - -4). Let t be ((-9)/(-2))/(2/(-4)). Let d = t - -14. Solve -d*k + 11 = -b for k.
5
Let c be (-2)/4 - 9/(-2). Solve -c*a - a - 25 = 0 for a.
-5
Let f(x) = -x**3 - 3*x**2 + 2*x. Let m be f(-4). Solve -4*k + m = -0*k for k.
2
Suppose -4*s + s = -27. Solve 0 = -2*w + 3 - s for w.
-3
Let w = -23 + 27. Solve -3*s = 1 - w for s.
1
Let w be (-11 - -12)*(6 - 1). Solve 3*d = -w + 17 for d.
4
Suppose y - 10 = -4*y. Suppose -k + y*k = 2. Solve 0 = k*j + 4 - 6 for j.
1
Suppose 0 = -3*n + 9 - 3. Let s be (n + -12)/((-1)/2). Solve -5*j + 5 = -s for j.
5
Let l be 0/1*(-4 - -3). Let q = 5 - 3. Suppose 5*k - 6*t + 4*t - 30 = 0, -q*k - 7 = 3*t. Solve l = -3*i + k - 13 for i.
-3
Let q be (4/(-3))/(-4) - (-5)/3. Solve 0 = 4*b - q + 10 for b.
-2
Suppose 0*k = 3*k + 4*q - 54, 3*k - 75 = 3*q. Solve -20*d + k*d = -6 for d.
-3
Suppose 2*y - 1 = 7. Suppose 44 = -4*w + 4. Let f = w - -16. Solve 0 = -7*l + y*l - f for l.
-2
Let h be -1 - -3 - 2/(-2). Suppose -h*f = f. Suppose m = -2*m - 5*j + 13, 2*m - 2*j + 2 = f. Solve -m = -a + 1 for a.
2
Suppose -2*k = -0*k - 22. Suppose 2*u - k = 37. Solve 9 = 3*o + u for o.
-5
Suppose z - 20 = -3*z - 4*r, -3*r + 15 = 4*z. Let a = 41 - 27. Let k be a/(-2)*6/(-7). Solve k*u - u - 15 = z for u.
3
Let z = 43 - 37. Solve z = -0*o - 2*o for o.
-3
Let n = 141 - 213. Let q = 101 + n. Solve q = -5*o + 9 for o.
-4
Suppose 0 = -3*n + 4*g + 13 + 12, 5*n + g - 11 = 0. Suppose -5*q + n*q = -6. Suppose -1 = 3*f - q*p - 25, -5*f - 4*p = 5. Solve f*w - 10 = 5*w for w.
-5
Let x = -6 - -6. Let p be (-10)/(-3)*(-6)/(-4). Suppose l - 6*l + f = -3, x = 5*l + p*f + 15. Solve -4*g + 20 + l = 0 for g.
5
Suppose 3 = 7*v - 6*v. Solve v = -a - 2 for a.
-5
Let o(x) = x**2 + 6*x. Let w be (1 + 1/(-1))/(-1). Suppose w*y + 6 = -y. Let g be o(y). Solve -4*s + 7 + 1 = g for s.
2
Let k = 168 - 161. Solve k = -4*g - 1 for g.
-2
Let p(w) = w**2 - 4*w + 1. Let a be p(3). Let s = a + 2. Solve s = -4*d - 2 - 2 for d.
-1
Let j be 2*(-3)/(-12)*-22. Let z = 15 + j. Let u = z - 1. Solve u - 1 = -y for y.
-2
Suppose 102 = -5*m + 4*h, -4*h = -m + h - 33. Let x be -6*(-3)/m*-2. Solve 6*f - x*f = -8 for f.
-2
Suppose 2 = -u - 0*u, -3*u = -4*y + 14. Suppose -234 = -4*j + 54. Let a be (-4)/10 + j/30. Solve -4*z - a = y for z.
-1
Suppose 25 = 5*r - 5*j, -2*r - 3*j - 9 = 6. Let l = r - -4. Solve -6*u + 2*u + l = 0 for u.
1
Suppose -2*f - 1 = -5. Let r be (-12)