. Is 16 a factor of p?
False
Let a = 62 - 42. Let x be 2 - 0*(-4)/a. Suppose -5*c - 4 = -s - 1, 0 = x*c - 4. Is s a multiple of 13?
True
Let j(p) = p**3 + 25*p**2 - 53*p + 16. Is j(12) a multiple of 22?
True
Let j be ((-38)/(-10) + -3)*15. Let r = -73 - -76. Suppose -r*q + 648 = j. Does 12 divide q?
False
Suppose 18*u - 781 = 54335. Is 27 a factor of u?
False
Let i(h) = -125*h**2 - 47*h - 72. Let j(s) = 32*s**2 + 12*s + 18. Let r(o) = 2*i(o) + 9*j(o). Does 30 divide r(-4)?
True
Let a(g) be the third derivative of g**6/120 - g**5/12 - g**4/2 + 5*g**3/2 + 2*g**2 + 2*g. Let t(o) = o + 6. Let d be t(2). Is 25 a factor of a(d)?
False
Let k be (-14)/(-35) - ((-43)/5 + 0). Let q(i) = -i**3 + 8*i**2 + 8*i + 12. Let p be q(k). Suppose -5*o = -2*r - 148, -3*o + 64 = -p*r + 8*r. Does 10 divide o?
False
Let k(d) = 5*d**2 - 7 - 3*d**2 - 8 - 9*d - 3*d**2. Let y be k(-6). Suppose y*s = -j + 21, -3*j - j - 4*s = -84. Does 21 divide j?
True
Suppose -w = -0*w - m - 1336, 5386 = 4*w + 3*m. Is w a multiple of 61?
True
Let n(i) = 186*i**2 - 423*i + 55. Is 35 a factor of n(11)?
False
Is 20 a factor of -18*((-4760)/3)/20?
False
Let q = 658 + -612. Suppose -27*z = -q*z + 8930. Is z a multiple of 30?
False
Suppose -4 = -y + 41*c - 39*c, -4*c + 2 = 3*y. Suppose 4*o = -y*g + 1390, g = -5*o - 4*g + 1725. Is o a multiple of 25?
True
Let g be 8*-1*(46 - (-12)/(-4)). Let q = g + 861. Is q a multiple of 11?
True
Let k = 582 - 1008. Let i = -35 - k. Is i a multiple of 17?
True
Suppose 105 = 3*v + i, 0 = -v + 34*i - 30*i + 22. Does 12 divide (17/v)/(2/656)?
False
Let c be (-12 - -17) + (0 - -2 - 180). Let y = -101 - c. Does 9 divide y?
True
Let o(m) = -m**3 - 4*m**2 + 7*m - 6. Let q be 3/3*(-1 + -5). Let f be o(q). Suppose 88 = 28*u - f*u. Is u a multiple of 11?
True
Let j(k) be the third derivative of -15*k**4/8 + 2*k**3/3 + k**2. Let u(h) = -6*h**2 + 73*h - 73. Let c be u(1). Is 38 a factor of j(c)?
False
Let v(s) = -1552*s - 3. Suppose 33 = -2*m + 31. Let p be v(m). Suppose -p = -8*f - 429. Does 23 divide f?
False
Let l = 636 + -374. Let s = l - 156. Is s a multiple of 10?
False
Let y = -16 - -20. Suppose -c + 6*c + 2*t = 292, -y*c + 4*t = -228. Suppose 3*i = 367 - c. Does 7 divide i?
False
Let q(s) = -10862*s**3 + 4*s**2 - 3*s - 6. Does 71 divide q(-1)?
True
Suppose -6*j = 4*x - 99268, -10*x = -11*x - 4*j + 24837. Is x a multiple of 223?
False
Let v = 10 - 35. Let d(h) be the first derivative of h**3/3 + 9*h**2 - 22*h + 371. Is d(v) a multiple of 6?
False
Let y(g) = 13*g**2 - 4*g + 82. Let p be y(9). Suppose 19*r = p + 14177. Is 67 a factor of r?
True
Let c = -1199 - -1710. Does 12 divide c + -4 + -3 - 0/(-1)?
True
Let b(i) = -53*i - 5. Let t be b(5). Let y = 552 + t. Does 47 divide y?
True
Suppose 1821 = -103*g + 104*g. Let t = g + -1092. Does 9 divide t?
True
Let u be -12879*(1 - (-12)/(-9)). Suppose -s - 8*s = -u. Does 9 divide s?
True
Suppose -5*h + 17406 = 5*p + 4481, 0 = -5*p - 15*h + 12935. Is 122 a factor of p?
False
Let a(p) be the second derivative of -37*p**3/6 - 31*p**2/2 + 43*p. Let t be a(-11). Let b = -228 + t. Does 37 divide b?
True
Let z = -1388 - -2126. Is z a multiple of 6?
True
Let o = -3201 + 4318. Is 10 a factor of o?
False
Let i(v) = v**3 + 28*v**2 + 30*v + 18. Let s be i(-24). Suppose s = 20*j + 2. Is 13 a factor of j?
False
Let m = 22787 + -10493. Is 18 a factor of m?
True
Is 8 a factor of (1952/(-5))/(64/(-160))?
True
Suppose 1 + 5 = 3*i, 4*u + 14 = 3*i. Suppose -4*w + 3 = -5*t, 7*w - 10*w = -4*t - 1. Does 6 divide u + w - (1 - 126)?
False
Let o(z) = -24*z + 962. Let g be o(34). Let r = -131 - -241. Let y = g - r. Is y a multiple of 18?
True
Let r = -888 + 872. Let p(a) = -a**3 - 13*a**2 - 2*a + 60. Does 8 divide p(r)?
False
Let z = 15533 - -1587. Is z a multiple of 160?
True
Is 4 a factor of (-10)/16 - (-2439702)/3312?
True
Let h(z) = 2*z**2 - 11*z + 1. Let c be h(5). Let x be 5 + -3*c/(-12). Suppose 0 = 2*q - 3*b - 39, -b = 2*q + x*b - 31. Is q a multiple of 16?
False
Suppose -46*c + 527255 + 145565 = 179240. Is 30 a factor of c?
False
Suppose 27*u = 16*u - 22. Let i be (-48)/(-1 + (-6)/(-4)). Is (1/2)/(u/i) a multiple of 4?
True
Suppose 3*m - 34056 = -3*l, -l - 9*m = -4*m - 11324. Is 12 a factor of l?
False
Suppose 5*w + 4*u = -2335 + 30009, -16 = 4*u. Does 10 divide w?
False
Let d(n) = n**2 - 2*n - 12. Let k be d(-6). Let m = k - 20. Suppose -m = 3*v - 142. Does 29 divide v?
False
Is 5 a factor of (1025/(-1))/(7*1/(-49))?
True
Suppose -4*f = -4*b - 12392, -2*f + 7782 - 1590 = -4*b. Is f a multiple of 124?
True
Let b = 10918 + 1383. Is b a multiple of 200?
False
Suppose 2*u = -52*n + 53*n - 8282, 0 = -5*n - 5*u + 41365. Does 70 divide n?
False
Suppose 0 = 5*n, -4*d - 116 = 19*n - 16*n. Let w = 70 + -14. Let a = d + w. Does 3 divide a?
True
Let s(l) = 25*l + 1205. Is 15 a factor of s(23)?
False
Let s(c) = 14*c**2 - 4*c - 63. Let b be s(-6). Suppose 85 - b = -x. Is 26 a factor of x?
False
Let z = 9155 + -5972. Does 70 divide z?
False
Suppose 435319 = 36*i + 229884 - 294101. Is 182 a factor of i?
False
Suppose -8*t = 8 + 40. Is (260/(-14))/(((-12)/(-14))/t) a multiple of 8?
False
Let j(l) = 2*l**2 + 6*l - 4. Suppose -10*k + 6*k = 0. Suppose -5*t = -x - 43 + 12, -3*t + 15 = k. Does 9 divide j(x)?
False
Let y be (-14729)/(-26)*(-2 + 0). Let l = 1736 + y. Is l a multiple of 9?
True
Let n(i) = -i + 3. Let g(c) = 13*c - 5. Let h(p) = -g(p) + 4*n(p). Does 11 divide h(0)?
False
Let i(z) = 814*z**3 - z**2 - 9*z + 6. Is i(2) a multiple of 96?
False
Suppose 6*r + 12044 = 130316. Is r a multiple of 44?
True
Suppose 4*s = 8*p - 3*p + 33, 2*s + 3*p = 11. Let v(d) = -d**2 + 6*d + 9. Let t be v(s). Suppose -4*z + 576 = t*z. Does 29 divide z?
False
Suppose 3*j - 52 = 23. Suppose 8*c - j*c + 7276 = 0. Is c a multiple of 4?
True
Suppose -61*p - 44*p + 388135 + 527885 = 0. Is p a multiple of 32?
False
Let z = 3523 + 3455. Is 90 a factor of z?
False
Suppose y + 52 = -c, 3*c = -5*y - 76 - 78. Let f = 43 - c. Does 4 divide f?
True
Let n(i) = -i**3 + 14*i**2 - 13*i + 18. Let r be n(12). Let c = 188 - r. Is 38 a factor of c?
True
Let u(t) be the first derivative of -t**2/2 - 26*t + 9. Let p be u(-23). Let y = 18 - p. Does 12 divide y?
False
Let m be (-13 + 13)/(-2 - -1). Does 2 divide (-1 - m)*2/(8/(-44))?
False
Let d(s) = s**3 + 10*s**2 - s - 1. Let i be d(-10). Suppose -a - 2*a = i. Let z(g) = -5*g + 5. Does 4 divide z(a)?
True
Let v(l) = 1335*l - 2084. Is v(4) a multiple of 40?
False
Suppose y - 877 - 7395 = 2714. Is y a multiple of 65?
False
Let h(w) = -281*w + 3. Let t be h(-1). Let i = 107 + t. Suppose 5*g = 3*a - 0 - 299, -g + i = 4*a. Is a a multiple of 14?
True
Let j = 4 - -1. Suppose -b + j*i = -0*i + 22, b = -3*i + 18. Let m(p) = 4*p**2 + 2*p. Is 14 a factor of m(b)?
True
Let b = 32426 + -20433. Is b a multiple of 27?
False
Let l(z) = -z. Let b be l(0). Suppose b = 4*g + 3*g - 14. Is 20 a factor of (54 - -3) + 2/(g/3)?
True
Suppose -3*t + 13*c - 9*c + 8611 = 0, -3*c + 14371 = 5*t. Is 13 a factor of t?
True
Let f(u) be the second derivative of -u**5/20 + u**4 + 5*u**3/6 - 10*u**2 - u + 54. Is 5 a factor of f(12)?
True
Let k(f) = 220*f**2 + 67*f - 2. Is 23 a factor of k(-2)?
False
Suppose 21*p = 315640 - 84556. Is 100 a factor of p?
False
Let r(b) = b**3 - 7*b**2 - 84*b - 7. Is r(14) a multiple of 2?
False
Let q = -711 - 396. Let f = 1843 + q. Is f a multiple of 13?
False
Let q be (-1)/((-5)/6*4/10). Does 20 divide (q + (-1)/3*-1)*24?
True
Suppose t + 60*p = 62*p + 13260, -3*t + 39772 = -5*p. Is 28 a factor of t?
True
Suppose -23*a + 397413 = -46073. Is a a multiple of 27?
False
Is (-340)/510 + 366117/9 a multiple of 235?
False
Suppose -3*m + 12 = -4*a - 12, -5*m + a = -40. Let p(w) = -289*w - 25. Let o be p(5). Is (-6)/m + o/(-40) a multiple of 13?
False
Let z be (-4 - (-90)/27)*(0 - 60). Let d = 118 + z. Does 17 divide d?
False
Let q(x) = -3*x + 47*x**3 - 224 + 71 + 79 + 4*x**2 + 75. Does 7 divide q(1)?
True
Suppose 4*p + 4*l - 36780 = 0, -105*p + 6*l - 18358 = -107*p. Is p a multiple of 3?
False
Let q(s) = 7*s**2 + 111*s - 1275. Is 89 a factor of q(-55)?
True
Let g(f) = f**3 - 5*f**2 - 20*f + 40. Let l be g(13). Let q = l + -396. Is 46 a factor of q?
True
Let c = 1560 + -825. Let z = c - 319. Is 13 a factor of z?
True
Let k = 17 + -11. Let j(m) = -7*m**2