Let u = 116 + -125. Let r = 91 - u. Does 5 divide r?
True
Suppose -10*x + 1198 - 268 = 0. Suppose -363 = -15*y - x. Is 4 a factor of y?
False
Let o(v) be the second derivative of 7*v**4/3 + 4*v**3/3 - 5*v**2 + v - 21. Does 2 divide o(1)?
True
Suppose 0 = -p + 5*h + 1, p = -h + 4*h + 11. Let b = p + -38. Is b/(-30) + (-146)/(-10) a multiple of 15?
True
Let w be 24/3 - (5 + -3). Let z be 1/((-12)/(-46)) + 1/w. Let n(o) = 26*o + 20. Is n(z) a multiple of 31?
True
Let o be (0 - (-105)/(-14))/(1/(-26)). Suppose o*i = 198*i - 78. Does 13 divide i?
True
Let z(j) = -j**3 - 29*j**2 - 58*j - 58. Let o be z(-26). Let n = 962 + o. Is 24 a factor of n?
True
Suppose -2*g - u + 1196 = 0, 0 = 987*g - 986*g - 4*u - 607. Does 11 divide g?
False
Let s(z) = 2*z + 25. Let h be s(-6). Is ((-19 - -3) + (h - 10))*-4 a multiple of 6?
False
Let u(g) = -11*g**2 - 29*g - 16. Let b(l) = -3*l**2 - 9*l - 5. Let j(p) = -7*b(p) + 2*u(p). Suppose 0 = -0*o + 2*o - 6. Is 9 a factor of j(o)?
True
Let q(x) = x**2 - 18*x + 76. Let v be q(6). Suppose -5*f + 10*f - 798 = -4*c, 482 = 3*f + v*c. Does 17 divide f?
False
Suppose -3*r = -g - 39028 - 12271, -2*g = 4*r - 68402. Is r a multiple of 50?
True
Let w be (54/(-30))/((-9)/255). Suppose 58*v = w*v + 1092. Is 39 a factor of v?
True
Let s(v) = v**3 - 19*v**2 + 3*v - 46. Let q be s(19). Let f(k) = 4*k**2 + 3*k - 4. Let h be f(4). Suppose -60 = -q*l + h. Is 12 a factor of l?
True
Suppose -6*b = -8*b + 18*r + 5030, 15 = -3*r. Does 16 divide b?
False
Let z = 144 + -364. Suppose 4*d + 27 - 703 = -2*r, 4*d = -4*r + 1372. Let a = z + r. Does 32 divide a?
True
Let o(z) = 25348*z**3 - z**2 + 162*z - 163. Does 29 divide o(1)?
True
Suppose -b + 4 = b + 3*s, 5*s = b + 11. Let w be (b + 115)/(-6*(-2)/24). Suppose g + i - 46 = 0, -g + 6*g = -3*i + w. Is 15 a factor of g?
True
Suppose -5*a = 3*a + 296. Let n = 42 + a. Let t(h) = 2*h + 18. Does 12 divide t(n)?
False
Let h = -47 - -49. Let f(g) = 5 - 14*g**3 - 3*g + 0*g**2 - 3*g**h + g + 13*g**3. Does 8 divide f(-4)?
False
Suppose 3*d = -c + 13870, 4*c = -6*d + d + 23112. Is d a multiple of 18?
False
Suppose 0 = -315*q + 7582 + 17303. Is 4 a factor of q?
False
Let v be (0 - 26)*1*2/4. Let u = -9 - v. Suppose 0*n - 348 = -u*n. Does 29 divide n?
True
Let s(b) = -20*b**3 + 56 + 21*b**3 + 6*b - 4*b + 13*b + 19*b**2. Does 23 divide s(-13)?
False
Is 20/8*(-408730)/(-175) a multiple of 16?
False
Let y be (-1 + -8)*(-3)/9. Suppose -2 = 3*j - 5. Is 20 a factor of y - -1*97/j?
True
Let r(x) = -3 - 19*x - 18 - x**2 + 0*x**2. Let f be r(-15). Suppose h - f = -2*a, 0 = 3*h - a - 2*a - 162. Does 17 divide h?
False
Suppose 4*g - 11 = -w + 7*g, 5*w + 5*g = -5. Does 45 divide -1*(-30)/w*9?
True
Let x be 1*((-1 - -1) + -12 + 12). Let s be -2 - x - 2 - (-19 - -12). Suppose 0 = m + s*d - 91, 2*d = 3*m - 264 + 24. Is 6 a factor of m?
False
Does 125 divide (-6)/(-2) + (50730 - (-576)/36)?
False
Let n = -74 + 46. Let j be (-72)/n*14/3. Is 33/(-4)*(-32)/j a multiple of 11?
True
Suppose -4*x - w - 15 = 2*w, 3*x = w - 8. Does 70 divide x + 1689*4/12?
True
Suppose -5*n = -4*x - 8*n + 9, -3*x = n - 8. Suppose x*h - 3*u = 1866, 4 + 16 = 4*u. Is 11 a factor of h?
True
Let g(w) = -52*w - 1. Let v = 89 + -93. Is g(v) a multiple of 23?
True
Suppose -3*k + 4*y + 38350 = 0, 2*k = -4*y + 21727 + 3833. Does 11 divide k?
True
Let b = 204 - 199. Suppose 4*u = 2*v - 616, b*u - 1232 = 14*v - 18*v. Is 39 a factor of v?
False
Let c be (-51)/(-68) - (-138)/8. Suppose 0 = -c*j + 2*j + 32. Suppose -j*v - 46 = -4*v + 4*o, 2*v + 5*o - 73 = 0. Does 3 divide v?
False
Let u(l) = -l**2 - 10*l - 12. Let o be u(-7). Suppose 0*k - 4*k + 27 = j, 3*k = -5*j + 33. Does 19 divide k/o*1425/10?
True
Let t = 4696 + -1490. Is 6 a factor of t?
False
Suppose -2*w = -0*w + 166. Suppose -135 = -d + z, d - 65 - 54 = -3*z. Let r = d + w. Does 12 divide r?
True
Suppose -14*a = -15*a + 152. Suppose c = a + 82. Does 9 divide c?
True
Suppose 5*t + 6 = 26. Suppose t*b - 393 = x + 268, -2*b = -2*x - 338. Suppose -4*s + b = 5*j, s + 31 = 4*j - 3*j. Is j a multiple of 5?
False
Let j(u) = -u**2 - 11*u - 8. Let v be j(-9). Let x(z) = -z**2 + 12*z - 6. Let i be x(v). Does 25 divide (-2644)/(-22) - i/77?
False
Let h(f) = f**3 + 36*f**2 + 16*f + 288. Is 8 a factor of h(-34)?
True
Let f(a) = a**3 - 8*a**2 + 11*a - 10. Let h be f(7). Let t = -16 + h. Is 14 a factor of (t - -3)*(-7)/(35/(-76))?
False
Let t be -1*4 + 2 + -2. Let w(o) = o**3 + 6*o**2 - 14*o - 29. Let f be w(-7). Is 3 a factor of 14 - (f/t - -4)?
True
Suppose -4*f = 2*i - 192, 5*f - 5*i = -4*i + 240. Let w be (f/30)/((-6)/(-1365)). Let j = w + -253. Is j a multiple of 37?
True
Suppose 120*a + 75712 = 136*a. Is a a multiple of 67?
False
Suppose -3*d + 109 = -5*y - 1440, 5*y = -10. Suppose -21*m + 287 = 77. Suppose -x = -m*x + d. Does 24 divide x?
False
Suppose j - 4 = y, -8 = 2*y - 0*y + j. Let i(h) = h**3 - 5*h - 16. Let n be i(y). Let p = n + 120. Is 12 a factor of p?
True
Suppose 107*u - 2295040 = -113*u. Is 41 a factor of u?
False
Let m(v) = 74*v - 1477. Let a be m(20). Let n = 6 + 0. Suppose 5*j - 2*y - 520 = -n*y, -a*j - 4*y = -304. Is 27 a factor of j?
True
Let l be 5/30 + ((-94444)/(-24))/(-7). Let z = -363 - l. Is z a multiple of 4?
False
Suppose -5*p + 3*y = 728, 2*y + 612 - 12 = -4*p. Let x = -70 - p. Is x a multiple of 15?
False
Let q = -458 - -679. Suppose -236*k + 4590 = -q*k. Is 106 a factor of k?
False
Let m(i) = -166*i - 254. Is 11 a factor of m(-48)?
False
Suppose -20*q + 129 = -31. Suppose 194 + 1014 = q*w. Is w a multiple of 27?
False
Suppose 958 = 4*m - 1261 - 101. Does 20 divide m?
True
Let c = 18 - 0. Is 80 a factor of (120/9 - (-2 - -2))*c?
True
Does 97 divide (280/(-175))/((-4)/1455)?
True
Suppose -322 = -11*j - 124. Let y be (150/8 - 1)/(j/72). Suppose y*z - 67*z - 292 = 0. Does 22 divide z?
False
Let f(y) = 47*y + 3042. Is 20 a factor of f(0)?
False
Let y(d) = -5*d + 95. Let f be y(10). Is 2 a factor of 2800/f - 1/(36/8)?
True
Let n = -470 - -758. Is 9 a factor of n?
True
Let x = 5811 + -3185. Does 5 divide x?
False
Suppose 2*f = 5*j + 41, -4*f - 9*j = -4*j - 67. Suppose f*r - 92 - 286 = 0. Is 2 a factor of r?
False
Let v be -2 + -5 + (-516)/2. Let q = v - -376. Is q a multiple of 30?
False
Let h be (1*4)/(2/8). Suppose -5*c + h - 1 = 0. Suppose 199 = c*z - 2*t, 4*z - 196 = z + 5*t. Does 25 divide z?
False
Let g(r) = 3*r**2 + 13*r + 27. Let o be g(-7). Let h = 73 + o. Does 12 divide h?
True
Let w = -31740 + 63234. Is 231 a factor of w?
False
Let n = -353 + 925. Is 9 a factor of n?
False
Suppose 16*j - 9*j - 3003 = 0. Suppose 7*o = -1132 - j. Let h = -70 - o. Does 51 divide h?
True
Let o = 12938 + -11657. Is 4 a factor of o?
False
Let z be (3/6)/(-4 - 933201/(-233298)). Suppose -z = 42*h - 55*h. Is 41 a factor of h?
False
Let x = -243 - -283. Is 3 a factor of (-4)/5 + 472/x + 2?
False
Let d(n) = -61 + 15*n + 3*n + 10*n + 15*n**2 - 20*n. Does 10 divide d(8)?
False
Suppose -3 = -3*a + 6. Suppose a*z - 16 = 7*z. Is (90/(-3))/(-2*z/(-36)) a multiple of 13?
False
Let y = -238 - -362. Suppose 380 = 4*a - y. Is 21 a factor of (1 - a)*46/(-115)?
False
Let h(i) = 4*i**3 - 14*i**2 + 77*i - 16. Does 23 divide h(9)?
False
Suppose -239*o + 238*o + 2*b = -4111, 4*o - 12*b = 16480. Does 8 divide o?
False
Let c(f) = -275*f - 43. Let m be c(-11). Suppose -2986 = -4*h + 3*v, 2*h + 2*h - m = 5*v. Does 34 divide h?
True
Suppose 14*o - 11801 = -251. Is o a multiple of 13?
False
Let k(l) = l**2 + 277. Let y be k(0). Suppose 4*m + 5*o - y = 0, -19*m + 4*o = -23*m + 272. Does 9 divide m?
True
Let v(t) = t**3 - 445*t + 116. Is v(47) a multiple of 33?
False
Let l = 133 - -497. Is l a multiple of 5?
True
Suppose -5*p + 2*c + 138013 = 25284, -p + 22557 = -2*c. Is p a multiple of 29?
False
Let w(u) = -14*u**2 - 894*u - 128. Is w(-60) a multiple of 6?
False
Is 3/(-9) - 1662*14/(-63) a multiple of 3?
True
Suppose -v + 36 = -4*q, 5*v - 88 = -3*q - 0*q. Suppose 4*g = -6*g - v. Is 8 a factor of (g + 4)*(-33)/(-3)?
False
Let q(y) = y**3 - y**2 - 4*y + 8. Suppose -3*n + 6*n = -27. Let g be (-2)/n + (-34)/27*-3. Is q(g) a multiple of 20?
True
Suppose 12 = 4*o, -289 = -4*w - 5*o + 66. Suppose w*k + 744 = 87*k. Is 12 a factor of k?
True
Let z(k) = 11*k**3 - 5*k**2 - 9*k + 26. Let n be z(6). Let j = n - 1503. Is 19 a factor of j?
