
Let k(c) = -c**2 + 10*c + 4. Let z be (-11 - -3)/2 - -14. Let x be k(z). Solve -3*y - y = -x*h - 20, -4*h = y + 5 for h.
-2
Suppose 2*c = 4*c - 4. Suppose c*b = 3*b. Solve -5*z - 12 = -3*t, 2*t + 2*z - 3*z - 8 = b for t.
4
Suppose 0 = z - 3*a - 7 + 2, 7 = 5*z + 3*a. Let p = -265 - -270. Solve 3*y = -p*x, -z*x - 1 - 8 = 3*y for y.
-5
Let k = -9 + 12. Suppose 0*y - y - k*l = 6, -2 = l. Let b(g) = g + 2. Let a be b(5). Solve -16 = -4*i, i + y*i = t + a for t.
-3
Let k(z) = -15*z - 36. Let y be k(-3). Solve 3*h = -5*m - 17, -m - h - y = 4*m for m.
-1
Suppose 8 = i - 2*s, 0 = s + s + 4. Let x be (2 + (2 - i))*-1. Let u be x/1 - 10/(-5). Solve 5*q - 2 = 2*r - 0*r, u*q - 20 = -4*r for q.
2
Suppose 0 = b + 3*f - 0*f - 2, 5*b + f = -32. Let j = -3 - b. Solve -4 = -5*h - 4*q, -4*h = j*q - 2*q - 2 for h.
0
Let j be (-3)/2 - 3/6. Let h = 2 - j. Let y be ((-2)/3)/(h/(-24)). Solve 3*a = y*o - 8, 5*o - 10 = a + 2*a for a.
0
Let y = 7 - 2. Solve 2 + 0 = y*c + 4*x, 12 = -3*c + 2*x for c.
-2
Suppose -10 = 2*p + 2*w, 23 = -4*p - 4*w - w. Let v be (-1)/3*(p + 2). Solve 2*q + m - 4*m - 22 = 0, v = 3*m + 12 for q.
5
Let n(h) = -h**3 - 26*h**2 - 27*h - 45. Let q be n(-25). Solve -x = q*c + 3*x, c = -x for c.
0
Let r be (-4)/(3 - (2 - -2)). Suppose 2*g + 5*u - 27 = 0, -g = -r*g - u + 8. Suppose 0 = -4*p + 5 + 11. Solve -12 = 4*m + p*n, m - g = 4*m + n for m.
1
Let w be -1 + -1 - (-3 - 4). Let q be (-1)/3*(1 + -1). Suppose q = w*o - 7 - 3. Solve -o*m = -4*u - 18, 32 - 9 = -5*u + 3*m for u.
-4
Suppose -15 = -3*i - 2*z - z, 3*i = -2*z + 11. Let t be ((-3)/9)/(i/(-9)). Solve -p + 0*p = -2*u + 12, -5*p - 25 = -t*u for p.
-2
Let t be (40/(-24))/((-2)/6). Suppose 5*n = t*s - 65, 0 = 2*s - 0*s + 4*n + 4. Solve 2*m + 2*r + s = 0, -4*m + 4*r - 3*r = -4 for m.
0
Let g be 1/2*-1*16/(-4). Solve -g*b = -4*u + 22, -2*b - 5*u + 8 = 2*b for b.
-3
Let x = 10 + -6. Let f = 1 - 5. Let p = x + f. Solve -n = -0*k - k + 1, 4*n + 3*k - 24 = p for n.
3
Suppose 0 = 3*w + 9, -3*w + 13 - 2 = -2*o. Let i = o + 12. Let n(g) = g**2 + g - 6. Let u be n(-5). Solve 4*m - u = i*d, 4*m - 17 = -0*d + d for m.
5
Suppose 5*j = 4*j + 7. Let l = j - -1. Solve -5*p + o = -0*p - l, 3*o = 2*p + 2 for p.
2
Suppose 0 = -4*n + 6*n - 6. Solve -5*f - 5 = -o + 11, 3*f - n*o = 0 for f.
-4
Let r = 37 - 34. Solve o - 5*o = 5*n + 33, -r*n - 9 = -3*o for n.
-5
Let q(n) = n + 5. Let x be q(-3). Suppose -4*t = x*z - 2, 5*t = 2*z - 0*z - 2. Solve 0 = -2*j - 4*b - 10, -j - 3*b - 7 = z for j.
1
Suppose 0 - 4 = w. Let g be (w/10)/(1/10). Let d(t) = t**3 + 4*t**2 - 3*t + 5. Let r be d(g). Solve -3*j = 3*p - 2*p + 11, j - 3*p = -r for j.
-5
Let i = -9 + 8. Let v be (1 + i)*(5 - 4). Solve v = 4*r - s - 2*s + 19, 3*s - 10 = -5*r for r.
-1
Suppose -2*p = -5*p + 18. Suppose -2*d = 2*j - 8, -4*d + 1 = -5*j - p. Solve -5*g + 0*n - 2*n - 15 = 0, 4*n + d = -g for g.
-3
Let v = 2 - 4. Let m(b) = -2*b**3 + b + 1. Let n be m(v). Suppose -k + 0*k = -5. Solve 0 = -u - 2*h - 0*h + n, 0 = k*h - 25 for u.
5
Suppose 12*p - 9*p + 15 = 0. Let w = 9 + p. Solve 2*o = 6, -5*a + 2*a = w*o + 3 for a.
-5
Let o(b) = -2*b**3 + 22*b**2 + 23*b + 17. Let l be o(12). Solve 0 = k + d + 2*d - 17, 3*d = 5*k + l for k.
2
Let i be (-75)/11 - 4/22. Let z = -3 - i. Solve 4*l - 26 + 2 = -3*d, -5*d + 8 = -z*l for l.
3
Let m(w) = -w**2 + 15*w + 10. Let d be m(15). Solve 5*l - d = 0, -4*l = v + 2*v + 1 for v.
-3
Suppose 6*s - 6 = 3*s. Let w = 3 + 0. Suppose -w*d + 4*d = 0. Solve -y + 5*t - 2*t = 3, d = -s*y + 3*t for y.
3
Suppose v - 1 = 1. Suppose -v = -3*g + 13. Solve d + 4*r + 12 = 0, -2*r + 6 = -g*d - 4*r for d.
0
Let v be (-14 - -10)*(-1)/2. Solve -4*n + 5*k + 11 = 0, -v*n + 5*k + 7 = -6 for n.
-1
Let j(s) = s**3 - s - 1. Let k(t) = -4*t**3 - 3*t**2. Let f(c) = -3*j(c) - k(c). Let x be f(-2). Solve d + x = -2*n - 4, -2*d = -3*n - 11 for d.
1
Let j(x) = 8*x - 3. Let w be j(1). Solve 5*f + v = -4*v - 5, -w*v - 2 = 2*f for f.
-1
Let x = -19 - -39. Let y(p) = -p + 6. Let n be y(-5). Let v = n - 1. Solve -2*w + t - x = -3*t, 3*w + 2*t - v = 0 for w.
0
Suppose 0 = -5*m + b + 16, -3*b + 0*b + 20 = 2*m. Suppose 5*q - 18 = 3*h, m = 3*q + 4*h - 1. Solve -q*a + i = 11, -2*a + 2*i + i = 12 for a.
-3
Let h(s) = -s**2 - s + 4. Let i be h(0). Suppose 2*u - 18 = -0*u - 5*k, -i*k + 4 = -u. Solve 2*a - 4 = -u*l, -3*a - a - 13 = l for a.
-4
Let v = 75 - 40. Let b = v + 3. Solve -2*h = -3*x + 10, 5*h + 13 - b = -5*x for h.
1
Suppose s + s = 12. Suppose 4*k - 28 = -5*a, 2*a + 2*a - s = 5*k. Solve 0 = -p - 3, -7*u + k*u - p = 28 for u.
-5
Suppose 4*b - 6 = 6*b. Let y be b/(-12) + 22/8. Solve y*o + 5*x = 14, -o - 3*x + 4*x = -2 for o.
3
Suppose -22 = 6*s - 3*s + 2*l, 6 = -3*l. Let g(o) = -o - 1. Let w be g(s). Let x = -1 - -1. Solve w*y = 5*p - 10, 4*y - 3*p + x*p = -10 for y.
-4
Let q(r) be the third derivative of r**4/24 + 7*r**3/6 + 4*r**2. Let v be q(0). Let i = v + -3. Solve -15 = -3*m - 3*y, -i*y + 9 = -y for m.
2
Suppose -2*h + 20 = 2*h. Let t be (1 - 1)*1 - 1. Let x be ((-5)/((-5)/(-2)))/t. Solve -h*r - 4 - 8 = -2*n, -x*r + 3*n - 7 = 0 for r.
-2
Suppose 9 = 6*w - 21. Solve -w*f = 4*j - 25, 3*f - j + 2 = -0 for f.
1
Suppose -x + 40 = 3*x. Solve 25 = -0*n + 5*n, -2*n + x = -p for p.
0
Let d(u) = u**3 - 5*u**2 + 7. Let n be d(5). Let b(j) = j**3 - 3*j**2 - 3*j. Let i be b(4). Solve -2*w = i*s - 9*s + n, 3*w + 4*s - 1 = 0 for w.
-1
Let g be 2*(1 + 3/6). Suppose g*o + 0*o = -18. Let a(i) = -i**2 - 7*i - 3. Let b be a(o). Solve -5 - 3 = -4*j, b*x = -3*j - 6 for x.
-4
Suppose o = 6*o - 25. Suppose 5*p - 2*x = 157, -2*p - x + 62 = -2*x. Solve -a - 5*q = 20, -3*a + o*q + p = 13 for a.
0
Let u = -2 + 4. Let l(d) = 2*d**2 - 1. Let k be l(-1). Let o be 2/(k - u/4). Solve 5*x + o + 5 = -3*v, 2*v = 4*x - 6 for v.
-3
Suppose -2*y = -7*y. Suppose y = l - 5. Let b(j) = 4*j. Let t be b(1). Solve 5*w - 2 = -t*x, -l*x + 5*w = 1 + 19 for x.
-2
Let f be ((-6)/4)/(3/2 - 2). Solve -4*i - f*y + 4 = -y, -3*i + 3 = y for i.
1
Let z(l) = l**2 + 8*l - 18. Let g be z(-10). Solve 16 = -4*y, -2*p - g*p + 20 = -5*y for p.
0
Suppose a + 0*a = 5, -50 = -5*p - 5*a. Solve p*m - 1 = -2*z, 0 = -5*z - 0*z + 15 for m.
-1
Suppose a - n - 26 = 3*n, 4*n = 2*a - 32. Let x(l) = l**2 - 6*l + 8. Let d be x(a). Solve v = 3*v + 3*r + 5, 0 = 3*v + 5*r + d for v.
-1
Let r = 46 + -43. Solve 5*a + 5*t = -10, -8*t + r*t - 34 = -3*a for a.
3
Suppose 4 + 8 = 6*d. Let j(q) = 6*q - 1. Let y be j(1). Suppose 0 = y*h - 4*h. Solve 2*m - d*a - 8 = h, -3*m + 3*a = -a - 13 for m.
3
Let h be (7 + 27)*(-1)/(-2). Solve -15 = -3*t, -3*t + h = -2*f + 2*t for f.
4
Suppose -3*z + 22 = -4*f, -3 - 9 = -z - f. Let u = -20 + 14. Let w = u + z. Solve -2*y - 6 = 2*h + 8, -w*h - 18 = 2*y for h.
-2
Suppose 2*t - 92 = -5*u, -5*t + 26 = 2*u + 6. Suppose 4*p = u - 0. Solve -4*h - 5*c - p = 0, c + 2 = 5*h - c for h.
0
Let w be 2/(-4)*-2*3. Let v(p) = p + 6. Let r be v(-5). Suppose 0 = 2*u - 9 + r. Solve -5*t = 3*f - 20, 3*t + u*f - 8 = w*f for t.
1
Suppose -21 = 2*j - 5*j. Let r be -4*9/(-21)*7. Let t = j + r. Solve -l - d = -6*d + 22, -2*l + 5*d - t = 0 for l.
3
Suppose -5 = -5*m + 4*v - 2*v, 5*v = -3*m + 34. Suppose 4 + 15 = m*s - 2*p, 16 = 4*s + 2*p. Solve -2 = 2*r - 5*g + 6, s*r - 3*g = -1 for r.
1
Let b(a) = -a**3 + 6*a**2 - 6*a + 2. Let o be b(4). Let j = 7 - o. Let r be (-4)/18*j*3. Solve 20 = -5*x, r*k - x = -2*k + 8 for k.
1
Let u(w) = -4*w + 4. Let x be u(-5). Let f be (20/15)/(3/9). Suppose 0*n = -f*n. Solve b + n*b - 5*q + x = 0, 5*b - 4*q = -15 for b.
1
Let i = -3 - -6. Suppose 0 = x + i - 7. Solve -x*y - 2 = -2*l, 5*l - 23 + 8 = 5*y for y.
2
Suppose 0 = -4*w - 62 + 6. Let i = -7 - w. Let s = -2 - -2. Solve s = 4*x - g - i - 2, -5 = -x + 3*g for x.
2
Let m be ((-108)/42)/((-75)/(-42) - 2). Solve -7 = 3*h + 4*t, m = 5*h - 4*t + 45 for h.
-5
Let r be 1/4 + -3*145/(-20). Solve 0*s + 3*s - 2*d - r = 0, 5*d = 4*s - 41 for s.
4
Let a(d) = -13*d + 15. Let m be a(1). Solve -5*o - 6 = m*c + 2*c, -o - 5 = -3*c for c.
1
Let j be (-2)/8*(-8)/(-6)*0. Solve -5*s = -2*d - 0*d - 30, s - d - 9 = j for s.
4
Let m(o) = -2*o. Let r be m(-1). Solve -2*c + r*s - 16 + 2 = 0, 4*s - 13 = -c for c.
-3
Suppose -4*r - 1 + 13 = 0. Solve 4*f = 3*c + 17, r*c = f - 2 - 9 for c.
-3
Let r = 0 + 0. Solve -3*x = -9, r*a - 23 = 2*a - 5*x for a.
-4
Let a = 32 - 29. Solve -3*g - a*