/18)/7). Solve -3*v - 4 = -2*k - 5*v, 0 = k + 5*v + y for k.
3
Let u be 14*(18 - 561/34). Solve -2*p + 3*h = -u, 2*p = -3*h - 13 + 4 for p.
3
Let t(k) = 2*k**2 + 12*k - 2. Suppose -2*g - 18 = g. Let w be t(g). Let h be (16 - -44)*w/(-4). Solve 0 = -5*m - 5*b + h, -m + 7 = 2*b - 4 for m.
1
Let n(d) = -d - 1. Let i be (-1)/2 + (-11)/2. Let r be n(i). Suppose 22*t + 11 = 99. Solve -3*v = 6, t*f = r*v - 8*v - 6 for f.
0
Let i = 3213 + -3196. Solve -u - i = -4*h + 6, 15 = 3*h for u.
-3
Let s be -3 + (-60)/(-10) + (-39)/1. Let r be 1/((-4)/s*-26 + 3). Solve 0 = -2*l - 3*h - r, -5*l + 29 = -2*l - 4*h for l.
3
Let i(b) = -2*b**2 + 10*b - 5. Let d be i(4). Let l be d + 2 + 0 - 0. Solve 5*o + 18 = -5*p + 6*p, 9 = -2*p - l*o for p.
3
Let h(w) = -45*w - 62. Let x be h(-5). Let m = x - 158. Solve -z = 3*v - 11, 0*z + m*z = 2*v + 4 for v.
3
Suppose -12 = -c - 3*c. Suppose f + 3*f = 60. Let l(b) = -924*b - 46200. Let u be l(-50). Solve u = 3*g - f, 3*y - c*g + 37 = 2*g for y.
-4
Suppose -2*k - 1983 = 5*s, 6*k - 4 = 7*k. Let d = s + 410. Solve i - d = -3*c - c, 5*c - 16 = -4*i for i.
-1
Suppose -3*d + 74 = 2*q + 3*q, 8 = -4*d. Let a = -153 - -165. Suppose 4*b = -12, 16 = 5*c - b - a. Solve 5*t + q - 4 = -3*j, c*j + 20 = -5*t for t.
0
Suppose 5*l - 3*v = 7, 3*l + 2*v - 7*v - 1 = 0. Let n be 1/2*20/l. Solve -2*q + 3 = n, p = -4*q for p.
4
Suppose -31*j = 13*j + 314 - 1106. Solve 0 = -5*r - 5*i + 17 + j, 0 = -2*i + 6 for r.
4
Let u = -55 - -46. Let p(s) = 4*s**2 + 36*s + 4. Let i be p(u). Solve 5*x + 20 = y - 2*y, 0 = -x - 4*y - i for x.
-4
Suppose -4*m - 3*x - 196 = x, 147 = -3*m - 2*x. Suppose 3*c - 15 = 0, -i + 6*i - 295 = -5*c. Let h = i + m. Solve 2*b = -f - 5, -b - h + 1 = 0 for f.
3
Let m(l) = l - 1. Let c be m(5). Suppose -c*o + 30 = 2*u, 0 = -u + 3*u + 2*o - 24. Solve w - 31 = 5*a - w, 3*w - u = 0 for a.
-5
Let x(p) = 14*p**3 + 3*p**2 + 12*p - 3. Let i be x(-4). Let y = 904 + i. Solve 17 = y*b + n, -2*b + 2 = -2*n - 12 for b.
4
Let b(j) = 56*j - 2181. Let q be b(39). Solve 4*h = 2*d + 10, -2*h - q*d + 7 = 3*h for h.
2
Suppose -4*p + 8 = -4*y + 6*y, 0 = 2*y + 2*p - 6. Suppose -8*l - 97 + 209 = 0. Solve -2 = -m - 0, y*x - l = -5*m for x.
2
Let k be (-3)/((-12)/(-16) + 21/(-20)). Let q be (-48)/80 + 176/k. Let w = -11 - -11. Solve 3*s - 2*v + v + q = w, 0 = -s + 3*v - 11 for s.
-5
Let d(z) be the second derivative of -z**3/3 + 29*z**2/2 - 4*z + 7. Let s be d(12). Suppose -8 = 3*q - 5*q. Solve 2*h - q = -a - h, -8 = -a - s*h for a.
-2
Suppose 0 = g - 5*r - 23, 2*g - g + 3*r = 15. Suppose -5*z = m + g, 2*z - 51 = 4*m + z. Let v be 0 - m - 12/4. Solve -2*o = 5*k - o + v, -4*o = 4*k + 8 for k.
-2
Let j = -324 - -324. Suppose 0 = -7*a + 17*a - 80. Solve j = -4*h - a, -3*h = -2*u - 0*u + 2 for u.
-2
Suppose 0 = -3*n - n - 3*t, 5*n - 4*t = 0. Let k(c) = -c - 14. Let g be k(-14). Suppose -7*m + 5 + 23 = g. Solve -9 = 2*f - d, -2*f - m*d + 2*d - 12 = n for f.
-5
Let t(b) = -26*b - 127. Let l be t(-5). Solve 2*n - l*j = -0*n + 5, -4*n = -2*j - 14 for n.
4
Suppose 150 = 78496*t - 78471*t. Solve 4*h + 3 = 5*l, -9*h + 4*l - t = -4*h for h.
-2
Suppose -2*q + 5*p = -40, 2*p = -5*q + 175 - 104. Let f(g) = g**3 + 8*g**2 + 4*g - 10. Let r be f(-7). Solve n + q = -5*b, -3*n + 0*n = b - r for n.
5
Let p(k) = k**3 + 17*k**2 + 28*k - 19. Let f be p(-15). Suppose -2*t - 5*s + 23 - f = 0, 2*t - 14 = -4*s. Solve 1 = -q, -5*m - 2*q + t = -2 for m.
3
Let k be -2 + 8 + (-3 - -23). Suppose -2*q - 2*d = 0, 22*q + 2*d = k*q - 18. Solve -2*w - w - 2*b + 9 = 0, b = -q for w.
5
Let t = -240 - -244. Suppose -2*a = -t*h + 6, 49*h = 46*h + 9. Solve a*i + 2*c = -13, 0 = 2*c + 4 - 0 for i.
-3
Let g = 14650 - 14645. Solve 8 = -2*j + 7*r - 10*r, -g*r - 14 = 4*j for j.
-1
Let v(t) = t**2 - 9*t + 21. Let o be -1 - (4 + -3) - -6. Suppose -n = o*c - 17, -5*c + n + 15 = -4*n. Let a be v(c). Solve 4*m = 0, -5*m = 2*b + a - 5 for b.
2
Let b = -74612 + 74634. Suppose 2*a - 16 = -m + 6*a, 5*m - 5*a - 125 = 0. Suppose 4*i = m - 4. Solve 0 = 5*z - h + 14, -2*h - i = -4*z - b for z.
-2
Let y be (2/(-4))/(2/(-16)). Suppose 0*s - y*s - 3*r = -13, 2*s - 14 = -4*r. Let i be 8/(-6) - (-1652)/1239. Solve u - b = 9, 4*u + i*u + 3*b - s = 0 for u.
4
Let q be 129*(2358/(-378) - -7 - 6/14). Solve -4 = -p - 46*n + q*n, p + 11 = 2*n for p.
-5
Let w be 29/10 + ((-1533)/70 - -22). Solve 0 = -x + w*z - 6*z + 10, -12 = -4*x + 2*z for x.
4
Let z be 6/(-16) - 12/64*-2. Suppose -3*v = -5*m - 23 - 3, -2*v + 5*m + 24 = z. Solve v*q + 2*g = -3*q + 16, 3*g + 14 = 2*q for q.
4
Let s(t) = 4*t**2 - 8*t - 2. Let m be s(4). Suppose 2*v - 4*h = 24, m = -4*v + 9*v + 5*h. Solve -4*o = -v, z + o + 5 = 3*o for z.
-1
Suppose -21*l = -18*l - 8736. Let c be (-2)/9 - l/(-144). Solve -12 = 2*t - 4*v + v, -2*t = 5*v - c for t.
0
Let w(n) = 2*n**2 - 25*n - 39. Let r be w(14). Suppose -3*a + 3*g = -r, -3*g + 5*g = -3*a - 2. Solve -4*m + 2*x - 12 - 10 = a, 0 = -4*m - 4*x + 8 for m.
-3
Suppose 3 - 24 = -5*g - 6. Solve 0 = -4*h + 2*a, 0*h + g*h - 4*a - 15 = 0 for h.
-3
Let k be ((-9)/4)/((-108)/144) + (-102)/(-6). Solve -4*s - 2*p = -2, -4*s = -3*p - p - k for s.
2
Suppose -s + 23 = j, 9*j - 7*j - 112 = -5*s. Suppose -4*f = -f + 4*l - 20, -l + s = 5*f. Solve -4*p + 2*p - 14 = 3*d, 0 = d - f*p for d.
-4
Let p = 1899 - 1894. Solve 0 = -u - 2*z - 2, -7*u - p = -2*u + 5*z for u.
0
Let l = 2875 + -2872. Solve g - 4*d = -3, 103 = -g + l*d + 99 for g.
-7
Let t(f) = f**2 + 8*f - 17. Let m be t(-10). Let y be (m + -11)*1/(-2). Suppose y*r - 20 + 0 = 0. Solve -a + 6 = r*o, -4*o = -1 - 3 for a.
1
Let m = -264 - -434. Suppose -14*c + 40 = -m. Let j be ((-5)/(-5))/(3/c). Solve 8*i - 3*i - 2*g + 20 = 0, 2*i = j*g - 8 for i.
-4
Suppose -81 + 275 = 97*o. Let r(l) = -l**3 + l**2 + 2*l - 4. Let u be r(-3). Solve 0 = -o*v + 2*c + 2*c + 18, -u = -4*v + 3*c for v.
5
Let q = -58 - -63. Suppose 5*l + 125 = q*v, 4*v + 54 + 26 = -5*l. Let h be (l/(-4) - 1) + (-3 - 1). Solve 2*k + 2 = -2*u, 3*u + 5*k + h = -13 for u.
4
Suppose 672 = -5*x + 21*x. Suppose -b - 16 - 22 = 0. Let o = x + b. Solve 2*l - 6*l = 5*h - 22, 1 = 3*l - o*h for l.
3
Suppose -u = 5*i - 0*u - 2005, -3*i + 1203 = u. Let l = i - 373. Solve -5*q + q + l = 4*y, 5*y = q + 5 for y.
2
Let l = 2444 + -2440. Solve -4*b - 3 = j - l, -j + 4*b + 1 = 0 for j.
1
Let y = -107 - -137. Let c be 25/y - 13/(-6). Solve 3*s + 2*n - 12 = s, -5*s = -c*n - 22 for s.
5
Let c(s) = -20*s + 11*s + 11*s - 11. Let k be c(8). Let v = 54 + -34. Solve 3*d - 6 = 3*r, k*r - v = d - 2*d for d.
5
Let t(x) be the first derivative of x**3/3 + x**2/2 - 15*x + 125. Let u be t(-5). Solve -2*q = 0, 0 = u*i - 3*q - q for i.
0
Suppose -4*a + 22 = -6. Suppose a*u - 11*u = -16. Suppose 9*r - u = 8*r. Solve -3*p - 5*g = 2*p + 20, 5*p + r*g + 21 = 0 for p.
-5
Suppose -2*p - 8 = m, 6*p = 2*p - 20. Solve -d - 4*f + 8 = 3*d, -f = -4*d - m for d.
0
Let w(d) = d**2 - 12*d + 15. Let u be w(11). Suppose 2*f - 9 = -5*z + 7, -2*z - u*f = 0. Suppose -6 = -z*s + 2. Solve -s*t - 3 = r, -r + 6 = t + r for t.
-4
Suppose 4*y - 21 = -5. Let r = 5043 - 5037. Solve 0 = 2*q + y*t + 4 + r, -5*q - t = -11 for q.
3
Let r be ((-4464)/56)/(-9)*(-1)/(6/(-21)). Solve -5*u + w = -9, -23 + r = -2*w for u.
1
Suppose -y = 3*d - 27, 4*y - 30 = -d - 10. Solve -5*q = -125*g + 121*g + 6, -3*g - y*q = -18 for g.
4
Let o be (4 - 170/15)*-99. Let b = o + -722. Solve -11 = -b*s - 3, 0 = -u + s - 5 for u.
-3
Let c be (-63)/(-3) - (-108 - -115). Solve 3*a + 2*s - 16 = 0, 3*s - 37 + c = -4*a for a.
2
Let y(s) be the first derivative of -s**3/3 - 6*s**2 + 13*s - 17. Let f be y(-13). Let h = -21 - -40. Solve f = -3*u - 4*w - 3 - h, -2*w = -2*u + 4 for u.
-2
Let m = -54 + 55. Suppose -16*c - 75 = -31*c. Solve -5*k + 6 - m = -h, -5*k = c*h + 25 for h.
-5
Let k = 238 - 237. Let a be (k/7)/(22/308). Solve 5*c - 2*c = -3*m - 15, -5*c + a*m = 25 for c.
-5
Let z be (-1 - -1)/(-3 + 4). Suppose 2*r - 4 = -z. Suppose r + 7 = 3*t. Solve k = -0*m - m, -k + 12 = -t*m for m.
-3
Let x = -2283 - -2288. Solve -x*s = 2*n + 132 - 115, 0 = -5*n + 20 for s.
-5
Let p be 1 - 1 - -10 - (13 + -11). Let w(f) = -12*f + p + 2*f + 3*f + 5*f. Let k be w(-7). Solve 5*z - 8*z = -2*s + 2, 2*s + 3*z = -k for s.
-5
Suppose 8*v - 34 = -2*h + 6*v, 5*h = -2*v + 82. Suppose 4*d + 29 = 5*t, 17*t - h*t - 1 = -4*d. Solve a + 3*a = -t*g