e 2*c + 264 = 3*c. Suppose -c = 9*x - 13*x. Is 26 a factor of x?
False
Suppose 1 = 3*z + 4. Is 2 a factor of (61 + z)*(-2)/(-5)?
True
Let m = -24 - -24. Suppose p + 4*p + 3*d - 542 = m, -3*d + 118 = p. Does 12 divide p?
False
Suppose -5*u + 5*y + 610 = 0, -2*u - y + 640 = 3*u. Is 36 a factor of u?
False
Let m(h) = -31*h - 7. Let z be m(-1). Is (-165)/(-18) + (-4)/z a multiple of 2?
False
Let j be (-2 + 4)*3 + -3. Suppose -n = 3*x + j*n - 201, 5*x - 358 = n. Does 18 divide x?
False
Let a = -417 + 627. Is 14 a factor of a?
True
Let k = 64 + -53. Let f = 47 + k. Is f a multiple of 12?
False
Let k = 99 - 104. Let p(h) = 3*h**2 + h. Is p(k) a multiple of 11?
False
Suppose -2*o - 4*w = 14 - 38, -5*o = 2*w - 36. Suppose -4*d - 4*s = -s + 9, 0 = -4*d - 5*s - 15. Suppose d = z - o*z + 4*l + 18, 5*l = -5*z. Is 2 a factor of z?
True
Let i = -3058 + 4420. Is i a multiple of 26?
False
Let r = -16 - -15. Is 25 + 1 + (r - -1) + -2 a multiple of 12?
True
Let p(z) = -54*z + 102. Does 34 divide p(-12)?
False
Suppose -43 - 49 = -4*o. Let s = -1 + o. Is 7 a factor of s?
False
Suppose -3*n + 5*n - 8 = 0. Let l = n + 1. Suppose l*g - 13 = 27. Is g a multiple of 4?
True
Suppose -2*f + 3*p = -434, 5*f + 868 = 9*f - 4*p. Is 31 a factor of f?
True
Let a(y) = 15 - 15*y + 2*y - 41 - 6*y. Does 25 divide a(-5)?
False
Let o = 103 + -109. Is 10 a factor of -90*(-1 + o/(-9))?
True
Let m(n) = -n**2 - 29*n - 71. Is m(-23) a multiple of 11?
False
Let v(x) = 20*x**2 - 2. Let n be v(1). Suppose n*r - 22*r = -372. Does 31 divide r?
True
Suppose -5*c - 2*o = 2*o - 17, 3*c + 5*o - 18 = 0. Suppose -s = -5*t + c, -3*t - 2*s + 2 = -4*s. Does 11 divide (-10 + 43)/(1 - t)?
True
Suppose -13 = -3*g + 5. Does 7 divide (-17)/(-3 - (-15)/g)?
False
Suppose 5*q = w + 2691, -303 = q + 4*w - 858. Does 17 divide q?
False
Suppose 4*l + n + 187 = 0, 3*l - l + 106 = 2*n. Let i = 1 + 11. Does 14 divide l/i - (-128 + 1)?
False
Let z = 34 - 30. Suppose 3*y = z + 29. Does 8 divide y?
False
Let w = 29 - 6. Is 3 a factor of (w/(-5) - -3)/((-2)/20)?
False
Let t be 5131/21 - 4/(-6). Let n = t + -85. Does 40 divide n?
True
Let h be 5/(20/(-16))*134/(-8). Let i = 181 - h. Is 30 a factor of i?
False
Let k(n) = 5*n - 7. Let d be k(5). Suppose -15*m = 12*m. Suppose 4*z = -4*x - d + 142, -3*z - 4*x + 97 = m. Does 27 divide z?
True
Let l(m) = -7*m - 7*m + 13 - m + 19*m. Is l(9) a multiple of 13?
False
Let i(w) be the third derivative of 1/10*w**5 + 1/6*w**4 + 0*w - 1/120*w**6 - 5/6*w**3 + 5*w**2 + 0. Is i(6) a multiple of 19?
True
Let x(k) be the first derivative of -k**2/2 + 12*k + 2. Let o be x(-8). Is 10 a factor of 118/3 - o/(-30)?
True
Suppose 1 + 3 = 2*f. Suppose -f - 4 = -3*t. Suppose t*c - 15 = 15. Is c a multiple of 7?
False
Suppose 0 = 3*p - 2*w - 128, 0*w = -5*p + w + 218. Is 5 a factor of p?
False
Suppose -2*o - 318 = -4*z - o, 0 = -2*z - 5*o + 148. Suppose 3*f = -s - 0*s + 33, -3*s + z = -f. Does 9 divide s?
True
Let o(i) = -1. Let h(m) = -73*m + 6. Let t(v) = -h(v) - 4*o(v). Let p be t(-2). Does 24 divide (-1)/2*(p - 0)?
False
Suppose -4*r = -2*p + p + 93, p - 91 = 5*r. Suppose 0 = 4*u + 3*a - p - 270, 0 = -4*u + 2*a + 346. Is 11 a factor of u?
False
Suppose -2*q = -3*d + 118, -4*d + 5*q + 32 + 130 = 0. Let t = d - -34. Does 64 divide t?
False
Let v be -1*3 + (9 - -2). Let j be (44/v)/((-1)/(-12)). Suppose -2*m - j = -4*m. Is m a multiple of 11?
True
Let h(w) = -639*w**3 + w**2 - w - 1. Does 65 divide h(-1)?
False
Let g(h) = -h + 10. Let o(v) = 1. Let m(a) = g(a) + 4*o(a). Let y be m(12). Suppose -3*z + 0*z + 4*c = -168, 0 = -y*z + 4*c + 108. Does 15 divide z?
True
Suppose -741 = -2*s - 7*i, -1467 = -2*s - 2*s + i. Is 52 a factor of s?
False
Let f be (158/(-6))/(2/6). Let q = -282 + 251. Let b = q - f. Does 16 divide b?
True
Let o = -740 + 1148. Is o a multiple of 3?
True
Let g(n) = 6*n + 185. Is 14 a factor of g(0)?
False
Let j(r) be the second derivative of -r**3/2 - 4*r**2 - 4*r. Let c be j(-6). Let l(x) = 2*x**2 - 14*x + 1. Is 19 a factor of l(c)?
False
Let x(g) = -560*g - 7. Does 3 divide x(-1)?
False
Is 5 a factor of (-2)/11 + 189/11 + -1?
False
Is 32 + 302 - 1*3 a multiple of 5?
False
Let k = 63 - 33. Suppose -5*y + 4*h + 7 = 0, 7*y = 3*y - 4*h + 20. Suppose -y*t = -2*t - k. Is t a multiple of 15?
True
Let z(a) = 3*a**2. Suppose 0 = 5*y - 21 + 11. Let l be z(y). Suppose -l*m = -14*m + 118. Is m a multiple of 26?
False
Let r be ((-16)/(-10))/((-7)/(-35)). Suppose -d - r = 6. Is d/(-5)*315/18 a multiple of 26?
False
Suppose -3*a - 4*f + 22 + 6 = 0, -3 = -3*f. Let w = a - 17. Is (-135)/w - 6/(-2) a multiple of 10?
False
Let b(j) = 5*j. Let s(i) = i + 6. Let p be s(-6). Suppose -5*d + p*r = 2*r - 17, 0 = 3*d + 3*r - 3. Is 9 a factor of b(d)?
False
Suppose -137 = -16*o - 1929. Suppose -k = k + 2*f + 154, -4*k - 308 = -2*f. Let b = k - o. Is 9 a factor of b?
False
Suppose j - 182 = 3*r + 129, 3*r + 628 = 2*j. Let m = -190 + j. Is m a multiple of 33?
False
Suppose -2*g - 104 = -5*m, -2*g - 3*g - 260 = -2*m. Let b(n) = 4*n**2 + 5*n + 1. Let h be b(-5). Let w = h + g. Is w a multiple of 6?
True
Suppose 5*g = k + 27, -g - 7 = 4*k - 25. Let x be 4/g - (-26)/6. Suppose 0 = -j + 5*o + 47, x*j - 2*j - 84 = -4*o. Is j a multiple of 8?
True
Suppose 32 = 5*h - h. Suppose 131 - 491 = -h*i. Is 15 a factor of i?
True
Suppose a - 2848 = -a + 4*u, 4*a - 5674 = -3*u. Is 20 a factor of a?
True
Suppose b - 12 = 3*v, 3*b + 4*v = v + 12. Suppose 30 = -b*z + z. Does 30 divide -62*((-21)/z + -4)?
False
Suppose -p = -z - 68 - 89, -5*p - 4*z + 776 = 0. Suppose r + 0 = -106. Let b = p + r. Does 25 divide b?
True
Suppose 0 = -z + 3, 2*y + z - 2 = 13. Let j(k) = 2*k - 8. Let q be j(y). Suppose -504 = -q*d - 2*d. Is d a multiple of 20?
False
Let l = -25 + 18. Let o(v) = -v**3 - 5*v**2 + 10*v - 2. Let p be o(l). Let a = p + -8. Is a a multiple of 15?
False
Let l(w) = w**3 + 32*w**2 + 47*w - 30. Is l(-30) a multiple of 12?
True
Suppose 4*s - 7*s + 244 = 2*d, -376 = -3*d - 2*s. Is d a multiple of 12?
False
Let d be (1 + 0/(-2))*33. Let u = 87 + d. Is 12 a factor of u?
True
Let v be 2/5 - 146/(-10). Suppose -3 + v = -4*d. Is 3 a factor of 11 - (-2)/(-4 - d)?
True
Let l be (-16)/(-7) + (-4)/14. Let s be 335/35 + (-3)/(-7). Suppose 0 = l*v + s - 52. Is 7 a factor of v?
True
Suppose p = -2*c - 0*c - 125, -255 = 4*c + 3*p. Let d = 248 + c. Does 9 divide d?
False
Let x(a) = 4*a**2 - a - a + 2 - 1 - 3*a**2. Let s be x(7). Suppose n - 3*n = -3*m - s, 5*m = 0. Does 12 divide n?
False
Suppose -1440 = 6*z - 11*z. Suppose -3*h = 2*h - f - z, 4*h + f = 225. Does 19 divide h?
True
Suppose -2*k = -3*z - 7*k + 2, -4*k + 5 = -z. Does 14 divide (9 - 2)*162/(-21)*z?
False
Let v(q) = -2*q - 9. Let d be v(-8). Let a(o) = 4*o - 2. Is 13 a factor of a(d)?
True
Let u be 8*(-2)/(24/(-33)). Let g = 16 - -19. Let m = g - u. Is 13 a factor of m?
True
Suppose -2*w - 374 = -546. Is w a multiple of 24?
False
Suppose -4*f + 4*q = -1212, 0 = -3*f + q + 585 + 314. Suppose -4*y - f = -4*x - 2, 3*y + 84 = x. Does 69 divide x?
True
Let r(m) = -3*m**3 + 8*m**2 + 17*m. Is 22 a factor of r(-4)?
False
Let g(q) = 4*q**2 + 8*q - 13. Let d be ((-1)/2)/(8/128). Is g(d) a multiple of 23?
False
Let c = 2495 + -1699. Is 4 a factor of c?
True
Let r(j) = -j**3 - 5*j**2 + 9*j + 9. Let v be r(-6). Let q be (-3 - v/3)/(-2). Suppose q*n - n = -36. Does 18 divide n?
True
Suppose 4*i + 5*m - m - 1004 = 0, -3 = -m. Is i a multiple of 13?
False
Let d(j) be the first derivative of -4*j**3/3 + 9*j**2/2 - 2*j - 3. Let z be d(-10). Does 11 divide z/(-14) + 1/(-7)?
False
Let u(b) = -10*b + 7 + b + 3*b + 2*b**2 + 0. Let z be u(6). Suppose 3*k + 5*d - 59 = 0, 2*k = -5*d + z - 2. Does 12 divide k?
False
Let v(z) = -z**2 - 6*z + 17. Let j be v(6). Suppose -13*a = -10*a + 111. Let i = a - j. Does 7 divide i?
False
Let a(h) = 13*h**2 - 9*h - 14. Is a(-8) a multiple of 39?
False
Suppose -10*y + 19*y - 2943 = 0. Is y a multiple of 20?
False
Let g(n) = n**3 - 7*n**2 + 10*n + 6. Let r = 79 + -73. Does 4 divide g(r)?
False
Let n(c) = 4 + 2 - c - 2 - 2. Let j be n(0). Suppose 0 = j*y + 2*y - 128. Is y a multiple of 16?
True
Suppose -56 - 144 = -v + 2*s, 560 = 3*v + 2*s. Is 40 a factor of v?
False
Suppose -2*k - 2*j + 4*j = 12, -2*j + 6 = k. Is 13 a factor of k*((-417)/6 - -3)?
False
Suppose 4*s - 18 =