16 = 0 for h.
0
Let m be (-9)/(-6)*(-16)/(-12). Solve n - 6 - 1 = c, -10 = m*c for n.
2
Let m(c) = -c**2 + 6*c - 4. Let z be m(4). Suppose -4*q - 5*d - 8 = -10*d, 2*q - 5*d - 6 = 0. Let i = -7 - q. Solve 22 = 4*n + 2*f, 5*f = z*n - i*n - 15 for n.
5
Let k = -12 - -17. Suppose 0 = 3*x - 3*s + 5 + 7, -3*x - 20 = -k*s. Solve 5*w = 2*q - 26, -4*q + 20 = -x*w - 2*w for q.
3
Let a = 21 + -17. Solve 0 = -2*v + a, 3*v = -3*j + 19 - 7 for j.
2
Suppose b - 5*b + 12 = 0. Solve 2*c + c + 1 = 2*q, 3*q + b*c = -21 for q.
-4
Let c = 161 - 139. Solve 0 = -5*t - 2*u + c, -t + u + 7 = t for t.
4
Suppose 76 + 2 = 4*h + 3*m, 3*h + 4*m - 62 = 0. Suppose k - 5*g - 3 = -5, 2*k = -g + h. Solve 2*f + 4 - 2 = 3*i, 4*f = 3*i + k for i.
4
Let j be (-4)/(-5)*10/1. Let f be (-3 + 1)*(-2 + 3 + -3). Solve 4*v = -5*c + j, -f*v + 8 = -c - 0 for c.
0
Suppose -5 = -s - 2. Solve -3*w + s*b = 2*w - 16, -w + 2*b - 1 = 0 for w.
5
Let k be (-6)/(-3) + -4 - 7. Let h = k + 17. Suppose -y + h = y. Solve 3*j + 28 = -5*g, -14 = -5*j - y*g - 39 for j.
-1
Let y be (-220)/66*24/(-10). Solve 3 = 4*w - u - y, 0 = 5*u - 25 for w.
4
Let j be (1/(-2))/(3/(-18)). Let s be (-32)/(-12) - 3/(-9). Solve 5*d = j*b + s, -4*d + 2*b + 0 + 2 = 0 for d.
0
Suppose 3*g + 5*i = -23, 3*i + 22 = -3*g - i. Let j(q) = -q**3 - 5*q**2 + 2*q - 7. Let z be j(g). Solve u + 11 = 3*d, -4*d + 16 = -5*u - z for u.
-5
Let y be 6/2*(-4)/6. Let k(c) = -2*c**3 - 3*c**2 - c + 1. Let r be k(y). Let v(i) = i - 6. Let l be v(10). Solve -l*s + 24 = 4*x, -x + r = x - 3*s for x.
5
Let n = -1 - -1. Let k = 21 + -6. Suppose 5*l - k = -5*u, 3 = -3*u - 4*l + 13. Solve n*p - 5*z = u*p - 12, -5*p + z + 3 = 0 for p.
1
Let u = 39 - 11. Solve -4*r - 4*t + u = 0, -2*r + 25 = 3*r + 3*t for r.
2
Let c(y) be the first derivative of -y**2/2 + 11*y + 1. Let o be c(11). Solve -z - z = -5*t, z + 4*t = o for z.
0
Suppose -5 = -h + t, 0 = -5*h + 4*t + 15 + 5. Suppose -3*l + 2 + 1 = h. Solve 4*a = 3*g + 28, 2*a = -3*g - l - 3 for g.
-4
Let s(u) = 2*u**2 - u - 1. Let a be s(2). Let o = 5 + -7. Let q = o + a. Solve -6*r = -r - 5, 2*f - q*r = -3 for f.
0
Let d = 39 + -35. Solve -b = -n - 6*b - 30, 5 = -d*n + 3*b for n.
-5
Let o(y) = -3*y. Let h be o(-1). Suppose -v = -2 - h. Solve -2*i = 5*r + 12, -i = -4*r - v*i - 12 for r.
-2
Suppose -1 = -2*z + z. Solve -z = -4*m - 5*n - 3, -3*n - 12 = -3*m for m.
2
Let l = -6 + 10. Let i = -40 - -45. Let n(d) = -d + 6. Let m be n(3). Solve m*z - 4*q = 5*z, -l*z = i*q for z.
0
Suppose -14*l + 51 - 9 = 0. Solve l*h = -o - 0*o + 20, -3*o = 4*h - 35 for o.
5
Let k(v) = -3*v + 10. Let h be k(3). Solve -3*o - 7 = -f - h, -9 = f + 2*o for f.
-3
Let b(c) = -c + 11. Let h be b(7). Suppose 4*u + h = 8*u. Let y be (-1 + 7/3)*3. Solve -y*v = 4*x - 4, 1 = 3*x + 2*v - u for x.
0
Let k = 3 + -2. Let z = 1 + k. Suppose -b = -1 - 1. Solve -b*w - 10 = w - c, c = -z*w - 15 for w.
-5
Suppose 9 = 2*k + p, -3*k - p + 7 = -6. Let t = -4 + k. Solve 5 = 4*x - 3*v - t, 3*x - 2*v - 4 = 0 for x.
2
Let i = 23 - 20. Let j = 2 + -2. Let u(f) = f + 2. Let c be u(j). Solve -31 = -5*v - c*g, v - 11 = -5*g + i*g for v.
5
Suppose -3*h + 9 = -3*l, -4*h + l = -4*l - 13. Solve x + 4*x + h*d - 4 = 0, 2*x = -d + 1 for x.
2
Let o = -16 + 29. Suppose 2*z = -4*i - 24, i = -3*i - 3*z - 28. Let f be -1 - 18/(1 + i). Solve -2*h + 8 = 3*m, -f*h = -o - 7 for m.
0
Suppose -5*z + 15 - 5 = 0. Let u = z - 0. Suppose 5*k = u*c + 27, -k - c + 18 = k. Solve 3*q + 4 = -3*n - 5, 0 = q - n + k for q.
-5
Let s be (-2 - 1)*(-3 - -2). Let j(p) = p**2 - 3*p + 2. Let h be j(3). Let k be -5*1*(1 - h). Solve -s*y = -5*a + 1, -k*a + 13 = y - 0*y for a.
2
Suppose -2*x - 3*q = -20, -4*x + 9 = -3*x + q. Solve -4*g - 1 = o, -3*o = -x*g + 4*g + 18 for o.
-5
Suppose 3*y = -y. Let o be 0/((-1 + y)*2). Solve -f = 4*q + 4, -f = 2*q - o*q + 4 for q.
0
Let w(i) = 3*i + 67. Let u be w(-22). Solve 5*r - u = -4*k - 0, -5*r - 35 = -5*k for k.
4
Suppose -x = 3 - 5. Let f(p) = 0*p**x + 1 - 3*p**2 + p + 4*p**2. Let k be f(-2). Solve 0 = -4*i - k*c - 23 - 4, -7 = 4*i - c for i.
-3
Suppose 4*b - 3 = 5. Suppose 5*a + 5*d = 40, b*d - 4*d = 3*a - 19. Solve t = -2*t + a*h + 18, 4*t = -2*h for t.
2
Let i = -11 - -23. Let h(r) = -r**3 - 4*r**2 - 6*r - 4. Let z be h(-3). Solve -3*p - 5*b = -z*p - 21, -2*p - i = -2*b for p.
-3
Let f be (-4)/2*(2 + -4). Suppose 0 = h + 4*k + f, 3*k = -4*h - 6 + 3. Solve h = -5*s - 5*m + 3 - 18, s - 15 = 5*m for s.
0
Let c be (9/(-15))/((-4)/20). Solve -o - 10 = 2*y, -o + c*y - 11 = 4*o for o.
-4
Let o be 4 + ((-66)/(-15) - 2/5). Solve -3*w - 25 = -5*m, o*m - 5*m = -5*w + 15 for w.
0
Let p be 0/(4*5/(-10)). Solve 0 = 5*n - o + 27, 1 = -n - p*o - 2*o for n.
-5
Let j be (0/(4 + -1))/1. Solve 0 = -m, -5*m - 6 = -j*p - 2*p for p.
3
Let p(a) = -a**3 + 4*a**2 + 2*a - 3. Let h be 2/6 - 4/(-6). Suppose t - 3 = h. Let z be p(t). Solve -6*l + k + z = -4*l, -l + 4*k = -13 for l.
1
Suppose -2*s + 0*s + 10 = 0. Let m(q) = 2*q - 15. Suppose i - 9 + 0 = 0. Let v be m(i). Solve 0 = -f - 5, d + s = -d - v*f for d.
5
Suppose -y = -4 - 4. Let s(u) = 5*u. Let d(b) = -b**2 + 7*b - 5. Let m be d(6). Let r be s(m). Solve r*j + 20 = 2*f, y*j + 4*f - 10 = 3*j for j.
-2
Suppose 0 = -z - 4*z - 2*g + 8, 2*g = z - 4. Solve 3*j + 3*h + 16 = -z*j, 2*h = 4*j + 26 for j.
-5
Let n be (16/6)/((-1)/9). Let p = n - -35. Solve 0 = -4*d + 4, 5*c = -d + p + 5 for c.
3
Let h be 2/3 - (-65)/15. Let q be 12/(-15)*(-5)/2. Solve -i = -2*i - q, 0 = h*x - i + 23 for x.
-5
Let a(v) = v**2 + 12*v + 3. Let o be a(-12). Solve 0 = -q + 3*l - 11, -5*q + 2 = o*l - 15 for q.
1
Suppose 0*p + 5*p = 20. Suppose p*h - 45 = -h. Let n(x) = x**3 - 9*x**2 + 3*x - 13. Let d be n(h). Solve 0 = -0*y - 2*y - 3*a + d, 2*y - 18 = -5*a for y.
4
Suppose 4*n = -4*w + 4, -3*w = -2*w + 2. Solve -5*g = -5*o + 30, -2*g + 0*o + n*o = 14 for g.
-4
Let o be 1*3 + 27 + -27. Solve 2*z + o = -z, 2*z + 7 = -5*i for i.
-1
Let r be 0/(3 - (0 - -1)). Let h(x) be the first derivative of x**2/2 + 5*x - 1. Let c be h(r). Solve -c*j + d = 5, 4*j - 28 = -5*d - 3 for j.
0
Suppose -7*l + 2*l = -3*z - 1, -3*z - 3*l = -15. Solve -3*w + z*t + 2 = -4, 4*w - 4 = 3*t for w.
-2
Suppose 0 = d - 5*o + 7, 3 = -2*o + 5. Let p be (-3 + 4 + d)*-5. Solve -p*m - 19 - 10 = -b, -m = 5*b - 15 for b.
4
Let d = -111 + 116. Solve -2*j = -r, 0 = -3*j + 2*j + 3*r + d for j.
-1
Let q(s) = s**2 + 3*s + 3. Let y be ((-2)/(-2))/(11/(-33)). Let r be q(y). Solve v + 9 = -5*n, -2*v + r*n = -5*v - 3 for v.
1
Let d = -4 - -10. Solve 3*r + 2*r = -2*g - d, -3*r = 3*g + 9 for r.
0
Suppose 13 = 3*o - 5*m, 3*o + o = -3*m - 2. Let g be -2 + (-6)/(-2 - o). Solve -3*s + 15 = -3*k - 0*s, g = -3*s for k.
-5
Let j be ((-8)/3)/((-38)/12 - -3). Solve 2*k = 4*p - j, -p + 2*p + 18 = -5*k for p.
2
Let d(u) = 5 - 4 - 6*u + 1 - 3. Let b be d(-1). Solve 3*j - b*q = 2, -4*j + 4*q - 3 = -11 for j.
4
Let d = -9 - -13. Suppose 3*i = -i - 4. Let u = i - -6. Solve -3*v + 3 = -3*t, -u*t - 4 = -d*v - 0*v for t.
0
Suppose 100 = 11*w - 6*w. Suppose 0*x + w = 4*x. Solve 0 = 4*d + 4*a, 2*d - 6 + 21 = -x*a for d.
5
Suppose 3*l - 32 - 49 = 0. Suppose -4*q + 38 = x, -3*q - 49 = -4*x + l. Solve -2*p + 8 + 0 = 0, 0 = -2*f + 4*p - x for f.
-3
Let x(v) = 4*v**2 - 2*v. Let l(h) = 3*h**2 - 3*h + 1. Let i(p) = 5*l(p) - 4*x(p). Let f be i(-5). Solve -8 = -a - 3*c, -5*a - 2 = -4*c + f for a.
-1
Suppose 3*k + 2*k = 4*v - 33, -k + 2*v - 3 = 0. Let q be 9 + 1/(3/k). Solve 18 = 2*w - 5*m, -q*m - 17 = w - 2*m for w.
-1
Suppose 3*f = f. Let x be 10/(-15) + 34/6. Suppose f = -x*i, 5*v = 2*v - i + 15. Solve d + 23 = -d + v*k, 25 = 5*k for d.
1
Suppose 2*g - 4*g = -4. Let u(b) = 1 + 5*b**3 + 0*b**g + b**2 - 3*b**2. Let h be u(1). Solve h*f - 36 = 4*o, -2*o = 3*f - 4 + 2 for f.
4
Let i(y) = 2*y - 2. Let z be i(2). Let n = -10 + 13. Solve x = -n, z*w + 7 = -5*x - 0 for w.
4
Let w be (-3 - 1)/(-2)*1. Solve c = -p - w, 0*c = -4*p + 4*c + 32 for p.
3
Suppose -40 = -4*c - 0*c. Suppose 3*u = -2*u + c. Suppose 2*a - 2 + 0 = 2*n, 2*n + 5 = 5*a. Solve n*k = k - 3*d - u, -4*k = 5*d + 26 for k.
-4
Let v = -1 + 5. Solve -v*s - 6*w + 5*w = -9, 4*w - 14 = -5*s for s.
2
Let c(q) = q**2 - q - 3. Let x be c(3). Suppose x*m - a = 0, 0 = -2*a + 6. Solve -3*g + 1 = -4*y, -y + 2 = -g + m for y.
-4
Suppose 16*s - 11*s - 25 = 0. Solve 3*n = 6*n - k - 14, 0 = 5*n - s*k - 20