olve -4*s - d = -m for s.
-1
Suppose 0*t + i - 11 = -3*t, -3*t - 5*i = -31. Suppose -t*q - 4 = -0*q. Let w be 1 + (q - 1) + 2. Solve -u - 4 + 0 = w for u.
-4
Suppose -v - 4*v - 56 = -4*f, -2*v - 2*f - 26 = 0. Let j be 1/4 - v/(-48). Solve j*x = -x + 2 for x.
2
Let n(a) = -2*a**2 + 86*a - 220. Let g be n(40). Solve g*y - 8 = 22*y for y.
-4
Suppose 6*b - 8*b - 32 = -2*j, -b + 28 = 3*j. Solve -9*m - j = 34 for m.
-5
Let y be (-1 + -2 + 2)*1. Let j = y + 3. Let h be (63/(-84))/((-1)/8). Solve -j*n = -h*n - 16 for n.
-4
Let l be ((-70)/105)/((-4)/30). Solve l*t + 77 - 72 = 0 for t.
-1
Suppose -2*f = f - 21. Suppose 6*s = -f*s + 52. Solve 2*j - s*j = -10 for j.
5
Let s = 274 - 272. Solve l + s = 3*l for l.
1
Suppose -15 = 2*z + 7. Let s = -8 - z. Suppose 3*w = 5*w. Solve 0 = -w*r + s*r - 6 for r.
2
Let j = 9 - 6. Suppose 4*p + 3*x - 55 = 18, x - 67 = -4*p. Suppose -4*d + j*f + 16 = 0, -4*d - 2*f + p = -0*f. Solve d*a = -a + 15 for a.
3
Let b be (2 - -1 - -43) + -1. Let n be 96/10 + 18/b. Let z = 16 - n. Solve -z*q = -q for q.
0
Let k be (114/(-21) - -4)*-7. Suppose 2 = -2*i + k. Let o be (i - 9)*4/(-10). Solve 0 = 3*s - 8 + o for s.
2
Suppose 4*s + 10*s - 364 = 0. Solve 30*y = s*y + 8 for y.
2
Let p(v) = 2*v - 7. Suppose -5*t + 17 = -8. Let h be p(t). Solve h*m = 6*m - 9 for m.
3
Let s(h) be the third derivative of 23*h**4/24 - h**3/3 - 5*h**2. Let i be s(1). Solve 5*d - i = -6 for d.
3
Let u = 10 + -2. Suppose 6*h - u*h = -50. Solve -h = -5*s - 0*s for s.
5
Suppose 0 = 5*q - 0*q. Suppose q = -0*x + x + 2. Let l(w) = w**3 + 4*w**2 + 2*w - 2. Let d be l(x). Solve -y = -2*y - d for y.
-2
Let d be 6/8*2880/108. Solve 8*l = 3*l + d for l.
4
Let a(f) = 67*f**2 + 63*f - 1. Let v be a(-1). Suppose b - 5 = -3*j, 3*b - 4*j + 6 = 34. Let x = -2 + b. Solve -t + v*t - x = 0 for t.
3
Let i(k) = k - 2. Let v be i(2). Suppose l + 2*l - 3 = 0. Let u(z) = 4*z**3 + z**2 - 1. Let x be u(l). Solve 2*w - 4*w + x = v for w.
2
Suppose -51 = -9*z + 102. Solve -z*g - 21 = -24*g for g.
3
Let b(s) = -2*s + 15. Let r be b(6). Suppose r*z + 17 - 17 = 0. Solve z = 3*j - 8 - 7 for j.
5
Suppose -f - 3 = -3*w - 0, f = w + 1. Let c(n) = 6*n**2 + 2*n - 1. Let d be c(1). Suppose -6*x - d = -43. Solve 0 = -x*o + f*o for o.
0
Let j be 4/(-3) + 10/30. Let f be ((-2)/(-1) - j) + 0. Suppose -k = -f*n + 9, 4*n - 5*k = 3*n - 11. Solve -r = 3*r - n for r.
1
Let f(z) = z**2 - 5*z - 2. Let k be f(6). Let b = -20 + 22. Suppose -u = -4*u - k*x + 21, b*x = 5*u - 9. Solve -u*l + 10 = -l for l.
5
Suppose -2*g - 124 = -4*d - g, d - 36 = -g. Suppose -5*r + r + d = 0. Solve -r*q = -3*q for q.
0
Let m(g) = 100*g + 56 - 210*g + 104*g + 10. Let y be m(10). Solve 2 = r + y for r.
-4
Suppose -2*v - 2*f + 18 = 0, -f = 4*v + f - 38. Solve -8*w + 3*w = -v for w.
2
Let z be 3/(-4)*56/(-21). Let s(p) = -p**2 - 3*p + 4. Let c be s(-4). Let g = c + 0. Solve 6*f - z*f = g for f.
0
Let g(w) = w**3 + 6*w**2 - 53*w + 27. Let z be g(-11). Solve -z*x + 72 = 57 for x.
3
Let v = -394 + 397. Solve v = -5*k + 4*k for k.
-3
Let z(p) = 2*p + 3. Let q be z(17). Solve 0 = 28*d + 121 - q for d.
-3
Let f be ((3 - 4) + 1)/((-84)/(-21)). Solve -9*z + 45 = -f*z for z.
5
Let a = -18 + 45. Let h = a + -22. Suppose 0*j = h*j - 15. Solve 2*d + j*d - 25 = 0 for d.
5
Suppose 6*m - 9 - 51 = 0. Let w be 2/((-2)/(-12) + 5/m). Solve 0 = -w*u + 6*u for u.
0
Let i = -644 + 651. Solve 9 = -2*a - i*a for a.
-1
Let d(c) = c**3 - 4*c**2 - 8*c + 2. Let f(g) = g - 1. Let t be f(7). Let m be d(t). Suppose 0 = -b - p + 9, -3*b = b + 2*p - m. Solve -3*j + b = -7*j for j.
-1
Suppose -3*v + 149 = -4*i, -33*v - 3*i = -31*v - 71. Solve 8 - v = -7*l for l.
5
Let x be -5*(-8 + -5 + 12). Solve x*n = -2 - 3 for n.
-1
Let x(a) be the first derivative of -a**4/4 + 2*a**3 + 4*a**2 - 5*a - 2. Let h be x(7). Suppose h + 1 = p. Solve -p*m = 2*m - 15 for m.
3
Let i(b) be the second derivative of -3*b + 5*b**2 - 1/6*b**3 + 0. Let h be i(9). Solve -m - h = -2*m for m.
1
Let h be (1 + 1 - 9) + 0. Let v be 3*3 - (-8 - h). Solve 2*f + 2 = v for f.
4
Let w be 4/(-10) - (-64)/10. Suppose 224*l = 203*l + 105. Solve l*k + 4 = -w for k.
-2
Let f = 6 - -6. Let m = -16 + f. Let r = 7 + m. Solve h + 8 = r for h.
-5
Let w(p) = -p**3 + 56*p**2 + 6*p - 324. Let o be w(56). Solve 2*g + 10*g + o = 0 for g.
-1
Let d = -18 + 18. Suppose 0*w + 2*w - 10 = d. Suppose 4*z - 5*x - 1 = 0, 5*z - w*x = -0*x + 5. Solve 0*a - z*a = -4 for a.
1
Let k be 2*(-138)/9*(-3)/2. Suppose 1 = -45*x + k*x. Solve -6 = -q - x for q.
5
Let n(i) = i + 34. Let j be n(-31). Suppose j*v + 2 = -u + 5, 5*u - 15 = v. Let d = 2 - 2. Solve s + d*s - u = 0 for s.
3
Suppose 0 = -p + 5*p. Suppose j + p*j + 27 = -5*n, 5*j = n - 31. Let q = -6 - j. Solve h + q = -0 for h.
-1
Let y(g) = -g + 20. Let f be y(17). Suppose -f*q + 6*x = 3*x - 36, x = 0. Solve 3*j + j + q = 0 for j.
-3
Let x be (-4 + 66/15)*-1*-15. Solve -2 = -x*l + 5*l for l.
2
Let y = 17 - 33. Let w(s) = 3*s**2 - 21*s - 21. Let h(a) = -8*a**2 + 44*a + 42. Let z(k) = -2*h(k) - 5*w(k). Let l be z(y). Solve 0 = -l*m - 25 for m.
-5
Let n(m) = 2*m**2 + m. Let b be n(-1). Suppose 3 + b = 4*i. Solve -5*o + i = -4*o for o.
1
Let v(u) = -u + 9. Let m be v(0). Let t(s) = s**3 - 12*s**2 + 26*s + 13. Let y be t(m). Solve -y*a + 17 = -3 for a.
5
Suppose 633 + 1017 = 50*b. Solve 30*j - b*j = 0 for j.
0
Let m be 11 - 7/((-14)/8). Suppose -3*w = 3*d - m, -2*d = -4*w + d - 1. Solve -3*s - w*s = 15 for s.
-3
Let p(o) = -2*o**2 - 4*o - 4. Let t be p(-1). Let y be (9/15)/(t/(-20)). Solve 0 = -0*v - 2*v - y for v.
-3
Let c(x) = 1 - x - 5 + 10. Let a be c(3). Suppose a = 2*q + 3*b + 6, 0 = -5*q - 5*b. Solve -l + q + 1 = 0 for l.
4
Let f be ((-3)/(-2))/(1/(-4)). Let s be f/(-24) + (-14)/(-8). Let t(b) = b**3 - 11*b**2 + b - 7. Let d be t(11). Solve 0*o + s*o - d = 0 for o.
2
Suppose -3*k + 13 = 5*l - 0*k, -l = 4*k - 6. Let z = -922 + 923. Solve -3*p = -l*p + z for p.
-1
Suppose 2*w + 3*w - 20 = 0. Let a be (w/8)/((-1)/(-4)). Let s be (0/(6/a))/1. Solve -5*q + 7 - 27 = s for q.
-4
Let y = -21 + 29. Solve 0 = -y*q - 2*q + q for q.
0
Let o(b) = -b**3 - b**2 + 7*b + 5. Let m be o(-4). Suppose -3*c + 0*c = -5*x - 35, -5*c = 3*x - 13. Solve 5 - m = c*n for n.
-4
Let p = -314 - -317. Solve 18*j = 17*j - p for j.
-3
Suppose 9*h + 12 = 10*h. Solve 8*p = h*p for p.
0
Suppose 2*p - 9 = -p - 5*j, -3*j = -3*p + 9. Let y be 6/(-6) - (-1 - p). Solve 0 = y*n - 2*n for n.
0
Let u be 16 + 2 + (0 - (-5 - -7)). Solve 14 = s + u for s.
-2
Let c = 1291 - 1286. Solve c*s + 36 = -13*s for s.
-2
Let o be 4/18 - 25*4/(-36). Solve o*k = -2*k for k.
0
Let v be (0 - 0)*(-2)/(-6). Suppose -u - d = v, -4*u + 3*d - 1 + 36 = 0. Let i = -12 - -15. Solve 1 = i*b - u for b.
2
Let n(x) = x**3 + 6*x**2 - 5*x + 6. Let q be n(-7). Let k(a) = a**2 + 10*a + 18. Let g be k(q). Solve 4*j - 3*j = -g for j.
-2
Suppose -4*p = 69 - 85. Solve 5*j = p*j for j.
0
Let w(q) = -3*q. Let a be (-2)/9 - (-28)/(-36). Let o be w(a). Suppose 3*s = 9 + o. Solve 2*p - s*p = 10 for p.
-5
Let l = 7 + -4. Let r(k) = -2*k**2 + 50*k - 130. Let i be r(22). Solve -1 = -i*d - l for d.
-1
Let m = 1 - -1. Suppose -4*l - p = -13, -m*l = -0*l + 4*p - 24. Suppose 4*k - 8 = -2*g, 0 = -k + 2*k - 4*g - l. Solve k*b + 15 = -b for b.
-5
Let f = -245 - -248. Solve 0 = 10*n - f*n - 28 for n.
4
Let b be (-2805)/(-153) + (-2 - (-10)/6). Solve 26*g - 24 = b*g for g.
3
Let w(x) = -x**2 + 10*x - 9. Let g be w(8). Let u(l) = -l**2 + 6*l + 9. Let n be u(g). Solve -8 - n = 5*v for v.
-2
Let p be ((-121)/44)/(3/(-24)). Solve 25*h + 9 = p*h for h.
-3
Suppose 2*p - 5 = 5*l + 74, 0 = -5*p + l + 232. Solve 4*f = 63 - p for f.
4
Let z be 2/(-16)*(6 - 14). Let j be -4*2/(-4)*z. Solve 0*i = -i + j for i.
2
Suppose -4*k - 20 = 0, 0*k = 3*t + k - 7. Suppose t = 4*i - 12. Suppose u = 5*u - i. Solve -3*w + u = -2 for w.
1
Suppose 0 = -u + 14*j - 15*j + 17, -5*u + 64 = -2*j. Solve 0 = u*x - 33*x for x.
0
Let a(t) = t**3 + 3*t**2 + 3*t. Let c be a(-2). Let y be c + -1 + 5 - -4. Solve 0 = 4*o - 2 + y for o.
-1
Suppose -10*g - 47 = -247. Solve 103*t = 108*t + g for t.
-4
Let u(h) be the second derivative of -h**4/12 + 5*h**3/3 + 15*h**2/2 - 9*h. Let w be u(11). Solve w*v - 4 = 2*v for v.
2
Let p = -58 - -56. Let w be (-6)/(36/15)*p. Solve w*z - 9 = 1 for z.
2
Let x(v) be the second de