 s*a - 0*a - 15 for h.
-3
Suppose 3*m = 27 + 24. Suppose 81 = 2*v + 5*n + 10, 4*n = -2*v + 66. Let q = 12 - 7. Solve b = -q*g - v, b - m = -0*g + 5*g for b.
-3
Let g(z) = z**2 + 10*z + 12. Let x be g(-9). Solve 2*f - 8 = 6*f + x*j, 3*f = 5*j - 35 for f.
-5
Suppose t + t = 2, -20 = -c - 2*t. Suppose 2*n - c = n. Let y be 3*(-16)/12 - -14. Solve -y = -5*k, 0*m - n = -5*m + k for m.
4
Suppose 5*n + a = 25, 5*n - n = 2*a + 6. Solve -3*t - 19 = -2*q, 13 = 3*t - 4*t + n*q for t.
-5
Let m(u) = u**2 - 14*u - 20. Let a be m(15). Let i be a/(-15) - (-10)/6. Solve 3*w + 2*g - i = 14, 0 = w + g - 7 for w.
2
Let a(d) = -7*d + 55. Let w be a(5). Solve 0 = b - 4*s - 11 + 31, 3*b - 2*s = -w for b.
-4
Let w(t) = -t**2 - 13*t + 19. Let u be w(-14). Solve -4*q = -5*f + 15, 0 = -4*f - 0*f + u*q + 21 for f.
-1
Let s be (-3 + -2)/(0 + -1). Solve -3*u - 1 + 7 = -4*g, s*u + 5*g + 25 = 0 for u.
-2
Suppose -7*m = -12*m + 5. Solve 3*q - 18 = -2*f - 5, -2*f + m = -q for f.
2
Let q = 6 + -2. Suppose -3*y + 2*s + 2*s = -8, 3*s + 6 = 4*y. Solve q*o + 13 = -c, -3*c - 5 = -y*c - 5*o for c.
-5
Let u(q) = -q**2 - 4*q + 5. Let t be -3 - 3*1/3. Let x be u(t). Solve -4*h = 5*o + x, 0*o - 4*o = 4 for h.
0
Let v = -3 + 3. Solve -35 = -4*g - 5*c, -5*g + 4*c + 10 + 3 = v for g.
5
Let f = 4 + -2. Let r(i) = -f*i - 1 + 3 - 5 - 2*i. Let v be r(-2). Solve v*y + 5*b - b = -21, 0 = 2*y - 3*b + 13 for y.
-5
Suppose -5*l + 93 = -0*l - 4*a, 3*a = -3*l + 45. Solve 2*c - 4*x = -4, 4*c - 2*x - 3 = -l for c.
-4
Let o = 35 - 10. Suppose f + k + 7 = 3*f, 5*f = -5*k + o. Solve 0 = 4*q - f*d + 1 + 11, 0 = -q + 3*d - 5 for q.
-2
Let l = -24 - -27. Solve -l*a = -2*p - 0*p + 4, -4*p + 12 = -4*a for a.
2
Suppose -5 = -2*g - c + 11, c = 5*g - 54. Solve -5*x + 2*j = -g, -4*j - 4 = 2*x - 4*x for x.
2
Suppose 0 = -5*k - a + 24, 3 + 8 = 2*k - a. Solve -2*u = -7*u + 15, -5*n = -k*u + 35 for n.
-4
Let o(n) = n**3 + n**2 + n + 4. Let j be o(0). Let u(w) = w + 9. Let f be u(-6). Solve 21 = -2*p + f*y, j*y = -5*p - y + 10 for p.
-3
Suppose 7*b - 28 = -4*u + 2*b, 4*b = 4*u + 8. Suppose -4 = 2*m - u*q, 5*m - 13 = -3*q + 9. Solve -2*o + 5*t = -13, -m = 3*o - 5*t - 19 for o.
4
Let r(v) = -v**2 - 7*v + 4. Let f be r(-7). Let h(b) be the first derivative of b**2/2 - b - 2. Let l be h(4). Solve l*w = -4*g + 11, -4*g + 5 = f*w + w for w.
-3
Let c(w) = -6*w**2 - w - 1. Let u be c(-1). Let q be (9/6)/((-1)/u). Suppose 0 = 4*r - q*r. Solve r = -3*k - 6, -2*o + 10 = -4*k + 3*k for o.
4
Let o(c) = -c**3 - 2*c**2 + c + 2. Suppose 9 - 7 = -q. Let f be o(q). Solve -t + 3*w - 6 = 0, t + f*w + w - 2 = 0 for t.
0
Let b be 0*(-1)/3 - -2. Suppose 0*h = -b*h + 3*t + 7, -2*h + 6 = -2*t. Solve 3*u - 31 = -4*y, -2 = -h*u + 3*y - 4 for u.
5
Let y(s) be the second derivative of -s**3/3 - 3*s**2/2 - s. Let z be y(-4). Let d = 25 + -22. Solve 2*o - 12 = z*i - 0*i, -d*o - 28 = 4*i for o.
-4
Let a be (-66)/(-15) + 10/(-25). Solve k + 0*n + 5 = -n, 2*k - a = 5*n for k.
-3
Let i be (6/24)/((-2)/(-8)). Let w be 24/(-9)*-3*i. Solve 4*m - w = 2*a, 0 + 4 = 2*m + a for m.
2
Let y be -4*(3 + 6/(-3)). Let r = 0 - y. Suppose -3*i - k = 4*k - 30, r*k = -i + 17. Solve -i*q + 2 - 4 = o, -4*o = -5*q + 8 for q.
0
Let q = -4 - -9. Solve q*c + 4*u = -u - 15, 5*u = c - 21 for c.
1
Suppose 2*h - 16 = 14. Solve 0 = -r + 2*c - 8 - 3, 5*r + h = 2*c for r.
-1
Suppose 0 = -4*k + 7 + 1. Suppose -f = 4*p - 19, 3*f - 50 = -k*f - 5*p. Solve -3*d = -5*c, 4*d - 4*c - f = 1 for d.
5
Suppose 87*h = 104*h - 34. Let q be (0 - (1 - 0))*3. Let g be (-2)/q + (-14)/(-6). Solve -3*v + g*m + 4 = -h, 4*m = 5*v - 6 for v.
-2
Let h = -11 + 18. Suppose -150 = -h*s + 2*s. Solve 2*v + 15 = 5*z, 5*z + v = -0*v + s for z.
5
Suppose 15 = 5*f - 0. Let y(p) = -p**2 + 4*p + 1. Let h be y(f). Solve -o - h = 3*o + 4*w, -5*w = -3*o + 13 for o.
1
Suppose 0 = 3*k + 5*j - 28, -10*j = -5*j - 25. Let c be 2/(-6) - 16/(-3). Solve 0 = 4*m + 2*x - 1 - k, -2*m - 5*x + c = 0 for m.
0
Let h(b) = b**2 - 3*b + 2. Let m be h(3). Solve d - s - m = -1, -2*s = 2*d + 18 for d.
-4
Suppose 2 = j + 3. Let i = j + 0. Let c be (i - 1)*3/(-2). Solve 6*v = c*v + 3*k - 9, 3 = 5*v + k for v.
0
Let j(g) = 2*g - 8. Suppose 4*a + a = 35. Let z be j(a). Solve 5 = -3*k - 5*w - 4, 2*k - 4*w + z = 0 for k.
-3
Let r(k) = k**2 + 18. Let l be r(0). Solve a = i, 5*i + 3*a - l = -a for i.
2
Let h be (-30)/9*27/(-15). Let s = h - 2. Solve -4*y - s = -4*a, 4 = 5*y + 3*a - 7 for y.
1
Let q be (-2 + 0)/((-5)/10). Suppose -t + 16 = q*s, 2*s + 12 = 5*s + t. Solve 0*z + 3*z - 14 = 2*d, -s*d - 16 = -3*z for z.
4
Let z be 0*-2*(-1)/6. Suppose -5*b + z*b = 0. Solve u = 3*u - a - 4, -u - a - 4 = b for u.
0
Let j(b) = -b**3 + b**2 - 6. Let s be j(0). Let m be 2/(-3) + (-34)/s. Let h(c) = -2*c - 2. Let p be h(-3). Solve p*o = -3*a + 2*o + 3, -5*a - m*o = -10 for a.
-1
Suppose 0 = 2*k - 4*k. Let u be 2 + k*1/(-3). Solve -c - 4*o = 7, -u*c - 7 + 1 = 4*o for c.
1
Suppose 0 = 3*x + 3*j + 12, -3*x - 8 = 2*x + j. Let f be x*-6*1/2. Solve -12 = f*l + 2*p + 13, l - 10 = 3*p for l.
-5
Let j(l) = 0 + l**2 + 3*l**2 - 2 - 3*l. Let b be j(-3). Let f = -31 + b. Solve -3*y = 3*u + f, 3*u + 9 = -y - 3 for y.
0
Let t be 9*(0 + (-3)/9). Let s be (-111)/12 - t/12. Let n = 11 + s. Solve n*w + 6 = 5*d, -d - 3*w + 2 = -3*d for d.
2
Suppose 3*a + 77 - 14 = 0. Let l = a - -33. Solve 4*u - l = -4*x, -3*x + 4*u + 14 = 5 for x.
3
Let q = 1 - -6. Suppose 0 = -3*o + 52 - q. Solve 5*v = v - j + o, -j = v for v.
5
Let l = -3 + 1. Let i(j) = -j + 2. Let g be i(l). Suppose -g = -3*r + 3*h + 5, 3*r + 3*h = 9. Solve 3*p + r*v - 20 = -p, -2*p - 2*v + 10 = 0 for p.
5
Let n = -213 + 215. Solve 0*b + 5*f = n*b - 12, 0 = -4*f - 16 for b.
-4
Suppose 5*o + 29 + 56 = 0. Let c be (-2)/3 + o/(-3). Suppose 3*y = -c*k + 30, 2*k + 7*y - 4*y = 21. Solve 4*i - k + 19 = -5*z, -4*z + 20 = -5*i for i.
-4
Suppose 0 = -0*z - 4*z + 76. Let s = -10 + z. Solve 2*j + u = -s, -2*j + 5*u - 1 = 2 for j.
-4
Suppose 4*a = 19 + 1. Let g = -5 + a. Solve 5*v + 3*m - m - 23 = g, -16 = -4*m for v.
3
Let a = 112 + -110. Solve a*h - 2 + 5 = j, j = -3*h - 17 for j.
-5
Let q = -40 + 50. Solve f - 8 = -h - 3, -2*h + q = -2*f for f.
0
Suppose -f - 4 = f. Let k(z) = -17*z**2 - 4*z - 3. Let q be k(f). Let a = q - -88. Solve 0 = 2*h - 2*m + 10, -2*h - 2*m - a = 3*h for h.
-5
Let f(n) = n**2 - 7*n - 1. Let a be f(10). Solve -5*w = 4*c - 17, 3*c + 2 + a = 5*w for c.
-2
Suppose 15*o + 16 = 16*o. Solve 4*z - 3*w = -1 + o, 3*z - 10 = w for z.
3
Let q = 33 + -31. Solve 5*h - 2*g = -5, -3*g + 7 + 10 = q*h for h.
1
Suppose -5*m = 0, -m - 4*m + 2 = n. Solve 2*u + 2 + n = 2*h, -5*u = h + 28 for h.
-3
Let u(o) = 2*o - 15. Let h be u(10). Suppose 6 = 2*m - 0*m, -4 = 5*y - 3*m. Solve -y = -r - 2*n, h*n - 7 = -6*r + 2*r for r.
3
Let l be 203/63 + 2/(-9). Solve 2*u + 3*s = -u - 9, 0 = l*s + 15 for u.
2
Suppose f - 2 = -0. Suppose 0 = f*i - 3*i + 2. Solve -4*v = 3*p - 9, i*p - 15 = -2*v - 3*p for v.
0
Let m(b) = -b**2 + 4*b - 1. Let t be m(3). Let k = -3 - -8. Suppose -2*l = -2*n - 8, -2*l - 2*l = -k*n - 17. Solve 0 = 3*a + h - 6, 4*h - 1 - l = -t*a for a.
2
Suppose 4*i = 2*i - a + 212, 0 = -2*i - 4*a + 218. Let s be i/33 + (-6)/33. Solve 0 = s*g + 3*p - 9, 3*g - 4 = p + p for g.
2
Let g(w) = w + 5. Let s be g(0). Suppose -r + 4*f - 3*f + 8 = 0, r + 2*f = -1. Solve -n + 2*n = -4*t - r, 4*t = s*n - 23 for n.
3
Let h = 37 - -7. Let r = -28 + h. Solve -5*y - 20 = 5*n, 2*y + 2*y - 3*n = -r for y.
-4
Let b(t) = -t**3 - 4*t**2 + 0*t - 2 - 4 - 4*t. Let z be b(-4). Suppose 0 = -w - 3*w. Solve -5*g - 5 = 0, w = -z*d + 5*d + g + 6 for d.
1
Let l = -8 - -12. Suppose d - 20 = -l*d. Solve -5 = -4*i + 3*i, 4*i - 8 = d*c for c.
3
Let b be (-2)/(1*(-3)/3). Let i be (-1)/(b/(1*-26)). Let x = -6 - -9. Solve 0 = -5*g - x*q + q + i, 3*q + 9 = 2*g for g.
3
Let l(k) = -k + 14. Let f be l(10). Suppose -56 = -4*d + 24. Let m be ((-6)/f)/((-15)/d). Solve 3*j = 4*q - 1, 0 = m*q - j - 0 + 1 for q.
-2
Let w be 175/10 + 2/4. Solve 7*p - 2*p + i = -w, 3 = -i for p.
-3
Let l = -45 + 50. Solve -w + 5*i = -l, 2*i = -4*w + 6*i - 12 for w.
-5
Suppose 3*r = 74 + 4. Solve 3*t = -6*j + 2*j + r, 3*j = -5*t + 25 for j.
5
Suppose -4*y + 2*x + 16 = 0, 6*y - 28 = 2*y - 4*x. Solve -y*z - 2*n + 6*n = -18, 0 = 3*z - 5*n - 16 for z.
2
Suppose 0 = -3*u - 3*i + 27, 3*i - 2 = 7. Suppose