11*k - 97. Let o be m(-9). Suppose 3*q - 3327 = -40*i + 37*i, -4*q = -o*i + 2200. Is i a multiple of 28?
False
Suppose 5*o = -5*k + 135, k - 3 = -o + 6*o. Suppose -4*l + k = 3. Suppose -220 = -4*g - g - 5*c, 0 = -l*g - 4*c + 222. Is g a multiple of 12?
False
Suppose 142*r = r + 1983870. Is r a multiple of 47?
False
Let r be 17*3*10/(-30). Let y(d) = -d**2 - 29*d + 106. Does 31 divide y(r)?
True
Is ((-60845)/15 + -39)*9/(-2) a multiple of 8?
False
Does 9 divide -1 + 2/((-22)/(-99)) + 11280 + -2?
True
Let v(m) = -7*m + 7. Let c be v(-11). Suppose c = -z + 239. Suppose -7*h - 43 = -z. Is 16 a factor of h?
True
Let f be (-5)/(45/(-426)) - (-2)/3. Let w be f/9*(-6)/(-4). Does 12 divide (15 + -6)*w/3?
True
Let y(o) = 446*o - 171. Is y(4) a multiple of 25?
False
Suppose 4*p + 152 = -4*v, p + p + 3*v + 73 = 0. Let g = -39 - p. Suppose -3*j = -3*d - 189, -4*j = -g*d + 3*d - 257. Is 18 a factor of j?
False
Let b = 42 + -38. Suppose 0 = -b*j - j + 6*j. Suppose -2*i + j*i + 5*y + 31 = 0, -y = -1. Is i a multiple of 18?
True
Let o(x) = 5*x**2 + 296*x - 42. Does 38 divide o(-62)?
False
Let x(z) = 2*z - 2. Let k be x(0). Is 9 a factor of 124/(-2)*(k - 5)?
False
Let t be (-12)/9 + 147/9. Is 14055/t - (-2 - -6) a multiple of 23?
False
Let t = -8634 + 11452. Is t a multiple of 11?
False
Let y(l) = -10*l + 195. Let d(c) = 30*c - 514. Let n(t) = 3*d(t) + 8*y(t). Suppose -5*p - 20 = 3*m, 3*m - 3*p = -0*m + 12. Is 6 a factor of n(m)?
True
Let h(l) = -39*l - 396*l**2 + 431*l**2 + 2*l - 6. Does 11 divide h(3)?
True
Let p = -168 + 168. Let g(y) = -y**2 + 39. Is g(p) a multiple of 3?
True
Suppose -5 = -5*p - 4*m, -5 = 3*p - 0*p + 4*m. Let g be ((-12)/(-5) + -1)/((-4)/(-460)). Suppose -p*l - 11 = -g. Does 6 divide l?
True
Let s be -2*(-1)/(6/45*3). Suppose 0*t = s*x + t - 1169, 4*x + 2*t - 934 = 0. Suppose 0 = -2*y - 5*k + x, 3*k + 2*k - 122 = -y. Is y a multiple of 16?
True
Let r be (206/4 + -4)*2. Let a = r + -77. Suppose n + a = 102. Does 7 divide n?
True
Suppose 5*t = -3*j - 0*j - 79, -4*j = -3*t - 30. Is (t/(-4))/(-11 + (-8150)/(-740)) a multiple of 37?
True
Let v be (-6)/(-5)*(6 - -214). Let c = 306 - v. Is 6 a factor of c?
True
Suppose 4*f = -2*s - 134, f + 56 = 4*s + 9. Let u = f - -48. Does 9 divide (-217)/(-4) + u/(-52)?
True
Is 34 a factor of 147080/28 + 8/56?
False
Let w(k) = k + 3. Let n be w(-7). Let v be 3 - -20*(-2)/n. Is ((-1)/3)/(v/(-546)) a multiple of 3?
False
Suppose 2*d + 17682 = o, 58651 = 5*o - d - 29741. Is o a multiple of 139?
False
Let o = 79 - 5. Suppose 0 = -2*b - 3*d - 33, -5*b + 0*d = -d + o. Let v = -4 - b. Is v a multiple of 2?
False
Suppose 35*o - 7875 - 25770 = 48850. Is 24 a factor of o?
False
Suppose 10*o - 3*o = 35. Suppose 102 + 28 = o*w. Let u = w - 7. Is 4 a factor of u?
False
Let v = 28 + -14. Suppose -v*t + 2959 = -2893. Is 11 a factor of t?
True
Let p be 2 - 0 - (2 + 0)/1. Suppose p = 3*q + 21 + 18. Let n = q - -151. Does 23 divide n?
True
Suppose -7 = 6*o - 247. Let b = o + -36. Suppose -2*r = -3*y - 94, b*y - 22 = 2*r - 116. Is 7 a factor of r?
False
Suppose -21*r = 3*w - 24*r - 68271, 22755 = w - 3*r. Is 6 a factor of w?
True
Suppose -87*h + 6 = -84*h. Suppose 4*a - a - 5*b = 111, 5*b = -h*a + 74. Is a a multiple of 37?
True
Suppose -4*n = 9 + 135. Let c = 36 + n. Suppose 2*o + 4*v - 3*v = 113, 5*o + 3*v - 285 = c. Is 18 a factor of o?
True
Suppose 2*z - 53 - 373 = 0. Suppose -78 = -4*m + 2*r + 206, -3*m - 3*r + z = 0. Is m a multiple of 9?
False
Let d be ((-66)/9)/((-15)/9 - -2). Let r(k) = -21*k + 3. Let p be r(d). Suppose -6*l = a - 3*l - 165, l = 3*a - p. Is 26 a factor of a?
True
Suppose 60687 = 23*o + 11*o - 67119. Does 21 divide o?
True
Suppose -8*u = -14746 - 5414. Does 45 divide u?
True
Let c(y) = -3366*y**3 - 2*y**2 - 5*y - 18. Does 58 divide c(-2)?
True
Let i(d) = -d**3 - 18*d**2 - 32*d - 6. Let x be i(-13). Let n = -135 - x. Does 10 divide n?
True
Let u = 312 + -312. Suppose -4*k + 1084 = 5*x - 7*x, u = 3*k - 4*x - 818. Does 30 divide k?
True
Suppose 2*z = -z - s + 70, 4*s + 45 = z. Suppose 4*b - z = -389. Let m = 98 + b. Is m a multiple of 4?
False
Suppose 5*x = 3*w + 152765, 454*x + 2*w + 30560 = 455*x. Is x a multiple of 130?
True
Suppose -2*a + 2*j - 38 = 0, -3*a - 91 + 4 = 3*j. Let o(m) = m**3 + 22*m**2 - 53*m - 25. Is o(a) a multiple of 19?
True
Let a = 33975 - 8767. Does 184 divide a?
True
Suppose -6*r + 16 = 2*r. Let k be 32/r*(-66)/(-3) + 0. Let z = k + -251. Is 10 a factor of z?
False
Suppose -3*q = 4*f - 24, 4*q - 4*f = 82 - 22. Suppose -4*v + 1522 = -10*k + q*k, -2*k = 2*v - 766. Is v a multiple of 21?
True
Let s(t) = 21*t + 10. Let y(j) = 10*j + 5. Let q(f) = 3*s(f) - 5*y(f). Let v = -16837 - -16839. Is q(v) a multiple of 11?
False
Suppose -1809 = 22*g - 21521. Suppose 4*x = 11*x - g. Is 16 a factor of x?
True
Let k = -27 + 27. Suppose -2*d + k = 44. Let t = 9 - d. Is t a multiple of 23?
False
Let f be (-8)/(-28) + (-330)/(-21). Suppose 19*s = f*s + 1200. Does 25 divide s?
True
Let q(o) = -443*o + 2666. Is 47 a factor of q(-39)?
False
Does 49 divide 209037/18 + ((-82)/(-492) - (-2)/(-6))?
True
Let c(p) = 12*p**2 + 12*p - 39. Suppose 0*n + n - 15 = -3*o, 0 = 2*o + 5*n - 23. Is c(o) a multiple of 4?
False
Let d = 26924 - 13507. Does 9 divide d?
False
Let i(x) = 2*x**2 - 15*x + 18. Let a be i(6). Does 9 divide (a + 450/24)*12?
True
Let i(w) = 28*w**3 + 2*w + 1. Let t be 9/(-6) - (-3)/6*1. Let d be i(t). Let y(q) = q**2 + 27*q - 18. Is 10 a factor of y(d)?
True
Let l(b) = -14*b**2 - 62*b - 2. Let j be l(-4). Let k(o) = 10*o + 29. Does 9 divide k(j)?
False
Let k(i) = 5058*i**2 + 6*i + 12. Does 24 divide k(-1)?
True
Let r = 2057 - 1108. Suppose 0 = -9*d + 6*d + 3. Is 9 a factor of -3 - (d/3 + r/(-39))?
False
Suppose 0 = -4*t - 12, 5*t = 3*l + t + 2628. Let p = -128 - l. Suppose d - 5*o - 132 = 0, -5*d + 3*o + p = o. Does 19 divide d?
True
Let l(i) = i**2 + 5*i + 6. Let s be l(-4). Suppose 0 = 4*x + 12*r - 10*r - 2168, -s*x = -r - 1076. Is 20 a factor of x?
True
Is 4 a factor of (249/9)/(716/(-144) - -5)?
True
Suppose -89*w + 94*w - 20 = 0. Let y be 24/(-40) - 926/(-10). Suppose -y = -2*s + 2*p - 10, -196 = -w*s - 4*p. Does 3 divide s?
True
Let h(v) = -v**3 - 40*v**2 + 16*v - 140. Is 96 a factor of h(-44)?
False
Let y = -1072 + 6787. Is 127 a factor of y?
True
Suppose 5*t + 4 = 7*t - v, 0 = -t - 5*v + 24. Suppose -2*b - 944 = -2*f, -t*b + 1451 = -22*f + 25*f. Does 53 divide f?
True
Let i(u) = -2*u**2 + 20 + 0*u - 9*u - 6 - 3*u. Let t be i(-7). Suppose -8*s + 53 + 107 = t. Does 10 divide s?
True
Let f(s) = s**3 + 10*s**2 - 9*s + 27. Suppose -i - 55 = 4*i. Let r be f(i). Suppose 2*l = -4*n + 72, -r*l + 3*n = -288 + 82. Does 40 divide l?
True
Let m(o) = -32*o**3 + 3*o**2 + 10*o + 16. Let i be m(-5). Suppose 20*r - i = 4879. Does 13 divide r?
False
Suppose 9*g - 53820 = -18342. Is 27 a factor of g?
True
Let n(p) = p**2 - 14*p - 97. Let g be n(-5). Let o(v) = -443*v - 104. Is o(g) a multiple of 46?
True
Let n(w) = 5 + 4*w - 8 + w**2 - w**2 + w + 2*w**2. Is n(-20) a multiple of 41?
True
Let z = 37 + -32. Suppose u = -5*y + 291, z*y = 3*u + 155 + 132. Suppose -k = 2*j - y - 282, 0 = 2*j + 3*k - 348. Does 14 divide j?
True
Let a = -68 - -66. Does 8 divide a - 0 - 54/(-5 + 2)?
True
Let j = -71 + 105. Suppose 2*b + j = -3*k, 0 = 5*k - 2*b - b + 63. Let a = k + 32. Is a a multiple of 20?
True
Let w(t) = -5*t**2 + 31*t + 10. Let h be w(6). Suppose -2*l = -l + 22. Is (-964)/l + h/88 a multiple of 10?
False
Let d(h) = h**2 - 7*h - 15. Let a be d(7). Is (-1626)/(-15) + 6/a a multiple of 9?
True
Is 83 a factor of (1/20)/(11/66) - 44169120/(-1600)?
False
Suppose 10*x = -0*x + 10. Let l(n) = 3*n**2 - n + 2. Let i be l(x). Suppose i = -4*p, 4*j - 40 = -4*p + 124. Is 6 a factor of j?
True
Let o(a) be the third derivative of a**5/60 + 7*a**4/24 + 29*a**3/3 - 10*a**2. Is o(-7) a multiple of 29?
True
Let b = 20272 + -5586. Is b a multiple of 14?
True
Suppose 414146 + 197038 = 51*k. Does 14 divide k?
True
Suppose 0*f - 5*x = 5*f - 1620, -f - 2*x = -329. Suppose -2*o = -r - 368, 3*r - f + 1238 = 5*o. Is o a multiple of 39?
False
Let w be -1*13/2 - (-6)/12. Let c be 77/21 - (-4)/w. Suppose 2*u + 2*u - 321 = c*o, 5*u - 2*o - 410 = 0. Does 21 divide u?
True
Does 11 divide ((-291122)/(-22) - 0) + (-12)/(-66)?
True
Let c = 965 - 9