iple of 13?
True
Suppose 1065 = l - 6*l. Let i = l - -119. Let s = i + 135. Is 16 a factor of s?
False
Let f(z) = z**3 + 6*z**2 - 10*z - 10. Let d be f(-7). Let k = d + -3. Does 4 divide k?
True
Suppose 227 = 8*l + 51. Does 11 divide l?
True
Let s(n) = n**3 + 3*n**2 - 5*n + 2. Let b be s(3). Let v = -6 + -17. Let a = b + v. Is a a multiple of 9?
True
Let i(w) = -w + 13. Let u be i(0). Let j(x) = 2*x - 18. Is j(u) a multiple of 3?
False
Let k(q) = -1 - 9*q + 5 + 5*q - 3. Does 8 divide k(-2)?
False
Let a = 3 - 5. Is 6 a factor of (a/4)/((-6)/144)?
True
Suppose 17*n - 12 = 14*n. Suppose -f + 134 = 5*j + 3*f, -16 = 4*f. Suppose n*m - m = j. Is 6 a factor of m?
False
Let s(w) = 31*w - 16. Does 4 divide s(1)?
False
Suppose 5*l - 2*l + 78 = 3*q, 0 = 4*l + 4*q + 88. Is 5 a factor of 50/4*l/(-20)?
True
Suppose 3*h + 6 = -3*q, -h + 4*q = 2*h - 29. Let s be 2 - h - (0 - -2). Let b(a) = -a**3 + 2*a**2 + 4*a + 1. Does 17 divide b(s)?
True
Suppose -27*n = -28*n + 105. Is 20 a factor of n?
False
Suppose -4*n = -5*r + 10 + 7, 0 = 2*r - 5*n. Let m = 7 - r. Is 9 a factor of 18*(m + -2 - -1)?
True
Suppose -2 = 4*z + 10, -q - 5*z = 10. Suppose q*v = v + 104. Does 13 divide v?
True
Suppose p - t - 10 = -p, 5*t + 26 = 2*p. Let r(n) = 0*n + 3 - n + p + 2*n. Is r(8) a multiple of 9?
False
Let s be (-4)/6 - (-22)/6. Does 2 divide (1 - -3) + (-6)/s?
True
Let m = 66 - 25. Suppose -19 = -2*c + m. Suppose 0 = 4*i - i - c. Is i a multiple of 10?
True
Let m be -20 - -2 - (0 - -2). Let h = 52 - 66. Let a = h - m. Is a a multiple of 6?
True
Let y(u) = u**3 - 4*u**2 + 2*u + 1. Let s be y(3). Let v be 75/27 + s/(-9). Let b = 6 + v. Is b a multiple of 9?
True
Suppose 4*m = -4*t + 348, -t - 107 = -m - 12. Does 17 divide m?
False
Suppose -2*n + 3*h = -3*n + 18, -5*n + 2*h = -73. Is n a multiple of 7?
False
Let m(x) = -3*x**3 - x**2 - 3*x - 2. Let z be 4/(-8) + (-3)/2. Is 6 a factor of m(z)?
True
Let j = -23 - -67. Is 22 a factor of j?
True
Let m(y) = 2*y + 14. Is 6 a factor of m(0)?
False
Let n(o) = -o**2 + 25*o - 4. Does 14 divide n(23)?
True
Let d = 7 - -35. Does 14 divide d?
True
Is 6/(-4)*(-490)/5 a multiple of 21?
True
Suppose -l = 5*g - 94, -3*l + 422 = 2*l + g. Is l a multiple of 17?
False
Let p(z) = -z**2 + 6*z + 2. Let o be p(6). Suppose o*t - 7 = -1. Suppose 3*r + r - 40 = -t*v, -26 = -2*v - 3*r. Does 6 divide v?
False
Suppose -269 = -8*i + 1059. Is 37 a factor of i?
False
Suppose 6*o + 80 = 2*o. Is 8 a factor of (16/(-10))/(2/o)?
True
Let n(c) = -5*c - 17. Let a = 8 - 18. Is 8 a factor of n(a)?
False
Let s = 114 - 82. Is 32 a factor of s?
True
Let g be 1 - -1 - (-2 + 0). Let q be ((-2)/g*-2)/(-1). Let j(c) = 32*c**2 - 1. Is j(q) a multiple of 16?
False
Suppose -1059 = -9*k - 204. Is 11 a factor of k?
False
Let o be 3 + (0/1)/(-2). Does 11 divide (-2)/((-2)/o) - -25?
False
Let m = -48 - -72. Is 6 a factor of m?
True
Is (-3 + 6)/3*0 + 27 a multiple of 9?
True
Suppose -3*k + 26 + 37 = 2*v, 0 = 3*v - 3*k - 117. Is v a multiple of 11?
False
Let o be 1 - (-4 + 3 + -348). Suppose -l + 6*l = o. Is l a multiple of 14?
True
Let m(l) = l - 19. Let h be m(13). Is 7 a factor of h/(-4) - 99/(-18)?
True
Suppose 0 = -4*d + 8 - 0. Does 18 divide (9/d)/((-1)/(-10))?
False
Let l(u) = -u - 5. Let n be l(-8). Let h be (1/n)/(3/(-9)). Let j(s) = 26*s**2 + s + 1. Is 9 a factor of j(h)?
False
Let g = 178 - 100. Does 13 divide g?
True
Let f(z) = -z + 11. Let n be f(8). Suppose -60 - 33 = -n*y. Does 7 divide y?
False
Let w(o) = -2*o**2 + 7*o - 1. Let k be w(6). Let p = k + 45. Does 5 divide p?
False
Let h = 25 + -15. Let t = h - 7. Is 2/t + 65/15 a multiple of 2?
False
Suppose -4*w + 10 = 5*h, -2*w - 3*h + 4 = -0*w. Suppose -w*r + 0*r - 5*z = -195, -r + 5*z = -39. Is r a multiple of 13?
True
Is (-16*(-2)/6)/((-16)/(-408)) a multiple of 18?
False
Let v = -7 + 7. Suppose v = r + r. Does 2 divide -5*(r + 2 + -3)?
False
Let b(f) = 2*f - 9. Let d be b(6). Let y(w) = 24*w - 22. Let m(a) = a - 1. Let l(x) = -44*m(x) + 2*y(x). Is 6 a factor of l(d)?
True
Suppose 0 = 2*w - 4*l - 10, -4*w = -4*l - 10 - 6. Suppose 2*j - j = -5*d - 5, 5*d = -w*j + 5. Suppose 74 = 3*k - j*v, -3*k - 2*v + 8 = -59. Is 18 a factor of k?
False
Let b(p) = p**3 - 13*p**2 - 12*p - 20. Let j be b(14). Suppose -3*f + 32 - j = 0. Is f a multiple of 2?
True
Suppose -30 = 7*t - 2*t. Is 23 a factor of t/27 - (-479)/9?
False
Let b = 1 + 0. Let h be 5/b - -2*1. Suppose 2*z + 1 = 2*i - h, -3*i + 32 = z. Does 9 divide i?
True
Suppose -2*w = 2*w - 316. Is 17 a factor of w?
False
Let f(s) = -19*s - 5. Does 19 divide f(-2)?
False
Suppose 3*l + 4*n - 245 + 31 = 0, 0 = 2*n - 8. Does 22 divide l?
True
Suppose -4*o + 303 = 51. Is o a multiple of 21?
True
Suppose 3*z - z = 154. Does 20 divide z?
False
Let p = -3 + 17. Is 10 a factor of p?
False
Is (115/(-20))/((-5)/20) a multiple of 16?
False
Is ((-68)/(-8)*5)/(2/4) a multiple of 17?
True
Suppose -g + 4*t + 8 = -7, 3*t = 0. Is 12 a factor of g - (-12)/16*-4?
True
Suppose -s + 105 = 3*o + 1, -5*s = 5*o - 550. Is 18 a factor of s?
False
Let f = 107 + -50. Is 19 a factor of f?
True
Let j(m) = m**2 + 4. Let w be (4/3)/((-1)/(-3)). Is 10 a factor of j(w)?
True
Let v = -18 + 94. Does 19 divide v?
True
Suppose 5*m - 303 = 3*q + 735, -2*q + 1058 = 5*m. Does 30 divide m?
True
Let i(c) = c**3 - 10*c**2 + c - 5. Let t be i(10). Is -58*(t/(-2) - -2) a multiple of 12?
False
Let x(q) = 6*q**2 - 3*q. Is 10 a factor of x(-2)?
True
Let p(o) = -o**2 - 24*o - 10. Is 14 a factor of p(-20)?
True
Suppose 12 = -2*z + 40. Let y = z - 6. Does 7 divide y?
False
Suppose -4*v = -3*z + 202, -4*z - v - 3*v + 316 = 0. Suppose -2*i = -0*i - z. Does 15 divide i?
False
Let j(w) = -3*w. Let b be j(-2). Let a = b - 2. Is 2 a factor of 10/a + (-2)/4?
True
Does 3 divide 5/((-135)/(-654)) - (-18)/(-81)?
True
Suppose 346 = 4*v - 230. Does 36 divide v?
True
Let j(k) = k + 11. Let x be j(-7). Suppose -x*a - 3*a = -91. Is a a multiple of 3?
False
Suppose -5*k = -3*c, c + 0*c = -5*k + 20. Let z = 9 - k. Is z a multiple of 4?
False
Let o = 171 + -19. Is 11 a factor of o?
False
Is (3 - 96/10)/((-3)/15) a multiple of 4?
False
Let s = -50 - -199. Let y be -1 + 92/2 - -2. Suppose -s = -3*i - y. Does 17 divide i?
True
Let l(k) = -k**3 - k**2 + k + 4. Does 2 divide l(0)?
True
Let g = -124 + 180. Suppose g = 5*j - 14. Is j a multiple of 14?
True
Suppose -3*v + 2 - 5 = 0. Is 2 a factor of (-23 - -5)*v/2?
False
Let x = -25 + 32. Is 2 a factor of x?
False
Let g(w) = 4*w**2 - 3*w. Let s(c) = -c + 3. Let l be s(6). Let t be g(l). Suppose m = z - 7, 4*z + 5*m = z + t. Is z a multiple of 8?
False
Let g(r) = -4*r + 2. Is 6 a factor of g(-1)?
True
Let k(v) = -v**3 + 24. Let r be ((-2)/1 - -1)*0. Is 12 a factor of k(r)?
True
Let u = 14 - -8. Suppose h - u = -h. Does 7 divide h?
False
Let t be 3 - -3 - (-3)/(-1). Suppose t*f = 4*f - 24. Is f a multiple of 22?
False
Let m(z) = -z - 4. Let l be m(0). Is (-131)/l - (-4)/16 a multiple of 11?
True
Is 16 a factor of (-1059)/(-6) + (-7)/14?
True
Let p = 13 + 142. Suppose -4*s - p = -9*s. Is 11 a factor of s?
False
Let o(h) = h + 38. Let r be o(0). Let g = r - 15. Let u = g + -13. Is 5 a factor of u?
True
Let j be ((-10)/(-15))/(4/3846). Suppose 0 = -4*z - 41 + j. Suppose -4*y - y - 5*i = -z, -y + i = -22. Is y a multiple of 13?
True
Let n = -25 + 45. Let y = 8 - n. Let z = 1 - y. Is z a multiple of 10?
False
Is 6 a factor of 7044/72 + (-1)/(-6)?
False
Let l = -5 - 0. Let y = -5 - l. Suppose -4*j + 5 + 71 = 4*g, y = -g + 3*j + 7. Is g a multiple of 8?
True
Suppose 3*i = 5*z - 512, 0 = z - 2*z - i + 104. Does 24 divide z?
False
Let r(k) = -3*k**2 - 5*k + 15. Let b(g) = -5*g**2 - 9*g + 29. Let y(j) = 4*b(j) - 7*r(j). Let w be y(0). Suppose h - w = 1. Is h a multiple of 4?
True
Is 0/(-3) + 195/5 a multiple of 9?
False
Let h = 5 - 1. Suppose h*z = 26 - 2. Let a(l) = l**3 - 7*l**2 + 7*l + 2. Does 4 divide a(z)?
True
Let q = 3 - 3. Let m be (-5)/((-10)/6) - q. Suppose 2*a = a - 1, 5*a + 59 = m*v. Does 9 divide v?
True
Suppose 5*c - 124 = 3*c. Is 9 a factor of c?
False
Let t = 51 - 54. Let w = -76 - -162. Does 7 divide w/6 + 1/t?
True
Let d be ((-11)/3 - 0)*9. Let f be 11 + 36 - -1*1. Let u = d + f. Is 7 a factor of u?
False
Is 15 a factor of (64/(-10) - -6)*(-2025)/3?
True
Let t(v) = -v**3 + 10*v**2 - 4*v + 4. Is 28 a f