19 = 4*h, -n + 2*n - a = 0 for h.
1
Let q be 4/(-3)*(-7 - -4). Suppose 11 = -2*h - 5*r, -h - q = 3*r + 3. Suppose 0 = -2*w + 4 + h. Solve 4 = -4*z + 2*b, b + 4 - 6 = -w*z for z.
0
Let y = 53 + -48. Let j = -1 + 3. Solve -j = t, -y*t + 7 - 27 = 5*o for o.
-2
Let b be (-9)/((3/2)/(-1)). Solve 2*d - 2 = 2*o, b*o - d - 11 = o for o.
3
Let t be 1/2*(1 - -9). Solve 4*q + i - 11 = 0, 2*q = t*i + 15 + 18 for q.
4
Let v(f) = f. Let t be v(-5). Let h = t - -9. Let y = 0 + h. Solve -5*x - y*o - 19 = 0, -x + 2*x + 5*o = -8 for x.
-3
Let p = 1 - -3. Suppose -16 = -3*x - m - 0*m, -4*m = -p*x. Suppose 3*n = 3*z - 0*z - 3, -x*n = -5*z + 9. Solve n*t - 16 = w, -3*w - w - 2*t + 26 = 0 for w.
4
Let z(b) = -b**3 + 2*b**2 + 2*b + 5. Let p be z(0). Solve -4*l = -p*x - 8 + 3, -x - 5*l = -28 for x.
3
Let d = -1 + -1. Let s be (4 + -4)/((-4)/d). Suppose 0 = -s*a + a. Solve 5*g = g - 2*l - 14, -5*g + 3*l + 10 = a for g.
-1
Suppose 50 = 5*y - 0*y. Suppose x - 2*m + 0*m = -170, 4*x - 3*m + 685 = 0. Let p be (-4)/(-18) + x/(-36). Solve p*a - y - 10 = -5*c, -c = 0 for a.
4
Suppose 4*s + 22 = 2*p, 2*p - 3*s = p + 15. Solve y = 5*c - 7, 0 = p*c + 2*y - 5 - 7 for c.
2
Let g(u) = u**3 - 4*u**2 + u - 2. Let y be g(4). Solve 3*z - q - 12 + 3 = 0, -z + y*q = -8 for z.
2
Let s = 4 - -8. Solve v + s = 4*p, -4*v + 12 = -3*p + 2*p for v.
4
Suppose -11 = -5*b + w + 16, -4*w = 5*b - 17. Solve 3*h = -3*z - h - 2, b*z - 4 = -3*h for z.
2
Let x be (-40)/(-18) + 301/63 + -5. Solve 3*k - u + 3 = 0, -u - x = -4*k - 5 for k.
0
Let y be (84/(-35))/((-1)/5). Suppose -4*f = 0, y = 2*w + w + 5*f. Solve 8*d - 3*d + 4*m = -10, -3*d + w*m - 6 = 0 for d.
-2
Let v = -6 + 1. Let y = v - -8. Suppose 2*d = -d - y, 4*d = 2*p - 72. Solve -4 + 17 = 4*l - 5*i, -3*l - p = 5*i for l.
-3
Let l(y) = y + 2. Let o be l(0). Suppose o*p - 7*p = 0. Solve 0*g - 10 = -g - 5*z, p = -5*g + z - 2 for g.
0
Let r = -3 - 5. Let v(j) = 3 - 5 + 7*j + j**2 - 3. Let c be v(r). Solve -4*t - 1 + 6 = -c*f, -f - 4*t + 25 = 0 for f.
5
Let q = -3 - -3. Suppose c - 3*c + 4 = q. Solve -d - z + 2 = 0, -6 + 14 = d - c*z for d.
4
Let n be (-10)/35 + 93/7. Let y be -9 + 0 - (-10)/(-5). Let r = y + n. Solve -r*p + 6*p = -w + 5, 0 = 2*p + w - 5 for p.
0
Suppose 0 = 3*x - 4*x + 5. Suppose x*b = 92 - 2. Let s = -10 + b. Solve 5*g - 25 = -2*m, -38 + s = -3*m - 5*g for m.
5
Let l be 1/((-14)/(-4) + -3). Let u = l + -2. Solve 0*m + 3*m = -4*z - 12, -z - 2*m - 8 = u for z.
0
Let n(j) be the first derivative of 4 - j - 1/2*j**2. Let f be n(-3). Solve -f*b - 9 = -3*q + b, -5*q + 7 = -3*b for q.
-1
Let p(i) = -2*i**3 + 3*i - 2. Let x be p(2). Let u be 2/(-6)*x/2. Suppose 2*q - 3*q + 11 = -3*z, 2*z + 2 = 0. Solve 2*w - 3*g = -u*w, -q = 2*g for w.
-3
Let p be (13/(-5) - 38/(-19))*-5. Solve -b - 6 = u, -6*b + 2*b - p*u - 21 = 0 for b.
-3
Let n(b) = b + 9. Let o be n(-5). Suppose 15 = o*y + y. Suppose -4*z - 27 = -y*m, -2*m + z + 4 = -9. Solve 2*t + 8 = d, -m*d - 7 = -2*t - 23 for d.
2
Let g be 7/5 - (-2)/(-5). Suppose -5*b + 40 = 3*y - 44, 56 = 2*y - 2*b. Suppose 4*k + 8 - y = 0. Solve -4*n = -3*w - k, -2*n + 3*n - 3*w = -g for n.
2
Let i(o) = -o**3 + 6*o**2 + o - 1. Let q be i(6). Let n = q - 1. Let l be (-1)/(-4) + 7/n. Solve -2*t + 4 = -2*h - 4, 0 = h + 5*t - l for h.
-3
Let n be -1*(-2)/(0 + -2)*0. Solve n = -5*u - 3*k + 5 - 40, -k = 5 for u.
-4
Suppose 0 = 2*o + j - 4, -2*o - 2*j = o - 6. Suppose 4*t + 3*u = -u, u = 3*t. Let d = o + t. Solve x - d*x + 3 = -f, 2*x = f + 8 for f.
2
Suppose 3*p = 2*s - 3*s, 4*p + 2*s = 0. Solve p = 3*w - z + 14, 3*w + 11 = w + z for w.
-3
Let z be (-3)/2 - 12/(-8). Solve z = 5*v - 0*f + 2*f + 30, -4*f = -5*v for v.
-4
Let i be (3 - 4)/((-1)/2). Suppose 5*a - 12 = -2*d, 0*a = 4*a + i*d - 8. Solve 3*f = 4*r - 35, a*r + 2 - 12 = -2*f for f.
-5
Let d(y) = -6*y**2 - 7*y - 1. Let r be d(-1). Solve 5*w - 5 = -4*a - r*w, a = -w + 1 for a.
0
Suppose 0 = 4*w + 8, 0 = -4*u + 2*w - 1 + 5. Let f be (-232)/(-28) - (-2 - (-32)/14). Solve 4*a + 4*r = -16, -3*r - f = -u*a + 2*a for a.
-4
Suppose -2*w + 3*w - 4*m - 19 = 0, -16 = 4*m. Solve -2*d - c = -7, 8*c - 3*c - 7 = -w*d for d.
4
Let j(f) = 2*f + 31. Let i be j(-13). Solve 0 = x + 3*t + 1, -i*x + 8 = -2*t - 4 for x.
2
Let q = -8 - -5. Let d = 7 + q. Suppose -w - 15 = -d*w, 3*m = w - 5. Solve 6 = -3*u + 2*s + s, 5*u + 2*s + 17 = m for u.
-3
Let r = 18 + 4. Let t = 8 - 3. Solve 3*g + t*q + 32 = -g, 4*q + r = -2*g for g.
-3
Let b(z) = -2*z**3 - 3*z**2 + z + 2. Let w be b(-2). Solve 0*x = -3*x - w*q + 29, -4*x - 5*q = -37 for x.
3
Suppose 5*o - 3*o = 4. Solve 0 = -3*l + 4*l + 4*d + o, 0 = -5*l + 3*d + 13 for l.
2
Suppose 5*n = 3*a - 20, -4*a + 1 = -4*n - 15. Solve -4*x + 7*x + 14 = 4*s, 3*s + 2*x - 19 = a for s.
5
Let f(j) = 5*j - 1. Let h be f(2). Suppose 0 = 4*u - 3 - h. Suppose u*q - 3*k - 9 = 0, 5 = -0*q + 2*q - k. Solve 2 = q*t - 2*m, 4*m + 5 = -0*t + 3*t for t.
-1
Let s be 1/(-4) - (-3)/12. Solve 5*f - 3*b = s, 3*f - 23 = -2*b - 4 for f.
3
Let o = 4 + -2. Suppose o*w = 2*i + 16, 3*i + 3 = -0*w - 4*w. Solve -3*p - 21 = w*k, 0*p = 3*p + 4*k + 24 for p.
-4
Let j = 9 - -13. Suppose f = -3*f + 8. Let l = 0 - 0. Solve -2 = -f*p + 6, -v + 5*p - j = l for v.
-2
Let g = -10 + 19. Suppose 5*l - 14 = l + 5*c, -2*l - 5*c - 8 = 0. Solve -4*k - 26 = -a - g, a = l for k.
-4
Let w(s) = 0*s - s - 6 + 3*s + 2. Let x be w(3). Solve -6 = 3*h + 5*a + 21, -x*h - 23 = 5*a for h.
-4
Let h be (1/(-3))/((-2)/42). Let a be (-1)/3*(-4 - -1). Let v be (4 - -2)*a/3. Solve 4*o = -8, c + 0*c - v*o - h = 0 for c.
3
Let b(g) = g. Let j(q) = q**2 + 6*q - 5. Let i(o) = 2*b(o) - j(o). Let f be i(-4). Solve -t = y + f, y - t = -5 - 0 for y.
-5
Let b(o) = -o. Let m be b(-2). Suppose -2*w - 3*v = 102 + 49, -2*w - 161 = 5*v. Let p = w - -101. Solve -3 = -h - a - 12, -5*a - p = m*h for h.
-4
Let i be -9 + 11 - (-4 + 1). Solve 5*n = -i*q - 10, 4*q - 2*n + 8 = n for q.
-2
Let s(u) = -3*u + 1. Let x(m) = 10*m - 3. Let y(j) = 7*s(j) + 2*x(j). Let v be y(-2). Let h = -3 + v. Solve g - 2*f - 4 = h, 3*g - f - 6 = 6 for g.
4
Suppose -4*f = -58 - 14. Let i = 57 + -28. Suppose -30 = -3*u - 3*n, n + 4 = -4*u + i. Solve 3*t + 3 = -d - d, u*d - f = t for t.
-3
Let y be (78/(-24))/((-2)/(-8)). Let o = 15 + y. Solve -3*i + o*h = -13, 0*i - 5*i + 20 = -5*h for i.
5
Let a be 9*((-12)/9 - -2). Suppose -a*t + 4*t = 0. Solve 0 = -t*b - 2*b + 8, 4*i - 2*b = -12 for i.
-1
Let a(m) = m**2 - 3*m - 5. Suppose 25 = 5*d - 4*l + 2*l, 5*d + l - 25 = 0. Let g be a(d). Solve -2*q + 5*j = 2*j - 7, 5*q + 20 = -g*j for q.
-1
Let g(h) be the first derivative of h**3/3 + 9*h**2/2 + h + 1. Let q be g(-9). Let c = q + 2. Solve 2*k + 0*k = 5*p - 7, 0 = -k + c*p - 5 for k.
4
Suppose -21 = -7*k - 0*k. Solve -2*a - 5*c = -6, -k*a - c + 9 = -0*a for a.
3
Let q = -4 + 5. Let z be (3 - q)/((-10)/(-100)). Suppose z + 8 = 4*l. Solve -4*d - 11 = f + 2, 2*d + 5*f - l = 0 for d.
-4
Let t(r) = -1 + 5*r - 1 + 6*r**2 - 10*r**2 + 7*r**2 - r**3. Let a be t(4). Solve 0 = g - 4*k - 11, 4*g - 6 = a*g + 4*k for g.
-5
Suppose -i + 12 = -4*i. Let l(g) = 4*g + 3 + 2*g**2 + 1 + 2 - 2. Let n be l(i). Solve 5*r + n = 0, -3*t - 2*r = 2 - 0 for t.
2
Let y(q) = -q**2 + 10*q - 9. Let r be y(7). Let z be r/(-4) - (-18)/3. Solve -2 = 4*g - 4*s + 10, 2*g + 10 = z*s for g.
1
Suppose 0 = 4*o - 12, b - o + 0*o = -7. Let i = 2 - b. Solve -i = -3*x, 4*s - 3*x = x - 20 for s.
-3
Suppose -c = 3*c. Let f be (-3)/(-6)*c - -4. Solve 0 = q - 5*h - 22, 3*q - f*h - 7 = 4 for q.
-3
Suppose 4*y = -12, 4*y = -2*w + y - 7. Let l = w + 4. Solve -2 + 3 = a + 5*x, -17 = 3*a - l*x for a.
-4
Suppose 5*n + 5*a - 25 = 0, -4*a = -2*n - 2*a - 6. Let l be 24/(2/(-8) + n). Let y = l - 0. Solve -p - 5*m + 19 = -0*m, y = 5*p + 4*m for p.
4
Let u(s) = -s**3 + 5*s**2 + 8*s - 9. Let h = 14 + -8. Let z be u(h). Solve -3*b - 5 = -z*c - 2, -3*b + 3 = -c for b.
2
Let u be 9*-1*(-3)/3. Solve -u = 3*l, -2*z + 0*l - 4 = -2*l for z.
-5
Let d(c) = c**2 - 6*c + 5. Let p be d(7). Let o be (-2)/13 + (-111)/39. Let y = o - -7. Solve -m = -5*h + 22, p = m + h + y for m.
3
Let l(p) = -p**2 + p + 2. Let n be (2 - 2/1) + 0. Let t be l(n). Solve 0*k - k + 4 = t*f, 3*k - 9 = -3*f for k.
2
Let y be (2/5)/((-3)/(-45)). Let c be 3/y - 1/2. Solve 3*t + 2*t - 10 = -3*n, c = -5*n for t.
2
Suppose -4*l + 17 + 11 = 5*q, -q + 10 = 3*l. Suppose -13