 0 = 4*j - q*j. Suppose w = -2*w + 12, j = 5*d - 4*w - 94. Does 15 divide d?
False
Suppose -3*h - 5*v - 11 = 0, 4*h + 4 = -v - 3*v. Suppose u - 97 = -l, -6 = l - h*l. Is 27 a factor of u?
False
Suppose 0 = -3*w - 6 - 12. Let z(a) = a + 6. Let o be z(w). Suppose -2*r + 58 = r - j, o = -2*r - j + 42. Does 9 divide r?
False
Suppose -4*l + 25 + 11 = 3*z, -l = -3. Is 8 a factor of z?
True
Does 30 divide (-1803)/(-27) + (-4)/(-18)?
False
Let o be 3*-2*7/14. Is 10 a factor of o + 17 + 0 + 2?
False
Suppose 5*s + 3*p - 297 = 2*p, 5*p = -15. Is 30 a factor of s?
True
Let a(v) = 2*v**2 + 4*v + 1. Suppose 4*k + 15 = -1. Is 17 a factor of a(k)?
True
Suppose 0 = 4*u - 9*u + 10. Suppose -15 = -u*z + 33. Does 8 divide z?
True
Let g(t) = 4*t**2 - 2*t. Let p(a) = a**3 + 9*a**2 + 7*a - 10. Let m be p(-8). Does 17 divide g(m)?
False
Is (159/(-3) + 1)/(-2) a multiple of 13?
True
Is 17 a factor of (68/7)/((-16)/(-56))?
True
Let h(w) be the second derivative of w**5/60 - w**4/12 - w**3/3 - w**2/2 - 3*w. Let r(v) be the first derivative of h(v). Does 13 divide r(6)?
False
Let i(a) = 3*a**3 - 9*a**2. Let o(k) = -k**3 + k**2 - k + 1. Let m(v) = i(v) + 4*o(v). Is m(-5) a multiple of 14?
False
Suppose -5 = -6*d + 13. Does 8 divide 5*(d - (-12)/(-10))?
False
Let h(a) = a + 35. Is 20 a factor of h(-15)?
True
Let i(z) = z**3 - 4*z**2 + 4*z. Let y be i(3). Suppose -c = y*c + 12. Is -4*((-82)/8 + c) a multiple of 15?
False
Suppose c + 4 = 10. Suppose -n + 18 = 6. Is 2 a factor of (0 - c)/((-18)/n)?
True
Suppose -2 + 4 = c. Let j(o) = o**2 + 3*o - 1. Is 9 a factor of j(c)?
True
Suppose -5 = -y + 2. Suppose -11*t + 180 = -y*t. Is t a multiple of 15?
True
Let q = 176 + -82. Let z be ((-55)/(-3))/(-1)*3. Let v = z + q. Is 13 a factor of v?
True
Let l(n) = 3*n - 7*n - 2 + 8 - 1. Is l(-4) a multiple of 7?
True
Let r be (-1448)/(-36) - (-2)/(-9). Suppose 0 = 5*b - 15, -7 = 2*x - 5*b - r. Let k = x + 5. Is k a multiple of 9?
False
Let p(t) = t**3 + 5*t**2 + 3*t + 1. Let n = 6 + -11. Let q be p(n). Let k = 27 + q. Is 5 a factor of k?
False
Suppose -5*w = -2*z + 253, -z + 4*w - 345 = -4*z. Is z a multiple of 12?
False
Suppose -5*l - 6 = -4*c - 14, -c = -4*l + 2. Suppose -4*h = 2*o - 110, l = 3*h + 7*o - 3*o - 75. Is 13 a factor of h?
False
Suppose 0 = -4*n - 0*n. Suppose n = 7*q - 12*q + 45. Is q a multiple of 7?
False
Suppose 3*u - b - 14 = 158, -5*u - 5*b + 300 = 0. Is 8 a factor of u?
False
Suppose 4*d = 197 + 35. Suppose -d = -0*b - 2*b. Is b a multiple of 8?
False
Let r be -6*(-2)/4*-1. Let d be r - (4 + -3 + -2). Is 10 - d*3/(-3) a multiple of 4?
True
Suppose -u - 5*p - 28 - 7 = 0, -u - 33 = 3*p. Let z = u - -60. Does 17 divide z?
False
Let r(n) = 7*n + 4. Let k be r(8). Let o(d) = -2*d - 2. Let j be o(-6). Suppose k = 5*z + j. Does 6 divide z?
False
Suppose -5*f - 2*c + 21 = -0*f, 3*f = c + 6. Suppose 60 = -f*x + 8*x. Is 17 a factor of x/(-1)*30/(-8)?
False
Let h be (-2 + 0/(-1))*-5. Suppose 0 = 2*b - 6 - h. Suppose 0 = a - b - 2. Does 10 divide a?
True
Let m be (2 - 3)/(2/(-16)). Is -1 + m*(-6)/(-3) a multiple of 10?
False
Let c be (-262)/(-14) - (-10)/35. Let s = 34 - c. Does 7 divide s?
False
Let d(s) = 2*s - 7. Let j be d(5). Suppose -4*l + 6*w + 400 = w, 300 = 3*l + 3*w. Suppose -l = -8*z + j*z. Is 13 a factor of z?
False
Is ((-4)/8*-6)/((-9)/(-51)) a multiple of 6?
False
Is 11 a factor of (11/3)/((-20)/(-300))?
True
Let s = 6 + -3. Suppose -35 = s*b - 4*b. Is 22 a factor of b?
False
Let x be 55 - (0 - (2 + 1)). Suppose -2*z - x = -4*z. Is z a multiple of 10?
False
Suppose -3*a + 4*z = 0, 0 = 2*a - 4*z + z. Suppose 0 = -h - a*h + 32. Is 12 a factor of h?
False
Let a be (-2)/(-2) + -5*1. Does 6 divide a/3*(-105)/10?
False
Let t(y) = y**3 - 11*y**2 + 16*y - 13. Let i = -6 + 29. Let n = i + -13. Is 16 a factor of t(n)?
False
Let j = -15 - -7. Let p(m) = m**2 - 5*m + 13. Let u(z) = 2*z**2 - 7*z + 20. Let y(t) = j*p(t) + 5*u(t). Does 3 divide y(-4)?
False
Let u(b) = 3*b**2 + 4*b - 6. Let s be 8*((-12)/8 + 2). Is u(s) a multiple of 14?
False
Suppose 3*m - 3 = 4*t - 0, -5*t = 5*m - 5. Let n(p) = 13*p**3 + 1. Let z be n(m). Let f = 30 - z. Does 16 divide f?
True
Let r = -41 - -56. Does 9 divide r?
False
Let b(a) be the second derivative of -a**4/12 - a**3/2 - a**2 - 3*a. Let x be b(-2). Suppose 2*k + k - 33 = x. Is 11 a factor of k?
True
Suppose -20*s + 9*s + 77 = 0. Let o(q) be the first derivative of -q**4/4 + 7*q**3/3 + 7*q + 1. Is 7 a factor of o(s)?
True
Let l(d) be the first derivative of d**2/2 - 2*d + 4. Is 7 a factor of l(10)?
False
Is 24*(2 + (-6)/8) a multiple of 9?
False
Suppose -17*g = -22*g + 90. Is 6 a factor of g?
True
Suppose -2*m - 10 = -m + 5*p, 5*m - 37 = 4*p. Suppose -17 = m*q - 2. Is 9 a factor of q/(2/(-12)*2)?
True
Let j(g) = 50*g**2 + g + 2. Does 17 divide j(-1)?
True
Let n = -3 + 3. Suppose -4*w + 122 = -n*w - 2*h, 35 = w - 5*h. Does 17 divide w?
False
Suppose -y - 5*m - 21 = 0, 0*y - 2*y = m + 6. Let i(h) = h + 1. Let j be i(y). Is 1 - (6/(-3) + j) a multiple of 3?
True
Suppose -6*g = -41 + 5. Let i be ((-4)/5)/(2/(-135)). Suppose -i = 3*x - g*x. Is 12 a factor of x?
False
Let g(n) = -n**3 + 7*n**2 - 2*n - 4. Let u(a) = -a**2 - 6*a + 10. Suppose -2*k + 4*k = -14. Let c be u(k). Is g(c) a multiple of 13?
True
Let m(b) = -19*b**3 + 3*b**2 + 7*b + 4. Does 14 divide m(-2)?
True
Suppose 0 = 3*w + b - 3, 2*w + 3*b + 5 = -0*w. Suppose 5*q - w*q = 9. Does 2 divide q?
False
Suppose -5*t = -97 - 113. Is 9 a factor of t?
False
Let k = 1 - -2. Suppose 5*a - 8 - 6 = k*r, -3*a + 4*r = -4. Suppose -5*d + 2*h = -132, -a*d + 72 = -2*d + 4*h. Is d a multiple of 14?
True
Suppose -3*p + 110 = 2*p. Is p a multiple of 11?
True
Suppose -50 - 16 = -3*p. Does 21 divide p?
False
Let m = -3 - -51. Suppose -3*o + m = o. Is o a multiple of 7?
False
Suppose v = 10 - 3. Is 4 a factor of v?
False
Let n(j) = -14*j + 26. Is n(-14) a multiple of 34?
False
Suppose 58 = 3*w - u, 5*w + 3*u - 13 - 65 = 0. Is 5 a factor of w?
False
Suppose -8*y + 3*y = 3*n - 133, 5*y - 134 = -4*n. Does 4 divide y?
False
Let t = -131 + 249. Let w = 12 + t. Suppose 0 = 2*q - 7*q + w. Is q a multiple of 13?
True
Let k = 56 - 21. Is k a multiple of 5?
True
Let n = 17 + -7. Let c = -25 + 18. Let i = n + c. Does 3 divide i?
True
Let z be (-2)/(-8) + (-618)/(-24). Is 882/13 + 4/z a multiple of 26?
False
Let a(b) = b**2 - b. Let q be a(2). Suppose -6*t - 274 = -5*y - 2*t, q*y - 5*t = 113. Is 19 a factor of y?
False
Let g = -3 - -17. Is 7 a factor of g?
True
Suppose 2*r - 5*h = 92, -r - 5 = -h - 51. Is 13 a factor of r?
False
Let z(d) = -d**3 + 12*d**2 - d - 8. Let w be z(12). Let q = -10 - w. Is q a multiple of 10?
True
Suppose i - 21 - 11 = -q, 2*q + 56 = 2*i. Let m = -42 + i. Does 9 divide (-2)/6 + (-220)/m?
True
Suppose -d + 3*l - 28 = -132, 0 = -l - 2. Is d a multiple of 49?
True
Let f(o) = o**2 - 4*o + 3. Let v be f(3). Suppose 12 = -4*u, -4*g + v*u = -5*u - 71. Is 7 a factor of g?
True
Suppose -5*v + 101 = -4*j + 321, -3*v + 312 = 5*j. Is 17 a factor of j?
False
Suppose -6*g + 9*g - 21 = 0. Let c(p) = -p + 5. Let m be c(g). Let v = 1 - m. Does 2 divide v?
False
Suppose -y - 4*m + 19 = -28, 5*y - 299 = -4*m. Is y a multiple of 17?
False
Let x(f) = -6*f**2 - f + 11. Let d(v) be the first derivative of 5*v**3/3 + v**2/2 - 10*v - 1. Let y(k) = 5*d(k) + 4*x(k). Is y(-6) a multiple of 12?
True
Let r be -3*5*8/(-12). Let i be (-20)/(-9) + r/(-45). Suppose 0 = i*k - 19 - 13. Is k a multiple of 6?
False
Let s be 53 + -1 - (1 - 1). Suppose -b + 3*b - s = 0. Let f = b + -4. Is f a multiple of 11?
True
Let y = 8 + -5. Suppose -4*l + 104 = 5*h, -60 = -y*h + l - 1. Is h a multiple of 10?
True
Suppose 4*k = -5*m + 124, 4*m - 6 = 3*k - 130. Is k a multiple of 20?
False
Let d(a) = -3*a + 6. Let r be d(5). Is (-8)/36 - 209/r a multiple of 8?
False
Suppose 94 = 4*a + 18. Let r = a - -8. Suppose -r = -0*t - 3*t. Is t a multiple of 6?
False
Suppose 0 = -2*m - 3*q + 112, 5*m + 0*q - 287 = -4*q. Suppose 0 = h - m - 27. Suppose 3*a - h = -8. Is 10 a factor of a?
False
Let i(u) = -u**2 + 8*u + 4. Let n(t) = 2*t**2 - 9*t - 3. Let y(m) = 4*i(m) + 3*n(m). Does 30 divide y(-7)?
False
Suppose 0 = -5*g + 102 + 83. Does 37 divide g?
True
Suppose 119 = 2*t - 29. Let p = 22 - t. Does 13 divide p/3*6/(-4)?
True
Suppose -5*i + 44 = 4*h, 2 = 2*