m = -5*x + x. Let j = -30 - x. Is j a multiple of 14?
False
Suppose -2*a = 3*l, -3*a = -0*a + 3*l - 3. Suppose 4*z + 0 - 8 = 0, 34 = q - a*z. Does 10 divide q?
True
Suppose 0 = -2*k + 3*k + 38. Let l = k + 63. Is 25 a factor of l?
True
Let u(y) = 5*y - 1. Let r(i) = -i**2 + 5*i + 3. Let v be r(6). Let a(w) = 2*w**2 + 4*w - 1. Let z be a(v). Is 12 a factor of u(z)?
True
Let s = 13 + -11. Let d = s - -4. Does 2 divide d?
True
Let b be (-1)/3*(3 + -18). Let m(r) = 2*r**2 - 5*r - 1. Is m(b) a multiple of 8?
True
Suppose 0*m = -2*m + 4*s + 16, 3 = -s. Suppose m*t = 1 + 5. Does 3 divide t?
True
Let c = -62 + 112. Let b = c - 21. Let o = b - 18. Is o a multiple of 5?
False
Suppose -9*x = -294 - 687. Is x a multiple of 15?
False
Let l(p) = p**3 - 6*p**2 + 4*p + 2. Let k be l(5). Is (10/k)/(2/(-9)) a multiple of 14?
False
Suppose -4*h - 19 = n, 2*h = 5*n - 2*h - 25. Let p be (2/5)/(n/115). Suppose 2*f - p = -3*s, 3*f = -0*f - 2*s + 74. Is f a multiple of 16?
False
Let t = 24 + -9. Let p = t + -6. Does 9 divide p?
True
Let f(m) be the second derivative of -m**5/20 - m**4/6 + m**3/6 + m**2 - 2*m. Does 15 divide f(-4)?
True
Let w(b) = -b**2 + 6*b + 4. Let n = -8 + 13. Does 3 divide w(n)?
True
Let r(x) = 70*x**2 + x + 1. Is r(-1) a multiple of 14?
True
Let a(j) = j**2 - 3*j - 2. Let b be a(4). Suppose 5 = b*g - g. Is g a multiple of 4?
False
Suppose m = -5*l + 199, m + 25 = l - 10. Is l even?
False
Let i(v) = 61*v + 1. Does 46 divide i(3)?
True
Let v be (-4)/(-10) - (-219)/15. Suppose -4*j + j + 3*u = 9, 0 = 4*u - 8. Let b = j + v. Does 14 divide b?
True
Let q(l) = l**3 - 14*l**2 - 9. Let o be q(14). Let d(m) = m + 0*m + 22 - 9. Is 2 a factor of d(o)?
True
Let f(z) = -3 - 2*z**2 - 10*z + 3 + 4*z**2 + 9. Is 7 a factor of f(6)?
True
Suppose 2*g = 3*g + 3. Does 5 divide ((-11)/g)/((-2)/(-6))?
False
Let w be (-8 - -7) + 6/1. Suppose 0*b + 2*b = -3*t + 56, w*b = -2*t + 162. Does 17 divide b?
True
Let l(y) = -y - 17. Let d(m) = 6. Let z(s) = 17*d(s) + 6*l(s). Suppose 0 = 2*h + 2 + 6. Does 13 divide z(h)?
False
Suppose -u + 10 = 2. Suppose 0*j = -4*j - u. Does 11 divide (19 - -3)*j/(-4)?
True
Suppose 3*h + 36 = -0*h. Let t(k) be the third derivative of k**5/60 + 11*k**4/24 + 8*k**3/3 - 2*k**2. Does 12 divide t(h)?
False
Let m = -34 + -40. Let d = -14 - m. Suppose 7*t - 3*t = -h - 12, -d = -5*h + 4*t. Is h a multiple of 6?
False
Suppose 6 = -3*f + 15. Suppose 84 = -0*u + f*u. Is 14 a factor of u?
True
Suppose -2*n + 7*n - 5 = 0. Let g(p) = 60*p**3 - p + 1. Is 15 a factor of g(n)?
True
Let x(y) = -10*y - 6. Is 7 a factor of x(-2)?
True
Suppose 0 = q + 5*x + 9 - 0, 2*q + 11 = -3*x. Let c = 35 - q. Does 13 divide c?
True
Let q(g) = 29*g**2 + 2*g + 3. Let v be q(-2). Let m be -3 - 152/(6/3). Let p = v + m. Is 18 a factor of p?
True
Suppose -5*u - 17 = -3*t - t, -15 = 3*u - 4*t. Let y = 3 - u. Suppose n + y*n - 100 = 0. Is 7 a factor of n?
False
Let u = 216 + -114. Does 17 divide u?
True
Suppose 0 = 5*i - 8 + 33. Let y be i*(142/5 - 2). Let p = -90 - y. Is p a multiple of 21?
True
Let o = -15 - -26. Is 4 a factor of 145/o - 6/33?
False
Suppose 8*k - 540 = -4*k. Is k a multiple of 4?
False
Does 43 divide (46/8)/((-5)/(-160))?
False
Let f be 2 + -2 + (-6)/(-2). Suppose f*s = 18 + 36. Is s a multiple of 10?
False
Let g be 2 + (-3 - (0 + -1)). Let r be -2 - 0 - (-2 - -4). Let y = g - r. Does 2 divide y?
True
Is 52 a factor of 11163/21 + (-16)/28?
False
Let v(f) = f - 6. Let t be v(-6). Suppose -135 = -5*s - j, 3*j = 21 - 6. Let q = s + t. Is q a multiple of 14?
True
Let v(u) = -u**3 + 4*u**2 + 2*u - 2. Let d be 4/(-6) - (-32)/12. Does 2 divide v(d)?
True
Suppose 2*j = 6*j - 336. Does 21 divide j?
True
Let p(a) = -3*a**2 + a + 1. Let i be p(-1). Let z be (-5 - -9) + (-2 - i). Suppose -j + 40 = -3*h, -5*h = z*j - j - 75. Does 20 divide j?
False
Suppose b = 17 + 23. Let g = b + 17. Does 18 divide g?
False
Let k(s) be the third derivative of 0*s**3 + 0*s**4 + 0*s + 0 - s**2 + 11/15*s**5. Is k(1) a multiple of 20?
False
Suppose 1 = 4*a - 23. Suppose a*f - 120 = f. Does 24 divide f?
True
Suppose 8 = -2*w - 64. Is 26/4 + w/(-24) a multiple of 8?
True
Let b(y) = -y - 6. Let i be b(-11). Suppose 2*v + i*a = 42, 3*v - 50 = -2*a + a. Is v a multiple of 8?
True
Let c(k) be the third derivative of -k**6/720 + 2*k**5/15 + k**4/12 + k**2. Let v(l) be the second derivative of c(l). Is 16 a factor of v(0)?
True
Suppose -i + 5*z + 20 + 67 = 0, -i - 2*z = -73. Is i a multiple of 21?
False
Let u be 1*-1 + -4 + 8. Let q(p) = p**3 + 2*p**2 - p. Is q(u) a multiple of 14?
True
Is 9/(-18) - 254/(-4) a multiple of 10?
False
Let t be 10/25 - 488/(-5). Let g be t/3*6/4. Let j = g + -29. Is 20 a factor of j?
True
Let x = 2 - -30. Is x a multiple of 10?
False
Let u be (-5)/2*6/(-5). Let s = 11 + -7. Suppose -x + 24 = -u*t + 7, 4*x - 68 = s*t. Is x a multiple of 17?
True
Suppose t - 10 - 11 = 0. Suppose -5*k = -3*k - r - 19, -t = -2*k - r. Does 13 divide (-4)/k - 87/(-5)?
False
Suppose l - 640 = -3*l. Suppose -64 = i - l. Let s = i - 56. Is 13 a factor of s?
False
Let z be 1*-4 + -3 + -2. Let x = 19 + z. Does 5 divide x?
True
Suppose 0 = a + 3*a + 36. Let x = a + 14. Suppose -x = -z - 0*z. Is 5 a factor of z?
True
Let b(a) = 5*a**2 + 1. Let f be b(1). Suppose 3*t + 117 = f*t. Is 13 a factor of t?
True
Suppose 3*w - 5*l = 7*w - 109, -l + 47 = 2*w. Does 9 divide w?
False
Let u(d) = 2 + 5*d**2 + d**3 - 11*d - 1 - 16*d**2 + 8. Let l be u(12). Is -2*l/(-2) + -2 a multiple of 10?
False
Suppose j - w = 2*j - 9, -4*w + 20 = 0. Suppose -u = 5*f - 24 - 60, j*u = 2*f - 16. Does 9 divide f?
False
Let n(o) = -2*o**3 + 18*o**2 - 9*o + 19. Is 6 a factor of n(8)?
False
Let v be (-2)/(-7) + (-38)/(-14). Suppose 8 - 17 = v*d. Is 0 - d/3*12 a multiple of 6?
True
Suppose 0 = -4*u - 0*u - 2*x + 74, -41 = -u - 5*x. Is u a multiple of 8?
True
Let r(p) = 27*p - 16*p + 21*p. Let b be 8/(-28) - (-9)/7. Is r(b) a multiple of 16?
True
Let i(f) = -3*f - 12. Let h be i(-9). Let x = h + 34. Does 16 divide x?
False
Let r = 144 - 100. Is r a multiple of 11?
True
Let q = 8 + 0. Let f(l) = -3*l - 3*l + 8*l - 9. Does 3 divide f(q)?
False
Is ((-228)/8)/(-1)*4 a multiple of 19?
True
Suppose -17*z + 243 = -114. Is 6 a factor of z?
False
Let m(l) = -l + 1. Let f be m(-3). Suppose -5*b + f = -6. Suppose 3 = -b*h + 31. Is 6 a factor of h?
False
Suppose 202 = 3*y + x, -146 - 130 = -4*y - 3*x. Does 10 divide y?
False
Let d(t) be the first derivative of -t**4 + t**3/3 + t**2/2 + t + 2. Let f be d(-1). Suppose f*o - 76 = 4. Is 10 a factor of o?
False
Suppose -2 - 1 = 3*l, -4*u + 38 = 2*l. Let k = 3 - 3. Suppose 5*q + u - 25 = k. Does 3 divide q?
True
Let s(l) = 5*l - 10. Does 15 divide s(5)?
True
Let i(x) = x**3 - 9*x**2 + 9*x - 3. Let p be i(8). Let c be (-15)/6*(-8)/10. Suppose 0 = -3*v + c*l - l + 30, -p*v + 70 = 5*l. Is v a multiple of 7?
False
Is -5*(-8*6 - 1) a multiple of 11?
False
Let j be 6 + -2 + (-2)/(-2). Let y = 0 + j. Does 2 divide y?
False
Let m = -118 + 252. Does 5 divide m?
False
Let c(d) = 5*d**2 - 2*d - 1. Let j be c(-1). Let t be 8/j - 4/(-6). Suppose -5*x - 31 = -q, -t*x - x = 2*q - 62. Does 17 divide q?
False
Let d(l) = l**3 - 3*l**2 + l - 7. Let k(z) = -z + 10. Let s be k(6). Is 3 a factor of d(s)?
False
Let k(w) = w - 2. Let h be k(0). Does 9 divide 2 - (-15 + 2/h)?
True
Is 3 a factor of (10/4)/(7/42)?
True
Let o(i) be the third derivative of i**6/120 + i**5/12 + i**4/8 - i**2. Let r be o(-4). Suppose a + 9 = r*a. Does 3 divide a?
True
Let r(v) = 4*v**2 - 9*v + 11. Let x(j) = 9*j**2 - 17*j + 22. Let f(g) = -7*r(g) + 3*x(g). Is f(8) a multiple of 10?
False
Let x = 13 + 1. Let k = x - 8. Let a = 16 - k. Does 10 divide a?
True
Let a be -3*(-4)/6 + 30. Let i = a + -23. Is i a multiple of 9?
True
Let c(n) = n + 0 + 2 + 0*n**2 - n**2. Let a be c(0). Suppose x = 2*m + 12, 3 = 2*x + a*m + m. Does 3 divide x?
True
Let g(p) = -p**2 + 7*p - 4. Let d be g(6). Suppose 3*t = 2*l - 33, -2*l - d*l = -5*t - 69. Is l a multiple of 7?
True
Let w be 1*2/(0 - -2). Let o be 1/(2/58) + w. Is 4 a factor of o/4 - (-5)/(-10)?
False
Suppose -3*u - 4*n - 4 - 4 = 0, 5*u + 5*n = -15. Let p = u + 6. Is (2*(-5)/p)/(-1) even?
False
Let m = -63 + 115. Is m a multiple of 26?
True
Let p be (-1*(-2 + 2))/2. Suppose 2*x + 8 + 0 = p. Is (x/8)/(2/(-32)) a mul