 3*l for x.
-4
Let t(r) = r**2 - 6. Let y be t(4). Let v = y + -6. Solve v*z = -2*p - 6, 2*z + 1 = -1 for p.
-1
Let v be 1 - 4 - (0 + -3). Suppose v = -d + 5*d - 24. Solve 0 = 4*b + d*t - 2*t, 0 = -2*b - 4*t - 2 for b.
1
Suppose 2*p + 88 = -5*d, -2*p - 19 = d - 3. Let z be (3/(-2))/(d/48). Solve 0*h = 2*j + 2*h + z, -4*j - 20 = -2*h for j.
-4
Let r = 14 - 9. Suppose -r*u = -13*u + 32. Let i = 1 + 3. Solve 7*s = 3*s - 5*d + u, d = -i*s + 4 for s.
1
Suppose 3*m = 3*o - 42, o + 3*m - 46 = -4*o. Let h = 16 - o. Solve 18 = 4*d + u, 0 = h*d + 3*u + 3 - 22 for d.
5
Suppose 3*d = 2*d + 3. Let v be (-2 + 7 - -6) + (1 - -1). Suppose d*k = -v + 40. Solve -7 = -5*c + 2*a, 2*c - k = -3*a + 9 for c.
3
Let m be 35/20 - (45/20)/3. Solve -2*c = c + 2*w + m, -c = 5*w - 17 for c.
-3
Let u(r) = 13*r - 1. Let j be u(1). Suppose -t + 0 = -4*m + j, -t = m - 3. Let d be 231/49 + 4/14. Solve m*k - 2*k = -d*w - 13, 4*k = -4*w - 20 for k.
-3
Suppose -5394*i = -5391*i - 42. Suppose 13 = 4*t - 3. Solve -5*a - 5 = -t*y, y - 3*a = 2*y - i for y.
5
Let d be (-2)/(-5) - 56/(-35). Let b = -177 + 179. Solve -d*r + b*s = 0, -2*s + 6 = -5*s for r.
-2
Suppose -31 = 4*r - 11. Let z(m) = -m**3 - 6*m**2 - 3*m + 10. Let q be z(r). Solve -o + 3*d + 8 = 0, -o + q = 2*d - 3 for o.
5
Let j be 2 + -21 + 2 + 3. Let h = j - -16. Solve -1 = c + n + h, -2*n = 0 for c.
-3
Suppose 0 = -38*l + 45*l - 28. Solve -r + l*s - 25 = 0, r - 3*r + 2*s - 20 = 0 for r.
-5
Let b(d) = 5*d + 11*d + d**2 - 24*d - 4 + 15*d. Let n be 10/(-1) - (1 - 3). Let j be b(n). Solve -2*y - 5 = -3*s, j*y + 1 = -3 for s.
1
Suppose 6*n - 266 + 200 = 0. Solve 0 = 2*j - 3*k + n, -j + 3 + 4 = k for j.
2
Let l(x) = x + 26. Let v be l(-11). Let u be v/10*12/3. Let g be ((-2)/(2/(-3)))/1. Solve 3*t = z - g, -5*z + 3*t + u = -9 for z.
3
Suppose -92 = 2*p - 98. Solve 5*m - 44 = 2*x - 14, -p = 3*x + 3*m for x.
-5
Let z(l) = l**3 + 16*l**2 + 14*l - 17. Let s be z(-15). Let p be (-4 - (-26)/8)*16/s. Suppose 4 = w - 19. Solve o = 4*y - w, 5*o + p = -2*y + 1 for y.
5
Suppose -2*h + 0*h = -4*t - 198, -156 = 3*t + h. Let y = 54 + t. Solve 2*o + o = y*j + 3, -5*o = -4*j for o.
-4
Let l(m) = 2*m**3 - 2*m**2 - 4*m + 4. Let j be l(0). Solve -2*d = r - 1, 2*r + 23 = -3*r + j*d for r.
-3
Let k = 196 + -192. Let g = 17 + 15. Solve 0 = -4*s + s - 5*m - 13, 3*s = k*m + g for s.
4
Let s = -22 - -48. Let p = s + -22. Solve 2*u + 5*x = -3*u, 0 = p*u - 5*x - 36 for u.
4
Suppose 0 = -6*k + 11*k. Suppose 2*a - 3*a + 18 = 4*o, -o + 2 = k. Solve 4*v + 3*w - 5*w = a, -w - 5 = 5*v for v.
0
Suppose -30 = -2*t - 5*o, 23*t - 23 = 20*t - 2*o. Suppose 4 = 2*j - 4. Solve t*k + 5*a = j + 26, -k - 4*a = -12 for k.
4
Let b(y) = 5*y - 22. Let d be b(5). Suppose s + 5*l - 10*l - 2 = 0, d*l + 11 = 2*s. Solve 5*w + 18 = -5*k + 3, 0 = -5*k - w - s for k.
-1
Suppose 0 = 5*m + 10, 6*f + 122 = 3*f - 4*m. Let h be 57/f*(-8)/3. Solve 3*s = 2*s - a + 2, 2*s - 4 = h*a for s.
2
Let z be (2 - -4) + (2 - 1). Suppose -3*a - 20 = -8, a + z = q. Solve b = -4*v + 20, q*v + b - 17 = -1 for v.
4
Suppose 0 = -11*x + 5 + 39. Solve -4 = w - 6*w - k, 0 = x*w + 4*k for w.
1
Let c be ((-8)/(-28))/(10/35) - (-1 + -3). Suppose -1 = 3*y + 4*m, 6*m = -4*y + 2*m + 4. Solve -y*f - c*p - 8 = 12, 25 = -5*p for f.
1
Suppose 127*u - 137*u = -30. Solve u*f + 2*n - 15 = 6, f - 5*n + 10 = 0 for f.
5
Let j = -47 + 69. Suppose 0 = h + 2*d + 2, 3*h - j = 3*d - 1. Solve -h*x + 0*a = 3*a, 0 = 2*x - 3*a for x.
0
Let u(i) = -5*i**3 - 3*i**2 - 3*i - 1. Let h be u(-1). Suppose 0*g = 2*v - 5*g - 28, h = -g. Solve -3*z + 8 = v*t, -7*t = -2*t - 3*z - 37 for t.
5
Suppose 0 = -w + 3*x + 11, 4*w + 320*x - 319*x = 5. Solve 4*c + w*l - 20 = 0, -7*l + 16 = -3*l for c.
3
Let q be 26/3*6/4. Solve -5*u = -d - q, 1 = -u + d + 6 for u.
2
Let m = -794 + 796. Solve 4*j = m*j + 5*c + 7, -2*c = 6 for j.
-4
Suppose 15 = -6*q + 9*q - 5*u, 2*q + 5*u = 10. Solve 32 = -4*z - q*d, 3*z - 4*d = -0*z + 7 for z.
-3
Let q be (-1 - -1)*(-4 + (1 - -2)). Suppose q = -5*b - 232 + 332. Solve 4*l - 5*h = -l + 25, 4*l - h - b = 0 for l.
5
Let z be 2/8 - 2/8. Let g(d) = d**2 + 16*d - 11. Let x be -3*(14/3 - -1). Let p be g(x). Solve z = -o - r + p*r, -5*r = -2*o for o.
0
Let x be (2/30*21 + 1)*10. Suppose -4*g = 2*g - x. Solve 2*n - 12 = -g*t + t, -4*t = -n - 16 for t.
4
Let w be (0 - 0/(-3)) + 8. Solve 6*t - w = 3*t - u, u = 3*t - 4 for t.
2
Let n(m) = m**2 - 3*m + 7. Let f be n(6). Suppose 2*u - f = -1. Solve 5*p - 2 = -4*c + 2, 3*c = -u for p.
4
Suppose 1456 = 14*o + 266. Let t be 5*((-289)/o - (-4)/1). Solve f + t*x = 3, 0*x - 2 = -2*x for f.
0
Suppose 34 - 104 = -14*v. Solve l = -5, l - 6*l = 4*m + v for m.
5
Let z = 5 + -3. Solve -z*y - 3*f + 3 = 0, -5*f = -7 - 8 for y.
-3
Suppose -5*x + 17 = -3. Suppose -2*p - 92 = -6*p. Solve v + x*n = -0*v - p, -v + 3*n = -12 for v.
-3
Let s(x) = 5*x**2 - 16*x - 12. Let u(r) = -6*r**2 + 17*r + 13. Let g(q) = 5*s(q) + 4*u(q). Let z be g(13). Solve -3*p - 2*k - 1 = -0, z = 5*p + 5*k for p.
-3
Let h(j) = -j - 6. Let o be h(-6). Let x = 4 + o. Suppose l + 88 - 109 = 0. Solve -3*m + 5*w = l - x, 5*w = m + 19 for m.
1
Suppose -7*v = 2*x - 4*v - 22, 3*x + 4*v - 32 = 0. Solve 4*n + 4*m + 0 = -x, -n + 10 = -3*m for n.
1
Let i(f) = 6*f - 4 + 876*f**2 - f**3 - 2 - 873*f**2. Suppose k = -2*k + 12. Let x be i(k). Solve -y = -x*y + 4*r + 12, 8 = -3*y + r for y.
-4
Let a be 8/2 + 1 + 2. Suppose -9*p + a*p + 10 = 0. Solve -2*n + s + 9 = -0*s, 10 = 3*n - p*s for n.
5
Let n(r) = -r**2 - 10*r + 8. Let f be n(-11). Let o be f + (-4)/(-12)*9. Let q be (-4)/(-18) + (-192)/(-108). Solve o = s + q*s, -5*s - 15 = 5*c for c.
-3
Let c = 1 + -1. Let u = 1274 + -1260. Solve c = -4*g - 2*s - 12, -3*s - u = -0*g + 5*g for g.
-4
Let k = 218 + -213. Solve 4*h - 24 = k*m, 2*m = 3*h + 6*m + 13 for h.
1
Suppose -2*o = -2*q + 12, -2*q + 5 + 7 = 4*o. Solve -q = -k - u, 0 = -2*k + u + 11 - 2 for k.
5
Let l = -34 - -115. Suppose 0*t - l = -3*t. Solve s + 2*s = x - 8, -5*x = -2*s - t for s.
-1
Let s = -2510 - -2512. Solve 0 = 5*p - 3*z - 5, 0 = s*p - z + 4*z + 19 for p.
-2
Let l = -67 + 19. Let j = 58 + l. Solve 0 = t - 3*i - 1, 0 = 5*t + 2*i + 19 + j for t.
-5
Let v = -156 - -107. Let s = -32 - v. Solve 4*z + 3*u = -16, -s = -2*z + 5*u + 1 for z.
-1
Let u be (-4)/(-1 - (2 - 1)). Let z(g) = g**3 - 7*g**2 - 7*g - 8. Let l be z(8). Suppose 66*c - 65*c = l. Solve c = -4*t - 4*y - y, 0 = -5*t - u*y + 17 for t.
5
Let w = -160 - -163. Solve w*n - 10 = 2*r, -2*n = 2*r + 3*r + 6 for r.
-2
Let k = 55 + -52. Solve k*f - 14 = t, t = -2*t + f - 2 for t.
1
Suppose -26 = -11*f - 4. Solve -3*m - f = -u + 10, 2*u = -3*m - 3 for m.
-3
Suppose 121 = 5*d - 4*n, 0 = 6*d - d - 2*n - 113. Let v = d + -19. Solve -2*a - v = -a + 3*z, -4*a = 4*z + 8 for a.
-2
Suppose -6*s + 3*b = -5*s - 17, -b = -s + 7. Suppose 3*f + r - 20 = 5*r, -3*f - 5*r = -s. Solve -5*m + 21 = -c, f*c + 2*m - 18 = 2*c for c.
4
Suppose 2*q + 3*a - 31 = -0*q, a = -4*q + 77. Let g(l) = 8*l**2 - 8*l + 4. Let c be g(5). Let r = c + -150. Solve r = 2*u - 3*b - 6, -2*b - q = -3*u for u.
4
Let d = 17 - 12. Let r = 5 - d. Suppose r = 5*t - 4*t - 2. Solve -j = -5*g - 4, t*g - 8 = -2*j + g for j.
4
Let t(j) = j**3 + 3*j**2 - 1. Let a be t(-2). Suppose -30 = -0*c - 2*c + 2*h, -c - a*h = -31. Let g = 23 - c. Solve g*y + 2 = 2*n, -4*y - 2*n - 9 = 3*n for y.
-1
Suppose 0 = t - 0*t + 9. Let w(c) = c**3 + 8*c**2 - 9*c + 3. Let u be w(t). Suppose -5*s + u*s = -40. Solve 2*d - s = -5*m, 2*d + 2*d - 22 = -m for m.
2
Let q = 29 + -26. Solve 0 = q*s + b + b + 3, s = b - 1 for s.
-1
Let c = -68 + 74. Let k be 1/((-1)/c*4/(-2)). Solve -o = -3*u - 12, u + 2*o = k*o - 6 for u.
-3
Let q = -54 + 66. Let z(t) = -8 - 6*t + 5*t + 4. Let c be z(-6). Solve 2*w + 2 = -c*k + 16, 0 = -4*k + q for w.
4
Let x = 68 - 64. Solve 0*c - 3*f = c - 7, -x*f = -5*c + 16 for c.
4
Let s = 1 + 21. Suppose 5*a - a = 3*c - 76, 3*a + 92 = 4*c. Let p = c - 15. Solve -s = -p*u + 3*r, 2*u + 3*r - 28 = -3*u for u.
5
Suppose -m = -4*j + 13, 0 = -3*j + 11*m - 6*m + 14. Solve 3*v - z + 3 - 2 = 0, -3*v - j*z = 21 for v.
-2
Suppose -52*h = -211 + 3. Solve h*l + 3 + 1 = -4*t, 0 = -2*t + 2 for l.
-2
Suppose 5*l - 95 = -2*c, -5*l - c + 0*c + 95 = 0. Let s(m) = 4*m**2 - 5*m + 5. Let o be s(3). Solve -3*k = -2*i + 6*i + o, -3*k = -5*i - l for i.
-5
Let z = -33 - -