or of h(-3)?
True
Suppose -38*h + 296664 - 6608 = -91920. Does 14 divide h?
True
Does 189 divide 22313 + 5/10*-22?
True
Let t = 798 + 372. Is 22 a factor of t?
False
Suppose 12*a + 301 - 2077 = 0. Let s = 332 - a. Is s a multiple of 4?
True
Suppose -172 = -b - 4*d, 6*b = 9*b - 5*d - 465. Does 8 divide ((-255)/(-10))/(10/b)?
True
Let c(m) = 3*m**3 + 12*m**2 - 21*m + 56. Is c(11) a multiple of 28?
False
Let q(z) = 134*z - 86. Let r be q(9). Suppose 153*w - r = 149*w. Is w a multiple of 47?
False
Let k = -56 + 21. Let u(z) = -32*z + 1365. Let b be u(43). Let c = b - k. Is 6 a factor of c?
True
Suppose -27 = -2*w + 11. Suppose w*p + 29 - 504 = 0. Is 5 a factor of p?
True
Does 20 divide 8/((-112)/182) - -123?
False
Let b(p) = -p**3 + 5*p**2 - p + 8. Let a be b(5). Let u be (2 + (6 - (3 - 0)))*a. Does 4 divide 86/6 + (-5)/u + 2?
True
Is 115 a factor of (2 + -887)*(1275/(-180))/(1/4)?
False
Is 16 a factor of (5 - 55)*(-13104)/195?
True
Let z be 5/(-20)*0*-1. Suppose -6*p + 1875 + 1293 = z. Is 41 a factor of p?
False
Let d(m) = m**2 - 40*m + 168. Let h be d(36). Is (-1792)/h*(-3)/2 a multiple of 14?
True
Suppose 474*n = 528*n + 125130 - 2054226. Is 78 a factor of n?
True
Let t be (111/(-9) + -3)/((-2)/6). Let k be (1/1)/1*t/2. Suppose -k*j = -18*j - 110. Is j a multiple of 11?
True
Let r = 28934 - 14646. Is r a multiple of 47?
True
Let y = -16818 + 25869. Is y a multiple of 4?
False
Suppose 0 = 2*n + 2*j - 2, n + 3*n - 2*j = 22. Suppose -n*l = 2*c + 138, 5*l + 72 + 12 = -c. Does 34 divide 2/(-1)*-1 - c?
False
Let g(o) = 7*o + 6*o + 17 - 7. Let u(y) = -y**3 - 6*y**2 + 4*y - 8. Let x be u(-7). Is g(x) a multiple of 13?
False
Suppose -3*h + 5 = 4*o - 8*h, 4*o + 4*h + 4 = 0. Let z = -3 + 6. Suppose z*c - 2*g - 488 = o, -3*c = 3*g - 267 - 201. Does 10 divide c?
True
Let r(o) = 13*o**2 - 39*o + 385. Does 77 divide r(14)?
True
Let x = 9 + -6. Let j be (x/4)/(1/4). Suppose 2*d - j*v = -2*d + 191, 5*d - 245 = 5*v. Is d a multiple of 5?
False
Let l be (4 + 65/(-15))*0*1. Suppose o - 2*j = 296, l*o = 4*o + 2*j - 1204. Does 10 divide o?
True
Let n = -1381 + 5416. Does 33 divide n?
False
Suppose -3*q = -2*k - 22, 6*k + 2*q - 13 = 7*k. Let u(j) = -3*j + 5*j - j + j**2 + 7 - 21. Does 2 divide u(k)?
True
Let w(g) = -20*g + 240. Let q be w(-24). Let u = q - -80. Is 16 a factor of u?
True
Let c(w) be the second derivative of -w**5/20 + 7*w**4/6 + 4*w**3/3 - 11*w**2 + 3*w - 15. Is c(9) a multiple of 38?
False
Let r = 39 - 34. Suppose -f + 4*w + 98 = 0, r*w + 8 = w. Is 9 a factor of f?
True
Let c = 32 + -36. Let b(g) = -3*g - 4*g + 3 - 4*g + 0. Is b(c) a multiple of 4?
False
Suppose 1740 = -6*h - 60. Let t be (h/(-16))/5 - (-2)/8. Suppose -i - 3*i - 840 = -t*n, -4*i = 4. Is 30 a factor of n?
False
Let y(i) = i**2 + 3*i - 180. Suppose -9*o + 200 = 83. Is 7 a factor of y(o)?
True
Let k(p) = p**3 - 48*p**2 + 755*p - 95. Is k(22) a multiple of 10?
False
Let p(n) = 4*n**2 - n + 5. Let s be p(4). Let k be 1/4 - (2 + (-174)/8). Let y = k + s. Is y a multiple of 27?
False
Let d = -2657 + 18233. Is d a multiple of 3?
True
Suppose -3*j - 2*k = 92, 57 = 5*j + 3*k + 211. Is (-33536)/j*(-1)/(-2) a multiple of 62?
False
Let l be (-57)/((-2)/(-4) - (6 - 7)). Let s = l + 229. Suppose -4*w + 105 = -s. Does 13 divide w?
False
Let p(b) = -b**3 - 11*b**2 - b - 2. Let f be p(-11). Suppose 40 = 14*g - f*g. Suppose g*i - 12*i = -496. Is 17 a factor of i?
False
Is 569 - (-255)/(13 - 30) a multiple of 10?
False
Let f(c) = 99*c**2 - c. Let h(r) = r**3 - 6*r**2 + 6*r - 6. Suppose 4*m - 5 = -4*p + 19, 3*p + 5*m = 20. Let v be h(p). Does 24 divide f(v)?
False
Suppose 4*x = 3*g + 82971, -5*x + 10*g + 42919 = -60776. Is x a multiple of 7?
False
Let g(c) = 30*c**2 + 7*c + 4. Let r = -66 - -63. Is 10 a factor of g(r)?
False
Let q(i) = -61*i**2 + 12*i - 19. Let p(n) = -138*n**2 + 28*n - 38. Let c(t) = -4*p(t) + 9*q(t). Suppose 11 = 4*l - 13. Is c(l) a multiple of 12?
False
Suppose 170 = -2*f - 5*s, 4*f - 7*s = -2*s - 280. Let r = -105 - f. Is 14 a factor of 246*(r/(-9) + -3)?
False
Suppose -3*f - 9 = 3, -5*u = -4*f - 1781. Let n = u + -277. Is 5 a factor of n?
False
Suppose 2*b - 3*b - 5*h - 11 = 0, 0 = 2*b + 2*h - 10. Suppose 0 = -b*g - 4 - 419. Let k = 101 + g. Does 16 divide k?
False
Let c = 6367 + -1606. Is c a multiple of 23?
True
Let k(d) = -2*d + 20. Let x be k(9). Suppose -x*b + 3 + 1 = 0. Suppose -p - 2*l = -56 - 8, 0 = b*l + 10. Is p a multiple of 16?
False
Suppose 3157 = 7*z - 791. Is z a multiple of 4?
True
Suppose 0 = -3*r - 2*n + 12, -r + n = -2*n + 7. Let z be (1 + -3 + r)/1. Suppose z = -11*b + 7*b + 64. Is 4 a factor of b?
True
Suppose 0 = -3*u - 9, 5*u + 3045 = 2*f + 3*f. Let l = f + -471. Is l a multiple of 15?
True
Let y be (-1 - 0) + -1 + 420 + 0. Suppose -3*b = 2*g - 414, -b = g + g - y. Is g a multiple of 15?
True
Let v be (-42)/((36/(-16))/(-3)). Let l = v - -78. Suppose 166 - l = 4*n. Does 27 divide n?
False
Let c = -46309 + 79609. Is c a multiple of 90?
True
Suppose 0 = -39*s + 40*s + 11. Let w = s + 15. Suppose 324 = -o + 4*o - w*m, -4*m + 540 = 5*o. Does 27 divide o?
True
Let l(r) = 198*r + 2600. Does 43 divide l(72)?
True
Suppose -4*o = 12, -366 = 8*v - 5*v - o. Is ((-4)/(-6))/((-2)/v) a multiple of 4?
False
Suppose 42*s = 232*s + 106*s - 1509008. Does 16 divide s?
False
Let f be (179*(-16)/(-10))/((-72)/3420). Is 55 a factor of f/(-14) + 3/(42/4)?
False
Let t(r) = 6*r**3 - 5*r**2 - 305*r + 56. Is t(14) a multiple of 14?
True
Let y = 18623 - -2923. Is y a multiple of 171?
True
Let s be 246/12 - (-6)/4. Is 9/(-6) - (-2233)/s a multiple of 10?
True
Suppose q = 5*f - 8, 3*q + 2*f - 17 = -7. Suppose 3*o + q*i = 10, -i = -5 + 3. Does 22 divide (-1)/o + -5 + (-478)/(-4)?
False
Is 13 a factor of ((-2269120)/(-45))/14 - 4/(-18)?
False
Suppose -61*a - 162*a + 78388 + 622724 = 0. Is a a multiple of 8?
True
Let q = -1697 - -3127. Is 10 a factor of q?
True
Suppose -5*q = -76*n + 69*n - 288862, -2*q + 2*n + 115548 = 0. Does 127 divide q?
False
Suppose 36*b - 300 = 16*b. Is 6*663/24 - b/20 a multiple of 3?
True
Suppose -18*y - 167709 = -296229. Is y a multiple of 42?
True
Let u(s) = 3*s**3 + 3*s**2 - 4*s. Let j be u(-3). Let q be (-3143)/j - 3/(-18). Let a = q + -46. Is a a multiple of 29?
True
Suppose -3*u = -34 + 19. Suppose -2*g + 6 = u*y, 15 = 5*g + y - 6*y. Suppose 0*o = -g*o + 135. Is o a multiple of 8?
False
Let z = -779 + 769. Is -3 + 10/(z/(-211)) a multiple of 17?
False
Let j be ((-381)/4)/((-27)/180). Let q = -385 + j. Does 29 divide q?
False
Suppose 94*m - 5*k - 17690 = 93*m, 2*m + k = 35358. Does 13 divide m?
True
Suppose 5*y - 70*y = -42315. Is 9 a factor of y?
False
Suppose 0 = -3*k - v - 248 + 1215, 640 = 2*k + 3*v. Let x = -1623 + 2086. Let h = x - k. Is 18 a factor of h?
False
Let n(z) = 14818*z**2 - 53*z - 7. Is n(-1) a multiple of 19?
False
Let y(v) = -v + 2. Let z be y(-2). Suppose 5*r = z*f - 12, -f + 5 - 2 = 2*r. Suppose -138 = -3*u - f*u. Is 23 a factor of u?
True
Let b = -54 - -121. Let n = -98 - b. Let q = 251 + n. Is 16 a factor of q?
False
Suppose -482 = -b + 2*t, -1424 = -7*b + 4*b - 5*t. Does 5 divide b?
False
Let o(n) be the second derivative of -16*n**2 + 9/2*n**3 + 0 + 13*n - 1/12*n**4. Is 49 a factor of o(19)?
False
Suppose -2*l = -58 + 48. Suppose 3116 = l*a + 4*t, 5*a - 4572 = -5*t - 1457. Is 24 a factor of a?
True
Let x = 85 + 1. Suppose 4*q - x = 202. Is q a multiple of 14?
False
Let a(n) = 3*n**2 - 89*n + 655. Is 5 a factor of a(9)?
False
Let h(u) be the third derivative of -u**4/24 + 10*u**2. Let i be h(-4). Suppose 10*b - i*b = 252. Is 3 a factor of b?
True
Is 3 a factor of -3883*(-5 + 4)/(0 + 1)?
False
Let t(j) = 0*j**2 + 15*j**3 + 3*j**2 - 2*j - 6 - 14*j**3. Let h be t(-3). Suppose -8*q + 112 + 64 = h. Does 8 divide q?
False
Suppose 2 = -l - 68. Let g(n) = n**2 + 9*n - 55. Let x be g(-19). Let i = x + l. Does 5 divide i?
True
Let b(d) = 5013*d - 1815. Is b(3) a multiple of 6?
True
Suppose 362 = -4*f + 2*k, f = -k - 17 - 78. Let w = 263 + f. Suppose w = 2*c - 2*d - 117, 3*d = -3*c + 426. Is c a multiple of 23?
False
Let s be 5188*(-2)/(-6) - (-60)/(-180). Suppose -6*k + s = 13*k. Is 4 a factor of k?
False
Suppose -79*b + 157*b = 1787292. Is 57 a factor of b?
True
Suppose -4*l = -3932 + 1596. Suppose -d = 4*i - 2231, -1687 + l = -2*i - 3*d. Is 