 a factor of h?
False
Let w be 898*-5*3/(-6). Suppose 8*t = w - 565. Is 42 a factor of t?
True
Let v(g) = g**3 - 18*g**2 + 36*g + 12. Is v(16) a multiple of 19?
True
Suppose -3*k + v = -2675, -2*v - 59 = -61. Is k a multiple of 5?
False
Let s be (-1 - -2)/((-6)/(-12)). Let g(l) = 10*l**3 - 3*l**2 + 4*l - 1. Does 15 divide g(s)?
True
Let w = -46 + 334. Is 4 a factor of w?
True
Suppose 5*o - d = -657 + 6271, 4*d = -5*o + 5594. Is o a multiple of 33?
True
Let r(m) = -m**3 + 7*m**2 - m + 4. Let a(w) = -w**2 + 3*w + 6. Let i be a(0). Does 34 divide r(i)?
True
Does 12 divide 418/5 + (-104)/(-260)?
True
Does 34 divide (-22152)/(-48) + (-21)/(-6)?
False
Let u = -804 + 998. Is u a multiple of 12?
False
Suppose 0 = 4*b + 2*q - 138, -32 = 10*b - 11*b + 2*q. Does 14 divide b?
False
Suppose -15 = -11*g + 6*g. Let d(z) = z**3 + 4*z - 3. Let u be d(g). Is 9 a factor of (u - 0)*(-2)/(-4)?
True
Suppose -6377 = -2*l + g, -4*l - g + 9385 = -3378. Is 34 a factor of l?
False
Suppose 2*n + 2*h = 5*n + 102, 0 = 3*n - 5*h + 93. Let u = n - -92. Is 15 a factor of u?
False
Let f be ((-6)/(-4))/(-3)*-128. Let p(n) = -3*n**3 + 4*n**2 - 4*n + 11. Let l be p(3). Let q = f + l. Does 6 divide q?
True
Suppose 644 = 3*h + 5*n, 2*h = 3*n - 6*n + 429. Suppose 0 = 3*o - 0*o - h. Suppose -11 = 6*v - o. Does 5 divide v?
True
Does 30 divide ((-78)/(-18) - 5)/(1/(-945))?
True
Let q(k) = -k**3 - 13*k**2 + 15*k + 7. Let v be q(-14). Let n(t) = -t**2 - 12*t + 5. Does 4 divide n(v)?
True
Let b(k) = -k**2 - 7*k + 23. Let s be b(-10). Let p(t) = t**3 + 7*t**2 - 7*t - 4. Is p(s) a multiple of 15?
True
Let r(g) = -2*g + 2. Suppose 0 = -o - 4*o. Suppose -j + 0 - 3 = o. Does 8 divide r(j)?
True
Let l = -114 - -234. Let z = l - 56. Is z a multiple of 32?
True
Suppose -15 = 5*j, 6*j = -m + j - 10. Suppose -3*c + 2*t = -0*t - 50, 77 = m*c + 3*t. Is 4 a factor of c?
True
Let j(l) = -6*l - 3. Let a be j(-3). Suppose 46*n - 47*n = -a. Is n a multiple of 4?
False
Let v(u) = u + 3. Let s be v(-3). Suppose 13*x - 8*x - 15 = s. Suppose 182 = x*d - 223. Is d a multiple of 28?
False
Suppose -3416 = -9*c - 338. Is 8 a factor of c?
False
Suppose 0 = -5*p - o + 135, -2*p - p + 3*o = -63. Suppose 0 = -p*i + 25*i + 132. Does 33 divide i?
True
Suppose -x - 7*x = -7*x. Does 15 divide -1 + x - (2 - 71)?
False
Is 7 - 3 - -4*(-1)/(-1) a multiple of 8?
True
Let x = -3 - -10. Is 25 a factor of x/(35/650) + 0?
False
Suppose -3*q = 3*v - 1 + 7, 2*v - 10 = 5*q. Let g be 4/(-6)*6/4. Does 14 divide (g/q)/((-11)/(-924))?
True
Let o(k) = k**2 - k - 3. Let c be o(3). Let a = 1 - c. Does 15 divide a/(-7) + 309/21?
True
Is 29 a factor of 2895 + -1 - (60/10 - 12)?
True
Suppose 6*h = 8*h - 6. Suppose 0 = h*k - 54 - 273. Does 25 divide k?
False
Let f be 24/(-9)*-2*9. Let b = -27 + f. Does 2 divide b?
False
Let p be (12/(-10))/((-2)/5). Let s(x) = 5*x - 7. Is 4 a factor of s(p)?
True
Let g(k) be the first derivative of -k**4/4 - k**3/3 + 10. Let j be g(0). Is 17 a factor of j + 27*2 + -3?
True
Suppose -25 = -5*p + 5*t, -13*p + 10*p - 3*t + 21 = 0. Is 6 a factor of p?
True
Let a be 2/6*3*(-3)/3. Is (958/(-12))/a + (-9)/(-54) a multiple of 8?
True
Let v(y) = -18*y - 85. Is v(-22) a multiple of 13?
False
Let n(t) = -2*t**2 + t + 30. Let r be n(0). Suppose r = -0*b + b. Does 15 divide b?
True
Let a(w) = -9*w + 4. Let q be a(-2). Suppose -4*d = -3*d - q. Is d a multiple of 3?
False
Let m = 144 + -64. Is m a multiple of 20?
True
Let n(k) = -k**2 + 6*k - 3. Let x be n(2). Suppose 40 = x*d + 3*d. Let r(u) = 16*u + 8. Is 25 a factor of r(d)?
False
Let j(c) = c**2 - 6*c - 5. Let u be j(7). Suppose -u*a = -4*s - 4 - 10, 3*a - 42 = -s. Let d = a + 22. Does 13 divide d?
False
Is 91 a factor of (-5)/10*-2390 + (5 - 7)?
False
Let y be ((-16)/3)/((-1)/(-12)). Let o = 84 + y. Is 3 a factor of o?
False
Suppose 825 = 5*f + 95. Is f a multiple of 8?
False
Is (-1)/2*(-1250 - (5 - 5)) a multiple of 37?
False
Suppose 8*p = 2*p + 24. Suppose -2*z - 13 = -p*n + 29, 0 = 5*z - 25. Does 13 divide n?
True
Suppose 5*l - 160 = 4*x, 233 = -5*x + l - 3*l. Let j = x - -51. Is j a multiple of 6?
True
Suppose -7*r + 424 + 3496 = 0. Is r a multiple of 8?
True
Suppose 0 = l + 20 - 92. Suppose -l - 104 = -a. Is 8 a factor of a?
True
Suppose 0 = -7*u + 4*u - 72. Let x(a) = a**2 + 22*a - 27. Is x(u) a multiple of 8?
False
Let o = -251 + 121. Let k = o - -92. Let u = -11 - k. Is 9 a factor of u?
True
Suppose -7*k + 225 = -2*k. Suppose 31 + k = 4*b. Does 6 divide b?
False
Let x be (-6203)/(-9) + (50/18 - 3). Is 2/6 - x/(-39) a multiple of 9?
True
Suppose -42*g = 11*g - 37842. Does 17 divide g?
True
Let r(o) = 15*o - 8. Let u be r(7). Suppose -5*a + u - 7 = 0. Is a a multiple of 13?
False
Let u be 6/(-27) - (-4)/18. Suppose 125 = h - 5*z, 0 = h - u*h - z - 109. Is 22 a factor of h?
False
Let q(c) = c**3 - 13*c**2 + 12*c + 5. Let p be q(12). Suppose 0 = -p*z - a - a + 1390, -820 = -3*z - 4*a. Does 23 divide z?
False
Let l = -2862 + 5990. Is l a multiple of 23?
True
Let b be 3/(63/(-66) - -1). Let c = b - -3. Is c a multiple of 18?
False
Let c = -1237 - -1594. Is c a multiple of 51?
True
Is ((-231)/(-35))/((-2)/(-10)) a multiple of 4?
False
Let t be ((-91)/(-7))/((-3)/15). Is (-78)/t*70/3 a multiple of 7?
True
Suppose 38*d - 41*d - 36 = 0. Does 15 divide (20/(-4))/(2/d)?
True
Let b be ((-11)/(-3) - 3)*(579 - 6). Suppose 355 + b = 11*d. Does 7 divide d?
False
Let c be 408/(-10)*160/(-48). Let j = c + -72. Suppose 2*o - j = -2*m, -82 = -3*o + 3*m + 20. Is 26 a factor of o?
False
Suppose 0 = -p + 4*u + 312, 654 = 2*p - 0*p + 2*u. Is p a multiple of 27?
True
Suppose -37*u + 18432 = -43062. Is u a multiple of 55?
False
Let f = 2 - -5. Let v = 20 - f. Does 9 divide -3 + 13/(v/30)?
True
Let v(s) = 2*s**2 + 6*s - 15. Does 3 divide v(-8)?
False
Let y(d) = 94*d**2 + d - 1. Let w be 6*2*(-1)/6. Let z be y(w). Suppose -z = -5*s - 8. Does 10 divide s?
False
Suppose -16*i + 17*i = 0. Suppose -s + 89 + 26 = i. Is s a multiple of 10?
False
Let l(n) = 5*n**2 - 2*n - 1. Let t be l(2). Let z be (-1)/(-2) - t/6. Does 15 divide 17/(1/z + 1)?
False
Let i(t) = t**3 + 12*t**2 - 3*t. Is i(-12) a multiple of 9?
True
Suppose 29*q - 322 = 27*q. Does 21 divide q?
False
Let w(n) be the third derivative of -n**4/8 + n**3/3 - 3*n**2. Let o be w(-1). Suppose 3*t + 36 = c + 7*t, 5*t + 105 = o*c. Is 6 a factor of c?
True
Let v(c) = -c**3 - 3*c**2 - 4*c - 5. Let l be v(-3). Suppose l*p - 98 = -0*p. Does 14 divide p?
True
Let p(y) be the first derivative of y**4/4 + 17*y**3/3 + y**2/2 + 24*y - 6. Does 3 divide p(-17)?
False
Suppose 3*c + 4 = -14. Let g be -3 + (-2 - (8 + -3)). Let l = c - g. Is l even?
True
Let v be 3 - (-4 - (0 + -2)). Suppose v*a - 4*f = 10, a - 4*f = -2*a - 2. Is a a multiple of 4?
False
Suppose 1403 = 9*k - 235. Is k a multiple of 14?
True
Let h(s) = -3*s**2 + 2*s**2 + 5*s - 6 + 33 - 18*s. Does 32 divide h(-12)?
False
Suppose 0*x = x + 3, -3*f - 2*x = -264. Suppose f = b - 5*v, -4*b + 3*v - 90 = -416. Is 16 a factor of b?
True
Let c(g) = -g**2 + 72. Let z be c(0). Let r = -33 - z. Let b = -34 - r. Does 21 divide b?
False
Is -28*((-60)/(-63))/((-10)/465) a multiple of 62?
True
Suppose 5*i + 8 = -2. Does 2 divide i/(-9) - (-248)/18?
True
Suppose 0 = 2*x + 25*h - 30*h - 3741, 2*h + 9342 = 5*x. Does 15 divide x?
False
Suppose 8 = 3*i - i, 4*i = 3*o + 7. Is (0 - o/5)*(-313 - -8) a multiple of 54?
False
Let c(m) = -10 + 33 - m**3 + 7 + 19*m - 11*m**2. Does 23 divide c(-13)?
False
Suppose 0 = 19*k - 8*k - 55. Suppose 3*u - 7 = k*l + 24, -43 = -3*u + 2*l. Is u a multiple of 3?
False
Let a(k) = 151*k + 65. Is a(3) a multiple of 39?
False
Let z(s) = -s**3 - 10*s**2 - 12*s - 1. Let c(o) = o**2 - 6*o - 4. Let a be c(7). Suppose 3 + 0 = m + a*h, -2*h = -3*m - 35. Is 26 a factor of z(m)?
True
Let q(w) = 3*w**2 - 31*w - 14. Is q(19) a multiple of 16?
True
Let d(a) = -a**3 + 54. Let h(g) = 2*g - 13. Let f be h(8). Suppose 0 = f*y + y. Is d(y) a multiple of 15?
False
Suppose 3*f + 8*f = f. Suppose f = -7*s + 1112 - 384. Is s a multiple of 10?
False
Suppose 38*j - 44 = 36*j. Suppose 10*c - 262 = -j. Does 3 divide c?
True
Let y be (-1)/(-2)*(-5 + 9). Suppose 4*w = y*r + 40 - 116, 5*w - 40 = -2*r. Is 7 a factor of r?
False
Suppose -165 = -i - 4*z + 34, 16 = 4*z. Is i a multiple of 46?
False
Let i(j) = -2*j