 Let k = w - g. Is k a multiple of 12?
True
Suppose g - 15 - 13 = 0. Is 3 a factor of g?
False
Let m(j) = -j**3 - 3*j**2 - 3*j - 2. Let g = -1 + -1. Let d be m(g). Is 15 a factor of (d - 12/9)*-30?
False
Suppose -k + 116 = 2*m, k + k - m = 227. Let h = k - 41. Is h a multiple of 18?
False
Suppose h = -4*j + 6*h + 901, 0 = 2*j - 2*h - 452. Does 15 divide j?
False
Suppose d - x = 3, -2*d - 2*x = -3*x - 10. Let z = 15 - d. Suppose -8 = -a - 5*b, 3*b - 84 = -z*a + 3*a. Is a a multiple of 13?
False
Is -2 + (4 + -2)*(-5 - -60) a multiple of 36?
True
Suppose 0 = 5*u - 3 - 7. Suppose 3*h + 0*h = 63. Suppose -u*b + 25 = -h. Is b a multiple of 6?
False
Let u = 7 - -8. Suppose 0*y = -y + u. Let b = 21 - y. Does 6 divide b?
True
Suppose 5*w + 17 = 2, 2*m = -2*w - 40. Let u = -36 - m. Let p = 13 - u. Is p a multiple of 16?
True
Suppose -4*o + 2*r + 130 = 0, -3*o + 0*o - 2*r = -101. Does 3 divide o?
True
Suppose 9*m - 4*m = 30. Suppose 0 = -5*i, 2*v - 5*i - m = -3*i. Suppose 0 = -8*s + v*s + 160. Is 19 a factor of s?
False
Suppose w + 10 = 2*w. Let c = w + -5. Suppose p + 5*s = 30, -c*p + 239 = -3*s + 61. Is 16 a factor of p?
False
Is (-1)/(-3) - ((-245)/3 - 2) a multiple of 28?
True
Let y = -10 - -8. Is 9 a factor of (19/y)/(7/(-14))?
False
Let u(r) = r + 3. Let w be u(-4). Let g = 5 + w. Suppose -2*s - g*z = -78, 3*s + z - 9 = 103. Does 14 divide s?
False
Let c(a) = a**3 + 9*a**2 - 2*a - 12. Does 8 divide c(-8)?
False
Let c(d) = d - 3. Does 3 divide c(9)?
True
Suppose -211 - 429 = -4*y. Is 16 a factor of y?
True
Let m(g) = g**3 - 4*g**2 + 2*g + 1. Let k be m(3). Is ((k - 1) + -27)/(-2) a multiple of 15?
True
Suppose 18 = m - 105. Let c = -19 + -68. Let s = m + c. Does 13 divide s?
False
Let u(v) = -3*v + 2. Does 4 divide u(-6)?
True
Let q = 119 - 71. Is q a multiple of 13?
False
Let d(n) = -n + 1. Let s be -2*6/(-4) - -2. Suppose 30 = -4*x - 2*g, s*x - 4*g - 12 + 30 = 0. Is 5 a factor of d(x)?
False
Let t = 3 + -1. Let i = t + 2. Suppose i*u - 2*u - 5*m - 24 = 0, -u + m = -6. Is u a multiple of 2?
True
Let i(w) = -w**2 - 12*w - 8. Let m be i(-10). Let a = m - -6. Is 18 a factor of a?
True
Let c(r) = -2*r + 5*r + 4*r - 4*r + 2. Is 6 a factor of c(2)?
False
Let q(b) = b + 21. Does 4 divide q(-11)?
False
Suppose 4*c - 57 = c. Is c a multiple of 6?
False
Is 14 a factor of 41 + -2 + (-12)/4?
False
Suppose 6*d = 3*d - 4*b - 11, -6 = 3*b. Let j be (-18)/(-12) - d/2. Is 7 a factor of (28/(-12))/(j/(-6))?
True
Suppose 0 = 2*j + 10, -6*p + 5 = -p + 2*j. Let f be 2/1 + (-1 - p). Let w = 4 + f. Is 2 a factor of w?
True
Let h(d) = d**3 - 15*d**2 + 4*d + 5. Let q be h(14). Is 4/(-8) - q/6 a multiple of 12?
False
Let t = 0 + 3. Let w(i) = 12*i - 2. Let u be w(t). Suppose 5*k - 1 - u = 0. Does 2 divide k?
False
Let j = 28 - 20. Let k be (j/5)/(18/45). Suppose 4*d = 3*d - s + 30, -2*s = k*d - 122. Is 14 a factor of d?
False
Suppose -7*k + 994 = 14. Is 14 a factor of k?
True
Let a(i) = 32*i**2 + 1. Let h be a(1). Let m be h/(-4)*(-8)/3. Does 8 divide 0/(2 - -1) + m?
False
Let h = 17 - -23. Let b = 68 - h. Does 14 divide b?
True
Suppose a = 4*l - 8, -4*a - l + 6*l = -1. Let r = 19 - a. Does 3 divide r?
True
Suppose i = -2 + 8. Does 6 divide i?
True
Let b(y) = 15*y + 13. Let t be b(6). Suppose 2*s + 5*u - 71 = 0, 3*u + 56 = 3*s - t. Is 12 a factor of s?
True
Is 22 a factor of 12/16 - 1396/(-16)?
True
Suppose 0 = 3*t - 5*f, 6*f - f = t + 10. Suppose 38 = -t*b + 128. Is 14 a factor of b?
False
Suppose -4*k + 4 - 48 = -h, 0 = 4*k + 8. Does 9 divide h?
True
Does 14 divide (6/(-3) - -5) + 180?
False
Let p(k) = 2*k. Let a be p(3). Suppose a*y - 4*y = 24. Is 3 a factor of y?
True
Suppose p + l + 2*l - 43 = 0, -p = 2*l - 38. Is p a multiple of 7?
True
Suppose -2*x + 3*x + 3*m = 91, 5*x + 4*m - 455 = 0. Does 12 divide x?
False
Let r = -5 - -7. Suppose -r*v + 8 + 28 = 0. Does 18 divide v?
True
Let n(k) = k**3 + 15*k**2 + 26*k + 26. Is n(-10) a multiple of 14?
True
Let a = -29 - -45. Does 2 divide a?
True
Let k(x) = 0 + 4 - 7*x + 14*x + x**3 + 11*x**2. Let w be k(-8). Suppose -s + 5*s = w. Does 12 divide s?
False
Suppose 7*x = 2*x - 5*n - 25, 4*x + 2*n = -14. Let p be (1/(-2))/(x/8). Let a(q) = q**3 + q**2 + 2*q. Is a(p) a multiple of 16?
True
Let u(t) = 16*t + 2. Does 35 divide u(9)?
False
Let t be (-27)/6*(-66)/9. Suppose 4*k + 5*n - 141 + 9 = 0, -t = -k - n. Is k a multiple of 10?
False
Let r be (-176)/(-6) - (-1)/(-3). Suppose -9*q - 36 = -11*q. Let i = r - q. Is 4 a factor of i?
False
Let l(j) = j**2 + 7*j - 20. Is l(-15) a multiple of 20?
True
Let y = -4 + 52. Does 12 divide y?
True
Let m = 6 - -19. Is m a multiple of 5?
True
Suppose r = 3*z + 332, 213 = -2*z + r - 2*r. Let m = z + 154. Let h = m + -26. Is h a multiple of 10?
False
Let h = 1 - -1. Let k(j) = j. Let z be k(h). Suppose 0 = p - z*p - 2*w + 12, 3*w + 9 = 0. Does 6 divide p?
True
Let c = -20 + 13. Let k = -19 - c. Let v = -6 - k. Is 4 a factor of v?
False
Does 3 divide -2*(-1 - 1)*1?
False
Suppose l + l + q = 3, 2*q + 6 = 0. Suppose 0 - 4 = -4*p, -4*y = l*p - 59. Is y a multiple of 12?
False
Let k(m) = -4*m**3 - 3*m**2 - 2*m. Suppose -d + 5 + 4 = -5*u, 0 = -5*d - 5. Does 13 divide k(u)?
False
Suppose 4*a - 291 = -3*k, 35 = a + 2*k - 44. Let n = a - 27. Is n a multiple of 20?
False
Suppose -2*f + 36 = f. Does 6 divide f?
True
Let y be 2/(-1 + 0 - 0). Does 5 divide (15/(-4))/(y/8)?
True
Let b(z) = 31*z + 1. Let d = -6 + 7. Does 16 divide b(d)?
True
Let t(m) = -m**3 - 9*m**2 + 3*m - 1. Let p be t(-10). Let z = p - 49. Is 13 a factor of z?
False
Let s(p) = -p**3 + 2*p**2 + 2. Let n be s(2). Is 14 a factor of 6*(-2 + 4) + n?
True
Let w(x) = 4*x + 4. Let v be w(3). Suppose 0*u = 4*u - v. Suppose -2*f - 14 = -u*f. Is f a multiple of 5?
False
Let z be 4/(-16) - 151/4. Let u(h) = -h**3 + 10*h**2 - 4*h - 1. Let a be u(4). Let g = a + z. Is 18 a factor of g?
False
Let q(x) = -x**3 + 19*x**2 + 11*x + 38. Is q(19) a multiple of 13?
True
Let l(m) be the third derivative of 23*m**6/60 - m**5/60 + m**4/24 - m**3/6 + 8*m**2. Is 15 a factor of l(1)?
True
Suppose 4*w + 5*n = 390, -198 = 3*w - 5*w - 4*n. Suppose -4*t = -4, -26 + w = 4*c + 5*t. Does 8 divide c?
True
Suppose 3*l = -0*l + 12. Suppose 3*k - 28 = l*y - 2*y, 60 = 4*k + 3*y. Does 4 divide k?
True
Suppose 3*y - c = c + 193, -2*y + 3*c + 132 = 0. Does 7 divide y?
True
Let t(p) = -2*p**3 - 4*p**2 - 4*p - 3. Let k be t(-2). Suppose 0 = 2*u - 1 + 11, 4*o - 141 = k*u. Suppose -4*g + 23 = -o. Is 5 a factor of g?
False
Let c be (-84)/(-18) + (-4)/6. Suppose 0 = s - c*s + 5*r - 94, 8 = -2*r. Is (1 + 0)/1 - s a multiple of 13?
True
Suppose b = 3*b. Let p(d) = d + 3. Is 2 a factor of p(b)?
False
Let w(k) = 2*k**3 - k**2 - k + 1. Let x be w(1). Does 8 divide (-6)/(x/((-16)/12))?
True
Suppose 4*b + 2*v = 40, b + 3*b - 5*v = 68. Is 12 a factor of b?
True
Let k(h) = 52*h - 30. Does 23 divide k(5)?
True
Is 32 a factor of (-1*2)/((-18)/2313)?
False
Suppose 9*j - 10*j = 4*o - 168, 5*o - 171 = -j. Does 11 divide j?
False
Let o = 91 + -59. Let h = o - 11. Does 21 divide h?
True
Suppose 3*i - 7 - 2 = 0. Suppose -2*v - i = -v. Does 11 divide v/(-6) + (-55)/(-2)?
False
Let s(w) = w**2 + 3*w. Let l be s(-3). Suppose 3*h + 0*h - 84 = l. Is h a multiple of 22?
False
Let r(k) = k**2 + 3*k - 8. Let h = -1 - 9. Let n be r(h). Suppose n - 23 = 3*y. Is y a multiple of 4?
False
Let d = 1 + 5. Let n(w) = -w**2 + 7*w + 1. Let c be n(d). Suppose -c*l + 5*l + 16 = 0. Does 7 divide l?
False
Let z be 3/((-6)/(-8)) - -1. Suppose -14 = -z*d + 1. Suppose -2*j = -d*j + 4. Is j a multiple of 3?
False
Let u = -4 + 6. Is (u + -1)/(2/30) a multiple of 8?
False
Let g(d) = 8*d. Let q be g(1). Let c(a) = -2*a - 23. Let v be c(-11). Let r = q - v. Is 4 a factor of r?
False
Suppose 3*c + 0*c + 11 = 4*h, 5*h = 5*c + 10. Suppose -3*v = -3*q - 15, q = h*v - 3*q - 27. Is v even?
False
Suppose 2*y + 3*y + u - 16 = 0, -24 = -3*y + 3*u. Suppose -y*t + 29 = 3*j - 80, 0 = t + 3*j - 25. Does 16 divide t?
False
Let s be (-9)/2*4/(-3). Let g = 16 - s. Is g a multiple of 7?
False
Suppose 3*x = 3*w - w - 160, 0 = 2*x. Does 3 divide (-3)/(-2)*w/15?
False
Let x be -2 - (-2)/((-2)/(-5)). Let s = 2 + x. Is 3 a factor of s?
False
Suppose 0 = 3*h + 3*m - 24, h + h = -3*m + 18. Is h even?
True
Let l = -80 + 125. Is 15 a factor of l?
True
Let m