 - c + 2. Let w be b(1). Is 3 a factor of -1 + (w - (-2 + 2))?
False
Let f(j) = j**2 + 3*j + 7. Let s be f(-7). Let k(n) = 13*n + 324. Let c be k(-26). Let m = s + c. Does 3 divide m?
True
Suppose -6*q = -1685 + 395. Let j = -8 + q. Does 47 divide j?
False
Suppose c + 105 = -2*q + 7*q, 5*q - 3*c = 115. Suppose 9*z = i + 4*z - 102, -3*z = 3*i - 270. Let m = i - q. Is m a multiple of 9?
True
Let z be 111*((-6)/(-27))/((-3)/(-9)). Suppose 48 - z = -s. Does 6 divide 25*3*-2*s/(-65)?
True
Let h = 12340 - 7374. Does 11 divide h?
False
Let q be 393 + (36/(-7 - -3) - -4). Suppose l - q = -14*f + 9*f, -5*l - 322 = -4*f. Does 8 divide f?
False
Let f be (43 - 8) + (-3 - -7)*1. Suppose f*u - 36*u - 858 = 0. Does 13 divide u?
True
Let v(g) = -547*g**3 + 2*g**2 + 5*g + 2. Let a be v(-1). Suppose -7*o - a = -14*o. Is 4 a factor of o?
False
Let z(x) be the first derivative of -x**4/4 + 2*x**3 - x**2 + 11*x - 3. Let d be z(6). Is 39 a factor of (d/(-4))/(7/2828)?
False
Let n be (1 - 3 - -1)*-5. Suppose 3*h - 404 = -n*v + 3*v, -5*v - 715 = -5*h. Let r = -106 + h. Is 16 a factor of r?
True
Is 13 a factor of ((-571389)/(-1092))/((-2)/(-80))?
True
Let j = 421 + -423. Is 5 a factor of -27 - -25 - (-1)/(j/(-184))?
True
Let k be 3 - (8*-5 + -2). Let x be (-42)/(-10) - 9/k. Is 154/x - 2/4 a multiple of 19?
True
Let q(g) be the third derivative of 2*g**5/15 + g**4/3 + 5*g**3/6 - 82*g**2. Does 46 divide q(-4)?
False
Let u = 142 + -97. Let n = u - 31. Does 14 divide n?
True
Let r(c) = -25*c**3 - 5*c**2 - 65*c + 6. Is 59 a factor of r(-7)?
True
Let m = 23 - 16. Suppose m*f - 1122 = -4*f. Suppose 2*v - 98 - f = 0. Does 40 divide v?
False
Let m = -708 - -492. Let x = m + 265. Does 14 divide x?
False
Suppose k - 2 = 3. Let i(l) = -5 - 1 - 4*l + 2*l**3 - 5 - 6*l**2. Is 14 a factor of i(k)?
False
Let y = 10987 - 4649. Is 3 a factor of y?
False
Let t = 17424 - 6835. Does 41 divide t?
False
Let s = 42 - -2. Let h = s - 28. Let b = h + 36. Is 13 a factor of b?
True
Let f(i) = -950*i + 359. Does 69 divide f(-4)?
False
Suppose -8*v + 33288 = -9712. Suppose 36*z - 41*z + v = 0. Is 11 a factor of z?
False
Let c(h) = -164*h + 2080. Is c(6) a multiple of 7?
False
Let l = 38 + -28. Let k(z) = 43*z - 6. Is 28 a factor of k(l)?
False
Let v(n) = 10*n + 8668. Is v(-20) a multiple of 12?
False
Suppose 2*u - 5*o = -139, -2*u - 144 = -o - 3*o. Suppose g = -89 + 246. Let n = u + g. Is 12 a factor of n?
False
Let r = -74 + 122. Suppose 2*o - r - 138 = 4*b, b = 2*o - 171. Let k = o + -29. Does 12 divide k?
False
Let c(p) = 6*p - 166. Let a be c(28). Is 42 a factor of a*(-2 - 768/(-6))?
True
Let m(p) = -p**3 - 18*p**2 + 17*p - 11. Let b(i) be the second derivative of i**5/20 - 2*i**4/3 + 5*i**3/6 - 5*i**2/2 - 3*i. Let z be b(7). Does 9 divide m(z)?
True
Let r be (-538)/1 + 2 + -3. Let i = -301 - r. Let b = i - 170. Is 22 a factor of b?
False
Let c = 64 + -72. Let s(f) = 2*f**2 - 9*f + 8. Does 13 divide s(c)?
True
Suppose -4*p = -6*p - 2, 9 = -4*y - 5*p. Does 59 divide (-9508)/(-18) + y + (-2)/9?
False
Let x(n) = 12*n**3 + 7*n**2 - 2*n. Let a(h) = -13*h**3 - 8*h**2 + 2*h - 1. Let j(p) = -5*a(p) - 6*x(p). Let q be j(-2). Let r = 59 - q. Does 5 divide r?
True
Let x(k) = -k**2 - 6*k + 7. Let c be x(-9). Let i = c - -20. Suppose i = 5*z - 172 - 113. Does 17 divide z?
False
Let g be 2 - 0*(-1)/(4 + -3). Let z(h) = 11 - g + 20*h - 11*h. Is z(11) a multiple of 18?
True
Let u(p) = p**2 + 40*p + 48. Let f be u(-39). Suppose -11880 = -29*q + f*q. Is q a multiple of 6?
True
Let d be (2 - -1)/((-132)/(-20) - 6). Suppose -d*f + 285 = 10*f. Is f a multiple of 3?
False
Suppose -13 = 5*g + 2. Let z = g + 3. Suppose -5*h - f + 1062 = z, -2*f + 5*f = 6. Is h a multiple of 53?
True
Let x(u) = 28*u**2 + 119*u + 1745. Is x(-19) a multiple of 87?
False
Let z(d) = 93*d. Let c be z(3). Let y(q) = -2*q**2 - 25*q - 179. Let r be y(-8). Let n = r + c. Does 43 divide n?
True
Let p(h) = -13*h + 0*h**2 + h**2 + 18 + h**2. Let a be -3 + (-1 - -2) - -10. Does 9 divide p(a)?
False
Let c(a) = 3*a + 645. Is c(-7) a multiple of 16?
True
Is -12*615/(-60)*18/3 a multiple of 41?
True
Let n = -72 - -66. Let i be (n*5/40)/((-6)/16). Suppose -215 = -i*s + 2*o + 117, -5*s + 4*o + 831 = 0. Does 9 divide s?
False
Suppose -x + 2*n + 104 = -312, 0 = -x - n + 419. Does 52 divide x?
False
Suppose 4*h - 367 = -11. Let w be ((-60)/30)/(-2 + (-90)/(-44)). Let g = w + h. Is g a multiple of 5?
True
Suppose -5*t + 0*t + 18910 = g, -11353 = -3*t - 2*g. Is t a multiple of 20?
False
Let n be 3 - 5 - 886 - -6. Does 29 divide 14/(n/(-1809)) + 2/7?
True
Let i = 105 + -60. Suppose 12*c - 9*c - i = 0. Suppose -5*s - 56 = -d, -d - 4*s = c - 35. Does 6 divide d?
True
Let x = 39723 + -35107. Does 65 divide x?
False
Let w be (-4)/14*7/(-2). Let a(m) = -6*m + m + 3*m**2 + 15 - 12*m + w. Is a(6) a multiple of 2?
True
Let r(n) = -2*n**2 - 647*n - 25. Is r(-30) a multiple of 4?
False
Let w(n) = -3*n**3 - 227*n**2 - 248*n - 56. Is w(-75) a multiple of 63?
False
Let c(b) = 3*b + 16. Let k be c(-4). Suppose 0 = -k*m - 80 - 324. Let z = -94 - m. Is z a multiple of 2?
False
Suppose -10745 = -2*d + 4*t + 559, -5*d + 2*t = -28292. Suppose -d = 49*r - 19919. Is r a multiple of 9?
False
Suppose 0 = -5*z - 3*g - 1921, -5*g - 393 = 12*z - 11*z. Let f = z + 533. Is f a multiple of 29?
False
Suppose -5*j - 5*m + 401420 = 0, j - 5*j = 3*m - 321133. Is 43 a factor of j?
True
Let h(v) = 212*v + 70. Let t be h(7). Let k = -954 + t. Is k a multiple of 40?
True
Suppose 3*q = 160*k - 159*k - 251, -5*k - 2*q + 1255 = 0. Is 8 a factor of k?
False
Let i = 13 - 10. Let j(l) = -l**2 + 4*l. Let b be j(i). Suppose -f + 4*f = -b*c + 78, -c + 3*f + 10 = 0. Does 4 divide c?
False
Suppose 10*y = 9*y - 144. Let a be (-4)/(-20) - y/5. Suppose 0 = -2*q + 143 + a. Is q a multiple of 23?
False
Let i = -284 - -289. Is 4 a factor of i - (-2 + -1 + 1 + 3)?
True
Let f(n) = 13*n**3 - 26*n**2 - n - 37. Let t(z) = 18*z**3 - 39*z**2 - 2*z - 56. Let l(w) = -7*f(w) + 5*t(w). Is l(-13) a multiple of 3?
True
Suppose 0 = -3758*x + 3859*x - 5508742. Is 151 a factor of x?
False
Let x(y) = y**3 - 7*y**2 + 8*y - 5. Let u(s) = -3*s + 64. Let j be u(19). Is x(j) a multiple of 3?
True
Let s be -42 + -3 + 4 - 1. Suppose 5*x - 15 = 0, 3*i + 3*x = -x + 369. Let q = s + i. Is 11 a factor of q?
True
Suppose 0 = -0*f - 3*f + f. Let v be (-5 - f)/(1/(-7)). Suppose 2*j - v = 61. Does 8 divide j?
True
Is 67 a factor of (11 + 11 - -51302) + 2/(-1)?
True
Let m(x) = 299*x**2 + 79*x - 683. Is 11 a factor of m(8)?
True
Suppose 3*k - 111 = 5*s - 1101, 3*k = -4*s - 990. Let w = k - -558. Is w a multiple of 57?
True
Let y(c) = -287*c + 2371. Does 9 divide y(5)?
True
Suppose 0 = -4*c + 5*r + 17, -2*c + 14 = 3*c + r. Suppose -c*d = 5*h - 1403, -5*d = -2*h - 3*d + 558. Is h a multiple of 35?
True
Let m = 23 + -17. Let o(r) = 59*r + 9. Does 12 divide o(m)?
False
Let b = 39 - 29. Suppose 0 = -b*o + 33 - 3. Suppose -o*h - 18*h + 1512 = 0. Is 3 a factor of h?
True
Suppose 49*x + 680 = 54*x. Let f = -6 + 1. Let m = x - f. Is m a multiple of 32?
False
Let o = 116 - 68. Let i = -47 + o. Is (347 - (i + 0))*8/16 a multiple of 33?
False
Suppose 303669 = 37*s - 10*s. Does 22 divide s?
False
Let o = 84 - 77. Suppose -7*i - 28 = -o. Let w = 20 - i. Is 6 a factor of w?
False
Let i = 5886 - 3317. Suppose -4*r + 5143 = b, -6*r - 3*b + i = -4*r. Suppose 7*n - r = -208. Is 22 a factor of n?
True
Suppose -4*n - 9 + 29 = 0. Suppose -90 = 3*b - 3*v, n*v = -4*b - 180 + 24. Let y = b + 80. Is y a multiple of 6?
False
Suppose -18*g + 37*g - 120460 = 0. Is 17 a factor of g?
False
Let c(m) = m**3 + 5*m**2 - 4*m - 6. Let y be c(-4). Suppose -4*d + 42 = y. Suppose d*k + 0*k - 84 = 0. Does 2 divide k?
False
Suppose -3224 = 14*c - c. Let j = c - -285. Is j a multiple of 4?
False
Let u(a) = a**3 - 4*a**2 - 4*a - 5. Let i be u(5). Let o(z) = -z**2 + 12. Let m be o(i). Suppose -15 = m*r - 1371. Is 8 a factor of r?
False
Suppose -4 = b, 0 = -4*c + b - 20 - 16. Is (-844)/(-9) - c/45 a multiple of 12?
False
Let q = 63 - 64. Let u be q/(26/(-420)) + 2/(-13). Suppose u = h + 11. Is 5 a factor of h?
True
Let o(n) = -7*n + 49. Let j = -32 - -38. Let a(b) = 6*b - 50. Let q(w) = j*a(w) + 7*o(w). Is 16 a factor of q(-6)?
False
Suppose -133*w = 221*w - 1771189 - 665747. Is w even?