w. Let k be m(y). Solve k + 4 = 4*b for b.
4
Suppose 6 = a - 83. Suppose 34 = -72*f + a*f. Let l = 4 + -3. Solve -f*s + l - 11 = 0 for s.
-5
Let y = 21 + 71. Let j = 99 - y. Suppose 5 = 4*l - j. Solve f - 2 = -l for f.
-1
Let l(x) = -x**2 - 12*x - 19. Let g be 5/(25/(-15)) + -6. Let i be l(g). Suppose -i*p = -2 - 22. Solve 0 = -p*a - 6 for a.
-2
Let t be 75/30 - (-21)/(-6). Let d be 10*(t/(-6)*33 + -5). Solve 0 = d*w - 18 + 23 for w.
-1
Let d be 435/(-60) + 5/4. Let w be d*2/(-3)*(-102)/(-8). Suppose w*v + 4 = 52*v. Solve v*x - 4 = -0*x for x.
1
Suppose -43*a - 3*b + 69 = -39*a, -47 = -a - 5*b. Solve a*u + 44 = 32 for u.
-1
Let y(p) be the first derivative of p**4/4 + 2*p**3/3 - 3*p + 15. Let z be y(1). Solve z = -5*v + 6 - 21 for v.
-3
Let b = -74 - -95. Suppose 8*s - 5*s - b = -3*p, s = -4*p - 5. Let w = -56 + 60. Solve w = -3*l - s for l.
-5
Let b(f) = -f + 28. Let r be b(23). Suppose -r = -5*c + 5. Let l(v) = v + 6. Let y be l(-6). Solve -6 = -c*o - y for o.
3
Suppose -14*m + 6*m = -648. Suppose -2*q - 2*q - h = -m, -5*q = 3*h - 103. Solve 36*x + q = 32*x for x.
-5
Suppose 1 = -q + 6, 0 = 2*y + 3*q - 15. Suppose -31*n + 143 - 19 = y. Solve -4 = 2*x - n*x for x.
2
Let f = 4706 - 4693. Solve f*t - 18*t = 10 for t.
-2
Let x(t) = -t + 18. Let n be x(24). Let p(o) = -57*o - 331. Let g be p(n). Solve -1 = -3*k + g for k.
4
Suppose 91*t + 72*t - 2001 = 134*t. Solve -56*i + t = 293 for i.
-4
Let d(f) = -42*f - 193. Let q be d(-6). Suppose -51 + q = 2*k. Solve 0 = -k*l - 17 + 1 for l.
-4
Let a(p) = p**3 - 22*p**2 + p - 22. Let f be -46 + 48 - 2*1*-10. Let l be a(f). Solve 5*n - n = l for n.
0
Let p(z) = -5*z**3 - 4*z**2 + 5*z + 7. Let w(s) = 11*s**3 + 8*s**2 - 11*s - 16. Let h(f) = -13*p(f) - 6*w(f). Let l be h(0). Solve l*m + 16 = -3*m for m.
-2
Let t = -20 + 23. Suppose 5*k - t*v = 8, -4*v + 5 = -k - 7. Suppose 4*r + k*n - 12 = 0, 0 = -r - 4*n - 0*n + 9. Solve 0 = 2*a - 1 - r for a.
1
Let c = 1129 + -1117. Solve c*o + 201 = 273 for o.
6
Suppose -2*o + 3*j + 13 - 9 = 0, -4*j = 3*o - 57. Solve -s - o = -15 for s.
4
Let s(j) = j + 2 - 1 + 8. Suppose 4*k + 12 = -x - 3, 30 = -2*k + 4*x. Let d be s(k). Solve -o = -d*o + 3 for o.
1
Let d = -4224 - -5453. Solve 5*o = -1214 + d for o.
3
Let f be (2 - -1)/6 - (-642)/(-4). Let d be ((-3)/6)/((-4)/f). Let z = -17 - d. Solve -7*x + z*x = 16 for x.
-4
Let v = -302 + 303. Let p(s) = 29*s**2 - 17*s + 18. Let c be p(v). Solve 27*a = c*a + 3 for a.
-1
Suppose 14*a + 3321 = -13*a. Let m = -121 - a. Solve m*v + 2 = 3*v for v.
2
Let k(s) = -s**2 + s - 7. Let i be k(0). Let c be (-5)/3*i/(-70)*-12. Solve -q = -c*q + 3 for q.
3
Let d = 3179 - 3172. Solve -38*v + d = -45*v for v.
-1
Let s = -12 + 11. Let o = s + 41. Let j = -10 + o. Solve -10 = 4*y - j for y.
5
Let u(z) = 6*z**2 + 83*z - 10. Let k be u(-14). Let p be (6 - 10)/(-2)*k. Solve -p*l = -3*l - 20 for l.
4
Let q = -72 + 75. Suppose 0 = -3*u + 2*b + 13, -4*u + 8 = -8*b + q*b. Let c = -42 + 46. Solve c*t = u*t - 6 for t.
2
Suppose 0 = -p - 4*p + 15. Let g be (0/4)/(p + -1). Let l = -21531 - -21535. Solve -3*o - o - l = g for o.
-1
Let z be (1 + (-1)/2)/(3/342). Suppose 2*n = z - 47. Solve -n*t + 4 + 21 = 0 for t.
5
Let j(r) = -r - 5. Let x be j(-9). Suppose -5*m + x*l + 49 = 0, -1 + 0 = l. Let d(w) = -w**3 + 8*w**2 + 8*w + 9. Let q be d(m). Solve 0*i + 5*i = q for i.
0
Let b be 115/(-1104)*-8 - (-109)/6. Solve 19*d = -0*d - b for d.
-1
Suppose -286 = -44*r + 110. Solve 38 - 29 = -r*o for o.
-1
Let c = -11 + 21. Let t be 9/(45/c) - -50. Suppose -4*v = 44 - t. Solve -2*u = -u + v for u.
-2
Suppose -3*a - 599 = -5*q, 2*q = -79*a + 81*a + 234. Solve -14*u - q = 2 for u.
-9
Let q = -1059 - -1076. Solve 0 = -13*r + q + 35 for r.
4
Suppose 367*j + 522 = 189*j + 196*j. Solve -20 = j*x + 9 for x.
-1
Suppose -4*g = -21 + 9. Suppose -3*r = -3*s - 18, 2*r = -2*s + 3*s + 10. Let b be s/3 + (-30)/(-45). Solve g*u + 2 - 5 = b for u.
1
Let r be (-3402)/(-10) + 66/(-55). Let a = 350 - r. Solve 3 = 7*u - a for u.
2
Let f(c) = c**3 - 3*c**2 - 10*c + 2. Let l(m) = m**2 + 5*m + 2. Let j be l(-4). Let d be j/(-7) - (-132)/28. Let u be f(d). Solve 2*n - n = -u for n.
-2
Let n(c) = -c**3 + 42*c**2 - 26*c + 79. Let m be n(41). Solve 0 = 689*b - m*b - 25 for b.
-5
Suppose 549*p + 298 = 550*p. Let d = -293 + p. Suppose o = 4 + 16. Solve h = d*h + o for h.
-5
Let b(v) = -2*v**2 - 15*v + 14 + 5*v**2 + 10*v**2 + 0*v**3 - v**3. Let u be b(12). Let t be -1 - (u/26 + (-2)/13). Solve t*m - 5*m = 25 for m.
-5
Let v be (-42)/(-4) + 1/(-2). Suppose 0 = -2*r + 3*i + 281, 3*r = i - 6*i + 450. Let s = 148 - r. Solve 0 = -s*a + a + v for a.
5
Suppose -15 = -5*p - 5*a, -p + 5*a + 3 = a. Suppose -2*x + x + p*m = 0, 4*x = -4*m + 16. Solve 0 = -x*u + 4*u for u.
0
Suppose -54*a - 47*a = -80*a - 987. Solve 21 + a = 17*l for l.
4
Suppose 0 = -7*h - 375 - 94. Let s = -61 - h. Let g be 78/65*10/s. Solve 5 = l - g*l for l.
-5
Let f be (0 - 0)*(2 + -3). Suppose 249*a - 247*a - l = 1, -a = 2*l - 23. Solve 25 = -f*i - a*i for i.
-5
Let r be 3 - -8 - (-2 + 0). Let s(p) = 5*p - 14. Let d be s(3). Let t be d/((26/12)/r). Solve -5*j + 16 - t = 0 for j.
2
Let g be (-3796)/511 - 6/(-14). Let m(f) = -5*f - 19. Let x be m(g). Solve 0 = x*z - 12*z - 16 for z.
4
Let o(m) = -14 + 5 - 3*m + m**2 - m. Let a be o(9). Suppose 4*r - 4 = 6*r - 3*v, 5*r - a = -4*v. Solve r*x + 13 = -7 for x.
-5
Let r(j) = -j**2 + 2*j + 14. Let v be r(3). Suppose 7*z - 3 - v = 0. Solve -z*f = -6*f - 8 for f.
-2
Let q(u) = u**3 + 14*u**2 - 10*u - 15. Let i be q(-13). Suppose -5*s + 3*b = -i, 5*s + 3*b - 100 = 196. Solve -5*d - s = -33 for d.
-5
Suppose 5*m + 4*p = 2*m - 60, 4*m = -3*p - 73. Let t be -11 - (m/(-12) + (-28)/12). Let u = t + 25. Solve 2*i - u = -3*i for i.
3
Let w be (4/1)/(-12)*-33. Suppose -20*k + 25*k = 370. Let r = -71 + k. Solve -1 = -r*v + w for v.
4
Let a(v) = -2 - 185*v**2 + 186*v**2 + 2 - 3*v. Let k be a(5). Let j be 100/15*12/k. Solve 5*g - j = -33 for g.
-5
Suppose -t - 3*f - 14 = -37, 2*t - f = 18. Solve 169 + t = -30*m for m.
-6
Suppose -31*a = 5 - 36. Let w = 28 - 24. Suppose -a = -m, c - w = -m - m. Solve 8 = c*z + 2*z for z.
2
Let d be -2 + 286/(21 - 10). Solve 1 = -5*v - d for v.
-5
Suppose 0 = -2*c, 5*k + c = -73 + 343. Suppose 5*q + o - 63 = 0, 0 = 5*q - 2*o - 0*o - k. Solve 8*i - 11*i - q = 0 for i.
-4
Let x be (-5)/(-3) - (-2)/6. Suppose -400 - 143 = -o - 2*m, 0 = -3*m + 6. Let d = 542 - o. Solve 7 = x*w - d for w.
5
Let v = 15 - 10. Let c(g) = 2*g - 28. Let q be c(14). Suppose -3*x + 14*x = q. Solve -l = -x*l + v for l.
-5
Let f be 0*(-2)/(-1*4). Let j be (-2*(4 + 4) + -4)/(-2). Let n be 1/(-2)*1/(j/(-240)). Solve f*o = 3*o + n for o.
-4
Suppose -u - 5*w = 21, 4*u = -3*w + 26 - 93. Let f be (4551/(-492))/(2/u*1). Solve 0 = f*o - 71*o + 12 for o.
-4
Suppose 40*x - 185 = -65. Suppose -k + 0*q = q - 5, 0 = 2*k + 4*q - 18. Let a be ((-45)/(-2 + -1))/k. Solve 6*p = x*p - a for p.
-5
Suppose -o + 76 = 5*g, -o = -3*g - 6*o + 28. Suppose -68 = -g*d - d. Solve -d*z - 15 - 5 = 0 for z.
-5
Let v(u) = -45*u**3 - 2*u**2 + 2*u + 10. Let k be v(-2). Suppose 10*q - k + 178 = 0. Solve 3*y + q = 9 for y.
-3
Let d(p) = -2*p - 72 - 10*p + 0*p + 3*p. Let g be d(-8). Solve -4*b + b + 15 = g for b.
5
Suppose -25 = 6*y - 7. Let v be 1 + 2/(-2) + (y - -12). Let h be (-7 + 11)/(2 + (-6)/v). Solve o + 12 = -h*o for o.
-3
Suppose 24 = 9*f - 39. Solve 30*v = 7 - f for v.
0
Let s be -5 - (0 + 56/(-7)). Suppose -3*c = -4*w + 315, -2*c = -5*w + 3*c + 400. Solve w*z = 76*z + s for z.
-3
Let f(z) = -18*z + 110. Let s be f(6). Let r be 4/(-22) - 1662/(-66). Suppose 5*l + r = 2*b, 3*b + 3*l + 25 = -2*l. Solve b*k = k - s for k.
2
Suppose 5*c + 24*n - 553 = 27*n, 221 = 2*c - n. Suppose 5*f - c - 160 = 0. Solve 20 = -50*v + f*v for v.
5
Let v(y) = y**3 + y**2. Let x be v(-3). Let s be 4/(-18) - ((-554)/x + 4). Let u = s + 39. Solve 2*m - u*m = 6 for m.
-3
Let m(l) = 2*l**3 - 12*l**2 + 4*l - 1. Let z be m(6). Solve 0 = 22*w - 133 + z for w.
5
Suppose 3*u - 64 = -u. Let x be (-35)/(-420) + (-934)/(-24). Suppose -x = 3*m - u*m. Solve -2*n = 1 + m for n.
-2
Let c(q) = 2*q**3 + 113*q**2 - 70*q - 736. Let o be c(-57). Solve -o*g - 702 + 707 = 0 for g.
1
Let g be 14672/(-32)*(0/1 + -2). Let o = 917 - g. Solve o = 2*m + 43 - 39 for m.
-2
Suppose -2*o - 3 = 