*r = -2*m + 10, -5*m + 19 + 17 = 2*r. Let j = -4 + m. Let h be (j/1)/8*0. Solve 6 = -3*u - h for u.
-2
Suppose -3*l = 17 - 62. Let d = -7 + l. Solve -3*a - a = d for a.
-2
Let v = -1836 + 1838. Let d(s) = s**2 - 2*s + 3. Let z be d(2). Suppose -y + z = 5*f - 25, -15 = -5*f. Solve -y + 3 = -v*r for r.
5
Let p(l) = -l**3 + 9*l**2 - 8*l + 8. Let h(v) = v**2 - 3*v + 7. Let f be h(4). Let r be (20 - f) + (-1 - 0). Let y be p(r). Solve -5*z + 3 = y for z.
-1
Suppose 2*a = -19*r + 22*r - 16, -5*a = r + 23. Solve 4 = -r*n + n for n.
-4
Let m(y) = -y**2 + 8*y - 5. Let g be m(7). Suppose f - 4 = -5*o, -5*o - 9 = -g*f - 31. Let z be (-65)/(-25) - f/(-10). Solve -1 = z*v - v for v.
-1
Let f = -17 - -7. Let b be (-9)/((-225)/f)*-10. Solve b = -t + 5 for t.
1
Let a(b) = -b**2 - 6*b + 26. Let k be a(-8). Solve -5*v = -10*v + k for v.
2
Let h(l) be the second derivative of 2*l + 0 - 1/6*l**3 - l**2. Let x be h(-2). Solve x*j = -5*j for j.
0
Let u = -215 + 231. Solve 0 - u = 8*g for g.
-2
Suppose -25 = -11*m + 8. Solve m*x + 0*x = x for x.
0
Let s be (-3)/(-12) + 156/16. Suppose 5*q = a - s, 2*a + 2*q + 3*q = 20. Solve -k = k - a for k.
5
Let c = 66 - 26. Suppose -4*h + c = -0*h. Let v be h/8 + 3/(-12). Solve -9 = 5*x + v for x.
-2
Let p(u) = u - 4. Let h(q) = 1. Let x(w) = -3*h(w) - p(w). Let r be x(1). Suppose -3*b = 2*d - 28 + 30, -d - 1 = 2*b. Solve n + r*n + 5 = b for n.
-5
Suppose 53*z - 58*z + 40 = 0. Solve z*m = -2 - 6 for m.
-1
Suppose 2*x + 19 = 3*q, 2*x = 3*q - 4*q + 17. Solve q*b + 5*b = -28 for b.
-2
Let c(z) = -z**2 + 9*z - 10. Let w be c(7). Suppose -8*m = w - 20. Solve 0 = 3*r + m*r for r.
0
Let t = 676 + -667. Solve -15*i + 30 = -t*i for i.
5
Suppose 4*l - a + 20 = 0, 3*l = a - 12 - 2. Let w(y) = -3*y - 15. Let p be w(l). Solve p*r = 5*r for r.
0
Suppose 5*m = 3*q - 11, -3*q + 30 = q + m. Solve q*o = 12*o - 15 for o.
3
Let o(b) = -29*b + 34. Let w be o(1). Solve 0 = -0*m - w*m - 5 for m.
-1
Let u(h) = -h**3 + 9*h**2 - 21*h + 8. Let c be u(5). Solve 1 = c*t + 4 for t.
-1
Suppose -3*f = 4*i - 5, -i = i + 2. Suppose f*a - 2*a - 21 = 0. Let n = a - 11. Solve 2*x + n = -0*x for x.
-5
Let a be (1 - -1) + (-4)/(-2). Suppose -5*b - a*h - h + 75 = 0, h = 5. Let x(u) = -3*u**3 - u**2 - 2*u - 1. Let v be x(-1). Solve b + 2 = v*s for s.
4
Suppose -p - 6 = -2*t, -5*t + 3*t - 4*p = -16. Solve t*b - 8*b = -b for b.
0
Let z be 55*9/(225/20). Let p be z - ((-8)/(-4) + 1). Suppose 0 = 4*s - 7 - p. Solve -6*f + s = -2*f for f.
3
Let t(l) = 11*l**2 - 2*l + 3. Let y(w) = w**2 - 5*w + 1. Let q be y(5). Let g be t(q). Solve -2*j = 2*j + g for j.
-3
Suppose 180 = 22*p + 8*p. Solve 0 = -3*f + p*f for f.
0
Suppose -j - 30 = 4*j. Let m(g) be the third derivative of g**4/12 + 7*g**3/3 - 244*g**2. Let i be m(j). Solve i = q + 4 for q.
-2
Let z be ((-2)/4)/((-1)/6). Suppose 0 = -4*k - 5*r + 8*r + 8, 2*k = r + 4. Suppose -b - z = -k*b. Solve l - 1 + b = 0 for l.
-2
Suppose 2*u = -4*t - 2*u + 8, 0 = 2*t - 2*u + 4. Suppose 972*f - p - 8 = 971*f, 0 = -2*f + 5*p + 34. Solve t = v + v + f for v.
-1
Suppose 2*h - 53 - 49 = 4*k, 135 = -5*k + 5*h. Let u = k - -27. Solve d = u*d - 8 for d.
4
Let j = -313 - -317. Solve 1 = j*f - 3 for f.
1
Let k = 58 - 57. Suppose x + 16 = 5*x. Suppose -x*n + n = 0. Solve n = u - k - 0 for u.
1
Let z(n) = 3*n + 4 - 2 + n**3 + 4*n**2 + 0*n**2. Let m = 192 + -195. Let b be z(m). Solve b*s - 9 = -s for s.
3
Let m be 32/(-336) + (-19)/21 + 1. Solve -5 = 5*n - m*n for n.
-1
Let y(q) = 28*q - 82. Let r be y(3). Solve 6 - r = -4*j for j.
-1
Let h(r) = -3*r**3 + 3*r**2 + 3*r + 1. Let i be h(-1). Solve -i*w - 3 = -w for w.
-1
Let i(h) = 3*h**3 - h**2 + 4*h + 3. Let q be i(-1). Let v be (-6 - -11) + (q - 0). Solve -4 = -v*w - 2*w for w.
2
Let z = 24 - 22. Let x(b) = b**3 + b**2 - 4*b + 1. Let f be x(-3). Let c be (3 + -4)/(1/f). Solve 0 = -c*v + z*v + 6 for v.
2
Suppose -521*c + 80 = -513*c. Solve -9*o - 37 = -c for o.
-3
Let f = 4 - -1. Let y be 0/(1 - -6 - (-6)/(-3)). Solve -f + y = -h for h.
5
Let h(n) be the first derivative of -n**3/3 + 2*n**2 + 5*n - 23. Let i be h(5). Solve -4*u + 2 + 6 = i for u.
2
Let c(k) = 10*k**3 + 58*k**2 + 86*k + 39. Let j(a) = 3*a**3 + 19*a**2 + 29*a + 13. Let z(q) = 2*c(q) - 7*j(q). Let p be z(-15). Solve -p*x = -0 + 10 for x.
-5
Let a(g) = g**2 - 11*g - 10. Let f = 19 - 11. Let q be a(f). Let m = -20 - q. Solve 4 - m = 5*x for x.
-2
Let n = -207 - -224. Solve -38 = 7*t - n for t.
-3
Suppose 3*f + 3 = 0, -f + 3 - 8 = 2*a. Let o be 25/a*72/(-30). Suppose -7 = -c + o. Solve -5*y = c - 12 for y.
-5
Let i be 1/(-4) - (-21)/4. Suppose 0 = -c - 2*q, -5*c - 14 = 3*q - 0*q. Let w = c + i. Solve -o - 3 = -w for o.
-2
Suppose 4*y = y + 6. Let a(v) = -21*v + 1 + y - 4 + 24*v. Let q be a(1). Solve -f + 1 = q for f.
-1
Suppose 0 = -78*v + 52*v + 988. Solve -40*u + v*u - 4 = 0 for u.
-2
Let w = -19 + 22. Suppose -4*y = 5*d - 21 - 0, 0 = -4*d - w*y + 16. Solve -3*x = 10 - d for x.
-3
Let r(a) = 7*a**2 + 13*a - 14. Let b be r(1). Solve 3 = b*q + 21 for q.
-3
Let v(r) = r**3 + 62*r**2 + 3*r + 186. Let s be v(-62). Solve i - 1 + s = 0 for i.
1
Suppose -1 = 5*n - 6. Let j be ((-3)/((-3)/5))/n. Suppose s - 5*s - j*f + 9 = 0, 2*f = 4*s - 2. Solve -5 = k - s for k.
-4
Let y be 192/(-14) + -2*3/21. Let n = y - -16. Solve -u + n = -3*u for u.
-1
Suppose 5*z - 6*g + g = 15, -4*g = 3*z - 9. Let b = z + 0. Solve 5*a - b = 7 for a.
2
Let c = -55 - -57. Let a = c + -2. Solve 0 = 2*t - a*t + 8 for t.
-4
Let m(r) = -15*r. Let l be m(3). Let v = -9 - l. Suppose -v = -0*i - 4*i. Solve -2*x - i - 1 = 0 for x.
-5
Let f(j) = 14*j**2 + 56*j + 12. Let i be f(-4). Solve -4*z + i - 16 = 0 for z.
-1
Suppose -5 = -4*q + 5*a, -3*a = -16 + 19. Let u be 4/6 + 10/3. Solve f = -q + u for f.
4
Suppose -2*s = -5*s + 3*p + 171, -2*s - 2*p + 114 = 0. Let c = 66 - s. Solve -4*g = -c*g - 10 for g.
-2
Let n = 87 + -90. Let c be (9/3 + n)*(-2)/(-4). Suppose 2*l + 3 = 7. Solve c = d + l*d + 9 for d.
-3
Let m(q) = 45*q - 75. Let r be m(2). Solve 0 = r*u + 4*u + 38 for u.
-2
Let b be -24 - (0 - (2 + -1)). Let a = 57 + -76. Let z = a - b. Solve -z*o - 10 = o for o.
-2
Let q = -2 - -10. Let p = 13 - q. Suppose -i + 3 = 0, 21 = 2*z + z - p*i. Solve -3*f + 0*f = z for f.
-4
Let c be -9 + (-30)/(7 + -9). Solve c*k - 2 = -32 for k.
-5
Let k(h) = -h**2 + 14*h - 12. Suppose 7*m - 2*m - 45 = 0. Let s be k(m). Let f = s - 24. Solve -3*r = -6*r + f for r.
3
Suppose -5*a - 3*s + 6*s + 13 = 0, -2*a + 2*s = -2. Solve j = a*j - 12 for j.
3
Let h = -2017 + 2017. Solve 2*u + 1 - 3 = h for u.
1
Let y(m) = -3*m**3 - 18*m**2 - 4*m - 12. Let j be y(-6). Solve -j*d = -12 + 24 for d.
-1
Suppose c - 6*t - 20 = -t, 45 = -5*c - 4*t. Let p be 4 - (-16)/(-4) - (c - -1). Solve 9*s - p*s = 25 for s.
5
Suppose -15 = 3*v, 0 = 2*k + 4*v - 1 + 9. Let b(g) be the first derivative of -3*g**2/2 + 18*g + 5. Let d be b(6). Solve d = -f + k*f + 20 for f.
-4
Suppose 13*b - 14*b + 3 = 0. Solve b - 3 = -5*k for k.
0
Suppose -7*d - 12 = -75. Solve c - d = -4 for c.
5
Let s = 17 + -17. Suppose s = 11*x - 14*x + 15. Solve 4*d = x*d + 1 for d.
-1
Let o be -2 - -3*(-3)/9. Let q be 1/o*0 + 0. Let w be ((-60)/10)/(6/(-4)). Solve -w = v - q*v for v.
-4
Suppose -2*i = 10, 10*t - 13*t = i - 28. Solve -41 = -t*g + 3 for g.
4
Suppose h + 33 = 4*k + 7, -5*k + 34 = -2*h. Solve -k*x = -x - 2*x for x.
0
Suppose 0 = -5*a + 4*k + 23 - 7, 20 = -5*k. Solve a*c + 25 = -5*c for c.
-5
Let p = 518 + -518. Solve 4*w + 21 - 41 = p for w.
5
Let a = -18 + -4. Let n be (-2)/6 + a/(-3). Let p(d) = -d**2 + 6*d + 9. Let h be p(n). Solve 0 = 4*u - 2*u + h for u.
-1
Let k(l) = l**3 + 11*l**2 + 21*l - 19. Let x be k(-8). Solve 0 = x*w + 2 + 8 for w.
-2
Suppose -2*l - 18 = -22. Solve l + 14 = -4*g for g.
-4
Suppose -12*j + 76 = -1040. Let b = 103 - j. Solve -i - b = i for i.
-5
Let a(q) = 8*q + q**2 - 10 + 7 + 5. Let j(b) = -2*b**2 - 9*b - 3. Let d(o) = 3*a(o) + 2*j(o). Let i be d(5). Solve -i*l + l + 12 = 0 for l.
3
Let x be (-38)/(-8) - (45/12 + -4). Suppose -5 = -2*b - x. Solve -2*t - 2*t - 12 = b for t.
-3
Suppose 0 = 13*b - 26 - 52. Suppose b*p - 15 = 3. Solve p*q = -2*q + 20 for q.
4
Let g = 65 - 119. Let i = -54 - g. Suppose 11 + 5 = 4*a. Solve -a*m + i = -8 for m.
2
Let u(y) = -2*y**3 + 21*y**2 - 12*y + 22. Let h be u(10). Solve 0 = -b + h - 3 for b