l + 22, -l + 5*l + 10 = -2*i. Suppose 253 = 5*k + b, 0 = -i*k + 4*b + 165 - 4. Is 17 a factor of k?
True
Let h(n) = n**3 + n**2 + 3*n + 1. Let v be h(-3). Let m be -4 - (-13 - 9/3). Is (-8)/m - v/3 a multiple of 4?
True
Let p(r) = r - 7. Let m be p(5). Let z be 3 + -1 + (0 - -3). Is 7 a factor of m/z - 288/(-20)?
True
Let a(n) be the first derivative of n**7/840 + n**6/72 - n**5/120 - n**4/8 - n**3/3 - 4. Let p(m) be the third derivative of a(m). Is p(-4) a multiple of 11?
False
Suppose 3*g - 227 = -2*h, 0*h + 5*h + 220 = 3*g. Is 11 a factor of 5*5/(g/96)?
False
Suppose d + w - 3 = 14, 0 = -2*d - 4*w + 44. Suppose 4*u + d = 4. Is 12 a factor of 2 + 22 + 1 - u?
False
Suppose 0 = -5*l - 3*g + 25 - 1, g = -2*l + 9. Suppose l*p + 5*d - 10 = 38, 4*d + 21 = 3*p. Does 5 divide p?
False
Let o = 184 - 67. Is o a multiple of 39?
True
Let k(q) be the first derivative of 4 + 1/4*q**4 - 7/2*q**2 + 2*q**3 + 6*q. Is k(-7) a multiple of 2?
True
Let x = -45 + 30. Is 14 a factor of x*(-2 + (-4)/4)?
False
Let k = 1614 - 1016. Does 13 divide k?
True
Suppose 2*r - 16 = -2*r + 4*j, -j - 14 = -3*r. Suppose 0 = -5*n, -2*t = -r*n + 3 - 31. Is (t/(-6))/(2/(-24)) a multiple of 14?
True
Suppose 4*f = 2*f + 4*q + 24, 2*f + 4*q = 64. Does 8 divide f?
False
Is 13 a factor of 624/4*(-2)/(-4)?
True
Let r = 9 - 7. Suppose r*f - 50 = -3*f. Does 10 divide f?
True
Suppose -o = k - 163, -o + 376 = -4*k + 1013. Suppose 0 = 7*x - 2*x - k. Is x a multiple of 15?
False
Suppose -2*f = 2*f. Is (-6)/(-2) - (0 + f) even?
False
Let b(q) = 4*q**3 - 3*q**3 - 3*q**2 - 6*q + 2*q**2 + 6. Is b(4) a multiple of 11?
False
Let j(b) be the first derivative of -b**4/4 - b**3 + 3*b**2/2 + 2. Let p be j(-4). Suppose -t - 5*o - 4 = 0, -p*t - 3*o + 32 = -20. Is t a multiple of 9?
False
Suppose -5*s = -28 - 62. Let u = s - -6. Is u a multiple of 24?
True
Let n(q) = 18*q - 1. Let l be n(2). Suppose l = -5*x + 105. Is 5 a factor of x?
False
Let j = 24 - 21. Is j a multiple of 3?
True
Let j(i) = 8*i**3 - 3*i**2 + i + 2. Let w be j(2). Suppose -a + p + p = -w, -2*a - 3*p + 105 = 0. Is 13 a factor of a?
False
Suppose 6*i - 280 = 170. Is i a multiple of 15?
True
Let n = 6 + -4. Let g(o) = 0*o - 2*o + 8*o**n + 0*o. Does 14 divide g(2)?
True
Suppose -16*a + 55 = -57. Is a a multiple of 7?
True
Let o(r) = -4*r - 1. Let c be 12/9*(-3)/2. Is o(c) a multiple of 7?
True
Let q(s) = 9*s**3 + 5*s**2 - 7*s + 4. Does 19 divide q(2)?
False
Suppose -4*m - 123 = 101. Let s = -36 - m. Is 8 a factor of s?
False
Let a(s) = 2*s - 2 + 4*s**2 + 3 + 0*s**2 + 2*s. Let m(l) = -8*l**2 - 8*l - 3. Let u(r) = 9*a(r) + 4*m(r). Is u(2) a multiple of 11?
False
Let f = 15 + 11. Is f a multiple of 6?
False
Let a = 142 + -98. Does 22 divide a?
True
Let k = 9 - -24. Is 6 a factor of k?
False
Let b(w) = w**3 - 10*w**2 - 9*w - 11. Is b(11) a multiple of 5?
False
Let k(b) = -b**2 + 5*b + 3. Let q be k(6). Let h(y) = -2*y**3 - 2*y**2 + 3*y - 2. Let s be h(-3). Let g = s - q. Is g a multiple of 8?
False
Let n = 341 - 241. Is 18 a factor of n?
False
Is (-19 - 1)/((-6)/24) a multiple of 17?
False
Let i(j) = -4 + 2*j**2 - 3*j**2 - 11*j + 3*j**2 - 4. Does 11 divide i(9)?
True
Let w = 348 - 178. Is w a multiple of 26?
False
Suppose 2*b + 12 = -4*a + 42, 0 = 4*a + 3*b - 33. Suppose 0 = 7*q - 10*q + 9. Let g = a - q. Does 2 divide g?
False
Suppose -4*r = 2*m + 18, 0 = r - 0*m + 3*m - 3. Let x = 54 + r. Is x a multiple of 14?
False
Is (-4)/14 + (-4440)/(-56) a multiple of 37?
False
Suppose 0 = 8*t - 3*t + 30. Let h(k) = -2*k - 1. Does 11 divide h(t)?
True
Let p = 125 - 56. Suppose u - p = -0*u + 5*g, u = -5*g + 59. Is 14 a factor of u?
False
Let c be 12/4 - (-311 - -2). Let b = c - 531. Is 4/(-12) - b/9 a multiple of 12?
True
Let i(v) = 5*v**2 - v + 1. Is i(-3) a multiple of 6?
False
Let s(r) = 3*r**2 + 3*r - 24. Let i(p) = -2*p**2 - p + 12. Let d(h) = -5*i(h) - 3*s(h). Does 4 divide d(5)?
False
Does 10 divide 1 - 1 - (-23 + -117)?
True
Let u(d) = -d**2 + 7*d - 4. Let n be u(6). Suppose n*a + 2*a = 40. Is a a multiple of 5?
True
Suppose b - 1 = -o, 4*o - 6 = 4*b - 18. Let t(c) = -5*c - 3*c + c**b - 9 + 3*c. Is t(8) a multiple of 5?
True
Is 2 a factor of 3/2*9/((-216)/(-368))?
False
Is 33 a factor of ((-11)/2)/((-2)/12)?
True
Suppose -4*q + 5*h = 0, 1 - 8 = q - 3*h. Suppose -4*v + 153 = -q*i, 2*v + 2*i - 16 - 38 = 0. Does 17 divide v?
False
Let x(b) = 3*b + 168. Is x(0) a multiple of 28?
True
Let b(q) = -15*q - 11. Is 29 a factor of b(-5)?
False
Let j(h) = -h**2 + 6*h - 7. Let c be j(5). Let r(f) = -3*f**3 - 2*f**2 - f - 1. Does 7 divide r(c)?
False
Let g be (-2 - -1)*(30 + -2). Is -3 + g/(4/(-2)) a multiple of 4?
False
Suppose -192 - 35 = -3*g - b, b - 152 = -2*g. Does 25 divide g?
True
Let j(m) = 48*m - 13. Is j(3) a multiple of 15?
False
Suppose 2*b - p = 19, 3*b + 2*p - 29 = 4*p. Is b a multiple of 4?
False
Let f = -51 - -85. Is 5 a factor of f?
False
Suppose 0 = 3*i + 3 - 9. Suppose 2*j - 48 = i. Suppose 0 = -z - 4*z + j. Is z even?
False
Suppose -3*f + 4*k = -48, -5*k - 75 = -2*f - 3*f. Is 4 a factor of f?
True
Suppose 51 = 3*v - 0. Does 4 divide v?
False
Suppose -4*x = -2*h - 4 - 14, 11 = 3*x - h. Suppose x*q = 5*q - 27. Is q a multiple of 4?
False
Let l be (0 - (1 - 0))/(-1). Is 10 a factor of (1 - 0)/l*13?
False
Suppose 0 = 2*v + 7*v - 450. Is v a multiple of 10?
True
Let v = 6 + 18. Is 4 a factor of v?
True
Suppose -4*s - 8 = -4*m, -6*m + 3*s + 6 = -m. Suppose m*o - o = -13. Is o a multiple of 13?
True
Let s(v) be the first derivative of 1/3*v**3 + 0*v**2 + 9*v + 2. Is 5 a factor of s(0)?
False
Let o(w) = -w**2 - 10*w + 3. Let z be o(-10). Suppose z*l + 3*d = -2*l + 101, 11 = l - 4*d. Does 4 divide l?
False
Let a = -30 + 55. Is 10 a factor of a?
False
Let y(t) = 2*t**2 - 4*t - 1. Does 16 divide y(-4)?
False
Let s = 18 - -77. Is 21 a factor of s?
False
Let x(i) = i**3 - 12*i**2 + 6*i - 6. Is 22 a factor of x(12)?
True
Suppose -9*o + 60 = -4*o. Is o a multiple of 12?
True
Let v = -13 + 18. Let t(m) = 3*m - 2. Let y be t(5). Suppose -53 = -4*j + v*g, 2*j - 2*g - y - 15 = 0. Does 17 divide j?
True
Let y(k) = 17*k**2 - 5*k - 6. Let z(h) = -h**2 - h - 1. Let m(a) = y(a) - 5*z(a). Is 6 a factor of m(-1)?
False
Does 4 divide ((-24)/(-14))/(-1 - 58/(-56))?
True
Suppose 11*m = -11*m + 814. Does 5 divide m?
False
Is (-75)/(-4) + (-12)/16 a multiple of 10?
False
Suppose 0 = g - 2*g + 120. Suppose x = 3*x - g. Is 12 a factor of x?
True
Suppose 3*t = 3*p - p + 36, -t + 4*p + 12 = 0. Let y be (50/(-8))/((-3)/t). Let o = y + -10. Is 15 a factor of o?
True
Does 15 divide -3 + 34 + (-3 - -3 - 0)?
False
Let z(t) = -4*t + 15*t - 4 + 0*t**2 - t**2 + 9. Does 22 divide z(5)?
False
Suppose 0 = -z - 3, z - 550 = -4*w + 1147. Suppose 3*f + 3*n = 4*n + 275, -5*f - 5*n + w = 0. Is 30 a factor of f?
True
Let z(n) = 5*n - 5. Let r be z(5). Suppose 5*i - r = -0*i. Suppose -4*x + x + 27 = -a, i*x = 2*a + 38. Is x a multiple of 6?
False
Let j(a) = a**2 + 15*a - 10. Is 54 a factor of j(-27)?
False
Suppose x - n - 25 = -5*n, x - 9 = 4*n. Let d = -28 + x. Does 5 divide 2/d - (-268)/22?
False
Suppose 4*o - 11 = y, 5*o = -y + 5*y - 11. Let i(p) = p**3 - 11*p**2 + 13*p - 5. Let n be i(y). Let d = 70 + n. Does 15 divide d?
False
Suppose 5*t + 2*s - 212 = 0, -3*s + 2*s = -t + 48. Is t a multiple of 11?
True
Suppose n - 15 = -4*n. Suppose 21 = -3*j - n. Let y = j + 12. Is y even?
True
Suppose -91 + 233 = b. Does 11 divide b?
False
Let p = -63 + 115. Is 33 a factor of p?
False
Let g = 30 - 2. Does 4 divide g?
True
Suppose -6*s + 262 = -7*s. Does 11 divide s/(-12) + 3/18?
True
Suppose 0 = 2*a - 5*z - 98 - 148, -2*a - 3*z = -278. Is a a multiple of 12?
False
Suppose 2*q - 30 = 42. Does 12 divide q?
True
Let r be 1*0/(2/1). Suppose -5*u + 1 - 41 = r. Let x = 0 - u. Is 3 a factor of x?
False
Let u(q) be the second derivative of 1/12*q**4 - 3*q - 1/6*q**3 + 0 + q**2. Does 4 divide u(2)?
True
Let g be (-4)/14 + 10/35. Is g + 0 + (-3 - -36) a multiple of 33?
True
Is 20 a factor of 323/2 - (-30)/(-20)?
True
Suppose 0 = 2*y - 411 + 81. Is 33 a factor of y?
True
Let c(x) = -13*x - 6. Is 14 a factor of c(-8)?
True
Let d(a) be the first derivative of a**4/4 - 4*a**3 + 8*a**2 - 16*a - 2. Is d(11) a multiple of 19?
False
Let x be ((-5)/(-2) + -2)*4. Suppose x*b - 7*b + 130 = 0. Does 13 divide b?
True