9?
False
Suppose 0 = 5*m + 10*m - 6495. Is 16 a factor of m?
False
Suppose 0 = 4*l - 142 - 106. Suppose 0 = 4*d - u - 136, d + d - 2*u - l = 0. Does 35 divide d?
True
Suppose 553 = 6*o - 23. Does 8 divide o?
True
Suppose -3*l = -6 - 9. Suppose -4*n - l*p = -2*p - 192, -p = 0. Does 12 divide n?
True
Suppose 45*g - 50*g + 13646 = 4*s, -s - 4*g = -3417. Does 63 divide s?
False
Does 59 divide (9 + -1)/((-72)/(-54)) - -275?
False
Let z(d) = d**3 + 6*d**2 + 3*d. Let i be z(-5). Let a be 18/(-4)*i/(-15). Let k(c) = -c**3 + 4*c**2 + 4*c - 1. Is 5 a factor of k(a)?
True
Suppose -311 + 54 = -g. Let y = -122 + g. Does 20 divide y?
False
Suppose -6*h - 2*i - 1686 = -8*h, 5*h + 4*i = 4188. Is 35 a factor of h?
True
Let a be (-6)/10 + (-42)/5. Is (2 - -21) + a + 13 a multiple of 13?
False
Suppose 0 = 9*r - 12*r + 3006. Does 35 divide r?
False
Let l = 287 - 174. Is 11 a factor of l?
False
Does 29 divide (-4)/42 + 19490/21?
True
Suppose -3*z + 47 = -43. Suppose -4*x + z - 2 = 0. Suppose 0 = -12*a + x*a + 55. Does 5 divide a?
False
Let s(k) = -4*k**3 - 5*k**2 + 15*k + 47. Is s(-5) a multiple of 22?
False
Suppose -5*l - 2725 - 1840 = 0. Is 10 a factor of l/(-33) + (-1)/(-3)?
False
Suppose -4 = -5*j - 59. Does 18 divide 197 + j - (0 - -2)?
False
Let z(o) = o**2 + 5*o - 3. Let f be z(-6). Suppose 5*t - 15 = f*g, -2*g + 0 - 10 = t. Suppose t = 4*m - 472 + 64. Is 17 a factor of m?
True
Let y be ((-8)/(-16))/((3 + -1)/1516). Suppose -6*t + 4*a = -t - 643, -y = -3*t - a. Does 22 divide t?
False
Let b(q) be the third derivative of -q**6/120 - q**5/6 + 2*q**2. Let g be b(-10). Suppose g = 4*z - 65 - 27. Is z a multiple of 10?
False
Let u(s) be the second derivative of -5*s**3/2 + s**2 + 9*s. Let x be u(2). Let z = x + 80. Is z a multiple of 13?
True
Suppose 0 = -5*d - 4*l + 176, 10 + 2 = 3*l. Is d a multiple of 4?
True
Let z(o) be the first derivative of o**3/3 - o**2/2 + 4*o + 4. Let y be z(0). Let f = y - -3. Is f a multiple of 7?
True
Suppose -2*p - 3*i + 1104 = 0, 4*p - 2176 = -0*p + 2*i. Does 13 divide p?
True
Let m = -12 - -12. Let d be m - 3 - (1 + -39). Let k = 6 + d. Does 14 divide k?
False
Let z = -4211 - -8038. Is z a multiple of 87?
False
Let w be ((-8)/6)/((-5)/15). Let s(r) = 0*r + r + 5 - 4*r + w*r. Does 6 divide s(7)?
True
Let d(v) = -v**3 + 30*v**2 + 23*v - 30. Is d(30) a multiple of 22?
True
Let g = -431 - -457. Is g a multiple of 4?
False
Let w = -603 - -1850. Let k be w/7 - 6/42. Suppose -22 + k = 6*y. Is 21 a factor of y?
False
Suppose -3*h - 5*p + 4490 = 2*h, 5*p = 5. Is h a multiple of 39?
True
Let a(s) = 5*s**3 - s**2 - 2*s + 1. Let l(y) = -y**3 + y**2 + y + 2. Let r be l(0). Does 11 divide a(r)?
True
Let i(z) = z**3 + 13*z**2 + 11*z + 1. Suppose 0 = 3*t - 61 + 10. Suppose -t = m - 5. Does 13 divide i(m)?
True
Suppose 15 + 21 = -3*q. Let n = -2 - q. Let c = 20 - n. Is 7 a factor of c?
False
Suppose 156*y - 152*y - 2376 = 0. Does 33 divide y?
True
Suppose 14*v = -169 - 195. Suppose 5*m = h + 8, -2*h + 6*h + m + 32 = 0. Let z = h - v. Is z a multiple of 5?
False
Suppose 0 = 80*y - 61*y - 570. Is 10 a factor of y?
True
Let u(d) = 4*d - 10. Let z be ((-93)/(-6))/(3/6). Suppose -5*j + z = 3*v, 0 = -4*j + 2*v + 3*v + 10. Is 5 a factor of u(j)?
True
Let m = 151 + -19. Does 22 divide m?
True
Is 10 a factor of (-1320)/(-130) - (72/(-39) - -2)?
True
Let w(k) = 2*k**3 - 9*k**2 + 8*k - 49. Does 11 divide w(11)?
False
Let v(y) be the first derivative of 5*y**3/3 - 3*y**2 + 10*y - 21. Does 9 divide v(5)?
False
Suppose -12*y + 29592 - 8172 = 0. Is y a multiple of 44?
False
Suppose w - 630 = 345. Is w a multiple of 75?
True
Let s(r) be the third derivative of 37*r**5/15 - r**4/6 - r**3/2 + 12*r**2. Is 19 a factor of s(-1)?
False
Let z(c) = -31*c**3 + 6*c + 2. Is 28 a factor of z(-3)?
False
Suppose 9*l - 80 = 7*l. Suppose 0 = -0*b + b - 2*i - 20, -i = -3*b + l. Is 9 a factor of b?
False
Let d(t) = -39*t - 8. Let j be d(-1). Does 7 divide j/(-4)*(-7 - -3)?
False
Let l be 24/(-16) + 9/2. Let b = 6 - l. Is -3 + (b - (-52)/4) a multiple of 13?
True
Let l(x) = -x**3 - 3*x**2 - 11*x - 6. Let f be l(-6). Let s = -108 + f. Does 18 divide s - (-2 - -5 - 1)?
False
Let n(p) = -323*p - 213. Does 13 divide n(-4)?
True
Suppose -2*z = -3*s - z + 4495, -2*s = -3*z - 2985. Does 10 divide s?
True
Is 29 a factor of (-3)/(-8) + 5*181010/400?
False
Suppose -4*w = 2*t + 10, -t = 4*t - 5*w - 50. Suppose -t*p + 5*b + 171 = 2*b, 5*p + 3*b - 159 = 0. Is 7 a factor of p?
False
Let u(b) = 41*b**2 - 13*b + 7. Is 5 a factor of u(-4)?
True
Suppose 2*i + u - 424 = 0, 3*i - 3*u + 432 = 5*i. Suppose -5*y + o + 4*o = -i, 5*y = -2*o + 217. Is 22 a factor of y?
False
Is 17 a factor of (-4552)/(-8) + 6 - 1/1?
False
Let f(x) be the third derivative of -1/6*x**4 + 1/60*x**5 + 0 + 0*x - 2/3*x**3 + 3*x**2. Is f(6) a multiple of 4?
True
Let n = 75 - 41. Suppose n*o - 54 = 31*o. Is 9 a factor of o?
True
Suppose -2 + 8 = 2*y. Let u be (12/(-18))/(y/(-9)). Is 17 + (-3 - u/(-2)) a multiple of 5?
True
Suppose 2*j + 214 = 4*n, -2*j - 2*j = 2*n - 92. Suppose 232 = 2*k + 2*y + n, 0 = -5*k + 4*y + 468. Is k a multiple of 5?
False
Let f(d) = 134*d**3 - 34*d**2 + 58*d + 2. Is f(2) a multiple of 62?
True
Let t(o) = -2*o - 6. Let k be t(-4). Does 10 divide k/8 - (-588)/16?
False
Let i(a) = -1. Let j(f) = 7*f - 1. Let w(r) = -4*i(r) - 2*j(r). Is 27 a factor of w(-3)?
False
Let w = -5 + 9. Let o be (w - 5)/(2/(-46)). Suppose 5*p = o + 57. Is p a multiple of 5?
False
Let w = -12 + 18. Suppose -2*t = -w*t - 4. Is t/5 + 46/5 a multiple of 3?
True
Let h be 4/6*(-75)/(-10). Let k(z) = 18*z + z**2 - 1 - 21*z - z**3 + z**2 + 4*z**2. Is 3 a factor of k(h)?
True
Let m(v) = -2*v**3 + 20*v**2 + 5*v - 9. Suppose -5*k + 20 = -3*k. Is m(k) a multiple of 7?
False
Let c(i) = i**2 + 3*i - 13. Is 2 a factor of c(4)?
False
Let l(b) = -b**2 + 7*b - 1. Let g be l(8). Let u be (6 - 3) + -6 - -19. Let d = u + g. Does 2 divide d?
False
Let s(p) = -3*p**2 - 2*p - 1. Let h be 18/30*(4 + 1). Let r be s(h). Let g = 73 + r. Does 13 divide g?
True
Let w(z) = -z + 13. Let t be w(9). Let p be t - ((-132)/2)/(-2). Let s = -20 - p. Is 6 a factor of s?
False
Let w(d) = d**3 - d**2 - 15*d - 15. Let h be w(8). Let n = 576 - h. Is n a multiple of 40?
False
Let c(z) = -z**3 + 6*z**2 - 6*z + 4. Let n be c(5). Is (-66)/(-55)*((-148)/(-2) - n) a multiple of 15?
True
Let p = -490 + 550. Does 4 divide p?
True
Suppose -6*q = -q - 225. Let t = 12 - 3. Suppose 2*h = -t + q. Is h a multiple of 10?
False
Let t(z) = -4 + 20 - 12*z + 5*z. Is t(-7) a multiple of 13?
True
Let d = 77 + -72. Suppose 6*l = d*l + 20. Is l a multiple of 3?
False
Suppose -109*m = 19*m - 338816. Is m a multiple of 14?
False
Let d = 501 + -250. Let o = d - 107. Is o a multiple of 24?
True
Suppose -4*u = -27 - 13. Let j = -1393 + 1319. Is (-4)/10 - j/u a multiple of 7?
True
Let y = -32 + 332. Is 60 a factor of y?
True
Let p = -28 + 24. Let a be p*1 - (-4)/(-2). Is (-13 + 27)/((-1)/a) a multiple of 14?
True
Let v = -8 - -2. Let a = v - -9. Suppose -r + 2*r = -3*l + 131, 0 = 2*l + a*r - 85. Is l a multiple of 11?
True
Let g(w) = -5*w**2 - 28*w + 10. Does 5 divide g(-5)?
True
Let k(i) = -i**3 + 5*i**2 - i + 4. Let r be k(5). Let x = r - -157. Is 39 a factor of x?
True
Let m = -75 - -126. Is 18 a factor of m?
False
Suppose -2*b + 48 = 2*b. Let v = b + -1. Does 11 divide v?
True
Is (-188)/(-47) - 3054/(-2) a multiple of 27?
False
Let c(m) = m**2 + 5*m - 29. Let u be c(-14). Let f = u - 57. Is 7 a factor of f?
False
Is ((-141)/(-12) - 10)*(40 - 0) a multiple of 7?
True
Let r = -13 - -2. Let d(x) = 2*x**2 + 15*x - 8. Let a be d(r). Suppose -a = -3*p - 12. Is p a multiple of 11?
False
Let t(l) = -l**3 - l**2 + 2*l + 8. Let b be (-2)/(-5) + 28/(-70). Does 8 divide t(b)?
True
Suppose 3*p + 2*s = 3*s - 3, -3*s = 0. Suppose -t + 17 = -q, t + 3*q - 14 = -t. Let k = t + p. Is 3 a factor of k?
True
Is 5 + ((-14658)/(-6) - 0) a multiple of 34?
True
Let w = 231 + 34. Suppose 2*l - 288 = 2*t, 0 = -5*l + 3*t + 336 + 376. Suppose -j - l = -3*b, -5*b + w = -3*j + 29. Is 13 a factor of b?
False
Let n(y) = 5*y**2 + y - 4. Let w be n(3). Let x = 36 + w. Does 30 divide x?
False
Let z = -854 + 956. Is z even?
True
Let d(u) = 490*u**2 - 15*u - 22. Is d(-2) a multiple of 67?
False
Suppose -p = -4*v - 39, -3*p + 77 = -0