= -2*l**2 + 3*l + 2. Let f be w(-2). Let s be n(f). Is 14 a factor of x(s)?
True
Let p = 10 - 20. Let i = 90 - 61. Let g = p + i. Does 9 divide g?
False
Let d(c) = -c**3 + 5*c**2 + 5*c + 3. Let u be d(6). Let l = -3 - u. Suppose o + j - 54 = -2*j, 3*o - 5*j - 204 = l. Is o a multiple of 22?
False
Let i = 474 + 163. Is i a multiple of 7?
True
Does 3 divide (6/8)/((-1)/(-372))?
True
Let c = 64 - 14. Let z = c - 29. Is 21 a factor of z?
True
Let z = -144 + 352. Does 22 divide z?
False
Suppose 0 = -0*v + v + 11. Let p(r) = r**2 + 12*r + 15. Let l be p(v). Suppose -5*m = l*n - 67, -4*m - 5*n + 54 = -2*n. Is 5 a factor of m?
True
Is (-19070)/(-34) + 3 + 12/102 a multiple of 21?
False
Let i(f) = -f**3 - f**2 - 2*f. Let u = -30 + 28. Let c be i(u). Suppose c*d + 53 = 9*d. Is 9 a factor of d?
False
Let c(l) = 2*l + 2*l + 13 + 11*l. Is 9 a factor of c(5)?
False
Let j(v) = 2*v + 16. Does 46 divide j(38)?
True
Let c(a) = -14*a + 423. Does 13 divide c(0)?
False
Let a(s) = 3*s**2 - 6*s + 4*s + 11 + 0*s**2. Let m(o) = 2*o**2 - 3*o + 10. Let w(j) = 4*a(j) - 5*m(j). Is w(-8) a multiple of 24?
False
Let b(h) = -6*h + 40. Let s be b(-23). Suppose 8*a - s = 94. Does 17 divide a?
True
Let z(o) = -6*o**3 + 2*o**2 - 1. Let w be z(1). Let m = -1 - w. Suppose -m*t + 6*t = 54. Is 7 a factor of t?
False
Suppose 365*a - 376*a + 66 = 0. Let s(j) = -10 + 9*j - 2*j + j. Does 13 divide s(a)?
False
Is 25 a factor of (15/(-4))/(-3)*(301 - 1)?
True
Let z = -660 + 772. Does 28 divide z?
True
Let g = 112 + 28. Does 7 divide g?
True
Does 23 divide (-1932)/(-18)*3/2?
True
Let d = 2258 - 1857. Does 2 divide d?
False
Let h(g) = 2*g**2 + 13*g - 19. Does 5 divide h(7)?
True
Let f = -22 - -22. Suppose f = -2*t - 0*r + 2*r + 10, 0 = -t + 3*r + 13. Is 12 a factor of (-8)/(-2) + (t - -43)?
True
Suppose -2*v = 2*v - 20, 3*z - 4*v + 5 = 0. Let o(d) = 22*d - 8. Is o(z) a multiple of 17?
True
Let l(a) = -2*a**2 + 3*a + 2. Let j be l(-1). Does 49 divide (2/j)/(4/(-1950))?
False
Let c(j) = 28*j - 18. Is c(16) a multiple of 86?
True
Is 34 a factor of 759 - (-121)/(-22)*2?
True
Suppose -h + 172 = -5*x + 7103, 0 = -3*x - 2*h + 4169. Is x a multiple of 59?
False
Let f = -31 + 34. Suppose f*i = 7*i - 48. Does 2 divide i?
True
Let f = -434 - -938. Let m = f - 294. Is 21 a factor of m?
True
Let s be (-15)/2*(-8)/(-3). Is 10 a factor of (-1 + 9)*(-15 - s)?
True
Let r(k) = 4*k**2 + 137*k + 296. Does 12 divide r(-49)?
False
Let h be -188 + (2 + -4)*1. Let s = h + 269. Is 12 a factor of s - 4/(-1 + 2)?
False
Suppose -212*d = -206*d - 4608. Is d a multiple of 16?
True
Let u(h) = 17*h**3 - h**2 + 4*h + 2. Let g be u(-4). Is g/(-6) - 1/3 a multiple of 10?
False
Let b be (22 - -1) + 0 + -1. Suppose 0*a - a = b. Does 22 divide -15*5/(25/a)?
True
Suppose 3*x - 4 = 4*i, 2*x = 3*i - 0*x + 2. Suppose 0 = m - 4*y - 71, -2*m - 4*y + 244 = i*m. Suppose j = -4*d + m, -5*d + 0*j + 79 = j. Is 6 a factor of d?
False
Suppose 2*s + 622 = 2296. Does 27 divide s?
True
Is 260 + (18/8)/(9/(-24)) a multiple of 6?
False
Suppose -4*k - 619 = -5*m + 632, 3*m - 4*k - 757 = 0. Let g = m - 153. Let z = -36 + g. Is z a multiple of 15?
False
Suppose 2*r - 17 = 183. Let u(q) = -4*q - 1. Let x be u(-5). Suppose -4*i - x = -j - r, 36 = 2*i - 2*j. Is 7 a factor of i?
True
Let b(w) = -w**3 - 4*w**2 + 16*w - 12. Is b(-12) a multiple of 42?
False
Let h be (-4 + 3 + 3 + -1)*2. Let r(w) = 10*w**2 - 3*w + 2. Does 6 divide r(h)?
True
Let t be 780/(-91)*(-14)/3. Suppose -u + 38 = -3*d - t, 3*d = -2*u + 174. Is u a multiple of 6?
True
Is 4 a factor of (1480/(-15))/(4 - (-76)/(-18))?
True
Is 9 a factor of -6 + 274 + 15/(-3)?
False
Suppose -29 = n - 14. Does 8 divide (-6)/n - (-7)/((-70)/(-316))?
True
Suppose -9*v = -8*v - 3, -2*h + 3*v = 35. Suppose 2*z + 2*a + 3 + 5 = 0, 3*a = -6. Is 4 a factor of (-4 - z)/(2/h)?
False
Let p(n) = -n**3 - 11*n**2 + 17*n + 16. Let q be p(-10). Let h = -91 - q. Is h a multiple of 25?
False
Let f(q) = 71*q - 8. Let w be f(2). Let o = w - -48. Is o a multiple of 26?
True
Suppose -5*g - 3*n = -872, -n = 3*g - 4*n - 528. Is g a multiple of 25?
True
Let l be 0/((10/5)/(-2)). Suppose -2*j = -l*j - 8. Suppose -22 = -j*b - 2. Does 2 divide b?
False
Let y = -172 + 271. Is 9 a factor of y?
True
Let i(o) = -o - 3. Let m be i(-5). Suppose -4*a = -m*a. Suppose a = -2*n - 4 + 44. Is 5 a factor of n?
True
Suppose -f = -5*d - 329, d + 3*f + 73 = 5*f. Suppose 0 = -3*x - 3*j - 141, 71 = -4*x - j - 120. Does 7 divide d/(-2) - x/(-32)?
False
Suppose 3*a + 10*a - 468 = 0. Is a a multiple of 6?
True
Let q be 2/(-8) + 3 + 13172/16. Suppose 6*p + 184 - q = 0. Does 11 divide p?
False
Suppose 0 = 4*n + 211 + 21. Let j = 61 + n. Is 3 a factor of j?
True
Suppose 0 = 3*m - 8*m + 395. Let l = 127 - m. Suppose l = -a + 148. Is 25 a factor of a?
True
Let z(r) = r**2 - 9*r + 12. Let b(g) = g**3 + 9*g**2 + 12*g - 4. Let u be b(-7). Is z(u) a multiple of 7?
False
Let u(c) = -8*c**2 - c**3 + 1 - 3*c + 5 + 0*c. Let t = -1 - 7. Does 15 divide u(t)?
True
Let y = 9 + 1. Suppose 0 = w + 4*w + y. Does 19 divide 1*(37 - -3) - w?
False
Suppose 0 = -0*v - v + 2, 4*v - 14 = -c. Let t be 5/((-15)/6) + c. Suppose 2*l - t*l + 62 = 0. Is 19 a factor of l?
False
Let w = 60 - -100. Let l = w + -16. Is 24 a factor of l?
True
Suppose -s - 76 = 3*s. Let h be 4/14 - s/7. Suppose -2*u = -h*u + 33. Is u a multiple of 19?
False
Suppose -4442 = -16*v + 8422. Does 8 divide v?
False
Suppose 0 = 7*z + 23 + 124. Is 18 a factor of (-22)/(90/z + 4)?
False
Suppose 2728 = 12*f + 328. Does 40 divide f?
True
Let c(a) be the second derivative of a**4/12 + a**2/2 + 9*a. Let y(r) = -12*r**2 + 1. Let p(o) = 5*c(o) - y(o). Does 18 divide p(-2)?
True
Is -20 + 21 - (-1 + 0 + -369) a multiple of 53?
True
Let c(q) = q**3 + 8*q**2 - 8*q + 13. Let d be c(-9). Suppose y = d*s + 54, 2*s - 162 = y - 4*y. Is 27 a factor of y?
True
Let n be (0 - -3)/((-3)/(-2)). Suppose -78 = n*v + v. Let d = v - -86. Does 11 divide d?
False
Let r be (-22)/(-6) + (-6)/9. Suppose -460 = -3*d - d + 2*i, -2*d + 2*i = -234. Suppose d = 5*b - r*l - 59, 2*l - 152 = -5*b. Is 12 a factor of b?
False
Let h(l) = 6 - 21*l + 21*l + 20*l + 14*l**2 + 3*l**3 - 4*l**3. Let r(b) = 16*b - 1. Let g be r(1). Is 14 a factor of h(g)?
False
Let f(m) = m**3 - 3*m**2 + 4*m + 2. Let k be f(6). Suppose 2*x = 6, 0*g - 5*g - 2*x - k = 0. Let n = g + 46. Does 5 divide n?
False
Let g(q) be the first derivative of -q**2/2 - 4*q + 5. Let d be g(-6). Suppose -d*r = -18 - 56. Does 22 divide r?
False
Suppose -8*v + 1872 = -2*v. Is v a multiple of 24?
True
Let f = 34 - -10. Suppose -10*d + 6*d = -f. Let r = 15 - d. Is r a multiple of 3?
False
Let r = -15 + 10. Let b = 0 + r. Does 13 divide b/(-10) - 54/(-4)?
False
Let u be (-20)/6*156/(-65). Let g be -3 + (-164)/(4 - u). Let a = g + 23. Is 13 a factor of a?
False
Let g(i) = i**2 + 17*i + 276. Does 50 divide g(-40)?
False
Let j(n) = -n**3 - 14*n**2 - 22*n. Let q(m) = -m**3 - 7*m**2 + m - 6. Let v be q(-7). Does 13 divide j(v)?
True
Suppose -3*p - 3*b + 21 = -24, 2*p - 4*b = 60. Suppose -v - v - p = 0. Is (-385)/11*8/v a multiple of 7?
True
Let s(u) = -2*u**3 - 72*u**2 + 47*u + 131. Does 9 divide s(-37)?
False
Let s = 446 + -345. Is s a multiple of 9?
False
Suppose y + 10 = -2*g, 0 = -g + 1 - 5. Let i(x) = -80*x + 2. Is i(y) a multiple of 18?
True
Does 6 divide 138 + 0*1/(-2)?
True
Suppose 7*k + k - 2648 = 0. Suppose 5*u = -5*n + 335, n - k = -2*u - 3*u. Is u a multiple of 19?
False
Let j = 24 - 24. Suppose j = -2*k - 77 + 305. Is k a multiple of 38?
True
Let g(t) be the third derivative of -t**4/12 + 5*t**3/6 - 2*t**2 - 6. Does 2 divide g(1)?
False
Is 6 a factor of (31 - 19)/((-1)/(-12))?
True
Let p(b) = b**3 - b**2 - 3. Let f be p(3). Suppose -4*s + d + f = s, -3*s + 31 = -5*d. Suppose -r + 5*j = -26 + 4, -37 = -s*r + 3*j. Does 9 divide r?
False
Let v = 5133 - 2839. Is v a multiple of 37?
True
Let d(g) = -3*g - 11. Let y be d(-9). Let u be (6/(-15))/((-2)/10). Let t = u + y. Is t a multiple of 5?
False
Suppose o - 4*y = 50, -5*o + 202 = y - 5*y. Suppose o*k - 42*k + 544 = 0. Is k a multiple of 34?
True
Is (-243)/(-2) - 10/20 a multiple of 11?
True
Suppose n + 1528 = -8*s + 11*s, 4*s = -4*n + 2048. Is s a multiple of 17?
True
Let t = -7 - -10. Suppose t*z - 5*k - 537 + 85 = 0, 0 = -4*k + 8. Let j = z -