*m, 4*m = -8 for x.
-4
Let i(j) = j**3 + 3*j**2 - 3*j + 1. Let l be i(-4). Let y = 2 - l. Suppose y*h = 2*h + 21. Solve 0 = -4*u + 2*s - 3 + h, 5 = 5*u - 4*s for u.
1
Let s = 7 + 9. Let c(n) = -n**3 + 3*n**2 + 2*n - 3. Suppose x - 3*b = -4, -3*x - b = 4*b - 16. Let f be c(x). Solve 2*l - 4 = -4*r + s, f*l + 4*r = 20 for l.
0
Let r(n) = -n**2 - 5*n - 1. Let u be 3/(2/(-9) + 299/(-234)). Let g be r(u). Solve -g*x - 12 = -4*c, 3*c + 0*c + 22 = -4*x for x.
-4
Let i = 750 + -748. Let r = -28 + 53. Suppose -i*y + 2 + 8 = 0, -5*u + r = -3*y. Solve 3*a + b = -u, b = a - 0*b for a.
-2
Let m = -22 - -20. Let s = 5 + m. Solve -t - 5 = s*b, 3*t + 1 = -b - b for t.
1
Suppose 0 = -3*p + 5*p - 16. Suppose 2*q + 4*v - p = -2*q, 0 = -q + 3*v + 18. Solve 0 = 3*k, -12 = q*x - 2*x + 4*k for x.
-3
Let s(k) = -k + 3. Let l be s(7). Let h(q) = 8 - 4*q + 0*q + 4*q**2 - 5*q**2 + q. Let w be h(l). Solve 4*v + 5*i - 18 = 0, -w*v - i = -0*v - 10 for v.
2
Let x = -215 + 219. Solve 0 = x*m - 2*m, -4*m = 2*h + 8 for h.
-4
Let h be -5 + 2 + (2 - -6). Solve 2*y - 7 = 3*f, -h*f - 3 = -3*y - 2*f for y.
-4
Suppose -2*u - 19 = 3*a, 3*a - 23 = 3*u + 2*a. Let b(d) = -d**3 - 9*d**2 - 10*d + 3. Let j be b(u). Solve -4*s + 4 = -3*i, 3*i - j + 3 = -s for s.
4
Suppose -n + 3*n = 6. Let s(q) = -q**2 - 11*q + 2. Let z be s(-11). Suppose p = -z*p. Solve -2*x + n*a + 10 = p, -7 = 4*x + 2*a - 27 for x.
5
Let q(s) = -3*s + 27. Let x be q(8). Solve o = -2*d, d = x*o - 2*o - 6 for d.
-2
Let i(x) = -x**3 - 8*x**2 - 4*x - 1. Let w be i(-8). Suppose 2*r = 2*b + 16, 4*b + w - 5 = 2*r. Solve 0 = -r*y - 4*h + 2*h - 23, 3*h = 2*y - 2 for y.
-5
Let c be (4 + 0 + -2)*1. Suppose 0 = -3*z + 3*t - 3, -z = c*z - 2*t + 2. Solve -3 = -2*x - 3*d, 2*x + z*x = -2*d + 2 for x.
0
Suppose 0 = -y - 4*h + 22, -h - 4*h + 23 = -y. Suppose 6 = 2*s - 0. Solve -3*u + 4*i = -26, -s*u - y*u = -i - 15 for u.
2
Let l be (8/20)/((-4)/(-140)). Let j = -10 + l. Solve -7 = f - 2*s + 2, 19 = -3*f + j*s for f.
-1
Let h(o) = 13*o - o**2 + 0*o**2 + o**2 + o**2 - 11. Let s be h(-14). Solve 6*b - s = 3*b, 5*b = -c + 1 for c.
-4
Let a(b) = b**2 + 3*b - 2. Let o be a(-4). Suppose -2*s + 6 - o = 0. Let w be (-4)/(-14) - 30/105. Solve n + w = d + s, 4*d + 8 = 0 for n.
0
Suppose -33*h = -36*h + 6. Solve -4*z - 2*o = -0*o - h, 0 = z - o + 4 for z.
-1
Let h(m) = 41*m - 239. Let l be h(6). Solve 0 = 3*v + 12, 3*k - v + l = -2*v for k.
-1
Let s(v) = 2*v + 6. Let m(r) = r**2 + 12*r + 14. Let c be m(-10). Let b be s(c). Let a be (b + 3)*(-5)/3. Solve 4*t + a*o = 23, -2*o = -t + 5*t - 14 for t.
2
Let x = -5 + 5. Suppose 0 = -f - 5*k + 11, 2*k + 3 = -f + 8. Suppose -8*s + 20 = -3*s. Solve x = -d - f, -d = -r - s*d + 1 for r.
4
Let k(c) = -14*c**3 - c**2 + 1. Let l be k(-1). Let v be l/42 - 5/(-3). Solve 3*o = 2*n + 6, n + v*n - 3*o + 9 = 0 for n.
-3
Let q(k) = -5*k**2 + 3*k. Let o be q(-4). Let i = 267 + o. Let r be 1/2 + i/14. Solve -n - 3*f = 0, r = -4*n - n - 2*f for n.
-3
Let j = -13 - -17. Suppose 5*p + j = 24. Solve 0 = -2*y + 10, 2*y - p*y + 22 = 3*c for c.
4
Suppose -2*o = -4*o - 2*i - 28, -4*o - 57 = 5*i. Let a = o + 18. Solve a*f = 3*m + 16, 0*f - 4*f + 6 = m for m.
-2
Let r = -60 + 65. Suppose -8*x + 9 = -7. Solve 6*t = 4*b + 2*t - 4, 0 = r*b + x*t + 2 for b.
0
Let i be 1 + (-9)/(18/(-4)). Suppose -47 = i*w - 53. Solve 4*v - 15 = 2*r - 3*r, -2*r = -w*v for v.
3
Let o = 1 - 0. Let q = -372 + 369. Let m be q/(-5)*(o + 4). Solve -6*v + 3*v + 3 = 0, 4*z = -m*v - 13 for z.
-4
Suppose -11*d + 4*d = -147. Solve -s = -4*f + d, -s + 2 = 3*f - 5 for f.
4
Suppose 0 = -2*w - 5*c + 10, -5*w = -0*w + 5*c - 25. Suppose 0*n - 2*n - 12 = -w*o, 5*n - 8 = 3*o. Solve 0 = -4*a - o*i + 3 + 1, 2*i - 30 = 5*a for a.
-4
Let q = -23 - -26. Let l(a) = -33 - 8*a**3 + q*a + 34 - a**2 - 2*a. Let r be l(-1). Solve b - 2*h - r = 3*h, 0 = -4*h - 4 for b.
2
Let f = 1 - -9. Suppose f = -g + 3*g. Let u = g - 1. Solve -b - 4*s + 9 = 0, u*b + 3*s = -2*s + 25 for b.
5
Suppose 0 = -2*r + 4 + 6. Suppose 0*l - 10 = r*l. Let z be (l/(-5))/((-1)/(-5)). Solve -c - 3*u - 8 = 0, -2*u = 4*c + z*u for c.
4
Let p be (-4 - (-1 - 7)/2)*-1. Solve 25 = -4*l - l - 4*q, -5*l + 2*q - 25 = p for l.
-5
Suppose -3*k + 1 = -4*o - 0*k, k + 17 = -3*o. Let j be o/10 + 2/5. Let c be (j - 2)/((-10)/15). Solve -5*a - 4 = -v, c*v = 4*a + 5 - 4 for v.
-1
Suppose -7*p + 15 = -4*p. Let h = -9 + p. Let z = 0 - h. Solve 12 = z*m, -1 - 8 = 4*c + m for c.
-3
Let g(t) = -2*t**2 - 27*t - 13. Let s be g(-13). Let j be s - (3 + -7 + 2). Solve -o - 10 = 6*l - j*l, 0 = 4*l + 8 for o.
-2
Suppose -r - j = -6, -29 - 3 = -5*r - 3*j. Let k(i) = 2*i - 11. Let c be k(7). Solve r = 5*d + p, 3 = -c*d - 0*d + 3*p for d.
1
Let i = 912 - 906. Let o be ((-2)/4)/(1/(-2)). Suppose 5*b + 4*t - 27 = 7*t, 0 = 5*b + 4*t + o. Solve -i = 2*s - s - d, 4*d - 20 = b*s for s.
-4
Let z be 30/20*2/3. Solve -4*n = 5*s + 2, 2*s + 4 = -3*n - z for n.
-3
Suppose 7*r - 48 = r. Let a be 10*r/(-60)*-3. Suppose 2*b - 4*b = 3*d - 23, -4*d + a*b = -4. Solve d*p + 4*j = -13, 2*p + 1 = -4*j + 3 for p.
-5
Let s(c) = c**3 - 15*c**2 - 16*c + 2. Let x be s(16). Suppose l - 60 = -4*l. Let g be (27/l)/(6/16). Solve 3*j - g = 3*i, 5*i + 0*j - 5 = x*j for i.
3
Let n(r) = -17*r + 16. Let i be n(3). Let g = 40 + i. Solve -2*l + 2 = 3*h - 6*l, 3*h = -g*l + 11 for h.
2
Suppose -2*d + 15 = 7. Suppose -n - 8 = i - 5*n, 2*n - 22 = -d*i. Suppose w - 34 = -5*z, -i*z + 5*w = z - 40. Solve -v - 10 = -5*c, -2*c - 3 = v - z for v.
0
Suppose 0 = 305*x - 306*x + 9. Solve 3*d + 2*c = 2*d + x, -3*c + 21 = 3*d for d.
5
Let h = -285 + 291. Solve -5*y - 11 = -n, -4*y - 4*n = -5*y - h for y.
-2
Let j be (-9 + 2 + -3)*42/(-84). Solve -2*a - 13 - j = 4*k, -2*a = -2*k - 12 for a.
1
Suppose -4*m - 21 = -57. Solve -2*f + m = 5*g - 17, 0 = 3*g - 2*f - 6 for g.
4
Suppose 284*d = 283*d + 8. Solve a + 2*l + d = -2*a, -a = 5*l - 6 for a.
-4
Let o be (-2 - 0)/(-2) + 2. Let b = -1326 - -1342. Solve -4*g + o*x = -0 + 14, b = -4*g + 2*x for g.
-5
Let n be 0 + 5 + -1 + -2. Suppose 2*k - 6*k + 3*h = 0, k = n*h. Suppose 0 = 5*z + 7 + 3, m + 4*z + 6 = k. Solve 0 = -m*c - 5*l - 14, 2*c - 3 = 5*c + 3*l for c.
3
Suppose 0 = -q - 1, 2*d + 2*q + 12 = 0. Let u be 0/(-1 - 0) - d. Solve w = -j - 1 - 4, 0 = -u*j - 3*w - 23 for j.
-4
Let q be 4/5 + (-1216)/(-380). Solve 0 = -p - t + 8, 3*t + q = 3*p + t for p.
4
Let u = -2 + 2. Let a be u + 0/(-4) + 4. Solve -16 = -a*d + 2*w, -5*w + 6*w = 3*d - 10 for d.
2
Let y = -1 - -3. Suppose 5*w - 27 + 12 = 0. Solve j - 6*j = -y*l - 4, -w*j + 6 = -3*l for j.
0
Suppose -281*t = -300*t + 228. Solve -5 = -5*y + 3*p, t*y - 16*y = -5*p + 9 for y.
4
Suppose 171*x = 165*x + 18. Solve -4*h = 4*n + 20, -1 + 2 = x*n - 5*h for n.
-3
Suppose -f + 49*l - 46*l - 5 = 0, -3*l + 1 = -5*f. Solve 5*q = 5*k, 3*q = k - f - 1 for q.
-1
Suppose 0 = -3*j + 6*j - 15. Suppose 7*z = z + 36. Suppose 0 = -z*g - 0*g + 30. Solve 0 = g*i + 20, j*d = -0*d + 2*i - 7 for d.
-3
Let o be (-40)/(-32)*(6 - 0 - 2). Let f = 18 - 3. Suppose f = 5*b - 5*y, -2*b - 5*y - 1 = -0. Solve -o*k + h - 17 = -h, 5 = -b*k - h for k.
-3
Let a = 1530 - 1527. Solve 0 = -2*b - 5*z - 7 - 10, -27 = -a*b + 3*z for b.
4
Let j be 1 - -2*(-25)/(-10). Suppose -j*f + 7*f = 44. Solve 0 = 2*g - 6, -5*m + 5*g = -4 + f for m.
-5
Suppose -a + 0 = -9. Let o(z) = -z**3 - z**2 - 2. Let m be o(-2). Solve -4*s + 3*f = -m, 3*f + a = -5*s + f for s.
-1
Let s be 0 - (0 + (-1 - 0)). Let n be 3/(5/10 + s). Suppose -3*j + j - 14 = -m, -3*j = -n*m + 23. Solve 4*z = m*w - 4, 0 = -2*z - 2*w - w + 8 for z.
1
Suppose -4*c - 2*p = -14, -2*p + 14 - 20 = -c. Solve -4*a - 11 = -3*k - 0*k, -5*a = -c*k + 15 for a.
1
Let i be (-5 - (-38)/6)*(-2 - -8). Suppose -3*h - i*h = -297. Solve -2*p + 0*p = 5*q - h, 3*q - 12 = 3*p for q.
5
Let q = 78 - 73. Suppose q*c + 4*c - 27 = 0. Solve 0 = -f - 3*y + 12, f + c*y + y - 17 = 0 for f.
-3
Let z(y) = y**2 - 5*y - 4. Let t(h) = -2*h**2 + 10*h + 8. Let l(k) = -3*t(k) - 5*z(k). Let x be l(6). Solve 5*u - 4*p - 12 = 0, -x*p = 4*u - p + 3 for u.
0
Let i be 28/6*3/2. Suppose -3*v = -4*v + i. Solve -2*g - 4*r = -4*g - 20, 2*g + 5*r - v = 0 for g.
-4
Let a(v) = 28*v + 351. Let f be a(-12). Solve 4*w = -j + f, -w = 2*w - 2*j - 3 for w.
3
Let x(f) = 2*f**2 - 2*f + 2. Let y be (-4*1/2)/(-2). Let i be x(y). Let a = 12 - -5. Solve -i