= -623*f - n for f.
-2
Let y = 170 + -71. Suppose w + y = 101. Solve 4*u = w*u for u.
0
Suppose -3 = 3*k + 9, 5*y = -3*k - 7. Let p be 1 - 2*y/(3/(-6)). Solve -18 = p*t + 2 for t.
-4
Suppose -33*g + 28*g = 0. Let v be 32/(-88) - (-8 + (-28)/77). Solve g = -v*a + 5*a - 3 for a.
-1
Let g be 18/(-81) - (-11)/9. Let i be (3 + -1)/(g/4). Suppose i = j + j. Solve -j*u - 6 = -7*u for u.
2
Let b(y) = 4 + 11 + 0*y**2 + 4*y**3 - 8*y**2 - y - 5*y**3. Let u be b(-5). Let o = u + 67. Solve o = 3*q - 0*q for q.
4
Let u = 699 - 699. Suppose -14*f + 62*f - 1008 = u. Solve 10*b = 1 - f for b.
-2
Let m = -292 - -295. Suppose 0 = -m*i + 7*i - 100. Solve -15*b + i*b + 30 = 0 for b.
-3
Let w = -215 - -221. Solve w*i + 22 = 4 for i.
-3
Suppose 3*h - 374 + 328 = 4*s, s - 29 = -6*h. Suppose 3*a - 4*a + 8 = 0. Solve a = l + h for l.
2
Suppose -4*b = 5*k - 11, -4*b + 18 = -6*k + 4*k. Suppose 4*o + b*h - 4 = 0, 0*o + 3*o + h - 1 = 0. Suppose -x = 90 - 93. Solve o = -0*v - x*v + 15 for v.
5
Suppose -9*n = -15*n - 192. Let o = -30 - n. Suppose -3*r = o*r - 3*r. Solve -2*g - 3 - 3 = r for g.
-3
Suppose -17*m = -22*m - 5*u + 140, -136 = -5*m - 3*u. Solve 20*c - 18 = m*c for c.
-3
Let w = -754 - -734. Let u be w/(-2)*(-648)/(-180). Solve -10*r = -r + u for r.
-4
Let m = -156 - -331. Let x = m - 170. Solve 8*k - 15 = x*k for k.
5
Suppose -103*c = -63*c + 125*c. Let q = 2 - 0. Suppose -z = -q*z. Solve z*o - 2*o - 4 = c for o.
-2
Let z(c) = -c**2 + 18*c - 16. Suppose 62*o - 65*o + 336 = 0. Suppose 0 = 4*f + 44 - o. Let m be z(f). Solve 2*a = m - 5 for a.
-2
Let g = 2936 + -2893. Solve 0 = 37*h - g*h for h.
0
Suppose -173*r - 16 = -x - 174*r, r - 60 = -5*x. Let u(l) = 5*l + 3. Let q be u(-2). Let n be q + 86/x + (-2)/(-11). Solve -3*b = n + 2 for b.
-1
Let j be (-10611)/(-1539) + (-4)/(-38). Solve -j*d = 5 + 9 for d.
-2
Let y(r) = 1 + 0 - r + 1. Let x be ((-2)/(-3)*1)/((-1046)/1569). Let v be y(x). Solve -9 = 4*l + v for l.
-3
Let j = -7978 + 8023. Solve 36 = 9*o - j*o for o.
-1
Let w(f) = -363*f - 3178. Let c be w(-9). Solve -40*n - 111 = c for n.
-5
Let r be (-1)/(-7)*693/11 - -87. Solve m + 90 = r for m.
6
Let o be (10/(-6) + 2)/((-163)/(-12714)). Solve -o = 9*b - 80 for b.
6
Suppose 5*c - 1845 = 4*i, 5*i = 5*c - 0*i - 1850. Let n = c - 360. Solve 0 = n*f + 65 - 80 for f.
3
Let u(m) = -158 - 14*m**2 - 160 + 0*m - 165 - 19*m + 486. Let s be u(-1). Suppose -5*h + 3*h + 66 = 0. Solve -5*d + s = h for d.
-5
Let u(y) = -y**2 + 14*y + 3. Let b be u(14). Let j(p) = -7*p - 9 + b*p - 3 - 1. Let h be j(-4). Solve h = -q + 1 for q.
-2
Let m(d) = 85*d + 4047. Let p be m(-46). Solve -28*y + p = -59 for y.
7
Suppose -4*h + s = -51 + 57, s = -4*h + 6. Solve h = -10*u + 7*u + 12 for u.
4
Suppose -13*v + 11*v - 2 = -y, y - 4*v = 4. Suppose y = -6*h + 107 - 17. Solve 0*f = -3*f - h for f.
-5
Let n = 1546 - 1540. Let q(t) = t**2 + 5*t + 5. Let a be q(-4). Let z = n - a. Solve 1 = z*i + 26 for i.
-5
Let a(f) = -9*f - 409. Let o be a(-45). Let r be ((-9)/(-6))/(4 + 14/o). Solve -r + 7 = -2*u for u.
-2
Let a = -64 + 65. Suppose 27*f - a = 28*f, 3*z + 5*f + 5 = 0. Solve -5 = l - z for l.
-5
Let d be 20/4 + (1 - -3)/(-4). Suppose -28 = -n - 5*b, -45 = -d*n + n - 2*b. Let w = 15 - n. Solve 0 = w*i + 4 for i.
-2
Suppose -3*l + 8 = -1. Let g = -11 - -14. Suppose g*n - m - 7 = 5, 5*m = 0. Solve l*v - n + 1 = 0 for v.
1
Let q be 0 + -1 - (-19 + -2). Suppose c + 6*c + 4*c - 77 = 0. Solve c*z + q = 2*z for z.
-4
Suppose -3*a - d + 4092 = 0, 58*a + 5476 = 62*a - 2*d. Solve 0 = a*p - 1362*p for p.
0
Let q = -102 + 104. Suppose 2*j = -q*u + 4*j - 2, -u + 3*j = 3. Let a be (-1 - u)/(-4 + (-99)/(-27)). Solve s = a*s for s.
0
Suppose 2*t + 5*i = 2*i + 173, 0 = -2*t + 3*i + 143. Let r = t + -78. Let g be (r - (-21)/15)*5. Solve 0 = -4*a + 7*a + g for a.
-4
Suppose p = -5*r - 2 + 12, 4*p - 10 = -5*r. Suppose 2*t = -r + 6. Suppose 0 = 4*x + t*x - 120. Solve -x = -c + 5*c for c.
-5
Suppose 0 = 164*m + 42*m + 4 - 4. Let y be (-2)/3 - 4/(-6). Let v = y + 1. Solve m = o + 4 + v for o.
-5
Let y = 1 + -1. Suppose y = 5*v - 3 - 2. Let r = 9429 - 9429. Solve r*j = j - v for j.
1
Let d = -39 + 53. Let x(w) = -w**2 + 13*w + 16. Let p be x(d). Suppose 13 = g + 4*o - 11, -p*o + 6 = 0. Solve -2 = -2*q - g for q.
-5
Let m be (16/20)/((-51)/(-510)). Solve m = 18*f + 44 for f.
-2
Let s be 3/(-2)*(-3 - (-85)/(-51)). Solve 34 = -s*k - 1 for k.
-5
Let b be 4 + (1 + 2 + 0)*4/4. Solve 45*j + 228 = b*j for j.
-6
Let m be (-6 + 2)/4 - -1. Suppose 3*t - 9 = -3*h + 2*t, -h + 3 = 2*t. Let y be (-5)/(-4)*(-16)/((-12)/h). Solve -y*n + m - 5 = 0 for n.
-1
Suppose -4*b - 498 = -3*n - 278, 0 = -n - 2*b + 70. Solve -n + 42 = -6*c for c.
5
Let z be (-24)/32 - (0 - (-62)/(-8)). Suppose -12*v = -z*v - 10. Suppose -4*r + h = r - 5, -v*r = 3*h - 19. Solve -r = -0*f + 2*f for f.
-1
Suppose -4*k = 12, -11*v - 3*k - 660 = -14*v. Solve -285*a = -316*a - v for a.
-7
Suppose 3*h + 3*h = 0. Let t be 1 + (-10)/5 + -3. Let r be (-144)/(-60) + t/10 - h. Solve 0 = r*c - c - 5 for c.
5
Let c = 29 - 17. Let n be (c - (-1 + 0))*1. Suppose 3*y - 2*y - 5*j - n = 0, 2*y = -3*j. Solve -y*s + 2 = -s for s.
1
Let l(z) = 4*z**2 - z + 2. Let c be l(-2). Let k = c + -13. Suppose -39 + 26 = -2*g - w, 2*g - 11*w = -23. Solve -g*d - k = 18 for d.
-5
Let j(r) = -r**3 + 5*r**2 - 4*r. Let m be j(2). Suppose -368 = -4*t + m*c, 13*t + 5*c = 9*t + 341. Solve a - t = -93 for a.
-4
Let h be (9 + -7)/(6/(-69)). Let u(d) = 2*d + 56. Let c be u(h). Suppose 5*n - c*n = -25. Solve 0 = n*r - 10 + 15 for r.
-1
Let r be -7 + 11 - (3 + (-3)/3). Suppose -8 = -5*q - g, 3*q = -r*q + 5*g + 20. Solve q*v + 4 = 3*v for v.
4
Suppose 2*u - 4 = 2, 54 = 3*q + 3*u. Suppose -3*k + 0 = -q. Let l = -38448 + 38450. Solve -k*d = l - 7 for d.
1
Let p(j) = -j**3 - 10*j**2 - 18*j - 6. Let q be p(-9). Suppose -5*i - 2*k = -k - 391, -i - k + q = 0. Let z = i + -59. Solve -z = -2*o - 2*o for o.
5
Let y(k) = 2697*k + 10835. Let t be y(-4). Solve 88*r + 575 - t = 0 for r.
-6
Let a(i) = -i**3 - 3*i**2 - i - 7. Let o be a(-3). Let c be o/12*-9 + (-4)/2. Solve -y = 2 + c for y.
-3
Let o be 1 - (4 + 1) - -10. Let l be 4*2 - (-7 - -6). Suppose -v = 3*z - l, 1 = 2*z - 3. Solve o*t = v*t - 3 for t.
-1
Let l = 18 - 16. Let g = 2366 - 2366. Solve -p = -g*p + l for p.
-2
Let x(f) = 10*f - 4 - 8 - 7 - 4*f. Let k be x(4). Suppose -9*t + 41 - k = 0. Solve -5*s = t + 21 for s.
-5
Let f be (517/33 + -3)*(-17 - -23). Solve 2*w + f = 74 for w.
-1
Let a = -33 - -36. Let h(i) = 3*i**2 + 29*i + 30. Let z be h(-1). Solve -z*q + 1 = -a*q for q.
1
Let l be (21 - 25)*2/(-4). Let u = 9 - 8. Let j be -9*(u + -2) - -3. Solve -h = l*h - j for h.
4
Suppose -3*w + 6*w + 36 = 0. Let k = 1882 - 1902. Let s = w - k. Solve 0 = -3*y - 2 + s for y.
2
Suppose -4*t - 2*n + 3 = -3, 3*t - 3*n - 18 = 0. Let i(w) = -w**2 - 30*w + 7. Let d be i(-30). Solve -10*y + d*y = t for y.
-1
Suppose -4*y + 9*y - 101 = 2*w, 0 = -3*y - 4*w + 71. Solve -9*j + 12 = -y*j for j.
-1
Let v be (-6)/(-12)*0/2 + 1. Let l(y) = 107*y**3 + 2*y**2 - 3*y + 2. Let k be l(v). Let q = k - 108. Solve 3 = -3*m - q*m for m.
-1
Let r = 3159 - 3143. Solve -8*b + r = 8 for b.
1
Suppose 4*a - r = 149, 4*a - 106 = a - 5*r. Let v = -38 + a. Let w be (2 - 1)/(0 - v). Solve 0 = -4*k - 7 - w for k.
-2
Let f be (53 + -48)*((-68)/(-10) + -3). Solve -13*w - 97 = -f for w.
-6
Suppose -6*a = -5*a - 10. Suppose -5*m + a = -0. Let u be (-15 + (-1424)/(-96))*-18. Solve -u*n - m*n = 0 for n.
0
Let v(f) = -f**2 - 4*f + 9. Let h be v(-6). Let o be (3/6)/((-2)/(-44)) + h. Let r = -3 - -5. Solve -r*q = -o + 2 for q.
3
Suppose -153*g = -146*g - 98. Suppose -2*s = g*s. Solve s = j + j - 4 for j.
2
Let l = -41 - -43. Suppose -4*s + 10 = -l*y, -s = -6*s - y + 30. Solve -7*a + s*a = 0 for a.
0
Let r(f) be the second derivative of f**3/3 - 16*f**2 - 9*f + 3. Let v be r(17). Solve -2*g - 4 = v*g for g.
-1
Let s be 4/(1*(3 - 1)). Let j(h) = -3*h**2 - 14*h + 6. Let n be j(-5). Let x be n/4*s - (-9)/6. Solve q + 2 = -x for q.
-4
Suppose -y - 116 = -139*m + 134*m, -4*m + 4*y = -80. Solve -7*r + m - 10 = 0 for r.
2
Let u be (12 - 11) + (7/(-7) - -1*29). Solve -20*m = -u*m + 27 for m.
3
Let p = -513 + 620. Solve 8*u + p = 123 for u.
2
Let l = 2334 + -2323. Solve l*q - 52 - 3 = 0 for q.
5
Let z be (20/(-6))/(41/(-2460)).