pose 2*a - 5*h = m + 6, 0 = -a + h + 3. Let j(b) = b + 30. Is 15 a factor of j(a)?
True
Let c = -24 + 27. Is 10 a factor of c*2/6*62?
False
Let o(k) = -3*k**3 - 42*k**2 + 37*k + 44. Is 63 a factor of o(-17)?
True
Let n = -1139 + 1760. Is n a multiple of 3?
True
Suppose 5*o = 3*a - 2, -2*o + 3*a = -3*o + 14. Suppose -509 = -5*b + 3*y, 59 = o*b - y - 144. Is b a multiple of 13?
False
Suppose 4*r - 3 = 3*r. Suppose r*y - 500 = -2*y. Is y a multiple of 25?
True
Suppose -4930 = -9*s - 538. Does 32 divide s?
False
Suppose 2*g + 885 = 7*g. Does 13 divide g?
False
Suppose 0 = r + 3*c - 498, 498 - 24 = r - 5*c. Is r a multiple of 27?
False
Let p(c) = -404*c - 5. Does 5 divide p(-1)?
False
Let o(a) = 20*a**2 + 10*a - 7. Is 45 a factor of o(4)?
False
Suppose p + 2285 = -81*c + 84*c, -4*c = p - 3049. Is 50 a factor of c?
False
Let u(n) be the second derivative of -n**5/20 - 2*n**4 + 23*n**3/6 + 11*n**2 - 23*n. Does 18 divide u(-25)?
True
Let q = 365 - 73. Does 73 divide q?
True
Is (1/(-3))/(4/(-3060)) a multiple of 11?
False
Suppose 2*i - 630 = -4*y, -13*y - 163 = -14*y + 5*i. Does 34 divide y?
False
Suppose -3*h - 714 = -3210. Is 13 a factor of h?
True
Suppose x + 2*b = -2*x - 3512, 5*x + 4*b + 5852 = 0. Is 14 a factor of 28/98 - x/14?
True
Suppose -4*j = -3*n, j + n = 12 - 5. Suppose 3*g + 93 = j*c - 84, -4 = -g. Is c a multiple of 21?
True
Let n(x) be the second derivative of x**6/360 - x**5/12 - 5*x**4/8 - x**3 - 6*x. Let r(m) be the second derivative of n(m). Is r(12) a multiple of 9?
True
Let d = -235 + 267. Is 16 a factor of d?
True
Let n(h) = 3*h**2 - h**2 - h**2 + 30 - 31. Is 3 a factor of n(6)?
False
Let b = -664 - -984. Is 16 a factor of b?
True
Suppose 3*b = -17 - 19. Let d be (-1 + 0)/(b/24). Suppose d*z - 22 = -3*z - 4*v, -2*z + 18 = -3*v. Is z a multiple of 3?
True
Let d(f) = 2*f + 1 - 7 - f. Is d(10) a multiple of 4?
True
Let a(g) = 58*g**2 + 4*g + 6. Does 18 divide a(3)?
True
Let r(a) = 4*a**2 + 3*a - 4. Let c(y) = y**2. Let x(b) = b - 2. Let p be x(5). Let l(h) = p*c(h) - r(h). Does 4 divide l(-3)?
True
Let p(n) = n**2 - 5*n + 1. Let w(j) = 2*j**2 - 6*j + 1. Let r(u) = -4*p(u) + 3*w(u). Let f be 3/(-21) - 68/14. Is r(f) a multiple of 13?
True
Let u(w) = 3*w - 12. Let g be (-3)/(-2)*80/15. Suppose -26 = -s + 3*f, 3*s - 5*f + g = 6*s. Does 7 divide u(s)?
True
Let j(p) = 25*p**2 - 14*p - 41. Is j(-4) a multiple of 44?
False
Suppose -u = 8 - 24. Let w(h) = 2*h - 24. Let z be w(u). Suppose -2*o + 3*p + 44 = z*p, -4*p + 88 = 4*o. Is 12 a factor of o?
False
Suppose 0 = -9*u + 1048 + 545. Does 59 divide u?
True
Suppose -t = -8 + 10. Let y(x) = -5*x**2 - x + 1. Let j(d) = -6*d**2 - 2*d + 1. Let g(n) = 4*j(n) - 5*y(n). Does 6 divide g(t)?
False
Let n be 387 - 2*(-5)/2. Let i = n + -168. Is i a multiple of 56?
True
Suppose -3*b - 2*q + 6016 = 0, -3*q + 7998 = 4*b - 5*q. Is 11 a factor of b?
True
Suppose 3*h + 4*k - 1376 = 0, -4*k = -h - 2*k + 462. Suppose -2*y = -3*j + 36 + 422, 3*j - y = h. Let d = -40 + j. Does 38 divide d?
True
Let h be -7*(-5 - 0)/5. Suppose -748 - 162 = -h*s. Does 13 divide s?
True
Let l = 2163 + -1523. Does 32 divide l?
True
Suppose -15*w = -14*w - 355. Is 21 a factor of w?
False
Let t(z) = -z - 3. Let x be t(-6). Suppose -2*b - 7*u = -2*u - 98, 5*b - 276 = x*u. Is 9 a factor of b?
True
Let t(v) = 89*v**3 - 5*v**2 + 2*v + 4. Is t(2) a multiple of 70?
True
Suppose -4*r = -0*r. Suppose r = 3*a - 29 - 16. Suppose -2*w - 3*u + 6*u + 17 = 0, u + a = 2*w. Is w even?
False
Let c(b) = -196*b + 27. Is c(-3) a multiple of 11?
False
Let j be ((-8)/(-1))/4 - -162. Suppose -5*c + k + j = -0*k, -5*k - 28 = -c. Is c a multiple of 11?
True
Suppose 0*l + l - 331 = 0. Let j = 4 - 8. Does 18 divide l/4 - j/16?
False
Is 13 a factor of 3/2 + (-54351)/(-54)?
False
Let a(o) = -2 + o**2 - 2*o - 7 + 6. Let m be a(3). Suppose 2*t = -m*t + 160. Is t a multiple of 22?
False
Let l(n) = -n**2 - 39*n + 446. Is l(-26) a multiple of 49?
True
Suppose 4695 = 8*z - 10345. Is 40 a factor of z?
True
Let p be (-2)/2*(2 + 0). Is (-306)/(-12) - 4 - (-1)/p a multiple of 4?
False
Suppose -10*j = -77 - 3573. Is 15 a factor of j?
False
Suppose -11*d = -22 - 473. Suppose d - 296 = -2*z - 5*p, 0 = -2*z - 2*p + 254. Is z a multiple of 25?
False
Suppose 0 = -0*t + 3*t - 3*d - 612, 0 = -5*t - 2*d + 1013. Suppose w + t = 8*w. Is 8 a factor of w?
False
Is 3 a factor of 6/9*(13167/18 + -10)?
False
Is 4 a factor of ((-2)/(-4))/((-12)/(-2496))?
True
Suppose 0 = -18*n + 13*n + 1150. Suppose 30 = -5*i + n. Let u = -8 + i. Is u a multiple of 6?
False
Suppose 3*y = -1 - 8. Let n = y + 9. Suppose -b = 4*b - h - 182, 3*h = -n. Is b a multiple of 12?
True
Is (3 - (-16)/(-12))/((-1)/(-3)) a multiple of 3?
False
Let q(h) = -h + 2. Let l be q(2). Suppose l = 4*v + 4, 0*v - v - 71 = -5*r. Let p = 31 + r. Is 13 a factor of p?
False
Suppose 2*j - 10*j = -400. Is 4 a factor of j?
False
Let c(d) = -2*d + 36. Let o be c(7). Does 4 divide -5*2/(-5) + o?
True
Let w = 48 + -48. Suppose -2*l = -6*l, 2*l = -3*m + 36. Let v = m - w. Is v a multiple of 5?
False
Let x(f) be the third derivative of f**5/60 + 11*f**4/24 + 5*f**3/2 + 3*f**2. Let r be x(-10). Suppose -r*k + 275 = z, -2*k - 2*z + 43 = -67. Does 11 divide k?
True
Let k = 469 + -153. Let g = -221 + k. Does 10 divide g?
False
Let k(q) = 156*q**2 + q - 3. Let o be k(2). Suppose 3*u - 3*j - o = 544, -2*u + j = -774. Suppose 0 = -6*r - r + u. Does 17 divide r?
False
Let l = 416 - 63. Is l a multiple of 23?
False
Let f = 146 + 74. Is 44 a factor of f?
True
Let j be 1 + -5 - -2*2571/6. Suppose -u - j = -5*m, 5*m - 3*u + 5*u - 859 = 0. Is 19 a factor of m?
True
Let x be -3 - (6/2 + -11). Suppose x*i - m = 442, 84 = i + 3*m - m. Is i a multiple of 22?
True
Suppose 2*d + 24 = 10*d. Is 4 a factor of (0/d + -15)/(-1)?
False
Suppose 0*x - 10 = -2*x. Suppose -21 = -x*i + 9. Suppose 0 = 5*s - 144 - i. Is s a multiple of 15?
True
Let d be 14/(-49) + (-88686)/14. Let o be (-4)/22 - d/55. Suppose 5*n + o = 385. Is 28 a factor of n?
False
Let g(x) = -2*x**2 + 5*x - 7. Let y be g(2). Is 25 a factor of 70 - (5/(-1))/y?
False
Suppose 142 = -3*a + 2*b - 4*b, 208 = -4*a + 2*b. Let x be 75/30 + 154/(-4). Let d = x - a. Does 14 divide d?
True
Let x = 127 - 121. Suppose -x*s = -4*s - 274. Is 8 a factor of s?
False
Suppose 0 = 3*k - r - 32, -6 = -5*k - 5*r + 14. Suppose -5*a + 6 = -k. Is a/((-9)/3) - -73 a multiple of 18?
True
Suppose 9 - 21 = x. Let z = 60 + x. Is z a multiple of 24?
True
Let d be 50/2 + (-6)/(-3). Let g be (-4)/6 + 180/d. Let m(x) = x**2 - x. Does 15 divide m(g)?
True
Suppose -5*f - 108 = 77. Let k = 43 + f. Does 3 divide k?
True
Let s = 47 - 89. Does 21 divide (-3 + 2)*s - (-6)/(-3)?
False
Let i be 34/4 + (-13)/(-26). Suppose i - 43 = -3*x + 2*p, 0 = 5*x - p - 45. Is x a multiple of 4?
True
Let w(i) be the third derivative of i**5/60 - 5*i**4/24 - i**3/3 + i**2. Let j = -432 + 442. Is w(j) a multiple of 21?
False
Let i = 258 - -10. Is 48 a factor of i?
False
Suppose 5*o - 120 = -o. Suppose 0 = -d + 5*d + o. Let i(y) = -y**3 - 5*y**2 - 6*y + 4. Does 11 divide i(d)?
False
Suppose 0 = -p + 10*p - 18. Suppose -p*k = -4*y - 76, y - 5 = 6*y. Is 13 a factor of k?
False
Suppose -5*q - 26 = -3*q. Let f = q + 36. Does 8 divide f?
False
Is 14 a factor of 1008/(-112) - 1950/(-2)?
True
Let k(n) be the first derivative of n**4/4 - 7*n**3/3 - n**2 + 11*n + 4. Let j be k(9). Is 8 a factor of (j/15)/((-3)/(-9))?
False
Let u(a) = -307*a - 214. Is u(-4) a multiple of 39?
True
Let i(w) = -50*w**3 + 8*w**2 + 9*w + 27. Does 7 divide i(-3)?
False
Let f(r) = -17*r. Suppose 9 = -3*m - 6. Let o be f(m). Suppose -7*z + o = -2*z. Does 7 divide z?
False
Let x(u) be the first derivative of u**4/4 - 5*u**3 + 13*u**2/2 + 17*u + 4. Let f be x(14). Is 13 a factor of (6/7)/(f/84)?
False
Let k be 9 + (-12 - 1) - (-1 - -11). Suppose 3*s - 14 = -65. Let g = k - s. Is g even?
False
Let g = 2158 + -1626. Does 19 divide g?
True
Suppose 0 = -j - 2*g + 538, 0 = -j - g + 5*g + 556. Does 68 divide j?
True
Let l be 34 - ((7 - 4) + 1). Suppose -4*w + l = -w. Is 5 a factor of w?
True
Let m = -59 + 458. Suppose 0 = -17*o + 14*o + m. Does 17 divide o?
False
Let i be (-125)/130*4 + (-2)/13. Is (2 + i)*189/(-14) a multiple of 13?
False
Let t be ((-2)/(-2))/(1/89). Suppose -3*m + 126 = -5*w, -3*m 