*u = 5*u + 12 for a.
-2
Let t be (-54)/(-12) + -5 - 11/(-2). Solve j + 15 = -t*k + 2, 2*k - 5*j - 11 = 0 for k.
-2
Suppose 2*w + 16 = 2*p - 4*p, -2*p = -3*w - 4. Let l = 2 - w. Solve -5*q + 5*y + 1 = l, 3*y = 15 for q.
4
Let l = -16 - -19. Solve l*z - 4*h - 6 = -h, 16 = 3*z - 5*h for z.
-3
Let p(j) = -j + 1. Let h be p(-11). Solve 28 = 3*i - 4*f, -h - 16 = -2*i + 5*f for i.
4
Let v be (-19 - -20)/((-1)/(-6)). Solve 4 + 2 = 3*o + 3*l, -v = o - l for o.
-2
Let j(l) be the second derivative of 0 + l + 1/6*l**3 + 0*l**2. Let g be j(0). Solve -3*s - 3*f - f + 4 = g, 0 = 5*s + 3*f - 14 for s.
4
Let q(x) = -2*x + 9. Let r be q(3). Suppose -1 - 3 = -2*k. Suppose 5*u - 11 = 3*m - 4, u = 2*m. Solve f + k = -l, f - l + m = r*f for f.
3
Let i(h) = h + 1. Let t be i(5). Solve 5*l + 10 = -3*b - 0, -2*b + t = -3*l for l.
-2
Suppose 0 = 4*g - 0*g + 5*q - 41, -4*g - 9 = -5*q. Let k be -3*g/20*-5. Solve 0 = -c - k*c - 3*o + 11, 3*c - o = 5 for c.
2
Let h(s) = -s**3 - 5*s**2 + 13*s - 2. Let p be h(-7). Solve -2*f = p*c + 20, f + 7 = -c - 0*c for c.
-2
Let h be (-15)/(-4) + 15/(-20). Solve 4*s = 5*l - 1 - 2, -h*l = 5*s - 24 for l.
3
Let z = 1 - -4. Let n = 6 + 3. Let m = -7 + n. Solve -z*s - 16 = j, -m*s = -j + 10 - 5 for s.
-3
Suppose -r + 4*r + 25 = 5*j, 2*r = -j + 5. Suppose -15 = 2*n + 3*h, -2*n - 3 - 22 = j*h. Solve -4*t - 2 = -2*m, n = -m - t - 2*t + 1 for m.
1
Let b(i) = i - 20. Let m be b(22). Solve -x = -5*h + 2*h - m, -3*h - x - 4 = 0 for h.
-1
Suppose 3 + 5 = -2*w. Let v be w/(-12)*(-9)/3. Let l be 3 + 5 + v/(-1). Solve l = -3*k, 0*y + 4*k = -4*y - 12 for y.
0
Suppose -4*c + 3*c = 4*h, -h - 5 = -c. Solve -c*k = -12, 4*z = -5*k - 1 + 12 for z.
-1
Let r = -1 - -3. Let q(m) = -5*m. Let c be q(1). Let b = r - c. Solve v = -3*t + b - 5, 2*v - 4*t = -6 for v.
-1
Let d(h) = h + 1. Let f be d(2). Let m = -9 + f. Let x = m + 9. Solve -4*o + u + 18 = -0*o, x*o + 4*u - 23 = 0 for o.
5
Suppose 0 = -3*u + 12, -5*u + u - 29 = 3*m. Let x = m + 15. Solve 2*p - l - 1 = -0*p, 3*p - 3*l = x for p.
1
Let j = 6 - 2. Let n = 4 - j. Solve -4*c - 12 = n, 2*c + c + 29 = 5*r for r.
4
Let g(j) = j**3 + j**2 - 2*j + 5. Let d be g(0). Solve -d*c = 2*i + 23, 4*i + 11 = -3*c - 0*c for i.
1
Suppose 6 + 4 = 5*t. Let a be t + -4 - -8 - -3. Let y = a + -6. Solve 3*o - 3*i + 0*i - 3 = 0, -5*o = -y*i + 1 for o.
-2
Let w(k) = k + 2. Let c be w(-6). Let n = c - -8. Solve 0*f = -s + f - 2, -3*f - 15 = n*s for s.
-3
Let m(v) = 3*v + 20. Let l be m(-6). Solve -l*a + 6 = -w - 4*w, 5*w = 5*a for a.
-2
Let q = -19 + 22. Solve 5*n + 25 = 2*a - q, a - 3*n - 16 = 0 for a.
4
Suppose -z = 2*g - 15, 5*z = -3*g + 54 - 14. Suppose -d + z*o = 7 - 4, 4*o = 2*d. Solve 6*u - 2*u = -d*y + 10, 3*y - 14 = -5*u for y.
3
Suppose -5*w = -10*w + 20, -l + 4*w - 15 = 0. Solve -n + 2 = -p, n + l = -2*p + 2*n for p.
1
Suppose t + 4*l - 12 = 0, 4*t + 2*l = 4*l + 48. Solve 3*u = -9, 0*r - 2*u - t = 3*r for r.
-2
Let n(k) = -k. Let w be n(-4). Let c = 30 + -26. Suppose -c*a + 2*a = -8. Solve -a*u + 12 = l - 5*l, -w*l - 22 = u for l.
-5
Let y = -10 + 11. Let c be (-8)/2*-1 - y. Solve -2 - 3 = 5*k, c*b = 3*k + 15 for b.
4
Suppose -3*a + s + 2 = -1, 2*s + 6 = -5*a. Suppose 3*x = 5*l - 59, 0 = 2*l - 8*x + 6*x - 26. Solve 2*i - 3*i = 2*d - 4, a = -2*i + 2*d - l for i.
-2
Suppose 4*a = 37 - 5. Suppose -a = -3*w - 5. Solve 0 = 3*y + 3*t, -3*t = 11 + w for y.
4
Let w be -3 - 12/(2 - -2). Suppose 0 = -p + 4*p - 30. Let b = w + p. Solve -b*j - 29 = 5*c, -4*c = -j - 8*c - 21 for j.
-1
Let l be (9 + 18/(-6))*(1 + 0). Let x = 4 - 2. Suppose q + 6 = -q - 2*f, 3*q - x*f = l. Solve 5*y + 20 = -w - q*w, -15 = 3*y for w.
5
Suppose g + 2*g - 6 = 0. Suppose -4 = -g*v - 4*y - 0, -4*y = v + 8. Suppose c = -2*c + v. Solve 5*k + 7 = 4*d, k + c = d + 2 for d.
3
Suppose -3*g - 12 = -36. Suppose 0 = b + 4*v - 23, -2*b + 1 = 3*v - 4*v. Solve 4*y + g = 0, -18 = 2*a + 2*a + b*y for a.
-3
Suppose 8*w - 3*w = 20. Solve -5*i - 3*k = -2*k - 25, -4*k + 36 = w*i for i.
4
Let f = 0 + -2. Let b = f - -7. Suppose 5*c + b = 15. Solve 10 = 4*p - 2*q, -3*p = 4*q - c*q + 10 for p.
0
Let u be ((-6)/(-8))/((-11)/(-44)). Let f(y) = -y**2 - 9*y - 4. Let h be f(-4). Solve -4*s + 3*d + 0 = h, -s - u*d = -11 for s.
-1
Let b(u) = 3*u + 3. Let y be b(5). Let i be ((-26)/6)/((-2)/(-6)). Let f = 19 + i. Solve 0 = -2*d - w + f - y, 4*w = -5*d - 36 for d.
-4
Suppose -23 + 9 = 2*s. Let p be (-2)/s - (-834)/21. Suppose 3 = 3*i - 6. Solve -21 = 2*o - i*h, -3*h - 13 + p = -4*o for o.
-3
Let j(l) = 14*l. Let a be j(2). Let w be 2/8 + (-7)/a. Solve 0 = -2*c + 4*u, w*u = 2*c + 3*u for c.
0
Let y(p) = p**3 - p. Let x be y(0). Suppose x = 2*n - 3*n + 7. Solve 0 = 5*w - 2*a + 6 + n, -10 = 2*w - 2*a for w.
-1
Let r(v) = v + 1. Let g be r(3). Let s = 3 + 1. Suppose 0 = 4*x + 4, -2*i + 0*x + s = g*x. Solve 0 = 4*l - i*y, 0 = 4*l + y - 3*y + 6 for l.
-3
Suppose 2 = -5*h - 3. Let d = h + 4. Suppose 2 = 3*j - 2*j. Solve q = d*b + 4, -q = -j*b + q for b.
-2
Let g(x) = x + 1. Let u be ((-2)/4)/((-3)/(-6)). Let w be g(u). Suppose -3*a + w = -9. Solve p - 21 + 10 = 3*m, 0 = m - a*p + 17 for m.
-2
Let m(h) = -h**3 - 14*h**2 - 14*h - 11. Let a be m(-13). Solve 9 = -i + 2*s, 0*s = a*s - 10 for i.
1
Suppose 0 = -5*s + 2*s + 6. Suppose -3*b + 40 = s*b. Solve -b = -3*w - 3*f - 23, -2*w + f - 1 = 0 for w.
-2
Let t = -5 - -1. Let a = 8 + t. Solve -2*y + 2*p = -10, a*p + 9 = p for y.
2
Suppose i + 5 = -0*w - 3*w, 2*i = w + 11. Let x(t) = -t + 5. Let c be x(i). Let p be 5/(5/8) - c. Solve 3*d - p*b + 11 = -3*b, -b + 17 = 4*d for d.
3
Suppose 5*v + 4 = -n, 4*n - 4*v - 7 = n. Solve -3*q - 14 = -5*f, 2*q + n = -2*f - 3 for f.
1
Let l = -17 - -22. Solve 2*r - 11 = -l*g, 3*g - 4 = -r + g for r.
-2
Suppose -32 = 2*r + 6. Let b = -17 - r. Solve -p - u = b*p, -5*u = -5*p for p.
0
Let h(f) = f**3 - 5*f + 6. Let o be h(2). Let q = 8 - 6. Solve -o*i + 4*c = 5*c + 6, q = c for i.
-2
Suppose d + 0*n = n - 23, -31 = 2*d - 5*n. Let h = d + 32. Solve -3*p - 2*k - 17 = -2, -3*k = h*p + 21 for p.
-3
Suppose 5*d = 3*d - 2. Let y(u) = u**2 + u. Let j be y(d). Let i = -3 - -8. Solve 0*s + 2 = -2*x + 4*s, j = i*x - 3*s - 2 for x.
1
Suppose -12 + 0 = -4*f. Suppose f*p + o - 93 = -o, 2*p - 69 = o. Let h be 0 + 23 - (-1 - 1). Solve -3*g + 5*x + h = 0, -13 = 2*g - 4*x - p for g.
0
Suppose 3*w - 6 = w. Solve 3*f - 2*r + 7*r - 6 = 0, 6 = w*f - r for f.
2
Let h = -49 + 93. Let b = h - 40. Let s be (-1)/1 + (3 - 2). Solve d - 2 = -r, s = b*d - 3*d + 4*r - 5 for d.
1
Let g = 4 - 5. Let w be (0 - 1)*(g + -4). Suppose 5*m - 40 = -w*c - 0*m, -20 = -3*c - m. Solve c*i - o - 30 = i, 5*i - 2*o = 35 for i.
5
Suppose -3*o = 2*t - 4*t - 11, -15 = 5*t - 5*o. Solve t*h = -5*d + 10, 9 + 16 = 5*h for d.
0
Suppose -5*m + 87 = -63. Let r = 50 - m. Solve -3*t = 4*f - 0*f + 15, f - r = 4*t for t.
-5
Let t = -81 + 83. Solve 4*n + 5*a - 11 - 2 = 0, -2*n + 2*a = -t for n.
2
Suppose 0 = 2*d - 3*d + 4. Solve 3*b = v + 2 - 0, -2*v = d for b.
0
Let a(i) = i**2 - 5*i + 5. Let v be -5*(3 + -3 - 1). Let u be a(v). Solve -3*n - 3*l - 7 = n, n + 3*l = u for n.
-4
Let s be 1 + 2 + -2 - -1. Suppose 2*f + s*f - 112 = 0. Suppose -3*i + 5 = -1, -2*i = 4*v - f. Solve -v = z - 4*z + 3*p, -5*z + 10 = -p for z.
2
Suppose -4*v + 1 = -3. Suppose v = d - 1. Solve 0 = k + 5*o - 13, d*o = k + k + 10 for k.
-2
Let n = 3 - 1. Let g = -28 - -32. Suppose 3*h + r - 24 = g*r, 2*h + r = 4. Solve 2*f + 17 = n*y + 1, -13 = -5*y - h*f for y.
5
Let p = -2 - 6. Let g be -3 - (p - 0)*1. Solve -s + y - 1 = 0, 0 = -g*s - 2*y + 5*y + 5 for s.
4
Suppose 2*i = -3*i - 5. Let h be (i + 2)/(2/6). Suppose -35 = -3*t - 4*a, -5*t + 28 = a - 2. Solve -h*l = -2*s - t, -3*l + 14 = l + s for l.
3
Let a be (-1 + 1)/((-2)/2). Let q(u) = -4 - u + 2 + 4. Let h be q(0). Solve a = 7*r - h*r - 20, -17 = 5*c - 3*r for c.
-1
Suppose -6*c - 32 = -10*c. Solve 7 = n - 2*v, -5*n - 3*v + c = -4*v for n.
1
Let c(d) = 3*d - 9. Let z be c(4). Suppose -5*v + z*s + 15 = -2*s, -9 = -3*v - s. Solve 4*w + 8 = -2*g, -v*w - 6 = 2*g - g for w.
-2
Let t(r) = r**2 - 5*r + 4. Let g be t(4). Solve 7 = 4*s - k - 0, g = -3*s - k for s.
1
Suppose 5 = 2*k - 2*f + 3, 3 = 3*k - f. Let l be k - 1*(-1)/(-1). Let r = -12 + 14. Solve 4 = -l*z - 2*z, -r*d = z + 6 for d.
-2
Suppose -3*h - 9 = p, -5*p - 3*h - 9 = -2*p. Suppose 5*q = 5*t + 10,