Is 10 a factor of d?
False
Let u be 175/(-20) - (-9)/12. Is 18 a factor of (132/u)/((-3)/20)?
False
Suppose -135*i + 146*i = 5720. Is i a multiple of 26?
True
Let c(u) = u**2. Let o be c(2). Suppose 86 = p + 24. Suppose o*l - 34 = p. Does 15 divide l?
False
Is 276/2 - (-1 - -1) a multiple of 46?
True
Let g(b) = -55*b - 3. Let i(l) = -2639*l - 145. Let d(a) = -145*g(a) + 3*i(a). Let x be d(4). Suppose -64 = -w + k, -2*w - 2*w + x = 2*k. Is 11 a factor of w?
False
Let p(n) = n**3 - 16*n**2 + 7*n - 5. Let m be p(6). Does 12 divide (-3)/4 - (m/4 + -4)?
True
Suppose 14*t - 15897 = -7*t. Does 54 divide t?
False
Let j(i) = i**2 - 7*i. Let a be j(7). Suppose -144 = -3*h - a*h. Is 6 a factor of h?
True
Suppose 0 = -2*j - 8, -4*x + 5*j - 2*j = -20. Suppose 2*s + 4*r = 6, s - 4*r - 39 = -x*s. Suppose -3 - s = -4*m. Is m even?
False
Let t be (-6 - (-72)/6)/((-2)/92). Let f = -114 - t. Is f a multiple of 27?
True
Let c = 27 + -19. Suppose 4*n - i = c, i - 6 = -3*n - 0*i. Suppose 0 = -j + z + 38, -z - 3 = n*z. Is 22 a factor of j?
False
Let f(w) = -w**3 - 8*w**2 - 2*w - 11. Let q be f(-8). Suppose 19 = 4*v - k + 6*k, -5*v = 3*k - 27. Suppose v = q*l - 184. Is l a multiple of 19?
True
Suppose -r = t - 463, 122 + 329 = r + 5*t. Suppose -4*m + r = f, 3*f = 4*m - 0*f - 474. Is 24 a factor of m?
False
Let z(b) = -33*b - 223. Is 2 a factor of z(-18)?
False
Let g = 149 - 103. Let m = g + 22. Is m a multiple of 17?
True
Suppose -n + 82 = -5*z, n = -2*n + 4*z + 202. Let i = n + -32. Is 10 a factor of i?
True
Let d = 142 - 322. Let u = d + 274. Is u a multiple of 26?
False
Let p = -23 - -69. Is (p - 7)/(6/8) a multiple of 9?
False
Let n(x) = -x - 6. Let a be n(-14). Suppose -2 = -4*f + 2*l - 204, 4*l - 4 = 0. Let i = a - f. Does 22 divide i?
False
Let t(g) = 7*g + 527. Does 3 divide t(-5)?
True
Let l(m) = m**3 - 45*m**2 + 105*m - 284. Is 12 a factor of l(44)?
True
Let k(u) = 9*u**2 - 9*u + 3. Let o(r) = -4*r**2 + 5*r - 2. Let n(h) = -3*k(h) - 7*o(h). Let q be n(9). Let v = q + -4. Does 5 divide v?
True
Let j(o) = o**3 + 5*o**2 - 3*o. Let x be j(-5). Suppose -4*q + 150 = 2*v, 0 = -3*q + q - 4*v + 84. Let m = q - x. Does 17 divide m?
False
Let o = 159 + -154. Suppose o*w - 1121 = 129. Is 36 a factor of w?
False
Suppose -15 = 2*g + 3*n, 2*g + 2*g + 51 = n. Let h be (-1)/((g/16)/3). Suppose -4*c = 3*u - 78, -u - h*c + 2*c + 28 = 0. Is u a multiple of 22?
True
Let n(m) be the second derivative of 5/2*m**2 + 0 - 11/6*m**3 + 1/3*m**4 - 2*m. Does 23 divide n(4)?
False
Suppose 16*u + 868 = 5060. Does 56 divide u?
False
Let r be (-3 - -3 - 0) + 8/4. Suppose 3*u = r*q + 230, -5*u + 3*u + q = -154. Does 13 divide u?
True
Suppose -4*m - 3*y - y = -8, 0 = 5*m + 2*y - 19. Let o(t) = 2*t**2 - t + 6. Does 16 divide o(m)?
False
Let a(z) = 6*z. Is 2 a factor of a(10)?
True
Let p(c) = -c. Let x be p(-2). Suppose 4*f - 16 = 0, -4*f - 32 = -x*r + 10. Suppose 3*l = j + 8*l + 15, l = 5*j - r. Is 5 a factor of j?
True
Let m = 3616 - 1887. Is m a multiple of 133?
True
Let t = -14 + -11. Let b = -82 - t. Is 18 a factor of b/(-3)*4/4?
False
Suppose -4*m + 5912 = 5*d, -5964 = -4*m + 3*d + 5*d. Is 4 a factor of m?
False
Let w(y) = 10*y**3 - y**2 - y. Let l be w(-2). Let u = l + 145. Does 24 divide u?
False
Let t(f) = -65*f - 1. Let l be t(2). Let v = -79 - l. Is v a multiple of 13?
True
Let h be 2/15*6 + 4804/20. Suppose -16*n + 2161 = h. Does 15 divide n?
True
Let z(n) = 3*n**3 + 4*n**2 - 3*n - 3. Let t be z(-4). Let s = -131 + 129. Does 7 divide s/3 - t/3?
False
Let j = -47 + 75. Does 3 divide -66*(-5 + j/6)?
False
Suppose -10576 = -5*j + 4934. Is (-2)/12 + 3/(108/j) a multiple of 14?
False
Let r(o) = 28*o + 154. Does 75 divide r(32)?
True
Is 61 a factor of 198 + -200 + -1 + (0 - -2504)?
True
Let p(u) = -u**3 - 5*u**2 - 3*u + 4. Let l be p(-4). Suppose -3*z - 4*r + 1 = l, 5*z + 0*r + r + 4 = 0. Is (z + 28)*(-2)/(-3) a multiple of 9?
True
Suppose 525 + 395 = 2*b. Is 46 a factor of b?
True
Suppose -3*k + 15 = -2*t + 14, -2*k - 10 = 4*t. Let d be 16*-2*3/(-8). Does 4 divide (56/(-24))/(t/d)?
False
Suppose 27 = -5*v + 2*i - i, 2*v = -i - 8. Suppose 30 = x + x. Does 4 divide 8/(-6)*x/v?
True
Let r(g) be the second derivative of 5*g**3/2 + 31*g**2/2 + g + 1. Is r(10) a multiple of 32?
False
Let t = 1 + 89. Suppose -t - 170 = -2*w. Does 13 divide w?
True
Let f = 55 - -132. Let y = f + -91. Is 24 a factor of y?
True
Let d(t) = 392*t - 77. Is 7 a factor of d(4)?
True
Suppose 4 = -6*t + 2*t. Let h be (-2 + (3 - 3))*t. Suppose -68 = -2*w - 4*v, -v + 10 = -h*w + 68. Is 10 a factor of w?
True
Suppose 29*n = 14*n + 870. Is 58 a factor of n?
True
Suppose 2 = 5*b - 2*l - 0, -5*l = 4*b - 28. Suppose 2*n + 2*n = b*s + 184, -4*n + 3*s + 186 = 0. Does 15 divide n?
True
Suppose z + 5*z = 948. Is 13 a factor of z?
False
Suppose 3*k = 64 + 41. Does 35 divide k?
True
Let t(h) = 5*h**3 + 5*h**2 + 4*h + 4. Let z(q) = -4*q**3 - 6*q**2 - 5*q - 3. Let g(b) = -3*t(b) - 4*z(b). Is g(-7) a multiple of 14?
True
Let m(y) = -3*y - 7. Let k be m(0). Does 15 divide ((-6)/5)/((-21)/(-225))*k?
True
Is 24 a factor of (-134810)/(-234) + 2 + (-57)/27?
True
Suppose 49*o - 34816 = 15*o. Is o a multiple of 12?
False
Suppose 9*f = 5*f. Suppose -5*y = -u - f*u + 17, 2*u + 8 = -4*y. Suppose r - 2*r = -d - 18, -27 = -u*r + 5*d. Does 7 divide r?
True
Let g(i) be the third derivative of i**5/60 + i**3/3 + 9*i**2. Let n(h) = -2*h + 6. Let m be n(6). Does 16 divide g(m)?
False
Let t(l) = 4*l**2 + 34*l + 82. Is t(-12) a multiple of 25?
True
Let u(h) = 19*h**2 - 4*h - 4. Let k be u(-6). Suppose -z - 3*z + k = 0. Suppose 4*q - z = -32. Does 9 divide q?
True
Let v = -14 + 14. Suppose v = -x - 4*b + 44, -3*b + 132 = 4*x + 2*b. Is x a multiple of 7?
True
Let h = 58 + -46. Let s(b) be the third derivative of b**5/60 - b**4/6 + 8*b**3/3 - b**2. Does 29 divide s(h)?
False
Suppose 0 = -4*q + 2*p + 3314 + 396, 4670 = 5*q + 4*p. Is q a multiple of 30?
True
Let n = -10 + 39. Let o = n + -53. Is (8/o)/(1/(-291)) a multiple of 26?
False
Suppose -5*o = -2*a - o + 30, o = 4. Let t = -16 + a. Is t a multiple of 7?
True
Suppose 13*p + 3336 = 25*p. Is p a multiple of 2?
True
Suppose 5 = x, -2*a - 2*x + 195 = x. Let v = 9 + -54. Is 36 a factor of a*3/(v/(-6))?
True
Let b(z) = -z**2 + 5*z + 6. Let a be b(5). Let w(p) = -p**2 - a*p**2 + 8*p**2 - p**3 - 10 + 3*p + 8*p**2. Is w(9) a multiple of 11?
False
Is 500/(-2)*11/(-22) a multiple of 6?
False
Let m(c) = -4*c - 8. Let x be m(11). Does 7 divide (-13)/x + 422/8?
False
Let a(t) be the first derivative of -t**4/4 - 2*t**3/3 - t**2 - 4*t + 7. Let l be a(-3). Let u = l - -47. Is u a multiple of 29?
True
Suppose -2 = -5*g + 8. Suppose 2*v + 5*s = -12, g*v - s - 8 = v. Suppose -v*m = -m - 264. Does 22 divide m?
True
Suppose -4*k = -5*k + 3. Let f(v) be the third derivative of v**5/20 + 5*v**4/24 - 2*v**3/3 + 3*v**2. Does 13 divide f(k)?
False
Let l be (-1 + (1 - 2))/(5/(-10)). Suppose -l*a = 62 - 382. Is 10 a factor of a?
True
Let k be (394/4)/((-10)/(-20)). Suppose 5*s + 3*c - 317 = 4*c, -3*s + 4*c + k = 0. Is 9 a factor of s?
True
Let u(l) = -13*l - 75. Let b be u(-6). Suppose 4*s = -2*j + 368, -b*j + 4*s - 9 = -591. Is j a multiple of 38?
True
Suppose 4155 = 34*l - 19*l. Is 13 a factor of l?
False
Suppose -d = -2*p + 2195, 2*p - 11*d + 12*d - 2185 = 0. Is 51 a factor of p?
False
Suppose -24 - 1 = -5*m. Let i be (74 - (-2)/1) + -2. Suppose 0 = y + 7*w - 3*w - 24, -i = -m*y + 3*w. Is 13 a factor of y?
False
Let n = -465 - -609. Is 48 a factor of n?
True
Let l be 6*(-3 - 27/(-6)). Let k = l + -7. Does 2 divide k*3 + 4/(-2)?
True
Suppose 30091 = 51*g - 53447. Is 21 a factor of g?
True
Suppose 0 = -7*o + 5*o + 116. Let f = o - -74. Is 39 a factor of f?
False
Suppose 0 = -5*u + 5*w + 545, -4*u + 3*w = -2*w - 435. Is u a multiple of 39?
False
Let p = 29 + -14. Suppose 4*i + 0*i - 20 = 2*k, -5*i + 4*k = -31. Suppose -15 = -i*b + p. Is b even?
True
Let w(s) = -s**3 + s**2 + 2*s - 7. Let k be w(0). Let y = k - -98. Does 27 divide y?
False
Let m = -210 - -54. Let h = m - -234. Is 18 a factor of h?
False
Suppose -4*b = -p - 2, 2*b = 2*p - 2*b. Let w(y) = 33*y**2 - 3. Is w(p) a multiple of 13?
False
Suppose 589*y - 288 = 585*y. Does 18 divide y?
True
Suppose -5*b + 29 = 9. Suppose -5*g = -6*u + 2*u + 3, u - 27 = -b*g. Suppose -2*