 1 - f for n.
3
Let b be 290/4 + 4/(-8). Let t = 73 - b. Solve g + x = 4, -3*x - 12 - t = -2*g for g.
5
Let b = 342 - 348. Let g be 10/(-45) - b/27. Solve -3 = -3*u, -3*s + s - 4*u - 4 = g for s.
-4
Let a(h) = -62*h + 316. Let m be a(5). Solve -4*q + v + 8 = 6*v, 0 = -3*q - 2*v + m for q.
2
Suppose 0 = 2*i - 4 - 2. Let k be (91/(-117)*-12 - 3) + 16/(-12). Solve -4*u + 7 = h, -3*h + 4*u - i*u = k for h.
-1
Let z(j) = j**2 - 78*j - 876. Let k be z(-10). Solve -2*a = -3*q - 0*q + 14, k*q - 28 = 5*a for a.
-4
Let s = -6277 + 6328. Solve 6 = -2*x + b, -2*b - s = -2*x - 61 for x.
-1
Suppose 1700*t - 1693*t - 14 = 0. Solve 5*g = -5*r - 5, 4*g - t*r = 3*r + 23 for g.
2
Let s be ((-1)/((-4)/11))/(97/388). Solve -4*z + s*a + 26 = 14*a, -4*a - 12 = -4*z for z.
5
Let y be (5/4)/((-20)/(-160)). Solve 3*u = -5*j - 1 + y, -u - 3*j + 3 = 0 for u.
3
Let u = 8978 + -8968. Solve 0 = -5*o - 5*s + u, 4*o - s + 7 = -0*o for o.
-1
Let a(l) = l**2 - 8*l - 5. Let f be a(9). Suppose 7 = o - 0. Suppose o*h - 7 = 7. Solve -3*w = f*s - h - 3, -3*w = -s + 20 for s.
5
Let a(m) = m**3 - 71*m**2 - 78*m + 445. Let s be a(72). Solve 119*y + 18 = 117*y - 4*k, s = 3*y - 4*k for y.
-1
Let l be 2/(-10) + (-11)/(-5). Let z be -6 + (5/2)/((-1)/(-2)). Let t be ((-110)/(-44))/(z/(-2)). Solve -t*b = -6*a + a - 30, 3*a + l = -5*b for b.
2
Let l = -2914 + 2934. Solve -5*f + 5*i = -l, 3*i + 15 + 0 = 0 for f.
-1
Suppose 2*u - 13 + 3 = 0, 12 = -t + 4*u. Solve 9*h - 6 = 8*h - 3*n, -5*h + 4*n = t for h.
0
Let a(j) = -j**2 - 19*j - 14. Let n be a(-18). Let p be ((-10)/(-3))/(14/21). Solve 0 = 3*k - n*s - 13, 9 = 2*k - p*s - 2 for k.
3
Let q(g) = -2*g**3 + 49*g**2 - 31*g + 173. Let i be q(24). Solve 38*s + 12 = -2*h + 36*s, 2*h = 5*s - i for h.
-5
Let y(s) = -s**2 + 14*s + 12. Let k(q) = q**2 + q - 16. Let g be k(-6). Let a be y(g). Suppose 0 = a*w - 48. Solve 0 = -t - w*n + 25, 4*n = -2 + 22 for t.
5
Let z be (-78)/(-4) - ((-9)/3)/(-6). Suppose z*b + 12*b = 62. Solve 3*d - 6*f = -b*f + 6, 4*f = d - 10 for d.
-2
Let r(k) = k**2 + 11*k + 21. Let t be r(-9). Suppose -4*o = 4*i, t*i - 12 = 2*i + 3*o. Solve 2*w - i = -3*l, 4*w + 6 = -0*w - 2*l for w.
-3
Let m be 76*8/64 + (-2)/(-4). Suppose m = 22*k - 12. Solve 3*o = -2*b - 21, 0 = -2*o + 2*b + b - k for o.
-5
Let b be 3/(-1 - 29/(-26)). Let p be -2*(462/252)/(2/12). Let u = b + p. Solve 2*l + 2 = r - 0, -u*r = 5*l + 5 for r.
0
Let y be ((-1675)/(-15) - -3)/((-6)/(-9)). Let f = y + -170. Solve -u - 3*g - g = -19, -27 = f*u - 5*g for u.
-1
Let o(k) = 1. Let s(w) = w**2 + 16*w + 38. Let u(t) = 5*o(t) - s(t). Let c be u(-6). Suppose -11*a + c*a = 32. Solve -q - 6 = 5*g - 0, -q = a*g for q.
4
Let i(d) = -2*d**3 + 11*d**2 + 6*d + 10. Let s be i(6). Let r(h) = h**3 - 5*h**2 - 51*h + 25. Let g be r(s). Solve g = -5*t - 2*o, -t + 5*o = 2*o + 20 for t.
-5
Let u be (-936 - -943)/((-3)/(18/(-14))). Solve 4 = -34*b + 37*b - 5*c, -u*c - 16 = 5*b for b.
-2
Suppose -3*k - 12 = v, 7*k = -3*v + 6*k - 4. Solve -2*w - x = 1, v = -w - 4*x + 4 - 1 for w.
-1
Let k(a) = -38*a - 472. Let t(u) = -13*u - 158. Let x(n) = 3*k(n) - 8*t(n). Let m be x(-16). Solve -4*h - 14 = 2, 4*h + m = 4*w for w.
-2
Suppose 7*z + 3*z = 40. Suppose -2*a = z*o - 354, 0 = -o - 3*o + 2*a + 374. Let i = o + -86. Solve i*g + 22 = 4*h - 0*g, -h + 2*g = -7 for h.
3
Let b = 207 - 408. Let x = b - -204. Solve -x*f = 5*l + 2, 3*l + 0*l + 5 = 2*f for l.
-1
Suppose 2*i = 3*r + 4, -5*i = 21*r - 18*r - 10. Solve -3*b + 14 = h, -i*h - 11 - 1 = -4*b for b.
4
Let b = 107 - 5. Let l be 321/15 + b/170. Solve 3*g - 2*z - 11 + 1 = 0, 5*g = -2*z + l for g.
4
Let r(l) = -786*l + 6293. Let t be r(8). Solve -t*q = 4*f - 37, -4*q - 65*f + 35 = -60*f for q.
5
Let l be 25 - (11 - 72/(-18)). Solve -5*o - l = 0, -4*w - 4*o + 19 = 43 for w.
-4
Let i = -53 - -113. Let o = -47 + i. Let r be (12/(-8))/(-3)*0. Solve -2*h - o = -h + 2*t, -h - 4*t - 23 = r for h.
-3
Let b(r) = r**3 - 3*r**2 - 5*r + 4. Let l be b(4). Suppose 102 = 3*k - l*k. Let i = -32 + k. Solve -i*o + 19 = -3*o - 4*t, 3*o + 2*t + 7 = 0 for o.
1
Let o be ((-16)/88 + 168/(-44))/(1/(-2)). Solve -3*h + 2*g = 11, -o = -h + 4*h + g for h.
-3
Suppose -w - 3*k - 124 + 101 = 0, -5*w - k = -11. Solve -25 = -u - w*f, -3*f = -131 + 116 for u.
5
Let s(t) = -t**2 + 114*t - 513. Let x be s(5). Suppose 0 = 5*g + 25, f + 0*f = -g + 2. Let u = -4 + f. Solve 4*j - x = -u*v, 3*j - 35 = -4*v - v for j.
5
Suppose -25*z - 53 = 22. Let w be (-2 + -1)/(z/26). Solve 0 = -5*c + 3*d + w, 3*c = 3*d - 4*d + 10 for c.
4
Suppose 3*r + 4*h - 100 = 0, -4*r + 2*h + 3*h = -185. Solve 4*t = -a + 15, 4*a + 36*t + 40 = r*t for a.
-5
Let d be (1/2)/((-2)/(-60)). Solve 2*y = -2*l - 12, 15*l - d = 10*l + 4*y for l.
-1
Suppose 0 = 3*c + 3*a + 12, -2*c - 144 + 160 = -2*a. Suppose j - 66 = -2*j. Suppose -q = q - 46. Solve c*g = -4*d + j, 0 = -5*g - 0*g - 2*d + q for g.
3
Let f(a) = -22*a**3 + 4*a**2 - a - 11. Let w be f(-3). Let y = w + -619. Solve -4*l - 10 = 6, 4*z - 8 = -y*l for z.
5
Let x(t) = t**2 - 14. Let u be x(-3). Let y be (u - 0/(-4))*-1. Suppose 0*v - y = -v. Solve -5*j - c = -0*c - 3, 15 = v*c for j.
0
Let v(m) = -m - 1. Let u(i) = 4*i - 2. Let b(w) = -u(w) - 6*v(w). Let c be b(5). Suppose 2*l - 32 + c = 0. Solve s = -5*g - 4 + l, -3*g = -3*s + 9 for g.
0
Suppose -3*s + 3024 = 2988. Let b be ((-1)/s)/1 + 24/288. Solve -2*h + h - 4 = 3*l, b = 3*h - l + 2 for h.
-1
Let h be 6 + 1 - 0/(-17). Suppose h*u - 8 = 20. Suppose 2*s - 19 = s. Solve 3*x + d - 6*d + 4 = 0, -u*d = 5*x + s for x.
-3
Let y(o) = 892*o + 3582. Let a be y(-4). Solve -m + 4 = -4*w, -5*w + 2*m = -3*w + a for w.
1
Let t be -14 - (4 + 364/(-14)). Solve -5*q + 4*o = t*o, 0 = q + 5*o + 21 for q.
4
Let t be (-8946)/(-1134) - 6/(-54). Solve -t*q = 5*o - 9*q - 7, -q - 7 = 4*o for o.
0
Suppose -3*n + 3*m - 3 = 0, 15 = -142*m + 147*m. Solve -54*r + 55*r = 4*u - 12, n*r - 12 = -4*u for r.
0
Let m = -79 + 79. Suppose -2*x + 8 = -w, 4*x - 2 = -5*w - m. Let o be 20 + (-2 - 12/(-4) - 5). Solve -h - x*h - 4*q + 16 = 0, -o = -4*q for h.
0
Suppose 12*v + 5*r - 3 = 16*v, 5*v = -r + 18. Let h(n) = -n. Let x be h(-5). Solve 25 = -5*l, v*d = -3*l - x - 19 for d.
-3
Suppose 0 = 62*y - 1100 + 914. Suppose -4*g = -12 + 36. Let r(z) = 2*z**2 + 8*z + 8. Let h be r(g). Solve -4*p - h = 4*i, 4*p = -y*i - 11 - 16 for i.
-5
Let g be (-26)/(-117) - 43/(-9). Suppose 2 = t - 3*a - g, -2*t = -5*a - 13. Let k be 4/t*(4 + -1). Solve -2*l = l + 3*z, k*l - 5*z = -32 for l.
-4
Let d(m) = 70*m**3 + 2*m**2 + 2*m + 2. Let q be d(-1). Let o = q - -72. Solve 0 = 5*j - o*p - 3, 5 - 2 = -j - p for j.
-1
Let f(m) = 25 + 67 + 7*m - 8*m - 3*m. Let y be f(22). Solve 8 = -6*k + y*k, -5*b - 20 = 5*k for b.
0
Let p = 491 + -306. Let b = p + -182. Solve -5*t - 22 = -3*q, 2*t - b*t = 2*q - 6 for q.
4
Let l be (7 - 9 - (-386)/(-4))*2. Let z = l - -201. Solve -2*v + 1 = -3*v + z*n, -4*v - 2*n - 4 = 0 for v.
-1
Let t be -8*6/(-192)*(5 - 1). Solve 0 = a + 5*k - 14, -a + 3*k - t - 1 = 0 for a.
4
Let i be (2 - 4)/((-4)/10). Let n be 774/(-90) + (0 - (-3)/i). Let o be 3/(n/(-24)*3/2). Solve -z = -4*c - 25, 2*z + 10 = o*z + 2*c for z.
5
Let y(z) be the second derivative of -z**5/20 + 17*z**4/12 + z**3/2 - 24*z**2 - 5*z - 1. Let m be y(17). Solve -4*p - 3*u - 1 = -2, 0 = -m*u + 9 for p.
-2
Suppose 0 = -17*o + 16*o + 4*t + 6, 2*o + 4*t - 36 = 0. Let x be 2/(-3) - o/(-3). Solve 4*f - x*u = 0, 5 = -0*u + u for f.
5
Suppose -6*i = -10*i - 6*i. Solve 5*c - 5 = 4*x - 15, 3*x = i for c.
-2
Let v be (-1)/(-2) - (2 - 984/16). Let n = v + -57. Suppose -18 = -2*i - 10. Solve -i*j = -3*h - 2*h + 8, n*h = -3*j + 21 for h.
4
Let y be (-5275)/250 + 28 + 1/10. Solve o + y = -3*l, -29*l = -32*l - 6 for o.
-1
Let h be ((-27)/(-9) - 69)/(-2*1). Suppose -h*l = -28*l - 75. Solve -2*z + 0*k = -3*k - 3, 3*k = -4*z + l for z.
3
Let p be 0/(3*(-11)/33). Solve -2*a - 4 = -43*r + 48*r, p = a - r + 2 for a.
-2
Let b(w) = 6*w**2 + w - 1. Let p be b(1). Let m = -7196 - -7200. Solve -c - 1 = -p*c - m*y, -26 = 2*c - 5*y for c.
-3
Suppose -146*j + 12 = -144*j + 2*i, 2*i = -j - 1. Solve -4*f + 10*d = j*d + 24, -f + 2*d = -5 for f.
-3
Suppose q - d + 5 = 0, -2*q - 134*d + 131*d + 25 = 0. Solve -4*n + 45 = -5*u, -35 = -q*n - 11*u + 16*u for n.
5
Suppose -67*w = -325 + 90 - 100. Solve -w*b + 8 = 4*u, -3*b - 15 + 11 = -2*u fo