 15 divide y?
False
Let m = -21 - -13. Let k = -3 - m. Suppose 0 = -f + k*f - 256. Is 24 a factor of f?
False
Let r = -12 - -17. Suppose r*c - 64 = 56. Does 12 divide c?
True
Let o(d) = d + 4. Let k be o(-4). Let f = 5 + k. Suppose -2*u + a = 12 - 50, 2*u = f*a + 46. Is u a multiple of 6?
True
Let a(s) = 10*s**2 + 2*s**3 - 3*s**3 + 7*s - 2 + 2*s**3. Let d be a(-8). Suppose h = -4*h + d. Is 11 a factor of h?
False
Suppose 0 = -3*d + 11 - 5. Is 9 a factor of (-5 + d)/((-3)/36)?
True
Suppose -8*t + 225 = 5*q - 3*t, 0 = -4*t. Does 17 divide q?
False
Let t(d) = d**3 - d**2 + 3. Let q be t(0). Is 8 a factor of q/(-6) - 37/(-2)?
False
Let f be 0 + 3/6*0. Let r(x) = x**2 + x + 33. Is 12 a factor of r(f)?
False
Suppose -3*b + 2*z = -23, -2*z + 3 = b + 2*z. Let k = -4 + b. Is k even?
False
Let l(n) = 3*n**2 + n + 2. Let k = -7 + 5. Is 12 a factor of l(k)?
True
Let o(j) = -j**2 - 2*j + 2. Let t be o(-2). Is 6*(7 + t)*1 a multiple of 16?
False
Does 11 divide 5*2/((-8)/(-44))?
True
Suppose -2*c + c + 4*a + 18 = 0, -2*a + 2 = 5*c. Suppose -c*t = -10 - 8. Is t a multiple of 9?
True
Suppose 0 = 5*n - 4*l - 7, 5*l - 12 + 2 = 0. Suppose -62 = -n*h + 55. Does 13 divide h?
True
Is 5 a factor of 4 - (-5 + (4 - 40))?
True
Let c(j) = 5 - 4*j + 3*j + 2*j - 2*j. Is c(3) even?
True
Let t(d) = 4*d**3 - d. Let o be t(-1). Let j = 4 + o. Is 14 a factor of (0 + 1 + 27)*j?
True
Let r(b) be the second derivative of b**4/12 + 11*b**3/6 + 21*b**2/2 - 9*b. Is r(-14) a multiple of 9?
True
Let i(r) = 4*r**2 + r. Let b be i(1). Suppose -4*h = 3*f - 0*h - 10, 3*h = b*f - 7. Does 14 divide (-17 - -3)/(f + -3)?
True
Let h(t) = -t**2 - 18*t - 5. Suppose 0 = u + 2 + 5. Does 16 divide h(u)?
False
Let p be 0/2 + 6/2. Let v(x) = -x**2 + 2*x + 4. Let m be v(p). Suppose -4*b = -m - 27. Does 6 divide b?
False
Let f = 91 - 47. Does 7 divide f?
False
Suppose 3*y - 6 = -21. Let p = -41 - y. Let r = p + 62. Does 13 divide r?
True
Let t = -1 - 2. Let s = 6 + t. Does 17 divide s*4*(-6)/(-2)?
False
Let d = 15 + 114. Let s = 189 - d. Is 12 a factor of s?
True
Is 8/36*-21*27/(-1) a multiple of 19?
False
Let s = -2 + 4. Suppose -2*o + s = -0. Is (-14 - 0)/(o - 2) a multiple of 6?
False
Let i be 12/((-3)/(15/(-2))). Let f = i - 13. Does 17 divide f?
True
Suppose 2*t = t - k + 6, 0 = 3*t - 3*k. Suppose t*r - 103 = 38. Is r a multiple of 16?
False
Let i(c) = c**3 + 2*c**2 - 4*c + 1. Let v be i(-3). Suppose -3*p + 47 = -4*y - 47, 5*y - 115 = -v*p. Does 13 divide p?
False
Let q = -203 - -113. Is (6/12)/((-1)/q) a multiple of 14?
False
Let p(k) = 2*k**2 - 3*k**2 - 4 + 5*k + 0*k**2. Let n be p(3). Is n/(-7) - (-114)/7 a multiple of 16?
True
Suppose 2*k = 3*k. Suppose k = -a - 4*a, -a = 3*y - 39. Does 13 divide y?
True
Suppose -2*l + 5 = -l. Suppose l*f - 17 = 3*p - p, -12 = 2*p - 4*f. Suppose g - 4 = -b, p*g - 1 = -9. Does 5 divide b?
False
Let f = 27 - -25. Is f a multiple of 13?
True
Let o = 4 + 1. Suppose -4*i + 37 = -i - f, -o*i = 2*f - 58. Does 9 divide i?
False
Let l(k) = k - 20. Let n be l(15). Does 3 divide (3 + 3/n)*5?
True
Is 390/5*(2 + (-6)/4) a multiple of 13?
True
Let k be (-5 - -3)*(0 + 1). Let d = k + 31. Does 24 divide d?
False
Suppose 0 = 8*p - 86 - 34. Is 15 a factor of p?
True
Let r = -10 - -10. Suppose -3*p + 59 + 157 = r. Is p a multiple of 24?
True
Let p be (-8)/(-4) + 2*19. Does 13 divide p + (-1 - 2) + 4?
False
Suppose 180 = 8*f - 4*f. Let u = f - -13. Is 29 a factor of u?
True
Let x(u) = -u**2 - 6*u + 3. Let q be x(-7). Is q*1/(-1)*2 a multiple of 4?
True
Let o be (0 + -2)/(4/(-6)). Suppose -2*d - o*d + 2*n = -236, -2*n + 52 = d. Does 16 divide d?
True
Let j be -2 - (-1 + -7)/2. Let t be (1 + (-2)/2)/j. Is 6*(t - (-6)/9) even?
True
Let s = 24 + -34. Let z be (s/6)/((-1)/12). Is 15 a factor of (24/z)/(2/35)?
False
Suppose -7 = -c - 3*a, 2*c = -2*c - 3*a + 55. Suppose -2*p + c = 2*p. Is 71/2 - 2/p a multiple of 12?
False
Let t(s) = -s**2 - 31*s + 22. Is t(-28) a multiple of 10?
False
Let g = 53 - 88. Suppose 0 = o, -4*n - 7*o + 4*o - 20 = 0. Is 3 a factor of g/n - (-1 - -2)?
True
Suppose -4*t - 3*r = -3*t - 9, 2*t = -3*r + 9. Let f(o) = 2*o + 2. Let p be f(2). Let g = p - t. Does 2 divide g?
True
Let y be 3 + (-1 + 1)/(-1). Suppose -y - 12 = -5*q. Is 3 a factor of q?
True
Let k = 121 - 63. Is k a multiple of 9?
False
Let k(l) = l**3 - 5*l + 3. Let t(w) = 2*w**2 + 3*w + 1. Let s be t(-2). Let y be k(s). Is (-2 - 1) + y + 0 a multiple of 12?
True
Let n be 41 + -2 - 2 - 2. Let r = n + -3. Does 16 divide r?
True
Suppose -4*k = -16, 0 = -5*j - 5*k + k + 26. Suppose 0 = j*h - 4*h. Suppose 3*y + 0*q - 4*q - 17 = h, y - q = 7. Is y a multiple of 4?
False
Let s(z) = 4 + 2*z - z - 8. Let a be s(4). Suppose -2*v = u - 39, -5*u + a*u - 5 = 0. Is v a multiple of 10?
True
Let h = -55 - -93. Is h a multiple of 19?
True
Suppose 3*h = 5*x, 6*h - 4*x + 2 = 4*h. Is h a multiple of 3?
False
Let d = 97 + -85. Is d even?
True
Let x be (-14 + 4)*8/(-10). Suppose -2*q = 2*q - x. Suppose 1 = o + q*r + 3*r, o - 21 = 5*r. Is o a multiple of 11?
True
Is (-3)/(-30)*-2 + 4104/95 a multiple of 4?
False
Let b(z) = -2*z + 28. Let w be b(12). Suppose -5*y + w*d + 83 = -107, 0 = -4*y + 5*d + 152. Does 19 divide y?
True
Suppose 4*w - w = -30. Let c = 0 - w. Does 7 divide c?
False
Let x be (-7)/1*(0 - -2). Let u = x + 48. Does 11 divide u?
False
Suppose 866 = -3*s + 4676. Is 12 a factor of s/35 - (-4)/(-14)?
True
Suppose -2*g - 4*u = -7 - 33, u - 37 = -2*g. Is g a multiple of 9?
True
Suppose -2*d - d = 45. Let x = 1 - d. Is x a multiple of 8?
True
Let s be (3 - (-3)/(-1)) + 3. Suppose 2*g + s = 65. Is g a multiple of 14?
False
Let z be (12/(-9))/((-1)/(-6)). Let w = -5 - z. Suppose 4*q = 5*d + 9, d + 18 = 5*q - w*d. Is q a multiple of 6?
True
Suppose 9 = 4*z - 7, -2*w = 2*z - 56. Is w a multiple of 24?
True
Let z(j) = 3*j - 8*j + 3 - 4 + 8. Does 8 divide z(-5)?
True
Let t be (8 - 2)/(2/10). Suppose -g = -t + 6. Is g a multiple of 10?
False
Let j(g) = 7*g**2 - 37*g - 47. Let w(b) = 11*b**2 - 56*b - 71. Let c(x) = -8*j(x) + 5*w(x). Is 19 a factor of c(14)?
False
Let g = 279 + -107. Suppose -52 + g = 5*r. Is 8 a factor of r?
True
Suppose 7 = -2*m + 3. Is 3 a factor of -2*(7/(-2) - m)?
True
Suppose 129 = 5*o - 2*n, -5*o - 3*n = 47 - 191. Is o a multiple of 8?
False
Suppose 279 = 3*r - 3*m, 17 = r - 4*m - 88. Suppose 4*x = -5*d + 234, 2*d - x = 2*x + r. Does 23 divide d?
True
Let l be 0/1 + 0 + 0. Suppose 39 = v - l*v. Is v a multiple of 13?
True
Let k = 39 - -6. Is 5 a factor of k?
True
Does 31 divide (-1 - 1 - 3)*(-36 + 5)?
True
Let q = -12 + 38. Is q a multiple of 13?
True
Let s be (-50)/(-20) - (-2)/(-4). Suppose 0 = 2*f + f - 3*u - 129, -111 = -2*f - 3*u. Suppose -s*r = -0*r - f. Does 21 divide r?
False
Suppose -v - 4*v - 11 = -s, -3*s + 4*v = 0. Let o(l) = 6*l**2 - l - 1. Let k be o(s). Does 11 divide ((-2)/3)/((-3)/k)?
True
Suppose -3*n = -n - 20. Suppose -2*j = -j - n. Is 7 a factor of j?
False
Let f be (-5)/(-20) + (-45)/(-12). Suppose 0 = k, n - 4*k = -f*n + 140. Is n a multiple of 14?
True
Let g(j) = j**3 - 10*j**2 - 6*j - 11. Let i be g(11). Suppose 4*y - 5*h - 423 = 0, y + 4*h - 46 = i. Is 34 a factor of y?
True
Let r be (-1)/(-2) + (-10)/(-4). Suppose r*c + 68 = -4*u - u, -61 = 5*u - 4*c. Let l = 36 + u. Does 10 divide l?
False
Let m be ((-4)/1 - -2) + 0. Let p(d) = 6*d - 6. Let o(v) = v + 1. Let i(j) = m*o(j) + p(j). Does 4 divide i(6)?
True
Let h(l) = -l**2 + 3*l + 7. Let n be h(5). Does 8 divide n + (2 - 3) + 28?
True
Let z = -60 - -98. Suppose -2*v + v - 20 = 0. Let y = z + v. Is 9 a factor of y?
True
Suppose -66*x - 1092 = -70*x. Is 28 a factor of x?
False
Suppose -2*y = 0, 0 = -3*w + 5*w + 2*y - 168. Is 42 a factor of w?
True
Let w(m) be the third derivative of m**4/12 + m**3/3 + 2*m**2. Does 12 divide w(15)?
False
Let d(l) be the second derivative of l**4/12 - l**3 - 2*l. Is d(9) a multiple of 10?
False
Let z = 58 + 13. Does 34 divide z?
False
Let o = -2 - -7. Let b(i) = -o + 11*i + 5. Does 6 divide b(1)?
False
Let b = -13 - -4. Let c be (1 + b/3)*-1. Suppose 5 = n + c*i + 3*i, -10 = -2*n + i. Is 2 a factor of n?
False
Suppose 11 = 2*k - 5. Let q = -3 + k. Is q a multiple of 3?
False
Suppose 3*k = 5*t + 8*k - 40, -k + 41 = 4*t. Does 5 divide t?
False
Suppose -3*l + 10 - 46 = -3*d, -5*d - 3*l + 36 = 0.