(-12). Let v = 24 + k. Is v a multiple of 18?
False
Let c(p) be the first derivative of -1/2*p**2 - 8*p - 3 + 1/3*p**3. Is 6 a factor of c(-4)?
True
Let a = 1 + 3. Let m = 774 - 514. Suppose m = a*f + f. Does 12 divide f?
False
Let x = 7 + -4. Suppose 2*b + 3*b = -3*w + 3, -2*b - 6 = x*w. Does 13 divide 22*-5*w/10?
False
Let g(r) be the second derivative of r**4/6 - 5*r**3/2 + r**2 - r + 30. Let n = 22 - 14. Is g(n) a multiple of 9?
False
Let u be (27/(-6))/(30/(-20)). Suppose -z = -u*z + 96. Is z a multiple of 4?
True
Let z(j) = 976*j + 46. Does 23 divide z(3)?
False
Let q(d) = d**3 + 5*d**2 + 3*d - 3. Let b be q(-4). Does 6 divide (63/(-6))/b*24/(-7)?
True
Let i = 31 - -5. Suppose 3*k = k + i. Is k a multiple of 6?
True
Suppose -2*l - 3*y + 22 = -7*y, -4*y + 38 = 2*l. Suppose d = -5*w + 99 - l, 0 = 3*d - 3*w - 306. Suppose -d = -7*f + 461. Is f a multiple of 20?
True
Suppose 4*a = 5*u + 823, u - 1036 = 3*a - 8*a. Is 24 a factor of a?
False
Let r(j) = 239*j + 11. Does 64 divide r(4)?
False
Let x(l) = -2*l**3 - 76*l**2 - 15*l. Is x(-38) a multiple of 19?
True
Let i(k) = 163*k**2 - 1. Let a be i(1). Suppose 4*z = z + a. Is 9 a factor of z?
True
Let g(d) = 21*d**2 - 9*d + 19. Let w be g(4). Suppose 4*r + x - 302 = w, 4*r = 4*x + 596. Is r a multiple of 14?
True
Let i = -1 - -32. Suppose 2*n + i = 4*s + 211, -5*s = -5*n + 470. Is n a multiple of 25?
False
Let n(q) be the first derivative of 2*q**3/3 - 5*q**2/2 + 3*q - 1. Is 14 a factor of n(6)?
False
Let p be 2*((-3)/6 - 0). Let f be 6/(((-6)/20)/p). Does 25 divide 8/f - (-969)/15?
False
Let v = -11 - -566. Is v even?
False
Is (-1)/3 - 7612/(-12) a multiple of 24?
False
Let t be 2/8 - (-143)/4. Let n(p) = p**3 - 4*p**2 - 6*p + 5. Let i be n(5). Let g = i + t. Is 12 a factor of g?
True
Let x(m) = -2*m**3 + 15*m**2 + 16*m + 7. Let u(r) = r**3 - 14*r**2 - 16*r - 8. Let f(k) = -3*u(k) - 2*x(k). Is 19 a factor of f(-10)?
False
Suppose -q = -2*s + 202, -6*s + s + 5*q = -500. Suppose 204 = -5*i + 2*i. Let h = i + s. Is 34 a factor of h?
True
Let g = 13 + 9. Let f = 25 - g. Suppose -2*z + 5*b = -10, -z + 5*b = f*z - 30. Does 9 divide z?
False
Suppose -5*v = -24*v - 57. Does 8 divide ((-2)/v)/((-7)/(-168))?
True
Suppose q - 3*i = -2*i - 3, 2*q + 3*i - 19 = 0. Let f be 6/27 + q/(-9). Suppose -5*b - t + 2*t = -185, f = -3*b + t + 113. Does 8 divide b?
False
Let t(v) = v**3 + 4*v**2 - 5*v + 5. Let i be t(-5). Let s be (0 + 2)*(i - 3). Is s/(((-2)/13)/(-1)) a multiple of 21?
False
Suppose 0 = -2*l - 10, -5*r + 1575 = 4*l + 460. Does 38 divide r?
False
Is 30/75 - 1565/(-25) a multiple of 21?
True
Suppose 5*o = 4*o - 1, 3*c - 13 = o. Suppose 5*d = -2*r + 425, -2*d = 3*d - c*r - 455. Is 14 a factor of d?
False
Let h = 47 - 45. Does 33 divide (-1180)/(-36) - ((-48)/(-27) - h)?
True
Suppose 0 = -7*f + 8027 + 5315. Suppose -15*m = f - 5746. Is m a multiple of 16?
True
Suppose -4*q + 6 = -3*m, -3*m - m - 2*q + 14 = 0. Suppose m*s = 143 + 97. Does 12 divide 1/(4/s + 0)?
False
Let a(l) = -l**2 - 15*l - 15. Let v be a(-10). Suppose 5*u - v = -5. Suppose -16 = -2*y + u. Is y a multiple of 5?
False
Let h(i) = -12*i - 20. Let w be h(-19). Suppose -40 = 6*b - w. Does 7 divide b?
True
Suppose 4*x + 6*l - 10*l - 1988 = 0, 0 = -2*x + 4*l + 1004. Is 17 a factor of x?
False
Let g = 12 - 24. Let b = g + 12. Suppose 4*v - 49 - 27 = b. Is 7 a factor of v?
False
Suppose 0 = -4*a - 2*o + 1297 + 8483, 0 = -2*o. Is 12 a factor of a?
False
Let w(z) be the second derivative of z**5/5 + z**4/4 - z**2 - z. Let a be 4/12*9 + -1. Does 14 divide w(a)?
True
Let c(t) = 12 + 5*t - 1 - t - 2*t**2 + 2*t + t**3. Is c(5) a multiple of 32?
False
Let l = 113 - 113. Suppose l = 3*m - 6*m + 495. Is 33 a factor of m?
True
Let a(o) = -145*o - 3. Is a(-2) a multiple of 8?
False
Let o(q) = -q**2 - 49*q + 359. Is 107 a factor of o(-39)?
True
Let o(z) be the first derivative of -z**4/4 + 5*z**3/3 + 3*z - 15. Is o(-4) a multiple of 21?
True
Suppose 2*j - 4*x - 1991 - 25 = 0, 2*j - 2046 = -2*x. Does 15 divide j?
False
Let m be 1*-279*6/(-9). Let i = -85 + m. Does 35 divide i?
False
Let w(n) = n**2 + 19*n - 3. Let d be w(-22). Let q = 88 - d. Is 5 a factor of q?
True
Suppose -4*p = 11 - 67. Suppose t = 4*o + o + p, 0 = -o + t - 6. Does 5 divide o/7 + 74/14?
True
Suppose 0 = -7*l - 325 + 1508. Is l a multiple of 18?
False
Is 5/10*15*(-128)/(-6) a multiple of 20?
True
Let d(t) = 2*t - 16. Let x be d(18). Let p = x + -9. Suppose y - p = -3. Is 4 a factor of y?
True
Let p = -33 - -48. Suppose u - n + p = 84, -4*n - 347 = -5*u. Is 15 a factor of u?
False
Let n = -108 - -199. Let d be 1984 + (1 + 4 - 1). Is d/n + 2/13 a multiple of 22?
True
Suppose 3*w - 6 = w. Suppose -4 = -w*x - x. Suppose 3*a + x + 93 = 5*i, 0 = 4*i - 5*a - 83. Is 11 a factor of i?
False
Let u(w) = 3*w**2 + w + 1. Suppose 5 = -7*q + 2*q. Let p be u(q). Suppose -p*c + 12 = -c. Is c a multiple of 6?
True
Suppose 0 = -22*k + 27338 - 3314. Is k a multiple of 156?
True
Does 10 divide (560 - 0)/(26/3 - 8)?
True
Let s = -1206 + 1701. Is 55 a factor of s?
True
Let x(n) = -2*n**2 - 4*n - 1. Let o be x(-3). Let v be 3 + 2 - (-7)/o. Is 21 a factor of (140/8 + -3)*v?
False
Let t(o) = -179*o + 37. Does 16 divide t(-2)?
False
Let m = -315 - -366. Is m a multiple of 51?
True
Suppose -i = 3*d - 4, 2*d - i + 0*i - 6 = 0. Suppose v - 5*j = 74, -24 = -v + d*j + 35. Is 25 a factor of v/2 + 3/6?
True
Let q(m) = -2*m**3 - 5*m - 3. Let u be q(-3). Let x = u - 37. Is x a multiple of 6?
False
Let j be (1/(-2))/(4/8). Let c(p) = -24*p - 11*p + 10*p. Is c(j) a multiple of 8?
False
Let q(z) = -57*z. Let k be q(-3). Suppose 2*u - k = -13. Is 30 a factor of u?
False
Suppose -z = 16 - 18. Suppose 0 = -z*w + 2*i + 148, -2*w - i - 4*i = -169. Does 9 divide w?
False
Let w = -6906 + 9956. Is 50 a factor of w?
True
Let f(g) = 5*g**2 + 3*g - 7. Does 3 divide f(-11)?
False
Suppose 4*p - 588 = -v, -p - 4*v = -0*v - 162. Suppose i - p = 4*g, -4*g - 54 = 2*i - 358. Does 10 divide i?
True
Suppose 46 + 2 = -g. Let k be -3 - (1*g - -3). Let q = 15 + k. Does 19 divide q?
True
Let s = 15 + 244. Is s a multiple of 7?
True
Suppose -4*i - 65 = 291. Let h = i - -114. Is h a multiple of 3?
False
Suppose -5*o - 29*o + 22814 = 0. Is 59 a factor of o?
False
Let q = -83 + 125. Is q a multiple of 42?
True
Suppose -4*g = 3*c - 2*g - 22, c + 4*g = 4. Suppose 0*u = 4*u - c. Suppose -3*k = -3*h + u*k + 192, -2*h + 135 = -k. Does 23 divide h?
True
Suppose -d - 228 = -0*d. Let q = d - -333. Does 35 divide q?
True
Let o(h) = 15*h**2 - 5*h + 3. Let c be o(3). Suppose -5*s + 383 = c. Suppose -l + 4*n = -19 - 5, 4*l - 5*n = s. Is l a multiple of 8?
True
Let t(d) = -d + 194. Does 3 divide t(-30)?
False
Let r(q) = -3*q**2 - q + 2. Let k be r(1). Let v be (-2)/4*4/k. Is -24*v/(-8)*6 a multiple of 3?
True
Let c(w) = 9*w**3 + 2*w - 1. Let g be c(1). Let p be (g + 0)*110/20. Let z = p + 57. Is z a multiple of 16?
True
Suppose 0 = 60*b - 80*b + 8100. Does 9 divide b?
True
Suppose 7 = -5*i - 18, -4*a + i = -29. Let l = a - -8. Suppose 2*c = 2*f - l, -3*c + 7*c + 4 = f. Is 4 a factor of f?
True
Let p(v) = 20*v**2 + 1. Let n(o) = o**3 - 7*o**2 - 8*o - 2. Let s be n(8). Is 12 a factor of p(s)?
False
Let a(d) = d**2 - 3*d - 2. Let x be a(3). Let o(s) = 4*s**2 + 2 - 3*s**2 - 5 - 4*s. Does 8 divide o(x)?
False
Suppose -7 + 4 = -3*a. Let l = a + 11. Is 2 a factor of l?
True
Is 191/(10 + (-1014)/102) a multiple of 110?
False
Suppose -3*j - 5*f + 110 = 0, 2*j = -3*j + 2*f + 204. Let m = 90 - j. Let q = -4 + m. Does 8 divide q?
False
Let u(h) = -h**2 - 29*h + 54. Is u(-25) a multiple of 14?
True
Is 1431 - 45*9/45 a multiple of 18?
True
Suppose -w - 3 = -2*w, -4*z - 4*w = -4. Is 11 a factor of 50/(-3 + z)*(-22)/5?
True
Suppose -50*f = -41*f - 2808. Does 9 divide f?
False
Suppose 429 = t + 149. Suppose -7*j + t = -0*j. Suppose -n - 5*h + j = 0, 2*h - h - 78 = -3*n. Is n a multiple of 5?
True
Is 2/(-6) + 9729/27 a multiple of 40?
True
Let u = -13 + 1. Is 11 a factor of (-138)/5*((-18)/u - 4)?
False
Suppose 3*a + 5*z - 5 = 8, -2*a = -z. Let p be -1 + (-1 - 0)*a. Does 7 divide (p + 0)*19/(-2)?
False
Let k = 60 + -40. Let o = 73 - k. Is 7 a factor of o?
False
Suppose -4*d - 6616 = -4*x, 0 = -2*x + 25*d - 28*d + 3333. Is 79 a factor of x?
True
Let t be ((-1836)/45)/((-2)/(-10)). Le