b(-20). Solve -m*l = 8 - 23 for l.
3
Let m = 519 + -515. Solve -15*n + m*n = -11 for n.
1
Let s(g) be the second derivative of -g**4/12 + 19*g**3/6 - 4*g**2 + 23*g. Let d be s(18). Let l = 6 + -3. Solve -l*b - d = -b for b.
-5
Let u be -8 + 33 - 12*8/12. Solve -u + 2 = -3*q for q.
5
Let c = 0 + 0. Let o = -44 - 6. Let g = o + 56. Solve c*x + g = 3*x for x.
2
Let z = 214 + -212. Solve z*l = 5 - 3 for l.
1
Suppose 5*w + 5 = -15, 2*m + 3*w - 2 = 0. Let x = -20 + 23. Let b = x + m. Solve 4*f - b = -f for f.
2
Let x be (-7 - (-2)/(-2))*-4. Let a be (-4)/x + (-25)/(-8). Solve -2*t - a = t for t.
-1
Let r = 478 - 454. Solve r*b + 8 = 26*b for b.
4
Let c be 3/2 - (-270)/12. Let z = c + -18. Solve -z = 4*k + 2 for k.
-2
Let j = 147 - -591. Solve j*w - 740*w = -8 for w.
4
Let u = -602 + 605. Solve -119*r + u = -118*r for r.
3
Let n(v) = -19*v + 20. Let j be n(8). Let c = j - -132. Solve c*z - 2*z + 4 = 0 for z.
2
Let y(i) be the first derivative of -i**2 - 34*i + 12. Let s be y(-17). Solve 0*a + 5*a = s for a.
0
Let k = 90 - 45. Let y be (-18)/k*(0 + -10). Suppose j + 10 = y*d, 3*j = -3*d - 0*d + 15. Solve -j*l - 3*l - 5 = 0 for l.
-1
Let r(p) = 1. Let m(g) = 2*g**2 - 18*g - 3. Let h(o) = m(o) + 6*r(o). Let b be h(9). Solve b*n + 1 = 7 for n.
2
Let i be 4/(-20) - 33/(-15)*1. Solve i*c = -2*c for c.
0
Let l(s) = -19*s - 98. Let t be l(-6). Solve 0 = 20*v - t*v - 4 for v.
1
Suppose -5*d - 5 = -a, a + d = -d - 2. Let f be 2/(6/3) - (-6 + 5). Suppose f*q - 3*q + 4 = 0. Solve -q*c + 1 - 17 = a for c.
-4
Let a(y) = 3*y**2 + 1. Let z be a(1). Suppose -z*o + 0*c = c - 37, -2*o = -2*c - 16. Let n = o + -5. Solve 0 = -n*h - h - 20 for h.
-4
Let z = -867 - -1000. Solve 138*d = z*d + 15 for d.
3
Let n = -18 - -21. Let z = 22 - 10. Solve 3*a + z + n = 0 for a.
-5
Let o be ((-14)/(-2))/(5/5) + -2. Solve 0*x + o*x + 25 = 0 for x.
-5
Let o be 1*(5 - (-13 - -4)). Solve 21*d - 21 = o*d for d.
3
Suppose -29 = -5*v - 9. Solve -7 - 5 = v*p for p.
-3
Let d(h) = 6*h + 10 - h**2 + 5*h + 2*h**2. Let o be 10/8*(-14 - -6). Let a be d(o). Solve 2*q = -10 - a for q.
-5
Let s = -17 + 36. Suppose -s*k = -20*k + 15. Let b = -12 + k. Solve 2 = -j - b for j.
-5
Suppose -2*f - 10 = -f. Let o be 1 - f/2 - 1. Suppose o*j - 50 + 10 = 0. Solve -10 = -j*q + 3*q for q.
2
Let r be (56/10)/((-7)/(-5) + -1). Let w = -11 + r. Solve -w*q + 4*q - 2 = 0 for q.
2
Let k be -1 + 52 - (-3 + 5 + -5). Let d = k - 51. Solve -d = -2*a + 5 for a.
4
Let o be 36/(-42) - (-390)/14. Solve -o*n + 23*n = 8 for n.
-2
Suppose -57 = -4*f - 257. Let w be 6/9 + f/(-15). Let b be (5/20 - (-1)/4)*2. Solve -w*s = -9 + b for s.
2
Let q(a) = a**2 - 1. Let w be q(-3). Suppose 2*b + 6 = 0, 0*b = -5*j + b + w. Solve -j = -3*n + 11 for n.
4
Suppose 3*h = -4*w + 32, -1 = 5*h - 21. Suppose 5*i + 2*o + 13 - 96 = 0, -5*o = w*i - 95. Solve 0*v + i = -5*v for v.
-3
Suppose 12 = 3*y + y, 0 = -5*g + y + 17. Let s be (-4)/(-5) - g/(-20). Solve 0*z = z + s for z.
-1
Let h(j) = j**2 - 7*j + 6. Let b be h(4). Let p = -6 - b. Let g(q) = 2*q + 2. Let w be g(0). Solve -w*y + 10 = -p*y for y.
5
Suppose 1 = 5*v - 19. Suppose -v*m = -2*n + m + 44, m = -5*n + 56. Solve 0 = -4*b + 8*b + n for b.
-3
Let y be (((-104)/(-32))/(-13))/(1/(-8)). Solve y*r + r = 3 for r.
1
Let p = -99 - -107. Let i(b) = -5*b + 43. Let w be i(p). Solve 3*o = 2*o - w for o.
-3
Let j = -339 + 342. Solve -7*d = -j*d + 16 for d.
-4
Suppose 5 = -3*z + k, -z - k = z - 5. Let a be (z/(-2))/((-4)/6*-3). Solve n + 4 = -a for n.
-4
Let d(r) = -r**2 + 24. Let u be d(4). Solve -12 = 5*p - u*p for p.
4
Let f(u) = u**2 + 21*u + 24. Let t be f(-20). Let w be (-5 + (t - 1))*3/(-2). Solve 8*y - w*y + 15 = 0 for y.
-3
Suppose 34*l - 13*l - 168 = 0. Solve 3*a - a = -l for a.
-4
Suppose -3*d = 4*q - 67, -4*q - 67 = -5*d + 34. Solve -d = -11*l + 34 for l.
5
Let v = 13 - 13. Let j be -3 + -4 + v + 7. Solve f + 3 = -j*f for f.
-3
Let o = 5 + -5. Let z = 3 - o. Suppose 0*d - i + 7 = d, 29 = z*d + 5*i. Solve -d*f = -8*f + 15 for f.
3
Let s = -20 - -20. Suppose c + 2*c = s. Solve -15 = -c*x + 3*x for x.
-5
Let c = 178 + -178. Solve q = -c*q + 4 for q.
4
Let f(s) = s**2 + 10*s + 1. Let z be f(-10). Suppose -z - 9 = -5*n. Let g be (2 - 4) + 2/1. Solve 2*j - j - n = g for j.
2
Suppose 4 = 5*b + 84. Let c = 20 + b. Suppose -3*u + 21 = 4*n, 16 - 51 = -5*u + c*n. Solve 0 = h - 2 + u for h.
-5
Let y be ((-3)/4)/((-189)/2016). Solve 0 = c + y - 10 for c.
2
Suppose -2*f - 6 = -3*t, 2*t + 3*t = -4*f - 12. Suppose -78*i - 16 = -82*i - 4*z, -2*i = -2*z. Solve 0 = -t*x + i*x for x.
0
Suppose 2*u = -0*t - 5*t + 93, 5*u = -3*t + 52. Let h = t - 19. Solve -3*k - 3 + 18 = h for k.
5
Let h be -2 + 3 + 2 - -1. Suppose 20 = 5*x - 4*y, 0*x + 44 = 3*x + h*y. Solve l = 5*l + x for l.
-2
Let l = -310 - -310. Solve 3*b + l = -3 for b.
-1
Let q(f) = -f**3 + 6*f**2 - 3*f + 9. Let a be q(7). Let j = 68 + a. Solve 0 = -3*b - 5 - j for b.
-4
Suppose -1 - 11 = -6*h. Suppose -4*q = -b + 16, 0 = 5*b - 5*q + h*q - 46. Suppose 5 = -k + b. Solve w + k*w = 0 for w.
0
Suppose 0*t - 4*t = -16. Suppose t*c + 45 = 65. Solve 0*g - g = -c for g.
5
Let x = 21 + 12. Solve -x = -k - 30 for k.
3
Suppose -3*h = 2*q - 27, 4*q - 33 = q - 3*h. Suppose -4*x - 3*i = 0, 31 = 5*x - q*i + 2*i. Solve -x*t + 7 = -8 for t.
5
Let p = 167 - 95. Let r be p/20*(-10)/(-3). Let t be (3/r)/((-3)/(-60)). Solve t*s + 11 = -14 for s.
-5
Let q = -37 + 44. Solve 0 = 5*g + q + 8 for g.
-3
Let c(q) be the second derivative of -q**4/12 + 25*q**2/2 + 16*q. Let g be c(-5). Solve 2*m - 6 = -g*m for m.
3
Suppose 3*q + 3*s - 23 = -2*q, -q - 1 = -5*s. Let t(d) = d + 11. Let p be t(q). Solve 0*i - 5*i - p = 0 for i.
-3
Let h(a) = -a + 8. Let n be h(6). Let b(r) be the second derivative of r**4/12 + r**3/2 - 10*r. Let t be b(-5). Solve 4*y - t = -n for y.
2
Let b(t) = 2*t - 4. Let r be b(3). Suppose 5*u = r*u. Let d be 2/(-4)*u/(-8). Solve d = -3*i - i + 8 for i.
2
Let w = -31 + 16. Let b = w - -18. Suppose -2*k + 4*k = 6. Solve 12 = -k*x + b for x.
-3
Suppose 16*w - 17*w = 2. Let r(u) = -u. Let l be r(w). Suppose -3 = x - l*x. Solve -4*h + x*h - 2 = 0 for h.
-2
Suppose -v = -5*v. Let t(h) = -h - 1. Let x be t(3). Let q be (-21)/x - 3/12. Solve v = -q*l - 0*l for l.
0
Let d be (224/28)/(4/(-40)*-4). Solve 20*q - 24*q + d = 0 for q.
5
Suppose 7*x - 9*x = 6, -3*x = 5*d - 16. Solve -d*v + 9 = -6 for v.
3
Let l = 438 - 438. Solve 0*o + 3*o + 6 = l for o.
-2
Let y = -84 - -96. Let u = y + -7. Solve -19 = -u*v + 1 for v.
4
Let r be (-50)/4 + (-1)/2. Let g = r - -13. Solve 3*q - 1 - 5 = g for q.
2
Suppose 4*g + 2*s = s + 4, 0 = -2*g + s - 4. Suppose 2 = h - g. Let d be 12/h*3/6. Solve -d + 1 = 2*x for x.
-1
Let u(x) = -8*x + 115. Let w be u(13). Solve 0 = -18*y + w*y for y.
0
Let q(t) = -2*t - 6. Let w be (-1)/3*(-375)/5. Let r be (-95)/w + 1/(-5). Let v be q(r). Solve -5*p = -v*p + 15 for p.
-5
Let z(o) be the first derivative of o**3/3 + 3*o**2 + 4*o + 10. Let b be z(-6). Solve -b*p = 5 + 15 for p.
-5
Let m = -167 - -174. Solve 0 = 2*a - 3 + m for a.
-2
Let u = -227 - -231. Solve u*x + 0*x = 16 for x.
4
Let q(y) = y**2 + 9*y + 5. Let h be q(-9). Suppose 3*i = h*i. Suppose 5*n + 1 - 11 = i. Solve 2*d = -n*d for d.
0
Let z be (-1)/(-4)*(12 - -56). Solve 24 - 109 = -z*i for i.
5
Let i = 92 - 80. Let n be (-1)/(-2) + 66/i + -3. Solve 4*s = -15 + n for s.
-3
Let d = 22 + -16. Suppose 3*j - 5*j + 18 = 2*o, -j = 2*o - 23. Suppose -4*m = -6 - o. Solve -d*b + m = -b for b.
1
Suppose -142 = -19*s - 47. Solve -a + s*a = -0*a for a.
0
Let i(c) = 7*c - 31. Let v(y) = 20*y - 92. Let a(r) = -8*i(r) + 3*v(r). Let d be a(7). Solve 3*x - 2 - 4 = d for x.
2
Let l be (23 - 1)*(-36)/(-99). Solve -11*r = -13*r + l for r.
4
Let a(v) = v**3 + 4*v**2 - v - 10. Let n(w) = 8*w + 53. Let l be n(-7). Let t be a(l). Suppose 0 + 12 = 4*f. Solve -t - f = -h for h.
5
Let t = 105 - 105. Solve -4*f + 0*f = t for f.
0
Let u(j) = 2*j**3 + 9*j**2 + 2*j - 4. Let r(m) = -m**2 + 2*m - 4. Let o be r(0). Let w be u(o). Solve -2*a + w = -4*a for a.
-2
Suppose -38 = -3*p + 2*s, -7 + 19 = -3*s. Solve -p = 16*o + 38 for o.
-3
Let v = 109 + -106. Solve -v*x - x - 16 = 0 for x.
-4
Let w(s) = -s**3 + 17*s**2 - 15*s - 11. Let n be w(16). Solve 0 = -n*v + 12 - 2 for v.
2
Let o(z) = 2*z**3 + 13*z**2 + 4*z - 6. Let a be o(-6). Solv