*o + g*o + 433, 5*v - 569 = -3*o. Is 14 a factor of v?
True
Let m(s) = 4*s**3. Let z be m(1). Suppose 28*w - 506 = 5*w. Suppose -w = z*n - 6*n. Does 11 divide n?
True
Let o(y) be the third derivative of y**6/120 - 5*y**5/12 + 9*y**4/8 - 25*y**3/6 + 31*y**2. Is o(24) a multiple of 21?
False
Let v(u) = u**3 + 8*u**2 - 11*u - 12. Let y be v(-9). Suppose 0 = -3*x + y*x - 789. Suppose -3*o + x = 65. Is 11 a factor of o?
True
Let t(u) = 355*u**3 + 5*u**2 - 16*u - 16. Let p(y) = 71*y**3 + y**2 - 3*y - 3. Let v(j) = -11*p(j) + 2*t(j). Does 31 divide v(-1)?
False
Suppose -103 = -17*s + 1019. Is s a multiple of 11?
True
Suppose -118*g + 640 = -116*g. Is 16 a factor of g?
True
Let a(g) = g**3 - 5*g**2 - 5*g + 3. Let i be a(6). Suppose -2*r + i = r. Suppose 2*c - 39 = -r. Is c a multiple of 6?
True
Suppose 3*y + n - 104 = 0, 4*y - 3*n - 141 = -2*n. Is 4 a factor of y?
False
Let v be 87/(-6) + (-3)/2. Is 16/2*(-3 - v) a multiple of 26?
True
Let w(b) = b**2 + 13*b - 16. Let a be w(-15). Suppose -2*u - a = -h, 5 = u + 3. Is 18 a factor of h?
True
Let n = 5073 - 2673. Is 100 a factor of n?
True
Let d(t) = -t - 9. Let r be d(-10). Does 18 divide (r - 2)/((-9)/810)?
True
Let r = -20 - -17. Let o be r/(3 + 135/(-46)). Let t = -26 - o. Does 5 divide t?
True
Let t(u) = 2*u + 6. Let g be t(6). Let y be g/(2/3*1). Suppose -10*l + 9*l + y = 0. Is l a multiple of 9?
True
Let u be 1 + 75/(-27) + (-2)/9. Let o be 1/3 + 76/(-3). Is 18 a factor of o/(-1*(-1)/u)?
False
Let c be (-9)/4*(12 + 12). Does 18 divide (-1)/6*4*c?
True
Suppose -5*t = -2*t. Suppose i = -t*i - 3. Is 60/2 + (i - -4) a multiple of 11?
False
Suppose 0 = -2*f - 0*f - d + 114, f + d - 56 = 0. Let a = 94 - f. Is a a multiple of 12?
True
Let t be (-9)/(-6)*(2 - -4). Suppose -15 = -12*s + t*s. Suppose -135 = -s*j + 190. Does 22 divide j?
False
Suppose 3*i - 3 = 2*i. Suppose -i*h = 1 - 16. Suppose 3*o = h*t - 44 + 6, t - 3*o = -2. Does 6 divide t?
False
Let a(b) = 99*b. Is 45 a factor of a(5)?
True
Let g = 83 + -49. Let t(v) = -v**2 - 7*v + 4. Let d be t(-5). Let h = d + g. Does 16 divide h?
True
Suppose 2*d - 6*d + 4 = 0. Suppose h = 3*h + 3*l, -3*h - 5*l - d = 0. Is (h/(-4))/((-7)/364) a multiple of 13?
True
Let y(x) = -x**2 + 3. Let z be y(0). Suppose -z*q + 6*q = 9. Suppose 4*h - 350 = -4*b - 130, -q*b + 150 = -2*h. Is 26 a factor of b?
True
Let p = -231 - -652. Suppose -2*f + p = 5*b, 115 = 3*f - 2*b - 469. Does 18 divide f?
True
Let a = 792 + -759. Is 2 a factor of a?
False
Let p(r) = -r**3 + 3*r**2 - r + 6. Let s be p(3). Suppose -3*q + 4*q - 58 = -2*m, q - 63 = s*m. Is 5 a factor of q?
True
Suppose m - 4 = -3*k, 2*m - 8 = -0*k - k. Suppose -d = c + 6, 2*c + 24 = -k*c - 5*d. Let u(b) = -2*b**3 + b**2 - 2*b - 1. Is u(c) a multiple of 23?
True
Suppose 165 + 39 = m. Is ((-1)/3)/((-1)/m) a multiple of 17?
True
Let q = -1468 - -1773. Is 4 a factor of q?
False
Suppose -1 = -4*k + 31. Let x = -41 - -59. Suppose x*p = 19*p - k. Is 2 a factor of p?
True
Let f = -38 - -36. Is (f + 43 - 6/3) + -1 a multiple of 6?
False
Suppose -154*i - 6460 = -159*i. Is i a multiple of 19?
True
Let c = -2638 - -4406. Does 52 divide c?
True
Suppose 56 = -4*w + 4*s, -w = w - 5*s + 19. Let h = w + 21. Suppose 2*u - 2*j - 22 = 0, 3*j = -2*u + h*j + 23. Is u a multiple of 5?
False
Suppose -3*d + 31 = -4*h, 5*h - 62 - 14 = -3*d. Suppose -3*b = -4*s - 1, -s + b - 6*b = -d. Suppose -2*v + 26 = -v + i, -3*v - s*i = -82. Is 16 a factor of v?
False
Let m(o) = o**2 - 4*o + 34. Does 32 divide m(-17)?
False
Suppose -9*a - 2294 = -10304. Does 41 divide a?
False
Let s = -3 + 3. Let x(d) = 20 - d - 1 - 3. Is 16 a factor of x(s)?
True
Suppose -26 = -3*f - t, 0 = -4*f + 5*t - 3*t + 18. Suppose 8 + f = -3*y. Let u = 37 + y. Is u a multiple of 16?
True
Let i(j) = 287*j + 303. Is i(10) a multiple of 51?
False
Suppose 1 = -2*b + 3*b. Is (2/6)/(b/21) a multiple of 4?
False
Let r = -397 + 415. Is r even?
True
Let z(m) = -10*m - 78. Is 4 a factor of z(-17)?
True
Let v(p) = p**3 + 12*p**2 + p + 15. Let m(u) = u**2 + 1. Let j(z) = -4*m(z) + v(z). Let b be j(-8). Suppose 36 = b*d - 36. Is d a multiple of 8?
True
Let i = -112 - -183. Suppose 0 = -7*o + i + 244. Does 8 divide o?
False
Let f = -45 + 48. Let n = 197 + -117. Suppose -f*z + z = -n. Is z a multiple of 20?
True
Let u = -42 + -27. Let p = 132 + u. Does 23 divide p?
False
Let v = 24 + -75. Let u = v - -111. Is u a multiple of 15?
True
Let u(n) = -2*n**2 + 53*n - 55. Is u(22) a multiple of 4?
False
Let y(t) = 4*t - 2. Let z be 3/(2 + (-2)/4). Suppose -10 = -2*d, -2*b - 4*d + z*d + 16 = 0. Does 8 divide y(b)?
False
Suppose o + i - 723 - 223 = 0, 3*o - 5*i = 2854. Is o a multiple of 4?
True
Let s(i) = 13*i - 271. Does 10 divide s(37)?
True
Suppose 3*u - 3*o - 171 = 0, 0 = -4*u - 5*o + 91 + 164. Suppose -f + 96 = -u. Does 13 divide f?
True
Suppose 1237 = -9*t + 6097. Is t a multiple of 27?
True
Let s(r) = -r**3 + 9*r**2 + 13*r - 121. Is 7 a factor of s(7)?
False
Let v(t) = 27*t - 20. Let a be v(4). Is 25 a factor of a + (3 + -3)/1?
False
Suppose -571 = -21*b + 332. Is 4 a factor of b?
False
Let n be (4 - 0) + (-1 - 2). Let j be (n + 4)*(23 - 2). Suppose -3*b - g = -j, 5*g - 39 = -3*b + 54. Is b a multiple of 10?
False
Let v(d) = -3*d**3 - 17*d**2 - 10*d - 20. Does 11 divide v(-8)?
False
Let t = 8 - 11. Let v be (t + 4 + -1)/2. Suppose 0 = -5*b - v*b + 55. Does 7 divide b?
False
Suppose 0*s + 244 = 4*v - 4*s, -2*v - 4*s + 146 = 0. Let d = 93 - v. Is d a multiple of 22?
False
Let p(g) = 0*g**2 + 0*g**2 - 2*g**2 - g + 583 - 516. Does 10 divide p(0)?
False
Let m(s) = 16*s**2 + 5*s + 3. Let g be -2 + (-96)/(-45) + (-47)/15. Is 44 a factor of m(g)?
True
Suppose -35 = -4*r + q - 4, 3*r = 3*q + 21. Let c = r + -14. Let d(w) = w + 12. Is d(c) even?
True
Suppose -11*t - 138 = -237. Is t a multiple of 3?
True
Suppose 0 = 4*b + 14 - 18. Let f be b*(45/(-5) - 2). Does 3 divide (6/4)/(f/(-22))?
True
Let i = -97 + 174. Is i a multiple of 44?
False
Suppose a + 4*a - 840 = 0. Suppose -c - 2*c + 3*j = -a, 4*c - j - 218 = 0. Suppose 3*t - c = -3*x + x, -2*t = -3*x + 94. Is x a multiple of 22?
False
Let l(d) = -d**2 - 6*d + 4. Let u be l(-4). Suppose -8 = -16*z + u*z. Suppose 23 + 21 = z*t. Does 22 divide t?
True
Suppose 3*f = -12*t + 7*t + 9881, 4*t = 4*f + 7892. Is t a multiple of 15?
False
Let r(n) = -2*n**3 - 18*n**2 - 7*n + 24. Is r(-9) even?
False
Let t(u) = -16*u + 5. Let f be t(2). Let p = 49 + f. Does 11 divide p?
True
Is (5 + 4)/(-18)*-2704 a multiple of 4?
True
Let h = 73 - 13. Does 14 divide h?
False
Suppose -5*c + 4*t = 155, -c + 3*t - 90 = 2*c. Is 38 a factor of (511/c + 7)*2*-10?
True
Let q(v) = 8*v**2 + 18*v - 100. Is q(6) a multiple of 16?
False
Suppose 4*t + 1296 = 5*a, 0*a - 528 = -2*a + 4*t. Is 36 a factor of a?
False
Let s be 2/(-6) - (-26)/6. Suppose -2*h = -s*h - 3*b + 549, -4*h + 5*b = -1065. Is 30 a factor of h?
True
Is 14 a factor of 616 - (-9)/((-63)/35)?
False
Suppose 4*u + 0*u - 8 = 0. Let m(l) be the third derivative of l**4/3 + l**3/6 - 51*l**2. Is 7 a factor of m(u)?
False
Suppose 2*h + 674 = 4*c, 2*h = 20*c - 23*c + 516. Is c a multiple of 3?
False
Suppose 2*j = -r + 553, -2*r + 451 + 932 = 5*j. Is j a multiple of 3?
False
Let n(j) be the second derivative of -j**5/20 - j**4/3 + j**2/2 - 6*j. Let f be n(-4). Let t = 16 + f. Is t a multiple of 3?
False
Suppose 17003 = 5*b + 2*v, 0 = -2*v + 5*v + 3. Is b a multiple of 26?
False
Suppose 3*f + 3*o = 33, 4*o = 5*f - 63 - 28. Let b be (-15)/f - 0/2. Does 22 divide (14 + -3)/(b/(-2))?
True
Suppose 2*q = 2*w + 24, -6*w = -2*w + 12. Let r(y) = -y**3 + 11*y**2 - 8*y - 18. Does 12 divide r(q)?
True
Let z(i) = i**2 + 16*i - 97. Does 19 divide z(-30)?
True
Is 18 a factor of 972/45*(-170)/(-4)?
True
Suppose h = -4*h, -558 = 2*n + 3*h. Let j = -157 - n. Does 12 divide j?
False
Let k(x) = -60*x**3 + 3*x**2 - 2*x + 4. Let j be k(-4). Suppose -j = -0*s + 5*s. Is 20 a factor of 2/6 + s/(-36)?
False
Let p be -10*3/(-6) + -3. Suppose -p*v + 2 - 4 = 0, 2*i = -5*v + 451. Does 38 divide i?
True
Let m be 2 - (-3)/(9/3). Suppose m*w = -2*w + 175. Is 9 a factor of w?
False
Suppose 3*k + v - 12 = 0, -7 = -4*k - v + 10. Is (1256/20 + -4)*k a multiple of 42?
True
Let o be (-8)/(-52) + (-2076)/(-26). Suppose r = 3*r - o. Does 5 divide r?
True
Suppose 4*z + 388 = 4*w, 