10*z**2 - 19*z - 86. Let p be s(-11). Solve -4*u + 3 = 2*h - 7, p*u = 2*h - 4 for u.
1
Let v be (-38)/(-4) + (-12)/8. Solve 2*i + v = 0, i + 4*i = -h - 23 for h.
-3
Suppose 3*s + 0 - 6 = 0. Suppose -4*d + 6 = 2*u + 14, -s*u - 3*d - 4 = 0. Solve -22 = 3*i + u*g + 3, 7 = -i - g for i.
-3
Let c(h) = 37*h**2 - 4*h - 2. Let k be c(-1). Let y = k + -36. Solve 3*o = -y*x - 2*o + 29, -3*o - 3 = -5*x for x.
3
Let k = 288 + -281. Solve -4*c + 0*n - 20 = 4*n, n - k = 5*c for c.
-2
Let x = 39 + -39. Let b be -2 - 7/(x + -1). Solve 4 = 3*s - 5, 2*c = -s - b for c.
-4
Suppose 2*v - 4*f = -14, -3*v - 2*f = -f + 7. Let j be (-84)/(-15) + v + (-3)/5. Solve -j*d + 4*o + 22 = 0, -4*d + 0*o - o = 1 for d.
1
Let l be 0*(-3)/18*(-2)/6. Solve 0 = -2*u + q - l - 3, 6 = -u + 5*q for u.
-1
Let i = 200 + -190. Solve 0 = -2*h + 2*p + 4, p + i = -5*h + 2*p for h.
-3
Suppose 3*v + 1 = 40. Let k = 5 + v. Solve 4*d = r - 21, r + 2 = 3*d + k for d.
-5
Let u = -299 - -304. Solve -2*f = u*p - 6*f - 25, -5*f = 3*p - 15 for p.
5
Suppose 4*f + 21 - 9 = 0. Let s be -5 - (-9 + 3 - f). Let h be (-2 - (s + -1))*7. Solve -5*k + 5 = x - h, 3*x = -4*k + 3 for x.
-3
Suppose -5*q = -7*q. Suppose 0 = -2*b, q*t + t - 2*b = 5. Solve 0*l + 3*l + 22 = -2*k, -t*k - 17 = -2*l for k.
-5
Suppose 3*k + 2 = 8. Suppose -5*a = -10, -3*a - 10 = -5*f + k*a. Solve -f*b - 2*s - 14 = 0, -3*b = 4*s + 6 + 2 for b.
-4
Suppose 0 = b - 26 + 21. Let p(d) = d - 3. Let g be p(b). Solve 6*l + g*x = 4*l + 6, 3*l - 4*x + 26 = 0 for l.
-2
Suppose -4*p + 22 - 6 = 0. Let z = -7 + 11. Suppose 0 = 3*d - 2*h - z, -3*h = 5*d + 1 - 14. Solve -g + 2*m = 3*m + d, -p*m - 5 = 3*g for g.
-3
Let s be ((-8)/22)/(5*12/(-990)). Let o be ((-8)/(-6))/((-3)/(-9)). Solve -o*v = -2*c - 2 + s, 0 = 2*v + 5*c - 22 for v.
1
Let o = 2 - 2. Let p be (o + -2)*3/(-6). Suppose 220 = 165*x - 154*x. Solve -5*z = -5*s + x, -p = -s - 2 for z.
-5
Let i = -71 - -80. Solve -x = 5*z + i, 5*z = 3*x + 8 - 1 for z.
-1
Suppose -30*o - 12 = -34*o. Suppose 0 = b - 4*d + 14 - o, -5*b = -d - 21. Solve 4*i + 4*w - w = -7, 27 = i - b*w for i.
2
Suppose 1 = -5*l + 6*l, -z + 6 = 5*l. Let k be z/(((-2)/(-8))/(119/28)). Solve -8*x - u = -4*x + k, 2*x = u - 13 for x.
-5
Let r = -5 + 8. Let q be 29 - 30 - 6/(-1). Solve q*j = 3*t + 18, -r*j + 16 = 2*j - t for j.
3
Let q be 15/(-6)*5/(-25)*6. Solve -p - 4*i = 3, -2 = -p - q*i - 4 for p.
1
Let v be 68/6*(-3)/(-2). Let s be 9 + -8 + 8/2. Solve 5*k - s*c + v = k, -2*k - 3*c = -19 for k.
2
Let m(t) = -t**3 + 10*t**2 + 2. Let c be m(10). Suppose c*j = 269 + 43. Suppose 4*k + 2*k = j. Solve k = 4*y + 4*s + 6, 2*y = s + 10 for y.
5
Let t(w) = -2*w - 3. Let x be t(-1). Let l be (-4 - -7) + (-3 - (-3 - x)). Solve 5*h = g + 28, -l*g = 3*h - 7*g - 30 for h.
5
Suppose 54 = 2*y + 214. Let s = y + 119. Suppose w = -c + s, -w + 74 = -0*c + 2*c. Solve 16 = u + 3*n, 2*u = -5*n - 8 + c for u.
1
Let u be (2/(-5))/((-6)/75). Solve u*y - g - 29 = 0, -3*g - 12 = -4*y + 20 for y.
5
Suppose 16 + 19 = -5*k. Let g be 0 + 0 + -3 - (4 + k). Solve g*n + 3*n - 8 = -2*q, -4*q + 16 = 0 for n.
0
Let s be 2 - 2 - (-12)/(4 - 2). Solve 4*o = i - 16, -4*o - 2*i + 14 = -s*o for o.
-3
Let x(h) = -h**3 + h**2. Let c be (-6)/27 - 38/(-9). Let y be 3/6 - (-2)/c. Let d be x(y). Solve -3*s = 5*q, d*q - 34 = -5*s + 3*q for s.
5
Let n = -21 - -46. Let r be (-8)/(1 - n/15). Let g be (-4)/3*3/(-2). Solve g*p - j + 18 = 3*j, 5*p + j + r = 0 for p.
-3
Let g(q) = 4*q**2 - q - 2. Let v be g(-1). Suppose -3*y = 3*f - 93, -4*y - y - v*f + 157 = 0. Solve -3*o - y = 4*b - 7*o, 0 = 3*b + o + 8 for b.
-4
Let h = -9 + 19. Let f = -5 + h. Suppose -5*p + 25 = 4*w, 8*w + 4*p - 28 = 4*w. Solve 4*j + 20 = a, -f*a = 2*j - 3*a + w for j.
-5
Let y(s) = 4*s**2 - s**3 + 6*s - 52 + 30 + 27. Let m be y(5). Solve -5*d - 2*n + 4 = 0, d + m + 0 = 5*n for d.
0
Let t = -5 - -10. Suppose t*x = 160 - 40. Suppose y - 12 = -0*y + c, -c - x = -2*y. Solve -4*r = -5*r - 4*z + y, 3*r - z = -3 for r.
0
Let i(h) = h + 3. Let t = 7 + -7. Let g = 0 + t. Let j be i(g). Solve 32 = 5*y + j*d, -5*y - 5*d - 20 + 60 = 0 for y.
4
Suppose 2*t - 37 = -5*s, 152*s = 156*s - t - 27. Solve -z + 4 = 5*c, s*z + 4 = 4*z + c for z.
-1
Let k = 21 - 58. Let b = k - -47. Solve -5*h = -5*z + 3*z + 24, -3*z - b = 4*h for z.
2
Suppose -37*k + 30 = -32*k. Suppose 4*d = w + 38, -5*d - 2*w + 3 + 51 = 0. Let m = d - k. Solve -c - a - m*a = -8, 0 = 3*c - a - 8 for c.
3
Let k be (-3*8/(-6))/2. Suppose 0 = k*n - n + 1. Let g = n - -6. Solve 3*o - 29 = -g*w, 4*w - 20 = -w for o.
3
Suppose 2*d - 2 - 4 = 0. Suppose -3*i + d = -12. Let j(p) = -4*p**3 - p**2 - 2. Let b be j(-2). Solve -i = -2*w - 5*h - b, w = h for w.
-3
Let d(f) = 23*f + 230. Let s be d(-10). Solve 5*l + 10 = -2*p + l, s = -4*l - 8 for p.
-1
Let y(c) = 3*c - 16. Let i be y(7). Suppose -w = i*w - 6. Solve d - w = 2*q, -1 = 3*q + 8 for d.
-5
Let j(b) = 10*b**3 + 5*b**2 - 7 + 2*b - 11*b**3 - 5*b**2 + 4*b**2. Let c be j(4). Solve w + 2 - c = 0, 12 = -3*l + 3*w for l.
-5
Suppose 4*y - 3*x + 0 - 37 = 0, -2*y = x - 21. Let t be 3/(-1 - (-1)/(4/y)). Solve -z + t = 0, 5*z = 4*w - 2 + 28 for w.
-4
Let u be -2 + 1 + (-9 - -12). Suppose 0 = u*b + 2 - 6. Solve -6 - 7 = -2*n + 5*q, -2*n = b*q + 8 for n.
-1
Suppose h - 1 = 2*h. Let a(i) = i. Let o(p) = -10*p + 2. Let c(g) = h*o(g) - 12*a(g). Let q be c(-3). Solve 2*x = -2*x + 2*j + 6, x = j + q for x.
-1
Suppose -3*v = -4*v + 2. Suppose 253 - 109 = 36*k. Solve 3*c + 3 = -v*u, k*u + 13 = 4*c - 3*c for u.
-3
Let l be (4 + -2)/2*16. Solve 12 = -7*u + 2*u + 3*f, 4*f = l for u.
0
Let a(f) = 153 + 9*f - f**2 + 153 - 320. Let z be a(7). Solve -o + z*o + 3*g - 1 = 0, -4*o - 2*g + 10 = 0 for o.
2
Let s(a) = a + 8. Let d be s(10). Suppose 0*n - 2*n - 5*k + 11 = 0, 0 = -5*n - 3*k + d. Solve 4*v = -i - 19, -n*v + v - 17 = 3*i for v.
-4
Let z be (3*-1)/(0 - 1). Let c be (2/(-2))/((-255)/(-126) - 2). Let j = 44 + c. Solve -2 + 12 = j*b - 2*q, -b + 1 = z*q for b.
4
Suppose 3*w - 9*w + 84 = 0. Solve -4*i + 2*t = -12, 3*i = 4*i + 5*t - w for i.
4
Suppose h = -0*h + 5*b + 18, 5*h - 2*b - 21 = 0. Suppose 35 = -5*k + 135. Suppose -h*v + k = 2*v. Solve -4*z + 2*j + 10 = 0, -3*j + 2 - 7 = v*z for z.
1
Let w = -28 + 15. Let d = -7 - w. Solve -4*q = 2*z - 14, 2*q - 4 = -4*z + d*q for z.
3
Suppose -2*q = -q - 3. Suppose -56*n + 9 = -53*n. Let b be n*(-25)/30*(-4)/5. Solve -5*m = b*v - v - 7, -q*v + 11 = 5*m for v.
2
Suppose 1 = f + 5*y + 15, -4*f = -2*y - 32. Suppose 2*k + 5*j = k - f, 3*j + 26 = 5*k. Suppose -k*r + 8 + 8 = 0. Solve m + 15 = -3*g - 2*m, r = -m for g.
-1
Let p be (-13)/(-1)*(5 - (5 + -1)). Suppose -p*t = -35 + 9. Solve 3 = -j + m, -3*j - 8 + 3 = -t*m for j.
1
Suppose -q = 1 - 6. Suppose 0 = a - q*a. Suppose -x - 4*p = 7, a*x + p + 8 = x. Solve -x*y - 4*c - 5 = 0, -2*y - 5*c + 2*c - 2 = 0 for y.
-1
Suppose 3*m - 81 + 468 = 0. Let l = m - -136. Solve 5*h - 4*f = l, -h - 3*f + 9 = -0*h for h.
3
Let t(r) = -r - 3 + r**3 - 1 + 12. Let s be t(0). Solve -4 = -2*o - 2*d, -2*o + d - s = -6*o for o.
2
Let q(v) be the second derivative of -2*v**2 + 3*v + 1/12*v**4 + 0 + 4/3*v**3. Let f be q(-9). Solve -2 = 3*k - 4*k - 2*z, -5 = -f*z for k.
0
Let l(j) = 9*j - 284. Let z be l(32). Solve y = 4*a + z*y + 32, -2*y = 8 for a.
-5
Suppose -2*r = -29 - 1. Solve -5*h - 2*c + 4 = 0, 3*h - r + 6 = c for h.
2
Suppose -5*d + 766 - 736 = 0. Solve -5*k - 20 = -3*q, d*q - 3*k - 23 = 2*q for q.
5
Let d = -371 - -381. Solve 0*y + 4*y + 22 = 2*b, y = 2*b - d for b.
3
Let s(y) = -y**3 + 11*y**2 - 10*y - 4. Let x be s(10). Let i be 4/x + 1*4. Let k = 2 + i. Solve -2*j + 3*w + 14 = k*w, j - 4*w = -8 for j.
4
Suppose -2*a - 158 = -2*q - 0*a, 0 = 3*q + 4*a - 223. Suppose -84*s + q*s = -28. Solve -5*m = 4*l + 1 + 6, 5*l + 2 = -s*m for l.
2
Let y(r) = r - 1. Let o be y(1). Suppose 2*b + 6 = -o*b. Let k be 35*(-2 - b/1). Solve -3*f - 5*d = k, 8 + 24 = -4*f - 3*d for f.
-5
Let z(l) = -l**3 + 4*l**2 - 4*l + 3. Let j be z(2). Solve 4*s - 5*c - 3 = 0, 4*c + 2 = j*s - 0 for s.
2
Let l(c) = c**2 + 8*c + 9. Let r be l(-7). Suppose -r + 0 = -2*q. Let u be 1/1*9/q. Solve -u = -3*o + 3*k, 5*k - 2 = -3*o - 33 for o.
-2
Let j(l) = -l**3 - 9*l**2 - 14*l + 3. Let t be j(-7). Suppose t*p - 3 = 6. Solve 3*x + 12 = p, 0 = -q - 5*x - 19 for q.
-4
Let c be (-55)/5 + 26 - -1. Solve -x - 2*m + 12 = 2*x, 