5396. Is c(44) a multiple of 98?
False
Let d(i) = 854*i - 5912. Is 32 a factor of d(36)?
True
Suppose 67*f = -29*f - 9063 + 145863. Does 10 divide f?
False
Suppose 169*r - 489257 - 1022617 = 0. Does 62 divide r?
False
Suppose j + 596 = -3*d - 781, -4*d = j + 1837. Let o = d + 471. Is 3 a factor of o?
False
Let b(v) = 2*v**3 - 9*v**2 + v - 25. Let u be b(5). Is u/15*(-1)/(3/(-2826)) a multiple of 33?
False
Let o = -164 + 164. Suppose -3*b + 12*t - 14*t + 158 = o, -5*b + 258 = -2*t. Does 13 divide b?
True
Let a(v) be the third derivative of -1/3*v**4 - 10*v**2 + 0 + 1/120*v**6 + 0*v + 5/3*v**3 + 0*v**5. Does 15 divide a(5)?
False
Is (-5656)/(((-99)/(-396))/(-1 - 0)) a multiple of 101?
True
Let x(h) = 2*h + 46. Let u be x(-16). Let s(z) = z + 5*z + 6 + 4 + u. Is 30 a factor of s(11)?
True
Let s = 13 - 11. Suppose -x - x + 10 = s*q, -2*q = -6. Suppose 2*b = 2*o - 0*b - 178, 4*o + x*b - 344 = 0. Does 29 divide o?
True
Let u(i) = 52*i**3 - i**2 + i. Let g be u(1). Suppose 0 = g*p - 50*p - 10. Suppose -p*d - 605 = -5*w, -4*w + 3*w = 4*d - 121. Is 11 a factor of w?
True
Let k(b) = -112*b + 3584. Let m be k(32). Suppose -3*g + 768 = g. Suppose m = -12*f + 4*f + g. Does 8 divide f?
True
Suppose 0 = 7*z - 4*z - 6. Suppose g + 5 = 3*h, -5*g + 14 + 0 = -z*h. Suppose 202 = y + 4*a, -g*y - a + 551 = -y. Is 14 a factor of y?
True
Let n = 31 - 31. Suppose n = 3*t + t + 52. Let r = t - -25. Does 4 divide r?
True
Is 26138 + ((-2)/(-2))/((-81)/18 - -4) a multiple of 44?
True
Suppose 230 - 672 = -q. Is 13 a factor of q?
True
Suppose 3*z + 20*n + 477 = 15*n, 0 = -3*n. Suppose 5*p = y + p + 105, -4*p - 340 = 4*y. Let x = y - z. Does 18 divide x?
False
Let u be 0/(0/(-2) - 2). Let t(l) = -5*l**3 + 56 - 22318*l + 4*l**3 + 22319*l. Is 7 a factor of t(u)?
True
Let u be 6/8 + 170/40. Suppose -j = u*j - 180. Does 10 divide j?
True
Let t be (-1)/(12/88*(-20)/30). Suppose -7*j + 1170 = 2*f - t*j, -4*f = 2*j - 2380. Is 14 a factor of f?
False
Suppose -4*b + 5*q = -12847, q = 7*b - 11*b + 12853. Is 21 a factor of 15/3*b/45?
True
Let b be (2 - (-51)/3)*(-4)/(-4). Is -1 - ((5 - 0) + (-2318)/b) a multiple of 29?
True
Let v = -47 + 52. Suppose 0 = -4*u - 5*f + 88 + 1735, -v*f - 2335 = -5*u. Is 29 a factor of u?
False
Let s(u) = -238*u - 700. Does 190 divide s(-165)?
True
Suppose 36 = -o + 4*k, 3*o + 26*k - 28*k = -158. Let l = o + 122. Is 6 a factor of l?
True
Let s(t) be the first derivative of 7*t**6/24 + t**5/40 - 16*t**3/3 - 8. Let v(p) be the third derivative of s(p). Does 12 divide v(1)?
True
Let p = 1173 - 668. Let f = 911 - p. Suppose 3*y = 5*y - 3*k - f, 4*k - 792 = -4*y. Is y a multiple of 20?
True
Let p be (3 + -2)*-3 - -15. Suppose 3*i = 4*z + z - 16, z - 5*i = p. Is ((-1)/z - 0)/(11/(-990)) a multiple of 3?
True
Let u be (-516)/84 - 3/(-21). Is 22 a factor of (0 - u) + (-496)/(-1)?
False
Let y(p) = 5*p**2 + p + 4. Let d be y(2). Suppose -u + 36 = d. Is 5 a factor of u?
True
Suppose 54*h - 576 = 46*h. Is 6 a factor of (h - -208) + -2 + 1 + 0?
False
Let m = 26 + -21. Suppose 0 = 7*k + m + 9. Does 6 divide (k + (-36)/(-15))*145?
False
Let l(t) = -2*t + 12. Let q be l(12). Let a be (1 + -1)/(q/12). Suppose -6*b + 0*b + 60 = a. Is b a multiple of 3?
False
Let o be 6/(-4)*((-640)/24 - -6). Suppose o*s = 36*s - 570. Suppose 5*w + 3*h = 6*h + 126, 3*h - s = -5*w. Is 8 a factor of w?
True
Is 34616/(-16)*(6 + -8 + 0) even?
False
Suppose 2*a - 739 = 2*s + 403, -4*a + 2*s + 2278 = 0. Let b = a + 117. Is 84 a factor of b?
False
Suppose 702 = 11*o - 9*o - 4*b, 5*o + b - 1810 = 0. Let w = -143 + o. Is w a multiple of 17?
False
Let y be -1 + 2 - (-1 - -2). Suppose 5*m - 942 + 332 = y. Suppose -w = -3*t + m, 3 = w - 1. Does 34 divide t?
False
Let b(p) be the third derivative of p**5/60 + p**4/12 - 17*p**3/6 - 48*p**2 - 2. Let n(t) = -t**3 - 5*t**2 - 3*t - 3. Let r be n(-4). Does 6 divide b(r)?
True
Let g = 9103 + -8784. Does 3 divide g?
False
Let z(y) = -y**3 + y**2 + 2*y + 30. Suppose -2*g + 3*g = 2. Let u be 0*(-3)/(-12)*g. Does 10 divide z(u)?
True
Suppose -4*a + 2*z = -0*a + 44, 0 = -4*a - 4*z - 56. Let j be (-1238)/(-16) + (-12)/32. Let s = j + a. Does 16 divide s?
False
Is 109 a factor of ((-85674)/917)/(10/(-3815))?
True
Let x(p) = -10*p + 44. Let t be x(4). Suppose 5 = -t*r - 7, -3*r = z + 11. Does 4 divide 72 + (z + 0 - 6/(-1))?
True
Let k(z) = 3*z**3 + 20*z**2 - 72*z - 39. Does 129 divide k(15)?
False
Suppose 0 = 2*u - 5*j - 149308, 3*u + 13*j = 11*j + 224000. Is 68 a factor of u?
True
Let g(w) be the first derivative of -2*w**3/3 + 15*w**2 + 7*w + 63. Does 17 divide g(9)?
False
Let c be ((-38)/(-9))/((-115)/1035). Let i(r) = 2*r**3 - 5*r - 2. Let s be i(-4). Let f = c - s. Is f a multiple of 9?
True
Suppose -4*n = -3*k + 130, 236 = 5*k + 6*n - 3*n. Suppose 364 = -4*l + 8*l. Let o = l - k. Does 9 divide o?
True
Let l(r) = 28*r + 39*r - 6*r + 6. Suppose 24*i = 41*i - 51. Does 9 divide l(i)?
True
Let h = 1634 + -795. Is 78 a factor of h?
False
Let a(n) = 4*n**2 - 9*n + 9. Let h be 4 + (10/15)/((-6)/9). Let l(t) = -5*t**2 + 9*t - 8. Let s(z) = h*l(z) + 4*a(z). Does 2 divide s(8)?
True
Suppose 469516 - 133900 = 38*c. Does 64 divide c?
True
Let n = 5297 - 3920. Is n a multiple of 12?
False
Is (230/(-20) + 4)*-1022 a multiple of 66?
False
Let w be (-2)/(2 - (5 - 1)). Suppose -j + 11 - w = -4*i, 2 = -j. Is (i + ((-860)/(-8) - 1))*2 a multiple of 31?
False
Let v(a) be the third derivative of -a**5/60 + 7*a**4/12 - 17*a**3/6 - 9*a**2. Let x be v(12). Let p(l) = 2*l + 2. Is p(x) a multiple of 5?
False
Let b(j) be the second derivative of -11*j**3/2 - 9*j**2 + 3*j + 3. Is 18 a factor of b(-12)?
True
Suppose 0*p = 3*p - 573. Suppose -2*o - 23*o - 220 = -80*o. Suppose o*k + 4*w - 69 = 3*k, 3*k - 4*w = p. Is 9 a factor of k?
False
Suppose 83*x - 559676 = 455497. Is 27 a factor of x?
True
Let q(c) = -11*c**3 + c**2 + 3*c + 2. Let b be q(-1). Suppose 4*r + 2254 = b*r. Is r a multiple of 29?
False
Suppose 0 = -n - 19 - 53. Is 9/n - (-3145)/8 a multiple of 51?
False
Let d be 1/4 + (-3)/12. Suppose 1586 = 58*m - 45*m. Is m + -1 + d + -1 a multiple of 30?
True
Let z(y) = -y + 7. Let d be z(-17). Is 19 a factor of ((-40)/2)/((-12)/d)?
False
Suppose 0 = 4*n - 27*n - 103*n + 1697346. Is n a multiple of 23?
False
Let f = -10831 - -11341. Is f a multiple of 34?
True
Suppose -157*f - 4 = -158*f. Suppose 527 = 6*l - 5*l - z, -z = -f*l + 2093. Is 6 a factor of l?
True
Suppose 0*n = 5*n - 25. Let c be -1 - (-4 - (1 - n)). Let t(d) = d + 4. Does 3 divide t(c)?
True
Suppose -29*l - 15 = -32*l. Suppose -4704 = -l*t + 3*x - 1132, -5*x - 3570 = -5*t. Is t a multiple of 13?
True
Is 53 a factor of (70486913/(-102))/(-41) - (-5)/(-6)?
True
Suppose 29*r = -2*k + 26*r + 6433, -3*k - 3*r + 9645 = 0. Is k a multiple of 73?
True
Let y = -63 - -98. Suppose h = -2*u + 15, 2 = -5*u - 4*h + y. Suppose -12 = -10*c + u*c. Does 2 divide c?
True
Let v(w) = 181*w**3 + 3*w**2 - 8*w + 8. Does 6 divide v(2)?
True
Suppose -3*w + 1775*g + 24461 = 1773*g, 2*g - 4 = 0. Does 16 divide w?
False
Let y be (-3 - -2)/(12/60). Suppose -113 = 4*x - 5*g, 0 = 5*g - 2*g - 15. Let j = y - x. Is 4 a factor of j?
False
Let h = 259 - 256. Suppose -p + 6*p + 3*u = 904, u - 544 = -h*p. Does 7 divide p?
True
Let d be (-2118)/(-5) - ((-144)/(-40) + -3). Let o = 597 - d. Does 5 divide o?
False
Suppose 20*v + 6*v - 9204 = 0. Let y = v + -82. Is 17 a factor of y?
True
Let k(j) = -3 + 1 + 15*j + 4 + 2. Let c be k(-4). Is ((-162)/(-8))/((-14)/c) a multiple of 8?
False
Let q be (258/10)/(((-45)/(-9))/(-25)). Let g = 34 - q. Is g a multiple of 29?
False
Suppose -5*m = 5*t - 546 + 116, -5*m + 394 = -4*t. Let l = 1462 + -1282. Let o = l - m. Is o a multiple of 10?
False
Let z(k) = k**2 - 13*k + 2. Let v be z(13). Let y = 1 - -1. Suppose -7*t + v*t - 244 = -y*h, 2*h - 244 = -3*t. Is h a multiple of 13?
False
Let y be -21*(-4 - 22/(-6)). Let l = 180 - y. Does 10 divide l?
False
Suppose -1198 - 6159 = -15*x + 5558. Does 27 divide x?
False
Suppose -4*a = 3144 - 3984. Is a a multiple of 5?
True
Suppose -3*k + 5*i + 6 = -10, 4*k + 2*i = 30. Let f(a) = -4*a + 56*a**2 + 2*a - 62*a**2 + a**3 - 11. Is f(k) a multiple of 12?
True
Suppose 2*t = 256 + 128. Let n = t + -117. Suppose 219 = 4*j + n. Is j a multiple of 7?
False
Suppose -192 + 21 = -9*y. Suppose 28*i = y