ve 2*h - q = -h for h.
2
Suppose -16 = -9*b + 5*b. Let q be b/(0 + 8)*12. Let h(d) = 5*d - 27. Let a be h(q). Solve a*l - l = 0 for l.
0
Let x(h) = -h**2 - 8*h - 7. Let f be x(-6). Let r = f - 1. Suppose r*m - 8 = 16. Solve -m = -3*b + 6 for b.
4
Let b = 556 - 555. Let z(r) = r**2 - 5*r + 6. Let j be z(4). Solve -3*a = -j*a + b for a.
-1
Suppose 4*q + q + 21 = 2*u, -18 = -u + 5*q. Solve -9 + 0 = -u*r for r.
3
Let t be 12*((-60)/(-9) - 6). Solve 12*g + 16 = t*g for g.
-4
Suppose 0 = -3*t - 4 + 1. Let x be (36/20 + -1)/(6/(-15)). Let f be (t/x)/((-4)/(-88)). Solve -3*k = -f + 2 for k.
3
Let i(g) be the third derivative of g**5/60 + g**4/8 + g**3/3 - 3*g**2. Let r be i(-2). Let c be (r + 2)*6/6. Solve 0 = -c*o + 1 + 9 for o.
5
Let s = 96 + -94. Suppose -2*g + 6 = -s, -2*k + 5*g - 20 = 0. Solve k + 2 = -w for w.
-2
Let t(m) = m**3 - 5*m**2 + 5*m - 2. Let s be (4/3 - 2)*-6. Let q be t(s). Suppose -g - 1 = -16. Solve q*u + u - g = 0 for u.
5
Let w(o) be the first derivative of 2*o**3/3 + 22*o**2 - 21. Let m be w(-22). Solve -3*d - 6 = -m*d for d.
-2
Let j(o) = 5*o**2 + 7*o - 18. Let k be j(2). Solve 11*m - k*m = -5 for m.
1
Let g be (-16)/(-10)*(-50)/(-20). Let f be (-1)/(10/g - 3). Solve f*n = -3*n + 10 for n.
2
Let z be 49/3 + 3/(-9). Let p be (-4 + z/6)*-3. Solve p*o + o + 25 = 0 for o.
-5
Let v be (297/18)/((-4)/(-32)*4). Solve -30*m = -v*m - 12 for m.
-4
Suppose 3*q - 28 = -4*r, 4*r - q - 12 = -0. Solve r*i = 203 - 187 for i.
4
Suppose -5*i + 2*n - 3*n = -60, 2*i - 24 = -2*n. Suppose 2*u - 3*k - i = -0*k, -30 = -5*u + 4*k. Solve 0 = -3*m - 9 - u for m.
-5
Let t be (-2 - -3)/(1/7). Let a = -2249 - -2253. Solve t*y - 9*y = a for y.
-2
Let t be (3/(-4))/((-22)/(-44))*-14. Solve -17*o - 16 = -t*o for o.
4
Let a = -572 + 584. Solve 35*b - a = 32*b for b.
4
Suppose -t - 5*y + 78 = 0, t - y - 154 = -2*t. Solve -5*p = -53 + t for p.
0
Let s(b) = -3*b**3 + 12*b**2 - 6*b + 26. Let i be s(4). Solve 8*o = i*o - 18 for o.
-3
Let k be (455/(-26) + 18)/((-2)/(-108)). Solve 20 = -k*o + 22*o for o.
-4
Suppose 4*s - 19 + 7 = 0. Solve s*d = -3 - 9 for d.
-4
Let b(w) be the first derivative of -3*w**2 + 2*w + 1/4*w**4 + 6 + 5/3*w**3. Let c be b(-6). Solve -c*m = -0*m - 2 for m.
1
Let t be 24 + 1 - (21 + -23). Suppose -5*u - 4*q + t = -0*u, -3 = -q. Solve -2*w - u*w = -25 for w.
5
Let c = -26 + 29. Let p = -7 + 10. Let s be (p/1)/3 - -9. Solve s = c*m + 1 for m.
3
Let c be -2 - 2 - (4 - 5). Suppose g + 3*g - 11 = -5*f, -5 = -g - 2*f. Let u = g - c. Solve -4*p + u = -18 for p.
5
Suppose -4*y = -4, -j + 5*j - 3*y = 49. Suppose 5*u - j - 12 = 0. Solve 2*v - u*v = -6 for v.
2
Let t(k) = -4*k - 18. Let g(u) be the second derivative of u**3/6 + u**2/2 + 5*u. Let c(n) = -6*g(n) - t(n). Let b be c(0). Solve 0 = 6*h - 3*h - b for h.
4
Suppose -29*n + 84 = 13*n. Let r be 2/5 - (-36)/10. Suppose 4*l - 3*g - r = g, -n*l = -g - 5. Solve l*s - s = -6 for s.
-2
Suppose 0*m + 42 = 6*m. Suppose 0 = 5*u + 5*f, -4*u + m = -f - 18. Solve -4 = -u*q + 16 for q.
4
Let q be 1 - (-14)/12 - 71/426. Solve -35*i + 34*i + q = 0 for i.
2
Let n(h) = 11*h**2 + 10*h**2 + 11 + 4*h - 20*h**2 - 12*h. Let a be n(6). Let r be 12 + -10 - (3 + a). Solve r = -3*i - 3 for i.
-1
Let d be (-1)/4 - (-2828)/112. Solve 37*m = d*m - 60 for m.
-5
Suppose s = 3*s + 2, 0 = -4*z - 3*s - 3. Suppose -y + 0*u = -u - 5, z = -2*u - 2. Solve 0 = y*m + 1 - 13 for m.
3
Suppose -5*z + z = -16. Suppose 3*a + 0*a - 3*q - 18 = 0, -a = 4*q + 14. Let c = z - a. Solve c = s + s for s.
1
Suppose -105 = -45*o + 75. Solve o*r - 78 = -66 for r.
3
Suppose -3*u - 2*u = 85. Let p = -17 - u. Solve p = 3*c + 1 + 14 for c.
-5
Suppose -2*d = y + y - 6, -d + 3 = 0. Suppose 8 = 4*u + 3*z, 4*u - z - 20 - 4 = y. Solve u*o - 18 - 2 = 0 for o.
4
Let t(k) = 4*k + 100. Let h be t(-25). Solve -u = -h*u for u.
0
Let i = 76 + -76. Suppose i + 4 = p. Solve p*o - 3*o = 4 for o.
4
Let z = 34 - 31. Let i be ((-13)/(-26) - 1/(-2))*z. Solve 0 = i*f - 5 + 2 for f.
1
Suppose 0 = 189*n - 191*n - 10, 3*r + 2*n - 98 = 0. Solve -r = 4*y + 8*y for y.
-3
Let w be -3*(-4)/8*2. Solve -5 = 4*u + w for u.
-2
Suppose 29 + 1 = 2*h. Solve h = 5*j - 10 for j.
5
Suppose 2*q - 5*l + 3*l - 24 = 0, 0 = -5*q - l + 30. Solve -q*a = -41 + 6 for a.
5
Let x(u) = 4*u - 40. Let y(g) = -10*g + 100. Let t(d) = -12*x(d) - 5*y(d). Let z be t(13). Solve -j - 2*j = z for j.
-2
Suppose 14*l + 7*l = 84. Solve 6 = -l*i - 10 for i.
-4
Let k = 79 - 64. Suppose -k*r + 14*r + 4 = 0. Solve r*j = 3*j for j.
0
Suppose 3*d - 15 = 3*o, 2*d - 5*o = -6*o + 4. Let v(b) = b**2 + b + 16. Let f be v(0). Solve d*m + f = 4 for m.
-4
Suppose -2*j = 2*j - 12. Suppose 7 + 11 = j*p. Suppose p = 3*h - 6. Solve -n + h*n = 3 for n.
1
Let l be (-780)/(-364) + -1*(-1)/(-7). Suppose -3*d - 12 = -5*d. Solve -l*b + d = b for b.
2
Let l = 18 - 14. Solve -2*c + 6 = l*c for c.
1
Suppose w + 2*w - 3*y - 24 = 0, -4*y = w + 12. Solve 0 = -2*h - w*h + 12 for h.
2
Let i = 293 + -281. Solve i = -2*u - u for u.
-4
Suppose 3*h - 4*y = 11, -2*h = h + y - 16. Suppose -h*i - 5*v + 8 = -7, -3*v + 3 = 0. Suppose i*f = -5*k - 20, -5*k + 7 = -f + 27. Solve f = l - 1 - 4 for l.
5
Let r(v) = 2*v + 14. Let h be r(-7). Let f(l) = l + 3. Let d be f(h). Solve -n = d*n - 16 for n.
4
Let g = 20 - 8. Let l(h) = 13*h**3 - g*h**3 - 3*h + 2 - 1. Let u be l(2). Solve u*z + z = 0 for z.
0
Suppose 192 = 5*c + 3*v, 3*c = 7*v - 3*v + 92. Suppose -4*n + c = 4*t, -n = -2*t - 0*n + 3. Solve -t*r + 1 = -3*r for r.
1
Suppose -3*j - 14*v = -12*v - 7, 3*j = -5*v - 5. Suppose -3*b + 3*y + 0 = -3, -2*b - 19 = 5*y. Let c(r) = 2*r**2 + 2*r. Let k be c(b). Solve -k*z = z + j for z.
-1
Let d = 13 + -8. Suppose k + 3*m + d = 0, -4*k = -2*k - 3*m - 8. Let r be 0 - (k + -4)/3. Solve 0 = o - r - 0 for o.
1
Let s be 2 - ((-16)/4)/(-1). Let c be 2 + -14*s/(-4). Let w = 7 + c. Solve -w*u + u = 4 for u.
-4
Let s = -43 + 19. Let p = -20 - s. Let m be 1 + (-2 + p - 3). Solve -3*w = -m*w for w.
0
Suppose 0 = -4*b + 4*t + 80, 92*b = 87*b - 3*t + 124. Solve 3*a + b = 29 for a.
2
Suppose 11*d - 22 = -11. Solve -f + d = 5 for f.
-4
Let m(z) = -z**2 + 10*z - 9. Let b be m(8). Suppose b*k - 35 = 2*k. Solve -n + k = 2 for n.
5
Let x = -978 + 1010. Solve 27*g - 25 = x*g for g.
-5
Suppose 3*h - 13 + 4 = 0. Suppose -3*f + 16 = -5*n, 5*f - 12 = 2*f + h*n. Solve -2 - f = -4*x for x.
1
Let z = 1419 - 1404. Solve -6*j = z - 3 for j.
-2
Let h = -1043 + 1062. Solve 14 + h = -11*v for v.
-3
Let j = 216 - 211. Solve j*b + 45 - 40 = 0 for b.
-1
Suppose 2*c = -6 - 4. Let b(p) = p + 10. Let q be b(c). Solve q*z - 15 = -5 for z.
2
Suppose -3*l + 8*l + 15 = 0, -5*l = 3*u + 3. Let j(a) = -a**3 - 4*a**2 - 2*a + 3. Let t be j(-3). Solve u = -4*r - t for r.
-1
Suppose 0 = -0*l + 2*l. Suppose -q - 10 = -3*i, 4*i + l*i + 2*q = 10. Solve -i*b - b = 0 for b.
0
Let b be (-16)/(-6)*24/4. Suppose -j = j - b. Suppose -w - 5 = -j. Solve 0 = u + 6 - w for u.
-3
Let p be (24/9)/(4 - 50/15). Let s be (1/((-6)/(-4)))/(p/72). Solve -3*r + s = -0*r for r.
4
Let q(n) = -3*n - 2. Let g be q(-2). Let y be (1/g)/((-2)/(-16)). Solve -2*p = -3*p + y for p.
2
Let b(t) be the second derivative of -t**5/20 + 11*t**4/12 + 7*t**3/3 - 11*t**2 - 8*t. Let n be b(12). Solve c - n = -4 for c.
-2
Let o = 342 - 326. Solve -20*k - 4 = -o*k for k.
-1
Let f be (-12)/(-2)*66/4. Let p = f - 99. Solve -v - 4 = -p for v.
-4
Let b(r) = 5*r + 113. Let i be b(-22). Solve -h - 6 = -i for h.
-3
Let b be -1*(13 + (-4)/(-4))/2. Let k = -6 - b. Solve -o = -0 + k for o.
-1
Suppose 8*q - 25 = 3*q. Suppose -q*t + 17 = -2*p, t + 2*p - 8 = 5. Solve 0*o - 20 = t*o for o.
-4
Let w = -16 + 19. Suppose -4*l - 4*u = -l - 41, -5*u + 43 = w*l. Let z = 24 + -22. Solve 3*m = -l + z for m.
-3
Suppose 0 = -3*o - 3*k + 15, 5*o = 8*o + 2*k - 17. Solve 2*b + o - 7 = 0 for b.
0
Let p be -9 + -3 + (-1 - -3). Let a(h) be the first derivative of h**2/2 + 12*h - 3. Let c be a(p). Solve 2*w - 4 = -c*w for w.
1
Suppose 237 = 3*y + 4*i, 3*y = y - 5*i + 158. Solve -11*t = -y + 35 for t.
4
Let h(l) be the second derivative of 1/6*l**3 - 3*l + 4*l**2 + 0. Let k be h(-6). Solve -20 = 2*a + k*a for a.
-5
Let n = 12 - 7. Suppose -n = -k - 2. Solve -g + k = -2 for g.
5
Suppose 156*w - 149*w = 28. Suppose r - 4*c - 2 = -2*c, -4*r + c = -43. Suppose -2*y - w*y + r = 0. Solve 0 = -3*j