Solve -t*m - s = -0*m for m.
-4
Let b = 1237 + -1237. Solve b*k = 29*k + 116 for k.
-4
Let y be (-1)/(8/(5 + -69)) + 0. Solve -33*f = y*f - 164 for f.
4
Suppose 0 = 5*x + m - 29, -5*x - 4*m + 26 = -0*m. Suppose -2*y - x + 34 = 0. Suppose -j = j + 3*a - y, -5*a = j - 7. Solve 1 = 2*l + j for l.
-3
Suppose 5*q - 6 = s + 9*q, 0 = -4*s + 5*q - 24. Suppose 2*z = -0*z - 20. Let a = s - z. Solve a = 5*p - 1 for p.
1
Suppose 2*u - 3*h - 23 = 0, 652*u - 647*u - 29 = -2*h. Solve 94 = -u*a + 80 for a.
-2
Let x(h) = 31*h - 318. Let q be x(10). Let d be 7*(q + (-558)/(-63)). Solve -3*r = -0*r + d for r.
-2
Let c be (-1446)/15 + (-1)/(15/9). Let m = -85 - c. Suppose -1 - 11 = -4*l, -5*i + 5*l = 0. Solve 0*v - i*v - m = 0 for v.
-4
Suppose 0 = 5*c - t - 362 - 20, t - 368 = -5*c. Solve -10 = c*y + 65 for y.
-1
Let g(l) = -6*l. Let b be g(4). Let a = b - -28. Suppose a*h - 5 = 15. Solve h*d - 7 = 3 for d.
2
Suppose 16*n = 21*n - 4*r - 1835, r - 358 = -n. Solve 11*l - n = -341 for l.
2
Suppose 0 = 3*w - f - 262, 0 = 3*w - 2*f + 6*f - 242. Suppose -w - 29 = -5*i. Suppose -36*o = -27 - 45. Solve -i = -5*j + o for j.
5
Suppose -115*i - 931 = -6566. Solve -17 = -22*g + i for g.
3
Let x = -22494 - -22526. Solve 0 = -7*m - 9*m - x for m.
-2
Suppose 49*t - 1562 = -22*t. Solve 0 = 22*v + 88 + t for v.
-5
Let s be -9 + -3*((-12)/126 + 160/(-35)). Suppose 5*m + j = 47, 2*m = 7*m - 2*j - 56. Solve m = 7*b - s*b for b.
5
Let o(y) = -96*y - 366. Let h be o(-5). Solve -22*x = h - 158 for x.
2
Let z be (0/(-1))/(-1 - 1). Let h be (z - 3)*(-4)/12. Suppose -2*b - 192 = -192. Solve b*j - j + h = 0 for j.
1
Suppose -88*i = 44*i - 6072 - 1980. Solve -6*k + 19 = i for k.
-7
Suppose 100*j - 21*j - 158 = 0. Let c(x) = -4 + 5*x - 4 + 2. Let b be c(j). Solve 0*s = -s - b for s.
-4
Let v(n) be the second derivative of -n**4/12 + 7*n**3/3 - 13*n**2 - 90*n. Let x be v(11). Solve -3*o = 4*o + x for o.
-1
Suppose 63*i - 108 = 9*i. Solve -85 = i*h - 87 for h.
1
Let x(t) be the first derivative of t**3/3 - 7*t**2/2 - 12*t + 34. Let u be x(9). Solve -2*f = f - u for f.
2
Suppose -r - 1 = -4. Suppose 0 = 50013*b - 50184*b + 684. Solve g = b*g + r for g.
-1
Let t(a) be the first derivative of -19*a**2/2 - 29*a - 9. Let z be t(-6). Let r = z + -81. Solve 0 = -r*q - q - 5 for q.
-1
Suppose -2*g + 11 = -5. Suppose g*y = y + 42. Suppose -n - y = -2*n. Solve n*q - 2*q = 20 for q.
5
Let o = 493 - 463. Suppose -o*z = -33*z + 39. Solve 20 = z*w - 45 for w.
5
Let r(c) = 22*c - 19 - 3*c**2 - 21 + 2*c**2. Suppose 25*x = 22*x + 60. Let t be r(x). Solve 0 = 5*a - t*a for a.
0
Let b be 4547 + -13 + (-230)/23. Solve 4528*i - b*i - 8 = 0 for i.
2
Suppose -28*s + 29*s - 227 = 0. Let v = -219 + s. Solve -v = 2*x + 2 for x.
-5
Let m = -12 - -16. Suppose -m*r = -r. Let v be 385/105 - -2*(-5)/6. Solve v*q + r*q = 8 for q.
4
Suppose -11*c = 54*c - 2665. Solve -20*h - c = -1 for h.
-2
Let x be 8*(8 - 42/7). Suppose -x*o = -11*o - 10. Solve -7*n = -8*n - o for n.
-2
Let d = 54 + -49. Let j(u) = -u**3 - 6*u**2 - u + 2. Let k be j(-6). Solve 7*y - d*y = -k for y.
-4
Suppose -4*r = c - 56, c + r = 10 + 31. Solve c*p = 109 - 1 for p.
3
Let g be 123 - (135/(-15) - -11). Solve -g*f - 56 = -93*f for f.
-2
Let o(r) = -320*r + 88. Let g be o(2). Let z = g + 567. Solve 4*l - 7 + z = 0 for l.
-2
Let t(j) = -1280*j - 3406. Let w be t(-3). Solve -w*c + 444*c = 40 for c.
4
Suppose -26 = -d - 2*v, 6 + 9 = -5*v. Suppose -d*a = -38*a + 24. Let n = 6 - -18. Solve -4*k - a = -n for k.
5
Let v = -87 + 92. Suppose -2*z - 3*z + v*g = 0, -4*z + 3*g = 0. Solve z = 2*s - 8 + 2 for s.
3
Suppose -3*v + 5 + 1 = 0. Let t(h) = 5*h**2 + 14*h - 30. Let a be t(2). Let z(s) = 6*s - 108. Let p be z(a). Solve p*g - v*g = -8 for g.
4
Let j = 16 - 199. Let d = j + 187. Solve -d*u = u for u.
0
Let z(r) = -20*r. Let t be z(1). Let c = t + 32. Suppose 9*a - c = 3*a. Solve 0 = -a*m - 0 - 6 for m.
-3
Let w(v) = 302*v - 292. Let a be w(1). Solve 42*n + a = -32 for n.
-1
Let h(y) be the second derivative of 4*y**3/3 - y**2/2 - 8*y. Let c be h(-1). Let w = -7 - c. Solve -w*x + 2 = -0*x for x.
1
Let x = 5666 + -5486. Solve 41*n - 11*n = -x for n.
-6
Suppose 3*s + 7*a - 5*a = 60, -2*a + 40 = 2*s. Solve -25 - s = 9*g for g.
-5
Suppose 15 = 2*u + 3*u, 0 = -4*a + 4*u - 12. Suppose 0 = 3*h - 5*h + 30. Suppose -24 = -19*k + h*k. Solve a = -4*o + k - 2 for o.
1
Suppose -4*o - 2*g = -8, 4*o - g = 17 + 3. Suppose 5 = m + o. Let t be (0 + m*6)/(3/2). Solve -t*w = w for w.
0
Let b = 20 - 44. Let y = b - -27. Let w be (-3)/(45/(-10)) + 34/y. Solve 3*c + 3 = w for c.
3
Suppose -195*l = 200*l - 2765. Solve -l*g + 20 - 41 = 0 for g.
-3
Suppose -3*n - 1 - 26 = 0. Let a(f) = 10*f - 5. Let p(u) = -147*u + 90. Let z(l) = -15*a(l) - p(l). Let y be z(n). Solve 4*d - 8 = -y for d.
-1
Let l be (-4347)/(-81) - ((-48)/(-9))/(-4). Solve -l*i = 4 - 334 for i.
6
Let g = 445 + -643. Let d = g - -198. Let k = -2 + 7. Solve d = z - k*z for z.
0
Let c be (-18)/(1 + (-136)/(-160) - 2). Solve -134 + c = 7*s for s.
-2
Let k be (-168)/(-18) - (-9 - 0)/(-27). Solve -52*u + k = -43 for u.
1
Let p(j) = j - 3. Suppose 2*c = t + 11 + 5, 5*c + 4*t - 14 = 0. Let s be p(c). Suppose 3*q = 3*k - 12, 0 = 5*k + q - s*q - 23. Solve -k*u = 29 - 4 for u.
-5
Let i(m) = -m + 3. Let h = -21 - -20. Let t be i(h). Suppose t*a = 2*o - 8, 0 = -0*o + 4*o + 5*a - 3. Solve 2 = -0*w + o*w for w.
1
Let c be ((-48)/(-56))/(6/140). Suppose -c*u = -76*u + 1120. Solve u = 9*q - 5*q for q.
5
Let i = 407 - 404. Let f(p) be the third derivative of -p**5/60 - p**4/24 + 5*p**3/2 - 2*p**2. Let a be f(i). Solve -a*m - 13 + 4 = 0 for m.
-3
Let w = -5 + 8. Let o = 52 - 48. Suppose o*n - 5*q = 37, 4*q + 22 = 4*n + 2*q. Solve -6 = -n*y - w for y.
1
Let d be 1020/140 + 35/49. Solve d*o = 99 - 147 for o.
-6
Suppose 2*s - 3*s + 3*n - 2 = 0, -5*s + 16 = -2*n. Suppose 5*i - 16 = t, -3*t + 0*t - 4 = -s*i. Let c be t - (4 + -3 + -2)/1. Solve c + 0 = -5*l for l.
-1
Suppose -3*w + 280 = 5*n, -5*n + 2*w + 320 = -3*w. Suppose 3*k - n = -38. Solve 5*p - k = 8 for p.
3
Let w(k) = k**3 - 51*k**2 + 2*k - 129. Let p be w(51). Let z be (-5)/30 - (-175)/6. Let n = p + z. Solve 4*i - n*i = 0 for i.
0
Suppose 0 = 23*j - 625 + 4. Solve -109 + 1 = j*u for u.
-4
Let k(n) = n**3 - 9*n**2 + 9*n - 8. Let q = -60 - -68. Let g be k(q). Solve 0 = 2*v - g*v + 4 for v.
-2
Let h be (9/12)/((-4)/(-304)). Let a = h + -29. Solve a - 3 = -5*b for b.
-5
Let m be -1*1558/(-6) - (-33)/99. Suppose 3*u + m + 76 = 0. Let f = 112 + u. Solve f = 6*v - 2*v - 4 for v.
1
Suppose 4*l + 2*h - 38 = 0, -22*l - 2*h + 46 = -17*l. Suppose 3*r + 4*n - 8*n = 0, -l*n = -3*n. Solve r = -6*z + 7*z + 5 for z.
-5
Let m(d) = -d**3 + 4*d**2 + 30*d + 18. Let k be m(8). Suppose 4*o + 22 = -k*h + 5*h, -3*o = 5*h + 2. Solve -h*a = 3*a - 10 for a.
2
Let k(z) = -3*z**3 - 9*z**2 - 3*z + 3. Let a be k(-3). Suppose -12*w + 6*w = -a. Solve -w*u - 2 - 6 = 0 for u.
-4
Suppose -2*i + 11 = p, -2 = 4*p - 4*i + 2. Suppose 415*b + 125 - 540 = 0. Solve -p - b = -u for u.
4
Suppose 2*f + 5*k + 7 = -13, 8 = -2*f - 2*k. Suppose f = -2*s + 3*s - 2. Let x be (-12)/(-20) + s/5. Solve 2*o - x = -5 for o.
-2
Let d(r) = -r**3 + 27*r**2 - 170*r + 8. Let h be d(10). Solve h*z = 7 + 25 for z.
4
Suppose 2*w + 167*r - 321 = 162*r, -r = -3*w + 422. Solve w = -9*x + 89 for x.
-6
Let m(t) = -t**3 - 114*t**2 + 119*t + 502. Let y be m(-115). Solve y = 33*p + 9*p for p.
1
Suppose f = -v - 5, 0 = 113*v - 118*v + 2*f + 10. Let g = 9 - 4. Solve v = c - g*c - 4 for c.
-1
Let y(m) = -9*m**3 - 33*m - 32. Let n be y(-1). Solve 6*v = -n*v - 16 for v.
-1
Suppose -2*x = 85 - 119. Suppose -5*y = -23 - x. Solve 33*c - 29*c = -y for c.
-2
Let c(q) = q**2 - 9*q + 6. Let s be c(8). Let h be 11 + (-1)/1 + s. Suppose 2*x = -2*y + 7*y - 11, 5*x - 25 = -5*y. Solve 0*k = x*k - h for k.
4
Let t be 0 + ((-145)/(-15) - (-2)/6). Suppose q = t*q. Suppose -2*y + 2*g + 4 = q, y = -4*g - 0*g - 8. Solve y = -2*l - 3*l - 15 for l.
-3
Let u(g) = 6*g - 2. Suppose -7*a + 27 = -22. Suppose 5 = -5*k + 5*v, -2*k = -5*k + 5*v - a. Let m be u(k). Solve z + 0 = m for z.
4
Let y(p) = -p**3 - 7*p**2 + 7*p + 10. Let t be y(-5). Let k = 79 + t. Solve k*f = 2*f - 8 for f.
-4
Suppose -20*v + 46*v - 104 = 0. Suppose 3*n + v*l - 25 = -l, -l = n - 5. Solve n = -k + 1 for k.
1
Let r(