 for v.
-2
Let n be ((-144)/(-84))/(((-2)/105)/1). Let b = n - -96. Solve -2*h - 5*o = -4*h + 5, 2*h - b = 4*o for h.
5
Suppose 4*n - 17 = 3. Let r(w) = -2*w + n*w**2 - 18*w**2 - 4 + 14*w**2. Let b be r(-2). Solve b*s = 2*h, 3*s - 3 = 3*h - 6 for s.
1
Suppose k = -12*i + 13*i + 1, i - 3*k = -11. Solve 13 = -i*a + 5*w, 4*w - 34 = -14 for a.
3
Suppose 0 = -3*b + 4*f + 14, b - 3*f - 5 - 3 = 0. Let j be 5 - b/(-3)*-3. Solve 5*y + 3*u = -6, -2*u - 3 = j*y - 0 for y.
-3
Suppose 3*d - 3*h = -4*h - 3, 3*d + 2*h = -6. Solve 4*k - p + 7 = d, p + 0 = -1 for k.
-2
Suppose 4*s + 15 = w, -4*s - 3*w - 33 = 2. Let j(q) = -q**3 - 4*q**2 + 2*q - 12. Let m be j(s). Solve -m*t = -3*v - 3, 5*t - 3 + 10 = 2*v for t.
-3
Let w(r) = -r**3 - 4*r**2 - 3*r + 3. Let p be w(-3). Let m(n) = n**2 + n - 7. Let g be m(p). Solve 5*a + 4*f - 17 = 3*f, 32 = g*a - 4*f for a.
4
Let t be (2/(-3))/((-1)/6). Let z = -845 - -849. Solve -t*i - z*v = -9*i - 36, -4*v = 4*i for i.
-4
Suppose 0*q + 10 = c + 2*q, -3*c - 2*q = -18. Suppose -4*i = 4*y - 24, c*y + y + 20 = 5*i. Solve y + 0 = -o + d, -d = -4*o - 4 for o.
-1
Let l be 5/(19/15 - (-24)/60). Solve l = -a + 3*q + q, 0 = -2*a + 3*q + 4 for a.
5
Suppose 251 = -v + 263. Solve 0 = k + 2*h - 2, 4*h - v = 0 for k.
-4
Suppose -5*q = 3*u - 60, -2*u - 60 = 3*q - 8*q. Solve 7 = -j - 2*b, 2*b = 2*j + 2*j - q for j.
1
Let o be -2*4/4 - -6. Suppose 4*z - o*s + 13 + 7 = 0, 1 = 3*z + 5*s. Let w be 5 - (-20)/(-5) - z. Solve 0 = -4*k - w*v - 4, 4*v + 0 = -5*k - 5 for k.
-1
Let j be (-2)/14 + 405/(-105) - -39. Let g = 11 - 22. Let v = j + g. Solve 5*k = -q + v, 8 + 3 = -q + 2*k for q.
-1
Let a = 10 + -18. Let y(h) = h**3 + 8*h**2 + 2. Let c be y(a). Suppose -2*q = -c - 6. Solve n + q*t = -15, 0*n - 2*n - 2*t - 12 = 0 for n.
-3
Let z(j) = 2*j**2 - 6*j. Let m be z(3). Suppose m = 5*r + 3*w - 217, -7*r + 172 = -3*r + 2*w. Solve -2*a = -4*o - 7*a - r, -15 = 3*a for o.
-4
Suppose 3*d = d + 32. Suppose 2 = -5*v - r - d, 5*v - r + 12 = 0. Let i be (-1 + 3)/2 - v. Solve h = i*c + 21, c = 5*c + 4*h + 16 for c.
-5
Suppose 3*y = 10 - 10. Suppose o + 2*o = -3*x + 6, -5*o + 3*x + 18 = y. Solve 0 = -2*c - o*c - u - 3, 3 = 5*c - u for c.
0
Let v = 40 - 20. Let u(f) = v*f - 11*f - 5*f + 1 - f. Let x be u(1). Solve x*y = 5*w - y, w + 3*y = 0 for w.
0
Suppose -9 + 33 = 4*g. Let t = 12 - g. Suppose 20 = 4*k + 2*a, -k + t*k + 4*a - 31 = 0. Solve -2 = 4*u + 2, -4*q + k*u + 23 = 0 for q.
5
Let w be (-2)/4*4 + 2. Suppose -36 = -33*d + 30*d. Solve -d = a - 3*o + 4, -2*a - 2*o + 8 = w for a.
-1
Let l = 201 - 189. Solve -5*h + 5*y = 30, -y = -4*h - 6*y + l for h.
-2
Let u = 1862 - 1857. Solve -18 = -3*a + p, u*p = -0*a - a - 10 for a.
5
Let g be (-1134)/(-84)*(-8)/(-6). Let d be 1/3*-3 - -3. Solve r - 1 - d = -q, -2*q = 5*r - g for r.
4
Suppose 3*v - 25 = -10. Let t = 8 - v. Suppose -140 = -4*i - 0*i. Solve f + 3*s - 20 = 0, t*f + 0*f - i = -4*s for f.
5
Suppose -5*b = 3*g - 82, 2*g - 5*b + 24 = 3*g. Solve 0 = -i + 3, -4*w + 5*i - 2 = g for w.
-4
Suppose 4*r = -5*b + 10, 4*b + 0 = -5*r - 1. Suppose -3*l + b = -0. Solve 0*k + k = u, 3*k + l*u = 0 for k.
0
Let j(z) = -z**2 - 9*z - 8. Let o be j(-8). Let s = -1 - -5. Let h = s - o. Solve 0*d - h*i - 13 = d, 10 = -d - 3*i for d.
-1
Let q = -111 + 111. Suppose -39*x + 40*x - 8 = q. Solve -5*v + 4*k + 20 = 0, -2*v + x = 5*k - k for v.
4
Let d = 59 - 74. Let w be 10/d - (-34)/6. Solve -w*f + 16 = -f + 4*m, -3*f = 2*m - 7 for f.
-1
Let l be 8 + -3 + (3 - (10 - 6)). Solve 0 = -l*w - 7*g + 3*g, -4*g = -w - 5 for w.
-1
Let c(l) = -4*l**2 + 12*l - 1. Let i(f) = 4*f**2 - 11*f + 1. Let m(y) = -4*c(y) - 3*i(y). Let v be m(4). Solve 0 = -2*j + t + 8, -4*j + v*t - 10 + 38 = 0 for j.
2
Suppose r - 6*r = 20. Let f be 10/3 + r/(-6). Suppose f*d - 105 = -d. Solve 1 = a, -5*j + d = -7*a + 3*a for j.
5
Let d(p) = -p**3 - 8*p**2 - 8*p - 3. Let m be d(-7). Solve n + m = -3*s + 6, n - 4 = -5*s for n.
-1
Suppose -4*t = -4*g + 8, 2 + 3 = 5*t - 2*g. Let o be (-8)/t*(4 - 11/2). Let n be 16/3 - (-2)/(-6). Solve d = o*j + 19, -2*d + n*j + 16 = -7 for d.
-1
Let r be (-4 + 99/2)/((-1)/(-2)). Let y = r - 71. Solve 4*j + 0 - y = 2*u, -5*u = -5*j + 30 for u.
-2
Let p be -1*((80 - 1) + -1) + 2. Let g = 80 + p. Suppose 2*i - 4*z + 8 = 0, -i + 9*z - 4*z - 10 = 0. Solve -2*d = 5*q - 17, g*q - 5*d - 7 = -i*d for q.
3
Let i = -1 + 4. Let s = -13 - -16. Let y be 12*s/18*2. Solve -y*b + i*j = -19, -j + 2*j = -5*b for b.
1
Suppose 2*w - 10 = -0. Solve -4 = 2*v, -4*s + 5*v = 5 + w for s.
-5
Suppose -5*s + 0 + 5 = 0. Suppose 0 = -3*x - f + 10, 0 = -4*x - x + 3*f - 2. Solve x*i + h - s = -i, -h = 2 for i.
1
Let m(c) = -c**2 + 27*c + 5. Suppose -d = 7*d - 216. Let u be m(d). Solve -u*p + 10 = -5*v, -4*p = 3*v - 4 - 11 for v.
1
Suppose 98 + 2 = 50*x. Solve -3*k - 14 = -x*a, 6*a - 3*a + k - 10 = 0 for a.
4
Suppose 4*t + 20 = -2*u, 5*u - 3*t - 15 = u. Let i be 4/(-1) - (-11 + 5). Suppose -i*k = -u*k. Solve -3*z + k*j - 16 = -4*j, -8 = 4*z - 2*j for z.
0
Let i = 59 + -59. Solve 4*x = -5*g - 4, -5*g - 36 = -4*x - i*x for x.
4
Let q = -52 - -56. Solve -j = -5*n + j - 9, -8 = -q*j for n.
-1
Let y(h) be the second derivative of -h**3/6 - h**2 + h. Let z be y(2). Let r be -5*((z - 0) + 3). Solve 0 = -5*j - q + 19, q + 7 = r*j - 4 for j.
3
Let g(t) = t**3 + 2*t**2 - 14*t - 20. Let n be g(-4). Solve 2*d - 4 = -n*w, -11*w + 5 = -3*d - 6*w for d.
0
Let n be (9/3)/((-12)/(-16)). Suppose p = 4*d + 5, 5*d + 10 = p + n*p. Let w(f) = 8*f**3 - f**2. Let v be w(p). Solve j = -2*l + v, 0*j = l + 3*j - 16 for l.
1
Suppose 0 = -2*x + 2*v + 8, 3*x - 6 = -0*x - 3*v. Suppose -7*d + x = -25. Solve 2*m = 6*m - 3*n - d, 4*m + 5*n - 4 = 0 for m.
1
Let j(w) = -w**2 - 8*w + 69. Let r be j(5). Solve -4 = -2*m - b, 2*m - r*b + 5 = -1 for m.
1
Suppose -32*i = -31*i - 2. Suppose 48 = 3*d + 6. Suppose -4*z = g - d, -g - g = 5*z - 19. Solve -m - 18 = 4*a, a - 1 = -g*m - i for a.
-5
Suppose 3 = 5*n - 12. Suppose -431*z - 54 = -440*z. Solve -3*y = 6, 0 = z*j - n*j + 4*y + 8 for j.
0
Let q(l) = -55*l + 6. Let j be q(1). Let g = j + 54. Let i(c) = 6*c**2 - c. Let n be i(1). Solve -4*z + n*v = -1, -g*z + 0*v + 4*v - 1 = 0 for z.
-1
Let d(y) = y**2 + 24*y + 66. Let p be d(-3). Solve 2*u - k + 2*k - 8 = 0, p*k = -2*u + 8 for u.
4
Let m(h) = -h - 16. Let y be m(-20). Suppose 4*q + 4 = 5*c + 2, -c + 3*q = y. Solve 4*a + 0 = 4*v - 4, 5*a + c*v - 30 = 0 for a.
4
Suppose 0 = 14*g - 28. Solve -2*q - g*q = -3*v + 8, 0 = 3*v for q.
-2
Suppose -32*p = -25*p - 14. Solve p*n = 5*f - 3, n - f = -4 + 1 for n.
-4
Suppose 5*w + 26 = 41. Solve -5*o - w*x = 24, -5*x + 10*x + 3 = 4*o for o.
-3
Suppose -54 = 15*m - 264. Solve -x + 3 = f + 2, 2*f - m = -5*x for f.
-3
Suppose p - 3*h = 20, 4*p + 3 = -5*h - 2. Suppose 0 = 4*n + 20 - 12. Let l = p + n. Solve l = 2*x + c - 6, -1 = c for x.
5
Suppose -2 = -4*p - a - 0, -10 = -4*p + 3*a. Let k(j) = p - 5*j + 0 - 1 - 1 - j**2. Let u be k(-2). Solve -u*x - l = 4 + 16, 4*x + 2*l + 22 = 0 for x.
-3
Suppose -2*n + 4 = -5*j - 17, 0 = -3*n - 2*j + 60. Solve 5*k - 2*h + 17 = 0, 2*k + 5*h - 3*h = -n for k.
-5
Suppose -4*p - 20 = 0, 79 + 176 = -5*m + 3*p. Let f = m - -56. Solve 3*n = -f*n + 5*s + 15, -29 = -5*n - 2*s for n.
5
Suppose 10 = 4*v + 34. Let l be (v/3)/((-4)/12). Suppose 2*d = -3*d + 5*n, 0 = d + n - l. Solve -2*c - 2*w + 10 = 0, -d*c = -c - 3*w + 15 for c.
0
Suppose c - t + 24 = -5*t, 4*t = 16. Let b = 58 + c. Let x be (-1)/(-5) - 95/(-25). Solve 2*l + b = x*a, l = -0*l - 2*a + 7 for l.
-1
Let h = 150 + -86. Let z = -45 + h. Let x(c) = -2*c**3 - 4*c**2 - 7*c - 16. Let u be x(-3). Solve u = t - 6*t - 2*s, -s = 4*t + z for t.
-5
Suppose -11*y + 37*y - 598 = 0. Solve -3*b + 5*w - 11 = 0, b + 6*w - y = w for b.
3
Let x = -6 - -6. Suppose -2*v = -a - 7, -4*a = -0*v - 3*v + 3. Solve x*n - 5*m = -3*n + 11, a*n - 7 = 4*m for n.
-3
Suppose 0 = 155*f - 153*f - 26. Suppose 0 = 5*u + r - 14, -5*u + 3*r + 3 = 5. Solve g - 3*h - 3 = -f, 0 = -4*g - 2*h + u for g.
-1
Suppose -5*a + 4 = -4*a. Suppose 0 = 5*v - a*v - 6. Let g(s) = s**2 - 3*s - 7. Let r be g(v). Solve -4*c = 2*y + 26, 6*c = y + 2*c - r for y.
-5
Let s be -1*(4 - 11 - -3). Suppose -v - 3*r = -19, -2*r + 41 = 4*v + 3*r. Solve 6 = -s*n + 5*u - 14, -v*n = -u + 20 for n.
-5
Suppose -2*s + 3*o = -82, -4*s - 2*o = o - 200. Suppose 0 = 4*y - s - 20