 m(g) = -5*g - 1. Suppose 2*r + 0 - 5 = -s, 0 = 5*r + 5*s - 10. Suppose -2*b = 13 - r. Is 6 a factor of m(b)?
True
Suppose 0 = -1084*k + 1085*k + 4. Is 8 a factor of 4 + -2 - (-569 - (-6 - k))?
False
Let f = 11476 - 6322. Suppose -2139 - f = -13*s. Is 17 a factor of s?
True
Let d(x) = -15*x + 4 - 7 + 31*x - 3. Let p be d(2). Suppose 93 = -k + 4*k + 4*c, 0 = -k - 3*c + p. Is k a multiple of 11?
False
Does 28 divide (-3358)/(-11) + ((-759)/121 - -6)?
False
Let h = -61 + 15. Let n = h - -52. Suppose -n*g + 954 = -0*g. Is g a multiple of 22?
False
Suppose -s = b + 3*b - 97, 0 = -3*s - b + 346. Suppose 3 = u, -u = -4*p + p + s. Let l = 6 + p. Is 12 a factor of l?
False
Does 17 divide (-2 - -8) + 622 - (-1)/1?
True
Let v(r) = r**3 + 13*r**2 + 28*r + 26. Suppose -q = 1, 39*q - 37*q = -2*d - 20. Does 14 divide v(d)?
True
Let o(z) = z**2 - 8*z + 9. Let u be o(7). Does 18 divide ((-24)/30)/((-542)/270 + u)?
True
Suppose -b - 8 = 2*w, -59*w + 55*w - 16 = 3*b. Suppose -3*q = 5*p + 16 - 671, b = 3*q - p - 661. Is q a multiple of 5?
True
Suppose o - 2030 = -5*f + 1184, -8*f = 2*o - 6424. Is o a multiple of 12?
True
Let s = -31927 - -34853. Is 24 a factor of s?
False
Suppose 45*j + 2*j = -9*j + 1139040. Is 18 a factor of j?
True
Suppose 0 = -4*j + 3*o - 10, 4 = 2*o - 0. Let t be ((-1)/3 - 10/6)*j. Suppose -90 = -5*s + t*s. Is 5 a factor of s?
True
Let q = 450 - 420. Suppose 9*y - q*y = -8295. Is y a multiple of 35?
False
Suppose 3*x - 5*x - 24 = 0. Let d = 11 - x. Does 3 divide d?
False
Is 50 a factor of (0 - -35)*(-61)/(20496/(-65760))?
True
Let d = -6138 + 13797. Does 8 divide d?
False
Let v(o) = 84*o**2 + 30*o - 121. Does 3 divide v(3)?
False
Suppose 5*p - 6423 = 4252. Is p a multiple of 3?
False
Let u be (-2)/5 - (37740/25)/(-4). Suppose 5*c + 2*j + u = 1917, 0 = -2*c - 2*j + 622. Is 6 a factor of c?
True
Suppose -r = m + 4*m - 57, -48 = -3*m + 4*r. Suppose 36 = -12*g + m. Is 13 a factor of 29*6 - (0/g)/(-4)?
False
Let t(v) = -27*v**3 - 4*v - 5. Let k be t(-1). Let a(y) = y**3 - 24*y**2 - 38*y - 13. Is a(k) a multiple of 27?
True
Let u = -140 - -142. Let j(t) = -t - 3. Let y be j(0). Is 5 a factor of (-4)/(y/24*u)?
False
Suppose -547*f = -569*f + 132. Let i(g) = -8*g - 2 - 4 - 2 + 2*g**2. Is i(f) a multiple of 4?
True
Suppose 0 = -3*w + 1067 + 2416. Suppose v - w = -4*m + 447, m + v - 402 = 0. Does 5 divide m?
False
Let j(b) = -14*b - 80. Let i be j(-6). Suppose -4*y = 11 + 5, 1840 = i*o + 2*y. Is o a multiple of 33?
True
Let g(x) = 13*x + 9. Let h be g(9). Let c(f) = -f + 12. Let j be c(8). Suppose 3*v + 138 + 31 = j*i, 3*i = 2*v + h. Is i a multiple of 16?
False
Let x = 5260 + 1292. Is x a multiple of 99?
False
Suppose -4*t = 5*o - 1201, 0 = -0*t - 5*t + 3*o + 1492. Does 2 divide t?
False
Let h(k) = 2*k**3 + k**2 + k - 1. Let i(l) = 9*l**3 + 16*l**2 + 13*l - 31. Let r(q) = -4*h(q) + i(q). Let t be r(-12). Let d = 255 + t. Does 18 divide d?
False
Let j(i) be the first derivative of 2*i**3 + i**2 - i - 15. Let d(q) = 2*q - 4. Let n be d(3). Is 27 a factor of j(n)?
True
Is ((-163277)/(-46))/(-1*(-5)/10) a multiple of 92?
False
Let l(s) = 527*s + 7. Let n be l(2). Let y = n - 611. Suppose 18*f = 13*f + y. Is f a multiple of 32?
False
Let h be 2/(-7) - (-72)/(-42). Let f be 0/(-7)*h/(-4). Suppose 2*o - 6*o + 80 = f. Is o a multiple of 10?
True
Is 8 a factor of 932/2*-1*3/(-3)*8?
True
Let j(k) = k**2 - 1. Let z be j(2). Suppose 3*u + 30 = 4*i, z*u + 3*i = -26 - 4. Is (1 - -3)*(-135)/u a multiple of 27?
True
Let l be (-421)/5 - ((-56)/(-35))/(-8). Let p = l - -109. Does 5 divide p?
True
Does 13 divide -8*234/12*-4?
True
Suppose 2*u = 8, p = -8*u + 13*u + 16. Let i be ((-19)/57)/((-2)/p). Suppose -7*l + i*l = -42. Is 14 a factor of l?
True
Let o be -73 + (-5)/(15/6). Let x = 79 + o. Suppose -87 = -x*i + 197. Is i a multiple of 9?
False
Suppose 105524 = 37*n - 14*n. Does 20 divide n?
False
Let h(s) = s**3 - 108*s**2 + 130*s - 337. Is h(109) a multiple of 86?
True
Let w(z) = 46*z**2 + z - 1. Let g be w(1). Let f = g - 40. Is 15 a factor of (-1)/f + (-4332)/(-72)?
True
Let w(g) = -g + 9. Let i be 1/(-2) - (-6 - (-65)/(-10)). Let n be 54/(-8) + i/16. Does 15 divide w(n)?
True
Let k(f) = 2*f**2 - 3*f - 2. Let z be k(-6). Suppose 133 = g - z. Let l = -148 + g. Is 15 a factor of l?
False
Let g = 3217 - 1721. Is 8 a factor of g?
True
Suppose -q + 4*n + 565 = 0, -1620 = -3*q + n - 4*n. Suppose -q - 1327 = -4*o. Is 12 a factor of o?
True
Suppose -349 = -3*g + 335. Suppose -3*f + g = b + 4*b, 0 = 2*b. Suppose -f = -2*l + 30. Is l a multiple of 16?
False
Let y(x) = 624*x - 2860. Does 116 divide y(36)?
True
Suppose 174321 = 13*u + 13342. Is u a multiple of 136?
False
Let k be ((-442)/39)/(1 + (-58)/54). Let w(n) = -2*n + 16. Let o be w(8). Suppose k*q - 148*q - 120 = o. Does 9 divide q?
False
Suppose -104*n + 78*n = -151892. Is 46 a factor of n?
True
Suppose 56 = -0*r + 4*r + w, -42 = -3*r - 5*w. Let x be (r/(-10) - (10 + -10))*-5. Is (110/3)/(x/21) a multiple of 10?
True
Suppose -3*g - 483 = -4086. Suppose -g = -3*h + 1193. Does 42 divide h?
True
Let d = 5 - 1. Suppose 401 = m + d*k, -2*m + 4*k = 2*k - 772. Suppose -3*i + m = -f + 2*f, 0 = 2*i + f - 261. Does 22 divide i?
False
Let j(k) = -2187*k**3 + k**2 + 110*k + 110. Is 21 a factor of j(-1)?
False
Let w(f) = f**3 + 5*f**2 - 18*f - 21. Let m be w(-7). Suppose m*b - 1374 = 1321. Is 8 a factor of b?
False
Let d(z) = z**3 + 11*z**2 - 110*z - 56. Is 16 a factor of d(20)?
True
Suppose -m = -736 + 367. Is 89 a factor of m?
False
Suppose 0 = -h - 3*h + 20, -2*w - 21 = -5*h. Suppose -2*l - 8*t + 1250 = -3*t, w*t = -2*l + 1244. Is l a multiple of 41?
False
Suppose 2*j - 10 + 0 = 0. Suppose -t = -j*t + 7*t. Is 129 + (-1 - (t + 2)) a multiple of 14?
True
Suppose -108 - 7 = i. Let g = i + 114. Is (g - 2)*(-24)/4 a multiple of 6?
True
Is 2/(-9) - ((-46423058)/(-198))/(-31) a multiple of 88?
False
Let x = 28752 + -24301. Does 17 divide x?
False
Let q be 16248/20 + (-3)/((-15)/(-2)). Let b = 1253 - q. Is 16 a factor of b?
False
Let u(n) = -3*n**3 - n**2 + 2*n + 2. Let x be u(-1). Suppose -3*f = 3*l + 6, -f - 3*l = 4 + x. Does 12 divide 72 - f*(-4)/12?
True
Suppose -3*t + 0 = 3. Does 47 divide (-1 + 6)*(3048/40 + t)?
True
Let a be 1 + 9*-1 - 65/(-13). Let m(i) = -90*i - 26. Is m(a) a multiple of 6?
False
Suppose 57*a - 39*a = 90. Suppose 2*b - 79 - 89 = 0. Suppose 0 = -2*q - a*q + b. Is 3 a factor of q?
True
Let f(l) = -l**2 + 8*l - 2. Let w be f(7). Let c = -28 - -52. Suppose -w*y + 6*y - c = 0. Does 12 divide y?
True
Suppose 4*o - 4*b - 326 = b, -3*o = 2*b - 279. Does 6 divide o?
False
Let g(y) = y**3 + 22*y**2 - 11*y + 73. Does 5 divide g(-14)?
True
Let s(p) = 115*p**2 - 94*p - 1702. Is s(-18) a multiple of 64?
False
Suppose -3*b + 0 = -2*l + 21, -5*b - 4*l = 35. Let i(z) = -19*z - 32. Is i(b) a multiple of 71?
False
Suppose -9096 = -2*g - 2116. Is g a multiple of 5?
True
Let x(u) = u + 12. Let j be x(-7). Suppose -2*p + 285 = p - 5*q, -261 = -3*p - 3*q. Suppose a - 5*s - 12 = 10, j*a - 5*s = p. Does 17 divide a?
True
Let a = 154 - -23. Suppose 435 = 3*k - 5*p - 136, -k = 5*p - a. Is k a multiple of 11?
True
Suppose 0 = s - 10*s + 19530. Suppose -3*i - 7*i = -s. Is 17 a factor of i?
False
Suppose -2*d + 5*m + 6173 = 0, d + 6*m - 2209 - 903 = 0. Does 14 divide d?
True
Is 16961 + -15 - -2*(-36)/(-8) a multiple of 99?
False
Suppose 0*i - i + 39 = 0. Let r be -12 - -11 - 1*i. Let f = r - -285. Is f a multiple of 41?
False
Let p = -1 - 0. Let x = p + 6. Suppose 2*b + w + 17 = x*b, 2*w = 5*b - 28. Does 6 divide b?
True
Let l = 35087 + -33941. Does 6 divide l?
True
Suppose -12*w = -217 - 71. Let z be w/(-32)*(-5 + (-2)/(-2)). Suppose -c - z*m = 4*c - 350, -2*m - 229 = -3*c. Is c a multiple of 27?
False
Let y = -1404 - -1984. Suppose -11*s = 18*s - y. Is s a multiple of 14?
False
Let m(r) = 17*r**2 + 61*r - 21. Is m(14) a multiple of 85?
True
Let g = 7 + 1. Let b be (g/3)/((-385)/(-75) - 5). Suppose 5*i + 0*c = 4*c + 45, -b = -4*c. Is i a multiple of 9?
False
Let j(r) = 15*r + 1. Suppose -14 = -3*x - s, 2*x = -0*x - 4*s + 26. Suppose -12 = -x*p - p. Is 23 a factor of j(p)?
True
Let m(l) = -l**2 - 10*l. Let j be m(-10). Suppose 2*g + y - 3*y - 8 = 0, 5*y = j. Suppose g*i = -b - b + 258, -3*i = 4*b - 506. Does 19 divide b?
False
Suppose