a - 22. Let v(r) = 5*r + 41. Let i be v(-10). Is g(i) a multiple of 14?
False
Let m(k) = -k**2 + 15*k - 92. Let t be m(11). Is 42 a factor of (-31 + 39)/((-2)/t)?
False
Let v = 1275 - 963. Does 3 divide 1 + v + (-36)/18?
False
Is ((-190)/380)/((-1)/13912) a multiple of 74?
True
Suppose -19*i = 16*i + i - 146412. Is 52 a factor of i?
False
Suppose 46*r - 42*r - 16 = 0. Suppose -l + 167 + r = 0. Let d = l - 109. Does 31 divide d?
True
Let l = -31 + -2. Let c be l/(-22)*(-512)/(-6). Suppose 347 + c = 5*w. Does 18 divide w?
False
Let x(d) = -d**3 - 14*d**2 + 680*d + 40. Does 21 divide x(-34)?
False
Let h(s) = -s**3 + 6*s**2 + 2*s - 10. Let x be h(6). Suppose -4*d - 32 = -5*d - 5*v, x*d - 29 = -3*v. Let y = 34 - d. Is y a multiple of 8?
False
Suppose -3228 - 3445 = -s + 712. Is 35 a factor of s?
True
Let q = -35210 + 51915. Is 7 a factor of q?
False
Suppose -168 = 2*j - 9*j. Suppose 15*n + 432 = j*n. Is n a multiple of 2?
True
Let a be 2 - (3 - (-39)/(-3)). Let u(l) = -4*l**2 - 24*l - 9*l**2 - 17 + a*l**2. Does 21 divide u(-19)?
False
Let f(j) = j**2 - 8*j + 29. Let d be f(0). Suppose -22*u - 931 = -d*u. Is 9 a factor of u?
False
Does 119 divide 493052/18 - (-208)/936?
False
Suppose -6*u + 13 = -419. Let b = u - -236. Is 7 a factor of b?
True
Let u(n) be the third derivative of 7*n**5/60 + n**4/24 - n**3/2 - 18*n**2. Let k be u(-4). Suppose 7*i = 2*i + k. Is i a multiple of 18?
False
Let w(p) = 28*p**2 + 5*p - 3. Suppose 85*j = 96*j - 33. Is w(j) a multiple of 33?
True
Let y = -11280 - -40153. Is y a multiple of 13?
True
Let j(a) = -a**3 - 2*a**2 + a - 4. Let l be j(-3). Let h be (l/(-6))/(((-42)/54)/(-7)). Let o(q) = 13*q**2 - 6*q - 5. Is 10 a factor of o(h)?
True
Let p = 165535 - 99088. Is 28 a factor of p?
False
Let r = -155 + 147. Is 13 a factor of -4 + 39 - ((4 - 0) + r)?
True
Let l be (-2448)/30*10/(-3). Suppose -6*m + l = -10*m. Does 19 divide (-1309)/m + 1/(-4)?
True
Let u(c) = -3*c**2 - 10*c - 7. Let x be u(-3). Is x*1 - (-96*5)/3 a multiple of 26?
True
Let w = 54 + -57. Let z be (-7 - -2)/(w/51). Suppose -3*c + r = -z, -5*r + 2 + 8 = 0. Does 29 divide c?
True
Let r(q) = -q**3 + 4*q**2 + 18*q + 24. Let j be r(-6). Let i = j + -210. Does 6 divide i?
True
Let s be 0 - (108/54)/((-4)/10). Let f = -2 + 4. Suppose s*x = 2*n - 171, -f*n + 5*n = -2*x + 228. Does 26 divide n?
True
Suppose 1 = -q - 7. Let t(l) = l**2 + 2*l + 66. Is t(q) a multiple of 6?
True
Let y(s) be the second derivative of s**7/1260 + s**6/144 - s**5/30 - 11*s**4/6 + 21*s. Let n(z) be the third derivative of y(z). Is n(-5) a multiple of 20?
False
Let o be (-1)/2*(-12)/6 + 12. Let a(r) = 0*r**2 + 2*r - r**2 + o + 3*r + r. Is 3 a factor of a(0)?
False
Suppose 0 = -a - 13 + 19. Suppose 24 = a*d - 2*d. Suppose d*p + 100 = 11*p. Is p a multiple of 9?
False
Let q(k) = k**3 - 19*k**2 + 15*k + 67. Let a be q(18). Let w(y) = y**2 + y - 22. Does 16 divide w(a)?
True
Suppose -3*m - 9*m + 11562 = -3030. Is 32 a factor of m?
True
Does 28 divide ((-8)/(-2))/(109/120554)?
True
Let z(p) = 12*p**2 - 143*p + 150. Does 12 divide z(-42)?
True
Let y = -281 - -281. Suppose y = -3*o + 5*o - 658. Is o a multiple of 7?
True
Suppose -16*a + 9*a - 448 = 0. Is 51 a factor of (a/48)/((-1)/306)?
True
Let y be -4*(4 - 19/4). Let x be (21/4)/(y/180). Suppose -3*h = -0*h - 3*t - x, -h = -4*t - 120. Does 20 divide h?
True
Let o = -35214 + 53035. Does 6 divide o?
False
Let p = -12726 - -25997. Suppose p = 22*l - 4923. Does 24 divide l?
False
Let n(j) = -251*j - 38. Let s be n(-2). Let z = s - -90. Is 54 a factor of z?
False
Let j(m) = -m**2 + 7*m - 8. Let u be j(5). Suppose 5*a + 4*l - 1434 = 1473, 0 = -5*a - u*l + 2911. Is a a multiple of 11?
True
Suppose -2*j + 5*s - 3*s = -4, 0 = -j + 3*s. Suppose 3*d = -4*p + 1003, 3*p = 2*p + j*d + 232. Is p a multiple of 13?
True
Let m(a) = -14*a + 66. Suppose 0 = -10*w + 27*w + 153. Does 3 divide m(w)?
True
Suppose -21*c - 4651 - 263 = 0. Does 46 divide 29 - 32 - (c + 1)?
True
Let q be 1/(-3) + (-2)/(-6). Let h(k) = -5*k + 163. Let w be h(32). Suppose -2*g = -7*g + 3*y + 390, -w*g + 3*y + 228 = q. Is 25 a factor of g?
False
Suppose -98*v + 97059 - 3665 = 0. Does 57 divide v?
False
Suppose 23443772 = 208*d + 265*d. Is 18 a factor of d?
False
Suppose 0 = 106*c - 114*c + 29112. Is 10 a factor of c?
False
Let o(z) = -429*z - 33. Suppose -22 = 22*c - 0. Does 12 divide o(c)?
True
Suppose 12*g + 40 = 20*g. Suppose 0 = 24*u - g*u - 1900. Does 20 divide u?
True
Suppose 272*j - 613988 = 156*j. Is 2 a factor of j?
False
Suppose 4*d + c - 264 = 0, 20*c = 5*d + 17*c - 330. Suppose -d*k + 68*k = 90. Does 27 divide k?
False
Suppose 3*g = -5*y + 241, 0*g = -3*g + 5*y + 281. Let x be -2*(11/(-33) + (-71)/(-6)). Let c = x + g. Is c a multiple of 32?
True
Let j be (-10)/(-1 + -1) + 0. Let b(d) = -56*d - 5 - j + 4 + 5. Is 7 a factor of b(-1)?
False
Let k(y) be the second derivative of 2*y**2 - 21*y - 1/4*y**4 + 4/5*y**5 + 0*y**3 + 0. Is 33 a factor of k(2)?
False
Is 60 a factor of (2373/1 - -1)*(13509/(-18))/(-79)?
False
Suppose 18*u - 59944 = 8744. Is 16 a factor of u?
False
Let c(l) = 8*l + 7. Let y be c(4). Let n = y + -27. Let t = n - -20. Is t a multiple of 8?
True
Let p = 62279 + -43316. Does 21 divide p?
True
Let p be -1 - ((-4)/(-10) + (-96)/15). Suppose -z + 12 = p*t - 5*z, -t - 15 = 5*z. Suppose t = 10*k - 12*k + 80. Is 3 a factor of k?
False
Let j = 985 + -475. Let v = j - 71. Is v a multiple of 37?
False
Suppose 45 = -46*m + 51*m. Suppose 57 = -m*o + 3837. Is 13 a factor of o?
False
Let u(f) = 28*f - 222. Let r be u(8). Suppose 349 = s + j, r*j - 5*j = 5*s - 1755. Is s a multiple of 6?
True
Let q(g) = 7*g**2 + 35*g + 9. Let d be q(9). Suppose -2*h + d = -2*a + 5*a, -4*a - 2239 = -5*h. Is 13 a factor of h?
False
Suppose 3*a - 1905 = -2*d, 4*d - 45*a = -47*a + 3830. Is 3 a factor of d?
True
Let j(p) = p**3 + 39*p**2 - 53*p - 681. Is j(-39) a multiple of 18?
True
Suppose 84*i = 86*i + 5*w - 3934, 5*w - 1952 = -i. Is i a multiple of 3?
False
Suppose 12*s + 45*s - 811855 = 2*s. Is 29 a factor of s?
True
Suppose -32*s + 4*c + 21072 = -30*s, 5*s - 2*c = 52672. Is 102 a factor of s?
False
Suppose 57246 = 86*c + 82*c - 147*c. Is 20 a factor of c?
False
Let z(b) = b**3 + 8*b**2 - 9*b + 5. Let d be z(-9). Let x be ((15/(-9))/d)/((-3)/27). Let k(a) = 19*a + 3. Does 26 divide k(x)?
False
Let d = 5771 - 2769. Is d a multiple of 38?
True
Suppose -54331 - 175223 = -54*t. Does 13 divide t?
True
Suppose 25*n - 40185 = 10*n. Does 57 divide n?
True
Suppose -5*a - 4*y = 3885, 5*y + 2560 - 216 = -3*a. Let q = 1348 + a. Is 25 a factor of q?
True
Let o = 4 + -6. Let s be (405/108)/(6/16). Does 4 divide (-39)/(-5) - o/s?
True
Suppose 2*h = -4*z + 23830, 2080*h + 17860 = 3*z + 2084*h. Is z a multiple of 2?
True
Let u(n) = -10*n**3 - 597*n**2 + 62*n - 66. Does 14 divide u(-60)?
True
Let q(g) = 21*g**2 - 2*g - 1. Let t be q(-1). Let f be (-11)/t - 55*2/(-4). Let j = 71 - f. Is j a multiple of 4?
True
Let s(v) = -2*v - 2. Let u be s(1). Let i be ((-57)/(-9))/(-1 - u/3). Suppose 0 = -i*j + 3609 + 780. Is 12 a factor of j?
False
Let o be 2/1 - 9 - -65. Suppose 598 = 5*q + 4*a + o, -3*q - a + 324 = 0. Is 36 a factor of q?
True
Let g = 0 + 72. Let b = g + -64. Suppose b*i + 200 = 10*i. Is i a multiple of 9?
False
Let j(g) = -g**2 + 120*g - 2128. Does 2 divide j(86)?
True
Suppose -81*p + v + 3711 = -80*p, 0 = 4*p - 3*v - 14843. Is p a multiple of 14?
True
Suppose 17*r - 368803 + 162487 = 315448. Does 32 divide r?
False
Let p = 3685 + -3482. Is p a multiple of 5?
False
Let s(p) = -11*p + 178. Suppose 0*q - 3 = -q, -4*q = 2*m + 12. Is 10 a factor of s(m)?
True
Let w(r) = -r - 14. Let p(i) = 4*i + 41. Let m(l) = 3*p(l) + 8*w(l). Let a be m(-2). Is 74*(a + 5/(-2)) a multiple of 37?
True
Let v(b) = 30*b**3 - 9*b**2 - b + 22. Is 83 a factor of v(4)?
False
Let f(s) be the third derivative of s**4/6 + 2*s**3 + 12*s**2. Let r be f(-3). Is 1722/(-6)*1/(-1 + r) a multiple of 41?
True
Let m = -1201 - -1326. Does 29 divide m?
False
Let y be (-2)/(-20) - (24/60)/(8/202). Let w(t) = -t**2 + 4*t + 7. Let x be w(6). Does 6 divide (27/2)/(x/y)?
False
Let h = -747 - -5487. Suppose -38*r = -33*r - h. Is 79 a factor of r?
True
Suppose 4*w = -0*w - 4, -3*j + 5*w - 3268 = 0. Let g = -493 - j. Is g a multiple of 15?
False
Let p(k)