 -2*a + 844 = -c - 628, 3*a + 4*c - 2208 = 0. Is 32 a factor of a?
True
Let w(t) = 7*t**3 + 5*t**2 + 15*t + 3. Let l(s) = -3*s**3 - 3*s**2 - 7*s - 2. Let x(p) = 5*l(p) + 2*w(p). Let c be x(-4). Is 14 a factor of 14*9/6 - c?
False
Suppose 14*i - 15078 = -3*y + 12*i, -3*y + 15096 = -4*i. Does 15 divide y?
False
Let y = -27 + 31. Suppose y*f = -0*f + 12. Suppose 0 = -i + f*i - 248. Is i a multiple of 31?
True
Let l be (-1)/((-144)/(-28) + -5). Is (-4 + (-10)/(-15))*6*l a multiple of 14?
True
Let g be 8/3*(-45)/(-10). Suppose -g*x = 7*x - 1805. Does 9 divide x?
False
Let m(b) = b**3 - 31*b**2 - b + 39. Let j be m(31). Suppose 0 = 2*y + j*v - 4*v - 152, 3*v = 3*y - 246. Is y a multiple of 4?
True
Suppose 11*s - 491369 = -153031. Does 14 divide s?
True
Let z = 96 - 92. Let v(b) = -19*b**3 + z - 3 + 19*b - 2*b**2 - 21*b. Is v(-2) a multiple of 13?
False
Suppose -2265*u - 2*q = -2267*u + 19524, 6 = 3*q. Does 46 divide u?
False
Let n(t) = 3*t - 24. Let u be n(12). Suppose u*o - 14 = 10. Is 14 a factor of o/3*(15015/10)/7?
False
Suppose 38*a = 7*a - 40*a + 225780. Is 12 a factor of a?
True
Let m(z) = 4*z**2 + 18*z - 7. Let l be m(-5). Suppose -l*v - 42 = -5*p, -5*v = -p + 2 + 2. Is p a multiple of 2?
False
Let u(t) = 14*t**3 + t**2 - 3*t + 4. Let l be u(2). Suppose -p - 235 - l = 0. Let q = 619 + p. Is 45 a factor of q?
True
Is 22 a factor of (-50 - (-6)/1)*-317?
True
Let c = -1113 + 3492. Is c a multiple of 39?
True
Let m(f) = -2*f**2 - 5 + 83*f**3 + 1 - 84*f**3. Let w be m(-3). Suppose -3*z = -w*r + z + 330, 4*z - 228 = -4*r. Is 20 a factor of r?
False
Let w = 26 + -12. Suppose 0 = 8*z - w*z + 12. Suppose -z*q = -198 + 6. Is q a multiple of 11?
False
Let d(m) = -154*m + 289. Does 9 divide d(-38)?
False
Let a = -589 + 585. Does 11 divide -3 - (65/10 + a)*-406?
True
Let n(m) = 240*m + 280. Let f be n(-7). Is -1 + f/(-15) + 1/(-3) a multiple of 8?
False
Let r = 8 + -3. Let k(g) = -14*g + 18*g + 16*g + 40 - 14 - 7*g. Is 21 a factor of k(r)?
False
Let g(y) be the third derivative of -y**5/60 - 13*y**4/24 + 19*y**3/3 + 10*y**2. Let z be g(-16). Is 11133/45 + 4/z + 3 a multiple of 50?
True
Let q = -31 - -18. Let c(j) be the first derivative of 2*j**3/3 + 10*j**2 + 21*j + 1044. Is c(q) a multiple of 11?
True
Let k(o) = -11*o + 15. Let c be k(1). Suppose c*j - 470 = 2*t, 5*t - 505 = -5*j + j. Does 10 divide j?
True
Let n(g) = -2*g**3 - 11*g**2 + 94*g - 68. Is 17 a factor of n(-15)?
False
Let m(i) = 1033 - 871 + 2*i**2 + 2*i**2. Does 3 divide m(0)?
True
Let v be (541/(-3))/((-4)/6)*2. Let f = -342 - -346. Suppose -3*g - 4*r + v = 130, -579 = -f*g + 5*r. Is 11 a factor of g?
False
Is 5 a factor of 4/1*4468/48*(-2 - -5)?
False
Suppose -5*z = 5*y - z + 25, -5*z - 20 = 5*y. Let r = -90 + 28. Let c = y - r. Does 11 divide c?
False
Let x(c) = -c**2 + 48*c - 29. Let t be x(34). Let a = t + -242. Is a a multiple of 7?
False
Let g(b) = -b**3 - b**2 + b + 1. Let h(o) = -4*o**3 - o**2 + 4*o + 9. Let a(c) = 3*g(c) - h(c). Let m be a(3). Suppose m*v = 3*v - 288. Is v a multiple of 16?
True
Suppose 8 = n - 0*n. Let k(j) = 11*j**3 + 16*j**2 + 7*j + 8. Let u(t) = 2*t**3 + t**2 + t. Let d(g) = k(g) - 6*u(g). Does 24 divide d(n)?
True
Let t = -56 + 341. Suppose t = 5*q - 255. Is q a multiple of 21?
False
Let b be (-2)/6*12/(-16)*16. Suppose 5*j - 3*u - 32 = 0, 0 = -2*j + 5*j + b*u + 4. Suppose x - 26 = 3*y, -j*x + 2*x + 46 = -3*y. Is 2 a factor of x?
True
Let n(i) = -i**2 + i + 18. Let z be n(6). Let t be ((-4)/6)/(-1) + (-4)/z. Is 17 a factor of (-3 + t - 1) + (202 - -5)?
True
Let q = -168 - -276. Let k be (15/(-33) - 108/198)/((-5)/(-295)). Let s = q + k. Does 7 divide s?
True
Let k(v) = -29*v**2 + 39*v. Let l be k(-3). Let n = 898 + l. Is 10 a factor of n?
True
Let y(m) = -m**2 - 6*m + 22. Let g be 12*(25/20)/1. Suppose -3*r = s + 19, 2*s + s = -3*r - g. Does 8 divide y(r)?
False
Let r(n) = 1480*n - 1845. Is 165 a factor of r(27)?
True
Suppose 5072 = -16*t + 20*t. Suppose 2*q + 126 = 2*d + 634, 5*q - 4*d - t = 0. Does 9 divide q?
True
Let f be 8/(-1) + (77 - 61). Let b(a) = 4*a**2 + 2*a + 16. Is b(f) a multiple of 9?
True
Suppose 188*y - 183*y + 2*s = 23, -4*s = -16. Let h = -38 + 67. Suppose -y*k = 4*c - 93, k = 2*k + 2*c - h. Does 3 divide k?
False
Let p = -72 - -43. Let z = p + 32. Suppose z*g = -0*x + x + 423, 4*g - 564 = -x. Is 9 a factor of g?
False
Suppose -9*d = 3 - 30. Suppose 74 = 3*c - b, 2*c + 0*c - d*b = 61. Does 2 divide c?
False
Let o(s) = -108*s + 8264. Is 27 a factor of o(10)?
False
Is 805*((-74)/(-10) - -4) a multiple of 69?
True
Suppose -15*x = -172 + 127. Suppose 2*g + o = 43 + 15, 0 = -2*g - x*o + 50. Is g even?
False
Suppose 3*d + 3*h = 99, 3*d - h - 3*h - 106 = 0. Let s = d - 22. Suppose -s*c + 666 = -3*c. Does 37 divide c?
True
Let m = 86 - 79. Suppose -m = 40*h - 41*h. Let w = h - -20. Does 27 divide w?
True
Let t(d) = -8*d + 209. Let y be t(26). Is -43*(-1)/(-2)*-32*y a multiple of 18?
False
Let k(o) be the second derivative of -o**5/20 - 7*o**4/12 + 5*o**3/6 - 5*o**2/2 + o. Let r be k(-8). Suppose 378 = -r*m + 22*m. Is m a multiple of 14?
True
Let g(z) = z**2 + 3*z - 44. Let w be g(-9). Let h(p) = 83*p - 142. Is h(w) a multiple of 43?
True
Suppose 5*l + 5 = 0, 13*c - 4*l + 1312 = 14*c. Suppose -20*w + c = 8*w. Is 11 a factor of w?
False
Let z(v) = 255*v**2 + 3*v + 4. Suppose o + 0 = -2*f + 7, o = 4*f - 17. Is 4 a factor of z(o)?
True
Let h(x) be the second derivative of x**3/3 + 10*x**2 - 18*x. Let n be h(-4). Suppose -4*m + 48 = m + q, -m + q = -n. Is 7 a factor of m?
False
Let w = 200 - 201. Is ((-100)/(-14))/(w/(-7)) a multiple of 10?
True
Let r be 2/10 + -3 + 124/5. Suppose 4*x = -0*m + m + 18, -3*m - 4*x - r = 0. Is 19 a factor of 36/60 - 754/m?
True
Let t be 4/16*(10 - 2) + 2524. Suppose b - 1275 = -b + 5*f, t = 4*b - 2*f. Is 21 a factor of b?
True
Suppose -46*g = -1000048 - 87723 + 245971. Is 25 a factor of g?
True
Suppose 5*h = 25, -1 = -c - h + 7. Suppose 3*l - k = 8*l - 40, -15 = -c*k. Suppose -l*o + 207 = -87. Does 6 divide o?
True
Let d(z) = z**3 - 2*z**2 + 2*z. Let x be d(2). Suppose -5*m + 2*y = -1756, -x*m - 4*y = -7*y - 1402. Does 22 divide m?
True
Let t = -13 - -14. Let s(h) = 17*h**2 + h. Let v be s(t). Let q = v + 7. Is q a multiple of 14?
False
Suppose 0 = -3*u + 2*u - 3, -3*u = -3*w - 642. Let o = -28 - w. Suppose 8*m = -m + o. Is 2 a factor of m?
False
Let m(q) = q**2 + 33*q + 84. Let l be m(-30). Is 22*l/((-48)/40) a multiple of 10?
True
Let q be -3*6/9*28/8. Let o(w) = 2*w**2 + 9*w + 5. Is 10 a factor of o(q)?
True
Let l be (29/2)/(7/(-70)). Suppose 18 = 4*h + 3*s, -4 = -2*h + 3*s - 2*s. Does 38 divide l/(2/(h + -5))?
False
Let i = -2048 - -4808. Does 8 divide i?
True
Let o = 69 - 93. Let k be (210/o + 5)*-24. Let c = k + 166. Is 16 a factor of c?
True
Let b(y) = y**2 + 31*y + 14. Let g be b(-31). Does 33 divide (-4)/g*14938/(-11)?
False
Let w be (-7)/231*6 - (-70)/22. Suppose 0 = 4*d - l - 3, -2*d - 13 = -d - w*l. Suppose 0*r + 3*m - 318 = -2*r, d*r - 318 = -5*m. Does 36 divide r?
False
Let b = 4 - 25. Is (-2406)/b + (-9)/(-21) a multiple of 23?
True
Suppose -108 = 5*g + g. Let o be (-22)/(-99) - (-22)/g. Is (4 + o)/((-45)/(-3030)) a multiple of 18?
False
Suppose -5652*a + 5678*a = 227032. Does 59 divide a?
True
Let g(w) = 280*w - 569. Is g(20) a multiple of 39?
True
Let z = -330 - -672. Suppose 3*a = -0*d - 3*d + z, -454 = -4*a - 3*d. Is 16 a factor of a?
True
Let f(b) = 2*b**3 + 142*b**2 - 314*b + 92. Is 91 a factor of f(-71)?
True
Let j = 28 - 26. Suppose 5*f + j*f - 252 = 0. Suppose -f = -2*i - 5*h + 100, 0 = 2*h - 8. Is 16 a factor of i?
False
Let z = 433 - 373. Let c = z + 311. Is 38 a factor of c?
False
Let u(q) = 7*q + 150. Let d be u(-22). Does 34 divide (7 - d)*183 - 7?
True
Let s(o) = -o**3 + 12*o**2 + 6*o - 19. Let m(w) = 2*w**2 - 5*w - 1. Let i be m(4). Let z be s(i). Suppose 2*n = 6*n - z. Is n a multiple of 11?
False
Let p be 11 - ((-9)/(-18))/(2/(-16)). Suppose 6*b - p - 1233 = 0. Is 16 a factor of b?
True
Suppose 8*j - 908 = -924. Is (((-1530)/12)/17)/(j/36) a multiple of 5?
True
Let n(y) = -26*y - 7. Let w = 55 + -60. Let t be n(w). Suppose -417 + t = -3*v. Is v a multiple of 14?
True
Let g be (-5)/2*(-65906)/155. Let v = 1678 - g. Is v a multiple of 41?
True
Let z be (-6 + 7)*50/(-2). Let x be (118/14