= 6649. Is h a multiple of 46?
False
Suppose 0 = 17*r - 62*r + 180. Suppose 0*n + n = r*q + 24, -4*n + 168 = 2*q. Does 4 divide n?
True
Let z = -417 - -427. Suppose 4*x + 5814 = z*x. Is 20 a factor of x?
False
Does 44 divide 264*(660/(-792) - ((-19)/2 - -2))?
True
Let h = 496 - 259. Let s = h + -147. Does 3 divide s?
True
Let n = -40826 + 72281. Does 66 divide n?
False
Let c = -150 - -151. Let w(r) = 84*r**2 + r - 3. Is w(c) a multiple of 27?
False
Suppose -2*g + 8 = 0, 10*n - 5 = 7*n + 4*g. Does 42 divide (7/3)/(n/3906)?
True
Suppose 0*m - m + 20 = 2*q, -3*q + 5*m + 56 = 0. Let u be 596/8 + -2*(-3)/q. Let j = u + 24. Is j a multiple of 18?
False
Suppose 0 = -2*m - 6 + 16. Suppose -z - 8 = -v - 1, 0 = m*v + 3*z + 5. Suppose -3*b + 8*b - 551 = k, 0 = -b - v*k + 108. Is 13 a factor of b?
False
Suppose -125*l - 180331 = -1464331. Is l a multiple of 96?
True
Let t = -19 - 56. Let u be 15/6*5/(t/(-24)). Suppose 3*y - 89 = n, -u*y = -0*y + n - 114. Is 4 a factor of y?
False
Let s be 385*(-4 + 72/15) + -4. Let u = 582 - s. Suppose -u = -3*n + j, -n - 3*n = 4*j - 392. Is n a multiple of 8?
False
Let i(m) = 7*m**3 - 9*m**2 - 79*m + 451. Is 2 a factor of i(5)?
True
Let a(p) = 2*p**3 - 22*p**2 - 56*p + 57. Is 10 a factor of a(21)?
False
Suppose d + 18*q - 22*q = 4, 0 = 5*q. Is 7 + (-659)/d*-4 a multiple of 18?
True
Suppose -6 = -s - 3*q, 0 = 9*s - 7*s - 4*q - 2. Suppose s*t + 11*t = 16128. Is 12 a factor of t?
True
Let k = 54363 + -21018. Is 13 a factor of k?
True
Let m = 585 - 278. Let x = -223 + m. Is 2 a factor of x?
True
Suppose -2*k - 14 = 2*v, -2*v = -3*v - 2. Is 27 a factor of 949 - (1 - (k + -1))?
False
Let y(i) = -i**3 + 16*i**2 - i + 20. Let u be y(16). Let r(f) = -f**2 + 3*f**3 - 3*f**3 - 4*f + 10*f**3 + u + 2*f**2. Is r(1) a multiple of 2?
False
Let f = 7968 - 4573. Is 11 a factor of f?
False
Suppose -296*n = -162*n - 471546. Is n a multiple of 39?
False
Does 78 divide 260*(-6 + 2 - ((-276)/20 + 2))?
True
Let b be -1*-4*(-9)/(-12). Suppose 2*j = -5*h - b*j + 2650, -5*j + 15 = 0. Is 78 a factor of h?
False
Let s(k) be the first derivative of -k**4/4 - 3*k**3 - k**2 - 12*k - 24. Let j be s(-9). Suppose 4*x = 2*v - 32, 3*v - 4*x = j*v - 98. Does 13 divide v?
True
Let s(p) = -3 - p**2 - 11 - 3*p + 2*p**2. Let k be s(6). Suppose -k*n + 2070 = 6*n. Is 23 a factor of n?
True
Is 6 a factor of ((-91)/65 - (8 - 13))*43*5?
True
Is 5 a factor of 5184/14 + 92/(-28) + (0 - -3)?
True
Let u(y) = 254*y**2 + 4*y**3 - 2*y**3 - 3*y + 3 - 253*y**2. Let w be u(-4). Let d = w - -148. Is 17 a factor of d?
True
Suppose 2*d = -2*r + 584, -4*r + 299 = -4*d - 837. Suppose -v = z + 4*v - r, -z = -v - 270. Does 21 divide z?
True
Suppose -3*t = 4 - 25, 3*t = -2*h + 6633. Is 19 a factor of h?
True
Is 6 a factor of 6/(-105)*5 + (-1)/(7/(-9291))?
False
Suppose 3*o + 14 = -s, o - s = -3*s - 8. Let t = 7 + o. Suppose -t*a - 7 = -88. Does 8 divide a?
False
Suppose 3*f - 6 = 0, 0 = -t + 3*t - 3*f - 252. Let q = t + -96. Is q a multiple of 19?
False
Suppose 3*m - 15 - 21 = 0. Suppose -m*z + 8*z = -1104. Is 12 a factor of z?
True
Let i = -49 - -43. Let o be 62/(-6) - (80/12 + i). Let d(s) = -s**3 - 12*s**2 - 26*s - 23. Is d(o) a multiple of 12?
False
Let q = -16 - -181. Let s be q + -2 + 0 + -1. Suppose -3*z + s = 4*b - b, -258 = -5*b + z. Does 8 divide b?
False
Let r(z) = -2*z**3 - z**2 - 3*z + 3. Let w be r(-2). Let m be (94*1/2)/1. Suppose w = x - m. Is x a multiple of 17?
True
Let m(q) = q**3 + 17*q**2 - 7*q - 18. Let c be m(-17). Let f = 51 + c. Is f a multiple of 8?
True
Let z be -1 + 4 - 3/1. Let x be 0 - (-77 + (z - -2)). Is x/6 - (-2)/(-4) a multiple of 5?
False
Let y(w) = 21*w - 90. Let l be y(-13). Let x = l + 489. Is 9 a factor of x?
True
Let q(r) = -32*r + 24. Let k(f) = -f**2 - 16*f + 127. Let m be k(6). Does 23 divide q(m)?
True
Does 234 divide (-936)/(703/32 - 22)?
True
Let h be (25 + -25 + 45)*((-6)/9)/1. Let y be (-2)/5 - (-26)/(-10). Does 7 divide 168/h*(45/2)/y?
True
Let s(v) = -3*v**3 + 13*v**2 + 24*v. Let d be s(7). Is (3 + -12)/(21/d) a multiple of 3?
True
Let r = -31974 - -49671. Is r a multiple of 33?
False
Suppose -30*v + 6 = -32*v + 2*n, v + 3*n - 9 = 0. Suppose -l - 1202 = -3*x, v = -x - 5*l + 482 - 108. Does 21 divide x?
True
Let o(j) = 69*j + 41. Let g be o(10). Let c = g - 491. Does 60 divide c?
True
Let v = -2832 - -2834. Let g(w) be the third derivative of 7*w**5/60 - w**4/12 + w**3/3 + w**2. Does 26 divide g(v)?
True
Suppose -3436577 = -167*x + 33*x - 805353. Does 14 divide x?
False
Suppose 3*a - 366 = 402. Let l = a - 250. Is l a multiple of 3?
True
Let c = -79 - -63. Let w = -14 - c. Does 16 divide (1 - w)*-3*26?
False
Let r = 12 + -16. Is 14274/30 - r/(-40)*8 a multiple of 10?
False
Let s = -171 + 176. Suppose s*f - 538 = -2*o + 1064, 0 = -5*f - o + 1606. Does 46 divide f?
True
Suppose -4*z + 24 = 0, -3*z + 1049 + 184 = t. Is t a multiple of 45?
True
Suppose 0 = 4*a - 996 - 1332. Let k = a - 231. Does 27 divide k?
True
Suppose 2*s - 192 + 188 = 0. Suppose -2*x = -4*o - 6*x + 4932, o = s*x + 1230. Does 56 divide o?
True
Is 4257/(-1161)*(4230/(-2) + 0) a multiple of 47?
True
Suppose 74*u = 77*u - 9405. Is 15 a factor of u?
True
Suppose 611 + 1989 = 65*h. Does 5 divide (8 + 287/(-28))/((-1)/h)?
True
Let v be -1 + 1 + 0 + 0. Suppose 8*t = 3*i + 7*t - 3, -5*t + 19 = 2*i. Does 27 divide (18 + v)/(i/9 - 0)?
True
Suppose 0 = 3*y + 9, -2*f + 6 = -4*y - 10. Suppose f*n = 3*t + n + 5, t - 5*n = -25. Suppose -5*a = -3*c - 94 + 19, t = a - 5*c - 15. Does 2 divide a?
False
Let t be (-5327)/(-15) + 9/((-810)/12). Let j = -228 + t. Is j a multiple of 17?
False
Suppose -4*l = 4*g + 8, -3*l - 17 = 2*l - 2*g. Let k be 2/2*l/((-18)/(-12)). Does 20 divide -1 + k + 415/5?
True
Let n(a) = -111*a**2 - 20*a + 46. Let p be n(2). Let s = 1030 + p. Is s a multiple of 37?
True
Let v(u) = u**2 + 17*u + 7. Let g be v(-17). Suppose -4640 = -g*s - s. Suppose -4 = 2*y, 2*o = -3*o - 5*y + s. Is o a multiple of 16?
False
Suppose 2*y = -2*n + 6, 5*y = 3*n + 10 - 3. Suppose -5*k - 2*q + 3 - 9 = 0, -3*q - 9 = y*k. Suppose -5*j + 41 = o, k*o + 279 = 4*o - 3*j. Does 11 divide o?
True
Let c = 76 + -77. Let j be (-14)/7*(1 + 0)/c. Suppose n = -j*i - i + 209, -5*i - 697 = -3*n. Is n a multiple of 13?
False
Suppose 1668*h - 1680*h + 110688 = 0. Is 87 a factor of h?
False
Does 85 divide (-62)/(-961) - (-24077403)/279?
False
Let c(l) be the first derivative of l**4/4 - 6*l**3 - l**2/2 + 23*l + 70. Does 4 divide c(18)?
False
Suppose s + 7479 = -3*d, -494 = -2*d + 4*s - 5466. Is 14 a factor of (d/12 - 1)/((-1)/6)?
False
Let o be 1806 + (-1 - -1) + 19 + -15. Suppose -s = -2*x + 374, 3*x + o = -5*s - 2*x. Let q = 604 + s. Is q a multiple of 17?
True
Suppose 0 = -2864*w + 2861*w + 9462. Is w a multiple of 38?
True
Let o(c) = -2*c**3 + 1. Let d(w) = -5*w**3 + 12*w**2 + 8*w + 12. Let s(l) = d(l) - 3*o(l). Is s(-5) a multiple of 6?
True
Suppose -4*r = 4*u - 8*u - 2120, 1580 = 3*r - 5*u. Is r a multiple of 5?
True
Let p(a) = 11*a**2 - 23*a - 878. Does 20 divide p(-38)?
True
Let n be 1092/(-10) - 2/20*-2. Let u = n - -327. Is u a multiple of 27?
False
Let a(u) = u**2 + 13*u + 25. Let i be a(-9). Let s be 3/(99/(-6)) - 1828/i. Suppose 2*k + 5*p - s = 0, -5*k - 4*p = -0*p - 415. Does 23 divide k?
False
Let s be -39*(-14)/7 + (-3 - -1). Let t(p) = -12 - 2*p - 24*p**2 + s - 20 + p**3 + 4*p. Is t(24) a multiple of 22?
False
Let b = 119 + 11. Let d = -128 + b. Suppose 3*u = -5*f + 246, 0*f = 4*u + d*f - 328. Is u a multiple of 14?
False
Suppose -250355 = -27*a + 53314. Is a a multiple of 222?
False
Let m = 665 - -380. Suppose -94*z + m = -89*z. Is 8 a factor of z?
False
Suppose 1401*m - 1410*m + 163875 = 8643. Does 224 divide m?
True
Let g(i) = 19 - 2*i - 25*i + 3*i + 3*i**2. Let o be g(16). Let r = o - 232. Is 19 a factor of r?
True
Let s(b) = 906*b**2 - 1887*b + 3. Is s(-3) a multiple of 115?
False
Let p = -42 + 44. Suppose a + 0*a - 4*v = -67, p*a + 3*v + 189 = 0. Let o = a + 182. Is o a multiple of 19?
True
Let p be (-9000)/85 - 4/34. Let x = p - -150. Is 2/8 + 1397/x a multiple of 8?
True
Let k be 5/((-75)/(-6)) - (-138)/30. Suppose 21 = -k*r + 8*r. Suppose 4*c - r*c = -258. Is 12 a factor of c?
False
Let h(s) = s - 7. Let j be h(7). Suppose -6*x - 10*x = -48. Suppose -3*a + 105 = r - j*a, 0 = -5*