/(-7). Let x = -7 - -9. Solve -x*d = -b - b + y, 0 = b - 2 for d.
-3
Let j = 107 + -89. Let p = j - 8. Solve 2*v - p = -0*v, 3*n + 3*v = 24 for n.
3
Suppose 16 = -2*z - 0*z - 4*w, 2*z + 4 = -w. Solve -2*o = -o - 2*x + 3, 4*o + 5*x - 40 = z for o.
5
Suppose 11 = -2*j - 5*i - 21, 3*j - 2 = 5*i. Let h be (-6)/(3/(-42)*1). Let m be 2/j - h/(-36). Solve 6*a = -t + a - 26, -5*t + m*a = -5 for t.
-1
Let x(u) = u + 19. Let y be x(-16). Let j be ((-2)/4 - -2)*8/y. Solve i + 0*i = -j*q + 13, -5*i = -2*q - 21 for q.
2
Suppose 0 = -2*d + 4*r + 3 + 3, -5*r = d + 4. Let t = 19 - d. Let q = -16 + t. Solve -2*m + q = -2*w, 8*w - 3*w + m = -17 for w.
-3
Let t be (-2)/((-7)/((-28)/(-8))) - -22. Suppose -25*f = -t*f - 6. Solve 0 = -f*x - x + 4*v - 16, -3*x - 18 = -5*v for x.
-1
Suppose 9*w - 3*w - 12 = 0. Let b = -9 + 13. Solve 5*z = 3*z + w*r - 16, -b*r + 20 = -z for z.
-4
Let r = 8 + -5. Let i(y) = y - 1. Let b be 1/(-4) - 4/(96/(-150)). Let v be i(b). Solve -10 = v*j - r*o - 2*o, 5*j = o - 22 for j.
-5
Let i(l) = l**3 - 8*l**2 + 17*l + 2. Let u be i(3). Solve 5*m = -5*t, 0*t + 3*t - m = u for t.
2
Let o be (-12)/(-18)*15/2. Suppose i - 4*i = -3, -a - o*i = -8. Solve a*t - 21 = -3*q, 2*q - 9 = -3*t + 8 for q.
4
Suppose 2*t - 4 = -3*n - 1, 0 = 3*n - t - 12. Suppose 2*c = -3*q + 48, -4*c = -3*c - n*q - 24. Solve -5*j - 3*a - a = -21, -4*j + c = 5*a for j.
1
Let h = 260 - 257. Solve -2*o + 6*o + 5*n + 4 = 0, 2*o - h*n = 20 for o.
4
Let c(i) = 2*i - 15. Let v(t) = t - 7. Let h(b) = 6*c(b) - 13*v(b). Let o be h(-1). Solve 5*w - 19 = o*g, -g + 31 = 4*w + 8 for g.
3
Let g be (-118)/(-38) + 66/(-627). Let c = 0 + 0. Suppose c = 4*d - 9*d. Solve -1 = m - y, d = -4*m + 2*m - g*y - 2 for m.
-1
Let b(z) = -z**3 + 4*z**2 + 2*z - 10. Let r be b(3). Solve r*a - 3*c = -25, -3*c + 1 + 9 = -2*a for a.
-5
Let u be (24/(-9))/((-2)/3). Solve u*c = b + 13, 0 = -2*b - 2*c + 3*c - 5 for b.
-1
Let k(m) = -m**2 + 2*m**2 + 3*m**3 + m + 0*m**2 - 2*m**2. Let d be k(1). Solve -2*i = -d*s + 13, 0*s - 4*s - i = -21 for s.
5
Let l = -175 - -191. Solve 4*m - l = -3*s, m + s + 2*s = 13 for m.
1
Let t(q) = -q**3 - 4*q**2 + 23*q + 17. Let b be t(-7). Solve 5*y - 3*y + b*i + 17 = 0, -3*y = -5*i - 22 for y.
-1
Let g = -233 + 236. Solve -s = 2*a - g, -3*s + 19 = s + a for s.
5
Let l(h) = h + 4. Let q be l(0). Let r be 112/(-70) + 36/10. Solve r*f + 4 = -2*b, b + b - q*f - 2 = 0 for b.
-1
Suppose 18*v - 71 = 19. Solve -3*n = v*w - 3 + 8, -2*w + 24 = -4*n for n.
-5
Let h be (4 - -1 - 4)*2. Suppose 15 = 5*b + z - 6*z, h*z = b - 3. Solve -5*p - 13 = 3*j + 18, 0 = b*p + 15 for j.
-2
Let d = 342 + -340. Let k = 8 - 4. Solve 6*o + d*p = 2*o - 10, -5*o = k*p + 14 for o.
-2
Let k(m) = -11*m - 8. Let b be k(-4). Let g = 42 - b. Solve -9 = 3*z - q, -z - z + q - g = 0 for z.
-3
Suppose -2*v = -4*k + 2, -8*k + 23 = 4*v - 7*k. Solve 1 = -3*z + 4*y, -4*y - y + v = 0 for z.
1
Let a(z) = 2*z**2 + 5*z + 8. Let t be a(-2). Solve 7 = -2*m + t*m - 3*g, -3*g - 2 = m for m.
1
Let y be (-2)/14 - (-705)/329. Let z be 92/12 + 2/(-3). Let k be (-3 - z)/(-2 - 0). Solve -c - 5*d - 26 = 0, -22 = y*c + k*d - d for c.
-1
Let b(q) = -37*q + 2. Let s be b(0). Solve 6 = 2*u - 5*v - 3, 0 = s*v + 6 for u.
-3
Suppose 0 = -5*s - s + 18. Let o be (-1)/s - (-37)/3. Solve 4 = 4*y + 4*n - 2*n, 3*n = -o for y.
3
Suppose -k - 2*i + 18 = 5, 9 = 5*k - 4*i. Suppose -k*a = -22 + 2, -4*z = -3*a. Solve 4*l - 8 = -v + 7, 0 = z*l + 2*v - 10 for l.
4
Suppose 0 = -3*l - 12, -y - 8*l + 4*l - 10 = 0. Suppose -4*x + 6*x = -3*d + 14, d + 5*x - 9 = 0. Let w = 4 + -4. Solve -d*c + y = -z, z - c + 0*c = w for z.
2
Let k = 169 - 167. Solve 0 = 5*t + 5*j, k*j + 2 = -3*t - 0*t for t.
-2
Let n = 654 - 650. Let r = -4 + 7. Solve v = -3*v - 4*p - n, 6 = r*p for v.
-3
Let s = 350 - 345. Solve -26 = -0*i + 4*i - s*c, -4*i + 3*c = 22 for i.
-4
Let s be 2/(-5) + 272/5. Suppose -s = -2*q - 144. Let a = -24 - q. Solve -2*t - 5 = 3*t - 5*c, -5*t + c = a for t.
-5
Let i be 4*(7/8 - (-16)/(-128)). Solve w + i*v = 6*v + 7, 3*v = -12 for w.
-5
Suppose -3*k - 2*k - 2*z = -30, 4*z = 3*k - 44. Solve 4*b = -4*l + k*b - 24, -5*l - 4*b = -6 for l.
-2
Let z(l) = 2*l**2 + 30*l - 66. Let w be z(-17). Solve 2*i + 4*d - d + 16 = 0, 5*d + 24 = -w*i for i.
-2
Let q be (3/(-4))/(24/(-64)). Suppose 0 = q*r - 6*r. Suppose 2*h = w + 13, -5*h = -r*h - 3*w - 35. Solve -k + 3*f + 2 = 0, h*k = 2*f - 7 - 5 for k.
-4
Let n = -6 - -16. Suppose 4*d = -2*a - n, 3*a + 2*d + 3*d + 11 = 0. Let f be (0 + 3)/(3/a). Solve 4*z + f + 21 = -2*p, p + 5*z = -27 for p.
-2
Let j(w) = w**2 + 3*w - 14. Suppose 28 = -5*n - 2. Let s be j(n). Solve -s*u - 8 = -t, 0*t - 2*t + 2*u + 10 = 0 for t.
4
Let g = -35 - -38. Solve 18 = -2*o + 4*p, 8 = g*o - 5*p + 32 for o.
-3
Suppose 0*n + 5*n = 0. Let z(g) = g**3 + g**2 + g + 10. Let w be z(n). Suppose -3*p + w = 1. Solve 5*u = -p*s - 2, -5*u + 5*s - 2*s = -22 for u.
2
Let n be 185/35 + -1 + (-32)/112. Let y be 3/2*(-20)/(-1). Solve 2*z = c - n*c - 25, 2*z + y = -4*c for c.
-5
Let y be 165/(-385) + (-24)/(-7). Solve -y = b - 3*d, d = 2*d - 2 for b.
3
Let l be 6 - (25/(-5))/(-5). Solve 0 = 5*k - l*u - 5, 3*k + 2*u - 6 = k for k.
2
Suppose -5*b = 15*b - 80. Solve -2*j = b*t - 4, -2*t - 3*t = -5*j + 10 for j.
2
Suppose 3*o - 24 + 78 = 0. Let c = o - -26. Solve 4*g = -w - 4, -g - 2*w - c = -2*g for g.
0
Suppose -23*t = -151 - 148. Solve 0 = 3*i + 2*i - 3*r + t, 7 = -4*i - r for i.
-2
Let n(h) = 6*h**3 - h**2 + 4*h - 4. Let x be n(1). Solve 0 = -2*z - x*u - 21, 9 = -5*z - 2*u - 12 for z.
-3
Let f be (-6)/2 - (50 - 17). Let p = -32 - f. Solve d + 11 = 4*o + 1, 3*o - p*d - 1 = 0 for o.
3
Let i be ((-4)/(-8))/(2/(-24)). Let x be (2 - 3 - -1)/(8 + i). Solve x = -4*g + 3*m + 3, -2*g + 0*g = -2*m for g.
3
Suppose 0 = 4*c + 4*f + 8, 3*f + 17 - 2 = 0. Solve 2*q - q - c*b = 5, b + 25 = 5*q for q.
5
Let o = -6 - -47. Let p = -39 + o. Solve -g = w + 6, g = p*g + 3*w + 14 for g.
-2
Suppose 0 = -28*v + 25*v + 4*w + 67, -3*w = -5*v + 108. Solve o - 1 = 0, 4*s - o - v = -2*o for s.
5
Let g be 6 - (1 + 0 + (-8)/(-4)). Solve 5*c - 10 = 2*w + 6, g*c = -2*w for c.
2
Let y be -8 + (-216)/(-28) - 115/(-35). Solve 3*i - q - 20 = 0, -y*i + q = 2*i - 30 for i.
5
Let s = -9 + 10. Let m be s/3*(2 + 16). Let d be (-15)/m*-1*2. Solve 0 = -c + 2*x + 1 + d, -x = 4 for c.
-2
Suppose -52*p + 58*p - 18 = 0. Solve 5*i = p*y + 29, 0*i - 5*i + 5*y + 35 = 0 for i.
4
Suppose 31*z + 5 = 36*z + 5*m, -5*z + 2*m = -12. Solve -q - 11 = -z*o, -4*o + 3*o - q = -1 for o.
4
Let n = 16 + -14. Suppose -5*p - 7 = -n*k + 22, -25 = 5*p. Solve -2*o = -3*c - 14 - k, o + 2*c - 1 = 0 for o.
5
Let q = 262 - 249. Let a(r) = -r - 1. Let v be a(-5). Suppose -v*i + i + 9 = 0. Solve i*f - 2*j = 2*j + q, 0 = j + 1 for f.
3
Let z = 3613 - 3613. Suppose 1 = -x - 1. Let w = x + 4. Solve h = 2*v + 1, 0 = w*v - z*v + 2*h - 2 for v.
0
Suppose -3*l = -0*l - 18. Suppose -4*n = 5*k - 7, -4*k = 2*n - l*k - 8. Let v be (-628)/785*15/(-4). Solve 4 = -v*x + q, -4*x - n*q + 8 = -q for x.
0
Let y = 36 + -24. Let f be 514/8 + (-3)/y. Let d = -46 + f. Solve -m = -5*a + 3 - d, -a - 4*m - 3 = 0 for a.
-3
Let q = -17 + 27. Suppose 0 = n - 6*n + q. Suppose n = -6*k + 7*k. Solve -2*d + d = -4*x + 12, k = 5*x + 2*d for x.
2
Suppose -2*f - 40 = 5*n, n - 68 + 25 = 3*f. Let q be ((-9)/f)/((-2)/(-90)). Suppose 4*p = -q + 111. Solve -4*j - p = -3*m, 0*m - 2*m - j = -3 for m.
3
Let n = 4 + 11. Suppose h - 4*h = -n. Suppose 0 = h*i - k - 9, 0 = i - 0*i - k - 1. Solve 0 = 5*a - 4*g - i - 0, -a = -3*g + 4 for a.
2
Let q be 1/((2/(-12))/((-5)/10)). Suppose -3*u - 6 = -q*p, -4*u - 2*p + 1 = -3. Solve 0 = k - u*k - 3, 0 = 2*g + 5*k - 19 for g.
2
Let g(y) = -3*y + 8. Let u be g(-8). Let a = -30 + u. Solve a*d = -8, -2*d = -4*r + d + 12 for r.
0
Suppose 0 = 4*l + l - 50. Let y be (l/(-3))/(10/15). Let q = -3 - y. Solve -3*f + x + 2 = 0, -q = -f + 2*x - x for f.
0
Let u(c) = -c**3 + 7*c**2 - 4*c - 6. Let a be u(6). Suppose s + 60 = a*s. Suppose -40 + s = -4*n. Solve -w + 5*w = 3*g + n, -g - 3 = -w for w.
-2
Suppose -5*s = -4*y - 21, 5*s + 2*y + 3*y = -15. Let f be (6/(-9))/(s/6). Let t be 5/((-15)/(-9)) - f. Solve 3*q = -c + 12, 3*c - 18 + t = -4*q for c.
-3
Suppose 4*a - 4 = 3*a. Let p be (-1 - -2)*(-4)/(-4). Solve 2*x - 5 - p = a*k, -2*k = -2*x - 2 for k.
-4
Let g(y) = -20*y.