 2 = -2*z for d.
-2
Let g(x) = -x**3 + 8*x**2 + 3*x - 15. Let f be g(8). Solve 4*s = -o + 3*s, 5*s = 4*o + f for o.
-1
Suppose -2*y = -21 - 5. Solve -4*x = -4*k - 12, -3*x = -3*k - 2*k - y for k.
-2
Suppose 4*y + 20 = 5*l, 16 = 4*l - 0. Suppose 6 = -c + 3*t - 5*t, y = 4*t + 20. Solve c*z + 4 = 12, -4*h = -z + 6 for h.
-1
Let x be 58/18 + (-6)/27. Let j(w) = -x - w - 8 + 0 + 1. Let k be j(-13). Solve -k*i = 2*v + 25, -3*v - 30 = 4*i - v for i.
-5
Suppose -5*n - x - 5 = 4*x, -4*n - 2*x = -2. Solve 31 = 4*l - 3*v, -n*l + 5*v = 3*v - 18 for l.
4
Suppose 35 = 9*s - 1. Let k = s + -2. Solve -4 = -d - 4*d - w, -k = -d + w for d.
1
Suppose -q = 2*l - 4, l + 2*l = 0. Suppose 3*a + 14 = v + q*v, -4*a = -v - 4. Solve -3*o - 16 = -1, 17 = v*g - 5*o for g.
-2
Let d be (7/(-3))/(161/(-138)). Solve -5*o - 16 = 2*l, -2*o + d*l = 4*l + 4 for o.
-4
Let y = 26 - 26. Solve -2*l + 14 + 2 = -4*x, y = 2*l + 4*x for l.
4
Let w be ((-1)/(-3))/(3/27). Let k be 1406/259 + (-6)/14. Solve 5*o = -10, k*t = 2*o - w + 7 for t.
0
Let u(l) = 15*l + 79. Let a be u(-5). Solve 0 = a*f - 5*g - 19, 6 = f - 2*g - 1 for f.
1
Suppose -7*w - 11*w - 3*w = 0. Solve 2*v + u + 3 = 1, 5*u = w for v.
-1
Let b(q) = q**2 + 2*q - 32. Let r be b(5). Solve 0 = 5*t + r*p + 31, -t = 3*p + 16 - 5 for t.
-5
Suppose 0*w - 3*w = -5*d - 2, 0 = 2*d - w. Suppose d*h - 9 = -r, 3*r + r + h - 22 = 0. Solve 4*s - 12 = s, r*s - 20 = q for q.
0
Suppose -18*f = 36*f - 270. Solve -f*y = -2*v + 9, 0*v + 12 = v - 5*y for v.
-3
Let d(x) = 5*x**2 - 16*x - 14. Let h be d(4). Solve -2*p + 4*p - 2*w = 0, -h*w = 3*p + 25 for p.
-5
Suppose -2*t + 95 + 32 = 5*f, 130 = 5*f + 5*t. Solve -3*r - 45 = 2*r - 4*j, 5*j - f = 0 for r.
-5
Suppose q - 5*p - 25 = 0, 18*q + 2*p = 16*q + 2. Solve v = -3*v + q*j + 17, -v - 2*j - 12 = 0 for v.
-2
Let l = 2831 + -2831. Solve -f - 3*o + 8 = l, -2*f + 7*o - 6*o = 5 for f.
-1
Suppose 9*a - c + 5 = 5*a, 0 = 2*a + 5*c - 3. Let b be (-16 + 16)*(a + 0). Solve 0 = -g + 3*t - 6 - 4, -3*g - 4*t + 22 = b for g.
2
Let v be 6/15 + 39/15. Let i be 5 - (-1 - -1 - v). Suppose i = t + 3. Solve 3*k + 3*n = -15, k - 5*k - t*n = 20 for k.
-5
Suppose -56 = -7*f + 98. Let h be -1*1*-1*3. Solve 4*p + d = f, -5*d = 3*p - h*d - 19 for p.
5
Let w be 12/(-1 - -4) + 40/(-40). Solve 7*j - 12*j + w*k - 14 = 0, -26 = 4*j + 5*k for j.
-4
Let n = -44 + 63. Let g = n + -19. Suppose 3*f - d - 15 = g, -1 = -4*f - 4*d + 3. Solve f*k = -5*o + 21, -o - 15 = -0*o - 4*k for o.
1
Suppose 0*z = z + 1. Let s = z + 3. Let f be -2*(-4 - 2)/s. Solve -2*t - 4*d + 0 = -18, 2*t - 4*d + f = 0 for t.
3
Let l be (1 + -1)*2/(-4). Suppose 3*g - 3 = 4*c, -3 = -2*g - 0*c + 3*c. Let m(n) = -4*n - 2. Let j be m(g). Solve 3*o - j = -5*s, -2*o - 10 = -l*o for s.
5
Suppose 4*k = -2*f - 36, 0*f + 2*k - 18 = f. Let z be 3/2 + (-45)/f. Solve b + p + 1 - 9 = 0, -5*b = -z*p - 13 for b.
5
Let i(c) = -2*c + 23. Let s be i(9). Suppose -18 = -h - s*h. Solve -5*k + w + 25 = -h*w, 4*k - 2*w = 20 for k.
5
Suppose 5*o - 2*o - 11 = 2*t, -2*o + 4*t + 10 = 0. Let m = 21 - 16. Suppose 0 = 3*g - 4 - m. Solve -2*b - s = -o*b - g, 4*b + 5*s = -3 for b.
-2
Let z be (2/6)/((-7)/(-105)). Let s be (4 + z)*2/6. Solve -4*l = 16, -5*t + s*l + 16 + 6 = 0 for t.
2
Suppose 20 = 4*i + 3*w, i - 4 = -4*w + 1. Let b(x) = -x**3 + 4*x**2 + 3*x + 15. Let m be b(5). Solve -q - 3 = -y, -y + 2*y = m*q - i for y.
5
Suppose -2*s + 4*y + 14 = s, 0 = -2*y + 8. Let m be (-10 - -9)/((-2)/s). Suppose -11 = -m*i + d, -6 = -5*i + 3*d + 7. Solve 3*b = z + z - 16, -i*z = -10 for b.
-2
Suppose -11*d = -20*d. Solve d = -h + 4*y - 4, 0 = -0*y + y for h.
-4
Suppose 10 = -3*t + 10. Solve -c - 4*q = 20, q + t*q + 5 = c for c.
0
Let r(a) = -2*a**3 + 3*a**2 - 5*a + 3. Let m be r(3). Let c = 43 + m. Solve 3*i - 13 = -5*v + i, -c*v + i = 0 for v.
1
Let l(r) = -5*r + 8. Let q(o) = -11*o + 17. Let b(f) = -9*l(f) + 4*q(f). Let i be b(6). Solve 4*s - 5*k = -6, 0*s + 12 = i*s + 5*k for s.
1
Let m(p) = 3*p - 19. Let v be m(10). Solve -s = -4*h - v, -5*s = -2*s + 15 for h.
-4
Let p be ((-48)/20)/(-6)*(-30)/(-1). Solve -3*d = -0*d - 3*u - 9, -4*d + p = u for d.
3
Let m be -46*(-1)/(-2)*1. Let o = 25 + m. Solve -5*w + v = 14, -2 = -5*w - v - o*v for w.
-2
Let x be 3/2 + (-1)/(-2). Let i = 26 + 3. Let c = -26 + i. Solve -m = -c*z + 9, x*z + 3*m - 6 = m for z.
3
Let y be 3*(-3 + (-16)/(-3)). Suppose -8*m + y*m = -3. Let f(w) = -w**3 + w**2 + w. Let n be f(0). Solve -m*h - r = -h - 11, n = -r + 5 for h.
3
Let n = -30 + 25. Let v be (-2)/4 + n/(-2). Solve 0 = 2*f + 5 + 1, 2*c - 6 = v*f for c.
0
Let x = 1288 + -1286. Solve x*a - 15 - 5 = -3*m, -3*a + 24 = 3*m for a.
4
Suppose -5*z = 2*j - 57 + 74, 0 = -3*z - 15. Suppose 0*h + 4*h - 16 = 0. Solve -28 = h*x + 3*q, j*x - 6 + 26 = -q for x.
-4
Let v = -14 - 1. Let u be ((-5)/3)/(1/v). Solve n + 4*n = 2*l + u, 0 = 4*n - 12 for l.
-5
Suppose -8 - 72 = -16*c. Let w = 5 + -2. Solve w*l - 5*o = -15 - c, o - 4 = 3*l for l.
0
Let t = 80 - 39. Solve -6*x + x + 4*o - t = 0, 3*x + 11 = -o for x.
-5
Let j = -788 - -790. Solve -2*x + 4 + 4 = -j*b, 4*b + 25 = -5*x for b.
-5
Let b(u) = -u**2 - 57*u - 376. Let r be b(-49). Solve -n = -3*q + 12, -5*n = -5*q - 2*n + r for q.
5
Let s(g) = -g**3 - 7*g**2 + 2*g - 28. Let z be s(-8). Solve -18 = 5*q - 10*q + p, 2*p = -4*q + z for q.
4
Suppose 0 = -g - 4*j + 2*j + 6, -g + 6 = 3*j. Solve -z = 3*y - g, 2*z - 3*z - 2 = -y for z.
0
Let a = 525 - 524. Solve -2*w + 4 = -2*l, -5*w + 4*l = -a - 4 for w.
-3
Let b be 4*(3 + (-2)/1). Solve b*d + 5*t = t - 4, 0 = -3*t - 12 for d.
3
Let z(i) = 12*i - 8. Let s be z(1). Solve 3*v = 2*d - 0*v - 14, s*v - 8 = -4*d for d.
4
Let r be 3*((2 - 2) + 28/6). Suppose r*j + 31 = 241. Solve -10 = -3*b + b, -5*s = 3*b - j for s.
0
Suppose 0 = -4*v + 16, 88*v + 8 = -2*u + 90*v. Solve 3*z - d - 13 = u, 13 = -z + 5*z + 3*d for z.
4
Suppose 3*a - 191*u = -187*u + 17, 3 = -a - 3*u. Solve 2*i = 8, a*i - 6 = -6*j + 4*j for j.
-3
Let j be -6*12/144*10/(-1). Solve -2*h - 3*z = -6*h - 4, -j*h - 5 = -3*z for h.
-1
Let j be 333/(-12) + (-6)/24. Let t = 33 + j. Solve 4*m - 3*m = 3*z + 3, -m + t*z + 7 = 0 for m.
-3
Let n be 2/(12*1) - (-46)/(-276). Solve -5*x + 4 + 3 = s, 4*x - 5*s - 23 = n for x.
2
Let t be (18/54)/(2/6). Let i(p) = 64*p**2 + p - 1. Let c be i(t). Suppose 0 = l - 5*l + c. Solve -4*g + 4*j = -32, -4*j - 4 = l for g.
3
Let o = 125 + -113. Let c be 2 - (0 - (2 + 1)). Suppose -c*n = 5*i + 10, 4*n = -n + 2*i + 4. Solve -4*g + 3 = 2*z - 3, 4*z + 4*g - o = n for z.
3
Let k(g) = -54*g + 434. Let c be k(8). Solve 4*y + 2*z - 10 = -8, c*z = 2*y - 16 for y.
3
Suppose 0 = -5*z - d + 66, -d - 4 = -0*d. Let r = z - 12. Let c = 6 - r. Solve -2*u + c*l + 8 = 0, 0 = -2*l - 8 for u.
-4
Let r(k) = 3*k - 96. Let i be r(35). Solve 5*p = -3*s + s - i, 0 = 2*p - s for p.
-1
Suppose -183 - 45 = -3*k. Suppose 6*d - k = -22. Solve 2*a - 3*h - d = 0, -8 = 4*h + 4 for a.
0
Suppose -157 = 11*y - 311. Solve -28 = 7*o - 2*o - 4*t, -y = 5*o + 3*t for o.
-4
Suppose -2*c = -4, 4*x + 3*c + 24 = -66. Let z = 29 + x. Let h be 5/25 - 38/(-10). Solve h*g = -z*r + 22 + 19, 0 = 3*r - 15 for g.
4
Suppose 3*m - 200 = -4*v, 2*m + 2*m - 204 = -4*v. Suppose 3*r + v = 86. Solve -1 = -g - 6, 2*x + 3*g = -r for x.
1
Let x = -45 - -84. Suppose 19 = -4*y + x. Solve -y*c - 20 = -5*k, 0 = 5*k + 7*c - 3*c - 11 for k.
3
Let y be (5 + 0 + -5)/(-2). Let u be (855/(-15))/(y + -3). Solve 5*t + 4 = 5*z + u, -3*t = -12 for z.
1
Let b(s) = -s - 1. Let h(m) = 10*m + 21. Let j(k) = -5*b(k) - h(k). Let o be j(-4). Solve -5*l = -3*q - 21, 0 = l + o*l - 15 for q.
-2
Let z be (-34)/(-6) - (-1 - 10/(-6)). Solve 2*r = -4*l, -6 = z*l - 0*r + 4*r for l.
2
Suppose 0 = -5*m - f + 6, 3*m - 4*f + 2*f = 14. Let d be m - (-3)/(-2)*-2. Solve 5*v = -5, -d*v - 13 = -2*n - 2*v for n.
5
Let x(r) = r**3 + 6*r**2 + 2. Let p be x(-6). Suppose -1 = p*b - 5. Suppose -26 + 6 = -b*k. Solve 0 = s - 3*s - 2*a + 4, k = s - 3*a for s.
4
Let m = 28 - 17. Let k(q) = -q**2 + 21*q - 15. Let a be k(20). Suppose a*r - m = 4. Solve 7 = -j - 4*h, 0 = r*j - 2*h + 6*h + 13 for j.
-3
Let i(h) = 43*h - 43. Let t be i(1). Solve -30 = -4*p - p + 3*m, -2*p + 4*m + 26 = t for p.
3
Suppose 2*w = -w + 15. Suppose 10 = 5*y + 3*i, -3*i + 2*i = 2*y - w. Suppose -13 - 62 = -y*v. Solve 4*c + f = -13, 0*c - 3*c - v = -f for c.
-4
Let