-24))/((-2)/(-32)). Suppose 0 = 2*x - 5*x - 108. Let l = n - x. Is l a multiple of 13?
False
Suppose -7*k - 4 = -4*y - 3*k, -k = y - 1. Suppose w + 4 = -0*w. Does 15 divide w/2 + y*34?
False
Let t be (-2)/(-6)*0 + 4. Let v be (-4)/t + (1 - 0). Suppose 24 = 3*k - v*k. Is 8 a factor of k?
True
Let k(i) = i**3 + 18*i**2 - 10*i + 7. Is k(-18) a multiple of 37?
False
Suppose j - 228 = -4*v, -3*j = -2*v + 2*j + 92. Does 14 divide v?
True
Is (-4)/14 - (-38)/14*41 a multiple of 17?
False
Let b = 1 - -3. Suppose -b*q = -q - 45. Does 15 divide q - 0/((-3)/(-1))?
True
Suppose -2*g + g + 60 = -2*z, 72 = g + 2*z. Is g a multiple of 11?
True
Let x(b) = b**2 - 3*b - 1. Let p be x(-4). Let z = p + -17. Is z - (-2 + 3)*-2 a multiple of 5?
False
Let f = 9 - -26. Is 7 a factor of f?
True
Suppose 3*f - 6*f + 3 = 0. Suppose -2*c + 2*h = -16, 0*c + 16 = c - 5*h. Let n = c - f. Is n a multiple of 2?
False
Suppose 0 = -u - 2*u - y + 355, -5*y = 5*u - 605. Suppose u = 4*j - 5*h + 12, -2*j + h = -45. Does 10 divide 208/j + 2/(-5)?
True
Is 14 a factor of 632/5 - (-4)/(-10)?
True
Suppose 576 = -23*n + 26*n. Is n a multiple of 41?
False
Let u be (0 - -3) + 299 + 4. Suppose 2*l = -3*y + u, -2*y + 308 = 5*l - 3*l. Suppose 2*w + 2*w = l. Is 19 a factor of w?
False
Let h = -6 - 0. Let i(w) be the third derivative of -w**6/120 - w**5/10 - w**4/12 + w**3/6 + w**2. Is i(h) a multiple of 12?
False
Let q = -982 - -1475. Is q a multiple of 44?
False
Let g be (-2 - (-6)/2) + 3. Suppose 5*i - 205 = 5*z, g*z = i - 46 - 10. Suppose -k + 3*k - 41 = 3*l, 2*k - 2*l = i. Is 13 a factor of k?
True
Let p(j) = 1 - 2 + 0*j + 0*j - j. Let i be p(-4). Does 16 divide (-2 - -14)/(i/4)?
True
Let j = 146 + -97. Let s = j + -29. Suppose -4 = 2*q - s. Does 8 divide q?
True
Suppose -15*m + 16*m - 55 = 0. Does 13 divide m?
False
Suppose -3*v + 444 = 159. Does 27 divide v?
False
Suppose -237 + 93 = -2*b. Is 36 a factor of b?
True
Suppose 5*g + 109 + 703 = 4*f, -812 = -4*f - 2*g. Suppose -85 + 283 = 4*i + 2*k, -4*i - k = -f. Does 26 divide i?
True
Suppose 3*q = 3 + 93. Suppose 0 = 2*w - 14 - q. Is w a multiple of 16?
False
Let p(r) = -2 + 7*r - 4 + 3. Is 13 a factor of p(6)?
True
Suppose 0 = 3*v - 5*v + 232. Is v a multiple of 20?
False
Let m = -10 - -16. Suppose 5*t - 3*t = -m. Let f = 6 + t. Does 2 divide f?
False
Let n(m) = 4*m - 9. Let q be n(10). Suppose y - q + 14 = 0. Is 17 a factor of y?
True
Suppose -169 = -9*j + 92. Is j a multiple of 29?
True
Let b(t) = -7*t + 16 - 2*t - 1. Does 26 divide b(-7)?
True
Suppose 4*z = -y - 77, 2*z + z + 5*y = -45. Is z/4*(-24)/5 a multiple of 8?
True
Let u(g) = g**3 + 13*g**2 - g - 17. Let i be u(-13). Let d(o) be the second derivative of o**4/4 + 5*o**3/6 - 3*o**2/2 + o. Is d(i) a multiple of 9?
False
Does 35 divide (2/((-8)/220))/((-2)/8)?
False
Let k = 22 + -20. Suppose k*a - 100 = 2*r - 6*r, 5*a + 128 = 4*r. Is r a multiple of 14?
False
Let b(l) = 5*l**2 - l. Is b(4) a multiple of 13?
False
Suppose 1 = 2*f - 5. Suppose 0 = -3*h + q + 31, 7*h - 3*q - 38 = f*h. Is h a multiple of 3?
False
Let u(m) = 6*m**2 - 7. Does 13 divide u(3)?
False
Suppose -3*n + 2*c + 104 = -0*n, -n + 23 = -3*c. Does 12 divide n?
False
Let p(o) = -2*o**2 - 47*o + 8. Does 24 divide p(-19)?
False
Suppose -2*l - 5 = 9. Let h(w) be the second derivative of -2*w**3/3 - 4*w**2 - w. Does 20 divide h(l)?
True
Suppose -21 = -4*p - 1. Suppose 3*t = -3 + 12. Suppose 55 - 9 = t*b - 5*m, 4*b - p*m = 58. Does 6 divide b?
True
Let u be ((-4)/(-8))/((-3)/(-126)). Let y = u + -2. Is y a multiple of 19?
True
Let x = 98 + -58. Suppose -3*s = 1 - x. Is 13 a factor of s?
True
Let r be (4 - 0)*103/2. Suppose 4*n + w - 139 = 2*n, -w + r = 3*n. Is n a multiple of 26?
False
Is 5*(-2 + 2 + 3) a multiple of 15?
True
Let s be (4 - -2) + -2 + 1. Suppose -2*b + 8 = -0*b, -3*b = -s*x + 113. Is 15 a factor of x?
False
Let d be -1 + 3 - 1634/19. Is 5 + -2 + d/(-4) a multiple of 6?
True
Let y be ((-3)/(-6) + 0)*-2. Suppose q + 5*m - 41 = 0, 3*q - 3*m - 33 = -0*m. Is 11 a factor of (-68)/y*8/q?
False
Let s(q) = -q**3 + 5*q**2 + 2*q + 2. Is 11 a factor of s(4)?
False
Let k(i) = -5*i**2 - 3*i - 1. Let b(g) = 6*g**2 + 4*g + 2. Let u(x) = -2*b(x) - 3*k(x). Is u(-2) a multiple of 5?
False
Let c = -54 - -76. Suppose -5*m + c = -4*m. Is 21 a factor of m?
False
Let c(r) be the first derivative of r**3/3 + 3*r**2 + 2*r + 4. Is 19 a factor of c(5)?
True
Let r(a) = 3*a - 10. Let y be r(7). Let w = 1 - y. Is 7 a factor of 4/w + (-260)/(-25)?
False
Suppose 0 = -j - 4*r + 101, -4*j + 2*r + 509 = -3*r. Is j a multiple of 12?
False
Let v be ((-21)/9)/(1/132). Let t be (-4)/14 - v/49. Suppose -30 = -5*n - 4*z, n + 0*z - 2*z = t. Is 3 a factor of n?
True
Let f = 13 - 7. Let s be 11*f*(-1)/(-2). Suppose -5*h - 8 + s = 0. Does 2 divide h?
False
Let g be (2/(-1))/((-10)/15). Suppose -6*q + 60 = -g*q. Let y = q + -10. Does 6 divide y?
False
Suppose -18*b = -7103 + 551. Is b a multiple of 14?
True
Suppose -3*m = -2*b + 4, b + 0 = -m + 7. Suppose -14 = 3*y - m, -2*d - 2*y + 68 = 0. Suppose 5*t = 2 + d. Is t a multiple of 8?
True
Let h(x) = -x**3 - 22*x**2 - 26*x - 24. Is h(-21) a multiple of 34?
False
Let r = -27 + 38. Suppose r = 3*j - 16. Let o(y) = -y**2 + 10*y + 7. Is o(j) a multiple of 16?
True
Let a = -5 + 4. Does 12 divide (a + 0)*1 - -61?
True
Suppose -6*s + 540 = -0*s. Is 15 a factor of s?
True
Suppose -p - 2*c + 12 + 0 = 0, 0 = 4*p + 5*c - 57. Is p a multiple of 6?
True
Suppose h - 2*n - 86 + 15 = 0, 3*h - 188 = n. Let q = -39 + h. Is q a multiple of 11?
True
Suppose 0*l + 5*l = 100. Is l a multiple of 3?
False
Let d(o) be the first derivative of 29*o**2/2 + 2*o - 1. Let q be d(5). Let j = q + -100. Is j a multiple of 18?
False
Let p(o) = -o**2 - 3. Let r be p(-3). Is r*(-2)/8*6 a multiple of 14?
False
Let c(r) = 4*r + 10. Does 25 divide c(5)?
False
Let q = 0 - -2. Is 8 a factor of 8*(3 - (q + -2))?
True
Let i = 64 + -143. Let r = 113 + i. Does 11 divide r?
False
Let c(k) be the second derivative of k**4/12 + k**2 - 3*k. Is c(-3) a multiple of 2?
False
Suppose 0 = -4*k + 2*i - 16, -24 = k + 3*k - 4*i. Let z = 5 + -20. Let h = k - z. Does 12 divide h?
False
Let l(p) = -p + 6. Let x be l(6). Suppose -2*i - i - 2*m + 36 = 0, -m = x. Is i a multiple of 12?
True
Is 7 a factor of (1 + (6 - 0))*10*2?
True
Let g(d) = -2*d**3 - d**2 - d - 1. Let a be (-3)/(-2)*(9 - 11). Does 15 divide g(a)?
False
Let u be 2/10 - (-108)/(-15). Let f(r) = -r - 8. Let y(v) = v + 16. Let m(k) = 7*f(k) + 3*y(k). Is m(u) a multiple of 9?
False
Let a(p) = p - 1. Let g(o) = -2*o + 1. Let m(r) = 6*a(r) + 7*g(r). Is 25 a factor of m(-3)?
True
Suppose -d - 2*d + 12 = 0, 2*h + 3*d - 56 = 0. Is h a multiple of 10?
False
Let w(y) = y**2 + 5*y + 3. Let c(a) = -a**2 + a - 2. Let t be c(2). Let i be w(t). Is 5 a factor of -1 + 0 + i + 11?
False
Suppose 5*b + 0*b - 15 = -5*y, 2*b = -5*y + 15. Suppose -5*f - 2*z - 16 = -3*z, y*z = 4*f + 4. Is -10*-4*f/(-5) a multiple of 16?
True
Let d = 119 + -19. Is d a multiple of 20?
True
Let o be 8/(-20) + 634/10. Let k be (-12)/(-2*1/2). Let v = o - k. Is v a multiple of 20?
False
Suppose 2*j = 4*y + 12, 5*y = j - 4*j + 7. Let z(m) = -4*m**3 + 1. Does 5 divide z(y)?
True
Suppose 5 = 5*m - 40. Suppose 5*f + 0*f - 20 = 0. Suppose 3 = f*y - m. Does 3 divide y?
True
Suppose 0 = 3*x + 2*x - 150. Does 30 divide x?
True
Suppose 0 = -5*w + 2*m + 20, -5*m = -8*w + 4*w + 33. Suppose -x - 23 = -w*x. Suppose 4*l + 20 = 0, -6*r + 3*r + x = 2*l. Does 11 divide r?
True
Let y(p) = -p - 2. Let q be y(-4). Suppose -q*r = 3*c - 134, -2*r = 4*c + 2*r - 180. Does 22 divide c?
True
Let d(j) = 32*j - 4. Let n be d(2). Suppose -4*f = -f - n. Does 10 divide f?
True
Suppose -15*n = -16*n + 262. Is 13 a factor of n?
False
Let t be ((-2)/(-2))/(-1) + -35. Let v = t - -78. Suppose v = l - 4*k, -2*l - 2*l + k + 228 = 0. Is 21 a factor of l?
False
Let f(g) = -g**3 + 6*g**2 + 4*g - 6. Let q = -8 + 14. Does 8 divide f(q)?
False
Let c(j) = j**3 - 6*j**2 + 6*j - 1. Let z be c(5). Suppose -147 = -z*y + 93. Is y a multiple of 20?
True
Let t(g) = -g**3 - 9*g**2 - 4*g - 4. Let w = 19 - 28. Let n be t(w). Suppose 5*h = -5*b + 50, h = -2*h - 4*b + n. Is h a multiple of 5?
False
Suppose 16*g - 2477 = 4643. Is 35 a factor of g?
False
Let w be 1146/15 + (-6)/(-10). Suppose -c = 2*q