4*j. Is p a multiple of 14?
True
Let q(f) = -f + 9. Let h(v) = 4*v**2 + 2*v**3 - 2*v**2 - 3*v**3. Let o be h(2). Is q(o) a multiple of 5?
False
Is 11 a factor of 1 - (0 - -1)*-10?
True
Let i(r) = -r - 7. Let x be i(-9). Let c = 20 + -7. Let u = x + c. Is 4 a factor of u?
False
Let y = 3 - 3. Suppose y*j = -2*j + 24. Suppose -j = s - 3*s. Does 3 divide s?
True
Let n be (0 - 2) + (-12)/(-4). Let b be (-4)/n + 1/1. Does 9 divide b/(-6)*3*6?
True
Is (4/(-3))/4 + 57/9 a multiple of 6?
True
Suppose 5*r - 3*u = -15 - 69, 0 = -5*r - 2*u - 69. Let s = 27 + r. Is 6 a factor of s?
True
Is (-1*(-1590)/(-25))/(6/(-15)) a multiple of 24?
False
Let f(j) = 29*j - 1. Does 8 divide f(1)?
False
Let d = 12 + -30. Let n(z) = -z**2 - 11*z - 2. Let w be n(-7). Let t = w + d. Is t a multiple of 8?
True
Let p(j) be the third derivative of j**6/120 - j**5/30 - j**4/12 - 2*j**3/3 + 3*j**2. Let z(b) be the first derivative of p(b). Is z(4) a multiple of 8?
False
Let c = 83 + -5. Is 10 a factor of c?
False
Suppose -12 - 8 = -5*m. Let s be (3/m)/(8/192). Let u = 48 - s. Is u a multiple of 15?
True
Does 14 divide 3 - (1 + 0) - -74?
False
Let m(i) = -2*i - 12. Let p be m(-7). Suppose -p*u - 3*u - 3*n = -310, 2*n + 285 = 5*u. Is 30 a factor of u?
False
Suppose 0 = -0*y + 4*y - 8. Suppose -j = 4*w - 9, y*w + 2 = -3*j - 1. Suppose -2*x + f = -22, -f + 0*f = w*x - 23. Is x a multiple of 9?
True
Suppose 3*i - 40 = -2*v, -3*i + 0*v - 3*v + 45 = 0. Is 6 a factor of i?
False
Suppose -2*t - 10 = -7*t. Suppose 2*a - t*c + 6 = 0, -3*c + 13 = -4*a - 0*a. Let m = 16 + a. Is m a multiple of 7?
False
Let u(g) = 4*g**3 - g**2 - g + 1. Let y(n) = n + 5. Let p be y(-4). Is 2 a factor of u(p)?
False
Suppose -3*n - d - 179 = 0, -114 = 4*n - 2*d + 118. Let v(r) = -r**2 - r + 93. Let i be v(0). Let u = i + n. Does 17 divide u?
True
Let m = 216 - 116. Is 5 a factor of m?
True
Let p be 118/(2 + (-2)/2). Suppose 0 = -3*m + 71 + p. Is 13 a factor of m?
False
Suppose 6*i = -2*i + 1400. Is 31 a factor of i?
False
Suppose 4*l + 4 = -0. Is l*(-22*1)/2 a multiple of 8?
False
Let b(i) = -i**3 - i**2 + 5*i + 6. Let g be b(-4). Suppose m + 1 = -g. Does 11 divide (-4)/(2*-1) - m?
False
Does 14 divide (-12)/10*260/(-6)?
False
Let h(k) = 3*k**2 - 4*k + 11. Let x(p) = -5*p**2 + 8*p - 21. Let v(c) = 7*h(c) + 4*x(c). Is v(-7) a multiple of 6?
False
Suppose 15 = 3*o - 0. Let j(p) = -p + 8. Let r be j(o). Suppose -d + 52 = r*d. Is 6 a factor of d?
False
Let j(p) = 3*p**3 + 2*p**2 - 4*p + 4. Let x be ((-3)/(-2))/((-21)/(-28)). Does 14 divide j(x)?
True
Suppose 0 = 5*n - 3*i - 12, -4*n - i + 7 = -6*i. Suppose -n*c + 0*c = -6. Suppose -2*o + 12 = 4*v - 10, c*o + 34 = 4*v. Is 7 a factor of v?
True
Let w = -149 + 73. Suppose -3*x + 12 = 3. Is (w/(-6))/(1/x) a multiple of 18?
False
Let c be (-8)/(-52) - (-45)/(-39). Does 14 divide 1/((c/(-17))/1)?
False
Let q(c) be the third derivative of -c**6/120 - c**5/12 - 7*c**4/24 - 5*c**3/6 + 2*c**2. Is 20 a factor of q(-5)?
False
Suppose 10*b - 14*b + 464 = 0. Does 18 divide b?
False
Let l(d) = -d**2 - 7 + 3*d + 2*d**2 + d. Let p be l(-6). Suppose -w = -5*b - p*w + 146, 0 = -b + 4*w + 10. Does 12 divide b?
False
Let o = -190 - -286. Is o a multiple of 32?
True
Suppose 3*i - 2*i - 40 = 0. Suppose -8 = s - i. Does 12 divide s?
False
Suppose 16 = 4*z - 4*n, 4*z - 6*z + 4*n = -2. Let q = z - 5. Does 2 divide q?
True
Let m be (10/3)/(1/(-3)). Let y = m - -13. Does 3 divide y?
True
Let j be ((-8)/(-5))/((-4)/(-10)). Is 2 a factor of 8 + (j/2)/(-2)?
False
Let t = 10 + 46. Is 4 a factor of (15/10)/(6/t)?
False
Suppose 3*q - 4 = -x, -q + 0*x + 2*x - 8 = 0. Suppose 5*j + k - 47 = -q*j, -5 = j + 5*k. Is 3 a factor of j?
False
Let f = -6 + 10. Let b = f - 4. Suppose b*w - 3*w + 96 = 0. Does 16 divide w?
True
Suppose -2 = 4*l + 10. Is 2 a factor of -10*((-6)/l)/(-4)?
False
Suppose 2*s = -j + 9, -4*s = -2*j + s. Let o(w) = 3*w - 7. Let b be o(j). Suppose 0 = -3*l + 2*l + b. Is 3 a factor of l?
False
Suppose s + 5 + 1 = 0. Let f(o) = o**3 + 6*o**2 + o + 8. Let q be f(s). Suppose -3*z = q*r - 35, r + 5*z - 43 = -15. Is r a multiple of 9?
False
Let g(o) = -o**3 - 4*o**2 + 7*o + 2. Suppose 40 = -6*i + 4. Is g(i) a multiple of 6?
False
Suppose 49 = 2*f - 2*o - 17, -3*f + 95 = -5*o. Is 7 a factor of f?
True
Suppose -4*o - 80 = -360. Is 13 a factor of o?
False
Let r be (-2)/(-12) + (-11)/(-6). Suppose r*s - 10 = 2. Is s a multiple of 6?
True
Let c(z) = z**3 + z**2 - 6. Let w be c(0). Let g = w + 10. Suppose -4*x + g = 0, -3*l - x + 2*x = -32. Is 8 a factor of l?
False
Suppose -i + 6*i = -5. Is 49 + i + 0 + 0 a multiple of 16?
True
Let v be 5*(0 + (-2)/(-2)). Suppose -3*b = -v*b + 26. Let c = 18 - b. Is c a multiple of 5?
True
Let m = 5 - -6. Is 4 a factor of m?
False
Let y(s) = 5*s - 1. Let f be y(5). Let h = f + -17. Does 7 divide h?
True
Suppose 0 = -3*b + 5*j - 54, b - 10 = j - 28. Let u = b + 34. Does 16 divide u?
True
Suppose 4*d - 16 - 32 = 0. Is d a multiple of 12?
True
Let z(c) = c**2 - 17*c + 22. Is 9 a factor of z(17)?
False
Suppose -4*w + 97 = 2*u + 3*u, -4*w - 3*u = -87. Does 3 divide w?
True
Suppose -6*m + 498 + 312 = 0. Is 15 a factor of m?
True
Let u(z) = 3*z. Let w be u(-7). Let l = 35 + w. Does 5 divide l?
False
Let q(l) be the second derivative of -l**4/12 - 3*l**3/2 + l**2/2 + 3*l. Is 3 a factor of q(-8)?
True
Let z be (2 - (-10)/(-3))*-42. Suppose -5*m = -r + 54, -3*r + 3*m + 86 = 7*m. Let d = z - r. Does 13 divide d?
False
Suppose -4*r = -5*q + 884, r = 2*q - 3*r - 344. Does 9 divide q?
True
Let k(f) = -2*f + 4. Let x(z) = 4*z - 9. Let w(d) = -5*k(d) - 2*x(d). Let g be w(2). Is ((-9)/(-6))/(g/16) a multiple of 6?
True
Let j = 9 + -5. Let v(d) = 10*d. Let x be v(j). Does 12 divide ((-36)/(-16))/(3/x)?
False
Let s be 4/14 - 542/(-14). Suppose -3*u = 2*j - 2*u - s, -4*u = 4*j - 68. Does 17 divide j?
False
Let n(v) = v + 6. Let s be n(6). Suppose -s = 4*x - 0*x. Is 7 a factor of (-12)/x*(-14)/(-8)?
True
Let r(n) be the second derivative of -2*n**3/3 + n**2 + 4*n. Let v = 6 - 11. Does 11 divide r(v)?
True
Suppose 0 = z - 2 + 9. Let n = z - -22. Does 6 divide n?
False
Let w = -12 + 6. Let h be w/(0 + (-3 - -1)). Suppose -3*t + 80 = 2*o + 25, 2*o - 49 = h*t. Is o a multiple of 12?
False
Let n(p) = -p**3 + 11*p**2 + p - 7. Does 37 divide n(5)?
True
Let m(r) = r**2 + 4*r - 14. Let z be m(-6). Is 7 a factor of (-11)/z - (-12)/8?
True
Suppose -3*u - 2380 = -2*u. Is (-2)/(-9) + u/(-63) a multiple of 13?
False
Suppose 4 = -q + 5. Suppose 0 = 2*g - 3*r - 2*r - 3, 0 = 5*r - 15. Is 10 a factor of q/2*(45 + g)?
False
Suppose 0 = -5*z - 2*y + 23, 2*z - 3*y + 12 = 5*z. Let g(x) = 9*x - 7. Let n be g(z). Suppose 4*b - n = 70. Is 9 a factor of b?
True
Let v = 10 + -5. Suppose v*m = 113 - 23. Is 6 a factor of (9/(-6))/((-3)/m)?
False
Let w(t) = -t**2 + 6*t - 6. Let g(o) = o**2 - 2*o - 4. Let n be g(4). Let s be w(n). Suppose 3*h = -2*v + 79, -4*v - 74 = -4*h + s*h. Is h a multiple of 16?
False
Let o(a) = 2*a - 10. Is 10 a factor of o(13)?
False
Let o be 2 + 0 - (0 - -30). Let a be (o/(-2))/((-6)/(-18)). Let l = a - -5. Is 17 a factor of l?
False
Suppose t = 4*t - 5*r - 9, -r = 0. Suppose -27 = -t*i - 0*i. Let w(d) = d - 1. Is w(i) a multiple of 4?
True
Let a(z) = z + 5. Let j be a(0). Suppose 0*h = j*h - 45. Does 19 divide 6/(-27) + 290/h?
False
Let k(u) = u**2 + 4. Let p(v) = v**2 - v + 5. Let q(d) = -4*k(d) + 3*p(d). Let x be q(-1). Does 11 divide 270/24 + x/(-4)?
True
Suppose -2*z - 5*z = -504. Is z a multiple of 24?
True
Suppose 4*c + 0*c - 36 = 0. Suppose -2*b = -4*o + c*o - 49, -38 = -4*o - b. Suppose 4*w - o - 3 = 0. Is w a multiple of 2?
False
Let s = -24 + 43. Let c = -3 + s. Is 6 a factor of c?
False
Suppose 0 = -k - 5*y - 14, -5*k = 4*y + 5 + 2. Let u be (7 + -7)/(k - -1). Suppose u = d + d - 30. Is 15 a factor of d?
True
Let v be 154/10 - 6/15. Let w = v - 11. Suppose 3*j + 5*s - 101 = 0, 5*j + w*s - 66 - 98 = 0. Is j a multiple of 16?
True
Let z(l) = -l**2 + 6*l - 3. Let g be z(3). Suppose -4*t - 2 + g = -4*q, q + t - 7 = 0. Suppose -4*i - 3*r = -23, q*i + 4*r - 21 = -2. Does 5 divide i?
True
Let c(z) = 7*z - 3. Let d be c(-10). Let u = -35 - d. Is u a multiple of 10?
False
Suppose -2*j = 2*g - j - 1, -4*g = j - 7. Let s = g - 3. Suppose u = 3*o + 2*o - 109, 2*o + 5*u - 49 = s. Is o a