-y*w - 1653 = -5*z, -6*z - 2*w = -2*z - 1340. Does 14 divide z?
False
Suppose 0 = -4*v + 7 + 5, 0 = 4*f - 3*v - 7. Suppose -4*t + u + 56 = 0, -7 = 4*t - f*u - 51. Is ((-2)/(-6) - -1)*(t + -3) a multiple of 3?
False
Suppose -9*x + 28 = 10. Suppose -12 = -x*h - 2*g - 0*g, h + 3*g = 0. Does 8 divide h/(36/8)*18/4?
False
Let l be (-4 - 0)/1 - -9. Suppose 5*i + 5*o = 640, o + 437 = l*i - 191. Does 42 divide i?
True
Suppose 0 = -4*g + 4*x - 9*x + 7502, -2*g + 3762 = -3*x. Does 6 divide g?
True
Suppose 5*g - 4 = q + 3, -2*g - 2*q + 10 = 0. Let f be (g + (-4)/(-2))/1. Suppose 110 + 22 = f*n. Does 15 divide n?
False
Let c be 18296/(-18) + (-12)/(-27). Let m = -326 - c. Let f = m - 430. Is 25 a factor of f?
False
Suppose 7*w + w - 240 = 0. Let g = w - 27. Suppose 125 = -g*m + 8*m. Does 9 divide m?
False
Suppose -2*k = 5*y + 5, 3*k - y = 5*k + 9. Let t(r) = 3*r + 41. Does 4 divide t(k)?
False
Let x be 946/10 + 12/30 + -1. Suppose l - 1770 + x = -3*j, j - 2*l = 568. Suppose -5*n = 160 - j. Is n a multiple of 19?
False
Let z(j) = 6322*j + 1154. Is 10 a factor of z(2)?
False
Suppose -30*r + 89877 = -8*r - 99543. Is r a multiple of 41?
True
Suppose 15*g = 13*g - 12. Let b be (-378)/(-14)*26*(-1)/g. Let m = b - 54. Is 15 a factor of m?
False
Let n = 21581 - 20389. Does 2 divide n?
True
Let p(b) be the second derivative of b**3/3 - 17*b**2/2 - 10*b. Let t be p(10). Suppose -5*j + 171 = -2*s - 166, t*j + 2*s - 215 = 0. Is 42 a factor of j?
False
Let f = 10847 - 37. Is 235 a factor of f?
True
Is 28/(-210) - (98196/(-45) + 4) a multiple of 33?
True
Suppose 3*g - 1143 = -u, -16*u + 20*u - 2*g = 4530. Is 54 a factor of u?
True
Let f(x) = -2*x + 3. Let m(q) = -3*q + 7. Let t(g) = 5*f(g) - 3*m(g). Let j be t(-4). Is 2023/14 - j/(-4) - -3 a multiple of 49?
True
Suppose -j + y - 22 = -6*j, j - 10 = -3*y. Suppose -10 = -2*c - j. Suppose 2*f + 2*g + 15 = c*f, -2*g + 36 = 2*f. Is f a multiple of 6?
False
Suppose -6*z = -3*z + 3*v - 342, 574 = 5*z + 4*v. Let q = 133 - z. Does 3 divide q?
True
Let n(m) = -m - 9. Let t be n(-8). Is 7 a factor of t*1*(-8 + (-660)/4)?
False
Suppose 3 - 23 = -5*m. Let r(p) = -17 - 9*p + 15 + m*p. Is r(-3) a multiple of 3?
False
Suppose 0*n + n - 169 = 3*y, 4*y = -3*n - 208. Let m be ((-4)/(-1) - 6)*(-79)/2. Let p = m + y. Is p a multiple of 6?
True
Let b = 1267 - -2374. Is 15 a factor of b?
False
Let f = 125 - 120. Suppose -4*n + 20 + 14 = 3*a, f*n = -4*a + 44. Let g(y) = -y**3 + 10*y**2 + 6*y + 30. Does 21 divide g(a)?
True
Let l be (7 - 5) + (1 - (-738)/2). Suppose 388 + l = 2*i. Is 20 a factor of i?
True
Let o(a) be the third derivative of -11*a**4/8 - 3*a**3/2 + 24*a**2 - 2*a. Suppose -5*s - 1 = m + 22, -2*s = 4*m + 20. Does 30 divide o(m)?
True
Let l be 9 - 4 - (-3 + 6). Suppose -12 = -l*k - 4. Suppose k*q + 198 = 6*q + 3*y, 0 = -4*q + 5*y + 440. Does 21 divide q?
True
Suppose -30381*c + 30395*c - 3290 = 0. Does 45 divide c?
False
Suppose -296 = 20*z - 76. Let v(h) = 0 + 1 - 4*h - 3. Is 42 a factor of v(z)?
True
Suppose -12651*j = -12607*j - 1344904. Is 34 a factor of j?
True
Suppose -3*h - 363 = -q - 5*h, -1448 = -4*q - 4*h. Let c = q - 181. Is c a multiple of 35?
False
Let l = -1019 + 2321. Is 7 a factor of l?
True
Let r(l) = -l**2 + 2*l + 9. Let i be r(5). Let o be i/(-18) + (-4)/(-6). Is 5 + (o - -1) + -2 even?
False
Let l(t) = -2*t**2 - 1. Let v be l(0). Let u be 99 - 0 - (8 + (-6 - v)). Suppose 5*r + 36 = u. Is 6 a factor of r?
True
Suppose 0 = -9*j + 11*j - 4. Let w(p) = 3 - 2 - j*p**2 - 3*p + 6*p**3 - 6 + 7. Is w(2) a multiple of 5?
False
Suppose -2*o + 1975 = 3*o. Suppose -5*s + n - 2*n + o = 0, -3*s = n - 239. Let d = s - 15. Is d a multiple of 21?
True
Let p(i) = i**3 + 3*i**2 + 6*i - 270. Is 122 a factor of p(17)?
True
Suppose 44*n - 28*n = 116*n - 2115600. Is n a multiple of 246?
True
Suppose 991770 = 151*k + 287959. Is 178 a factor of k?
False
Let u(w) = 119*w - 526. Does 47 divide u(113)?
False
Let t = 41419 + -14035. Is t a multiple of 48?
False
Let g be 4/(-14) + (-2 - 605/(-35)). Let x = -89 + 85. Let k = g - x. Is 2 a factor of k?
False
Let i(q) = -q - 1. Let z(c) = c**2 - 29*c - 16. Let u(v) = 4*i(v) - z(v). Is 7 a factor of u(22)?
False
Let d(h) be the second derivative of 8*h**3/3 + 42*h**2 - 56*h. Does 30 divide d(21)?
True
Is 46 a factor of (-2)/(-72)*6 - (4710/(-36) - 7)?
True
Is 3/((91/(-7))/26 + 347/690) a multiple of 2?
False
Suppose m = n + 2762, 0 = 4*m - 7*m - 5*n + 8270. Suppose -31*b = -33*b + m. Is 28 a factor of b?
False
Suppose 0 = 2*w - 4*w. Let c(u) = -7*u + 160. Let k be c(21). Suppose w = k*n - 242 - 1019. Is 16 a factor of n?
False
Let p(x) = -x**2 + 10*x + 50. Let q be p(16). Let s = q - -52. Suppose b = -s*b + 756. Does 21 divide b?
False
Let d = -38 + 32. Let q be 2/10 + ((-18)/(-15))/d. Suppose p = -q*p + 23. Does 7 divide p?
False
Suppose -4*o - 5*g + 109810 = 0, -137258 = -5*o + 104*g - 108*g. Is o a multiple of 18?
True
Let r(t) = -2*t**3 + 4*t**2 + 13*t + 6. Let q be (0 + (-9)/12)*8. Is 37 a factor of r(q)?
False
Let u(n) = 3*n**2 - 68*n - 11. Let a be u(28). Let y = -185 + a. Is y a multiple of 28?
True
Suppose -6 = 87*f - 90*f. Is 11 a factor of 6*-34*f/(-6)?
False
Let t = 154 - -152. Is 39 a factor of -3 + t - -2 - (-7 + 10)?
False
Let h(c) = -1219*c - 118. Is h(-2) a multiple of 116?
True
Does 48 divide (-1 - -1) + (8838 - (-3 - -10 - 7))?
False
Let p(d) = 97*d + 1. Let m be (-24)/(-14) + ((-140)/49)/(-10). Is p(m) a multiple of 3?
True
Let i = 443 + 349. Is i a multiple of 4?
True
Suppose 3 + 2 = -u, 136 = 4*x + 4*u. Let j = -49 + x. Is (-1)/2 - 1265/j a multiple of 9?
True
Suppose -3*g + 5*w = 17, -3*g = -8*g - 4*w - 90. Let f(o) = -66*o + 52. Is 52 a factor of f(g)?
False
Suppose -32*g + 26*g = 510. Let y = 29 - g. Does 19 divide y?
True
Is 73 a factor of 3867 + (5 - 3) - (0 + 0)?
True
Suppose 0 = -2*h - 4*y + 5616 + 12348, -5*h = 3*y - 44931. Does 11 divide h/54 - -5*20/(-225)?
False
Let c = -15733 - -19921. Is 40 a factor of c?
False
Suppose 9*j - 551 = -2*f + 14*j, -5*f + 1352 = -4*j. Let z = f - 156. Is z a multiple of 25?
False
Suppose -369*c = -385*c + 69696. Is 36 a factor of c?
True
Let w = 322 + -217. Let a be ((-54)/(-72))/(8/32). Suppose -w = -y + u + a*u, -5*y = -2*u - 543. Is y a multiple of 8?
False
Suppose 5*w - 5 = 0, -41 = -20*l + 22*l + w. Does 4 divide -13*l/28*(0 + 8)?
False
Let a = 307 - 551. Is (-30)/(-12)*a/(-1) a multiple of 10?
True
Suppose 501*r - 31268 = 498*r - 4*o, -3*r - 3*o + 31272 = 0. Is r a multiple of 34?
False
Let g = 7282 - 1141. Does 267 divide g?
True
Suppose a + 18 = 4*q, -6*q = -7*q + a + 6. Suppose 2*o + 4*s - 360 = 6*s, 2*o - q*s - 370 = 0. Is o a multiple of 5?
True
Let m(r) = 15*r**3 - 152*r**2 + 20*r + 16. Let x be m(10). Let o(s) be the second derivative of 8*s**3/3 + 37*s**2/2 + s. Is o(x) a multiple of 36?
False
Suppose -5*p + 60 = -0*p. Suppose 3*s - 18 = -p. Suppose -4*l = 0, 4*u - s*u = 5*l + 126. Does 9 divide u?
True
Let f = -850 + 853. Is f/18 - 42218/(-132) a multiple of 16?
True
Suppose -3*z + 24 = 261. Let l = z - -79. Suppose 0 = 4*y - 2*w - 226, -5*w + l*w + 29 = y. Is y a multiple of 18?
True
Does 29 divide 12/10*((-4929948)/(-108) - 21)?
True
Let w(r) be the first derivative of r**2 - 34*r - 23. Let o be w(20). Is (2/30*o)/((-1)/(-750)) a multiple of 50?
True
Let b(r) = 11*r**2 + 51*r - 360. Does 134 divide b(31)?
True
Suppose 7*d - 413 + 63 = 0. Suppose -8 + 30 = 3*m - 5*s, 0 = -5*m + 5*s + d. Is 3 a factor of m?
False
Let x(n) = -141*n + 137. Let p be x(-16). Let d = p + -1343. Is d a multiple of 75?
True
Let z be 6/9 + 2/(-3). Suppose -3*d = -m + 1061, z = -4*m - 5*d - 182 + 4358. Does 7 divide m?
False
Let i(t) = -11*t - 2. Let p be i(-1). Suppose 0 = f + 2*o, f - 3*o - p = 11. Suppose -f*q - 320 = -12*q. Does 10 divide q?
True
Suppose -38543*d + 38539*d = -118860. Does 7 divide d?
True
Let p(v) = 2*v**3 + 31*v**2 - 5. Is 10 a factor of p(-5)?
True
Suppose -19*n + 6317 + 4266 = 0. Does 10 divide n?
False
Let m(n) = -n**3 + n**2 - 8*n - 12. Suppose -6*a = 25 - 1. Is m(a) a multiple of 48?
False
Suppose -109*a + 113*a - 2*u = 58, -2*u + 6 = 0. Let p(q) = -q + 1. Let h be p(-3). Suppose 0*l + h*l = a. Is 2 a factor of l?
True
Let x = -1232 + 1749. Let c = x - 310. Is 69 a factor of c?
True
Let k = 1321 + -2183. Let w 