 = -2*b, 3*n = b - t for b.
4
Let g(j) = 9*j**2 - 14*j + 11. Let c(q) = 3*q**2 - 5*q + 4. Let l(h) = -11*c(h) + 4*g(h). Let o be l(-1). Solve 5*y + o = -4*v, -4*v + 3*v = y for v.
4
Suppose -l + 5*l = 16, -5*l - 15 = -5*j. Let u(h) = 4*h + 6. Let d be u(j). Suppose 0*m = 2*m - d. Solve 4*k = -y + m, -17 = k - 0*k - 4*y for k.
3
Let o be 80/36 + 4/(-18). Suppose 0 = -5*t + o*c + 26 - 1, 4*c = -20. Solve 0 = s - 2*k + 7, 2 = -s - 2*k + t for s.
-3
Let d(z) = -z - 2. Let j be d(-4). Solve 2*y - j = -3*a - a, 0 = a - 5*y - 17 for a.
2
Let y(b) = -2*b - 2. Suppose -l - 5 = 3*h - 0*h, 4*h = -20. Suppose -5*f + 15 = -l*f. Let u be y(f). Solve o = 2*o + u*j, 2*o = -5*j for o.
0
Suppose -5*b + 2*t = -2*t, 4*b = -4*t + 36. Let z be b - 1/3*-3. Solve 4*s = 2 - 6, s = z*k - 21 for k.
4
Let y(m) = -6*m - 2. Let g be y(-1). Let v be 30/7 - g/14. Solve 0 = -0*c + c - 4*k + 24, 0 = c + v*k - 16 for c.
-4
Let n = 7 - 4. Suppose -5*h + 22 = -l, -2*h - n*l + 7 + 12 = 0. Solve -c = -2 - 2, -3*p = -h*c + 32 for p.
-4
Suppose -32 = -5*q - 7. Let w = 11 + -7. Solve w*l = q*d - 13, 2*l - l = -d + 8 for d.
5
Let i(r) = -2*r + 55. Let a be i(26). Solve a*p - 5*x - 12 = p, 0 = -5*p + 4*x - 4 for p.
-4
Suppose 4*y + 31 = 111. Let v = y - 14. Solve 4*u + l = -5, 0 = u + l + 4*l + v for u.
-1
Let n = 7 - 4. Let p = 3 - n. Suppose p*z - 4 = -z. Solve -4*u + 30 = -9*u + 3*s, 0 = z*u - 4*s + 32 for u.
-3
Let p = 4 - 1. Let l = p + 0. Solve -5 = -a - l*y, -3 = 2*a + 3*y - 4 for a.
-4
Let j be (0/2)/(20/(-10)). Solve -3*q + 4*u - 11 = j, 4 - 2 = u for q.
-1
Suppose 3*j - 5*k - 14 = -3, j - 3 = 2*k. Let o = j - 3. Let w be 4/6*(-30)/(-4). Solve -5 = w*i + 2*x - 7*x, -o*i - x = 9 for i.
-2
Let h be (-1)/(62/(-30) - -2). Let r(f) = 4*f**3 - f**2 + f. Let k be r(1). Let n be ((-10)/(-4))/(2/k). Solve 0 = m + n*l + 25, -2*m - 3*l = 3*m + h for m.
0
Let r be 0 - ((-41 - -3) + 0). Suppose -2*d + r = -0*d. Solve 3*v - d = 2*k - 4*k, -4*k + v = -3 for k.
2
Suppose 0 = 2*l - 3*l + 3. Suppose 3*p + 10 = -i + l*i, -2*p = -5*i + 25. Let z be (180/210)/(1/7). Solve 4*r = 3*k - p*k - z, -5*r = 5*k + 25 for k.
-2
Suppose -4*l + 5 + 2 = 5*s, -5*l + s + 45 = 0. Suppose f + l = 5*f. Solve f*y = 5*h - 3, 10 = -2*y - 5*h - 3 for y.
-4
Let g be (0 - 13*-1)*1. Suppose -7*m = 4*i - 4*m - 36, i - 4*m + 10 = 0. Solve 0 = -i*t + t + b - g, -25 = 5*t - 5*b for t.
-2
Let a be (-16)/(-12)*3/2. Solve 3*o = 2*r - 18, -15 = 2*o - 3*r + a for o.
-4
Suppose 5*d = -0*o + 5*o, 0 = 2*d - 8. Let h = 9 + -9. Solve v + o*t = 3*v, h = -3*v + 4*t - 4 for v.
-4
Suppose -2*l - 3*l = 4*d - 25, 0 = l - 2*d - 5. Solve 0 = -3*t - l*z + 40, -3*t + 5*z = 6 + 4 for t.
5
Suppose h = -2*h. Suppose l + 2*x = 10, 4*l + 2*x - 15 = -x. Suppose 6 = -l*y + 2*y. Solve 0 = 2*w + y*n + 13, 0 = 3*w - h*w + 5*n + 22 for w.
1
Suppose 0 = 2*q - 8 + 4. Let k(y) = 2*y - 1. Let s be k(3). Let z be (-9)/3 + 2 - -31. Solve 2*v = -2*b - 3*v + z, q*b + 10 = s*v for b.
5
Let q be (21/6)/7*88. Suppose 0*c - q = -4*c. Suppose -3*d = 2*f - 5*f - 6, -4*f - 10 = -5*d. Solve -2*l - 5*h + 13 = f, 28 - c = -2*l + 5*h for l.
-1
Let j be 0/(-1) - 0 - -2. Suppose 2*d - 4*l = 0, -d = -l - 2 + 3. Let p be 7 - (-1 + (d - -1)). Solve -a + 6 = -x, -x = j*x + p for a.
3
Let v be (8/6)/((-2)/(-3)). Let j(c) = -c**3 - 3*c + 3. Let a be j(v). Let f = a + 15. Solve -3*t + f*t + 3*h + 12 = 0, -5*h = 3*t + 20 for t.
0
Let y(l) = -l**2 - 1. Let q be y(1). Let g = 4 + q. Solve -9 = -5*x - b, -8 = -4*x - g*b + b for x.
1
Let u = -29 + 53. Solve o = -4*w + u, w = -o + 4*o - 7 for o.
4
Let b(r) = -r**2 - 2*r + 2. Let o be b(2). Let y = -8 - o. Let t be 2 + y + (2 - 0). Solve -t*f - 7 = -5*z, -4*f = -3*f + 1 for z.
1
Suppose 0 = o + 4*v - 6, 3*v - 5 = -o. Solve 0*l - o*l + 11 = 3*j, -5*j + 9 = l for l.
4
Let t = 13 + -12. Solve 3*m + 2*m = p - 1, -3*m - p + t = 0 for m.
0
Suppose -1 - 7 = -5*k - 4*v, -4*v = -4*k + 28. Suppose 2*b = -k*w + 22, -7 = 2*b - 4*w + 3. Let l be (-1)/(3 - 16/5). Solve -4*t = -i - 12, 7 = -b*i - l for t.
2
Suppose 5*p = -5*d - 6 + 21, 4*d = 2*p. Let x be 4 + d + 4/(-2). Solve 3*f = -x*t, 0*t + 2*f = t for t.
0
Let n(p) = 4*p**3 + 2*p - 1. Let f be n(1). Let l(y) = y**2 - 2*y - 5. Let v be l(-2). Solve -2*q - f*o - v = 12, 3*q = 2*o + 6 for q.
0
Let c(y) be the first derivative of -15*y**2/2 + 6*y - 3. Let j be c(-6). Let l be j/18*9/2. Solve 4*t + 4*w = l, -6*t + 2*t - 3*w = -19 for t.
1
Let f(m) = m**3 + 6*m**2 + 3*m - 7. Let u = 15 - 20. Let q be f(u). Solve 4*p - 8 - 1 = 5*w, 0 = q*p - 3*w - 3 for p.
-4
Let f = 56 + -48. Solve f*y - 22 = 3*y - o, 0 = -4*y + 4*o + 32 for y.
5
Let b = 38 + -26. Let l be (-3)/b - 13/(-4). Solve -j + l*g = -2*g + 18, -3*j = 2*g - 14 for j.
2
Let z(v) = -10*v + 1. Let b be z(-1). Let l(s) = -s**3 + s**2 + 3*s + 3. Let h be l(-2). Suppose -d + b + h = 0. Solve -3*f = 3*u - 18, -d - 4 = -5*f + u for f.
5
Let z be -2 + (-1 - -8 - 2). Let q(y) = -2*y + 1. Let a be q(-1). Suppose -6*r = -r - 2*g - 9, a*r - z = 2*g. Solve 3*k = -i + 1, -r*i + 5 = 2*i for k.
0
Let l(f) = -f - 12. Let d be l(-8). Let r be (1 + -1)/(d/4). Let h = 6 - r. Solve -h*x + 3*x + 15 = -y, -4*x = -4*y - 28 for y.
-3
Let w = -3 - 7. Let a = 15 + w. Solve 3*b + 2*n + a = -0*b, -6 = -3*n for b.
-3
Suppose -4*d = 16, 4*h + 3*d + 7 = 107. Suppose 0 = 4*w + 8 - h. Solve -5*j + y = -3*y - 10, 4*j + w*y - 8 = 0 for j.
2
Let u be 2/(2/4 + 0). Let r = 1 - u. Let m = 2 - r. Solve 15 = -5*a, 5*a - 8 = m*v + a for v.
-4
Let w be -1*(-2 - -1*2). Suppose w = -2*m + 4*v + 30, 4*m - 3*m + v = 15. Solve 5*r + b = -2, -b + 6*b - m = 0 for r.
-1
Suppose -2*p = -17 - 17. Suppose p = s - 4*m, 3*s - m - 3 = 15. Solve -s*w + 13 = -3*w + 5*z, 5*w - 4*z = 16 for w.
4
Let p = 4 - 1. Suppose 8 = 4*f, -4*i - 4*f = -i - 5. Let u = i + p. Solve u*a - 1 + 8 = -m, 11 = 2*m - a for m.
3
Let g(n) = 21*n**3 + n**2 - 6*n + 5. Let h be g(1). Solve 0 = -4*i + 2*s + 1 + h, 2 = -2*s for i.
5
Let t be (18/4)/(2/4). Let o(r) = -r + 12. Let w be o(t). Solve w*x + 25 = -5*p, -22 = 5*x + 3 for p.
-2
Suppose -4*b + 9 = -7, 2*z + 2*b = 16. Solve -4*k - 5*o - z = 0, 3*o = -0*k + 2*k - 20 for k.
4
Let v(t) = -t**3 + 3*t**2 + 5*t - 4. Let i be v(4). Suppose -4*c - 11 - 5 = 0. Let k be c/((-6)/3) - i. Solve 3*d = k*j + 11, d = 2*d + j + 3 for d.
1
Suppose 0 = -5*u + 4*k + 40, 7*u + 4*k = 2*u. Solve -3*p - 2*j + u = -13, 5*p + 4*j = 29 for p.
5
Suppose 0 = j + 1 - 11. Let t be 1/(2/j) + -1. Let g(y) = y + 2. Let d be g(8). Solve n - 3*w + t = 0, w + d = 4*n + 2*w for n.
2
Suppose -5*q + 2*r = -25 - 3, 0 = -2*q - 4*r - 8. Suppose 2*x = x + 2. Let k(w) = 3*w + 2. Let n be k(x). Solve 3*g = -3*m - 24, g = -q*m + 5*g - n for m.
-5
Suppose 13 = -3*b + 28. Let a = -11 + 16. Solve 0 = b*l + 5*d + 5, 3*l - a*d = 4 + 17 for l.
2
Let b be 4/6 + (-40)/(-30). Solve -4*d = -m + b - 10, 0 = -2*m - 5*d + 10 for m.
0
Let u = -5 + 8. Suppose 0 = -2*y - 4*l + 45 - u, 5*y + l = 78. Suppose 5*r - y + 0 = 0. Solve 2*s = 4*n - 3*s - 45, 0 = r*n + s - 10 for n.
5
Suppose 3*g - 57 = -5*z, -2*g = -z + 12 + 2. Solve -2*s + w - 5*w = 6, 0 = -4*s + 3*w - z for s.
-3
Suppose -4*c + 3*x = -27 - 2, -23 = -4*c + x. Let r be -2 - (2 - 4) - -2. Let d(i) = -3*i + 24. Let n be d(7). Solve 5*v - u - r = n*u, 4*v + c*u = -23 for v.
-2
Let k(y) = y**3 - 3*y**2 - 3*y. Let w(m) = m**2 + 4. Let s be w(0). Let i be k(s). Solve -5 = -5*d - 4*b, -3*d - b - 1 = -i for d.
1
Let v = 43 + -39. Solve 8*k - v*k = -2*c + 30, 0 = c - 3*k + 10 for c.
5
Let k(s) = -s**3 + 4*s**2 + 8*s - 7. Let y be k(5). Suppose -y*u + 15 = -3*u. Solve u*x + 2 = -2*w - 9, -4*x - 11 = -w for x.
-3
Let u(j) = j**2 - 3*j - 5. Let f be u(-5). Solve -t = -5*v + 11, -5*v - t + f = 4*t for v.
3
Let g be (2 - 1) + -3 + 2. Suppose g*p = p. Let c be 74/14 + 14/(-49). Solve p*y + y = -c*i + 12, -4*y + i - 15 = 0 for y.
-3
Suppose 5*j = 10 - 0. Suppose -2 = -j*w + w. Solve 0 = w*u - c - 1, -5*c + 25 = 2*u + 3*u for u.
2
Let o(k) = -k**2 + k + 4. Let b be o(0). Solve -12 = p - b*a, 3*p - 9 = 4*p - 3*a for p.
0
Suppose 7*j = 9*j - 4. Solve -3*k + j*u - 1 = 0, u + 3 = -2*k - 0*u for k.
-1
Let b(u) = -u**2 - 6*u + 3. Let q be b(-6). Let z be (-74)/(-8) + (-1)/4. Let n = z - q. Solve 5*o + 4*w = -37, -3*o + 2*w = n*w + 27 for o.
-5
Let n be (-3)/((-30)/4)*20. Let i be (12/(-15))/(8/(-20)). So