1. Is (-166)/(-4) - 3/u a multiple of 13?
False
Is 3 a factor of (30/4)/(15/30)?
True
Let l = -14 - -40. Is 11 a factor of l?
False
Suppose -3*x - 2*x = 25. Let d(p) = p**3 + 5*p**2 - 3*p - 5. Does 10 divide d(x)?
True
Suppose -76 = -2*n + 5*l, -l = n + 4*n - 244. Is n a multiple of 13?
False
Does 6 divide 160/(-12)*18/(-8)?
True
Let t = 45 + 6. Is 3 a factor of t?
True
Suppose -3*x + 4*x = -8. Let y = x + 14. Let p = 10 - y. Is p a multiple of 2?
True
Suppose 5*h - 47 = -l, l = -3*l - 12. Let k be (-2)/(-3) + h/3. Suppose 4*b = -3*a + 34, 0*a - k*a - b = -28. Is 3 a factor of a?
True
Let j = -1 + 56. Is 16 a factor of j?
False
Let w(y) = 36*y**2 - y - 1. Let t(m) = m**3 + m**2 + m - 1. Suppose 2*s = -5*h + s - 2, 0 = 3*h - 3*s - 6. Let q be t(h). Is 15 a factor of w(q)?
False
Let p be (-16)/(-3) - 3/9. Is (-4)/10 + 37/p a multiple of 4?
False
Let o(j) = 2*j**2 + 9*j + 2. Suppose -3*i = -5*p - i - 24, -5*p - i - 33 = 0. Let m be o(p). Let w = m - -2. Is w a multiple of 11?
True
Suppose -3*k = 2*s - 8, 4 = -2*k + 4*s - 12. Let u(z) = z + 9. Does 9 divide u(k)?
True
Is 12 a factor of (-32)/((-8)/(-6) - 2)?
True
Suppose 3*s - 10 = -2*s. Let c(y) = y**3 - 4*y**2 + 4 + s*y + y**2 + 0*y**2 + 0*y. Is c(3) a multiple of 5?
True
Suppose -13 = -r + 10. Does 13 divide r?
False
Suppose -4*g + 5*w = -643, 157 = -3*g + 4*g - 5*w. Does 19 divide g?
False
Let f(o) = 2*o + 9. Let p be f(-4). Does 7 divide p/(-3)*-51 - 1?
False
Let z be ((-120)/9)/(8/36). Is (4/8)/((-1)/z) a multiple of 6?
True
Let t(r) = -330*r - 10. Is 10 a factor of t(-1)?
True
Does 5 divide (2 - 0) + 2 + 4?
False
Suppose 3*i = -g + 3 + 21, -i - 72 = -5*g. Is g a multiple of 15?
True
Let y(x) = x - 7. Let g be y(7). Suppose -l + g*s = -3*s - 18, -2*l + 36 = 4*s. Is 18 a factor of l?
True
Let a = -4 + 3. Let j be a*(-6)/(2 + 0). Suppose -24 - 18 = -j*g. Is 14 a factor of g?
True
Suppose -103 = -5*n - 3*i, -4*n + 2*i - 4*i + 84 = 0. Is 2 a factor of n?
False
Let j(n) be the first derivative of 1/2*n**2 + 1/3*n**3 - 4*n - 1. Is j(5) a multiple of 13?
True
Suppose 5*i - 3*h = -0*h + 3, 5*h - 8 = 4*i. Suppose 0 = -2*y + i*c + 57, 106 = 3*y + y + 2*c. Does 9 divide y?
True
Let w be 30/7 - 4/14. Suppose -186 = -5*i - 2*n + 5*n, -w*i + 171 = 5*n. Is i a multiple of 13?
True
Let d(n) = -16*n + 5. Let j(i) = 15*i - 4. Let y(q) = -3*d(q) - 4*j(q). Let w be y(-2). Suppose 0 = 4*t - 9*t + w. Does 5 divide t?
True
Let q(m) be the second derivative of -m**5/20 + m**4 - 5*m**3/6 - 6*m**2 - m. Is 18 a factor of q(11)?
True
Suppose -6*x + 4*x = -16. Is 3 a factor of x?
False
Let u(t) = -3*t - 1. Let w be u(-1). Suppose 1 = p + 2, p - 9 = -w*n. Suppose 0 = 2*s + h - 39, 3*h - 4*h = -n*s + 108. Does 14 divide s?
False
Suppose 0*v = 3*v - 21. Let y = v - 4. Suppose 2*p + k = -2*k + 21, -y*p = k - 49. Does 9 divide p?
True
Suppose 4*b = -5*j + 164, 2*j - 6*b + b - 59 = 0. Is 9 a factor of j?
False
Suppose -108 - 12 = -6*s. Let q be 2/(-3) + (-16)/3. Let d = q + s. Is d a multiple of 7?
True
Let d be ((-12)/9)/(2/(-6)). Let c be 9/(-7) - d/(-14). Is (-1)/(15/(-14) - c) a multiple of 11?
False
Suppose -2*r + 50 + 2 = 0. Does 13 divide r?
True
Let o(r) = -34*r - 3. Is 31 a factor of o(-1)?
True
Let t(m) = m**3 + 7*m**2 - 3*m - 9. Does 6 divide t(-7)?
True
Suppose 3*o - 161 = -0*s - 2*s, o + 5*s - 58 = 0. Let b = 23 + 7. Let t = o - b. Is 10 a factor of t?
False
Suppose 0 = -3*k - 5*t - 11, 2*k - 7 = k + t. Suppose k*s + 156 = 6*s. Suppose s = -3*x + 148. Does 12 divide x?
False
Let z = 55 + -29. Does 13 divide z?
True
Suppose 5*y - 6 - 39 = 0. Does 9 divide y?
True
Let c(s) = 2*s**2 + 0*s**2 + 8*s - 4 - 3*s**2. Suppose o = 5*o + 16, -2*p - 2*o = -2. Is c(p) a multiple of 5?
False
Let w(b) = b**3 + 4*b**2 + b + 5. Let q be w(-4). Let r be (-2 + q)*0 - 36. Does 14 divide 210/(-4)*r/45?
True
Suppose 3*q - 75 = -2*q. Suppose p - q = -0*p. Suppose 3*w + 4*j = 15, -3*w + 0 + p = -4*j. Is 4 a factor of w?
False
Suppose -3*u - 147 = -5*r, 131 = 5*r - 0*r + u. Is r a multiple of 19?
False
Let p = 18 - 20. Is 6 a factor of (p - -1)*-19 + -1?
True
Let g(p) = -p**2 + 6*p - 4. Let l be 1*3/(-3) - -5. Let i be g(l). Suppose 5*x - 77 = b, i*b - 3 = 9. Is x a multiple of 16?
True
Suppose -13 = 2*d - 1. Is (0 + 5)*(-3 - d) a multiple of 15?
True
Let i(v) = 72*v**3 + v**2 - v. Let r be i(1). Suppose z = r - 24. Is 16 a factor of z?
True
Suppose 3*k = 6*k - 12. Suppose 0 = 3*i - 4*b - 27, 4*b = -4*i + 2*i - 2. Suppose 15 + i = k*w. Does 2 divide w?
False
Suppose 0 = 4*x + 2*v - 442, 3*v + 0*v = 5*x - 569. Suppose -24 = 4*b - x. Is 9 a factor of b?
False
Is 4 a factor of 3/7 + 8591/77?
True
Suppose -29 = -2*o - o - y, 4*o + 4*y = 36. Suppose 6 + o = 4*x. Suppose -53 = -u - 3*u - 3*r, 0 = -u + x*r + 18. Is 14 a factor of u?
True
Let x = -16 + 20. Is 22 a factor of (-36)/27*(-66)/x?
True
Let f be (818 + 0)/(-1 - -3). Suppose 46 = 5*w - f. Is w a multiple of 23?
False
Let t(l) be the first derivative of -l**4/4 - 4*l**3/3 + 2*l**2 - l + 1. Let g(m) = -6*m**2 + m. Let v be g(1). Does 4 divide t(v)?
True
Let c be -1 + -2 - (18 + -2 + -1). Let x be 2/(-8) - 94/8. Let q = x - c. Does 6 divide q?
True
Suppose 0 = 5*d + 5*s - 10*s + 40, d + 4*s - 12 = 0. Let k = d - -24. Does 20 divide k?
True
Suppose 0 = -3*a - 5*p + 36 + 98, 0 = -3*p + 12. Is 9 a factor of a?
False
Suppose d - 39 = -3*j, 0 = 4*j - 5*j + 3. Does 4 divide d?
False
Let i(a) = -a**2 + 9*a - 8. Let w be i(8). Suppose -2*m + 77 = -w*d + 3*d, -5*d = 2*m - 131. Is 9 a factor of d?
True
Let i(v) = v**2 - 11*v + 9. Let b be i(10). Is (1 - b)*(-2 - -10) a multiple of 8?
True
Let f(k) = k**3 + 7*k**2 + 5*k - 8*k**2 - 4*k. Is 2 a factor of f(2)?
True
Let l(z) = -4 + 3 + 4 + z. Is 10 a factor of l(7)?
True
Let q be 3/((-3)/(-24)*2). Let y(m) = -m + 16. Let u be y(q). Let t(f) = 7*f + 2. Is 15 a factor of t(u)?
True
Suppose 1 - 10 = -3*x. Suppose -2*v + w + 20 = -46, -6 = x*w. Is 8 a factor of v?
True
Suppose d = 7 + 9. Let a = d + 4. Is 20 a factor of a?
True
Let s be 16056/(-45) + (-1)/5. Let w = -11 + 18. Is 2*(s/(-6))/w a multiple of 7?
False
Let z(c) = -c**2 + 10*c - 9. Let u be z(9). Suppose 60 = 2*k + 4*g - 0*g, -4*g + 16 = u. Does 6 divide k?
False
Suppose 4*m + 53 = 257. Is 17 a factor of m?
True
Let h(x) = 7*x**2 - x - 5. Is 19 a factor of h(-4)?
False
Let b be -3 - ((3 - 2) + 0). Let j(q) = q**3 + 5*q**2 - q + 4. Does 12 divide j(b)?
True
Let a be (-3 - -2)/((-3)/6). Does 25 divide a/(4 - 5) - -66?
False
Suppose 0 = -0*z + 3*z - 3. Let t be 1 + (2 + z - -1). Suppose -t*c - 12 = -2*c, 8 = -3*a - 5*c. Is 2 a factor of a?
True
Let w(q) = -5*q**3 - 9*q**2 - 7*q. Let o(d) = 14*d**3 + 26*d**2 + 21*d. Let t(c) = -6*o(c) - 17*w(c). Is t(5) a multiple of 7?
False
Suppose 4 = 2*s, v - 3*s = -v - 4. Let j(d) = 5*d. Let b be j(v). Suppose -11 = -b*o + 139. Is o a multiple of 15?
True
Let m(n) = -40*n + 1. Let r be m(-2). Suppose -2*t + r = t. Is 9 a factor of t?
True
Suppose -4*r = -5*r + 4. Suppose -3*u - 5*o + 75 = 0, 2*u - r*u = 3*o - 49. Does 15 divide u?
False
Let o(q) = -q**3 + 6*q**2 + 7*q - 3. Let a be o(7). Let f be ((-86)/8)/(a/12). Suppose 2*s - 11 = 5*l - f, l = -s + 5. Is l a multiple of 6?
True
Let v(q) be the first derivative of -q**4/4 + 7*q**3/3 - 3*q**2/2 - 4*q + 2. Let p = 1 - -5. Is 5 a factor of v(p)?
False
Let s be 16/2*3/12. Suppose 2*m - 4*m + 10 = 0, m - 25 = -s*h. Is 7 a factor of h?
False
Let t be 7 - (1/1 - 1). Let q = t - 2. Is q a multiple of 2?
False
Let o(h) = -h**3 - h**2 + 4. Let m be o(0). Let b = m + -4. Suppose -r = -b*r - 11. Is 7 a factor of r?
False
Let y(c) = 2*c**2 + 8*c + 11. Is y(-8) a multiple of 15?
True
Let v(y) = -5*y - 9. Is v(-9) a multiple of 12?
True
Let z = -42 - -19. Let y = z + 51. Is y a multiple of 20?
False
Suppose 5*c = c + 160. Let x = c - -1. Is 11 a factor of x?
False
Is 25 a factor of (0 - (-8)/(-20))*-1000?
True
Suppose -5*w = -6*w + 26. Is 13 a factor of w?
True
Let w(f) = f**3 + 7*f**2 + f - 7. Let l(p) = -2*p**3 - 15*p**2 - 2*p + 14. Let b(q) = -2*l(q) - 5*w(q). Let c = 2 - 7. Does 6 divide b(c)?
True
Let s(k) = 2 + 0 + 7*k - k. Let v = -6 - -9. Does 10 divide s(v)?
True
Let p be (96/9)/((-1)/(-3)). Let c be p/(-6)*(5 + -2). Let w = 19 - c. Does 17 divide w?
False
Let w = 18 + -15. Is (-123)/(-2)*2/w a multiple of 9?
Fal