0, -2 = 4*m + 14. Suppose -y*f = -9 + 5. Let v be 0/1 + 1/f. Solve 2*a - v - 5 = 0 for a.
3
Suppose -2*t = -4*s - 14, -6*t + 68 = -t + s. Let i = -168 + 187. Suppose i = 5*l - 2*j, 3*l - 7*j + 5*j = 13. Solve -2*a + t - l = 0 for a.
5
Let b(p) = -5*p**3 + p - 2. Let g be b(1). Let q be (0 - 0)/g*1/2. Suppose -6 = 5*h - 2*o, h - 3 = -0*o - o. Solve h = -q*d + d - 3 for d.
3
Let n(m) = -m**3 + m**2 + m - 3. Let f be n(-2). Let t(l) = -l**2 + 8*l - 3. Let w be t(f). Let r = w - 4. Solve r = 4*b + 23 - 7 for b.
-4
Let y be (77/(-14) + 4)/(1/(-2)). Solve -3*i = -y + 6 for i.
-1
Let q be (6 - (-20)/(-5)) + 3. Suppose q*s = -4*b + 8, -s + b = 1 - 8. Solve 0*y = -y - s for y.
-4
Let r be (-18)/(-4)*((-265)/(-15) + -7). Solve 8*k - r = -4*k for k.
4
Let l(f) be the second derivative of -f**3/6 + 2*f**2 - 13*f. Let z be l(-3). Solve -2*x - 1 = z for x.
-4
Let a = 192 - 118. Suppose 4*g + 54 - a = 0. Solve -4*m + g = m for m.
1
Suppose 7 - 3 = 2*v. Let x(s) = s**3 - 3*s**2 + 2*s. Let h be x(v). Let a(m) = 3*m**2 + m. Let c be a(-2). Solve h*p = -5*p + c for p.
2
Let t be ((-27)/18)/(2/(-4)). Let v(x) = x**2 + 7*x - 9. Let y be v(t). Solve -6 = -3*s - y for s.
-5
Suppose -3*x = -0*x + 2*x. Solve -2*j - 3*j = x for j.
0
Let i = 53 - 51. Let n be (-5)/(15/(-6))*4. Suppose i - n = -o. Solve o = -v + 3*v for v.
3
Let h(r) = r**2 - 5*r - 4. Let o be h(4). Let m(b) = b**2 + 6*b - 11. Let u be m(o). Solve 6 = -u*i - 19 for i.
-5
Suppose 6*m = 3*m + 3. Let u = -4 - -6. Suppose 0 = -d - 2*b - 1, -3*d + 3 + u = 2*b. Solve w + m = d for w.
2
Suppose -2*h - r = -6, -3*h - r + 2 = -3*r. Suppose -h*p = 2*p - 20. Solve 4 + p = -3*w for w.
-3
Suppose 2*o = -7*o + 108. Solve 6*p = -6 + o for p.
1
Let d(h) = h**2 + 6*h - 8. Let q be d(-8). Let t be (-555)/(-105) - 2/7. Let a be (t/20 - 2)*-4. Solve -3*i + a + q = 0 for i.
5
Let v(x) = x**3 - 6*x**2 + 6*x + 4. Suppose 2*w = l - 5*l + 28, 3*w = -3*l + 27. Let h be v(l). Let d be 0 + (h/(-3) - -3). Solve -2*p + 5*p = d for p.
0
Let b = -217 + 309. Let v = -52 + b. Suppose -36 = 4*w - 8*w + y, 0 = -2*w - 5*y + v. Solve g - w = -g for g.
5
Let w = 128 - 126. Solve w*v + 3 = v for v.
-3
Let q be -4 - (-20)/(3 - -2). Suppose q = 6*t - 10*t - 8. Let g be t/(-4)*(-9 + 37). Solve -2*s - 4 + g = 0 for s.
5
Suppose 4*m + 54 = -246. Let c = -57 - m. Let h be 4 + -2 + (-2)/(-1). Solve 0 = -h*w + c - 6 for w.
3
Let y be 15 - -1 - (-3 + 9). Suppose 3 = -h + 8. Suppose -5*r = -3*d + 50, d - 26 = -0*r + 4*r. Solve y = h*w - d*w for w.
-2
Suppose 9 = 15*g - 66. Solve 53 = -g*f + 53 for f.
0
Let l(g) = -g**3 - 12*g**2 - 15*g - 21. Let j be l(-11). Let b = 27 - j. Solve 0 = 4*y - 20 + b for y.
4
Let o(j) = 14*j + 173. Let p be o(-12). Solve 10 = p*z - 3*z for z.
5
Let j(b) = b**3 + 18*b**2 + 18*b + 11. Let a be j(-17). Let y be ((-51)/(-34))/(a/(-28)). Solve -1 - y = 4*z for z.
-2
Let x be 5 + -2 + 0/2. Let i(d) = -d**2 + x + 6*d + 0*d - 1. Let z be i(6). Solve 6 = v + z*v for v.
2
Suppose -89 + 6 = -5*d - 4*l, 0 = -4*d + 3*l + 85. Solve -13 - 25 = -d*i for i.
2
Let a = 575 - 567. Solve 0 = a*b - 2*b - 18 for b.
3
Let s be (4 - 240/18)*42/(-49). Solve -d - s = -6 for d.
-2
Let x = 6 + -5. Let a be (x + 2 + -15)/(-2). Let m be 2/a + 10/6. Solve -6 = m*u - 2 for u.
-2
Let m = 7 - 5. Suppose m = -2*z + 2*w + 8, -5*w = -3*z - 1. Suppose 5*t - 15 = -0*t + 5*u, 5*t = u + 19. Solve -t*n + 0*n = z for n.
-2
Let x be 2/(-2) + (1 - -4). Suppose -1 = -3*j + 5. Solve 0 = -x*q + j*q for q.
0
Suppose -3*m + 13 = 5*x, 4*x - 2*x = -5*m + 9. Let z(f) = 10*f**3 - f**2 + f. Let s be z(1). Solve s = -4*v + x for v.
-2
Suppose -3*c + 0*c - 39 = -f, 0 = f - 5*c - 49. Solve -f = -2*w + 14*w for w.
-2
Let o = -48 - -39. Let r be 2 - (3/12 + o/4). Solve -r = -y - 0 for y.
4
Suppose -6 - 18 = -2*a. Let l be 6/a - 5/(-2). Solve 2*o = l*o + 5 for o.
-5
Let t(n) = n**3 + n + 8. Let c be t(0). Suppose -u + c = 3*u. Suppose -u*b + 6*b = 8. Solve 4*d = b*d + 2 for d.
1
Let c be 1/(-3) - 10/(-3). Suppose c*d = 7*d + m - 13, 2*d = -2*m + 8. Suppose j + j = 3*q, 2*j + 2 = 4*q. Solve g + d - q = 0 for g.
-1
Suppose -3*g = 4*b - 9, -7 = 5*b - 2*g - 47. Solve 5*t - 11 = -b for t.
1
Suppose 5*n + 13 = -4*g - 3, -4 = 3*n + g. Let q be n*1/2*2. Suppose 0 = 4*r + z - 3 - 6, -5*r - 5*z = 15. Solve q = m + r*m + 5 for m.
-1
Suppose -3 - 29 = -4*r. Suppose -3*b + r + 4 = 0. Solve -q - q = b for q.
-2
Let k(a) = -a**2 - 4*a + 1. Let z be k(-3). Suppose -7*h = 3*h - 20. Suppose 4*t = -3*v + h*v + 1, -3*v + 3 = z*t. Solve 0 = -3*j + v + 5 for j.
2
Let n(i) = -i**3 - i + 10. Let x be n(0). Suppose -3*z - 1 = -r + 1, 5*r - 5*z - x = 0. Solve 4 = 2*p - r for p.
3
Let i = 4 + -4. Let j(f) = -f**2 + 2*f + 6. Let o be j(3). Solve -o*d + d + 10 = i for d.
5
Let f = 75 + -73. Let l(b) = 4*b**3 - 3*b**2 - 2*b - 1. Let n(g) = -5*g**3 + 3*g**2 + 3*g. Let j(w) = -4*l(w) - 3*n(w). Let k be j(3). Solve f*h + 7 = -k for h.
-4
Let u = 4 - 2. Let x(v) = v**3 + 13*v**2 - 18*v + 8. Let d be x(-14). Suppose 2*f = -u*f + d. Solve i + f = 5*i for i.
4
Let w be (-4)/14 + (-596)/(-28). Let f be 4/(-6) - (-77)/w. Let n = -6 + 9. Solve -n*c = f - 0 for c.
-1
Let d(a) = a**2 + a + 2. Let o be d(5). Let s = o - 31. Solve 4*w - s = 3 for w.
1
Let b be 7/21 - (5/(-3) + 0). Let i(f) = f**2 + 2. Let r be i(2). Let c = -1 + r. Solve 3*s + b - c = 0 for s.
1
Let k = -20 - -19. Let o = k - -1. Suppose n + o*n - 3 = 0. Solve 0 = -u + n for u.
3
Suppose -3*y + 3*d + 24 = 0, 3*y - 4*d + 7 = 26. Suppose 5*z = -c + 33, -3*z + y = -2*c + 6*c. Solve 0 = 3*s - z*s for s.
0
Suppose -11*m + 60 + 28 = 0. Let y be (-2)/((-8)/(-2)) + 20/m. Solve 0 = t - 3*t - y for t.
-1
Let o(y) = -2*y**2 + 10*y + 30. Let n be o(7). Solve n*a = -0*a + 10 for a.
5
Let o = 50 - 19. Suppose -3*p + 79 = o. Solve 3*s = -s - p for s.
-4
Let g = 5 + -1. Let t be (-1 - (-21)/12)*376/94. Solve -t*k + g*k = 3 for k.
3
Let y = -258 - -281. Solve -y + 23 = -2*a for a.
0
Let z = 93 + -77. Suppose x + z - 22 = 0. Solve -x = s + s for s.
-3
Suppose 4*f = 18*f - 84. Solve f*x - 13*x = 35 for x.
-5
Let v be (-704)/24*(26/(-8) + 1). Let r = v + -61. Let f = 35 - 23. Solve r*k - f = 2*k for k.
4
Let p be 0 - -5 - (38 + -1). Let m = -26 - p. Solve 0 = 2*t - m + 2 for t.
2
Suppose 3*g + 74 - 26 = 0. Let y = -14 - g. Solve -y*x = -7*x - 15 for x.
-3
Suppose 0 = -d - d - 4*p, 5*p = -3*d. Solve d = v + 3 for v.
-3
Let m be 8 + (0/(-1))/(9/(-9)). Suppose -m*k = 6 - 94. Solve 2*j - k = -1 for j.
5
Suppose -2*i - 18 = 2*o, -3*o - i - 7 = -2*i. Let v(s) = -s + 11. Let z be v(o). Solve 3*y = -0*y - z for y.
-5
Suppose 0*k = -5*k - 10. Let u be k + -4*28/(-16). Solve -1 - 14 = u*m for m.
-3
Suppose s - 2*a - 132 = -126, -3*s = -2*a - 30. Solve -s*v - 40 = -2*v for v.
-4
Let j(d) = -2*d + 4. Let g be j(3). Let f be (-30)/(-8) + g/(-8). Let a be ((-2)/(-3))/(f/12). Solve a*u - 2 = -6 for u.
-2
Suppose 5*o = -4*c - 296, 9*o = 12*o + c + 172. Let z = 58 + o. Solve 3 + z = p for p.
5
Let p(k) = -28*k - 1027. Let d be p(-37). Solve d*w = 21*w - 12 for w.
1
Let z = 24 - 30. Let i be ((-2)/z)/((-9)/(-27)). Solve -i - 5 = -3*t for t.
2
Let f be (-1)/((-57)/15 - -4). Let j(a) = -2*a - 8. Let t be j(f). Let w be 0/(6 - (t + 1)). Solve w = -4*l + 1 - 21 for l.
-5
Suppose 0 = 4*a - 5*h + 5, -a + 11 = -5*h + 31. Suppose 0 = -5*y - p + 3, -9 = -5*y - a*p + 6. Let r be y*(-2)/6 - -3. Solve r*q = 2 - 8 for q.
-2
Suppose -397*k = -391*k - 24. Solve 9*o + k = 13 for o.
1
Let a be (3 + -31)*-1 + -2. Suppose 3*w - 77 + a = 0. Suppose -4*f + 4*c + 3 = -21, -2*f + 3*c + w = 0. Solve 15 = 4*t - f for t.
4
Let k = 44 - 42. Suppose 4*w = 2*i + 16, -k*i - 10 = 3*i - 4*w. Solve 5*o = 4*o - i for o.
-2
Suppose -6 = -5*h - 21. Let g be (-4 + 20/5)/(-1 - h). Solve g = -5*p + p - 16 for p.
-4
Let d = 205 - 204. Solve p - d - 3 = 0 for p.
4
Suppose 0 = 5*f + 3*k + 9 + 1, 5*f - 5*k - 30 = 0. Suppose s - f = -2*r, -5*r - 10 = -2*s - r. Suppose s*i - 3 = 5*b, 2*i - 1 = 3*b + 1. Solve w - 1 = i for w.
2
Let y = 68 - 44. Suppose 0 = 8*d - 0 - y. Solve -5*k - d = -8 for k.
1
Suppose 0 = -5*w + 184 - 49. Solve w*s - 22*s = 15 for s.
3
Let g = -297 + 300. Solve -v = g*v + 20 for v.
-5
Let g(y) = y**2 + 3*y + 1. Let a be g(0). Suppose -a = h - 5*r + 1, 0 = 5*r - 5. Solve h*i - 5 = -2*i for i.
1
Suppose 0 = -4*n + 64. S