= 2598*k + 106. Is n(1) a multiple of 8?
True
Suppose 7*h - 4*h - 9 = 0. Suppose -l + 3*x + 84 = 0, 458 = 5*l - h*x + 86. Suppose -3*n + 336 = l. Does 11 divide n?
True
Suppose 5*o = -l + 2780, 11010 = 34*l - 30*l - 2*o. Suppose -l = -8*k + 1597. Is 34 a factor of k?
True
Is 22 a factor of (-24)/(-14)*(228459/207)/(1/3)?
True
Is 748474/12 + ((-460)/(-24))/115 a multiple of 186?
False
Suppose 12*s + 3*s = 210. Suppose 12*u = s*u - 28. Let n = 52 + u. Is 6 a factor of n?
True
Suppose -5*a - x = -4*a - 38662, -3*x - 154606 = -4*a. Is a a multiple of 39?
False
Let o(l) = l**2 - 14*l + 35. Let j be o(11). Suppose z + 142 = j*c - 0*z, -z = c - 71. Does 6 divide c?
False
Suppose 6*m - 24*m - 339087 = -39*m. Is m a multiple of 13?
False
Suppose -2425*j = -2486*j + 3157726. Is 13 a factor of j?
True
Is 3 a factor of (-2)/(7 + -17)*5 + (715 - -3)?
False
Let t(c) = 80*c + 88. Let z be t(-4). Let u = 356 - z. Is u a multiple of 22?
False
Let b(q) = 3*q**2 - 9*q - 7. Let r be b(5). Suppose -5*s - 10 = 0, -5*g - 3*s + r = -11. Let h(t) = t**3 - 8*t**2 + 5*t + 5. Is h(g) a multiple of 9?
True
Suppose -65*w = 3*u - 62*w - 11850, u - 2*w - 3956 = 0. Is 8 a factor of u?
True
Suppose -34010 - 20994 = -38*s + 161102. Is s a multiple of 16?
False
Suppose -3*v = 2*k - 13571, -4*k + 5*v + 21619 = -5446. Does 3 divide k?
False
Suppose 5*a - 5*l + 2*l + 39 = 0, 5*l = -a + 9. Let x(y) = -10*y - 56. Let s be x(a). Suppose -90 = -4*t - s*i + 206, 5*t - i - 346 = 0. Does 9 divide t?
False
Let i be (210/75)/((-3)/(-180)). Let o = i + -40. Is 16 a factor of o?
True
Let v(r) = -r**3 + 7*r**2 - 29*r - 10. Let d be v(7). Let g = -4 - d. Is g a multiple of 11?
True
Let q(o) = -o**3 - 14*o**2 + 2*o + 34. Let u be q(-14). Suppose 0 = -u*j + 3*j + 12. Suppose j*b = 52 + 44. Is 6 a factor of b?
True
Let p = -15175 + 26191. Is 51 a factor of p?
True
Suppose -9 = -3*l + 3*n, -2*l = -0*l + 3*n + 9. Suppose 0*i + 3*i - 4*t - 188 = 0, -4*i + 5*t + 251 = l. Let y = i - 28. Is y a multiple of 12?
True
Suppose -w - 164400 = -23*w - 8*w. Is w a multiple of 10?
True
Let z(l) be the first derivative of -15*l**2 + 3*l + 6. Let w be z(-3). Is 0 - (0 - (-5 + 2) - w) a multiple of 45?
True
Let o = 17659 - 16261. Is o a multiple of 2?
True
Let p(x) = x**2 + 13*x + 57. Let g = -379 - -361. Does 6 divide p(g)?
False
Let n(r) = 235*r + 3*r**2 - 5*r**2 - 215*r - 9. Does 5 divide n(9)?
False
Let m = -9913 - -13980. Is m a multiple of 13?
False
Suppose -51*r - 296 = -52*r. Suppose z = v - r, 20*v - 1180 = 16*v + 2*z. Does 49 divide v?
True
Let w(m) = 23*m + 222. Let r(o) = -4*o + 1. Let a(h) = 6*r(h) + w(h). Does 22 divide a(14)?
False
Suppose 956524 = -242*c + 804*c. Is 2 a factor of c?
True
Suppose 302*f - 309*f + 2562 = 0. Is 8 a factor of f?
False
Let l be 58/6 + 2/6. Let o(u) = 2 - 6 + 7*u + 0 + 7*u - 13*u. Is o(l) a multiple of 6?
True
Let x = 12066 + -1736. Does 27 divide x?
False
Let y be (-12)/14*3/((-6)/14). Suppose -2*h = 3*v + h - y, 3*v - 5*h - 38 = 0. Suppose -5*s - z + 779 = 0, 2*s + v*z - 310 = 4*z. Is s a multiple of 21?
False
Let v(g) = -g**2 - 7*g + 4. Let n be v(-7). Let a(b) = 1 - 13*b + 4*b + 21*b**2 - n. Is 36 a factor of a(-3)?
False
Let y(b) = -b + 32. Let m(i) = -i**3 + 10*i**2 + 14*i - 13. Let j be m(11). Let f be y(j). Does 9 divide (-2 - -3 - -3)/(-2) + f?
False
Let l(y) = y**3 + 7*y**2 + 2*y - 4. Let j be l(-4). Let n = 41 - j. Suppose 2*b = 3*m - 3*b - 175, n*m - 304 = -4*b. Is 28 a factor of m?
False
Let s(w) = -w**3 + 58*w**2 + 199*w + 80. Does 113 divide s(59)?
False
Suppose -254*h + 584 = -250*h. Let a = 292 - h. Does 26 divide a?
False
Let k be (2/(-3))/(86/(-1935)). Suppose 4977 - 357 = k*u. Is 44 a factor of u?
True
Suppose -23*y = -27*y + 64. Suppose -3*c + 5 = -y. Suppose c*x = 5*x + 78. Does 13 divide x?
True
Suppose 7*t - 35 = -0*t. Suppose -3*q + 20 = -g, -t*q + 20 = 4*g + g. Let x(h) = -h**3 + 8*h**2 - 2*h + 4. Is 16 a factor of x(q)?
True
Suppose 200574 = -110*j - 81*j + 213*j. Is j a multiple of 49?
False
Suppose -4*q + 2*b + 814 = 0, 200 - 10 = q + 4*b. Let i = -174 + q. Is 5 a factor of i?
False
Let l(h) = -5*h - 14. Let o be l(-16). Let x = 96 - o. Suppose -x = -7*u + 68. Does 7 divide u?
True
Suppose 6*w - 15 = 3*w. Suppose 10*a - 10 = w*a. Suppose -3*d - 3*t + 368 = -2*t, -a*t = d - 131. Is d a multiple of 11?
True
Let d be (-1534)/(-156) + (-2)/(-12). Suppose 54*n - d = 53*n. Does 5 divide n?
True
Suppose -139*r - 7985 = -144*r. Is 8 a factor of r?
False
Does 27 divide (-1654)/(-7)*(-147)/(-42)?
False
Let m be -11 - -3 - (18 + -13). Let f(o) = -19*o - 113. Does 37 divide f(m)?
False
Let w(n) = 22*n**3 + 4*n**2 - 53*n + 20. Is 11 a factor of w(5)?
False
Let d = -26947 + 33699. Is d a multiple of 8?
True
Let w be 1 - (-1*3)/(-3 + 4). Let x be w/10 - 0 - 104/(-40). Suppose 2*p + 4 = 3*c - 3, -x*c - 5*p = -35. Does 5 divide c?
True
Let w be 34/(-85)*(-6 + 1). Suppose 0 = w*b + m - 6, -3*b + 4*m + 24 = b. Is 7 a factor of (b - 3) + (-13)/(-1)?
True
Let i(w) be the first derivative of 13*w**2/2 - 51*w + 141. Is 21 a factor of i(12)?
True
Let o = -84 + 84. Suppose o*r + 14 = 2*k + 2*r, -2*r - 14 = -5*k. Suppose -k*z = -202 - 350. Is z a multiple of 6?
True
Let z = -9414 + 10130. Is z a multiple of 9?
False
Suppose 293 = 4*x - b - 576, 0 = -2*x - 3*b + 417. Suppose 17*h + x - 5214 = 0. Is h a multiple of 21?
True
Let y = -8 + 154. Suppose -2*g + y = w - 513, -5*g + 1652 = -2*w. Is g a multiple of 18?
False
Let o(d) = 42*d - 16. Let g be (1 - 10/8)*(-136)/34. Is 6 a factor of o(g)?
False
Suppose -515 = 22*p + 673. Let q be (-10)/4 + 3/(-6). Is 12 a factor of p*(-8 - q)/10?
False
Suppose 4*x + g - 4813 = -1361, 3*x - g - 2582 = 0. Let t = x - 402. Suppose -t = -4*p - c, 3*c - 354 = -3*p - 0*c. Does 19 divide p?
True
Suppose 0 = -4*y - 4*n + 2046 + 2634, 2337 = 2*y - n. Suppose -2485 = -1174*i + y*i. Is 5 a factor of i?
False
Let l = -49 - -61. Let t be -37 - (-4)/3*l/8. Let u = t + 94. Is u a multiple of 18?
False
Let j(y) = -866*y + 542. Is 84 a factor of j(-5)?
True
Let m(x) = x**3 - 25*x**2 - 56*x - 228. Is 4 a factor of m(28)?
True
Suppose -38*n = -30*n - 56. Suppose 0 = -n*y - 24*y + 5456. Does 16 divide y?
True
Let g be 2/(-17) + (-140)/(-34). Suppose -5*m + 587 = 2*v, v + g*m - 590 = -v. Is 8 a factor of v?
False
Let o = -24 - -745. Suppose 8*f - 4529 = -o. Does 28 divide f?
True
Let v be (-286)/(-39) - 4/3. Suppose -3*m = -v, 0*m + 3*m = -5*u + 2486. Does 8 divide u?
True
Suppose -8*w - 18 = 814. Let z = w + 109. Suppose -59 = -5*g - 2*f - 1, -f = z*g - 59. Is g a multiple of 4?
True
Suppose -4*a - 8 = -3*y, 80*y + 8 = -4*a + 76*y. Does 19 divide 37*(21 + a)*2?
True
Let o(f) = 10706*f + 250. Is o(1) a multiple of 22?
True
Let d(b) = 6*b**2 + 13*b - 132. Is d(15) a multiple of 3?
True
Let k(s) = -4*s + 13. Let f be k(13). Let g = f - -42. Suppose 4*u - 4*n = 8 + 340, n = g. Does 10 divide u?
True
Let f = -3231 - -9639. Does 14 divide f?
False
Suppose -25*a + 792 = 2*l - 22*a, 0 = -3*l + 4*a + 1154. Is 11 a factor of 1/(-5) + 1 + 130338/l?
False
Suppose 0 = m - 6*m - 865. Let w = m + 214. Does 4 divide w?
False
Let x(s) = 372*s**2 + 21*s. Let l(w) = 186*w**2 + 11*w - 1. Let f(m) = -7*l(m) + 4*x(m). Is 16 a factor of f(-1)?
False
Let y(q) = 24*q - 33*q - 112 + 27*q. Is 23 a factor of y(13)?
False
Let g = -5707 - -6229. Is g a multiple of 5?
False
Let m = -11727 - -26799. Is m a multiple of 96?
True
Let c = 12093 + 83421. Is c a multiple of 19?
False
Suppose -34*i + 45700 + 61808 = 0. Is i a multiple of 30?
False
Is 40 a factor of 332 - (-2 - (-13 - -6))?
False
Let q = 1262 - -478. Is 22 a factor of q?
False
Let z(a) = 2*a**3 - a**2 - 7*a + 10. Let l be z(3). Let g = 265 - l. Does 33 divide g?
True
Let i be (3 + -11)*5/2. Let p = 24 + i. Suppose -5 = -d, d - p = t - 6. Is t a multiple of 7?
True
Let n(q) = -141*q + 6. Let f(d) = 141*d - 6. Let g(p) = 6*f(p) + 5*n(p). Let x be g(4). Suppose -x + 142 = -4*w. Is w a multiple of 13?
True
Let a = 927 - -1309. Suppose -14*t + a = -2440. Is t a multiple of 19?
False
Suppose i + 20 = -357. Let y = i + 416. Is 3 a factor of y?
True
Let s be ((-3)/16)/((-1)/4)*56728. Does 2 divide (-2)/11 + s/231?
True
Let u(f) = f**3 + 16*f**2 - 38*f - 28. Let m be u(-18). Suppose s - 5*o = 80, -s = -m*o + 4*o - 79. Is 3 a facto