 - 16 = 12*a. Solve -a*n - n = -2*n for n.
0
Suppose z = -4*p + 1 - 2, -2*p - 3*z = 3. Let a = -3 - -30. Suppose 0 = -3*s + 6*s + 5*g - 31, s + 5*g = a. Solve -s*h = -p*h - 4 for h.
2
Suppose -5*g - 50 = 7*f - 11*f, 0 = -7*f - g + 68. Solve f*i - 48 = 34*i for i.
-2
Let x(n) = -9*n - 178. Suppose -18*b = -14*b + 80. Let c be x(b). Solve -c*h - 5 = -7*h for h.
1
Let l = 13497 + -13495. Solve c = l*c + c for c.
0
Let i(w) = -14 - 6*w + 94 + 0*w + 0*w + 24. Let b be i(16). Solve -x - 21 = -b*x for x.
3
Let v(o) = -2*o**3 + 4*o**2 + o - 4. Let w be v(4). Let p(l) = -4*l**3 - 20*l**2 + 4*l + 8. Let j be p(-5). Let h be (-3)/9 + w/j. Solve 4*t = -3 - h for t.
-2
Suppose -43 = -60*p + 77. Solve p*c - 17*c = 30 for c.
-2
Let r = 510 - 515. Let w = 1 - r. Solve 0 = -2*l - w for l.
-3
Let o(n) = -n**2 + 10*n - 9. Let w be o(6). Suppose 19*l - w = 16*l. Suppose 0 = l*t - 5*p - 10, 0 = p - 0 + 1. Solve -2*g = -g - t for g.
1
Let h(u) be the second derivative of 5*u**3/6 - 18*u**2 - 34*u. Let j be h(8). Suppose -3*b = -y - j, -3*b - 5*y + 26 = -8. Solve d + 2 = b*d for d.
1
Let j be 185 + 8 + (-2)/((-18)/(-63)). Solve -60*i = j - 6 for i.
-3
Let i = 79 - 48. Suppose 3*v = 5*h - i, h = -2*h - 2*v + 30. Solve -5*k + h*k = 15 for k.
5
Let c = 4462 + -4444. Solve -24*l + c = -15*l for l.
2
Let q be (1/(-1) - -1)/2. Let f(o) = -o**3 - 14*o**2 + 13*o - 29. Suppose 1409*h = 1401*h - 120. Let r be f(h). Solve q = -3*z - 5 - r for z.
-2
Suppose -3*y + 4*s = -4, y + s + 0 = 6. Suppose 5*f + 21 = -y. Let h be -2*(2/f + 8/(-5)). Solve -3*k = -5 - h for k.
3
Suppose w - 4 = -p, -w = -4*p + 4*w - 20. Suppose p = -b - 2 + 5. Suppose 2*k - 4 = 0, -22 = -2*t - 2*k - b*k. Solve 0*m = -2*m + t for m.
3
Suppose -4*q = -4*x, x - 18 = -85*q + 80*q. Solve q*o - 4 = 2*o for o.
4
Suppose -58 = -11*o - 3. Suppose o*c + 8 = 2*q, 3*q = c + 5 + 7. Solve -6 + c = 3*t for t.
-2
Let n be -10 + (-65)/(650/(-660)). Solve 7*f + n = 77 for f.
3
Let q(y) = y**2 - 1663*y - 8338. Let h be q(-5). Suppose 6 = -0*f + 3*f. Solve -f*o + o = h for o.
-2
Let j(w) = -68*w + 78. Let h be j(1). Solve 6*c - h + 40 = 0 for c.
-5
Let n(b) = 6*b**3 + 2*b**2 + 5*b - 41. Let f be n(5). Let g = f + -764. Solve 5*k + g = k for k.
-5
Suppose 0 = -2*d - 8, -o + 6*o - 2*d - 28 = 0. Let m be (12/14)/(2/(-28)). Let p be m/(-9)*6/4. Solve 4*l - o = p*l for l.
2
Let s(n) = 3*n + 1. Suppose t + 5*y + 21 = 0, 2*y = 8*t - 3*t - 3. Let x be 4 + t + -3 - 0. Let d be s(x). Solve -d = 4*b + 3 for b.
-1
Suppose -4*k + 0*z + 3628 = -3*z, 2*k - 1814 = -z. Suppose 40*c + 267 - k = 0. Solve d = 13 - c for d.
-3
Let b = 952 - 866. Solve b*d - 77*d = -27 for d.
-3
Let s = -2609 + 2639. Solve s*i - 30 = 36*i for i.
-5
Suppose 5*o + 5*c - 500 = 0, -22*c - 248 = -2*o - 18*c. Solve 96*m - 180 = o for m.
3
Let r(j) be the third derivative of j**5/30 - 7*j**4/24 - 2*j**3/3 + 7*j**2. Let t be r(4). Suppose t = -8*m + 11*m. Solve 0 = -2*l - m*l for l.
0
Suppose 4*a = m - 14, -2*m + 13*a - 9*a + 44 = 0. Suppose 8*r = 2*r + m. Solve 0 = -4*i + 3 + r for i.
2
Suppose -3*v + 180 = -0*v. Let x be ((-39)/12 - -4)*v. Let p = 54 - x. Solve p + 11 = -5*t for t.
-4
Suppose -6*h + 3*h = -2*l - 27, 2*l - h = -21. Let s(j) = 4*j + 10. Let n(v) = 21*v + 51. Let p(o) = 4*n(o) - 22*s(o). Let m be p(l). Solve -3*t - m = t for t.
-5
Suppose 3*z - 2*p - 38 = 0, 4*z - 52 = -0*p + 4*p. Let q(i) = -i**3 + i**2 + i + 27. Let m be q(0). Suppose -m*v + 135 = -0. Solve f - v*f = -z for f.
3
Let w(l) = 4*l + 135. Let m(i) = -4*i**2 - 20*i - 9. Let n be m(-6). Let h be w(n). Solve 0 = h*s + 6 - 0 for s.
-2
Let q(v) = 2*v**2 - 42*v + 199. Let z be q(7). Solve z*y - 2 - 1 = 0 for y.
1
Let u(i) = -38*i - 43. Let c be u(2). Let f = c - -125. Solve 0 = f*t - 0*t for t.
0
Let r(b) = -233*b + 943. Let h be r(4). Solve 15*w - h - 19 = 0 for w.
2
Let m be 2*(-1 + 5/6)*-6. Suppose j - 5 = 0, m*u + 25 = u + 5*j. Solve 0 = 4*c - u*c - 4 for c.
1
Let t = 20 + -12. Let j = -140 - -145. Let u be (8/j)/(14/35). Solve 0 = -u*m + 6*m - t for m.
4
Suppose 19*q - 8*q - 1485 = 0. Let h = q + -132. Solve 4*z - h = 3*z for z.
3
Let c(h) = -2*h**3 - 2 - 3 + 5*h + 5*h**2 + 4 + 5. Let z be c(4). Let i = -22 - z. Solve -i*n + 0*n - 4 = 0 for n.
-2
Let m be 4 - (-4)/8*-8. Suppose -49 = -b - 6*b. Suppose 2*x + 9 = -3*d + b*x, -d - 7 = -3*x. Solve m*f = d*f for f.
0
Suppose -73*f + 78*f = -2*c + 188, -5*f - 332 = -3*c. Solve -12*m - 140 = -c for m.
-3
Let w(x) = 253*x - 1002. Let n be w(4). Solve 9*j = -19 + n for j.
-1
Let p be (-15)/3*(-8)/8. Suppose 0 = p*b + 1 - 26. Suppose -b*c + 11 = 1. Solve 0*g = -c*g for g.
0
Let q(h) be the third derivative of -h**4/8 + 35*h**3/6 + 10*h**2. Let m be q(11). Suppose -m*l - 3 = -3*t + 6, 4*l + 2*t = 6. Solve -3*i + 12 = -l*i for i.
4
Suppose 158*a = 12*a + 292. Let d(i) = -10*i**3 + i**2 + 2*i + 1. Let l be d(-1). Let v = l - 7. Solve -a*t + t = -v for t.
3
Let t(a) = -a**3 + 3*a**2 - 3*a + 1. Let b be t(1). Suppose 3*s - 48 = -2*p - 2*s, -4*p - 4*s + 96 = b. Solve -3*k - p = -9*k for k.
4
Let p(o) = -o**3 + 4*o**2 - 5*o + 5. Let a be p(2). Suppose z = -a*x + 24, 6*z - 3*z - 12 = 3*x. Solve 0 = -2*j + z - 17 for j.
-4
Let j = -10 - -15. Suppose -5*r + j*g - 23 - 2 = 0, -5*r + 2*g = 10. Solve -3*l - 9 - 6 = r for l.
-5
Let m(n) = 4*n**2 - 7*n + 20. Let j(y) = -7*y**2 + 14*y - 38. Let i(x) = -3*j(x) - 5*m(x). Let u be i(4). Suppose 0 = 2*d + 3*d - 5. Solve u*c = -1 - d for c.
-1
Let r = 4536 - 4527. Solve r*s + 29 = -34 for s.
-7
Suppose 18*g + r - 222 = 16*g, 2*g - 3*r - 206 = 0. Solve -2*u + 103 - g = 0 for u.
-3
Let k = -129 + 144. Let i be 6/8*48/9. Solve k = -o - i*o for o.
-3
Let a be -2*(-40)/(-16) - -15. Let i(p) = p**3 - 5*p**2 - 43*p - 7. Let l be i(a). Solve 59*j = l*j - 8 for j.
2
Let a(i) = -4*i + 32. Let n be a(7). Let f be (13 - -1) + (-32)/n. Solve 4*v + 10 + f = 0 for v.
-4
Let x(k) = k**3 + 11*k**2 - 14*k - 21. Let h be x(-12). Suppose -y = -f - 3, h*y = -0*f + f + 19. Solve y*s - 7 = 1 for s.
1
Let a(l) = -2 + 4 - 5 - l - 12. Let g be a(-19). Solve g*p = 3*p - 4 for p.
-4
Let m = -9882 + 9947. Solve -30 = m*z - 55*z for z.
-3
Let g be 2*(-9 - 708/(-24)). Solve -47*x + 36 = -g*x for x.
6
Suppose -2*r + 171 = -r. Let a be 5 + r/(-27) - 32/(-6). Solve -3*x - 8 = a for x.
-4
Let x(h) = -h**2 + 8*h + 610. Let p be x(-19). Solve 0 = 2*i - 105 + p for i.
4
Suppose h = 2*h - 6*h. Suppose -5*x = 228 - 248. Solve 2*p - 3*p - x = h for p.
-4
Suppose 259*o - 2*i = 257*o + 94, -249 = -5*o + 3*i. Solve 0 = o*j - 41*j + 39 for j.
-3
Let o = -741 - -747. Solve o*q - 12 + 0 = 0 for q.
2
Let n = 63 - 106. Let t = -39 - n. Suppose -3*o = -5*j - 4*o + 17, -4*j + t*o = -4. Solve 0 = 3*d + 18 - j for d.
-5
Let d be 436/2 + 2 + 1 + -2. Let u = d - 213. Solve 14 = 4*w - u for w.
5
Suppose 14*a - 7 = 13*a. Suppose -a*p = 7 - 70. Solve 6*j - 3*j + p = 0 for j.
-3
Let q be (-104)/(-26) - (1 + -5) - (-1 + 9). Solve q = 62*k - 83*k + 21 for k.
1
Let t be 7 + -3 - (-3 - -3). Suppose 7*k - 8*k - 2 = 0, -2*k - t = 3*m. Let p = 6 + -4. Solve m*i - 6 = p*i for i.
-3
Let p(u) = -u**3 + 15*u - 11. Let d(k) = -k**3 - k**2 + 13*k - 11. Let i(f) = -4*d(f) + 5*p(f). Let r be i(7). Solve -6*h = -9*h + r for h.
1
Let j be (4/(-3))/(-2)*-3. Let o be 4/(-3)*15/j. Suppose -4*x - 5*z = -15, -3*x + 2*z - 386 = -403. Solve x*q = -o - 0 for q.
-2
Suppose -i = -2*q - 45, 20*q - 25*q = 3*i - 168. Let s be 4*-6*26/16. Let o = s + i. Solve j - o = -2*j for j.
4
Let m = -4383 + 4514. Solve -149*l = -m*l - 90 for l.
5
Let j(t) = 5*t**2 + 2*t + 4. Let y(a) = 4*a**2 + 10*a - 2. Let o be y(-3). Suppose 25*n = 27*n + o. Let r be j(n). Solve r = 5*m - 0 for m.
4
Let k(s) = -56*s + 1876. Let m be k(33). Solve 9*w - m = -10 for w.
2
Suppose 4*z + 38 = -c + 4, -c - 3*z - 30 = 0. Let h = c + 32. Let p = -2928 + 2933. Solve 0 = p*j + 6 + h for j.
-4
Let k(f) = 29*f - 203. Let b be k(7). Solve b = 9*o - 26 + 35 for o.
-1
Let u = -5 - -8. Let s be ((-10)/(-5) - 1) + 55. Suppose 0 = -6*r - s + 74. Solve -r = -0*w + u*w for w.
-1
Let u = 52 + -49. Suppose -45 + 33 = -u*w. Suppose 0 = -w*q, 3*q + 2 = -3*f + 8. Solve -2 = -f*c - 0*c for c.
1
Let n(z) = z**2 + 21*z + 21. Suppose -4*l - 14*a - 81 = -11*a, 0 = -l - 2*a - 19. Let g be n(l). Solve g - 5 = -4*i for i.
-4
Let d = -128 + 137. Let y be 2 - (-7 + (