. Suppose -10*i + 7*i = -3*y + 3294, m*y - 3*i - 5494 = 0. Is 11 a factor of y?
True
Suppose 4*n + 17 = 6*b - 9*b, -2*b - 8 = n. Is 11 a factor of 3868/8 - n/(5 + -1)?
True
Suppose 73*l = 84*l - 386551. Does 10 divide l?
False
Let b be 2 + (-2 + -1054)/(-1). Suppose b = -10*a - 282. Let v = -46 - a. Does 9 divide v?
False
Suppose 0 = -10*j + 130 + 50. Suppose j*o - 5*o = 6253. Does 36 divide o?
False
Does 23 divide ((-2556)/8 + 2)*((-928)/4)/4?
False
Let k = -27 - -73. Suppose -5*y + 43 = -5*n + 103, -5*n + k = -3*y. Let m = y + 9. Is 2 a factor of m?
True
Let p(d) = 3*d - 14. Let o be p(6). Suppose f - 4*w = 122, -4*w - 277 - 235 = -o*f. Does 26 divide f?
True
Let m(p) = 119*p**2 + 31 - 73*p**2 + 31*p + 0. Is 15 a factor of m(-1)?
False
Let m = -9599 + 10859. Does 7 divide m?
True
Let m = 676 - 671. Let w(p) = -30*p + 338. Is w(m) a multiple of 47?
True
Let s(c) = 1 + c**3 + 6*c + 0*c**3 - 2 + 9*c**2. Let h(w) = -52*w**2 + 258*w + 4. Let y be h(5). Is s(y) a multiple of 19?
False
Let o = 66 - 62. Suppose 2*g + o*g = 0. Suppose g = -2*t + 247 - 37. Does 35 divide t?
True
Suppose -186*f = -167*f - 21839 - 42533. Is f a multiple of 22?
True
Let w be (-4)/(3 - -1)*-3. Suppose 2*k = 4*o + 298 - 68, 327 = w*k + 3*o. Does 6 divide k?
False
Suppose 51 = -12*f + 15. Let a be (-2)/f + 78/18. Suppose 308 = 2*m + a*m. Does 18 divide m?
False
Is 12 a factor of 2*(-2)/(-14) - 634*(-2409)/231?
True
Let a be 18/27*(-32352)/(-8). Suppose 3*k - 388 - a = 0. Is 72 a factor of k?
False
Let g = 222 + -226. Does 24 divide (g - 408/(-84))/((-1)/(-84))?
True
Let h = -13413 - -62882. Is h a multiple of 37?
True
Suppose -31*q = 28*q - 15*q - 76956. Is 7 a factor of q?
False
Is -5776*(4125/(-44))/25 a multiple of 16?
False
Let a be 22*2*(-1)/2. Let n = 25 + a. Is 11 a factor of 79 - ((-12)/n - -6)?
True
Let i(m) = 34*m**3 + 16*m**2 - 50*m + 259. Does 117 divide i(11)?
False
Let r = 229 + -214. Suppose -r*q + 364 = -1076. Is q a multiple of 32?
True
Let c(u) = u**3 + 15*u**2 + 51*u - 246. Does 11 divide c(12)?
False
Let g be (-1)/(-3 - -1) + 12/8. Let a(q) = 124*q - 26. Is 63 a factor of a(g)?
False
Let b(o) = -2*o**2 - 6*o + 8. Let d be b(-4). Suppose 14*h - 3*h - 176 = d. Is 4 a factor of (-44)/(-2) + (15 - h)?
False
Let p be (7 - (-1128)/(-9)) + (-6)/9. Let s = -14 - p. Does 7 divide s?
True
Does 42 divide (-20 - 6) + 13 - -5137?
True
Suppose -3*w + 20031 = 3*t, -2*t - 30*w + 25*w + 13363 = 0. Does 142 divide t?
True
Let t(c) = -17*c + 31. Let j be 5/2*(-42)/35. Is t(j) a multiple of 17?
False
Suppose -5*v + 2*a + 13 + 2 = 0, v = -2*a + 3. Let m(k) = k**2 - 15*k + 11. Let j(o) = -o**2 - 17*o + 12. Let i(u) = -5*j(u) + 6*m(u). Is i(v) a multiple of 45?
True
Let v(n) = 545*n + 11366. Does 188 divide v(54)?
True
Let q(l) = -32*l - 31*l + 65*l + 13. Let s be q(-4). Let h = s - -46. Is h a multiple of 6?
False
Let v(r) = r**2 + 7*r + 12. Let x = -43 - -35. Let k be v(x). Is 20 a factor of (k/(-1))/(6/(-18))?
True
Let u be 0 + 4 + (-1 - 533)/3. Let a be (4 - 11)*(-24)/(-2). Let c = a - u. Is c a multiple of 18?
True
Suppose -3*k = -4*u + 29, 4*k = u - 8 - 9. Does 6 divide 9928/170*u/2?
False
Let m = 128 + -114. Suppose -38 = -4*o - m. Suppose t = o*t - 780. Does 43 divide t?
False
Let x be (-7)/((4/(-1460)*-5)/(-1)). Suppose -b = -3*o + 210 + x, -o = 3*b - 257. Does 11 divide o?
True
Let r(b) = -b**2 + 14*b - 7. Let j be r(13). Let y be 7/3 + 4/j. Suppose -2*i = -y*i + 132. Is i a multiple of 11?
True
Suppose 66 = -2*q + 448. Let x = 276 - q. Is 11 a factor of x?
False
Let v(z) = 3*z**2 - 15. Let y(q) = q**3 - 5*q**2 - 10*q + 14. Let h be y(6). Let i be (h/6)/(8/(-24)). Is v(i) a multiple of 17?
False
Let c(n) = -22*n**3 + 9*n**2 + 14*n + 28. Does 21 divide c(-7)?
True
Let l = 3535 - 3043. Is l a multiple of 4?
True
Suppose -73*y + 75*y - 42 = 0. Suppose -y*i = -35*i + 17444. Is 14 a factor of i?
True
Is (34 + (-10 - 13))*(-1)/((-1)/223) a multiple of 2?
False
Suppose -2*d = -2*b + 8996, -5*d + 0*d = b - 4492. Let h be (b/(-30) - (-2)/5)*-2. Does 23 divide (h/(-26))/(2/(-12))?
True
Suppose 3138 = 5*w - 232. Suppose 0 = 4*y - 2*j - w, 2*y + 4*j - 341 = j. Let f = 237 - y. Is 24 a factor of f?
False
Let c(k) = k**3 - 18*k**2 + 16*k + 11. Let u be c(17). Let o be u/(-2) + (-10 - 1 - -3). Is 14 a factor of 1 + 2 + 86 + o?
True
Suppose -55*j + 6*j = -9261. Is 42 a factor of j?
False
Suppose -12 = d - 17. Suppose d*m - 4*t + 4 + 1 = 0, -5*m + t - 5 = 0. Does 9 divide (-324)/(-2)*(4/m - -5)?
True
Let r be (9 - 6)/(((-12)/(-10))/2). Suppose -q = 4*y - 729, -323 = -2*y + r*q + 58. Suppose y + 167 = 5*g. Is 14 a factor of g?
True
Suppose 5*x = 3*f, -9*f - 3*x = -12*f. Suppose 5*v - 11*n + 6*n - 7280 = 0, -4*v - n + 5839 = f. Does 88 divide v?
False
Suppose -17*g = 4 - 72. Suppose -15*d + 2189 = -g*d. Is 7 a factor of d?
False
Suppose 4*l - 11*l + 1020 = -4*l. Is 4 a factor of l?
True
Let p = 18 - 2. Suppose l = -9*x + 908, 243 - 44 = 2*x + 3*l. Suppose -p*z - x = -17*z. Does 16 divide z?
False
Suppose 2*w + 2*j - 36 = 16, w - 38 = 3*j. Let f = -29 + w. Does 5 divide 39 + 2 + f/2 + 3?
False
Let d = -38 - -43. Suppose 2*l = 3*k - 33, 5*k + l - d*l - 57 = 0. Is ((-1656)/(-27))/(3/k) a multiple of 30?
False
Let p(q) = -2*q**2 - 6*q + 12. Let f be p(-5). Is 3 + (-15156)/(-32) + (-3)/f a multiple of 53?
True
Suppose -102856 = -60*r + 14*r. Is r a multiple of 13?
True
Suppose -5*b = -26 - 29. Suppose b*o - 53 = 13. Is (-60)/18*o/(-4) a multiple of 5?
True
Let x(c) be the second derivative of -c**5/20 + 5*c**4/2 + 5*c**3 + 23*c**2 - 5*c + 5. Is 3 a factor of x(31)?
True
Let l(v) = v**3 - v**2 + 8*v - 17. Let b be l(2). Suppose 0 = 4*f + b*f - 1225. Is f a multiple of 8?
False
Suppose -5*g - 10*q - 4 = -14*q, 2*g + 5 = 5*q. Suppose -203*t + 207*t - 1060 = g. Is 49 a factor of t?
False
Is (-380)/(-19) + (-79116)/(-4) a multiple of 13?
True
Let l be ((-105)/10)/(1/(-4)*-2). Let c = l - -25. Does 3 divide (-3 - c/(-1))*18?
True
Let n be ((-10)/15)/(3/(-54)). Suppose -24 = 10*y - n*y. Suppose -242 = -y*h + 1486. Is h a multiple of 15?
False
Suppose -583*y = -293*y - 292*y + 6192. Does 84 divide y?
False
Let k = -140 - -269. Suppose k + 141 = 5*g. Is 9 a factor of g?
True
Let f be (-6 - (-108)/42)*(-1 - 34). Suppose -2*j + 1260 = f. Is 57 a factor of j?
True
Let a = -5580 + 2582. Let i = -2008 - a. Is 45 a factor of i?
True
Let g(v) = -17*v**3 - 6*v**2 + 49*v + 260. Is g(-7) a multiple of 19?
False
Suppose 3*p = -j - 5, -p + 17 = 5*j - 0*j. Is (-261590)/(-1050) + (j/30)/(-1) a multiple of 15?
False
Suppose -137*z + 896164 = -3313572. Does 92 divide z?
True
Let j = 21 + -18. Let k be 2/18*j - (-15366)/18. Suppose -303 = -13*x + k. Is 15 a factor of x?
False
Suppose 10 = 4*z + 2*m, 2*z - 7 = z - 5*m. Suppose -5*x - z*s - 266 + 1708 = 0, -s = -1. Does 48 divide x?
True
Suppose 8*n - 11*n = p - 3419, -2*p + 3*n + 6793 = 0. Suppose p + 6550 = 14*d. Does 64 divide d?
False
Suppose -5*y + 3*r = -84, 3*r = 3*y - 19 - 29. Suppose -y*a = -13*a - 890. Is a a multiple of 88?
False
Is (-55432)/(-156)*(90/4 - 0/(-5)) a multiple of 204?
False
Let g be 72/(-20)*7600/(-15). Suppose 0 = 3*b - 11*b + g. Does 9 divide 7/(28/b) - (2 - 0)?
False
Let y(u) = -u**2 - 23*u - 122. Let o be y(-13). Let s(r) = 3*r**2 - 12*r + 12. Does 36 divide s(o)?
True
Does 13 divide 21562 + (0 - 3) + (-1092)/156?
False
Is 23 a factor of (1092/208)/(3/4 + 0) + 867?
True
Let h = -108 + 165. Let u(n) = -n**2 - n + 7. Let m be u(-8). Let p = h + m. Is 4 a factor of p?
True
Let n = 729 + 2581. Does 10 divide n?
True
Let p(o) be the second derivative of o**5/10 + o**4/2 - o**3/6 - 6*o**2 + 40*o. Let m be p(6). Suppose 4*d - m = 2*d. Does 34 divide d?
False
Suppose -3*j = g + 117, -6*g + 156 = -4*j - g. Let i = j + 92. Let q = 88 - i. Is q a multiple of 7?
True
Let a(n) = -2*n**3 + 98*n**2 - 134*n + 119. Does 101 divide a(45)?
False
Let j be ((-14)/(-35))/((-2)/60). Let i(k) = -k - 10. Let o be i(j). Suppose -144 = -o*f + 228. Is 31 a factor of f?
True
Let g = 19109 + -15991. Is 15 a factor of g?
False
Suppose -3*d + 4*d = -84. Let i = d - -130. Is 2 a factor of i?
True
Let m = 34 - 27. Suppose -1628 + 179 = -m*d. Is 15 a factor of d?
False
Let z be 3/18 - (-7)/(-42). Suppose z = 2*h - 8 - 0. Let a(r) = -r**2 + 11*r + 5. Is 11 a factor of 