f 17?
True
Let q be (-5)/30 - 285/18. Is 21 a factor of (q/20 + 46/(-30))*-54?
True
Suppose -j - 6 = 2*j. Let i be 297/55 - j/(-5). Suppose -3*s + i = -67. Is 8 a factor of s?
True
Let j(l) = 4*l**3 - 8*l**2 + 2*l - 4. Suppose q = 4*r - 17, 5*r - 4*q = -0 + 24. Does 44 divide j(r)?
True
Suppose -13*z = -20*z + 1064. Is z a multiple of 8?
True
Is (-2)/((-4)/920*5) a multiple of 8?
False
Let p be (3/6)/((-1)/1178). Let l = -417 - p. Is l a multiple of 52?
False
Suppose 2*g - 4*a - 24 = 0, 0 = 4*g - 3*a - 18 - 10. Suppose g*v + 4*m = -0*m + 20, -3*m = 2*v - 13. Suppose l = 5*f - 4 + 7, l - 38 = -v*f. Is 8 a factor of l?
False
Let h be (-6)/((-4)/(-1 - (2 - 1))). Is 32 a factor of 1628/20 - h/5?
False
Let a = -57 - -60. Is 31 a factor of (-16)/a*(-204)/8?
False
Suppose o = 2*z + 3*z + 20, 2*z = o - 11. Suppose -331 - 44 = -o*h. Is 18 a factor of h?
False
Suppose 0 = -z - 2*w + 8, 2*z + 2*z - 5*w = 19. Does 4 divide (-32)/z*(1 - 4)?
True
Suppose 3 = 4*i - 5. Let o(w) = w + 5. Let l be o(4). Suppose i = j - l. Is j even?
False
Let h(f) = -f**2 + 3*f + 7. Let d be h(5). Is 15 a factor of d/((-2)/150*3)?
True
Suppose -71 = -4*p - 55, 5*h - 3*p - 9223 = 0. Does 14 divide h?
False
Let i = -567 - -1007. Is 8 a factor of i?
True
Let o(a) = -a**3 - 9*a**2 + 10. Let q be o(-9). Does 12 divide 1/(-6)*-16*(q - 1)?
True
Suppose -3*k - 2*r = -1751, -149 = -k + r + 433. Is 53 a factor of k?
True
Is 259 + ((-16)/(-4) - -1) a multiple of 8?
True
Let r be -3 + 3 - (-120)/(-2). Let j = -175 - -298. Let y = r + j. Does 22 divide y?
False
Suppose 5*s = -4*y - 0*y + 3880, -2365 = -3*s + 5*y. Suppose -3*q = -9*q + s. Is 26 a factor of q/4*72/30?
True
Let k be -135*(-1 + (-1 - -1)). Let a = k - 65. Is a a multiple of 7?
True
Let a(k) = 28*k**2 - 68*k - 406. Is a(-6) a multiple of 14?
False
Suppose -w = w + 20. Let j be (2 - -3)*8/w. Is 4/1 - (1 + j) a multiple of 4?
False
Suppose z + 4*z + i - 8 = 0, -3*i = 5*z - 4. Is 70/z - (3 - 1) a multiple of 11?
True
Let d(n) = -23*n**3 - 3*n**2 - 4*n - 6. Is 19 a factor of d(-2)?
False
Let z(g) = -74*g - 48. Is z(-8) a multiple of 54?
False
Let y(p) = -6*p. Let h be y(-1). Let r(f) = 2*f**3 - 10*f**2 + 11*f - 2. Is r(h) a multiple of 30?
False
Suppose 0 = 50*z - 57*z + 791. Does 35 divide z?
False
Suppose 0*n - 6590 = -2*n + 4*v, 0 = n + 4*v - 3277. Is n a multiple of 11?
True
Let f = -98 - -139. Is 7 a factor of f?
False
Let g(n) = -3*n + 285. Is g(-61) even?
True
Suppose -3*r - 24 = 3*d, -5*r - 8 = -0*r - 3*d. Let y(o) = -o**3 - 3*o**2 + 3*o - 1. Let l be y(r). Suppose l*w = 6*w - 42. Does 7 divide w?
True
Is 38 a factor of 7/(1 + -50) - 11175/(-21)?
True
Suppose -3*c + 8 = c. Does 10 divide (33 + 7)*(-1 + c)?
True
Let i be (60/(-9))/(6/(-27)). Let k = i - 5. Let p = k - 19. Is p a multiple of 2?
True
Let l be (-4)/(-1 + (-1316)/(-1308)). Let c = -467 - l. Suppose -3*k - 5*v + c = 0, -7 = 2*v - 5. Does 16 divide k?
True
Suppose -1499 = -4*n - m, 8*m - 4*m - 760 = -2*n. Does 16 divide n?
False
Let y(b) = 2*b**3 + 3*b**2 - 14*b + 18. Is 13 a factor of y(5)?
True
Let i = 33 - 129. Suppose 4*d - 7*d = 15, 19 = -b - 4*d. Is (i/(-4) + 3)/b a multiple of 9?
True
Let d(p) be the third derivative of p**5/60 - p**4/24 + 5*p**3 - 8*p**2. Does 28 divide d(13)?
False
Let z(p) = -4*p - p**3 + p**2 - 5*p**2 - 2*p**3 + 4*p**3 + 3. Let n be z(5). Suppose -2*j - 3*a - n = 0, -2*j + 18 = -j - 4*a. Is j a multiple of 2?
True
Suppose 0*k = 5*q + 3*k - 226, 4*q - 3*k - 170 = 0. Suppose u + q = 2*z + 5*u, 2*z - 41 = -5*u. Suppose 5*h - z = 3*h. Does 7 divide h?
True
Let z = 573 + -495. Is 46 a factor of z?
False
Let n = -664 + 710. Is 23 a factor of n?
True
Let g(n) = 3*n - 11. Suppose -2*c - 3*c - w + 47 = 0, -3*c + 3*w + 39 = 0. Is 6 a factor of g(c)?
False
Let h = 25 + -19. Suppose -2*r + 159 = 3*b - h*r, b - 3*r - 48 = 0. Does 9 divide b + ((-32)/2)/4?
False
Let k(y) = -y - 12. Let b be k(-15). Suppose -f + 26 = g, -b*g = -g - 2*f - 60. Is g a multiple of 11?
False
Let q be 893/(-2) - 6/(-4). Let y = q + 649. Let a = -142 + y. Does 16 divide a?
False
Suppose 0 = -7*a + 17 + 18. Suppose -a*q + 1 + 9 = 0. Suppose 54 = q*c + 16. Is c a multiple of 6?
False
Suppose 44*f - 5469 = 18555. Is 39 a factor of f?
True
Let d = -62 + 64. Let y(w) = 8*w + 2. Does 4 divide y(d)?
False
Let y(w) = w + 1. Let c be 6/(-9) - (-33)/9. Suppose -2*f = 3*d - 25, 0 = c*d - 4*f - 6 - 25. Is y(d) even?
True
Suppose 0 = -417*y + 411*y + 41400. Is 15 a factor of y?
True
Let a(n) = 4*n - 8. Let g(o) be the second derivative of -o**2/2 + 4*o. Let s(q) = a(q) - g(q). Is s(4) even?
False
Let v = 6905 - 3724. Is v a multiple of 111?
False
Suppose -3*w + 4945 = 5*u, -10*w + 7*w + 3953 = 4*u. Is u a multiple of 16?
True
Let z(l) = 2*l - 11. Let w = 87 + -49. Suppose 0 = 2*i - 4*m - w, -4*m + 46 = 4*i - 6*m. Does 3 divide z(i)?
False
Let w be 0 + -5 + 2 + 5. Let b be 1 + 2 + -3 - w. Does 19 divide (6/(-18))/(b/342)?
True
Suppose 13*q - 9*q = -4*v + 1044, -4*q - v + 1038 = 0. Is 4 a factor of q?
False
Let d(v) = -v**2 - 9*v - 9. Let n be d(-6). Let x be (44 + n/(-3))*1. Suppose j = -3*s + 6, 2*j - 4*s - x = j. Does 7 divide j?
True
Let a = -8 - -21. Let x(o) be the second derivative of o**3/3 - 6*o**2 + 13*o. Does 13 divide x(a)?
False
Suppose 6*i = 5745 + 777. Does 15 divide i?
False
Suppose -v = 2*p - 184, 3*v - p = 2*p + 588. Let c(i) = -i + 1. Let s be c(-2). Suppose -3*y + v = s*y. Does 8 divide y?
True
Let c = -804 + 1398. Is 11 a factor of c?
True
Is (-1 + -2 + 6)*603 a multiple of 67?
True
Let k(m) = m**3 + m**2 - 2*m + 1. Let d(z) = 2*z - 18. Let s be d(0). Let g = -14 - s. Does 12 divide k(g)?
False
Suppose -24 = -4*a + a. Let o = a - 1. Does 5 divide o?
False
Let r be (-728)/42 + 2/6. Let s(t) = -t**2 + 4*t - 1. Let w be s(3). Let q = w - r. Is 6 a factor of q?
False
Let q(z) = -45*z + 4. Suppose -w = 2 + 2. Let n be q(w). Suppose 4*m = -0*m + n. Is 11 a factor of m?
False
Suppose 66*t - 50491 - 48641 = 0. Does 26 divide t?
False
Let t = 73 - -32. Suppose -19 + 8 = -3*c + 5*q, 9 = 4*c - q. Suppose 3*u + c*u = t. Is u a multiple of 8?
False
Suppose -w = -n + 253, -3*n = 4*w + 139 - 912. Is n a multiple of 5?
True
Let c(p) = -4*p**3 - p**2 - 14*p - 5. Let q be c(-4). Is q/18 + 7/(-42) a multiple of 3?
False
Let p(u) = 3*u + 11. Suppose 5*f - 20 = 20. Let h be p(f). Suppose 21 + h = 2*c. Is 14 a factor of c?
True
Let i(l) = -57*l**3 - l**2 + 2*l - 2. Let t be i(1). Let g = t - -186. Let x = 198 - g. Is x a multiple of 10?
True
Let c = 16 + 6. Is c even?
True
Let q = -468 + 1755. Is q a multiple of 11?
True
Let x be ((-8)/8)/(-1*1). Let b be (0 - 40) + (-2 - x). Let i = -31 - b. Is i a multiple of 9?
False
Suppose 4*q + 2021 = 8*q - k, q - 512 = -2*k. Is 71 a factor of q?
False
Suppose 20 = t - 5*j + 6, -5*j = t + 6. Suppose 0*c = -2*c + t*b + 12, 2*c - 9 = 3*b. Suppose 9*u - 4*u - 60 = c. Is u a multiple of 6?
True
Let o(l) = l**3 + 3*l**2 + 4. Let j = -13 + 10. Let h be o(j). Suppose 4*s - h*k = 100, 7*s - 2*s - 128 = 2*k. Is 26 a factor of s?
True
Let p(d) = 1438*d - 167. Does 12 divide p(2)?
False
Let b(f) = 12*f**2 - 30*f. Is b(-6) a multiple of 51?
True
Let j = -54 - 76. Let m be 2/(-9) - (-215)/(-45). Does 13 divide (2/4)/(m/j)?
True
Let n(a) = -a**3 - a**2 - a + 312. Let b be n(0). Suppose -2*q - 2*q = -b. Let c = q - 37. Does 19 divide c?
False
Let a(h) = -4*h**3 + 13*h**2 + 7*h - 3. Let f(v) = -3*v**3 + 12*v**2 + 6*v - 3. Let n(k) = 4*a(k) - 5*f(k). Let g be n(-7). Let o = g + 67. Does 12 divide o?
False
Let q(o) = -o - 1. Let u be (-8)/12 - (-51)/9. Let i be q(u). Let r(k) = -k**3 - 4*k**2 + 9*k + 9. Is r(i) a multiple of 9?
True
Suppose 0 = j + 2*f - 1133, -2*f = 3*j - 5*f - 3363. Is 13 a factor of j?
False
Let w = 2265 - 4. Does 9 divide w?
False
Is 4/(9/(8154/12)) a multiple of 25?
False
Suppose 17*i - 1950 = 2*i. Suppose i*m = 125*m + 85. Is 12 a factor of m?
False
Let h be (0 - 1) + 0 - 51. Let g be 54/126 - 564/(-7). Let j = h + g. Is j a multiple of 13?
False
Let x(w) = -829*w - 184. Is 34 a factor of x(-2)?
False
Let g be -3*1 - ((-16 - -3) + 6). Suppose g*n - 4*v = -94 + 278, 2*n = -3*v + 92. Is 3 a factor of n?
False
Suppose -220 = 2*b - 7*b. Let d = -24 + b. Is 6 a factor of ((-10)/d)/(1/(-32))?
False
Suppose -2*z + 21 = z. Let y = -20 - z. Let i = 6 