**2 - 15*c - 22. Let s(w) = -w**2 - 14*w - 21. Let l(q) = -7*s(q) + 6*v(q). Is l(-12) a multiple of 15?
False
Let h(n) = -17*n - 10. Is h(-6) a multiple of 23?
True
Let q = -88 - -221. Is q a multiple of 19?
True
Let s = 11 + -7. Let t be (6/s)/(1/2). Suppose -t - 17 = -4*q. Does 5 divide q?
True
Let p be -4 + 6 - 2/2. Let d(k) = -k**3 + 2*k**2 - 2*k + 1. Let z be d(p). Suppose z = -5*b + 6*b - 6. Is 3 a factor of b?
True
Does 9 divide 6556/121 + (-4)/22?
True
Suppose 26*m = 7*m + 912. Is 4 a factor of m?
True
Suppose -3*i - 282 = 186. Is 8 a factor of i/(-10) - (-8)/20?
True
Let f = 24 + -20. Suppose -f*d + 116 = 16. Is 20 a factor of d?
False
Let b be ((-1)/(-4))/((-11)/44). Let o = 26 + b. Is o a multiple of 18?
False
Let h(i) = -2*i + 2. Is h(-2) a multiple of 6?
True
Let k = 15 + -8. Suppose 2 = -y + k. Is -2 - y/((-5)/27) a multiple of 10?
False
Let k(f) = -3*f**2 + f + 1. Let u(y) = 7*y**2 - 2*y - 2. Let b(a) = 5*k(a) + 2*u(a). Let j be b(-1). Does 9 divide j/3 - 56/(-6)?
True
Suppose 0 = -24*k + 27*k - 51. Is k a multiple of 4?
False
Let t(r) = -r**3 - 8*r**2 + 9*r + 4. Let s be t(-9). Suppose 37 = s*z - 75. Let a = z + -17. Is a a multiple of 11?
True
Let r(f) = -2*f + 5. Let i be r(-8). Suppose -4*u + 123 + i = 3*x, 144 = 3*x - 4*u. Is x a multiple of 24?
True
Let z be 0/(-1) + -8 - -2. Let f be 1*((z - -1) + 0). Is 15 a factor of (-172)/f - 2/5?
False
Let l = 0 - 0. Let o be -3 + l + 1 + 2. Suppose -y - 1 = 4*k - o, -5*y = 4*k - 27. Does 7 divide y?
True
Suppose -5*v + 2*v = 0. Suppose -97 = -2*t + 3*r - 16, -5*t + 4*r = -192. Suppose 5*k + 2*a - 72 = 0, 2*k + v*k - a - t = 0. Is k a multiple of 9?
False
Suppose -2*b + 1 - 17 = 0. Suppose -2*z - 1 = -3. Let s = z - b. Is 9 a factor of s?
True
Suppose 2*t + 2*c + c + 55 = 0, 2*t + 2*c + 56 = 0. Is (4 - 1) + (-2 - t) a multiple of 10?
True
Let p(d) = d**2 + 9*d + 5. Let m(a) = a**2 + 8*a + 4. Let t(o) = -3*m(o) + 4*p(o). Let w be t(-9). Let z = w - -33. Is z a multiple of 7?
True
Let w = 27 - 12. Suppose u - w = -4*u. Suppose y - u*k - 43 = -y, 0 = -y - 2*k + 18. Is y a multiple of 10?
True
Suppose 4*r - 3*b - 34 = -b, 15 = 2*r - 3*b. Does 3 divide r?
True
Let y(p) = 10*p - 4. Let d be y(9). Suppose -5*k = -d - 34. Does 5 divide k?
False
Suppose 16 = r - 4*w + 2*w, -3 = w. Does 3 divide r?
False
Let w(b) = -7*b - 5. Is 23 a factor of w(-10)?
False
Let g(v) = 7*v - 1. Let p be g(1). Does 7 divide (p - 3) + 2*9?
True
Let w(x) = 4*x**2 - 7*x + 9. Does 34 divide w(6)?
False
Suppose 3*o + 8 = -o, -5*y + 650 = 5*o. Does 22 divide y?
True
Let w be ((-3)/(-4))/(3/(-12)). Suppose 20*a - 15*a = 80. Let m = w + a. Is m a multiple of 13?
True
Let g be 90/6 + 0 + 1. Let w = -8 + g. Does 8 divide w?
True
Let b = -2 - -50. Suppose 4*u + b = x - 0*u, 0 = 5*x + 3*u - 240. Is 16 a factor of x?
True
Suppose -g - 3 = 0, 2*f - 42 = g + g. Does 6 divide f?
True
Is 11 a factor of (6/4 - -1)/((-1)/(-34))?
False
Let q be -1 - 7/(21/(-9)). Suppose 0 = -3*r - 5*k + 38, 2*r + 3*k + q*k - 32 = 0. Is 2 a factor of r?
True
Let y(u) = 4*u**3 + 2*u**2 - 1. Suppose -3*c - 12 = -3*f - 3, f + 9 = -5*c. Let s be y(f). Does 5 divide s - (2 + (-1 - 1))?
True
Let b(c) be the third derivative of 0*c + 1/60*c**5 - 1/2*c**3 + 0 + 1/12*c**4 - c**2. Does 6 divide b(3)?
True
Suppose -3*t + 69 + 231 = 0. Suppose 3*v - t = 47. Does 22 divide v?
False
Let k(g) = -4*g**3 + g**2 + 2*g + 1. Let w be k(-1). Is 13 a factor of (w - 1)*(-133)/(-21)?
False
Does 13 divide -6 + 6 - (1 - (-157)/(-1))?
True
Let z(n) = -n**3 - 7*n**2 - 9*n - 3. Let h be z(-6). Suppose 99 = 2*d - h. Does 22 divide d?
False
Let i = 1 - -2. Suppose i*z + 0*h - 43 = -2*h, z = 3*h - 4. Is 11 a factor of z?
True
Let l(f) = -28*f - 14. Is 10 a factor of l(-4)?
False
Let c(f) = f**3 - 12*f**2 + 12*f - 6. Let l be c(11). Suppose 0*m + 4*m + 218 = l*u, -4*m = -2*u + 80. Is u a multiple of 23?
True
Suppose -21*f - 258 = -23*f. Is f a multiple of 28?
False
Suppose 5*h + 28 = 3*z, 4*z - 7*h - 24 = -3*h. Let j = 5 - z. Let k(d) = 4*d - 1. Is 13 a factor of k(j)?
False
Let u = 51 - -34. Is u a multiple of 17?
True
Suppose -3*h - 24 = n, 0*n - 4*h = -3*n - 137. Let q = n - -59. Is q a multiple of 4?
True
Is 8 a factor of (-420)/(-45)*6/7?
True
Suppose 4*n + 0*n + 40 = 4*j, 5*j - 2*n = 62. Let o(d) = -d**3 + 15*d**2 - 14*d + 12. Is 3 a factor of o(j)?
True
Let a = 0 - 1. Let d be (2 - -1 - 4) + a. Does 13 divide 231/9 - d/6?
True
Suppose -2*x + 0*x = 6, x = -l - 3. Suppose -2*b + 26 = 2*m + m, 3*b + 3*m - 36 = l. Is 10 a factor of b?
True
Suppose 2 = 3*b - 7. Suppose b*w - 20 = 2*z, 4*z + 16 = w + z. Suppose -w*l = -2*f - 76, -l + 0*f + 4*f = -12. Does 10 divide l?
True
Let n(c) = c + 22. Let b be n(0). Let z = b + 19. Is z a multiple of 20?
False
Let p be (15 + 0)/((-3)/(-4)). Suppose p = -6*x + 2*x. Let r(v) = 2*v**2 + 2*v - 5. Does 12 divide r(x)?
False
Let z(t) = -11*t + 3. Let u(f) = f**2 + 4*f + 6. Let r be u(-4). Suppose 5*h - r = 19, -4*q + 5*h = 37. Does 18 divide z(q)?
True
Let h(g) = -2*g**3 - 3*g**2 - g - 1. Let a be h(-2). Suppose b = -4*b, a*b = 5*c - 70. Suppose y + 0 = 2*i - 19, c = i + 4*y. Is 5 a factor of i?
True
Let s = 4 - 5. Let v = s - -4. Is v a multiple of 2?
False
Let j(o) = -o**3 - 10*o**2 + 12*o + 13. Suppose 6*d - 3*v + 46 = d, d + 5*v = -26. Let s be j(d). Suppose 5*b + t = 2*t + 30, -25 = -s*b + 3*t. Does 3 divide b?
False
Suppose -4*g + 217 + 23 = 0. Is 15 a factor of g?
True
Suppose -3*g = 1 + 17. Let v = g - -1. Is (-2)/v + 552/20 a multiple of 14?
True
Let a(v) = -28*v - 2. Let u be (-4)/6 + (-8)/6. Is a(u) a multiple of 12?
False
Suppose -169 = -3*z - d + 200, 2*d + 482 = 4*z. Suppose z - 302 = 5*m. Let f = 3 - m. Does 13 divide f?
True
Suppose -5*i + 1084 = -u, 4*i - 5*u - 884 = -0*u. Suppose 0 = t - 4, -4*k + i = -0*k - 3*t. Does 19 divide k?
True
Suppose 0*r - 1428 = -14*r. Is r a multiple of 34?
True
Suppose 3*p + 0*p - 196 = 5*f, 66 = p - f. Suppose 5*v + p = 172. Does 8 divide v?
False
Suppose b = 3*b. Let p be (0 - b)/((-3)/(-3)). Suppose -4*j + 2*m = -3*j - 2, p = -2*j + 5*m + 2. Does 2 divide j?
True
Let g be (3 + 1 - -1)*1. Suppose 0 = 5*n + l - g*l + 58, 2*n - 4*l = -16. Let q = 9 - n. Does 6 divide q?
False
Let a(w) = 13*w**2. Let z(q) = -q**3 - 3*q**2 - 2*q - 4. Let h be z(-3). Is 20 a factor of a(h)?
False
Suppose 60 + 17 = s. Is s a multiple of 18?
False
Suppose -b + 11 = -43. Is 3 a factor of b?
True
Let q(z) = z**3 - 3*z**2 + 2*z - 3. Suppose 2*k - 17 = 5*v, -4*k + k + 2*v = -9. Let l = k + 2. Does 3 divide q(l)?
True
Let j be (-60)/(-14) + 6/(-21). Suppose 0*n = -j*n + 92. Is n a multiple of 11?
False
Let i(n) = -33*n + 3. Let o be i(-4). Does 11 divide 6/5*o/6?
False
Let b = 17 - 12. Suppose -q - 156 = -b*q. Is 13 a factor of q?
True
Suppose -2*k - 4*z + 47 = -k, -2*z = -3*k + 71. Let r = -2 + k. Does 10 divide r?
False
Let t = 8 + -2. Suppose t = 2*u - 0. Suppose 0 = u*r - 13 - 77. Is r a multiple of 15?
True
Is (-7 - -5) + (0 - -96) a multiple of 29?
False
Let l be (1*45)/((-9)/(-6)). Suppose -30 = -2*u + l. Is u a multiple of 9?
False
Let c(p) = 55*p**2 + 3*p + 2. Does 18 divide c(-1)?
True
Let s(b) = b**2 + 3*b + 4. Suppose i = -2*i - 9. Let o be s(i). Suppose 50 = o*y + 2*j, -j - 21 = -2*y + 2*j. Is 5 a factor of y?
False
Let i(a) = -2*a**3 + 11*a**2 + 2*a**3 - 7*a - a**3 + 1 - 2*a**2. Does 6 divide i(8)?
False
Does 2 divide 20/6 - 2/6?
False
Let i(r) = -r**2 - 9*r + 1. Let s(u) = 2*u**2 + 18*u - 2. Let y(b) = -5*i(b) - 2*s(b). Let t(w) = w**3 + w**2 - w - 10. Let j be t(0). Does 9 divide y(j)?
True
Let r = 2 + 0. Suppose 4*h = r*h + 76. Suppose -4*d + h = -2. Does 10 divide d?
True
Let w = -42 + 159. Is w a multiple of 13?
True
Let i(d) = d + 12. Let f = 12 + -3. Is i(f) a multiple of 7?
True
Suppose 24*r = 25*r - 79. Does 59 divide r?
False
Let j(d) = d**3 + d. Let w be j(-1). Is (61 - w) + 8/(-4) a multiple of 21?
False
Does 12 divide 2/9 + (-2364)/(-54)?
False
Suppose 22 = -a - 4*k, -4*a - 7 = 4*k + 33. Let h be a/4*8/(-6). Suppose 9 = -3*l + 2*l + 5*x, 0 = -l + h*x + 6. Does 11 divide l?
False
Let g = -12 - -36. Is 12 a factor of g?
True
Let l(u) = 11*u + 3. Is 13 a factor of l(6)?
False
Does 15 divide 3*(-1)/3 - -18?
False
Let j be (-2)/5 - 34/(-10). Suppose 0 = j*h - h + 60. Let c = -10 - h. Is 10 a factor o