 4 divide (-15)/2*(-28)/b?
False
Let u(q) = -2*q + 7. Let j be (-204)/18 - 1/(-3). Is u(j) a multiple of 6?
False
Let o = -23 - -18. Let h(y) = -y**3 - 5*y**2 - 2*y. Let t be h(o). Suppose -7*f - 66 = -t*f. Is 6 a factor of f?
False
Let f be (-3 - -2) + (-3 - -17). Suppose -4*p - 7 - f = 0. Let a = 32 + p. Is a a multiple of 27?
True
Suppose -2 = -3*h + 70. Let o = h + -21. Suppose o*r + 24 = t, -t + 5*r + 64 = 2*t. Is t a multiple of 9?
True
Let d = -7 - -6. Let h = -32 + 24. Is 6 a factor of 2 + -4 + h/d?
True
Suppose -3 = a - 2*a, -4*f + a + 9973 = 0. Does 43 divide f?
True
Does 18 divide (-7)/(14/(-166))*(0 - -2)?
False
Suppose -3303 - 1287 = -9*g. Is g a multiple of 30?
True
Let a be (1 - 1) + 1 + 3. Suppose -2*j - x = -56, -a*j + 4*x = -83 - 17. Is j a multiple of 11?
False
Suppose -2*c + 17 - 1 = 0. Let k be c + -5 + (-2)/1. Does 21 divide 23 + 0 + (-1 - k)?
True
Let a = 5 - 11. Let q be 2/((-8)/a - 2). Let s = 17 + q. Does 5 divide s?
False
Let p(f) = -2*f**3 - 22*f**2 - 85*f - 29. Is 41 a factor of p(-14)?
True
Suppose -18*g + 10142 = -20350. Is 77 a factor of g?
True
Let i be (-2)/(-1 - 15/(-18)). Suppose -t = -0*t - 4, -4*y + i = t. Suppose -4*h - 2*l + 100 = 0, -5*l = y*h - 22 - 12. Is h a multiple of 27?
True
Let b = 242 + -11. Is 33 a factor of b?
True
Let f = 0 - -4. Let j = f - 3. Suppose 0 = 4*c - 47 - j. Is c a multiple of 10?
False
Is 96 a factor of (103 - 3/(-12)*-28)/1?
True
Let a(u) = -29*u + 232. Is 17 a factor of a(-9)?
True
Let x(p) = 7*p**2 + 11*p + 6. Let c(u) = -36*u**2 - 56*u - 30. Let d(k) = 3*c(k) + 16*x(k). Let i be d(-6). Suppose 6*o = 3*o + i. Is o a multiple of 17?
True
Suppose -50*t - 630 = -55*t. Does 3 divide t?
True
Let u(p) = -p**2 + 7*p - 8. Let c be u(4). Suppose a + 367 = 6*a - 4*q, 4*q - 272 = -c*a. Is a a multiple of 9?
False
Let x = 15 + -10. Suppose x*d = -33 + 173. Suppose -3*v + 76 = d. Does 8 divide v?
True
Suppose -5*n + 28 = 5*a - 47, -5*a + 65 = -5*n. Suppose 4*s = -a + 62. Is 6 a factor of s?
True
Let z(g) be the third derivative of -g**6/120 + g**5/10 - 5*g**4/24 + 2*g**3 - 5*g**2. Is 6 a factor of z(5)?
True
Let a(p) = 2*p - 3. Let m be a(4). Suppose -3*u - 44 = -m*s, 2*u + 46 = -0*s + 5*s. Suppose 0 = 5*w - s - 10. Does 2 divide w?
True
Suppose 16*o + 10*o - 1586 = 0. Is 7 a factor of o?
False
Let n(h) be the third derivative of -h**5/60 + 7*h**4/12 - h**3/3 + 7*h**2. Let u be 0 - (-2)/(4/14). Is n(u) a multiple of 17?
False
Suppose 8*d - 6*d = -a + 157, 447 = 3*a - 2*d. Is a a multiple of 11?
False
Suppose -f + 1458 = -5*l + 294, 2*l = 2*f - 2360. Is 8 a factor of f?
True
Let w(t) = 7*t + 15. Let n be w(14). Suppose n = q - 15. Is 16 a factor of q?
True
Let r(l) = -l. Let z be r(3). Does 29 divide 87/((-13)/z - 4)?
True
Let c = 95 - -8. Suppose 74 = 3*y - c. Is y a multiple of 35?
False
Let k(v) = -2*v - 4. Let b be k(1). Does 3 divide 4/b - (-130)/15?
False
Let r(c) be the third derivative of 31*c**5/20 - c**4/12 + c**3/6 - 10*c**2. Let p be r(1). Suppose 5*f - p = 63. Is f a multiple of 31?
True
Suppose 4*z + 78 = -i - 42, -132 = 4*z + 4*i. Let t = -29 - z. Suppose -d = -t*d - 27. Is d a multiple of 9?
True
Let f = -1529 + 1790. Does 4 divide f?
False
Suppose 9 = 3*k + q, -4*q - 1 = -3*k + 8. Suppose k = 3*l - 6. Suppose 6*j - l*j = 18. Is 6 a factor of j?
True
Suppose 12702 + 714 = 78*f. Does 19 divide f?
False
Let w be 0/(-2 + 1 + 2). Suppose 5*j = -5*i + 95, w*j - j - 5*i = -35. Is 11 a factor of j?
False
Suppose -2*z = -2 - 2. Suppose z*v + b = -0*b + 8, 0 = 3*v - b - 2. Suppose -204 = -v*y + 10. Is y a multiple of 39?
False
Let w = -353 - -551. Is 18 a factor of w?
True
Let l = 443 + 147. Is l a multiple of 59?
True
Let s = -256 - -703. Does 12 divide s?
False
Let y = 726 - -266. Is y a multiple of 9?
False
Suppose -23107 = -41*o + 2477. Does 17 divide o?
False
Does 6 divide 215 + (-4 + -6 - -6)?
False
Suppose 62 - 777 = -5*n. Is 48 a factor of n?
False
Let p(q) = 3*q. Let j be p(1). Suppose -5*z - 9 = n, -j*n + 3 = 5*z + 10. Does 7 divide z + 33/1 + -3?
True
Let b = -6 - -24. Let j(f) = -2*f**3 + 37*f**2 - 15*f + 4. Does 29 divide j(b)?
True
Suppose -146*r - 2928 = -158*r. Is r a multiple of 26?
False
Let r = 310 + -3. Does 17 divide r?
False
Let c(q) = -q**2 - 10*q + 7. Suppose -k - 12 = -0. Let d be (44/(-33))/((-2)/k). Does 23 divide c(d)?
True
Let v(r) = 3*r - 12. Let j be v(5). Suppose -x = h - 1, -x - 4*x + j*h + 37 = 0. Suppose -4*y - x*l + 81 = -33, 5*y = 3*l + 124. Is 22 a factor of y?
False
Let d = -51 + 61. Does 10 divide d?
True
Suppose 9 = 3*s - 3*g, 0 = 5*s - s + g - 12. Let h(q) = -7*q**3 + 2 + 8*q**2 + 6*q**s - 10 - 4*q. Is 13 a factor of h(7)?
True
Let n(q) = 14*q**2 + 48*q - 6. Does 96 divide n(-10)?
False
Let c = 8332 - 2569. Is c a multiple of 10?
False
Let z = -3 + 69. Does 25 divide 4 - (-4 + z)/(-2)?
False
Suppose -298 = t - 2*t. Suppose -11*s + t = -54. Does 2 divide s?
True
Let s = 19 + 191. Suppose 4*y = q + 3*q + 584, 0 = -5*q - 10. Suppose -5*b + s = -5*k, -4*b - k + y = k. Is b a multiple of 19?
True
Suppose -10 - 549 = -3*m + 5*h, 209 = m + 4*h. Is m a multiple of 37?
False
Let p = 21 - 27. Let u(d) = -d**3 - 6*d**2 - d - 4. Let h be u(p). Is h + 9/3 + 50 a multiple of 12?
False
Suppose -j - 650 = -2*j. Does 26 divide j?
True
Suppose -181*o - 960 = -187*o. Does 12 divide o?
False
Let u(w) = 2*w + 1. Let v be u(1). Let d(r) = 11*r - 5. Let k be d(2). Suppose -k = -v*g + 19. Is 3 a factor of g?
True
Let p = 86 + -49. Let v = 54 - p. Is 5 a factor of v?
False
Let h(u) = -2*u - 22. Let x be h(-12). Suppose x*p = 86 + 30. Does 14 divide p?
False
Let q be (1 + -15)*(-12)/(-8). Let u = q - -25. Suppose 0 = t + u*t - 185. Does 6 divide t?
False
Let b(t) = -t**3 + 23*t**2 + 33*t - 35. Is b(23) a multiple of 16?
False
Let d = 6 + -2. Let y be 3/d + (-34)/(-8). Suppose y*k = 26 + 114. Is k a multiple of 14?
True
Let j = 834 - 151. Is 12 a factor of j?
False
Let k(c) be the second derivative of -5*c**3/6 - 27*c**2/2 - 38*c. Is 6 a factor of k(-12)?
False
Let o be 10/((-57)/(-54) - 1). Let s be o/(-10)*2/(-6). Suppose 2*w - 69 = p, -106 = -3*w - 4*p + s*p. Is 6 a factor of w?
False
Suppose 0 = -5*x + 2*x + 21. Does 9 divide x*(22/7 - -2)?
True
Let x = -22 + 24. Let g = x - 0. Suppose -3*t - 109 = -g*f, -2*f + 16 = t - 89. Is 17 a factor of f?
False
Let h(v) = 8*v**2 - 4*v + 2. Let a be h(-5). Suppose a = 2*p + p. Suppose r = -4*c + p, -5*r + 32 - 4 = 2*c. Is 19 a factor of c?
True
Is 10 a factor of (-12)/(-1 - (-140)/148)?
False
Suppose 43*m = 3809 + 14896. Is 13 a factor of m?
False
Let v(k) = -k**3 + 6*k**2 - 5*k + 1. Let f be v(5). Let y be (0/f)/(-3) + 8. Let c(g) = 3*g + 4. Is 16 a factor of c(y)?
False
Let w(m) = 9*m - 6. Let x(f) = 10*f - 5. Let c(q) = 5*w(q) - 4*x(q). Does 5 divide c(5)?
True
Let v(s) = -189*s**3 - 2*s**2 + s. Let j be v(1). Let n = j + 404. Is 50 a factor of n?
False
Suppose -w + 1706 = m, 4*m = 3*w + 3090 + 3706. Is 6 a factor of m?
False
Suppose -4*f - 2*w = -3*w + 141, 5*f - w + 176 = 0. Does 10 divide (f - 0)*(-54)/63?
True
Suppose -2*h + 34 = 4*d, 3*h - 13 = 3*d + 29. Let c = h + -11. Suppose c*i - 3*k - 83 = 2*k, 2*k = 3*i - 64. Does 11 divide i?
True
Let x(w) = w**3 + 2*w - 7. Let o be x(3). Let t = o + 42. Is t a multiple of 12?
False
Suppose 0 = -46*y + 48*y - 1438. Is 9 a factor of y?
False
Let a(x) = 7*x**2 + 14*x - 30. Let y(j) = 11*j**2 + 21*j - 45. Let n = 6 - -2. Let f(q) = n*a(q) - 5*y(q). Is f(-11) a multiple of 29?
True
Is (-28246)/(-18) + 1 + 88/(-72) a multiple of 30?
False
Suppose 20*u + 132 = 24*u. Suppose 2*t + t = u. Is 2 a factor of t?
False
Let y = -44 - -268. Is y a multiple of 28?
True
Let p be -15*-1*(-170)/(-6). Suppose 5*t - 5*o = 530, 2*t - p = -2*t + 3*o. Is 27 a factor of t?
False
Let y(d) = -45*d + 2. Let n be y(-1). Let m = n + -17. Does 15 divide m?
True
Let i = -465 + 1533. Is 12 a factor of i?
True
Let f(n) be the third derivative of -n**6/120 + 7*n**5/30 + 2*n**4/3 - 17*n**3/6 + 2*n**2. Let r be f(15). Does 13 divide 57*-5*r/15?
False
Let h(r) be the third derivative of r**8/320 - r**6/720 + 3*r**4/8 + 6*r**2. Let w(b) be the second derivative of h(b). Is 10 a factor of w(1)?
True
Let m be 2/((-114)/29 - -4). Let t = 33 - m. Does 4 divide t?
True
Suppose 0 = 3*l - 6 - 15. Suppose -2*a = -l*a 