 244 = -0*b. Is 12 a factor of a?
True
Let l = -17 - -17. Suppose 4*c - 3*c - 3 = l. Suppose -96 = -0*f - c*f. Is f a multiple of 8?
True
Let i = -251 - -165. Does 6 divide 6/33 + i/(-11)?
False
Let y(q) = q**3 + 15*q**2 - 11*q + 16. Let t be y(-16). Let d = -41 - t. Does 4 divide d?
False
Let y be (-4)/(-1)*3/12*18. Is 10 a factor of (-3)/(((-3)/(-12))/(y/(-8)))?
False
Let n(a) = a**2 + 12*a - 11. Let l be n(-13). Let v(z) = -14 - 6*z**2 - 8*z**l + 0*z**3 - z**3 - 13*z + 2*z**3. Does 8 divide v(15)?
True
Let j be 2 - (4/6)/((-2)/15). Let k(r) = 2*r**2 - 6*r - 1. Is k(j) a multiple of 11?
True
Suppose 3*h - 9*h + 396 = 0. Let x = h - 51. Is 8 a factor of x?
False
Let o = 39 + 66. Is 15 a factor of o?
True
Let z(g) be the first derivative of g**5/20 + 2*g**4/3 - g**3/2 + 2*g**2 + 6*g + 6. Let u(l) be the first derivative of z(l). Does 16 divide u(-7)?
False
Suppose -244 - 35198 = -33*w. Does 15 divide w?
False
Let d(h) = 65 + h - 24 - 3*h. Is d(16) a multiple of 9?
True
Let w = -412 - -729. Is 19 a factor of w?
False
Let l(x) = x**3 + 12*x**2 - 14*x - 15. Let z be l(-13). Does 30 divide 1*-6*(z - (-35)/(-6))?
False
Let s = 5 - 0. Suppose -294 = s*a - 954. Suppose 8*m = 5*m + a. Is m a multiple of 8?
False
Let i = -40 + 58. Suppose 3*d = 7*d - 1928. Is 9 a factor of d/i + (-4)/(-18)?
True
Let f = -368 + 546. Does 6 divide f?
False
Suppose 0 = 4*n - 12, 4*a + n + 0*n - 443 = 0. Let l = -50 + a. Is 15 a factor of l?
True
Suppose 4 = 2*a, 0 = x + 8*a - 12*a - 555. Suppose 4*k = -3*g + x, -5*g = k - 1123 + 162. Is 25 a factor of g?
False
Let l(t) = -3*t**3 - 2*t**2 + 4*t - 5. Let z be l(3). Let g = z + 106. Is 8 a factor of g?
False
Suppose -9 = -4*p + 2*p - 3*i, 2*i - 14 = -4*p. Is 3 a factor of 1/p + 86/3?
False
Suppose -3*r - 4*d + 4 = 0, -2*r + d - 3*d + 2 = 0. Let w(m) be the second derivative of m**4/12 - m**3/6 + 12*m**2 - 12*m. Is w(r) a multiple of 8?
True
Let k = -53 - -228. Is k a multiple of 28?
False
Suppose -4*j - 53 = -5*w, 4*j + 0*j + 8 = 0. Suppose 0 = 3*h - 4*h - 3*y + 8, h + 4*y = w. Suppose h*l = -k - k + 46, 58 = 2*k - l. Is 12 a factor of k?
False
Let q(f) = f**3 - 5*f**2 - 16*f + 28. Is q(10) a multiple of 16?
True
Let j(a) = -13*a - 19. Let h be j(-14). Suppose 0*t + 719 = 5*u + 4*t, -u + 4*t + h = 0. Is 21 a factor of u?
True
Does 43 divide 336/(-4)*-2 + 7?
False
Suppose 3*h - 53 = 4*d, -3*d = 3*h - 11 - 7. Let s = 85 - 126. Let w = h - s. Is 13 a factor of w?
True
Let q be -2 + (-2*2)/(-1). Suppose 4*n + 4 = -q*w, 2*w = -0*w - 2*n. Suppose -f = -p + 8, -4*f + w*f + 56 = 4*p. Does 4 divide p?
True
Let y(r) be the first derivative of r**3/3 + r**2/2 + 3*r + 3. Let z be y(-2). Suppose -z*b + 2*f + 376 = 0, -3*b - 2*f = -6*b + 228. Is b a multiple of 29?
False
Let g(p) = -2*p**2 - 2*p + 7. Let j be g(-5). Suppose -5*r - w - 111 = 3*w, -w - 68 = 3*r. Let z = r - j. Does 5 divide z?
True
Let g = -34 + -34. Let y be (8/(-16))/(1/g). Let r = -20 + y. Is 7 a factor of r?
True
Let m(y) = y**2 - 31*y + 45. Is 136 a factor of m(-28)?
False
Let g = -1196 + 1249. Is g a multiple of 18?
False
Let z be (-3802)/(-18) + (-22)/99. Let c = z - 87. Does 30 divide c?
False
Let l(p) be the third derivative of p**4/4 + p**3/3 - 2*p**2. Let c = 27 - 22. Does 16 divide l(c)?
True
Let h = 66 - -110. Is 22 a factor of h?
True
Let p(l) be the first derivative of -l**3/3 - 17*l**2/2 + 8*l - 2. Let u be p(-15). Suppose -208 = -6*y + u. Is 11 a factor of y?
False
Let u = -37 - -145. Is 16 a factor of u?
False
Let x(j) = j**2 + 2*j + 396. Let w be x(0). Suppose -5*p = 2*m - 639, p + 2*p - 3*m = w. Is 43 a factor of p?
True
Let c = 33 + -18. Let g be (1472/(-40))/((-2)/c). Suppose 2*s - d - 123 = 0, 4*s + 2*d + 2*d - g = 0. Does 32 divide s?
True
Suppose -2*u + 162 + 41 = 3*b, -3*b + 199 = 4*u. Suppose 6*l - b = 5*l. Is 24 a factor of l?
False
Let i be 2 - 4 - 3 - -9. Suppose -2*b - 104 = -2*r, i*r - 331 = -5*b - 105. Is 9 a factor of r?
True
Let b be 91/7 + -2 + -1. Is (-4)/b*(-110 - 0) a multiple of 11?
True
Is 14 a factor of (-18)/4*3988*1/(-6)?
False
Let v be (26 - -2)*((-400)/35)/(-8). Suppose 5*r + 48 = 3*x - 7*x, 4*r + 51 = x. Let g = r + v. Is 17 a factor of g?
False
Let f(k) = 22*k + 2. Let r be (0 - 2)*12/3. Let m = -7 - r. Is 17 a factor of f(m)?
False
Is 15/(-6) - (-1116)/8 a multiple of 4?
False
Let f(j) = -3*j**2 + 3*j**2 + j + 24 - j**3. Suppose 3 = z + 3. Is 8 a factor of f(z)?
True
Let v(r) = -2*r**3 + 37*r**2 + 15*r - 16. Let l be v(19). Let w = -65 - l. Does 26 divide w?
False
Is (9 + (-2785)/(-15))*(-153)/(-12) a multiple of 73?
True
Is (-108)/(-48)*408/9 a multiple of 34?
True
Suppose -2*q + 7*q - 2936 = 2*c, -2950 = -5*q - 5*c. Is 98 a factor of q?
True
Suppose 0 = -7*a + 5*a, 4*q - 3*a + 4 = 0. Let g(j) = 31*j + 2. Let c(k) = 1426*k + 93. Let o(r) = 4*c(r) - 186*g(r). Does 31 divide o(q)?
True
Suppose 0 = -11*s + 70 - 15. Suppose 2*m - 3*m + 70 = -3*t, -3*t - m = 74. Does 26 divide 1 - (-5)/s - t?
True
Let c(k) = -2*k**2 + 3*k - 34. Let f be c(7). Let g = -68 - f. Is g a multiple of 9?
False
Suppose 0*c = 2*c + 8. Let h be 5/(-3 - c/1). Suppose -h*w = -84 - 61. Is 8 a factor of w?
False
Let m = 630 - 308. Does 26 divide m?
False
Suppose 10*k = -13*k + 12558. Is k a multiple of 25?
False
Let y be ((-12)/9)/(3/(-9)). Suppose -y*q + 285 = -51. Does 6 divide q?
True
Suppose -2*j - y = -1602, 2*y = 3*j + j - 3196. Is j/70 + (-8)/(-14) a multiple of 12?
True
Let v = 41 + -37. Suppose 141 = -v*b + 425. Is 15 a factor of b?
False
Let f(k) = -k**3 - 2*k**2 - 6. Let i be f(-3). Suppose 6*u = u - i*y + 1347, 0 = -2*u + 3*y + 522. Is 44 a factor of u?
False
Suppose -5*r + 4 = -3*d, -3*d = r - 2 - 6. Suppose -6*w + 4 = -4*w, -3*s - d*w = -259. Suppose k + s = 6*k. Is 6 a factor of k?
False
Let u(g) be the second derivative of g**5/20 + g**4/2 - 7*g**3/3 - g**2/2 + 2*g - 5. Is u(-5) a multiple of 10?
False
Suppose -u = b - 2878 + 725, -5*b - 6443 = -3*u. Is 46 a factor of u?
False
Is 273 + 5 + -4 + 5 a multiple of 9?
True
Is 37 a factor of 8/48 + (-7702)/(-12) + 3?
False
Does 16 divide (-1)/(0 + 35/1358)*-40?
True
Let l(f) = f**3 + 13*f**2 + 22*f + 163. Is l(-12) a multiple of 9?
False
Suppose -2*y + 5*y = 255. Suppose y*f + 96 = 89*f. Does 8 divide f?
True
Let d be -18 + (-6)/(-3) + -2. Let r = d + 29. Is 2 a factor of r?
False
Let n(a) = 2 + 23*a**2 - 19*a**2 + 0*a + 9*a. Does 6 divide n(-4)?
True
Let m(d) = -d**3 - 16*d**2 + 16*d - 3. Does 119 divide m(-23)?
True
Let h(t) = -t**3 - 8*t**2 + 6*t - 24. Let a be h(-9). Suppose -2*y - 5*j = -360, -5*j = a*y + 2*y - 900. Is y a multiple of 45?
True
Let p = 477 + -100. Is 59 a factor of p?
False
Let k(f) = 5*f**3 - 7*f**2 - 9*f + 7. Let n(t) = -3*t**3 + 4*t**2 + 5*t - 4. Let r(s) = -4*k(s) - 7*n(s). Let u be r(2). Is u/((-8)/4)*-3 a multiple of 5?
True
Let t(a) = -a**3 - 4*a**2 + 9*a + 10. Let s(g) = g**3 + 4*g**2 - 10*g - 9. Let u(d) = 2*s(d) + 3*t(d). Is u(-6) a multiple of 6?
True
Let t(p) = -p**3 + 5*p**2 + 4*p - 5. Let n be t(5). Is 192/n*(-10)/(-4) a multiple of 11?
False
Let d(s) = -34 + 3*s**2 + 67 - 4*s**2. Does 3 divide d(0)?
True
Let w = 46 + -30. Let t = w - 12. Suppose -4*x + 248 = 5*y, -2*y = -t*x + y + 216. Is x a multiple of 12?
False
Let c(k) = -20*k - 192. Is 22 a factor of c(-14)?
True
Suppose -20 = -6*n + 7*n. Is (-1 + 6)*(-636)/n a multiple of 16?
False
Suppose -s + 2*p - 2 = 3*p, 0 = -p - 3. Let q be 14 + 0 - 30/15. Suppose i - s = q. Does 8 divide i?
False
Suppose 2*q + 2 = -5*b + 8, -2 = b + 2*q. Suppose b*z - 433 = -t, -1573 + 486 = -5*z + 2*t. Is z a multiple of 31?
True
Let b = -71 + 166. Suppose -4*q + r + b = -187, -5*q + 346 = 2*r. Suppose -u - 3*y = -30, 0 = -2*u - 5*y + y + q. Does 15 divide u?
True
Suppose -1116 = -3*x - x. Is 31 a factor of x?
True
Suppose -17 = -3*s - 2. Suppose 0 = s*g - 19 - 6. Is 3 a factor of g?
False
Let c(m) = 9*m**2 + 13*m - 2. Let a be c(8). Suppose 6*w - 354 - a = 0. Suppose -w = -2*q + 4*h, q + 7*h - 62 = 3*h. Is 13 a factor of q?
True
Suppose 70 = s + s. Let g = 57 - s. Does 4 divide g?
False
Suppose 0 = 2*t - 7*t + 105. Suppose t*l - 24*l = -444. Is l a multiple of 23?
False
Let f = 3 + 1. Suppose -2*g + f*g = 0. Suppose g = -5*z + r + r + 56, -29 = -2*z + 3*r. Is z a multiple of 4?
False
Suppose 60947 = 88*b - 29*b. Does 39 divide b