r of p?
True
Let c(o) = 13*o**2 + 110*o + 161. Is 101 a factor of c(28)?
True
Suppose 32*v = 60*v + 224. Let k(q) be the third derivative of -5*q**4/12 + 16*q**3/3 - 3*q**2. Is k(v) a multiple of 8?
True
Suppose 2091 = -39*u + 25998. Does 6 divide u?
False
Is 2*(-2)/16 + (-503340)/(-240) a multiple of 18?
False
Let s(o) = -185*o - 2400. Is s(-30) a multiple of 30?
True
Let o = 242 - 437. Let r be (1/3)/(13/o). Let w(g) = g**3 + 6*g**2 + 7*g + 15. Is 4 a factor of w(r)?
False
Let b = 602 + 10449. Is 43 a factor of b?
True
Let p(d) = -6*d**2 + 19*d + 15. Let g(w) = -3*w**2 + 10*w + 8. Suppose -12*i + 0*i - 60 = 0. Let z(n) = i*g(n) + 2*p(n). Is z(8) a multiple of 28?
False
Let r be (-78560)/(-25) - (-16)/10. Suppose -8*p - r = -12360. Is p a multiple of 16?
True
Let v be (-640)/((-8)/(-176)*-4). Let i = v - 2492. Is i a multiple of 72?
False
Let g be 2*3/(-6) - (-42)/(-7). Let n(x) = 3*x**2 - 17*x + 5. Let w(s) = -3*s**2 + 16*s - 5. Let o(q) = -6*n(q) - 7*w(q). Does 39 divide o(g)?
False
Let b = 164 - 164. Suppose 11*p - 9*p - 90 = b. Is 4 a factor of p?
False
Does 30 divide (-4680)/(-39)*-4*(4 + -8)?
True
Suppose -r - 11 = -5*u, 0 = -u + 4*u - 9. Suppose 142 = -2*w + 3*w + r*y, -2*w = -2*y - 264. Suppose 202 = 2*z + 4*l - w, 3*z + l = 504. Is z a multiple of 24?
True
Suppose 0 = 20*s - 17443 + 5143. Suppose 25*p - s = 20*p. Is 3 a factor of p?
True
Suppose -9*n - 2908 = -8381 - 28340. Is n a multiple of 40?
False
Let q be 408/(-56) + 7 - (-183012)/14. Suppose -2*y = -21*y + q. Does 86 divide y?
True
Let r = -38 - -30. Let j be ((-30)/r)/((-2)/8). Let o = -4 - j. Does 3 divide o?
False
Let m(y) = 30*y + 35. Let f be m(-6). Let x = -123 - f. Is x a multiple of 11?
True
Let b(p) = p**3 + 6*p**2 + 2*p - 1. Let h = -40 - -37. Let c be b(h). Is 7 a factor of (-1 + 19)*c/30?
False
Let p(t) be the second derivative of 30*t**3 + t**2 - t. Suppose 1489*m = 1296*m + 193. Is p(m) a multiple of 26?
True
Suppose -3*t + 0*t + 3 = 0. Let c be (-2)/(t*(-2 - -1)). Suppose c*z + 3*z - 419 = l, -l = -z + 83. Is z a multiple of 21?
True
Let h = -12992 - -24512. Is 96 a factor of h?
True
Let q = -3981 - -9251. Is 62 a factor of q?
True
Let n = 89 + -74. Suppose 1214 = n*v - 2146. Does 28 divide v?
True
Let x(f) = f**2 - 26*f + 51. Let r be x(24). Suppose -256 = -3*b + 2*o, r*b = 8*b + 3*o - 452. Suppose b = -55*p + 59*p. Is 2 a factor of p?
True
Let m be (1 - -2)/(6/(-126)). Let u be m/12*(-5 - -9). Is 10 a factor of (4/10)/(u/(-3255))?
False
Let r(u) = -u**2 + 5*u + 3. Let j be r(4). Suppose -5*y + 4*s + 689 = 0, 3*y - 3*s - 407 = -j*s. Suppose -2*f + 50 = 2*g, -y = -4*f + g - 52. Does 11 divide f?
True
Let r be (-79 + -1)*((-11)/(-4) + -2). Let m = r - -67. Suppose 2*u = -3*o + 908, -m*u + 3*u + 16 = 0. Is o a multiple of 20?
True
Suppose -s - 4 = 3*n, -3*n - 51 = 4*s - 17. Is s/2*(-1230)/75 a multiple of 18?
False
Let z(y) = 2*y**2 + 4*y + 36. Let t be z(-9). Suppose -5*s + 1883 = -t. Is 20 a factor of s?
False
Let v = -17 - -43. Let j = 22 + v. Suppose -6*h + j + 336 = 0. Is 16 a factor of h?
True
Suppose 24*p = 27*p - 9. Does 18 divide (-6210)/23*(-2)/p?
True
Suppose 2*m - 6 = 5*s - 2*m, 2 = -3*s + 2*m. Let k(r) = 5*r - 4*r - 7*r**3 + 14*r**s - 8 + 9*r**3 + 3*r. Is k(-6) a multiple of 20?
True
Suppose -4*a - 268 = -3*v, 3*v = 5*a - v + 336. Let i = a - -80. Is 3 a factor of i?
False
Suppose -244 = i - 4072. Suppose i = -36*t + 47*t. Is t a multiple of 12?
True
Let j = -42 - -45. Suppose -4*b - h - 2*h + 15 = 0, 2*h - 10 = -j*b. Let m(v) = -v**2 - 3*v + 180. Is m(b) a multiple of 45?
True
Suppose -576 = -2*m + 18*m. Does 8 divide (-4)/(-6) + (-1668)/m?
False
Let i = 77 + -49. Let g = -36 + i. Let m = g - -117. Is m a multiple of 16?
False
Suppose 39*d - 62990 = 96793. Does 17 divide d?
True
Suppose -4*a = 3*k - 9800, -a + 4*a - 7339 = -5*k. Let s = a + -1509. Suppose -s + 242 = -9*f. Does 13 divide f?
True
Suppose 2*n + 30 - 157 = 381. Let c be (0 - -160) + (2 - 2). Let l = n - c. Does 19 divide l?
False
Let h(p) = 1427*p**3 - p**2 + 35*p - 35. Is 23 a factor of h(1)?
True
Let v(w) = -271*w**3 + 12*w - 1. Let d be v(-3). Suppose 11*m - m = d. Does 13 divide m?
True
Suppose 4*l = -7*l. Suppose 3*r + 2*g + 3*g = -117, -5*r = 3*g + 195. Is 6 a factor of (1 - 5) + (l - r)?
False
Let i = 2117 - 1507. Let b be i/9 - 2/(-9). Suppose 5*r = -2*u - 0*r + b, 34 = u + 5*r. Is u a multiple of 17?
True
Suppose -615452 = -14*x - 242660. Does 12 divide x?
True
Suppose 17*l - 55303 = -2416. Does 10 divide l?
False
Suppose -2*m - 76 = 152. Let s be 2 + (-4)/(8/m). Let z = 103 - s. Is z a multiple of 26?
False
Suppose -67014 = -5*m + 4*w, 3*w + 26814 = 11*m - 9*m. Is 58 a factor of m?
True
Is (-11386)/(45/(-18) + (-7)/(-14)) a multiple of 103?
False
Let l = -137 - -241. Let c = 206 - l. Is c a multiple of 17?
True
Let y(p) = p**2 - 2*p + 8. Let n be y(-24). Suppose o = -127 + n. Is o a multiple of 26?
False
Is ((-1024)/6)/4*(-135)/30 a multiple of 2?
True
Let m = -2372 - -3083. Is m a multiple of 3?
True
Suppose -12057 = -20*x - 1277. Is x a multiple of 14?
False
Let s = 774 - 775. Is (-3)/((-66)/2160*33 - s) a multiple of 8?
True
Let m = 962 + -22. Is 5 a factor of m?
True
Let r(x) = x**2 + 30*x + 40. Is r(32) a multiple of 23?
True
Suppose -2*l + 3299 = -3*a - 1713, l + 3*a - 2533 = 0. Is 5 a factor of l?
True
Suppose 2*p - 27670 - 56040 = 2*q, -2*q = -4*p + 167436. Is p a multiple of 191?
False
Does 6 divide 2578831/981 - (1 + ((-87)/27 - -2))?
False
Let x = -68 + 75. Let f be (-2)/8 + x/(-4). Is 390*f/8*-2 a multiple of 16?
False
Let u(b) = 493*b + 64. Does 22 divide u(6)?
False
Let z(m) = 45*m**2 - 56*m - 178. Does 11 divide z(-7)?
False
Let t(w) = -3*w**3 + 7*w**2 + 32*w - 4. Let k = 817 + -824. Is 44 a factor of t(k)?
True
Suppose 4*c = 1689 - 445. Suppose 0 = -14*a + 907 + c. Does 8 divide a?
False
Let b(a) = 21*a - 100. Let m(g) = 38*g - 201. Let u(z) = 5*b(z) - 3*m(z). Is 14 a factor of u(6)?
False
Let h(s) = 425*s - 8962. Does 13 divide h(28)?
True
Let r be 6 + (887 + 3 - 3). Let k = r + -274. Is 12 a factor of k?
False
Suppose 5*x = x + z + 20643, -2*z = x - 5154. Is x a multiple of 12?
True
Suppose -g + 32 = -2*g. Let x = g + 35. Does 13 divide (2/x + 57/(-18))*-26?
True
Let j(y) be the second derivative of 7*y**5/10 + y**3/6 - y**2 + 3*y. Let d be j(1). Suppose -2*h = -n + d, n + 3*h - 43 = -5. Is n a multiple of 18?
False
Let m(z) = 5*z**2 + 4*z + 2. Let s(a) = a**2 - 1. Let j be -2 + -2 - 24/(-8). Let r(b) = j*m(b) + 6*s(b). Is 8 a factor of r(-8)?
True
Let o = -1396 - -2816. Suppose -15*t = -5*t - o. Let q = t + -52. Is q a multiple of 6?
True
Is (-513891)/(-252) - (-85)/(-20) a multiple of 55?
True
Let w be (180/(-12)*-18)/(-2 - -1). Does 5 divide (-5)/(-6 - -16)*1*w?
True
Let j be 4/22 + 2260*(-9)/66. Let p = 566 + j. Suppose 3*y + p = s, 2*y = -0*y + 8. Is s a multiple of 15?
True
Let n = -787 + 465. Let o = n + 654. Suppose -3*l = -o - 511. Does 12 divide l?
False
Does 67 divide (210/(-140))/(6/49312*-2)?
True
Let g = 66515 - 46103. Is g a multiple of 11?
False
Let b(k) = 7*k**2 - 22*k + 183. Does 7 divide b(24)?
False
Let g(v) be the first derivative of v**5/20 - 11*v**4/12 + v**3/2 - 6*v**2 + 7*v - 16. Let j(r) be the first derivative of g(r). Does 7 divide j(11)?
True
Suppose -10 + 172 = 2*y. Does 29 divide (-1496)/(-9) + (6 - 504/y)?
False
Suppose 110 - 10 = 10*o. Is o/(-40) - 1962/(-8) a multiple of 35?
True
Let j(p) = 40*p**3 - 2*p - 3. Let g(l) = l**3 - l - 1. Let d(w) = -2*w + 15. Let o be d(5). Let y(f) = o*g(f) - j(f). Is y(-1) a multiple of 9?
True
Suppose 3*k + 3*q = 24, k + 0*k - 2*q + 4 = 0. Suppose k*p + 37 = 49. Suppose 0 = p*h + 3*n + 2*n - 4, 0 = -2*h - 4*n. Is h even?
True
Let z = 957 + -954. Suppose 20*p - 3*o = 18*p + 1273, z*o = -p + 659. Does 7 divide p?
True
Let u = 294 - 195. Suppose -4*f - n + 0*n + 269 = 0, -133 = -2*f + n. Let x = u - f. Is x a multiple of 3?
False
Let d(g) = 178*g**3 + g**2 + g - 1. Let c be d(1). Suppose 3*h + 2*k = 1159, 5*h - 2116 = -2*k - c. Is 60 a factor of h?
False
Suppose -3*o = -4*o + 62. Suppose -7*b + o = -295. Suppose 0 = w - b - 103. Is 14 a factor of w?
True
Let m(n) = 317*n + 10216. Is m(113) a multiple of 19?
True
Let n(p) = 494*p - 160. Does 12 divide n(2)?
True
Suppose 4*f - 2*c - 12 = 0, -4*