4 for f.
3
Let v be (12/(-44) + (-450)/(-198))*2. Solve -v*c = y - 3, 4*y - 16 = 8*y + 2*c for y.
-5
Let n(q) = q**3 - 31*q**2 - 25*q - 216. Let z be n(32). Solve -5*h - p = -10, 2*h + 4*p + z = 12 for h.
2
Suppose 135*a = 30*a + 7035. Solve -2*t + 5*u - 8 = 0, -5*u = a*t - 66*t + 4 for t.
-4
Suppose -l + 186 = -5*n + 183, -3*n = -5*l + 15. Solve 10*f - 12*f + 14 = -5*z, 14 = -l*z + 4*f for z.
-2
Suppose -2 = 2*d + 3438*r - 3435*r, 0 = 2*d - 4*r - 12. Solve -d*z = -4, 3*i + 4*z - 13 = 1 for i.
2
Let q = -385 - -221. Let h = q - -168. Solve 0*c - c = 3*a + 12, 3*c = h*a + 16 for a.
-4
Let k = -751 - -754. Suppose 0 = k*a + 5*a - 24. Solve -u - t - a = -9, 0 = -t + 3 for u.
3
Let t = -8286 + 8289. Solve d - 4 = -t*m, 2*m - 10*d + 9*d = 11 for m.
3
Let v be (40/(-6))/((2/(-3))/2). Let r be (2 - v/8)*2*-5. Let b = -3 - -9. Solve 3*h = -r*q + 22, -2*q - b = -5*q for h.
4
Let a(j) = 112*j + 2357. Let l be a(-21). Solve -8*y + 4*y = -4*s - 24, -l*s + 4*y - 26 = 0 for s.
-2
Let d(a) = -a**3 + 9*a**2 - 17*a + 157. Let p be d(9). Let o be 3 - (1*3 + 10/(-2)). Solve -s + 2*h + 2 = p*h, 12 = -o*s + h for s.
-2
Let l be 3/(-3 + 0)*-2. Let q be 203/116*36/9. Solve 5*h - 3*o + 13 = 0, 5*h + o = -l - q for h.
-2
Suppose -2*j + 37 - 9 = 2*c, 4*j + 34 = 5*c. Let n(y) = -y**3 - 219*y**2 - 423*y + 2394. Let t be n(-217). Solve 5*o - c = 0, i - t = -4*o + o for i.
1
Let b(i) = -5*i**3 + 3*i**2 + 3*i. Let j be b(-1). Suppose 0 = 2*l - j*l, 5*l - 11 = -z. Solve 2*q + 3*q - z = u, 5*q = -u + 9 for u.
-1
Let b(g) = -g**2 - 28*g - 23 - 26 + 122. Let z be b(-30). Solve 5*r - 16 - z = 4*y, -2*y + 5*r = 27 for y.
-1
Let v = 58 - -3. Let d = -70 + v. Let z be 9*((-10)/d)/5. Solve -f = 4*w + z*f - 21, -6 = -3*w + f for w.
3
Suppose -d + 4*n = -34, -4*n + 266 = 2*d + 3*d. Let m = 1 - 11. Let i(f) = -7*f - 40. Let l be i(m). Solve -d = -5*j + 5*c, -3*j + 4*j = 5*c + l for j.
5
Suppose 23*b = 18*b + 10. Suppose 0 = -z + 3*s, -7*s + b*s = 2*z. Solve 4*q - 5*c - 14 = 0, 5*q + 3*c - 2 + 3 = z for q.
1
Suppose -3*d + 4*w = 455, 5*d = 2*w - 161 - 602. Let v = 158 + d. Solve v*k = -5*m + 10, -2*m = 5*k + m for k.
-3
Suppose 2*f - 3 - 7 = 4*h, 4*f - 20 = 5*h. Let o(a) = -a**2 + 2*a + 18. Let c be o(f). Solve -5*v + 4 = c*b, -3 = -v - 1 for b.
-2
Let t(q) = -11*q - 9. Let h be t(-2). Let z be 0/(-1) + h + -6. Suppose 4 = z*k - 5*k. Solve n + y + 1 = 0, y - 1 = k for n.
-4
Suppose -13 = i - 4*t, 6*i + 3*t = i - 65. Let j be i/(-65) + (-32)/10. Let u be (-4 - (-5 + 1)) + (-1 - j). Solve 3*b - u + 11 = -2*l, -2*b - 6 = 2*l for b.
-3
Let l(z) = z**3 + 13*z**2 + 10*z - 5. Let n be l(-12). Let f be (-9 + 1)*(18 - n). Suppose -6*d = -4 - f. Solve -y + 15 = -3*t - 0*y, d*t - 5*y + 10 = 0 for t.
-5
Suppose -k + h - 17 = 0, 0*k + 5*k = -2*h - 106. Let b = -6 - k. Let s = b - 12. Solve 3*m = -p - 4*p - 5, 5*m - 2*p = s for m.
0
Let q = -662 - -665. Solve -3*j = 4*b + 3, q*j + 5*b + 5 = 2 for j.
-1
Let u be (-3)/2*(100/(-12) - -7). Let w = u + 4. Solve -2*i - z = -2*z - 11, 2*z = -w for i.
4
Suppose -11*z + 14*z = 114. Suppose 0 = -3*d + z - 29. Let c be ((-5)/d)/(2/(-6)). Solve -14 = -3*n + 2*n - c*x, n - 2*x = -7 for n.
-1
Let m(i) = -i**2 + 20*i + 129. Let x = -357 - -352. Let n be m(x). Solve -14 = -2*w + 4*l, 3*l = w - n - 7 for w.
-1
Let l be 2/21 + 1826/231. Suppose -2*t = 3*y, l*y = 7*y + t. Solve -4*m - 12 = 3*c, -2*c = -y*c + 4*m + 8 for c.
-4
Suppose -98*b = -102*b - c + 10, -2*c = b + 8. Solve 8*q + b = 9*q - y, 0 = 5*q + y - 14 for q.
3
Let c = 13 - 7. Let o be 39*-1 + c/2. Let g = o - -52. Solve -2*v + 5*z - 12 = 0, 2*z - g = -4*v + 2*v for v.
4
Let d = -9894 + 9899. Suppose 9 = 2*k + k. Solve -2*r + 28 = -5*j, -2*j + k*r = d*r for j.
-4
Suppose -262*n = -34*n - 1824. Solve -4*k = -2*q - 0 - n, k - 5 = 2*q for q.
-2
Suppose 0 = -3*b + 4*k - 426, -4*b - 2*k = -0*k + 590. Let u = b + 146. Solve -6 = 5*j - p, 3*p + u*p = -3*j for j.
-1
Suppose -8859 + 8719 = -28*t. Solve 2*y - 144 + 139 = -s, -t*s = 5*y for s.
-5
Suppose 3*u = 2*j + 36, -13*j = 3*u - 10*j - 36. Solve 5*t = -z + 13, -10*t - 6 = -u*t for z.
-2
Let q = 24876 + -24763. Solve -5*y - 3*c - 81 + q = 0, 4 = 2*y - c for y.
4
Let r(c) = 2*c**2 + 9*c + 6. Let w be r(-6). Suppose 0*k + w = -8*k. Let v be -57*1/(k/1). Solve v = 3*y - t, 4*y + y = -5*t + 5 for y.
5
Let h(f) = -40*f - 26. Let v be h(-5). Let k = -147 + v. Solve 10 = c + 3*b, 2*c - 4*b + 3 = -k for c.
-5
Let z be ((-3)/(6/8))/(5/(-195)*4). Solve -20 = c - 3*l, 4*c + 37*l - z*l + 30 = 0 for c.
-5
Suppose 3*x + 19 = -4*m, -3*m + m = 4*x + 12. Let h be (10/(-25) - x)/((-3)/(-15)). Solve 5*l = h*j - 7, 3*l - 4*j = -j - 3 for l.
-2
Suppose -o = 5*w + 16, -5*o - 7*w = -3*w - 4. Suppose -4*m - 4*v + 60 = 0, -3*v + 5 = m - o*v. Solve 2*h + 5*y - y = m, -6 = 2*h - 4*y for h.
1
Suppose 14 = 5*a - 3*n - 14, -4*a - n = -19. Solve a*k - 3*r = 20, 4*k - 21 = 3*k + 4*r for k.
1
Let o(a) = a. Let s(u) be the first derivative of 7*u**2 + 9*u + 49. Let y(k) = 4*o(k) - s(k). Let v be y(-1). Solve -4*f - 3*q = v, -4*f + 0*q + 2 = 2*q for f.
2
Suppose 67*c - 12 = 64*c. Suppose 125 + 279 = c*s. Let m = -92 + s. Solve 3*p - m = 3*g, 3*g + 11 = 5*p - 2 for g.
-1
Suppose 3*x - 3*v = 9, -4*x + 12 = 29*v - 24*v. Solve -4*h - 6*g = -x*g + 7, -5*h + g = 4 for h.
-1
Suppose -2*v - 2*o = -16, -v + 4*v = 5*o + 8. Suppose 0 = 172*s + 146*s - 1232 - 40. Solve 5*a = s*w + 7, 0 = 5*w + 3*a - v*a + 12 for w.
-3
Suppose 4041 = -12*w + 4173. Solve -2*j - 12 + 3 = x, 3*x = 2*j - w for j.
-2
Suppose -3*j + 2*t + 10 = 0, 8*t - 3*t - 5 = 0. Suppose -3*w - j = -16. Let q(i) = i**2 - 14*i + 4. Let f be q(14). Solve 5*u - 6 = 4*b, -4 = -w*u + f for b.
1
Let q(d) = 21*d**2 + 524*d - 23. Let s be q(-25). Solve -f = -2*f + 4*t + 18, 4*f - 16 = s*t for f.
2
Let w be (-20 - (-37 + -8)) + -21. Solve -4*i - 4 = w*n, -5*n - 3*i + 12 = -7*n for n.
-3
Suppose -11*m - 2*m + 266 = 6*m. Solve -19 = 5*p - 8*l, m - 3 = -4*p + 5*l for p.
1
Let r be 1/2*2*10. Let q(k) = -15*k**3 - 61*k**2 - 17*k - 46. Let w be q(-4). Suppose 11*x = w*x + r. Solve -2*b = -2*h + 16, 2*b - 4 = 4*b + x*h for b.
-5
Suppose k - 13*o + 5 = -8*o, -5*k + 3*o + 107 = 0. Solve -5*s - 15 = -5*t, 9*t = 6*t - 5*s + k for t.
5
Let j(c) = -c**3 + 4*c**2 + 17*c - 25. Let q be j(6). Suppose 18*m = 19*m - 2*f - 4, 5*m - q*f - 30 = 0. Solve -m = -4*y + 4*k, -2*k + 1 = 5*y - 16 for y.
3
Let k(q) = 5*q - 9. Let l(n) = n**3 + 32*n**2 + 31*n + 2. Let g be l(-31). Let m be k(g). Solve -3*s - 3 = -0*s + z, -s - z = -m for s.
-2
Let r(f) = -15*f - 10. Let l be r(-1). Suppose l*c + 4*s = 13, 9 = 4*c - c + 2*s. Solve -m + 3 = -2*k - c, k - 1 = 3*m for k.
-5
Let h be 101 + 9/(54/102) + -7. Let t(o) = -28*o**2 - 3*o - 3. Let z be t(-2). Let n = z + h. Solve -2*k = w - 1, -k + 4 = k + n*w for k.
-1
Suppose 4*l = 3*w + 28, 4*w = 5*l - 4*l - 7. Let b be (0/2)/((l - 5) + 0). Let q(g) = 4*g + 32. Let a be q(-8). Solve -2*x = -f - 4, -x + b*f + f + 2 = a for x.
2
Let o be (9 - 120/16) + 4 + (-44)/8. Solve o = -4*m - 3*d + 25, 2*m + 1 = 27*d - 24*d for m.
4
Let w(n) = -18*n**3 + 376*n**2 + 42*n + 22. Let a be w(21). Solve 5*q + 30 = 5*l, 0 = -a*q + 18*q + l - 15 for q.
-3
Suppose -6*q = -0*q + 10*q - 80. Solve q*w = -3*v - 4, w + 6 = 15*v - 13*v for v.
2
Suppose -2*a + 5*a + 275 = -2*h, 4*a - 5*h = -359. Let o = 91 + a. Suppose 5*s - 120 + 10 = o. Solve 5*v = 4*l + 2*v + 18, -s = 4*l - 5*v for l.
-3
Suppose 5*b - 16 = 140*a - 141*a, -4*a + 16 = -4*b. Let y be ((-20)/(-6))/(4/18). Solve -3*n + 3*z = y, 4*z - 4 = b*n + 8 for n.
-4
Let q be (128/(-80))/((-4)/(-10)). Let i be (4/(-6))/(q/18). Suppose -4*k = i*t - 16, -k + 4 = -3*t - 0. Solve 0 = 2*s + k*z, -4*z = 4*s - 2*z for s.
0
Let d(a) = -6*a + 61. Let q(j) = -3*j + 31. Suppose 30 = 7*n - 5. Let u(p) = n*q(p) - 3*d(p). Let r be u(10). Solve -4*s = 3*l - 6, s = -r*l - 2*s + 5 for l.
-2
Let h = -59 - -65. Suppose -h*i + 67 - 43 = 0. Solve i*y - 5*m - 19 = -0*m, -1 = 5*y + 2*m for y.
1
Let a(k) = 45*k - 357. Let q be a(8). Suppose -q*b + 7*b - 3*d = 11, 5*b = 2*d + 19. Solve 0 = -4*v + b*l, l = -3*v - v for v.
0
Let q = -2671 + 2671. Solve 12 = -2*b + 5*i, 3*b + 5*i + q*i - 32 = 0 for b.
4
Suppose -1040 - 1360 = -150*u. Solve -72*f + 70*f + u = -4*o, -o - 7 = f for f.
-2
Suppose 12*d = 9*d - 15, -3*d + 217 = 2*l. Let q = 120 - l. 