-a*t - 5, -t = -4*v + 19 for v.
4
Let t be (-6)/(-4) - 1/(-2). Solve 2*r = 6, -2*r + 3*r = 5*z - t for z.
1
Suppose 5 = 2*o - 3*o. Suppose 0 = -a + 6 + 9. Let s be (-3)/o - (-6)/a. Solve w - 2*u = 0, 0 = -3*w + 2*u + 3*u + s for w.
2
Suppose -2*v + 5 = -v. Solve 3*a + 3*z + 13 = a, 2*z = v*a + 23 for a.
-5
Let s(q) = -3*q - 7. Let g be s(-3). Solve 0*a = 5*a - 10, -5*a + 14 = g*z for z.
2
Suppose -5*x + 13 = -12. Suppose 6*l + 2*n = 2*l + 2, -2*n = -3*l + x. Let q be (l/2)/(1/12). Solve 16 = 4*v - y + q, 0 = -4*v - 3*y + 18 for v.
3
Suppose -3*j - 3*r + 75 = 0, -5*j = -0*j + 3*r - 135. Solve -5*k = 4*a - 28, 2*k + 3*k = -5*a + j for a.
2
Let c = -14 + 22. Solve 3*p + 11 = n, 2*p = -p + 4*n - c for p.
-4
Suppose -3*f + 0*f = -15. Let s = 8 - 4. Suppose 4*y + 4 = -s*r - 0, -6 = -4*r - 2*y. Solve 5*m + 0 + 30 = -f*d, -r*d - 12 = m for m.
-4
Suppose -2*a = -7*a + 20. Suppose -m - a = 5*u, 4*u + u + 16 = m. Solve 5*y - g = 3*g + 17, -2*y + 2*g + m = 0 for y.
5
Let d(m) = -2*m + 41. Let a be d(18). Solve -4*z + 1 = -7, -3*x + z = a for x.
-1
Suppose 4*v = -0*v + 20. Let j(d) = -2*d - d**2 - 1 + 0*d**2 - 3*d. Let u be j(-4). Solve -v*o - 38 = -u*c - 14, 0 = 3*o + c + 6 for o.
-3
Let s(m) = m - 8. Let d(q) = -q**3 + 5*q**2 - 2*q - 4. Let t be d(3). Let i be s(t). Solve 2*p + 3*b = 12, 3*p + 3*b - 15 = -i*b for p.
3
Let i(z) be the second derivative of -z**4/12 + 5*z**3/6 - 2*z**2 - z. Let q be i(4). Suppose 12 = -q*g + 3*g. Solve 4*w - g - 2 = d, -4 = 2*d - 4*w for d.
2
Suppose -h - 4*g + 1 = 0, -4*h + 19 = -5*g - 6. Solve 10 = h*y, -2*f = 3*y + y + 2 for f.
-5
Suppose -4*h - 3*t + 6 - 3 = 0, h - t = -1. Suppose -5*p + h*p = -25. Let k(q) = q**2 + q + 1. Let f be k(p). Solve f = 4*z - 3*v, -7*z + 15 = -2*z + v for z.
4
Let c = 2 + -6. Let o be (-12)/30 - c/10. Solve 4*m - l - 21 = o, -3*l + 1 = 16 for m.
4
Suppose -2*o = -3*o + 1. Solve -1 = h, 0 = -6*t + 3*t - h - o for t.
0
Let d = -34 - -36. Let j(v) = 2*v - 7. Let g be j(5). Solve h = d*u + 2*h + 12, -h = -g*u - 13 for u.
-5
Let g be (-10 - 0)*8/(-20). Solve 5*z + 3*y + 3 = 0, 3*z - 6*z - g*y - 4 = 0 for z.
0
Let n = -14 - -32. Let v be -2 - (-4 - 1 - 0). Suppose -v*b + 10 = 1. Solve 5*r + 17 = -b*h - 3, 3*r + 3*h + n = 0 for r.
-1
Suppose 4*g + 2*f = 14, -g = 3*f - 2*f - 6. Suppose -4*j + 11 = 2*o + g, -3*j = -2*o - 18. Solve 0 = -5*c - 3*v + 19, 0*c - j*v = -c - 10 for c.
2
Suppose g = -5, -3*u + 4*u = 5*g + 19. Let o = u - -7. Suppose 0 = -0*r + 2*r - 8. Solve o = z + 5*c + 13, -4*z = -r*c for z.
-2
Let c = 21 + -11. Solve -4*p - 2*k + c = -0*p, 4*k + 35 = 3*p for p.
5
Let c be (-2)/12 - (-1020)/72. Solve -4*s - 5*w + 18 = 2, c = 2*s + 4*w for s.
-1
Let v = -5 - -10. Solve -25 = -v*h, -5*i - h - 3*h = -45 for i.
5
Let z be 4/3*(0 - -3). Suppose -t = -2*t - 9. Let q be ((-6)/(-5))/(t/(-30)). Solve -z*v + 3*c = -17, -v - 3*c - q = 3 for v.
2
Suppose 6 = -2*t, 0*l + 5*t - 5 = -5*l. Solve 0 = 5*r - 10, 4 = 4*f - 3*f + l*r for f.
-4
Let l(w) = -w**2 + 12*w + 4. Let p be l(12). Solve -n - 5*m + 23 = 0, -1 = p*n + 3*m - 8 for n.
-2
Let g be 1/(33/(-9) + 4). Solve 0 = 2*k - 10, -14 + 3 = -a - g*k for a.
-4
Suppose 4*j + 29*j = 99. Suppose 0*d + 3*d = 0. Solve -j*i + d*i = 0, 2*i + 3 = h for h.
3
Let q be (8/(-12))/(2/3). Let n be q*(-2 - -6)*-1. Suppose -n*k + 48 + 32 = 0. Solve 0 = 3*v - 4*v + 5, 4*v = 4*u + k for u.
0
Suppose 39 = 3*s - 5*h, s - 4*s + 15 = 3*h. Suppose 5*v - 9 = -2*n, -4*n = -2*v + 2 - s. Solve 0*l = 3*l - 9, 9 = -5*q - n*l for q.
-3
Let b = -9 - -13. Solve -u - 8 = 3*u + 4*f, 0 = b*u - 2*f + 26 for u.
-5
Let l = -34 + 12. Let t = l - 6. Let q = 22 - t. Solve 4*m + 3*b - 5 = 0, 3*m + 2*m - 5*b = q for m.
5
Suppose -13*h = -14*h + 2. Suppose 2*r - 25 = -5*i + 5*r, 4*i - r - 13 = 0. Solve -4*m + 11 = -5*a + i*a, -5*m = -h*a - 12 for m.
2
Let z be (1 - -2)/6*0. Let x = 0 - z. Solve 2 = 2*q, -2*r = 4*q - x*q - 10 for r.
3
Let k = -7 + 10. Let d(y) = 2*y**3 - 2*y**2 - 2*y - 2. Let i be d(k). Let o = 7 + -4. Solve 3*p + 3 = 0, -o*p = 5*a - 6*p - i for a.
5
Suppose 0 = 4*g + 3*o + 10, 2*g - 2 = -2*g + 3*o. Let x be (-1 - (2 + g)) + 5. Solve x*m + 6*t = t + 21, 3*t - 3 = 3*m for m.
2
Suppose -2*o = 4*g + 5 - 17, -4*g + 12 = -o. Suppose 0 = 3*z + g - 12. Suppose 2*l - 7 + z = -4*h, -2*l - 8 = 0. Solve -3*u = -3, -3*b = 2*u + h*u - 8 for b.
1
Let m be 1*(-2)/3*-3. Let d(o) = -2*o - 3*o + 1 + o**2 + 4*o. Let n be d(m). Solve 23 = -5*q + n*g, 0*q - 18 = 5*q + 2*g for q.
-4
Suppose -7*h = -2*h - 25. Solve h = -5*q - 0, -4*c - q - 17 = 0 for c.
-4
Suppose -2*i - 5 = -3*i. Let w be 2/i + (-276)/(-60). Solve 0 = -w*j - 4*s + 20, 25 = 3*s + 2*s for j.
0
Let n = -128 - -130. Solve 0*o + 2*r - 2 = n*o, 3*o + 13 = 5*r for o.
4
Let h(o) = o**2 + 6*o + 2. Let l be h(-6). Let u be 3 - (-2)/(l - 0). Suppose 3*y = 3, 4*g + u*y - 7 = g. Solve 3*j - g = f, -2*f - 3*j - 11 = -0*f for f.
-4
Let b(m) = -4*m**3 - 3*m - 2. Let s be b(-1). Solve 3*n - t = 5*n + 5, s*n + t + 20 = 0 for n.
-5
Let w = -4 - -7. Let y(c) = -c**3 + 11*c**2 - 11*c + 15. Let z be y(10). Solve 3*f = z*k + 2*f, 0 = -w*k - f + 8 for k.
1
Suppose -2*h = r + r - 52, -r = -h - 18. Let x = -16 + r. Solve 0 = -n + 4*f - 0*f - 3, 2*n = 2*f + x for n.
5
Suppose 4*s - s + 1 = -m, s = -3*m + 5. Solve m*z = -2*a - 8, 0*a = 2*a - 2*z for a.
-2
Let o(i) = 2*i - 10. Let r be o(6). Let c = 7 - 4. Solve c*h - 2*p + 1 = 0, r*h + 5*p - p - 26 = 0 for h.
3
Suppose -2*u + 16 = 4*g, 4*g + 0 = u - 2. Solve 0*h - 2*o + 21 = -3*h, -2*o = -u for h.
-5
Let g be 6/(-10) + (-23)/(-5). Solve g*q + 4*m = 2*q - 24, -4*q - 32 = 4*m for q.
-4
Suppose -1 = l - 4. Let y(h) = 2*h + 3. Let t be y(5). Suppose -d - 2*n = -6*d + t, 2*n - 14 = -4*d. Solve j + 3 = 4*v - d*v, 16 = l*v + 4*j for v.
4
Let c be ((-9)/4)/((-21)/56). Solve 3 = -3*s - k - c, 0 = -3*k for s.
-3
Let w = 28 - 24. Solve -5*j + w*t = -41, 0 = -4*j + 3*j - 5*t - 15 for j.
5
Suppose -9 = -3*u + 3. Solve 2*w = 5*v + 5, 13 - 35 = -u*w - 2*v for w.
5
Let v = 22 - 2. Suppose 5*l = 2*l - 2*h + v, 3*l - 3*h = 0. Solve -2*j - 3*d = 14, l*j + 0*d = d for j.
-1
Let p(j) = 2*j - 7. Let q be p(5). Suppose 2*z - 15 = -q*z. Suppose 15 - 3 = z*k. Solve k = -3*v - 2*a, -v + 0*a - 3*a = -1 for v.
-2
Let j be (13/(-1))/(-7 - -6). Let p be 6/(-5)*10/(-3). Suppose 2*h = -3*h + 4*n + 105, 0 = -h - p*n - 3. Solve -5*c + 4*s = -j, -4*s + 0*s + h = c for c.
5
Let p(i) be the third derivative of -i**4/24 - i**3/3 + 3*i**2. Let g be p(7). Let c = -7 - g. Solve 2*y = -2*z + 8, 0*y - c*y = -2 for z.
3
Suppose y = -2 + 2. Solve -o + 4*j + 22 = 0, 4*o + j + 2*j + 7 = y for o.
2
Let a be 2/(-6) + 24/18. Let c be -2 + 4 + 1 - 0. Solve c*z + 2 = w, 2*z + a = 3*z for w.
5
Let b(l) = -l**3 - 4*l**2 - 4*l. Let r be b(-4). Suppose 4*x = -0*x + r. Solve 4*q + 3*f = 0, -x*f - f = 0 for q.
0
Let o = -31 + 43. Let z be 287/42 - (-2)/o. Suppose -25 = 2*u - z*u. Solve 0 = -2*k + 4*k + u*v + 15, -2 = 2*v for k.
-5
Let a(b) = -7*b + 15. Let v(i) = -3*i + 8. Let t(k) = -2*a(k) + 5*v(k). Let y be t(5). Solve 3 = 3*j, 0 = -2*m - j + 2*j - y for m.
-2
Let q(l) = l + 19. Let g be q(-14). Solve 2*o = -g*r - 19, -4*o - r + 1 = -4*r for o.
-2
Suppose 3*r = -0*r + 12, 4*s + 4*r - 56 = 0. Let g(c) = 3*c**2 + 2*c + 3. Let a be g(-1). Solve -5*l - 12 = 2*y, -4*y + l = a*l + s for y.
-1
Let d be 17 - 16 - (1 + -2). Suppose 28 = 5*g - d*q + 2, -2*g = -5*q - 23. Solve 0 = -4*a - 0*j - 4*j + 12, 0 = 4*a - 4*j + g for a.
1
Let d(v) = v**2. Let r be d(-2). Solve -4*i + 4*w - 36 = 0, 16 = -r*i - 2*w + w for i.
-5
Let t(c) = -c - 6. Let l be t(-8). Solve 3*o - v - 22 = -6*v, 11 = -o + l*v for o.
-1
Let w(l) = l**2 + 0*l**2 - l - l**3 + 10 + 2*l**3. Suppose 0 = -a + 6*a. Let s be w(a). Solve -6*x + 4*i + 40 = -x, s = -2*i for x.
4
Let m be 0 + 6*(-14)/4. Let g be (m/(-14))/((-6)/(-8)). Solve -o - 4*h = -18, 2*h - 7 = -g*o + 5 for o.
2
Suppose 5*h - 15 = 10. Let b(n) = -n**3 - 4*n**2 - 2*n. Let u be b(-4). Let l = -6 + u. Solve -8 = -l*x + 5*v + 7, h*x - 2*v = 6 for x.
0
Let u(r) = -r**2 + 15*r + 5. Let t be u(14). Solve 5*x - t = -4*o, -2*o + 2*x - 5 = -1 for o.
1
Let a(n) = -n**2 + 2*n + 3. Let i be a(4). Let z = -3 - i. Solve -z*o + 9 = -2*v - o, -2*o - 2 = 0 for v.
-5
Let m(h) = -h**2 - 5*h - 2. Let x be m(-3). Let a(i) = i**3 + 5*i**2 + 4*i + 7. Let p be a(-5). Let t =