 Is q(c) a multiple of 8?
True
Let f = 23 - 17. Let q be -2*(154/(-84))/(2/f). Suppose -5*w + 358 = x, -89 = -w + 3*x - q. Does 12 divide w?
True
Is 10 - (-1 + 7) - -1456*37 a multiple of 49?
False
Suppose -156*d - 804024 = -324*d + 150*d. Is 50 a factor of d?
False
Suppose 0 = -32*p + 27*p. Suppose 2*o + 2*j - 405 = -j, 2*j - 2 = p. Is o a multiple of 29?
False
Let a(t) = -90*t**3 + 6*t**2 - 7*t + 4. Let v be a(2). Let o = 1070 + v. Does 26 divide o?
True
Does 12 divide (20/45*-6)/(12/(-34614))?
True
Let u(o) = o**2 - 4*o + 6. Let n be u(5). Suppose 0 = 32*h - 33*h + n. Suppose -h*s = -697 - 271. Is s a multiple of 11?
True
Suppose -4*y + 53921 = -65796 + 26497. Is 40 a factor of y?
False
Is (14412/(-8))/((-3*3/2)/57) a multiple of 14?
False
Suppose 5*d = -5*j + 3*d - 20, 5*j - 2*d + 40 = 0. Let i be (j/(-4) - 1)*(3 + 335). Suppose -c - c + 92 = -4*h, 4*c - 3*h - i = 0. Is c a multiple of 8?
True
Is 16 a factor of (-15)/(-2)*(368060/33)/14?
False
Suppose 4*m = 47*m - 113692. Is m a multiple of 32?
False
Suppose 194*r + 5568 = 198*r. Suppose 3*g + 3*s - r = 162, s = -4*g + 2084. Does 67 divide g?
False
Let x(g) = -604*g - 5. Let r(l) = -299*l - 3. Let k(b) = 13*r(b) - 6*x(b). Is k(-3) a multiple of 26?
True
Suppose 0 = -5*f + 3*x - 129, 5*f - 5*x + 34 = -91. Let c be (f/45)/(2/(-1910)). Suppose -3*g + 382 = -g + 4*w, 0 = 3*g - 5*w - c. Is 32 a factor of g?
False
Let j = -5086 + 7408. Suppose 3288 = 10*l - j. Does 17 divide l?
True
Let q(k) = k**3 - 7*k**2 + 7*k - 1. Let d be q(6). Suppose d*l + 3*y = 708, 4*y = -4*l + 398 + 162. Is 4 a factor of l?
True
Let y = 4684 + -2710. Is y a multiple of 47?
True
Let q be 2/(-7) + 592/112. Suppose a = 4*y - 366, -y + q*y - 358 = -3*a. Is y a multiple of 3?
False
Let h(f) = -528*f**2 - 3*f + 1. Let x be h(1). Let b = -482 - x. Is b a multiple of 2?
True
Let w(i) = -43*i + 10. Let k(n) = -42*n + 10. Let m(l) = -2*k(l) + 3*w(l). Let y be m(1). Let s = y - -185. Is 30 a factor of s?
True
Let d be -1*-3*138/18. Suppose j - 256 = 3*c, 20*j + 4*c = d*j - 758. Is j a multiple of 28?
False
Suppose 2*b - 3 = 1. Suppose -u - 1 = -3*o, o - 11 - 1 = -b*u. Suppose o*c - 4*m = c + 105, 0 = -3*c - 2*m + 357. Is c a multiple of 16?
False
Suppose -3*i + 2*i + 5*y = 26, -16 = -4*i - 4*y. Does 18 divide (-1)/(i - 420/(-426))?
False
Let y = 31 + -31. Let q be y*(0 - -1)/(6 + -5). Is 7 a factor of (-1 - 2) + q + 59?
True
Let j(m) = 4*m + 54*m - 7*m - 39. Is j(14) a multiple of 25?
True
Suppose 26*b + 112*b - 22683 - 28239 = 0. Is 3 a factor of b?
True
Let x(p) = -3*p**3 - 25*p**2 + 67*p + 36. Is x(-20) a multiple of 24?
True
Suppose -3*a - j + 725 = 0, -2*a - 3*j + 965 = 2*a. Suppose c - k = -3*k, 3*c + 3*k = 0. Suppose c = -11*g + a + 627. Is g a multiple of 8?
False
Let z = 76 + -76. Suppose -5*n - t - 2*t = -492, z = t - 4. Does 6 divide n?
True
Is 61 a factor of (-4677057)/(-1008) - (-1)/16?
False
Let t(v) = -v**3 + 12*v**2 - 13*v + 24. Let r be t(11). Suppose 2*o - 1392 = -r*y, -4*y - 5*o + 0*o + 2787 = 0. Suppose -5*h + 57 + y = 0. Does 15 divide h?
True
Let o(m) = 4*m - 36. Let d(n) = 2*n + 16. Let c be d(-5). Let h be o(c). Is -24*(3 + 40/h) a multiple of 5?
False
Suppose 2*k = -2*h + 4, -k = -2*h - 2*h + 18. Suppose -2 = -6*f + h. Does 8 divide f*(-3)/(12/(-316))?
False
Let j = 62 + -244. Suppose 0 = -5*y + 5*t + 1635, 3*t = -7*y + 8*y - 337. Let n = y + j. Is n a multiple of 28?
True
Suppose -h + 12 = -3*h. Let i(q) be the third derivative of q**5/30 + q**4/24 - 25*q**3/6 + 505*q**2. Does 17 divide i(h)?
False
Let u(o) = 24*o - 16. Let b(r) = 13*r**2 + 4*r + 5. Let k be b(-1). Is u(k) a multiple of 64?
True
Let z(b) = b + 14. Let u be z(-14). Suppose 6*j - 163 - 359 = u. Does 3 divide j?
True
Suppose -12 = -2*a, 0 = y - 39*a + 41*a - 1001. Does 23 divide y?
True
Suppose m - p = 5*m - 8350, -2*m + 2*p = -4180. Suppose 35*z = 27*z + m. Does 8 divide z?
False
Let o be 15/13 + 2*2/(-26). Suppose 3*n - 5 - o = 0. Suppose 4*c - 3*c - n*v - 196 = 0, 4*v - 784 = -4*c. Is 27 a factor of c?
False
Let c(t) = 3*t**2 - 7*t - 79. Let f be c(13). Suppose 0 = 29*r - f - 5695. Is 16 a factor of r?
True
Suppose -2*o - 1456 = -2*g, -2*g - o + 424 + 1047 = 0. Let u = g - 317. Is u a multiple of 13?
True
Suppose -h - 3*n = 49, 4*h - 4*n + 210 = -2*n. Let w = h - 32. Is -4 + w/(-3) + 2 a multiple of 13?
True
Is 44 a factor of (7 - (-2649 + -15)) + 13?
True
Let x(f) = -4*f - 21. Let o be x(-6). Suppose 5 = c + 1. Suppose -208 = -4*n - c*h, -o*n = -2*n + 5*h - 36. Does 14 divide n?
True
Let m = -5248 - -5578. Is m a multiple of 17?
False
Let k be ((-3)/(-1))/(8 + -7). Suppose -k*t + 136 = -2*b, t - 4*t - 189 = 3*b. Let x = b - -75. Does 10 divide x?
True
Let q(g) = g**2 + 11*g + 4. Let c be q(-11). Let h(o) = -o**3 + 9*o**2 + 2*o - 2. Let t be h(c). Let k = t - 43. Is k a multiple of 8?
False
Let y(m) = 4*m**2 + m. Let h be y(-1). Let p(i) = 8 - 4 - h*i - i + 45*i**2 + 0*i. Is 22 a factor of p(1)?
False
Let g be ((-40)/(-16))/((-5)/(-4)). Suppose x + 271 = 2*x - g*c, 1044 = 4*x + 2*c. Is 66 a factor of x?
False
Suppose -3*a = -51 - 33. Let n = 40 + a. Suppose -8*o = -196 - n. Does 20 divide o?
False
Is 12 a factor of 9 + (-194125)/(-35) - 20/(-35)?
True
Let a be 132*(-6)/20 + 2/(-5). Let n = 35 + a. Is 11 a factor of (-1048)/n + (-16)/(-40)?
False
Suppose -248 = -9*d + 247. Let k = -50 + d. Suppose y + k*y - 756 = 0. Is 18 a factor of y?
True
Suppose 6*o + 5*n - 4 = 4*o, 3*n + 2 = o. Suppose -322 = -9*z + o*z. Does 11 divide z?
False
Suppose -150 + 40 = -22*a. Let x(o) = -3*o - 1. Let g be x(-2). Suppose -3*h = -a*i + 73, -5*i + 2*i + 71 = g*h. Is i a multiple of 17?
True
Suppose 4*s + 5*m = 595, -3*s + 454 = -2*m - 2*m. Let c be (-255)/(-5)*(-24)/18. Let g = c + s. Is g a multiple of 41?
True
Let u(l) = 72*l**2 - 5*l - 13. Let n(b) = -35*b**2 + 2*b + 6. Let h(k) = -7*n(k) - 3*u(k). Is 52 a factor of h(2)?
False
Suppose 0 = 4*u + v - 103479, 9*v - 6*v - 51737 = -2*u. Is u a multiple of 65?
True
Suppose g - 426 = -5*i, 5*g - g = -2*i + 174. Let o = i + -78. Suppose -468 = -o*b + 4*b. Is b a multiple of 13?
True
Let t(z) = 58*z**2 - 196*z + 2598. Is t(14) a multiple of 19?
False
Let w = 1003 + -430. Suppose 118*o = 115*o + w. Does 20 divide o?
False
Let q = 90 + -39. Let i = 5534 - 11954. Is 7 a factor of (-3 - (-159)/q) + i/(-51)?
True
Let v be (18/(-4))/((627/44)/(-19)). Suppose -6*w + 2*u = -11*w + 1701, 0 = 3*u + v. Is w a multiple of 31?
True
Let w(b) = 4*b + 13. Suppose 4*g = -3*j - 24, -3*j + 5*j + 17 = -3*g. Let m be w(j). Does 5 divide 5/(2/(13 + m))?
True
Is (3 - -1014 - -3) + 5 + -5 a multiple of 6?
True
Suppose -4*m - j - 20 = 2*j, -m + 4*j + 14 = 0. Let r be 4*m/(-3)*3/4. Suppose -k = r, -2*a + 7*k + 146 = 10*k. Is a a multiple of 27?
False
Let k(u) = -u**2 + 18*u + 2. Let n be k(-5). Let j = n - -204. Suppose -5*t = -b + j, 4*t + 96 = 4*b - 3*b. Is b a multiple of 29?
True
Suppose -5*b + 20 = t, -b + 11 = -5*t - 19. Suppose -7*j + b*j - 98 = 0. Does 23 divide (3 + (-10)/2 + 1)*j?
False
Let c = 40 - 31. Suppose 8*v - c*v = 16. Let j(y) = y**3 + 16*y**2 - 3*y - 13. Does 9 divide j(v)?
False
Suppose 9*n - 4*h = 4*n - 58, 0 = 5*n + 2*h + 46. Let f(o) = o**2 + 9*o + 13. Is f(n) even?
False
Suppose 161*d + 125*d = 2791447 + 3958725. Does 326 divide d?
False
Let h(t) = 19*t + 1 - t**3 + 22*t - 46*t - 6*t**2. Let b be h(-5). Let a = b + 173. Is 11 a factor of a?
False
Let l be (-63)/(-7) + (-2 - 2). Suppose l*t = 1 + 9. Suppose 287 = t*s + 31. Does 16 divide s?
True
Let g(d) = -15*d**3 + 19*d**2 - 13*d + 12. Let z be g(11). Does 37 divide (-1 - (-4)/(-2))/(111/z)?
True
Let u = 19295 + -13705. Is u a multiple of 26?
True
Suppose 7*g - 3565 = -933. Suppose 17*d - g = 321. Does 11 divide d?
False
Is -35 - -42 - (-1 + -10187) - -7 a multiple of 29?
False
Suppose -403128 = 580*p - 1175*p + 577*p. Does 110 divide p?
False
Let m(h) = -4*h**3 - 3*h**2 + h - 4. Let d be m(3). Let s = d + 348. Does 7 divide s?
False
Let g(z) = 6*z**2 - 4*z - 1. Let a be (-1 + (-6 - -6))*-1*3. Is g(a) a multiple of 4?
False
Let h(z) = -z**2 - 4*z + 21. Let k be h(-7). Let b(s) = -s**2 + 5*s + 94. Is 6 a factor of b(k)?
False
Suppose 0 = 3*g - 0*g - 954. Suppose 0 = 5*z - 5*h - 270, -h - 72 + g = 5*z. Suppose -z = -4*q - 3*y + 28, q = y + 16. Does 6 divide q?