ve 2*l - 4*j - v = 0, -1 = -0*l - 4*l + j for l.
0
Let t(p) = -p**3 + 12*p**2 + 2. Let h be t(12). Suppose k + 5*a = 20, a + 8 = -4*k + 3*a. Solve k = 5*v - r - 1 + 9, 2*v + 8 = h*r for v.
-1
Suppose 4*q - 34 = -5*z + 3*z, -q = -2*z - 16. Solve 2*a = 4*n + 16, -q = 2*a - a + 4*n for a.
2
Let u be (-1)/(1/15*5). Let m be u + 3 + 6/((-6)/(-2)). Let c be 9 - (2/(-1))/(-2). Solve 0 = 5*l - 5*t, -5*l - t = m*t - c for l.
1
Let a(f) be the first derivative of -f**4/4 - 13*f**3/3 - f**2/2 - 11*f + 3. Let j be a(-13). Let t be 8/j + (8 - -11). Solve i = 7*v - 2*v - t, i = -3 for v.
4
Let k = 40 - 69. Let d = -22 - k. Solve 0 = -2*g + c - d, 5*g + 28 = -c - 0*c for g.
-5
Suppose -28*y = -29*y - 2. Let l be (-51)/(-3) + 6/y. Let p be l - (-3 + 2 - -3). Solve 2*f = -2*d - 12, 0 = 2*d - 5*f + f - p for d.
-2
Suppose 0 = 5*f + 4*b + 26, 3*b = -5 - 7. Let v be (1 + 1)*(-2)/f. Solve -n - 14 = -2*n + 4*r, -v*n + 16 = -4*r for n.
2
Let j(u) = -u**2 - 1. Let n(a) = 3*a - 3. Let x(r) = -j(r) + n(r). Let i be x(-4). Suppose q = i - 1. Solve l + 3*s - 3 = s, q = -2*l + 3*s for l.
1
Let a = 2159 - 2158. Solve -a = -4*q + i + 1, -2*q = 5*i - 12 for q.
1
Suppose 2*c + 22*s - 21 = 25*s, 2*s + 2 = 0. Solve -5*w + 2*q - 3*q = 19, 3*q + c = -3*w for w.
-4
Let v(k) = k**3 + 11*k**2 + 11*k + 22. Let l be v(-10). Suppose 2*b + 2*b + 2*j = 4, b = 5*j + l. Solve 5*z - 3*u = -14, 1 = 5*z + 4*u - b*u for z.
-1
Let a be (-1133)/(-66) + (-1)/6. Let t(s) = 2*s**2 - 7*s + 5. Let u(i) = -i + 2. Let x be u(-2). Let d be t(x). Solve 3*m - d - a = 5*h, m - 2 = 0 for h.
-4
Let y be (-10)/45 - (-1490)/(-18) - 1. Let b be (-21)/y + (-22)/(-8). Solve 0 = -b*m - m, 0 = -5*c + 2*m for c.
0
Suppose -9 = 2*h - 17. Suppose 0 = -2*n + y + 58, -y - h*y = -10. Solve -5*g = a + n - 0, -4*a - 35 = 3*g for g.
-5
Let k = -93 + 173. Let g be 300/k - (-3)/(-4). Suppose 0*v + 5 = v. Solve -v*q + 4*n = 35, -21 = 2*q - g*n - 0*n for q.
-3
Suppose -20*t + 78 = 78. Solve 5*m + 3*l = 2*m - 18, -3*m + l - 2 = t for m.
-2
Let j(m) = -m**2 + 5*m - 3. Let o be j(4). Let k(g) = -14*g - 808. Let a be k(-58). Solve -9 = -3*q + 2*s, a*s - o + 9 = -4*q for q.
1
Suppose 4*q + 3*z = 1 - 5, -2*z - 6 = q. Suppose -5*f - 7 + q = 0. Let k be (6/12)/(f/(-10)). Solve 2*g = k*j - 35, 6*g - 5*j = 2*g - 45 for g.
-5
Let g be (0 - -1) + (5 - 2). Let y = 506 + -504. Solve -y*s - c = -s, g*c = 5*s + 45 for s.
-5
Let g be (60/(-24))/((-2)/4). Suppose -3*v + 2 = 2*q, g*q = -v - 19 - 2. Solve d + 4 = -b, 0 = v*b - 6*d + d + 7 for b.
-3
Let w = -402 + 406. Solve -2*h + 6 = w*s + 14, -2 = s - 2*h for s.
-2
Let u = 17 - 22. Let t be (u - 33/(-3)) + 1 + -4. Solve t + 3 = -k - 2*v, 2*k = 2*v for k.
-2
Let u(i) = i**3 + i**2 - 6*i - 3. Let w be u(3). Suppose -g = 5*z + 4*g + 25, -5*z + 3*g = -w. Solve -4*h + 12 = 4*k, -5*k + 4*h - 1 - 2 = z for k.
1
Let o(p) = 11*p + 1. Let k be o(-1). Let s = k + 2. Let m be s/(-5) - 10/(-25). Solve 3*v = -5*q - 0*v + 22, 2*v = -m for q.
5
Suppose 3*y + 27 = 3*m + y, 0 = 2*y. Let u(n) = n**2 - n + 9. Let l be u(0). Solve -3*t + 4*r = -l, r = -3*t + 3*r + m for t.
3
Let v = 398 - 396. Solve -4*t - 4*s = -4, v*t + s = 5*t + 13 for t.
-3
Let v = -71 + 70. Let y be 48/(-8)*v*(-2)/(-3). Solve -c + 4*o - 5 = 0, -5*c - 5*o + 17 = -y*o for c.
3
Let v be 63/2 - 4/(-8). Suppose -4*z - v = -200. Let m(i) = -i**2 + 10. Let h be m(0). Solve 2*r + 4*g = 14, -4*r + 4*g - z + h = 0 for r.
-3
Suppose -2*g + 5*a = -17 + 4, 3 = 3*a. Solve g = 4*q - k, 2*k - 1 = -3*q + 3 for q.
2
Let k(n) = -16 + 2*n**2 - 21*n + 1 + 10*n. Let j be k(7). Solve 0 = -4*o - 4*l + 24, -j*o + o + 6 = -3*l for o.
3
Suppose 0 = 3*w - 2*b - 24, w + 3*b = -3*w + 15. Suppose w*u + 5*c - 30 = u, -u - 4*c = -9. Solve 4 = -o + 2*z - u, 15 = -2*o + 3*z for o.
-3
Suppose 2*y - 19*y = -85. Solve 4*n + 1 = -2*f + y, -2*f = 0 for n.
1
Let t = 10 + 69. Let h = t - 74. Solve 0 = 2*s - 5*q + h, -2*s - 2 = -q + 7 for s.
-5
Let x be 2 + (3 - (-5 - 3)). Solve 2*y + 2*n = -2*n + 26, -5*n = -4*y - x for y.
3
Let l = 19 + -23. Let c(z) = z**3 + 7*z**2 + 8*z + 8. Let f be c(l). Solve -3*b + f = 5*g, 4*b - 5*g + 9 = 2*b for b.
3
Let u(p) = -p**2 + 3*p - 13. Let a(y) = -2*y**2 + 7*y - 26. Let n(g) = -6*a(g) + 11*u(g). Let i be n(8). Solve -2*b + 2 = -2*c, i*b = 4*b + 4 for c.
3
Let b = 199 - 197. Solve -3*z - p - 6 = 10, b*z + 5 = 5*p for z.
-5
Let z be (-78)/(-16) + (-25)/(-200). Solve -4*q - 20 = 4*v, 16 = -z*v - 4*q + 2*q for v.
-2
Let n be ((-24)/(-84))/(2/(-14)) - -83. Suppose -16*j + n = 17. Solve -g = -2*r + 13, -2 + 6 = -4*g - j*r for g.
-5
Suppose -295 = 2*n + 3*n - 5*a, -4*a - 268 = 5*n. Let p = -51 - n. Solve i = 2*m - 3*m - 6, 2*m - 2 = p*i for i.
-2
Suppose -2*r = -6*r. Suppose r = 6*n - 2*n - 20. Solve -5*l = 3*h + 15, -l + n*l - 4*h + 12 = 0 for l.
-3
Let i(y) = -y**3 + 8*y**2 + 6*y + 29. Let f be i(9). Solve -f*a - 2 = -j, -2*a + 6*a = -2*j + 12 for a.
1
Suppose 18*m - 27 - 63 = 0. Solve 5*d - 5*n = -20, d + 23 = -d + m*n for d.
1
Let y be 2*(3399/6)/(-11). Let s = 128 + y. Solve -3*q + 4*f = 29, -4*f + s = f for q.
-3
Let k(u) be the first derivative of -u**4/4 + 5*u**3/3 + u**2/2 + 12. Let w be k(5). Solve -b = -6*b + w*o - 5, -4*o - 4 = 4*b for b.
-1
Let t(d) = 6*d**2 + 24*d - 25. Let w be t(1). Solve -3*q = -q + 10, 40 = w*h - 4*q for h.
4
Let n be (-2)/(3/(-18)*4). Let c be -2 - (-1 - -2) - 2. Let f = 11 + c. Solve -2*x + f*x + n*a = -3, -5*a + 21 = -2*x for x.
-3
Let m(n) = 4*n**2 + 2*n + 1. Let v be m(2). Suppose -4*s = q + 8 + 16, 0 = -2*q + s - v. Let a = -10 - q. Solve -a*c + 5*k - 24 = 0, -3*k + 2 = -2*c - 14 for c.
-2
Suppose o = -5*y - 18, -20*y + 12 = -2*o - 24*y. Solve -g + 2*a - o = a, -4 = 2*g - 3*a for g.
-2
Suppose z - 10*z = -10*z. Let v(t) = -2*t - 4. Let u be v(-4). Solve 2*r - w + 8 = z, -u*r + 0*w - 4 = w for r.
-2
Let i = 162 + -159. Solve 14 = 3*y - 5*o, -22 = 5*y - i*o + 6*o for y.
-2
Let o(k) = k**2 - 3*k - 67. Let b be o(-7). Solve b*w = 3*z + z - 6, -z = 2*w - 7 for w.
2
Let k = 9 - 4. Let y = 65 + -53. Suppose y = 3*s + 3. Solve 6*c = 5*c - s*u - 10, 45 = k*c - 4*u for c.
5
Let q(m) = m**3 - 4*m**2 - 2*m - 5. Let r be q(5). Suppose 6*v - 1632 = r*v. Let h be (2/(-6))/(8/v). Solve -3*j + 2*s = 8, -9 = 4*j + 5*s + h for j.
-4
Suppose 3*v = -2*o + 4*o + 1, 2*o = 5*v - 11. Solve -b + 4*h - o = 0, 1 = 4*b + 4*h + 9 for b.
-3
Suppose 10 = 6*u - u. Let q be (52/(-26) - 1) + (0 - -17 - 2). Solve -4*g - d + u*d + q = 0, -4 = d for g.
2
Let o be 1*1/(-2)*-10. Let m(t) = t**2 - 5*t + 5. Let d be m(o). Suppose 0 = d*a + 4*j - 12, 4*a - 3*j - 24 = j. Solve 2*z - 5 = g, -a*g = z + 2 - 0 for z.
2
Suppose -5*r - 1 = l + 4, 5*l - 2*r + 133 = 0. Let j = l - -31. Solve -5*m - 21 = -4*b, -2*m - b - j = -5*b for m.
-5
Suppose 0 = 2*z - 4*g + 8, 4*g = -2*z + 16 - 0. Suppose z*p = 11 - 3. Solve -p*s + 4 = -2*r, 4 - 3 = s for r.
0
Let s(d) = -d + 2. Let f be s(2). Suppose f*w - 9 = -w - 2*b, 2*w = 5*b + 63. Suppose 6*q - w = -1. Solve 5*z = -u + q*z - 4, 3*z + 4 = -2*u for u.
4
Let g = 7 + -3. Let a be 3/6*-2 - -3. Suppose 0 = -4*k - 3*z - 4, -20 = -3*k - k + 3*z. Solve -g*d = -0*d - 16, a*w + 18 = k*d for w.
-5
Let o = -59 + 62. Solve -2*d - o*t - 2 = 0, 0 = -2*d + 7*d + 5*t for d.
2
Let x = -37 - -72. Suppose 5*d + 5*l - x = 0, d = -3*l + 8*l + 7. Suppose 5*s - 18 = d. Solve -j + s = -0*j, 2*w + 7 = 3*j for w.
4
Suppose 0 = -3*h + h - 20. Let w(q) = -q**2 - 13*q - 25. Let p be w(h). Solve -3*t = -7 - p, -4*t + 16 = 5*i for i.
0
Let t(h) = 5*h**3 - 33*h**2 - 14*h + 7. Let f be t(7). Solve -i = 5*j - f, -2 + 8 = 3*i for j.
1
Let a(p) = 2*p**2 + 2*p - 6. Let i = -20 + 23. Let r be a(i). Solve 2*t - 2*y + r = 0, -9 = -4*t - 2*y - 3*y for t.
-4
Suppose 30 = 33*f - 27*f. Solve f*j + 6 = 5*u + 36, 0 = -j + 4*u + 18 for j.
2
Let p = 184 - 182. Let q = 7 + -5. Let s be (-4 + 3)/q*-10. Solve -n = 4*d - 17, -5*n + p = -s*d + 17 for n.
1
Let f = -866 + 870. Solve 2*r + r = 4*u - 14, f*r = 5*u - 17 for r.
2
Let r(i) = i**2 - 2*i + 2. Let g be -21 - (0/(-4))/3. Let d be (-36)/(-21) + (-6)/g. Let t be r(d). Solve -2*p + 12 = 4*o, -3*p - t*o + 9 = -5*o for p.
4
Suppose 10 = -2*u + 18. Suppose -u*n + 20 = 3*j + 6, -n + 4*j + 13 = 0. Solve 0 = -y - n*v + 3, y - 6 + 3 = -3*v for y.
3
Let j be -2 + 3 - 6/(2 + -5). Solve -3*s + j*k - 22 = 8*k, 4*s - 2*k - 14 = 0 f