 m = 13 for d.
2
Let b be -9*((-100)/12)/5. Let t = -16 + 27. Let s be 4/22 + (-2)/t. Solve -d - 4*d + b = s for d.
3
Let i = 137 + -141. Let v be i/((2/(-15))/((-4)/(-40))). Solve v*j + 10 - 1 = 0 for j.
-3
Let k be 3*7*(24/180)/(4/40). Solve -6*o = o + k for o.
-4
Let h = -4956 - -4956. Solve 6*j - 9 + 21 = h for j.
-2
Let c be (-137)/(-7) - (3 - (-288)/(-84)). Suppose 5*m - 36 = -m. Solve c = -m*y + y for y.
-4
Suppose 3*a = h + h + 2, -4*a + 8 = 0. Solve 9 = h*j + j for j.
3
Let i be 168 + (-117)/(-63)*7. Solve 232 + i = -59*l for l.
-7
Let d = -63 - -163. Let m be 6/27 - d/(-36). Solve 2*q + 1 = -m for q.
-2
Let u be ((-343)/14)/((-2)/4). Suppose 6*z = u - 19. Suppose 4*t - 2*t + f = -4, -3*t + 20 = -z*f. Solve t = -0*i + 3*i for i.
0
Suppose -z + 39*z = 0. Suppose -4*c + 173 = 149. Solve p + c*p = z for p.
0
Let z = -13 + 16. Suppose 21 + z = 6*h. Let l be h - 0 - (14 - 15). Solve l*c = c - 4 for c.
-1
Suppose 41*y - 20*y = 11*y. Let m = -22 - -24. Let o be (-7 + 3)*(0 - m). Solve y*t - o = 2*t for t.
-4
Let h = -43 + 43. Let l be 2/(-10) - (-182)/35. Suppose -r + l + h = 0. Solve -r + 0 = y for y.
-5
Let a = 4766 + -4760. Solve -834*g + a = -835*g for g.
-6
Let z be ((-2)/(-6))/(2/16)*(-16 + 19). Solve 22*i - z*i + 42 = 0 for i.
-3
Let k = 126 + -118. Suppose -252 = k*x - 22*x. Solve 7*b + 4 = x for b.
2
Suppose 6*s + 24 = 10*s. Suppose -693*f + 24 = -687*f. Solve 0 = f*z + 2 + s for z.
-2
Let l(g) = 31*g + 27. Let n be l(4). Let y = n - 149. Solve -10 = y*b - 6 for b.
-2
Suppose 96*m = 78*m + 378. Suppose -m*a - 3*a = -5*a. Solve y + a*y = -5 for y.
-5
Let k = 3342 - 3299. Suppose 4*x = 7*x - 21. Solve x*a + 8 = k for a.
5
Let j be ((-12 + 0)/((-12)/(-8)))/(-1). Let i(x) = x**3 - 7*x**2 - 6*x - 4. Let m be i(j). Let p be 3/(((-6)/120)/((-2)/m)). Solve -3*c = -c + p for c.
-5
Suppose -17*b - 70 = -19*b - 4. Solve 0 = -b*u + 30*u - 15 for u.
-5
Let i(w) = 7*w**2 - 2. Let v = -17 + 16. Let l be i(v). Solve 2*q - l = 1 for q.
3
Suppose -8*w + 18 = -2*w. Suppose 0 = 2*j - 3*z - 10, -5*j = -0*j - w*z - 16. Solve -1 - j = -g for g.
3
Let a be ((-24)/40)/((-1)/30). Let w be -2*371/a - 12/(-54). Let m = -39 - w. Solve m*d = -d + 12 for d.
4
Suppose 11327 + 5289 = 134*z. Solve -z*b - 6 = -127*b for b.
2
Suppose -61*y - 804 = -65*y. Let c = 216 - y. Solve -a + c = 2*a for a.
5
Let w = 25658 + -25631. Solve -w = -198*y + 189*y for y.
3
Suppose 50*m + 1104 = 23404. Solve -440*y = -m*y + 30 for y.
5
Let b be 266 + (5 - 156/13). Solve 0 = 2*f + b - 251 for f.
-4
Let s = -469 + 471. Suppose -8 = -2*n - s*v, 0 = -2*v + v - 2. Solve -4*g + 7*g = -n for g.
-2
Let m(i) = -44*i. Let b be m(-2). Let a = -155 + b. Let s = -65 - a. Solve -p + s*p = 1 for p.
1
Let b(f) = -3*f + 23. Let s be b(5). Let q(c) = -c**2 + 9*c - 8. Let m be q(s). Let p(j) = j**2. Let k be p(-4). Solve m*y - 4*y = k for y.
-4
Suppose 608 = 3*a + 548. Let f be 8 - (a/40)/(1/2). Solve -f*w = -4*w - 3 for w.
1
Suppose -2*i = -1 - 3. Suppose 0 = -77*r - 68141 + 68526. Solve 6 = r*k - i*k for k.
2
Suppose 2*p - 426 = 130. Suppose -p = -3*w + 5*k, 8*w = 3*w + 2*k + 476. Suppose -n - w = -13*n. Solve -d = d - n for d.
4
Let l(o) = -o**3 + 7*o**2 + 7*o - 8. Let v be l(11). Let b = 420 + v. Solve -4*i = -9 + b for i.
1
Let t(r) = -r**3 - 9*r**2 - 6*r + 2. Let a be t(-9). Suppose 0 = -9*b + b + a. Suppose 0 = b*g - 4*g, 2*f - 4*g = 0. Solve 4*o - 3*o + 2 = f for o.
-2
Suppose -17*c = 4*c + 21. Let p be 1359/90 + c/10. Solve -6*z = -z + p for z.
-3
Let i(y) = y**2 + 18*y + 32. Suppose -4*m + 0*m = 5*v + 80, 5*m + 16 = -v. Let t be i(v). Suppose -4 = -q - t*q. Solve 0 = -2*p - q - 2 for p.
-3
Suppose -680 = 13*n - 56. Let g = n + 59. Solve g - 2 = -3*m for m.
-3
Suppose 1518 + 774 = 12*n. Let u = n + -186. Solve u*q = 18 - 8 for q.
2
Let m(x) = -103*x + 1158. Let c be m(5). Solve -c*y + 642*y = 3 for y.
-3
Let o be (7/((-63)/6))/((-2)/(-6)). Suppose -1 - 1 = -n. Let a be (n/(-1))/(o - (-21)/14). Solve a*d = -0*d + 4 for d.
1
Suppose 5*t = -4*o + 45, 10*o + 9 = 13*o + t. Solve -1054*r + 1055*r + 2 = o for r.
-2
Let d = -2711 + 3047. Solve d*o = 338*o + 6 for o.
-3
Let a = 741 + -737. Suppose -3*h + 36*d - 40*d = -24, 0 = a*h + 5*d - 32. Solve -h*m = -6*m for m.
0
Let p(s) = -180*s. Let v be p(0). Solve 0*r - 3*r - 12 = v for r.
-4
Let c = 21790 - 21564. Solve 0 = -16*d + c - 194 for d.
2
Suppose 36*z - 45*z + 18 = 0. Let j be 9 + 3 - (-2 + -1 + z). Solve 0 = -5*c + 12 + j for c.
5
Let k = -22934 + 22983. Let s = 176 + -123. Let l = s - k. Solve 0*m = l*m + 8 for m.
-2
Suppose 8*r = -2457 + 25. Let k = -298 - r. Solve k*v + 35 = -v for v.
-5
Suppose -l - 38 - 15 = 0. Let g = l - -86. Let p = g + -29. Solve -o + p*o + 6 = 0 for o.
-2
Suppose 36 = 7*z - 3*z. Suppose -24*a + 152 = 104. Solve -u - a*u = z for u.
-3
Suppose -4230 = -39*h + 34*h. Let r = 857 - h. Solve -r*i = -8*i - 12 for i.
4
Let m(i) = -i**3 + 3*i**2 + 29*i + 4. Let n be m(7). Suppose -n*t = 28 - 28. Solve -4*w + t*w = -8 for w.
2
Let d(x) = 5*x - 17. Let h be d(9). Let f be 3/(105/h - 3). Solve -u + 5*u - f = 0 for u.
1
Suppose -32*q - 6 = -35*q. Suppose -218 = -3*s + n, -q*s + 19*n = 24*n - 151. Solve -65 + s = 4*l for l.
2
Suppose -5*g = -17 + 2. Let u(b) = 4*b - 10. Let m be u(5). Let a(s) = -s**2 + 10*s + 9. Let t be a(m). Solve -3*i - t = -g for i.
-2
Let f(l) = 51*l + 35. Let u be f(0). Suppose -25*o + u*o - 410 = 0. Solve -40*x = -o*x - 4 for x.
-4
Suppose b - 4*l - l - 14 = 0, 0 = -2*b + 3*l + 14. Let c be 37 - (25 + 4) - ((-4)/1)/(-1). Solve -c*y + b = -0*y for y.
1
Let s(d) = 3*d**2 + 64*d - 750. Let v be s(9). Solve 0 = 37*g + 5 + v for g.
-2
Let j = 15 + -11. Suppose g = 3*w - g - 25, -w = g. Suppose 4*a - 20 = w*p, 0 = -a - 4*a - 2*p - 8. Solve -b + a = -j for b.
4
Let y = 49 + -41. Suppose -y*a + 5*a = 0. Suppose 3*u - 5*u = a. Solve u*m - 15 = -5*m for m.
3
Let m be 4 + -7 + 11 - ((-5 - 0) + -479). Solve -66 = 503*o - m*o for o.
-6
Let d be (-1 + (-1 - -3))*-2. Let l be -60 + 1 + (d - -3). Let h = l - -74. Solve a = -3*a - h for a.
-4
Let q(t) = t**2 - 40*t + 218. Let z be q(34). Solve 0 = -z*j + 45 + 25 for j.
5
Let s be (-1639900)/(-8370) - 1/(27/(-2)). Solve s + 143 = -113*w for w.
-3
Suppose -3*z = 4*o - 25, 5*z - 3*o - 711 = -679. Solve 0 = -0*r - z*r + 21 for r.
3
Let s = 3 + 24. Suppose q = -2*q + s. Solve 9*m - 6*m = -q for m.
-3
Let n(w) be the second derivative of w**4/6 + 8*w**3/3 + 29*w**2/2 - 29*w. Let h be n(-12). Let c = h + -115. Solve 2*v + c = -3*v for v.
-2
Let r be (-5)/60*4 + (-5728)/(-48). Solve -18*u = -u + r for u.
-7
Let t(j) = j**3 + 17*j**2 + 29*j - 9. Suppose 0 = 3*y - 110 + 155. Let v be t(y). Solve v*w + 15 = 9*w for w.
5
Let f(r) = r**2 - 7*r - 8. Let k be f(8). Suppose -3*d + 192 + 600 = k. Let o be 4/18 + d/27. Solve -6*i + o = -i for i.
2
Let t(q) = -2*q**3 - 3*q**2 - q - 2. Let y be t(-4). Let z = -67 + y. Suppose z*a = 17*a - 10. Solve 0*o = a*o for o.
0
Let i(k) = -k**2 - 17*k - 10. Let c be i(-16). Let j be (c*(-16)/12)/1. Let z be (j/12)/((-2)/3). Solve -3*g = z + 14 for g.
-5
Suppose -2*t - 3 = -t. Let p be (5/t + 1)/((-7)/(-21)). Let s(y) = -y**3 - 3*y**2 - 2*y + 2. Let r be s(p). Solve 3*x = -r*x for x.
0
Let i be ((-156)/(-65) - 2)/(1 + 252/(-255)). Solve -10 = 29*q - i*q for q.
2
Let f(n) = n**3 + 17*n**2 - 24*n - 95. Let q be f(-18). Solve 14*r - 15 = q for r.
2
Let b(t) = 55*t - 165. Let n be b(20). Suppose 21*x + 368 = n. Solve -9*c = x + 9 for c.
-4
Suppose 4*n = 5*z - 150, -52*n = -56*n + 20. Solve z*x - 63*x = 203 for x.
-7
Let i = 72 + 82. Let r be (2/7)/(11/i) + -2. Solve 2*c + r*c = 4 for c.
1
Let k(n) = -n**3 + 31*n**2 + 4*n - 122. Let s be k(31). Suppose 7 = 5*w - 18. Let u(m) = -m**2 + 7*m - 7. Let p be u(w). Solve s*o - p = o for o.
3
Suppose 3 = -u + 7. Let b(x) = 25*x + 108. Let c be b(-4). Solve -c*s - u = 28 for s.
-4
Let a(t) be the third derivative of 0*t - 22*t**2 + 1/12*t**4 - 1/15*t**5 - 5/6*t**3 + 0 + 1/120*t**6. Let u be a(4). Solve -22 + 7 = u*n for n.
-5
Let o(j) = j - 10. Let k be o(10). Let m be -2 + (k/(-3) - -4). Let s be ((-1)/(-3))/(3/27). Solve h + m*h = s for h.
1
Let f be 24 + 140/(-10) + -3. Solve 48 = -f*x + 13 for x.
-5
Let f be (-2)/(-6)*-69 - 3. Let k(u) = u**3 + 25*u**2 - 27*u - 14. Let c be k(f). Solve -2*i + c = 2*i for i.
3
Let 