74 = 124. Let y = v + -27. Is y a multiple of 3?
True
Let x(o) = -o**3 + 14*o**2 + 8*o + 4. Is 42 a factor of x(14)?
False
Let f(n) = -n**3 - 12*n**2 + 12*n - 13. Let w be f(-13). Suppose q + 5 = 4*z, 5*q + 3*z + 5 - 3 = w. Is 3 a factor of (q - (-1 - -2)) + 7?
False
Let k = 13 - 9. Suppose -16 = -k*c - 0*c. Suppose -2*b = -4*f + 11 + 31, 0 = -3*f - c*b + 59. Is 13 a factor of f?
True
Suppose 15 = 4*y + 3. Does 3 divide y?
True
Suppose 2*x - 3*b = 12, 0 = -3*x - 4*b + 8*b + 17. Suppose p = 5*p - z - 52, -x*p = 2*z - 39. Is p a multiple of 10?
False
Suppose -732 = -6*u - 282. Does 25 divide u?
True
Is 2*12/(-16)*-12 a multiple of 7?
False
Let w = 426 - 252. Is w a multiple of 29?
True
Suppose -250 = -5*n + 110. Is 24 a factor of n?
True
Suppose 0 = 4*w - 239 - 57. Suppose -5*h + w = 2*q, 2*h + 3 = 5*q + 50. Does 8 divide h?
True
Let q be ((-16)/(-6))/(6/27). Let c(x) = -x**3 + 11*x**2 + 10*x + 9. Let u be c(q). Let y = u - -32. Is 17 a factor of y?
True
Let i = 77 + -31. Is 23 a factor of i?
True
Let f be (-18550)/(-56) - (-1)/(-4). Let c = f - 217. Is c a multiple of 30?
False
Suppose -252 = -6*a + 2*a. Is 21 a factor of a?
True
Suppose -49 = -d - 1. Let w = d - 26. Is w a multiple of 9?
False
Let t = -12 + -4. Let h = t - -34. Does 9 divide h?
True
Let v be (-3)/12*-2*0. Suppose v = k - 2*k + 18. Does 9 divide k?
True
Does 26 divide 2/6*(278 + 7)?
False
Let p = 14 + 25. Does 13 divide p?
True
Let d(y) = 165*y**3 - 11*y**2 - 16*y + 11. Let q(a) = 33*a**3 - 2*a**2 - 3*a + 2. Suppose 0 = 2*z - 5 + 1. Let m(o) = z*d(o) - 11*q(o). Does 16 divide m(-1)?
True
Suppose 12 = -5*x + 3*x. Let m(b) = -b**2 - 7*b + 2. Is m(x) a multiple of 8?
True
Let p(z) = z**2 - 2*z - 5. Let m = 3 + 1. Let f be p(m). Does 8 divide -3 + 42/f + -3?
True
Let y(k) = -k**3 + 7*k**2 + k - 5. Let w be y(7). Suppose -u - 4 = -w*u. Does 14 divide (-70)/2*u/(-10)?
True
Let d(g) = -g**3 - g**2 + 7*g + 5. Let u be d(-5). Suppose 14*o - u = 9*o. Is o a multiple of 7?
True
Let b(f) = f**3 + f**2 + 3*f. Let k be b(-3). Let q be k/(15/(-12) - -2). Is 14 a factor of q/((-9)/(-3))*-3?
False
Let d(u) = -4*u + 2. Suppose -17 - 8 = 5*i. Does 11 divide d(i)?
True
Let w be -1 - (4 - 40/2). Is 12 a factor of w/(-5) - 1*-57?
False
Let g(q) be the third derivative of q**4/24 + 2*q**3 - 4*q**2. Is g(9) a multiple of 21?
True
Let v = 44 + -23. Does 13 divide v?
False
Suppose 17 = 3*c - 4. Let a(u) = 7*u**3 - 18*u**2 + 15*u - 6. Let z(r) = 4*r**3 - 9*r**2 + 7*r - 3. Let n(t) = -3*a(t) + 5*z(t). Is 9 a factor of n(c)?
False
Suppose -7*a + 2*a + 50 = 0. Let n be (-4)/(-10) - (-266)/a. Suppose m - 18 = -2*d, -4*m + n + 57 = -4*d. Does 10 divide m?
True
Suppose 0 = -2*q + 2 + 8. Suppose -q*u + 4*p + p = -255, -4*p = u - 36. Is u a multiple of 16?
True
Let b = 5 - -3. Let h(n) = -n**2 + 13*n + 8. Is 24 a factor of h(b)?
True
Let m be 3/(2 + 4/4). Does 9 divide 21 + (-16)/(4/m)?
False
Suppose p = -h + 90, p = -2*h - 0*p + 182. Is 10 a factor of h?
False
Suppose -d = 5*m - 139, 4*m - 3*m - 47 = -5*d. Suppose 2*q - 5*u - 20 = m, -3*q = 2*u - 61. Does 6 divide q?
False
Is (14/(-5))/(2/(-55)) a multiple of 15?
False
Suppose 2*q + 1 = 3*q. Let j = q + 1. Suppose 3*c - 2*u - 6 = j*c, c - 5*u + 9 = 0. Is c a multiple of 16?
True
Suppose 3*x - 6 = -0. Let d(i) = 0*i**2 - i**3 + 5*i + 7*i**2 - 2 - x*i. Is d(7) a multiple of 15?
False
Let l be (-1)/6*-3*0. Suppose -5*o - 14 = -l*o - 3*g, 0 = -3*g + 9. Is 7 a factor of o/(-1 + (-36)/(-39))?
False
Suppose 7*i = 5*i + 80. Does 20 divide i?
True
Let h = -220 - -347. Suppose -70 = -2*b - 4*r, -h = -3*b + 2*r + 3*r. Suppose -4*q = -y - b, -q + 5*y = 2*q - 42. Is q a multiple of 9?
True
Suppose 8 = 5*r - 3*r. Suppose -3*w + r*w = -4*a - 6, -w + 4 = -a. Suppose 0*f - 8 = -4*f, -4*f = -w*g + 10. Is g a multiple of 9?
True
Let r = -111 - -173. Let w = r - 42. Does 6 divide w?
False
Suppose 0 = -8*y + 13*y + 15. Let t(f) = 4*f**2 + 4*f. Is t(y) a multiple of 4?
True
Let u = -25 - -49. Suppose 4*g - 10 = -g. Suppose -g*i - i = -u. Does 8 divide i?
True
Let z be 22/4 + (-1)/2. Let c(i) = i**3 - 4*i**2 - 2*i - 3. Is c(z) a multiple of 12?
True
Let s(i) = 13*i - 17. Does 15 divide s(5)?
False
Let n(f) = f - 3. Let k(o) = 2*o - 6. Let j(u) = -3*k(u) + 5*n(u). Does 7 divide j(-7)?
False
Suppose -5*r = -g - 365, -2*r - 3*g = -2*g - 153. Does 11 divide r?
False
Suppose 4*q + f = 4, 0 = -3*q + f + 4*f + 26. Suppose 3*n + q*n = -4*g + 89, g - 2*n = 32. Does 9 divide g?
False
Let f = -7 - -56. Suppose -2*n + f + 23 = 0. Is n a multiple of 10?
False
Let p = 14 - -4. Let f = p + -2. Let d = -6 + f. Is 6 a factor of d?
False
Suppose -r = 2*r. Suppose r*k + 4*c - 46 = 3*k, 2*k - 3*c = -32. Let y = -6 - k. Is y a multiple of 2?
True
Suppose -7 = -5*m + 3. Let g(w) = w - 1. Let a(i) = -2*i - 4. Let y(n) = -a(n) + 6*g(n). Does 14 divide y(m)?
True
Suppose -4*j + 16 = -2*j. Let s be ((-9)/6)/((-3)/j). Suppose -s*x - 5*t + 32 = 0, x + t - 7 - 2 = 0. Is 13 a factor of x?
True
Let c(l) = -1. Let i(a) = -2*a - 8. Suppose -g - 1 - 1 = 0. Let u(d) = g*c(d) + i(d). Is 5 a factor of u(-8)?
True
Let l = 466 + -318. Is 16 a factor of l?
False
Let s(q) = -8*q**3 - q**2 - 2*q - 1. Is s(-1) a multiple of 2?
True
Let r be 1 + (-2)/6*0. Let n be 3/r*(-102)/9. Let c = n + 56. Is 11 a factor of c?
True
Does 15 divide 6/(-15) + (-861)/(-15)?
False
Suppose 0*x = 2*x - 96. Does 12 divide x?
True
Let p = 492 + -349. Does 16 divide p?
False
Let v be (3/(-4))/((-3)/12). Let o = -1 + 1. Suppose -3*d - v*m - m = -58, o = 3*d - m - 38. Is 5 a factor of d?
False
Let l(u) = 2*u**2 + 7*u - 3. Is 37 a factor of l(6)?
True
Is 4 a factor of 68/(-2)*(-20)/40?
False
Suppose -4*j + 54 + 5 = -r, 0 = -2*r - 2*j - 68. Let o = r + 67. Is 10 a factor of o?
False
Suppose 10*l - 60 = 4*l. Is 4 a factor of l?
False
Let d(w) = 13*w**2 - 2*w. Let j = 4 - 6. Let r be d(j). Suppose -h + 5*h - r = 0. Is h a multiple of 12?
False
Suppose 0*o + 200 = 5*o. Is 20 a factor of o?
True
Suppose n - 25 = -0*n + 5*f, -3*f = 15. Suppose -x + 2*x = -3*v + 7, n = -x + 4*v - 7. Is 2 + 2 - x*-3 a multiple of 7?
True
Is ((-4)/12)/(1/(-222)) a multiple of 11?
False
Let j = 3 + -1. Suppose -2*a - j*a = 0. Suppose a*h = h - 5. Does 5 divide h?
True
Let p be ((0 + 0)*1)/(-1). Let g be p/5 - (0 + -2). Suppose -5*w + 58 = 5*l - w, g*w = -3*l + 36. Is l a multiple of 7?
True
Does 7 divide (14/4 + -4)*-46?
False
Suppose -y + 24 = -14. Does 10 divide y?
False
Let o(s) = -s**3 - s**2 + s. Let n be o(0). Let k(u) = u**3 - u**2 + u + 52. Does 18 divide k(n)?
False
Let g(i) = -101*i - 2. Is g(-1) a multiple of 33?
True
Let f(c) = -c + 17. Let a(r) = 6. Let w(q) = 8*a(q) - 3*f(q). Is w(6) a multiple of 15?
True
Suppose 0 = -4*z - t + 9, 5*t = 4*z - 0*z - 27. Suppose 0 = -5*a + 5*g + 265, 5*a + 2*g + z*g - 255 = 0. Suppose 7*r = 3*r + a. Is r a multiple of 13?
True
Is 31 a factor of (-5 + 4 + 74)/1?
False
Let g be (2 - -1)*(0 - -1). Suppose 0 = -u + g*u. Suppose u = d - 10 - 23. Is d a multiple of 17?
False
Does 3 divide ((-1)/3)/((-4)/84)?
False
Suppose -6 = -3*s + 9. Is s a multiple of 3?
False
Suppose 4*y - 5*l = 47, 4*y + l + 8 = 37. Is y a multiple of 2?
True
Let b(p) = -p**3 - 5*p**2 - 3*p - 5. Does 36 divide b(-6)?
False
Let b(q) = q + 1. Let c be b(2). Suppose -34 = -5*a + c*r, 2*a = 3*r + 13 + 6. Is a a multiple of 5?
True
Let i(o) be the third derivative of 4*o**3 + 0*o - 1/24*o**4 - 1/120*o**6 + 1/60*o**5 + 4*o**2 + 0. Does 12 divide i(0)?
True
Let g be (3/(-9))/((-2)/(-6)). Let r be g + -1 - (1 + -5). Suppose 17 - r = n. Is n a multiple of 11?
False
Suppose -277 + 79 = 3*c. Is (c + 1)*(-12)/30 a multiple of 13?
True
Let t(g) = g + 32. Let y(x) = x**2 - 3*x - 4. Let d be y(4). Does 16 divide t(d)?
True
Let u(r) = -r**3 - 6*r**2 - 3*r + 14. Does 2 divide u(-5)?
True
Let d(p) = -p**2 + 7*p - 1. Let u be d(6). Suppose -4*w = -u*w + 20. Is 122/10 + (-4)/w a multiple of 4?
True
Let x(s) = 4*s**2 + 2. Let m = -11 + 17. Suppose 5*g - 4*l - m = 0, 6*l = -g + 3*l - 14. Does 9 divide x(g)?
True
Let q(z) be the first derivative of -z**3/3 + 3*z**2 - 2*z - 1. Let j be q(10). Let o = 1 - j. Is o a multiple of 16?
False
Let y(k) = -4*k**3 + k**2 + 2*k + 1. Let r be y(-1). Let l = 14 - r. Is 10 a factor of l?
True
Let n be (-2)/(-7) - 66/(-14). Suppose -o = -n*o + 60. I