Let b(g) = -g**2 - 10*g - 14. Let r be b(-5). Suppose -7*f - r = -39. Solve f*l + 1 = 5 for l.
1
Let s = -12 - -21. Suppose -4*g - 35 = s. Let k = g + 15. Solve 20 = k*x + 4 for x.
4
Suppose -o - 257 + 263 = 0. Solve -2 = o*a - 20 for a.
3
Suppose 5 = 4*d + 2*g - 1, -5*g + 6 = d. Suppose -r + d = -3. Solve -5 = -r*s + 11 for s.
4
Let z be -17 - (-10 - -388)/(-14). Let c(l) = 6*l**3. Let p(y) = -y - 2. Let i be p(-3). Let h be c(i). Solve -n + h*n + z = 0 for n.
-2
Let z = 295 + -295. Solve 2*r + z*r = 0 for r.
0
Suppose 0 = 14*a - 18*a - 5*j, 5*j = -3*a. Solve d - 2 + 5 = a for d.
-3
Suppose 5*w - i + 33 = 106, -2*w - 2*i + 22 = 0. Let j be 68/w + (-5)/(-35). Suppose -j*q = -4*r - 3*q + 20, -3*r - 5*q - 11 = 0. Solve -r = 3*h - 18 for h.
5
Let l = 25 + -30. Let x be 1/(l/(-2) - 2). Solve x*m = -8 - 2 for m.
-5
Let y(o) = o**2 + 1. Suppose 2*a - 8 = -2*a. Let c be y(a). Let k be (-1 - c)/(6/(-8)). Solve 2*f = -2*f + k for f.
2
Let w(r) = -r**3 + 3*r**2 - 10*r. Let n be w(4). Let q = 62 + n. Solve -o + q = -4*o for o.
-2
Let i(w) = w**3 - 8*w**2 - 10*w + 11. Let p be i(9). Let z be (-4)/10*(0 + -15). Suppose 21 = v + z*v. Solve -1 - v = p*k for k.
-2
Let d(g) = g + 14. Suppose 424 = -4*k + 2*c + 160, 5*c = 2*k + 140. Let l be 6/(-39) - (-900)/k. Let i be d(l). Solve i*b = -4*b - 8 for b.
-2
Suppose -1 = p - 4*z, -5*p + 3*z + 11 = -z. Suppose 6*m + 104 = 134. Solve -7 - p = m*b for b.
-2
Let n = -47 - -81. Suppose 0 = -4*m + 6 + 146. Let z = m - n. Solve -z*k - 3 - 9 = 0 for k.
-3
Let n be 24/10*50/40. Solve p + n = -2 for p.
-5
Let r(z) = 9*z + 57. Let i be r(-6). Solve 4 - 19 = -i*a for a.
5
Suppose -19 = -z + j + 1, -2*j = 3*z - 40. Suppose n - 3*s = -6*s + 12, z = 4*n + 4*s. Solve n = 2*i - 13 + 5 for i.
4
Suppose 10 = 2*x + 5*d - 27, 5*d = x - 11. Solve x = -11*n + 5 for n.
-1
Let m = -49 + 63. Suppose -6*s + 140 = m*s. Solve s*l = 2*l + 20 for l.
4
Let j = 4 - 2. Let f = 4 - 5. Let r = 5 - f. Solve -j*p - 2 - r = 0 for p.
-4
Suppose -34 + 14 = -2*t. Suppose -y - 4*y = -t. Solve y*b = -b - 3 for b.
-1
Let a(k) = -k**2 - 37*k + 3. Let t be a(-37). Solve t*r + 23 = 11 for r.
-4
Suppose -2*x = x - 3, 5*n + 228 = 3*x. Let b = n - -49. Let k be (2*2)/((-4)/(-2)). Solve k*c = 3*c + b for c.
-4
Let r(d) = 3*d**3 - 3*d**2 + 2. Let m be r(1). Suppose -3*c = c - m*p - 12, -2*p + 18 = 2*c. Solve 2*o - c = 3*o for o.
-5
Suppose 50 = 11*u - 5. Let d be (-28)/(-84) + u/3 + 0. Solve 3*s - d = s for s.
1
Suppose o + 3 = -6. Let w be (-25)/(-9) + (-2)/o. Solve w*v = v - 6 for v.
-3
Let w be 4/1*-1 - -6. Let j be 4 + w + 9/3. Solve 0 = -0*x + 3*x + j for x.
-3
Let g(o) = 36*o - 316. Let p be g(9). Solve 98*s - 94*s = -p for s.
-2
Suppose 5*q - 4 = 6. Let y = 6 - q. Let t be 18/(-4)*y/(-6). Solve t*c - 4 = -16 for c.
-4
Let u(i) = 3*i**2 - 3*i - 6. Let j be u(3). Solve 5*a - j = -a for a.
2
Let p(a) be the first derivative of a**4/4 - 5*a**3 - 15*a**2/2 - 7*a - 7. Let h be p(16). Solve -3*c - h = -6*c for c.
3
Let n = 15 + -13. Suppose -9 - 1 = -2*b - n*z, b - 3 = z. Suppose 0*w - 5*w - 3*i + 4 = 0, -4*w + 16 = -b*i. Solve w*l - 9 = -3 for l.
3
Suppose 4*m = -5*n + 9*m, -n = 4*m - 10. Solve -6*g = n*g for g.
0
Let f(p) = p**3 + 10*p**2 + 9*p + 6. Let y be f(-9). Let a be (y + -1)*(-4)/5. Let j be 6/a*8/(-6). Solve 2 + j = -2*o for o.
-2
Let d = 23 + -15. Suppose 0 = -3*p - 2 + d. Suppose v - 24 = -p*v. Solve 0*f = 4*f + v for f.
-2
Let n(k) = 3*k**2 + 7*k - 7. Let p be n(1). Solve -6*w = -p*w for w.
0
Suppose -2*p - 12 = 2*p. Let g be -2 + 2 - (-1 + p). Solve h = g*h for h.
0
Let q be 1/5 + 45/25. Suppose 0 = -l + q*l. Suppose l = 4*j + 4, -2*j = -2*n - j + 17. Solve 0 = -0*f - 4*f - n for f.
-2
Let c be (2 - (-24)/(-10)) + (-208)/(-20). Suppose 4*l - 10 = -l + 5*y, -c = -2*l - 4*y. Solve -l*z - 12 - 3 = 0 for z.
-5
Suppose -2*a + 4*a - 6 = 0. Let u be ((-7)/(-14))/(2/(-8)). Let n(f) = 4*f**2 + 7*f. Let i be n(u). Solve t - a = i*t for t.
-3
Let n be (5 - 0) + (-57)/19. Solve -4 - 4 = -n*j for j.
4
Suppose 4*q - 99 = -0*s - s, 0 = 5*q + s - 124. Suppose 12*j - 7*j = q. Solve -3 - j = 4*i for i.
-2
Let v = 13 - 10. Let u be 18/(-27) + 17/v. Solve u*k = -0 - 20 for k.
-4
Let r be 429/39 - 2*3. Suppose 2*u - 5 + 0 = -3*n, 3*u = -2*n + 15. Suppose 2*l - 6 = -0. Solve -l*b - u = r for b.
-4
Suppose -4*r = -4, v + r - 16 = -r. Suppose 5*b - v*b = -27. Solve -b*n + 6 = -n for n.
3
Let c = -880 + 885. Solve -c*y + 4 = -7*y for y.
-2
Let h(d) = -4*d**3 + 2*d**2 + d. Let p be h(-1). Let i(r) = -r. Let a be i(1). Let s be (14 + -15)*(-1 + a). Solve -s*w + 7*w = -p for w.
-1
Let p be 12/(-10)*850/(-51). Solve 5*y - p = -0*y for y.
4
Let m(z) = -27*z + 1308. Let j be m(44). Solve 125*x - 5 = j*x for x.
1
Let a be (-1 - -1)*(-9 + -9 + 17). Let p(j) = j**3 + j**2 + j + 2. Let x be p(0). Solve a = -0*i - x*i for i.
0
Let r = 121 - 112. Solve 6*p = r*p - 9 for p.
3
Let s(r) = 2*r**3 - 4*r**2 + r + 2. Let p be s(2). Suppose 5*c - p = 1. Suppose c = -z + 5, 2*n = z + 4. Solve 2*v = -2*v + n for v.
1
Let n(j) = -j - 7. Let v be n(-9). Suppose 1 = -v*l + 7. Solve l*w - 12 = 3 for w.
5
Suppose -l + 20 = -0*l. Let y = l + -10. Suppose -3*r + 5*r = 6. Solve r*i = i - y for i.
-5
Let h be ((-4)/(-12))/((-3)/(-72)). Let s be (1/2)/(h + (-90)/12). Solve -19 = 4*i + s for i.
-5
Let n(b) = 64*b - 56. Let p be n(1). Solve -p = -5*j + 7 for j.
3
Let z = 6 + -17. Suppose -w - 25 = -2*p, 0*p = p + 3*w - 30. Let f = p + z. Solve -5*l - f = 21 for l.
-5
Let v = 63 + -63. Suppose 2*f + 2*h - 12 = v, 3*f + 4*h - 1 - 22 = 0. Solve f = 2*x - 5 for x.
3
Suppose -88 = 3*f - 97. Solve o - f = 2*o for o.
-3
Let x(h) = -h**2 + 7*h + 1. Let u be x(8). Let s(p) = -p - 8. Let d be s(u). Let o be 1*8/((-2)/d). Solve -o*k - 12 = -k for k.
-4
Let h(a) = 34*a**2 - a - 1. Let j be h(-1). Suppose -41*o = -j*o. Solve o = 3*c + 12 for c.
-4
Let l(c) = -c**2 + 5*c + 7. Let w be l(6). Let g be (-252)/49*(-14)/3. Suppose -14 + g = 5*b. Solve -3*z + b = -w for z.
1
Suppose 15*m = 16*m - 2*s, 2*m - 5 = -s. Solve 11 = m*f + 3 for f.
4
Suppose -3*c = 5*b - b + 81, 5*c - 39 = 3*b. Suppose -4*r - r + 110 = 0. Let t = b + r. Solve -t*y + 6 = -y for y.
2
Let x(p) = 80*p - 152. Let q be x(2). Solve 5*d = -q*d + 39 for d.
3
Suppose -4 = -2*p + 2. Let b be (-16)/24 + 14/p. Solve -12 = -j + b*j for j.
-4
Suppose -389*t = -382*t - 14. Solve -5*o = o - t*o for o.
0
Suppose -10 = 5*t, 2*n + 3*n - 120 = -5*t. Let z = -17 + n. Suppose -z + 6 = -h. Solve -8*w + 15 = -h*w for w.
3
Suppose -i - 20 + 226 = 4*z, -z - 739 = -4*i. Solve -i = -2*s - 190 for s.
-2
Suppose 0*y = -2*y. Suppose 3*i - 5 - 11 = -2*h, y = -i - 2*h. Let j(a) = -a**2 - 3*a + 2. Let r be j(-2). Solve i = r*c - 2*c for c.
4
Let i be (-6)/(1*5/((-575)/10)). Solve -i*r = -73*r + 12 for r.
3
Suppose -8*q = -7*q + 92. Let l = 92 + q. Solve -2*m - m + 3 = l for m.
1
Let i be 0 - ((-12)/15 - 44/20). Solve 0 = 3*s - 2*s - i*s for s.
0
Suppose 2*y + 80 = -8*y. Let k(q) = 5*q + 42. Let a be k(y). Suppose 0 = n - 2*n. Solve d = -n*d - a for d.
-2
Let t = 115 - 35. Let x = t + -75. Solve 0 = n - x*n - 8 for n.
-2
Let z be -2 - 0 - -10 - -2. Suppose 3*m + 16 = b, -b - 2*b + 24 = -3*m. Suppose z = b*y - 22. Solve -y - 8 = -4*u for u.
4
Suppose -36*c = -13*c - 161. Solve -c*j - 1 = -22 for j.
3
Let v be 0 + (1 + 6 - 4). Let q be v + 0/(7 + -4). Solve q = 2*c + 5 for c.
-1
Let d(m) = -m**3 + 8*m**2 + 11*m - 3. Suppose -18 = -4*u + 2*u. Let i be d(u). Let q = 19 - i. Solve 19 - 3 = -q*s for s.
-4
Suppose 0 = -x + 3*i - 3, 2*i + 10 = -2*x + 4*x. Solve x*l = 2*l for l.
0
Let t(b) be the second derivative of b**5/20 - 3*b**4/4 + 13*b**3/6 + 5*b**2 + 7*b. Let o be t(7). Solve 1 = -o*p + 4 for p.
1
Suppose 5*k = 5*y - 690, 142 = -k - y + 3*y. Let c = k - -134. Solve c = m + 2*m for m.
0
Let p(v) = v**2 + 4*v - 2. Let m be p(-5). Let l be ((-1)/2)/(17/(-170)). Suppose -m*a + 17 = l. Solve 2*k - a + 6 = 0 for k.
-1
Let v be (2 + -3 + 6/10)*-145. Let l = 59 - v. Suppose 0*y - 5*y = -20. Solve c = l + y for c.
5
Let a be ((-210)/(-24))/(25/20). Solve -9*x = -a*x + 6 for x.
-3
Let t = 661 - 658. Solve -t*r = 4 + 2 for r.
-2
Let m = -2990 + 3024. Solve 35*x = 72*x - m*x for x.
0
Let a = -59 - -64. Solve 3*n + a*n = 0 for n.
0
Let x(v) = 6*v**2 - 5 + v + 4 - 4*v + 3. Let l be x(1). Solve l*w