iple of 9?
False
Let z = 3580 + -1917. Suppose z + 977 = 44*m. Is 3 a factor of m?
True
Let s(p) = p**3 + 16*p**2 + 38*p - 11. Let i be s(-13). Suppose 0 = -3*q + 6, 610 = 2*z + i*z + q. Is z a multiple of 38?
True
Let p(z) = -28*z - 45 - 77 + 11 - 29*z**2 + 28*z**2. Is 2 a factor of p(-21)?
True
Let y(a) = 4*a**3 - 8*a**2 - 7*a + 6. Let g be y(6). Suppose -g = -5*s + 3*u, 3*u = -u - 20. Is 5 a factor of s?
True
Let n = -2607 - -5479. Suppose -7*p - 338 = -n. Does 15 divide p?
False
Suppose 8*c = 12*c - 2*g + 80, 5*c + 100 = -g. Is 10 a factor of ((-268)/(-2))/(-5 + (-108)/c)?
False
Let u = -639 - -903. Let d = 323 - u. Is d a multiple of 3?
False
Let q = 177 + -175. Suppose 117 = 5*m + 2*p, -3*m - q*p - 3 = -70. Does 8 divide m?
False
Suppose 11*d - 3*d = 360. Suppose 2*w + 4*g = -0*g - 74, -4*w = 5*g + 136. Let f = d + w. Does 8 divide f?
True
Suppose -9*w - 35 = -10*w. Suppose -5*n - 4*a + 107 = 16, 3*a - w = -2*n. Let d = n - -4. Is 23 a factor of d?
True
Let j(a) = -a + 1. Let h(f) = -f**2 + f - 91. Suppose -4*m = -2*i - 2*i - 20, m = 5*i + 9. Let t(s) = i*h(s) + 4*j(s). Does 15 divide t(0)?
False
Suppose 587877 = 85*t - 67*t - t. Does 7 divide t?
False
Suppose 6*u - 7*u - 3 = 0. Let s be ((-5)/u)/(2/30). Suppose q - 22 = n, s = 5*q + 5*n - 35. Is 10 a factor of q?
False
Is (68*105/(-180))/(2/(-8 + 2)) even?
False
Suppose -2*l - 2 = 3*h + 13, -2*h - 10 = 0. Suppose -t = -2, 5*z - 2*t + 558 - 2274 = l. Is 12 a factor of z?
False
Let q be -2 - (-37)/18 - 26050/(-900). Let a = -1 + 3. Suppose -a*d = r - q, 5*d + 17 - 104 = -3*r. Is 29 a factor of r?
True
Suppose -2*j - z + 3910 = 0, -14*j = -12*j + 4*z - 3916. Is 9 a factor of j?
False
Let v(u) = u**3 - u**2 + u. Let b be v(0). Suppose 0 = -3*q - 2*x + 10 + 54, 4*q + x = 82. Suppose b = -29*z + 30*z - q. Is z a multiple of 20?
True
Suppose 0 = -5*q - 3*u + 15413, 3*q + q - 3*u = 12352. Suppose q = 28*j - 6995. Is j a multiple of 23?
False
Suppose 0 = -5*q - 159 + 179. Suppose 3*f = 3*v - 1944, -q*f = v + v - 1290. Is v a multiple of 9?
False
Suppose -39593 = -25*j + 16657. Suppose -3470 = -10*w + j. Is w a multiple of 9?
False
Suppose 182*o - 179*o = 0. Is 21*(o - (-648)/42) a multiple of 9?
True
Let d(m) = 15*m - 7152 - m + 12*m + 7172. Let h(g) = g + 2. Let u be h(4). Does 22 divide d(u)?
True
Let j = 475 - 470. Suppose 0 = 4*q + 3*d - 4656, q + 0*q - 1187 = j*d. Is 10 a factor of q?
False
Suppose 51*d - 46*d + 5*k - 80105 = 0, 5*k = -2*d + 32063. Is d a multiple of 102?
True
Suppose 3*z - 4*i = 5, -i + 3 = -3*z + 11. Suppose 3*p - 15 = 8*p + 3*q, z*q = p + 21. Let u(r) = -r**3 - 5*r**2 - 5*r + 12. Is 13 a factor of u(p)?
True
Let y(m) = -3*m + 15. Let a(h) = 3*h - 14. Let f(g) = -6*a(g) - 5*y(g). Let p be f(-7). Is 9 a factor of ((-25)/2)/(-5)*156/p?
False
Let p be 4 + (9 - 7) + 1266 + 2. Let r = -758 + p. Does 22 divide r?
False
Let g(r) = 6*r - 36. Let w be g(10). Let x = 28 - w. Suppose n - 43 = 4*l, x*l - 32 = -2*n + 18. Does 14 divide n?
False
Suppose 0 = -f - 5 - 37. Let r = f + 39. Let b = 3 - r. Is b a multiple of 2?
True
Let z = 356 - 169. Suppose -5*w = -z - 163. Suppose -5*x + 115 = -w. Does 5 divide x?
False
Suppose 4*i + 5*m - 12060 = 0, -6*i + 5*i = 4*m - 3026. Does 38 divide i?
False
Let o be 159/2*(-11 + 5). Suppose 0 = 28*p + 4739 + 16093. Let h = o - p. Does 28 divide h?
False
Suppose 4*l - 58 = -o + 172, 4*o = l - 49. Does 30 divide (-10)/((-405)/l + 7)?
False
Let k(z) = -z**2 - 18*z - 29. Let q(f) = -4*f**2 - 53*f - 86. Let v(h) = 6*h**2 + 5*h - 4. Let b be v(1). Let y(i) = b*k(i) - 2*q(i). Is 12 a factor of y(26)?
False
Does 15 divide (-31)/124 - 23281/(-4)?
True
Does 95 divide 17 - 8 - (0 - (3314 - -2))?
True
Suppose -d + 168 = 2*c - 337, 4*c + d = 1005. Does 9 divide -7*8/(-196) + c/7?
True
Let b(l) be the third derivative of 5*l**2 + 0 + 1/6*l**4 + 0*l - 2/3*l**3. Is b(3) a multiple of 4?
True
Let k = -6177 - -13556. Is 76 a factor of k?
False
Let r be 19 - 746 - (-3 - -7). Let n = -321 - r. Is 9 a factor of n?
False
Suppose 16 = -3*t + 37. Let j(c) = 3*c**2 - c + 16. Let b be j(t). Let u = 240 - b. Does 21 divide u?
True
Let w(g) = g**3 + 2*g**2 - 25*g. Let j be w(4). Suppose -2*o - 3 = -3*o. Is 17 a factor of (j - -9)/(-2*o/(-102))?
True
Suppose 5*f = 3*x + 1, -3*f + 6*x = x + 9. Let t(w) = 6*w**3 + 6*w - 3*w**3 - 2*w**3 + 4*w**2 + 4 + 7*w**f. Is t(-9) a multiple of 28?
True
Suppose 4*s + 2*j - 22 = -s, -j + 5 = s. Let v = 708 - 708. Suppose 2*y + r - 2*r = 75, v = -s*r - 20. Is y a multiple of 7?
True
Suppose 5*f = 104*f - 1023264. Is 7 a factor of f?
False
Let z(f) = -6*f + 19 + f + 10*f + 21*f. Let d(t) = 2*t - 1. Let a(q) = 2*d(q) - z(q). Does 30 divide a(-7)?
False
Let o(w) = -2*w**3 - 5*w**2 - 6*w - 15. Let k be -1 - (2/(-6) - (-39)/9). Is 54 a factor of o(k)?
False
Let f = -85 - -93. Suppose 2*l + 2*w + f = -6, 4*l = -5*w - 33. Is 715/5 - (-2 - (1 + l)) a multiple of 48?
True
Suppose 57*k = k - 168. Let y(h) = 30*h - 15. Let c(n) = -121*n + 61. Let p(g) = -2*c(g) - 9*y(g). Is p(k) a multiple of 25?
False
Let j(q) = -6*q**2 - 1132*q + 208. Is 218 a factor of j(-135)?
False
Suppose -52 = 11*r + 25. Is -1*r/3*990/30 even?
False
Suppose -49 = w - 31. Let h = 18 + w. Suppose h = -7*s + 8*s - 32. Is 16 a factor of s?
True
Let a be 6/(-4)*(3/3 + -3). Let g(o) = 35*o**2 - 13*o + 44. Is g(a) a multiple of 9?
False
Suppose 0 = 6*v - 2048 - 2032. Suppose 4*p + 5*b - 96 - 821 = 0, 3*p - v = 4*b. Is 57 a factor of p?
True
Suppose 0 = 2*f + 16, -1027*b - 5*f = -1024*b - 2174. Does 82 divide b?
True
Let n(b) = -b**3 + 11*b**2 + 21*b + 66. Let u be n(13). Let p(z) be the second derivative of 53*z**4/6 - z**2/2 - 3*z. Does 15 divide p(u)?
True
Let i(d) = 2181*d - 8582. Does 10 divide i(12)?
True
Suppose 0 = -7*l + 3*l + 20. Suppose -10 + l = -z. Suppose 169 + 106 = z*h. Does 21 divide h?
False
Let i be (-4320)/24*(1/3 - -1). Let w = -15 - i. Is w a multiple of 15?
True
Suppose 0 = 21*j - 23*j + 14. Suppose -28*w = -j*w - 147. Is w a multiple of 3?
False
Let a(h) = 81*h + 1290. Does 303 divide a(146)?
False
Let h(s) = 134*s - 60. Let i be h(30). Suppose -3*m = 9*m - i. Is m a multiple of 30?
True
Suppose -4*m = 5*s + 14 + 69, s = 1. Is 18/99 + (-9236)/m a multiple of 84?
True
Suppose -4*z + 6163 = 3*t - 15537, -5*z = t - 27114. Does 35 divide z?
False
Suppose 66*u - 8*u - 22880 = 6*u. Is 20 a factor of u?
True
Suppose 2*b = 2*v + 7400, -51*v + 47*v - 7408 = -2*b. Suppose 251*x = 259*x - b. Is 21 a factor of x?
True
Let w(d) = -24*d - 84. Let k(u) = 5*u + 17. Let s(a) = -11*k(a) - 2*w(a). Let n(x) = 2*x**2 + 14*x + 14. Let p be n(-4). Is s(p) a multiple of 34?
False
Let p = 676 + -1358. Let b = p - -1039. Is b a multiple of 29?
False
Suppose 35*l = -26897 + 81637. Is 10 a factor of l?
False
Let z(x) = 3*x**3 + 820*x - 782*x - 12 - 2*x**3 + 14*x**2. Is 17 a factor of z(-9)?
True
Suppose -2145 = 844*p - 839*p. Let u = p - -457. Does 2 divide u?
True
Does 37 divide 1419 + 8/24*-39?
True
Suppose -10*v - 129977 = -60*v + 129873. Does 66 divide v?
False
Let u = -591 + 1058. Let g = 725 - u. Does 43 divide g?
True
Is 90/25 + -5 + (-11357)/(-205) a multiple of 9?
True
Suppose -642 + 30 = w. Let m = 1637 + w. Is m a multiple of 48?
False
Suppose f + 3*m - 245 - 691 = 0, 3*f + 5*m - 2824 = 0. Is 30 a factor of f?
False
Let o(l) = -l**3 + 3*l + 2. Let s be o(2). Suppose s = -6*z + z + 25. Is (4/6)/(z/30) a multiple of 3?
False
Let c = 50 - 13. Suppose -35*x + c*x - 246 = 0. Is 12 a factor of x?
False
Let d be (-3)/(5 - (-9048)/(-1806)). Is 2/(-14) + 0 - (-183653)/d a multiple of 61?
True
Let y = 255 - -5205. Is y a multiple of 60?
True
Let f be (-2 + 259)/(-3 + 4). Suppose -8*i + 1025 - f = 0. Is 4 a factor of i?
True
Is 35 a factor of 224/((-78)/(-45) - 60/36)?
True
Is 2 + -4 + (-24)/(-20) - 174564/(-130) a multiple of 122?
True
Let i be (4/6)/((-10)/(-75)). Suppose i*j - 3 = -3. Suppose 0 = 4*x + 5*p - 339, j = 3*x + 5*p - 334 + 76. Is x a multiple of 20?
False
Is 28 + 15 + 9068 - ((-1 - 1) + -1) a multiple of 49?
True
Suppose 3*r = 5*t - 9, -t + 5*r = 4*r - 1. Let n be t/(-6) - 54/(-4). Suppose n*h - 195 = 26. Is h even?
False
Let s be ((-29)/(-261))/(2/6)*3579. Suppose -s + 460 = -n. Is 78 a factor of n?
False
Suppose 2*q - 4*q + 130 = 0. Let i = q + -66. Let u = 19 - i. Is u 