= v. Let f(b) = -6 + 6*b + 6. Let t be f(4). Solve -t = -j + 4*o, o + 2*o = -v*j - 3 for j.
4
Let o be 12/(-9)*21/(-2). Solve 4*a + 5 = 3*t - o, -4*t = a for a.
-4
Suppose -10 = -4*d - 2. Let l = d - -4. Solve -3*a - 3 = 0, -v = l*a - 2*a + 2 for v.
2
Suppose -2*f = -0*f. Suppose -6*i = -i + 2*x - 59, 3*x - 6 = f. Let p = i - 6. Solve 0 = y - r - 1, -2*y = -4*r + p - 1 for y.
4
Let p(s) = -s**3 + 3*s**2 + s - 5. Let y be p(2). Solve 2*a - y = a, -4*w = -a + 9 for w.
-2
Suppose 0 = 5*b - 2 - 8. Suppose -15 = -b*i - i. Solve -z = 3*h - i, 2*h = -2*z - 0*z + 2 for h.
2
Let x(a) = 2*a**2 + 21*a - 6. Let s be x(-11). Solve 0*i + 2*i + 5*f + 2 = 0, -s*i - 3*f - 5 = 0 for i.
-1
Suppose -6*s = -8*s + 4. Solve -6 = -3*n - 3*b, 0*n - s*n = -3*b + 6 for n.
0
Suppose -4*y - 20 = 0, c + y = 5*y + 20. Suppose c*s + 2*s = 0. Let o = s - -4. Solve 0 = -3*n - 2*j + o, -2*j - j = -5*n + 13 for n.
2
Suppose 0 = -0*j - 5*j - 20. Let t = j + 36. Suppose 2*b - 3*z - 21 = 0, 4*b - 5*z - t = 7. Solve -4*n - 4*x = -32, 0 = -3*n - 4*x + 21 + b for n.
5
Suppose 3*d - 28 = -4*d. Solve 4*j + d*c = 17 + 11, 4*j - 8 = c for j.
3
Suppose -2*j + 5*m + 12 + 14 = 0, 4*j - 20 = 2*m. Solve j*b = 5*w + 15, w = -2*b - 3*w + 10 for b.
5
Let v = -8 + 11. Solve -v*l - 3*r = 3, -4*r = -3*l - 2*r - 18 for l.
-4
Suppose 5*c = 2*d - 36, 34 = 3*d - 2*c - 9. Solve 5*i + 2*f - 2 = 1, i - 3*f + d = 0 for i.
-1
Let s(z) = -z**3 - 2*z**2 + z - 1. Let x be s(-4). Let v be x/(-6)*(-4)/6. Let w be (-28)/(-6) - (-2)/6. Solve -6*k - w*c = -k + 15, -v*c = 0 for k.
-3
Suppose -2*u = -13 + 3. Let d = -1 + 5. Solve 5 = -u*m - 3*h, -m - 4*h + 3 = d for m.
-1
Suppose -p + 0*p + 16 = 0. Suppose 4*m - 35 = -3*x + 1, -3 = -m. Let c be (-3 + (x - 3))*2. Solve h + 3*v + 4 = 15, 5*v = -c*h + p for h.
-1
Let n = -6 - -6. Solve 5*r - z = 28, -z + 17 = 4*r - n*z for r.
5
Let u(t) = -t + 2. Let o be u(5). Let s = -1 - o. Let d be (20/25)/(s/40). Solve 4*g + 2*x = d, 0*x = 3*x - 12 for g.
2
Let d(r) = -r**2 - 8*r - 4. Let f be d(-7). Let t(b) = -b**2. Let y be t(0). Solve y = -4*l + f*x - 11, 4*x + x - 22 = 3*l for l.
1
Let g(o) = 3*o - 12. Let l be g(9). Suppose -2*a - 3*c = -6, -5*a + 3*c + l = 5*c. Solve -3*w + 4*q + 3 = 0, -5*w + 5 = -0*q - a*q for w.
1
Let n = -124 + 126. Solve 4*p = 3*v + v - 12, -2*v = n*p + 6 for p.
-3
Let l = 5 - 1. Suppose 7*z - 45 = l*z. Suppose -4*b - 3 = -11. Solve -z = b*v - 5*n, -4*v - n = 4*n - 45 for v.
5
Let k = 17 + -12. Solve 4*m = -l + 19, -2*m + 0 = -k*l + 7 for m.
4
Suppose -3*n - 5 = -50. Suppose -2*p - 3*t + n = -17, -4*p + 84 = -4*t. Solve 4*l = q + p, -4*q + 0*l = -3*l + 24 for q.
-3
Let v(j) = j - 2. Let h be v(6). Let m = -1 + 10. Let t = m - h. Solve q - 3*s - 6 = -6*s, -t*q = 2*s + 9 for q.
-3
Let t be 1*4 - 0/(-1). Let w = 81 - 27. Let b be w/45*10/t. Solve 0 = 3*n - 4*v + 17, -6*n + 18 = -3*n + b*v for n.
1
Let y = 30 + -27. Solve 0 = -y*w - 5*u - 14, 5*w + u = -4*u - 20 for w.
-3
Let b = 17 + -14. Solve 2*o = h - 2, 0 = -2*h - 0*h + b*o + 5 for h.
4
Suppose 6*y - y - 5 = 5*j, 3*j = 4*y - 6. Suppose -8*i + 18 = -j*i. Solve v - 4*v - d = 15, d - 15 = i*v for v.
-5
Suppose -c + 4 + 7 = 0. Solve -2*w - b = 3*w + 17, w + c = -4*b for w.
-3
Let f = 117 + -113. Solve c + 5*o = -14, -4*c + 13 = o - f*o for c.
1
Let n = 1 - 1. Let z(s) = s**2 - 5*s + 6. Let b be z(4). Suppose b*u = -n*u + 24. Solve v - 4 = -k - u, -13 = 5*k - 4*v for k.
-5
Suppose 4*t - 30 = -3*w + t, 0 = w + 5*t + 6. Solve -2*x + w = -6*x + v, -x - 7 = -2*v for x.
-3
Let p be (-2 + 1)*0/(-4). Suppose p = -3*x - 2*d + 19, 3*x - 3*d = x - 9. Solve 0 = -5*i + s + x - 9, i + 14 = -3*s for i.
-2
Let k be (((-10)/(-3))/5)/((-1)/(-6)). Solve 5*q + 4*z = 7 + 1, 2*q + 2*z - k = 0 for q.
0
Let y = 2 - -4. Solve -3*c - 3 = -4*h, 5*c + y = 2*h - 13 for h.
-3
Let r be ((-6)/(-4))/((-10)/(-100)). Solve 0*o - q = 2*o - r, 4*o = -4*q + 40 for o.
5
Suppose 2*u = -2*u + 8. Suppose -o - 1 = -2*t, 3*o = o - 6. Let h = t - -4. Solve -2*k + 6 = 5*i, 0 = -h*i + 4*k - u*k - 6 for i.
0
Let r(y) = 8*y - 4. Let c be r(4). Let b be 60/14 - 8/c. Solve t - 7 = -4*l, l + b*t + 10 = 4*l for l.
2
Let h be 1/(-2 - 11/(-5)). Suppose 0 = 8*p - 3*p - h. Solve 4*d + 0*d - 3*q + p = 0, 4*d + 2*q + 6 = 0 for d.
-1
Let u(q) = q**3 + 3*q**2 + 2*q. Let f be u(-3). Let k(x) = x**3 + 6*x**2 + 8. Let a be k(f). Solve d = j + 1, a = -2*j - d - 6 for j.
-5
Let g be 2/14 - (-32)/(-28). Let t(k) = -3*k - 1. Let u be t(g). Solve 25 = 5*a, u*a = 3*b - a + 15 for b.
0
Let n(j) = j**2 + j - 4. Let s be n(-3). Let m be s + (-1 - -2) + 0. Solve -6 = 4*y - 5*h, 0 = m*y - 0*h + 5*h - 13 for y.
1
Let l(m) = 15*m**3 + 3*m**2 - m - 4. Let f be l(2). Let w be 6/33 + f/33. Solve -n + 21 = 4*k, 7*k + w*n = 2*k + 40 for k.
4
Let a be 1/(15/7 + -2). Suppose 3*r - y - y - a = 0, 0 = -5*r + y + 14. Let i = -108 - -113. Solve -r - 7 = -i*h - 3*p, -3*p - 20 = -h for h.
5
Suppose 3*n = 5*n - 4. Solve 4*v + 10 = 5*o - 3*o, 2*v = 4*o - n for v.
-3
Suppose -4*j + 0*o - 5*o + 24 = 0, 0 = -3*j - o + 7. Suppose -33 + j = -4*y. Solve 4*i - 3*x = 28, -i - 5*x - 8 = y for i.
4
Let y be 23 - ((-7 - -1) + 3). Let t = -24 + y. Suppose -6 = -5*q + 9. Solve -t*j - q*j = 5, -3*o - 2*j - 17 = 0 for o.
-5
Let b be (-1)/(12/(-10) + 1). Solve -3*k - b = d, -4*k + 3*d - 2 + 4 = 0 for k.
-1
Let q = 9 + -9. Suppose -k = -q - 1. Solve o = 4*f + k, f - 2 = 2*o + 3 for o.
-3
Suppose c - 20 = -3*g + 5, -5*c + 37 = 4*g. Suppose 0 = -3*l - 2*h + 56, -g*h = -4*h - 16. Solve 4*a + 3*w - 5*w = -8, 0 = 4*a + 4*w - l for a.
0
Let t = 12 + -9. Solve 0 = 5*c + 25, -t*z = -0*c + 5*c + 16 for z.
3
Let o = 21 - 15. Let s be 86/o - 6/(-9). Solve 3*k = s, k + 2*k - 20 = -v for v.
5
Let c(k) = k + 3. Let g be c(7). Solve 5*o + 0*t = t - 21, -2*t - g = 3*o for o.
-4
Let q be (-37 - -4)/(-3) - -3. Solve 5 = 3*y + 2*m - m, -2*y - q = 5*m for y.
3
Suppose -7*a + 11*a = -36. Let t(d) = -d**3 - 9*d**2 - 3*d - 9. Let g be t(a). Solve -4*h = p + g, -3*p - 2*h = -p + 6 for p.
2
Suppose -3 = 5*d - 13. Let u be 2 + (d - 2)/(-1). Solve 2*h - 26 = 4*p, -p + u*p + 3*h = 11 for p.
-4
Let k be 24/14 + (-6)/(-21). Suppose k*t = 7*t. Suppose 2*c + l - 6 = -4, t = -c - 4*l + 8. Solve 5*x - p - 26 = 0, 4*x - p + 7 - 28 = c for x.
5
Suppose 5*b - 76 = -3*m, -7*b + 77 = -3*b - 3*m. Solve 4*y = 3*v + 2*v - b, -2*v = 5*y - 20 for y.
2
Let l be (-5)/(0 + (-4)/36). Solve 0 = -3*a - 2*y - 2 - 3, -l = 5*a - 4*y for a.
-5
Let b = -40 - -40. Solve 2*c = 5*y + 14, b = -5*c + 4*c + 2*y + 6 for c.
2
Let v be 2/(4 + -2)*3. Let w be (1*-3)/v + 4. Suppose 0 = -0*l + w*l + 3*a + 9, -5*l + 3*a = -9. Solve l = 2*i, t + i + 2*i = 0 for t.
0
Let p(a) = a**2 - 8*a - 6. Let w = 31 - 19. Let d be p(w). Let k be 1 + (-2 - d/(-2)). Solve -3*y + o = -0*y - 10, y + k = 5*o for y.
5
Let x be (9 - 3) + -1 + 1. Let g = -4 + x. Solve -g = 2*m + 6, 0 = 2*r + m for r.
2
Let v = -43 - -45. Solve z - 1 = -i + 2, -v*z + 12 = 5*i for i.
2
Let l(p) = p**2 + 3*p - 6. Let v be l(-5). Solve 0 = -5*f, 0 = v*i - 0*f - 3*f for i.
0
Let c = 169 - 109. Suppose 12 = -f + 5*t, -5*f + 0*t + c = 5*t. Solve 3*l - f = k, -7 = 4*k - 3*l - 2 for k.
1
Let d(l) = -l**2 - 9*l - 3. Let r be d(-6). Suppose -5*s + 33 = 4*b, 0*b = 3*b + 5*s - 31. Solve n - f + r = b*f, 0 = f - 4 for n.
-3
Let d = -40 - -45. Solve -u - 3*u = -d*n - 17, -2*n - u + 1 = 0 for n.
-1
Let a(k) = -4 - 5*k**2 + 5*k**2 + k**2. Let s be a(3). Solve 3*m - 9 - 9 = -4*o, -2*m = s*o - 19 for o.
3
Let a be -1 - 2 - (-1 + -3). Solve -u - a = -4*l + 11, 8 = 2*l - u for l.
2
Suppose -22*r + 14*r = 0. Solve -4*h = 2*m + 10, r = -4*m - 3*h - 2 - 3 for m.
1
Suppose -4 = -2*y + w, 5*y - 3*w = y + 12. Solve 0*p + 2*m - 9 = -3*p, y = 2*p + 4*m - 6 for p.
3
Suppose 4*y + 2 = -2. Suppose 0*h = 4*h - 12. Let n = h + y. Solve -6*x + x + 5*p + 35 = 0, -4*p - 24 = -n*x for x.
2
Let p be (8/(-10))/(((-8)/5)/4). Solve -2*c = -4*z - 10, -p*z - c = -3*c for z.
-5
Let h(i) = -3*i - 2. Let q be h(-2). Suppose 2*o = -5*b - 242, 2*b - 9 = -3*o - 97. Let a be (-4)/10 + (-120)/b. Solve a*f - f + 18 = q*d, 2*f + 5*d = 16 for f.
-2
Suppose c - 5*c + 18 = -2*j, 5*j = 4*c - 21. Let s = -6 + c. Let p be 0*(0 - (s + 1)). Solve -2*k - o - 7 = 0, 3*k + p*o + 5*o + 14 = 0 for k.
-3
Let d(a) = -a**2 + 20*a + 2. Let w be d(20). Solve -2*u + 4*j = w, j = -2*u -