Let z(k) = -a(k) - 2*d(k). Does 19 divide z(5)?
False
Let n = 26 - 38. Let z be 4/(-2)*(-222)/n. Does 9 divide z/(-2) + 6/(-12)?
True
Suppose 20 = 7*j - 8. Suppose -j*z = -0*z - 128. Does 5 divide z?
False
Is ((-368)/(-3))/(60/90) a multiple of 46?
True
Let z be (27/(-12))/((-1)/8). Let n = z - -121. Is n a multiple of 13?
False
Let b be 46/4 - 4/(-8). Suppose 2*s + 4 = s, -s - b = -4*i. Suppose -i*p + 5*p - 9 = 0. Does 3 divide p?
True
Let k(m) = -2*m**2 - 12*m + 1. Let l(r) = -r**2. Let h(t) = k(t) - 4*l(t). Does 11 divide h(8)?
True
Let x = -39 - -41. Suppose -x*q + 9 = 3. Does 3 divide q?
True
Suppose -2*y = 5*d - 518, 3*y - 1 = -4. Is d a multiple of 7?
False
Suppose -39*f + 26*f = -36322. Does 7 divide f?
False
Let x(o) = -34*o - 177. Is x(-35) a multiple of 20?
False
Suppose 2*c - 4*g + 0 - 6 = 0, 3*c - 4*g = 11. Suppose -819 = -c*r - 8*r. Does 21 divide r?
True
Let w = 217 - 147. Suppose w + 28 = 2*p. Is p a multiple of 13?
False
Let c = -5 - -4. Let j(q) = -22*q + 2. Let u be j(c). Let o = -6 + u. Is 18 a factor of o?
True
Suppose 13*d + 16*d - 32132 = 0. Is d a multiple of 18?
False
Let n be (-2)/(-4)*0 + -2. Let f(t) = t**3 + 4*t**2 + 14*t + 11. Let k(p) = p**3 + 2*p**2 + 8*p + 6. Let g(v) = 4*f(v) - 7*k(v). Is g(n) a multiple of 11?
False
Let a = -911 - -2863. Does 20 divide a?
False
Let b(m) = 3*m**2 + 23*m + 4. Is b(-17) a multiple of 15?
True
Let m = 188 - 134. Suppose -m*d = -55*d + 72. Is d a multiple of 24?
True
Let q(i) = i**3 + 3*i**2 - i - 2. Let l be q(2). Let s be 9 - (3 + (1 - -3)). Let u = s + l. Does 6 divide u?
True
Let m(o) = 3*o**2 - 3*o - 3. Let v be (3/2)/(12/(-24)). Is 11 a factor of m(v)?
True
Let s = -288 - -504. Let k = s - 133. Is 37 a factor of k?
False
Suppose 3*b + 880 + 1391 = 5*l, 3*b = -5*l + 2289. Does 8 divide l?
True
Let h(c) = -26*c + 83. Does 25 divide h(-17)?
True
Let f = 1204 + -349. Is 21 a factor of f?
False
Suppose 5*g = 0, -4*b - 7 = 2*g - 23. Suppose b*q = -3*x + 26, -3*x = 2*q + 3 - 37. Is x a multiple of 7?
True
Suppose s - 5*z = -1 - 1, 5 = 3*s - 4*z. Suppose 4*v = -16, v = 2*n + s*v - 320. Does 41 divide n?
True
Let p(h) = h**3 + 6*h**2 + 4*h + 2. Let u be p(-5). Suppose -3*r = 4*b + 16, 5*r + 23 = -4*b + u. Suppose r*y = -5*y + 225. Is 15 a factor of y?
True
Suppose 17*p - 7*p - 1150 = 0. Does 21 divide (-12)/(-4)*p/3?
False
Let p(z) = -18*z + 37. Let h be p(7). Let o = 15 - h. Does 13 divide o?
True
Let g be 6 + 2/((-4)/6). Suppose r - 64 = -g*r. Is 6 a factor of r?
False
Suppose 4*m + 4*s - 160 = 0, 4*m + 0*s = -5*s + 165. Let w = -53 + m. Is ((-22)/(-3))/((-3)/w) a multiple of 17?
False
Let z(v) = v**2 + 6*v - 14. Let w be z(-8). Suppose -2*l - 2*j + 57 = -j, w*l - 67 = j. Let b = 73 - l. Does 14 divide b?
True
Let j = -228 - -332. Does 4 divide j?
True
Let u(d) = -d + 35. Suppose -2*y + 22 = -0*p - 4*p, 0 = 2*y + 3*p - 43. Is 6 a factor of u(y)?
True
Let n(a) = 29*a - 163. Is n(28) a multiple of 11?
True
Let r(x) = x**3 + 10*x**2 - 13*x + 2. Let p be r(-8). Let u = p - 70. Does 31 divide u?
False
Suppose -9*f + 873 = -324. Is f a multiple of 7?
True
Suppose -3*u + 3*v = -903, 3*u + 2*v = 1150 - 232. Is u a multiple of 16?
True
Suppose -4*y = -10*y + 12. Suppose b - y = -o, 0 = 2*b - 3*o + 3 + 3. Suppose -3*z + 0*z + 21 = b. Is 6 a factor of z?
False
Let p(s) = 6*s**2 - 18. Let n be p(-6). Let k = n - 108. Does 23 divide k?
False
Let g(m) = m**3 - 8*m**2 + 18*m - 4. Let l be g(3). Suppose -l*z + 595 = -2*k - 209, 4*z = 4*k + 648. Is 20 a factor of z?
True
Let l(x) = 18*x + 16. Let b(f) = 12*f + 11. Let y(r) = 7*b(r) - 5*l(r). Is 14 a factor of y(-12)?
False
Let q(s) = -s + 2. Let d be q(12). Let u = 12 + d. Suppose 0 = -2*l + 5*b - 6, u*l + 3*b + 2*b = 34. Is l even?
False
Is 2790/31 - (0 - 7) a multiple of 5?
False
Let w(o) = -79*o - 21. Is 18 a factor of w(-3)?
True
Let v be 8 - (12/3)/(-4). Let d(c) = 5 + 5 - v*c + 3*c - c**2. Is 2 a factor of d(-7)?
False
Suppose -v + 2*o - 18 = 0, o - 3*o - 6 = v. Is 3/(-9) + 2 + (-328)/v a multiple of 14?
False
Does 5 divide (136/6)/(108/162)?
False
Let i be (-9)/((-108)/344) + (-1)/(-3). Let g = -16 + i. Is g a multiple of 5?
False
Let k = 1172 - 542. Is k a multiple of 7?
True
Suppose 4806 + 144 = 18*c. Is 15 a factor of c?
False
Let z = 20 - 19. Let h be (16/(-20))/(z/5). Let d(g) = -7*g. Is d(h) a multiple of 15?
False
Let d(b) = 0 + 3 - 3*b - 2 - 2 - 2*b**2. Let q be d(-1). Suppose s + 3*s - 8 = q. Is s even?
True
Suppose 4*k = 20, n + 10*k - 14*k - 574 = 0. Is 43 a factor of n?
False
Suppose 2*j - 3*j = -21. Is (17/(68/40))/(2/j) a multiple of 7?
True
Suppose 6*p - 3972 = 10968. Is p a multiple of 10?
True
Let t = 273 + 587. Is t a multiple of 38?
False
Let t = 13 + -16. Is 14 a factor of 51/(-2 + (t - -6))?
False
Let b = 6 + -4. Suppose 0 = -4*j + 9 + 7. Suppose 3*i + 5*t = 78, -j*i - b*t = 2*t - 112. Does 16 divide i?
False
Is 4 + 28/(-7) - -751 a multiple of 20?
False
Let b be ((-6)/5)/(32/(-240)). Let t(r) = -r**2 + 13*r - 21. Is t(b) a multiple of 15?
True
Suppose -v + 2*v = 397. Suppose -2 = -d, v - 145 = 5*k + d. Does 22 divide k?
False
Suppose 357 = 9*k - 3. Is 2 a factor of k?
True
Let t be 14/(-63) - (-4)/18. Let i be (0 + t/1)/(-2). Suppose 0 = -i*p + 4*p - 164. Is 13 a factor of p?
False
Let d(h) = 128*h + 352. Does 32 divide d(23)?
True
Let l(m) = 13*m**2 + 9*m - 1. Let p(v) = -14*v**2 - 11*v + 1. Let s(u) = 6*l(u) + 5*p(u). Let o = 8 + -4. Is s(o) a multiple of 25?
False
Let w be (86/(-5))/1*35. Let t = -418 - w. Suppose 5*m - t = m. Does 17 divide m?
False
Does 11 divide -4 - (-321 - (-8)/(-4))?
True
Suppose -2*j + 0*j = -2*l + 66, -5*l - 4*j = -192. Suppose 3*t - 54 = -l. Does 2 divide t?
True
Let p be (1/2 - -1)*2. Suppose t - u = 42, t = p*u - 20 + 62. Suppose -t = -n + 3*g, 0*n + 5*g - 236 = -4*n. Is 18 a factor of n?
True
Suppose 4*o - 24 = b, 7*o + 16 = -4*b + 3*o. Is 19 a factor of 297/(-6)*b/6?
False
Let k(m) = -2*m**3 + 53*m**2 - 24*m - 47. Let b be k(26). Let p = 1 - 1. Suppose -b*j + p*j = -300. Is 27 a factor of j?
False
Suppose -27 = 5*z - 5*r - 682, -509 = -4*z - r. Let p = z + -53. Is p a multiple of 16?
False
Let c(y) be the third derivative of 0 + 1/30*y**5 - 1/24*y**4 + 13/20*y**6 + 3*y**2 + 0*y**3 + 0*y. Is c(1) a multiple of 24?
False
Let q = -37 - -39. Suppose -2*y + 5*l + 275 = 3*y, 3*l + 111 = q*y. Does 6 divide y?
True
Suppose 3*s + 40 = 4*t, 2*t + 7 = -2*s - 15. Let o(r) be the second derivative of -r**5/20 - 11*r**4/12 + r**3 + 8*r**2 - 20*r + 4. Is o(s) a multiple of 22?
True
Suppose -2*a - c = -394, -2*a + 8*a - 1178 = -5*c. Does 10 divide a?
False
Let t(g) = g**3 + 6*g**2 - 6*g + 10. Let p be t(-7). Suppose 5*h + 26 = q + 7, -3*q - p*h = -3. Let x(j) = -j**2 + 9*j - 4. Is x(q) a multiple of 16?
True
Let p(b) = b + 3. Let x be p(3). Let v = 71 + -269. Is x/12 - v/4 a multiple of 11?
False
Suppose 5*h - 1340 = -2*a + 849, -5*h - 5455 = -5*a. Does 78 divide a?
True
Let w = -1256 + 1844. Is w a multiple of 17?
False
Let d = 642 + -225. Suppose 2*n - 205 = g, 5*n + 5*g - d = 58. Is n a multiple of 20?
True
Let z = -23 - -108. Suppose x - 5*t = z + 17, x = 4*t + 99. Is 14 a factor of x?
False
Let h be (-18)/4*4/(-9). Let j be 2/((-8)/2 + h). Is 10 a factor of 3 - (112/j)/2?
False
Let v = -315 + 635. Does 47 divide v?
False
Suppose 3*p + q = -3*q + 850, 2*p + 3*q = 565. Is 10 a factor of p?
True
Let t(w) = -5*w**3 - 4*w**2 + 2*w + 3. Let v be t(-3). Suppose -4*l + 8*l = v. Does 3 divide l?
True
Suppose 3*y = 2*c - 283, -3*c + 427 = -12*y + 7*y. Does 34 divide c?
False
Let g be ((-25)/(-10))/(2/(-16)). Let b = -17 - g. Suppose 7*q = b*q + 48. Does 12 divide q?
True
Let i(j) = -4*j + 1. Let p be i(1). Let t(x) be the first derivative of -x**4 - x**3/3 - 3*x + 3. Is 24 a factor of t(p)?
True
Suppose 5*y = -0*y. Let l(o) = -o**2 - o - 7. Let d(b) = -1. Let t(f) = 4*d(f) - l(f). Is 3 a factor of t(y)?
True
Let o = -16 - -14. Let k be ((-1)/o)/((-1)/(-84)). Is -1*1 + (k - -7) a multiple of 14?
False
Let c be 1/(-4) + 668/(-16). Let o = 106 + c. Suppose -4*i = -o - 28. Does 5 divide i?
False
Is 15 a factor of ((-1)/2)/(5/(-9660))?
False
Let w(t) = -t**3 - 28*t**2 + 24*t - 71. Is 37 a factor of w(-29)?
True
Let a = -227 + 154. Let u = a + 106. Is 4 a factor of u?
False
Suppose -3*j = 3, 3*c - 102 = 3*j +