*3 - 5*v**2 + v + 12. Let d be t(-5). Let h(j) = j - 1. Let f be h(d). Solve -3*b - f = -3*g, -5*b - 3 = -3*g + 9 for g.
-1
Suppose 0 = -36*r + 40*r - 116. Solve -2*d + 0*d = 5*b + 27, 5*b + 4*d + r = 0 for b.
-5
Let a = 412 - 410. Solve 11 = -5*v + 3*d, a*v - 4*v - 2*d = -2 for v.
-1
Suppose 0 = 3*h + 2*z - 0*z - 150, -h - 2*z = -54. Suppose -5*r + h = r. Let f be 19 + (3 - (r - 1)). Solve 0 = 5*u - 4*w + 35, -w = -2*u + 4 - f for u.
-3
Let u(z) = -28*z + 24. Let n be u(3). Let m = n + 73. Solve -m = 3*t + 4*x, 3*x = x - 8 for t.
1
Suppose o + 1 = 0, -153 = -t - 3*t + 5*o. Suppose 0 = -7*v + t - 2. Solve 0 = v*p - 4*m - 7 - 10, p - 4*m + 3 = 0 for p.
5
Let x be (((-10)/(0 + -2))/(-1))/(-1). Suppose o + k + 13 = x*o, -o + 17 = -3*k. Solve o*q + 0*q + 2*l - 6 = 0, 2*q - 2 = -l for q.
-1
Suppose 3*t - 47 = 4*a, -5*a - 27 + 4 = -t. Solve -f + 5 = -2*u, t = 3*f + 2*f - 4*u for f.
1
Let n(j) = j**3 - 6*j**2 + 5*j + 4. Let c be n(5). Let g(m) = -m**2 + 14*m - 12. Let z be g(11). Solve 5*r = 2*l - c*l + 25, 3*l - z = -2*r for l.
5
Let u(j) = 13*j**3 - j. Let o be u(-1). Let c be 4 - ((-4)/(-10) - o/(-30)). Let m be (-4)/(-10) + 24/15. Solve 2*a - 10 = -5*b, 5*b = c*b - 2*a + m for b.
2
Let j(r) = -3*r**3 + 2*r**3 + 2*r**3 + 2*r. Let n(s) = s**2 - 6*s - 25. Let y be n(9). Let z be j(y). Solve -z = -h - h + 2*p, 3*h - 5*p = 22 for h.
4
Let u = -7 + 10. Let k(h) = -3*h**2 + 52*h + 99. Let i be k(19). Let w be (-2)/4*(-5 + -1). Solve x = -1, -w*x + i = -u*p - 2 for p.
-3
Let n = -13 - -15. Suppose 58 = 2*g + 50. Solve g*x + 0*x = -5*y + 5, 0 = 2*y + 4*x - n for y.
1
Let a = 348 - 346. Solve -4*r + 16 = 4*t, a*t = 5*t + 2*r - 11 for t.
3
Let u = 41 + -35. Solve -2*n + u = 2*m, m + m = 2 for n.
2
Suppose -65*n + 63 = -67. Solve 5*i + 27 = 3*l, 3*l + 2*i - 4 - n = 0 for l.
4
Let s be 4 + -2 - (-3 + 1). Suppose -s*g - 3 = -11. Solve i - 3*f - 2*f + 19 = 0, 0 = -g*f + 8 for i.
1
Let w(i) = 0*i - 2 + 7 - i. Let z be w(5). Suppose -2*j + 25 = 3*j, o - 4*j = -17. Solve 4*r = 4*l - 12, z = o*r - 0*l - l + 5 for r.
-1
Let t(c) = c**2 - 2*c + 2. Let l be t(2). Suppose -3*w + 3*i + 0*i = 9, 2*w = i - 1. Solve 6 = 4*z - l*s - 0, w*s + 5 = 5*z for z.
-1
Let u = -373 - -377. Solve 4*x - 14 = 2*k, -2 = -u*k + 4*x - 26 for k.
-5
Suppose -5*g + 4*w - 3*w = -3, 5*w = -g - 15. Suppose -p + g*p + 4 = 0. Suppose -m = -12 + p. Solve m*h = 2*k + 3*h - 10, 0 = h for k.
5
Let f(l) = -l + 11. Let s be 1/(-4)*0 - 0. Let t be f(s). Suppose 3*v = -t + 38. Solve -v = -w - i, 0 = i + i - 10 for w.
4
Suppose -2*u - 13 = 5*w, 2 = -w - 2*u - 7. Let f(v) = 28*v**2 - v. Let r be f(w). Suppose -t = 9 - r. Solve -4*q - o = 19, o - 6*o + t = -3*q for q.
-5
Suppose 45 = 5*b + 5*z, -23 = -b - 2*b - 2*z. Suppose 37 = b*u - n - 2*n, -u - 3*n - 7 = 0. Solve u*x + 3*j - 17 = 0, -x + 0 = 5*j + 1 for x.
4
Let b(i) = -9*i - 118. Let q be b(-16). Solve -3 - q = 5*n - 2*r, -r + 2 = 0 for n.
-5
Let w(f) = 2*f + 3. Let d be w(1). Suppose d*y - 9*y = -24. Solve -4*g - l = -15, -2*l + y - 28 = -5*g for g.
4
Suppose 3*f = 6*f - 6. Suppose -f*w + 7 + 1 = 0. Suppose -2*s - 8 = -3*s. Solve w*d = 3*l, 3*l - s*l = -4*d for d.
0
Let p be (-8)/(-14)*56/16. Suppose 1 + 11 = p*z. Suppose -2*r + z = -6. Solve 0 = 2*u - 0*t - 2*t - r, 5*u - 5 = 3*t for u.
-2
Let b = -5 - -8. Suppose 0 = n + x, -b*x = -x + 6. Suppose -n*p = -2*k + 33, -5*k + 5*p = 6*p - 40. Solve 3*w = 3*z + 3, 0 = -0*z - z - w - k for z.
-5
Let y = 28 + -20. Let x(w) = 5*w - 5. Let z be x(y). Solve 0 = 2*u + 4*q - 4, -5*u + q - z = -4*q for u.
-4
Let u be 0 - ((-63)/9 - 2). Solve -5*z - 8 = 3*y + 9, -2*y - u = z for y.
-4
Suppose -5*k - 150*i + 149*i + 9 = 0, 4*k = -4*i + 4. Solve -k*l - p = 1 - 0, -3*p = -4*l - 17 for l.
-2
Let k(v) = v**2 + 19*v + 30. Let a be k(-17). Let j be a/(-6) - 61/(-3). Solve -2 = 2*m + 3*t - j, m = -5*t + 20 for m.
5
Let f be 4/(-10)*15/(-6). Suppose 10*m + 25 = 5*m. Let p be (0 - 3) + (m - -8). Solve p*j = -2*l - j - f, 5*j = -2*l + 19 for l.
-3
Let r(n) = -n - 1. Let t be r(-1). Suppose 21 = 7*p - t. Solve -p*c - 4*j - j = 0, c = -3*j + 4 for c.
-5
Let i(o) = 10*o + 65. Let j be i(-5). Solve y = 3*t + j, -3*t + 15 = -6*t - 2*y for t.
-5
Let u = 442 - 442. Solve u = -o - f - 4 + 2, 5 = -o - 2*f for o.
1
Suppose -24*a = -28*a - x + 3, a - 2*x + 6 = 0. Solve a = 4*p - 5*i + 12, p + 3*i = i - 3 for p.
-3
Let w be (-1 + (-10)/(-15))*-27. Let c be (26 - -1)/((8 - w)*-1). Solve 0 = 3*l - 4*y - c + 5, 16 = 2*l - 3*y for l.
2
Suppose 5*j + 13 = 3*c - 12, 3*c + 3*j = 9. Solve -2*w + 35 = 5*z, 0 = 2*z - 3*w - 0*w + c for z.
5
Let p(b) = 4*b - 20. Let x be p(6). Solve 0 = -3*z + 3*u, -5*z - 1 = -x*u + 1 for z.
-2
Let d(l) = l**3 - 12*l**2 + 9*l + 4. Let f be d(10). Let j be (f - -2)*(-6)/8. Let s be (91/j)/((-2)/(-12)). Solve 4*t + 3*r + 19 = 0, 3*r - 2 = 3*t + s for t.
-4
Suppose 0 = -5*d + d + 12. Suppose 5*o + 6*n + 35 = n, 0 = d*n. Let i(t) = -t + 5. Let p be i(o). Solve r + 0*x + 2*x = -p, -5*r + 5*x = 0 for r.
-4
Let d(x) = -x**2 + 7*x + 60. Let w be d(-5). Solve w = -3*b + u + 3 + 1, -5*b + 10 = -5*u for b.
1
Let n be (-1 - -2)/((-1)/(-3)). Let u = -4 - -7. Let l be (54/30)/(u/5). Solve -2*b - 2 = -4, 0 = -n*k + l*b - 18 for k.
-5
Let z(u) = u**2 - 2*u - 10. Let d be z(-4). Suppose -9*c = -13*c + 12. Solve h = -4*h - c*l - 16, 5*h + 2*l + d = 0 for h.
-2
Suppose 3*q - 4*y + 10 = 5*q, 0 = -2*q - 2*y + 10. Let w = 229 + -227. Solve -u = 3*z + 1, q*u + w*z - z = 9 for u.
2
Let s(h) be the second derivative of -h**5/20 + h**4/6 + 15*h**2 - 6*h. Let r be s(0). Solve 3*n = 3*v + n + 5, -2*v = 4*n + r for v.
-5
Suppose -5*u = -q - 12, 0 = -0*u - 4*u + 12. Let i be (-1)/((-2)/63)*(-24)/18. Let k = i - -46. Solve q = -3*x, v = -k*v - x + 14 for v.
3
Let z(x) = -7*x - 89. Let o be z(0). Let c = o - -89. Solve 3*i - 3*h - 6 = c, 3*h = -4*i + 9 + 6 for i.
3
Suppose 26*o = 90 - 12. Solve 3*j - 24 = -2*j + o*a, -3*a + 3 = 4*j for j.
3
Let m(k) = 3*k**2 - 20*k + 16. Let d be m(6). Solve 0 = -4*g + d*h + 12, 4*g - 2*h = -3 + 13 for g.
2
Let o(c) = -20*c + 29 + c**2 - 12 + 0*c + 22. Let q be o(18). Solve -3*r = 3*a + 15, -4*r + q*a = a - 10 for r.
0
Let m be ((-12)/5)/((-36)/120). Suppose 3*b + 120 = m*b. Let n be (-6)/b - (-26)/8. Solve -3*t - 16 = -2*r - 0, 6 = n*r for t.
-4
Let z be (12/(-9) + 6)*45/2. Let x be 0 + z/33 + (-4)/22. Solve 0 = 2*h - s + 10, -4*h - 2*s - x = 1 for h.
-3
Suppose 5*s - 19 = -4. Suppose 0 = -s*u - 4*u + 49. Solve -j = 3*t - 11, 5*t = -j + 10 + u for t.
3
Suppose 0 = 58*v - 54*v - 12. Solve -j - 3*j + 7 = -v*b, -3*b - 15 = 0 for j.
-2
Suppose 4*v - 63 = v + 3*i, 0 = 2*v + 4*i - 18. Suppose h - v = -3*h + 5*m, m - 5 = -2*h. Solve -4*y + 3*y - 14 = h*p, 3*p + 4*y + 11 = 0 for p.
-5
Suppose 2*m - 3 = 3. Let r(z) = -33 - 2*z - 3*z**2 + 35 - 4*z**3 + 3*z**m. Let q be r(-2). Solve -2*x - q*f = 2, 2*x - f - 4*f + 16 = 0 for x.
-3
Let s(j) = j**3 + 7*j**2 - 8*j + 3. Let r = 13 - 5. Suppose -4*p - r = -3*p. Let y be s(p). Solve 3*i + 11 = 2*h, -y*h + 7*h - i - 7 = 0 for h.
1
Let m(x) = -x**3 + 14*x**2 - 13*x + 3. Suppose 0 = -5*l + 5*f + 70, 0 = -l - 4*l - 2*f + 63. Let n be m(l). Solve 3*z = -0*o - o + 5, -n*z - 4*o + 11 = 0 for z.
1
Let d be -5*(-10)/25 - 18. Let a be (0/(-2))/(d - -17). Solve l + 7 = -s, -3*s - l - 11 = -a*l for s.
-2
Let v(p) = 24 + 18*p - 20*p + 19. Let f be v(19). Solve -4*b + c = 19, 2*b - f*c + 4*c = -11 for b.
-4
Let p(f) = f + 43. Let z be p(-37). Let i = -14 - -8. Let s = i + 10. Solve -z*o + s*o + 12 = -c, 2*o = -5*c for o.
5
Let c be (-2)/8 + (-270)/72. Let f = c - -15. Solve 19 = -3*y - 5*m, 5*y - 9 = 2*m + f for y.
2
Suppose -16 - 10 = -2*p - 5*l, -p - 4*l = -19. Suppose -4*q = -p - 9. Solve v - 4*k + 16 = -q*v, -4*v + 3*k = 12 for v.
0
Let h = 95 - 40. Suppose 0 = -6*f + 17*f - h. Solve -i - 4*p - 10 = 0, -8 - 10 = 4*i + f*p for i.
-2
Let k = -1211 - -1211. Solve k = 3*n - 12, 3*p - 2*p + 4*n - 16 = 0 for p.
0
Suppose -4*a + 19 - 3 = 0. Let i be (a/2)/((-8)/(-388)). Suppose -53 = -3*y + 5*d, 5*y - i = -3*d - 20. Solve -q - y = -3*l, -2*l - 2*q = 1 - 9 for l.
5
Let k = -7506 - -7516. Let s be (4/10)/((-2)/(-10)). Solve -s*c - k = 0, 2*f + 0*f - 23 = 3*c for f.
4
Suppose 2*s = -s + 2*y + 143, -2*s + 106 = 4*y. Let m = -44 + s. Solve -6 = -3*t + 4*x, 4*t - m*x = 11 - 3 for t.
2
Let g be 1 + 