l for v.
4
Suppose 4 = -2*u + 2. Let c be ((-3)/2*10)/u. Suppose 7*m - c*m = -32. Solve n + m*l - 14 = 3*n, 3*n - 12 = -5*l for n.
-1
Let o(p) = 2*p**3 - 53*p**2 + 119*p + 27. Let r be o(24). Solve -r = -q, -6*k = -7*k + 5*q - 21 for k.
-6
Let p = 28 + -25. Suppose -2*j + 56 = p*y - y, 71 = 2*j + 5*y. Let u(i) = -5*i - 1. Let x be u(-1). Solve -s + 21 = -x*h, -j = 3*h - s - 6 for h.
-4
Let m be 0/(1*(3 - 1)). Let z = 463 - 462. Let o(c) = 4*c**3 - 2*c**2 + 2*c + 1. Let i be o(z). Solve m = -2*l - p - 6, -l + i*p = 3*p + 8 for l.
-4
Suppose -3*m = -2*d - 6 + 65, 2*m + 31 = d. Suppose d = 4*v + v. Suppose v*o - 17 + 57 = 5*a, 4*o + 20 = 0. Solve -x = -l + 4, -4*x - a*l = -l + 4 for x.
-2
Let q = 311 - 81. Suppose 218 = -3*m + q. Solve b - m*v - 2 = 6, -b + 2*v = -6 for b.
4
Let t(s) = -2*s**2 + 7*s - 1. Let b(c) = -20*c**3 - c**2. Let u be b(-1). Suppose -u = -7*d - 5. Let m be t(d). Solve -2*x = -f - 0*x - 5, -f = -m*x + 11 for f.
-1
Let a(d) = d**2 - 318*d - 1286. Let x be a(-4). Solve 0 = -14*y + 17*y + 6, x = -2*p + 2*y for p.
-3
Suppose -2*k + 77 = -a, 5*k - 128 - 77 = 5*a. Suppose -14*p - k = -64. Solve p*r + 4 = 0, 3*y + r = -19 + 2 for y.
-5
Let q be (-7 + 20 - (-1 - -4)) + -8. Solve -g + 21 = 4*r, 2*r = 3*g - g - q for r.
4
Suppose 7*n = -7*n + 1218. Suppose 4*p + d + 2*d - 89 = 0, -5*d = 4*p - n. Solve 5*v - 26 = -2*c + 3, 0 = 5*v - c - p for v.
5
Let d = -6962 - -6968. Solve l = 3*m - d, 0*m = -2*l + 2*m - 4 for l.
0
Suppose 14 = 2*a - y, -a + 5*y - 11 = -27. Solve -21 = 5*g + 4*x, 4*x + 11 = a*g - g for g.
-1
Suppose 3*z = -2*w + 250, -2*w - 300 = -4*z + 2*w. Let o be (1/(-5))/((-16)/z). Suppose d - 10 = -d. Solve 0 = 2*t - t - x + o, d*x = -3*t + 37 for t.
4
Let i be (-13)/(156/(-8)) - (-16)/3. Suppose 5*w - 1 = -v - i, 2*w = -5*v - 2. Let c be (2 + 0 - 3)*-4. Solve c*b + 16 = 0, 5*b = -v*s + 2*s - 24 for s.
2
Suppose 0 = d - 5*i + 1, 5*d + 82*i - 22 = 80*i. Suppose -53 = -5*f - 5*z - 3, d*f = -z + 52. Solve -f = -4*r + 2*y, 0 = -2*y - 3*y - 15 for r.
2
Suppose -1929 = -54*v - 1605. Suppose -7 - 8 = -5*k. Solve 3*p - 2*p = -1, v = b - k*p for b.
3
Suppose 0 = -2*t - 5*w - 6, -5*w - 30 = 3*t - 8*w. Let c be (t/10)/(9/270*-6). Solve -5*z - 1 = -5*m + 4, -c*m + 8 = 0 for z.
1
Suppose 2*v - 14 = -q - 0*v, 29 = q + 5*v. Let u(w) = -w**2 + 6*w - 3. Let j be u(5). Let l be (3*1)/(3/j). Solve -2*m = -l*x, 3*m + q = x - 4 for x.
-4
Let u be 11 + (20/2 - (26 - 5)). Suppose m = -2*w + 7, 5*w + 2*m - 27 + 10 = 0. Solve c - w*i = -1, u = -c + 5*i - 3*i - 1 for c.
-1
Suppose -876*t + 880*t + 640 = 0. Let j = t + 163. Solve v + 4*m - 20 = -j*v, 5*v = 4*m + 16 for v.
4
Suppose 3*g - 35*t - 3 = -34*t, -4*g = 4*t + 12. Solve g = b - j + 1, 2*j = -4*b - 3*j + 5 for b.
0
Let c(h) = 2*h - 6. Let i be c(9). Suppose -a + 20 = i. Let y = 1258 - 1256. Solve 3*u - o - a = 6, -u - y = o for u.
3
Let t(m) = -m**2 - 2*m + 60. Let s be t(-14). Let n = s - -111. Solve 2*r - i - n - 7 = 0, 0 = -5*r + 3*i + 26 for r.
4
Let v(x) = -1051*x + 16836. Let g be v(16). Solve 2*h + 4*w + g = 0, -3*w - 170 = -161 for h.
-4
Suppose -8*j - 56 = 64. Let x be (-1 - j/(-3)) + 9. Solve 4*l - 23 = -b - l, -x*b = 5*l - 29 for b.
3
Let i be (-18)/(-7) - (38/42 + (-26)/78). Solve 3 = -3*u - 3*d, 4 = u - i*d + 2 for u.
0
Let d be 1 + 1/2 + 201/134. Solve d*q + i - 7 = 2*q, -2*q - i = -9 for q.
2
Let r(v) = -8*v - 156. Let o be r(-20). Let p be (6 - 7) + o - -2. Solve -2*m + 1 + 10 = p*i, 5*m - 14 = i for m.
3
Let n = -25027 + 25029. Solve -2 = 227*j - 228*j - 2*z, n*j + 5*z = 6 for j.
-2
Let d be (29 - -27)*4/14. Suppose -7 + 39 = d*r. Solve p + 14 = 5*j - 2, -r*p = -8 for j.
4
Suppose -4*o = o - 50. Let h be -1 + (-5)/o*4 - -8. Solve 0*s - h*s = b - 13, -b + 2*s = 1 for b.
3
Let l(a) = -8*a**2 - 148*a - 407. Let c be l(-15). Solve 0 = -3*i + 4*d + 5, -18*i = -21*i - 5*d - c for i.
-1
Suppose 16 = 15*v - 13*v. Let s = -134 + 137. Suppose 3*b + v = 5*b, -s*l + 5 = -b. Solve 3*h + l*k = 0, 0*h + 4*k + 32 = 4*h for h.
4
Let d = 738 - 742. Let m(n) = n**3 + 8*n**2 + 16*n + 12. Let y be m(d). Solve -5*l + q - y = 0, 2 - 4 = 3*l + 2*q for l.
-2
Let s be ((-4)/14)/(5/(-35)). Suppose -s*x - 9*x + 55 = 0. Suppose -5*i - 6 = 3*d, -4*i = -5*d - 5*i + 12. Solve -d*l - 7 = -0*g + 4*g, -x*g - l = 17 for g.
-4
Let y(x) = x**3 + 5*x**2 + 6*x. Let m be y(-3). Suppose m = -0*p + 15*p. Solve -3 = z - 5, -2*u - z + 8 = p for u.
3
Suppose 2*p + 26*r - 22 = 30*r, 4*p - 4 = -2*r. Solve -2*v + 14 = j, -10 = -p*j + 2 for v.
5
Let i = -3116 - -3118. Solve 3*y = i*y + 2*r + 7, -3*y = -2*r - 5 for y.
-1
Suppose -4*h = a + 21, 67*h + 15 = a + 65*h. Solve 2*s + 3*s = q - 16, 0 = a*q + s for q.
1
Let m(w) = -w**3 + w + 3. Let s be m(0). Let u(v) = -v**3 + 15*v**2 + 22*v - 86. Let l be u(16). Solve -h + 2 = 3*h - 2*b, h + l = -s*b for h.
-1
Suppose -15 = -k - 4*k. Suppose -k*d = -0*d - 12. Suppose 0 = -4*i - 323*i + 981. Solve -d*b = -i*h + b - 16, -2*b = -3*h - 10 for h.
-2
Let x = -1415 - -971. Let l = 448 + x. Solve l*c + q - 11 = -32, 0 = -c - q - 9 for c.
-4
Suppose -25*t + 234 = -19*t. Let c = t - 34. Solve -q - 3*p + 18 = 0, q = c*q - 3*p + 3 for q.
3
Suppose d + 3*d = -100. Let k = -5 - d. Let j be k/50 + (-76)/(-10). Solve j = f - 0*f + 3*r, 4*f = 2*r + 18 for f.
5
Let x = 14431 - 14427. Solve -r - w + 6 = -4*w, x*w + 1 = -r for r.
3
Let p(w) = 263*w**2 - 8*w + 3. Let c be p(1). Let v = -256 + c. Solve -3*z - v*i = 1, -25 = -z + 4*z - 4*i for z.
-3
Let y be (-18)/1*(11/2)/(-11). Suppose 0 = -y*v - 11*v. Solve 4*h + h - 4*z - 7 = v, -3*z + 3 = -h for h.
3
Let n(p) = 2*p**3 + p**2 - p + 4. Let i be n(0). Suppose 3*q = 6*w - 7*w - 10, -4*w = i*q. Solve -4*d = -5*s + w + 8, s + 3 = -2*d for s.
1
Suppose 0 = 179*u - 173*u - 54. Suppose -15 = -u*y + 3. Solve 2*p = -y*q - 8, -p + 2*p + 4 = 5*q for q.
0
Suppose 0 = 98*p - 1635 + 949. Solve d + p*x = 8*x + 9, -5*x = -d + 25 for d.
5
Suppose x + 0 = 2*y - 3, 0 = 4*y + x - 21. Suppose 0 = y*o + 130 + 1710. Let f be o/(-80) + 3/(-4). Solve 3*i - 1 = -2*d + 7, -4*i + f = -3*d for i.
2
Suppose 8 = 2*s - 308. Let y = -155 + s. Solve -4*b - 24 + 7 = -i, y*b = 5*i - 34 for b.
-3
Let d(m) = 2*m**3 - 32*m**2 - 31*m - 61. Let i be d(17). Let y be (i + 9)*(-1 + -5). Solve 4*s = 2*u + 12, 5*s - 8 = 2*u + y for s.
2
Let h(x) = 4*x**2 + 121*x + 32. Let a be h(-30). Let q be a - 1 - (25 + -24). Solve q*t - 4*t - 27 = 5*y, t - y = 0 for t.
-3
Suppose -919*z - 52 = -932*z. Solve 87 = 3*c + 90, 4*u = -z*c + 4 for u.
2
Let t be ((-9)/36)/((-4 - -9)/(-20)). Solve 9*i - 3*n = 7*i - 19, n = -2*i + t for i.
-2
Suppose 343 = -s + 241. Let r = s - -102. Solve -c - 2*f - 15 = 0, -5*c - 3*f + r*f = 40 for c.
-5
Let t be -2*(3/2)/1 - 1520/(-190). Solve -t*b - n + 16 = 0, -3*n + 10 = -3*b + 34 for b.
4
Suppose 10 = 5*o + 5*o - 10. Solve 0 = 30*i - 34*i - o*a - 24, 2*i + 5*a + 28 = 0 for i.
-4
Let q(a) = 5*a**2 + 8*a - 8. Let r be q(-4). Suppose 15*v - 80 = r. Solve -v = -5*g + 2*i + i, 5*g - 32 = -3*i for g.
4
Let k(v) be the first derivative of 3*v**2 - 12*v - 27. Let o be k(-12). Let m = 89 + o. Solve -m*l - g = 21, -4 = 3*l - 4*g + 4 for l.
-4
Let i be (-6)/(190/20 + -11). Solve -16 = -4*o + o - i*v, -2*o = 5*v - 13 for o.
4
Suppose 22*h - 232 = 160 - 326. Solve -4*w + 65 - 80 = 5*g, h*w - 4*g = 12 for w.
0
Let p = -13 + 17. Let l be ((-39)/(-26))/(3/p). Suppose t = l + 2. Solve -2*f = -t*a + 2, 3*f + 3*a = -2*a - 25 for f.
-5
Let c be 2/(-6) - (-284)/(-12). Let k be (-2)/c - 28/336. Let z be (-10)/(-2)*3/3. Solve 5*a + 18 + 7 = -s, k = -z*s - 2*a - 10 for s.
0
Suppose -382*d + 383*d - 19 = 4*v, -2*v = -2*d + 32. Solve 32*h = 36*h - 5*j - d, 2*h = 2*j + 8 for h.
5
Let u(d) = 2*d**2 + d + 2. Let v be 17/34 + (-1)/2. Let t be u(v). Solve -x - 9 = -b + 4*x, 2 = -t*x for b.
4
Suppose 5*h - 278 = 2*y, -y - 695 = 4*y - 3*h. Let j = y + 144. Solve -2*f = 5*c - 17, 0 = -c + 5*f - j + 3 for c.
3
Let l(a) be the first derivative of 15*a**2/2 - 193*a - 20. Let d be l(13). Solve r - 5*b + 21 = 0, r - d*b + 6 = -0*b for r.
4
Let o(f) be the first derivative of f**3/3 + f**2/2 + f + 7. Let k be o(-2). Suppose -8*a + 20 = -k*a. Solve -2*r = 2*g, a*r + 2 = -3*g + 3 for r.
1
Let u(t) = -103*t - 515. Let b be u(-5). Solve 0 = -2*w + 3*g + 19 - 24, 5*g - 15 = b for w.
2
Let z(f) = f**3 + 5*f**2 + 8*f + 9. 