12*k + 84. Let b be t(-4). Solve 5*l + 3*c = 10, -b*l + 0*l = -4*c + 24 for l.
-1
Suppose -2*n + 378 + 1 = 5*t, -5 = -5*t. Let w = -187 + n. Suppose 0 = -3*p - 5*r + r - 16, 0 = -r - 4. Solve -4*k + k - 15 = p, w = -l + 5*k + 25 for l.
0
Suppose 5*i = -2*a + 1, -4 = -a + 2*i - i. Suppose 29*s - 30*s + 2 = -p, -4*p = -a*s + 4. Solve -4*h = 2*w + s, -2*h + 1 = -h for w.
-4
Suppose -18 = 4*a - 22, -10 = -4*p + 2*a. Solve -4*i = 5*h + 12 - 6, 0 = p*h + 3*i + 6 for h.
2
Let a = 15 - 17. Let m(h) = -7*h - 12. Let l be m(a). Solve v - 4*s = 18, 2*v - 3*s - 18 + l = 0 for v.
2
Let t(f) = f**3 + 4*f**2 + 3*f + 3. Let p be t(-3). Suppose -50*z + 139 = -b, 439*z + 3*b - 39 = 437*z. Solve 4*c + 4 = -4*l, z*l = -l - p*c for l.
3
Let p = -6334 - -6364. Solve -c = 4*i, 4*c + p - 11 = 3*i for i.
1
Suppose 4*j - 4*t + 20 = 0, -2*j + 7 + 4 = 5*t. Let v be (3 - -3)/(j/(-2)). Solve -4*q - q - 1 = -3*k, 4*k = 2*q + v for k.
2
Let z(t) = -2*t + 123. Let m be z(60). Solve -3*v = m*a, -3*v = 2*a - 3*a - 4 for a.
-1
Let u be ((-38)/152 - 5*1)/(2/(-8)). Solve 23*x - u = s + 28*x, -5*x = -4*s + 16 for s.
-1
Suppose -51 + 58 = 4*g + k, -3*g + 29 = -4*k. Solve -4*o + 1 = -g*h - 14, 3*h = -3*o + 6 for h.
-1
Let w be (-3 + (-10)/(-8) + 1)*-4. Suppose -4*n + 5*p = w, 4*n - 3*p = -n + 6. Solve 0 = 4*v - 4*r - 12, -r = 2*v + n + 3 for v.
-1
Let m be (-16 - (-1720)/108) + 490/54. Solve -t + 4*a + m = 0, -14*a + 10*a - 8 = 0 for t.
1
Let w = 62 - 45. Suppose w*j - 54 = 14*j. Let l = -161 + 166. Solve 2*x + j = -4*q, 2*q + x = l*x + 16 for q.
-2
Let n(b) = b**3 + 3*b**2 - 9*b + 7. Let t be n(-5). Suppose 4*r = t*r - 44. Let k(d) = -2*d - 42. Let f be k(r). Solve -16 = -4*m, f*c = m + 2*m - 16 for c.
-2
Let h = 8827 + -8824. Solve 2*w - 1 = -3*r - 4, 0 = h*r - w - 6 for r.
1
Let k(i) = 4*i**2 + 21*i - 3*i**2 - 5 - 2. Let z be k(-22). Suppose 5*r - 2*r - 21 = 3*s, 4*r - 27 = 5*s. Solve -z = r*j - 3*j - 3*b, -3*j + 4*b - 20 = 0 for j.
0
Let z be -1*(3 + -2 + -12). Let q be (1128/(-3196))/(2/(-34))*2/6. Solve 3*j - q - 9 = k, 4*k = j + z for j.
5
Let v(y) = -4*y**3 + 75*y**2 - 68*y + 257. Let c be v(18). Solve 5*g + 27 + 13 = -4*d, 0 = c*d - g - 8 for d.
0
Let l(z) = -7*z**2 + 168*z - 437. Let j be l(3). Solve h + j*u = -3, 15*u = -h + 14*u for h.
1
Let n(b) = 7*b + 40 + 9*b + 2*b - b**3 + 19*b**2 + 0*b**3. Let q be n(20). Solve -2*t - r + 2*r - 4 = q, -25 = 5*t + 5*r for t.
-3
Let y = -190 - -197. Suppose -t - n + 4 = 0, y + 7 = 3*t + n. Solve -3*r - 4*v = -3*v + 12, -2*r = t*v - 5 for r.
-5
Let h = -567 + 582. Let g = 8 - 31. Let w = -20 - g. Solve 2*s + 5 = w*x - 10, -5*s - h = -3*x for s.
0
Suppose 3 = 3*n, 2*x + n + 0*n = -15. Let z be (-26)/x - (-3)/(-12). Suppose -135 = 131*q - 176*q. Solve z*f - q*c = f - 2, -2 = c for f.
-4
Let s be 63*11/143 - 8/(-52). Solve 5*c = 3*z + 4, -s*c - z = -7*c + 2 for c.
2
Let o(x) = -x + 6. Let g be o(3). Let i(b) = -32*b**2 + 38 + 5 + 64*b**2 + 26*b - 35*b**2. Let m be i(10). Solve -2*h + 8 = -4*h + l, -h = m*l - g for h.
-3
Let h be 4*(45/6 + -6). Suppose -5*q + h = -8*q + 3*i, -i = -2*q. Solve 4*x - 15 = -q*l - 3*l, 0 = -x for l.
3
Suppose -3*r - r = 3*y - 28, -5*y + 2*r + 90 = 0. Suppose y*n - 23 = 9. Solve n*f - 2*l - 6 = 0, 7 = -3*f - 2*l + l for f.
-1
Let o be 2/(6/1389) + 3. Let m = o + -466. Solve 14 = -2*b + 5*y, 3*b - 5*b - 4*y + 22 = m for b.
3
Let h(q) be the first derivative of -15*q**2/2 - 29*q - 17. Let x be h(-2). Solve 5*y - x - 24 = 3*g, 5*g = -y + 5 for g.
0
Suppose 4*h + 3*k = -16, 3*k = -2*h - 532 + 512. Solve -5*s - h = -3*s + 4*r, 4*s - r = 5 for s.
1
Let m(a) = 5*a**2 - 6*a + 6. Let f(x) = x**2 - 1. Let j(r) = f(r) + m(r). Let u be j(1). Solve -5*z + 3*g = -2, 0 = -4*z - 2*g + 1 + u for z.
1
Suppose 3*p = -5*g + 21 - 10, 4*p - 36 = 4*g. Suppose -5*b = -7*z + 3*z + 17, 0 = -z + 4*b + p. Solve -1 = -k - 0*x - z*x, 2*x - 6 = 2*k for k.
-2
Let v(k) = -200*k + 4133. Let c be v(21). Let f be (3/(-2))/(2/60). Let b = f - c. Solve 5*u + b = -y, -2*u - 4 = -3*y - 2 for y.
-2
Let a be (-4)/(-20) - (-1 + (-220)/25). Suppose -n + 3*n + a*n = 0. Solve j - 2*p = 0, 0 = 4*j - n*p - p + 7 for j.
-2
Let v(r) = -r**3 - 4*r**2 + 3*r - 4. Let j be v(-7). Suppose -j*f = -126*f + 80. Solve 0 = t - 2*s - 2*s + f, 0 = -5*t - s + 5 for t.
0
Suppose 185 = -2*o + 319. Let g = -63 + o. Solve -b + 4*j - 3 = 0, j = 4*b + g + 8 for b.
-3
Let h(r) = -r**3 + 43*r**2 + 100*r - 448. Let c be h(45). Solve 3*x = -c*m - x - 16, -3*m - 5*x = 23 for m.
-6
Suppose -6 = 19*o - 22*o. Suppose o*z - 1 = j, 11 = 2*z - 4*j + 19. Solve 4*i - 8 = z*u, 4*u - 10 = -5*i + 5*u for i.
2
Suppose -4*y - 53 = 5*d - 203, -2*y + 150 = 5*d. Suppose -3*l = d + 105. Let c = -45 - l. Solve -22 = 3*r + r + 2*a, c = 2*r - 4*a - 4 for r.
-4
Suppose 7 = 3*m - u - 9, 0 = -3*u - 12. Suppose 5*t - 34 + 8 = -m*x, 4*x - 16 = 0. Suppose t*c - 12 = c. Solve 3*h + 13 = -6*n + n, -4*n - c = 4*h for h.
-1
Suppose -4*b + w + 13 + 60 = 0, 5*w = -3*b + 49. Suppose 352*l - 15 = 347*l. Suppose 4*i - 14 = -l*i. Solve 3*c + 4 = -h + b, -i*c - 4 = -2*h for h.
5
Let w(f) = -147*f + 15. Let m be w(2). Let k = m + 289. Solve 5*z - 16 = -2*d, -2*z - z + k = d for d.
-2
Suppose 5 = 6*z - 11*z, -c = -z - 13. Suppose 57 = 5*o + 2*d, 4*o - c*d + 7*d - 39 = 0. Solve -4*x = 5*f + o, 0*x - 5 = -f + x for f.
1
Suppose 2*x + 554 = -2*v, 2*v = 5*v - 12. Let y = 287 + x. Solve -4*s - 10 = -3*t, -2*t = -2*s - 6*t + y for s.
-1
Suppose 5*r - 18*r = 2*r. Suppose 4*j - 1 = -y - 9, r = -y - j + 1. Solve 0 = -3*a + y*d + 32, -a + d - 2*d - 1 = 0 for a.
4
Suppose -3*s = 2*c - 2, 0 = 2*s - 7*s - 5*c. Suppose -26 = -4*q - 2*x, -s*q + 4*x = -x + 17. Solve 0 = -4*t + q*f - 20, -2 = -5*t - 4*f + 9 for t.
-1
Let d be (-5)/6 - (-2262)/468. Solve -5 = i + d*k, i + k - 12 = -17 for i.
-5
Suppose 9*w - 6*w - 114 = 3*k, -5*w - k + 190 = 0. Suppose w*g = -3*g + 82. Solve 5*p + 18 = 2*v, -2*p + 0*p = -g*v + 12 for p.
-2
Let b = -100313 + 100317. Let z = 10 + -6. Solve -b*f = -2*x - 6, x + z*f - 11 = -f for x.
1
Suppose 12 = -292*q + 295*q. Let m(f) = f. Suppose -5*s + 2*o = 5*o, 2*o = 5*s. Let l be m(s). Solve -j + 2*i + 6 = l, -5*i - 9 = -q for j.
4
Suppose -5*v - 40 = 3*x, x + 21*v + 16 = 19*v. Solve 2*q - 3*m + 12 + 6 = x, 6*q + 42 = 3*m for q.
-6
Let u(p) = p**2 + 12*p + 29. Let m be u(-10). Solve 3*k + 3*r = -m, -4*r + 7*r + 10 = -4*k for k.
-1
Let r = -26 - -29. Let c(k) = 5*k. Let h be c(2). Let a be (-94)/(-10) - 4/h. Solve f - r*j = a, 7 = f + 4*f + 4*j for f.
3
Let y be -1*3/3*(-15 + -16). Solve 0 = -j + q + 1, 4*j - 3*q - 32 = -y for j.
-2
Let t = 529 - 525. Let g = 11 - 1. Suppose -t*k - g = b, k - 2*k = 3*b - 3. Solve 0 = -3*w + 6*i - b*i + 8, w - i - 2 = 0 for w.
0
Let b(p) = -p**3 + 5*p**2 - 3. Let q be b(3). Suppose 0 = 4*w + 24 - 4, -3*w - q = -4*m. Solve m = -0*t + 2*t - 5*x - 15, 3*t + 3*x - 12 = 0 for t.
5
Suppose -2*m + 10 = 4. Let q be (5/(-2) + m)*6. Let v(p) = p**2 + 4*p - 55. Let s be v(-10). Solve -s*k = -4*a - 4 + 2, 2*k = q*a - 2 for k.
2
Let f(o) = -o**2 + 74*o - 71. Let a be f(1). Solve -28*y + 5*r = -24*y, y = -a*r for y.
0
Let t(f) be the first derivative of f**4/4 - 26*f**3/3 + 25*f**2/2 + 2*f - 261. Let c be t(25). Solve 2*y + c*o - 7*o = 15, -3*o = 3 for y.
5
Let i be -19*(-24)/54 - (-8)/(-18). Solve -5*f - 10 = 2*w - 6, i = -4*f for w.
3
Suppose 0 = 2*p + 20*g - 16*g - 48, -31 = -p - g. Solve 40 = -3*f + 5*k, 5*f + p = 2*k + 3 for f.
-5
Let g(r) = -2*r - 12. Let h be g(-7). Suppose -4*z - 16 = -2*c - h*c, 3*z = -5*c + 44. Suppose 0 = -2*q + 7 + c. Solve -m - q = 2*k, -3*k + 2*k + 1 = -m for k.
-2
Suppose -2*u - 3*n = 211, -5*u - n = -5*n + 516. Let q = 111 + u. Suppose 0 = -q*k - 4*k + 13*k. Solve -2*t + 4*i = -k*i + 16, i - 5 = 0 for t.
2
Let r(f) = 3*f**2 - 1. Let h be r(1). Suppose 1 = 6689*x - 6692*x - 2*p, 0 = -2*x - 4*p - 14. Solve -3*q + 2 = 4*l - 2, 2 = h*q + x*l for q.
4
Suppose 591*a + 1266 = 8358. Solve -3*x = 5*l + 12, -a*l + 8*l = -3*x - 12 for l.
0
Let n = 4467 + -4454. Solve -n = y + 2*o, -2*y + 3*o - o - 2 = 0 for y.
-5
Let a(v) be the first derivative of 2*v**3/3 - 2*v**2 - 12*v + 83. Let f be a(-2). Solve 2*l = w + 3*l + 6, w - f*l - 14 = 0 for w.
-2
Let b be ((-42)/3)/(5 - (-1057)/(-210)). Suppose 24 = -22*h + b. Solve a - 4*v - 11 = 0, 2*v + h = -4*a - 10 for a.
-5
Let y = 3 + 