-62)?
False
Suppose 0*b + 12 = 2*b. Let y(i) be the third derivative of 2*i**5/15 + i**4/8 + 4*i**3/3 + 8*i**2 - 204*i. Does 56 divide y(b)?
False
Let p(t) = 15*t - 12*t + 4*t - 149 + 7*t. Is 81 a factor of p(28)?
True
Suppose -4*s = -s - 9. Suppose 0 = 4*b - s*q - 863, 206 = 2*b - b - 4*q. Suppose 3*z = -50 + b. Does 14 divide z?
True
Let q(g) = -g**3 + 8*g**2 + 6*g + 1. Let s be q(9). Let y(k) = 4*k**2 + k + 5. Let w be y(-3). Let f = s + w. Is f even?
True
Suppose 3*t + 441*d - 2097 = 438*d, t + 3*d - 713 = 0. Does 10 divide t?
False
Let d(a) = 102*a**2 + 4*a + a + 2 - 73*a**2 - 6*a. Does 17 divide d(-4)?
False
Let c(k) be the third derivative of -1/60*k**5 - 16*k**2 + 0*k + 5/6*k**4 + 1/3*k**3 + 0. Is c(14) a multiple of 18?
False
Let z(b) = -2*b + 12. Let i be z(4). Suppose 2*o = -a + 5*a + 16, -5*o + 40 = i*a. Suppose -o*j - 60 = -9*j. Does 15 divide j?
True
Is ((-945)/(-6))/(-3)*175616/(-490) a multiple of 28?
True
Suppose 0*o - 2*r = o - 177, -511 = -3*o + 4*r. Does 3 divide 8 + (-114)/15 - o/(-5)?
False
Let z(i) be the first derivative of 2*i**3/3 + 9*i**2 - 14*i - 177. Let u = 14 + -29. Does 10 divide z(u)?
False
Suppose 4*s = -4*b - 284, 6*s + 220 = 3*s + 4*b. Let y = s + 146. Is 40 a factor of y?
False
Suppose 4*l = v + 72580, -3*l - 299*v + 295*v = -54416. Does 112 divide l?
True
Does 13 divide (909475/70 - (13 + -2))*(-8)/(-14)?
False
Let q(i) = 5*i - 15. Let f be ((-3)/12)/(3/(-84)). Suppose -f*r = -14*r + 84. Is 9 a factor of q(r)?
True
Suppose 2*t + 0*b - 2884 = 4*b, 0 = -4*t - 5*b + 5781. Let k = 2209 - t. Is 15 a factor of k?
True
Let a(p) = -1 + 0 + 9 + p + 9*p**2. Suppose 6 = 2*h - 5*l, 5*h - 6*h + 3 = -3*l. Does 20 divide a(h)?
False
Suppose 12*b = 6*b. Suppose b = -d + 21 + 226. Does 19 divide d?
True
Suppose c + 0*c - 4*l = -10, -c = -2*l + 4. Suppose -45 = -s - 2*v + 65, 0 = -5*s - c*v + 566. Suppose 0*d - 2*q = 2*d - s, d - 3*q = 69. Is 12 a factor of d?
True
Let k(m) = -m**3 + 7*m**2 - 14*m + 6. Let d be k(3). Suppose d = -2*j - 3 + 191. Is 2 a factor of j?
True
Let k be (4/(-10))/((-88)/20 + 4). Suppose -3*h - q + 25 = 0, -3*q + q - 20 = -4*h. Is (74 - k) + h/(-7) a multiple of 18?
True
Let y be -1*1 + 36/(-18). Let j be 64/24*y/(-2). Suppose j*a + 5 - 85 = 0. Is 4 a factor of a?
True
Let s(j) = -2*j**2 + 22*j - 18. Let k be s(10). Suppose -4*u + 948 = 4*p, -3*p - 7 = k. Does 29 divide u?
False
Suppose 4*q + 7153 = 3*w, 4*w - 4*q = -6*q + 9530. Suppose -592 = -7*f + w. Is f a multiple of 81?
False
Suppose -6*d = -d + 350. Let k be (d/1)/((-69)/(-36) + -2). Suppose -9*c = -c - k. Is 16 a factor of c?
False
Suppose 0 = -43*x + 39*x. Let b(z) = -6*z**2 - 5*z + 44. Is 8 a factor of b(x)?
False
Let u(j) = j**3 - 13*j**2 + 14*j + 3. Let b be 37/3 - (130/30 - 5). Is 17 a factor of u(b)?
False
Suppose -89 = 10*a - 19. Let n(w) = 6*w**2 - 17*w - 13. Is n(a) a multiple of 20?
True
Let y = 4094 + 7615. Does 91 divide y?
False
Let c be ((-40)/14)/((-10)/70). Suppose -14467 = -37*m + c*m. Does 15 divide m?
False
Suppose -3*p - 3*i = 3, -17 = 5*p + 2*i - 0*i. Let k be p + (-4 - -5) - 86. Let t = -54 - k. Does 9 divide t?
True
Does 3 divide (6133/2 - ((-52)/8 + 6))*1?
False
Let c be 15/4 - 3 - 33/12. Let b be c/4 - 2/((-4)/11). Suppose 2*x + 799 = b*s, 3*x + 8 = -x. Is 11 a factor of s?
False
Suppose 146 = 4*k - 342. Suppose -g + k = q, 5*q + 479 = 11*g - 7*g. Is 14 a factor of g?
False
Is 29 a factor of (6 + -1)/((-25)/(-5075) + 0)?
True
Suppose -i - 10 = 2*w, 20 = -22*i + 26*i - 2*w. Suppose -3 = -5*s - 3*v + 7, -2*v = 0. Is 10 a factor of (0 - i) + (s - 3) + 102?
False
Let h = -130 + 190. Is h*(768/(-10))/(-8) a multiple of 36?
True
Let a(c) = -17*c - 30. Let u be a(-2). Does 45 divide u/14 + -422*(-15)/42?
False
Suppose -4*q + 165 + 19 = 0. Let a = -42 + q. Suppose -a*g + 35 = -13. Is 7 a factor of g?
False
Suppose -72 = 11*d - 6. Let l(o) = 8*o**2 - 4*o + 35. Is 20 a factor of l(d)?
False
Suppose 13*u - 74*u + 341722 = 0. Is 14 a factor of u?
False
Suppose 50 = -6*l + 80. Suppose -l*i + 288 = 13*i. Is 7 a factor of i?
False
Suppose 243 = -5*h - 437. Suppose 0 = 5*g + 2*f + 1320, 0 = -2*g + 5*f - 544 + 45. Let c = h - g. Is 18 a factor of c?
True
Let r = -74 + 69. Let m be (-32 - r - 6)/(1/(-2)). Let h = m - 34. Is h a multiple of 16?
True
Let b(a) = -43*a - 306. Let i be b(-7). Is (i/(-2))/(2 - (-335)/(-180)) a multiple of 4?
False
Let z = -65 - -105. Is 4 a factor of z - (4/(-18) - (-96)/(-54))?
False
Let y(g) = -175*g**3 + 38*g**2 + 194*g - 1. Does 34 divide y(-6)?
False
Let w = -970 + 3425. Is 17 a factor of w?
False
Let u be (-21)/(11 + -4) + 4 + -1. Suppose 3*n + n = -f + 364, u = -n + 4*f + 91. Suppose -n = -5*a - 2*a. Is 13 a factor of a?
True
Let h be (-10)/15*((-126)/12 + 6). Suppose -h = z, -2*r - 62*z + 1913 = -67*z. Is r a multiple of 13?
True
Let g = -47 - -45. Let j be g/9 + (-2)/(-9). Suppose -5*q + 250 = -j*q. Does 30 divide q?
False
Let i(u) be the third derivative of u**6/120 - u**5/12 - u**4/6 - 5*u**3/6 + 2*u**2 - 21*u. Does 7 divide i(6)?
True
Let h be ((-4928)/(-2))/(-4) - (2 + -1). Let x = h + 932. Suppose -5*t + x = -2*t. Does 51 divide t?
False
Suppose o = 2*s - 3738, -19*s + 5597 = -16*s + o. Is s a multiple of 63?
False
Is 15 a factor of (-9)/(-21) + -67*1752/(-14)?
True
Let g be 12/(-15)*15/(-6). Suppose 4*i + 2*b - 4 = -g*b, 2*i = -b + 6. Suppose 20 = 5*k, 3 = y + i*k - 33. Is y a multiple of 14?
False
Let p(y) = 20 + 4181*y - 4191*y - y**2 + 31. Is p(-11) a multiple of 10?
True
Let p(i) = i**3 + 10*i**2 + 7*i - 9. Let z be 1/(5*(-3)/(-30)). Let u be (2 - 1)*(-7 - z). Is 3 a factor of p(u)?
True
Let f(a) = 55*a - 12. Let v be f(5). Suppose n - v = 3*s - 4*s, 0 = -3*n - 4*s + 788. Is 46 a factor of n?
False
Suppose -3*i = -t + 12216, -4*i - 7 + 35 = 0. Is 159 a factor of t?
False
Let y = 11556 - -220. Does 32 divide y?
True
Let f = -32 + 38. Let w be ((-15)/f)/((-3)/6). Suppose 5*p - 195 = 5*j, -w*p + 2*j + 183 = -0*j. Does 3 divide p?
False
Let u be 4/34 + 83/17. Suppose -4*q = -4*l + 3*l - u, 5*q = -4*l + 85. Suppose 0 = -13*v + l*v - 252. Is v a multiple of 7?
True
Suppose -219704 - 94508 + 74847 = -49*x. Is 4 a factor of x?
False
Let g = -45088 - -62103. Is 38 a factor of g?
False
Suppose -v + 30 = -s, -4*v + 3*v - s + 28 = 0. Suppose 31*r + 60 = v*r. Let w = 46 + r. Is w even?
True
Let y = 14935 + 3078. Is 13 a factor of y?
False
Suppose m + 2*d = -757, 5*m - 5*d = -0*d - 3860. Let y = -365 - m. Is 67 a factor of y?
True
Let i = 14929 + -2419. Is 35 a factor of i?
False
Let p = 4327 + -2902. Suppose -6*d = -3*d + 3*g - p, 4*g = -3*d + 1425. Is 18 a factor of d?
False
Let i(k) = 2*k**3 + 8*k**2 - 15*k - 22. Let y be i(-5). Suppose y*a - 132 - 43 = 5*u, 3*u = -3*a + 159. Is 11 a factor of a?
True
Suppose -414*d + 4428478 = -1399917 - 3132221. Does 14 divide d?
True
Suppose -13 = 12*k - 49. Suppose 0 = s + 3 - 1, -k*s = 4*w - 130. Is 8 a factor of w/(-51) + 338/3?
True
Suppose 4*d - 6 - 6 = 0. Suppose 2*p + 5*g = 270, 51 + 85 = p + d*g. Let s = p + 14. Does 18 divide s?
True
Let z(v) = -2*v + 40. Let q be z(18). Suppose 4*l - 64 = -3*o + 3*l, q*l + 8 = 0. Is 6 a factor of o?
False
Suppose -64*f + 9*f + 188650 = 0. Is f a multiple of 69?
False
Suppose 0 = 5*o - 1097 + 1197. Suppose 0 = 3*z - 6*z + 2*i + 544, -2*z - 4*i = -352. Let g = o + z. Is 16 a factor of g?
True
Suppose -8*w = -12*w. Suppose -2*b + 3*b + 51 = w. Let u = -12 - b. Is u a multiple of 7?
False
Suppose -39*u + 64524 + 51686 = -351400. Does 5 divide u?
True
Suppose -5*r = -8*r + 1098. Suppose m - r = -m. Does 16 divide m?
False
Suppose -5*i = -5*t + 1705, -5*t - 148 = -2*i - 830. Let l = i + 703. Is l a multiple of 7?
False
Let z be (-18314)/(-6) - (-2)/(-6). Suppose -3*u - j = -z, -12*j = 3*u - 16*j - 3047. Is u a multiple of 27?
False
Let c(f) = 3*f**3 + 248*f**2 + 162*f - 225. Is c(-81) a multiple of 18?
True
Suppose -3*d + 10 + 2 = l, 5*d = 5*l. Let q(x) = -2 - 3 - 2 - 14*x - d. Is 6 a factor of q(-4)?
False
Let u(k) = -4*k - 130. Let w be u(-35). Suppose 6*z + 2*o - 2524 = 2*z, -5*o = w. Does 85 divide z?
False
Suppose g + 3585 = 2*p, -321*p - 3*g - 1785 = -322*p. Is p a multiple of 26?
True
Let d(m) be the first derivative of m**6/360 + m**5/20 - 2*m**4/3 - 8*m**3/3 - 15. Let a(b) be the third derivative of d(b). Is 11 a