30 = -80. Solve -9*d + y = -23 for d.
5
Let r(y) be the second derivative of 7/6*y**3 + 1/12*y**4 + 6*y + 0 + 2*y**2. Let i be r(-7). Solve -k = -3 + i for k.
-1
Let c be (-11 + -1)*(-6)/8. Suppose 5*u + 2*l - 3 = 0, 5*l + 41 = -2*u + 17. Solve u*g - c = -0*g for g.
3
Suppose 4*p - 2*p + 54 = 0. Let z be (p/(-6))/(1/(-2)). Let o = 9 + z. Solve -c = -o*c + 5 for c.
-5
Suppose -2*z - 15 = -6*z + 5*y, 4*y = 4. Suppose 0 = -4*t - n + 35, 5*t = 5*n + 45 + z. Suppose -2*l - t = -19. Solve 0 = l*v - 0*v for v.
0
Suppose 45*b = 1177 + 398. Solve 36*y = 29*y + b for y.
5
Let w = -64 - -84. Suppose 5*h - w + 0 = 0. Solve -h*x = -x for x.
0
Suppose 38*i = 106 + 312. Solve -14 = k - i for k.
-3
Let v(n) = n**3 - 10*n**2 + 9*n + 4. Let m be v(9). Suppose 0 = 2*c - m. Suppose -p - c*w + w + 2 = 0, -w + 2 = 2*p. Solve -y - y - 2 = p for y.
-1
Suppose -4*o + v + 50 = 0, -o = -6*v - 14 - 10. Solve -o*f = -22 - 38 for f.
5
Let x be -4*8/3*(-18)/12. Solve 0 = x*i - 11*i for i.
0
Suppose 3*i - 3*t = 78, -23 = -i + 3*t + 13. Solve 0 = i*w - 16*w + 10 for w.
-2
Suppose 0*p + 3*s - 18 = -3*p, 0 = -2*p - 3*s + 15. Suppose -2 = -2*i + i. Suppose 3*z = z + i*o, z = -p*o + 4. Solve -z - 2 = -l for l.
3
Let r(s) = -5*s - 3. Let o be r(3). Let l = -18 - o. Solve 0 = -l*j - j - 2 for j.
-2
Let d(v) = v**3 + 5*v**2 - v - 1. Let c be d(-5). Solve -2*z + 6 - c = 0 for z.
1
Suppose 3*w + 2*w - 25 = 0. Let x be w/(-20) - 18/(-8). Let v(g) = -12*g - 108. Let n be v(-9). Solve x*u - 10 = -n*u for u.
5
Let g be (-25)/5 + (-2 - -2). Let n = g + 10. Solve -3*c - 4 = n for c.
-3
Suppose 6 = 5*z - 14. Let q(w) = -24*w**2 - 169*w + 8. Let t be q(-7). Solve -z*u + u = -t for u.
5
Suppose 6 = -3*s - 0*s, 58 = 2*b + 4*s. Let i = b + -30. Solve 5*d - 28 = -i for d.
5
Suppose -8*c + 11*c - 9 = 0. Suppose 2*t + 5 = 3*t. Solve -4*w - c = t for w.
-2
Let k(b) = 2*b**3 + 9*b**2 - 13*b + 1. Let w be k(2). Suppose 0 = 23*d - w*d. Solve d*l = 2*l + 6 for l.
-3
Let l(s) = -s**3 - 8*s**2 - 11*s - 3. Let k be l(-3). Let b be (-6)/(-45)*3 - 219/k. Solve 0*n - 5*n + b = 0 for n.
3
Let n be -3 - 24/(-20)*(-100)/(-15). Solve -5*o + 4*o = n for o.
-5
Let h be ((-10)/4)/((-60)/48). Suppose -h*z + 5 = -z. Solve -z*r + 1 = 6 for r.
-1
Suppose 10 = -5*i, 3*i = 5*p - 121 - 55. Solve 10 = 8*d + p for d.
-3
Suppose 0 = -3*g - 5*f + 9, -2 = g - 3*f - 5. Let x be (-3)/(-4) + (-35)/(-28). Let d be (7 - 4) + 0 + x. Solve -d*i + g = 23 for i.
-4
Let l be 3010/40 + 1/(-4). Suppose 3*j - 29 + 98 = 2*n, 2*n = 5*j + l. Let r be n - -2*(-4)/(-8). Solve 6 - r = -5*t for t.
5
Let f be (-18)/(-15)*(-805)/(-46). Solve 10*u - 1 = -f for u.
-2
Suppose -t - 6*t - 133 = 0. Let v = t + 31. Solve 3*i = v - 0 for i.
4
Let q be (6/9)/((-8)/276). Let h = -16 - q. Suppose 0 = -3*i + h + 14. Solve 4*t - i = 9 for t.
4
Let c(b) = -b**3 - 8*b**2 - 7*b + 3. Let d be c(-7). Let r = 0 + d. Solve -r*n + 6 = 18 for n.
-4
Suppose -22*k + 26*k = 76. Suppose 3*o - k = 4*y + 20, 5*o - 3*y = 65. Let q be 7/4 - 2/(-8). Solve 3*s = -q - o for s.
-5
Let h = -13 - -43. Let j = -21 + h. Let z(c) = c**3 + 3*c**2 - c + 2. Let g be z(-3). Solve g*b - j = 16 for b.
5
Let h = 4 - -52. Suppose -2*g + 38 = -2*c + g, -4*c - h = -g. Let w = 17 + c. Solve -t = -w*t + 9 for t.
3
Suppose -4*a + 4 = -4*g, -4*g + a + 4 + 1 = 0. Suppose 15 = -5*m - 5*s, 3*m + 2*s = -5 - 2. Let u be (m/g)/(4/(-48)). Solve -3*t + u = -3 for t.
3
Suppose 3*x - 22 = -2*o, -2*x - o - 3*o + 28 = 0. Suppose 5*s = 3*v - 1 + 17, 4*v + 8 = x*s. Suppose -6 = -4*f + v*j + 3, -5*j = -5. Solve 2*y - y = -f for y.
-3
Let x(a) = a**3 + 8*a**2 + 8*a + 5. Let y be x(-7). Let t(u) = 2*u**2 + 3*u + 1. Let b be t(y). Solve 0 = -b*o + o + 10 for o.
5
Let r(o) = -4 - 21 + 6 - 13 + 5*o. Let p be r(7). Solve -10 = -2*m - p*m for m.
2
Let q(b) = -b**3 + 2*b**2 + 4*b. Let f be q(3). Suppose 42 = 193*z - 192*z. Suppose -m = -2*a + 25, -z = -3*a + 3*m + f. Solve 0 - a = 2*j for j.
-5
Let v be (-2)/1 + 1*5. Suppose -2*k - 5*c = -v*k + 12, 2*k + c = 2. Suppose 2*b = 2*x + 6, -2*x - 2*b + 12 = -x. Solve -x*m = k*m - 16 for m.
4
Let r = 3 + -4. Let j be 0/(r/((-3)/3)). Suppose -c + 5*b = j, -4*b + 2*b = 2*c - 24. Solve -o = -6*o - c for o.
-2
Suppose h - 2*o - 1 = 47, -h = -4*o - 40. Let g = -40 + h. Suppose -5*d + g + 4 = 0. Solve -6 = 2*l + d for l.
-5
Let a be (-360)/(-144)*36/5. Solve -14*h - 12 = -a*h for h.
3
Let j be 194/12 + 9/(-54). Let g = 1 - -3. Solve 0 = -g*t - j - 0 for t.
-4
Let s be (-13)/((-16)/(-12) + -1). Let h = -59 - s. Let a be 84/(-24)*h/7. Solve -t + a = t for t.
5
Suppose -10*n + 11*n - 21 = 0. Let s be (-58)/(-7) + (-6)/n. Solve 5*c - 7 = s for c.
3
Let x(c) = -c + 1. Let j be x(-5). Let a be 2*(-1 + 0) + j. Let q(n) = -2*n**3 + 17*n**2 + 12*n - 21. Let m be q(9). Solve m*w = 2*w - a for w.
-1
Let y(c) = c**2 + c + 1. Let g(w) = -3*w**3 - 5*w**2 - 6*w - 7. Let s(r) = g(r) + 5*y(r). Let d be s(-1). Solve j = d*j for j.
0
Suppose 288 = -5*v - z, -4*z + 240 = -v - 3*v. Let k = v + 68. Solve 10*c - 5*c = -k for c.
-2
Suppose x - 4*r + 16 = 1, 12 = 3*r. Suppose 5*u + x + 9 = i, 0 = 2*i + 2*u + 4. Solve i = -n + 3 - 0 for n.
3
Let x be (-11)/3 - (-3)/(-9). Let t(u) = -u**2 - 5*u - 2. Let i be t(x). Solve f + i = -2 for f.
-4
Let u(k) = -k**3 + 18*k**2 - 54*k + 140. Let l be u(15). Solve -l*q + 3 = 28 for q.
-5
Let o be (-3 + 0)*(-3 + 2). Suppose 4*z - 3*j + 33 = -6*j, o*z + 61 = 5*j. Let h = 14 + z. Solve -h*g = -0*g for g.
0
Suppose 2*c = 4*i - 12, -3*c + 4*c + i = 3. Suppose 0 = -3*g - 4*m - 3 - 13, -2*g - 3*m - 10 = c. Let a = 13 + g. Solve 0 = -d - 0*d + a for d.
5
Let r be (-4)/(-2 + 0) - (20 + -20). Let n be 1/((-1)/(-13) + 0). Suppose -5*l - 2*m = -l - 58, n = l + m. Solve r*f + 2*f + l = 0 for f.
-4
Suppose 80 = 5*o + 5*o. Solve -o*h - 5 = -7*h for h.
-5
Suppose -5*w = 1 + 4. Let d(g) = -g**3 - 1. Let j be d(w). Suppose -2*t - 2 = v - j*t, 4*v - 2 = -3*t. Solve -v*k + 6 + 0 = 0 for k.
3
Suppose b - 4*j = 3 + 4, 13 = -b - j. Let u(m) = m**2 + 9*m + 4. Let a be u(b). Suppose -a*n + 11 = -5. Solve -2*i + 6*i = n for i.
1
Suppose -27*p + 758 = -187. Solve 0 = -p*u + 22*u + 52 for u.
4
Let a be (-154)/(-8) + (-126)/(-168). Solve -4*i - a = i for i.
-4
Let b(q) be the first derivative of -q**2/2 - 16*q - 10. Let x be b(-17). Solve -u = 3 - x for u.
-2
Let a be 5 + (3 - 6) - (3 - 5). Solve -b - 12 = -a*b for b.
4
Let q(w) = -w**3 + 4*w**2 + 34*w - 10. Let u be q(8). Solve -u = 11*t - 14*t for t.
2
Let h be ((-644)/(-69))/(4/6). Solve h*i = 10*i + 8 for i.
2
Suppose 0 = -9*m - 606 + 246. Let q be m/(-60) - (-1)/((-6)/(-8)). Solve 3*w - 20 = -q*w for w.
4
Suppose 5 = -2*q - w, 0 = -4*w - 29 + 9. Suppose -4*b + 14 = 2. Suppose q*y - 6 = -b*y. Solve -y*x = 2*x + 16 for x.
-4
Let w(n) = n**3 + 3*n**2 + 2*n + 3. Suppose 5*y + 25 = 3*g, -2*g = -y - y - 14. Let a be w(y). Solve -3 = 3*i + a for i.
-2
Let z = 1317 - 1284. Solve 6 = -13*h - z for h.
-3
Suppose -a + 2*a = 12. Let x be ((-1)/3)/((-2)/a). Suppose -3*t = 2*k - 10, 2*t + x*t = -2*k + 14. Solve t*f - 6 = 6 for f.
3
Let x(f) be the first derivative of f**2/2 + 11*f + 1. Let i be x(-6). Let c(v) = v**3 + 14*v**2 + 20. Let h be c(-14). Solve 0*y + i*y = -h for y.
-4
Let o(u) = -u - 4. Let t be o(-6). Let k be (-105)/(-24) - (-15)/(-40). Suppose r - 4*n + 5 = 0, k*n - 3*n = -5*r + 17. Solve -r*b = -b - t for b.
1
Suppose 2*h + 2*h = -4*n - 8, -3*h = -n + 6. Let r be (-1)/(-2)*((-16)/(-2) - n). Solve -r*f - 2 = -14 for f.
3
Let x be 2 + (4 - (3 + -2)). Suppose -x*v + 24 = -2*v. Solve -v = -i + 5*i for i.
-2
Let s(a) = -a**2 + 3*a - 2. Let g be s(3). Let x = 4 + g. Suppose 6*r - 7*r = -x. Solve 0 = r*h - 1 + 9 for h.
-4
Suppose z - 19 = -j, -3*z + 4*z - 43 = 5*j. Suppose 4*c + 3 = z. Suppose 23 = p + c*n, -16 = 2*n - 6*n. Solve -5*v - 2 = p for v.
-1
Let f = -344 - -346. Solve 15 = -l - f*l for l.
-5
Suppose 5*x - 2*y = -5*y + 2, -x - 2*y - 1 = 0. Let r = 1 + x. Let m(s) = s**3 + 7*s**2 + 5*s - 3. Let k be m(-6). Solve -r*p + 15 = k*p for p.
3
Let b(h) = -h**2 - 25*h + 28. Let n be b(-26). Solve 6*q - 4*q = -n for q.
-1
Let r = 100 + -93. Suppose -10*x + r*x = -9. Solve 0*w = -x*w for w.
0
Suppose -124 = 3*i - 25. Let g = -13 - i. Suppose -6*r = -r - g. Solve r*s + s = 0 for s.
0
Suppose 0 = -5*a - 4 - 1, -2*a + 28 = 5*v. Suppose -8*k = -v*k. Sol