 = -h, 0 = -s*h - 5*x for h.
0
Suppose -5*m - l = -4*m - 4, 5*m = -2*l + 14. Solve 5*k - 15 = m*c + 16, -2*k + 2*c = -16 for k.
5
Suppose 4*r = -2*m, 12*r = 16*r - 2*m. Suppose 0 = -4*n + 20, s + n = -4*n + 23. Let p = 1 - s. Solve -p*z + b + 11 = r, 4*b = 5*z + 1 - 24 for z.
3
Suppose 4*g - 10 = -2. Suppose 5*s = -4*a - a, -8 = g*s + 4*a. Suppose 7 + 9 = s*b. Solve -3*y - 3*q + 20 = -7, b*y - q - 16 = 0 for y.
5
Let y = 33 - 11. Solve 4*n = -5*a + 2*a + 27, n = 5*a - y for a.
5
Let p = 34 + -50. Let i = -11 - p. Solve -w - i*r = 2*w - 40, -4*w - 5*r = -45 for w.
5
Suppose 0 = 3*c - 6*c + 9. Solve 0 = -5*g - 2*v + 35, v = c*g - 3*v + 5 for g.
5
Let k(g) = g + 29. Let y be k(-14). Suppose z - 5*f = 45, 0 = z - 0*f + f - y. Solve 0 = -2*x - 6, m - 6*m + 5*x = -z for m.
1
Let s(l) = -l**3 + 5*l**2 - 3*l - 4. Let o(r) = r**3 + 11*r**2 - r - 7. Let a be o(-11). Let n be s(a). Solve -5*j + 3*d = -n*j - 22, -j = 2*d - 7 for j.
5
Let q = 26 - 21. Solve 2*j - 3*s + 29 = 2*s, j - 23 = -q*s for j.
-2
Suppose 4*k = -o + 13, 4*k - 2 = -3*o - 3. Let w = o + 17. Solve -5*n - w = -h - 4*n, 0 = 3*h - 4*n - 35 for h.
5
Let t = 15 + 39. Suppose 0*x - t = -2*c + 2*x, 5*x = -20. Solve -4*a + 3*h + c = 0, 0 = -6*h + 2*h - 4 for a.
5
Let d(q) = q**2 + 6. Let s be d(0). Let k(u) = -u**3 + 5*u**2 + 7*u - 1. Let c be k(s). Let t be 8/5 - 4/(-10). Solve t*h + 1 = 3*h + c*f, 4*h = 3*f + 4 for h.
1
Let u = -26 - -29. Let l be 2 + 1/(2/8). Let y = l + -4. Solve 4*b = y*n, -2*b - 7 = 4*n - u*b for n.
-2
Let z(w) = 3*w**2 + 3*w + 4. Let s be z(-3). Let k = 10 - 14. Let p = s + k. Solve 2*c + 2*c = -y + p, 5*c = -4*y + 17 for c.
5
Suppose -4*a + 20 = -0*a. Suppose -z + 4*z = 0. Suppose z - 2 = -l. Solve 5*m + 25 = -l*j + j, -a*m - 15 = -j for j.
-5
Suppose -2*g + 9 = 3. Suppose 3*i = -6, g*i - 1 = -b + i. Suppose 0 = -3*p + 4*p - 8. Solve 18 = -2*v - b*r, 3*r = r - p for v.
1
Let m be (12/(-10))/(21/(-455)). Solve -3*j - 2*h + 9 = 0, -4*j + m = -5*h + 3*h for j.
5
Suppose k - 3 + 2 = 0. Suppose -3*l = -2*m, 5*l + m - 4 = 3*m. Let q be (-12)/(-10)*(-5)/(-2). Solve j + l = -q*c + 13, 3*j = -c + k for j.
-1
Let j = 271 + -496. Let l be j/(-54) - 1/6. Solve 2*v - 2 = 0, -v - 14 = l*i + 1 for i.
-4
Let s = -11 - -11. Let j = 3 + -3. Solve 5*i - 6 = 2*l, s = -j*i + 4*i + 3*l + 9 for i.
0
Let r be -2*(1/2)/1. Suppose 3*x + 3*c - 3 = 0, -2*x - 5 = -5*c + 14. Let u be (x + 7)*(r - -2). Solve -5*w - h = -u, -3*w + h - 4 = -7*w for w.
1
Let o(u) = 6*u**2 - u. Let r be (132/15)/(4/10). Suppose 3*z + d + 1 = 3, 3*z = -5*d + r. Let k be o(z). Solve -4*y = -4, -4*j + k*j - 3*y + 3 = 0 for j.
0
Let g be (-4 - -1) + 2 + 3. Let l(k) = k + 2. Let v be l(g). Solve 0 = -w + 4*c + 16, 2*w = v*w + c + 4 for w.
0
Let p = 188 - 173. Solve o + 2*o - 15 = 3*d, 0 = 4*o + d - p for o.
4
Let j(r) = -3*r. Let v be j(-1). Let o be (1/3)/((-12)/(-1332)). Solve 14 = 4*c + v*y, -4*c + 5*y + o = 7 for c.
5
Suppose 19 = 3*j + 5*c, -3*j = -8*j + c + 13. Let d = 2 - 2. Solve 2*h - j*b - 13 = d, h + 9 = -3*b - 7 for h.
-1
Let c be (6/8)/(16/64). Solve y - 7 = p, c*y + p = -0*y + 5 for y.
3
Let a be 1/(-3) + (-21)/(-9). Suppose 5*f = a*f + 57. Suppose -6 - 6 = -3*y. Solve -m + 24 = -y*s - s, -4*m = 3*s + f for m.
-1
Let v = -73 + 75. Solve 5*o - v*o + 11 = 4*x, -4*x - 5*o = -35 for x.
5
Let a(c) = 2*c + 7 + 0*c - 3*c. Let i be a(4). Solve 2*u = k - 6 - 0, 0 = -3*k + u + i for k.
0
Suppose a - 3 = -12. Let o be ((-3)/2)/(a/18). Solve 12 = 3*x + o*j, 5*x + j = -0 + 16 for x.
3
Let y be (11/(-30) + 8/(-60))*-2. Solve -r = 5*q + 17, -4*r - 6 = -q - y for r.
-2
Let j be (0 - -3)*4/3. Solve 4*h = -2*k - 2, -j*h + 5*k - 9 - 28 = 0 for h.
-3
Let j(v) = v**3 - v. Let a be j(-1). Suppose a = -3*u + 6. Solve 4*w + 0 = -2*q - u, 5*w - 2*q - 2 = 0 for w.
0
Suppose 2*u - 7 = j - 2*j, 4*j = -12. Solve -u*t - 10 = 2*s - 27, -4*s - 1 = 3*t for s.
-4
Let b(w) = w**2 - w. Let m(s) = -3*s**3 + 4*s**2 - 4*s - 1. Let x(t) = 5*b(t) - m(t). Let o be x(1). Solve o*p - q - q - 18 = 0, -16 = -3*p + 2*q for p.
2
Let r = -30 - -30. Solve -3*p + 3*u + 6 = r, -2*u - u + 15 = 4*p for p.
3
Let y(k) = 2*k + 21. Let p be y(-8). Solve -2*z - 12 = -2*c + p*c, 8 = -3*z - 2*c for z.
0
Let p = -18 + 41. Suppose 5*z = p + 2. Suppose -c + 3*c - 10 = 0. Solve 0 = -i + 4*h - 0*h - 7, z*h = 2*i + c for i.
5
Suppose -4*q = 5*p - 21, 3*p = -2*q + 22 - 9. Suppose -4*g = 2 - 38. Let t = g - p. Solve -t*z + 5*w - 25 = 0, -2*z + 20 = -0*z + 4*w for z.
0
Let x(u) = 7*u + 1. Let k(a) = -3*a - 1. Let z(y) = 13*k(y) + 6*x(y). Let i be z(5). Solve -s + 3*c - 19 = s, -s + i = 2*c for s.
-2
Let o be 2 - (2/6)/(1/(-15)). Solve 2*w + 11 = -m - 2*w, -5*m + 4*w - o = 0 for m.
-3
Suppose 3*i - 5*l - 31 = 0, 6*i - i - 15 = l. Solve -4*a + 4*p = -16, 0*a - 2 = -i*a - 4*p for a.
3
Let x be 6/(-4)*(0 + 2). Let l be (x/3 - -4) + 0. Solve 2*t - 8 = l*y, -12 = -2*y - 2*t - t for y.
0
Let s(q) = 3*q - 81. Let j be s(28). Solve 5*a - v = -5*v + 15, 0 = -5*a - j*v + 10 for a.
-1
Let c = 20 + -16. Solve 5*i + p = c*i, 24 = 3*i - 3*p for i.
4
Let f be -1 + 3/(-2)*-4. Suppose -4*c + 42 = s, -2*s - 12 = -f*c + 47. Suppose 3*o - 7 = c. Solve -2*r - t = -13, 2*t - 5 = -r + o for r.
5
Suppose 4 = -2*s + 12. Solve 0 = -2*n + s*x - 6, 0*n - 9 = 3*n + 3*x for n.
-3
Let f = -31 + 35. Solve 5*n = -c + 12, 6 = -2*n - 0*n - f*c for n.
3
Let m be (-37)/(-2) - 9/(-6). Suppose -6*v + m = -v. Solve 3*k = 3*a + 3, -3*k + v*k - 5*a - 9 = 0 for k.
-1
Suppose -5*s + 6 + 34 = 0. Solve -2*x = 2*v - 6, 0*v - s = -4*v - 3*x for v.
-1
Let o(n) be the second derivative of -n**5/20 + 7*n**4/12 - 5*n**3/6 - 2*n**2 - n. Let g be o(6). Solve 0*h + g*f = -4*h + 24, 3*h - 23 = -4*f for h.
5
Let s be (-330)/(-18) - 2/6. Let m = 19 + -29. Let i = s - m. Solve 5*y - i = 2*q, 5*q - 4*q = y - 8 for y.
4
Let f = 4 + -4. Let z = 5 - f. Solve 6 = -2*a, -6*q + 5*q = -z*a - 15 for q.
0
Suppose 15 = 2*o + 3. Suppose -17 = -4*l - 1. Suppose l*q - 2*y = o, -4*q - 4*y = -5*q - 2. Solve 0 = 5*c - q*b - 13, 0 = 3*c - 3*b - 2 - 4 for c.
3
Suppose -5*j = 21 - 51. Solve c + 2*h + 6 = 0, -4*c + 2*h = -0*h - j for c.
0
Let b(r) be the second derivative of -3/2*r**3 - 1/20*r**5 - 2*r - 5/6*r**4 + 0 + 3/2*r**2. Let f be b(-9). Solve 3*q = f*o + 9, -2*o - o + 5*q = 17 for o.
1
Let s = 0 + 2. Solve -c = -s*y - 11, -5*c = -c - 5*y - 29 for c.
1
Let i be (-1)/(-4) - (1 - (-27)/(-4)). Solve 3*r + 10 = -b, -i = r + r + b for r.
-4
Suppose -5*u - a = -4*a - 7, 3*u - a = 1. Let g be (-33)/(-12) - u/4. Let j be 3 + -1 - 3/(-3). Solve i - j*i + 2*k = 6, k = -g*i + 7 for i.
1
Let l be -2 + (-3 - -2) - 9. Let i be 16/(-4)*15/l. Solve -4*h + 5 = -i*d, -3*h + 3 = d - 4*d for d.
-1
Let r(i) = i - 2. Let o(x) = -x**3 - 6*x**2 + 7*x + 8. Let u be o(-7). Let f be r(u). Solve -3*v + f = 5*n, -2*n - 7 = -4*v + 1 for n.
0
Suppose 3*l - 5*t = 37, 0 = -3*t - 4 - 11. Solve -2*n + 18 = l*o, -9 = -3*o + n + 2*n for o.
4
Let l = 1 + -1. Solve 5*t - 2*v = v, v = l for t.
0
Let a(q) = 0*q + 2 + q - 2*q + 5. Let c be a(5). Solve -4*b - 4 = 4*y - 5*b, b - 4 = c*y for y.
0
Suppose 5*h = -3*q + 13 + 21, 0 = -h - q + 8. Let f = -6 - -4. Let n be (6 + f)*6/8. Solve 0*i - i - 11 = h*t, n*t + i + 5 = 0 for t.
-3
Suppose -14 = -5*j + 1. Solve 5*m + 35 = j*d, 0 = -0*m + 2*m - d + 13 for m.
-4
Let b(n) = n**2 + 5*n - 3. Let z be b(-6). Suppose 4*a + z*f + 4 = -0*a, -3*f - 18 = -3*a. Solve 5*w - a*s - s = -11, -4*s - 12 = 0 for w.
-4
Suppose 2*j - 5*j + 32 = d, 5*d + 4*j - 193 = 0. Suppose 0 = -2*f - u + 6 - 0, -4*u = -5*f + d. Solve 3*b - t + 13 = -b, 5*b = -f*t - 35 for b.
-4
Let k(f) = -f**2 - 4*f. Let o be k(-3). Suppose -o*w - 2*w = 0. Let u = 2 - w. Solve 0 = -5*g + u*a - 20, 0 = -g - 0*g + 5*a - 4 for g.
-4
Let t be ((-1)/(-2))/((-2)/12). Let o be (0 - -2)/(4/60). Let m be (2/t)/((-4)/o). Solve 0 = -m*u + 5*g, 2*u - g - 3 = 4*g for u.
-1
Let c(z) = z**3 + 11*z**2 + 10*z + 2. Let n be c(-10). Let d be 2/7 + 180/7. Suppose d = 5*p - 4. Solve -5*l = -4*l + 4, -n*q = -l + p for q.
-5
Let m(k) = k**3 - 15*k**2 + 14*k. Let z be m(14). Suppose 0*j + 3*j - 45 = 0. Solve -5*s - 2*d - j + 7 = 0, z = -2*s + 5*d + 20 for s.
0
Let w = 20 - 7. Solve -r + 0*s = -2*s - w, -r + 21 = -4*s for r.
5
Let p(o) = o + 4. Let w be p(-5). Let d be -4 - -1*(3 - w). Solve -n = -3*c - d*c - 7, -2*n +