((-4)/(-14))?
True
Let r(g) = 16*g**2 + 66*g + 25. Let f(u) = -3*u**2 - 13*u - 5. Let y(i) = 11*f(i) + 2*r(i). Does 16 divide y(-5)?
False
Is 7 a factor of 44/6 + (-4 - 14/(-3))?
False
Let d(l) = 0*l + 0*l + 5*l**3 - l + 12*l**3. Let s(q) = q**3 + 5*q**2 - 7*q - 5. Let h be s(-6). Is 6 a factor of d(h)?
False
Let z(w) = 2*w**2 + 6*w - 13. Does 16 divide z(5)?
False
Let j = 11 + -8. Let h be (-36)/(-8) + (-1)/(-2). Suppose h*m - o = 108 + 47, j*m - 5*o = 93. Is 13 a factor of m?
False
Suppose 4 = m - 9. Is 13 a factor of m?
True
Suppose 0 = -b + 4*v + 16, 2*v + 4 = -0*v. Let k(j) = j**2 - 7*j + 1. Is 5 a factor of k(b)?
False
Suppose 3*x - 4*l = 49 - 3, -3*l = -2*x + 32. Does 10 divide x?
True
Suppose -f + 26 = -2*s - 9, -66 = -2*f + 5*s. Is 20 a factor of f?
False
Let v be (-34)/85 - (-322)/5. Let z = -43 + v. Is 16 a factor of z?
False
Let c be 0/(-3*(-1)/3). Suppose 3*b = -c*b + 90. Is 10 a factor of b?
True
Let z = 122 + -63. Let y = -39 + z. Is 10 a factor of y?
True
Suppose 6 = -0*k + 2*k, 2*h = 3*k + 19. Suppose 2*z = h + 14. Is 7 a factor of z?
True
Let s(o) = 6*o**2 + o - 1. Is 2 a factor of s(1)?
True
Let g = -16 + 10. Is -6*(-3)/g*-2 even?
True
Suppose 2*u + 3*t - 4 = 0, 4*t - 3 - 5 = -4*u. Suppose 4*a - 18 = -u. Let b = 33 - a. Is b a multiple of 8?
False
Suppose -s + 2*s - i - 156 = 0, -5*i - 5 = 0. Is 31 a factor of s?
True
Suppose -552 - 120 = -7*v. Does 9 divide v?
False
Let p(m) = -m**3 - m**2 + m + 2. Let x be p(0). Suppose 2*o = -y + 15, 0 = 4*o - 2*o - x*y - 24. Is o a multiple of 9?
True
Let j(p) = 3*p - 2. Let g be j(3). Let r(b) = 3 - g - 28*b + 1. Is r(-2) a multiple of 19?
False
Let t(d) = d**3 - d + 29. Let p be (-40)/(-6) + 4/12. Let z(r) = r**2 - 7*r. Let s be z(p). Is 12 a factor of t(s)?
False
Is -12*(-5)/2*36/45 a multiple of 3?
True
Let u(f) = 3*f - 7. Let h be u(5). Let m(n) = 3*n - 12. Is m(h) a multiple of 12?
True
Let n = -5 + 3. Let c be 26 - 0 - -1 - 0. Let q = n + c. Does 14 divide q?
False
Is 8 a factor of -12*(70/(-15) - 4)?
True
Let m(v) = v**3 - 3*v**2 - 16*v + 14. Is m(7) a multiple of 14?
True
Let x(d) = -d**2 + 13*d - 13. Let b be x(11). Suppose 3 = l - b. Is l a multiple of 4?
True
Let m(n) = -24*n - 56. Is m(-6) a multiple of 13?
False
Let x be (-1)/(1 - (-3)/(-2)). Does 11 divide ((-1)/x)/((-3)/108)?
False
Suppose 82 = 4*r + 3*n - 32, 0 = -3*r + 2*n + 94. Is r a multiple of 10?
True
Let l(a) = -6*a - 18. Let j be l(-14). Suppose 27 = 3*i - j. Is 13 a factor of i?
False
Suppose -3*y + y + 5*x - 12 = 0, -5*y = 3*x + 30. Is 14 a factor of (-4)/y + 275/15?
False
Let q = 102 - 7. Is q a multiple of 19?
True
Let v = 83 - 34. Let q be v + 5 - (-1 + 2). Suppose 0 = -g - k + 33, q + 79 = 4*g + 3*k. Does 11 divide g?
True
Let k = -44 - -70. Is k a multiple of 26?
True
Let l(s) = 14*s - 1. Does 27 divide l(2)?
True
Let h be 8/20 - 4/10. Suppose -3*r + 2*r = h. Suppose -5*j - 19 + 89 = r. Does 5 divide j?
False
Suppose -o + c = -3, 2*c + 9 = 4*o + o. Suppose 5*n - 24 = o, 5*z - 3*n = 210. Does 15 divide z?
True
Let k(y) = y**3 + 5*y**2 + y - 1. Let g be k(-5). Let f be -2 + (g/(-3) - -70). Suppose 5*i - f = 35. Does 9 divide i?
False
Suppose h = 75 - 15. Is h a multiple of 20?
True
Is 12 a factor of (-9)/(-4)*(-3 + (-25)/(-3))?
True
Suppose 0 = 6*m - 5*m - 19. Is 11 a factor of m?
False
Let c = 5 - -32. Let f = -25 + c. Is f a multiple of 7?
False
Suppose 3*k = 36 + 60. Suppose -a - a + k = 0. Let z = a + 2. Is 15 a factor of z?
False
Let x = 41 + -13. Is x a multiple of 14?
True
Let k(g) = g**2 + 10*g + 8. Let c be k(-7). Is (-2)/(-13) - 505/c a multiple of 13?
True
Let w = -322 - -487. Does 14 divide w?
False
Is 2 + 2 - -93 - 3 a multiple of 37?
False
Let j(o) = o**3 - 21*o**2 + 27*o + 27. Is j(20) a multiple of 21?
False
Let t = -25 + 51. Let a = -6 + t. Is a a multiple of 6?
False
Suppose -1 = -3*p - d + 6, 5*d = -p + 7. Let a(i) = i**3 + 2*i**2 + 5*i**p + 6*i + 9 + 0. Is a(-6) a multiple of 4?
False
Let x(n) = n**2 + n - 3. Is 3 a factor of x(2)?
True
Suppose -c - 4 = -3*c. Suppose 2*b + 2 = m - 11, c*m = -b + 6. Let s = m - -25. Does 17 divide s?
False
Let o(d) = -d**2 + 4*d. Let y be o(3). Suppose 4*f + y*c - 80 = 0, 5*f - 33 - 67 = 4*c. Is 13 a factor of f?
False
Let n(d) = d**3 - 4*d**2 - 9*d + 3. Let u(g) = -4*g**3 + 15*g**2 + 37*g - 11. Let t(q) = -9*n(q) - 2*u(q). Let x be t(7). Is 13 a factor of (-4)/10 - 222/x?
False
Let v be (-6)/(-2) - (1 + 0). Suppose 3*m = k + 2 + 18, -v*k = -m + 10. Is m a multiple of 3?
True
Suppose 4*f - 233 = 847. Is f a multiple of 30?
True
Suppose -f - 3 = 0, -4*n + 2*f = -10 - 164. Does 21 divide n?
True
Let a(j) = 2*j**2 - 1. Is a(-2) a multiple of 3?
False
Let y(o) = 8 + 3*o**2 + 0*o**2 - 1 - 7*o - 2*o**2. Is y(8) a multiple of 10?
False
Let h(c) = -c**3 - 7*c**2 + 2. Let l be h(-7). Suppose l = -5*v + 132. Is v a multiple of 11?
False
Let l(q) = -q**2 - 9*q - 10. Let p be l(-7). Suppose 2*b + 2*f - 332 = -3*f, 0 = -2*b - p*f + 334. Does 11 divide b/15 + (-2)/5?
True
Suppose 4*v - 5*v - 3*c + 45 = 0, 0 = -v - 2*c + 49. Let m be (-1 - v/(-15))*-5. Let h = m - -24. Is h a multiple of 10?
True
Suppose 2 = -6*l + 26. Suppose l*k + 30 = 7*k. Is k a multiple of 4?
False
Suppose -4*n = n - 190. Does 17 divide n?
False
Let c(p) = 8*p - 14. Is 5 a factor of c(8)?
True
Suppose 1 + 17 = r. Let j = r - -3. Is j a multiple of 17?
False
Suppose 0 = 4*z + n - 124, 3*z - 50 = n + 36. Is 10 a factor of z?
True
Suppose -8*q - 556 = -12*q. Does 10 divide q?
False
Let z(g) = 3 - g - 3 + 15*g**3 + 14*g**3 + 2*g**2. Let j be z(1). Let a = j + -17. Is 5 a factor of a?
False
Is 6 a factor of 0/(-5)*-1 + 42?
True
Suppose 0*y = -z + y - 117, 0 = -3*z - y - 347. Let s = -63 - z. Is 20 a factor of s?
False
Let r = 89 + -62. Is r a multiple of 27?
True
Let z = 41 + -29. Suppose 2*k = -3*i + 17, 3*i + 4*k - z - 13 = 0. Is 14 a factor of (0 + i)*50/6?
False
Let s(a) = 10*a + a**3 + 3*a**3 - 3*a**3 - 5 - 8*a**2. Let n(t) = -t**2 + 6*t - 2. Let m be n(3). Is 7 a factor of s(m)?
False
Suppose -3*k = 1 + 2. Let t be (-2)/(6/(-9)) + k. Suppose 5*w = b + t*w - 74, -34 = -b - 5*w. Is b a multiple of 24?
False
Let x(i) = -i**2 - 11*i + 2. Is x(-5) a multiple of 8?
True
Let a(i) = -i**3 + 4*i**2 + 5*i - 5. Let c be a(5). Let y = -3 - c. Is 2 a factor of y?
True
Let r(w) = -21*w + 1. Let h be r(-1). Let o = h + -13. Let x = 34 - o. Is 9 a factor of x?
False
Suppose 4*y + 12 = 7*y. Is 4 a factor of (-6)/((14/y)/(-7))?
True
Let f(h) = 183*h**2 - h + 3. Does 25 divide f(1)?
False
Let i = 6 - 2. Suppose -114 - 10 = -i*j. Is j a multiple of 12?
False
Let n(x) = -x**2 - 3*x + 4. Let z be n(-3). Suppose r - 1 = z. Is r even?
False
Let n(c) = 4*c**2 + 6*c + 14. Does 7 divide n(-4)?
False
Let j(n) = n**3 - 7*n**2 + 5*n - 5. Is j(8) a multiple of 11?
True
Let q be 18/15*(-10)/(-3). Suppose 0*m + 8 = q*m. Suppose -m = 4*b - 26. Is b a multiple of 4?
False
Suppose -u - 3*u + 92 = 0. Is 23 a factor of u?
True
Suppose u - 2 = -0. Suppose -3*a + 2*k + k = -36, u*k = 6. Does 15 divide a?
True
Suppose 4*m = -h + 73, 4*h - 3*m - 192 = m. Is 31 a factor of h?
False
Suppose 0 = 3*w + 4*j - 41, 8 - 24 = -3*w + j. Let q(o) = -o**3 + 6*o**2 + 7*o + 6. Is 3 a factor of q(w)?
True
Let y be -1*7/(7/(-15)). Suppose 0 = 6*g - g - y. Does 3 divide g?
True
Let b(r) = 2*r**2 - 8*r + 46. Is b(5) a multiple of 28?
True
Let y(d) = -57*d + 3. Is 15 a factor of y(-1)?
True
Let w(z) = -23*z. Let x be w(-1). Let r = -14 + x. Does 9 divide r?
True
Suppose -4*q + 162 = 5*j, -2*q = 3*q + 3*j - 196. Let c = 82 - q. Suppose 2*m - c = -4*i, -5*m + m - 4*i = -88. Does 13 divide m?
False
Let s = -206 + 327. Is s a multiple of 23?
False
Let q be (-2 + 2)*(-1)/2. Suppose y - 4*y + 18 = q. Let v = y + 0. Is 6 a factor of v?
True
Is -3 - -4 - (-56 + 2) a multiple of 13?
False
Let r(p) = p**2 + 2*p - 1. Let m be r(-3). Does 12 divide (-4 - -57) + m/2?
False
Suppose 5*g = 3*n - n - 17, 36 = n + 3*g. Is 7 a factor of n?
True
Let f be 6/(-2) - (1 + -9). Let x(g) = 7*g**2 - 2*g**3 - 2*g**3 + 3*g**3 - f + g. Does 2 divide x(7)?
True
Let r be (-5)/(-2) - 1/2. Does 8 divide (2/(-4))/(r/(-64))?
True
Let y(h) = 3*h**2 - 11*h - h**2 - h**2. Let s(z) = -z**2 + 12. Let c be s(0). Does 12 divide y(c)?
True
Let a(p) = 2*p**3 - 5*p**2 + 3*p. Let f be a(4). Suppose 