 t*v for v.
0
Let a = -8 - -17. Let v be ((-3)/a)/((-2)/66). Solve -l + 2*n + v = -3*n, 15 = -5*n for l.
-4
Let v be (-4)/(-6)*(5 - 2). Let i(d) = -3*d - d + v + d + 2*d. Let h be i(0). Solve -6*y - 35 = -y - h*p, 4*y + 4*p = 0 for y.
-5
Let q be 5 + 0 + (-1 - 1). Let x be q/(-9) + 14/6. Solve -u + 3 = x*w, u + 9 = -0*u + 4*w for u.
-1
Let l be 45/(-10)*16/(-36). Solve -4 = -k - g, -4*k = -2*g - 2 - l for k.
2
Suppose 2*y = 5*a, 4*a - 3*y + y = 0. Suppose a = j - 3*j. Solve 0 = -2*p + p + 2*l - 4, -3*l = j for p.
-4
Let t be (-24)/(-9)*(1 - -8). Suppose t - 8 = 4*m. Solve -b = -3*z - z - 4, 2*z + m = b for b.
4
Suppose -4*c = -2*a - 6 - 14, 0 = 5*a + 2*c - 10. Solve 2*j = -5*l - 22, a*l + 2*l + 9 = -j for l.
-4
Let g = -11 - -14. Solve -g*m + 20 = m, 0 = -5*h + m - 25 for h.
-4
Suppose -10*x + 6 + 14 = 0. Solve -p - 5 = -3*z - x*p, -5 = -p for z.
0
Suppose 0 = a - 6*a + 25. Let o = a - 5. Suppose -9 = j + 2*j - 3*g, 3*j + g - 11 = 0. Solve k - 3 = -2*m, -5*k = -j*m - o*k - 3 for m.
1
Let s = -1 + -1. Let t = s + 7. Suppose 0 = 5*q, -t*r + 2*r + 9 = -5*q. Solve z - 2 = -2*k + r, 0 = -z + k + 5 for z.
5
Suppose g + 3*c + 1 = 6, 25 = 5*g - 4*c. Solve g*z + 2*h + 21 = 0, -3 = -5*z + h - 15 for z.
-3
Let j = -69 + 74. Solve 5*h = j*q - 15, 8*q - 3*q = h + 7 for h.
-2
Suppose 0*q = 4*q - 12. Suppose -4*x + b = -q*b - 36, -2*b - 30 = -4*x. Let j be 1/(0 + 2/x). Solve 23 = 5*y - 2*v, 5 = j*y - 0*v + v for y.
3
Suppose 0 = -y + 2. Solve -12 = 5*g - y*w, -14 = 2*w - 6 for g.
-4
Let o(v) = -v**3 + v**2 - v - 1. Let r(s) = -s**3 - 4*s**2 + 6*s + 4. Let c be r(-5). Let i be o(c). Solve i*n + 25 = 3*f, -f + 30 = f - 4*n for f.
5
Let z be 0/2 - -2*2. Suppose -40 = k - 5*k. Suppose z*b = -b + k. Solve 0 = n + 4*u + 11, -b*n + 2*u - u = -14 for n.
5
Suppose 2*p + 6 = 42. Suppose -3*c + 39 = 5*d, -3*d = d - 2*c - p. Suppose 5*b - 3*w = 16, b + 4 = w + d. Solve 4*q = -q - 5*i - 20, -b*q - 24 = i for q.
-5
Let s(a) = a**2 - a + 4. Let n be s(4). Suppose -5*q + n + 9 = 0. Solve -5*m = q*d + 7 - 2, 3*m = -12 for d.
3
Let y = 3 + 0. Suppose y*o = -3*v - 3, -v - 4*o - 13 = 3. Solve 2*p + 0 = -v*i - 14, 0 = 3*i + 12 for p.
1
Let r(z) = -z + 4. Let s be r(4). Let f(d) = d**2 + d + 3. Let x be f(s). Solve -2 = -2*n + 2*u, -2*n + 12 - 35 = x*u for n.
-4
Let n(m) = m**3 + 8*m**2 + 8*m - 4. Let x be n(-6). Suppose 3*p + 2 - x = 0. Suppose -w + 3*w - 4 = 0. Solve -w*s = -3*s + 3*b + p, 5*b + 10 = -5*s for s.
0
Let v(o) = o**2 + 32*o + 31. Let j be v(-32). Solve 5*q = 2*t + 3*q - 14, 5*q + j = 4*t for t.
4
Suppose -3*r + 3*w + 12 = 0, -3*r + w = 3*w - 2. Let q(o) = o**2 - 4*o - 9. Let p be q(-2). Solve 0 = -2*x + r*i + i + p, 4 = -4*i for x.
0
Suppose 0 = y - 3*y. Suppose y*x = -5*x. Solve -3*r + x*r = b, 0 = 5*r + 4*b for r.
0
Let w = 5 - 2. Let j = w + -1. Solve -6 = j*y - 0*y, 5*q + y - 12 = 0 for q.
3
Let q be (3 + -4)/((-1)/23). Solve 3*i - 5*b = q, i - 12 = 2*b - 3 for i.
1
Let x(m) = -m + 8. Let g be x(0). Suppose 4*b = 8 + g. Solve b*c = 0, -4*c + 1 = o - c for o.
1
Let i be (-2)/(-8) + 22/8. Suppose 25 = -5*j, i*y = 2*y + 3*j + 15. Suppose -b + 6*b = y. Solve -2*w + 3*p - 8 = b, -8 = -p - p for w.
2
Let s = 14 - 11. Solve 3*w + 4*q + 16 = 0, s*w + 4*q + 8 = 2*q for w.
0
Suppose 3*b + 2 = 20. Suppose 2*x = -4*o + 98, -b - 29 = -o + 3*x. Solve -3*m + 4*d + o = 3, 2*m - d = 7 for m.
1
Let a = 3 + 1. Solve 0*h - a*h = 5*r + 5, 0 = 3*r + 3 for h.
0
Let t = 3 - 2. Suppose -2*y = -0*y - 5*c + 7, -t = y - 5*c. Let v be ((-10)/y)/((-5)/(-15)). Solve -q + 10 = -5*j, v*j - 3*q + 10 = -q for j.
-2
Suppose 14 = z + y - 3, -4*z - y = -65. Solve -5*t + 8 = 3*a - 4*t, -t - z = -5*a for a.
3
Let y = 44 + -31. Suppose -4*i = -2*t + i + y, 5 = 5*i. Solve 5*z + 28 = -s, -8 = 4*z - s + t for z.
-5
Let b = -13 - -19. Suppose 0 = -b*t + t. Suppose 3 = -d + 6*d + 4*m, t = -3*d - 3*m. Solve 3*s - 2*u = -d*u - 8, -6 = -2*s + 5*u for s.
-2
Suppose 2*f - 48 = 4*r, 4*f - 5*r = 39 + 45. Suppose 0 = 2*u + 5*b + f, 2*u - 3*b = 12 + 4. Solve -1 - 1 = -2*v, -s = -v - u for s.
3
Let c(p) = -3*p + 5. Let b be c(0). Solve u + 5 = -y, -u = -2*y - 3 + b for u.
-4
Let u(k) = k**2 + k - 18. Let h be u(-5). Solve -2 = 5*r - 3*n, -r - n + h*n - 2 = 0 for r.
2
Suppose -3*s = -5*m + 13, 3*m - 6 = 2*m + 4*s. Solve 3*o + m*l + 21 = 6*o, -2*o + l = -13 for o.
5
Let t(l) = l**3 + 9*l**2 - 10*l + 4. Let r be t(-10). Solve -r*b = 5*v + 7 - 1, -5*b - 3 = 4*v for v.
-2
Let c = -8 - -8. Let k(b) = 3*b + 0 - 5*b + c. Let t be k(-2). Solve -t*d - 11 = m - 2, -d - 21 = 4*m for m.
-5
Suppose 9 = 2*n - f, -4*n - 15 = -6*n - 5*f. Let s be (2 + -4)*2/(-2). Suppose -3*a - s*a = 0. Solve -10 = n*k, -5*b + a = k + 2 for b.
0
Let x(v) = -4*v + 7. Let k be x(-7). Let l(i) = i**3 - 5*i**2 - 3*i - 8. Let a be l(6). Let g be 5*1 + 1 + -1. Solve 0 = u + u - 4*w - a, -g*u - 5*w = k for u.
-3
Suppose f = -2*f. Let k(b) = -b**2 + 15*b + 6. Let t be k(15). Solve 0 = 5*n + j + 11, f = -2*n + t*j - j + 1 for n.
-2
Let k(a) = -a**2 - 12*a - 30. Let i be k(-7). Solve 0 = 4*d - s + i*s + 24, -4*d - 3*s = 20 for d.
-2
Let b = 4 - 0. Suppose b*y + y = 0. Solve y*h + 11 = h + 2*n, 5*h - 19 = -n for h.
3
Suppose 2*r = 4*r - 2, -5*k = -r + 16. Let o be -1 - (4 + k)/(-1). Let d be ((1 - o)*-4)/(-2). Solve -4*i - 6 = -q, 0 = d*i + q - 5*q - 4 for i.
-2
Suppose 0*r = -3*r + 3*p, 5*p = -5*r + 20. Let z(v) = 0 + v**3 - v**r - 7*v + 2 + 7*v**2. Let q be z(-7). Solve 0 = 2*n + 2*h, -4*n + q*n + 2*h - 12 = 0 for n.
-3
Let o(g) = -g. Let f be o(0). Suppose -4*j + 1 + 7 = f. Solve -3*u - 3*q = 12, 3 = u + j*q + 8 for u.
-3
Suppose 1 = 3*w + g, w + g + g = -8. Suppose -w*j = -3*j + 2. Suppose 0*k = j*k. Solve 4 = 4*n + 3*u, -3*n + k*n - 5*u - 8 = 0 for n.
4
Let v = -53 + 55. Solve u + 19 = 4*b, v*u - 3*b = -2*u - 11 for u.
1
Let m(n) = -n**2 + 9*n - 6. Let q be m(9). Let o = 6 + q. Solve 2*j - d - 11 = 0, 3*j - 4*d + o*d - 24 = 0 for j.
4
Let r = -45 - -47. Solve 4*j - w = -5, -j - 10 = -r*w - 0*w for j.
0
Suppose -6*s = -2*s - 8. Let t(q) = 2*q - 1. Let l be t(s). Suppose c - 3*y = 30, l*y + 25 = 5*c - 77. Solve -4*d = 4*k + 12, 5*k - 3*d + 5*d + c = 0 for k.
-4
Let h be (5 + 63/(-15))*(-70)/(-2). Solve -4*a + 3*w - 8 = -2*a, -4*a + h = 5*w for a.
2
Suppose 4*s = -s. Suppose s = -4*g - g. Let t be g/(-2)*(-2)/2. Solve b - 3 = 0, t = 2*j + j + 4*b - 12 for j.
0
Let d(n) = n**2 - 2 + 8*n - 10*n + 4*n. Let a be d(2). Suppose 4*b - 3 = b. Solve -o - 2*h + b = 0, -a - 3 = -3*h for o.
-5
Let n = 186 - 185. Solve 2*u - 3*l = -n, 6*u + 2 = 4*u + 4*l for u.
1
Suppose 0*s = s - 4. Let n be 0/1 - (-32)/s. Solve 3*a = -2*i - 4, -4*a + 4*i + n = -0*a for a.
0
Let o(v) = 2*v + 22. Let a be o(-10). Solve -4*l + 12 = -4*y, 3*l - a*l = -4*y + 3 for l.
3
Suppose 2*u - 4*g = -2, 5 = g + 1. Let q be (-6)/(-9)*-1*-3. Suppose -u = -3*k + q. Solve 15 = k*s, -8*s + 4*s = 5*y + 5 for y.
-5
Let g(j) = j**3 - 5*j**2 + 4*j + 2. Let i be g(4). Let a be 8/3*3/2. Suppose -2*z - 1 = -9. Solve -i*o = 2*c + z, 2*o + 2*c = 7*o - a for o.
0
Suppose 0 = u + 5*i, 18 = 4*u + 2*i - 0*i. Suppose 0 = 2*s - u*s + 3. Suppose -z = -1 - s. Solve -z*c + 9 = -4*q + c, 4*c + 19 = -5*q for q.
-3
Let l = 5 - 0. Let n = 8 - l. Let q = -7 - -12. Solve 0 = -5*j - q*s - 20, -4*s - 16 = -n*j - 0 for j.
0
Suppose -4*d = -j + 4, -5*d - 2*j - 4 = -3*j. Let p = 2 + d. Solve 0 = 3*q + 4*g - 14, -4*q - 4 + 6 = p*g for q.
-2
Let f = 13 + -7. Let a be (20 - 2)*4/f. Suppose a = -0*l + 2*l. Solve 0 = 2*h + 2*q, 2*h - 3*h + 2*q = l for h.
-2
Let q be (-1 + 0)/((-13)/(-2) + -7). Solve -2 = 5*x + q*s, -5*s = 2*x + 4 + 1 for x.
0
Suppose 6 = -u + 3*p + 2, -2*u = -p - 7. Let m be (-6)/(-10) - (-22)/u. Solve -3 = n + m*l, -3*l = -2*n - l + 6 for n.
2
Suppose 4*y = -y + 15. Solve -2*h + 13 = 3*q, 0 = 3*h - y*q + 2 + 1 for h.
2
Let d(v) = -v - 1. Let s be d(0). Let z = s - -3. Solve -4*w + z*w = -3*i - 4, -5*i + 4*w = 10 for i.
2
Let g(n) = 2*n**2 - n - 1. Let s be g(-2). Suppose 4*d + 24 = 2*o, -3*d + s = 5*o + 1. Suppose 2*i = 2 + o. Solve -5*y - x = 2, i*y - x = -2*x for y.
-1
Let h(x) = x**2 - 2*x - 3. Let u be h(5). Suppose 5*z - u = 3. Solve 0 = 2*j + 4, -2*p - z*j - j = 8 for p.
0
Let t(h) = h**3 - 8*h**2 - 8*h + 2. Let s be t(9). Let b(v) = v - 11. Let c be b(s). Solve w = -a, -a - 2*a + 5*w = c for a.
0
Let p be (-3 