, 0*h - 14 = 2*z + 4*h. Let b be -5*1/(z - 4). Suppose 4*q - t - 90 = 0, -3*q + 118 = -b*t + 42. Is 10 a factor of q?
False
Does 7 divide 8352 - 38 - -3*4?
False
Let t(c) = 3*c + 26. Let p(z) = z**3 - 9*z**2 - z. Let r be p(9). Let a be t(r). Let i(u) = -69*u - 3. Is i(a) a multiple of 11?
True
Let j be 4*(-78 - (-4 + 8)). Let v = -53 - j. Is v a multiple of 25?
True
Let x be 7 - 10 - (2 + -3). Let n be (-13)/26*(188 + x/(-1)). Let w = -87 - n. Does 2 divide w?
True
Let m be 3/2*(-10)/(-75)*-5. Let h be m + 14/10 + 60/(-25). Is -7*14/(h/2) a multiple of 14?
True
Let w(g) = -319*g**3 - 4*g**2 - 21*g - 31. Is 9 a factor of w(-3)?
False
Let z(y) = -2*y - 8. Let p be z(-7). Let r be (1 - 1)/(-8 + p). Suppose -i - 99 = -2*v - r*i, 0 = 2*v - 4*i - 102. Is 7 a factor of v?
True
Let n be (-3 + 4)*-3 + 725. Let a = n - 430. Let s = a + -159. Is 12 a factor of s?
False
Let k(l) be the first derivative of l**5/30 - 5*l**4/24 - 3*l**3 + 10*l**2 + 18. Let h(r) be the second derivative of k(r). Does 9 divide h(7)?
True
Let g = -8012 - -13495. Is 20 a factor of g?
False
Let h(i) = 698*i**2 + 16*i - 31. Does 19 divide h(2)?
True
Suppose 3*m - 366 = -3*j + 7*j, 0 = -3*m - 5*j + 312. Is 38 a factor of m?
True
Let l(v) = -176*v + 111. Is 2 a factor of l(0)?
False
Let f = 7 + -4. Suppose 2 = -3*z + f*c - 7, -3*z = -4*c + 5. Let o(t) = -4*t + 4. Does 8 divide o(z)?
True
Let g = 346 - 343. Suppose -8 = -4*l, 5*x - 675 = 2*x - g*l. Does 9 divide x?
False
Let t = 28658 + -15717. Does 4 divide t?
False
Let c be (0/(-2))/(-2) - 1. Let w be 1926/(-428)*4/6. Is (c - w - -2) + 3 a multiple of 2?
False
Suppose 0 = -22*a + 145 + 9. Suppose 0 = -a*p + 17*p - 950. Is 10 a factor of p?
False
Let r be 175/(-3) + (-41)/(-123). Does 24 divide 0 + 119 - (-59 - r)?
True
Suppose 2*s = 34*s + 32. Does 4 divide ((-8)/((-48)/(-786)))/s?
False
Let o(k) be the first derivative of 4*k**2 + 69*k + 185. Does 9 divide o(13)?
False
Let s = -14870 - -16630. Is 11 a factor of s?
True
Let p(o) = -4*o**3 + 2*o**2 + 8*o - 9. Let i(z) = 3*z**3 - 3*z**2 - 8*z + 8. Let f(g) = 5*i(g) + 4*p(g). Does 12 divide f(-7)?
True
Let c = 7 - 11. Let b(k) = -k**3 + 4*k + 10. Let d be b(c). Does 8 divide (-120)/36*(d/(-5) - -2)?
True
Suppose -451 = -3*r + j, 0 = -4*r + 6*r + 3*j - 308. Suppose -2*f + 2*t = -52, -2*f - 2*t = 3*f - r. Does 2 divide f?
False
Let j = 9322 - 8889. Is j a multiple of 9?
False
Let f(l) = l**3 - 5*l**2 + 4*l + 3. Let g be (2/4 + -1)/((-3)/24). Let v be f(g). Suppose -56 = -3*n + 4*j + j, -3*j - v = 0. Does 2 divide n?
False
Let q be (3 - 0) + -53*(3 + -2). Let o = -38 - q. Does 2 divide o?
True
Let r be 4665/35 - (-6)/(-21)*1. Suppose -4*w + 2*w = -2*o + 78, w = -3*o + r. Does 12 divide o?
False
Let o(v) = 9*v - 218. Let l be o(41). Is 86 a factor of 7 - (7 + l)/(-2)?
True
Suppose 0 = 6*d + 18, -5*x + 15445 = 2*d - 11639. Is 9 a factor of x?
True
Let y = -527 + 527. Suppose y = -62*g + 73*g - 3894. Is 6 a factor of g?
True
Suppose -19*t + 240156 = 6*t + 57756. Is 113 a factor of t?
False
Suppose -4*h + 29*o - 26*o = -16437, -o = h - 4111. Is 49 a factor of h?
False
Suppose -24*j = -40*j - 48. Does 17 divide (51*(1 + -6))/(1/j)?
True
Suppose 0 = 37*y - 35*y - 3*f - 18768, 2*y = 5*f + 18756. Does 4 divide y?
False
Let q = 376 + -189. Suppose 5*b + 4*i = 2076, 1436 - q = 3*b - i. Is b a multiple of 32?
True
Does 13 divide (-20 - (-663)/17) + 25429?
False
Let b = -1897 - -1920. Is b a multiple of 11?
False
Let x = 7211 + -7303. Suppose -2*b + 458 = -0*b. Let o = b + x. Is 33 a factor of o?
False
Is 134*(-171)/(-18)*(-1 + 1 + 9) a multiple of 15?
False
Let y(i) = -i**2 - 185*i - 6 + 3*i**2 + 9 + 262*i. Is 25 a factor of y(8)?
False
Let u(o) = -83*o - 19. Let n be u(-13). Suppose -2*d = -4, 0 = -5*p - 3*d + 8*d - n. Let j = p + 400. Is j a multiple of 18?
False
Suppose -61*v = 15*v - 323076. Is 110 a factor of v?
False
Let d be (-4)/1*2/(-8). Let g(r) be the first derivative of 51*r**4/2 - 2*r**3/3 + r - 439. Is 17 a factor of g(d)?
False
Suppose 4*z + 0*z - l = 43, -z = 4*l - 15. Suppose -z*a + 6 + 16 = 0. Suppose -4*t = -a*m - 292, 7*t - 364 = 2*t + 2*m. Is 12 a factor of t?
True
Let r(k) = 5733*k - 12636. Is 37 a factor of r(11)?
False
Let q(k) = -k**2 - 8*k + 24. Let l(h) = h**3 - h**2 - h. Let f be l(-2). Let m be q(f). Is m/(-8) + 35/2 + 2 a multiple of 3?
False
Suppose 0 = -231*j + 225*j + 12. Suppose i - 561 = -2*n, -6*n - 1122 = -j*i - n. Is 26 a factor of i?
False
Let o = 16 + -10. Suppose -17*w = -o*w - 1166. Suppose -2*f + w - 10 = 0. Is f a multiple of 6?
True
Suppose 50*i + 15360 = 62*i. Does 10 divide i?
True
Suppose -171991 + 451643 = 65*o - 270768. Is 32 a factor of o?
False
Suppose -16*g + 152246 + 27418 = 0. Does 49 divide g?
False
Let t(b) = b**3 - 13*b + 8. Let r be t(-4). Suppose -z = -3*n + 106 + 620, 5*z + 4*n + 3630 = 0. Is z/r - (6/(-4) + 1) a multiple of 26?
True
Suppose 2*w - 30 = -4*l, -l = -3*l + 2*w. Suppose -l*m = 7*m - 7392. Is m a multiple of 63?
False
Let o(n) = n**3 + 46*n**2 - 51*n + 504. Does 253 divide o(-40)?
True
Let z(q) = q**3 + 21*q**2 - 77*q + 48. Is 9 a factor of z(-18)?
False
Suppose -u - 26 + 71 = -3*r, -3*r + 2*u = 42. Let i be 528/r*2/(-6). Suppose -12*o + i*o + 134 = 0. Does 13 divide o?
False
Let x = 16769 + -11187. Is x a multiple of 14?
False
Suppose 6*j = j - 7*j. Suppose -42*h + 58*h - 912 = j. Does 2 divide h?
False
Let i = 132 - 130. Suppose -i*a + 2*o = -494, 4*a + 3 - 996 = 3*o. Does 28 divide a?
True
Let l = 6006 - 4212. Does 56 divide l/8 + (-15)/60?
True
Suppose -64*o = -61*o + 3*w - 24915, 2*w + 6 = 0. Is 67 a factor of o?
True
Suppose 6*j = 10243 - 8803. Does 10 divide j?
True
Suppose -12 = -f + 2*x, -f - 4*x - 1 - 11 = 0. Suppose -4*h = -0*i + f*i - 248, -247 = -4*i - 3*h. Does 5 divide i?
False
Suppose -w + 13 = -5. Does 38 divide ((-228)/5)/(w/(-60))?
True
Let y(d) = -6*d - 49. Let f be y(-9). Does 2 divide ((-16)/(-20) - -2)/(1/f)?
True
Let j(d) = d**2 + 9*d - 20. Suppose 4*c - 147 = -3*c. Suppose -5*n - c = 2*y + 59, -4*n - 4*y - 76 = 0. Is 6 a factor of j(n)?
False
Suppose 188 = 16280*n - 16273*n + 62. Let c(d) = -3*d**2 - d. Let g be c(-1). Does 6 divide (16/g)/((-3)/n)?
True
Let v = -10349 + 14297. Is v a multiple of 12?
True
Let b = 1070 + 4977. Does 10 divide b?
False
Suppose 1976 + 12360 = 16*m. Suppose -50*r = -52*r + m. Is r a multiple of 16?
True
Suppose 0 = p + 4*s - 5284, -29489 + 3006 = -5*p + s. Is 16 a factor of p?
True
Suppose 0 = l - q - 3, 0*l + 5*q - 15 = -5*l. Suppose 0 = -z - 5*b - 5, 2*z - l*z - 12 = -2*b. Let i = 23 - z. Is 7 a factor of i?
False
Let u = -355 - -357. Suppose 5*f + 121 = 2*z + 2*f, -5*z + u*f = -308. Is 7 a factor of z?
False
Let m = 1000 + -294. Let u = m + -451. Suppose -5*k + u + 520 = 0. Is 31 a factor of k?
True
Suppose 0 = -3*p + 5*c + 980 + 7842, -c = -4*p + 11774. Is 167 a factor of p?
False
Suppose 7*l - 3*l - 56 = 0. Let b be 1730/2 - (-13 + l). Suppose -q + 10*q = b. Is q a multiple of 12?
True
Does 25 divide (-48828 - (29 - 12))/(-5)?
False
Let l(p) = -p**3 - 16*p**2 - 30*p - 11. Let u be l(-14). Suppose -v + u = -48. Is v a multiple of 5?
True
Suppose 3*t = -8*t + 1199. Let n = -5 + t. Is 13 a factor of n?
True
Let t(l) = -7*l + 9. Let p be t(6). Suppose -120 = 83*z - 63*z. Is 15 a factor of z/p - (-1153)/11?
True
Let d(j) be the first derivative of -131*j**4/24 - j**3/6 - 5*j**2/2 - 14. Let x(z) be the second derivative of d(z). Is x(-1) a multiple of 26?
True
Let v(h) = -109*h + 5. Suppose -5*m - 15 = 0, 0 = -5*r + 4*m - 5 + 7. Is v(r) a multiple of 19?
False
Let n(i) = i**2 - 5*i + 5. Let y be n(4). Let k(b) be the second derivative of 10*b**3 + b**2/2 + 3*b - 14. Does 13 divide k(y)?
False
Let o(u) = 3*u**2 - 388*u - 20. Does 49 divide o(149)?
True
Suppose 24*d + 56987 = -8245. Let s = -1022 - d. Is 17 a factor of s?
False
Let a(y) = -3*y**2 - 4*y - 11. Let x(t) = 4*t**2 + 5*t + 12. Let s(l) = -6*a(l) - 5*x(l). Let c be s(2). Does 5 divide (1 - c)*(-7)/(-1)?
True
Let f(n) = n**2 + 1. Let l(g) = -14*g**2 - 5*g - 7. Let a = 13 - 14. Let o(d) = a*l(d) - 3*f(d). Does 13 divide o(-4)?
False
Let r(b) = 225*b + 1372. Is 54 a factor of r(44)?
False
Suppose 68*i - 672980 = -65*i. Is 30 a factor of i?
False
Let x(z) = -75*z + 9. Let d(f) = -151*f + 17. Let l(o) = 2*d(o) - 5*x