)?
True
Suppose -4*r - 52 = -8*r. Suppose 2*h = -w + 199, -r*h + 10*h + 5*w = -279. Is h a multiple of 14?
True
Suppose 0 = 2*k - 5*j - 13039, 3*k - 1015*j + 1014*j - 19591 = 0. Is 46 a factor of k?
True
Let x = 248 - 17. Let t = 693 - x. Is 7 a factor of t?
True
Let x(b) = b**3 - 5*b**2 - 7*b + 9. Let j be x(6). Suppose -23*o - 176 + 3120 = 0. Suppose -o = -d - 3*m, j = -m + 5. Is 61 a factor of d?
True
Let u = 21 + -30. Let k(r) = r**2 + 6*r - 23. Let b be k(u). Suppose -b*d + 87 = -41. Is d a multiple of 16?
True
Let x = 27 + -26. Let q(p) = -p**3 - p**2 + 3*p - 1. Let u be q(x). Suppose u = 5*l - 9*l + 80. Is l a multiple of 5?
True
Let y(c) = -34*c - 25. Let b(w) = 17*w + 13. Let z(r) = 5*b(r) + 3*y(r). Let f(d) = -d**2 + 3*d + 20. Let m be f(-4). Does 42 divide z(m)?
True
Suppose 2*u + 0 + 4 = -2*l, -l - 10 = 3*u. Suppose l*x = 11*x - 36. Is 3 a factor of x?
False
Let f(p) = -p**3 - 22*p**2 - 4*p - 8. Let x = -408 + 290. Let a = 96 + x. Does 14 divide f(a)?
False
Suppose 6672 = -9*g - 267. Let y = -463 - g. Does 6 divide y?
False
Let q(k) = 4 + 7 - 23 + 2*k**2. Does 4 divide q(-3)?
False
Suppose -1897 = -2*f - q + 1325, -12*f + 4*q + 19312 = 0. Does 7 divide f?
True
Let i = -448 - -448. Suppose i = -v + 5*r + 602 - 235, -3*v + 4*r + 1156 = 0. Is 8 a factor of v?
True
Suppose -p = 6*p - 63. Let a = 14 - 19. Let r = p - a. Is 11 a factor of r?
False
Is (2 - (-995)/20)/(14/(-30016)*-12) a multiple of 34?
False
Let c(d) = 12*d**2 + 9*d + 4. Let g be c(-4). Let t be ((-8)/(-6))/((-2)/6). Is ((-96)/(-20) + t)*g a multiple of 23?
False
Let m be ((-90)/8)/(4/(-16)). Let r be 15*(462/m - (-4)/10). Let v = r - 87. Is v a multiple of 9?
False
Suppose 254*a + 1215 = 269*a. Suppose -y - 4 = -x, -2*y = 2*x - 0*x. Is (25/(-15) + x)*a a multiple of 27?
True
Let o(b) = -18*b - 28 + 76 - 9*b + 8*b. Is o(-35) a multiple of 24?
False
Let z = -352 - -355. Suppose -2*i - z*i - 2*a = -2200, 0 = -i - 4*a + 440. Is i a multiple of 16?
False
Suppose -1512 = -5*k + 2*k. Let o = 20 - k. Let s = -313 - o. Is 8 a factor of s?
False
Suppose -5*t = 5*c + 35, -17 - 24 = 5*c - t. Let a(l) = -2 + l + l**3 - 2*l**2 + 4*l**2 + 9*l**2. Does 57 divide a(c)?
False
Let y = 51672 + -20646. Does 15 divide y?
False
Let n(d) = 214*d**2 + 3*d - 7. Is 114 a factor of n(5)?
True
Suppose 0 = 1695*g - 1703*g + 113088. Is g a multiple of 76?
True
Let s = 10 + -23. Let t = s + 18. Suppose x + 106 = 2*r + 2*r, -4*r = -t*x - 114. Does 4 divide r?
False
Suppose -4*i - 12 = -2*c, 4*c = 2*i + 2 + 10. Suppose -c*d + n = -9, 3*n - 14 = -2*d + 5*n. Suppose -2988 = -14*r + d*r. Is r a multiple of 17?
False
Let l be 11 + (-5 + -3)/2. Suppose 2*k + l*k - 2448 = 0. Is k a multiple of 8?
True
Suppose 21*x + 24050 = 23*x + 3*f, 5*x - 60136 = -2*f. Is 17 a factor of x?
False
Is 70/(-385) - (-331000)/55 a multiple of 39?
False
Suppose 2*r = -4*p + 4526, 2*p = p - 3*r + 1144. Is 10 a factor of p?
False
Let s be (-23 + 13)*21/(-15). Is 556 - (450/126 - (-6)/s) a multiple of 26?
False
Is ((-7)/(-7) + -1*4/8)*13272 a multiple of 59?
False
Let h = -216 + 216. Is 2 a factor of 26 + 2 + -2 + (h - -4)?
True
Let j(s) = s**3 + 2*s**2 - 18*s - 13. Let l be j(-5). Is 13 a factor of 149/(-8)*l*-4?
False
Let o = 57985 + -28409. Does 31 divide o?
False
Let o = 29504 + -29453. Let h be 2/6 - (-88)/(-3). Let a = h + o. Does 3 divide a?
False
Suppose 9753 = -27*l + 209121. Does 13 divide l?
True
Let n be (-3)/6*-1*22. Let a = 90 + -82. Suppose -a*w = -n*w + 75. Is w a multiple of 5?
True
Suppose 2384*k - 2375*k = 5625. Is k a multiple of 25?
True
Suppose -4*l + 3*l - 3*u - 744 = 0, -5*u - 748 = l. Let r = l - -882. Is r a multiple of 48?
True
Let s be (-3 + 2)/(-3*10/70560). Suppose -2*f - 752 = -s. Does 10 divide f?
True
Let o = -6996 - -7005. Let s(t) = 2*t + 1 + 2 + 2. Is s(o) a multiple of 11?
False
Suppose -x = 4*o - 86, 0*o = 5*x - 5*o - 555. Let a = x + -102. Suppose -4*g + 33 = -j + 82, -5*j + a*g = -229. Is 26 a factor of j?
False
Suppose -8*k + k + 77 = 0. Suppose 3*p - 65 + k = 0. Suppose -13*c - 135 = -p*c. Is 17 a factor of c?
False
Suppose -30*z = -82*z + 277160. Does 41 divide z?
True
Let y = 23 - 20. Suppose -h + 0*h + y = 0. Suppose -5*t = -t - 5*i - 228, h*i = -5*t + 248. Does 14 divide t?
False
Does 3 divide (3/(-6))/((-4954329)/495432 + 10)?
False
Let d be ((-1)/(-3))/(8/242784*6). Suppose -d = -25*b + 2314. Is 40 a factor of b?
True
Suppose v = -4*k + 68220, -2*v + 17054 + 34106 = 3*k. Is k a multiple of 15?
False
Let z be ((8 + -2)/(-1))/((-136)/(-1700)). Let d = -60 + 32. Let m = d - z. Does 6 divide m?
False
Let u(j) = 15*j**2 - 1495*j - 228. Is 77 a factor of u(107)?
False
Suppose 122*h + q - 270 = 121*h, h - 274 = q. Is 3 a factor of h?
False
Let i(u) = -u**2 - 13*u - 24. Let t be i(-9). Let m be (t*4/12)/((-1)/(-2)). Suppose -2*o + v = -m, 2*o + v = -3*v + 28. Is o a multiple of 2?
True
Suppose -3*w = 5*d - 2*d - 2982, -2*w + 5*d = -1960. Suppose 0 = -328*l + 334*l - w. Is 7 a factor of l?
False
Suppose -3*o + 150 = -18*o. Let m(p) = p**3 + 9*p**2 - 12*p - 2. Is m(o) a multiple of 6?
True
Suppose -18*m = -17984 - 33622. Does 49 divide m?
False
Suppose 8*w = 3*w, -3*c = w - 7872. Does 16 divide c?
True
Let v = 1001 + -956. Is v a multiple of 15?
True
Let d = 457 + -418. Suppose -d*a = -47*a + 968. Does 11 divide a?
True
Let l(c) = -2*c**3 - c**2 - 24*c + 801. Let x be l(0). Let q = x + -656. Is q a multiple of 3?
False
Suppose s + 3*s = 8. Let n be 8/6*(-6)/(-4) - s. Does 6 divide n + 1 + (45 - -2)?
True
Let i(n) = 123*n**2 + 546*n - 6157. Is 116 a factor of i(11)?
True
Let u(q) = 56*q**3 - 2*q**2 + 1. Let m be u(-1). Let d = 50 + m. Does 8 divide 18 - 2 - (d - (-25)/5)?
False
Let t(g) = 527*g + 46. Let q be t(2). Suppose -3*y + 3*u + 0*u + 825 = 0, 0 = -4*y - 4*u + q. Does 24 divide y?
False
Let f(n) = -n**3 - 3*n**2 + 29*n + 7. Let l be f(-9). Let t = -180 + l. Does 12 divide t?
False
Let v(s) = s**2 - 22*s + 128. Let h(j) = -j**2 - 12*j + 1. Let n be h(-10). Is 28 a factor of v(n)?
False
Let n = 21 - 18. Suppose -872 = -n*s + r + r, 4*r = -16. Is s a multiple of 57?
False
Suppose 20*m + 659 = 19*m. Let c = -520 - m. Does 2 divide c?
False
Let t be (-136)/6*(18/4)/3. Let o = t - -218. Let b = o - 63. Does 17 divide b?
False
Let o be 20 + -1 - (-29 + 31). Does 21 divide o/(-51) + 884/6?
True
Let g = -44286 + 63381. Is g a multiple of 57?
True
Suppose 22120 = 319*z - 312*z. Is 20 a factor of z?
True
Let n be 2 + -6 - -1 - -10. Suppose 2*a = -2, n*a - 2*a = -g + 250. Is g a multiple of 15?
True
Let c = -173 - 321. Let j = c - -1638. Is j a multiple of 26?
True
Let x = 839 - 822. Let m(z) = 30*z + 27. Is 34 a factor of m(x)?
False
Suppose -4*s - 16 = 0, 3*h - 12 = h + s. Suppose -2*r - 2*d + h*d = 0, -3*d = 3*r - 18. Suppose 3*i - 4*c + r*c = 434, -284 = -2*i - 2*c. Is 18 a factor of i?
True
Let z = -496 - -281. Let n = z - -257. Is n a multiple of 14?
True
Let c(m) = 3*m**3 - 17*m**2 + 9*m - 25. Let b be c(8). Let j = 891 - b. Is j a multiple of 9?
True
Suppose 20*x + 5918 = 6*p + 18*x, 5*p = x + 4933. Does 13 divide p?
False
Let h(x) = 30*x - 47. Let p be h(11). Let d = p + -108. Does 7 divide d?
True
Let c(g) = g**3 + 26*g**2 + 2*g + 55. Let q be c(-26). Suppose 5*r = q*u + 126, 5*r - 128 = -3*u + 7*u. Does 12 divide r?
True
Let z be (-4)/((-6)/(-36)*-2). Suppose -2*n + 3*p + 1122 = n, 0 = -4*p - z. Is 15 a factor of n?
False
Let g(m) = -3*m**2 - 9*m - 9. Let z be g(-4). Let d = z - -16. Is 8 + d + 65 + (2 - 1) a multiple of 23?
True
Let m(u) be the first derivative of -36*u**2 + 12*u + 31. Is 30 a factor of m(-2)?
False
Suppose -6601 - 49253 = -29*s. Is 11 a factor of s?
False
Suppose 476362 = 98*j - 1312862 + 166344. Is 16 a factor of j?
True
Let m(a) = a**2 + 60*a - 1515. Is m(76) a multiple of 13?
False
Let h be ((-27)/(-6) + -3 + -1)*2. Let f be (h/(-2) - 0)/((-4)/2224). Suppose -5*z - s + f = -5*s, 0 = 4*s + 8. Does 18 divide z?
True
Let p = 10738 - 9555. Does 7 divide p?
True
Let c(z) = 133*z**2 - 4*z - 15. Is c(5) a multiple of 14?
True
Is 13 a factor of (164 + 7)/9*(-2093)/(-7)?
True
Suppose -4*h - 45 = 7. Let b = 53 + h. Does 14 divide ((-147)/(-35))/(4/b)?
True
Let m = 74 + -42. Suppose 0 = 36*x - m*x - 16. Suppose x = -2*d, 0 = -3*f + 2*f + 2*d + 51. Is 10 a factor of f?
False
L