of k?
True
Let x = 2 - 5. Let v = x + 5. Does 10 divide (-33)/v*2/(-3)?
False
Let d(a) = a**3 + 2*a**2 - 2*a - 4. Let r be d(5). Let h = r - 70. Is h a multiple of 19?
False
Let t be 1 - (0/1 + 1). Suppose -5*d = -s + 8, -5*s + 2*d = -0*d - 132. Suppose 2*m - 4*y - 10 - s = t, -14 = -2*m - 4*y. Is 5 a factor of m?
False
Suppose 0 = -3*r - 3 - 6. Let a be (-2)/r - (-668)/6. Suppose 6*n - a = 2*n. Does 14 divide n?
True
Let u = 6 - 2. Suppose 0 = -0*v + u*v - 12. Is v a multiple of 3?
True
Is 11 a factor of 2196/(-54)*((-9)/2)/3?
False
Let x(a) = a**2 - 2*a - 11. Is x(-5) a multiple of 8?
True
Let h be -2 + ((-180)/3)/2. Suppose 0 = -3*z + 2*z + 78. Let a = h + z. Is 17 a factor of a?
False
Suppose 4*k = 3*k + 2*w - 22, w + 19 = -2*k. Let b be (1 + -4)/(18/k). Let a(l) = 3*l**3 - 4*l**2 + 3*l - 2. Is 6 a factor of a(b)?
True
Suppose i + 0 = -2. Does 17 divide 170/5*i/(-4)?
True
Let r = 4 - 7. Is 3/(1 + r/12) a multiple of 3?
False
Suppose -2*s + 4*j + 28 = 0, -5*s = -5*j + 3*j - 46. Let b be (-4)/(-16) - 74/s. Let p(w) = w**3 + 9*w**2 + 5. Is p(b) a multiple of 5?
True
Let p(r) = -19*r + 3. Does 11 divide p(-2)?
False
Let w be 3*(12/(-9) - -3). Suppose -w*f + 2*f = -3*n + 165, -n + 2*f = -55. Does 11 divide n?
True
Suppose -o = -0*m + 3*m + 28, -29 = o + 2*m. Let n = o + 63. Is n a multiple of 16?
True
Let n(f) = -2*f**2 + f. Let b be n(-1). Let o = b - -6. Suppose -2*h + o*h = 42. Is 21 a factor of h?
True
Let k be (0 + 0/3)/2. Let h = k + 0. Suppose h = 3*t + 5 - 47. Does 14 divide t?
True
Let t = 30 + -42. Let u = 3 - t. Is 13 a factor of u?
False
Suppose -6*f - 2*k = -f - 596, 2*f - 227 = 3*k. Is f a multiple of 34?
False
Let w(v) = 0 + 14*v - 1 - 15*v. Suppose 3*a = -0*a + 2*y - 23, -y = a + 1. Is 2 a factor of w(a)?
True
Does 12 divide ((-576)/(-90))/(1/15)?
True
Let q(v) = -v**3 + 17*v**2 + 4*v - 42. Is 26 a factor of q(17)?
True
Let m(n) = -5*n - 3*n**2 - 2*n - 12*n + 22 + 2*n**2. Is 14 a factor of m(-16)?
True
Suppose -m - 5*q + 119 = 0, -m + 39 = -q - 56. Is m a multiple of 33?
True
Let u = 267 - 187. Is u a multiple of 20?
True
Let h = 5 + -9. Suppose t + 4 = -24. Let j = h - t. Does 12 divide j?
True
Let y(b) = -b**2 + 7*b - 2. Let u be (-24)/(-4) + 0/2. Let m be y(u). Is (0 - m)*(-7)/14 a multiple of 2?
True
Suppose 0 = -3*r - 5*k + 230, -4*k - 225 - 23 = -3*r. Suppose -r - 125 = -5*a. Suppose -4*b + a = -87. Is 20 a factor of b?
False
Let t = 491 + -349. Is t a multiple of 22?
False
Suppose 3*p - 12 = 3*h, 4*p + 0*h + 5*h = -20. Let k(a) = 6 + a - a**2 + 5 + 0. Does 4 divide k(p)?
False
Let k = 39 + -29. Is 9 a factor of k?
False
Suppose 3*k - 18 = 3*x, 2*x = -2*k + 7*x. Suppose -k - 14 = -2*f. Does 6 divide f?
True
Let u(d) = -d**3 + 7*d**2 + d - 5. Let m be u(7). Let l be (4/m - 2) + 2. Suppose 0 = -3*o + l*c + 14, o + 0*o - c = 3. Is o a multiple of 8?
True
Suppose 0 = -0*k - 3*k - m + 689, -5*k + 1135 = -m. Does 12 divide k?
True
Suppose -5 = 3*n + 1. Let k be 1*n - (-390)/3. Suppose 0 = 4*j + 16 - k. Is j a multiple of 14?
True
Let i(d) = 8*d**2 + d + 1. Let k = -9 + 8. Is 4 a factor of i(k)?
True
Let t = 35 - 38. Let k(x) = 0 + 4 + x**3 - 3*x**3 - 2*x**2 - 2*x. Is 23 a factor of k(t)?
True
Let c(w) = 9*w + 4. Let j be c(3). Suppose 0 = 3*h + 4*i + 31, -2*i = -2*h + 3*h + 9. Let p = h + j. Is 9 a factor of p?
True
Let p(c) = -3*c + 1. Let j be p(6). Does 13 divide (2*j)/(8/(-12))?
False
Let u(d) = -8*d**2 + 9*d + 6. Let x(c) = -c**3 + c + 1. Let s(i) = -u(i) - x(i). Let r be s(-9). Does 2 divide r/14 - (-68)/14?
False
Let d(q) = q**2 + 2. Let b be d(3). Suppose -15 - 5 = -5*v. Suppose -v*a + b = 5*f - 0, -2*a + 4 = 4*f. Is a a multiple of 4?
True
Suppose -5*y - 4*r + 205 = -149, -5*r = 20. Is y a multiple of 12?
False
Is (-61 - 7)*2/(-8) a multiple of 5?
False
Suppose -8*z = -7*z + 2*h - 58, 2*z - 119 = -5*h. Is z a multiple of 4?
True
Suppose 0 = -0*b + 5*b - 50. Is b a multiple of 5?
True
Suppose 0 = -4*l + 3*f + 304, -2*f - 71 = 2*l - 3*l. Is l a multiple of 7?
False
Let g = -132 + 427. Does 12 divide g?
False
Let x = -151 - -223. Does 24 divide x?
True
Suppose 0 = m + 2*m - 39. Let f be 6/15 + m/5. Suppose f*s = -19 + 55. Is s a multiple of 11?
False
Let s(b) be the first derivative of b**4/4 + b**3 - b**2/2 + 2*b - 1. Is 4 a factor of s(-2)?
True
Let p = -7 + 19. Does 12 divide p?
True
Let b(p) be the third derivative of -11*p**4/24 + p**3/6 + 8*p**2. Is 6 a factor of b(-1)?
True
Let s(o) = o**2 + 3*o - 25. Is s(-9) a multiple of 7?
False
Let q(i) = 2*i**2 - 5*i + 4. Let u be q(3). Let t = 6 + u. Does 13 divide t?
True
Suppose -2*o + 5*o = -27. Let f = o - 17. Let c = -11 - f. Is 15 a factor of c?
True
Let g(q) = 4*q**3 + q**2 - q. Let p be g(1). Suppose -4*i + 3*i - 2*n = -3, 2*n = p*i - 52. Is 8 a factor of i?
False
Let k be 14/(-35)*(-4 + -1). Suppose 3 = 2*g + 17. Is 9 a factor of k/g + 114/7?
False
Let s = 125 + -113. Does 4 divide s?
True
Suppose 3 + 2 = k. Suppose k*q + 17 = -3*t, q = t + t - 6. Is 10 + q/(8/6) even?
False
Suppose -i + 55 = c, -5*c - 181 = -3*i - 0*c. Let h(t) = -5*t + 8. Let b be h(8). Let s = b + i. Is 14 a factor of s?
False
Suppose -l - l = -y - 492, 0 = 2*y. Does 43 divide l?
False
Suppose -i = -3*i + 5*g + 85, 4*g = -i + 23. Is 13 a factor of i?
False
Suppose 6*n - 18 = 234. Does 12 divide n?
False
Let p(t) = -t + 13. Does 5 divide p(-7)?
True
Suppose 5*n = -n + 258. Is n a multiple of 6?
False
Let b(r) = r + 32. Is b(-11) a multiple of 3?
True
Let a(i) = i**2 - 9*i - 22. Is a(12) a multiple of 2?
True
Let y(f) = 3*f**3 - f**2 - 2*f + 1. Let d be y(-2). Let t = -18 - d. Is 5 a factor of t?
True
Let i be (-13)/2*6/(-3). Let t = i + 0. Is 13 a factor of t?
True
Let m(q) = 26*q + 2. Let c be m(3). Let i(d) = d - 4. Let p be i(6). Suppose 0 = 3*v - o - c, -3*o - 26 = -p*v + 25. Is v a multiple of 9?
True
Let g(d) be the second derivative of 3*d**5/20 + d**4/4 - d**3/2 - 2*d. Is 15 a factor of g(2)?
True
Suppose 3*a = 6, 6*r - 2*r + 2*a - 132 = 0. Does 7 divide r?
False
Does 17 divide 2 - 4 - -1 - -69?
True
Suppose 2*m = -m + 24. Is 4 a factor of m?
True
Let j be -5*(-2 + (-16)/(-10)). Suppose -j*m + 38 + 142 = 0. Does 30 divide m?
True
Let d = 2 + -10. Let z = d - -18. Is 4 a factor of z?
False
Let v(m) = 5*m**3 + 0 - 5*m**2 + 1 - m - 6*m**3 + 3*m**3. Is 16 a factor of v(4)?
False
Let y be 204/26 - 2/(-13). Does 12 divide 190/y + 2/8?
True
Does 17 divide ((-27)/(-4))/((-1)/(-8))?
False
Let i(u) = u**2 + 5*u - 11. Let m be (-5 - 2) + (1 - 2). Is 5 a factor of i(m)?
False
Let t = 1 - -6. Suppose -t + 1 = -3*l. Suppose -l = v - 0*v, 4*v = -3*s + 10. Is s a multiple of 6?
True
Is (-2)/9 - 329/(-63) even?
False
Suppose -2*n + 83 = -35. Is 15 a factor of n?
False
Let t(i) be the first derivative of i**5/24 - i**4/6 + i**3 - 1. Let u(j) be the third derivative of t(j). Is 8 a factor of u(4)?
True
Let q be (-6)/21 + (-88)/(-14). Suppose i = q*i - 90. Is 11 a factor of i?
False
Is (-10)/(-15)*1 + (-586)/(-3) a multiple of 14?
True
Let o = 41 - -25. Does 19 divide o?
False
Suppose -3*p - 9 = 3*x - 30, 0 = 3*x + p - 31. Is 12 a factor of x?
True
Let g be 3/6*7*-4. Let n = g - -21. Does 6 divide n?
False
Let a be (-8)/(-28) + (-24)/(-14). Let t(z) = -z**2 + 6 - 3*z + 16*z + 0*z**a. Is 16 a factor of t(8)?
False
Let f = 86 + -71. Is 4 a factor of f?
False
Let p be 0*((-4)/(-2))/2. Suppose p = 4*o + 15 - 111. Is 6 a factor of o?
True
Let q be (1 - (-3)/(-2))*-12. Is -12*10/q*-1 a multiple of 10?
True
Let c = 80 - 42. Does 7 divide c?
False
Is 0 + 123 - (4 + 2 + -6) a multiple of 28?
False
Suppose 4*v + 0*t + 3*t = 21, 2*v + 3 = 3*t. Let j = 11 + v. Is j a multiple of 14?
True
Let g = 323 + -162. Is g a multiple of 23?
True
Suppose l + 0*l = -11. Let j(v) = -v**2 - 12*v - 8. Let u be j(l). Is (-9)/(-6)*20/u a multiple of 4?
False
Let x be (40 - 0)*6/4. Suppose 2*q = -2*q + 2*r + x, 3*q - r - 43 = 0. Is q a multiple of 13?
True
Let s = -51 + 68. Is s a multiple of 4?
False
Let m(q) be the second derivative of -3*q**5/4 - q**4/6 + q**2/2 + 2*q. Is 6 a factor of m(-1)?
False
Suppose 120 = l + l. Does 13 divide (12/9)/(2/l)?
False
Let d = -51 + 86. Does 6 divide d?
False
Let j = 171 - -61. Does 29 divide j?
True
Let h(g) = g**2 - 5*g + 1. Let c be h(5). Let q = c - -4. Suppose -59 + 14 = -q*u. Does 8 divide u?