se -5*k = 3*p - 79, 2*p + h*k - 13 = p. Is 11 a factor of p?
True
Suppose -5*h + 4343 = -5*k + 443, 0 = 3*k + 5*h + 2308. Let r = k - -1257. Is r a multiple of 13?
True
Let z(c) = -4*c**2 - 19*c + 52. Let j be z(16). Let p = -500 - j. Is p a multiple of 16?
False
Suppose -7*n = -293 - 85. Suppose -8*q - 8 = -6*q. Is n/q*(-64)/12 a multiple of 9?
True
Let s be (-2 + 1)*(195 - 20). Let n = s + 761. Is n a multiple of 8?
False
Let s(p) be the third derivative of p**6/120 - p**5/12 - 13*p**4/24 + 15*p**3/2 + 89*p**2. Does 13 divide s(12)?
True
Let x(u) = 4*u**2 + 62*u + 9. Let v be x(-11). Let w = v - -917. Is w a multiple of 13?
True
Suppose -5*u = 2*u + 2205. Let d = -78 - u. Let w = 341 - d. Is w a multiple of 13?
True
Suppose 2*f + i - 59475 = 0, -3*f - 43344 = 4*i - 132564. Does 10 divide f?
False
Let k = -22034 - -37942. Does 97 divide k?
True
Let p(d) be the third derivative of -5*d**4/6 - 9*d**3/2 + 4*d**2 + 3. Is 34 a factor of p(-11)?
False
Let j = -83 - -81. Let r be 3 + (3 - (8 + j)). Suppose 19*k - 16*k - 96 = r. Does 8 divide k?
True
Let i(h) = -25*h**3 + 2*h + 2. Let r be i(-1). Suppose 0 = r*d - 6737 - 15313. Does 36 divide d?
False
Let q be -8*((-65 - -7) + 4). Let a = 452 - q. Is 3 a factor of a?
False
Let h = 1088 + -453. Let b = h + -610. Is b a multiple of 12?
False
Let u(x) = -6*x - 22. Let s be u(-5). Let q = 38 + s. Is (q/(-4))/(5/(-60)) a multiple of 23?
True
Let i(z) = 5*z**2 + 24*z - 311. Is i(-43) a multiple of 19?
False
Let x(l) = -3*l - 10. Let v(y) = 5*y + 19. Let o(a) = 2*v(a) + 5*x(a). Let m be o(-4). Suppose 9*d - m*d = 34. Does 4 divide d?
False
Suppose -5*d + 12389 = -4*v, 0 = 10*d - 8*d - v - 4958. Does 115 divide d?
False
Suppose 8*o - 46*o = -76. Suppose -3*u + 3515 = o*y, 0 = -u - 10*y + 7*y + 1160. Does 89 divide u?
False
Suppose k - 7 = 4*t, 3*k + 0*t - t - 10 = 0. Suppose k*i - 15 = 2*u, -5*u + 0*i - 4*i - 26 = 0. Let g(j) = 4*j**2 + 22*j + 9. Is 4 a factor of g(u)?
False
Let x(w) = 9*w + 48. Let j(u) = u**2 - 9*u. Let z be j(9). Is x(z) a multiple of 6?
True
Let u(d) = -43*d + 94. Let k be u(-6). Suppose -3*y + k = 4*z, -z + 2*z = -3*y + 97. Is z a multiple of 18?
False
Let f be (3 - 5)*27/(-2). Let o be 96/54 - (0 + (-6)/f). Suppose q = -i + 43, -89 = -0*i - o*i - 3*q. Is 6 a factor of i?
False
Suppose 21 - 17 = a. Suppose v + a + 1 = 0. Does 11 divide 81 - 10*(-2)/v?
True
Let o be 3 + 4 + -6 + 3. Suppose b - 46 = -5*p, o*b = -5*p + 3*p + 256. Does 14 divide ((-24)/18)/(1*(-4)/b)?
False
Let x(w) = 8*w**3 + 3*w**2 + 18*w - 24. Let m(y) = 3*y**3 + 2*y**2 + 9*y - 13. Let l(z) = 5*m(z) - 2*x(z). Does 3 divide l(5)?
True
Let s(u) = 49*u - 1. Let v be s(2). Let n = v - 17. Let h = n - 29. Is 5 a factor of h?
False
Suppose 0 = -4*a + 5*c + 67, 3*a - 2*c = -21 + 66. Suppose -3 = -18*d + 24*d - 3. Suppose d = a*u - 9*u - 704. Does 44 divide u?
True
Suppose 0 = 3*k - l - 43, 0 = -4*k + 5*k - 5*l - 33. Suppose 143 + k = 2*m. Suppose 11*h = 13*h - m. Does 13 divide h?
True
Let q be (-368)/(-36) - (3 + 50/(-18)). Is 1580/(-8)*(-4)/q a multiple of 27?
False
Suppose -5*s = -5*f + 2720, 3*f - 4*s + 1611 = 6*f. Is 157 a factor of f?
False
Let m be (8/(-24))/(3/27). Is 58 a factor of m/(-2)*3330/27?
False
Let b(r) = -8*r + 73. Let i(h) = -44*h**2 + 2*h - 2. Let q be i(1). Let t = 36 + q. Is 13 a factor of b(t)?
False
Let f be 84/16 - 1/4. Is 8 a factor of (165/25 - f)/((-6)/(-315))?
False
Suppose 55*c - 34163 - 26443 = -56*c. Is c a multiple of 42?
True
Is (46 + -48)/(4/(-5466)) + -3 a multiple of 15?
True
Let q(i) = i**2 + 34*i + 75. Suppose -2*f = 4*m - 0*m + 78, -3*f - 111 = 4*m. Is q(f) a multiple of 10?
False
Let q = 97 + -141. Let r = 6 + q. Let o = r + 117. Is 40 a factor of o?
False
Let j(g) = -g**3 - 15*g**2 + 16*g + 36. Let h be j(-16). Does 5 divide (-3 - (-148)/(-12))/((-4)/h)?
False
Let p = -68 + 168. Let y = p - 75. Suppose 0 = 21*h - y*h + 292. Does 10 divide h?
False
Let q(a) = a**3 + 5*a**2 + 2*a - 3. Let c be q(-6). Let u be (-340)/(-7) - 0 - (-240)/560. Is 8 a factor of u/3 + 17/c?
True
Let m = -158 - 114. Let r = -146 - m. Does 5 divide r?
False
Let o = 8993 - 431. Does 14 divide (-7)/(-49) + o/42?
False
Let f(q) be the second derivative of q**4/6 - 17*q**3/6 + 11*q**2/2 + 15*q. Let y be f(8). Suppose -y*b = c - 403, 2*b - c + 92 = 359. Is 29 a factor of b?
False
Let f(p) = -p**3 - 14*p**2 - 15*p - 11. Suppose 0 = 2*v + 3*v + 65. Let a be f(v). Suppose -3*t = m - 4*m + 192, -a = 5*t. Does 19 divide m?
False
Let s be ((-23868)/54)/(2/(-4)). Suppose 876*y + 352 = s*y. Is y even?
True
Suppose 5*s + k = 6513 + 6429, -3*k - 7776 = -3*s. Does 41 divide s?
False
Let w be (-3)/((-6)/(-10)) + 0. Let l be (-4 - w)/(((-2)/(-202))/1). Suppose u - 105 = -n, 3*u - 2*u - l = 3*n. Does 26 divide u?
True
Let b(l) be the third derivative of 73*l**8/6720 - l**6/720 - 5*l**4/8 - 5*l**2. Let r(g) be the second derivative of b(g). Does 18 divide r(1)?
True
Let p be -1 + 2385 + 3 + (-20)/4. Suppose 6*c = 2130 + p. Is c a multiple of 31?
False
Let z(i) = -2*i**2 + 23*i - 57. Let h be z(8). Is (h - 3)*5824/(-256) a multiple of 18?
False
Let s(j) = 1830*j - 899. Is 226 a factor of s(4)?
False
Let l be (-1 + 1)/(40 + -42). Suppose -10*p + 1042 - 122 = l. Is 37 a factor of p?
False
Suppose 0 = 5*c - 40934 - 4611. Is c a multiple of 113?
False
Suppose 24 = -14*g - 172. Does 12 divide (-12)/g + (-31383)/(-63)?
False
Let u = -7953 - -8766. Is u a multiple of 4?
False
Let w(d) = -d - 7. Let s be w(-10). Suppose l - 44 = -s*l. Suppose -2*j = -l - 9. Does 8 divide j?
False
Is (-370 - -1)*(20 + (-1335)/45) a multiple of 41?
True
Let r(n) = 94*n + 10. Suppose o + 52 = 56. Let k be r(o). Suppose 4*y + 3*j = k, -265 = -3*y - 3*j + 23. Is y a multiple of 7?
True
Suppose 0 = -4*s + 2*u - 6*u + 13732, 0 = 4*s + 2*u - 13724. Is 39 a factor of s?
False
Let s = -924 + 1416. Suppose -z = 3*m + 492, -3*z - s = -0*m + 3*m. Let r = m + 248. Is r a multiple of 8?
False
Let t(y) = 2*y + 58. Let k be t(-25). Suppose -37 - k = -9*v. Let b = v + 35. Does 8 divide b?
True
Suppose -d + 5*h - 7 = -3*d, 5*d - 3*h - 33 = 0. Suppose 3*n - 18 + d = 0. Is (n/(-6) - (-1320)/9) + -2 a multiple of 41?
False
Suppose -11*d + 264 + 22 = 0. Let z(k) = k + 140. Does 5 divide z(d)?
False
Suppose 3*l - 55 = 11. Let y(d) = -17*d - 39 + 22 + l - d**2. Is 13 a factor of y(-12)?
True
Is 40 a factor of (-20)/(4/1680*-2)?
True
Let y be (-1)/(4*5/(-4660)). Is 16 a factor of y + 5 + -2 + 0?
False
Let j be 45/(-2)*(-168)/60. Suppose j*f = 12155 + 12037. Is f a multiple of 64?
True
Let b = -15150 - -29123. Is 157 a factor of b?
True
Let u(s) = -14*s**3 + s**2 - 44*s + 1. Is u(-6) a multiple of 19?
True
Is ((-10314304)/1540)/((-1)/5) a multiple of 208?
True
Let p(a) = -a**2 - 4*a - 30. Let s be p(5). Does 38 divide ((-32)/6 + 4)*s?
False
Let r(m) = m**2 - 18*m + 68. Let s be r(13). Let n(i) = 3*i - 3*i**2 - 2*i + 9*i**2 - 2. Is 23 a factor of n(s)?
False
Suppose -11*p = -65917 + 15669. Suppose -p = -31*j + 10684. Does 20 divide j?
False
Suppose 608*j = 571*j + 387390. Is j a multiple of 15?
True
Is 40 a factor of 394336/48 + (-24)/18?
False
Suppose -7*x + 5*x = 2*i - 1394, -2*x + 1399 = 3*i. Suppose -49*v + x = -48*v. Is 13 a factor of v?
False
Is 1/7*0 + 6090 a multiple of 7?
True
Let y = -2880 - -7414. Is y a multiple of 3?
False
Suppose w + 0*w - 5347 = -4*b, 4*b - 5353 = -3*w. Suppose 2*k + 3*h - 892 = 0, -b = -3*k - 2*h - 2*h. Is 20 a factor of k?
True
Let q(j) = 3*j + 54. Let p(y) = y**2 - 9*y - 13. Let a be p(11). Let u = 13 + a. Is 15 a factor of q(u)?
True
Suppose a - 69940 - 20728 = -12505. Is a a multiple of 84?
False
Suppose 4*m - 4*c + 156 = 0, -c - 77 = 3*m + 32. Suppose -84*x - 810 = -79*x. Let u = m - x. Is u a multiple of 26?
False
Let g(n) = 47*n**2 - 27*n + 52. Is 6 a factor of g(5)?
True
Suppose 0 = 8*o - 11259 - 2469. Does 66 divide o?
True
Let m = 6048 + -3175. Is m a multiple of 13?
True
Let l(t) = 106*t**3 - 19*t**2 + 95*t - 675. Is l(8) a multiple of 11?
True
Suppose 18*z - 261134 + 74548 = 94934. Is z a multiple of 23?
True
Let b(c) = 7*c**2 + c - 7. Let p be b(5). Let t(n) = n**3 + 15*n**2 + 6*n - 28. Let l be t(-14). Let x = p - l. Is 15 a factor of x?
False
Suppose -5*o = 2*a - 4369, -16*a + 17*a - 3*o = 2190. Suppose 3*y - 4*y - a = -4*u, -u + 549