olve j = 3*x - 9, 9 = -2*k + x + 2*x for k.
0
Suppose -2*b - 12 = -5*b. Let u be (-6)/b + 405/18. Suppose -6 = -3*a, 2*a + a + 14 = 4*v. Solve -5*p = -3 - 7, -3*p = v*j - u for j.
3
Let h(g) = -g + 13. Let z be h(7). Suppose 4 = q - 6. Suppose -4*f = -z - q. Solve 2*v + 6 = -f*i - 8, 5*i + 16 = -3*v for i.
-5
Let p = -28 + 28. Suppose p = 5*q + b - 14, 4*q + 2*b - 4 = 2*q. Suppose 4 = q*v - 2. Solve 0 = 2*u - 3*l + 9, -v*u = -2*l + 6 - 0 for u.
0
Let o = -42 + 46. Let c be (-4)/8*(-4 - o). Solve 0 = -a + 6*a + 25, c*t + 4*a = -32 for t.
-3
Let y = 94 + -56. Suppose -2*x + y = 14. Solve 3*c = 2*v - 2*c + 20, -x = 2*v - 3*c for v.
0
Suppose -6 = -2*j + 2. Suppose -567 - 105 = -19*z - 23*z. Solve -s = 4*k + 11, j*s = -2*k + k + z for k.
-4
Suppose 586*u - 588*u = -6. Solve -u*d + 3*a - 6 = 0, 5*d + 12 = 2*a - 4 for d.
-4
Let i be (-2)/(-1) + (-1 - 1). Suppose b - 5*g = -g + 14, i = -2*b - 3*g - 5. Let a = -7 - -18. Solve 0 = 5*x + b*j + 5, 2*x - 4*x + j - a = 0 for x.
-3
Let k = -6 - -9. Let u be -3 + 5 + -1 + -2 + 6. Suppose -13 = -u*h + 2. Solve k*p - p = 5*j, p - 4*j = h for p.
-5
Suppose 3*k - 13*p - 14 = -12*p, 4 = 4*p. Solve -5*a = -10, -k*j + 4*a = -8 + 31 for j.
-3
Let d be 2/5 + (-4)/(20/(-93)). Let s(a) = a. Let t be s(5). Solve 11 = c + 3*n, 0 = -t*c + 2*n + n + d for c.
5
Suppose 62*o = 61*o + 8. Solve -35 = 5*q + 12*p - 16*p, -4*q - 4*p = -o for q.
-3
Suppose -70 - 22 = -4*u. Suppose 8*g + 2*g = 0. Suppose -k - 4*t + 8*t + u = g, -k - t - 2 = 0. Solve 1 = d + b, k*b + 15 = -d + 6*b for d.
-3
Suppose -2*x + 5*v = -23, 0 = 5*v + 5 + 10. Suppose -26 = -x*r - 10. Solve -3*t - 9 = 0, -12 = -3*s - 0*s + r*t for s.
0
Suppose -s - 8 = u, -2*s + u = s + 4. Let l be (3 + 0)/s - -12. Suppose 2*x + 2*j - 14 = 0, -j = x - 4*j + 5. Solve -21 = k + 2*k + 5*a, -a - l = x*k for k.
-2
Let m(f) = 9*f + 3 + 2 - 2 + 0. Let i be m(2). Suppose -5*d = i - 71. Solve q - 4*g = -d, 0 = -4*q - q - 3*g - 4 for q.
-2
Let y(c) = -c - 7. Let n be y(-8). Let v be -1*(2 + -2 + -2). Solve 2*d + g + n = v*g, 5 = -2*d + 5*g for d.
0
Let c = 398 + -394. Solve -3*b + 5*u = 1, -7*u = 3*b - c*u + 9 for b.
-2
Suppose 19 = 4*a - 3*f, -161 + 154 = -3*a - 5*f. Solve -2*r - 18 = 2*l, 15 = 2*r - a*l + 3 for r.
-4
Suppose 5*l = -4*i - 10, -2*l + i + 0 = 4. Let r = l + 5. Let w be r/(-5 - -2) - -1. Solve t + 5 = -3*s, -t - 7 = -w*t + 4*s for t.
1
Suppose -a + 7*i + 5 + 6 = 0, -a - 1 = 5*i. Solve 5*d - d = 4*z + 24, 3*d - a = -4*z for d.
4
Let d(t) = t**3 - 2*t**2 - 8*t + 4. Let j be (-5)/(3/(-3)) + -1. Let b be d(j). Solve -4*y = o + 5 + b, 2*o - y = -9 for o.
-5
Let p = -14 - -19. Suppose p*c - 5*d = -4*d + 135, -3*c = 3*d - 81. Let o = 31 - c. Solve 2*b = o*a + 10, a + 5 = b - 4*a for b.
5
Let h(k) = -2*k**2 + 22*k + 4. Let a be h(11). Solve 0*t + a*d + 32 = -5*t, 2*t + 3*d + 17 = 0 for t.
-4
Let a be (-10)/(8 - 10) + -3. Solve 0 = -2*o - a*o + g, 3*o - 1 = g for o.
-1
Let y be 2/3*(-1 + 4). Let c(h) = h. Let s(t) = -4*t - 26. Let l(b) = -c(b) + s(b). Let k be l(-6). Solve y*g - 1 = 5*v, 5*g + 5 + 1 = k*v for g.
-2
Suppose 0 = -3*u - 9, 4 = f - 5*u - 11. Solve 0 = -3*o - 3*c - 6, -3*c = -2*o - f*o + 1 for o.
-1
Let o = 704 - 701. Solve 0*u + 4*u + b = -6, -o = -u + 2*b for u.
-1
Let q = -173 + 174. Solve -3*j = 9, -r = -2*j - 0 - q for r.
-5
Let f(y) = y + 7. Let t be f(-7). Let x(a) = a**2 - 2*a + 5. Let d be x(t). Suppose -8*v = -d*v - 12. Solve 0 = 5*p - v*q - 1, -2*q - q + 8 = 5*p for p.
1
Suppose 0 = -3*o + 63 - 12. Let i = -27 + 32. Solve -3*g = -2*f + o, -2*g = -4*f + 9 + i for f.
1
Let d(m) = -101*m - 1308. Let u be d(-13). Solve x + 20 = -22*g + 18*g, 0 = u*x - 3*g - 15 for x.
0
Suppose -g + 2*u + 5 = 0, 2*g - 6 = 5*u + 3. Suppose g + 2 = s. Solve 3*o - r + s = -4*r, -r = 4 for o.
1
Suppose -2*w + 2*v + 22 - 8 = 0, -w - 5*v = 11. Solve x - 45 = -4*x - 5*y, y = -w*x + 21 for x.
4
Suppose -3*b = -9, -2*c - 9*b = -12*b + 1. Solve 3*y - r = y + 5, -5*r + 45 = c*y for y.
5
Let c = 416 + -413. Solve 0 = -o - c*r + 4, -5*r + 16 = -3*o for o.
-2
Let h(j) = 39*j**2 + 1. Let f be h(1). Let m = f - 20. Let l(c) = -19*c - 226. Let x be l(-12). Solve -q = x*u - 6, -5*u = -2*q - m + 5 for u.
3
Let u be (-1)/(2*(-1)/10). Let d(h) = 61*h**3 - 2*h**2 + h. Let g be d(1). Let l be g/27 - (-6)/(-27). Solve 5*m = -u*y + 5, 0 = -2*m - 3*y - l + 5 for m.
0
Let w(g) = -2*g**3 - 3*g**2 + 4*g + 1. Let i be w(-3). Let q = i + -52. Let d = -35 - q. Solve 2*t = -3*t + 25, 2*t = 3*m + d for m.
3
Let j be (-2)/(6/9)*-1. Let p(z) = -z + 30. Let s be p(25). Solve 0 = -j*o + g + 2, 4*g = 4*o - 3 - s for o.
0
Let m be (-3)/5 + ((-840)/(-25))/6. Let g(n) = n**2 - 6*n + 7. Let a be g(m). Solve -t - 8 = 2*t + 5*v, -t + a*v = -12 for t.
4
Let r = -11 + 13. Suppose -r*w + 5 = -w. Let z = w - 3. Solve -3*h + 12 = 0, -3*n + 0*h + 23 = z*h for n.
5
Let b(u) = 8*u - 19. Let v be b(5). Solve -z = -4*z + 4*r - v, -4*z - 27 = -5*r for z.
-3
Suppose -72 = -6*g - 12. Suppose g*x - 30 = 5*x. Solve -2*j + x = j, -2*b = 5*j - 14 for b.
2
Let r be 0 + 7 + (-4)/(-1). Let d(f) be the first derivative of -f**3/3 + 5*f**2 + 13*f + 1. Let b be d(r). Solve -2*t - 2*q = 3*q - b, 4*t + 4*q = -8 for t.
-4
Let r(a) be the third derivative of a**4/12 + 5*a**3/6 - 9*a**2. Let f be r(0). Solve 3*z - 12 = f*u, -2 = -2*z + 6 for u.
0
Suppose 4*a - 28 = 5*h, 4*a + 5*h + 16 - 4 = 0. Solve -t + 5*n + 5 = 0, -4*t + 0*n + 20 = a*n for t.
5
Suppose -5*h - 4 = -24. Suppose 3*u = -3*n + 5 - 2, 4*u - h*n = 28. Let b = -5 - -9. Solve -b*d + 5*y = 5, -3*y - u = -2*d - 7 for d.
0
Suppose m + 4 + 50 = -4*n, -4 = -2*m. Let c be -2*n/8 + (-10)/20. Solve 0 = 2*u - 8, c*u + 11 = -l + 5*u for l.
-3
Let m(r) = -r**2 + 7*r + 3. Let v be (-2)/3 + 207/27. Let g be m(v). Let w be g + (3 + -3)/2. Solve w*t = 5*t + y - 9, 3*t + y = 13 for t.
4
Suppose 0*s - 2*s - 74 = -4*r, -2*s = 5*r + 29. Let f = s + 32. Solve 0 = f*d - 2*u - 26, -2*d + 23 = -5*u - 0*u for d.
4
Let h(x) = -3*x**3 + 4*x**3 - 2*x**3 - 4 + 5*x**2 + 6*x. Let b be h(6). Let j be 4/(-10) - b/10. Solve -6*t = -5*w - 2*t, -w + 3*t = j for w.
0
Let g be 3 - (-5 + (7 - 2)). Let t be g*20/(-48)*-4. Solve 7 = -t*p + 4*y, -2*y - 4 = -0 for p.
-3
Let t(l) = -l**3 + 8*l**2 - 17*l + 8. Let u be t(4). Solve -4*m = -5*r + m + 15, -6 = -r + u*m for r.
2
Let a(n) = -n**3 - 8*n**2 + 17*n - 30. Let q be a(-10). Solve -b + 3*o - 4 + 22 = q, 7 = -b - 2*o for b.
3
Let j(n) = -n**3 + 5*n + 5. Let z be j(-2). Suppose 0 = -3*u - 12, z = 2*t + 3*u - 7. Solve 3*w - 7 = 3*b + t, b + 2*w = -3 for b.
-5
Let q(x) = x**2 - 2*x - 165. Let v be q(-12). Solve o - v*k + 12 = -0*o, -2*o + 6 = 4*k for o.
-3
Suppose -g + 5*q - 5 = 5, -23 = -4*g - q. Suppose 4*a - 1206 = g*a. Let m be a/(-99) + 2/(-11). Solve -2*u - 2 = -2*j, 6*j = j - 2*u + m for j.
2
Let r(f) = 3*f**3 + f - 1. Let t be r(1). Let i be -3 + (-1)/((-3)/15). Suppose i*l - t*l = -4. Solve c = 3*a + l*c + 3, -a - 7 = 3*c for a.
2
Suppose 8 = 4*i, 5*s + 3*i = -i + 88. Let v = -9 + s. Suppose 3*z + v = 4*d, -d + 1 - 6 = -3*z. Solve -2*f + 3*y - 18 = 0, -4*f = d*y - 4 - 0 for f.
-3
Suppose -5*w + 4 = 3*p, -p = -3*w - 2*w + 12. Suppose w*z + 0 = 8. Solve t + 12 = z*l - 4*t, -5*l - 26 = 4*t for l.
-2
Let j(a) = -a - 4. Let f be j(5). Let h = f + 11. Solve -3*l - h = -b, -6*l + 3*l + 23 = 4*b for l.
1
Let c = 30 - 28. Let o be (-12)/(-2 - c/(-4)). Solve -10 = 3*k - 5*a, -k - o = -4*a - 0 for k.
0
Let w = -27 + 29. Let g(l) = -15*l - 58*l**3 + 57*l**3 + 7*l**w + 16 + 8*l**2. Let x be g(14). Solve m - 10 = -0*f + 3*f, x*f = m - 5 for f.
-5
Let i(w) = w**2 - 7*w - 1. Let p be i(9). Let v = 41 - p. Suppose -2*c - c = 3*z - v, 4*c = 2*z + 2. Solve b - 4 = n, -5*n - 20 = -n - z*b for n.
0
Let l be (-12)/54 - 2146/(-18). Suppose 0 = 4*b + 4*g + 112, -3*b + 4*g - l = -0*b. Let a = 33 + b. Solve a = -r - 4*r - 5*q, 21 = -3*r + 4*q for r.
-3
Suppose -5*k - 4*r = -23, -3*r - 3 = -3*k - 0. Solve -i + 5 = -k*p + 2, -4*i - 6 = -3*p for p.
-2
Let k = 39 + -21. Let q = -14 + k. Solve q*x - 4 = n, -5*x = n - 0*x - 14 for n.
4
Let f = 22 + 8. Let l be 4 + (4/(-2) - -3). Suppose 0*i - 4*h = i + 7, 3*h = 3*i - 24. Solve -3*z - 4*a - 6 = -27, -l*a + f = i*z for z.
3
Let b = -7 + 11. Let c(q) = q**3 - 3*q**2 + 3*q - 1. Let t be c(3). Let l be t + -4 + 0/4. Solve 0*x = h + 3*x + l, 3*h + 12 = -b*