 - (-4)/(-4). Let c = -4 - l. Solve 0 - 8 = -4*v - c*f, s = -f for v.
2
Suppose 5 = v + 48. Let b = v + 45. Solve 4*j + 14 = b*c - 4*c, -3*j - c = 11 for j.
-4
Let f = 12928 + -12894. Let v = 5 + -3. Suppose 0 = 3*k - v - 7. Solve 5*x - f = -3*h, 2*h = -5*x + k*x + 16 for h.
3
Suppose -106*f + 120*f = 98. Solve 3*o = 4*g + f, -g + 2 = -0*g for o.
5
Let h = -12 - -20. Let d(p) = 2*p - 14. Let i be d(h). Let o = -4 - -8. Solve -5*r + i*l - 30 = 0, -5*r = -l + o*l + 5 for r.
-4
Suppose 0 = 2*q - 2*k - 1 - 1, -2*q + 5*k - 10 = 0. Solve q*n + 5*i + 10 = 0, 2*n - 4*i = i - 4 for n.
-2
Let t = 715 + -710. Solve -2*f - 5*a + 28 = -0*a, 0 = t*f - a - 16 for f.
4
Let g(l) = -4*l**2 - 49*l - 12. Let p be g(-12). Solve 0 = -2*m - 2*j - 10, p*m - 2*m - 5*j - 22 = 0 for m.
-1
Let y be 438/10 + (-5)/(-25). Suppose 0 = -10*h - h + y. Solve 3*l + 5*q + 15 = 0, h*l - 5*l - 5 = 2*q for l.
-5
Let b(s) = -4*s**3 - 128 + 5*s**3 + 123. Let t be b(2). Solve 0 = 2*q - t*d - 13, -2*q + 4*d = 3*q - 29 for q.
5
Let g(h) = -13*h - 19. Let u be g(6). Let m = u - -100. Let t = -1 - -1. Solve -2*j - m*d - 6 = d, t = -4*j - 4*d - 16 for j.
-5
Let q be ((-12)/48)/((-1)/24). Let s be (32 - 1) + 1 + -2. Let d be (q/(-15))/((-3)/s). Solve -d*r = -2*w - 2, r + 9 = -w - r for w.
-5
Suppose 0 = 6*n + 3*n + 20*n. Solve -3*b - 6 = -18, -z + 5*b - 20 = n for z.
0
Let p = 38 + -38. Let f be 16 - 12 - (1 - p). Solve -4*k + 3*b = -f*k, -5*b = 5*k for k.
0
Let w(h) = 4*h**3 + 4*h**2 - 4*h + 2. Let j be w(2). Let x be (-4)/(-8) - j/4. Let n = x + 15. Solve 0 = 3*z - 3*k + 18, -k - 3 = -3*z - n*k for z.
-3
Suppose -4*n - 4*b = -8, -8 = 3*n - 5*n + 2*b. Suppose -z + 2*d - 7 = -0*d, n*d = 15. Solve -2*c = -4*v - c - 14, z*v - 4*c = -17 for v.
-3
Let p(o) = -6*o + 3. Let l be p(-3). Suppose 8*t = l + 3. Solve y + 1 = -t*x, 0 = x + y - 3 for x.
-2
Let b(o) = 35*o - 345. Let q be b(10). Solve -4*d - 8*g = -4*g + 4, q*g - 5 = 0 for d.
-2
Suppose 6*r = 5*r - 13. Let f = r + 17. Suppose -b + 2*s - 3 = -7, f*b + 2*s = 6. Solve 0 = 4*y + 5*u + 17, -b*y + 4*u = -0*y + 2 for y.
-3
Suppose -2*k - 4 = 2*h, h = 5*k + 31 - 15. Let v be (2 + (-5 - -2))*-6. Let i = v + k. Solve 5 = -2*b + b - 5*d, -2*b = -i*d - 16 for b.
5
Let v(t) = 2*t**2 + 6*t. Suppose 6*u - u = 65. Suppose 33 - u = -4*a. Let b be v(a). Solve -f + b = -6*f, -13 = j + 3*f for j.
-1
Let f = -359 - -364. Solve 17 = -k - f*n, 0 = -4*k - 4*n - n - 8 for k.
3
Let k be (-124)/(-16) + (-2)/(-8). Let z be -1 + -1 + k/4. Solve 4*n + z*n + a = -11, 0 = 3*n - a + 10 for n.
-3
Suppose -21 + 5 = -4*d. Suppose 15 = -3*w, 0 = d*r + 5*w + 2 + 7. Let f(s) = s**2 + s + 1. Let h be f(-2). Solve j = h*o + r*j + 6, -5*o - 2*j = 7 for o.
-1
Suppose -23*x + 32 = -15*x. Solve 0 = x*p - 9*p, 3*q = -3*p + 3 for q.
1
Suppose c + 1 = 2*z, 5*z = 11 - 1. Let d(v) = 12*v + 0*v + v + 0 + 1. Let m be d(c). Solve 0 = t - n + 9, -t + 4*n - m = 4*t for t.
-4
Suppose 2*w = -5*v - 0*w + 2, -2 = -3*v - 2*w. Suppose -4*b + 10 = 2*j, 0 = 2*j - v*j - 3*b - 3. Solve 4*q - j*a + 3 = -7, 4*a + 8 = 0 for q.
-4
Suppose 3*x + 200 = 227. Solve -x = -v - 4*m, m - 11 = -5*v - 2*m for v.
1
Let h(d) = 4*d**2 - 10*d - 29. Let i be h(-2). Solve -5*t = k, -3*k + i*t - 3*t - 19 = 0 for k.
-5
Suppose 3*y = -3*w, -y + 4 = -2*w + 5*w. Suppose 2*a + 0*a - 43 = x, -5*a + x = -103. Solve -2*j + 26 = 5*p, 4*j + w*p - a = -0*p for j.
3
Let l be 9 + -1*(-1 - -2). Suppose 5*w - 9*w + l = 0. Let b(h) = -h**3 - 5*h**2 + 6*h + 3. Let q be b(-6). Solve 6*t - q*t + 1 = -w*v, -2*t - v = 1 for t.
-1
Let v(o) = o + 6. Let r be v(-4). Solve 4*a + 1 = 4*m - 15, -r*m = -5*a - 14 for m.
2
Let w(x) = -x**3 + 2*x**2 + 10*x + 5. Let r be w(5). Let u be 5/(0 - 25/r). Suppose -k - 32 = -3*k. Solve 0 = -u*t + k, o + 0*t - 12 = -2*t for o.
4
Suppose -19*t - 43 + 138 = 0. Solve 4*r = -5*i - 11 + 42, 0 = t*i + 3*r - 27 for i.
3
Let y(o) = -o**3 + 6*o**2 - 14*o + 14. Let f be y(2). Solve 4*c - 20 = 4*n, 0 = -f*c - 6*n + 3*n for c.
3
Suppose 14*w = 27*w. Solve 0 = 4*d - 0 + 4, 5*x - d + 14 = w for x.
-3
Let b = -183 - -211. Solve -3*r - 8 = -w, 6*w = 3*r + w + b for r.
-1
Let v be 6*(-2 - 32/(-12)). Suppose 5*x + v = 54. Suppose -i - 2*k + x = 2*k, -14 = -4*i - 3*k. Solve 4*n - 12 = i*d, n - 4*d + 1 = -3 for n.
4
Let d be (5 + -8)*2 + 9. Solve -6 = -d*t + 3*o, -2*t = -0*t + 2*o - 12 for t.
4
Suppose 5*z + 5*t = 12 - 2, 0 = -4*z - 5*t + 7. Suppose 5*r - z*r = -2*u + 2, u + 23 = 3*r. Solve 2 = b + 4*j, 3*j - j + r = 3*b for b.
2
Let f(g) = 2*g**3 + 28*g**2 - 40*g - 139. Let o be f(-15). Solve 3*p - 7*b + 15 = -4*b, p = 4*b - o for p.
-3
Suppose 2*h = h. Suppose -10*w - 42 - 288 = 0. Let m be -2 + (-72)/w - 6/33. Solve m = -5*p + 3*v + 29, 0 = 2*p + 2*v - h*v - 2 for p.
4
Let r = -145 - -147. Solve 4*i = -4*y + i + 20, 2*i = -r*y + 12 for y.
2
Let w = -2 + 10. Let m be w - (-4 - -8) - -1. Solve m*y - 4*k + 30 = 0, -3*y + 2*k = -4*y + 8 for y.
-2
Let b be 10/(-35) + 4/14. Let m = 8 + -5. Suppose b*d - m = -d. Solve d*i - 1 = -4*s, -2*s - 11 = 5*i + 6 for i.
-5
Let o(v) = 11*v - 11*v + 3*v. Suppose m - 8 = -m. Let h be o(m). Solve -u = 3*s + 2, -5*u + 2*s - h = -3*u for u.
-5
Let k(o) = -o**3 - 7*o**2 - 6*o - 38. Let y be k(-7). Solve -2*z - 4*w = z - 12, -y*w = 5*z - 20 for z.
4
Let u be 0/(3 - 1) + 3. Let t = 32 - 30. Solve -4*c - 4*y + 28 = 0, t*c + u*c - 4*y + 10 = 0 for c.
2
Suppose -l + 1 + 8 = 4*r, -3*r + 19 = -l. Let s(m) = -m**3 - 6*m**2 + 7*m + 4. Let q be s(l). Solve 0 = q*g + 3*n - 5*n, 0 = -5*g - n + 14 for g.
2
Suppose -3*z + z + 110 = 0. Suppose 59*v - 4 = z*v. Solve -5*q + 21 = -y, 3*q - 5*y - 18 + v = 0 for q.
4
Let q = 86 + -81. Let a be (-1 - -4) + (-1 - -2). Suppose -2*m = -a*m - 2*z + 44, 90 = 5*m - q*z. Solve -5*d - 2*w = -13, 0*d - 5*d + 5*w + m = 0 for d.
3
Suppose 118*w + 5*d = 120*w - 30, -22 = -3*w - 4*d. Solve 0 = -5*x + w + 15, -5*x = -4*j - 17 for j.
2
Let o = -5 + 5. Suppose o = 6*v - 2*v - 12. Suppose 0 = 4*x - v*x - 13. Solve 3*s + 4*m = x, 3*m - 6 - 10 = 4*s for s.
-1
Suppose -3*n + 5*n - 12 = 0. Suppose 0*u + 3*q - 4 = 2*u, 5*q = -4*u - 30. Let a be (6/15)/((-1)/u). Solve -3*y = a*w - 13, y - 5*y = -2*w + n for y.
1
Suppose 76 = -27*l + 31*l. Let o = -16 + l. Solve 4*g = -w + 3*g - o, -5*w + g = 9 for w.
-2
Suppose -f = -2*p + 1 + 3, 0 = -5*p + 3*f + 9. Let o(b) = -b + 1. Let d be o(2). Let u be d + 4 + -2 - 1. Solve -3*v - p = 3*m, -2*v + u*v + 1 = -m for v.
0
Let d = -161 - -164. Solve d*t + 4 = 4*k - 0, 2*k + 3*t - 2 = 0 for k.
1
Let s be 1*((-3 - -4) + 18). Suppose 4*g = s - 7. Solve -g*a - 7 + 3 = -2*t, -2*t - 4*a + 4 = 0 for t.
2
Let w be (12/14)/(16/224). Solve 3*q = 4*h + q + 2, -4*h + 4*q = w for h.
2
Suppose 0 = 7*g - 11*g + 5*f + 36, 3*f = 2*g - 20. Solve 0 = -2*k, -21 + 5 = -4*n - g*k for n.
4
Suppose -289*n - 32 = -297*n. Solve j - 8 = -s - 4, 5*j = -n*s + 19 for s.
1
Let t(w) = 7*w + 4. Let b(s) = 8*s + 5. Let n(k) = 6*b(k) - 7*t(k). Let m be n(-4). Solve 3*d + f = -2*f, -2*d = -4*f - m for d.
1
Let s(x) = -x**3 - 6*x**2. Let t be s(-6). Suppose t = -2*c + 5*f - 0*f, 5*f = -3*c. Solve -4*n + 5 = 5*g, c = -n - 2*n + g - 1 for n.
0
Suppose -2*p - 5*r = -p + 8, 5*r - 43 = -4*p. Suppose -4*l + 24 - 8 = 0, -d - p = -5*l. Solve d*a + 6 = 5*z - 2*z, z + 10 = -3*a for a.
-3
Suppose 1 = 2*i - 3. Let w be 100/8 + i/(-4). Let d = w + -10. Solve d*z = 3*n + 2, 0 = 3*z - n + 3*n + 23 for z.
-5
Let s(t) = t + 10. Let z be s(-8). Let y = 32 + -24. Solve -z*w + k = -8, -y = -2*w - k + 5*k for w.
4
Let c = 312 - 306. Solve 3*y = 0, c*m - 2*y + 20 = m for m.
-4
Suppose -3*r + 5*w = -32, -6*r = -r - 6*w - 44. Let k = -9 + 21. Let z be 6/k*4*1. Solve -t + z = r*h - h, -t - h = -4 for t.
5
Let w(s) = s**3 + s + 8. Let f be w(0). Let a = 1 - f. Let p = a - -15. Solve -4*h = -p*u + 5*u - 19, 0 = -u - 2*h - 3 for u.
-5
Suppose 4 = -4*a - 4*u, 3*u + 35 - 8 = 3*a. Let j be (1 - (0 - 4))*(-3 - -4). Solve 5*y = -0*y + 5*r + j, -4*r - a = 0 for y.
0
Suppose 29 = 4*k - 3*t, -22 = -5*k + t - 2*t. Let w = k + -1. Solve 0 = -3*o - 4*p - 22, o - w*p - 8 = -3*o for o.
-2
Suppose 3 = -4*b + 7. Let h be -1*(b - 3 - 5). Suppose 3*a = 9, -3*q + q + h = -a. Solve -2*z = -q*x + z + 3, -2*x - 2 = 2*z for x.
0
Let q be (-14)/(-3) + 3/9. Suppose 21 = 4*c - 3. Let i be (0 - -2)*(8 - c). Solve -i*d = q*t + 28, 3*t + 26 = -5*d