 -11*k + 7*k - 5*v. Is 46 a factor of k?
True
Suppose 6*u - 62 = 466. Let n = u + 24. Does 14 divide n?
True
Let j = 68 - -124. Is j a multiple of 16?
True
Let l = 4392 - 1689. Is 20 a factor of l?
False
Let i = 32 - 32. Suppose i*h - 36 = -6*h. Is 3*74/h*1 a multiple of 37?
True
Suppose -4*c - 104 = 3*q, -4*q - 17 - 112 = 5*c. Let v(a) = -5*a + 2. Let s be v(-12). Let x = s + c. Is x a multiple of 24?
False
Suppose -11606 = -4*y - 2*c, -8*y + 10*y + 5*c = 5783. Is 38 a factor of y?
False
Suppose 4*i + 3*m - 11 = 11, -3*i = 2*m - 16. Suppose -p - 46 = -5*w, i*w + p = 2*w + 17. Does 3 divide w?
True
Let k(o) = -24*o - 6. Let a(i) = i. Let t(h) = 6*a(h) + k(h). Does 12 divide t(-3)?
True
Suppose -2*g = 3*u + 2*u + 8, 2*g = 4*u - 44. Let a(f) = -2*f + 6. Let h be a(g). Suppose o - 5 - h = 0. Does 13 divide o?
True
Let s = -13 + 17. Suppose -9 = -s*z + 3. Suppose 64 = z*j - j. Is j a multiple of 16?
True
Suppose 24*k = -9*k + 957. Is k a multiple of 29?
True
Let b be 1 + (-3)/(-3)*4. Suppose -b*j + 181 = -44. Is 6 a factor of j?
False
Suppose 2047 = 2*u + 5*x, -3*x + 2056 = 2*u - 7*x. Does 27 divide u?
True
Let j(y) = -1. Let h(c) = c**3 + 14*c**2 - 17*c - 25. Let w(n) = h(n) - 3*j(n). Does 3 divide w(-15)?
False
Let d = 135 - -12. Is d a multiple of 34?
False
Suppose 4*y = -20, 5*g + 0*g = -y + 80. Let c = 48 + -58. Let l = g + c. Is 4 a factor of l?
False
Let p = -240 - -274. Is 17 a factor of p?
True
Suppose m + 5*r = -0*m + 27, -4*m = 5*r - 168. Let d be m - -3*4/(-12). Let l = -6 + d. Is 20 a factor of l?
True
Let r be (-7)/3*(-11)/((-11)/42). Let o = 158 + r. Is 12 a factor of o?
True
Let w(u) = 69*u - 12. Let o be w(4). Is (-1)/(2/o*-3) a multiple of 22?
True
Let v = 0 - -2. Suppose 2*k = -3*y + 3, v*y + 2*y - 32 = 2*k. Let u = 16 - k. Is 22 a factor of u?
True
Let y = 2970 - 1993. Is 10 a factor of y?
False
Suppose -4*l - 5*x = -9*l, 3*l + 3*x = 6. Let j be (l/(-2))/((-2)/280). Let m = j - 20. Is m a multiple of 25?
True
Suppose 5*p - 1639 = -5*k + 531, 0 = k. Is p a multiple of 36?
False
Suppose 4*h + 3*d = -45, -4*h = -7*d + 2*d + 85. Let z be (-326)/(-10) - 6/(-15). Let v = h + z. Does 10 divide v?
False
Suppose 0 = -5*s + h + 3*h + 360, -2*s = -5*h - 144. Is s a multiple of 8?
True
Let y(b) = -3*b + 45. Let m be y(13). Suppose -m*c = -0*c - 666. Is 15 a factor of c?
False
Let k = 8 + -13. Let u be 3 + (k - (-2 + -1)). Is 10 + 4/(-1 - u) a multiple of 2?
True
Suppose -2*m - 3*l + 43 = -5, -5*m + 2*l + 120 = 0. Suppose -5*x = -4*z - 40, 3*x - 2*z = -0*x + m. Suppose x*q - 5*q - 39 = 0. Is 4 a factor of q?
False
Suppose -5*g + 315 = 5*b, b + 2 = -1. Does 22 divide g?
True
Suppose -5*u - 4*f = -6*f - 190, -2*f = -2*u + 82. Is u a multiple of 6?
True
Let b(p) = -p**3 + 6*p**2 + 7*p + 9. Let q be b(7). Suppose -i = 2 - q. Suppose 36 = -4*f + i*f. Is 5 a factor of f?
False
Let t be (-4)/(-24) - 2/12. Let q(p) = -2*p + 63. Is 21 a factor of q(t)?
True
Is 25*(2 - 16/(-120)*24) a multiple of 13?
True
Suppose -5*h + 27 = -2*h. Let p(a) = 3*a**2 - 22*a + 15. Does 20 divide p(h)?
True
Does 14 divide (-1 + 5002/4)*(-208)/(-156)?
True
Let g be (-4802)/(-8) + 3/(-12). Suppose 3*u + 5*u - g = 0. Is u a multiple of 25?
True
Is ((-3)/2)/(6/(-224)) a multiple of 3?
False
Suppose j = -30 - 1. Let l = 49 + j. Is l a multiple of 8?
False
Suppose -10*c + 84 = -486. Let x = -37 + c. Does 4 divide x?
True
Suppose -4*o - 5*w + w = -88, 0 = 3*o + w - 72. Suppose -o = -z + 6*z. Does 15 divide 252/5 - (-2)/z?
False
Suppose 3*b = -12, 0 = -a - 2*b - b + 14. Suppose -16 = -5*h - v, -12 = -2*h - 3*h + 3*v. Suppose -w - a = -h*w. Does 4 divide w?
False
Let i be 141/(-27) - 4/(-18). Let z(g) be the second derivative of g**5/20 + 2*g**4/3 + 4*g**3/3 + 5*g**2/2 - g - 3. Is 11 a factor of z(i)?
False
Let c(m) = m**2 + 8*m + 1. Let g be c(-8). Is ((-95)/15)/(g/(-3)) a multiple of 15?
False
Let l be 21/3 + 0 + -2. Suppose -5*t = -j + 46, 3*j + l*t - 77 = j. Does 15 divide j?
False
Suppose -w + 1 = -2*d - 5, 2 = -2*w - 3*d. Suppose 2*b = 6*b - 8, 62 = s + w*b. Is 13 a factor of s?
False
Let l(m) = m**3 - 18*m**2 - 28*m - 34. Does 110 divide l(24)?
True
Let z(y) = -y**2 + 2*y + 9. Let u be z(3). Let d(v) = v**2 + v + 34. Is d(u) a multiple of 34?
False
Let t = 532 + -287. Let v = t - 35. Does 23 divide v?
False
Suppose -4*q = 2*y - 9 - 29, -4*q - 3*y = -33. Let a be (-3)/q + 22/(-8). Is 15 a factor of (-2)/(-3)*a - -47?
True
Let w(r) = -36*r - 25. Let p be w(-4). Let a = p - 105. Is 3 a factor of a?
False
Let b(y) = -y**3 + y**2 - y + 7. Suppose -5*g + 35 = 255. Let m be 4/(-22) - 8/g. Is b(m) a multiple of 2?
False
Let h be 0 + 1 + 627/3. Suppose 14*k - h = 9*k. Is 34 a factor of k?
False
Let m = -44 + 31. Let v = m + 43. Does 6 divide v?
True
Suppose 2*f - 5*n = 189, -533 = -5*f + 3*n - 70. Does 30 divide f?
False
Suppose -21 - 15 = j + 5*n, j = 2*n - 1. Let h be -6 + 4 + 0 + j. Let a = 24 + h. Is a even?
False
Let q be (2 + -4 + 15)*-3 - -2. Let b = 106 + q. Is b a multiple of 19?
False
Let q(v) = -9*v + 23*v + 1 - 15*v + 51. Is q(20) a multiple of 32?
True
Let s(q) = -3*q**2 - 28*q + 5. Is s(-7) a multiple of 6?
True
Suppose -12*h = -6*h - 1092. Let x = -94 + h. Is x a multiple of 15?
False
Suppose 5*z + 230 = 5*o, 0 = -5*o - 3*z - 0*z + 270. Suppose 0*s - 3*s - o = 0. Let r = -12 - s. Is 2 a factor of r?
False
Let g(b) = -b - b**3 + 0*b**3 + 2*b + 2*b**3. Let y be g(1). Suppose 40 = 3*s - 3*m - y, 12 = 2*s + 2*m. Is 10 a factor of s?
True
Let o = 78 + -31. Suppose o*m - 38*m = 2268. Is 21 a factor of m?
True
Let x(z) = 5*z + 2. Let j be x(1). Suppose 5*k - 8 = j. Suppose -2*a - 24 = -k*a. Is a a multiple of 8?
True
Suppose 3 = 5*m + 3. Let u = 51 - 21. Is 9 a factor of u - 3/(-1 - m)?
False
Let v(r) = 12*r**3 - 2*r**2 + r. Let t = -12 - -13. Let x be v(t). Suppose x = k + a + a, 2*k = 3*a + 1. Is k a multiple of 4?
False
Suppose -4*q + 512 = 9*j - 4*j, 3*j - 2*q = 316. Suppose 0 = -10*m + 286 + j. Is m a multiple of 13?
True
Suppose -2*j - 3*b = 1, -4*j - b = -3*j + 1. Is 15 a factor of (14 - 2)*((-17)/j + -1)?
True
Let t be 2*(-1 + 0) - -2. Suppose t*y = y. Suppose y = 4*z - 26 - 6. Is z a multiple of 6?
False
Let h be 7/1 - (6 + -5). Suppose 107 = -h*o + 455. Suppose 2*b + o = 170. Is b a multiple of 15?
False
Suppose -2*x = 5*h - 5, 3*x - 11 = 2*h - 6*h. Let r be ((-6)/(-10))/(h/(-10)). Is 460/r - 16/24 a multiple of 15?
False
Suppose 3182 = 3*i - 4*f - 1155, -4*i - 3*f = -5741. Does 14 divide i?
False
Let x(n) = 6*n + 21. Let a be x(-7). Suppose 5 = -i - 7. Let b = i - a. Does 2 divide b?
False
Suppose -2*z - 24*z + 9828 = 0. Is 27 a factor of z?
True
Suppose 38*q - 3432 = 5*q. Does 4 divide q?
True
Let d = -1189 - -1659. Does 28 divide d?
False
Suppose -4*p - 4*p + 888 = 0. Does 2 divide p?
False
Let z = 6 - 3. Suppose 0 = -d - 2*d + 180. Suppose -z*i + 2*b + d + 8 = 0, b + 111 = 5*i. Is i a multiple of 17?
False
Let s be 1/(-1) + -13 + 464. Suppose -4*r - r = -s. Is r a multiple of 13?
False
Suppose 2*x = g + 283, 3*x + 5*g - 452 = g. Does 8 divide x?
True
Let n(l) = -l**3 - 6*l**2 + 2*l + 14. Let w be n(-6). Suppose -922 = -4*b - 2*m, w*b + 3*m = -0*b + 463. Does 46 divide b?
True
Let i = -428 - -1492. Is i a multiple of 8?
True
Suppose -6*y = 16*y - 14784. Does 12 divide y?
True
Let a(m) = 3*m**3 + 2*m**2 - 5*m + 4. Let b be a(5). Suppose 0 = 3*v - b + 14. Is 33 a factor of v?
False
Suppose b = 4*b + 414. Let c = -30 - b. Is 6 a factor of c?
True
Let m = 169 + -249. Let x be ((-144)/m)/(2/30). Suppose -17 = -2*y + x. Does 6 divide y?
False
Let z(f) = -65*f + 3. Let g be z(-3). Let t(l) = -l + 11. Let r be t(11). Suppose -a + 3*d + 36 = r, -3*a - 78 + g = -5*d. Is a a multiple of 15?
True
Let v(t) = t**3 - 10*t**2 - 9*t - 45. Let s(j) = j**3 + 10*j**2 + 6*j - 15. Let f be s(-9). Is 7 a factor of v(f)?
False
Suppose 9*m = -5*p + 4*m + 25, 18 = 5*p - 2*m. Suppose 0 = -2*s - 2*w + 240, -2*s - p*w + 295 = 53. Does 8 divide s?
False
Suppose 237*i + 35632 = 253*i. Is i a multiple of 17?
True
Suppose h + 3*d - 308 = 5*d, 0 = -2*h + d + 631. Is h a multiple of 53?
True
Let h(t) = 12*t - 14. Let s = -12 + 17. Is 15 a factor of h(s)?
False
Suppose 0 = 5*u - 19 - 6. Suppose -u*s + 9*s = 44. Does 7 divide s?
False
Let b(v) = 9*v**3 + 215*v**2 + 4*v + v - 206*v**2 - 3 + 13