 be 600/20*(-10)/(-25). Solve -x*a + 45 = 105 for a.
-5
Let t(p) be the third derivative of -p**6/120 + p**5/30 + p**4/24 - 2*p**3/3 - 16*p**2. Let o be t(4). Let i = o - -34. Solve 0 = 3*x - i*x + 5 for x.
-5
Let d = -4 - -13. Let y = -7347 - -7349. Solve 5*i = y*i - d for i.
-3
Let c = 7112 - 7092. Solve -82*d = -77*d + c for d.
-4
Let c(p) = 7*p - 4. Let m be c(-3). Let t = m - -18. Let g = -7 - t. Solve g*o - 12 = 4*o for o.
-3
Let n be (-2)/(-4) - (6/5)/(104/(-130)). Suppose -5*l + 11 = -14. Solve n*k = 5 + l for k.
5
Let t = 516 - 488. Solve -4*w + t = -0*w for w.
7
Let t = 1 + 1. Let f be (2/(-24))/(305/(-60) - -5). Solve r = -t + f for r.
-1
Suppose -47*l + 44*l - 3*n = -96, -5*n + 15 = 0. Solve -1 = 6*c + l for c.
-5
Let d = 413 - 122. Let h = d + -284. Solve h*c = 3*c for c.
0
Suppose 67*h + 12 = 71*h. Suppose 0 = 5*y - h*y - 10, -4*d + 3*y + 9 = 0. Solve d*l + 4 + 26 = 0 for l.
-5
Suppose 3*k = -5*f + 15, 3*k + 2*k + 2*f = 6. Let q be (5 - 3)*5/(-1). Let b(y) = y**2 + 9*y - 7. Let p be b(q). Solve k = p*a - 8*a for a.
0
Let m(f) = -f**2 + 17*f - 16. Let k be m(16). Let t be (-2 - (-52 + k))*(-5)/(-10). Suppose 4*y - t = -y, -4*y + 40 = 5*s. Solve -g - 15 = s*g for g.
-3
Suppose 2*c - 20 = 4*m, -4*m - 7 = -3*c + 17. Let z = -59 - -77. Suppose z*h = 8*h + 250. Solve h = v + c*v for v.
5
Let v be (-6784)/36 + 8/18. Let l = 192 + v. Solve -l*y = 4 - 12 for y.
2
Let f(n) = -n**3 + 15*n**2 + 5*n + 534. Let m be f(17). Solve 0 = -m*u - 11 - 112 for u.
-3
Let v be (-3)/(-12)*-12 - (-4 + (-284)/4). Solve v*p - 82*p = 50 for p.
-5
Let o = 101 + -326. Let s = -221 - o. Solve 7*j + s - 18 = 0 for j.
2
Suppose -12*q - 8702 = 7*q. Let z = 462 + q. Solve 6*f = z*f - 4 for f.
-2
Let s(w) = -w**2 - 14*w + 35. Let g be s(-15). Let h be (-1)/2 - -2*785/g. Let j = 83 - h. Solve -j = -0*c - c for c.
5
Suppose 2*d + 2*d + 2*l = 2678, -5*l = -5*d + 3355. Let q = d + -656. Solve -6*f - 16 = q for f.
-5
Suppose -y + 158 = 2*t, 5*t = 2*t - 2*y + 236. Suppose -t + 0 = 4*g. Let f = g + 22. Solve -3 = k + f for k.
-5
Let q(m) = 2*m**2 + 35*m - 2. Let w be q(-19). Let b be ((-12 - -4) + 9)*0. Solve -6*c + 17*c + w = b for c.
-5
Let t(w) = -2*w**3 + 314*w**2 - 6*w + 951. Let u be t(157). Solve -33 = -u*b - 33 for b.
0
Let r be -1*((-9)/2)/(-9)*-14. Suppose 0 = t - r*t + 12. Solve t*a + 2 = -6 for a.
-4
Suppose -38*j + 26*j = -316 - 8. Solve -j = 4*w - 7 for w.
-5
Let m be (28/9)/(150/189 - (-12)/(-21)). Solve 4*g = 10 - m for g.
-1
Let q(o) = o**3 + 40*o**2 - 125*o + 178. Let j be q(-43). Solve 4*a - 2*a = -j*a for a.
0
Let g = 3 + 9. Let b be (-7 + 2 - (-99)/33)/(-1). Solve g = b*j + 2*j for j.
3
Let d be ((-312)/42 + 7)*28/(-6). Solve 0 = -d*z - 4*z - 36 for z.
-6
Let a = -218 - -136. Let u be -5*1*-1*a/(-41). Solve u = -4*d - d for d.
-2
Let n be ((-2)/3)/(8/(-60)). Let h be (-8 + 11)*56/6. Let c = h - n. Solve -c + 3 = 5*p for p.
-4
Suppose -5*j + 1364*y + 2875 = 1369*y, -2*j = -5*y - 1213. Solve -593*g + j*g = 27 for g.
-3
Let q = 29511 - 29508. Suppose v - 26 + 6 = 0. Solve m + q*m + v = 0 for m.
-5
Let q(r) = -r**2 + 1. Let c(o) = -5*o**2 + 19*o - 37. Let l(y) = -c(y) + 6*q(y). Let v be l(-21). Let d be 5 + (-5)/(-10) - 3/6. Solve v = d*h - 9 for h.
2
Let b = -4167 + 4171. Solve -72*q + b = -68*q for q.
1
Let m = 20878 + -20853. Solve 38*j - m = -329 for j.
-8
Suppose 2*a - 278 + 272 = 0. Let p be (3/(-6))/(2/(-4)). Let b(g) = -g + 1. Let n be b(p). Solve n*d = -a*d + 6 for d.
2
Let o be ((-5)/((-5)/4))/(-2). Let l be (2/4)/(o/4) - -1. Suppose -5*g + 14 = -2*w, 4*g = -3*w + 5*w + 10. Solve l = -v - g - 0 for v.
-4
Let i = 4227 + -4207. Solve -8*l + 4 = i for l.
-2
Let l be (-5 - -9 - 7) + 567. Let w = 565 - l. Solve 8*h + w = 7*h for h.
-1
Let f = 626 + -350. Let b = f - 276. Let u be (-12 - -8)*(-2)/2. Solve b = -u*q + 8*q + 8 for q.
-2
Let p be ((-6)/(-5))/((-6)/(-40)). Suppose 22*z - 173 = 113. Solve -7*d - z = p for d.
-3
Let z(k) = -k**2 + 20*k + 20. Let s be z(22). Let m be 11 - ((-1)/3)/((-4)/s). Solve -4*i + 1 = m for i.
-3
Let d = -33 + 55. Suppose -d*u + 5*u + 204 = 0. Solve -u + 8 = 2*j for j.
-2
Suppose 19*r + 4*j = 16*r + 39, 4*r = -5*j + 51. Solve 0 = -r*z + 35*z - 26 for z.
1
Suppose 5*y + 4*j + 3 = 0, 7*y - 3*j - 11 = 2*y. Let u be (y - -13)*((-15)/(-2))/5. Let p = -14 + u. Solve p*g = 2*g for g.
0
Let r be -2*1*(-158)/(-4). Let x = 81 + r. Solve 4*n + 18 = x for n.
-4
Suppose 112*l + 310 = 58*l + 59*l. Solve -8*q + 324 = -l*q for q.
-6
Let h(u) = -u. Let j(l) = 9*l**2 + 9*l + 8. Let m(w) = 3*h(w) + j(w). Let o be m(-2). Solve 7*a + a + o = 0 for a.
-4
Let i be (-2)/10 + (-2)/(-10). Let k be (-6 - -1 - 2)*-14. Let x = -86 + k. Solve -4*b + x = -i*b for b.
3
Let r = 143 + -94. Suppose 8*l - r = -17. Solve -2 = 2*b - l for b.
1
Suppose 0 = -2*u - 25 - 9. Let a = u + 31. Suppose a = 5*q + 2*q. Solve 0 = h - q - 1 for h.
3
Let h = 1150 - 1106. Solve 52 - h = 8*t for t.
1
Let g(j) = -2*j - 7. Let t be g(-5). Let i be (0 + (-5)/10)*14. Let p be 1*0/(-4 - i). Solve r + t*r - 8 = p for r.
2
Suppose -16*g = 807 - 3927. Solve 15*q - g + 90 = 0 for q.
7
Let q = 486 + -482. Let f be (-23)/(-6) - -3*q/72. Solve -30*h + 34*h - f = 0 for h.
1
Let x be ((-2162)/92)/((-1)/(0 - -2)). Suppose -x*h + 59 = -42*h + 3*n, 23 = h - 5*n. Solve -18*o = -h*o - 5 for o.
1
Suppose 0 = -5*x + 2*l + 12, -8*l - 12 = -4*x - 4*l. Suppose 5*c - p = 10, 0 + 16 = x*c + 2*p. Solve -h + 12 = c*h for h.
3
Suppose 0 = -5*q - 15 - 55. Let d be (-316)/(-28) - (-4)/q. Let t = -66683 + 66686. Solve -d = 2*s - t for s.
-4
Suppose 2*z = 7 + 73 + 30. Solve -40*a - z = 15*a for a.
-1
Suppose 0 = 4*u + 4*q + 1224, 2*q + 649 = -4*u - 573. Let g = u - -321. Let k = 6 - 4. Solve 6 = -k*y + g for y.
5
Let b be 42/(-126)*(2 + -3 + 11/(-1)). Solve -b*l - 240 = -44*l for l.
6
Let a(m) = m**3 - 19*m**2 + 37*m + 29. Let h be a(17). Let d = 1713 + -1634. Solve -d*g + 3 = -h*g for g.
-3
Let z be 0/1*(-59)/118. Solve -v - 7*v - 16 = z for v.
-2
Let s(d) = 2*d**3 - d**2 + 3*d - 2. Let k be s(1). Suppose 42 = k*g + 2*u, -2*g - 3*u = 2*g - 84. Let l = g + 1. Solve 4*w = 6 - l for w.
-4
Let s(i) = 2*i**3 + 37*i**2 - 54*i + 131. Let b be s(-20). Solve 0 = b*j - 48*j - 259 for j.
-7
Let x be 42/8 + (-120)/(-160). Suppose -3*k + 14 = 4*z, 4*z - x = k - 0*z. Solve 7*m = k*m for m.
0
Let b be 8/(-40) - (-783)/15. Let p be (-1)/((-6)/(-2) - b/16). Suppose -18 + 54 = p*a. Solve -a = -o + 4*o for o.
-3
Let k = -44 - -49. Let b be 0/(0 - -2 - k). Solve b = 3*a - 18 + 9 for a.
3
Suppose 5*n = -5*o + 2*o + 3, -28 = -2*o + n. Solve 0 = -45*h + o*h + 102 for h.
3
Let l(d) = -12*d + 86. Let s be l(17). Let c = 122 + s. Solve -c*f = -24 + 8 for f.
4
Let y = 258 + -149. Let d = y - 108. Suppose -q - t + 1 - 2 = 0, -t = 5*q + d. Solve 2*z + 6 = -q*z for z.
-3
Let q be (-9 + (0 - -9))/(-5). Solve 23*n + 5 - 28 = q for n.
1
Suppose -f - y = 751 - 912, 0 = 3*f + 5*y - 499. Solve 148*m = f*m for m.
0
Let u(f) be the first derivative of f**2/2 - 57*f + 34. Let x be u(-6). Let g = x + 68. Solve g*d + 1 = -4 for d.
-1
Let b(z) = z**2 - 5*z + 49. Let c = -5 + 17. Let i be b(c). Let p = -128 + i. Solve 25 = p*q - 0*q for q.
5
Suppose 5*g = -3*a - 115, -11*a - 205 = -6*a - 5*g. Let c be 6/((0 + -1)*8/a). Solve c = 5*x + x for x.
5
Suppose 0 = -298*d + 226*d + 2952. Solve -d*j = 250 + 37 for j.
-7
Suppose v + 4*k = -v - 36, -5*k - 20 = 0. Let h be (-4 - 36/v)/((-1)/5). Suppose g - h = -0*g. Solve 0 = 5*y + g - 7 for y.
1
Let z(c) = c + 2. Let w be z(2). Let v(d) = -d**3 + 22*d**2 - 118*d + 4. Let s be v(10). Let h be 784/(-84)*s/(-14). Solve 0*o + w*o = -h for o.
-4
Let n be (-5*(-5)/(-50))/((-1)/58). Suppose -n*j + 24 = -23*j. Let a(z) = -z**2 - 6*z + 10. Let g be a(-7). Solve -2*h = -g*h - j for h.
-4
Suppose 0 = -z + 5 - 1. Let u(k) = 8*k - 45. Let a be u(6). Let i be (a - (-30)/(-5))*-3. Solve i*r - 25 = z*r for r.
5
Let v = 96 - 101. Let f be 5 - (2 - (-7 + (-20)/v)). Solve f = -5*d + d + 16 for d.
4
Let n(z) = 0 - 4*z + 12 + 2*z - z + z. Let a be n(6). Solve 9*y + 7 + 2 = a for y.
-1
Let q = -5165 + 5821. Solve q*i = 665*i - 36 for i.
4
Let d be ((-6)/(-10))/((-315)/17220)*-5. Solve 0 = -3*k + d - 173 for k.
-3
Let c(h) = h**2 - 29*h + 142. Let l be c(23). Suppose n - l = -2*k, -6 = 5*n - 4*k - 12. Suppose -i = 4*i. Solve 