 b = -4*b - 5, -4*b = -j + 4. Suppose j = -5*z + 4*z + w. Does 8 divide z?
True
Let k(y) = y**2 + 4. Let s be k(4). Let o = 39 - s. Is 9 a factor of o?
False
Let p = -73 + 121. Suppose 5*n - p = 2*n. Is n a multiple of 11?
False
Suppose -194 = -3*k + v, 3*k + k - 5*v = 266. Is k a multiple of 16?
True
Is 2 a factor of (2/(-3))/(2/(-12))?
True
Let d(l) = 4*l**2 + 2*l + 1. Is 20 a factor of d(2)?
False
Let w(y) = y**2 - 18*y + 41. Is 12 a factor of w(19)?
True
Is (-9)/6*428/(-6) a multiple of 27?
False
Let l be (-6)/(2 - 8/3). Let w = l + -4. Is 2 a factor of w?
False
Suppose -4*d - d = -50. Let r = d - 6. Suppose 52 = 5*m - x, -r = -m - x + 10. Does 11 divide m?
True
Suppose 5*p = s + 2*s - 554, 574 = 3*s - p. Is s a multiple of 35?
False
Let g = -800 + 1352. Let p = g + -379. Suppose 5*i - 2 - p = 0. Is 16 a factor of i?
False
Let x(g) = -3*g + 3*g + 7*g**2 + 2*g - g**3 - 9. Is 2 a factor of x(7)?
False
Suppose -5*f = 4*a - 18 - 24, 0 = -3*f + 4*a + 38. Let w = 10 + f. Is w a multiple of 9?
False
Suppose -4*g = 3*z + 19, -7*z = -2*z + 3*g + 39. Let y = -5 - z. Does 4 divide y?
True
Suppose 192 = -24*o + 27*o. Is 28 a factor of o?
False
Let i(j) = 2*j**2 + 3*j - 3. Let f be i(-3). Let m be (f/15)/((-2)/(-120)). Suppose 5*d - 3*d - m = 0. Is d a multiple of 12?
True
Suppose -8*y - 87 = -9*y. Is 34 a factor of y?
False
Let u(l) be the third derivative of l**5/20 + l**4/12 + l**3/3 + 2*l**2. Let i be u(-5). Let f = i - 29. Is f a multiple of 19?
True
Let b be 3556/21 - (-2)/(-6). Suppose 2*m = 3*x - 63 - b, -4*m - 304 = -4*x. Is 20 a factor of x?
True
Let h(t) = t + 7. Let l(r) = -4*r. Let j be l(-3). Does 11 divide h(j)?
False
Does 9 divide ((-18)/5 + 0)/((-16)/280)?
True
Let o be -12*(-1 - (-1 - -3)). Let w = 2 + -4. Let s = o + w. Does 17 divide s?
True
Suppose 3*p - 97 = -d, -3*p - p = 5*d - 122. Let m = 76 - p. Suppose -35 = -3*c + m. Is 14 a factor of c?
False
Let z be (1 - -3) + 0 + -1. Suppose 56 = z*p + 11. Suppose 5*u - 45 = p. Is 4 a factor of u?
True
Let q(k) = k - 2. Let d be q(8). Let n(w) = d*w**2 + 11*w**2 + 7*w**2. Does 13 divide n(-1)?
False
Let u(d) = -d**2 - 21*d + 1. Is 21 a factor of u(-8)?
True
Let n(y) = -16*y - 25. Does 12 divide n(-9)?
False
Suppose 1170 = -4*i + 14*i. Is i a multiple of 21?
False
Let k(f) = -f**2 + 8*f - 1. Is 11 a factor of k(6)?
True
Suppose 160 = 30*y - 20*y. Does 4 divide y?
True
Let w = 5 - 0. Suppose 4*c - 86 = w*f + 4, c = 5*f + 105. Let i = 40 + f. Is 7 a factor of i?
False
Suppose -5*n + 52 = 2*y, -n = y - 6*n + 4. Does 7 divide y?
False
Let z be 1 - (-1)/((-1)/2). Let i(t) be the first derivative of 23*t**3/3 - t**2/2 + 1. Is i(z) a multiple of 12?
True
Let x = 24 - 7. Is 6 a factor of x?
False
Let n = -9 - 43. Let v = 82 + n. Does 25 divide v?
False
Let w be -35 + 3*(-3)/(-9). Let t be 2*3/(-4)*w. Let b = t - 29. Is 11 a factor of b?
True
Let r(h) = -h**3 - 7*h**2 + 8*h + 24. Is r(-9) a multiple of 15?
False
Let n be 12/2 - (-2)/(-2). Let u = 5 + n. Is 10 a factor of u?
True
Let u be ((-6)/(-4))/(10/20). Suppose o + 5 = -0, -5*k + 95 = u*o. Does 22 divide k?
True
Let q(g) = g**3 - 5*g**2 + 6*g - 4. Let a be q(4). Suppose 0 = -a*b - 14 - 2. Let f = 5 - b. Does 9 divide f?
True
Let z be (-3)/(-1) + (-6 - -4). Is 2*58/4*z a multiple of 8?
False
Suppose 4*k + 6 = -3*c, -4*k - 22 = -2*c - 3*c. Let y(f) = 4*f - 11. Let p(d) = -12*d + 32. Let a(x) = k*p(x) - 8*y(x). Is 13 a factor of a(6)?
False
Let t(u) = -u**2 + 21*u + 9. Is 7 a factor of t(10)?
True
Suppose 73 = 5*u - 2*n - 165, -187 = -4*u + 5*n. Let o = -24 + u. Does 8 divide o?
True
Is 15/(-6) - 1154/(-4) a multiple of 13?
True
Let w = 168 - 116. Is 15 a factor of w?
False
Let z(q) = q**3 - 5*q**2 + 8*q - 7. Is z(5) a multiple of 11?
True
Let x = -31 + 48. Let r(d) = -3*d - 5. Let b be r(-4). Let u = x - b. Is u a multiple of 10?
True
Let w(m) = -7*m - 2. Is w(-6) a multiple of 24?
False
Let w = -94 - -133. Is 13 a factor of w?
True
Let b = 29 + 5. Is b a multiple of 24?
False
Let u = 8 + -4. Suppose u*y = -0 + 4. Is (-16 - -2*y)/(-1) a multiple of 14?
True
Let v = 17 - -2. Is 5 a factor of v?
False
Suppose -2*v = -5 - 5. Suppose -v = 5*z - 0. Is (-16 - z)*(-1)/3 a multiple of 5?
True
Suppose 3*v - v = 46. Let j = 38 - v. Is 5 a factor of j?
True
Let b(h) = -h**3 + h + 72. Let c be b(0). Does 10 divide (6/4)/(4/c)?
False
Suppose 13 = -3*w - 8. Let b = 5 - w. Does 18 divide b/(-9)*(-54)/4?
True
Suppose 0 = 4*a - 2*y - 0*y - 248, -3*a + 5*y + 200 = 0. Is 12 a factor of a?
True
Let u = -1 + 3. Suppose -3*a = -u*a - 12. Suppose -a = -s + 6. Is 9 a factor of s?
True
Suppose -a - 3 = -2*o + 5, -4*a = -3*o + 17. Suppose m + o = 10. Does 7 divide m?
True
Is (-206)/(-14) + 8/28 a multiple of 10?
False
Let s = 10 - 7. Suppose 3 = -s*z, 5*g + z = -0*g + 4. Is 1 + 17 - 1/g a multiple of 17?
True
Let p(s) = s**2 + 5*s + 4. Let i be p(-11). Is 7 a factor of (-3)/(-2)*i/15?
True
Suppose -5*t = -2*w - 17, -3*w - 3*t + 27 = -0*t. Is w a multiple of 2?
True
Suppose -22 = 5*i + 28. Let w = i + 24. Does 14 divide w?
True
Suppose -3*l + 4*l - 9 = 0. Is l even?
False
Suppose 3*o = o + 4. Suppose -o*q + 6*q = 72. Is q a multiple of 9?
True
Suppose -4*g = 3*r - 6*g, 4*r + 2*g = -14. Is 110/(1/r*-4) a multiple of 12?
False
Suppose 4*m + c = 3*m + 4, -c + 4 = -4*m. Let o = 19 - m. Is o a multiple of 19?
True
Suppose 0 = -3*q - 3*i + 4*i - 7, q - 4*i - 5 = 0. Let o = q - -6. Suppose 47 - 2 = o*j + 3*s, -2*j = -3*s - 15. Is j a multiple of 12?
True
Let z = 53 + -35. Is z a multiple of 18?
True
Let s(a) = -a**2 + 23*a + 12. Does 18 divide s(21)?
True
Suppose c = -4*c + 45. Suppose -l + c + 33 = 0. Is 14 a factor of l?
True
Suppose -b - 3 = -0*b. Does 7 divide 82/6 - b/9?
True
Suppose 0 = -5*m + 6*m. Suppose -d - 2 = m, 8 = -w - 0*w - 5*d. Is (1*12 - 0)/w a multiple of 3?
True
Let z(n) = -4*n. Let m be z(1). Let f = 14 + m. Is (f/(-6))/(-5)*18 a multiple of 2?
True
Suppose -5*b + 41 = 11. Is 5 a factor of (-32)/20*(-75)/b?
True
Is 6 a factor of 970/8 + 2*(-7)/56?
False
Let u(t) = t**2 - 8*t + 4. Let s be u(8). Suppose s*i = -0 + 16. Suppose -i*q + 234 - 18 = 0. Is 15 a factor of q?
False
Let r = -1153 + 627. Does 10 divide (-4)/18 - r/18?
False
Suppose -2*f = -11 + 1. Let n(l) = 5*l - 1. Is 8 a factor of n(f)?
True
Suppose 5*f - f = 680. Suppose 4*j - f = -j. Is 15 a factor of j?
False
Let a(x) = -40*x**3 + x**2. Let f = 7 - 8. Does 16 divide a(f)?
False
Let j be 1 - -9 - (1 + 0). Is 366/j - (-4)/(-6) a multiple of 15?
False
Suppose 4*f = d - 55, 0*f - 5*f - 130 = -3*d. Suppose d = -5*w + 330. Does 12 divide w?
False
Let v(y) be the first derivative of -y**4/4 + 4*y**3/3 - y**2/2 - 3*y + 3. Is 2 a factor of v(3)?
False
Let s = -3 - -5. Let a(h) = h**3 - 2*h**2 - 2. Let b be a(s). Does 3 divide b/(-4)*12/2?
True
Suppose 11 = 4*w + 3. Let c(s) = -3*s + 0 + 12*s**w + s + 1. Is c(1) a multiple of 7?
False
Let d(w) = 54*w**2 + w - 1. Is 9 a factor of d(1)?
True
Suppose -3*k = 2*k - 310. Is k a multiple of 13?
False
Let j be -1 + 1 - -1 - 0. Let c = j - -1. Suppose -5*b = -4*z - 132, z = 3*b - 73 - c. Is 12 a factor of b?
True
Suppose n = -2*v + 547, -5*n = -5*v - 0*v + 1360. Is v a multiple of 10?
False
Let f = -15 - -25. Let s be f/45 - 34/(-9). Suppose -56 = 2*u - s*u. Is u a multiple of 12?
False
Let v(n) = 10*n**2 - 2*n - 3. Is 21 a factor of v(-2)?
False
Let i(y) = y**3 + 4*y**2 + 1. Let t be i(-4). Let j = -8 + t. Let w(x) = x**2 + x + 3. Is w(j) a multiple of 23?
False
Suppose -g = 2*g - 6. Let w = -1 + 1. Suppose -g*o + o + 10 = w. Is o a multiple of 10?
True
Let l(j) be the third derivative of j**5/30 + j**4/24 + 5*j**3/3 - j**2. Let t be l(-8). Suppose 8*b = 4*b, 5*o - b - t = 0. Is o a multiple of 13?
True
Suppose -39 = -3*v - 4*l, -2*l + 51 = -v + 6*v. Is 2 a factor of v?
False
Does 11 divide -55*-4*9/30?
True
Let s be (-6)/2*2/(-3). Suppose -8 = -s*f - 2*f. Suppose -3*b + f*b = -22. Does 22 divide b?
True
Suppose 0 = 2*x + 7 + 3. Let r(g) = -g**2 - 4*g + 7. Is r(x) even?
True
Is 2/(-6) + (-255)/(-9) a multiple of 18?
False
Let m be ((-30)/(-3)*-1)/1. Let h(a) = -a**3 - 10*a**2 - 4*a - 10. Is 9 a factor of h(m)?
False
Let f = -15 + 32. Is f a multiple of 4?
False
Let d be ((-3)/2)/(1/4). Let r be d/(-4)*(-50)/(-15). Suppose -r*z + 11 = -54. Does 13 divide z?
Tru