 + 14 = -2*r, d*h + 5*r = 7*h - 20 for h.
2
Let g(h) = -h**3 + h - 1. Let b be g(-2). Let n be (0 - (2 + -4)) + 1. Let m be (-12)/(-8) - (3/2 + 0). Solve -b*s + n*l + 29 = 4*l, -5*s - 4*l + 41 = m for s.
5
Let l(j) = -j**3 - 4*j**2 + 5*j + 4. Let o be l(-5). Suppose -4*d + 6 = 2*d. Let m = 4 - d. Solve 0 = -4*h - m*x, o*x - 21 = -h - 8 for h.
-3
Let m(j) be the second derivative of 3*j**4/4 - j**3/2 + j**2 + 3*j. Let s be m(2). Suppose -3*z = -z - s. Solve -l + 22 = -5*o, -2*l = -3*o - 0*o - z for o.
-4
Let a(m) = m + 5. Let u be a(-10). Let d be (2/2)/((-1)/u). Suppose 3*k = d*q + 9, k - 4*q = -k + 6. Solve k - 6 = 3*v - 4*x, 3*v + 18 = -x for v.
-5
Suppose 0 = 3*z + 3*z - 180. Suppose 3*d + 2 = 2*n + 7, -5*n - d + z = 0. Solve 2*o + 0*o + n*u - 27 = 0, -2*o = -4*u + 18 for o.
1
Let k = 56 - 48. Let v(y) = y**3 + 6*y**2 - y + 6. Let i be v(-6). Let x = i - k. Solve -3 = -u - 2*n - 2, x*n = 3*u - 13 for u.
3
Let l be (0 + 3 - 23)*7/(-14). Solve -2*m - l = -2*a - 0*a, 5*a - 15 = 3*m for m.
-5
Let h(o) = 3*o - 33. Let j be h(12). Solve -2*z - j = 2*y + z, 0 = 5*y - 2*z - 2 for y.
0
Suppose 0*r + 3*r - 21 = 0. Suppose -6*v - 3 = -r*v. Solve 2*d = -2*q, -v*q = -2*q - d + 2 for q.
-1
Let r = -1214 - -1224. Solve 3*g + 8 = -h, -r = 5*h + 15 for g.
-1
Let x(y) = -y**2 - 6*y + 10. Let i be x(-7). Let v be i + 5/((-20)/(-16)). Solve -3*b + 2*o - 7 = -3*o, -5*b - o = -v for b.
1
Let g = 1 + 3. Suppose 10 = -g*t + 4*h + h, -h + 2 = 0. Solve 5*q = -k + 16, 0 = -k - q - t + 4 for k.
1
Let z = 147 - 158. Suppose 2 + 12 = y. Let p = z + y. Solve -p*d - 8 = -7*d - g, 0 = -3*d - 5*g + 6 for d.
2
Let c(n) = 5*n + 12*n - 6*n + 4*n + 3 - n**2. Let d be c(15). Solve 0 = a - d*s - 5, 0*a - a + 9 = -5*s for a.
-1
Let a be (-1)/((-3)/92)*-3. Let i be a/(-24) + (-2)/(-12). Solve i*m + m + 6 = v, 3*m - 2 = 2*v for m.
-2
Let p(c) = 2*c**2 + 27*c + 15. Let v be p(-13). Solve 3*o = -v*k - o + 6, -o = 2*k for k.
-1
Let q be (-1)/(1 + (-6)/4). Suppose -5*c - i + 17 = 0, c - 3*c = -4*i + q. Solve 3*h = 5*b + 25, c*b + 5 = -h - 2*b for h.
5
Suppose 5*f - 3 = 4*r, -3*r + 12 = 3*f - 2*f. Solve f*c - 9 = -3, 0 = -3*w + c - 5 for w.
-1
Let l = 0 + 0. Let v = 110 + -108. Suppose -4*n + 8 = -4*w, v*n + 4*w + 4 = 2. Solve 0 = -l*o - o, d = -o - n for d.
-1
Let m be (-1 + 0)/((-2)/6). Solve c = -m, -3*v - 2*c - 7 = -1 for v.
0
Suppose -6*s + 31 + 11 = 0. Suppose -s*j + 17 = -18. Solve -u + 15 = -j*p + 2, -5*u = 2*p - 11 for u.
3
Let z = 7 + -2. Suppose -2 - 8 = z*x. Let q be (-30)/(-9)*(-6)/x. Solve m + 2*m + o + q = 0, m - 4*o = 14 for m.
-2
Suppose 108*k = 104*k + 12. Suppose -4*u + 24 = -u. Solve w = -x + k, 0*x = -2*x + u for w.
-1
Suppose -57*m + 43*m + 168 = 0. Solve -3*h + m = 0, 2*i + h - 5*h = -8 for i.
4
Let i(g) = g**2 + 25*g + 71. Let q be i(-3). Solve -5*c = -3*r + 11, 2*c + 5 = 4*r + q*c for r.
2
Let l = 432 + -429. Solve -3*f - 18 = 2*w + l*w, 3 = -2*w + 3*f for w.
-3
Suppose 0 = 5*z - 5*u - 110, -5*u + 10 = 2*z - 6. Solve -2*a = -4*n + 6, -4*a + 2*n = -0*n + z for a.
-5
Let q(v) = -2 + 1 - 7*v + 7*v**2 + v**3 - 3*v - 8. Let n be q(-8). Let t(k) = -k + 11. Let s be t(n). Solve 3*c = -s*l + 2 + 22, 4*l = -4*c + 28 for l.
3
Let n be 0*1/(-2) - -3 - -3. Solve 0 = 3*q - k + 5, 4*q + 11*k = 6*k + n for q.
-1
Let o be (1 + -31)*-5*6/60. Solve -31 = -2*q + 5*j, -4*q + 2*j + o = -7 for q.
3
Let d be -1 + 0 + 30/5. Suppose 5 = -w - 0*w, -m - d*w = 14. Let h be (-188)/(-16) + (-18)/(-72). Solve -i + 5*s = m, 3*s = -s + h for i.
4
Let q(c) = -13*c**2 + 50*c + 8. Let v be q(4). Solve -5*k + 20 = v, 2*k = -5*o + 3*k + 1 for o.
1
Let c be (5 - 1) + -1 + 3. Suppose -100 = -16*j + c*j. Solve -g + j = -2*p, p + 8 = 2*g - 3 for g.
4
Let b = 56 + -78. Let d = 39 + b. Solve -5*m + 4*v - d = 0, 2*m + 0*v = -v - 12 for m.
-5
Let k(t) = 23 + t - t**3 - 5 + 2*t**3 + 16*t**2. Let p be k(-16). Let b be (-14)/(-6) - 4/(-6). Solve b*l - 5*m - 28 = -0*l, 0 = p*l - 2*m - 12 for l.
1
Suppose 30 = 5*q + 5*t, 4*q - t = t + 36. Suppose q = 6*h - 2*h - 3*k, 8 = 4*h + 2*k. Suppose 2*d + 4 = 10. Solve -2*s = s + h*j, -j + d = 0 for s.
-2
Suppose 7*w = w + 24. Suppose 0 = -164*r + 167*r - 12. Solve w*j + r*u - 11 = -31, 0 = -u for j.
-5
Let h(z) = 3*z + 1. Let g be h(8). Let k be ((-60)/g)/((-2)/5). Solve -k = -6*v + v + 2*x, -v = 3*x + 9 for v.
0
Let z be ((-26)/(-4))/((-5)/50*-5). Solve 5*d + 3*n + 27 = 0, d - 4*d - n - z = 0 for d.
-3
Suppose 0 = -4*l + 6 + 2. Suppose z + 60 - l = 5*o, -3*z - o - 110 = 0. Let x be z/(-14) + 18/63. Solve -5*s = -5*k - 0*k - 10, -x*s = -2*k - 2 for k.
-4
Let o(s) = -s**3 - 7*s**2 - 10*s + 4. Let l be o(-5). Let t be (-744)/20 + l/20. Let m = 37 + t. Solve -5*b = v + 24, m - 15 = 2*b - 5*v for b.
-5
Let c = 671 - 668. Solve c*p + 2 = 4*p + j, -p + j = 6 for p.
-2
Let k(g) = -g**3 + 4*g**2 - 8*g + 6. Let b be k(3). Let p = 14 + b. Solve 6 - 2 = a - 2*o, 0 = 3*a + p*o + 21 for a.
-2
Let w be (-161)/(-69)*(-18)/(-14). Solve 5*n + r = 3*n - 11, w*r - 3 = 3*n for n.
-4
Suppose 28*a = 34*a - 186. Solve 3*p + 2*y + 2 = 2*p, -5*y = -4*p + a for p.
4
Let o(y) = y**3 + 9*y**2 + 7*y - 6. Let h be o(-8). Let n(f) = -f**2 - 63*f + 343. Let m be n(-68). Solve 3*k = -3*t - m, h*k - 3*t = -t + 10 for k.
2
Let m(c) = -c**2 - 20*c - 64. Let p be m(-14). Solve 0 = -3*x + s + 4, 2*x - 5*s - p = 3*x for x.
0
Let w = -2 - -4. Suppose -3*q + 2 = p, -w*p - 4*q = -2 - 2. Solve -4*t = -5*j + 2, -5*j + p*t = -0*t + 4 for j.
-2
Let u(x) = 2*x**2 + 9*x + 6. Let d be u(-6). Solve 4*i - d = -4*o, -2*o - 2 = -0*o - 5*i for o.
4
Suppose -3*j = 5*l - 3*l + 1, l + 17 = 4*j. Solve -27 = 3*u + j*y, -7*u + 2*y - 7 = -4*u for u.
-5
Let c(x) = 8*x - 142. Let a be c(19). Suppose 3*d - 6 = -0*d. Solve -z = 2*u + a, 3 = -u - d*z - 2 for u.
-5
Suppose 0 = 2*y - 4*g - 14, 4*y + g - 55 = -0*y. Solve -s = -2*p - 0*s - 7, -4*s = -3*p - y for p.
-3
Suppose 4*h - 4 - 8 = 0. Let y(n) = n + 3. Let g be y(-3). Suppose -s = s + 5*j - 15, g = s - j + h. Solve 2*m + s - 3 = v, 23 = 3*v + 2*m for v.
5
Let r be 42/399 + 8/(-76). Let g = 0 - -2. Solve r = -g*o - 2*m + 10, -2*m = 5*o - 6*o - 4 for o.
2
Let z(v) = -2*v - 1. Let t be z(1). Let n be (-2)/2*-3 - t. Suppose -5*p = -3*p - n. Solve 12 = u + 3*u - p*y, -3*u = -3*y - 12 for u.
0
Let w(l) = 3*l**2 + 31*l - 41. Let s(n) = -n**2 - 15*n + 20. Let o(m) = 5*s(m) + 2*w(m). Let q be o(12). Solve -4*r + r + h = q, 4*h = -4*r + 8 for r.
-1
Let y(n) = n**2 + n - 2. Let b be y(3). Let j be ((-58)/b + 4)*(-5)/1. Solve -5*m - j = -2*m, -9 = 5*l + 3*m for l.
0
Let s = -309 - -325. Solve 0 = -4*n - 4*w - s, 2*w = -5*n - w - 12 for n.
0
Suppose -5 = 2*h + 5, 0 = 5*a + 2*h - 15. Let z = -46 - -135. Let v = z + -87. Solve -3*c + 17 = -4*x - x, -a*c - v*x = -18 for c.
4
Let j be (12 - (-232)/(-16))*-2. Let i be ((-8)/(-6))/2*6. Suppose 2*z = 3*z - i. Solve 2*m + 0 - z = j*q, -5*q - 3*m + 6 = 0 for q.
0
Let a(s) = -3*s. Let q be a(-1). Suppose 6 = 4*r - 14. Solve v = -p + 1, -r*p - q + 14 = -v for v.
-1
Suppose 0 = r + 3 - 2, -3 = 3*v + 3*r. Solve 5*q - m + 2 = v, 4*m = -2*q + q - 13 for q.
-1
Let j(c) = -13*c**2 - c + 5. Let g be j(2). Let d = -44 - g. Solve -5*f = d*i - 35, -f = -5*f - i + 19 for f.
4
Suppose 5*r + 9 = j + 3, 0 = -5*j + r + 54. Let o = 11 - 7. Solve q = o*n + 9, -3*n - 5*q + j = -11 for n.
-1
Let d(x) = x**2 + 17*x + 34. Let n be d(-15). Suppose -i + 5*z = n*i - 195, -15 = -i - 5*z. Solve -4*b = -5*p - 10, -5*b - 4*p + i = p for b.
5
Suppose -5*f - 3*x + 2*x = -93, 27 = f - 4*x. Suppose f = -5*s + 64. Solve 0*y = 2*i + 3*y + s, 0 = 5*i + 5*y + 20 for i.
-3
Let y be ((-28)/(-21))/((-20)/(-105)). Solve -y = -k - 3*x, -5*x = -3*k - 0*x - 21 for k.
-2
Suppose 4*m = 3*y - 2 - 5, -3*y = 5*m - 25. Suppose 9*i - 21 = m*l + 4*i, l - 4*i = -18. Suppose -2*v - l*v = -8. Solve -v*f = 2*d - 6, d = -4*d + 5 for f.
2
Suppose 1144*f - 1153*f + 36 = 0. Suppose -2*k = -4*k. Solve k*c = -4*t - 3*c + 16, c = f*t for t.
1
Suppose 118*d = 132*d. Solve d = -u, -3*q + 0*u - 2*u + 12 = 0 for q.
4
Suppose 32 = 3*p - 16. Suppose p = 10*j - 324. Suppose j = 4*a - 6. Solve 5*g + 10 = 0, -2*b + a = -0*b - 2*g for b.
3
Let s(q) = 43*q - 40. Let x be s(1). Solve -x*a = -8*a - 3*b + 14, 3 = b for a.
1
Suppose -3*y + 4*o + 38 = 0, -2*y = 3*o - 4*o - 17. Let z(v) = v**3 - 2*v**2 - 4*v - 1. Let i be z(3). 