 9 divide u?
False
Is 23 a factor of (360/(-4))/(-1) - -2?
True
Let j(k) = 3*k**2 - 26*k + 14. Is 6 a factor of j(10)?
True
Let s(o) = 12*o - 7. Let h be s(5). Suppose -2*f = -h - 63. Is 11 a factor of f?
False
Let g(l) = 4*l**2 - 4*l + 1. Does 27 divide g(5)?
True
Let w = 123 - 75. Is w a multiple of 24?
True
Is 17 a factor of (2/(-4))/(1/(-162))?
False
Let b = 2 - -1. Suppose b*w + 95 = 245. Is 15 a factor of w?
False
Let m(h) = h**3 - 10*h**2 + 2*h + 10. Let l be m(10). Does 9 divide 3/(-3 + 12)*l?
False
Suppose -6*t + 10*t = 264. Is 6 a factor of t?
True
Let y = -15 + 17. Let a(x) = 5*x**2 - 2*x - 2. Does 14 divide a(y)?
True
Let u(y) = y**2 + 8*y + 3. Let d be u(-7). Let k = 2 - d. Suppose -k = 5*r - 31. Is 5 a factor of r?
True
Let p(o) = 12*o**2 + 2*o - 2. Let l be p(-2). Suppose 2*y = 2*w - l, 5*y + 0*w = -4*w - 141. Let k = y + 44. Is k a multiple of 7?
False
Let g = 4 + -31. Let a = g + 62. Suppose -2*l + 5*v - a = -5*l, 0 = 5*l - 5*v - 5. Is l a multiple of 5?
True
Let s = 21 - 5. Let h(c) = -c**2 + 3*c + 3. Let a be h(6). Let v = s - a. Is 17 a factor of v?
False
Let o = -38 - -64. Is 6 a factor of o?
False
Let q be 2/2*4/2. Suppose -40 = -2*z + q. Is z a multiple of 17?
False
Suppose 2*k = 4*l - 26, -l = -3*k + k - 2. Suppose -3*o = 3*c - 48, 5*o + 2 + l = 0. Does 5 divide c?
False
Suppose 7*t - 21 = -0*t. Is 2 a factor of t?
False
Suppose -2*q - q - 15 = 0. Let m = q - -6. Is 3 a factor of 3/m + 1 + -1?
True
Suppose 3*y - 12 - 3 = 0. Suppose -5*x = 2*h - 65, -5*h + 56 = y*x - 9. Does 13 divide x?
True
Let j(c) = -c + 1. Let f be j(-3). Suppose -5*h - f*t + 160 = 0, -2*h + t = -4*h + 64. Is 16 a factor of h?
True
Let m = -14 + 21. Is m a multiple of 7?
True
Let a(s) be the second derivative of s**6/360 + s**5/120 - s**4/3 + 3*s. Let m(g) be the third derivative of a(g). Is m(6) a multiple of 5?
False
Suppose 0*y - 2*y = -6. Does 3 divide y?
True
Let m(j) be the first derivative of j**3/3 + j**2/2 - 4*j + 1. Let s(g) = g**2 + 5*g - 3. Let z be s(-6). Is 8 a factor of m(z)?
True
Let j(n) = -n**3 + 11*n**2 - 7*n - 4. Let s be j(10). Suppose 2*y - h = -0*h + 37, -2*h = y - s. Is y a multiple of 9?
False
Let r(w) = 27 + 30 - 12*w - 57. Let a(o) = -o**2 - o. Let t be a(1). Does 12 divide r(t)?
True
Let v(j) = 4*j**2 - j + 3. Let r(s) = s**2 + 6*s + 3. Let q be r(-6). Is 22 a factor of v(q)?
False
Suppose -3*m + 836 - 218 = 0. Is m a multiple of 48?
False
Suppose -4*v = -32 - 96. Let s = v + -22. Does 5 divide s?
True
Let z = 6 + -6. Suppose z = -2*k + 3*i - 8*i + 20, -k + 3*i = -21. Is k a multiple of 15?
True
Let u = 37 - 26. Does 8 divide u?
False
Let f(y) = y**3 - 6*y**2 + 7*y - 7. Let l be f(5). Let r(v) = -9*v + v**3 + 2*v**2 + 0*v**l - 7*v**2 - 7. Is r(7) a multiple of 12?
False
Let g(h) = -h**2 - 35*h + 34. Does 34 divide g(-15)?
False
Let u be 25 + 3*(-2)/(-3). Let h = u - 14. Suppose 3*q - 2*z = 31, z + z + h = q. Is 9 a factor of q?
True
Let y be 8*10 + 1/1. Let j be (-2)/(-2) + (y - 2). Let n = -52 + j. Does 15 divide n?
False
Suppose -4*j - 4 = -104. Is 6 a factor of 0/2 + (j - 1)?
True
Suppose 24*t - 22*t = 240. Is 10 a factor of t?
True
Suppose 0*a + 6 = 3*a. Suppose -1 - a = -3*d, -w = -4*d + 32. Let o = w - -46. Is 9 a factor of o?
True
Let q = 44 + -90. Let a = q + 68. Is 11 a factor of a?
True
Let g be 18/(-4)*160/(-15). Let u be (-42)/(-5)*10/(-3). Let l = g + u. Does 10 divide l?
True
Let m(c) = 5 - 14*c - c**2 - 7 - 8. Does 7 divide m(-9)?
True
Let h = 94 + -81. Is h a multiple of 4?
False
Let q be (2 - 1)/(3/12). Suppose q*j - 13 - 15 = 0. Does 2 divide j?
False
Let o(l) = -l**3 + 8*l**2 + 7*l - 11. Let c be o(9). Let j = 42 + c. Suppose j = 5*x - 12. Is 5 a factor of x?
True
Suppose 0 = 2*v - 3*v + 3. Let s = v + -3. Suppose s = -k + 25 - 2. Is 12 a factor of k?
False
Suppose 2*k - d - 9 = k, -d - 5 = 0. Let n(r) = -r**3 + 7*r**2 + 5*r - k*r + 1 + r + 0*r. Does 15 divide n(7)?
True
Let d(u) = -6*u - 4. Is 8 a factor of d(-9)?
False
Suppose 353 = -2*q - 187. Is (q/(-24))/((-3)/(-8)) a multiple of 10?
True
Let d = -11 + 15. Let u(m) = 2*m**2 + 3*m + 2. Let f be u(d). Suppose -4*j + f = -18. Is j a multiple of 5?
False
Let y = -10 + 19. Let n be (19 - 1)/(0 - -1). Suppose -y = -3*t + n. Does 3 divide t?
True
Suppose 0 = -0*n - 4*n + 440. Does 22 divide n?
True
Does 15 divide (-6)/(2/(-5)*8/64)?
True
Let b be 4/(-14) + 1012/14. Suppose 4*a - 113 + 17 = k, -b = -3*a - k. Does 12 divide a?
True
Let j be (-2)/10 + (-372)/(-60). Suppose -j*y = -y - 10. Is y even?
True
Let a(b) = b + 19. Is a(-3) a multiple of 16?
True
Let w = -16 + 19. Suppose 7*m - 36 = w*m. Does 2 divide m?
False
Let l(v) = 25*v**3 + 3*v**2 - v - 1. Does 4 divide l(1)?
False
Let n(q) = -q + 2. Let v be n(0). Suppose 0 = -3*j - u + 161, -3*j + j = v*u - 114. Does 26 divide j?
True
Let a = 7 - -29. Is a a multiple of 18?
True
Let j(f) = -6*f - 1. Let d be j(2). Let v = 22 + d. Is v a multiple of 3?
True
Let n(f) = -16*f + 80. Does 56 divide n(-23)?
True
Suppose -5*y = -y - 304. Is 3 a factor of y?
False
Let h(z) = -10*z**3 - z - 1. Let q be h(2). Let g = -34 - q. Is 19 a factor of g?
False
Let k(m) = 7*m**2 - 6*m - 7. Let f(n) = 4*n**2 - 3*n - 4. Let y(l) = 11*f(l) - 6*k(l). Is 9 a factor of y(-4)?
True
Let q be 1*(-3 + 0) + -2. Let o(l) = -l**2 - 6*l + 3. Does 4 divide o(q)?
True
Let x(b) = b + 6. Let f be x(-6). Let y = 4 - f. Suppose 15 = 4*o - 2*d - 25, 28 = y*o + 4*d. Does 9 divide o?
True
Is ((-1)/(-5) + -1)*(-41595)/94 a multiple of 52?
False
Let p(c) = -c**2 + 17*c - 19. Is 10 a factor of p(15)?
False
Suppose -74 = -3*r + 106. Is r a multiple of 14?
False
Let c = -17 - 7. Is -2 + c*(0 + -1) a multiple of 12?
False
Let u(d) = 10*d**2 + 1. Let f be u(-1). Suppose 0 = -o + 8 + f. Does 17 divide o?
False
Let m(j) = -j + 20. Suppose 4*p = 4*w - 40, w + 5*p = 5*w - 35. Is m(w) even?
False
Let b be -3*(-3 + 116/(-12)). Suppose -4*v + 21 = s - 7, -5*v = 2*s - b. Is v even?
True
Suppose 0*l = n + 5*l - 29, 41 = 4*n - 5*l. Suppose 3*w = n + 31. Is 384/w + 4/10 a multiple of 15?
False
Suppose -18 + 70 = 4*d. Let o = d - 9. Suppose -o*m = -4, m = -c - 0 + 5. Is c a multiple of 4?
True
Let b be (-12)/54 + 68/(-18). Let j be (9 - 0)*b/3. Is (40/(-12))/(2/j) a multiple of 10?
True
Let c be (-18)/(-3) + -2*1. Suppose 3 = -c*q - 1. Does 8 divide (-245)/(-20) + q/4?
False
Let m = 195 + -106. Is 19 a factor of m?
False
Suppose 0 = 2*y + 18 - 128. Is y a multiple of 13?
False
Suppose 0 = 28*y - 24*y - 984. Is 14 a factor of y?
False
Let u = 39 - 27. Is u a multiple of 8?
False
Let i be 6/4 + (-2)/(-4). Suppose 4*a - 17 = 3*a - 5*b, 0 = -2*a + i*b - 2. Is a/(-6) + 16/3 a multiple of 5?
True
Let q = -4 - -7. Let s = 2 + q. Suppose 94 = s*p - 91. Is 16 a factor of p?
False
Let j be ((-168)/(-18))/((-2)/(-9)). Is ((-30)/(-35))/(2/j) a multiple of 6?
True
Let j = -1 - -4. Suppose -j*f = 4 - 10. Suppose -m + 39 = f*m. Is 13 a factor of m?
True
Let b = -156 + 218. Suppose 2 = -5*u + b. Is 7 a factor of u?
False
Let a(t) = t - 8. Does 2 divide a(12)?
True
Let n(t) = -6*t - 6. Let w be n(-4). Suppose 0 = 4*v - 3*v + 2. Let c = w + v. Is c a multiple of 8?
True
Let g(f) = -7*f**3 + 2*f**2 - 2*f - 6. Is g(-3) a multiple of 23?
True
Suppose -3*z + 169 = -11. Is 30 a factor of z?
True
Let t = 62 - 37. Let r be 1/3 + 100/6. Let s = t - r. Is s a multiple of 4?
True
Suppose 4*t + 16 = -2*i, -4*i - 19 = -4*t - 59. Let x = 0 + t. Let n(d) = -d**3 - 5*d**2 + d - 4. Is 13 a factor of n(x)?
True
Let d(s) = s**3 + s**2 + s - 1. Let k(o) = -o + 9. Let c be k(8). Let w be d(c). Does 9 divide 20 - (1 + w/2)?
True
Let l = 3 + -2. Let b be l*(15/3 - 2). Suppose 5*w + p = -b*p + 70, 0 = -w + 5*p + 43. Does 9 divide w?
True
Is 3 a factor of ((-4)/(-6))/((-46)/(-2967))?
False
Suppose -4*z + 6 = 4*s - 2*z, 5*s - 7 = -2*z. Let m(y) = 4*y + 39*y**2 + 3*y - y - 1 - 4*y. Is 20 a factor of m(s)?
True
Suppose 5*w - 65 = 3*f, 2*w - f + 10 = 35. Suppose 0 = -u + 3*b + 5, 3*b - w = -0*u - 2*u. Suppose -z - l = -9, -u*l = -4*z + 15 + 39. Is 9 a factor of z?
False
Let o(b) = -b**3 + 7*b**2 - b + 5. Is o(5) a multiple of 5?
True
Suppose 10*g - 506 - 334 = 0. Is g a multiple of 12?
True
Let c(s) = -s**2 + 7*s - 1. Let f be c(8). Does 12 divide 36/10*(-60)/f?
True
Does 6 divide (4/10)/((-1)/(-45))?
True
L