3, -2*o = d*f - 16 for f.
2
Suppose -7*f - 34 + 34 = 0. Suppose -8*c - 3 + 203 = f. Solve w - 19 = 5*v, 6*v = -5*w + v - c for w.
-1
Suppose 74*c = -3*y + 79*c + 25, 12 = 4*y + 4*c. Solve -7*b - 35 = -12*b - y*j, -1 = -3*b + 2*j for b.
3
Let o(w) = -w**2 - 7*w - 3. Let l be (2/18*6)/((-3)/27). Let k be o(l). Solve m + 4 = 2*b - k*b, b = -4 for m.
0
Let s = 33928 - 33924. Suppose 30 = 2*v + 3*v. Solve 5*a = 3*a - 4*r - 18, v = -s*a + 2*r for a.
-3
Suppose -180 - 37 = -31*n. Solve 28 = -0*f - 4*f - 2*d, 0 = -f + 3*d + n for f.
-5
Let b(a) = -3*a**3 - 68*a**2 - 105*a. Let f be b(-21). Solve -5*k + 5 = -c - 0*k, f = -4*k for c.
-5
Let i = -8377 - -8383. Solve -4*f - 16 = 0, i*c - 17 = c - 2*f for c.
5
Let c = 2970 + -2965. Solve -c*o = 3*l + 30, -8*o = -9*o - 4*l - 23 for o.
-3
Suppose 4*u - 23 = 3*b, -2*u = 4*b + 21 - 5. Suppose 5 = -5*i + 5*v, 9*i + u*v - 2 = 4*i. Solve -3*l - f + 2 = 0, -2*f - 2*f + 20 = i for l.
-1
Let h be (-3096)/7 + (-16)/(-56). Let a = 444 + h. Solve -5*w - a - 27 = -y, 3*y - 37 = 5*w for y.
4
Suppose -5*z = -21*u + 17*u - 28, -2*z + 7*u = -22. Solve 0 = s, z*s - 2 - 2 = l for l.
-4
Suppose -266 = -17*n - 266. Solve -2*v - d - 10 = n, -3*d + 8 = -4*v - 2 for v.
-4
Let v be (10/(-5))/(7/(-84)). Let y be 30/9 - 8/v. Solve 0*s + z - 1 = s, -y*s = 2*z - 17 for s.
3
Suppose 3*d + 10 - 16 = 0, 0 = 2*b + 2*d - 250. Suppose 125*v - b*v = 6. Solve -5*p + 4*t = -23, 2*t + 11 = v*p + t for p.
3
Let j = 203 - 201. Suppose j*q = 25*q - 46. Solve -q*y + 2*k + 3 - 7 = 0, -5*y + 40 = 5*k for y.
3
Let q = -763 + 1245. Suppose -3*c + q - 476 = 0. Solve k + 4 = -k - 2*j, -4*k + 4 = -c*j for k.
0
Let x(m) = 3*m**3 + 20*m**2 + 7*m - 26. Let h be x(-6). Solve 5*t = h*z - 0 - 23, 2*t + 6 = 0 for z.
2
Let q be 23 + -31 + (-165)/(-20) + (-15)/(-4). Solve q*s - 17 = d, 2*d - 236*s + 240*s = 2 for d.
-5
Let p(j) = j**3 + 8*j**2 + 29*j + 116. Let w be p(-6). Solve 3*a - w = -2*i, -5*a + 2*i = -a for a.
2
Suppose -231*t + 576 = -230*t. Let n = 579 - t. Solve -6 - 6 = 5*b - n*u, 0 = 5*b + 5*u - 20 for b.
0
Let f be ((-21)/28)/(1/4). Let c be 18 + -12 + 0/f. Solve -5*h - c = 2*y - 3, -3*y - 9 = 3*h for y.
-4
Let n be ((-8)/68)/((-128)/4352). Solve -3*o + 2*o = n*l - 6, -2*l = -2*o + 12 for l.
0
Let g = -444 - -310. Let q = g - -154. Solve 11 = -5*b + v, -q = 5*v - 0 for b.
-3
Suppose 407*h - 20 = 417*h - 170. Solve 3*t + h = 9*u + 48, 3*t = 4*u + 8 for u.
-5
Let r = -29 - -33. Suppose 24*y = 17*y + 35. Suppose v - 1 = 0, -y*v = 3*i - 3*v - 17. Solve 2*d - 15 = -r*w - 3, 5*w + i*d = 25 for w.
1
Let r be (-90)/(-8)*(-588)/(-63). Suppose 9 = -8*g + r. Solve 0 = 4*k + 2*c + g, 3*k + 5*c = 4 + 1 for k.
-5
Let k(d) = d**2 + 47*d + 93. Let t be k(-2). Solve 4*f + 6 = 5*s, 3*s + 26 = -t*f - 2*f for f.
-4
Let f(u) = -u**2 - 38*u - 101. Let m be f(-3). Solve 4*g + 16 = -3*b, m*g + 2*b + 12 = g for g.
-4
Suppose 19 = 3*c + 2*v, -3*c = -2*c + v - 6. Solve 0 = -3*l - t + 13, -c*l - 1 = -6*l - 5*t for l.
4
Let o be 2/5 + 115/25. Suppose 3*g + 0 - 7 = -5*f, 1 = -g. Let l be (((-6)/f)/3)/((-2)/6). Solve 5*p + 3*m = 32, -p - o*m - l + 27 = 0 for p.
4
Let w = -21422 - -21442. Solve -4*v + s - w = -3*s, -3*v - 6*s + 3 = 0 for v.
-3
Let x(r) = -r - 6. Let t(l) = 2*l**3 - 22*l**2 - 3*l + 26. Let v be t(11). Let u be x(v). Solve 5*i - 3*f = -0*i + 3, -4*i + u = -f for i.
0
Let z(o) = o**3 - 9*o**2 - 3*o - 12. Let u be z(10). Let g = 8 + u. Let n be (3/2)/(g/(-12) + 6). Solve 5*j = 5*w + 25, 5*w - n*j = -7*j - 16 for w.
-4
Let a be (90/(-2))/(8 + (-76)/8). Solve 0 = 5*y - 30*x + 35*x - 45, 0 = 5*y + 2*x - a for y.
4
Let c = -2299 - -2301. Solve -4*i + c*z + 8 = 4, 3*i + 4 = -2*z for i.
0
Suppose -4*l - 3*q = 885, -q + 321 + 568 = -4*l. Let j = 225 + l. Solve -5 = -r + j*s, 15 = -s - 4*s for r.
-4
Let v = 80 - 75. Suppose -2 = v*o - 92. Let x = o - -13. Solve -3*h - x = 4*c, 0 = -5*h + 4*c + c - 5 for h.
-5
Suppose 0*s = -4*s + 20. Suppose -5*k - s = 0, k = -2*p + 5*k + 8. Suppose -p + 0 = -d. Solve -d*l - w = 7, -5*w - 29 = 2*l + 2*l for l.
-1
Let g(r) = r**3 - 5*r**2 - 748*r + 55. Let z be g(-25). Solve 0 = 4*n + 4*y + 5 - 13, -9 = -4*n - z*y for n.
1
Suppose 0 = -127*m - 114*m + 11080 - 4573. Solve -4*h + 12 = 0, 37*l - 4*h + m = 32*l for l.
-3
Let d(j) = j**3 - 7*j**2 - 10*j + 22. Let g be d(8). Suppose -2*l = 2*l - 288. Let c = -59 + l. Solve -2*s + c = 3*y, -2*y - 7*s + g = -3*s for y.
5
Let f = 6292 + -6289. Solve 2*n = -v, 0*n + f = -2*v - n for v.
-2
Let t = -1 - -1. Suppose -1493*m + 1666 - 1230 = -2376 - 3160. Solve -k - i - 9 = -3*i, m*k + i - 9 = t for k.
1
Suppose 3*c - 2*n - 101 = 69, 0 = 2*c + 4*n - 140. Let i be (-24)/c*20/2. Let u be ((-6)/i)/((-6)/(-40)). Solve 4*t = -x + u - 29, x - 4*t - 21 = 0 for x.
1
Let q = 86 + -68. Suppose q*z - 19*z = w - 33, 2*w + 84 = 3*z. Solve 0 = -2*k + 5*m - 24, -k + 8 = -5*m + z for k.
-2
Suppose -312*s - l - 3 = -313*s, -3*s - 4*l = -30. Solve -s*x - 3*m = -6, 5*x - 6 = m + 6 for x.
2
Let h = -1077 + 1076. Let q be (-30)/(-8)*(h - -5). Suppose -2*z = -6 - 0. Solve z*t = 2*i - 38 + 13, q = 4*i + t for i.
5
Let b be ((-698)/2)/(22 + -23). Let u = b - 344. Solve -t - 3 = 3*o, u*o - t = o - 4 for o.
-1
Let a be (32/40)/((-3)/5 - -1). Let u = 648 + -642. Solve -j + h - 3 = u, 0 = -a*j - 5*h + 10 for j.
-5
Suppose 9*r = -w + 4*r - 885, 4*w = -4*r - 3508. Let b = 880 + w. Solve 0 = -4*x + 2*o - 1 + b, -3*x + 5*o - 4 = 0 for x.
2
Suppose -5*t = 20, t - 22 = -5*o + 4*t. Suppose 5*q = -s - 1 + 2, 2*s = o. Let u be (-5)/(-55) + -2*80/(-55). Solve 5*v + 6*n = u*n + 12, q = 5*v + n - 4 for v.
0
Suppose -15 = 5*g, 12 = -3*n - 0*g + 5*g. Let k = n + 11. Suppose -39 = 3*w - 7*w - 3*x, 3*w - 5*x = -7. Solve 0 = a, 3*j = -0*j - k*a - w for j.
-2
Let x = -74 - -110. Suppose x*n - 4 = 34*n. Let j be (-44)/(-16) + 6/(-8). Solve -n*q - 3*i + 5*i = 6, 5*i = j*q + 15 for q.
0
Let b be -1*1/2*-1852. Let m = -924 + b. Solve 5*y = m*z + 35, -4*y + 40 = -4*z - 0*z for z.
-5
Let z(l) = -13*l + 67. Let a be z(5). Solve a*y = 4*m + 1 + 1, 2*m - 1 = 3*y for m.
-1
Let l(g) = g**3 - 5*g**2 + g - 5. Let b be l(5). Suppose -2*i + 5*m + 29 = 0, b = 3*i + 4*m - 17 - 15. Solve 4*k = 12, 5*q + 5 = k + i for q.
2
Let t(o) = 2*o**2 - 6*o + 121. Let a be t(0). Suppose -17*m - a = -461. Solve 3*u + 3*q - 8 = q, u - m = -5*q for u.
0
Suppose 3*i + 3*s = 186, -2*i - 144 + 271 = -s. Solve 4*u + 45 = -2*z + i, -5*z + 12 = -u for u.
3
Suppose -i + 2*t + 23 = 0, -3*i - 2*t = 2*t - 19. Let a(p) = -p + 12. Let q be a(-4). Let m = q - i. Solve -5*b + 3*o = -30, -2*b - 3*o = m*b for b.
3
Suppose -3*k - 84 + 99 = 0. Suppose 1 + 5 = k*w - 2*q, 2 = q. Solve -4*o - 5*z + 7 = 0, 4*o + 2*z = -w + 12 for o.
3
Suppose -41 = -14*b + 603. Suppose -4 = -10*j + b. Solve -3*x + 3*k + 10 = -j, x = -4*k + 5 for x.
5
Suppose 20 = v - 2*a + 174, 2 = -a. Let n = 160 + v. Solve -2*g = 5*b + g + 13, -n*g = 2*b + 6 for b.
-2
Let s(y) = 2*y - 32. Let i be s(-8). Let z = -17 - i. Solve -6*w + w - z = -2*b, 4 = w + 3*b for w.
-5
Let i be (-132)/54 - -7 - (1 + (-13)/9). Solve -i*n = -0*r - 4*r - 2, -2*n - 13 = 3*r for r.
-3
Let p = -285 - -280. Let n be (p*1)/(25 - 26) + -3. Solve 4*b + 3 = -3*s, 0*s + 2 = -n*s + 2*b for s.
-1
Let a(s) = -s**2 - 15*s - 49. Let u(m) = 10*m + 44. Let r be u(-5). Let k be a(r). Solve -29 = -k*z + 4*d, -3 = -z + 4*d + 6 for z.
5
Let a be 12/((-17 + 19)*3). Solve 3*s - 11 = 2*z, -3*z = 5*s + a*z - 35 for s.
5
Let t be (-128)/(-176) + (-1008)/(-308). Solve -t*a = 3*k + 5, -a - 4 = -4*k - 36 for a.
4
Suppose 2*s - 249 = -239. Solve 2*y = -5*t - 20, y + 12 = -3*t + s*y for t.
-4
Let n = 890 - 620. Suppose 19*v = 46*v - n. Solve 3*r + t = -v, -3*r + t - 9 = -1 for r.
-3
Suppose -20 = -5*j + 4*l, 5*l = -2*j + 3 + 5. Suppose 246*f - 651*f = 200*f. Solve 0 = 2*s + 4, 0 = -2*w - f*s + j*s + 14 for w.
3
Let w(x) = 176*x - 7309. Let b be w(42). Let u = -98 - -52. Let c = b + u. Solve -2*p = -5*i + 33, 6*i - 3*p - c = i for i.
5
Let c(q) = -q**2 - 20*q - 95. Let v be c(-9). Let h be (1 - -3) + 5 + (-24)/v. Solve -4*w + d + 2*d - 9 = 0, h*w + 8 = d for w.
-3
Let l(w) = -4*w**3 - 34*w**2 - 32*w - 111. Let c be l(-8). Solve 12*i - 16 = -4*b + c*i, 4*b + 3*i = 16 for b.
4
Suppose -4*d + 5*d - 2 = 0. Suppose -v - 14*v = -3*v. Suppose f - 10 = -4*k, v = -5*k - 3*f + 9. Solve -3*i = -k*