 13*r. Let o be i(-13). Suppose o = 2*y + 2*y + 8. Is 3 a factor of 2 + (y - 24/(-4))?
True
Let y(f) = -3*f**2 + 108*f**3 + 57 + 3*f**2 - 107*f**3 - 4*f + f**2. Does 13 divide y(0)?
False
Let q(g) be the second derivative of -g**5/60 + 7*g**4/12 + 5*g**3/6 + g**2 + 5*g. Let z(p) be the first derivative of q(p). Is 16 a factor of z(7)?
False
Suppose -6*c = -2318 + 536. Does 17 divide c?
False
Let z(g) = 5*g**2 - 21*g + 46. Is z(-11) a multiple of 7?
True
Suppose -t = 76 - 1101. Does 15 divide t?
False
Suppose -5*s + 52 = -18. Let g be 2/s + (-2)/14. Suppose 2*x = -g*x + 60. Does 15 divide x?
True
Let r = -261 + 317. Is 14 a factor of r?
True
Let f(t) = 3*t**3 + 16*t**2 - 21*t + 40. Let c(a) = a**3 + 5*a**2 - 7*a + 13. Let v(x) = -8*c(x) + 3*f(x). Is 9 a factor of v(-8)?
True
Suppose 0*r = -5*r + 120. Suppose -3 = -b, 3*l - b + 12 = -5*b. Let d = r - l. Is 32 a factor of d?
True
Let i(b) = -b**3 + 6*b**2 - 2*b - 1. Let p be i(3). Suppose g = -0*m + 4*m + 4, -5*g - 3*m = 3. Suppose g = j + j - p. Is j a multiple of 10?
True
Suppose 5*t + 2*x = 13095 + 1765, -4*x + 20 = 0. Is 18 a factor of t?
True
Let l(p) = p - 6. Let o be l(8). Suppose 3*t + 2*z = 46 + 146, o*t - 3*z - 141 = 0. Is t a multiple of 11?
True
Suppose -2*h - 36*h = -12312. Is h a multiple of 6?
True
Let j be 24/(-30) + (-12)/(-15). Suppose -4*x + 10 + 2 = j. Suppose -49 = -g + x*q, 0 = -3*g - 2*g - q + 197. Is g a multiple of 20?
True
Let q be (24/(-28))/(-6) - 113/7. Let t = 48 + q. Does 13 divide t?
False
Let k be (0 + 1)/((-7)/14). Let i be ((-7)/(-14))/(k/(-12)). Suppose o + 2*d = 16, -6 - 42 = -3*o - i*d. Is o a multiple of 16?
True
Let c(b) = 3*b**2 - 33*b + 12. Let p(a) = 2*a**2 - 5. Let v be p(3). Is c(v) a multiple of 9?
True
Does 12 divide -176*((-17)/(-4) + (-60)/12)?
True
Let j(k) = -k**3 + k**2 + 7*k + 1. Let y be j(3). Suppose -y*c + 80 = -0*c. Is 8 a factor of c?
False
Let t = -25 - -61. Let x(a) = a**3 - 10*a**2 + 7*a + 12. Let c be x(9). Is 21 a factor of (7/(-2))/(c/t)?
True
Let v(z) = z**3 - 16*z**2 + 15. Let o be v(17). Suppose -4*k + 0*c = -c - o, -3*k + 4*c + 241 = 0. Is 5 a factor of k?
True
Let l = 3328 + -1707. Is l a multiple of 17?
False
Suppose -5*k + 13 = -2. Suppose 3 = k*d, -5*i = -d - d - 23. Suppose i*u + 3*s = 391, 358 - 58 = 4*u - 4*s. Is 12 a factor of u?
False
Is ((-560)/(-8))/(-3 + (6 - 2)) a multiple of 14?
True
Suppose -19*k - 90 = -17*k. Is 15 a factor of (-7 - k)*3*(-1)/(-2)?
False
Let b be 2*(1 + 20/8). Suppose 75 = -2*z + b*z. Is z a multiple of 15?
True
Let k = 69 - 25. Let f = 177 - k. Let b = -82 + f. Is b a multiple of 23?
False
Suppose -35*d = -42*d + 2366. Is 7 a factor of d?
False
Suppose -11 - 7 = -3*i. Let m(x) = -x**3 + 6*x**2 + x + 1. Let o be m(i). Does 28 divide 198/o - (-4)/(-14)?
True
Let d = 16 - 2. Let w be -1 + -18 - (d + -11). Let l = 40 + w. Does 9 divide l?
True
Suppose r - 3*b - 1 = -8, 0 = -3*r + 2*b + 7. Suppose w + 764 = r*j, -j + 2*j - 140 = -3*w. Is j a multiple of 38?
True
Let u(g) be the second derivative of 1/20*g**5 + 0 - 2*g + 9/2*g**2 + 7/3*g**3 + 5/6*g**4. Does 5 divide u(-8)?
True
Suppose -10*y + 15594 = -9926. Does 73 divide y?
False
Suppose 0 = 4*x - 34 + 2. Let d be -1*-8*(-4)/x. Let p(y) = -8*y - 8. Is 8 a factor of p(d)?
True
Suppose 2*z + 3*z - 24 = -4*a, -3*z = a - 13. Let m be (1 - 0)/(a/2). Suppose f - 52 = -f - m*p, -2*f = p - 49. Does 16 divide f?
False
Let q = -18 + 8. Let n(x) be the first derivative of -x**2 + 10*x + 85. Does 15 divide n(q)?
True
Let i = 3763 - 1051. Is 24 a factor of i?
True
Suppose -698 + 2048 = 6*b. Is b a multiple of 16?
False
Suppose -o - 2969 = -5*r, 62 + 1128 = 2*r - o. Is 2 a factor of r?
False
Suppose -2*p = 4*w - 1268, -p + 2*w + 643 = w. Let a be 12/18 - p/(-3). Suppose 4*r - m = a, 19 = r - 5*m - 25. Is r a multiple of 18?
True
Let f(k) = 3*k**2 + 2*k + 482. Is f(0) a multiple of 49?
False
Is 532 + (-6)/(-30)*10 a multiple of 62?
False
Let j be (4 - -70) + 2 + -2. Suppose 2*q - j = 4*r, 4*q + 2*r - 6*r = 168. Let y = q + -23. Is 10 a factor of y?
False
Suppose 2*u - 10 - 36 = 0. Let f = -17 + u. Is 2 a factor of f?
True
Suppose 1221 = -9*z + 12*z. Is 37 a factor of z?
True
Let t be (-3)/(45/(-51)) - (-4)/(-10). Let z(p) = -p**2 + 8*p + 5. Is z(t) a multiple of 5?
True
Let b(q) = -q + 3. Let t be b(5). Let i(h) = h + 2. Let g be i(t). Suppose g = -o + 39. Is o a multiple of 11?
False
Let w = -1081 + 2066. Let f = 1489 - w. Suppose -5*d - d + f = 0. Does 12 divide d?
True
Let n(j) be the third derivative of j**7/2520 - j**6/144 + j**5/24 + j**4/6 - 10*j**2. Let k(s) be the second derivative of n(s). Is k(6) a multiple of 4?
False
Let g = 15 - -204. Is g a multiple of 73?
True
Let z(j) = j**2 + 3*j - 28. Is 8 a factor of z(9)?
True
Let r = 391 + -76. Is 20 a factor of r?
False
Let r = 43 + 119. Suppose 0 = -13*v + 10*v + r. Is 6 a factor of v?
True
Suppose 0 = -3*s - 6*a + 2*a + 24, 2*a = 4*s - 10. Suppose z + 1330 = s*v, -z = 9*v - 4*v - 1667. Does 37 divide v?
True
Let o = 5991 + -3975. Is 29 a factor of o?
False
Suppose 0 = p - 33 - 10. Let x = p - 13. Is 6 a factor of x?
True
Let m be -2*(-4)/(16/318). Suppose g = 0, 2*g = -3*r + 7*g + m. Is r a multiple of 7?
False
Let l be (6 + (3 - -1))*1. Let p(f) = -l*f - 4*f**2 + 3*f**2 + 0*f**2 - 6. Is p(-8) a multiple of 10?
True
Let t be -14 + 2/((-1)/2*1). Let b(i) = -i**3 - 17*i**2 + 19*i + 21. Is b(t) a multiple of 2?
False
Suppose -5*v + 4*o + 456 = 0, o = 4*v - 381 + 25. Let i = 214 - v. Is i a multiple of 14?
True
Let k(x) = 2*x**2 + 6*x - 261. Does 23 divide k(27)?
False
Let g = 1102 - 679. Is g a multiple of 9?
True
Suppose d - 2 = -s, -5*d + 4*s + 0*s = -19. Let q(w) = 7 - w**2 + 2*w**2 + w - 6*w + d*w. Is 7 a factor of q(-5)?
True
Let t be (-1)/2 - (-49)/14. Suppose t*j = 2*q + 474, -5*j + 0*q + 797 = -q. Is 16 a factor of j?
True
Let i = 516 - 411. Does 3 divide i?
True
Suppose 0 = -r - 5*f + 725, 0 = 5*r - 9*f + 5*f - 3596. Does 40 divide r?
True
Suppose 5*o - 125 + 464 = 4*b, 3*o - 470 = -5*b. Let k = -56 + b. Does 14 divide k?
False
Suppose 11*n + 192 = 13*n. Let q = 147 - n. Is 17 a factor of q?
True
Suppose 0 = 47*f - 101480 - 105602. Is 12 a factor of f?
False
Suppose 11 + 113 = 4*z. Suppose 6*d = 9*d - 6. Suppose -3*o + z = 2*u, 4*u - d*o - 66 = u. Is u a multiple of 15?
False
Suppose -8*g + 5*g + 6 = 0. Suppose -g*b = b - 357. Does 19 divide b?
False
Suppose -5*y + 4*y = -45. Let k be (-12)/15*y/(-6). Is ((-28)/(-6))/(k/36) a multiple of 9?
False
Let y(w) = -198*w**2 - 4*w**3 + 11 + 209*w**2 + 3*w**3. Let z(j) = -j + 11. Let s be z(0). Does 5 divide y(s)?
False
Let y = 32 + -18. Does 13 divide 200/y - 4/14?
False
Let w = -100 + 93. Let o(t) = t**3 + 8*t**2 + 2*t - 5. Is o(w) a multiple of 6?
True
Let w(p) = -p**3 - 12*p**2 + 5*p + 8. Let y be 4/26 - 790/65. Let c be w(y). Is 3 a factor of 10/(-25) + c/(-5)?
False
Suppose h - 5*y = -3*y + 1, -22 = 3*h - y. Let f be 2*1 - (h + 8). Let m(k) = 6*k**2. Does 27 divide m(f)?
True
Suppose -5*g + 244 + 471 = 4*b, 0 = b + 4*g - 176. Let q = -103 + b. Is 9 a factor of q?
False
Suppose -6*w + 63 = w. Suppose w = 2*l + v, l - v - 9 = 3*v. Does 3 divide l?
False
Suppose -2*j = 2*r, -4*j = -0*r - r + 15. Let g be (j/(-6) - 1)*-8. Suppose g*o = o + 102. Does 7 divide o?
False
Let p(u) = 247*u + 130. Is 65 a factor of p(5)?
True
Suppose -2*z + 4*a = -1170, -2*z + 5*a + 882 = -283. Suppose 9*l - 4*l = z. Is 16 a factor of l?
False
Let w = 79 - 5. Suppose 4*u - 6*u - w = 0. Let a = u + 63. Does 13 divide a?
True
Suppose 2*c - 4 = 0, 4*r - 3*c + 22 = 2*c. Let k be (1/r)/(2/(-30)). Suppose k*l - 80 = o, -55 = -4*l + l + 2*o. Is l a multiple of 4?
False
Suppose 3*h = 3*d + 2589, 12*d = -4*h + 13*d + 3443. Does 43 divide h?
True
Let w be 3*239/9 + (-1)/(-3). Is 9 a factor of 7584/w - 1/(-5)?
False
Let z(l) = -l**3 + 3*l**2. Let g be z(3). Suppose -x + 18 + 38 = g. Is 14 a factor of x?
True
Suppose -81 + 33 = 6*c. Let d = 60 + c. Is 13 a factor of d?
True
Is 11 a factor of 8 + -8 + 679 + 3?
True
Let t = 1922 - 997. Is t a multiple of 18?
False
Let x = -7 + 0. Let w = x + 12. Is (w/2)/(1/6) a multiple of 5?
True
Suppose 7*m = 33*m - 20332. Is m a multiple of 23?
True
Suppose -344 = 5*m - 2*v, 5*m = 2*m - 5*v - 225. Let x = m - -142. Is x a multiple of 12?
True
Let i be (