 3 + 56*x. Let s be j(4). Solve 0*o + s*o = 25 for o.
5
Let m(g) = g**3 + 7*g**2 + g + 5. Let r be m(-7). Let u be (5*(-1)/(-10))/(r/(-12)). Solve 0*y = -u*y for y.
0
Suppose -6*f = -17 - 1. Let z be (f/9)/(6/108). Let h(a) = -a**3 + 7*a**2 - a - 10. Let g be h(z). Solve 0 = 4*s + s + g for s.
-4
Let g = 635 + -611. Solve -330 - g = -59*n for n.
6
Let w be (-297)/132*(-304)/6. Let z be (-89)/(-13) + w/741. Solve -4*v + z*v = 12 for v.
4
Let n(c) = c**2 + 2 - 11 - 21*c + 20*c + 0. Let w be n(4). Let g be -3 - (-3)/(-2 + w). Solve g = 4*r + 7 - 3 for r.
-1
Let g be ((-12)/(-8) - 0)/((-3)/(-4)). Suppose -g*y = 3*y - 7*y. Solve y = -n - 0 + 3 for n.
3
Let g = 6 + -1. Suppose -9*l - 392 + 437 = 0. Suppose -2*d + 2 = k, d + 3*k + 4 + l = 0. Solve -d*q = g + 4 for q.
-3
Let h = -78 - -80. Let b be 1280/35 - (-8)/(-14). Suppose 0 = -2*f - h*f + b. Solve 5*m + f - 24 = 0 for m.
3
Let t be -3 + (6 - (-9)/3). Suppose 0 = -205*x + 218*x. Suppose -2*p + 4 = -3*w, p = 2*w + w + 2. Solve x*v - t = -p*v for v.
3
Let d = 3513 - 3508. Solve -7*x - d*x = -72 for x.
6
Suppose 0 = -2*l + 12, -3*l - 304 + 384 = 2*q. Solve 45 - 14 = q*w for w.
1
Let k(m) = -705*m + 3163. Let o be k(4). Solve 0 = -4*b + 335 - o for b.
-2
Let w(k) = 103*k - 2974. Let t be w(30). Solve -14*f - 15*f = t for f.
-4
Suppose 0 = -b - k + 11, 2*b + 3*k = -k + 12. Suppose 5*d = -4*g + 23, 78*d + 5 = 83*d - 5*g. Solve 7*w - b = d*w for w.
4
Let w be -2 + (4 - 3 - 31). Let d = -30 - w. Suppose d*p = 4*p. Solve a + 0 - 2 = p for a.
2
Suppose 538 = -3*s - 317. Let u = s - 0. Let f be 2/8 - (u/12)/5. Solve 0 = f*t - 9 - 16 for t.
5
Suppose -31*j - i - 471 = -36*j, 2*i - 483 = -5*j. Solve -70 = 25*v - j*v for v.
1
Let x = 3273 - 3268. Solve -x*m = 4*m + 27 for m.
-3
Let k be (0 - (-423)/4)/((-1183)/52 + 23). Solve -9*m + k = 387 for m.
4
Let m = 17129 + -16936. Solve 55*g = -m - 27 for g.
-4
Let l(y) be the second derivative of y**4/12 + 7*y**3/6 + 21*y**2/2 + 32*y. Let u be l(-7). Let r = -5 + u. Solve 0 = -r*h + 19*h - 9 for h.
3
Suppose 1003 = -5*z + r, -5*z - 2*r - 2*r = 988. Let i = 203 + z. Solve -23 + i = 5*w for w.
-4
Let a be ((-40)/(-30))/((-2)/(-3)). Suppose -5*n - 23 = -2*o, o - 6*o + 8 = 4*n. Suppose f - 3*t - 1 = 6, 0 = 2*f - o*t - 12. Solve 2 = -a*i + f*i for i.
1
Let u(h) = 691*h + 2768. Let x be u(-4). Solve x*q - 10 = -6*q for q.
1
Let j = -8 + 13. Let l be (8/(-6) + j/15)*0. Suppose l - 15 = -5*x. Solve -x*z = -z for z.
0
Let k(s) = s**3 + 39*s**2 + 140*s + 11. Let i be k(-35). Solve -9*z + 25 + i = 0 for z.
4
Let q = 1 - 1. Suppose -942*u + 1230 = -737*u. Solve 10*h - u*h = q for h.
0
Suppose -65432*q = -65343*q - 445. Let g be (-7 - -2)*(-16)/10. Solve -g = 3*f - q*f for f.
4
Let a = -46 + 276. Let y = -225 + a. Solve y*c - 6 - 4 = 0 for c.
2
Let m = -12763 - -12766. Solve 0 = t + m - 7 for t.
4
Let n(u) = -4*u**3 + 2*u**2 + u. Let y be n(-1). Suppose 0 = -4*w + t - 307, 0*w = -w - 5*t - 103. Let v = -50 - w. Solve -v = -y*s - 3 for s.
5
Suppose 2*i - 26 = -4*b, 5 = 5*b + 2*i - 26. Suppose 3*m - 5*m - b*h = -23, 0 = 2*m - 5*h + 7. Solve -24 + m = 5*v for v.
-4
Let f be (-19)/(190/(-340)) - 6. Solve -42*n - f*n + 490 = 0 for n.
7
Let h(y) = -y**2 - 33*y - 60. Let g be h(-31). Suppose d = g*d - 8. Suppose x - 4 = -c, x - d = c - 0*c. Solve b = -b + x for b.
3
Let p be (-28)/(-35) + (-82)/(-10). Suppose 2*x - 13 = l, x + l - p + 7 = 0. Solve 7*z - x = -33 for z.
-4
Suppose 0 = 342*k - 286*k - 16520. Solve -k + 353 = -29*d for d.
-2
Suppose -t - 3 = 0, -t = -4*c + 4*t + 71. Suppose -4*w - c*v + 80 = -15*v, 3*v = 12. Solve k + 6*k = -w for k.
-3
Let h(r) be the third derivative of r**5/15 + r**4/12 + r**3/6 - r**2. Let b be h(-1). Let o be 8 - (12/b - 0). Solve 8 = -0*y + o*y for y.
2
Suppose -1150 = -196*d + 186*d. Let w be 910/d + 8/92. Solve 6*g + w = -10 for g.
-3
Let v = 1279 + -1268. Let o be 7 - (-3 - 0) - 3. Solve v*a = o*a + 8 for a.
2
Let b = 1793 + -1771. Solve b = -q + 20 for q.
-2
Let g = -4 + 5. Let b be (-2 - -1)/(9/(-45)). Suppose b = q - g. Solve q*d - 3*d - 3 = 0 for d.
1
Let s = 3707 + -3664. Solve 8*a + 35 = s for a.
1
Let z = 943 + -942. Solve 20*y + 39 = -z for y.
-2
Let w be (1 - 1)/(4/(4 - 8)). Suppose 2*i = 4*g - 10, -3*g + 24 = 4*i - w*g. Solve i*k = -k + 20 for k.
5
Let x(p) = 8*p**3 + 36*p**2 + 28*p + 16. Let i(h) = 7*h**3 + 32*h**2 + 27*h + 16. Let b(m) = -7*i(m) + 6*x(m). Let g be b(-3). Solve 0 = g*a - 21 + 11 for a.
5
Let i be 44/(-9)*(-3 + 30/(-20)). Let c be i/6 - 23/(-69). Solve -54 + 66 = -c*r for r.
-3
Let s(l) = 2*l - 24. Let v(k) = -3*k + 48. Let a(o) = -5*s(o) - 2*v(o). Let c be a(6). Solve 4*m + 28 - 8 = c for m.
-5
Suppose 7*h - 2*h = 2*h. Suppose 3*u + 5*s = 25, -3*u + s + 37 - 6 = h. Solve 0*w + 2*w = u for w.
5
Suppose -4*n = 14*n - 270. Let d(y) = 2*y**2 + 4*y + 2. Let h = -2 + 0. Let t be d(h). Solve 0 = -t*r + 7*r - n for r.
3
Suppose -25*o = -16*o - 27. Suppose 27*z + o*p = 32*z - 99, 0 = -3*p - 9. Solve 26*r + 8 = z*r for r.
-1
Suppose 2*g - z = 2*z + 17, 0 = -3*g - 2*z - 7. Let i be (-9 + -3)/(-3)*(g + 0). Solve 4*f + 24 = -i*f for f.
-3
Suppose -5*r - 2*m - 2*m + 2090 = 0, 0 = -3*r + 4*m + 1222. Let j = -414 + r. Solve g - 4 = -j for g.
4
Let y = -142 - -90. Let h = 54 + y. Suppose -h*d - 5*u - 8 = 3, -3*u - 1 = 4*d. Solve -2 - 8 = -d*n for n.
5
Let n be -1 - (-83)/4 - 40/(-160). Let r(d) = -d**3 - 17*d**2 + d + 26. Let j be r(-17). Solve -j*o + 65 = n for o.
5
Let n(o) = 4*o**3 + 10*o**2 + 19*o - 1. Let r(w) = 11*w**3 + 29*w**2 + 55*w - 3. Let z(t) = 8*n(t) - 3*r(t). Let x be z(-3). Solve -8*l - x = -4*l for l.
-1
Let b(l) = -2*l**2 + 9*l + 9. Let w(p) = -5*p**2 + 19*p + 18. Let y(o) = 7*b(o) - 3*w(o). Suppose 6*c + 16 = -2. Let u be y(c). Solve 3*i - 9 = -u*i for i.
3
Let x(k) = k**2 - 17*k - 2. Let v(d) = 5*d - 38. Let j be v(11). Let i be x(j). Let q be 5 + i + (-6)/(-1) + 3. Solve -y - 3*y - q = 0 for y.
-3
Let s(q) = 41*q + 1183. Let k be s(-22). Solve 9*c - k = -236 for c.
5
Let i(v) = -v**3 + 17*v**2 - 15*v - 12. Let j = -277 + 293. Let w be i(j). Solve -6 - 2 = -w*z for z.
2
Let g be (3/2)/((36/8)/9). Suppose -34 = -g*u - 5*w, 0 = 2*u - 0*w + 3*w - 21. Suppose -2*t = 3*y - 16 - 0, -10 = u*t - 4*y. Solve d + t*d = 0 for d.
0
Let y = 1237 + -1235. Let k be (-55)/(-5) - 3*2. Solve k*g = y*g - 15 for g.
-5
Let a = -40 + 40. Let w be 4 + -1 + -3 + a. Suppose 10 = -18*m + 46. Solve w*l = m*l for l.
0
Let o = 18 + -11. Let g be 3 + 135/9 - (-2 + 14 + -5). Solve -10 = -o*m + g for m.
3
Let n(h) = 1008*h + 2021. Let j be n(-2). Solve -j*x = -41 + 11 for x.
6
Let i(m) = -m**3 - m**2 - 2*m + 4. Let z be i(-3). Let h(k) = -k**2 + 2*k + 24. Let o be h(-6). Let r = z + o. Solve 1 = j - r for j.
5
Let c(f) = 731*f - 2908. Let y be c(4). Solve -y*o + 24 = 8*o for o.
1
Let z(u) = 5087*u + 11 - 5086*u + 17. Let a be z(-14). Solve 6*m - a = -44 for m.
-5
Let r(d) = 12*d**3 - 6*d**2 + 4*d + 3. Let z be r(1). Solve -z*v - 19 = 6*v for v.
-1
Let g be 4/6*(19 + -10 - (-9)/(-6)). Suppose f - 3*u - 2*u = -18, 4*f + 2*u = 38. Solve -3 = -g*l + f for l.
2
Suppose 5*y = 5*l + 25, 3*y + l - 15 = -3*l. Suppose 8 = y*o - 4*x - 8, -o - 4*x = 16. Solve o*k - 3 = -k for k.
3
Let r be 192/80*20/6 - -4. Solve 101*h - 107*h = -r for h.
2
Let b(i) = -i**3 - 10*i**2 - 34*i - 48. Let x be b(-11). Let a = -441 + x. Solve -2*k + a = -2 for k.
4
Let l = -8 + 12. Suppose l*z = -3*d + 369, -6*d + 3*d + 81 = z. Let t = 106 - z. Solve -q = -6*q - t for q.
-2
Let q = 2390 + -2375. Solve -21*n = -q*n + 12 for n.
-2
Let g(f) = 9*f**2 + 8*f + 37. Let k(j) = -5*j**2 - 3*j - 19. Let q(m) = 4*g(m) + 7*k(m). Let x be q(-10). Solve -11*h + x*h = 6 for h.
-1
Let y = 21 - 10. Let z(b) = b**2 - 15*b + 46. Let l be z(y). Solve -l*h + 0 - 2 = 0 for h.
-1
Let p = -14 - -408. Let i = 404 - p. Solve 5*g = i*g + 25 for g.
-5
Suppose -133*j + 277 = -9299. Solve j = 7*b + 121 for b.
-7
Suppose 32 = 4*c - 4*q + 4, -4*c + 28 = 4*q. Suppose -5*g + 45 = 5*w - 0*g, 3*w - c = 2*g. Let x be 80/36 + (-2)/9. Solve -w = x*d + 1 for d.
-3
Let s = 18069 + -18063. Solve -3*q = s*q + 72 for q.
-8
Suppose 0 = 157*n + 101*n - 117445 - 399071. Solve 0 = -n*l + 1998*l for l.
0
Suppose 35*i = -128 - 118 + 246. Let z(l) = l + 10. Let q be z(-5). Suppose n + 0*n - 3*r = -q, 2*n = -4*r + 20. Solve -2*x - 