Let a be c(11). Let q be (10/(-4))/(1/(-2)). Solve -3*m = q + a for m.
-3
Suppose -336*a - 365 = -341*a. Let p = a + -73. Solve -1 = -p*o + o for o.
-1
Let m(v) = -v**3 - 89*v**2 + 185*v + 347. Let b be m(-91). Solve -2 = b*y - 76*y for y.
1
Suppose 3*m - 42 = 4*u + 90, -5*m = 9*u - 220. Solve 10*r - m = -4 for r.
4
Let g = -727686 + 727694. Suppose p = -p + 10. Suppose 0 = 2*u - 1 - p. Solve -u*a = -2 + g for a.
-2
Let h be -2*3/(-33) - 258/(-33). Suppose 16 = 3*g - h. Solve -12*t = -g*t + 12 for t.
-3
Let q(u) = -24*u - 548. Let p be q(-25). Solve -124 = 44*n + p for n.
-4
Let q = -156 + 206. Solve 61*o - q*o = 33 for o.
3
Suppose 10 = 66*s - 68*s. Let y be -2*(s + 25/10). Solve -5 = y*r - 15 for r.
2
Let o(t) = 5*t**2 + 2*t + 1. Suppose i - 4*i - 6 = 0. Let r be o(i). Suppose 0 = r*q - 24*q. Solve q = -2*p - 0*p for p.
0
Let z be (-24)/(-16) + 2893/22. Solve 4*y + z = 149 for y.
4
Let l be (5424/(-80))/(12/(-20)). Solve l*c - 114*c = -3 for c.
3
Suppose 569 = -6*l + 407. Let q be (-6)/15 + l/45 + 4. Solve 6*w - q*w = -w for w.
0
Suppose 158*p = 102*p + 1512. Solve 0 = -p*d - 142 - 20 for d.
-6
Suppose -2*i + 191 = -5*k - 444, 2*k - 600 = -2*i. Solve 316*f + 99 = i*f for f.
-9
Let w = 1003 + -1977. Let z = w - -978. Suppose 5*y - l - 58 = y, 0 = 3*y + 3*l - 36. Solve -6 = z*t + y for t.
-5
Suppose 5*j - 64 = 3*r, 19*r + j = 14*r - 116. Let i be 2*2 - r/(115/20). Solve -7*o + 1 = -i*o for o.
-1
Let x(m) = 50*m + 3. Let h be x(4). Let r = h - 198. Let z be 2 + (0/(-2) - 2). Solve z = -g + 6*g + r for g.
-1
Let n = -413 + 417. Suppose 4*p - 2 = z, -3 = z - 1. Solve -2*r + p*r + n = 0 for r.
2
Suppose 3*d - 37 = 5*a, -a = -1 + 6. Suppose 5*r = 10*b - 5*b, -2*b + 3*r + 5 = 0. Let w be (-6)/((-3)/6 - b/(-5)). Solve d - 20 = -w*c for c.
4
Let z = -423 + 465. Suppose -242 = -z*f + 10. Solve -a - f*a + 14 = 0 for a.
2
Let g(n) be the second derivative of -n**4/12 + 7*n**3/3 + n**2/2 - 9*n. Let j be g(14). Let r = 71 + -69. Solve o = r*o + j for o.
-1
Let q(y) = -26*y - 43. Let v be q(-3). Let j be ((-28)/v*1)/((-1)/10). Solve -j = 6*o - 2*o for o.
-2
Suppose 2*p - 10 = -2 + 2. Solve -26 = -p*d - 41 for d.
-3
Suppose 185 = 5*c - 5*a, -5 = 3*a - 4*a. Suppose c*z - 50*z = 0. Solve z = 3*m + m for m.
0
Let w = 32204 - 32200. Let m be (6/(-4))/(3/(-18)). Solve w*u - u + m = 0 for u.
-3
Let b = -391 - -387. Let p be (b - 298)/(-2)*1. Solve -4*r + p = 163 for r.
-3
Let p = -18 - -18. Let u be 6/33 - 994/22. Let h be u/(-18) + 2/4. Solve p = s - 1 - h for s.
4
Suppose -5*v = 4*n - 685, 4*n = -4*v - 280 + 960. Solve -171 = -3*d - n for d.
2
Let c = 1906 + -1886. Solve c*l + 42 = -78 for l.
-6
Let i be 21 + 143/26*-2. Solve -i*l + 211 = 171 for l.
4
Suppose 37 = s + 5*j + 12, 3*j = 2*s + 15. Solve 8*y - 51 + 75 = s for y.
-3
Let i = 0 + 9. Let t(d) = 14*d**2 + 6*d + 10. Let a be t(-2). Suppose a = 3*j + 48. Solve -i = j*v + v for v.
-3
Suppose 5*g + 166 = 1851. Let t = 339 - g. Solve -t*n - 3 - 1 = 0 for n.
-2
Let p(b) = -795*b + 4770. Let h be p(6). Solve 3*x + 17*x + 120 = h for x.
-6
Let u = 13 - 8. Let r = 40 + -20. Suppose 5*p = -4*j - 12, 15 = -0*p - 5*p - 5*j. Solve p*w = u*w - r for w.
4
Let k be (-76)/(76/4)*(-5)/2. Solve -k*o - o = -15*o for o.
0
Suppose 19*b + 12 = 20*b. Let g be b*(14/4 - 3). Suppose 0 = 3*p - g*p. Solve 5*w + 31 - 6 = p for w.
-5
Let j be (-177)/(-7) + (-9 + 15)*1/(-21). Solve -15*w - j*w = 280 for w.
-7
Suppose -2*c + 25 = 3*c. Let w(i) = -1584*i - 4750. Let r be w(-3). Solve c*g - 9 = r*g for g.
3
Let d(g) = 10*g - 2. Let z be d(1). Suppose 3*c - z = -77. Let f = c - -28. Solve 0 = -f*l - 7 - 3 for l.
-2
Let i be (-10)/4 + (-238)/(-28). Suppose 22*v - 128 = i*v. Solve -3*p = -p + v for p.
-4
Suppose 14*s - 7 - 259 = 0. Solve -30*g = -s*g + 52*g for g.
0
Let q(n) = -2*n + 17. Let l be q(0). Suppose 27 + 7 = l*c. Solve -c*v = -v for v.
0
Let r(g) = g + 3. Let c be r(0). Let w = 14 + -13. Let i be 5 + (w + -3 - 2). Solve -c*p + 2*p = -i for p.
1
Suppose a + 2586 = -5*p, -a + 213 + 303 = -p. Let l be (-1)/(-3) + p/(-33). Suppose l = m + 4. Solve -4*r + m = 4 for r.
2
Let z = 3768 + -3764. Solve -z*b - 113 = -89 for b.
-6
Let t be 16/12*147/14. Suppose 5*p = -2*s + 28, 3*p = 4*s - 8*s + t. Solve p*q + 4 = -8 for q.
-2
Let j be (5 - 8)*5/(-30)*10. Suppose -3*w + j*c = -29, 3*w = -2*c - 4 + 5. Suppose 2*l = -3*l - 2*f + 51, -3*l = 2*f - 29. Solve w*d + 4 + l = 0 for d.
-5
Suppose 5*b - 6*b = -5*w - 107, 4*b + 100 = -4*w. Let h be -7 - (-79)/11 - 480/w. Solve -3*c + h = 7 for c.
5
Let o(m) = 4*m**2 - 2*m - 2. Let y be o(2). Suppose 78*f - 79*f + 2*p = 518, 533 = -f - p. Let a = 540 + f. Solve y*g = a*g + 10 for g.
-5
Let k(i) be the second derivative of i**4/6 + 10*i**3/3 - 6*i**2 - 6*i. Let s be k(-10). Let m be (0 + -3)/(s - -11). Solve -2*d + m*d = -4 for d.
-4
Let z(d) = d**2 - 16*d + 41. Let n be z(13). Suppose 3*l - 14 = -u, 2*u + n + 6 = 3*l. Solve -4*v + u*v = 0 for v.
0
Let j(m) be the first derivative of m**3/3 - 5*m**2 + 7*m - 21. Let h(b) be the first derivative of j(b). Let l be h(6). Solve -l*y + 12 = -5*y for y.
-4
Suppose -38 = s + 3*w, -4*s - 2*w - 152 = -w. Let n be -33 - s - (-2)/(-1). Solve 2*c = -0*c + n*c for c.
0
Let w(d) be the first derivative of -7*d**2/2 + 90*d - 42. Let b be w(10). Solve -b*t + 6 = -22*t for t.
-3
Let i = -45 - -46. Let n(l) = -16*l**2 - 1 + i - 1 - l**3 + 17*l + 4. Let v be n(-17). Solve v*o - 2 = 5*o for o.
-1
Let v = -5 - 4. Let m be (4/v)/((-16)/72). Suppose 2*w + 4*b - 18 = 0, 4*w - 3*b + m*b = 0. Solve -w = -g - 2 for g.
-1
Suppose 0 = 5*x - 6*x + 63. Let a = x - 61. Let p be a - ((4 - 13) + 6/2). Solve p*n = 3*n - 20 for n.
-4
Let t(p) = p**3 + 5*p**2 - 6*p - 7. Let s be t(-6). Let x be -8 - s - (-4 + 1). Let k(y) = y**2 - 7*y + 23. Let b be k(4). Solve 0 = 3*j - b + x for j.
3
Suppose -3*v - 2*m = -98 + 10, 0 = -v - 4*m + 26. Suppose v = -16*b + 19*b. Suppose -9*n + b*n = 0. Solve j + n*j = 3 for j.
3
Suppose 11*h + 69 = 8*h. Let n = 26 + h. Solve -n*x = -0 - 3 for x.
1
Suppose -2*w = -n, -22 = -2*w - 4*n - 2. Suppose 40 = -w*b - 2*b. Let d be ((-8)/5)/(4/b). Solve -d*r + 2*r = 2 for r.
-1
Suppose 4*t - 5*t + 2 = 0. Suppose x + t*x - 12 = 0. Suppose -12 - 12 = -x*h. Solve 2*z - h*z = 0 for z.
0
Let t = 23 + -15. Suppose 2*r - 6 - 2 = 3*l, 4*l = -r - 18. Let u be (l/(-6))/1*3. Solve u*a + 0*a = t for a.
4
Suppose -4 = -5*i + 3*i - y, 8 = -i + 2*y. Suppose i = -2*g + 13*g. Suppose g*w - 1 = -2*w - 3*r, -4*w + 7 = r. Solve w*s + 1 = 7 for s.
3
Let a(u) = -2*u + 12. Let n be a(4). Suppose -n*l - 6 = -26. Let y(k) = 4*k - 5. Let b be y(l). Solve 5*h = b + 5 for h.
4
Suppose -15*y = -558 + 348. Solve -4 = -y*g - 32 for g.
-2
Suppose 25 + 10 = 7*f. Suppose -4 = -4*l + f*i + 8, -5*i = 0. Solve c = l*c for c.
0
Suppose -4*t - 4*u + 85 = -t, -2*u - 133 = -5*t. Suppose -t*x - 342 + 1287 = 0. Solve 31 - x = -4*p for p.
1
Let i be (-13)/(-26) + 2 + 58/4. Suppose -113 = i*u - 827. Solve -6*n + u = 12 for n.
5
Suppose 4*y + 7 = 2*h + 3, -5*h = -3*y - 3. Suppose 0 = 5*u + 80 - h. Let w be u/(-10) + 6/15. Solve -r - 6 = -w for r.
-4
Let h = 428 + -229. Let p = h + -191. Solve -p*j = -9*j for j.
0
Suppose -277*b + 300 = -281*b. Let r = -73 - b. Solve 0 = r*l + 7 + 3 for l.
-5
Suppose -162*k = -2472 - 4818. Solve -k = 10*v - 19*v for v.
5
Let i be (1 - -1)/(-2 - (-4 - -1)). Let u be (-30)/(-20)*i*12. Let x be ((-60)/u)/((-2)/6). Solve -11 + 1 = -x*n for n.
2
Suppose 2*w + 139 - 503 = 0. Suppose -24 = -188*u + w*u. Solve u - 2 = j for j.
2
Let i be (3 - 0 - 12)*5/(-5). Suppose 0 = i*y - 17*y + 96. Solve 13*o = 10*o + y for o.
4
Let h = 8 - -87. Let z(c) = -h + 48 + c + 49. Let y be z(1). Solve y*t + 20 = -t for t.
-5
Suppose -l = -4*t + 449 + 918, 0 = 4*t - 4*l - 1364. Solve -2*z - t + 332 = 0 for z.
-5
Let w = -12989 - -13584. Solve -9*p = 76*p - w for p.
7
Suppose 28*c + 6 = -134. Let w be (-24)/c + (-47)/(-235). Solve 2*o + w = -1 for o.
-3
Let y(d) = d**3 - 10*d**2 + 8*d + 11. Let s(v) = 10*v - 1. Let n be s(1). Let q be y(n). Suppose 4*x + 0 = 3*u + 16, u + 3 = -x. Solve -q*t - x = -3 for t.
1
Let w = -86 - -116. Suppose -13*r + w = 2*r. Solve r*x = 3 - 3 for x.
0
Suppose -8*a - 45 = -141. Suppose -a*q = -10 - 110. Solve -3*x - 7 = -q for x.
1
Let d(h) = 2*h**2 - 46*h - 37. Let y be d(24). Solv