f + 73 = -71. Let s be f/(-2) + (22 - 25). Solve 3*c - 2 + s = 0 for c.
-1
Let f = 219 + -353. Let u = f + 137. Solve 0 = m - 4 + u for m.
1
Let r(v) = v**2 - 5*v - 3. Let p = 18 + -12. Let b be r(p). Let k be (-390)/(-13) + -14 + -16. Solve k = o - 0 - b for o.
3
Let i(k) = 13*k + 711*k**2 + 720*k**2 + 4 - 1433*k**2. Suppose -30 = -4*v + 3*o, 0*v = -v + o + 8. Let l be i(v). Solve 6*n = n + l for n.
2
Let g = -180 + 185. Suppose 5*w - 10 + 5 = -g*y, -5 = -y - 5*w. Let c be 2*(-1)/(-2)*9. Solve y = 4*k - c*k for k.
0
Suppose 410*u - 413*u + 30 = 0. Solve u*g + 24 = -2*g for g.
-2
Let d(t) = 3*t**2 + 46*t - 17. Let w be d(-16). Let v = w - -3. Solve 0 = 5*u - 7 - v for u.
5
Suppose -7*u = -511 + 427. Solve 38*m + u = 35*m for m.
-4
Suppose -n = 2*s, n + 6*s - s + 9 = 0. Suppose -3*h + 2*a = -21, n*a - a = -3*h. Suppose -3*t = -h*o - 20, 2*t - o - 8 = o. Solve t + 4 = 4*u for u.
1
Suppose -8*t - 3176 = -8544. Let o = t - 668. Solve -o*z + 5*z + 6 = 0 for z.
-3
Let v be ((-6)/24*6)/(6/(-656)). Solve -9*w - v = 32*w for w.
-4
Suppose -2*t - 33 + 35 = 0. Let h(a) = -a**3 + a**2 - 1. Let u(w) = 4*w**3 - w**2 + w. Let b(i) = 2*h(i) + u(i). Let n be b(t). Solve m - 1 = n*m for m.
-1
Let w(a) be the second derivative of -5*a**3/6 + 125*a**2/2 + 2*a - 3. Let y be w(25). Solve o = 3 - y for o.
3
Suppose -5*h - 5*s = 5, -4*s - s - 5 = -3*h. Suppose -2*r - 7 = 2*d - 15, 5*d + 20 = 0. Suppose 0 = 9*y - r*y. Solve 5*x + 5 + y = h for x.
-1
Let t be 6720/2160 + (-1)/9. Solve 29 = -t*o + 14 for o.
-5
Suppose -201*q = 3*p - 200*q - 22, 3*q + 4 = p. Solve p*g + 1698 = 1740 for g.
6
Let z = 77 + -83. Let c be ((-5)/(-15))/(z/(-36)). Suppose 4 = 3*p - o + c, 5*p - 6 = o. Solve -7*g = -p*g for g.
0
Let t be -10*(12 + 2660/(-200)). Solve -t*f = 27*f + 320 for f.
-8
Let g = -12040 + 12048. Solve 36 = -g*s - 10*s for s.
-2
Suppose -32 = -21*s + 52. Suppose 7*f = 8*f, 3*f = s*t - 24. Solve 0 = 5*y + 9 + t for y.
-3
Let u(c) be the first derivative of 3*c**2/2 + 26*c + 264. Let f be u(2). Solve 5*g = 13*g + f for g.
-4
Let f(d) = d**2 + d. Let q be f(1). Let k be q + 9/12 + (-33)/12. Suppose k*x = -2*x. Solve -h = -x + 5 for h.
-5
Suppose 4*x + 93 = p - 6*p, -2*p - 78 = 4*x. Let r be -1 - -6 - (-14 - x). Solve -3*j = r*j - 20 for j.
4
Let u = -18087 - -18102. Solve 20 + u = 7*k for k.
5
Let t(h) = -h**3 + 2*h**2 + 2*h - 2. Let x be t(2). Let o be (-32)/6*4/(208/(-195)). Solve -x*k = 3*k + o for k.
-4
Suppose 3*f = -5*h + 35, 37 - 58 = 2*f - 3*h. Solve -4*b + f*b = -b for b.
0
Suppose -n - 3*j = -43, 2*j + 79 = 3*n + j. Solve 32*y - 4*y = -n for y.
-1
Suppose 6*r = 2 + 42 + 10. Solve r*z + 18 = -9 for z.
-3
Suppose -34*m + 3556 + 20720 = 0. Solve -83*h - m = 19*h for h.
-7
Let v(f) = -73*f - 681. Let d be v(-9). Let p be (-46)/(-1 + 2) + 2. Let a = d - p. Solve -2*h = 2*h + a for h.
-5
Let q = -4607 + 4745. Solve -5*n + 163 = q for n.
5
Suppose 16*b = b + 30. Let m(z) = -9*z - 1 + 6*z + 3 + 2*z. Let f be m(-2). Solve -b*y - 14 + f = 0 for y.
-5
Let o(r) = 4. Let s(n) = -n - 1. Let k(y) = 5*o(y) + 5*s(y). Let l be k(0). Suppose -7*g - l = -12*g. Solve -9 = -0*j + g*j for j.
-3
Suppose -5*k + 12*k - 455 = 0. Suppose 0 = -68*t + k*t. Let m be (7 - (1 + 1)) + 0. Solve t = m*w - 0 + 10 for w.
-2
Let b(r) = 3*r**2 - r + 2. Let n(t) = t. Let a(q) = -q. Let v(j) = a(j) + 2*n(j). Let w be v(1). Let f be b(w). Solve -2*o = -f*o - 6 for o.
-3
Let z be (-65 + 3)*(-3)/6. Let v = 35 - z. Solve 0 = -4*p - v + 16 for p.
3
Suppose -3*r = -5*l - 32, -2*r + 29 = -r + 2*l. Solve -r*m = -32*m - 26 for m.
-2
Let k(w) = w**2 + 9*w + 17. Let b be k(-6). Let c be (1 + b)*7/140*10. Solve 5*r + 33 - 18 = c for r.
-3
Let y = 19 + -16. Suppose 8 - 2 = y*a. Suppose 18 = 2*p + 2*l, l + a + 5 = 3*p. Solve f - 3*f = -p for f.
2
Let g be (22/8)/((-3)/(-12)). Let q(d) be the second derivative of d**4/3 + d**3/2 + d**2 - d. Let a be q(-1). Solve a = 2*f + g for f.
-4
Suppose 4*a + 107 = -5*r, 0 = -r - 2*a - 3*a - 13. Let b be r/(-2) - 1/(-2). Suppose 0 = 5*o - 10*o + 20. Solve o*j = -0 + b for j.
3
Let z(n) = 2*n + 11. Let k be z(1). Suppose -k*r + 53 - 1 = 0. Solve -h - 10 = r*h for h.
-2
Suppose 2*s + 17 = 4*o + 3*s, 0 = 2*o + 3*s - 11. Suppose -4*m = o*m. Let x(w) = -5*w - 5. Let y be x(-5). Solve m = -6*u + 2*u - y for u.
-5
Let i(k) be the second derivative of 2*k**3/3 - 11*k**2 + 32*k. Let r be i(7). Suppose -4*c - r = -2*m, c = 2*c + m - 3. Solve -2*d + d - 4 = c for d.
-4
Let c(i) = 5*i - 20. Let q = -55 - -61. Let k(o) = -6*o + 21. Let y(j) = q*k(j) + 7*c(j). Let w be y(-16). Solve -6 = w*z + 2 for z.
-4
Suppose -562*z = 7*z - 4552. Solve z*d = -7*d + 135 for d.
9
Let q(b) = b**3 - 14*b**2 - 14*b - 12. Let l be q(15). Suppose 11*t - 4*u = 16*t - 13, -3*t + l = 4*u. Solve 24*x = 29*x + t for x.
-1
Let q(p) = 13*p + 4. Let v be q(2). Let f = 36 - v. Suppose 5*c = -n + 27, 0 = -c - c + 6. Solve 0 = -3*h + f*h + n for h.
-4
Suppose -c - z + 188 = 0, 4*z = 16*c - 15*c - 173. Let f = -182 + c. Solve 0*x - 3*x + f = 0 for x.
1
Suppose 40 - 68 = -4*s - 4*m, 0 = 5*s + 3*m - 27. Let x be (88/(-12) - -8) + (-68)/(-6). Solve 0 = s*w - x for w.
4
Suppose w = 2, 0 = -n - 3*n - 2*w. Let z be (n/(-6) - 7/6) + 3. Suppose 18 = 2*t + 10*d - 14*d, -5*d - 21 = -z*t. Solve 0*l + t = l for l.
3
Suppose -12*b + 121 + 147 = -152. Solve -b*p - 7*p = 42 for p.
-1
Let i(b) = -191*b - 3227. Let q be i(-17). Solve 40*x = q*x + 80 for x.
4
Let q be -221 - ((-6)/5)/((-75)/(-250)). Let y = 221 + q. Solve 1 + y = i for i.
5
Let f = -916 + 1025. Solve 4 = f*i - 107*i for i.
2
Let c = 583 + -401. Let v = c - 179. Solve 7*g - v*g + 12 = 0 for g.
-3
Let y be (-9)/(-6)*4 - (-324)/9. Suppose -17*q - y = -110. Solve -16 = 8*r - q*r for r.
-4
Suppose -2 = -66*l + 68*l, c - 20 = 6*l. Solve -3*y - 10 = c for y.
-8
Let n be -7*(-2 + (-3)/6)*96/40. Solve 0 = -13*a - 10 - n for a.
-4
Let l = -35225 - -35227. Solve -244 = -l*x - 256 for x.
-6
Suppose x = -2*i + 25, 2*i - 251 + 220 = -3*x. Suppose 18*g - 16*g = 2. Solve -g = 10*k - i for k.
1
Let s be (-1563)/(-24) + (-13)/104. Let z be (-18)/(-5)*(s/(-39))/(-1). Solve -z = 5*c + 19 for c.
-5
Let b(l) = -l**2 + 4*l + 31. Let x be b(0). Suppose 4*j = 4*r + 20, -4*j - r + x = -9. Solve 4*m - j*m - 25 = 0 for m.
-5
Suppose -5*c + 22 = 4*p, 4*p - 10 = 3*c - 2*c. Suppose y - 2 = -b, c*y = 4*y + 4*b. Solve -y*q - 9 = -1 for q.
-2
Suppose 19*r + 194 = 365. Solve -r*x = -1 - 17 for x.
2
Let o(v) = -v**2 + 24*v + 80. Let n be o(27). Let p(c) = -75*c**3 - c**2 - 2*c - 1. Let i be p(n). Let w = i + -71. Solve 8*d - w*d - 16 = 0 for d.
4
Let d = -199 + 174. Let p be (1*-2)/2*(d + 22). Solve k = 4 - p for k.
1
Suppose -871 - 1313 = -55*t + 16*t. Solve -36*v + t = -22*v for v.
4
Let a = -59 + 64. Let s be -1*2/(-1) - (a - 5). Suppose s*o - 3*o + 7 = 0. Solve 0 = c - 3 + o for c.
-4
Let r(q) = q**2 + 6*q + 5. Let t be r(-6). Suppose z + 3*z + t*a = 15, 18 = 3*z - 3*a. Let u(l) = 9*l - 42. Let d be u(z). Solve -6*f + d*f = -15 for f.
5
Let q(n) = n**3 - 18*n**2 - 48*n + 551. Let u be q(19). Solve u = -1886*b + 1889*b + 9 for b.
-3
Let t(j) = j**2 - 10*j - 20. Let o be t(11). Let g(c) = 2*c**2 + 11*c - 3. Let h be g(o). Suppose 2*n = -4*n + h. Solve -2*a + 4*a = -n for a.
-5
Suppose 0 = -4*r + 6 + 26. Solve r*i - 12*i = 0 for i.
0
Let q be 26 - (0 - 0) - 2. Suppose 12*d + 195 = -633. Let u = d + 70. Solve -5*y + q = -u for y.
5
Suppose 3*z - 266 = 4*j, 2*z = -0*j + j + 179. Let w = 267 - 175. Let d = w - z. Solve -d*h + 8 = 2*h for h.
2
Suppose 3*v + 1112 = 2*n, -311*n + 314*n = -2*v + 1655. Solve 535*p = n*p - 72 for p.
4
Let r be (-64)/(-576) + 2/(-18). Suppose 4*d - 16 = 5*w, -2*d - 3*d + 20 = -4*w. Solve r = -w*f - 2*f - 2 for f.
-1
Let u(d) = 2*d - 81. Let m(q) = -2*q. Let l(r) = -2*m(r) + 2*u(r). Let o be l(22). Solve -16*i = -o*i + 4 for i.
-2
Suppose -4*g = 0, -26*m + 23*m = 2*g - 180. Suppose -17*d + m = 13*d. Solve d*a = a for a.
0
Let o be (7/(-4) + -3 + (4 - -1))*164. Solve 57*w - o*w + 32 = 0 for w.
-2
Let q(k) = -k**2 + 13. Let t be q(0). Let f(g) be the first derivative of g**2/2 - 10*g - 19. Let l be f(t). Solve x + 8 = -l*x for x.
-2
Suppose 45*t - 5*t - 55*t + 165 = 0. Solve 4*o = -19 + t for o.
-2
Suppose 1835516*t = 1835572*t - 129 - 1327. Suppose -2*d - 12 = -f, -30 = -2*f - 4*d - 6. So