*s + 5*s + 3*f + 43561. Suppose -10*p = 3101 - s. Does 17 divide p?
True
Suppose 0 = -2*o - 10*o - 5004. Is -8*o*(-4 - 75/(-18)) a multiple of 11?
False
Let u be (13 - 4) + -3 + -1. Suppose u*d - 162 = y, -2*d - 3*y + 23 + 35 = 0. Is d a multiple of 15?
False
Let b(d) = 2331*d - 1097. Does 20 divide b(5)?
False
Suppose -3*g = 5*m - 34048, -70*g - m = -72*g + 22729. Is g a multiple of 300?
False
Let n(b) be the first derivative of -5*b - 4 + 2*b**3 + 7/2*b**2. Is n(4) a multiple of 10?
False
Let v(c) = -245*c - 1004. Does 12 divide v(-13)?
False
Is 63 a factor of 3*(6 + 954/4)*2*3?
False
Let f(q) = 18*q**2 + 2*q + 2. Let n(v) be the first derivative of v**4/2 + 5. Let d be n(-1). Does 7 divide f(d)?
True
Let l(m) = -2*m**2 - 15*m - 15. Let z be l(-6). Let t be ((-1946)/(-42))/(1/z). Is (-9)/6 - t/(-2) a multiple of 17?
True
Suppose 2*q - 8060 = 5*m, -3*q + 61*m = 63*m - 12090. Does 13 divide q?
True
Suppose -h - h + 3*u = -4752, -2*h - 2*u = -4762. Suppose -37 = -2*l - 25. Suppose 7*p - h = -l*p. Does 26 divide p?
False
Let j(s) = 10*s - 35. Let a be j(5). Suppose -a*h + 3743 = 4*h. Is 11 a factor of h?
False
Suppose 18*z - 2669 = 2875. Let j = z - 173. Does 25 divide j?
False
Let n(f) = 133*f**2 + 11*f - 124. Is 50 a factor of n(-8)?
True
Let z = -10392 + 12110. Is 5 a factor of z?
False
Let y be (-2)/5 - 86/10. Suppose 13*a - 3*a - 362 = -122. Let u = a + y. Does 11 divide u?
False
Is ((-19)/3)/((-5)/(-4635)*-3) a multiple of 13?
False
Suppose 4*d + 1863 = 3*g + d, -d + 627 = g. Does 2 divide g?
True
Suppose -244 = -g - 2*q, -g = q - 83 - 163. Suppose -5*z - 134 + 934 = 0. Suppose z + g = 6*r. Is 17 a factor of r?
True
Let x(o) = 12*o - 15. Let w be x(2). Is w/27*-9 - (-417)/1 a multiple of 9?
True
Let s be (25 - 24)*0*2/(-4). Suppose 5*o + 3*a - 1749 = s, -3*o = -4*o + 4*a + 359. Is 39 a factor of o?
True
Let n(i) = i**3 - 34*i**2 - 68*i - 124. Let c be n(36). Let g = 18 + 3. Is 3 a factor of ((g/4)/(-7))/((-1)/c)?
True
Let j = 671 + -420. Suppose -8*o - 3021 = -5*a - 6*o, -4*o = -5*a + 3017. Let k = a - j. Is 59 a factor of k?
True
Is 4/(-4)*((-47044)/16 - 3/(-12)) a multiple of 60?
True
Let s = 11989 + -7289. Suppose g = -9*g + s. Does 47 divide g?
True
Let g be (3636/45)/((-8)/20). Let i = 370 + g. Is 4 a factor of i?
True
Let j = 98 + 345. Suppose -192 = -447*c + j*c. Is c a multiple of 4?
True
Suppose -8*a + 8 = -24. Suppose -a*u - 345 = g, 70 - 238 = 2*u - 4*g. Let y = u + 146. Is 30 a factor of y?
True
Suppose 0 = 7*q - 19979 - 24121. Is 8 a factor of (4/(-10))/((-21)/q)?
True
Let i = 1137 + -519. Suppose 2*x = 7*x - 2*f - i, 4*x = 5*f + 508. Is 6 a factor of x?
False
Let k(p) = -p**2 + 12*p - 15. Let l be k(6). Suppose -27 = l*j - 24*j. Suppose j*a = 7*a + 70. Is a a multiple of 5?
True
Suppose 35177 = 13*c - 37623. Suppose 0 = 4*m + 4*m - c. Does 70 divide m?
True
Let y(q) = 1284*q**3 - q**2 - q + 2. Does 15 divide y(1)?
False
Let x be ((-234)/12)/(2 - 70/32). Let v(b) = b**2 - 12*b + 5. Let i be v(7). Let p = i + x. Does 19 divide p?
False
Let q(z) = -z**3 + 12*z**2 - 28*z - 13. Let j be q(9). Let a(y) = -7*y - 68. Is a(j) a multiple of 10?
False
Let z = 209 + -201. Let c = 233 - 165. Suppose 2*w + z = c. Does 15 divide w?
True
Let x be (4 + (4 - 8))*1. Suppose x = 4*m - 3*m - y - 8, 4*y = 2*m - 22. Suppose 0 = m*u - 8*u + 348. Does 29 divide u?
True
Let h(w) = w**2 + 5*w + 216. Is h(-32) a multiple of 72?
True
Let i(n) be the third derivative of n**5/60 - n**4/6 - 5*n**3/2 - 35*n**2. Let q be i(7). Suppose -d + q - 281 = -3*t, 3*t = -5*d + 281. Is t a multiple of 8?
False
Let h(v) = 96*v - 14. Suppose 6*m - 6 = 6. Does 21 divide h(m)?
False
Suppose -14536 = -17*k + 40*k. Let n = k - -734. Does 23 divide n?
False
Suppose 16*t + 1868800 = 69*t + 11*t. Does 365 divide t?
True
Let c be (-1 - (-10 + -7)) + 3. Suppose -c*q = -17*q - 58. Is 2 a factor of q?
False
Suppose -2*d - 4*p = -9*p - 16, 0 = -3*d + 4*p + 10. Does 28 divide (-1304)/(-16) - (-3)/d?
False
Let j = -11408 + 11667. Is j a multiple of 3?
False
Let o be (-2)/10*-5*5. Let a be -2 + 4 - o - -75. Suppose 2*c + a = 6*c. Is 9 a factor of c?
True
Suppose 5*h = -6*h + 97994 + 6957. Does 21 divide h?
False
Let o(g) = -9*g**2 + 1066*g + 540. Does 9 divide o(117)?
True
Suppose 6*t + 15 = 9*t. Suppose -10*c = -5*c - 4*s + 198, 0 = -c - t*s - 57. Let o = 58 + c. Does 4 divide o?
True
Let j(m) = -2*m**2 + 6*m. Let u be j(5). Let h(r) = -r**2 + 12*r + 6. Let o be h(u). Is 10/(-35) - o/14 a multiple of 15?
True
Let v(m) = m**2 + 184*m + 98. Is 22 a factor of v(42)?
False
Let v(j) = 2*j - 1. Let b be v(-5). Let i(n) = n**2 + 13*n + 27. Let y be i(b). Suppose 2*u - 204 = -y*d + 17, 0 = d + 3*u - 52. Does 38 divide d?
False
Let j = -221 - -458. Let c = j + -133. Is c a multiple of 13?
True
Suppose 3*l + 0*s - 2*s = -65, 5*l - 5*s = -100. Let h = 27 + l. Suppose 0 = -h*n - 3*n + 285. Is n a multiple of 34?
False
Let h(y) = 18*y - 526. Is h(47) a multiple of 2?
True
Suppose 0 = 2*g - g + 8. Let i(t) = t**3 + 16*t**2 + 14*t - 22. Is 27 a factor of i(g)?
True
Suppose 3*r - 10311 = 1077. Is r/14 + 22/(-154) a multiple of 13?
False
Let t be (-1 - 3/(-6))/(3/(-12)). Suppose -t*u + 140 = 4*n, 2*u - 3*n + 8*n - 135 = 0. Suppose -4*h + 5*k = -60, 3*h + 3*k - u = -2*k. Is 5 a factor of h?
True
Let s = -52 - -52. Suppose i - 169 = -s. Suppose -4*t - i = -w, -5*w - 9*t + 820 = -4*t. Is 31 a factor of w?
False
Let h be (-1 - 2136/(-1)) + (2 - 2). Suppose 17*d + h = 14324. Is 19 a factor of d?
False
Let j = 83 - 73. Let i be 4/(-6)*3*j/(-20). Is -166*(-1)/1 - i a multiple of 15?
True
Suppose -588 = 8*j - 13*j + 4*a, -2*j + 4*a + 228 = 0. Suppose -109*r = -j*r + 2112. Is 6 a factor of r?
True
Suppose m = -547 + 218. Let g = -595 - -1265. Let c = m + g. Is c a multiple of 31?
True
Suppose 5*s + 6 = -4, -5*i + 3*s - 889 = 0. Let c = i + 113. Does 11 divide (c/7)/((-21)/147)?
True
Let t(p) = p**3 - p**2 - 4*p + 4. Let s be t(3). Let k(b) = 0 + 2*b - 3*b**2 + 11*b**3 - s*b**3 + 7*b + 3. Does 6 divide k(3)?
True
Let f(b) = -53 - 447*b**2 - 28*b + 887*b**2 - 418*b**2 + b**3. Suppose -4*z + 4*p = z + 135, 4*z + 72 = -4*p. Is 14 a factor of f(z)?
False
Suppose -4114 - 1691 = -15*s. Suppose -d - 3*d + 84 = v, -4*v + d = -s. Is 6 a factor of v?
True
Let t be (-24)/(-2 + 20/15). Suppose 34*w = t*w - 142. Suppose w*i = 66*i + 40. Is i a multiple of 8?
True
Let n be 4 - (-26 + (-4)/(-4)). Does 29 divide (3*(-5 - n))/((-6)/9)?
False
Let s be (-440)/308*14/(-4). Suppose -9*n + s*a = -14*n + 9955, 0 = -3*a - 6. Is 42 a factor of n?
False
Let k be -10 + 1 + 1870/55. Suppose -3*h + 2461 = c, 5*c - 1645 = -k*h + 23*h. Does 27 divide h?
False
Suppose 2*a + 5*x + 16 = 4*a, 0 = 3*a + 2*x - 62. Is (0 + 802)/(12/a) a multiple of 61?
False
Let j(t) = -5*t**2 - 13*t - 40. Let r(f) = -5*f**2 - 15*f - 40. Let g(m) = -6*j(m) + 5*r(m). Is g(-6) a multiple of 9?
False
Suppose 2*l - i = -4*i + 702, 0 = -3*l - i + 1039. Let d = 491 - l. Is d a multiple of 2?
True
Let t(m) = -m**3 + 15*m**2 - 9*m + 2. Let i be t(15). Let o = i + 368. Does 12 divide o?
False
Let p = 19385 + 3149. Is 19 a factor of p?
True
Suppose -48 = -7*w - w. Let y be w/15 - 78/(-5). Suppose -5*n + y = -3*n. Is n a multiple of 8?
True
Let c(k) = 2*k + 11. Let h be c(-6). Let b be ((-70)/5)/(((-16)/(-10))/(-4)). Let z = h + b. Is z a multiple of 4?
False
Suppose -27*b + 12835 = -9899. Let k = b - 519. Is 19 a factor of k?
True
Let u(j) = j**2 - 5*j + 184. Let o be u(0). Suppose -6*t - 70 + o = 0. Does 3 divide t?
False
Is (-5 - -2 - -6)*-767*(-9)/27 a multiple of 5?
False
Suppose 90454 - 489855 = -51*u + 211120. Is u a multiple of 14?
False
Let d be (-3)/(-2) + (-2)/(-4). Suppose 4*z - 5*q = 224, -d*z + 2*q + 112 = -0*q. Is 37 a factor of z?
False
Let v(u) = 17*u + 53. Let f(a) = 18*a**2. Let k be f(-1). Let q be v(k). Suppose q - 115 = b. Does 61 divide b?
True
Is 20/((-5262)/756 + 7) a multiple of 45?
False
Suppose -458 + 62 = 4*p. Let j = -97 - p. Suppose -j*k + 32 = 2*k. Does 8 divide k?
True
Let v = -57 + 56. Let a(j) = 8*j - 3. Let q be a(v). Let x = q + 35. Does 6 divide x?
True
Let v(p) = -p - 2. Let u be v(-8). Suppose 0 = 2*a + u*a - 16. Suppose -4*y = -a*j + 182, 2*j = y + 45 + 131. Does 13 divide j?
False
Is 37/(-222) + -1*(-13729)/6 a multiple of 11?
Tr