Suppose 0 = j + o*y - 21, 0*j - w*y = 2*j - 30. Is j a multiple of 5?
False
Let v be 38*(2 + 7/(-2)). Let y be 5*(v/(-15) + -3). Suppose y*l - 8*l = -84. Is 21 a factor of l?
True
Suppose 3*d - 18 = 3*a - 4*a, -d + 4*a + 19 = 0. Let q be 12/d - 6/(-21). Does 10 divide (2 - q) + (2 - -18)?
True
Let f(g) = 3*g - 1. Let m be f(1). Let h(k) = -m + 12*k + 8*k**2 - k**2 + 3*k**3 - 4*k**3. Is h(8) a multiple of 15?
True
Suppose 2*o - 3*l + 0*l - 8 = 0, -5*o + 4*l = -13. Does 20 divide 6*(7/3 + o)?
True
Let c be 6/((-4)/(256/6)). Does 8 divide (c/6)/(10/(-30))?
True
Suppose 4*n - 349 = -s, 5*n = s + 3*s + 431. Is n a multiple of 9?
False
Suppose 0 = u - 3*u + 4. Suppose -u*a - 36 = -6*a. Does 9 divide a?
True
Let r(m) = -m**3 - m. Let f be r(0). Suppose f = 3*o + g + 34 + 27, 4*o + 93 = g. Let k = 31 + o. Does 8 divide k?
False
Let l be (-12)/8*8/(-3). Suppose 0 = -4*d - 3 - 1, -3*d = -l*q + 83. Is 20 a factor of q?
True
Let u = 74 + -37. Is 29 a factor of u?
False
Suppose 0 = -2*q + 2*p - 5*p + 118, q + p = 58. Is q a multiple of 14?
True
Suppose 23 + 83 = 2*h. Is 18 a factor of h?
False
Suppose 2*p + p = -5*g - 22, 0 = -5*p - 3*g - 58. Let z be (-2 - p/2) + -1. Suppose -28 = -z*w + 132. Is w a multiple of 20?
True
Let n be (16/(-20))/((-2)/5). Let l be n - -2*2/4. Is 11 a factor of 48/45*l*5?
False
Let u = -2 - -7. Suppose 9 = u*s - 11. Let o = s + 1. Does 3 divide o?
False
Let z = 34 + -18. Is z a multiple of 6?
False
Let k be 34/10 - (-2)/(-5). Let a = -3 + k. Suppose 3*v + a*v - 87 = 0. Does 14 divide v?
False
Let j = -8 + 20. Does 6 divide j?
True
Suppose 0 = -4*h + 8*o - 4*o + 20, 0 = 5*h - 4*o - 20. Let g = 5 - h. Suppose -3*f + 3*i + 48 = 0, 0 - g = i. Is 10 a factor of f?
False
Suppose -g - 499 = -3*o + o, -5*o - 4*g + 1280 = 0. Does 36 divide o?
True
Let v = 66 - 36. Is v a multiple of 15?
True
Let y = -11 + 9. Let z(p) = -6*p - 5. Let q(u) = 6*u + 6. Let j(t) = 4*q(t) + 5*z(t). Does 11 divide j(y)?
True
Let h(r) = r - 6*r + 4*r - 6. Let c be h(-7). Suppose 0 = -3*b + 20 + c. Is b a multiple of 5?
False
Let i = -40 - -68. Is i a multiple of 7?
True
Let o = -55 + 38. Let a = o - -41. Suppose 3*b - a = -0*b. Is b a multiple of 4?
True
Let j = 88 - 60. Let x = 47 - j. Is 7 a factor of x?
False
Is ((-4)/(-3))/((-2)/(-45)) a multiple of 10?
True
Suppose 0 = -j - 44 - 22. Let a = 15 + j. Does 17 divide ((-2)/(-6))/((-1)/a)?
True
Let o = -13 - -21. Suppose q - w = o, 5*q - 40 = w + 2*w. Suppose -12 = 7*j - q*j. Does 6 divide j?
True
Let i(p) = 2*p**3 - 6*p**2 + 6*p - 3. Is i(4) a multiple of 19?
False
Let p(f) = -f**3 - 5*f**2 - 4*f + 3. Let b be p(-5). Let l(t) = 2*t**2 - t + 5. Let w be l(4). Let r = w - b. Does 10 divide r?
True
Suppose 0 = -5*n + 13 + 7. Suppose -3*t + n = x, 4*x = 5*t + 6 - 24. Suppose -h = t*p - 26 - 1, 82 = 4*h - 5*p. Is h a multiple of 9?
False
Let t(d) = -d**3 + d - 1. Let j(a) = -3*a**3 + 4*a**2 + 6*a - 9. Let x(h) = j(h) - 2*t(h). Let k be x(5). Let b = 44 + k. Is 9 a factor of b?
False
Let i be (-2)/5 - 108/(-45). Suppose -16 = -i*q + q. Is 12 a factor of q?
False
Suppose -227 = -d + 2*a - 5*a, 232 = d - 2*a. Is d a multiple of 23?
True
Suppose -2*k + k = 2. Let s = 11 - k. Let i = s + -8. Does 3 divide i?
False
Suppose -2*q + 12 = 2*c, 3*c = 5*q + 2*c - 60. Let k = -2 + q. Does 9 divide k?
True
Suppose 4*m + 5 = 1. Let y(p) be the first derivative of 9*p**3 - p**2 - p + 6. Does 14 divide y(m)?
True
Let k(w) = w - 6. Let g be k(8). Let u(v) = -g + 2*v + 0 - v. Is 4 a factor of u(6)?
True
Suppose -4*b - 2*u + 4 + 8 = 0, 5*b - 16 = -2*u. Suppose -5*x = -43 - 7. Let f = x + b. Does 6 divide f?
False
Suppose -726 + 171 = -m. Suppose -2*u = 3*u + 4*g - 555, m = 5*u - 4*g. Suppose 0 = -5*w - 4*f + u, -w + 5*f + 28 = -0*f. Is w a multiple of 18?
False
Let f(r) = 2*r + 9. Let x be f(-9). Let q = x + 14. Does 2 divide q?
False
Suppose 78 = -2*f + 4*f. Is f a multiple of 7?
False
Suppose 4*c + 2*k - 62 = 6*c, 2*k = -4*c - 112. Let t = 11 - 14. Let q = t - c. Does 13 divide q?
True
Let u be (4/(-6))/(2/3). Let m(z) be the first derivative of -4*z**2 + z - 18. Is 9 a factor of m(u)?
True
Let l be (2 + 24/(-15))*5. Suppose l*v + 10 = 7*v. Suppose -63 = -3*g + 4*t, -3*g - v*t - 94 = -7*g. Does 9 divide g?
False
Let a = 17 - 1. Is a a multiple of 3?
False
Let n(t) = t + 8. Let l be n(-8). Suppose 0 = -4*w - y + 18, l*y = -2*w - 4*y + 16. Suppose h = -4*f + 54, -20 = w*h + 5*f - 181. Is 17 a factor of h?
True
Let y(h) = -8*h - 2. Let m = 5 + -2. Suppose 0 = z - 1 + m. Is 6 a factor of y(z)?
False
Let f(h) = 5*h + 2. Is 13 a factor of f(6)?
False
Does 21 divide (-13)/((-39)/(-6)) - (-92 - -1)?
False
Suppose 2*g - 3*g - 5*h = 63, g = 3*h - 47. Let o = g - -105. Is 26 a factor of o?
True
Does 28 divide ((-96)/30)/(2/(-70))?
True
Suppose 4*b - 52 = 3*j + 83, 2*b = j + 65. Is 15 a factor of b?
True
Let b(a) = -3*a - 6. Let o(s) = -s - 3. Let r(h) = -2*b(h) + 5*o(h). Let v = 5 + 2. Is 4 a factor of r(v)?
True
Suppose 2*w = -2*o + 40, 0*w - 3*w = -4*o + 108. Let n = o + 23. Does 13 divide n?
False
Let h(x) be the third derivative of -x**5/60 + x**4/24 + 2*x**3/3 + 7*x**2. Does 3 divide h(0)?
False
Let x be 132/21 + 4/(-14). Let c be 13/3 + (-2)/x. Suppose 3*i + 3*f = 45, 40 = c*i - 2*i + 4*f. Is 10 a factor of i?
True
Let z = -52 - -76. Is z even?
True
Let n = 24 + -16. Let m = n + 19. Is 15 a factor of (-60)/9*m/(-6)?
True
Let k(x) = x**3 + x - 69. Let h be k(0). Let s = h - -100. Does 24 divide s?
False
Suppose 23 = 6*u - 49. Is u a multiple of 6?
True
Let u(i) = 14*i**3 - 30*i**3 - 29*i**3. Does 20 divide u(-1)?
False
Let v(u) be the first derivative of 6*u + 2 + 5*u**2 - 1/3*u**3. Does 15 divide v(9)?
True
Let j = 0 + 2. Suppose -3*r - 3*k = -2*k - 29, k - 21 = -j*r. Is 8 a factor of r?
True
Is (-3)/12 + (-148)/(-16) a multiple of 3?
True
Suppose 2*k - 10 = -q - 30, 55 = -5*k - 5*q. Let h(c) = c + 21. Is 4 a factor of h(k)?
True
Let s be (-5)/(-10)*470/1. Does 12 divide (s/15)/(1/3)?
False
Suppose 11 = -u + 24. Does 13 divide u?
True
Suppose 106*b - 101*b - 585 = 0. Does 12 divide b?
False
Let b(f) be the third derivative of -f**5/60 - f**4/6 + 5*f**3/6 - 2*f**2. Let t be b(-5). Suppose t = -5*d + 15, -d = -3*r + 34 + 38. Is 8 a factor of r?
False
Is 3228/54 - 6/(-27) a multiple of 15?
True
Let m = -1 + 3. Suppose -m*n + 27 = n. Is 9 a factor of n?
True
Suppose 0 = 2*l - 4*l. Let j(w) = 2*w + 9 + l*w - 4*w + 3*w. Does 4 divide j(-5)?
True
Suppose 5*o = 67 + 13. Is 9 a factor of o?
False
Suppose -2*z - 3*v + 82 = -41, 254 = 4*z - 2*v. Is 19 a factor of z?
False
Suppose -4*c + 2 = -4*w + 9*w, c + 5*w = 8. Let s be (-8)/c - (2 - 2). Suppose -5 - s = -3*r. Does 3 divide r?
True
Let i be ((-7)/14)/(2/8). Let l be 0/1*(i + 1). Suppose -165 = -5*z - 5*v, 0 = 5*z - 4*v - l*v - 156. Does 16 divide z?
True
Let c(x) = 3*x**2 - 19*x - 4. Is 18 a factor of c(8)?
True
Let l(t) = 11*t**3 - 2*t**2 - 2*t + 2. Is l(2) a multiple of 8?
False
Suppose 0*x - x + 4*h + 148 = 0, 0 = 4*x + 4*h - 552. Does 35 divide x?
True
Let k(o) = o**3 - 14*o**2 + 9*o + 2. Let y be k(8). Does 21 divide (-20)/(-25)*y/(-4)?
False
Suppose 18 = c + q, 5*q - 2*q = 3*c - 42. Does 3 divide c?
False
Let p = 15 - 11. Suppose -p*s - 130 = -5*b, 0 = 4*b + 2*s - 35 - 69. Is 13 a factor of b?
True
Let q be 3*(2 + 0) - 2. Let d = 8 - q. Suppose u - 7 - d = 0. Does 11 divide u?
True
Let k(y) = y + 13. Let z be ((-14)/(-6))/(1/(-3)). Is 5 a factor of k(z)?
False
Suppose a + 4*a = 10. Suppose -3*q + 73 = u, -u = -2 - a. Suppose -4*y + 0*y - q = -o, -4*o = -5*y - 48. Is o a multiple of 7?
True
Suppose 4 = 4*g + 5*s - 0, -5*s - 20 = 0. Is 21 a factor of 122/g + 6/9?
True
Let c(j) = -7*j + 0*j - 6*j + 2*j - 3. Is 19 a factor of c(-2)?
True
Let z(w) = w + 4. Let i be z(5). Does 3 divide i/(-12) + 15/4?
True
Let j(n) = n**2 + 16*n + 37. Let b be j(-16). Suppose y + 2*c - 11 = 0, -c = 4*y - 2*y - 22. Let m = b - y. Does 13 divide m?
True
Suppose 4*d = -2*s + 24, s + 16 = 6*s - d. Let u be (-27)/(-5) + (-2)/5. Suppose -4*l + 43 + 17 = s*m, 5*m = u*l + 75. Does 10 divide m?
False
Suppose -4*p = 5*k - 350 - 725, 4*k = 2*p - 518. Does 31 divide p?
False
Let s = 123 + -87. Is 11 a factor of s?
False
Let f = 3 - 0. Suppose 2*l + 3*w = -0*w + 24, -f*w = -2*l + 24. Is l a multiple of 6?
True
Let i(y) 