. Let i be 0*2*(-4)/g. Solve 2*z = -h + 3, 2*h + h - 4*z + 11 = i for h.
-1
Let q = -57 + 59. Solve i + q = -4*m - 10, 2*m = 4*i + 12 for i.
-4
Let b(f) = f**2 - 7*f. Let c be b(7). Suppose 0 = d + 4*i - 5*i - 9, -5*d = 3*i - 5. Solve c = 2*g - a, d*g = a - 4*a for g.
0
Suppose -5*b + 4*r = -18, 0*b - 2*r = -b + 6. Solve 0*d + i = 2*d - 4, b*i - 20 = -3*d for d.
4
Let f(i) = -i**3 + 14*i**2 + 15*i + 4. Let o be f(15). Solve -g + 15 = o*y, -4*y - g = -y - 11 for y.
4
Suppose -17 = 20*h - 117. Solve h*n - j = -2*j + 15, 0 = n + 3*j + 11 for n.
4
Suppose 4 = -s, -41 - 7 = -5*p + 2*s. Suppose 0 = -j + 5*j - 20, -5*d + 4*j = 0. Solve 0*u + d = -u + 5*n, -3*n = 5*u - p for u.
1
Suppose 0 = m + m - 6. Let x(j) = j**3 - 5*j**2 - j + 7. Let o be x(5). Let k be 10*(7/o - 2). Solve -5*s - k = -m*l, 5*l - 1 = s + 2 for l.
0
Suppose -3*n + 3 + 69 = 0. Suppose 4*a = -0*a + 16. Suppose 3*z + x = 13, -a*x - 1 + 5 = 0. Solve n = -3*o - z*d, -5*o - d + 3*d - 14 = 0 for o.
-4
Suppose 3*l + 2*l = 50. Let m(y) = y**2 + 8*y + 12. Let x be m(-6). Solve -c = -i + 3*i - l, x = i - 5 for c.
0
Let r(g) = g**2 - 3*g + 3. Let l be r(6). Let t(u) = u**2 + 3*u - 1. Let b be t(-2). Let a = 8 - b. Solve 4*n = -5*k - l, 2*k + 1 = 2*n - a for k.
-5
Suppose -13*v = -17*v. Solve -3*b = -2*x - 11, -5*x + 15 = b - v*b for b.
5
Suppose -57 - 18 = -5*x. Let k be (3 + 0)*((-1 - 0) + 2). Solve 3*i + 0*i - x = -k*m, -4*i + 22 = 5*m for i.
3
Let j(l) = 2*l - 3. Let x be j(3). Suppose -2 = 2*i - 6. Solve 3*w - 2 = o - i*o, x*w + 13 = 2*o for w.
-1
Suppose 5*c - 960 = 10*c. Let m be (-2)/(-10) + c/(-40). Solve 4*y - 3*q = -6*q + 28, m*q - 20 = 0 for y.
4
Let l = 19 - 7. Let z = -12 + l. Solve 4*i = -b - 8, 2*i + 5*b + 0*b - 14 = z for i.
-3
Let d(s) = s**2 + 4*s + 9. Let m be d(-3). Let g = m + -3. Solve 5*l = 4*p - 26, -3*l - g*p = p - 10 for l.
-2
Suppose 10 = 2*s - s + 4*d, -s - d = -4. Suppose 6*n - 14 = 4*n. Solve -4*k + 3 = s*h - n*k, 0 = h - 5*k - 5 for h.
0
Let n be (-13)/26 - (-9)/2. Solve 34 - 14 = -n*i, 2*z - 4*i - 30 = 0 for z.
5
Let t(p) = -2*p - 1. Let j be t(1). Let q be 0/((-9)/j - 2). Solve q = -5*w - 4*i - 0 - 6, 0 = -4*w + 3*i + 20 for w.
2
Let n = -2 - 2. Let l be (-6)/n*(-22)/(-3). Let b(j) = -j + 16. Let x be b(l). Solve -2*s + 5*s + 4*o - 7 = 0, 0 = -s - 5*o - x for s.
5
Suppose 5*z + m - 45 = 0, 0 = 4*z - 5*m - 16 - 20. Suppose -c + z = 4*f - 11, -4*c + 8 = 4*f. Solve -5*b - 3*l - f = -2*b, -l = -b + 8 for b.
3
Suppose 0 = 6*r - r - 525. Suppose i - r = -2*i. Solve 0 = 5*s - 5*q - i, 0 = 4*s + 4*q - 6 - 6 for s.
5
Suppose -2*l - 2 = -3*l. Solve q + 0 - 5 = -2*t, 0 = l*q - 2 for t.
2
Let q = -1 - -4. Suppose -q*h = -0*h. Solve 5*a = 2*n + 19, h*n + n = -5*a + 28 for n.
3
Suppose 8*g = 9*g - 3. Solve -8 = -3*a + a, 0 = g*s - a - 2 for s.
2
Let j(h) = -h**3 + 3*h + 1. Let i = 0 + 0. Suppose i = 2*o - 7*o - 10. Let b be j(o). Solve b*l - 26 = 5*f, -5*f + 11 = -l + 33 for f.
-4
Let r = 4 - 4. Suppose -3*c + 2*n = 2, 2*c - n + r*n = 0. Solve -4 = 2*m, l + 2*m + 13 = -c*l for l.
-3
Suppose 4*g = -4*d + 24, g = -3*d + 2*g + 10. Suppose d*u - 3 = 9. Solve -w + c = -u, -3*w + 9 + 1 = -4*c for w.
2
Suppose -2*h = v - 3, 3*v = 4*h - 35 + 4. Solve -2*p + 3*s + h = 5*s, 0 = 3*p - 3*s + 18 for p.
-2
Let a(h) = -h**3 - 17*h**2 + h + 19. Let l be a(-17). Solve 0 = -2*s + 4*q - 4, -4*s = -l*s - 5*q + 6 for s.
2
Let z be 40/12*(-6)/(-4). Solve -4*t = 3*c + 14, 3*c + 0*c - z*t - 4 = 0 for c.
-2
Let t = 11 + -4. Let y be (3 + -3 - -7)*-1. Let g be (0 - t)*2/y. Solve -j - 2 = -5*v + 3, -g*v = 0 for j.
-5
Let h = 21 + -15. Solve 2*x + 2*g + 0*g + h = 0, 0 = -4*g for x.
-3
Let l = 29 - 3. Suppose 4*v - 3*r = -0*r + 27, -2*r - l = -4*v. Solve 2*u = -5*k - 15, 2*k = -u - 3*u - v for k.
-3
Suppose 22 = 4*r - 2. Solve -4*g = -r*g + 4*p - 12, 9 = -g + 5*p for g.
-4
Let k(j) be the third derivative of 31*j**5/30 - j**4/24 + j**3/6 - j**2. Let q be k(1). Let c = q - 26. Solve -n = -3*x - 17, -4*n + 8*n - c = 4*x for x.
-4
Let l(v) = -6*v - 6. Let z(t) = -5*t - 5. Let h(i) = -6*l(i) + 7*z(i). Let d be h(-3). Let r be 6 - d/(-3)*3. Solve -r*q = q - 4*n + 4, -2*n + 2 = 2*q for q.
0
Let o be (2/(-6))/(2/(-6)). Solve 5*r + 4*v = -o, -4*v + 2*v = -5*r + 23 for r.
3
Suppose -4*d + 3*d + 20 = 0. Let q be ((-8)/(-5))/(8/d). Suppose -p = -q*p + 6. Solve -5 = h, -5*h + p = i + 26 for i.
1
Let f(j) = j + 22. Let u be f(-14). Suppose g - 9 = -3*g + b, -6 = -5*g - 4*b. Solve 0 = 3*v + 2 + 1, -2*x = g*v - u for x.
5
Let a(y) = -2*y**2 + 7*y + 32. Let x be a(6). Suppose 22 = -4*l + 6. Let k = l + 6. Solve -3*h = 2*j - 17, k*h = -2*j + 3*j + x for h.
3
Let b = -1 - -1. Let p = 12 - 8. Suppose b = -m + p*m - 5*i + 3, 0 = 2*m - i - 5. Solve -m*j + 3*s + 14 + 9 = 0, -4*s + 6 = 2*j for j.
5
Let k(n) = -n**3 + 2*n**2 + n. Let q be k(-1). Solve -3*b = 2*y + 25, 4*y - 2*y = q*b for y.
-5
Let k = 59 + -59. Solve 4*f - 2*c + 14 = k, -3*f - 3*c = -7*f - 17 for f.
-2
Suppose 6 + 4 = 2*s. Solve -s*u - b = -17, -3*u = u + b - 14 for u.
3
Let u be ((-20)/10)/(2/(-5)). Let v = u + 3. Suppose -2*t + 12 = 3*k, -k + 3*k + 3*t - 13 = 0. Solve 0 = k*z + 4*s + v, 3*z = -s - s - 8 for z.
-2
Suppose -8*d + 11 = -9*d. Let i be (-4)/8*(d - -1). Solve -2*u = 6*p - 3*p + 4, 16 = i*u + p for u.
4
Let v(x) = -x**3 + 5*x**2 + 3*x - 7. Let u be v(5). Solve n - c = -u, -4*n + 8 = 4*c - 0*c for n.
-3
Let z = 18 - 9. Solve 3*m - j - 6 = 0, 0*j + z = 3*j for m.
3
Let j(m) = -m + 4. Let z be j(11). Let r be 0 + -2 - 0 - z. Solve 2*x - h = -4*h - 6, -4*x + r*h = -32 for x.
3
Let t = -3 + 0. Let w = t - -7. Let s = 7 - w. Solve -p = b + 6, -s*p + 2*p + b = 0 for p.
-3
Suppose -4*y = -5*r - 25, 2*y = y + 2*r + 7. Let u = -491 - -494. Solve 2*t - 4*w = u*t + 9, -w = -y*t - 3 for t.
-1
Let z(d) = 2*d - 10. Let k be z(6). Solve -27 = 5*g + i, 0*i - 24 = 4*g + k*i for g.
-5
Let l = -48 + 58. Solve -v = -2*r - l, -2*r + 22 = -5*r + 5*v for r.
-4
Let l(w) = -10*w + 83. Let r be l(8). Let k be (-6)/((-2)/(2 + -1)). Solve 4*y - 5*u = 8, -k*y - r = 2*y - 3*u for y.
-3
Let w be -2 - (-80)/36 - 43/(-9). Solve -b = -n - w, n = b + b - 9 for b.
4
Let g(p) = -p**2 + 10*p - 21. Let r be g(7). Solve 2*b - 1 - 1 = n, -b = r for n.
-2
Let f be 6/12*-6*-1. Solve 4*d - 2*m = 2, -5*d - 2*m + 25 = f*m for d.
2
Suppose -m = 3*m - 12. Solve 5 = m*y + 4*q, -3*y + 3*q - 12 - 18 = 0 for y.
-5
Let l = 5 - 10. Let c be l + 39 + 6/(-2). Solve 5*h = -2*j - c, -3*j - j = 3*h + 27 for h.
-5
Suppose 0 = -4*z + 15*z - 22. Solve -5*u = -5*x - 20, 0 = 4*x + 3*u + z*u - 20 for x.
0
Suppose -2*s - 2*s = -20. Let t(w) be the second derivative of -w**4/12 - w**3/2 + 3*w. Let x be t(-3). Solve -s*v + x*y - y + 14 = 0, -4*v - 5*y + 7 = 0 for v.
3
Let f(r) = -r**3 + 12*r**2 - 10*r - 8. Let y be f(11). Solve 25 = -3*w + 4*m, -w - 24 = y*w - 3*m for w.
-3
Let h(d) = d - 1. Let k be h(2). Let l be 6/3*(-2)/(-2). Solve -w + 5*o = l + k, 2*o = 3*w + 9 for w.
-3
Let b(l) = l**2 + 3*l + 3. Let v(m) = m**2 - 6*m + 2. Let z be v(5). Let r be b(z). Solve -d = r*n - 12, 0 = -4*n + 4*d - 3*d + 9 for n.
3
Let i = 25 + -21. Solve -2*g + i = -5*d, -1 = -d + 2*g - g for d.
-2
Suppose -8 = -19*i + 15*i. Solve 5*h - 13 - 6 = -z, 4*z - i*h = 10 for z.
4
Let v(q) = q + 7. Let r be v(-4). Solve t - 7 = -r*p, 5*t + 3 = 3*p + p for t.
1
Suppose -3*m + 7*m - 20 = 0. Let f(g) = g**3 - 5*g**2 + g - 3. Let l be f(m). Solve 0 = -4*t - l*z + 4, -3*t - z + 2 = -0*z for t.
0
Let t(r) = -r**2 + 13*r - 22. Let k be t(11). Solve -3*o + 4*d = 1, k*d - 20 = -5*d for o.
5
Let g(q) = -q**3 - 7*q**2 + 7*q. Let l be g(-8). Solve -27 + 4 = -s - 5*h, -2*h + l = s for s.
-2
Suppose 71 = 4*f + s, f - 15 = 5*s + 8. Let y be ((-2)/6)/((-3)/f). Solve -3*z - 8 = -n - 20, 0 = -4*z - y*n + 6 for z.
3
Suppose 3*b - 2*s - 9 = 0, 0 = -4*b + 5*b + s - 3. Suppose b*f + 7 - 28 = 0. Solve -4*q + f*n - 3 = 2*n, -4*q + 9 = -n for q.
3
Suppose 4*c - 8 + 0 = 0. Let j be -1 - (-1 + c + -8). Solve 1 = f - 4*q, 0*f - j = -f - q for f.
5
Suppose k = -4*k. Let j be k/((-3)/(-1) - 2). Solve j = 2*f + 2*c - 6 + 2, -3*c + 8 = 2*f for f.
-2
Suppose -51*t - 3 = -52*t. Solve -h = 2*p + 13, -4*p + 2*p + t*h = -7 for p.
-4
Let v(u) = -17*u - 3. Let f(z) = -35*z - 5. Let i(l) = -6*f(l) + 13*v(l). Let j be i(-4). Solve -5*c + 2*n + j = 0, 5*c - 1 = -4*n + 4 for c.