80869. Is r a multiple of 13?
False
Suppose 6*j - 6794 = -44876. Is -5 + j/(-9) + (-28)/126 a multiple of 14?
True
Let d(w) = 6*w - 41. Let b be d(7). Is 10 a factor of (-24)/108 + (b - 2243/(-9))?
True
Suppose 641*k - 637*k = 0. Let i(s) = -6*s**2 + 2*s + 171. Does 9 divide i(k)?
True
Let g = 31110 - 16914. Does 46 divide g?
False
Suppose 4*g = 5*g + 1, 5898 = c - 3*g. Suppose 49*q - 34*q = c. Does 10 divide q?
False
Let u(l) = l**3 + 4*l**2 + l - 1. Let f be u(-2). Let j = -525 - -521. Let x = f - j. Is x a multiple of 3?
True
Suppose -f = -22*f + 47183 + 315865. Is 23 a factor of f?
False
Let k(q) = -8*q**2 + 4*q + 3. Let a be 2/(0 - (-2)/7). Let x(m) = -15*m**2 + 8*m + 6. Let s(y) = a*k(y) - 4*x(y). Is 39 a factor of s(6)?
True
Is 52 a factor of (-3)/24*2 - (-89883)/108?
True
Suppose 0 = 5*x + 167 - 37. Let h = -21 - x. Suppose 5*w = h*b + 24 - 179, 3*b - 98 = -2*w. Is 16 a factor of b?
True
Suppose 0 = -15*u + 103 + 182. Suppose -16*l - 66 = -u*l. Is 5 a factor of l?
False
Suppose -5*m + g + 4625 = 0, 1853 = -54*m + 56*m - g. Is m a multiple of 21?
True
Suppose 3*l = l + 6. Suppose -5*m + 2*x + 4 = 0, -5 = l*m + 5*x - 26. Is 9 + -6 + 38 + (m - 0) a multiple of 43?
True
Let z(s) = -596*s + 2375. Does 30 divide z(0)?
False
Let g = -743 - -1698. Is g a multiple of 5?
True
Suppose 600 = -15*r + 20*r. Is r a multiple of 30?
True
Does 6 divide (6374/(-10) - -2)*(-2)/(-9)*-15?
True
Is 5944 + ((-121)/(-11) - -2) a multiple of 37?
True
Let n be 3 - (120/(-28))/((-8)/28). Let o = -48 + 10. Let p = n - o. Does 13 divide p?
True
Let s = -635 - -4726. Does 11 divide s?
False
Let k be (-8)/((-32)/12)*(-8)/(-6). Suppose 0 = -z + b + 73, -6 = k*z - 2*b - 304. Let c = 116 - z. Does 8 divide c?
True
Suppose -24*x = 44005 - 165133. Is 160 a factor of x?
False
Let g = -154 - -156. Suppose 2*u = -g + 6, -2*u = -2*t - 38. Is 8 a factor of 35*5 + -2 + (-14 - t)?
True
Let t = 7331 - 261. Is t a multiple of 202?
True
Let d(b) = 5*b - 8. Let w be d(4). Is 52 a factor of (w/(-5))/((-87)/37700)?
True
Let s = 880 - -3242. Does 18 divide s?
True
Suppose u - 3*m + 270 = 6*u, -u - 4*m = -71. Let k = 255 + u. Is 34 a factor of k?
True
Let b = 17593 - -1033. Does 67 divide b?
True
Let r(o) = -14*o**3 + 5*o**2 - 2*o + 2. Let n be r(2). Let d(j) = 74*j**3 - j**2 - 2*j - 1. Let s be d(-1). Let p = s - n. Does 10 divide p?
True
Let n(q) = -10*q**3 + 43*q**2 + 16*q + 2. Is n(-5) a multiple of 21?
True
Suppose -46*c + 43*c - 46005 = -4*b, 22999 = 2*b - 5*c. Is b a multiple of 13?
False
Let w be 0*((-18)/(-4))/9. Suppose w = -5*u - 3*u. Suppose u = f - 5 + 3, 5*f = -3*s + 73. Does 2 divide s?
False
Let j = 13 - -8. Suppose -j*p + 24*p - 6 = 0. Suppose -3*v + 640 = 5*q, 0*q + 2*v = -p*q + 256. Does 31 divide q?
False
Suppose 18*b - 101520 = 3*b. Is 24 a factor of b?
True
Suppose -6*y + 7 = -5. Suppose 2*g - 16 = -y*v, 4*v + 0*v - 17 = -g. Suppose 0 = m - g, -m - 49 - 30 = -4*r. Is r a multiple of 6?
False
Suppose -7*v + 14 = -14*v. Let l(d) = -16*d**2 + 4*d + 5. Let r be l(v). Let b = -3 - r. Does 26 divide b?
False
Let w(u) = -u**3 - 7*u**2 - 6*u - 3. Let d be w(-6). Let p(l) = -7*l**2 - 4*l. Let o be p(d). Let r = o + 62. Is r a multiple of 9?
False
Let g = 964 + -673. Let n = g - 159. Let u = -92 + n. Is 5 a factor of u?
True
Suppose -8 = -4*g + 3*h + 6, 2*h = -4. Let j(f) = -f**2 + f + 7*f**3 - 2 + 3*f**2 - 5*f**2. Is 11 a factor of j(g)?
True
Let l(j) = -j**3 - 21*j**2 + 3*j + 16. Let c be l(-21). Let k = c - -58. Suppose k*g - 265 = 6*g. Is g a multiple of 10?
False
Let y(k) = 1 - 2 + 2 + 8*k + 6 + 2*k**2. Let j(b) = 2*b**2 + 9*b + 8. Let v(u) = 4*j(u) - 3*y(u). Does 10 divide v(-8)?
False
Let g be 1*1047 - (17 + -23). Suppose -3*t + g = 72. Does 15 divide t?
False
Let r be 6/15*(-280)/2*-1. Let i be 16/r - 52/(-14). Suppose 14*o = i*o + 180. Is o a multiple of 18?
True
Is 12 a factor of 27/(-9) - 822/12*48*-1?
False
Let w(s) = s**3 - 6*s**2 + 3*s - 3. Let p be w(5). Does 5 divide p/26*(-778 + 2)?
False
Suppose -2*y - 3*r + 293 + 408 = 0, 6*y - 2117 = 5*r. Is y a multiple of 9?
False
Suppose -h + 4052 = 3*i, 0 = -0*i - 2*i - h + 2700. Suppose 8476 = 26*l - i. Is l a multiple of 21?
True
Suppose 3*i = 4*t + 150 + 230, 4*i = -5*t + 548. Let c = i - 114. Is c a multiple of 3?
True
Let i be -3 - (-6 - -4)*48. Let n = i - 3. Does 18 divide n?
True
Let n(r) = r**3 + 10*r**2 + 9*r + 11. Let o be n(-8). Suppose 3*m + 4*i - 155 = 0, 2*m = -4*i + 39 + o. Let g = 9 + m. Does 10 divide g?
False
Let h = 16403 + -9977. Is 34 a factor of h?
True
Suppose -b + 4*w + 19030 = 0, 0 = -4*b - 105*w + 109*w + 76132. Is 31 a factor of b?
True
Let a = 6400 - 4558. Suppose 3*x = -2*b + a, 9*x + 2*b + 2442 = 13*x. Does 34 divide x?
True
Let o(x) = 214*x**2 - 12*x + 9. Is 7 a factor of o(-3)?
False
Is (-19)/((-285)/222570) + (-2 - -4) a multiple of 106?
True
Suppose -1309 = 148*b + 156*b - 117*b. Let z = 1 + 3. Is 24*6/z - (b - -3) a multiple of 23?
False
Is (14 - -76)/(-15) - -2704 a multiple of 71?
True
Let h = 33491 - 22821. Is 11 a factor of h?
True
Suppose -5*f - o = -41733, 41715 = -4*f + 9*f - 5*o. Does 107 divide f?
True
Let v(h) = -89*h**3 - 3*h**2 - 13*h - 22. Let w be v(-2). Let b = -355 + w. Is 4 a factor of b?
False
Let h(v) = -9*v**2 - 397*v + 25. Is 15 a factor of h(-35)?
True
Suppose -4*b + 8*b - 892 = -4*r, 2*r = -4*b + 886. Does 39 divide b/(-30) - -6 - 1579/(-3)?
False
Suppose -2*b = 4*z - 30, 3*z + z - 21 = b. Suppose -u + z = 4*o, 4*u - o - 5 = 2*o. Does 29 divide (4 + 0 + 33)*u?
False
Suppose 33*n - 13*n - 636747 = -37*n. Is n a multiple of 94?
False
Suppose 3*p - 123 = 6*p - 3*g, 4*p = -4*g - 132. Let s = -9 - p. Suppose 0 = 4*o - s - 88. Does 4 divide o?
False
Suppose 19 = 4*h + 15. Let n = -3 - h. Is (-485)/25*n + (-4)/(-10) a multiple of 39?
True
Let b(r) be the second derivative of 0 + 0*r**4 - 9/2*r**2 - r - 1/20*r**5 + 1/2*r**3. Is 27 a factor of b(-4)?
False
Suppose 7*c = 63 + 21. Is (c/(-15))/(4/30)*-10 a multiple of 5?
True
Is 10 a factor of (-22)/55*(-2 - (-10964)/(-8))?
False
Let d(s) = 54*s - 996. Is 29 a factor of d(41)?
True
Suppose 2*n - 8*p + 2108 = 5736, 5*n = 2*p + 9142. Is 3 a factor of n?
True
Let l(p) = p**2 - 111*p + 3932. Is l(58) a multiple of 26?
True
Suppose 49*p = 1403989 - 436141. Does 57 divide p?
False
Is 13 a factor of ((-6)/4 + (-11651)/(-366))*3?
True
Let h(r) be the second derivative of r**5/10 - r**4/4 + r**3/2 + 3*r + 4. Does 3 divide h(4)?
False
Let t(g) = 7*g - 41. Let q be t(7). Let j(d) = 33*d - 75. Is 10 a factor of j(q)?
False
Suppose -3*x + 264 = 4*r, -3*x + 0*x + 264 = -4*r. Let n = 1817 - 1815. Suppose -k - n*p = -29 - 1, -3*p - x = -2*k. Does 19 divide k?
True
Suppose -195648 = -28*m + 3*m + 74352. Does 13 divide m?
False
Let x = -199 - -137. Let i = x - -148. Does 11 divide i?
False
Let u be 142*5/(1 + 9). Suppose -25 = 5*a, -a + 401 - u = -5*g. Let v = 109 + g. Is v a multiple of 23?
False
Is 7 a factor of (50 + -6997)/((-2)/2)?
False
Let c = 580 + -800. Suppose -v - 228 = 2*v. Let g = v - c. Does 18 divide g?
True
Suppose 0 = 3*d + 3*t - 21, 4*d - 38 + 13 = -t. Let k(b) = 5*b**3 - b**2 - 22*b + 12. Is 42 a factor of k(d)?
True
Let t = -996 - -415. Let f = -273 - t. Is f a multiple of 45?
False
Let m(k) = -k**3 - 4*k**2 + 3*k - 12. Let p be m(-5). Let n be 0/((0 + -1)/(p - -1)). Suppose n = -5*a + 7*a - 48. Does 4 divide a?
True
Suppose 5*d - 125 = -1645. Let c = 520 + d. Is 27 a factor of c?
True
Suppose -318*t + 106875 + 250628 = -51127. Is 18 a factor of t?
False
Suppose -74325 = -5*m - 5*k, 59436 = 4*m + 4*k - 6*k. Is 193 a factor of m?
True
Suppose -3*r + 5*w = -85811, 0 = 1723*r - 1719*r - 4*w - 114404. Does 11 divide r?
False
Let g be (6 - 1) + (0 - 13). Let m(a) = -a**3 - a**2 + 2*a + 3. Let c be m(g). Suppose -3*i = d - 38 - 117, -3*d - 3*i + c = 0. Does 14 divide d?
True
Let h(c) = 24*c - 6*c + 148 + 25*c. Is h(12) a multiple of 9?
False
Suppose 898 + 1173 - 13863 = -4*b. Is 24 a factor of b?
False
Let r be ((-3)/9*-3)/(12/60). Suppose -5*u + 83 = -3*u - 3*b, 115 = 3*u + r*b. Does 4 divide u?
True
Let n = 14686 + -12572. Is n a multiple of 50?
False
Suppose 1 + 67 = -k. Let y = -50 - k. Is 6 a factor of 6/(-3) + y - 2 - -3?
False
Let d be 170/20*(3 + 1). Let x(o) = 2 - 2 + o + d*o**2 - 5*o**2. Is 15 a factor of x(1)?