 + 9. Let c(a) = -a**3 - 9*a**2 - 14*a + 9. Let u(k) = -5*c(k) + 6*p(k). Let i be u(-8). Is 3 a factor of (-6)/i + (-29)/(-3)?
True
Let y = -1270 - -2964. Is 7 a factor of y?
True
Suppose 12 = -6*d + 1140. Suppose 2*n = -4*p + 2*p + d, n - 86 = 3*p. Is 26 a factor of n?
False
Let h(p) be the first derivative of p**3/3 - 3*p**2/2 + 3*p - 11. Let w be h(3). Let c = 67 + w. Is c a multiple of 17?
False
Let r(o) be the second derivative of o**4/12 + 7*o**3/6 - 4*o**2 - 2*o. Let j be 36/(-12)*14/(-6). Is r(j) a multiple of 19?
False
Let p(b) = 2*b**2 - b - 4. Let g be p(-3). Let m = -17 + g. Suppose 3*t - 21 = -5*x, -2*x + m*t + 4 = -t. Is 3 a factor of x?
True
Suppose 0*y - 960 = -6*y. Is (y + 0)/(5 + 0 + -4) a multiple of 32?
True
Let n be (-28)/10 + (-2)/10. Let g = 6 + n. Suppose q = -3*v + 5*v + 36, -3*q + g*v = -102. Is q a multiple of 16?
True
Is 13 a factor of (12808/(-6))/(-4) + (-30)/45?
True
Let f be (25/(-3))/(2/(-6)). Suppose 0 = -n - 3, 4*u = 3*u + 3*n + 11. Suppose -v + u = -f. Is 7 a factor of v?
False
Let p(n) = -4*n + 67. Let z be p(15). Let h = z + 53. Does 16 divide h?
False
Does 12 divide 2102 + -1 - 77/(-7)?
True
Suppose -19*r + 5*r = 0. Let h be 12*(0 - (-22)/4). Suppose 5*a - j - h = r, 4*a = j + 2*j + 55. Is a a multiple of 5?
False
Suppose -5*u + d - 941 = -12106, -6*d = 2*u - 4434. Is 6 a factor of u?
True
Let b = -45 - -57. Is (-1)/(b/(-1510)) + (-17)/(-102) a multiple of 18?
True
Let a = -25 + 11. Let i be (-195)/(-21) + 4/a. Let k = 30 - i. Is k a multiple of 15?
False
Does 32 divide ((-6)/(-4))/(6/(-4)) - -289?
True
Let q be 1547/52 + 2/8. Suppose -q = -6*l + 258. Is 14 a factor of l?
False
Suppose -3*y + 4*p + 31 = 0, -2*p = -y + 22 - 9. Let z(j) = j**2 + y*j - 3 - 5 - 18*j - 2*j**2. Does 14 divide z(-10)?
False
Let l(h) = -h**3 - 8*h**2 + 16*h + 19. Suppose 5*r + 2*w + 58 = 0, 3*r - w + 32 = 6. Is l(r) a multiple of 6?
False
Is -2*(-4)/24*-19*-171 a multiple of 57?
True
Suppose 5*p - 11 = 3*l + p, 0 = -3*p + 15. Suppose 2*v + 5*n + 3 = 0, -v - 6 = -4*v + l*n. Is 19 a factor of (v*2)/(8/76)?
True
Suppose 2*j + 132 = 2*d, 2*d - 157 = -2*j - 9. Is d a multiple of 5?
True
Let x(v) = v**3 - 10*v**2 + 4*v + 15. Is x(15) a multiple of 30?
True
Let v = -1149 - -1706. Is 93 a factor of v?
False
Let l(t) = 27*t**3 - t + 2. Let o be l(1). Let d(j) = j - 17. Let v be d(0). Let s = o + v. Is s a multiple of 11?
True
Let y(s) = 10*s**2 + 22*s + 173. Does 49 divide y(-8)?
True
Let q(c) = -c + 7. Let h be q(-3). Let w be (-464)/(-18) - h/(-45). Let x = -11 + w. Is x a multiple of 4?
False
Suppose 0 = -v + 195 + 69. Let y = -138 + v. Does 14 divide y?
True
Suppose 211 = t - v, -4*v = -9*v - 5. Does 21 divide t?
True
Let t be (-3)/2*16/(-12). Suppose t*z - 276 + 4 = 0. Suppose -4*f + z = -0*f. Does 17 divide f?
True
Let v(z) = 43*z - 120. Does 18 divide v(12)?
True
Let u(m) = 48*m**2 + 4*m - 5. Suppose 5*j = 4*h + 10, -2*j + 2*h - 1 = -5. Does 39 divide u(j)?
True
Suppose -1088*p + 1091*p = 1290. Is 8 a factor of p?
False
Let u be (-104)/(-10)*75/10. Let p be (-4)/(-26) - 402/u. Let y = 12 + p. Does 7 divide y?
True
Suppose 4*t = -2*n - 6, -5*t + 1 - 8 = 2*n. Let w be (-1 + -2)/t + 0. Suppose 3*y - 17 = -i + 2, -w*y - 38 = -2*i. Is i a multiple of 19?
True
Let q(h) = h**3 - 11*h**2 + 9*h + 8. Let a be q(12). Suppose 2*y - 7*y = -a. Let z = y - 0. Is z a multiple of 14?
False
Let h(q) = -14*q + 213. Let g be h(16). Let b(s) = -4*s - 3. Let n be b(-6). Let y = n + g. Is 10 a factor of y?
True
Suppose -1 + 6 = x. Suppose -x + 35 = q. Does 5 divide q?
True
Let b = 208 - 128. Let s = b - 32. Is s a multiple of 22?
False
Let u(f) = -5*f**3 + f**2 + 6*f - 2. Let a(z) = -14*z**3 + 4*z**2 + 17*z - 6. Let n(p) = -6*a(p) + 17*u(p). Let m be n(-7). Is 9/6*(m + 4) a multiple of 3?
True
Let n = 204 - 80. Suppose 4*w - 148 = -4*c, w - 2*c - n = -3*w. Does 15 divide w?
False
Suppose -10*b = 2*b + 5376. Does 12 divide (b/21)/(8/(-36))?
True
Is ((-48)/(-4))/((-1234)/(-246) + -5) a multiple of 41?
True
Is -4 + (-13)/10*4*-20 a multiple of 10?
True
Let m(z) = 2*z**2 + 5*z - 3. Let i be m(-5). Suppose 2*r = 4*u + i, r + r + 5*u = 31. Does 5 divide r?
False
Let p = 543 - -101. Is p a multiple of 28?
True
Let p(z) = -6*z - 38. Let l be p(-7). Suppose l*x + 918 = 13*x. Is 8 a factor of x?
False
Suppose -i + 0 = 6. Is i - (-5 + 3) - -307 a multiple of 29?
False
Suppose -p + 130 = -52. Suppose u + 6*u - p = 0. Is 20 a factor of u?
False
Let u(v) = 51 + 0*v**2 + 4*v**2 - 8*v - 36. Is u(6) a multiple of 37?
True
Let x(z) = 1227*z**2 - 29*z - 30. Is x(-1) a multiple of 17?
False
Does 5 divide 216 + (2/(-3))/(12/18)?
True
Suppose 0 = 3*o + 5*o - 800. Suppose 0*h - 4*h = -o. Is h a multiple of 25?
True
Let a = 33 - 87. Let j be (-12)/a - 322/(-9). Suppose -h = 3*y - j, 45 = 5*h + 5*y - 95. Is h a multiple of 12?
True
Let y(g) = 5*g - 23. Suppose 0 = -3*l - 2 + 8. Suppose -5 = -j + l. Is 3 a factor of y(j)?
True
Let d = 1 - -1. Suppose t = -0*t + s - 88, -269 = 3*t - d*s. Let q = -55 - t. Is 16 a factor of q?
False
Let f = 3 + -5. Let u be (12 - f)/(4/2). Suppose -4*d + u*d - 45 = 0. Is 4 a factor of d?
False
Let g(i) = 200*i**2 + 3*i + 6. Is 20 a factor of g(-2)?
True
Let a(b) = b**3 + 6*b**2 - 7*b - 9. Suppose 4*g = -5*s + 86, g - 6*g = 5*s - 90. Suppose 4*h = -10 - s. Is a(h) a multiple of 11?
True
Let s = 60 - 44. Suppose -s*u + 365 + 307 = 0. Is 21 a factor of u?
True
Let r be 3 - (1 - 0) - -1. Let c = 2 + r. Suppose -c*b - k = -2*k - 83, -2*b - 4*k = -20. Is b a multiple of 8?
True
Suppose -396 = -4*w + 4*p, -15*w + 10*w - 2*p + 488 = 0. Does 7 divide w?
True
Let r(x) be the third derivative of -5/24*x**4 + 0 + 0*x + 7/60*x**5 - 5/2*x**3 + 1/120*x**6 - 6*x**2. Is r(-6) a multiple of 17?
True
Suppose 234 = 7*m + 17. Suppose 3*y - 49 = -m. Is y a multiple of 4?
False
Let d be 221 + (-2)/4 + (-21)/14. Suppose 4*w - d = -6*x + 3*x, -2*x - 3*w + 145 = 0. Does 11 divide x?
True
Let k(a) be the second derivative of -a**6/120 + a**5/10 + a**4/8 + a**3/3 - 9*a**2/2 + 3*a. Let z(y) be the first derivative of k(y). Is 7 a factor of z(5)?
True
Let a = -3 + -445. Is 6 a factor of (-8)/44 - a/44?
False
Suppose 0 = w - 3 + 1. Let t(y) = 13*y - w - 6*y + 15*y. Does 21 divide t(2)?
True
Let u(r) = 6*r**2 - 5*r - 14. Let v be u(8). Suppose 0 = -4*s + 16, 4*p - 9*p = 5*s - v. Is 31 a factor of 1*p/(-10)*-5?
True
Suppose -q = q - 4*z - 3252, 5*q - 4*z - 8148 = 0. Suppose 3*h = -5*h + q. Does 13 divide h?
False
Suppose -4*o + 7*o = 4*v - 1389, o = 5. Is v a multiple of 39?
True
Suppose 26*b = 27*b - 309. Does 15 divide b?
False
Suppose 5*p - 339 = 2*z, 0 = 4*p - 0*z - 5*z - 261. Let x(l) = l**2 + 2*l - 1. Let c be x(1). Suppose 2*a - 96 = -2*j - 2*j, -5*j - p = -c*a. Does 14 divide a?
True
Suppose 3*b - 15 - 3 = 0. Let h be 1/3*(b - 45). Let x = h - -53. Is 10 a factor of x?
True
Suppose -5*d = 3*p - 7*p + 784, 4*d - 4*p = -628. Let t = -91 - d. Does 3 divide t?
False
Suppose -3*x + 4*p + 527 = 0, -7*x + 5*p = -8*x + 144. Is 13 a factor of x?
True
Suppose 5*l = a + 4736, -2*a = -2*l + 6*l - 3800. Is 15 a factor of l/34 - 36/(-306)?
False
Suppose -3*i + 33 = -6. Let n = i - -10. Is n a multiple of 23?
True
Suppose -2*l - 9*m + 6*m = -365, 5*m = 5*l - 975. Is l a multiple of 53?
False
Suppose 0 = -3*j - 3 + 15. Suppose 0 = -j*q + 16 + 152. Suppose 2*r - 42 = q. Is 7 a factor of r?
True
Let g(v) = 22*v**2 + 17*v - 114. Is g(8) a multiple of 55?
True
Suppose -115 = j - 6*j - 5*c, 2*j - 3*c = 36. Let i(g) = 17*g - j*g + 14*g. Does 5 divide i(1)?
True
Suppose 0*y + 6 = -y. Let j be y + 127 + 0/2. Suppose -j = -3*z + 149. Does 30 divide z?
True
Suppose 3*j + u - 24 = 0, 5 = -2*u - 1. Suppose -j = -3*w - 0*w. Let g = w - -13. Is 16 a factor of g?
True
Let s be (-510)/20 - 2/4. Let m = 26 - s. Does 9 divide m?
False
Let m(k) = -k**3 - 7*k**2 - 7*k - 11. Let t be m(-6). Let j(p) = 5*p**2 - 8*p - 14. Does 31 divide j(t)?
False
Let d = 4 + 0. Suppose 5*q = -3*s + 51, -3*s + 14 + 19 = -q. Does 9 divide ((-6)/d)/(s/(-72))?
True
Let h = 1540 + -868. Does 4 divide h?
True
Let i = -62 - -61. Is (2/6)/(i/(-141)) a multiple of 14?
False
Let i(d) = 2*d**2 + 4*d - 4. Let h be i(3). Let v = -12 + h. Suppose -3*b = -b - v. Is 7 a factor of b?
True
Suppose -423*k + 426*k - 3546 = 0. Does 10 divide 