. Is 16 a factor of p?
True
Suppose -2*u - 3*j = j - 112, 4*j = 5*u - 308. Let r = u - 29. Does 5 divide r?
False
Suppose 16 = -4*n, -2*y + 12 = -6*y - n. Let p(r) = -9*r + 1. Let x(f) = -1. Let s(c) = p(c) - x(c). Is s(y) a multiple of 4?
True
Is (10/12)/((-18872)/(-6288) + -3) a multiple of 57?
False
Let r(g) = 15*g**3 + 3*g**2 - 6*g + 2. Let y(i) = -14*i**3 - 4*i**2 + 7*i - 1. Let d(z) = 4*r(z) + 3*y(z). Does 11 divide d(2)?
True
Let z(r) = -r**2 - 9*r + 352. Is z(0) a multiple of 11?
True
Let i be -2 + 343 - 13/13. Suppose -119 = -3*z - 3*d + i, -4*d + 8 = 0. Does 8 divide z?
False
Let r(x) = -21*x**2 - 2*x + 5. Let g(o) = o**2 - 1. Let v(k) = -6*g(k) - r(k). Let h be v(-1). Suppose 0 = -4*m - h + 154. Is 13 a factor of m?
False
Let w = 0 - -3. Let k(z) = 4*z**2 - 3*z + 9. Is k(w) a multiple of 15?
False
Let j be (-3)/6*(1 + 1). Suppose 18 + 174 = 8*x. Let z = x + j. Is 5 a factor of z?
False
Suppose 0 = -4*m + 1 + 19. Suppose m*h - 218 = 2*r - r, -2*h = 5*r - 98. Is h a multiple of 15?
False
Suppose 17*p + 8472 = 25*p. Suppose -y - u + 803 = 2*y, u + p = 4*y. Is y a multiple of 19?
True
Suppose -5*w = -h - 13303, -w + 2663 = 4*h - 5*h. Is w a multiple of 35?
True
Let n = -45 + 22. Let p = 11 - n. Is 17 a factor of p?
True
Let s(y) be the second derivative of -y**4/12 - 13*y**3/6 + 5*y**2/2 + 6*y. Let v be s(-11). Let x = 51 - v. Does 6 divide x?
True
Let h(j) = j - 9. Let p be h(11). Suppose p*q + 0*q + 2 = 0. Is 51 - (-3 + 1 + q) a multiple of 14?
False
Let d = 7 + -10. Let k(q) = -77*q + 18. Let c(y) = 26*y - 6. Let w(v) = 17*c(v) + 6*k(v). Is w(d) a multiple of 22?
True
Let d = -29 - -62. Suppose d*u = 20*u + 1235. Does 10 divide u?
False
Let i = -287 + 442. Does 9 divide i?
False
Suppose -58*b = -49*b - 4860. Is 18 a factor of b?
True
Suppose 3*h - 6 = 210. Let z = h + -11. Suppose -o + 2*s = -2*s - z, 3*s - 190 = -5*o. Does 24 divide o?
False
Suppose -2*v + g = -160, 4*g + 520 = 5*v + 126. Suppose 2*k - 5*w = 63, -3*k + 3*w + v = -2*w. Is k a multiple of 7?
False
Suppose 4*i = 2*i - 3*j + 5250, -7876 = -3*i - 5*j. Does 46 divide i?
True
Suppose o = 3*o - 4. Suppose -2*s + t + 3*t = -12, 2 = o*s + t. Suppose 5*r = s*r - 3*z + 108, r + 4*z = 24. Is r a multiple of 17?
False
Suppose -145*b - 1050 = -159*b. Does 4 divide b?
False
Let y(z) = 11*z**2 + 4*z. Let l(v) = -11*v**2 - 5*v. Let w(b) = 6*l(b) + 7*y(b). Let s be 14/(-6) + 2/6. Is w(s) a multiple of 16?
True
Is 5 a factor of (33 - -5)*(-5)/((-20)/22)?
False
Let w = 9 - 4. Suppose -g = -2*j + 41 - w, 3*j - 54 = -3*g. Is j a multiple of 3?
True
Does 13 divide 544/7 + (-30)/(-105)?
True
Suppose i = -3*z + 1461, i - 4 + 7 = 0. Does 12 divide z?
False
Suppose -12*d = -5618 + 146. Is d a multiple of 24?
True
Suppose -6*v + 610 = 5*w - v, -470 = -4*w + 5*v. Let x = w - -32. Is x a multiple of 38?
True
Let g = -111 - -93. Suppose -5*o + 4189 = 269. Does 11 divide (-4)/g - o/(-36)?
True
Let t be (3 - 21/6)*-2. Let c be (-6)/4*(-6)/9. Is (-19)/(t*(-1)/c) a multiple of 11?
False
Let t(w) = -w**2 - 15*w + 19. Let i be t(-16). Does 34 divide 405/4 - i/(-4)?
True
Let h be (-4)/((-4)/5 + 1). Let j be 178/4 + (-10)/h. Suppose -a = -1, -3*a = -4*z + j - 12. Is z a multiple of 9?
True
Suppose -6*f + 1151 = -1201. Is 98 a factor of f?
True
Let z = 1510 + -1348. Is z a multiple of 6?
True
Suppose 0 = 5*n - 3*y - 1293, -7*n + 1839 = 4*y - y. Does 18 divide n?
False
Let n(h) = 37*h**2 - h - 7. Let o = 82 - 79. Is n(o) a multiple of 19?
True
Suppose -12 = 2*n + 5*d, 3*d + 20 = n + n. Suppose -n*y - 7*l = -2*l - 307, -3*y + 259 = -2*l. Is y a multiple of 11?
False
Let u(x) = x**3 + 14*x**2 + 19*x - 1. Let h be u(-12). Suppose h = 7*z - 46. Is z a multiple of 3?
True
Suppose -5*b + 1792 = 227. Suppose d + 3*z = 150, -3*z = -5*d + 437 + b. Is 14 a factor of d?
False
Suppose -5*j + 16 = -9. Suppose 2*x = 5*t + 60, j*x + 13 - 97 = -4*t. Is 2 a factor of x?
True
Let i = 178 - -995. Does 15 divide i?
False
Let f = 107 - 33. Suppose -2*c + f = 2*v, -5*c - 3*v = -6*c + 29. Is 10 a factor of c?
False
Suppose 0 = -20*z + 4168 + 32352. Is z a multiple of 90?
False
Suppose -30*o + 25684 + 2666 = 0. Is o a multiple of 9?
True
Let x(d) = 7 + d**2 - 2*d**2 + 0*d**2 - d + 7*d. Let l = 81 + -76. Is x(l) a multiple of 4?
True
Let p be -1 + 0 - (-5)/((-30)/(-816)). Suppose -3*g = -5*s - 47, 3*s - p = 3*g - 8*g. Is 12 a factor of g?
True
Suppose 3*q - 210 = 2*q - 2*g, -g = 3*q - 605. Suppose -5*j = -0*j - q. Let k = j + -4. Does 18 divide k?
True
Let j(x) = -x - 12. Let d be j(-4). Let a be ((-10)/d)/((-4)/(-16)). Suppose -4*m = 8*l - 4*l - 400, 0 = a*l + 3*m - 492. Is l a multiple of 20?
False
Suppose 3*n + 1 = -u, -4*n + u + 12 = -u. Let d = n + 27. Is 7 a factor of d?
True
Suppose -c + 0*c - 4 = 2*q, -3*q - 13 = -2*c. Suppose -132 - 2 = -c*h. Is 15 a factor of h?
False
Suppose 0 = b - 152 - 125. Does 28 divide b/3 - (2 - 1)/3?
False
Let v(o) = -o**2 - 11*o + 1. Let q be v(-11). Suppose l - 1 = q. Suppose -4*f + 26 = -l. Is f a multiple of 3?
False
Is 12/(-66) - 4646/(-22) a multiple of 35?
False
Let r(q) = -729*q - 15. Is 34 a factor of r(-1)?
True
Let w(s) = -6*s**3 - 4*s**2 + 13*s + 11. Is 47 a factor of w(-5)?
False
Let u = 67 - 64. Suppose u*z - 2288 = -13*z. Is z a multiple of 11?
True
Let y = -13 - -12. Let p(j) be the third derivative of -7*j**4/4 + 6*j**2. Does 14 divide p(y)?
True
Suppose 0 = -0*q - 5*q + 30. Does 20 divide (8/q)/4 - 358/(-6)?
True
Let s(f) = f**2 + f + 3. Let h be s(-4). Is 11 a factor of 85 + 2*(h/6 - 1)?
True
Let r be (-2 + 20/12)/(2/(-156)). Suppose -2*d = 2*l - r, -9*d + 8*d + 5*l = -31. Is 4 a factor of d?
True
Suppose -38*q + 42*q = 136. Let h = 54 - q. Is 20 a factor of h?
True
Let f = 76 - 34. Is 14 a factor of f?
True
Let i(t) = t - 4. Let v(x) = x + 1. Let j(p) = -3*i(p) - 6*v(p). Is j(-4) a multiple of 7?
True
Suppose 33 = 8*k - 7. Suppose 4*r - 20 = -2*u - 0*r, k*u = 3*r - 15. Suppose u = -4*a + 3*a + 17. Is 17 a factor of a?
True
Suppose 30 = -6*y - 18. Let a(b) = 6*b + 67. Is 7 a factor of a(y)?
False
Suppose -105 = -5*y + 2*r, -4*y + 4*r = -0*r - 72. Suppose 6*s = -3*h + s + 90, 0 = 4*h - 4*s - 88. Let c = h + y. Is c a multiple of 19?
False
Let n(s) = 46*s - 14. Is n(9) a multiple of 20?
True
Let x(v) = v**2 + v. Let a be x(-2). Let l(i) be the second derivative of i**5/20 + i**3/6 - i**2 - 13*i. Is l(a) a multiple of 8?
True
Let z be -2 - (-15)/(-6)*-2. Suppose 3*o = z*k - 0*k - 3, 2*k - o = 4. Suppose 171 = k*v - 27. Is v a multiple of 22?
True
Let c(u) = 2*u**3 + 36*u**2 - 3*u + 2. Is 8 a factor of c(-18)?
True
Does 8 divide (8067/9)/1 + 45/(-135)?
True
Let s = 472 + -296. Let i = s - 31. Is 19 a factor of i?
False
Is (10 - 5)/((-1)/(-132)) a multiple of 44?
True
Suppose 5*n - 1821 = 3*x, -3*n + x + 420 = -675. Does 9 divide n?
False
Let m(a) = 12*a**2 + 6*a - 2. Let t be m(-3). Suppose 2*f + t = 6*f. Is 5 a factor of f?
False
Let n = 3435 + -2044. Is 21 a factor of n?
False
Suppose -300810 = -20*b - 91*b. Does 57 divide b?
False
Is 19 a factor of (14/7 - 0) + 720?
True
Suppose 4*d - 468 = -4*i, 9*i - 5*d = 5*i + 486. Is 23 a factor of i?
False
Let d = 1106 - -336. Is 14 a factor of d?
True
Let q(h) = -5*h**2 - 3*h - 2. Let j be q(-4). Let g = -114 - j. Let i = -31 - g. Does 3 divide i?
False
Suppose 4*u - 2*o + 7*o = -721, 169 = -u + o. Let v = u - -291. Is v a multiple of 13?
True
Is (-6)/54 + (-45868)/(-36) a multiple of 13?
True
Let x(k) be the third derivative of -k**6/720 + k**5/60 + k**4/6 - 5*k**2. Let p(z) be the second derivative of x(z). Is p(-3) a multiple of 2?
False
Suppose 7*l - 7317 = -709. Is 15 a factor of l?
False
Let h(m) be the first derivative of -m**2/2 + 9*m + 9. Let v be h(5). Suppose c - 2*c - 126 = -t, v*t = -2*c + 498. Is t a multiple of 25?
True
Let z(m) = 48*m**2 + 32*m - 67. Does 7 divide z(2)?
True
Suppose 6*d = 5*r + 5*d - 150, 150 = 5*r + 5*d. Does 10 divide (-4 + 3)/((3/r)/(-1))?
True
Let c = 15 - 7. Let i = c + -6. Suppose 3*a - 336 = -5*o, -4*a + 9*a = i*o - 122. Is o a multiple of 22?
True
Let k = 154 - 103. Let n be 64/80 + 5/(75/(-192)). Let a = k - n. Is a a multiple of 21?
True
Let m = 294 + 2. Is 74 a factor of m?
True
Let r = 1180 + 2399. Is r a multiple of 14?
False
Let z be (-2)/(-10) - 312/60. Let r = -152 + 52. Is 19 a factor