 = 28*v - 30. Let k(a) = t*s(a) - 6*p(a). Does 9 divide k(4)?
True
Let b(d) = -40*d + 454. Does 9 divide b(-13)?
False
Let r(v) = -347*v - 6582. Is 158 a factor of r(-31)?
False
Let o(j) = -j**2 + 4*j - 1. Let x be o(3). Suppose 2*v - 3*c + 349 = 6*v, x*v + 3*c = 167. Suppose 2*d - v - 81 = 0. Is d a multiple of 19?
False
Is 7 + 19 + -1 + 7 a multiple of 3?
False
Suppose 42*y = 219*y - 568571 - 626533. Is 16 a factor of y?
True
Let p = 293 + -133. Is 4 a factor of p*1*(-4)/(-8)?
True
Let h be 2 + (-4 - -4) + 1008. Suppose h = 5*k - 4*o, 7*k - 3*o - 1010 = 2*k. Is 19 a factor of k?
False
Suppose -4*d - 3*m = -3*d - 14, 0 = -4*d - 3*m + 38. Suppose 22*c = 7*c + 135. Is 19 a factor of (-24)/c*(-6)/d*26?
False
Is 5 a factor of 4/(-12)*(24195/(-10))/((-3)/(-6))?
False
Let a be (1 + -2)/((-1)/(-2)). Let b(q) be the first derivative of 16*q**3/3 + q**2/2 + 2*q - 4572. Is 32 a factor of b(a)?
True
Suppose -2*y - 5*r = -1874, y + 2*r = 477 + 458. Does 33 divide y?
False
Let u(i) = -3*i - 2. Let t = 85 - 90. Let q be (t/(-10))/(((-3)/22)/3). Is 9 a factor of u(q)?
False
Let s = -106 - -105. Let q = s + 75. Suppose -115 - q = -9*m. Is m a multiple of 6?
False
Suppose 0 = -96*m + 100*m + 2*z - 54352, 0 = -3*z + 6. Is 131 a factor of m?
False
Suppose -5*h + 43497 - 9890 = 4*c, -5*c = 4*h - 26891. Is 28 a factor of h?
False
Let q(j) = -3*j**3 - j**2 + 2. Let s be q(-2). Suppose s*z = 25*z. Suppose z = -6*m - 123 + 381. Does 20 divide m?
False
Suppose -61367 = -9*v - 5*i, 6783 = 16*v - 15*v + 5*i. Is 24 a factor of v?
False
Let r(k) = 3*k**3 - 18*k**2 + 32*k - 159. Is 7 a factor of r(11)?
False
Suppose -33*q - 569070 = -2351004. Is 20 a factor of q?
False
Let j be (-30)/20*44/(-6). Suppose j*y + 0*y - 110 = 0. Is 5 a factor of y?
True
Suppose 39*l - 81410 = 4*l. Is 50 a factor of l?
False
Suppose 4*p + 6*t - 7*t - 21602 = 0, 2*p + 5*t - 10790 = 0. Is 45 a factor of p?
True
Let y = 8076 + -6443. Is 37 a factor of y?
False
Suppose 3*m - 4166 = -10*g + 12*g, 3*m - 4191 = -3*g. Does 16 divide m?
True
Let w(j) = j**3 - 6*j**2 - 6. Let s be w(7). Does 13 divide s/(118/(-24) - -5)?
False
Suppose -5*a + 50 = 2*j, 3*a - j - 14 = j. Suppose 3*y = a*x - 6*x - 437, 441 = 2*x + y. Does 11 divide x?
True
Suppose 8*y + 216 = 864. Let o be (82/3 - 1) + (-27)/y. Let j = o + 4. Is 10 a factor of j?
True
Let i = 216 - 192. Suppose -871*y + i = -867*y. Is y even?
True
Suppose -2*u = n - 9, n + 0*n + 4*u - 13 = 0. Suppose 4*f + 4 = -4*h, 11 = -f - f - n*h. Suppose f*l = 45 + 11. Is l a multiple of 7?
True
Let c = 54 + -52. Suppose 2*r + 4*n + 104 = 0, 0 = 3*n + c*n - 10. Let z = r - -70. Is 7 a factor of z?
True
Suppose -3*n - 3*s - s + 14 = 0, 0 = s - 2. Let w(m) = 2*m**3 + 4*m**2 - 4*m + 3. Let b be w(n). Suppose b = 3*o - 0. Is 9 a factor of o?
True
Suppose -16*n + 59*n - 48375 = 0. Is n a multiple of 46?
False
Let o = -6 - 48. Let f = 57 + o. Suppose -3*s + 755 = 4*u, -2*u - f*s + 6*s + 355 = 0. Is u a multiple of 37?
True
Let q(a) = -4*a - 31. Let r be q(-8). Let h(o) = 4*o - 1. Let m be h(r). Suppose 55 = m*k - 11. Is 15 a factor of k?
False
Suppose d + 4*a - 4800 = 0, 31*a + 9608 = 2*d + 35*a. Does 31 divide d?
False
Let y = 24 - 12. Suppose y*r = 19*r. Suppose r = 5*d - 106 - 169. Is d a multiple of 4?
False
Let k(c) be the third derivative of -3*c**2 + 1/12*c**4 + 0*c + 0 + 3/2*c**3. Is k(13) a multiple of 10?
False
Let t(w) = 21*w**3 - 3*w**2 + 2*w - 2. Let l be t(-3). Let m = l + 1206. Suppose 2*n + 800 = 7*n + 4*x, 4*n - 4*x - m = 0. Is 39 a factor of n?
True
Let q be (-6)/4*(-4164)/18. Suppose 0 = 5*r - 433 - q. Suppose 3*x - r = 39. Is x a multiple of 13?
True
Let s(y) = -271*y + 14. Let k be s(1). Let w = -181 - k. Does 19 divide w?
True
Suppose -51*l + 202991 - 135534 + 256801 = 0. Is 17 a factor of l?
True
Let n(b) = 6*b**2 + 14*b - 100. Is 50 a factor of n(6)?
True
Suppose 816 = -149*m + 196304. Does 82 divide m?
True
Suppose 2*s - 25 + 87 = 0. Let m = s + 59. Let p = 104 + m. Does 32 divide p?
False
Suppose -2*k + 4*k + s = -5, -15 = 3*s. Suppose k = 114*d - 119*d + 380. Is 17 a factor of d?
False
Suppose 2*l - 12 = -8. Let n(z) = 29*z**2 + 1. Is n(l) a multiple of 19?
False
Suppose -3*z + s = -77276, -4*z - 3*s - 12050 + 115102 = 0. Is 92 a factor of z?
True
Let t(k) be the second derivative of 1/20*k**5 + 1/3*k**3 - 3*k**2 + 0 - 1/4*k**4 - 6*k. Does 19 divide t(5)?
False
Let p(a) = -a**3 + 10*a**2 + 14*a + 30. Let v be p(11). Suppose -v*k + 1692 = -57*k. Is 47 a factor of k?
True
Let m(f) be the first derivative of f**3/3 + 3*f**2 + 170*f + 155. Is 2 a factor of m(0)?
True
Let i(a) = a + 4. Let u be i(-4). Suppose -336 = -64*x - 20*x. Is (2 - x)*(u/1 - 8) a multiple of 2?
True
Suppose -49*g - 8780 + 98055 = -16957. Is 45 a factor of g?
False
Let b(u) be the first derivative of u**4/4 + 14*u**3/3 - 12*u**2 + 9. Let c(n) be the second derivative of b(n). Is 5 a factor of c(6)?
False
Let h = 726 + -288. Let u = 4586 + -4582. Suppose j - 93 = i, u*j - h = -j - 4*i. Is j a multiple of 10?
True
Is 3/((-1 - 7)/1496)*-25 a multiple of 75?
True
Let c = 29481 + -26824. Does 30 divide c?
False
Suppose -r = -11*r - 120. Let f(n) = -17*n - 75. Is f(r) a multiple of 4?
False
Is 20 a factor of (5/((-10)/3))/(77325/8592 - 9)?
False
Let q(x) = -x**3 - 8*x**2 - 9*x - 3. Let n be q(-7). Let z = 3 - n. Let c = 27 - z. Does 12 divide c?
False
Let u(j) = -3*j + 9. Let s be u(2). Suppose 2*m + 11 = s, -r = 3*m - 190. Is 11 a factor of (r/8)/(5/20)?
False
Suppose 4*s - 608 = -5*q, s + q = 83 + 68. Suppose 3 = -2*m - v + s, 5*m - 375 = 5*v. Suppose b - m = -63. Is b a multiple of 6?
False
Suppose 0 = 4*g - 2*p - 5754, -244*g - 2*p - 1443 = -245*g. Is 26 a factor of g?
False
Let d(l) = l**3 + 5*l**2 - 6. Let g = -27 + 23. Let c be d(g). Suppose c*b = 3*b + 630. Is 10 a factor of b?
True
Let s(d) = d**3 + 7*d**2 + 6*d - 4. Let n be s(-5). Suppose n = -4*f, 0 = -0*t - t + 2*f + 56. Let a = -15 + t. Is 5 a factor of a?
False
Suppose 32 - 33 = s, 0 = -x + 4*s + 13085. Is 3 a factor of x?
False
Let c(j) = -j**2 + 5*j + 36. Let n be c(11). Is 21348/612 - (n/(-34) - 1) a multiple of 7?
True
Let n(m) = -m**3 + 18*m**2 - 13*m + 24. Let q be n(7). Suppose -8*r + q + 16 = 0. Is 10 a factor of r?
False
Suppose 4*x - 9*x + 63125 = 0. Is 7 a factor of x/35 - 14/(-49)?
False
Let m be -3*((-100)/15)/5. Suppose -11 = -5*d - o, m*d + 0 = -3*o + 11. Suppose -248 = -0*c - 4*c + d*p, 2*c = 3*p + 120. Is 30 a factor of c?
False
Let x(f) = -f**2 - 156*f - 468. Is x(-48) a multiple of 9?
True
Let f(z) = z**2 - 3*z - 2. Let u be f(0). Let s be (-304)/(-24) + u/(-6). Suppose b - 490 = -s*b. Is 6 a factor of b?
False
Does 12 divide ((-6)/(-24)*2588)/(-6 + 115/19)?
False
Suppose -2*y = d - 3, 0 = d + 3*y + 4 - 3. Suppose d*u + 3 = 12*u. Suppose u*o + 2*o - 432 = -2*c, 168 = 2*o + 2*c. Does 5 divide o?
False
Let j(f) = f**3 + 13*f**2 + f + 18. Let n be j(-13). Let s(a) = -23*a**2 - 1 + 7*a + n*a**2 + 3*a**3 - 4 + 12*a**2. Is s(4) a multiple of 39?
False
Let j = 35341 + -22291. Is 33 a factor of j?
False
Suppose -3*o - 8*j + 6*j - 463 = 0, 0 = 5*o + 2*j + 773. Let q = o + 259. Is q a multiple of 52?
True
Let f = -36 - -27. Let q(z) = z + 13. Let x be q(f). Suppose -5*u = -x*r - 206, -u = -4*u + r + 125. Is u a multiple of 10?
False
Does 3 divide 4/(-90)*5 - (-707)/63?
False
Suppose 87091 - 160815 = -14*b. Is 7 a factor of b?
False
Suppose 3*k - 93 = -y, -k - y = 4 - 37. Suppose 22*n + 3400 = k*n. Is n a multiple of 35?
False
Suppose -x = -3*x + n + 482, -3*x + 3*n + 729 = 0. Suppose -x = -f + 185. Is f a multiple of 25?
False
Let a(i) = -i**2 + 18*i + 25. Let o be a(18). Let w = o + -46. Let u = 11 - w. Is 8 a factor of u?
True
Suppose 27*y - 6260028 = -360*y + 3439740. Is y a multiple of 52?
True
Let o(a) = -3*a**2 + 21*a + 10. Let w be o(5). Suppose -w*h + 3796 = -14*h. Is h a multiple of 2?
True
Let v = 55 + -92. Let u(x) = 14*x + 165. Let z be u(-17). Let l = v - z. Is l a multiple of 5?
False
Let k be 18/(-63) - (2 - 3812/14). Let c = k - 137. Is c a multiple of 14?
False
Let z(l) = l**2 - 10*l + 17. Let m be z(11). Suppose -m - 89 = -u. Is u a multiple of 11?
False
Let k(o) be the second derivative of o**4/3 + 19*o**3/6 - 11*o**2/2 - 2*o + 37. Is 12 a factor of k(5)?
False
Let f = -70 - -100. Is 0/1 - 