 d(h) = -h**2 + 7*h. Let t be d(7). Let z = t + 2. Solve 3*v = -4*l - 1, z*v + 3*l + 2 = l for v.
-3
Let x = 17 + -12. Solve x*u = -2*q + 13, -u + q + 7 = -3*q for u.
3
Let j = 8 + -8. Suppose h - 28 = 2*h + 4*k, j = -2*h - 3*k - 31. Let y = -2 - h. Solve -3*m = -4*v - y - 4, 0 = -2*m - 4 for v.
-4
Let o(c) = -2*c + 6. Let r be o(7). Let d be 2/5 + r/(-5). Suppose 6 = -0*p + 2*p. Solve p*k + 3*u + 2 = -1, 2*k + d = 4*u for k.
-1
Suppose -6*s = -2*s - 16. Solve -n - 2*p - 4 = -1, -s*n + p = 21 for n.
-5
Suppose 5*y + 0*y - 10 = 0. Let s(m) = 2 - 2*m**3 - 3*m**y - 4 + 3. Let q be s(-2). Solve 5 + 0 = -5*l, -10 = -5*g + q*l for g.
1
Let l(i) = -3*i**2 - 10*i + 7. Let u(g) = -g**2 - 3*g + 2. Let x(y) = 2*l(y) - 7*u(y). Let t be x(-2). Solve 28 = 5*p - 4*h, 3*p + t*h + 3*h = 2 for p.
4
Let p(n) = n**3 - 7*n**2 - 8*n + 4. Let w be p(8). Solve 2*h - 6*f - 4 = -4*f, 0 = -w*h + 5*f + 10 for h.
0
Let t(b) = b**3 - 5*b**2 + 7*b - 6. Let h be t(4). Let f = 9 - h. Solve -f*g + 5*o + 15 = -2*g, -5*g = -2*o - 6 for g.
0
Let s(y) = y**3 + 4*y**2 + 4*y + 4. Let u be s(-3). Solve z = -2*a + 6*z - u, a = -z - 4 for a.
-3
Let a be (-4)/(-6)*36/(-6). Let y = 6 + a. Solve -y*d + 22 + 6 = 5*c, 3*d + 5*c - 32 = 0 for d.
4
Suppose 3*v - 1 = -4. Let r be 93/15 + v/5. Solve -3*i + r*o - o - 3 = 0, 0 = -2*i - 4*o + 20 for i.
4
Suppose -2*o + 2 = -2. Suppose -o*u = -5*u. Suppose 0 = 5*f - 5*k - 5, 8 = 2*k - u. Solve 0 = 4*p + 4*z + 8, -z + 3 = -f*p + 5 for p.
0
Let y = 4 - 6. Let p be 0*2/y + 6. Let g be (p/4)/((-3)/(-8)). Solve i = 3*o + 6, -6*o = g*i - o + 27 for i.
-3
Suppose 4*q - 3*q + y - 20 = 0, -2*q - 5*y = -55. Solve -o = 5*v - 6*o - q, 5*o = 2*v - 15 for v.
0
Suppose 0 = l + 4*v + 10, 5*v = -2*l - 11. Let j(c) = -c**3 - 10*c**2 - 9*c + 5. Let m be j(-9). Solve p = m*i - 10*i + 19, 0 = l*p + i - 11 for p.
4
Suppose 3*x - 12 = -x. Suppose i + x*i - 16 = 0. Solve -4*s = -4*z - 4 - 4, -i*z = -3*s + 10 for s.
-2
Let q = 6 - 3. Solve 0 = -2*b - 0*b - 3*c + 19, q*c - 21 = -3*b for b.
2
Suppose -12 = -5*h + 3. Suppose 0 = 5*k - s - 8, h*k + s - 12 = -2*s. Solve -k*w + 3*w = -b - 7, 2*b = w - 2 for w.
-4
Let a(i) = i**2 - 9*i + 5. Let r be a(9). Solve -3*o = -q + 11 - 4, 0 = r*q + 2*o - 1 for q.
1
Let f(o) = o**2 - o - 1. Let y be f(-2). Solve 2*k + w + 0*w + 1 = 0, -k + y*w = 17 for k.
-2
Suppose -3*a - 15 - 4 = -5*y, 4*a + y - 13 = 0. Solve -5*q - 4 = -g + 4*g, 0 = -2*g - a*q for g.
2
Let g(j) = j**3 + 6*j**2 - 3*j - 6. Let z be g(-6). Solve 0 = -h + 3*h + 2*u + 8, -4*u - z = 3*h for h.
-4
Let m be 7 - (-1 - 3*-1). Let t = 23 + -21. Solve -2*y - 6 = t*u + 2*u, 2*u = -m*y + 1 for u.
-2
Suppose -l = 5*d + l - 30, -4*d + 2*l = -6. Suppose -d*i + 88 = a + 3*a, 0 = 5*a + 3*i - 100. Solve -4*j - x - 16 = 7, x = 4*j + a for j.
-5
Let r be (-2)/6*0 - -2. Suppose 3*k = 2*j - 8, j - r*j + 4 = 2*k. Solve -12 = 4*c + j*p, 4*p + 8 + 12 = 0 for c.
2
Suppose -5*b + 5*k + 45 = 0, 2*b - 10 = 4*b + 5*k. Let q be (-2)/(-4) - 2/4. Let h = q - -1. Solve 1 = -b*c + 3*r, -c - h = -2*r - 5 for c.
-2
Let b = -25 + 30. Solve -4*r - d + 16 = -b*d, -4*r + 3*d + 11 = 0 for r.
-1
Suppose -7 = -x - 2. Solve x*h - 2*c + 35 = 0, 2*h = -0*h - 5*c + 15 for h.
-5
Let h = -1 - -3. Let s be (-1 - -7)/(h + -1). Suppose -5*k = -k. Solve -2*p + u + 6 = -u, 5*p + 2*u + s = k for p.
0
Let d(s) = s**2 - 11*s - 12. Let p be d(12). Solve p = 4*y - 4*r, -y + 2*y - 4 = 2*r for y.
-4
Let k = 44 + -39. Solve 0*i = 2*i - 4*p + 12, i - 15 = -k*p for i.
0
Suppose -5*d + 2*d = -39. Let x = 18 - d. Solve x*s = y - 2*y - 22, 0 = 3*s + 15 for y.
3
Let c = -3 - -10. Let y = c - 5. Suppose -t + 5*s - 8 = 0, y*t + 1 = 3*s - 1. Solve -5*m + a + 19 = -2*a, -t*a - 1 = -m for m.
5
Let h(f) = f**2 + 1 - 2 + f + 5. Let y be h(0). Let g = -26 + 26. Solve 7 = v - 3*v - 5*l, g = -5*v + l - y for v.
-1
Let w be 3 + ((-2)/(-1) - 1). Suppose -4*t = 3*g - 7 - 5, 3*t = -2*g + 9. Suppose g = -f - 0*f + 9. Solve 5*m + 0*m + 5 = 0, -w*j + 5*m + f = 0 for j.
1
Suppose 4 - 10 = -2*g. Suppose -2*q + g*v + 8 = 2*v, -2*q - 4 = 5*v. Solve 4*x + 13 = m - 2*m, -q*m - 5 = -5*x for m.
-5
Let z be (-4)/(-10) - 26/(-10). Suppose z*k + 0*k = 12. Let s(t) = t - 2. Let w be s(k). Solve 0 = -w*u - o + 3, -3*u - 2 = -0*u - 5*o for u.
1
Let v be (-1 + (-3)/(-6))*0. Let g = 1 + v. Let a(s) = 4*s - 1. Let q be a(g). Solve -22 = 4*i + 3*o, -5*i - 22 = -q*o + 4*o for i.
-4
Let x(w) = w**3 + w**2 - 22. Let j be x(0). Let p be (-4)/j - (-53)/11. Suppose p*t - 8 = 3*t. Solve f - 4*y + t = 0, 5*f = 4*y - 25 + 5 for f.
-4
Let u = 11 + -7. Suppose 9 = -2*n + 3*p, -4*p = -u*n + p - 15. Let i be 1*((-15)/(-3) + n). Solve i*v = 3*j - 16, -v - 5*j + 14 = -3*v for v.
-2
Let h(s) = s + 15. Let j be h(-12). Suppose j*q + 0*q = 0. Solve -4*m - 5*d = -q*d + 5, 2*d - 10 = -4*m for m.
5
Suppose 8 = -3*r - r. Let k be 0*(1 - r)/6. Solve -2*x - 5*l + 24 = 5, k = -4*x + l - 17 for x.
-3
Let i = -3 + 8. Let z(r) = r - 4. Let d be z(16). Suppose i*f = f + d. Solve -4*w + u + f*u = 0, 2*w - 5*u = 6 for w.
-2
Suppose 5*v - 20 = 5. Solve 0 = -3*c - o + 8, -5*o = v*c for c.
4
Let u = -13 - -18. Let j be 7/4 + u/20. Solve z = -2*l - j, -3*l = z + l + 8 for z.
4
Let r = 2 + 1. Solve 5*p = -5*b - 35, r = -2*p + 3*b + 4 for p.
-4
Let p = 14 + -9. Solve 0 = 5*j - 15, -j = p*r + j - 11 for r.
1
Suppose 4*w - 3*j = -2*j, 2*j = 3*w. Solve w = 3*p - 5*p + 3*m - 15, -p - 15 = -4*m for p.
-3
Let c(b) = -b**3 - 6*b**2 - 3*b + 15. Let w be c(-5). Solve y + 2*y + 10 = 2*m, 3*y - 4 = -w*m for m.
2
Suppose 0 = -10*i + 34 - 4. Solve -n = 3*f + 4, -n = -f - i - 5 for f.
-3
Let l = 4 - -2. Let g be l*3*(-9)/(-6). Solve g = -y - 5*x - 3, 4*y + 10 = 2*x for y.
-5
Let j(f) be the second derivative of f**5/20 - f**4/2 - 5*f**3/6 - 9*f**2/2 + 8*f. Let u be j(7). Solve 0 = s + 3*v + 11, -v - u = s - 0*v for s.
-2
Let y = -3 + 22. Let b(n) = n**3 + 8*n**2 + n + 8. Let r be b(-8). Let w(x) = x + 2. Let h be w(r). Solve 0 = 3*t - h*q + y, 6*t - 2*t + 5*q - 13 = 0 for t.
-3
Let n(a) = 14*a**2 - 2*a - 1. Let l = 1 - 0. Suppose 3*m = -5*g - 13, -4 = -m + 2*g - l. Let x be n(m). Solve -v = 3*z + x, 2*z + 1 = 5*v - 2*z for v.
-3
Let t(q) = q**2 - 6*q - 2. Let v be 2*(-21)/18*-3. Let h be t(v). Solve -n - 3*a - 7 = -h*n, 2 = 2*n - 2*a for n.
4
Suppose 0 = -9*z + 16 + 29. Solve 0 = z*o + 15, -5 = 4*f - 2*o - 19 for f.
2
Let j = -22 + 33. Suppose -2*v - 3 + 19 = 4*c, 4*v = -c + j. Suppose 0 = -2*m - 0*m. Solve n - 3 = -3*x, -x - 9 = -c*n - m*n for n.
3
Suppose -d + 8 = 3*d. Solve 4*r + 5*k + 4 = r, -2*r + 8 = -d*k for r.
2
Suppose -2*a = 17 + 55. Let t = -18 - a. Suppose 4*r = t + 2. Solve -r*j - 3*o = 1, -j = -4*j + 3*o - 15 for j.
-2
Let v = -4 - -4. Suppose 40 = -v*z + z. Suppose -4*f + z = 7*q - 2*q, 0 = 3*q + 3*f - 27. Solve 5 = 4*y + q*a - 23, 4*a - 31 = -5*y for y.
3
Suppose 4*h = 3*h. Suppose x + 4*x = h. Let c be (2 + -3)*-1*3. Solve 5 = c*d - 2*s, x = -s - 4 for d.
-1
Suppose 22 = 5*v + 2. Suppose v*i - 2 - 9 = -a, -a - 5 = 0. Suppose -3*j - 5*p + 5 = j, 5*p = -3*j. Solve 2*t + 6 + 4 = 4*c, -i*t = j*c - 19 for c.
3
Let h = 61 - 49. Solve h = -3*y - s, s + 4*s + 30 = -5*y for y.
-3
Suppose 5*t + 2 = -5*y - 3, 4 = -y - 2*t. Solve -5*s + 3*l + 12 = 0, 2*s + l = -y*l - 12 for s.
0
Suppose -7 = -2*n - 5, -b - 2*n + 13 = 0. Solve -d - 1 = -4*g - b, -2 = -5*d - 4*g for d.
2
Suppose -5*u = p - 32 - 31, -15 = -2*u + 3*p. Let o be ((-16)/u)/(2/(-6)). Solve -3*h = l - 4, o*h + 4*l - 7 = h for h.
1
Let s be 96/56 + (-4)/(-14). Suppose -h - 2*h = -81. Let v be h/(-6)*(1 - 3). Solve -3*f = v, -s*f - 20 = x + 3*f for x.
-5
Suppose -10 = u - 4. Let t be (u - -9)/(3 + -2). Solve 5*w + k = 5*k, 3*w - t*k - 3 = 0 for w.
-4
Let w be 4 - ((-81)/(-3))/1. Let r = w + 23. Solve 4*v + j + r*j = -10, -4*j = -5*v - 2 for v.
-2
Let i(x) = x + 8. Let b be i(-5). Solve 2*f + 2*f + 7 = -u, -2*u + 8 = -b*f for u.
1
Suppose 0*v + v - 4*h = 0, -3*v = -h - 11. Solve v*b - 20 = 5*x, 4*b = -x + b + 15 for x.
0
Suppose -4*s + 3*a = 6, 0 = 5*s - 0*a + 5*a - 10. Suppose s*d + d - 2 = 0. Solve 14 = d*c + 4*b, 4*b + 3 = 3*c + 2 for c.
3
Suppose 0*f + 27 = 3*f. Let i(l) = -l**3 - f*l + 23 + 9*l. Let t be i(0). Solve 0 = -2*a + 4*u + 14, -4*a = -2*u - u - t for a.
5
Suppose -19 = -4*i + 1. Suppose -6*s + 19 = -i. Solve -s*v + 24 = 2*t, -v - 1 = -6 for t.
