u - 13 = 0. Suppose 0 = c*g + 42 - 2. Is ((-4)/g)/(21/2520) a multiple of 44?
False
Suppose -8 = -0*w - 4*w. Suppose w*u = -4*z - 578, u + 4*u + 25 = 0. Let t = 232 + z. Is 30 a factor of t?
True
Let u(w) = -94*w + 31. Let x be u(4). Is ((-48)/(-40))/((-6)/x) a multiple of 23?
True
Let g(y) = 2*y**3 - 25*y**2 - 14*y + 21. Let u be g(13). Let x(z) = 6*z**2 + 4*z - 4. Is x(u) a multiple of 10?
False
Let h(q) be the first derivative of -q**4/4 + 13*q**3/3 + 4*q**2 + 4*q - 119. Does 37 divide h(7)?
False
Suppose c + 4 = -2. Does 11 divide (6 - 258/(-9))*(-9)/c?
False
Let k be 21/7 - 4 - -5. Suppose -2*v + k - 2 = 0, -2*r + 2*v = -1014. Is 27 a factor of r?
False
Suppose 309*k - 4*h = 310*k - 28032, 5*k + 3*h = 140092. Does 14 divide k?
False
Suppose 32*t - 10*t = 10208. Let k = t + 320. Is k a multiple of 42?
False
Suppose 4*q = 5*z + 2607, -2*q + z - 1941 = -5*q. Suppose -2178 = 5*k - q. Let d = -170 - k. Is d a multiple of 10?
False
Let f(b) = -2*b**3 - 4*b**2 - 4*b. Let l be f(-4). Let m = 279 + l. Suppose 6*n - 1019 = -m. Is 22 a factor of n?
True
Suppose -21*s + 5*i = -20*s - 51284, -5*i = s - 51274. Suppose 28*p = -11547 + s. Is 43 a factor of p?
True
Suppose -27*t - 10*t + 360096 = -25*t. Does 22 divide t?
True
Let v = -166 + 389. Let n = v - 36. Does 2 divide n?
False
Suppose 5*m + 63 = 8*m. Let x = m - 18. Suppose x*k - 28 = 83. Does 4 divide k?
False
Let m(x) = 11*x**3 + 150*x**2 + 7*x - 39. Is m(-11) a multiple of 29?
True
Does 122 divide ((-96)/(-64))/(21/102914)?
False
Let p(j) = -930*j - 5550. Is p(-11) a multiple of 40?
True
Suppose 0 = 225*p - 3178586 + 745211. Is 120 a factor of p?
False
Suppose 18 = 15*p - 9*p. Let y = -205 + 295. Suppose -6*t + y = -p*t. Does 10 divide t?
True
Let p(f) = f**2 - 7*f + 10. Let z be p(7). Is 7 a factor of (0 - -382) + (-10)/z?
False
Let z be (4/(-6) - -1)*9. Let n(s) = 6 + 11 + 6*s - 48 + 15 + z*s**2. Is 20 a factor of n(-8)?
False
Let m = 395 - -893. Is 16 a factor of m/5 + 63/(-105)?
False
Let s(z) = -z**3 + 21*z**2 + 3*z - 63. Let a be s(21). Suppose 0 = -2*g - 2*g + 232. Suppose a = -5*c + 2*o + 421 - g, 2*o = -5*c + 367. Is c a multiple of 9?
False
Let l(m) = -14*m + 2192. Does 15 divide l(-44)?
False
Let w = 142 + -43. Suppose w = 3*t - 4*a - a, t = -4*a + 50. Suppose 3*k + 5*s = 134, 5*k - 212 = 5*s + t. Is k a multiple of 8?
True
Suppose -4685 = -73*j + 105326. Is j a multiple of 3?
False
Suppose 5*z - 5*l - 1629 - 1211 = 0, -5*z + l + 2832 = 0. Let y = z - 401. Is 33 a factor of y?
True
Let k = 84 + -1290. Let g = k - -2277. Is g a multiple of 21?
True
Let c(w) = -2*w**3 + 2*w**2 + 7*w - 9. Let v be c(-7). Suppose 3*n + a = 1075, 0 = -2*n + 7*a - 10*a + v. Is n a multiple of 51?
True
Is 16 a factor of 2420/(-8)*(22 - 48)?
False
Let m = -12867 - -13662. Is 3 a factor of m?
True
Suppose -5*z + 10565 + 8479 = 7*z. Is z a multiple of 69?
True
Let p(d) = 2*d**2 - d**3 + 2*d**3 - 4 + 7 + 0 + 3*d. Is 24 a factor of p(3)?
False
Let u(q) = 351*q - 1569. Is u(28) a multiple of 8?
False
Let x(o) = 51*o + 4. Let v be x(5). Suppose -2*j = -y - j + v, -1335 = -5*y - 3*j. Does 9 divide y?
False
Let t(o) = o**2 + 9*o + 12. Let x be t(-10). Suppose -5*d = 7 - x. Suppose 3*a - d*j - 297 = 0, 4*a + 0*a = -4*j + 372. Is a a multiple of 24?
True
Let p(m) = -387*m - 4249. Does 251 divide p(-31)?
False
Let t(j) = -j + 2. Let x(l) = -1. Let i(s) = -t(s) + 3*x(s). Let o be i(11). Let u = 40 - o. Is 34 a factor of u?
True
Suppose 0 = -60*r + 1902 + 39138. Is r a multiple of 12?
True
Let c(n) = -4349*n - 5. Let w be c(3). Let m = w + 8302. Is m/(-90) - 4/(-18) a multiple of 2?
False
Let k = -6156 + 7628. Is 64 a factor of k?
True
Suppose 0 = -6*l + 5*l + 4*w - 12, -5*w = -4*l - 15. Suppose o = 5*o - 16, l = u - 2*o - 456. Is 11 a factor of u?
False
Suppose -5*a - 15*k + 26 = -16*k, 6 = 2*a + 4*k. Let j(u) = 79*u + 130. Is 54 a factor of j(a)?
False
Let g(i) = i**3 - 7*i**2 + 8*i - 12. Let b be g(6). Suppose 0 = x - b - 36. Let k = 72 - x. Is 12 a factor of k?
True
Let a(u) = -33*u - 17. Let q be a(-3). Let m = 578 - 364. Let b = m - q. Does 22 divide b?
True
Does 27 divide ((-139872)/144)/((-5)/30)?
False
Let k = 13833 - 6153. Does 128 divide k?
True
Let p(b) = -5*b + 20. Let j be p(-3). Let l = j - 55. Is 39 a factor of (156/l)/(2/(-10))?
True
Suppose 2*k = -4*m + 10088, -4*m + 10094 = 202*k - 203*k. Does 29 divide m?
True
Let b(r) = -12*r + 90. Let d be b(-26). Let s = -235 + d. Is 6 a factor of s?
False
Let s(p) = -85*p - 6. Let i be s(2). Let k = 120 + i. Let z = k - -93. Does 4 divide z?
False
Suppose 61943 - 354279 = -122*q + q. Is q a multiple of 222?
False
Let c = 1406 - -5393. Does 13 divide c?
True
Let v = 873 - 868. Suppose 0 = -6*d + 4*d + 4*x + 318, 0 = v*d - 5*x - 810. Is 11 a factor of d?
True
Let b(d) = 312*d - 21. Suppose 16*q = 4 + 12. Does 15 divide b(q)?
False
Let n = 1 - -3. Let k be -7*9/(-14)*n. Let h = k - 7. Does 8 divide h?
False
Suppose 4*d = -12, -3*v - 14*d + 21816 = -15*d. Is 52 a factor of v?
False
Let x(t) = -44*t - 11. Let d(l) = -29*l - 7. Let v(a) = 8*d(a) - 5*x(a). Let u(g) = -11*g - 2. Let s(m) = 6*u(m) - 5*v(m). Is 9 a factor of s(-6)?
False
Suppose 0 = 4*d + 3*i - 45021, 0 = d + 28*i - 31*i - 11244. Does 21 divide d?
False
Let u(g) = 142*g - 81. Is u(44) a multiple of 170?
False
Let i be 35*23 + 10/(-25)*5. Let k = i + -131. Suppose -k = -9*v + 2*v. Is 16 a factor of v?
True
Is 8 a factor of 5 + 5371 + 4 - ((-30)/(-3) - 6)?
True
Suppose 0 = -3*x - x + 1112. Suppose x = -6*l + 62. Is 5 a factor of 56/l*-3*3?
False
Let o(n) = -2*n**3 - 5*n**2 - 4*n. Let k be o(-2). Suppose -y + 0*y + k = 0. Suppose -4*t + 116 = y. Is 3 a factor of t?
False
Let n = 11421 - 10162. Is 63 a factor of n?
False
Let x = -2739 - -3705. Is x a multiple of 23?
True
Suppose -h = 10 + 40. Suppose 391 = 4*o + 5*x, -3*x + x + 288 = 3*o. Let g = h + o. Is 9 a factor of g?
False
Let j be (-39310)/(-22) + (-56)/(-308). Let d = -940 + j. Is 11 a factor of d?
True
Let f = -12439 + 21240. Is 6 a factor of f?
False
Let a be (-4 + (8 - -5))*(-1842)/(-18). Suppose q - a = -2*q - 4*o, 2*q + o = 614. Is q a multiple of 8?
False
Let s(o) = 89*o**2 + 3*o + 2. Let m = 12 + -13. Is 22 a factor of s(m)?
True
Suppose -5*d + 3*a + 915 = 0, -50*d - 732 = -54*d - 4*a. Suppose 4*g - n + 350 = 0, -n - 346 = -g + 5*g. Let r = g + d. Does 24 divide r?
True
Suppose 2195 = r + 5*k, -4*k = -3*r + 7924 - 1415. Is 15 a factor of r?
True
Let l be 2*((-575)/(-10) + 4). Suppose 0 = -4*s + 20 - 0, s + l = 2*o. Let k = o - 29. Is k a multiple of 5?
True
Let y(n) = n**3 + 4*n**2 - 4*n + 256. Suppose -6*t + 4*a = -2*t - 16, -4*a - 16 = t. Does 7 divide y(t)?
False
Let i(o) = 3*o + 9. Let q be i(-2). Suppose 28*f - 24*f + 2*b - 2784 = 0, -q*b = 4*f - 2782. Is 41 a factor of f?
True
Suppose 3*q + 5136 = -21*q. Let m = 266 + q. Is 26 a factor of m?
True
Let q = -3518 - -7208. Is q a multiple of 49?
False
Is 42043930/6165 - ((-4)/18 + 0) a multiple of 18?
False
Let t = 1026 - -589. Suppose -4*c = -5*r + t, -427 = 3*r - 5*c - 1409. Is 33 a factor of r?
False
Suppose g - 13837 = -i, 4*g - 18329 = -i + 37046. Is g a multiple of 197?
False
Let o(l) = 2*l**3 - 5*l**2 - 13*l + 20. Let w(r) = 2*r**3 + 6*r**2 - 10*r - 1. Let v be w(-4). Does 37 divide o(v)?
True
Suppose 0 = 43540*l - 43547*l + 88907. Does 17 divide l?
False
Let r(q) = -39*q - 121. Let c be r(-8). Let i = -124 + c. Is i a multiple of 11?
False
Let d = -57 - -65. Let z = d + 3. Let t(o) = o**3 - 9*o**2 - 6*o - 4. Is 20 a factor of t(z)?
False
Let k(c) = -12*c - 1 - 17*c - 14*c. Let v be 2*(-11 - -7 - (-7)/2). Does 17 divide k(v)?
False
Suppose 5969*l = 5956*l + 264862. Is l a multiple of 97?
False
Let o(k) = 11*k - 41. Let r be o(4). Suppose 2*i - 4*v = 200, -7 = 2*v + r. Let u = i + -56. Does 34 divide u?
True
Suppose t = 2*z - 315, 712 = 3*z + 3*t + 217. Suppose -z + 132 = -4*r. Is 7 a factor of r?
True
Let m = -207 + 218. Suppose -2726 - 4996 = -m*w. Is 54 a factor of w?
True
Suppose 6*q = 260 - 242. Suppose -q*h + 3 = 0, 0 = -5*y + 4*h + 750 + 191. Is y a multiple of 6?
False
Suppose -4*y - 185 = -21. Let h = 41 + y. Suppose 4*t + 2*b - 44 = h, -55 + 13 = -4*t - 3*b. Does 4 divide t?
True
Let h = -7150 - -7510. Is 4 a factor of h?
True
Let y = 4314 - -251. Does 9 divide y?
False
Let 