*v, 0 = -0*v + 2*v + g - 14 for v.
5
Let v(d) = -d + 1. Let r be 8/2*(-3)/(-12). Let c be v(r). Suppose k + 4*p - 8 = c, 3*k + 0*p - 15 = -3*p. Solve 5*m + 4*o = 0, 7*o - k*o = 5*m for m.
0
Suppose 10 = 5*t - 115. Suppose 0 = 3*c - c + 44. Let u = c + t. Solve -5*a - s - u = -28, -a - 2*s = -5 for a.
5
Let f = 15 + -15. Suppose -5*t + 0*t + 20 = f. Suppose 2*s - 3 = -s + j, 0 = -2*s - 2*j - 6. Solve -4*n = -12, -2*h + s*h - t*n = -4 for h.
-4
Suppose 9*g + 25 = -5*d + 4*g, 0 = d + 5*g + 25. Let x = d - -4. Suppose -x*r = -88 - 40. Solve r = -3*o + 5*f, -2 = f - 6 for o.
-4
Let m(z) = -3*z + 49. Let w be m(15). Suppose 4*k = -4*t, 3*t + 0*t = -k. Solve -x = -2*q - w, -4*x = -t*x + 3*q - 5 for x.
2
Suppose 5*r = 2*n - 10, 5 = 6*n - 5*n + 3*r. Let f = -16 - -22. Solve 2*d = q - n*q + 4, -2*d + f = 5*q for d.
-2
Let p = -20 - -74. Let m = -49 + p. Solve -m*s = -5*b - 5, -3*b - 1 = 5*s - 2*b for s.
0
Suppose u - 1 = 5*d, 3*u - 4*u + 5 = -3*d. Let q = u + -14. Let b be -2 + 0 - 1*q. Solve 14 = -2*t - 4*x, -3 = -2*t + 4*x - b for t.
-3
Suppose 4*i - 23 - 25 = 0. Suppose -4 - i = -4*c. Let d = 5 - 0. Solve 0 = -t + 4*g + d, c - 6 = t + 3*g for t.
1
Suppose -3*f - a = -19, -5*f - 4*a + 29 = -3*a. Let j(r) = 5*r - 1. Let v be j(1). Solve 0 = f*l - o - v + 10, 22 = -l - 5*o for l.
-2
Suppose 95 = 5*k + 85. Solve f + 2*f = 4*w - 2, 2 = k*w - 2*f for w.
-1
Let z(j) = 2*j**3 - 5*j**2 - 23*j - 6. Let a be z(5). Solve 0 = -f - 4*r + 2, -2*f - 4*r = -a for f.
2
Let h be (-4)/(-22) + 1793/121. Suppose -25*y = -30*y + h. Solve v + 4*p - 3 = 0, -4*v = -3*p - 9 - y for v.
3
Let b be ((-10)/3)/((64/(-156))/8). Let m = -60 + b. Solve -3*x + 0*x + 4*h = -2, 0 = -m*x + 5*h for x.
-2
Let y(u) = u**2 - 12*u - 10. Let g be y(-1). Solve 0 = 3*f + 3*z + 3, g*z = -2*f - 5 for f.
2
Let l(k) = -4*k - 6 - 18*k + 29*k. Let o be l(7). Let c = o - 26. Solve -c = 4*h - 3*r, h - 5*r = -5 - 12 for h.
-2
Suppose 3*c = -0*c + 21. Let a = c + 5. Let i(z) = -z + 2. Let q be i(-3). Solve q*l + a = r, -2*r - 5*l = r + 4 for r.
2
Let p(a) = -a**3 - 2*a**2 - 7*a. Let i be p(0). Solve 2*w + 19 = 3*u - i*u, -4*u + 20 = 0 for w.
-2
Let s(v) = v**2 - 14*v - 13. Let j be s(14). Let o = -9 - j. Suppose -4*q - r = q - 20, -3*q - 5*r = 10. Solve 15 - 1 = -3*h + o*g, -q*g = -2*h - 21 for h.
2
Suppose -8*t + 12*t - 12 = 0. Solve -11 = t*k + c, k + 2*k + 3 = -3*c for k.
-5
Let l(a) = a**2 - 9*a + 9. Suppose -3*w + 2*x + 12 = 0, -4*x + 24 = 2*w - 0*x. Let u be l(w). Let m = -7 - u. Solve j = 5*p - 10, m*j + 2*j = -3*p + 29 for p.
3
Let n be 48/(-4)*5/(-2). Let t = -22 + n. Suppose -2*k + t = -0. Solve 2*a - k*v - 2 = -0*a, 5*a = -3*v - 8 for a.
-1
Let u be (200/(-80))/((-2)/4). Solve -3*f + n - u = 0, 2*n - 2 = 2*f + n for f.
-3
Suppose 29*s - 20*s = 90. Let q = 7 - 2. Solve -q*w = 3*z - s, -w - 2*z - 11 = -4*z for w.
-1
Let k(m) = -3*m. Let z be k(-1). Suppose 0 = -u - 3*a - 1 + 21, a = -u + 8. Solve 0 = -2*t - 4*v - 12, -u*t - z*v - 9 = -0 for t.
0
Let w(q) = -q**3 - 4*q**2 + 3*q - 5. Let u be w(-5). Let l = 68 + -68. Solve -u*p - 25 = l, g + 3*g - 6 = -2*p for g.
4
Let h = 0 - -11. Suppose -g = -3*c, -5*c = -4*g - 3*c + 10. Suppose 3*v - 11 = -y, 2*v + g*v - 25 = 5*y. Solve p = -s - v*p + h, -2*p + 2 = s for s.
-4
Let f(w) = -w**3 - w**2 + 4*w - 1. Let t be f(-3). Suppose 0 = 5*q + 20, 31 = 4*b - 5*q - 1. Solve -4*p + 1 + b = 4*x, 4*p = t*x + 4 for x.
0
Let v be (3 + -6)/(((-21)/4)/7). Let a be 360/18*3/v. Let q(z) = 2*z - 2. Let k be q(3). Solve 2*f - a = -5*m, 4*m + 10 + 6 = k*f for m.
1
Let u = 62 - 59. Suppose 0 = -u*i - i - 2*p + 14, i = 4*p + 17. Solve -2*k = 2*h - k - i, -2*k = -2*h + 14 for h.
4
Let j(v) be the first derivative of v**2 + 25*v + 6. Let q be j(-8). Solve -2*n = -o - o - 2, o + 4*n = q for o.
1
Let t be ((-3)/4)/((-42)/280). Solve -v = -4*i - 2*v + 5, t*v = 2*i + 25 for i.
0
Suppose -3*k + 2 = -2*k. Let h be (-8)/(-2) - k/2. Solve 5*d = -5*n - 5, 3*n + 2*n + h*d + 7 = 0 for n.
-2
Let h(g) = -g**2 - 12*g + 36. Let b be h(-14). Let j be 12/(-18) - b/(-12). Solve -2*o + j*o - 8 = -5*s, -4*o - 4 = -4*s for s.
2
Suppose -7 = 5*g - 27. Suppose o = g*h - 19, 2*h - 5*o - 37 = -10*o. Solve -29 = -w - 5*c, h*w - 5*w + 3*c = 19 for w.
4
Let u(k) = 25*k + 18*k**2 - 4 + 15*k**2 - 30*k - 9*k**2. Let t be u(-1). Solve -5*i = 5*l + t, 4*l - 20 = -0*l + 4*i for l.
0
Suppose -r - 7*k - 11 = -0*r, -5*r + 69 = 4*k. Solve -2*m + 15 = 3*n + 2*n, 2*n = -3*m + r for n.
1
Let n(x) = x**3 - 5*x**2 + 6. Let q be n(5). Solve -3*c - q = 2*t - 0*t, 4*c - 4*t = 12 for c.
0
Suppose 160 = 141*z - 133*z. Solve 0 = -5*b + z*g - 15*g, -7 = -5*b - 2*g for b.
1
Suppose 0 = -u - 5*d - 17, 5*u - 9*u - 3*d = 0. Let q be 24*(30/9 - 0). Suppose -l - u*l = -q. Solve -6 = -2*b + 3*h + 9, b - 4*h = l for b.
0
Let l(w) = 23*w - 11. Let v be l(4). Let j = v - 79. Solve 5*n = 4*z - 11, -2*n + 0*n + 4*z - j = 0 for n.
-3
Let y(a) = -2*a**2 - 41*a - 46. Let s be y(-19). Let u be ((-11)/(-4))/((-1)/(-4)). Let q = s - u. Solve -5*c = 4*k - c + 12, 5*k + 2*c + 6 = q for k.
0
Suppose 38*i = 66*i - 56. Solve 0 = -4*o - 12, -5*z + 0 = -o + i for z.
-1
Let x(d) = d**3 - 6*d**2 + 12*d + 5. Let o = 13 - 9. Let f be x(o). Solve -5*b - f = q, 0 + 16 = -4*q - 3*b for q.
-1
Suppose 4*k + 0*k = 12. Let l = 37 - 49. Let c = l + 14. Solve t - 5*t - k*y = -32, -c*t + 22 = 3*y for t.
5
Suppose -2*g - 4*z = 18, -6*z = -2*g - 9*z - 14. Let a be (2/g - (-1)/(-2))*-2. Solve 2*k - l + a + 1 = 0, k + l = -9 for k.
-5
Suppose 16 = 2*g - 0*g. Suppose -4*f - g = -6*f. Let a be (-7)/28 + 1/f. Solve 5*w + a*w + 2*y + 8 = 0, 1 = -2*w - 3*y for w.
-2
Let b be (-24)/(-9)*(-3)/(-2). Let c be ((-1)/2)/(((-297)/(-44))/(-27)). Solve s - 1 = -c*g - 8, -s - 17 = b*g for g.
-5
Suppose 5*h - 16 = 2*j, -2*j + 0 = h + 4. Let v = 6 + -1. Solve -h*i - 2 = 4*w, -5*w - 10 - 15 = -v*i for i.
3
Let x(c) = -c + 6. Let o be x(4). Let j = -11 + 15. Suppose j*f + 20 = 4*h, -4*h + 20 + 0 = 4*f. Solve o*t - t - 20 = -4*n, 4*n - 16 = f for t.
4
Let u = 91 + -155. Let o = -44 - u. Suppose 3*a = 2*a + o. Solve -4*b - y - 5 = 0, -3*b + 4*y + 0*y + a = 0 for b.
0
Let p be 6438/319 - 2/11. Solve 0 = 4*u + p, -2*f + f + u = -6 for f.
1
Let a(l) = l + 4. Let d be a(1). Solve -d*z + 3 = 5*y - 12, -5*y + 6 = -4*z for y.
2
Let w = 313 - 308. Solve 5*c + 0 = 2*n - 10, w*c = 5*n + 5 for c.
-4
Let m(d) = -2*d**3 + 8*d**2 - 4*d - 6. Let c be m(3). Solve -t = -3*t - 5*s + 18, -t - 4*s + 12 = c for t.
4
Let b = -209 - -214. Solve -5 = b*w, -3*r - 33 = 5*w - 13 for r.
-5
Let b be -4*8/272 + (-576)/17. Let y be (51/b)/(3/(-8)). Solve y*d = 3*k - 31, -3*d - 20 = -2*k + 2 for d.
-4
Suppose -10*g = -16*g + 12. Let u(j) = 3*j**2 - 6*j. Let c be u(g). Solve 5*d - 29 = -c*i + 3*i, -5*d = -20 for i.
-3
Suppose 5*h - 2*h = -3. Let b be h - (0 + (-7 - -3)). Suppose b*y = 7 + 5. Solve 0 - 7 = -y*n + 5*t, -2*n + 2*t = -4 for n.
3
Let f(v) = -v - 1. Let m be f(-6). Suppose 0 = -m*w + 2*a - 11, -5*a - 2 = -3*w - 1. Let u = w - -16. Solve -3*j + 17 = -5*c, 0*c - 3*j = -c - u for c.
-1
Let w be 24*(2/16 + (-77)/(-56)). Solve 2*n + w = 4*c + 10, 2*c + 4*n + 2 = 0 for c.
5
Let f = 559 + -554. Solve 4*d + 4*i - 7 - 1 = 0, f*d = 2*i + 3 for d.
1
Let v(k) = -k**3 - 12*k**2 - 12*k - 3. Let q be 25/(-2) - (-3)/2. Let d be v(q). Solve 3*y + 3*r + 18 = 0, y - d = 4*y + r for y.
-1
Let s be (0 + 4)/(9 + -7). Suppose f - l - 2 = 2*l, -3*f = -l + 2. Let z be (f + -2)*1 + -5 + 32. Solve 2*q = -s*w - 2, q - 5*w + w = z for q.
4
Suppose -503 = 11*r - 767. Solve -2*w - h = -3 - 6, 4*h - r = -5*w for w.
4
Suppose -54 = 5*j + j. Let i(m) = -m**3 - 9*m**2 - 2*m - 16. Let a be i(j). Solve z = -4*r + 4*z + 11, a*r + z = 13 for r.
5
Suppose 37 = b + 11*s, 7*s - 15 = 2*s. Solve -m - 2*m + 14 = -5*c, 0 = 5*c + 3*m - b for c.
-1
Suppose 0 = -15*f + 64 + 356. Solve -4*z + 3*t - f = 5*t, -2*z = 5*t + 30 for z.
-5
Let h be (-3)/(-3) + (-11 - -14). Solve 0 = h*p + 3*k - 4, -k + 2 - 4 = 3*p for p.
-2
Let j be (232/(-319))/(4/(-22)). Solve 15 = d + j*v - 9*v, 0 = -d - 4*v - 21 for d.
-5
Suppose 0 = 2*j + 4 + 4. Let p be 1*2 + 5 + j. Solve 4*b - 5*a - 33 = 0, -p*b + a + 4*a = -31 for b.
2
Let r be (20/(-14))/(2/(-14)). Let f be r/(-4)*36/(-45). Let p be (-4 + 2)*(348/8)/(-3). Solve -s + 5*q = -0*s - p, f*q + 10 = 0 for s.
4
Let u(d) = 3 - 1