2 + 70 - 5*k**2. Is 9 a factor of y(-22)?
True
Suppose z = -4*z + 3985. Let n = 1217 - z. Is 12 a factor of n?
True
Let u(p) = -87*p + 94*p - 11 + 131*p**3 - 66*p**3 + 409*p**3 + 3. Is 34 a factor of u(1)?
False
Let z(r) = -45*r + 790. Does 48 divide z(-49)?
False
Let l(d) = -3*d**3 - 37*d**2 - 72*d - 592. Does 52 divide l(-28)?
True
Let k = -53 + 42. Let y(b) = b**2 + 14*b + 36. Let f be y(k). Does 7 divide (63/12)/(f/56)?
True
Let c(b) be the second derivative of 19*b**4/12 + b**3 - 25*b. Does 54 divide c(-3)?
False
Let p(o) = o**3 + o**2 + o. Let i(n) = 73*n**3 - 1. Let d(l) = -i(l) + 3*p(l). Is d(-1) a multiple of 9?
False
Let j be (0/2)/(-3)*(-2 - -3). Suppose j = 27*k - 32*k + 615. Is 9 a factor of k?
False
Suppose -23 = -2*h - 19. Let k be h/(-1 + (-12)/(-9)). Suppose -56 = k*v - 13*v. Does 5 divide v?
False
Let b(i) = 11*i**2 - 403*i + 8. Is b(40) a multiple of 12?
True
Suppose 0 = 341*y - 342*y + 709. Let n = -587 + y. Is n a multiple of 11?
False
Let s(c) = c**2 - 6*c - 25. Let p be s(9). Suppose 3*n = -4*i + 564, -4*i + p*n + 460 + 84 = 0. Does 11 divide i?
False
Let r be 5 - (-3 + (3 - 1)). Suppose -5*z + r*z + 3*n - 726 = 0, z - 736 = 2*n. Does 18 divide z/20 + 6/(-10)?
True
Let p = 26 - 24. Suppose 5*q - 7*l = -p*l - 10, -4*q + 27 = 3*l. Suppose -q*o = j - 192, 0*j + j - 196 = -4*o. Is 15 a factor of j?
True
Let y = -38850 - -58350. Is 12 a factor of y?
True
Suppose -2*a + 71 - 65 = 0. Is 7 a factor of 4 - -15 - (-3 - 3)/a?
True
Is 18 a factor of 256/44 + (-6)/(-33) - -2694?
True
Suppose 12*a + 3*y - 76662 = 9*a, -3*a = -5*y - 76630. Is 50 a factor of a?
True
Suppose -4*w + 14 = 3*w. Suppose w*i + 29 = 2*o + 7, 0 = 3*o - i - 37. Suppose 2*c - 45 = o. Does 18 divide c?
False
Let z(y) = -125*y + 125. Is 155 a factor of z(-4)?
False
Suppose -2*u = -2*c - 3076, 13*c - 6194 = -4*u + 11*c. Is 28 a factor of u?
False
Suppose 5*m - w + 4*w = 9, 4*m = 3*w - 9. Suppose m = 4*l - 12*l + 2504. Let t = l + -185. Is 14 a factor of t?
False
Let d be -1 - -1 - (29 - 33). Suppose -2*g - u + 90 = 4*u, u - d = 0. Suppose -b + 136 = -g. Is b a multiple of 11?
False
Let q(x) = x**3 - 3*x**2 - 48. Let a be q(5). Does 2 divide a/16*12*320/6?
True
Suppose -11512 = -14*l + 17468. Is 18 a factor of l?
True
Suppose 37306 = 22*y - 108840. Is y a multiple of 91?
True
Does 56 divide 23/(-1*17/(-2074))?
False
Is 74 a factor of -7 + 5 + 7 - -18199?
True
Let x be 52/(-1)*29/(-116). Suppose 5688 = 21*a - x*a. Is 79 a factor of a?
True
Let m = -8111 + 9479. Is 9 a factor of m?
True
Let z(l) = -l**3 - 24*l**2 - 3*l - 68. Let w be z(-24). Suppose 2*r = 3*t - 3036, -w*t + 31*r = 30*r - 4048. Is 14 a factor of t?
False
Let d = -1210 - -1941. Suppose -729*z = -d*z + 370. Is 2 a factor of z?
False
Let x = -776 + 1735. Suppose -39*j + 32*j = -x. Does 5 divide j?
False
Let t(y) = y**3 + 6*y**2 + 9*y + 31. Let f be t(-4). Does 39 divide (f - 323)*(-2 - -1)?
False
Let i(g) = g**2 - 14*g + 44. Suppose -5*o + 70 + 20 = 0. Let a be i(o). Suppose -a = 28*d - 30*d. Does 3 divide d?
False
Is 17 a factor of -529*34/(-4)*-28*(-21)/98?
True
Let u = 130 - 126. Suppose 5*d - 188 = -u*a, -5*a + 48 = 4*d - 187. Is a a multiple of 8?
False
Let c(v) = 4*v**2 - 21*v - 99. Suppose -4*r = -4*m + 64, -4*m = -7 - 13. Is c(r) a multiple of 56?
True
Suppose 1330 = -3*h + 13*h. Let u = h - -219. Is 4 a factor of u?
True
Let n be ((-8)/(-12))/(2/(-222)). Is n/(-6) + (-3)/9 a multiple of 4?
True
Let f = -71 + 126. Let m be 69/(-18) - 3/18. Let a = f - m. Is 14 a factor of a?
False
Let z(w) = 3*w**3 - w + 14. Let a be z(-5). Let l = a + 711. Suppose -u - 5*m + 71 = 0, -5*m - l = -6*u + u. Does 11 divide u?
False
Let d(p) = p**2 - 7*p + 3. Let g(o) = -34*o + 1. Let u be g(-1). Suppose 75 = -5*w + u. Is d(w) a multiple of 37?
False
Let u(v) = -v**3 - 81*v**2 + 85*v + 1159. Does 49 divide u(-84)?
False
Suppose -6*j - 4*w + 8 = -j, -2*w = -3*j + 18. Let i(s) = s**2 + 2*s + 3. Let a be i(4). Let r = a + j. Is r a multiple of 31?
True
Let m(c) = 40*c**2 + 364*c + 21. Does 40 divide m(-16)?
False
Let g = -89 - -86. Let r(p) = 18*p**2 + 22*p - 2. Let m be r(g). Suppose m + 44 = 3*q. Is 23 a factor of q?
True
Let b(s) = 3*s**2 - 51*s - 2. Let l(n) = 8*n + 63. Let w be l(-9). Let h(t) = 6*t**2 - 101*t - 5. Let r(g) = w*b(g) + 4*h(g). Is 6 a factor of r(18)?
False
Let d = -7238 + 13328. Does 7 divide d?
True
Suppose 3*a - 9399 = 3*x, -17*a - 9*x = -12*a - 15553. Is a a multiple of 5?
True
Let y = -243 + 103. Let d = y + 437. Is 11 a factor of d?
True
Let m = 29437 + -5317. Does 20 divide m?
True
Suppose 19*m - 23*m = -3288. Let r = -61 + m. Is 24 a factor of r?
False
Suppose -195343 - 13483 = -7*q - 38054. Is q a multiple of 13?
False
Let f(c) be the first derivative of -8 + 2*c**3 + 0*c - 1/4*c**4 + 5*c**2. Is 24 a factor of f(-4)?
True
Suppose -17 = -4*w - 165. Let f = w + 45. Suppose -5*g - 228 = -f*g. Does 24 divide g?
False
Suppose 0 = 2*r + n - 8, -r - 3*r + 30 = -5*n. Let s = r - -8. Suppose -120 = -s*c + 8*c. Is c a multiple of 12?
True
Let a = -10712 + 15053. Is a a multiple of 3?
True
Let y = 97 - 100. Let i(l) be the first derivative of -21*l**2/2 + 21*l - 15. Does 21 divide i(y)?
True
Suppose 28*h - 3*w - 7983 = 25*h, 0 = 5*w + 10. Suppose 1246 + h = 5*t. Is 16 a factor of t?
False
Let g(t) = t**2 + 2*t. Let s be g(-3). Suppose -3*r - 4943 - 7561 = s*h, 5*r = -3*h - 12512. Is 12 a factor of 1/((-33)/h) + (-2)/11?
False
Let g(y) = -83*y**3 - y**2 + y + 1. Suppose 2*c + 3*s = 10, s - 5*s + 21 = -5*c. Let x be g(c). Suppose 16*u = 14*u + x. Does 3 divide u?
False
Let h = 83 - 82. Let n(x) = 143*x**2 - 6*x - 3. Let y(u) = 143*u**2 - 7*u - 4. Let f(b) = 6*n(b) - 5*y(b). Does 16 divide f(h)?
True
Suppose -4*j + 8*j - m + 28734 = 0, m - 21550 = 3*j. Is -2*j/18 - (-2)/(-9) a multiple of 37?
False
Suppose -2*c = 5*u + 84, -2*u + 3*c - 6 = 20. Let l be (12/(-18))/(2/(-57)). Let j = l + u. Is j even?
False
Let n(r) = r**3 + 8*r**2 - 6*r - 13. Let h(i) = i**2 - 7*i + 9. Let c be h(10). Let k = 31 - c. Is 7 a factor of n(k)?
True
Suppose 3*d - 4*d + 4*r = -54, -3*d - 4*r + 114 = 0. Suppose -4*b + d = 2*b. Does 9 divide 35 - b/1*6/14?
False
Suppose 130 = -12*o + 718. Let q = -45 + o. Suppose -q*s - s = 5, 5*s = g - 164. Is 49 a factor of g?
False
Suppose -74309 = 13*q - 177620. Is q a multiple of 14?
False
Let z be (75/20 - 4) + (-111)/(-12). Suppose 5*g - 2*g - z = 0. Suppose g*f - l = 321, -3*l - 12 = l. Does 16 divide f?
False
Let o be 79/5 - (-20)/(-25). Suppose 2*z + 139 - 605 = -4*x, -5*z - o = 0. Suppose -4*k + 35 + 405 = 4*v, v = -3*k + x. Is 23 a factor of v?
False
Suppose -1363229 = -238*b + 3322991. Is 148 a factor of b?
False
Let f(d) = d + 4. Let q be f(-22). Let s = 38 + q. Does 3 divide (s*-1)/4 - -20?
True
Is 88 a factor of (-3 + 185/15)*8955/30?
False
Let o(k) = -k**2 + 11*k. Let w be o(11). Suppose b = -w*f - 5*f + 19, f - 4*b = -13. Suppose -f*r + 90 = 4*g, -3*r = 5*g - 25 - 89. Is g a multiple of 6?
True
Let m(t) be the third derivative of t**5/15 + t**4/4 + t**3 - 8*t**2. Let y(c) = -c**2 + c - 1. Let w(l) = m(l) + 2*y(l). Is 3 a factor of w(-5)?
False
Let a(d) be the first derivative of -d**4/4 - 2*d**3/3 + 53*d - 83. Let n = 1 - 1. Does 29 divide a(n)?
False
Let a(s) = -5*s**2 - 3*s - 2 - 162*s**3 + s**2 + 0*s - 156*s**3. Is 7 a factor of a(-1)?
True
Suppose -4*t + 23785 = -51*o + 46*o, 29720 = 5*t - 4*o. Is 62 a factor of t?
False
Suppose -106 = -4*c - 7*i + 2*i, 5*c + 2*i - 124 = 0. Let s(v) = v**3 - 23*v**2 - 8*v - 44. Does 51 divide s(c)?
False
Let f be (-2)/(2*7) + (-3816)/(-56). Suppose -4*z + f = -4*u, -2*z = 2*u - 3*u - 16. Is 340/6 - u/(-27) a multiple of 30?
False
Let g = 833 - 548. Let y be (g/(-9) + -2 - -3)*-3. Suppose 5*n - 2*h = 3*n + y, 0 = h - 4. Is 25 a factor of n?
True
Suppose 0 = -11*b + 7*b + 28, 0 = -4*z + 6*b + 20530. Does 9 divide z?
False
Let m = -6499 - -11573. Is m a multiple of 109?
False
Let u = 62951 + -89817. Is 13 a factor of u/(-49) - 2/7?
False
Suppose -889 = -7*z + 1463. Is -1*(z/(-2))/2 a multiple of 9?
False
Let p = -42 - -55. Let b be p - (4 - (-1 - 2/(-2))). Suppose 14*a = b*a + 195. Does 12 divide a?
False
Suppose 17*y - 165 = 12*y. Suppose -10*s + y = s. Suppose 0 = -s*x - 2*x + i + 165, -3*i = 4*x - 113. Does 4 divide x?
True
Suppose -4*o + 4