 2*m, -n - m = -102. Let p = -71 + n. Solve o = 4, 2*j - p = -2*j - 5*o for j.
4
Let w be 76/(-2) - (3 - 3). Let c be w/(-8) - 2/(-8). Solve -2*p + 2 = c*i, 3*i - 1 + 5 = 4*p for p.
1
Let c = 8 - 6. Let x(l) = -5*l**2 + 4*l + 6. Let b(y) = y**2 - y - 1. Let f(i) = 6*b(i) + x(i). Let r be f(c). Solve 3*k - 9 = -21, -2*a + 3*k + 12 = r for a.
0
Let y be ((-10)/(-8))/((-2)/(-8)). Solve -4*h = -5*a + 1 - 9, -y*a = 2*h - 4 for a.
0
Let v(g) = -g**3 + 5*g**2 - 5*g + 3. Let t(k) = -2*k - k + 3 + 2*k + k**2. Let u be t(0). Let o be v(u). Solve 5*p - 16 = i + 2, -o = -2*i - 4*p for i.
-3
Suppose 3*f + 8 = -3*g + 5*f, 3*f - 2 = 2*g. Let q be ((-32)/g)/(3 - 1). Suppose -3*d = 5*a - 20, 5*a - 20 = -0. Solve j = 5*r - 2 + q, d = -4*r + j - 2 for r.
0
Let d be ((-5)/2)/(2/(-12)). Let y = d + -7. Suppose 5*t - 4*w + 20 = 4, -2*w + y = 0. Solve 2*a + 5*n = -t*a + 7, -4*a + 4*n = 0 for a.
1
Let k be 6/14 - (-22)/14. Let j = k - -1. Solve j*w + 0*w - 5*n + 4 = 0, 8 = 5*w - n for w.
2
Let w(j) = j**3 + 5*j**2 + 4*j + 1. Let i be w(-4). Suppose -i + 17 = 4*g. Suppose q - 3*q = -26. Solve 0*o + 2*b = -g*o + 24, 3*o = b + q for o.
5
Let g be 6*-1*4/(-6). Suppose g*o - 5*x = 13, 4*o + 5 - 12 = -x. Solve -4*f - 7 = o*q - q, 5*f = 3*q - 30 for q.
5
Let f = 3 - 1. Solve 0 = -5*r + f*z - 10, 5*r - 2*z - 2*z = 0 for r.
-4
Let q = 45 - 45. Solve q = -d - 2*y + 5, 3*d - y + 10 = d for d.
-3
Let b be 9 + -2 + 0 + -3. Solve 0*t - t + 14 = -3*a, -a = -b*t + 12 for t.
2
Suppose 8*a + 6 = 5*a. Let z be (-1)/(a/(-3))*-2. Solve z*u + 8 = -5*c - 1, 0 = -4*u + 4*c + 20 for u.
2
Suppose -10 = 2*y + 3*y + 5*v, -5*y - 8 = 4*v. Suppose 5*q - 5*w - 26 = -w, 14 = -q - 4*w. Let i = y + q. Solve -2 = i*n + n + 4*k, -3*k + 13 = -5*n for n.
-2
Let r be (-4 - -1) + 1*5. Let t be (-1)/((-3)/18*r). Suppose -4 + 10 = -5*o + 4*f, t*o - 26 = -5*f. Solve -3*i + o*a = -4, -1 = 3*i - a - 9 for i.
4
Let m be ((-3)/1)/(-1) - 0. Suppose 0 = -v - m*v. Solve h + 2*d = v, 0*d = d - 1 for h.
-2
Let o = -15 - -19. Solve -3*d + 0*r - 11 = -o*r, 35 = 5*d + 4*r for d.
3
Suppose 5*f = -3 + 43. Let d(q) = -q**2 + 10*q - 11. Let n be d(f). Solve n = t - 2*v + 3*v, 2*v = -4*t + 18 for t.
4
Let z(o) = -o + 11. Let h be z(7). Solve -18 = -4*r + 2*y, h = 4*r + 2*y - 10 for r.
4
Suppose 3*x + 2 - 5 = 0. Suppose 9 = 2*g + x. Suppose 5*c = 5*f + 40, f - 17 = -g*c - 0*f. Solve -c*a = 2*d + 2 - 26, -4*d = 2*a - 16 for a.
4
Let k = 31 - 55. Let w = -11 - k. Solve -w = -3*u - 5*f, 3*f = -2*u + f + 2 for u.
-4
Let r(w) = -2*w + 19. Let v be r(8). Solve 0 = -j, -b = -5*b - v*j + 12 for b.
3
Suppose 8*a = -1 + 17. Solve -6 = -5*h + i, -a*h - 2*i - 4 = -4*i for h.
2
Let o(d) = d**2 + 14*d - 63. Let u be o(-19). Solve -j - u = 3*g + 3*j, g - 3*j = 11 for g.
-4
Suppose -5*y - 330 = -16*y. Solve -3*d + y = 2*f + f, 3*d = 3*f for d.
5
Suppose 9*j - 42 = -15. Solve j = -3*m, -3*r = 2*r - 4*m + 6 for r.
-2
Suppose 6*h = 31 - 7. Solve -2*p - 3*m = -0*m + 19, h*m + 12 = 4*p for p.
-2
Suppose -l + 5*l + 3*p = 49, 3*l - 45 = -5*p. Let m(u) = u - 10. Let z be m(l). Solve -r + 2 = -3*v, -3*r + 6 = -5*v - z*v for r.
2
Let y(d) = d**2 + 13*d - 12. Let x be y(-14). Solve 3*l + 4*a = x*a + 10, 5*a - 10 = 0 for l.
2
Suppose 4*s - 22 = -2*g, 0*s = 2*s + 5*g - 23. Solve 2*y - 5 = 4*f - 3, 4*y - s = -2*f for y.
1
Let t(v) = v**3 - 4*v**2 - 10*v + 7. Suppose -9 = -3*q + 9. Let f be t(q). Solve 0 = -0*o + 4*o + 2*r + 18, 0 = 4*o + 3*r + f for o.
-4
Let a = -20 - -31. Let i = a + -11. Solve -2*d - 9 = -o, -5*o + i*o - 2*d + 21 = 0 for o.
5
Suppose -h + 1 = 5*j + 11, 3*h + 3*j = -6. Let y = h + 3. Solve -8*q = -4*i - y*q + 12, -2*i + q = 0 for i.
-2
Let s(z) = z**3 + 4*z**2 + 2. Let b be s(-4). Solve -6 = -5*x - b*m, -2*x + 5*m = 2*x + 15 for x.
0
Suppose 0 = -t + 2*t. Solve 0*c + 3*c - 2*s + 17 = t, 5*s = -3*c + 11 for c.
-3
Suppose -3*x + 28 = 11*x. Solve 0 = a - i - x*i + 17, 4*a = -5*i for a.
-5
Suppose -8*y = -2*y. Solve y = 4*m + 2*b + 2, -2 = -5*m - 5*b + 4*b for m.
1
Let c(h) be the first derivative of h**2 - 1. Let x be c(1). Solve 3*w - x*z - 3*z = -22, -3*w + 23 = 4*z for w.
1
Let x = -1 - -15. Let y = x + -14. Solve 0 = 5*k + m + 10, y = 3*k - 2*m + 15 + 4 for k.
-3
Suppose -48 = -6*o + 2*o. Let a(n) = -12*n**2. Let d(p) = p**2. Let f(t) = -6*a(t) - 68*d(t). Let g be f(-1). Solve g*w - 4 = -3*v, 5*w + 14 = 4*v - o for w.
-2
Let q(s) = 3*s**3 - 5*s - 4. Let t(c) = -c**3 + c + 1. Let b(n) = -q(n) - 4*t(n). Let x be b(1). Solve 0 = y - x*p + 6, -3*y + 0*y = 2*p - 14 for y.
2
Let d be 1/((-2)/18*-3). Let p(z) = -z + 8. Let h = -7 + 13. Let q be p(h). Solve d*f - 12 = 3*i - 0*f, -2*i - 3*f = -q for i.
-2
Let n(c) = -2*c + 20. Let s be n(10). Solve s = -5*t + 4*z + 19, 5*t = z - 3 + 19 for t.
3
Let m = -8 - 3. Let h = -11 - m. Solve i + i + 2*x - 2 = h, -i + 25 = -5*x for i.
5
Let p(y) = -1. Let h(a) = -4*a + 20. Let k(f) = h(f) + 20*p(f). Let x be k(-5). Solve -5*w + 3 = -5*l - 37, 5*w - l - x = 0 for w.
3
Let u(w) = w**2 + 19*w - 18. Let t be u(-20). Solve -3*s + 2*s = 4*x - 16, -4*s - t*x + 8 = 0 for s.
0
Suppose -16 = -2*n + 3*m, 3*n = -2*m + 6*m + 22. Solve 0*v + 25 = 3*h - 5*v, 4*h = n*v + 24 for h.
5
Let p(o) = -3*o + 52. Let q be p(14). Solve -3 - q = 5*d + 2*u, 5*u + 15 = 5*d for d.
-1
Let w be 4/(5/((-30)/(-4))). Suppose -w = -7*i + 15. Solve -2*b + u = -1, 0 = 4*b + 3*u - i + 6 for b.
0
Suppose -6*f + f + 5 = 0. Let v be 0 + (f - 0) + 1. Solve -u + 2 = -m, v*m + 14 = -2*u - 2 for u.
-3
Let h = 7 + -4. Suppose 8*u - 25 = h*u. Solve 5*n = -3*c - c - 25, -n = c + u for c.
0
Let t = 1 - -4. Let s(o) = 2*o**2 + 5*o - 5 - o**2 - t. Let r be s(-7). Solve 0 = 3*k - 0*v + r*v - 16, -4*v + 16 = 4*k for k.
0
Let w = -3 + 7. Suppose 0*j = 2*r + 3*j - 14, w*r + 4*j = 24. Solve 2*i - 7 = -3*q, 0 = -0*q - 4*q + r*i + 36 for q.
5
Let d be 488/9 - 6/27. Let m = -37 + d. Let g = m + -12. Solve 0 = 5*a + g*r, -5 = r + 4*r for a.
1
Suppose 3*o - 61 = -4*f, -f + 8 = 3*o - 5. Suppose -b + 10 = 4*l, 7*b + 3*l - f = 2*b. Solve -4*j - 3*t + 6 = -b*j, 4*j = -4*t + 12 for j.
3
Let l(s) = -8*s - 1. Let i be l(-1). Let n = -3 + i. Solve 5*j = 5*z - 3*z - 17, -4*j - 16 = -n*z for z.
1
Let t(s) = -3*s - 1. Let n be t(2). Let q(r) = -r**2 - 6*r + 8. Let b be q(n). Solve -2*m = 5*u + 5, -5*m = -m + u + b for m.
0
Let v(z) = -z**3 + z**2 + 2*z. Let h be v(2). Solve 2*l - 20 = -5*q, 12 + h = 3*q + 3*l for q.
4
Suppose 5*c + 1 = 4*f, -3*c - 2 = f - 2*c. Let i = f - -3. Solve -7 = i*q - 3*o, -4*q + 2*o + 1 = 3 for q.
1
Let w(i) = i - 1. Let n be w(6). Suppose n = b - 0. Solve -5*g = -5*q - 45, 0*g - b*q = -2*g + 33 for g.
4
Let b be 3 + 4*(-3)/6. Suppose -5*p + 2*x = 20, 4*p + 2*x - 3 + b = 0. Let s be (-33)/6*p - -1. Solve 3 = -3*r, -h - 3*r = s - 4 for h.
-5
Suppose -2*b - 2*q + 6 = -7*q, 3*q = 0. Solve 3*x - 18 = b*h, -h + 4*x - 16 = h for h.
-4
Let c be (-3 + 4)/(2/4). Suppose -5*o + 3 = -p - 4, p = 3. Suppose -c*t - o*w + 24 = -0*t, 51 = 5*t + 2*w. Solve 0 = -y + 2*n - t + 4, 2*n - 8 = 0 for y.
3
Suppose 0 = l - 3 + 4. Let p be 2 - ((l - 0) + 1). Suppose 2*v + 4 - 1 = g, -3*v + 18 = 3*g. Solve 2*y - g*m = -p*y - 16, -17 = -y - 4*m for y.
1
Suppose 3*v = 4*v + 2*g - 63, -g - 126 = -2*v. Suppose -r - 17 = -2*q + 14, 4*q - v = 3*r. Let h = q + -11. Solve -17 = -l - 5*b + 13, 0 = -4*l + h*b for l.
5
Suppose 4*n - 5*n - 5 = 2*r, 0 = -2*n - 5*r - 14. Suppose 2*p + 20 = 4*j, 3*j + 0*p = -3*p - n. Solve -2*k = 5*z + 33 - 14, 3*z - j*k + 24 = 0 for z.
-5
Suppose 4 = i - 4*w, 3*w + w - 20 = -5*i. Solve 5*q = -n + 26, 5*n - n + 16 = i*q for n.
1
Suppose 3*q + 22 = 4*h - 2*q, -5*q - 13 = -h. Suppose h*f - 15 = -y, y + 22 = 4*f + 2. Let v be (-70)/(-8) + 2/8. Solve f*p - v = -4*o, -4*p + 2 = -2 for o.
1
Let u = 3 + 2. Solve -v = -u*b + 4, -3*v - 2*b - 5 = 7 for v.
-4
Suppose 4 = 5*s + 9. Let l be (s - -2) + (-4 - -6). Suppose 0 = 2*r + r - 9. Solve 5*n = 2*n + w - 5, l*n - r*w = 3 for n.
-3
Let v be (4 - 0/1) + -2. Solve -5*d - 5*i + 10 = -v*d, -4*i = -5*d - 45 for d.
-5
Let k = -6 - -4. Let y = k - -25. Suppose 0 = 5*v + 2*m - 24, 3*m - 1 - 17 = -3*v. Solve -2*a + v*u = -16, 2*a - 6*a + 5*u = -y for a.
2
Let a be 10*3/(60/16). Let b be a/(-4) + 4/1. Solve -4*s = -3*v - 17, 2*v - b + 14 = 3*s for v.
-3
Let r(x) = -x - 7. Let a be r(-7). Suppose 31 = 3*j + j + 3*w, -3*j + 3*w