= -z for h.
3
Suppose -78*i + 76*i = -40. Solve 3*n + v + i = 0, 2*v + 6 + 4 = 0 for n.
-5
Let k = 247 - 245. Solve 0 = r - 2*r, -10 = k*t - 4*r for t.
-5
Let q(c) = 4*c - 12. Let o be q(3). Solve o = -5*k - 2*h + 8, -4*k - 4*h = -3 - 1 for k.
2
Suppose 5*i = -8*c + 4*c + 25, -5*c = i - 47. Let d be 32/(-20)*c/(-4). Let k be d/(-3 - 25/(-8)). Solve 4*j - 3*r + k = 0, 27 = -3*j + 5*r - 2*r for j.
-5
Let d = -1 - -2. Let j be d/((-18)/(-40) - 5/20). Suppose -4*z + 3*z = -5. Solve 2 = -3*u + j*a - 3, -5*a = -z for u.
0
Suppose -2*d = 457 - 465. Solve 0 = u - 5*q + 16, -d*q = 6*u - u - 36 for u.
4
Suppose -55*r = -24*r - 28*r. Solve r = -3*u - 5*w + 6*w + 7, -2*u = -3*w for u.
3
Suppose -15 - 10 = -5*r. Suppose -4*j + j = 3*q - 9, -r*q + 5*j - 5 = 0. Let i be q + 2 - 0/(-1). Solve -3*c + 4*u - 15 = u, -i*u + 6 = 0 for c.
-3
Let a = -126 - -128. Solve l = 2*l + a*v - 6, 3*v - 7 = -l for l.
4
Let d be 16/1 - 4/2. Let j(b) = 2*b + 12. Let w = -9 + 3. Let g be j(w). Solve -3*n - 11 = 4*f, f + d = 3*n - g for n.
3
Let m be 3*-1*(-46)/69. Solve 5*t + 0*r - 2*r = 3, m*t - 5*r - 18 = 0 for t.
-1
Let o = 15 - -11. Let k = o + 1. Suppose -15 = -4*r - 3*g, -r + 12 = -6*g + 4*g. Solve -j - k = -r*j - v, 4*v - 23 = -3*j for j.
5
Suppose -12 = -4*t, -i + 3*t - 4 = -1. Suppose 4*u + 3*a = 7*u - 24, -a + 22 = 5*u. Solve -h + i*h = -4*q + 6, -5*q + 5 = u*h for q.
-1
Let s(l) = -l**3 - 8*l**2 - 3*l - 14. Let w be s(-8). Solve -3*o = 4*m + 2*o - w, o + 22 = 4*m for m.
5
Let u be (-8)/24 + (-98)/(-6). Suppose -5*f + u = 4*c - 0*c, c - 4*f - 4 = 0. Solve -5 = -c*a - 9*w + 4*w, 0 = 3*w - 15 for a.
-5
Let i(p) = -p**2 + p. Let w be i(1). Let j = -427 + 729. Let t = -294 + j. Solve -3*h - 7 = -x, -4*h - t = -w*h for x.
1
Let l(c) = 3*c - 2*c**3 - 5*c**2 - 4*c**3 + 5*c**3 - 14. Let o be l(-6). Solve 2*j = -w - 5, -3*w + 3 = -o*w - j for w.
-1
Let y be (-187)/(-17) + (-21)/3. Solve -3 = -r - r + k, y*r - 24 = -4*k for r.
3
Let o = -23 + 25. Suppose s = r + 19, -r - 62 = -3*s + r. Solve s = -3*x + o*t + t, 5*x = t - 24 for x.
-4
Let g = -56 + 60. Let f(r) be the second derivative of -r**3/3 - 4*r**2 - r. Let d be f(-5). Solve g*h - 4*j - 32 = -h, -j = d*h - 5 for h.
4
Let o be (-4 + 12/3)*(-3)/3. Suppose -12 = 2*a + 4*z, o = -3*a - 2*z - 2. Solve a*s = -4*g - 4, 6*g + 4*s + 8 = 2*g for g.
0
Suppose -50*z + 72*z - 264 = 0. Solve -4*n + 3*p = z, 0 = -0*n - 5*n - 5*p - 15 for n.
-3
Let r = -5 - -3. Let u be 4*(-35)/40*r. Solve -2*z + u*z = p + 14, 1 = z - 2*p for z.
3
Suppose 0 - 8 = -8*l. Suppose 2*q = 5*x - 2*q + l, -x - 5*q + 23 = 0. Solve -5*c = -x*y - c + 14, y - 5*c = 12 for y.
2
Suppose 4*m - 9 = -1. Solve -24 = 4*a - 5*d, -2*a = m*a + 2*d - 4 for a.
-1
Suppose -9*p + 16*p - 8*p = 0. Solve 0 = 5*f + g - 22, 3*f + 2*g - 2 - 7 = p for f.
5
Let v(r) = -3*r + r**3 - 5*r**2 + 6 + 5*r**2 + 4*r**2 + 4. Let l be 23/(-5) - (-6)/(-15). Let z be v(l). Solve -k + 5*n + 27 = 0, -4*k + n = -z*n - 13 for k.
2
Let w(q) = -4*q - 2. Let j be w(-3). Solve -4*v - 5*f - 36 = 0, -v + j*f + 12 = 6*f for v.
-4
Let b(t) = -t**3 + 5*t**2 - 4*t + 2. Let r be b(3). Let i(o) = o - 5. Let s be i(r). Solve 0 = 4*q - q - 4*l + 9, 2*q = -s*l + 11 for q.
1
Suppose -5*p = -6*p + 34. Suppose -6*l + 154 = p. Solve -3*n = -3*t, 2*n + l = -5*t - 3*n for t.
-2
Let g be 2/((-3)/18*1). Let n be (-3)/g + (-62)/(-8). Let k(h) = -h**2 + 10*h - 12. Let o be k(n). Solve 3*x = -o*y - 12, 5*x = -y - 0*y - 20 for x.
-4
Suppose -72 = -58*k + 160. Solve 0 = i + 3*i - k*c, 30 = -5*i - c for i.
-5
Let w = 1377 + -1370. Solve -5*f + 5*j = -45, 4*j + w = -f - 4 for f.
5
Let a be 33 + -6 - 1*-1. Solve -5*c = -5*i + 40, 5*i - a = 3*c + 6 for c.
-3
Let p(v) = 13*v + 1. Let r be (-1)/((-3)/(-9)*3). Let m be p(r). Let s be (3/(-2))/(m/40). Solve -l - 2*z = 13, s*z = -4*l + 2*z - 27 for l.
-3
Let y = 5 + -1. Let x be (-15)/(0 - -3)*-2. Suppose -15*o + 10 = -x*o. Solve -2*d - o = -5*s, -s = s - y*d + 12 for s.
2
Let d(z) = -z**3 - 4*z**2 + 4*z + 11. Let j be d(-7). Let q = -125 + j. Solve q*a - 5*x = -0*x, 3*x = 5*a for a.
0
Suppose -3*h = -18 - 9. Suppose -4*v + h = -3. Solve -2*l + 4*d - d - 9 = 0, -3*l + v*d - 6 = 0 for l.
3
Suppose -t = 3*c - 13 - 38, 0 = 3*t + c - 137. Suppose -t = -3*n + 21. Suppose 28 = -23*u + 74. Solve -4*h = -u*h + 3*z - n, -5*h - 4*z = -41 for h.
5
Suppose -2*a = 2*a + 12, -4*d = -a - 43. Let i(k) = 2*k - 15. Let s be i(9). Solve 2*o - d = 4*f, -6 - 3 = s*f - o for f.
-4
Suppose 4*u - 8 = 8. Let v(p) = -2*p**2 + 165. Let s be v(9). Solve -5*c + s*f = -35 + 11, -u*c + 3 = 3*f for c.
3
Let b = -11 + 17. Suppose j + 9 = 5*c, -4*c = b*j - j - 13. Solve 0 = c*q + i - 8, -3*i = q - 0*q - 4 for q.
4
Suppose 18 = 4*k - 5*i - 10, k - 6 = i. Solve c = -3*w + 17, -5*w = k*c - 17 - 12 for w.
5
Let x(n) = 21*n**3 - n**2 + 4*n - 4. Let p be x(1). Suppose 0 = -p*w + 21*w - 11. Solve -4*t = -5*c - w, -c = 2*c - 4*t + 13 for c.
1
Suppose h - 36 = -5*b, 52 = 5*b - 5*h + 2*h. Solve -f + o = 2*f - 11, -2*o = -b for f.
5
Let b(g) = -g + 5. Let l be b(8). Let h = l - -3. Let a = 35 - 33. Solve -3*j + q = -4, h = -4*j - 0*j - 2*q + a for j.
1
Suppose -47*w + 18*w + 116 = 0. Solve 7 = 5*f + w*l, 0 = l - 0 - 3 for f.
-1
Suppose 29*x - 96 = -3*x. Solve -4*k + 1 = -5*r, 4*k + x = 9*r - 8*r for k.
-1
Let l be 3 - ((-36)/(-8))/(3/4). Let z(x) = -10*x - 28. Let u be z(l). Solve u*j - 2*o = j - 7, -4*j - 17 = 3*o for j.
-5
Suppose 7 = o - 3. Let x(n) = -n**3 + 7*n**2 + n - 9. Let d be x(7). Let l = d + o. Solve 4*q - 2*f = -0*q + l, -16 = q + 4*f for q.
0
Suppose 4*q + 4 = 0, -q - 30 = 5*x - 9. Let t be 4 - ((-9)/x - 1/4). Solve -3*u - 3 = -t*m, -2*m - 2*m - 5*u - 5 = 0 for m.
0
Suppose 88 = -7*m - 59. Let c(r) = -5*r**2 + 4*r + 3. Let b be c(-2). Let i = m - b. Solve 0 = 4*y - d + i, 3*y - 3*d + 7 = 4 for y.
-1
Let r be 12*(-10)/30*-1. Solve 0 = -2*b + r*o - 20, -4*b + 8*b - 4*o = -24 for b.
-2
Let g(b) = b**2 + 2*b + 2. Let k be g(-3). Suppose -11*n = -10*n - k. Solve -2*t + p - 12 = 2*t, -n*t - 5*p - 15 = 0 for t.
-3
Suppose -5*v - 35 = -4*q, q + 3*v = -3*q + 11. Let z be 642/(-2)*(20/(-15) + 1). Let m = z + -91. Solve 0*h - 4*h = -w + m, -q*h = w + 20 for w.
0
Suppose 32 = 503*f - 487*f. Let b be 1 + (0 + 0)/3. Solve 2*j + n = 4*n - 4, 5*j = f*n + b for j.
1
Let a(v) = -2*v - 8. Let j be a(-11). Suppose j*h = 17*h - 9. Let m = 2 - 0. Solve -h = -m*z + f, z + 3 = -z - f for z.
0
Let c(h) = 4*h + 1. Let i be c(3). Suppose -p + 2*g + 20 = -3*g, -126 = -4*p - 3*g. Let l = -26 + p. Solve m = -l*b + 25, -2*m + 5*b = i + 2 for m.
5
Suppose -103*o = -104*o + 10. Solve 0 = 5*t + 2*d + o, 0 = -2*t - 0*t + 2*d + 10 for t.
0
Let a(i) = -i + 16. Let b be a(11). Suppose -9 = -b*j + 1. Let s be (-3 - j - -3) + 4. Solve 2*u - 5*m + 13 = -s*u, 4*u + 3*m = 27 for u.
3
Let s(t) be the second derivative of t**4/6 + t**3/6 + t**2/2 - t. Let m be s(-2). Solve 0 = -3*v + r + 8, 2*v = m*v - r - 16 for v.
4
Let x be ((-18)/45)/((-2)/90). Let l be (-3 - 0)/(x/(-12)). Solve 0*w - w - 1 = 3*p, -l*p = 4*w + 4 for w.
-1
Let f be -1*(-3)/((-12)/(-8)). Solve 4*c + 10 = f*g + 32, -c + 23 = -4*g for c.
3
Suppose -19*j + 14*j = 0. Solve -v + 2*s + 13 = 4*s, j = -5*v - s + 20 for v.
3
Suppose 5*d + 2*m - 76 = 9, -2*m = -10. Let p be -3 + -15*(-5)/d. Solve 2*s + 26 = 4*j, -4 = 2*s + 2*j - p for s.
-5
Let b = 4 - 3. Let n(l) = b + 2 - l**2 + 0*l - 6 + 9*l. Let c be n(8). Solve -6*g + 2*g = 5*o - 20, 2*g + c*o = 20 for g.
0
Let l be 16/6 - 10/15. Let x = -8 + l. Let v be (-2)/(-3) + 4/x. Solve 12 = 3*b, v*z + 4*b - 13 = z for z.
3
Let k be (-3 + 5)*15/2. Suppose 5*a = -5*c + 2*a + 9, 0 = 4*c + 5*a - k. Solve -5*s + 3*i + 2 = c, -5*s - 27 = 3*i - 5 for s.
-2
Let l be 2 - (1 + (0 - -3) + -2). Solve 4*z - 9 = -3*y, z - 3*y + y - 5 = l for z.
3
Suppose -33*a + 147 = -36*a. Let v = -44 - a. Solve -j + 0*b = 3*b + v, 4*b = -5*j - 25 for j.
-5
Let a = -229 + 233. Solve -t = 3*m - 12, m = -a*t + 2*t - 1 for m.
5
Let t be ((-344)/(-387))/((-2)/(-9)). Solve -3*f + 4*f - 4*s = 8, 4*s - 12 = -t*f for f.
4
Let u be (4/(-6) - (-318)/72)*-4. Let r = u - -20. Solve -4*o = 2*l - 22, -2 + r = 3*o - 3*l for o.
4
Suppose -5*a - 8 = 2. Let g be (a - (-6 - -1)) + -3. Let z be 1 - (-4)/(-4) - g. Solve 2*u + 2*y + 4 + 2 = z, -9 = 4*u + 3*y for u.
0
Suppose 4*i - 2 = -3*u, -3*u - 3*i + i 