a?
False
Suppose -c + 2 + 0 = 0. Suppose -4*u - 16 = 0, -122 = -0*k - c*k + 2*u. Suppose 59 = 4*i - k. Does 11 divide i?
False
Suppose -5*w - 17 - 8 = 0. Let g = w + 19. Is 10 a factor of g?
False
Let q(d) = -14*d - 24. Let z(w) = -5*w - 8. Let l(p) = 6*q(p) - 17*z(p). Let k be l(12). Let x(r) = r**2. Does 16 divide x(k)?
True
Is 24/(0 + -1 + 2) a multiple of 18?
False
Let d = -115 + 223. Is 54 a factor of d?
True
Let g(k) = -4*k + 4. Let i be g(4). Is 3 a factor of (-15)/(-4) + (-3)/i?
False
Suppose -5 = 2*j + 5. Let d = -2 - j. Is d a multiple of 2?
False
Let i be (-13)/(-4) - (-4)/(-16). Suppose 3*t - 6 = i. Suppose 0 = t*o + 4*l - 34, -o + l - 3*l = -8. Is 11 a factor of o?
False
Suppose -5*f + 16 = -f. Is 15 a factor of (-174)/f*(-4)/6?
False
Suppose a + 4*q = 10 + 114, 4*q = -2*a + 248. Let z = a - 87. Is 12 a factor of z?
False
Let f(k) = -8*k - 2. Let s(c) = -c**2 + 1. Let z(o) = -f(o) + s(o). Is 4 a factor of z(6)?
False
Let p be (-1364)/18 + (-10)/45. Let r be 4/10 + p/(-10). Is r/6*156/8 a multiple of 13?
True
Let v = 30 + -59. Let u = -8 - v. Is 9 a factor of u?
False
Suppose 3*k + 75 + 24 = 0. Is (-1771)/k - (-4)/(-6) a multiple of 16?
False
Let r(j) = 20*j**3 - 2*j**2 + j. Let y(x) = -x**2 - 6*x - 4. Let n be 18/27 + (-17)/3. Let z be y(n). Is 19 a factor of r(z)?
True
Suppose -3*p + 11 = 2*h, 5*p - 6*p + 3*h + 11 = 0. Is ((-1)/2)/(p/(-160)) a multiple of 13?
False
Suppose 3*o + 3*b = 6, -o + 8 = -3*b + 2*b. Suppose g - 71 = -o*w, -5 - 10 = -5*w. Is 20 a factor of g?
False
Does 4 divide ((-24)/15)/(1/(-5))?
True
Suppose -s + 5*s = -5*x - 35, -x = -2*s - 7. Let b = 3 - x. Is 6 a factor of b?
True
Let f = 1 - -3. Let t(g) = 3*g**2 - 2*g + 3. Let n be t(2). Suppose -f = -s + n. Does 15 divide s?
True
Let n be (0 - 2/1) + 5. Suppose 3*h = c + 13 - 51, -4*c + n*h = -134. Is 15 a factor of c?
False
Let h be (2/2)/((-2)/(-10)). Let y be (-15)/(-3) + 1 + -3. Suppose m = -y, 2*m - 77 = -h*g + 27. Does 14 divide g?
False
Is 16 a factor of 8/(-10)*(5 + -25)?
True
Let m = 24 - 15. Suppose -w - m + 72 = 0. Is w a multiple of 21?
True
Let h = 7 + 28. Does 35 divide h?
True
Let m = -46 + 102. Does 14 divide m?
True
Let b(d) = -d**2 - 11*d + 12. Is 3 a factor of b(-11)?
True
Let k(a) = -a**3 - 7*a**2 - 5*a + 1. Is 12 a factor of k(-7)?
True
Let b(l) = l**2 + 3*l - 3. Let n be b(-3). Let c = n + 13. Is 10 a factor of c?
True
Suppose -z - 3*t = z - 222, -440 = -4*z - 4*t. Does 18 divide z?
True
Let k(j) = -2 + 2*j + j**2 - 6*j + 0*j**2. Let q(i) = i**3 + 7*i**2 + 5*i + 2. Let y be q(-6). Is k(y) a multiple of 12?
False
Suppose -4*v = -5*a - 11, a - 2*v = v. Let y = a + 9. Let r = 8 + y. Is 4 a factor of r?
False
Is 10 a factor of 1/12*4*30?
True
Suppose 3*a = -3*q + 66, a - 5*q = -0*a + 40. Is 25 a factor of a?
True
Suppose -7*d = -2*d + 2*f - 65, -3*f = 15. Suppose -111 = -2*z - d. Let j = z - 6. Does 17 divide j?
False
Suppose 0 = h - 0 - 4. Let q be 4/(-12) + (-13)/(-3). Suppose q*w + 3*b - 2*b = 136, w - h*b - 17 = 0. Is w a multiple of 14?
False
Let s = 121 + -27. Is 16 a factor of s?
False
Let q be (2 + -3)/(1 - 0). Does 22 divide (q/1)/(1/(-22))?
True
Does 11 divide (-12)/6 + 61/1?
False
Suppose -2*p - 208 = -2*o, -3*o + 0*o - 4*p + 333 = 0. Is o a multiple of 7?
False
Suppose -7*j = -2*j. Is (j - 40)/(1 + -2) a multiple of 20?
True
Let j(o) = o**2 - 5*o + 4. Let b be j(5). Let c = b - 3. Is 15 a factor of c/(-3) + 254/6?
False
Let y(v) = 3*v**2 - 3*v + 3. Let d(z) = -z**2 - 11*z - 6. Let k be d(-10). Is 9 a factor of y(k)?
False
Let s(g) = -g**2 + 1 - 1 - 2 + 4*g + 8. Let j be s(8). Let q = 58 + j. Does 16 divide q?
True
Let v(b) = -6*b. Let c be 2 + -1 + -2 + 3. Suppose -k - 3 = c. Is 13 a factor of v(k)?
False
Let m be (-6)/15 - (-24)/10. Suppose -m*b + a + 81 = 3*b, 12 = b + 4*a. Does 8 divide b?
True
Let n = 130 + -85. Is n a multiple of 15?
True
Let j be 115/10 + (-6)/4. Suppose 150 = 5*x - j. Is 30 a factor of x?
False
Let f = -3 - -12. Suppose 2*y - v = 4, 4*v = -4*y + f + 11. Suppose 0 = 2*u - a - 11, 0 = 3*a - 6 + y. Is 6 a factor of u?
True
Let l = -11 + 27. Is 4 a factor of l?
True
Suppose -5*y = -d - 2*y + 8, -4*d = 2*y - 4. Suppose 3*g - d*g = -v + 25, 4*v - g - 95 = 0. Does 11 divide v?
False
Let t(y) = y**2 + 11*y - 15. Let p be t(-12). Let z be (-2)/(-5) + 144/15. Does 4 divide (z/p)/((-6)/9)?
False
Suppose 2*s = 158 + 136. Is 13 a factor of s?
False
Let c be 6/(-12)*4*1. Let o be c + -2 + 3 + 7. Is 10 a factor of (-4)/o*-3 - -8?
True
Suppose 0*z = z - 22. Let h(t) = t + 3. Let w be h(0). Let q = z - w. Is 7 a factor of q?
False
Let c = -54 - -106. Is c a multiple of 13?
True
Suppose -5*f = 5*b - 655, 4*b - 5*f - 645 = -b. Let w = b + -79. Is 14 a factor of w?
False
Let i be -2 + 7*-3 + 0. Let j = i + 13. Does 22 divide j/(-5) - 5*-5?
False
Suppose 5*q - 3*v + 45 = -17, -4*v = -5*q - 61. Is 7 a factor of 3*q/(-3) - 1?
False
Suppose -v = 4*v + p - 17, -4*v - p + 13 = 0. Is 11 a factor of (6/7)/(v/56)?
False
Let k = -31 + 46. Does 4 divide k?
False
Suppose 4*h + 33 + 13 = t, -4*h = 2*t - 68. Suppose t + 4 = 2*d. Is d a multiple of 7?
True
Let z be -9*(-3 + (-22)/(-6)). Is z/(-39) + (-76)/(-13) a multiple of 6?
True
Suppose 0*g - g = -6. Let q = 3 + g. Is 3 a factor of q?
True
Suppose -2*t - t + 36 = -2*v, 5*t + 4*v = 38. Suppose -b = b - t. Suppose 4*u - 12 = -3*f, -2*u + b*f = 2*f - 24. Does 4 divide u?
False
Suppose 12*y - 18*y = -36. Does 2 divide y?
True
Let g = 57 - -185. Is g/8 - 2/8 a multiple of 11?
False
Suppose 0 = 2*f + 2*f - 132. Suppose 149 = 4*k + f. Is k a multiple of 17?
False
Suppose -z - 23 - 5 = -2*a, -3*z + 48 = 5*a. Is 5 a factor of a?
False
Suppose 2*q = 4*x - 1225 + 27, -3*q - 1497 = -5*x. Does 12 divide x?
True
Let k = -58 - -99. Is 12 a factor of k?
False
Suppose 2*m + 2 = -2. Let p = 33 + m. Is 15 a factor of p?
False
Let d be (3 + -5)/(2/(-52)). Let p = d + -30. Is 11 a factor of p?
True
Let i = 36 - -39. Is i a multiple of 23?
False
Suppose 0 = -3*g + 2*g - 16. Let s = g + 32. Suppose -s = 3*t - 5*t - 2*d, -17 = -4*t - d. Does 3 divide t?
True
Let g = 28 - 13. Suppose 0 = -5*s - 0*s - g, 2*s = 2*v - 210. Is 34 a factor of v?
True
Let o = -44 + 104. Does 12 divide o?
True
Suppose u + u - 3*j - 48 = 0, 2*j = 3*u - 82. Is 6 a factor of u?
True
Let y(t) = t + 11. Let s be y(-11). Suppose s*p - 22 = -2*p. Is 5 a factor of p?
False
Let t be -3 - (0 - -2 - 7). Is 4 a factor of (-175)/(-14) + 1/t?
False
Let o(h) = 2*h**2 + h. Let a be o(1). Suppose a*b = b + 34. Let v = b + -6. Does 5 divide v?
False
Let r(l) = -l + 3. Let j be r(-3). Let t be (4 - j) + 1 + -65. Is 3 a factor of (-2)/6 + t/(-9)?
False
Let l(m) = m**3 - 3*m**2 - 8*m + 4. Let s be l(5). Is (-8)/(-28) - (-80)/s a multiple of 3?
True
Let c = -19 + 27. Is 14 a factor of 4/c*6 - -29?
False
Let b be (-6)/(-4) + 11/2. Let a = b - -59. Is a a multiple of 21?
False
Let c(y) = -y**2 - 1. Let n(p) = 6 - 6 + p**2. Let v(g) = c(g) + 6*n(g). Is v(-2) a multiple of 8?
False
Let g(y) = -3*y**3 - 4*y**2 - 8*y - 6. Let z be g(-6). Is 9 a factor of z/27 + (-2)/9?
False
Let o = 4 - -10. Is 4 a factor of o?
False
Let q = -34 + 89. Suppose 0 = -5*i - 4*u - 29 + 328, i - q = -2*u. Suppose 5*z - i = 37. Is 13 a factor of z?
False
Let k be (-518)/(-42) - 2/(-3). Let v = k + 10. Is v a multiple of 22?
False
Suppose -4*p + c = -167, c + 85 = 2*p + 2*c. Suppose -2 = -2*w + p. Does 22 divide w?
True
Suppose 0 = 5*u + 5*w - 510, u + 2*w = -w + 108. Does 29 divide u?
False
Let g be 2/(-9) - 736/(-72). Let l be -2 + 0 + 22/2. Does 6 divide l*(g/6 + -1)?
True
Is 16 a factor of (8/1)/((-16)/(-128))?
True
Let b(h) = 4*h - 6. Is b(5) a multiple of 14?
True
Suppose -2*y + 31 = 5*n, 2*y = 3*y - 3*n + 12. Suppose y*a - 2*a - 24 = 0. Is a a multiple of 12?
True
Suppose 2*k = -0*k + 570. Suppose -j + 477 = 4*j - n, 0 = 3*j - n - k. Suppose 4*z - 63 = -3*q + 9, -4*q + j = -z. Is q a multiple of 12?
True
Suppose 4*j = 5*j - 32. Is j a multiple of 4?
True
Let z = 27 + -18. Let k be 2/z + (-58)/18. Does 5 divide k + ((-18)/1)/(-2)?
False
Suppose -5*x = -16 - 4. Suppose -o - 4*o = 4*n - 78, -x*n - 48 = -4*o. Does 6 divide o?
False
Let f(y) = y**3 - 10*y**2 + 3*y - 17. Is 3 a factor of f(10)?
False
Suppose -3*g = 2*g - 155. Does 9 divide g?
False
Suppose -3*r + 60 = 3*n, 0 = -0*n -