 a factor of j?
False
Let u = -29 + 40. Does 6 divide u?
False
Let h(l) = 8*l**2 - l + 1. Let j be h(1). Let b be ((-102)/24)/(2/j). Does 10 divide (-2 + 3)/1 - b?
False
Let z(a) = 6*a**3 + a**2 - a + 1. Let r = 2 + -1. Let v be z(r). Let w = v - -10. Does 17 divide w?
True
Let m be 1 + (-1 - (3 - 4)). Let o be m/(-1 - (-9)/12). Is 4 a factor of (o + 3)/(2/(-10))?
False
Let l(k) = -k**3 + 23*k**2 - 22*k + 13. Is l(22) a multiple of 2?
False
Let t(z) = 16*z + 3. Let m be t(-2). Let k = m + 20. Is 14 a factor of 3/k - 100/(-3)?
False
Suppose 173 = 2*f + 53. Does 4 divide f?
True
Let h be 113/4 + 1/(-4). Let p be (h - -1) + -4 + 2. Let v = 40 - p. Is 13 a factor of v?
True
Let u(h) = 10*h + 3. Suppose -3*q + 3 = 5*b, -4 = 2*q - q. Does 10 divide u(b)?
False
Let g = 27 - 5. Is g a multiple of 3?
False
Suppose -41*h = -38*h - 36. Is 6 a factor of h?
True
Suppose 0*a - a = -2*w + 15, 3*w = 3*a + 27. Let b(j) = 6*j**3 - 10*j**3 + 3*j**3 - 2*j - 3 + 11 + 7*j**2. Does 16 divide b(w)?
True
Is 4*(189/4)/7 a multiple of 21?
False
Suppose -396 = 6*h - 12*h. Is h a multiple of 7?
False
Suppose -3*s - 2*s + 105 = 0. Is 3 a factor of s?
True
Suppose -w + 0*b - 4*b = -22, -3*w + 4*b - 14 = 0. Suppose w*g = -g + 90. Is g a multiple of 15?
True
Let k = 971 - 631. Is k a multiple of 36?
False
Let t = 141 + -124. Is 2 a factor of t?
False
Suppose -10 = -2*x - 0*x. Suppose -15 = x*q, g + 2 = -3*q + 4. Does 5 divide g?
False
Is 9 a factor of 9*(-27)/2*(-3 + 1)?
True
Does 7 divide 830/30 + 2/(-3)?
False
Let v = 26 - 42. Is (-6)/(-6*(-2)/v) a multiple of 3?
False
Suppose -8 = -a - 2*v, -12 = 2*a - 6*v + 3*v. Suppose -3*w - 2*w + 2*f - 11 = a, -w = -f + 1. Is 3/(-2)*20/w a multiple of 4?
False
Let f(q) be the first derivative of 10*q**3/3 + q**2 - 2*q - 2. Does 10 divide f(-2)?
False
Suppose 6*r - 3*r - 96 = 0. Is 8 a factor of r?
True
Let q = 342 + -233. Does 23 divide q?
False
Let z be (-5 - -2)*1/1. Is ((-50)/(-3))/(-5)*z a multiple of 9?
False
Suppose 2*s - 4 = 2. Is 4 a factor of s/1 + (5 - 4)?
True
Let f(w) = w**2 - 9*w + 14. Does 3 divide f(9)?
False
Does 33 divide 60/2 + (4 - 1)?
True
Let g be ((-2)/6)/(1/(-45)). Let k = g + -11. Suppose 0 = -5*o + 15, 8*o - 57 = -5*u + k*o. Is 9 a factor of u?
True
Suppose -3*k + 8*k = 390. Does 8 divide k/6 - (0 - 0)?
False
Let o(n) = -n + 6. Is o(0) a multiple of 2?
True
Let f(g) = -39*g**3 - g**2 - g. Is f(-2) a multiple of 31?
True
Let a(g) = 7*g - 47. Let p be a(6). Let x(n) be the third derivative of n**6/120 + n**5/15 - n**4/4 + n**3 + n**2. Does 11 divide x(p)?
True
Let b = 4 + -1. Suppose 6*l - b*l = -39. Let m = 21 + l. Is m a multiple of 4?
True
Let l(z) = z**2 - z + 6. Does 6 divide l(6)?
True
Let i = -26 - -86. Is 20 a factor of i?
True
Let i = 87 - 10. Is 10 a factor of i?
False
Let d(v) = -67*v + 3. Let u(y) = 32*y - 2. Let z(n) = -n. Let c(p) = -u(p) + 2*z(p). Let h(i) = -5*c(i) + 3*d(i). Is h(-1) a multiple of 10?
True
Suppose 3*n = -5*k + 3*k - 51, -n + 2*k = 9. Let c be (-378)/(-5) - n/(-25). Suppose 3*g + 3*b = c, 3*g = -4*b + 42 + 38. Is g a multiple of 10?
True
Suppose 0 = 3*s - 144 - 45. Suppose 92 = -u - 3*u. Let h = u + s. Is 20 a factor of h?
True
Let n(a) = a**3 + a**2 + 37. Is 5 a factor of n(0)?
False
Let k be 23 - (4/(-2) - -1). Let j = k + -2. Does 11 divide j?
True
Let r be 748/6 + 2/(-3). Let z be (-1 + 11)/(8/r). Suppose 2*p + 5*h + 58 = 3*p, 0 = 3*p + 4*h - z. Is 19 a factor of p?
False
Let d(n) = n**3 + 6*n**2 + 4*n - 5. Is d(-4) a multiple of 11?
True
Suppose -8*d = -3*d - 140. Is d a multiple of 28?
True
Let d(z) = 3*z**2 - 10*z + 3. Is d(7) a multiple of 10?
True
Let u(a) = 2*a - 3. Let c be u(4). Suppose c*z - 5*g - 25 = 325, -4*z - 4*g = -248. Is z a multiple of 22?
True
Suppose -4*u - 15 = 21. Let h = u + 0. Let w = h - -13. Is w even?
True
Let q(f) = -2*f**3 - 15*f**2 + 8*f + 8. Is 8 a factor of q(-8)?
True
Is (-11)/44 - 1249/(-4) a multiple of 13?
True
Suppose -4*a + 60 - 19 = -5*b, -b = -a + 10. Is a a multiple of 9?
True
Let v = -36 + 81. Is v a multiple of 45?
True
Let k(a) = a + 3. Suppose 31 = p - 1. Let n be (p/(-12))/(2/(-6)). Does 11 divide k(n)?
True
Suppose -26 - 546 = 3*a - 4*p, -3*a + 3*p = 567. Is 16 a factor of (-1)/(-3) - a/6?
False
Let g(b) = -b - 1. Let f be g(-3). Suppose 0 = -x + f*x - 8. Let v = 6 + x. Is 7 a factor of v?
True
Suppose -38 = -2*t - 2*u, -61 = -3*t + 2*u - 6*u. Does 15 divide t?
True
Suppose -2*p = 4*r + 42, -2*r = -8*p + 4*p + 46. Let h = -16 - -34. Let u = h + r. Is 3 a factor of u?
False
Suppose 0 = 3*a - 118 + 28. Is 4 a factor of (-12)/a - (-57)/5?
False
Let o be -19 - (12/3 + -1). Does 4 divide (o/(-10))/((-2)/(-10))?
False
Let s = 26 - 16. Let a = s + 8. Is a a multiple of 6?
True
Let l be (-16)/(-20)*(-10)/(-4). Let a(r) = 7*r**3 - 2*r**2 + r - 1. Is a(l) a multiple of 15?
False
Let w(p) = -p + 8. Let c be w(5). Suppose -2*r + c*r = 25. Is 14 a factor of r?
False
Suppose 9 = -5*a + 4*z - 18, z = -a. Let n be 4/(-6)*a + 64. Suppose 0 = -5*h + 211 - n. Does 18 divide h?
False
Suppose -2*x + 6*x = 208. Is x a multiple of 13?
True
Suppose 10*v - 12*v = -96. Is v a multiple of 11?
False
Suppose 3 = -4*a - 13. Let v = 3 + a. Let m(k) = -28*k**3 - k**2 + k + 1. Is m(v) a multiple of 27?
True
Suppose 5*z - 263 = -38. Is 15 a factor of z?
True
Let u(i) = i + 45. Does 11 divide u(-14)?
False
Let u = 1 + 2. Suppose 4*b = u*n + 121, 2*b + 2*n = -11 + 89. Is 17 a factor of b?
True
Suppose -22 = -2*y + 8. Is y a multiple of 9?
False
Let c(a) = -a**3 + 6*a**2 - a - 3. Let y be c(4). Suppose -4*i - 39 = y. Let k = -8 - i. Is k a multiple of 7?
False
Let c be ((-1)/1)/((-2)/(-12)). Let l(a) = 2*a**2 + 7*a + 9. Let o(f) = -6*f**2 - 21*f - 26. Let m(d) = -8*l(d) - 3*o(d). Is 18 a factor of m(c)?
True
Let c be (0 - 2)/(2/(-129)). Let g = c - 78. Let j = g - 12. Is j a multiple of 15?
False
Suppose -2*w + 0*a = 3*a - 399, 4*a = -4*w + 796. Is 13 a factor of w?
False
Let t(w) = 9*w**2 + 17*w + 61. Is 20 a factor of t(-4)?
False
Suppose -3*a + 336 = -99. Does 22 divide a?
False
Let r be (36/(-21))/(3/(-21)). Does 10 divide r/42 - 276/(-14)?
True
Let b(p) = -1 + 2*p**3 + 5*p + 6*p**2 + 3 - p**3. Is 14 a factor of b(-4)?
True
Suppose 20 = -r + 4*o - 2*o, 0 = -2*r + o - 43. Let x = -18 - r. Is x a multiple of 2?
True
Suppose n + 3*t - 2074 = -3*n, -4*n = -2*t - 2084. Let b be 4*(-1 + (-22)/8). Does 13 divide 1/3 - n/b?
False
Let p be (-8)/10*(7 + -12). Does 13 divide 18/(-12) - (-150)/p?
False
Suppose 733 = 5*o + 238. Is 11 a factor of o?
True
Let v = 445 - 250. Suppose -2*z + v = 71. Is z a multiple of 10?
False
Suppose -5*a - 54 = -214. Let n = a - 22. Does 4 divide n?
False
Let t = 12 - 7. Let z be 511/3 - (-8)/12. Suppose -z = -t*i + c, i - 54 = -i + 4*c. Is i a multiple of 17?
False
Let f = -12 - -7. Let w = f - -16. Is w a multiple of 11?
True
Let i(x) = -x. Suppose -w + 0*m = -3*m - 11, -w - 5*m = 21. Let c be i(w). Is 4 a factor of (c/2)/(4/56)?
False
Suppose c + l - 11 = 0, -3*c + 2*c = -4*l + 14. Does 3 divide c?
True
Let h = -72 - -105. Suppose r + 56 = 5*v + 3*r, 0 = -3*v - r + h. Does 10 divide v?
True
Suppose 2*g = -5*c - g + 318, 0 = -c - 5*g + 46. Is c a multiple of 22?
True
Suppose 9*y - 6*y - 6 = 0. Suppose -y*n = 3*o - 93, -n = -3*n - 6. Is 11 a factor of o?
True
Let t = 1 - -2. Let b be (-2)/4*(-51 + -1). Suppose t*k + b - 104 = 0. Is k a multiple of 16?
False
Let c(i) = 4*i. Let d be c(-3). Is 16 a factor of (-6)/d - 170/(-4)?
False
Suppose 0 = -3*v + 7 + 2. Suppose 0 = -v*d + 3 + 3. Is 16*d - (1 - -2) a multiple of 19?
False
Suppose -2*o = -k - 2, 0 = 5*o + k + 1 + 1. Suppose p + p - 4 = o. Suppose 4*u + p*w - 98 = 0, 0 = -3*u - u + 5*w + 105. Is u a multiple of 9?
False
Suppose -3*n - l = -5*n + 3, -n - 2*l - 6 = 0. Suppose -u + 24 = 4*p, -3*p + n*p - 132 = -3*u. Is 20 a factor of u?
True
Suppose -2*s + 18 = -2*b - 48, 138 = 4*s - 2*b. Is s a multiple of 4?
True
Suppose 2*j = -5*u - 187, -3*u = -j - 3*j + 107. Let d(w) = -10*w - 1. Let q be d(7). Let y = u - q. Is 21 a factor of y?
False
Let l = -53 - -77. Is l a multiple of 12?
True
Let y be 130/18 + (-12)/54. Let o = y - -9. Does 8 divide o?
True
Suppose o = 4*o - 144. Let r be 2/7 - o/(-28). Suppose -h + 1 = 2*u - 2, 0 = -r*h + 4*u + 14. Is h a multiple of 3?
False
Suppose -4*p = 2*p - 