-5 - 125/(-35))*(1 + -8). Let t = v - -18. Suppose 0 = -3*c - 4*o + 63, o = -c + 2*c - t. Is 25 a factor of c?
True
Let w(k) = 61*k**2 + 73*k - 837. Does 93 divide w(11)?
True
Let l = -26 + 24. Let v be ((-12)/24)/(l/8). Suppose -v*m - m + 189 = 5*z, 0 = -5*m - 3*z + 331. Does 23 divide m?
False
Suppose -351*y + 19943337 = 2953884. Is 8 a factor of y?
False
Let f = 301 + -291. Suppose 159 = q + 7*d - f*d, -4*q + 601 = -5*d. Does 9 divide q?
True
Let l be (-72)/(29*(-8)/(-60) - 4). Suppose -4*o + l = -o - 3*b, -3*o = 4*b - 533. Suppose 5*w - 946 = 2*v, 2*w - 3*w - 3*v = -o. Is 43 a factor of w?
False
Let y be -5 - 0/(6/(-2)). Let k be ((-3)/y)/(2/10). Suppose k*o = -2*f + 160 + 24, 2*o + 3*f = 126. Does 4 divide o?
True
Let c = 245 - 228. Suppose j - 469 = -2*u, -2 = -5*u - c. Is j a multiple of 22?
False
Suppose 6*s - 4474 = 2552. Is s a multiple of 8?
False
Suppose -x + 17711 = 2*o, 11*o = -3*x + 9*o + 53145. Is 21 a factor of x?
False
Does 72 divide ((-2808)/(-14))/((-315)/(-88200))?
True
Let f = 3282 - -1038. Is f a multiple of 16?
True
Let t be 6/4 + 60/40 - 764. Let g = 1286 + t. Does 35 divide g?
True
Let v be 12*(-7 - 80/(-12)). Is (22/v)/(-1 + (-261)/(-270)) a multiple of 15?
True
Let k(u) = 343*u**2 + 2*u - 2. Let s = 67 - 66. Is 23 a factor of k(s)?
False
Let a(h) = 2*h**3 - 19*h**2 + 5*h - 34. Let x be a(9). Does 7 divide (-218)/(-5)*x/(-7)?
False
Let a = 4796 + -3124. Suppose -a = -10*n + 2*n. Let g = n - 94. Is g a multiple of 23?
True
Let b = 11 + -5. Let k(w) = -3*w**2 + 23*w - 15. Does 15 divide k(b)?
True
Does 3 divide 4/(-30) + 2/(-19) + (-13789174)/(-10830)?
False
Let w(z) = 6*z - 6. Let o be w(0). Let g(q) = 4*q**2 + 12*q + 32. Is g(o) a multiple of 8?
True
Suppose 2*y - 18026 = -4*w, -201*w + 199*w - 8997 = -y. Is 12 a factor of y?
False
Suppose -5*f + 10 = -7*f, 5*o - 5*f = 475. Let s be o/27*1*-3. Let h = s - -52. Does 7 divide h?
True
Let y(x) = 18*x**3 - 6*x**2 - 5*x - 4. Let a be y(-2). Is a/(-10) + -2 - 5/25 a multiple of 14?
True
Let s(p) = 10*p + 103. Let j be s(-10). Suppose x - 3*x + 2*k + 830 = 0, 3 = -j*k. Does 18 divide x?
True
Let z(q) = -q**2 + 36*q - 94. Let i be z(3). Suppose 4*c - 1169 = 2*f + 145, 0 = -5*f + i. Is 8 a factor of c?
False
Let y(l) = l**3 - 20*l**2 - 25*l + 11. Let b be y(21). Let c = -78 - b. Does 10 divide 45 - (0 + c + 0)?
True
Is 7 a factor of (-427)/61 - 5/(20/(-52236))?
False
Suppose 2*p - 2834 = -4*z + 8150, -4*z = 3*p - 16472. Is p a multiple of 196?
True
Suppose -39700 = -36*q - 14032. Is q a multiple of 9?
False
Let b(i) = -i**2 + 3*i + 200. Let f be (29 - 29)/(-2 + 1). Is b(f) a multiple of 25?
True
Let l = -6047 + 7815. Is 17 a factor of l?
True
Suppose -130*k + 2191240 = 102*k. Is k a multiple of 10?
False
Does 6 divide 22*(-1420)/80*-4?
False
Let j(f) = 1238*f - 66. Is 158 a factor of j(9)?
False
Let y be (6 - 8)*-1 - 13. Is (6/(-4) - -1)/(y/1980) a multiple of 15?
True
Suppose 0 = 2*t + 12, -4*b = -t + 6*t - 6350. Does 11 divide b?
True
Suppose 15 = -10*d + 13*d. Suppose d*v = 2 + 3. Is 11 a factor of 1 + (-4 - (-113)/v)?
True
Let z be 50/14 - (1 + (-6)/14). Is (832 + 2)/(-5 + 7) - z a multiple of 59?
False
Let q(p) = -p**2 - 14*p - 1. Let k be q(-13). Let t be (-15)/k*-1*8. Is 7 a factor of (0 - t)/((-4)/10)*1?
False
Suppose -f + 3*m + 12 = 0, 0 = 4*m - 2 + 18. Suppose f = -10*k + 5*k + 345. Is k a multiple of 69?
True
Suppose m - 17743 = 5*j, 5*m - 2*j - 1384 - 87216 = 0. Is 68 a factor of m?
False
Suppose 5*j = 3*m - m - 54, 2*j - 26 = -2*m. Let k = m - -29. Let b = k - -6. Is 8 a factor of b?
False
Suppose -8*g + 2219 = -701. Let y = g - -119. Suppose -2*v = 2*v - y. Is v a multiple of 20?
False
Let d(u) = 2*u**2 - 32*u - 25. Let y = -57 - -76. Let h be d(y). Suppose h*n - 45 = 88*n. Is 9 a factor of n?
True
Let t(l) = -5*l + 232. Suppose 0*c + 4*s = 3*c - 14, 0 = c + 3*s - 9. Suppose 4*w = -c*w + 4*w. Does 29 divide t(w)?
True
Is (-1 - (-22)/16) + (71010/80 - 32) a multiple of 7?
False
Let b be 140/10 - (1 - -1). Let c be 2 + -4 + (b - 8). Does 9 divide 67 - (c - -3 - (-3)/(-3))?
True
Let o(n) = -n**2 + 2*n + 32. Let d be o(5). Suppose -2217 + 891 = -d*l. Is l a multiple of 7?
False
Let x(z) = 2*z**3 - 182*z - z**3 - 6*z**2 + 189*z - 9. Let w be x(5). Is (-1 + w - 0) + 13 a multiple of 13?
True
Let j(m) = -6*m**2 + 2*m + 2. Let n be j(4). Let s = n - -46. Does 8 divide (336/35)/((-6)/s)?
True
Suppose g - 41354 = -d + 7372, 2*d = -5*g + 243612. Does 12 divide g?
True
Suppose -286 + 100 = -d. Let m = d + -142. Does 11 divide m?
True
Suppose -27*a + 38*a - 1936 = 0. Let l = 65 + a. Does 53 divide l?
False
Let z = 8944 - 6306. Does 47 divide z?
False
Let l(c) = -3*c + 26. Suppose 3*m - 3*x + 17 = 4*m, -23 = -4*m + 3*x. Suppose -3*b - 2*k - 41 = 0, -m = b + 2*k - 7*k. Does 13 divide l(b)?
True
Let m = -2070 - -3400. Does 77 divide m?
False
Let a(n) = n**3 - 39*n**2 + 10*n - 58. Let i be a(39). Suppose i = j + v, v - 468 = 2*j - 1144. Does 42 divide j?
True
Suppose 0 = -f - 5*d + 8, 0*f - 4*f = 3*d - 32. Suppose 0 = f*q - 11*q + 48. Suppose -q*m + 320 = -12*m. Is 8 a factor of m?
True
Let m(x) = -8061*x - 4024. Is m(-4) a multiple of 10?
True
Let v be 4/(-18) + (-430672)/(-99). Suppose 6*t = -19*t + v. Is t a multiple of 58?
True
Suppose 15*g = 13*g - 14. Is 54 a factor of 9/2*(-6 + g + 49)?
True
Let w be 44/(-84)*3 - (-3)/(-7). Is 24 a factor of w + -5 + 12 - (2 + -357)?
True
Suppose 3*a = -2*a - 2*v + 36695, 5*a = 16*v + 36605. Does 97 divide a?
False
Suppose 3*v = -2*t + 38278, 12427 = 2*v + 2*t - 13095. Is v a multiple of 19?
False
Let q = -2532 - -3923. Suppose -1339 = -7*n + q. Is 36 a factor of n?
False
Let i be (0 - (-12)/18)*(-174)/4. Let q = 39 + i. Let r(m) = -m + 40. Is 10 a factor of r(q)?
True
Let q = 1067 + -747. Suppose -59*j + q = -58*j. Is j a multiple of 22?
False
Let b = 84 + -80. Suppose 3*m + b*f = 8, -11 + 1 = -2*m + 2*f. Does 4 divide 48/m + (2 - 2)?
True
Let l(i) = 2517*i**2 - 437*i + 876. Is l(2) a multiple of 106?
True
Let x(r) = 0*r + 11 + 0*r**2 - 4*r + r**2. Let m be 20/(-3) - -3*(-6)/(-27). Does 12 divide x(m)?
False
Suppose -10 = -2*s + 3*k, -2*s - k + 3*k = -8. Let d(x) = 22*x**2 + 3*x + 2. Let w be d(s). Suppose -14*y + w = -10*y. Is 24 a factor of y?
True
Let l = 57 + -57. Suppose 238 = 4*m - d, -m + 2*m + 2*d - 64 = l. Is m a multiple of 23?
False
Does 23 divide 5775 - -13*(-8)/52?
True
Let b(j) be the first derivative of j**5/60 + j**4/24 - j**3/2 + 13*j**2/2 - 30. Let y(s) be the second derivative of b(s). Does 4 divide y(-6)?
False
Suppose 4*w - 228 = -48. Let j(h) = -53 - w*h + 19*h + 19*h. Is j(-12) a multiple of 9?
False
Suppose 3*p - w - 2*w - 63 = 0, 5*p = 4*w + 106. Suppose 17*v - 3599 = -4*z + p*v, -905 = -z + 3*v. Does 10 divide z?
False
Let y(i) = 10*i**2 - 806*i - 214. Is y(89) a multiple of 12?
False
Let j(r) = 81*r**2 - r + 2. Let b be j(-2). Suppose -7*z + 3*z = b. Let n = 32 - z. Is 19 a factor of n?
True
Suppose -73*o = 229*o - 42*o - 2860260. Is 13 a factor of o?
False
Let t = 8 + -34. Let q be 2*(-1)/(-2*1/t). Let d = q + 48. Is 5 a factor of d?
False
Suppose -u + 21 = -0*m + 4*m, 0 = -2*u - m + 14. Suppose c + 474 = -4*r + 1417, -1176 = -u*r - 4*c. Does 25 divide r?
False
Suppose -69*f + 123584 - 6698 = 0. Is 14 a factor of f?
True
Let o = -114 - -113. Let r(g) = 658*g**2 + 8*g + 1. Is r(o) a multiple of 7?
True
Suppose 4*z = -2*h + 740, 253*z + 15 = 258*z. Is h a multiple of 92?
False
Let l be 1/(9/63) + 441. Suppose -c + 799 = l. Is 24 a factor of c?
False
Let k(l) = l**3 + 9*l**2 - 10*l + 3. Let x be k(-10). Suppose 5 = 2*f - x. Suppose -f*c - 272 = -8*c. Does 17 divide c?
True
Suppose -115*o = -111*o - 32. Suppose -o*q - 5*q + 3289 = 0. Does 23 divide q?
True
Let j be (4/((-16)/4))/(-1)*3. Suppose 2*d - 5 = -x + j*d, -5 = 5*d. Is (27/x)/((-15)/(-40)) a multiple of 18?
True
Suppose 1114 - 9444 = -14*n. Let t = -217 + n. Does 14 divide t?
True
Let n(c) = 4*c - 20. Let g be n(5). Let h be 13/((-3)/9 + g). Let d = h - -97. Is d a multiple of 23?
False
Suppose -16*l + 729000 = 16*l - 7*l. Is 54 a factor of l?
True
Let h(v) = v**3 + 16*v**2 + 48*v. Does 21 divide h(-7)?
True
Is (26/5 - 7)/((-33)/18260) even?
True
Let j be (3/1)/((-3)/266). Let o = -250 - j. Is 14 a factor of o?
False
Let k(l) = 298*l - 44. Let s(q) = 