 3*n - 5*o - 793, 0 = -2*n + q*o + 685. Is n a multiple of 3?
False
Suppose -4*a + 56 = 3*f, 5*a - 2*a = -2*f + 41. Let r be 0 + 2 + 1*11. Let o = a + r. Is 7 a factor of o?
False
Let p(f) = 44*f**2 - 30. Let q be p(5). Let x = q + -170. Does 12 divide x?
True
Suppose -y - 5*b = 10, 5*y - 16 + 14 = b. Suppose o + 2*z - 949 = y, 2*o + 3*z - 1894 = -2*z. Does 31 divide o?
False
Let b be (78372/(-30))/(-2) - (-2)/(-10). Suppose -15 = -5*f, -2*k + 6*k + b = -2*f. Is 11 a factor of (-15)/(375/(-10)) - k/5?
True
Let n(v) = 6*v**2 + 29*v + 133. Let i be n(-29). Suppose 5*z - f - 5025 = 0, f - i + 327 = -4*z. Is 20 a factor of z?
False
Let v = -211 - -237. Suppose -v - 34 = -3*l. Does 5 divide l?
True
Let y(n) be the second derivative of n**5/20 + 11*n**4/12 + 3*n**3/2 + 5*n**2/2 - 4*n - 2. Let q = 6 + -16. Does 5 divide y(q)?
True
Suppose w + 4 = 2*u, 0*w + 4*w = -4*u - 40. Let n = w + 10. Suppose r - n*t - 59 = 0, -r + 223 = 3*r + 5*t. Is 6 a factor of r?
False
Let g(m) = -m**3 + 23*m**2 + 17*m + 36. Let l be g(14). Let i = 3050 - l. Is i a multiple of 35?
False
Suppose 4*x - 8412 = 5*k, -k = -611*x + 610*x + 2104. Is 34 a factor of x?
True
Suppose 0 = 2*m - 4*m - 90. Suppose 0 = -5*g + 67 - 312. Let v = m - g. Does 4 divide v?
True
Let o = -2743 - -6189. Is 44 a factor of o?
False
Suppose -5*m = -5*t + 28700, 10*t = -3*m + 49674 + 7713. Does 19 divide t?
False
Let y(c) = 146*c - 810. Is y(60) a multiple of 14?
False
Suppose -4*y - 3*l = -2*y + 60, y + 5*l + 37 = 0. Let g = -23 - y. Suppose g*t - 128 - 196 = 0. Is 9 a factor of t?
True
Suppose 0 = -18*r + 95 + 13. Suppose -r*l = 8*l - 308. Is 2 a factor of l?
True
Let y = 4314 - 2952. Does 7 divide y?
False
Let l be (-175)/(-105) + (-3338)/(-6). Let q = l - 222. Does 16 divide q?
True
Suppose -50095 + 13840 = -13*i - 2*i. Does 13 divide i?
False
Suppose -49*k + 537395 = -565889. Does 26 divide k?
True
Let h(r) = 42*r**2 + 18*r + 8. Let f be h(-6). Suppose -13*t - f = -5156. Is t a multiple of 48?
True
Suppose -104*v - 15246 = -95*v. Let a = -950 - v. Does 8 divide a?
True
Let q be 1487*1 - (-18 + 15). Suppose -35*n + q = -890. Is 9 a factor of n?
False
Suppose 24*k + 1724310 = 143*k. Is 14 a factor of k?
True
Let t be (1/2)/(15/(-10) - -1). Let r be 3403/(-82) + t*(-1)/(-2). Let x = 54 + r. Is 4 a factor of x?
True
Let i(d) = 25*d + 37. Let q = 132 - 125. Let u be i(q). Suppose -4*f = -u + 16. Is f a multiple of 7?
True
Suppose 0 = 69*q - 68*q - 259. Suppose -8*x - 35 = -q. Does 4 divide x?
True
Let r = 395 - 392. Suppose 7*m - 4 = 5*m, -r*x + 595 = -m. Is x a multiple of 3?
False
Suppose -30*l - 150 = -36*l. Let v = l - -705. Is 73 a factor of v?
True
Let x(n) be the second derivative of -10*n**3/3 + 6*n**2 + 12*n. Let o be x(-7). Suppose -5*b = -2*z + o, 3*b - 249 = -4*z + z. Is 27 a factor of z?
True
Let h(i) = 59*i - 5. Let x(c) = 7*c + 35. Let r be x(-10). Let j = 36 + r. Does 13 divide h(j)?
False
Let g = -35 - -37. Suppose 0 = g*m - 56 - 44. Let a = 98 - m. Does 24 divide a?
True
Let d(h) = h**3 + 30*h**2 + 59*h + 1400. Does 3 divide d(-29)?
False
Let v(i) = -2691*i**2 + i - 2. Let o be v(2). Is 4/10 + o/(-90) a multiple of 6?
True
Suppose 9*b = -b + 3750. Suppose -3*c = 2*d - 775, 2*d + c = 3*d - b. Does 20 divide d?
True
Let p = 7 + -2. Suppose 0*y - p*y = 2*z - 265, -4*y + 212 = -2*z. Let w = y + 37. Is w a multiple of 15?
True
Suppose 118 = 13*f + 40. Suppose 3*m = -3*c + 795, -5*c + 4*m - f*m = -1313. Does 7 divide c?
False
Let w(k) = -2*k**3 - 47*k**2 + 21*k - 382. Does 121 divide w(-25)?
True
Suppose 10*w + 1341 - 431 = 0. Let n = 336 + w. Does 49 divide n?
True
Suppose -6 = 7*d + 85. Let f = -11 - d. Suppose 4*m - 3*w = -2*w + 436, 2*m - 208 = -f*w. Is m a multiple of 15?
False
Let p = -1965 + 62. Is p/(-9) - (-224)/(-504) a multiple of 13?
False
Let t(i) = -i**3 - 86*i**2 - 115*i + 276. Does 3 divide t(-85)?
True
Let k(l) = -2*l**2 - 9*l - 23. Let t be k(-5). Let u(y) = -35*y - 148. Is u(t) a multiple of 52?
True
Suppose -142*c = -145188 - 801384. Is c a multiple of 17?
False
Suppose -543*b + 1404 = -537*b. Is 18 a factor of b?
True
Suppose 2*a + 4*y = 1104, 2232 = 4*a + 12*y - 10*y. Suppose 4*m + a = 5240. Is m a multiple of 10?
True
Suppose f + 22*f = 644. Is 35 a factor of 126/f*(-70)/(-3)?
True
Is 15 a factor of 360/450 - 80542/(-10)?
True
Suppose 17*w = 29*w - 144. Suppose -20800 = -37*j + w*j. Does 32 divide j?
True
Suppose -4398 = -2*v + 4*f, 5*v + 4*f = 7341 + 3724. Is v a multiple of 20?
False
Suppose 78570 = 2*p + g, -35357 - 3914 = -p - 4*g. Does 26 divide p?
False
Suppose -210229 + 769579 = 31*o - 13*o. Is o a multiple of 46?
False
Let k be (10/9)/5 + 25/9. Suppose 0 = -k*q + 12 - 3. Let x(f) = 6*f**2 + f + 3. Is x(q) a multiple of 10?
True
Let w(h) = 22*h + 81. Let g be w(-7). Let r = 105 + g. Is 32 a factor of r?
True
Let z(q) = 32*q**2 + 3*q + 4. Let d be z(-1). Let m(i) = i**3 - 32*i**2 - 30*i - 63. Is 36 a factor of m(d)?
True
Let g be (132/(-18))/((-120)/(-18) + -7). Let p(t) = -10 + 2*t**3 - 3*t**3 - 18*t + 44*t + 21*t**2. Is p(g) a multiple of 39?
True
Suppose 6*x = 2940 - 450. Suppose 229 = 14*f - x. Is f a multiple of 8?
False
Suppose -2*w + 23 = 3*y + 27, 4*y = -w + 3. Suppose 5*f = 5*r - 8*r + 653, -y*f - 1078 = -5*r. Is r a multiple of 8?
True
Let r(f) be the third derivative of -f**4/4 - 7*f**3 - 4*f**2. Let w(v) = 12*v. Let z be w(-1). Is 9 a factor of r(z)?
False
Suppose -2*k + 0*w + 854 = w, w - 2132 = -5*k. Let m = 536 - k. Does 23 divide m?
False
Suppose 44172 = 3*k + 3*g, 17464 = 2*k + g - 11986. Is k a multiple of 23?
False
Let w = 9 - 48. Let k = -116 + 85. Let y = k - w. Is y a multiple of 4?
True
Suppose -k = -14*k + 26. Suppose -2*i - z + 1 = -k, 4*i - 3*z - 31 = 0. Suppose -71 = -i*u + a + 73, -2*a = 4*u - 144. Does 18 divide u?
True
Let g(r) = -r + 44. Let m be 279/45 + (-2)/10. Is g(m) a multiple of 20?
False
Let t(x) be the third derivative of 16*x**2 + 0*x + 1/40*x**6 - 1/2*x**3 - 1/8*x**4 + 1/60*x**5 + 0. Does 39 divide t(3)?
True
Let p(h) = -h**3 - 3*h + 1080. Let w(i) = -7*i + 91. Let c be w(13). Is 29 a factor of p(c)?
False
Let k(l) = -3*l + 91. Let b be k(29). Is 10 a factor of (2/b)/(2/1260)?
False
Let b(k) = 4*k**3 + 8*k**2 - 94*k - 225. Is b(17) a multiple of 13?
False
Suppose 3*j - 9 = -18. Let d = j - -7. Suppose 121 = 2*u + 3*i - 38, -278 = -d*u + 2*i. Is 12 a factor of u?
True
Let b(h) = -15*h - 37. Let g be b(16). Let v = g - -448. Is 16 a factor of v?
False
Is 186 a factor of 155961/(-774)*4/(-2)*60?
True
Let y(s) = s**3 - 8*s**2 + 5*s. Let f be y(8). Suppose 6*o = -7*o + 65. Suppose -f = -o*h + 5. Is 3 a factor of h?
True
Suppose -43*q + 12*q + 0*q = -1736465. Is 12 a factor of q?
False
Let r(b) = 6174*b**2 - b - 5. Is r(1) a multiple of 40?
False
Does 10 divide ((-7)/14)/(15/(-67800))?
True
Is 115 a factor of (6 + (-126)/(-9))/(6/3588)?
True
Suppose 3 - 9 = 2*n. Let p be 4*(n - (-5)/2). Does 31 divide 93 - (0 - (2 + p))?
True
Let c = -7088 - 21448. Is (c/(-14))/6 + 8/28 a multiple of 41?
False
Let b(a) = 5*a**2 - 13*a + 6. Let q(t) = 2*t**2 - 4*t + 2. Let s(d) = -3*b(d) + 8*q(d). Let p be s(-7). Let h = p + 217. Is h a multiple of 43?
True
Suppose 71*p + 42107 - 190577 = 22*p. Does 30 divide p?
True
Let o(a) = 968*a**2 - 74*a + 244. Does 11 divide o(3)?
True
Let w be 164/14 - 10/(-35). Suppose 5*p - 2*p = w. Suppose -m + 360 = p*m. Does 10 divide m?
False
Suppose v - 964 = -5*z, 513 + 453 = 5*z - v. Suppose 3*c = 3, z = d + 2*c - 154. Does 13 divide d?
False
Let k(t) = 8*t - 11. Let q be k(2). Suppose -126 = 4*y - q*y. Let u = 3 + y. Is u a multiple of 21?
False
Suppose 24*k - 108 = -12*k. Suppose -166 = -d - 3*w, k*w + 6 + 9 = 0. Is d a multiple of 6?
False
Does 230 divide ((-158700)/(-322))/((-9)/(-315))?
True
Suppose 3*i = 17493 + 17349. Is 19 a factor of i?
False
Let s(o) = 2*o**2 + 5*o - 26. Suppose 0 = 2*z + 3*b, -5*b + 1 = 11. Suppose z*a - 26 - 1 = 0. Is s(a) a multiple of 15?
False
Is 8 a factor of (-1 - 21/(-27)) + 166896/162?
False
Let l be 2*5 - (-36)/(-12). Let m(v) = v**3 - 3*v**2 - 12*v + 31. Is 11 a factor of m(l)?
True
Let v = 521 - -491. Is 44 a factor of v?
True
Suppose -4309*n - 14658 = -4312*n. Does 72 divide n?
False
Let z(g) = -g**3 + 2*g**2 + 16*g - 3. Let n be z(5). Suppose 115 + 41 = n*l. Is 26 