 for f.
4
Let u(f) = f**2 - 14*f - 1628. Let l be u(48). Solve 7*i = 4*y + l*i - 13, 12 = 4*y - 4*i for y.
4
Suppose 5*s - 5*v = 25, -3*v + 13 = 4*s - 0*s. Let f = 52 - 106. Let x be ((-4)/7)/(f/189). Solve -x*i - 3*c = 3 - 2, 5*i = -c + s for i.
1
Let b(m) = 5*m**2 - 25*m - 10. Let q be b(6). Suppose -i + q = -4*r, -5*i + 4*i + 5*r = -25. Solve 4*v + 2*a + a - 24 = 0, 3*a - 12 = i for v.
3
Suppose 4*d = s + 3*s - 4, -3 = d - 3*s. Suppose -6*q + 19 - 7 = d. Solve -2*h - 5*k + 3*k = 0, -3*h = -q*k - 10 for h.
2
Let j(r) = -r**3 - 24*r**2 - 128*r + 3. Let i be j(-16). Solve 2*h - 3*q = -18, -93*h + 3*q - i = -96*h for h.
-3
Suppose 47 + 37 = 21*z. Solve -2*m + z*j - 16 = 0, -3*j - 3 + 9 = 0 for m.
-4
Let v = 12146 - 12142. Solve f + v = -4*p, 0 = 9*f - 4*f + 5*p + 35 for f.
-8
Let r(a) = -69*a - 481. Let w be r(-7). Solve 4*p = w*u, -6 = 3*p - 5*u + 1 for p.
1
Let g(x) = -x**3 - 29*x**2 + 24*x - 20. Let f be g(-30). Let k be (-5)/(-2)*256/f. Let j be (-1 - 1)*(2 + -4). Solve l + 2*a + 4 + j = 0, 23 = -k*l - 5*a for l.
-2
Suppose -2*f = -2*t + 178, 2*f + 269 = 3*t - 2*f. Let c be t*6/18 - -6. Solve -5*a - 21 = -p, 5*a + 4*p = -c - 6 for a.
-5
Let h(q) = 2*q**3 - 36*q**2 + 52*q + 194. Let p be h(16). Solve f - i - 1 = 0, 3*f - p = i - 5 for f.
-2
Suppose 9*n = -13*n - 13*n + 140. Solve n*o + 16 = m, 3*m - 4*o + 20 = -9*o for m.
0
Suppose -3*h + 4*z = -32, -2375*h - 8 = -2381*h + z. Suppose 0*k + 20 = 5*k. Solve h*y + 3*c = 2*y - 6, -k*c + 6 = 2*y for y.
3
Suppose 0*o = -7*o + 35. Let t(y) = -13*y - 53. Let a be t(-5). Solve a = -4*d + 2*i, o*i - 16 = d - 5*d for d.
-1
Let y be (-19 + 20)/((-1)/(-19) + 0). Suppose 24*k + 30 = y*k. Let x be (0 - 1) + -6*k/9. Solve -2*s - 29 = -2*h - 3*h, 4*s + x = -h for s.
-2
Let u(h) = -6*h**2 - 145*h - 282. Let x be u(-22). Solve 3*o + 2*t + 24 = 0, -18 = -5*o + 10*o - x*t for o.
-6
Suppose -3*c = -2*c - 5. Suppose i - 1 = -c*q + 9, 5*q + 2*i - 5 = 0. Suppose -q*t = 6*t - 36. Solve 2*u - t*o = u + 21, 0 = u + o + 4 for u.
1
Let z be (6 - 9)/(1*2/(-4)). Let h be ((-14)/(-4))/(-7)*-36. Suppose -z*t + 6 = -h. Solve -22 = -t*d - r - 4*r, 2*d - 3*r = 0 for d.
3
Let j = 12773 - 12767. Solve 5*k - j = -y, 0 = -5*k - 56*y + 58*y + 18 for k.
2
Let p(x) = -x**3 - 17*x + 15. Let z be p(0). Suppose -3*s - 2*a + 9 = 0, 3*a - 2 = -5*s + 13. Solve -4*t - 9 = -k + s, 0 = -3*k + 5*t + z for k.
0
Let r(o) = o**2 + 3*o - 15 + 5*o - 1 - 3*o. Let l be r(-7). Let v be 4/l*1/(-2) + 7. Solve 0 = -2*j + 4*m + v, -5*j - 1 = -m + 6 for j.
-2
Suppose -3*f = -u, -4*f + 2*u = 57 - 53. Solve -24*c + 13 = -3*n - 19*c, -4*n = f*c - 26 for n.
4
Let r be (-138)/(-8) - (-33)/(-1584)*12. Solve -3*a + r = -4*z, 81*z - 16 = -4*a + 85*z for a.
-1
Let d(z) = 2*z**3 - 4*z**2 - z + 1. Let a be d(3). Let n = 42 - 48. Let k be (2/2)/(13 - 16)*n. Solve j = -s + 5, -a = -2*s - k*s for j.
1
Suppose -6*d = -15*d + 162. Solve -2*v = -h + 5, -4*h - 4*v - d - 10 = 0 for h.
-3
Let v(f) = -5*f**2 + 612*f - 239. Let h be v(122). Solve -4*t + 33 = -5*p, 4*t - p = 9*t - h for t.
2
Let a be (8/6)/(20/360). Suppose 0 = -5*d + 121 + a. Let v = d - 9. Solve -l = -5*u - 17, -5*u - l = -7 + v for u.
-3
Let d(x) = -x**2 + 7*x - 2. Let a be d(7). Let j be 8/(-14) - 34/14. Let v be (j - -2) + (-38)/a. Solve 2*z - 4*q - v = 0, -7 = -z - 3*q + 4*q for z.
5
Let a be (-15)/(-4) + 0 + 33/132. Solve -5*b + 6 = -2*l - 11, a*b - 3*l - 8 = 0 for b.
5
Let z = 5120 + -5095. Suppose 0 = -17*h + 14*h + 51. Solve -3*f = -4*t - z, 0*f + f + 5*t = -h for f.
3
Let g = 108 - 108. Suppose 0*o = 2*o. Let q be o*4/12 + 2. Solve g*l - l - z = 0, q*z = -5*l + 3 for l.
1
Let z(h) = -284*h + 3692. Let n be z(13). Solve 16 = -4*l - 4*u - 8, -3*l + 5*u - 10 = n for l.
-5
Let w be 426/24 + (-1)/(-4). Suppose w = 7*u - 3. Solve u*s - 4*k = -27, 5*s = 4*k - 5*k - 22 for s.
-5
Let s be 124 + -1 + (-1)/((-1)/(-4)). Let o = s - 117. Solve -4*q = -o*t + 20, 4*t - 6 = 3*q + 9 for q.
-5
Let a be 1*(12 + -4 + -4). Solve 3*o = -a*k + 6, -6 = -k - k for o.
-2
Suppose 0*p + 20 = 4*p. Let c be ((-20)/(520/(-26)))/(1/4). Solve c*w + 2 = -3*t - 1, -p*w = 0 for t.
-1
Suppose 5*a + 4*n - 14 = 0, -16*a + 15*a + 4 = 2*n. Solve 2*h - 5*h - 5*z = -35, a*h - 30 = -5*z for h.
5
Let z(l) = 4*l + 380. Let s be z(-21). Let p = 299 - s. Solve 4*t - p = 5*w, -5*w - 5*t - 18 = 12 for w.
-3
Suppose -5*r + 4*m = -3920, -785 = 2*r - 3*r + m. Let j = r + -763. Solve 2*v + 3*c = -2*c, 3*v - c = j for v.
5
Let g(r) = -2*r**2 - 21*r - 27. Let m be g(-9). Suppose 0*w + 7*w - 7 = m. Solve -w - 17 = -2*i + 4*y, 2*i = -3*y - 17 for i.
-1
Let r(p) = -p**2 - 26*p + 160. Let v be r(-31). Solve -22 = 3*s - 5*q + q, -v*s + 4*q - 26 = 0 for s.
-2
Suppose 112*d - 2542 - 342 - 588 = 0. Solve 8*v + 3*j + d = 3*v, -5*v = -5*j + 15 for v.
-5
Let u be (824/6 + -2)*(-90)/(-60). Let z = u - 196. Solve -5*k - 4*i = -24 - z, 4*i - 16 = 0 for k.
3
Suppose 32*a - 33*a + 6 = 0. Let r(b) = 17*b - 14 - a*b + 5 - 8*b. Let f be r(3). Solve -2*i - 3*i + 4*g + 27 = 0, 5*i + g - 12 = f for i.
3
Suppose 27*h + 18 = 3*s + 31*h, -13 = -5*s - h. Solve -5*k + c = 24, s*k = 5*c - 28 - 0 for k.
-4
Suppose -x + q + 2 = 0, -4*q = x - 4*x + 4. Let s(p) = -p**3 + 4*p**2 + 5*p - 7. Let v be s(x). Solve -16 - 2 = 2*z - 4*a, 3*z + 2*a = v for z.
1
Let u(f) = -2 + 5*f - f - 1 + 0*f + 3*f. Let a(o) = -o**3 + o**2 + o + 1. Let s be a(-1). Let b be u(s). Solve 4*d - 2*t - 3 = 25, 0 = 3*d + t - b for d.
5
Let r(w) = 2*w - 17. Let b be r(20). Suppose 7*k + b = -89. Let l(g) = -g**2 - 17*g - 11. Let s be l(k). Solve -y + 6 = 4*o - 5, -s*y - 3*o + 21 = 0 for y.
3
Let k be 4077/117 + 4/26. Suppose -2*m - 4 = 0, 6*c - 2*m - 14 = 4*c. Let j = -439 - -439. Solve 17 = -5*v - y, j = c*v - 0*v - 5*y + k for v.
-4
Let s = 45 - 32. Suppose 0*r - u = -5*r + s, u - 5 = -4*r. Suppose 4*m = 4*b - 2*b - 16, 5*b + 2 = -4*m. Solve h - r*z - 11 = b*h, h + 7 = -z for h.
-3
Let i be 8/(-2) + -3*(-25)/(-15). Let j be i/(63/49) - -10. Solve 3*y = 6, j*y - 22 = -4*t - 2*y for t.
3
Let l(u) = u**2 + 40*u + 147. Let v be l(-4). Solve v*p - f + 4 - 9 = 0, -2*f = 5*p - 23 for p.
3
Let h be 14 - ((-63)/9 + 12) - 5. Solve -i + 5*i + 12 = -h*z, 0 = -3*z + 3 for i.
-4
Let y = 591 + -563. Solve 4*b + 4*s = -y, -4*s = 5*b + 11 + 19 for b.
-2
Let d be -4*((-48)/(-8) + -2 + -5). Solve 5*b + 7 = 4*i, 2*b - 3*b = d*i - 13 for i.
3
Suppose 0 = -5*z - 4*n + 1715, 4*z - 1715 = -z + 5*n. Let t = 347 - z. Solve -2 = 2*b + 4*f, 0*f - t = -2*f for b.
-5
Let i be -3 + ((-40)/24)/(6/(-18)). Solve -6 = -2*h - 2*g, 6*g = 4*h + i*g + 28 for h.
-2
Let p be ((-4)/6)/(6/(-369)). Let k be -1 + 2 + p - -1. Suppose -u + 2*g = -0*u + 1, 2*g - k = -5*u. Solve 3*n = u*n - 2*t - 14, -2*n + 2*t = -12 for n.
1
Let w be 0 + (-6)/(-4) + (-4)/(-8). Let b be 2 - ((-42 - w) + 1). Suppose 0 = -4*c - 3*v, -5*v + 10 = -5*c + b. Solve 3*p - 5 = -t, -1 + 8 = 5*p + c*t for p.
2
Let m = -4539 - -4543. Solve -t + 2*c = 12, m*t - 5*c + 24 + 9 = 0 for t.
-2
Let f be (-2)/2 + 24/6. Suppose u + 3*w - 8*w = 37, -4*u + 52 = 4*w. Suppose -15 = -u*y + 14*y. Solve -11 = -4*j + j + d, 2*d = -f*j + y for j.
3
Let a be 13 - (-2)/((-3)/(-3)). Let r(o) = 3*o - 15*o**2 + 16*o**2 + 5*o + a. Let z be r(-9). Solve -41 = -4*w - 5*d, 5*w + 4*d - z = 4*w for w.
4
Suppose 4*u - 30*u + 208 = 0. Let y be (-36)/(-15) - 0 - u/20. Solve 3*i - 4*i = -y*o + 10, -2*o + 4*i + 10 = 0 for o.
5
Let a(w) = -36*w**2 + 395*w + 26. Let l be a(11). Let d be (3/(-3))/((-1)/2). Suppose -d*f - f = 0. Solve f*y = 3*y + 15, 2*v + 5*y = -l for v.
5
Let k(s) = -25*s - 3. Suppose -2*h = -7 + 9. Let l be k(h). Let a be 48/l - 30/165. Solve a*p = 4*c - 10, -2*p - 5 = 2*p - 3*c for p.
1
Suppose -r = -5*v + 6, -6*r + 2*r = 3*v + 1. Let t be (r - 3)/(-2)*425/170. Solve 2*h - 10 = -3*h - 3*q, 30 = -5*h + t*q for h.
-1
Let g(v) = -v**3 + 9*v**2 - 29*v + 70. Let t be g(6). Solve -t*l + 7*l - 3*i = -12, 0 = l - 5*i for l.
-5
Let s = -12 + 7. Let p be (10/(-6))/((-5)/3). Let u be p/((-4)/140*s). Solve 5*x + 6*i - 4*i - 12 = 0, x - u = -5*i for x.
2
Let h be (-22)/3*(867/34 - 27). Solve 0 = q, -12*n - 3*q = -h*n + 5 for n.
-5
Let r = 276 + -243. Suppose r*m - 141 = 24. Solve -2*a - m*k + 4 = -a, -4*k + 16 = 4*a for a.
4
Let o = 4789 - 4778. Solve -5*g - o = 2*j, -4*j = -6*g + 5*g - 11 for j.
2
Suppose 0 = 4*p + 2*p