lve -262*a + 256*a = -m for a.
1
Let b = -66 - -67. Solve 8*o = 9*o + b for o.
-1
Suppose 0 = 3*w - 29 + 17. Suppose 25 = 5*o, 9*n = w*n + 4*o + 5. Solve n*s + 2 = 7 for s.
1
Let s(k) be the second derivative of k**5/20 - 7*k**4/12 - k**3 - 9*k**2/2 + 3*k. Let l be s(8). Let j be (6 - l) + (-15)/(-3). Solve -3*b = -j - 5 for b.
3
Let w be 0/((-6)/2) - 11/(-1). Solve 16 = 3*t - w*t for t.
-2
Let c(y) be the second derivative of y**3/3 + 3*y**2/2 - 9*y. Let d be c(0). Suppose 4*n - 4 = -2*v, -d*v + 18 = 2*v + 2*n. Solve -8 = v*k + 8 for k.
-4
Let s = 3 - 2. Suppose -3*y - 2*j = -6, -y + 3 = -j + s. Let g = 7109 + -7107. Solve y*t = -g*t for t.
0
Let k be 7*3*(-4)/(-12). Let d = 5 + k. Suppose 4*o = -0*o + d. Solve 0 = o*b - 4 - 2 for b.
2
Let g(v) = v - 4. Suppose -11*r + 21 = -8*r. Let d be g(r). Solve -6 = 3*s + d for s.
-3
Let a(r) = -r**3 - 2*r**2 + 2*r - 5. Let q be a(-4). Suppose 3*i = 11 + q. Suppose -5*u - 4*l + 30 = 0, 2*l = -2*l + 20. Solve -4*h + u = -i for h.
3
Suppose -3*f - 58 = k, 3*f = -2*f - 5*k - 90. Let p = f + 8. Let l = -6 - p. Solve -l*d = -d - 10 for d.
2
Suppose 0 = -5*i + 4*w - 67, w = 5 - 2. Let a = 13 + i. Suppose -z = a*z. Solve 0 = -f + 1 - z for f.
1
Let a be (-50)/6*-2*(-6)/(-4). Suppose 5*l + 15 = a. Solve 5*f = l*f - 12 for f.
-4
Let g(s) = 2*s**3 + 4*s**2 - 5*s - 4. Let f be g(-2). Solve -f*a + 5*a = -1 for a.
1
Suppose 7*h - 2 = 12. Suppose -s = -2*l + 12, -s + 22 = 5*l - 1. Suppose l*k = 4*y + 1, -1 = -0*y + 2*y - 3*k. Solve h*w + y = 5 for w.
2
Let d = 14 - 13. Suppose -2*g + 7 = -3*h, 0 = h + 3*h - 4. Let s be (g/15)/(1/3). Solve m + d + s = 0 for m.
-2
Let r be (((-78)/4)/(-13))/((-6)/(-8)). Suppose r*p + 8 - 24 = 0. Solve -p = -3*j + 1 for j.
3
Let r = 234 + -207. Solve 17 + r = 11*b for b.
4
Suppose -4*s - 2 = 4*l + 2, 0 = -5*s - 4*l - 4. Suppose s = -b + 9*b. Solve 0*p - 2*p + 10 = b for p.
5
Let c(f) be the second derivative of f**3/6 - 5*f**2/2 - f. Let u(i) = -4*i - 43. Let b be u(-13). Let t be c(b). Solve t*x + 2 = -10 for x.
-3
Let b be 6/(-1 - 11/(-5))*4. Suppose x - 6*x = 40. Let r = x - -11. Solve -q - r*q = b for q.
-5
Suppose -8 = -2*z + 2*s, 5*s + 0 = 2*z - 5. Suppose 2*w + 25 = z*o, 21 = 3*o - 2*w + 6. Let v = -9 - -12. Solve 6 = v*i - o*i for i.
-3
Let a(u) = -u**3 + 11*u**2 - 10*u + 10. Let y be a(10). Suppose 3*v - y = -25. Let w be v*(0 + 24/(-15)). Solve 0*q + 2*q = w for q.
4
Let q(y) = y**3 + 10*y**2 + 3*y - 20. Let n be q(-9). Let a = n + -29. Solve a*k = -9 - 1 for k.
-2
Let f(d) = -5*d. Let i be f(3). Let c be (-4 - i/5)*-3. Solve 8 + 4 = -c*g for g.
-4
Suppose 2*w + 16 = 2*q, -w - 4*w - 3*q = 0. Let o be 0 + w/(-6)*6. Suppose 0 = x + o*d - 6*d + 12, -16 = -x - 4*d. Solve x = -4*f - 0*f + 4 for f.
1
Let y(v) = -v**2 + 10*v + 11. Let h be y(10). Let a = 17 - h. Solve 3*f + a = 5*f for f.
3
Suppose -23*a + 5 = -18*a. Let s be 2 + a + 0 + 2. Solve -3*d = s - 2 for d.
-1
Let p(h) = -h**2 + 8*h + 21. Let k be p(10). Let c be (k - 0)/(-3*1/(-9)). Solve 4*v + 3 = c*v for v.
-3
Let d(j) = 4*j - 8. Let z be d(5). Let i be 3/(-4) - (-9)/z. Suppose 0 = -3*s - i*s. Solve s*k + 10 = 2*k for k.
5
Suppose 0 = -2*v - 6*v - 672. Let y = -80 - v. Solve y*f + 12 = -4 for f.
-4
Suppose 0 = 2*h - 4*c - 32, 2*h - 3*c - 27 = 4. Solve -h*o = 60 - 18 for o.
-3
Let d(m) = 2*m + 4. Let n(p) = -p + 4. Let g be n(4). Let s be d(g). Solve 0 = s*h - 2 - 2 for h.
1
Let h be (-98)/(2/1)*(-3264)/1904. Solve 36 = 24*w + h for w.
-2
Suppose 24*t - 18*t = 0. Suppose n = -x + 6, -n + 3 = -2*x + 2*n. Solve t = -4*p + x*p - 1 for p.
-1
Let l be ((-5)/1)/(12/((-2280)/50)). Solve -7*s = -l + 12 for s.
1
Suppose 0*g - u - 15 = -4*g, -2*g - 4*u = -12. Suppose -3*h = 4*t - 16, 31*h - 3*t + 10 = 33*h. Solve g*z + h - 4 = 0 for z.
-1
Let g be (-6)/(-7)*(-1008)/(-108). Solve 6*z - 2*z = g for z.
2
Let b(j) be the first derivative of j**4/4 - 5*j**3/3 + 3*j**2 - 4*j - 12. Let q be b(4). Let h(u) = -u**2 - 6*u - 5. Let p be h(-3). Solve 6*i + q = p*i for i.
-2
Let s be (-2)/15 - ((-10416)/(-180))/(-14). Solve t - 25 = -s*t for t.
5
Let x be (-2)/14*-5 + (-4)/(-14). Let f be (-1 - (-2 + 1))*x. Solve 0*c + 3*c - 9 = f for c.
3
Suppose -11 = -h + 6. Suppose 6*g + 3*p = 5*g - 2, 5*g + 5*p = -10. Let r = h + g. Solve -4*t = -r + 3 for t.
3
Let u(q) = -q**3 + q**2 - q + 10. Let b be u(0). Suppose 0 = 13*c - 8*c - 15. Let m = b - c. Solve 0 = 5*f - 3 - m for f.
2
Let q be 28*(-4)/(-64)*20. Solve -6*s - q = -5 for s.
-5
Let c = 452 + -445. Let l(o) = o**2 + 3*o - 3. Let d be l(-6). Solve c*n = 2*n - d for n.
-3
Let w(m) = m**2 - 11*m - 6. Let t be w(12). Solve 2*g = -0*g - t for g.
-3
Suppose 0 = -2*h - 14. Let y = 11 + h. Suppose 2*l - 4*l = -y*b - 22, 5*l + 5*b - 40 = 0. Solve l*d - 4*d = 20 for d.
4
Suppose -3*w = o + w + 6, -5*o - 5*w + 15 = 0. Suppose -5*n = -n - 8. Suppose n*k + 4*h - 28 = 0, -o*h + 25 = -h. Solve k*j = 2*j - 2 for j.
-1
Let w be 4/10 + 8/(-20). Suppose 2*h - 26 - 24 = w. Let l = h + -19. Solve 0 = l*k - 2*k for k.
0
Suppose -4*c = 2*h + h - 14, -3*h = -3*c. Let f = -7 - -11. Suppose f*u = -u. Solve u = -h*t - 4 for t.
-2
Let f = -30 + 26. Let x be -1 + (27 - (-4)/f). Solve v = 6*v - x for v.
5
Suppose -2*t = -4*u + 56, 3*t + 46 = t + 2*u. Let q be (2 - 1)*t/(-6). Let w = q + -1. Solve 20 = 2*c + w*c for c.
5
Suppose 2*t - 2*l - 18 = 0, 2*l = t - 6*t + 52. Suppose -t = 4*r - 9*r. Solve 2*w = -r*w - 16 for w.
-4
Let q(n) = n**3 + 8*n**2 - 3*n - 12. Let u be q(-8). Solve r - u = 5*r for r.
-3
Let c be (36/(-14))/((-1)/7). Let k = -16 + c. Solve -2*m - k = -0*m for m.
-1
Let t(p) = -p**3 - 12*p**2 - 2*p - 20. Let z be t(-12). Let y be z*((-162)/8)/(-9). Solve 4*c = y*c - 5 for c.
1
Suppose -3*b + 2*v + 31 = 0, 30*v - 33*v - 22 = -b. Solve 4*k = b*k - 9 for k.
3
Let l = 32 - -159. Solve -l*x + 2 = -192*x for x.
-2
Let i be -3 - (-60 - (-3 + 2)). Let w be ((-12)/14)/((-4)/i). Suppose -g = -2*c - 0*g + w, -3*c + 5 = 5*g. Solve c*m - 35 = -10 for m.
5
Suppose -3*l + 2*c + 65 = 0, 2*c = 2*l + 1 - 47. Let x = -19 + l. Let d(u) = u**2 - 2*u - 11. Let n be d(5). Solve x = -0*a + a + n for a.
-4
Suppose 0 = 30*q - 119 - 31. Solve -q*l + 19*l = 28 for l.
2
Suppose 0 = 5*w - k - 15, 12 = -4*w - 5*k - 5. Solve -5 = -g - w for g.
3
Let h = 39 - 35. Suppose -1 - 19 = -h*g + 3*b, -2*g = -2*b - 10. Solve g*r - 6 = -16 for r.
-2
Let w = 11 - 6. Suppose j = 5*t + 80, -4*t = -w*j + 68 - 4. Let c be 3/15 + t/(-20). Solve a + c = 2 for a.
1
Suppose -2*i + 12 = -0*i. Suppose -50*o + 94 = -106. Solve i = -o*k + 6*k for k.
3
Let a be 28*(-2)/(-4)*1. Let g be 2*-2*a/(-8). Let i be 1617/(-147) - ((-66)/(-2))/(-3). Solve 2*v - g*v = i for v.
0
Suppose 2*s - k - 55 = 0, 8*s = 13*s - k - 145. Solve 0 = 15*l - 5*l - s for l.
3
Suppose -5*h = -0*c + 4*c - 20, -5*h = -20. Solve c = 4*n - 11*n + 35 for n.
5
Let z be (-2*2/3)/(96/(-144)). Suppose -5*w + 3*u + 13 = 0, z*w = -w + 3*u + 9. Solve 0 = n - w*n + 5 for n.
5
Let t be -8 - (-180)/10 - 8. Solve -7*m + t*m = -m for m.
0
Let c(n) = -n**3 - 19*n**2 + 21*n + 22. Let t be c(-20). Solve -4 = t*b - 2 for b.
-1
Suppose -2*x - 285 = -5*w, 5*w = -2*x + 3*x + 290. Let a = -56 + w. Solve a*f - f = 0 for f.
0
Suppose 0 = 3*a - 5*d - 3 - 1, -2*d + 48 = 5*a. Let v be (-26)/(-3) - (a/6)/(-4). Solve -v = -3*s - 3 for s.
2
Let u(o) = -o**2 - 12*o - 9. Let x be u(-11). Suppose 5*i - x = -2*t, 2 = 3*i - 4*t - 20. Solve 12 = -b - i*b for b.
-4
Suppose 28 = -3*d + 2*r, 2*d - 3*r = -9 - 3. Let g = d + 17. Suppose 3*a = g*a - 16. Solve 3*v + a = v for v.
-4
Let v(u) = -u**2 + 8*u + 14. Let o be v(11). Let p(f) = -f**3 - 18*f**2 + 17*f - 23. Let w be p(o). Solve w = h - 6*h for h.
-3
Let z be (-20)/(-39)*12 - 2/13. Solve -7*y = -4*y + z for y.
-2
Let b = -9 - -11. Let l be (70/(-28))/((-1)/b). Suppose 2*x + 5*q - 18 = 0, 0 = x - l*q + 3 + 3. Solve s + 25 = -x*s for s.
-5
Let u = 34 - 24. Let y be (-25)/(-10)*(1 + 5). Suppose 3*r - y = -2*r. Solve k - r*k = -u for k.
5
Let q(c) = -c. Let s be q(-2). Suppose 4 = 5*z - 4*o - 16, -s*o = 4*z - 42. Let b be -9 + z - -2*1. Solve -k = -b + 4 for k.
-3
Let n(t) = 7*t - 14. Let g(j) = 6*j - 13. Let k(d) = 6*g(d) - 5*n(d). Let r be k(7). Let f be -2 - -3 - (r + -6). Solve -4*u = -2*u + f for u.
-4
Let y(m) = -2*m**3 + m + 1. Let x be y(-1). Suppose x*k + 6 = 3*d, 4*d = -3*k +