6*v + 116. Let m be a(-7). Solve 0 = 2*d + h - 4 + 10, -2*d - m*h - 6 = 0 for d.
-3
Suppose y - 28 = -25. Suppose -6*w + 162 = -y*w. Let p = 56 - w. Solve 0 = -a - p*i - 1 + 4, -4*i = a - 3 for a.
3
Suppose -963 = 7*b - 53. Let v = 130 + b. Solve 4*m = 2*s - 1 - 1, -m + 2*s + 7 = v for m.
-3
Let v(g) = 55*g + 449. Let l be v(-7). Let j be l/24*3/2. Solve -k + 2*p = -1, 0*p = j*k + 3*p - 15 for k.
3
Suppose 0 = 27*d + 343 - 702 + 305. Solve 7*g - 3*g - 8 = 4*m, -3*g + 1 = d*m for m.
-1
Let o(z) = z**3 + 6*z**2 + 6*z + 4. Let d(y) = -15*y - 94. Let j be d(-6). Let u be o(j). Suppose 2*t + 18 = 8*t. Solve -t*i + u = g, 4*g + 2*i = i + 15 for g.
3
Let v be (46 - -4)*(133/(-70))/(-19). Solve 4*s - s + 2 = -k, -v*s + 20 = -3*k for s.
1
Suppose -4*h + 12 = 2*n - 8, -n = -2*h + 6. Solve 0 = -5*a + 2*c - 23, -349*c + n = -351*c for a.
-5
Let y(g) = -113*g + 2712. Let d be y(24). Solve 4*r = -5*f - 16, 2*f + 0*f = d for r.
-4
Let y = 635 - 5. Let l = y - 615. Solve -5*p - l = -5*k, -11 + 3 = 3*p - 4*k for p.
-4
Let o = -2724 + 2728. Solve -4*r - 4*u + 9 = 1, o*r = 3*u + 8 for r.
2
Let z(i) = -6*i**3 - 1. Let k be z(-1). Let s(j) = 34*j - 2582. Let c be s(76). Solve 4*p + 6 = c*w, w - p - k = -2 for w.
3
Let z be 1/(-3 - (-20)/6) - (-34 + -8). Solve -3*g - 53 = k - z, 3*k + 12 = -3*g for g.
-2
Let j be -29 + 33 - 6/3*2. Suppose j = 11*v - 9*v + 5*m - 23, -v + 5*m = 11. Solve z + 4 = -3*x, -v*z + 16 = -5*x + x for x.
-2
Let m = -11 + 7. Let l be (-4)/30*9*50/(-15). Let w be 14/l - (6/m)/(-3). Solve -o - w = 4*b + 7, -3*b - 3 = 3*o for b.
-3
Suppose 458 - 416 = 7*o. Solve -x + 24 = -4*t, x = -3*x - 2*t + o for x.
4
Suppose 0 = -439*t + 456*t - 85. Solve d = 5*o + 24, 0 = -t*o - d + 6*d - 40 for o.
-4
Suppose 0 = 2*w + 8*x - 6*x - 22, -24 = -3*x. Solve 0 = -w*h + 3*q, 5*h - 12*q - 9 = -10*q for h.
3
Suppose 3*p + p = 5*y + 16, -p + 4 = 5*y. Let l(g) = 3*g**2 + 5*g + 4. Let x be l(-2). Suppose 6 = x*o - 24. Solve o*t = y, -2*b + 2*t + 12 = b for b.
4
Let j = 240 - 232. Solve b - 20 = 6*b, 4*b = -2*f - j for f.
4
Suppose -3*b + 6 - 3 = 0, -3*d + 3*b = 6. Let s(z) = 2*z**2 + z + 2. Let u be s(d). Suppose h - 20 = -u*h. Solve 3 = -f + 7, -h*g - 4*f = -41 for g.
5
Let p = 142850 + -142835. Suppose -4*s = -5*s + 4. Solve 25 = 5*v, -b - s*v + p = -v for b.
0
Let q(t) = t**3 - 118*t**2 + 345*t + 5. Let n be q(3). Solve 6*o = -3*z + 21, 17*z = 2*o + 14*z + n for o.
2
Let h = 34 - 32. Let p(r) = -3*r - r - r + r + r**h. Let b be p(4). Solve b = 3*l - i - 8, -3*l - 5*i + i + 13 = 0 for l.
3
Let l(h) = -h**2 - 2*h + 19. Suppose 0 = -4*f - 1 - 7, -f - 17 = -5*u. Let q be l(u). Solve -q*y = -5*a, 0 = a - y - 1 + 2 for a.
4
Let h(d) = -d**3 - 4*d**2 + 4*d + 1. Let o be h(-5). Suppose -r + 14 = -2*q, -o*r + 2*q + 30 = -r. Solve 0 = -2*y + 5*y + 2*v, r*y - 11 = v for y.
2
Let v(t) = -5*t**2 - 37*t - 39. Let h be v(-6). Solve -5*q - 20 = -5*i, -h*q - 47*i = -51*i + 15 for q.
-1
Let n(w) = w**2 + 476*w + 6919. Let m be n(-15). Solve k + 9 = -4*c, 11*k - m*c = 7*k + 24 for k.
3
Let n be (-15 - -25)*(-6)/(-15). Solve -n*j + 9 = g, 18*j - 20*j + 4 = 0 for g.
1
Let m(h) be the second derivative of -7*h**3/6 + 89*h**2/2 + 37*h - 1. Let x be m(12). Solve 4*s = x*a + 10, 0*a - 4 = s + 2*a for s.
0
Let a(p) = p**3 + 9*p**2 - 10*p + 5. Suppose -3*h = -122 + 26. Let t = 22 - h. Let m be a(t). Solve -n + 13 = 4*n - x, 0 = -m*n + 2*x + 16 for n.
2
Let q = -194 + 194. Solve 5*u - 4*d + 25 + 15 = q, 14 = -u + 2*d for u.
-4
Let h be (1 - -6)*(-1606)/(-1022). Solve m - 3*u = -h, -m - 11*u = -6*u - 29 for m.
4
Let i be (-17)/(119/(-140)) - 7. Suppose i*y + 258 = 258. Solve 3*q = 3*v, -4*q = -y + 16 for v.
-4
Let k = 118 + -123. Let b be 5/(0 - k/20). Let x be 1/(-4 + b/4) + 3. Solve 0 = -3*n + 12, -x*n = 3*u - 4*u - 11 for u.
5
Let t = 32234 + -32220. Solve -4*q + c - 15 = 0, -36*q - t = -32*q - 2*c for q.
-4
Let u = -88 + 92. Suppose 4*g - 19 + 3 = 0. Suppose 0*r = 2*r, g*q = -u*r. Solve 4*b = x - 0*x - 16, 5*b + 2*x + 33 = q for b.
-5
Suppose -85 = -q + 3*b - 58, q + 5*b + 29 = 0. Solve 2*g + x + 3 = 0, -12 = 3*g + q*x - 3*x for g.
1
Suppose -5*a + k = -25, a + 35*k - 5 = 30*k. Solve 3*i + 11*w + 9 = 14*w, a*i + 33 = -4*w for i.
-5
Let l be (-17)/(17/(-6)) + (-12)/6. Suppose 44 = l*f - i, i = -0 + 4. Solve 2*w + 9 = 4*m - 9, 2*w - m + f = 0 for w.
-5
Suppose -30*k + 1184 = 44*k. Solve k = -4*p - 4*q, 0 = 3*p - 0*q - 5*q - 20 for p.
0
Let h = -52 - -54. Suppose -h*s = -6*s + 12. Solve 3*t + 9 = -n - 0*n, n - s = t for t.
-3
Suppose 37*l - 18 - 47 - 9 = 0. Solve 2*x = -4*g - 8, -l*g - 388 = 2*x - 384 for x.
0
Let u be 1/5 + (32 - 43) + 192/15. Solve -u*t + 11 = z, -3*t + 24 = 3*z + z for z.
3
Suppose -2*q - 4*q = -0*q. Suppose 3*k - 43 = -2*c - q*c, 3*c = 6. Suppose -10*v + k*v = 30. Solve -2*j + u = -v, 3*u = -4*j - 0*j for j.
3
Suppose -10*m - 43 + 43 = 0. Suppose m = -13*g - 7*g. Solve -3*l = 9, -5*i + g*l - 11 = -3*l for i.
-4
Let u(n) = n**2 + 10*n + 4. Let r be u(-10). Let h = -88 - -91. Suppose -r*s - h*m + 24 = -m, 4 = 2*m. Solve -5*o + 13 = -s*w + 3*w, -4*o + 4*w = -20 for o.
1
Let h = -171 - -167. Let p be (152/32)/19 - 19/h. Solve p*c + 2*d + 3 = 0, -3*c - 6 - 3 = 3*d for c.
1
Suppose 7 = 5*q - 13, 0 = 4*g + q + 32. Let w = g + 14. Solve -5*i - j = -9, -i + 5*j = -w - 2 for i.
2
Suppose 6*m = -0*m + 18. Let u(z) = 17*z + 1. Let f be u(m). Suppose f = 6*q - 4*q. Solve 0 = 3*l + 3*b - 0*b + 21, 0 = -5*l - 2*b - q for l.
-4
Let a(w) = -w**3 - 14*w**2 + 2*w + 32. Let l be a(-14). Let o be l*164/64 - (-1)/(-4). Let i be 9 + o*(-4)/8. Solve -3 = -4*s - 3*t, -4*t + 4 = i*s - 0*s for s.
0
Suppose -3*z - 3*z + 24 = 0. Let x = 5 - -4. Let s = x + 3. Solve 0*m - 5*h + s = z*m, -4*m + 2*h = -12 for m.
3
Let f be ((-16)/10)/(5/(-700)). Let m = f + -219. Solve -m*b - 16 = -5*l + 9, l + 2*b + 10 = 0 for l.
0
Let z(f) = -23*f - 733. Let v be z(-32). Solve -2*g - 2 = -4*w, 5 = -4*w + v*g + 10 for w.
-1
Let k(i) = 2*i + 7. Let b be k(-7). Let a be (20/b)/((-28)/98). Suppose -2*f + 10 = 3*f. Solve -5*n - f*m + 0*m + a = 0, -5*n + 20 = 4*m for n.
0
Let b = 2912 - 2910. Solve -4*s = -16, b*s - 39 = 3*l - 46 for l.
5
Let o be 227 + -238 - (-5 + (-2)/(-2)). Let g be ((11 - 3) + o)*5. Solve 4*j - 9 = 5*y, y + g*j - 4 = -0 for y.
-1
Let g(i) = i**3 + 4*i**2 - 2*i + 9. Let y be g(-4). Suppose y = -8*u + 49. Let z = 4 - 2. Solve -2*m - u*j + z = -20, -5*m = 3*j - 34 for m.
5
Suppose 6*f + 423 - 53 = 80*f. Solve 4*q = -148*d + 149*d + f, 4*q + d - 3 = 0 for q.
1
Let o be 12/(-15)*(-3 + -2). Let n be ((-21)/(-14))/(2/o). Solve -5*g + 10 = -3*j, j + 0*j = -n*g - 8 for g.
-1
Suppose -3*z + 18 + 0 = 0. Let a be (-45)/z*36/(-30). Solve 0 = 4*m + p - a, 0 = -4*m - 4*p - 0*p for m.
3
Let d = 31305 - 31303. Solve 0 = -h - d*y - 3, -152*y = -150*y + 8 for h.
5
Suppose 0 = -5*x - 63 + 33. Let t be 2 + (-3)/x*-6 - -2. Suppose -2*i + o + 33 = 0, -2*o + 3*o + 78 = 5*i. Solve -p - i = -3*u, 4*u - 11 + t = -2*p for p.
-3
Suppose -13*x + 105 - 40 = 0. Suppose 5*l - 4 = -b + 13, 3*l + 1 = x*b. Solve -4*t = -0*c - c, -4*c = -l*t for t.
0
Let u = 3899 - 3896. Solve -u*n - s = 1, -4*n + 7 = -3*s + 6*s for n.
-2
Let w = -15816 + 15816. Solve w = -3*s + 12, -5*s + 14 = -22*r + 20*r for r.
3
Let z = 34350 + -34347. Solve 0 = n + z*i - 12, 3*i = 3*n + 12 for n.
0
Let z(o) = -o**3 - 10*o**2 - 24*o - 12. Let n be z(-7). Let y be 9/(-27) + 3/n. Suppose -6*c + 7*c = 2. Solve 3*d = -2*q - c*q + 8, d + 5*q - 10 = y for d.
0
Let c = 23 + -16. Let x be (-995)/(-398)*(-24)/(-30). Solve -5*u + 2*a = c, -2*u + u + 1 = x*a for u.
-1
Let w = -40 - -43. Suppose 0 = s - 6*n + 5*n, -10 = w*s - 5*n. Suppose 22 - 42 = -s*h. Solve 4*m + m + r = 1, -4*r + h = 0 for m.
0
Let p(h) = -2*h**2 + 3*h + 172. Let t be p(10). Solve 2*u = 5*n + 1, -n + 332 - 337 = -t*u for n.
1
Let c(b) = 2*b + 1. Let y(k) = -80*k - 16. Let s(l) = 48*c(l) + y(l). Let a be s(-2). Solve a = -2*j + 4*w - 14, 3*w + w + 1 = -j for j.
-5
Suppose -8*c + 4*c = -20, -4*z + 2*c = -70. Suppose -36*o + 41*o = z. Solve 0*x - 2 = o*q - 2*x, 2*x - 2 = 0 for q.
0
Let s(d) = d**3 + 18*d**2 + 9*d - 42. Let h be s(-14). Suppose -617*b = -h*b - 5. Solve 0 = -b*c - m - 4*m + 20, -3*c = -2*m - 17 for c.
5
Let w be ((-9)/12)/(8 + (-2130)/264). Suppose 0 = -25*j + 20*j + 20. Solve -4*t - 19 = -3*h