3 for v.
1
Suppose -16 = 4*n, 2*g = -2*g - 2*n - 8. Solve -2*o + 0*l + l + 3 = g, -4*l = -2*o for o.
2
Suppose 35 = -r + 2*r - 5*q, 3*r - 92 = 2*q. Let b(m) = m**2 + 1. Let f be b(0). Let w be ((r/(-3))/f)/(-2). Solve t - 2*t = -p - 5, -t + w = -2*p for t.
5
Let k = 7 + -4. Let i(g) = -g**3 + 5*g**2 - 5*g + 2. Let v be i(k). Solve -12 = 3*m + m - 4*p, -v*p + 12 = -2*m for m.
-1
Let t(m) = m**2 - 4*m + 3. Let y = 6 - 3. Let c = y + 1. Let o be t(c). Solve 4*g = 5*n - 3, 3*g + o = 5*n + 2 for g.
-2
Suppose 5*g - 12 - 8 = 0. Suppose 9 - 5 = h. Suppose 16 = 4*l - 0*j + 4*j, -h*j = -g*l + 16. Solve 8*p - 8 = 4*d + l*p, -5 = 5*p for d.
-3
Let u be ((-6)/8)/((-3)/12). Suppose 3*y = i - y - 10, u*i - 5*y - 16 = 0. Suppose -l + 11 = -4. Solve 2*a - l = -2*a - z, -5*a + 15 = i*z for a.
5
Let r be (-3)/(-21)*2*7. Solve 2*x - 5*h - 16 = 3*x, r*x = -3*h - 4 for x.
4
Suppose 2*g - 3*t + 11 = 0, 0*g - 19 = 3*g - 5*t. Let p(i) = -i + 5 + 0 + 1 + g. Let u be p(6). Solve -2*x = -6, -u*c + 2*x = -0*c + 2 for c.
2
Let u = -141 + 143. Solve -5*f - 4*a + 1 = 31, u*a + 10 = 0 for f.
-2
Suppose -9 = -13*d + 10*d. Solve -4*x = -3*k + 3, d*x + 2*x = -2*k - 21 for k.
-3
Suppose -3 = -3*v - 6. Let s(w) = -3*w + 1. Let h be s(v). Solve -h*g - 8*y = -4*y + 24, 12 = g - 5*y for g.
-3
Suppose -2*i + 1 = -3. Solve 4 = -4*j + 4*m, -i*m + 11 = -j + m for j.
4
Let d = 19 + -13. Suppose -2*o - 4*p + 36 = 0, 4*o + 3*p = 2*p + 58. Let i be 4/o + 4/(-14). Solve -m + i*m = 3*r - d, m + r = 0 for m.
-3
Let k = -17 + 29. Solve -10 + 1 = -a - 5*y, 0 = 4*a - 4*y - k for a.
4
Let f = 6 + -4. Let d be 0/f - (-2)/1. Suppose 0 = -4*n + d*k + 62, -2*n + 4*k = -3*n + 11. Solve -9 - 14 = -4*p + s, 5*s + n = 0 for p.
5
Let z = 360 + -357. Let s be 28/6 - 1/(-3). Solve 6*o - s = 2*w + z*o, -30 = -3*w - 3*o for w.
5
Let a be 3/(-5) + 10/(-25). Let x = -1 - a. Solve 0 = 5*s - 2*z - 3 - 2, x = 5*s - z for s.
-1
Let z be 8/44 - (-20)/11. Let l be (-4)/(-10) + z/(-5). Suppose 0*g - 2*g = -22. Solve y - 2*y = 2*i - 3, -i - 3*y - g = l for i.
4
Suppose 5*y = -1 + 16, -3*s = 4*y - 21. Suppose 0 = s*h - 1 - 2. Let k = 3 - 3. Solve -5*v - 2*q - h = k, -q + 2 = -4*v - 2*q for v.
-1
Suppose -5*w + 6*w = 9. Solve 2*n - z = -w, 3*n + 2*n + 12 = -z for n.
-3
Suppose 5 = 17*l - 16*l. Suppose -2*t + 22 = l*j, 4 = 3*j + t - 9. Solve 0 = 3*n + j*y + 19, 0 = 5*y + 9 + 11 for n.
-1
Suppose 0 = p + 2*l + 3*l + 3, -3*p - 3*l + 3 = 0. Let x be 1 - (0 + p) - 1. Let v be x/3 - (-33)/9. Solve -2*d - 13 = -o - v, -d - 5 = o for d.
-5
Suppose 5*c - 6*c = -5. Solve -c*d - 4*n - 8 = 0, -n + 6*n + 10 = -5*d for d.
0
Let b = -45 - -46. Solve 2*i - 3*x = 4, -i + 1 = -4*x - b for i.
2
Let a = -2 + 22. Solve -5*l = 3*f - a, f + 4*l - 20 = -4 for f.
0
Suppose 4*r - 2*d + 5 = 17, 0 = r + 4*d - 12. Suppose 3*s - 50 = -2*s + r*h, 5*h = -4*s - 1. Let z = s - 2. Solve -w - b - 2*b - 15 = 0, b = -z for w.
-3
Let s(z) = z**3 + 6*z**2 - 8*z - 5. Let c be s(-7). Suppose 5*a - 183 = 2*u, -4*a + 5*u + 195 = a. Solve y = -4*i + 2*y + 25, -5*i + c*y = -a for i.
5
Let p be (-44)/(-12) + 2/6*-2. Solve 4*o + p*l = -23, -l - 4*l - 25 = 0 for o.
-2
Let u be ((-1)/(-2))/((-2)/(-24)). Solve 2*g - 6 = -2*j, 2*j = -4*g + 5*g + u for j.
3
Suppose 6 = -5*p + i, -3*p + 8*p + 22 = -3*i. Let u = -2 - p. Solve 4*j + 3*w = 5, 3*j + u*j + 5 = -4*w for j.
5
Let f(l) = l**2 - l + 2. Let n be f(2). Let r = n + -2. Solve r*y - 2*z - 14 = -2*y, -3*y + 17 = 5*z for y.
4
Let d = 35 - 33. Suppose -2*s - 3 = -3*s. Suppose -d*z - s = -7. Solve z*v + 3 - 4 = -5*f, -11 = -5*v - 4*f for v.
3
Let n(s) = s**2 - 13*s - 11. Let g be n(14). Solve 5*l + 16 = -0*l - 2*h, 0 = -g*l + 2*h for l.
-2
Suppose t - 15 = -4*t, z - 2*t + 3 = 0. Let b(n) = n**3 + 5*n**2 - 9*n - 8. Let m be b(-6). Solve -m = -5*r + 5*i, z*r - 5*i - 3 - 1 = 0 for r.
3
Let g(a) = -3*a**2 - 2*a - 8. Let x be g(-7). Let k be 4/(-18) - x/27. Solve 7 = i - k*v - 1, 2*i - 5*v - 11 = 0 for i.
3
Let v be 1/(-4) - (-10)/8. Let h be v/(6/8)*3. Solve -d = 3*a - 4, -d - 2 = 5*a - h*a for d.
-5
Let m be (-26)/(-10) - 4/(-10). Suppose -m*d + 9 = -0. Suppose 0*o + 2*o + 33 = 5*u, u = -o + 1. Solve -5*g - d*a = 5 + 11, 20 = -g + u*a for g.
-5
Let l = -5 - -6. Solve l = 2*m + x, -m + 0 + 3 = x for m.
-2
Suppose 0 = -2*x + x + 4. Let o = -6 + x. Let b be 0*1*(-1 - o). Solve -2 = -c, 3*g + b = -5*c + 16 for g.
2
Let m = 18 + -16. Solve 0 = 2*h + 3*u - 16, m = -5*u + 12 for h.
5
Let u be 2*(1 - 18/(-4)). Let l = u + 0. Solve v - 4*q = 14, 4*v = -0*v + q + l for v.
2
Let b be 2/(-7) - (-136)/(-14). Suppose -2*d + 5*y = 20, -5*d = -5*y + 25 + 10. Let t = d - b. Solve -3*v + 2 = t*j + 27, 3*v - 4*j - 20 = 0 for v.
0
Suppose 0 = 2*n - 6*n + 12. Suppose -i + 2 = -n*l, 6*l - 3*l - 23 = -4*i. Solve 4*x - 24 = -i*t, 0 = -2*x + 3*x - t + 3 for x.
1
Let u = -46 + 54. Solve 4*v - j = -2, 5*j - 2 = -4*v + u for v.
0
Let h(i) = -4*i + 19*i**2 + i**3 + 4 + 1 - 16*i**2. Let c be h(-4). Solve t = 2*a - 13 + 3, -16 = -c*a - 2*t for a.
4
Let f be (3 - (-19)/(-3))/(10/(-15)). Solve -5 = 5*h - 5*t, -f*h + 2*t = t - 3 for h.
1
Let b = -3 + 3. Suppose 5*v - 3*f - 9 = 6, b = 4*v + f + 5. Let m = 10 - 6. Solve s - 3 - 2 = 5*n, v = -4*n + s - m for n.
-1
Suppose 4*h = -0*h + 20. Solve 4*u - 3 = -h*c + 7, c = -2*u + 8 for u.
5
Let g = -72 - -85. Suppose -2 = 5*q + 2*d - 33, 3*q - 3*d = 6. Suppose q*l + 3 = g. Solve -10 = -l*c + p, -c - 12 = -5*c - 2*p for c.
4
Let h(o) = o**3 + 3*o**2 - 8*o - 14. Let l be h(-4). Solve -6 = -3*q + q + 4*a, -5*a - 3 = l*q for q.
1
Let q be (-206)/(-16) + (-18)/(-144). Solve 7 = 5*i + 4*t - 0*t, 0 = -i + 5*t + q for i.
3
Suppose f + 2*r = -1, -r + 4*r + 8 = 5*f. Let w = 5 - f. Solve 4*m + 8 = -3*g, 2*g + 2*g - 8 = w*m for m.
-2
Let z be -32 + 38 + (5 - 1). Let m(q) = -q**2 - 4*q + 6. Let u be m(-5). Let s be u/(-4) + 13/4. Solve -c + z = 2*f + 3*f, -5*f = s*c for c.
-5
Let x be 27/2 + 2/4. Let z be (-6)/(18/(-15)) - 0/4. Solve 0 = r - 3*m - x, -z*r + 2*m = m for r.
-1
Let g = 0 + 4. Suppose 5*z + 3*r + 39 - 90 = 0, 0 = g*z - 5*r - 26. Suppose -3*y + 8 = -y. Solve -y*j - i - z = 0, j - i + 3 = 7 for j.
-1
Suppose 0 = -3*u - 2*u - 4*b + 35, -5 = -b. Solve -u*m - 2*w + 9 = -w, -3*m = 4*w for m.
4
Let g = 13 + -11. Suppose -g*r = -r - 20. Solve -5*s - x + r = -3*x, 3*x + 13 = -s for s.
2
Let v(z) = -5*z - 15. Let h be v(-7). Solve 33 = 4*w + 13, -k + 5*w = h for k.
5
Let g = 0 + 3. Suppose -24 - 6 = -3*i. Solve 5*t + i = -g*v - 2, 0 = -5*v + 3*t + 14 for v.
1
Suppose 3*f + 5 = 5. Solve -4*b + 20 = -4*p, p - 3*p - 8 = f for b.
1
Let m(f) = f - 1. Let z be m(6). Suppose -r + 26 = z*g, -3*r = -2*r + 4*g - 22. Solve -r = -i + 2*q, -3*q + 4*q = 2*i for i.
-2
Let h(r) = 3*r - 1. Let d be h(2). Let b(l) = l + 1. Let a be b(d). Suppose -s + 2*m = a, -4 = s + s - 2*m. Solve -s = 2*n - 4*p, 4*n = -0*n + 2*p + 14 for n.
5
Let v be (0/(-1) - -1) + 2. Suppose -v = -5*b - 28. Let d(y) = y**3 + 6*y**2 + 3*y - 6. Let o be d(b). Solve 4*r = -o*n + r - 14, 3*n + 5 = -5*r for n.
-5
Suppose -2*w + 2*q + 6 = 6*q, -2*q + 6 = 2*w. Solve -3*c = -3*y - 9, 4*y + 21 = c + w for y.
-5
Suppose -4*s + 5*j = -24 + 3, 20 = 4*s - 4*j. Suppose 3 + 0 = 5*y + g, 3*y - 2*g = -6. Solve -4*v = y, 4*x + 20 = -0*x - s*v for x.
-5
Let n(q) = 4*q - 5. Let a = 6 - 2. Let s be n(a). Suppose s + 9 = 4*z. Solve 4*f = -z*h + 2, -4*h - 20 = -4*f - 0*f for h.
-2
Let w(j) = -6*j. Let x be w(-2). Let s = x - 10. Solve -b - s*z + 6 = 0, -4*z + 12 = 3*b - 8*b for b.
0
Suppose -6*j = -j - 60. Let s be 128/j + (-2)/3. Solve 3*n = -y + 7, -n - n = 2*y - s for y.
4
Let x be 1*3 + (-2 - -2). Let b = 6 - x. Let p be 1 - (-2 - (1 + -2)). Solve 3*q + b*w = 3, 0*q = -q + p*w + 10 for q.
4
Let g(v) = 5*v - 7. Let x be -14*1/(-4)*2. Let l be g(x). Let u = -1 - -5. Solve -3*o + 11 = -h, u*o + 10 = 2*h + l for h.
-5
Let x(m) be the second derivative of -m**3/6 + 9*m**2/2 + m. Let w be x(7). Let t(b) = -4*b + 1. Let v be t(-1). Solve -2*r = -8, -w*o + v*r + 5 = 27 for o.
-1
Suppose -1 = -2*p + 3. Let o = -14 + 18. Suppose o*y = 9 + 7. Solve 4*c = -4*g - c + 17, -2*g + y = -p*c for g.
3
Suppose -6*d + 3*d = i - 13, 2*i - 2*d + 6 = 0. Suppose -2*r + i = -r. Solve a - 4 = -a, k - r = -2*a for k.
-3
Let k(r) be the third derivative of -r**2 + 0*r + 0 + 1/8*r**4 + 1/6*r**3. Let v be k(3). Solve -