5*v. Solve v = -2*c - 2*k - 0 + 4, 2*k - 4 = 0 for c.
0
Let l = 97 - 95. Solve j = -s - 7, j + l*j = -6 for s.
-5
Let c be (1 - 1)*(-4)/(-16)*4. Solve -b - 6 = -n - c, n - 4 = -b for n.
5
Suppose -14 = -2*w - 5*o, 0*w = 2*w - 2*o. Let p be 20/(-15)*9/(-2). Solve f - 3 = w*f + l, -2*l - p = f for f.
0
Let b be 5*(6/15 - 0). Suppose p - 2*p - 3*c = 2, 0 = -3*p - b*c + 22. Let j = p + -7. Solve -3*o = -5*m, j*m + 2*o + 9 = -10 for m.
-3
Suppose -2*k + 3*s = 30, 4*k + s + 66 = 4*s. Let o be ((-30)/k)/((-3)/(-9)). Solve w + z - 6 = 0, -2*z + 3*z - 18 = -o*w for w.
3
Suppose 4*u = 3*r - 12, u = -r + 2*u + 4. Solve 4*j + r*b + 3 = -13, -5*j - 24 = b for j.
-5
Let u = 7 + -3. Suppose -5*t - b = -42 + 16, 0 = u*t - 2*b - 18. Solve -t*a = -5*i + 40, -3*a - 3*i = -0*i + 6 for a.
-5
Let p be -2 + (-15)/(-6) + 36/8. Solve 4*s + 10 = 4*v + 26, -20 = -v - p*s for v.
0
Suppose -5 - 2 = -o. Solve -o*n + 3*n + 4*m = 4, m = 3 for n.
2
Suppose 4 + 4 = 4*a. Solve 2*z = -a*z + 12, -18 = 5*s - z for s.
-3
Let j be (24/14)/(12/126). Solve -4*t = -2*z - j, -5*z + 3*t - 8 = 2 for z.
1
Let q(r) = -r + 5. Let h be q(3). Suppose g + 35 = h*g. Solve -x - 5 = -i, -5*x + 10 - g = 2*i for i.
0
Let t(f) = -2*f. Let n be t(-3). Let v be n + 1 + 0 + -2. Let d = -6 + 11. Solve 4*i + 2*a + v = 3*a, 5*i + d*a + 25 = 0 for i.
-2
Let i = 1 + 2. Suppose -20 = -8*s + i*s. Solve 5*k - h = -5, 0*k + 14 = 3*k - s*h for k.
-2
Suppose 0 = -2*q + y + 86, q + 4*y + 124 = 4*q. Let r = 64 - q. Let p be (8/2)/(8/r). Solve -2*b + 0*b + 2*a = 0, -3*a = -5*b - p for b.
-5
Let n be 8/10*3 - (-4)/(-10). Solve -s - 7 = 3*g, -2*s - n*g + 5*g + 13 = 0 for s.
2
Let m be (-2)/(-15) - 116/(-30). Solve -q - 6 = m*h, -2*h - q + 2 = -3*q for h.
-1
Let j = -6 - -10. Let f be (7 + -17)*(-6)/j. Solve 0 = 2*v - 2*c + 10, 3*v + 5*c + 0 = -f for v.
-5
Suppose -1 = 2*v - 9. Solve -18 = 2*d + v*f, 4*f + 11 = -3*d - 6 for d.
1
Suppose 2*j - 4*g - 7 = j, 28 = 4*j + 4*g. Suppose 4*m = 53 - 17. Let l = m + -5. Solve -j*k + 3*k = -l*n - 20, -5*n = 3*k + 17 for k.
1
Suppose -5*c + 3*x + 25 = 0, x + 25 = -4*x. Let g be c/(-6)*-3 - -13. Solve -b + 4*s - g = 0, -2 + 7 = 5*b + 5*s for b.
-2
Let i(k) = 4*k + 1. Let z be i(-8). Let b be 6/33 - z/11. Let d be (6 - 2)/(2*1). Solve 0 = 2*j + 2*x, -7 = -d*j + b*x + 3 for j.
2
Let p = -4 - -8. Suppose -3*i = -1 + p. Let u(d) = -3*d - 1. Let k be u(i). Solve k*f - 3*o = -9, f + 1 = -0*o - 2*o for f.
-3
Let n be 4/((-16)/(-6))*-2. Let r(y) = -3*y. Let x be r(n). Suppose -x = -3*i - 0. Solve -3*z = 2*u - 2*z, -2*z - 2 = i*u for u.
2
Suppose 5*o - 10 = 7*o. Let p be (-3 - o)/((-1)/(-2)). Solve -3*i + 10 = b, p*b + 0*i = 5*i - 11 for b.
1
Let w = -2 + 3. Let z = 3 + w. Solve 0 = -3*h - 4*l - 0*l - 29, z*h - 3*l - 3 = 0 for h.
-3
Let k(x) = -3*x - 3. Let y be k(-1). Solve 3*u + y*u = 4*a + 7, -4*a - 5 = -u for a.
-1
Let o be (-3)/(-5 - 1)*0. Let i = o - 0. Solve 2*h - 1 = -h - 5*z, i = h - 2*z + 7 for h.
-3
Suppose -2*f + 0 = -6. Solve 4*p = 3*u + 5 + f, -4*p + 8 = -5*u for p.
2
Suppose -4*n + 84 - 4 = 0. Let c = -5 + 7. Let o be -1 + (c - 1) + 0. Solve -r + 3*g - 15 = -2*r, o = -5*g + n for r.
3
Let z be 1 - (228/(-2) - 1). Suppose -2*g - 5*y - 8 = -93, 0 = 3*g - 4*y - z. Suppose -h = 3*t - g, -2*t + h + 8 = -t. Solve -q = 0, -4*q - q - t = 3*l for l.
-4
Suppose 0*m = 6*m - 84. Solve m = -5*w - x, 2*w - 2*x + 9 = x for w.
-3
Suppose -2*r = 5*d - 20 - 5, 0 = 3*d - 9. Solve -4*i + 17 - 4 = r*o, -2*i - o = -5 for i.
2
Suppose 7*g - 13 = 8. Solve 2*q = m + g, -m - 21 = -2*m - 4*q for m.
5
Let w(v) = v**3 + 12*v**2 + 21*v + 12. Let h be w(-10). Solve b = 2*b - h*d + 6, -5*b - 10 = -5*d for b.
2
Let s be (2/3)/((-12)/(-18)). Let l be ((-1)/2)/(s/(-24)). Let d be l/6 + 1/(-1). Solve 0 = -4*b - a + 15, -d = -b - a - 2*a for b.
4
Let n = 34 - 29. Solve -3*d - 5 = n*f + 2*d, -2 = -2*f - d for f.
3
Suppose -5 = -f - 0. Let c = 17 - 35. Let j = -8 - c. Solve -f*r + 3*v = -6, j + 8 = 2*r + 4*v for r.
3
Suppose -46 = -4*f + 18. Solve -4*r + 6*s + f = 3*s, -5*s - 18 = 2*r for r.
1
Let r be 10 - (-2 + 3/3). Let o(d) = -4*d + 9. Let z(u) = 3*u - 8. Let v(y) = 4*o(y) + 5*z(y). Let s be v(-6). Solve -c = 2*i + 1, -2*c + r = -s*i - 5*c for i.
2
Let a(r) = -r**3 + 9*r**2 + 23*r - 8. Let f be a(11). Solve 2*g - f = n + 3*g, 2*g = 5*n + 1 for n.
-1
Let n be (-3)/(-1 - (-1)/(-2)). Suppose 29*z - 2 = 28*z. Suppose 5*b + 5*r = 20, 0 = z*b - 0*r - 3*r - 13. Solve 0 = -f + 2*w + n*w - 7, 3*w + 12 = -b*f for f.
-3
Suppose -f = 3, -3*u + 6 = 3*f - 24. Let o be (u + -1)*(-1)/(-4). Suppose d = -d + 10. Solve o*r + d = 2*r + 5*y, 5*y = 3*r + 5 for r.
0
Let f(i) = -2*i**2 - 67*i - 30. Let w be f(-33). Solve w*c + 6 + 6 = 0, o - 13 = 3*c for o.
1
Let v(q) = 5*q - 11. Let u be v(8). Let r = u + -10. Solve 0 = -d + 4*w + 17, 4*d - r = 3*w + 10 for d.
5
Let m(p) = p**2 + 1 - 4 + 6*p + 0*p**2. Let z be m(-7). Suppose 0*o - z*o + 16 = 0. Solve -4*n - o*l = -40, 3*n - 15 = -n + l for n.
5
Let y = -1 - -5. Let a be ((-6)/3)/(y/(-10)). Solve -a*j = -4*d + 15, -4*j - d - 2 = 10 for j.
-3
Let t be 4/7*(42/12)/1. Solve 2*k - 8 = 2*r, -k + 11 = -2*r - t*k for r.
-5
Let b = -4 - -6. Let s = -1 + b. Solve j + 5*v + s = 2, -j + 3*v = 7 for j.
-4
Let z be 260/80 - (-1)/(-4). Solve -2*a = -z*t + 4, 5*a + 5 = 4*t + 2 for a.
1
Let i = 57 - 53. Solve -i*m - 10 = -2*a, 7*a - 4*a + 1 = 2*m for a.
-3
Let o(l) = l - 4. Let c be o(4). Suppose c*d = d. Suppose d = w + w. Solve -s = 2*i - 8, w*i + 3*i = 3*s + 3 for s.
2
Let p = -34 - -36. Solve -3*k - 28 = -3*o + k, -o + 12 = -p*k for o.
4
Suppose 2 = -y + 1. Let h = y - -4. Suppose -c = -h*c + 8. Solve c*k + 3*w + 21 = 0, 8 + 7 = -5*w for k.
-3
Let z(u) = u - 1. Let h be z(5). Let d = -6 - -5. Let f = h + d. Solve 2*j + f*y = -y + 2, -2*j = -5*y - 20 for j.
5
Suppose 3 = 5*x + 28. Let t = -1 - x. Suppose -t*h = -0*h - 5*i - 11, 5*i - 5 = 0. Solve 0 = 3*v + h*k - 17, 1 = 2*k - 3 for v.
3
Let p = -5 + 44. Suppose p = 3*l - 5*x, 5*l = -2*x + 20 + 14. Solve -3*b = -5*u - 15, 3*u - 2*b = -l - 2 for u.
0
Suppose 0 = -5*y + 12 + 3. Solve 0 = -m + y*f - 15, 3*f + f = -3*m + 20 for m.
0
Let i(v) = 6*v + 4. Let r be i(3). Suppose 0 = 2*t + k - 13, -k = -5*t + r. Solve 4*f - 9 = -t*b - 0*f, 3*b - f = 2 for b.
1
Let o(a) = -a**2 + 3*a. Suppose -1 = d + 2. Let c be 2/((-3)/(d*1)). Let p be o(c). Solve -4*f + 2*u = -p*u - 24, -3*f = 3*u + 12 for f.
1
Suppose 25 - 5 = 4*m. Suppose 3*d = m + 4. Solve -12 = 3*r, 24 = -d*c - r - 2*r for c.
-4
Let i(q) = q**2 - 6*q + 9. Let s be i(6). Let u = 9 - s. Solve 5*r - 5*m + 35 = 0, u*r - 6 = -2*r - 3*m for r.
-3
Let v(n) = -n - 15. Let l be v(0). Let u = 15 + l. Solve u = p - 3, 3 = -3*c + 2*p - 0 for c.
1
Let y(t) = -t + 12. Let x be y(10). Solve x*g + 12 = 4*o - 2, -4*o = g - 5 for o.
2
Let q = -1 - -22. Solve 2*i = i - 4*x + 19, -4*x = -i - q for i.
-1
Let k be 11/4*(-1 - -5). Suppose -5*q + 26 = -r, q - 5 = 4*r + 4. Solve -3*s + 3 = -3*m, s = q*m + k + 6 for m.
-4
Suppose m = b, -4*b + 0*b - m = -25. Suppose b*h - 16 = 9. Solve -4*a + 21 = h*j, 3*a + 1 = -2 for j.
5
Suppose k = -4*k + s + 52, 2*s + 4 = 0. Let d(l) = l**3 - 9*l**2 - 10*l + 4. Let z be d(k). Solve -4*w - 12 = -y, z*w + 2 = 5*y + 6 for y.
-4
Let t = 109 + -106. Solve z + t*z = 3*q - 2, -4*q = -5*z - 2 for z.
-2
Suppose -5*s - 66 = -3*x + 59, 229 = 5*x + 2*s. Let u be (-4)/5*x/(-18). Solve -j - 11 = -3*t + 2, -5*t = -u*j - 22 for t.
4
Let s = 7 - 2. Let r be 6 + -3 + (0/3)/1. Solve 3*y + r*c + 23 = s*c, 4*y + 4*c = -4 for y.
-5
Suppose -4*j + 2*h = -0*h - 24, 5*j - 28 = 2*h. Solve 3*c + j*z + 14 = 0, 2*c - 30 = -3*c + 4*z for c.
2
Let v = 10 - -7. Solve 3*d - i - v = 0, 3*i + 6 = -0 for d.
5
Let x be (-8)/(-6)*(-30)/(-8). Solve 2*s + 12 = 2, -s - 5 = -x*c for c.
0
Suppose 2*u - 5*g - 50 = -3*u, -3*g = -2*u + 25. Suppose -5*y = -5*a + 10, u*a + y = -16 + 38. Solve -5*f = -5*o, -a*f + f = 4*o for f.
0
Suppose -2*j - j = -30. Solve 5*a + 4*g + 25 = 0, 2*a - 4*a + 5*g - j = 0 for a.
-5
Let b be 0/2 - (-12)/(-6). Let r be 8 + b + 0 - 3. Suppose -t + r*t - 16 = 0. Solve 4*f + 3*x + t = -3, 2*f + 25 = 5*x for f.
-5
Let w(a) = a**3 - 5*a**2 + 6*a - 3. Let t be w(4). Suppose h + h - t = 5*o, 5*h + o - 53 = 0. Solve -5*v - 2*z = 2*z - 19, -2*v - 4*z + h = 0 for v.
3
Let m = -48 + 48. Solve 5*p - 14 = -a, -5*a - 