2*d for x.
-1
Suppose 8*z - 19 - 93 = 0. Solve 2*k + 1 = -q, 0 = -4*k + 2*q + z - 36 for k.
-3
Suppose -3*f = -2*s - 35, -15 = -3*f - 0*f. Let c be 46/4 + 1/2. Let l = s + c. Solve -2*q = -3*v - 26 + 7, l*v = 2*q - 16 for q.
5
Suppose -5*i = -13 - 12. Suppose 13 = -2*o + 17. Suppose -5*d - o*u + 40 = 0, -3*d - 4*u = -d. Solve 3*w + 17 = i*s, d*w = 5*w + 3*s - 23 for w.
-4
Let j = -21 - -29. Let x(r) = -2*r + 19. Let b be x(8). Suppose -14 = b*f - 20. Solve 0 = 4*n + f*m - 7 - 9, j = 2*n - m for n.
4
Suppose 0 = -9*m + 8*m + 2. Solve -4*k + 36 = -4*s, -s + m = -2*k - 3*s for k.
4
Suppose 2 + 6 = 5*v + 2*l, 3*l - 12 = 0. Solve v = 3*f + 9, 0 = -3*b - 3*f - f for b.
4
Let c be 2*3/(-14) - (-93)/21. Solve 0 = -3*h + b + b - 20, c*h + 3*b + 4 = 0 for h.
-4
Let o be 0/(-2)*(-11)/22. Suppose 1 = -o*s - s. Let n = 4 + s. Solve 0 = 4*v + 3*h - 11 - 9, 14 = v + n*h for v.
2
Let k(s) = s**3 - s**2 - 3*s - 2. Let p be k(3). Suppose -p + 1 = -z. Suppose 3*j = -4*t + 85, 3 = t - 5*j - 1. Solve 2*q + g = -z, q + 0 = 5*g + t for q.
-1
Let s = -69 - -41. Let l be (12 - 0)*s/(-21). Solve g + g + 8 = 3*r, 3*r + 2*g = l for r.
4
Let a(h) = -3*h**3 + h**2 + 3*h + 1. Let w be a(-1). Suppose -58 = w*i - 8. Let g = 27 + i. Solve -g*l + 16 = 3*d, -4*l - 2*d = 3*d - 30 for l.
5
Suppose 5*q + 42 + 7 = 4*w, 4*w = -5*q + 39. Suppose -o = o - 8. Suppose 8*x + 6 = -5*c + 4*x, -3*c + 14 = -2*x. Solve 9 = i - 4*g - o, 5*i - w = c*g for i.
1
Let a be 2 - 1 - (-1)/(-1). Solve -n = 2*d - a*d + 5, 5*n - 35 = 2*d for n.
5
Let u(c) = -c**3 + 3*c**2 + 15*c - 10. Let b be u(5). Solve 2*a - b = -a + 3*w, -21 = -a + 5*w for a.
1
Let l = -5 + 7. Suppose -l*m = 2*m - 16. Suppose 70 = 10*t + 60*t. Solve -3*s - 18 = -4*n, 0 = 5*n + m*s - t - 6 for n.
3
Let d(t) = -t**3 + 13*t**2 + 15*t - 3. Let j be d(14). Let r = -2 - j. Let g = r + 15. Solve -11 = 3*x + g*w, 2*w + 3 + 1 = 4*x for x.
-1
Suppose 14 = 5*z + 3*s - 6, z + s - 4 = 0. Suppose -3*i - t + 109 = 97, i - 17 = 4*t. Solve i*j - 15 = -2*q, -z*q - j - 11 - 4 = 0 for q.
-5
Suppose 0 = -3*c + 4*x + 18, 5*c + 22 = 4*x + 44. Solve 3*j + 0*r + 8 = r, 0 = -c*j + 2*r for j.
-4
Suppose -6*w - 6 = -24. Solve -q + 3*p + 10 = p, -5*p - 25 = w*q for q.
0
Let o = -1890 + 1894. Solve 17 - 1 = -2*d + o*r, 3*d + 2*r = -8 for d.
-4
Let t be 60/16 + 0 - 23/(-92). Solve -3*c - 3*u = -6, 3*c + u = -2 + t for c.
0
Let y be (4/(-6))/(6/(-468)*4). Solve 5*t + 5*q - 45 = 0, -3*t + q = -4*q + y for t.
4
Suppose p = 5*k - 23 - 0, 0 = 2*p - 2*k + 6. Suppose 0 = -v - 0 + 2. Solve -p*q - g + 7 = 0, -1 = -2*q + v*g - 3 for q.
2
Suppose -56 = d - 5*m, -2*d - 83 = d + 2*m. Let z = d + 33. Solve p - 3*p = -q - 2, 2*q + 10 = -z*p for q.
-4
Suppose -6*q + 20 = -q. Let t = -2 - -6. Suppose -8*y = 2*y - 160. Solve -t*z - y = a, -16 = a + a + q*z for a.
0
Let f = 105 + -60. Let k be ((-10)/f)/(1/(-9)). Suppose 10 = -v - k*u, 7 + 3 = v - 2*u. Solve 0 = -4*x + 4*a - v*a + 20, x = -a + 5 for x.
5
Suppose -5*w = 1 - 11. Let q be 0/(1*-3*(-9)/(-27)). Suppose 0*d - w*d + 8 = q. Solve a = 5*u + 29, d*u = -6*a + a for u.
-5
Suppose -9*w + 1 = -8*w. Solve -2*z + 4*p - 18 = 0, 4*z + 4 = -3*p + w for z.
-3
Suppose 5*d - 2*d - 9 = 0. Let r(l) = -29*l - 203. Let c be r(-7). Solve 5*p - d*w - 7 = 0, -p = -2*w - c*w - 7 for p.
-1
Let n = 23 - 22. Suppose 5*y = 3*x + 13, -y = 5*x - n + 4. Let l be (0 - (3 + -7)) + 1. Solve -3*v - l = -3*d - y*d, -5*d - 4*v = 30 for d.
-2
Let k = -22 + 22. Suppose 8*x - 2*x = k. Solve 2*r + x*z + z = -8, -3*r + z = 7 for r.
-3
Suppose -18 = -13*j + 21. Solve 3*p - p + 8 = 2*u, -4*u = j*p - 23 for u.
5
Suppose 3 = -3*w + 4*w. Let r be 34/10 - (-2)/(-5). Solve -h + w*v + r = h, 3*h - 4*v = 5 for h.
3
Let b be 3 + (-18)/27*(-18)/(-4). Solve 3*y + 4*p - 6 - 3 = b, y = -p + 3 for y.
3
Let t be ((-8)/12)/((-2)/12). Suppose -35 = -t*h + 3*g, 0*h - 5*g - 5 = 4*h. Solve h*f - 25 = 5*w, 6*f - 2*f + 4*w = 4 for f.
3
Let q be 2/(-8) - 58/(-8). Let z(k) = k**2 - 7*k + 2. Let a be z(q). Suppose 4*p + 4 = a*n, -5*n - 2 = p - 45. Solve -5*o + 2*i = n, -4 = 3*i - 4*i for o.
0
Let j(c) = -3*c + 5*c - 7 - 4*c - 8. Let m be j(-9). Suppose g = -m*g + 32. Solve 4*w = -4*t - g, w - 4*w = t + 10 for w.
-4
Let b(o) = -49*o + 2. Let i be b(-1). Suppose -i = -2*n - 3*k, n + 4*k - 21 = 12. Solve 4*a + 3*s = n, 4*a + 2*s + 2*s = 24 for a.
3
Suppose -l + 3*y = 4*l - 105, 2*l = 2*y + 38. Let b(a) = a**3 + 10*a**2 - 2*a - 2. Let k be b(-10). Solve -2*v + 0*p - l = -5*p, v = 4*p - k for v.
-2
Suppose 24*t - 28*t + 12 = 0. Solve r = 3*r + t*a - 11, -3 = -r - a for r.
-2
Let r = 2 - -2. Suppose -2*i - u = -12, r*u = i - 0 - 15. Suppose 0 = b - 23 + i. Solve 2*m = -4*a + b, -a = -0*m + 2*m - 10 for a.
2
Suppose 3*d - 2*u - 31 = 0, 3*u = -4*d + 5*d - 15. Solve 0*f = -3*h - 2*f + d, 4*h - f - 23 = 0 for h.
5
Let d(r) = 35*r**2 + 2*r + 3. Let a be d(-1). Let z = a + -34. Solve -4*m = -n + 9, 0*m - z*m + 5*n = 9 for m.
-2
Suppose 2*b = 17*b - 30. Let g(y) = -y**3 - 6*y**2 - y - 1. Let w be g(-6). Solve -f + w = 4*v, 4*f = b*v + 2 - 0 for f.
1
Let p = -19 + 59. Suppose -8 = 4*c - p. Suppose x - 2*x + 3 = 0. Solve -x*a = -4*d - c*a + 45, 3*d - 2*a = 5 for d.
5
Let c = 361 - 352. Solve 0 = 3*t - 2*g - 3*g + 28, 0 = -t - 2*g + c for t.
-1
Suppose 0 = 5*k - 9 - 1, 3*r + 4 = 2*k. Solve r = 5*t + n - 3, -4*n = -2*t - 3*n - 3 for t.
0
Let f = -9 + 13. Let t be f/(-1) + -7 + 13. Solve -r - 23 = 3*n + t*n, 5*n + 27 = r for n.
-5
Suppose 278 = 3*r - 4*g, 2*r + 0*r - 186 = 2*g. Let y = 99 - r. Solve 0 = 4*d - 5*j + 13, 2*j = 5*d - y for d.
3
Let z be ((-12)/6 + 7)/1. Solve z*w + 18 = q, -5*w - 5 = -3*q + 9 for w.
-4
Suppose 0 = 5*l - 9 + 4. Suppose -8*d = -9*d + l. Solve 2*g - 3*m = d, 2*g = -g + 5*m for g.
5
Let p be 0 + 1 - (58 + -60). Solve p*j = i - 4 - 8, -2*i = 2*j for i.
3
Suppose 209 + 91 = 60*i. Solve 4*g + 2*m + m - 32 = 0, -i*m = -20 for g.
5
Suppose -2*p + 3*p - 28 = 3*v, 0 = -4*p - v + 73. Solve -3*u + p = -2*f, u = -u + 5*f + 31 for u.
3
Let w be 1075/125 - (-6)/15. Let t(n) = -n**3 + 3*n**2 - 2. Let x be t(2). Solve x*q + w = i, 4*q - 2 = -i - i for q.
-2
Let r(h) = -3*h - 78. Let f be r(-28). Solve -2*y + f = 3*o, 0 = 4*o - 4*y + y - 25 for o.
4
Suppose 0 = -2*z + 2, 0 = -w + 3*z + 1. Solve w*y + 6 = -5*d, -d - 7*y + 10*y = 5 for d.
-2
Let g(a) = 4*a**2 - 27*a + 51. Let c be g(5). Solve i + 6 = -p + 2, 4*p = 3*i - c for i.
0
Suppose 320 - 338 = -9*i. Solve 3*u = 3*f - 0*f + 9, -2*u + i = -f for f.
-4
Suppose -159 = 4*g + 89. Let t = g - -66. Solve -5*p - 4 + 1 = t*x, 4*x = 4*p + 24 for p.
-3
Let p = -41 + 44. Solve 0 = -2*h + 2*w + 6, p*h + 21 = -0*h - 3*w for h.
-2
Suppose -30*h + 28*h = -8. Solve -h*y - 8 = 0, -11 = q + 2*y + 3*y for q.
-1
Let c = -1 - -5. Let p(m) = 6*m + 53. Let y be p(-8). Solve 3*s = 3, -5*s - c = -2*z + y*z for z.
-3
Let f(d) = -2*d**3 + 106*d**2 + 2*d - 102. Let g be f(53). Solve 4*r = -5*t + 1, -3*t = -5*r - 12 + g for t.
1
Suppose 5*d + 25 = 4*u, 0*d + 23 = -3*d + 4*u. Let z = d + 18. Solve -5*c - 4*m - z = 0, c + m = -m - 1 for c.
-5
Suppose 2*u + 2*u + 5*f - 8 = 0, 0 = -5*u + 4*f + 10. Let v = -84 + 16. Let g = 69 + v. Solve 2*y + 1 = -c + u, y = -g for c.
3
Suppose 0*n - 8*n = -24. Solve -n*z + 1 = -5*p, 2*p = 3*z + 4 + 1 for p.
-2
Let w be (-3 + 35)*(-2)/4. Let a = 21 + w. Solve -4*v = a*k - 6, 5*v - 4*k = 32 - 4 for v.
4
Suppose 6 = 2*h - 3*t + 5*t, -4*h = 2*t - 6. Solve h = c - a + 2*a + 4, 4*c + 2*a = -12 for c.
-2
Suppose 5*v - 6*q + 2*q = -8, -5*v - 2 = -q. Solve -4*u + 20 - 4 = v, 0 = 2*t + 4*u - 22 for t.
3
Let c(a) = -6*a**2 + 38*a - 8. Let l be c(6). Solve t = k + 8, 2*k + 5 = l*k + 5*t for k.
-5
Let h(u) = 122*u + 1 + 10 - 113*u + u**2. Let l be h(-8). Let z(a) = -17*a + 1. Let q be z(-2). Solve 4*o + 5*c = q, -l*o - 3*c + 29 = 5 for o.
5
Let u(f) = -f**3 + 11*f**2 - f + 14. Let w = -6 + -2. Let n be 2*((-132)/w)/3. Let c be u(n). Solve c*q + 4*z + 10 = 0, 3*q - q + z = 0 for q.
2
Let c be 4/3 + 25/(-3) - 2. Let d(f) = f**3 + 8*f**2 - 12*f - 8. Let a be d(c). Solve 4*r - i = -a, 2*r + 3*i + 15 = 2 for r.
-5
Let m(j) = -j**2 - 10*j + 11. Let w be m(1). Solve w = y + i, -2*i - 5 = 3*y + 2*i for y.
5
Suppose 0 = -5*u + 4*u - 25. Let y = -13 - u. Solve 5*j = -3*s + 7, 3*j - 3*s - y + 3 = 0 for j.
2
Let s(b) = 111*b - 439. Let o be s(4). Solve 0*c - o