 = -2*w - 2 for x.
1
Let t(p) = -p + 2. Let o be t(-5). Suppose -4*h + o*h - 9 = 0. Solve -5*a = 2*s, -5*s = h*a + a - 17 for s.
5
Let w be 3/(4/(-2) + 3). Suppose 0*d - d - 6 = 0. Let x be 1/3 + 2/d. Solve 4*p + f - 3 = x, -f = w + 2 for p.
2
Let h(r) = -r - 12. Let l be h(-12). Solve 3*j + 3*a + 15 = l, -2*a = -5*j + 2*a + 20 for j.
0
Let l be -4*(0 + (-6)/8). Suppose -6*z = -l*z - 12. Solve -4*a + 0*r - 5*r = -25, -z*r + 24 = 4*a for a.
5
Let d(h) = 2*h + 2. Let f be -2 + (-2*1 - -1). Let v be d(f). Let g = v - -4. Solve g = 5*a + 3*n + 17 + 9, 2*a = n - 6 for a.
-4
Let z be (2/3)/((-3)/(-18)). Let a be z/(-10) + 26/(-10). Let m be 3 - 3/(9/a). Solve -2*j + m*n - 6 = 0, -6 = -4*n - 2 for j.
-1
Suppose x + 32 = 3*x + 2*f, -5*f - 28 = -4*x. Solve -x = 4*d, 0 = -4*l + 2*d + 3 + 19 for l.
4
Let p be -2 + 1 - 1*-6. Suppose 6*n + 16 = 4*w + 5*n, 4*w - p*n - 16 = 0. Solve w*g = -8, -5*y + 4*g = 2*g - 29 for y.
5
Suppose -3*g + 8*g = 140. Solve -4*b + 0*b + 3*u + g = 0, 5*b - 2*u - 28 = 0 for b.
4
Suppose 3*d - 18 = -3*j, -2*j - d - 9 = -6*d. Let v = -21 - -22. Solve -3*r + 5*r = -5*c - v, j*c - 4*r = -11 for c.
-1
Let a(d) = d**3 + 14*d**2 + 2*d + 31. Let u be a(-14). Solve u*z - 4*w = 3, 5*z - 7 = 4*w - 2 for z.
1
Let u = 114 - 112. Solve 2*b = -0*b - 2*j - 10, -5*b = -u*j + 18 for b.
-4
Let q be ((-8)/6)/((-4)/30). Let l(i) = 2*i. Let d be l(1). Suppose d*y - 25 = -3*y. Solve 2*v - 4 = -4*k, 0 = y*v - q*v + 5*k + 10 for v.
2
Suppose -11*q + 8*q - 60 = 0. Let j be ((-8)/(-6))/(q/(-30)). Solve -4*z - 2*k = 10, j*k + 10 = -4*z + 3*z for z.
0
Suppose 0 = -2*p + 8, 2*x + p - 22 = -x. Solve -2*t = j - 1 - x, 0 = -t + 4*j + 17 for t.
5
Let k(o) = -o**3 - 9*o**2 + 3. Let f be k(-9). Solve -2*b + 4*a = f*a - 3, -3*b = 5*a + 15 for b.
0
Let m = -1 + 0. Let a be 2 - 4 - (-3 - m). Solve 5*d - 18 = -a*d - 4*x, -4 = -3*d + x for d.
2
Let b = 5 - 5. Solve 2*c + 5*l - 16 = -b*l, -5*c - 4*l = -23 for c.
3
Let v = 0 + 0. Let n(w) = 17 + v*w**3 - 10 - 9*w**2 + w**3. Let l be n(9). Solve -10 = 2*t, 2*t = -5*m - l - 23 for m.
-4
Let a(s) = -s**2 + 5*s + 6. Let h be a(6). Solve -2*m - 20 = -5*k, h*k + 4*m = -3*k + 12 for k.
4
Suppose -3 - 5 = 4*g. Let r = -6 - 5. Let d be g*1*r/2. Solve 3*k = -5*q + 17, -4*q = 2*k - d - 1 for q.
1
Let j be ((-744)/9)/(-4)*-3. Let i(a) = -a**3 + 4*a**2 - 3*a - 4. Let o be i(5). Let n = o - j. Solve 0 = -s - 5*v + n, 0 = 5*v - 14 - 1 for s.
3
Suppose 0 = 9*n - 2*n - 14. Let y(v) = v**2 + 5*v + 4. Let d be y(-4). Let a = 2 + d. Solve o = 2*k - 0*o + 1, 0 = n*k - a*o + 4 for k.
1
Let n be 2/8 + (-42)/(-24). Solve 6*z = z + n*p - 11, 3*p + 3 = z for z.
-3
Let z(b) = b**2 - 6*b + 7. Let i be z(5). Let x = i - 1. Suppose -3*r + 72 + 33 = 0. Solve 0 = 5*w + 5*a + r, 2*w - x = 4*a - a for w.
-4
Let g be (-3)/(-1) - (-3 - -2). Suppose n + 12 = 3*n. Let v be 5*(1 + n/(-10)). Solve v*k - 8 = -k - 5*p, -p = g*k + 12 for k.
-4
Let a be 18/(-4)*(-12)/(-9). Let k be (-8)/12 - 4/a. Solve 21 = -s - k*s - 5*x, 4*x + 15 = s for s.
-1
Suppose 3*b - 5 = 4. Let z be ((-6)/15)/(b/(-210)). Solve -4*r - 16 = -4*l, -z = -3*r - 0*l - 5*l for r.
1
Suppose 0 = r + 4*i - 10, 5 = -5*r - 2*i + 37. Let v be 3/((-6)/22) - -2. Let y = v - -13. Solve 5*z + 34 = 3*n, -r = 5*z + 5*n + y for z.
-5
Let z = -6 + 8. Suppose -2*q = q + 12. Let t be q/3*(-18)/4. Solve -4*o + 15 = -c, 4*o - z*c - t - 12 = 0 for o.
3
Let o = 2 - -3. Suppose -8*z = -3*z - 5*n - 70, 5*z + 4*n = 79. Let i = 2 + -2. Solve 4*t + t + 3*y = z, -3*t - o*y + 25 = i for t.
0
Let q(d) = d**3 + 10*d**2 - d - 9. Let v be q(-10). Solve v = x, 5*x - 4*x + 14 = -3*y for y.
-5
Let h(d) = d - 7. Let n be h(10). Solve 0 = -c + 2*g + 12, -2*g - 20 = -n*c - 0*g for c.
4
Suppose 2*g - 4*g = -4. Let d be -1 - (-1)/(5/15). Suppose g*t = -d*t + 4. Solve -18 = -4*m - m + 3*o, 0 = -m - 4*o - t for m.
3
Suppose -3*d = -2*t + 16, 0 = 4*t + 5*d - 3*d - 16. Suppose 0*y - t*y = -40. Solve -4*g = 0, 0*g - y = 2*x - 3*g for x.
-4
Let a be -1 - (5 - (10 - 0)). Solve -12 = -a*k, 0 = -l + 4*l - 4*k + 9 for l.
1
Suppose -13*i + 5*i = 0. Solve -t + 2 = j, t - j - j + 7 = i for t.
-1
Suppose j = 3*j. Solve j = -s + 4*u + 4, 2*u - 5*u - 3 = 3*s for s.
0
Suppose 4 + 6 = 5*d. Suppose -s = -3*s + d. Let w be s/(1/(-2)*-1). Solve w*f = -4*p + 18 + 4, -5*f - 2*p = -31 for f.
5
Suppose -6*i + i + 15 = 0. Solve 5*h + 2*n + 28 + i = 0, 0 = -3*n - 9 for h.
-5
Let z(m) = -m**3 + 9*m**2 - 7*m - 6. Let q = -12 + 20. Let h be z(q). Solve d = n - d + 7, -h*d + 8 = -2*n for n.
-1
Let g be (12/(-9))/(-2)*3. Suppose g = -0*h + h. Suppose 2*f + 2*f = -8, 0 = 5*w - 2*f - 9. Solve o + 6*m = 3*m + 7, 5*o - h*m = w for o.
1
Suppose -18 = 2*k + k - v, 24 = -4*k + v. Let b be (-22)/k - (-10)/(-15). Solve -6*d + b*d - 2 = -s, -4*s = -d - 8 for d.
0
Suppose o - 2*o = 0. Let u = 5 + 10. Let k be 16/4 + (-2 - -3). Solve o = -k*i - 3*f - 1, -2*f - f + u = -3*i for i.
-2
Suppose 3*h = 4*l - 4 - 58, -5*h + 4*l - 98 = 0. Let z = 22 + h. Solve z*r + 9 = 3*d, 0 = d - 3*r + 4*r - 3 for d.
3
Suppose -3*d - 2*p = 3*p, -3*p - 14 = -d. Solve 4*v = -2*i + 22, -d*v = -3*i + 4*i - 20 for i.
5
Let f(o) = o**2 + o + 1. Let x be f(-2). Let y = x - 0. Solve 2*u + 2*m - 7 = -y, -4*u - m + 11 = 0 for u.
3
Suppose 4*b - 26 = 3*b. Suppose 4*g - b + 6 = 0. Let h = -4 - -8. Solve -3*k - 4*i - h = 2*k, -3 = g*k + 3*i for k.
0
Let m = 1 - -14. Solve 5*b - 2*b - 3*o = -27, 3*o = m for b.
-4
Suppose -2*z - 22 = -4*k, 0 = 5*k + z + 10 - 34. Let y = 0 + 20. Solve -k*r - 8 = 3*n, -y = 4*r + n - 2*n for r.
-4
Let n(d) = d - 1. Let u be n(4). Let v = -7 + 5. Let t = 2 - v. Solve 3*x + 2 = t*j - u, -3*j = 5*x + 18 for x.
-3
Let z be -3*4/24*-6. Solve 3*d + 1 = -d + 3*m, m = -2*d - z for d.
-1
Let h(l) = -l**3 - 14*l**2 + 13*l - 20. Let m be h(-15). Solve -m = 5*i + 5*n, -n = 4*i - 0*n + 17 for i.
-5
Suppose 0 = i + i. Let k be 1/((-1)/(-1) + i). Solve -z - 6*f = -3*f - 1, z - 4*f - k = 0 for z.
1
Suppose 5*z - 2*z = -2*p, p = z - 5. Solve 11 = z*n - 3*k, -2*n + 6*k - 4*k + 8 = 0 for n.
1
Suppose -5*c + 2*r + 9 = 0, -r + 3 + 0 = 5*c. Suppose g = 5 - c. Solve -m - g*v + 18 = 0, 2*v = 4*m - 7*m + 4 for m.
-2
Suppose 4*k + 5 = 3*a, -4*k = -k + 2*a + 8. Let n be k/((-4)/(-2))*-3. Solve -2*o + 9 = 3*c - 1, -n*o = 2*c - 10 for o.
2
Suppose 2*h = 2, -4*q + 3*q + 2*h + 1 = 0. Solve q*v + 2*x + 6 = 18, -x + 12 = 3*v for v.
4
Let d be 8/(-16) + (-334)/(-4). Let p = d + -50. Let o be (-2 + 1)*1*-5. Solve i + 5*n + 21 = 3*i, -o*n - p = 4*i for i.
-2
Suppose 2*h = -5*u + 21, -4*h + 5*u - 2 - 1 = 0. Suppose 0 = h*x - 2*x - 2. Solve -4 = -4*a + m, x*m = a + 3*a - 8 for a.
0
Suppose 102 = 9*d - 33. Solve 5*z = p - d, z = -0*z + 4*p + 16 for z.
-4
Let t be 3102/55 - 6/(-10). Suppose t = 4*i + 1. Solve 0*h - 2*h + i = 3*v, 4*h + 16 = 5*v for v.
4
Let k(t) = -t**3 + 3*t**2 + 3. Let y be k(3). Let j be y - ((-21)/3 + -3). Let r = j + -8. Solve 3*s + 0*s + 6 = -u, r*s + 17 = -4*u for u.
-3
Let y be (-8)/6*3/2. Let a be (2 - -8)/((-1)/y). Suppose 29*p + 3*s = 34*p - 10, -4*s + 8 = 4*p. Solve 5*x = -5*m + p*x - a, m - 3*x = -4 for m.
-4
Let y = 25 + -1. Solve -12 = 3*f, 3*f = -j + 4*j - y for j.
4
Let m be (-21)/5 + 4/(-5). Let z be (3 + m)*10/(-4). Solve -z*d + 2*u - 18 = 0, -5*u + 21 - 1 = 0 for d.
-2
Suppose 2*r + 3*r - 35 = 0. Let m = 12 - r. Let c(a) = -a**3 + 6*a**2 - 4*a. Let h be c(m). Solve -6*d + d - 5*j = -h, -d - 2*j = -1 for d.
1
Let w(j) = -j**3 - 5*j**2 + j. Let f be w(-6). Suppose 0*o - 3*y = 3*o + f, 4*y + 15 = o. Let p = -3 - o. Solve 1 = 3*i - 3*s - p, -4*i = 2*s + 8 for i.
-1
Let f be (-4)/(-10) - 160/(-100). Solve 2*h + 12 = 5*d - 7, 5 = -f*d + 5*h for d.
5
Let v = 2 - 2. Solve -4*m + 0*a + 5*a + 24 = v, -a = 4 for m.
1
Let q = -1 - -25. Suppose -2*s = 2*s + q. Let n be 2/6 - 28/s. Solve 0 = 4*y - 2*x + 4, 3*y + n - 2 = 3*x for y.
-1
Let y(q) = -q**2 - 9*q - 10. Let l be 7/(-2)*(-4)/(-2). Let w be y(l). Solve -3*j = -9, -w + 0 = -s - j for s.
1
Suppose -5*i = -19 - 66. Solve -5*x = -5*o - 15, -2*x + 5*o + i = 2*x for x.
-2
Let t be 50/15 + (-4)/(-6). Suppose 0*a + t = -a. Let u = a - -11. Solve j = 3*d + 7, -5*j = -d - 0 + u for d.
-3
Let q(f) = -2*f - 5. Let l be q(-4). Suppose 2*o + o - l = 0. Let u be 10 - (2 + -3) - o. Solve -c + 3*x - 14 = -2*x, 2*x = -4*c + u for c.
1
Suppose 0 = 5*n - 3*n