 280, b*q + 0*q = -3*w + 196. Is w a multiple of 6?
True
Let a = 69800 - 21388. Is a a multiple of 247?
True
Suppose -13*i + 17*i - 2004 = 0. Suppose -30*b - i = -33*b. Let j = -54 + b. Is j a multiple of 9?
False
Let j(s) = 11*s**3 - 167*s**2 - 20*s + 20. Is j(17) a multiple of 182?
True
Suppose -16 = -4*y, -3*b + 3*y = -9 + 63. Does 65 divide 1*372 - (b + 12)?
False
Suppose 2*m - 179 = -2*n + 5131, -n + 7977 = 3*m. Does 18 divide m?
False
Suppose 2*r + 3*r - 931 = 2*k, -4*k = -r + 179. Let p = r - 115. Is p a multiple of 23?
False
Let t(n) be the third derivative of n**6/8 - n**5/20 + n**4/24 + 3*n**3/2 + 184*n**2. Is 26 a factor of t(3)?
True
Let s(j) = -102*j - 1887. Does 29 divide s(-33)?
True
Let h(o) = 6 - 37*o**2 + 11*o**2 - 55*o + 3*o - o**3. Let z be h(-24). Does 13 divide z/(-30) + 4 + (-827)/(-5)?
False
Let g(j) = -2*j + 40. Let m be g(-17). Let i = -109 + m. Is 3 a factor of (i + (-5)/(-5))*(-1 + 0)?
False
Suppose -489860 = -15*o - 176525. Is 15 a factor of o?
False
Is 4*-7*168/(-21)*(-375)/(-6) a multiple of 125?
True
Let b = 406 - 401. Suppose 0 = 4*c - c + 4*o - 2098, b*o + 2818 = 4*c. Is c a multiple of 27?
True
Let l = 110 + 594. Let o = 134 + l. Does 12 divide o?
False
Suppose -m + 5 = 2*o - 0, -3*o - 12 = -5*m. Suppose m*l = -l + 24. Does 13 divide ((-195)/(-10) - 0)*l?
True
Suppose -3*t + 2816 = 13*t. Suppose -124*f = -123*f - t. Is 44 a factor of f?
True
Let o be (-4)/(9/((-81)/6)). Suppose o*y - 3157 = -241. Is y a multiple of 27?
True
Let p(s) = 77*s**3 + 3*s**2 - 4*s + 3. Does 7 divide p(2)?
True
Suppose -10*s - 1780 = 1710. Let g = -9 - s. Is 17 a factor of g?
True
Suppose 2*k + 9 = 2*r - 3, -k - 14 = -5*r. Is 17 a factor of (21/r)/((-33)/(-1804))?
False
Suppose 2*l - 14402 = 2*v, 4*v - 101020 = -11*l - 21734. Is l a multiple of 19?
False
Suppose 22*f - 15*f = 35. Suppose 10*k = f*k - 4*y + 1785, 0 = -4*k - y + 1439. Is k a multiple of 17?
False
Suppose -6 = 3*v - 2*w - 19, -12 = 3*v + 3*w. Let h be 2*v/(-4)*-10. Suppose 2*a - 45 + h = o, 20 = a - o. Is 8 a factor of a?
False
Let y(q) = -5*q**3 + 2*q**2 + 2*q + 1. Let a be y(-1). Let z be a - (-3 - -4) - 2. Suppose 3*u + 571 = 3*k - u, 0 = -z*u + 6. Does 35 divide k?
False
Suppose -47*g - 40*g = -91*g + 10632. Is 5 a factor of g?
False
Suppose 0 = 4*c + 13*m - 12*m + 203, -c + m - 57 = 0. Let n = 17 + -44. Let x = n - c. Is x a multiple of 8?
False
Suppose 81154 + 44741 = 21*x. Suppose 21*c = x + 1061. Is c a multiple of 28?
True
Let u(m) = 22*m**2 + 6*m + 225. Is u(-8) a multiple of 36?
False
Suppose -2*a - 6*s + 3*s + 35 = 0, 3*s = 2*a - 5. Suppose 0*m - 15 = -m + 4*l, -2*m + 3*l + a = 0. Is 1*(m + 2 + 3) even?
True
Suppose -67 = -5*y - 3*h, -3*y + 2*h + 10 = -15. Suppose -1205 = -y*p + 467. Is 19 a factor of p?
True
Let a(x) = 11*x**2 - 16*x - 44. Does 23 divide a(-76)?
False
Let b(q) = 13*q**2 - 6. Let n be b(2). Suppose -249 = -5*c - 4*x, 2*c = -3*x + 55 + n. Let j = 114 - c. Is 43 a factor of j?
False
Let g be (126/(-10))/(-9) - (-3)/5. Suppose g*w - 4*w = -r + 178, 3*r = 4*w + 530. Suppose 0 = -f - 4, r = 2*m + f + 46. Is 11 a factor of m?
True
Let y(q) = q**2 - 4*q - 4. Let p be y(4). Let l(x) = -x**3 - 3*x**2 - 24*x + 3. Is 47 a factor of l(p)?
False
Let f(i) = -i**3 - 10*i**2 + 9*i - 11. Let d be f(-11). Suppose d*c = 9*c + 178. Suppose -5*o + 259 = z, -z = 3*o - 66 - c. Does 12 divide o?
False
Let d = 40 - -44. Suppose 0 = -b - 2*b + 6, -5*b = 2*i - d. Is i a multiple of 14?
False
Let r = 800 - 804. Is 13 a factor of ((760/(-15))/4)/(r/282)?
False
Let u(h) = -h**3 - 4*h**2 + 5*h - 19. Let p(r) = 13*r + 57. Let v be p(-5). Is 5 a factor of u(v)?
False
Suppose -29*c + 77*c - 686081 = -49*c. Is c a multiple of 13?
False
Let k(g) = g**3 + 19*g**2 + 32*g - 57. Let s be k(-17). Let t(b) = b**2 + 11*b - 99. Is t(s) a multiple of 30?
False
Let a(u) = 33*u + 660. Is 7 a factor of a(147)?
False
Is 5/(-7*70/(-1621116)) a multiple of 6?
True
Let r = 76 - 76. Let y = 28 + -26. Suppose -y*n + r = -32. Is n a multiple of 16?
True
Suppose -2*n = 2*g - 65706, 30*n = 33*n - 4*g - 98531. Is 23 a factor of n?
False
Let x(a) = a**3 + 15*a**2 - 45*a - 228. Is x(-14) a multiple of 23?
True
Suppose 0 = 5*s - 40*s. Suppose 4*g - 7*g + 96 = s. Does 16 divide g?
True
Let c = -1289 - -351. Let i = c + 1490. Is i a multiple of 12?
True
Let q(a) = 10 + 2*a**3 + 11*a**2 - 10 + 2*a**2 + a. Is q(-6) a multiple of 10?
True
Suppose -g = -2*c - 6*g + 5926, 0 = -4*c - 3*g + 11838. Does 58 divide c?
True
Let s(r) = r - 6. Let f be s(6). Suppose 2*u = -4*p - p + 20, f = 5*u - 2*p + 8. Suppose -4*q + 54 - 250 = -2*b, -5*b + 2*q + 450 = u. Is b a multiple of 17?
False
Suppose -137*r + 1661040 = -1068822. Does 162 divide r?
True
Let k(r) = 4*r**3 + 3*r**2 - r + 38. Let d be k(-8). Let h = -891 - d. Does 55 divide h?
False
Let c = 6 - -2. Suppose -c*v + 915 = -53. Suppose -v = -o - 16. Is o a multiple of 14?
False
Let s = -1708 - -1508. Let r = -94 - -32. Let n = r - s. Does 6 divide n?
True
Let a(z) = -9*z + 39. Let p(d) = 10*d - 39. Let v(k) = 7*a(k) + 6*p(k). Let s be v(6). Is 4 a factor of s*1/(-2)*-4?
False
Suppose -30*u + 245841 + 730308 = 155709. Does 258 divide u?
True
Let v = 19 + -13. Let k(t) = 18*t + 1. Does 22 divide k(v)?
False
Suppose -521*l + 262*l + 324*l = 2790580. Is 11 a factor of l?
False
Let a = 4732 - 2326. Is 2 a factor of a?
True
Suppose -3*s + 2*x = -17396, -120*x + 28976 = 5*s - 119*x. Is s a multiple of 46?
True
Let w = 836 - 1473. Let x = 188 - w. Is x a multiple of 25?
True
Let h(y) = -y**3 - 26*y**2 - 21*y + 109. Let f be h(-25). Suppose -4*u = 3*k - 755, 0 = 2*k - f*u + 6*u - 475. Is k a multiple of 33?
False
Suppose -4*f = f + 1400. Let z be ((-5)/(75/(-54)))/((-12)/f). Let p = 132 - z. Is 6 a factor of p?
True
Suppose -5*v = 3*f - 171542, -47*f + v = -50*f + 171562. Does 33 divide f?
True
Let h = 856 + -346. Let s = 361 - h. Let j = s - -245. Does 16 divide j?
True
Let s(l) = 3*l**3 - 2*l**2 + 2*l + 2. Let v be s(1). Let f(x) = 7*x**3 - 2*x**2 - 31*x + 5. Is 4 a factor of f(v)?
False
Let x be 12 - (-24)/(-4) - -480. Suppose -x = -3*h + 3*s, -3*h - s + 435 = -71. Does 21 divide h?
False
Is 0 + (-3)/4 + 5720836/368 + -5 a multiple of 37?
True
Let l(j) = j**3 - 11*j**2 + 13*j - 15. Let m = -96 - -106. Let c be l(m). Suppose c*u - 8*u - 336 = 0. Does 2 divide u?
True
Let i be 224/(-12)*(-3)/(-2). Let h = 148 + i. Does 30 divide h?
True
Suppose u + 21 = 8*u. Suppose -2*t + 5*t - 5*c - 800 = 0, c + 820 = u*t. Is t a multiple of 11?
True
Let l = 603 - 35. Is 34 a factor of l?
False
Let d be (-7 + 13)*(-2)/(-4) - 108. Let x = 102 + d. Does 16 divide x + 2 + 3 + 24?
False
Let d(c) = 10505*c**2 - 7*c + 6. Does 30 divide d(1)?
False
Let t(c) = -103*c - 4. Let w be t(-1). Let g = 99 - w. Suppose 2*z = -h + 58, 2*h = -g*h + z + 91. Is 48 a factor of h?
True
Let f be 60/(-18)*72/(-15). Let j(w) = 24*w - 47. Does 49 divide j(f)?
False
Let w(y) be the third derivative of 0 - 1/3*y**3 + 5/12*y**4 + 0*y + 8*y**2. Is 7 a factor of w(4)?
False
Let f(v) = -10*v**2 + 524*v + 85. Does 18 divide f(45)?
False
Suppose -2*p = -9*p + 21986 + 9843. Is p a multiple of 127?
False
Let b(t) = -2*t**3 + 73*t**2 - 44*t + 94. Does 35 divide b(33)?
True
Is ((-171)/(-76)*-5)/(12/(-22432)) a multiple of 16?
False
Let w = 165 - -1645. Suppose -578*v + 576*v = -w. Is 18 a factor of v?
False
Let u = 95997 - 27389. Is 14 a factor of u?
False
Let m = -11372 - -23959. Does 18 divide m?
False
Suppose 3 + 5 = 2*q. Suppose 3*u - 453 + 399 = 0. Is (-9)/u + 138/q a multiple of 15?
False
Suppose 0 = -8*h - 5696 + 871 + 65953. Is 45 a factor of h?
False
Let n = 29 + -25. Let m(s) = n*s + 4*s - 4*s - 31. Is m(15) a multiple of 22?
False
Suppose 585414 = -5810*g + 5847*g. Does 11 divide g?
False
Let h(i) = -224*i + 84. Let a be 3/(-15) + (-399)/105. Does 21 divide h(a)?
False
Is (-8)/24*-27 + 6103 a multiple of 32?
True
Suppose -35*z + 8*z + 1242 = 0. Is -32*(-7)/28*z a multiple of 8?
True
Let w(p) = -1322*p + 788. Is 12 a factor of w(-20)?
True
Suppose 352*j = -3*o + 356*j + 16119, 2*o - 10753 = 5*j. Is 11 a factor of o?
False
Let r = 19127 - 14127. Is r a multiple of 40?
True
Let f(u) = -u**3 + 3*u**2 - 3*u + 5. Let r be f(2). Let z be (-36)/24*((-56)/r + -2). Suppose 108 = 5*o + w, 3*w - z - 20 = -2*o. Does 7 d