= -2*x + 4*a for x.
-1
Let p = -1 - -6. Suppose -117 = -19*i - 22. Solve -5*z = -4*j + 2*j + i, -2*z + p*j = -19 for z.
-3
Suppose 2*n + 5*o = 9, 0 = 3*n + o - 4*o - 3. Solve n*i + i + 2*y = -4, 0 = -5*y - 25 for i.
2
Suppose -384 = 44*n - 68*n. Solve 2*x - 5*u + 28 = 0, 2*x - 4*u + 2*u = -n for x.
-4
Let g be 415/25 - 4/(-10). Let t(o) = -o**3 - 5*o**2 + 10*o - 1. Suppose -3*p = -0*p + 21. Let h be t(p). Solve 3*f + g = -q, q + 2*q + 3*f + h = 0 for q.
-5
Suppose -4*s - 2*q + 412 = 52, 2*s - 188 = -5*q. Suppose 4*n = s - 21. Let y = 19 - n. Solve 5*k = -4*t - 33, -2 = -y*k - t - 14 for k.
-5
Let x be 3 + (-4 + 6)*1/(-2). Let y(a) = -3*a**3 - a**2 + a + 1. Let k be y(-1). Solve 5*z - 35 = -5*s, -k*s + 4*z - 6 + x = 0 for s.
4
Let s be 1/5 + (-6)/20*-186. Let t = s + -56. Solve 2*d = 2*c - 4, 2*d + t = -4*c + 2 for d.
-1
Suppose -u - 25*i + 7 = -22*i, -u = -4*i. Solve 3*s - o + 9 = -7, u*s + 24 = 2*o for s.
-4
Suppose 2*n + 5*r - 26 - 11 = 0, 0 = -3*n + 4*r + 21. Let v be ((-3)/(-12))/((-9)/(-180)). Solve -y - n = v*t, 2*t - 3*t - 7 = -y for t.
-3
Suppose -56 = 75*d - 77*d. Suppose d + 132 = 16*a. Solve 0*q = 2*q - 2*h + 2, a = -4*q - 2*h for q.
-2
Suppose -4*p = -0*p - 100. Let n(j) = j**2 - 29 + 19 + p - 11*j. Let r be n(10). Solve r*o - 5*z + 16 = o, 3*z + 16 = -4*o for o.
-4
Let b = 63 - 60. Suppose -b + 0 = -l. Solve -25 = -5*z + h, -5*h - 41 = -z - l*z for z.
4
Suppose 18*a = 6*a + 24. Solve -3*q + m = 0, 5*q = a*q - 3*m for q.
0
Let q = 22 + -22. Suppose -7*w - 9 + 23 = q. Solve k = -2*k - 5*h + 21, -2*h + 2 = -w*k for k.
2
Suppose 4*c = 7*i - 6*i - 10, -5*c = 2*i + 6. Solve 2*n = -b, 6*n - n - i = -2*b for b.
-4
Let f be 285/35 - 2/14. Let b be (-8 - -5) + f*1. Let x(c) = 2*c**2 - 3*c + 2. Let q be x(3). Solve h = -d + 6*h - 13, -b*d - q = 2*h for d.
-3
Let k be (-8)/10 - -87*6/90. Solve 2*u - 2*l = 4 + 8, k*u = -2*l + 9 for u.
3
Let s = 39 - 23. Suppose -r = 4*c - 3*c, -2*r + 2*c + s = 0. Solve -q - 4 = -r*l + 6, -5*l = 3*q - 4 for q.
-2
Suppose 17 = -2*m - 1. Suppose 5*j - 137 = -4*n, -5*n - j = 17 - 162. Let b = m + n. Solve 0 = -3*a + 3*v + v + 7, -a = 4*v + b for a.
-3
Suppose 0 = 2*w - 3*w + 4, 4*w + 109 = 5*b. Suppose -5*s + 8 = 3*f - 3, 4*s = 3*f + b. Solve 0 = -n + 6*h - h + 1, -s*n = -3*h + 13 for n.
-4
Suppose 17 = p + 3*n, -3*p + 7*p - 33 = -5*n. Solve -2*x - 13 = -3*j, -x = -3*j + p*x + 18 for j.
1
Suppose 0 = -d - 3*d. Suppose -4*t + 4*s = -12, -3*t - 2*s - 2 = -11. Let h = 8 + -4. Solve -4*k + t*n + 32 = d, h*k - 6*k + 6 = n for k.
5
Suppose 2*a = 31 + 35. Suppose 3*m = -4*g + 30, -4*m = 5*g - 2*g - a. Solve -l = -3*n + 10, -3*n + 5*l + 20 - m = 0 for n.
3
Let l = 107 - 88. Solve 5*h + 4*r = 16, -5*h + l = 3*r + 2 for h.
4
Let c = -7 + 3. Let n(w) = w**3 + 4*w**2 + w + 4. Let d be n(c). Let r = d - -4. Solve -4*g = k + 16, g + 6*k = k - r for g.
-4
Let v(c) = -c + 4. Suppose -n + 2*g = -2 + 5, -5*n - 2*g - 3 = 0. Let a be (2 + n)*(4 - 8). Let t be v(a). Solve l + 8 = 3*j, -j + 2*j = 3*l + t for j.
2
Let x(w) = -20*w - 1. Let h be x(-1). Suppose 0 = 4*l + 3*u - h - 4, -l - 18 = -4*u. Suppose 5 = l*s - 1. Solve -3*i + 8*v - 13 = 4*v, s*i = -5*v - 4 for i.
-3
Let y(n) = n**3 + 2*n**2 - 5*n - 2. Let u be y(-3). Let s be -3 - 0 - (-1 - -1). Let f be s/3*-1*5. Solve -2*z - 5 = -g - 1, u*g - 13 = f*z for z.
-1
Suppose -7*b - 132 = -18*b. Solve -3*u = -b, -u + 6*u = -4*f + 24 for f.
1
Let z = -9 + 32. Solve 3*d - d + 3 = -t, -5*t - 2*d - z = 0 for t.
-5
Suppose 0 = -4*x + 45 - 21. Let t = -6 + 8. Suppose t*k - 2 = x. Solve -k*j + 4 = 0, 4*a - 7 - 5 = -4*j for a.
2
Let k(a) = 3*a**3 + 3*a**2 - 2*a. Let y be k(1). Suppose 0 = -y*h + 42 - 34. Solve -3*d - 9 = -h*i, 5*i + 0 = -2*d + 13 for d.
-1
Let r = 11 + -8. Suppose -r*f - k - 57 = 0, 4*k = 2*f + 9 + 15. Let u = -14 - f. Solve 0 = u*o - 3*d - 18, -o + 3*d = 6*d + 3 for o.
3
Let p be 0/(-7 + -5)*(1 + 0). Solve p = -3*c + 5*s - 10, -2*c + s + 6 = 15 for c.
-5
Let a(k) = -k**2 - 8*k + 157. Let g be a(-17). Solve -12 + 2 = 2*v, v = g*f - 1 for f.
-1
Let m = 102 + -93. Suppose -m*d + a + 26 = -5*d, 20 = 2*d - 4*a. Solve 4*s - 5*p - 16 + d = 0, 5*s + 3*p = 31 for s.
5
Let f(y) = -y**2 + 24*y - 90. Let c be f(19). Solve 50 = -5*q - 5*o, 3*o - c*o = 10 for q.
-5
Suppose 29*t - 32*t = -30. Solve 0 = 4*s + s + 3*m + t, -5*s = -4*m + 10 for s.
-2
Let k(y) = -3*y**3 - 3*y**2 + 1. Let i be k(-1). Let w be 7/i + (-2)/1. Solve t - w*a - 25 = -3*t, 0 = 3*t + 5*a + 25 for t.
0
Let m(f) = -f**3 - 18*f**2 - 30*f + 37. Let a be m(-16). Solve 4*s - 3*s + 4*k + 15 = 0, -a*s - 5*k = 0 for s.
5
Let n = 5 + -2. Let s(v) = 4*v**3 - n*v**3 - 8*v**2 + 2*v**3 - 2*v**3. Let p be s(8). Solve -h - 11 = -4*k, k - 8 = 2*h - p*k for h.
-3
Let y be (-2 + 0)*(12 + -16). Solve -2*v + 8 = 2*k, -v + y = -3*k + 16 for k.
3
Suppose -22*u = -27*u + 20. Let f be ((-4)/8)/(-1)*8. Solve 3*a + 3 - u = 4*p, -f*a = -5*p for a.
-5
Let b = -11 + 27. Suppose -5*z - 25 = 0, -i - 5*z - 38 + b = 0. Solve 3*m - 5 = -4*a, 0*a - i*a + 2*m = 9 for a.
-1
Suppose -2*l - 7 = 3*m, 3*l - 2*l + 16 = -4*m. Solve -4 = -3*a + 3*y - 4*y, 4*a - 16 = -l*y for a.
0
Let s(f) = -f**3 + 8*f**2 - 7*f + 9. Let g be s(7). Let x = -3 + g. Solve z + 2*z = 5*c + 16, -x = 2*z for c.
-5
Suppose 0 = -5*i - 2*r + 67, 11*r - 40 = -4*i + 6*r. Solve 5*a = 2*w - i, -4*a - 30 = 5*w - 3*w for a.
-5
Let w be 29/(-2)*(-20)/(-10). Let i = w - -31. Solve -12 = 4*h + 4*z, 0 = -3*h - i*z + 4*z + 6 for h.
0
Suppose 0 = i - 4*q + 2, q + 8 = 5*q. Let y(k) = 5*k - i*k**3 + 2*k**3 + 3*k**3 + 3*k**2 - 2. Let d be y(3). Solve 7 + d = 4*j + 5*n, 0 = -4*j - n + 20 for j.
5
Let u = 77 + -79. Let l be -6*(0 - u)/(-4). Solve i + k - l*k = 8, -3*i - 11 = k for i.
-2
Suppose -15*y = -50*y + 140. Solve 0 = u + 2*b - 6, 2*b - 10 = y*u + 6 for u.
-2
Let a(t) = -t + 11. Let x be a(9). Suppose 0 = -2*r - r + 3*g + 24, x*g = -2. Let i = r - 4. Solve 5*f = 5*b + 30, -3*f = i*b - 7*f + 19 for b.
-5
Let p be (1/3)/((-1)/(-18)). Suppose -p*y = -y. Suppose y = 3*m - 5*h - 95, 0 = -m + 2*m + 5*h - 45. Solve 3*r = 4*u - 23, -7 = -3*r + 5*u - m for r.
-1
Suppose -4*v = -5*o + 9, -v - o + 7 + 2 = 0. Suppose v*l + 2*d = 1 + 5, 2*l + 3*d + 7 = 0. Solve 0*z - l*z = -2*c, -4*z = -c for z.
0
Suppose a - 2 - 2 = 0. Suppose -2*k - 2 = -2*r - 18, -5*k = -a*r - 37. Suppose 5*u = 10, f + 8 = -0*f + k*u. Solve 5*b + 5 = 5*d, -d - f*b - 7 = 2*d for d.
-1
Let f = 10 - 6. Let s(b) = b - 2. Let m be s(f). Suppose 10 + m = 4*d. Solve -4*t = 4*u - 24, 6 = -u + d*t - 4 for u.
2
Suppose -2*g - 2*g = -36. Let d be 6/g - 2/3. Let y be 4 + (4/(-2))/2. Solve -2*k = -b + y*b, -k = d for b.
0
Suppose 43 = 3*q + 4*g, 0 = 3*q + 32*g - 34*g - 73. Solve -5*u = 3*r - 34, q = 2*r + 4*u - 5 for r.
3
Suppose -u = 2*h - 2*u - 10, u - 14 = -4*h. Let z be 10/h*(-4)/(-5). Solve 0 = -5*v + z*b - 19, 0 = 4*v - b - 11 + 28 for v.
-5
Let v(n) = n**3 - 4*n**2 + 10*n. Let y be v(4). Solve h - 4*a = 5*h - y, 0 = 4*h - 4*a for h.
5
Let a(z) = -z. Let r be a(-1). Suppose 5*p - 4*x = 7, 0 = x - r - 1. Solve 0 = 7*g - 2*g + p*t + 28, 2*t = -4*g - 22 for g.
-5
Let s be 183/(-2)*14/(-21). Let c = 93 - s. Solve -3*b + c = -5*k, -2*b + b = -3*k - 16 for k.
-4
Suppose 6 = 2*y + 4. Suppose 2*d = 4*g + 2, 5*d + y = 6. Solve g = 3*p - x - 1, -2*p + 15 = 3*p + 5*x for p.
1
Suppose -2*a = 3*a + 20. Let j be 2*(22/4 + a). Solve j*d - v = -7, -5*v - 22 = -d - 1 for d.
-4
Let y(f) = f**3 + 4*f**2 - 9*f + 4. Let o be y(-5). Let j be 2/(1 - o/20). Let u = 14 + j. Solve u*m + 35 = 5*w, -3*m + 5*w - 20 = -2*m for m.
-5
Let x(c) = -20*c + 80. Let d be x(4). Solve -3*m = 3*q - 12, m + d = -2*q + 3 for q.
-1
Let w be 0/((-20)/(-5) - 7). Solve 2*c - 2*q = -w*c - 20, -2*c + 4*q - 30 = 0 for c.
-5
Let m be (-12)/18 - (353/(-3) + 1). Let u = 125 - m. Let v = 4 - 2. Solve 0 = 4*g + v*k + 18, 2*k = -k - u for g.
-3
Suppose -9*k = -8 - 19. Let o be (-1)/(3 + 460/(-76) + k). Solve 4*s - 14 = 2*h, 2*s + 2*s - o = 3*h for h.
-5
Let i = -12 - -14. Suppose 2*n - 8 = 4*l, -n + i*l = n - 16. Let r = n - 9. Solve 0 = j + k - 5, 2*k - r = j - 2 for j.
3
Suppose -h + 27 - 25 = 0. Solve -t - 4*t + 40 = -3*o, -h*o - 5 = t for t.
5
Let i(l) = l**3 + 13*l**2 + 41*l + 28. Let z be i(-8). Solve -5*m + 25 = 5*a, 2*a - 5*a = -4*m + z for a.
0
Let p = 6 + -6. Suppose 0 = -2*i - 8, 2*v + v =