+ 27, 3*n - 22 = 5*h for n.
4
Suppose -15 = h - 6*h. Let f be 1 - (6/h + -2). Let c = 3 + f. Solve d + 17 = -c*j, -j + d + 2*d = 1 for j.
-4
Let y(d) = 2*d**2 + 7*d. Let c be y(-8). Suppose -5*r - 2*b - c = 0, b = 2*r - 3*b + 24. Let u = 15 + r. Solve -2*a + u = -5*v, v + 3*a = 5*a - 5 for v.
1
Suppose 0 = -20*r + 8*r + 24. Solve -r*h = 5*z + 14, -2*z - 2*h - 1 - 1 = 0 for z.
-4
Let c be 0 + ((-8)/(-1) - 1). Let w = 13 + -11. Suppose 1 = l - f - 7, -3*l - w*f = -9. Solve -l*r - 3 = 2*t, -5*t + t = -3*r - c for t.
1
Suppose 184*c + 12*c - 588 = 0. Let u(b) = -3*b + 2*b - 3 + 6. Let l be u(0). Solve 10 = -5*w, l*w + 1 = -4*k + c for k.
2
Suppose 0 = -3*m - 19 + 7. Let c be (69/12 - 4) + (-1)/m. Solve 2*k + 2 = -2*q, -4*q + c*k = -0*k - 26 for q.
4
Let n(i) = 4*i - 3. Let p(d) = -4*d + 4. Let l(h) = 7*n(h) + 6*p(h). Let g be l(-4). Let w = 13 + g. Solve 4*s + 15 = -w*s - 5*f, 2*f = 5*s - 6 for s.
0
Suppose 0 = 2*l + 2*z, -5*l - z = -0*z. Let y be l/(-4*(-1)/4). Solve 5*x = -25, -3*x = 3*w - y*x for w.
5
Let m = -349 + 353. Solve 0 = -5*q - 4*o + 12, -3*o + 8 = m*q + o for q.
4
Let y = -20 - -23. Suppose 6 = 6*g - y*g. Solve g*s - 5 = -4*l - 3*s, -s = l for l.
-5
Let c be 3*(-5 + 636/9). Suppose 14*h + 1 = c. Solve 4*d - d = -4*q + 16, -h = -4*d + 2*q for d.
4
Suppose 16 = -9*n + 10*n - 3*b, -2*n - 3*b - 4 = 0. Solve -2*w + d - 2*d = 6, 0 = 3*w - d + n for w.
-2
Suppose -3*u + 8 = -5*s + 77, -19 = -s - 2*u. Let t be (6/(-4))/(2/(-4)). Suppose 2*a = t + s. Solve 0 = -5*k - i + 27, k + 2*i + 0*i = a for k.
5
Let z(l) = -2*l**2 + 29*l - 51. Let q be z(12). Solve c = -4*c + 5*h, -2*h = c + q for c.
-3
Let c = 216 - 216. Solve g = -4*h - 3*g, -h + 3*g = c for h.
0
Let r(j) = -j**3 - 4*j**2 + j - 12. Let f be r(-5). Suppose 2 - f = -3*m. Solve -x = -4*h + m + 1, 1 = x for h.
1
Let l be (4*(-2)/(-3))/((-4)/(-18)). Solve -2*k + 0 = -w - 4, 3*k = -3*w - l for k.
0
Let t = -3615 + 2375. Let f be (-4)/(-3) + t/(-24). Suppose 2*j - 42 - 14 = -2*q, -2*j = q - f. Solve -14 = 4*k - n, -5*n + j = -2*k - 3*k for k.
-3
Let n(z) = z**3 + 20*z**2 + 20*z + 23. Let j be n(-19). Solve -3*l + 14 = -u, -5*u - j = 2*l - 19 for u.
1
Suppose -4 = -3*p - g, 6 - 14 = p + 5*g. Suppose 4 + 2 = 3*t. Suppose -t*x + 10 = -0. Solve 0*f = -p*f + x*o - 25, f - 10 = -5*o for f.
-5
Let h(i) = i**3 - 7*i**2 + 10*i - 19. Let t be h(6). Solve -l - 1 = -z - 3*l, 0 = -t*z - l - 13 for z.
-3
Suppose -2*n = 3*b - 31, -17 = -4*n - 3*b + 36. Let x = 4 + 10. Suppose -5*v + n = -x. Solve 10 = -4*c - 2*z, 0 = -0*c - c + v*z - 19 for c.
-4
Let g(m) = 3*m + 1. Let f be g(-5). Let o be (-4)/f + (-2)/7. Suppose 5*l = -10, -u - 2*l - 4 + 4 = 0. Solve 4*j - 4*p = -u, 2*j - 6*j + 5*p - 3 = o for j.
-2
Let g(d) be the second derivative of -d**5/20 - 7*d**4/12 - 3*d**3/2 + 7*d**2/2 - 12*d. Let h be g(-5). Solve 3*j - 12 = -7*b + 2*b, -h*b + 4*j = 16 for b.
0
Suppose 0 = 2*l - 4*l. Let a(g) = -g**3 - g**2. Let t be a(-1). Suppose t*o - 5*o = l. Solve o = r + 4*u + 10, -3*u - 6 + 0 = 0 for r.
-2
Suppose 5 = s - 4*u + 14, 5*s = u + 12. Solve -5*n = s*c - n - 3, -c + 1 = 5*n for c.
1
Suppose -45 = -5*f - 15. Let k be f/(((-16)/(-12))/2). Solve y - 4*g = 18, 2*g + k = 4*y - 7 for y.
2
Let k(d) = -5*d - 30. Let v be k(-7). Suppose q - 3*l + v = 0, -3*l = -2*q + 2*l - 5. Solve -4 = 2*s, b - s + 3 - q = 0 for b.
5
Suppose 33*d = 26*d + 35. Suppose -118 + 98 = -d*v. Solve 4*h - v*f - f = -11, -2*h - 13 = 5*f for h.
-4
Let z = 3 - 17. Let b = 16 + z. Suppose b*j - 4*o = 4, -2*o - 16 = -5*j - 6. Solve 0 = -j*c + 7*c + 15, 5*t - 4 = -2*c for t.
2
Let k = -86 - -70. Let t(p) = p**3 + 17*p**2 + 16*p + 4. Let x be t(k). Solve -4*c = x*b + 20, -3*c - c - 12 = -4*b for c.
-4
Suppose 5*s = -2*j - 2 - 3, 23 = 3*s - 4*j. Solve 16 = -4*r + 5*u, 3*r - u + 2 = s for r.
1
Let v(y) = -9*y - 96. Let p be v(-11). Solve p*r + 6*d = 2*d + 23, 21 = -4*r + 5*d for r.
1
Let o(q) = q**2 + q + 2. Let y be o(0). Suppose -y = -4*t + 2. Let m be -1*(0/t - 3). Solve 4*s = 3*d - s - 10, 0 = -m*s - 6 for d.
0
Let r(l) = 4*l**3 + 3*l - 2. Let t be r(1). Solve -5*p - 15 = 3*u + 4, -u = p + t for u.
-3
Let n(m) = -m**2 - 21*m - 15. Let z be n(-20). Suppose 6*o - z*o = 1. Solve 5*w - t = 2 + o, -4*w + 3*t - 2 = 0 for w.
1
Let x = -18 + 13. Let u = 7 + x. Suppose 6 = s + u*s. Solve 0 = 2*t + s*n - 4, 3 = -2*t + 5*n for t.
1
Suppose -2*s = c + 83 - 102, 5*c - 15 = 0. Solve -s = -4*t, -z = -0*z + 3*t - 9 for z.
3
Let i(b) = 19*b + 175. Let p be i(-9). Solve -2*a + 4*d = -0*d, 0 = -p*a + d + 14 for a.
4
Suppose 297 = -4*b + 293, 3*m + 3*b = 9. Solve -5*j = 3*u - 8, -2*j + u - 4 = m*u for j.
4
Suppose -11 = -o - 4*z, 7*z - 44 = -7*o + 3*o. Solve d - 8 = -2*n, 3*n + d - 2 - o = 0 for n.
5
Let n(f) = -4*f**2 - 40*f + 5. Let v be n(-10). Solve -i - 5*p = -5*i - 31, v*p = 15 for i.
-4
Let y(v) = -8*v**2 - 12*v - 6. Let p(k) = 7*k**2 + 13*k + 6. Let q(n) = -5*p(n) - 4*y(n). Let z be q(-5). Solve 0 = j + j + 4, -2*j + 4 = z*x for x.
2
Suppose -4*u - 3 = -k, -k = 3*u - 6*k + 15. Let c = -101 - -103. Suppose 6*d - c*d = u. Solve -19 = -3*s - 5*m, 4*s + d*m - 4*m + 28 = 0 for s.
-2
Let t = -164 - -167. Solve 2*u + 1 = -f, -f - 13 = -7*u + t*u for u.
2
Let n(l) = -l**2 + 6*l - 2. Let s be n(5). Solve 0 = -0*p - 4*p - 3*r - 26, -s*p + 5*r - 5 = 0 for p.
-5
Suppose 2*o = 4, 0 = -4*s - 23*o + 18*o + 10. Solve -5*h = 4*g - 18, s = 2*h + 2*h - 5*g + 2 for h.
2
Suppose 4*b + 270 = 10*b. Let i = 45 - b. Solve -4*m - 2*s - 6 = 0, -6*m + m - 5*s - 20 = i for m.
1
Suppose 31 + 49 = 4*h. Suppose -3*g = 2*g - h. Solve 0*k - 3*k - 4*f = 14, 0 = g*k - f - 13 for k.
2
Suppose -22 + 10 = -4*b. Suppose -b*c - 2 + 17 = 0. Solve 4*g + 5*r - r = 28, -c*g = r - 23 for g.
4
Suppose b - 5 = 2*z, -z - 81 + 71 = -2*b. Suppose -1 = -c, 2*r + c - 3*c = 14. Solve -2*o + r = x + 4*x, 4*x + 5*o - 3 = z for x.
2
Suppose -13*r - 333 = -372. Solve -32 = -r*l - 2*l + 3*a, -4*l = 3*a - 4 for l.
4
Suppose -100*s = -98*s - 6. Suppose -f + s = -y - 5*f, 4*y + 4*f - 12 = 0. Solve 4*a - y*l = 1 - 0, 0 = -3*a + 5*l - 3 for a.
4
Suppose -n - 5*a = -5, 0 = -15*a + 14*a. Solve -5*o + 3*j - n = 0, 5*j - 6 + 2 = 4*o for o.
-1
Let k = 423 + -411. Solve -c - 3*u = k, -4 = -c - 2*c + u for c.
0
Let s(m) = -m**2 + 4*m + 7. Let n(r) = -5*r**3. Let l be n(-1). Let b be s(l). Solve 5*k + 9 = 4*g, 5*g = -0*g - b*k + 3 for g.
1
Suppose -34*c + 32 = -26*c. Let s = 12 + 6. Solve -d + 3*i = s, 5*d - c*i + 31 = -4 for d.
-3
Let n(s) = 9. Let l(k) = k - 1. Let r(f) = 3*l(f) - n(f). Let j be r(8). Suppose 13 + j = 5*w. Solve -w - 23 = -c + 5*d, -c = -3*d - 18 for c.
3
Let s = 16 + -11. Suppose 2*r - 2*a = 50, 0 = 4*r - a + s*a - 76. Suppose -3 = 2*x + 3*y - r, -2*x + 4*y - 16 = 0. Solve x*i - i - 5 = 2*c, -c = -3*i for i.
-1
Let v(y) = y**3 - 7*y**2 + 4*y - 25. Let o be v(7). Let p = -10 - -12. Solve -k + 3 = -o*i - 0, p*i - k + 3 = 0 for i.
0
Let w = 17 - -13. Let v = -35 - -59. Let r be (v/w)/(4/10). Solve -5*m + 2*m - 7 = -5*y, 2*m = r*y - 6 for m.
-4
Suppose -7 - 9 = -8*v. Solve 3*o = -p + v*p + 13, 0 = -2*p - 2*o + 6 for p.
-1
Let f be -1 - (1 - (1 - -6)). Suppose -4*c + f*c = 24. Suppose 0 = -4*s - 2*m - m + c, 0 = -s + m + 6. Solve 2*b - s*b + 8 = -k, -2*k = 0 for b.
2
Let u = 45 - 43. Suppose 5*k + 5*q = -10, -u*k = -5*q + q - 20. Solve -4*c - 17 = 3*t + 10, -k*t = 10 for c.
-3
Suppose -2 = q + d - 2*d, -d = 2*q - 8. Suppose 4*g = -n + 4*n - 7, -7 = -g - n. Solve -z = 2*z + 4*x + 4, -16 = -q*z + g*x for z.
4
Let i = -94 - -104. Solve c = -x - i + 2, 34 = -3*c - 5*x for c.
-3
Let x = -423 + 434. Let i = 4 - 4. Solve 2*g + x = -a, -g + i*g = -a + 1 for a.
-3
Let s = 119 - 130. Let o = s + 13. Solve -4*i = -5*n + 5, -n - o - 6 = i for i.
-5
Let i = -33 + 62. Let z = i - 27. Solve z*y - 4 + 17 = -f, -8 = 2*y for f.
-5
Suppose 3*x - 9 - 6 = 0. Solve p + t = 2*p - 2, x*p - 2*t = -2 for p.
-2
Let f be 1/2 - (-3)/2. Suppose 2*r = 3*j - 28, -3*j - 40 = -7*j + 4*r. Let q = j + -6. Solve 4 - 3 = q*y - 3*a, -4*a = f*y - 22 for y.
5
Let d be (-2 - (-25)/15) + (-20)/(-6). Suppose 2*v = d*t - 14, -4*v = -0*v + 16. Solve t*h = f + 3*f - 2, 0 = -h + 5*f - 10 for h.
5
Suppose -3*g + 12 + 0 = 0. Suppose 44*b = 37*b. Solve -d + 16 = 4*u, -u + g = 2*d - b*u for d.
0
Suppose -3*k + 30 = -8*k - 5*b, b = 5*k + 6. Let j be (12 - 10)*-3*