f = -z*f + 5*s + 70. Does 17 divide f?
True
Let o = 67064 - 39725. Is 114 a factor of o?
False
Let r be 86/14 - (20/35)/4. Let p be (-2*(-48)/28)/(r/399). Suppose 4*g - 186 = u, 3*g + 2*g + u = p. Is g a multiple of 3?
False
Let n(t) = 27*t - 17. Let s be n(8). Suppose -3*y + 4*c = -s, -4*c + 84 + 131 = 3*y. Suppose -y = -3*z + f + 95, 3*f = 4*z - 212. Is z a multiple of 7?
True
Let o = -591 - -594. Suppose -2*m - 1466 = -o*l - 534, 3*m = 5*l - 1553. Is l a multiple of 10?
True
Suppose -d = f + f + 2, 5*f - d = -5. Let r be ((-16)/48)/(f/12). Suppose -k + 345 = r*k. Does 23 divide k?
True
Let t = 6373 + -5953. Is 84 a factor of t?
True
Does 36 divide (-1*(-87)/9)/(18/59940)?
False
Suppose s + 30476 = 32017. Is 9 a factor of s?
False
Let s(n) be the second derivative of 8*n**5/5 + n**4/4 + 4*n**3/3 + 7*n**2/2 + 11*n. Let h be s(-2). Let p = 456 + h. Is 29 a factor of p?
True
Let f = -73 - -87. Let m(g) = -10*g**2 - 125*g - 3. Let k(x) = 2*x**2 + 31*x + 1. Let z(i) = 9*k(i) + 2*m(i). Is 3 a factor of z(f)?
False
Let y = 1094 + -104. Is y a multiple of 33?
True
Suppose 96 = 21*p - 17*p. Suppose p*w - 7*w - 714 = 0. Is 6 a factor of w?
True
Let a(m) be the second derivative of -3*m**4/8 - 11*m**3/6 - 7*m**2 - 13*m. Let t(f) be the first derivative of a(f). Is t(-3) a multiple of 5?
False
Let v(d) be the first derivative of d**2/2 + 16*d + 1. Let m = 5402 - 5408. Is 9 a factor of v(m)?
False
Let w(s) = -166*s + 1444. Does 16 divide w(-17)?
False
Let d(t) = -t + 7. Let l be d(-2). Suppose -l*f + 29 - 2 = 0. Suppose 5*i = f*i + 268. Does 14 divide i?
False
Is 22 a factor of ((-61222)/70)/(4/(-20))?
False
Suppose 4*b + 7 = -5, 2*o - 15 = -5*b. Is 13251/o - ((-32)/20 - -1) a multiple of 13?
True
Suppose 36 = -3*o + 3*m - 69, -4*m = o + 15. Let b = 166 + o. Is 15 a factor of b?
True
Let d be -11*(1 - 1 - 18/2). Suppose -w - 2*g + 5*g + d = 0, 5*w - 3*g = 483. Suppose -w = z - 4*z. Is 4 a factor of z?
True
Let i be (2 - 169/(-5))/(3/15). Suppose 2*o + 5*h = -0*h + 107, -4*o = 3*h - i. Suppose 39 = 4*z - o. Is 6 a factor of z?
False
Suppose -8*j + 10*j = -5*o + 946, 5*j + 5*o = 2350. Suppose 0 = -2*q - q + j. Does 13 divide q?
True
Let d = -273 + 551. Let k = -269 + d. Does 8 divide k?
False
Suppose -15 = -3*w, -9*m - 19 = -10*m - 3*w. Suppose 50*k - 21482 = m*k. Is 10 a factor of k?
False
Suppose -17*f - 19008 = -27*f + 8*f. Is f a multiple of 16?
True
Let o(r) = 2*r**3 - 3*r**2 + 2*r + 23. Suppose 3*b = -9*b + 96. Is 21 a factor of o(b)?
False
Suppose -p + 1 = 0, -48 = -2*j - 3*p - 35. Suppose q - 81 = 3*f, -6*q + 391 = -q - f. Suppose 713 - q = j*a. Is 13 a factor of a?
False
Suppose 2*t - 5*u + 1 = 0, -7*u + 3*u + 12 = 4*t. Suppose 4*y - 8 = t*x + 2*y, -3*x - 10 = -y. Is 14 a factor of 26 - x/(12/8)?
True
Suppose -3*x + 42 = 3*h, 4*h - 26 = -5*x + 34. Let y be 4 + -3 + h + 3. Is (-3 - y/(-6))/((-1)/108) a multiple of 6?
True
Let z(o) = 4*o + 5645. Does 65 divide z(0)?
False
Let t = -42 + 42. Suppose t = -b + 2*l + 992, 7*l - 12*l - 15 = 0. Does 10 divide b?
False
Suppose -24*o + 97 = -191. Suppose 694 = 4*a - o*b + 10*b, -2*a + 343 = -5*b. Is 3 a factor of a?
True
Let i(r) = -21*r**3 + 4*r**2 + 30*r + 75. Is 24 a factor of i(-6)?
False
Suppose 2*t - 4*p = -328, -4*p - 19 = 1. Suppose 118*h - 120*h = 168. Let q = h - t. Does 9 divide q?
True
Suppose -109 = 16*o + 211. Does 13 divide (-4540)/(-12) + o/15?
True
Suppose 0 = -4*k + 6*k + r - 619, -1540 = -5*k - 4*r. Suppose -p + k = 3*p. Is 26 a factor of p?
True
Let s = 3835 - -3049. Does 31 divide s?
False
Suppose 2 = 9*t - 16. Let z be t/10 + (-142)/10*1. Is 17 a factor of 3 + (-3 - (z + -3))?
True
Let q(l) = 75*l + 22. Let u be q(3). Suppose 817 = i - u. Does 19 divide i?
True
Let s(q) = -4*q - 9. Let h be s(-2). Let u be -1 + 0 + h/(4/(-328)). Let j = 115 - u. Is j a multiple of 8?
False
Suppose 145*w + 409958 - 415852 = 807846. Is w a multiple of 61?
True
Suppose -q + 16 = -10. Suppose -4*a + 16 = 0, -5*a - q = 2*g - 4*g. Suppose -22*n + g*n = 133. Is n a multiple of 12?
False
Let b be (2/(-6))/((-7)/(-21)) - 73. Let j = -304 + 510. Let v = j + b. Does 33 divide v?
True
Suppose 0 = 322*z - 324*z + 8. Suppose -4*r - 30*t = -25*t - 2983, z*r - 5*t = 2953. Is 7 a factor of r?
True
Let s be (0 + 0)/((-1)/(-7)*7). Suppose s = -2*d + 4, -3*d - 1614 = 16*u - 19*u. Is u a multiple of 4?
True
Let y be (-30)/5 + 6 - 4. Is ((-61)/4)/((-7)/y + -2) a multiple of 3?
False
Let c = -23 - -72. Suppose 4*d = -20, 50*j - 756 = c*j - 5*d. Is 26 a factor of j?
False
Suppose 57*c - 18012 = 112*c - 58*c. Is 67 a factor of c?
False
Let b(r) = 6*r**2 + 78*r + 55. Is 28 a factor of b(-31)?
False
Let w = 245 + -243. Suppose -2*x - 8 = w*x, -5*x + 311 = r. Does 89 divide r?
False
Let c be (-20)/(-12) - (-2)/6. Let b(t) = -6 - 4*t**c - 9*t**3 - 3*t + 2 - 1 + 0. Does 8 divide b(-2)?
False
Suppose 23*w = 19*w + 12. Suppose -w*n + n - 204 = 0. Is (-100)/(-15)*n/(-8) a multiple of 21?
False
Is 5 a factor of -5 - (-1)/2*(1 - -4389)?
True
Suppose 4*t - 32202 = p, 3*t - 12*p - 24163 = -17*p. Is t a multiple of 97?
True
Does 2 divide (0 - (-14)/4) + (-11)/((-22)/1349)?
True
Suppose 419 - 1094 = 5*n. Let h = n + 164. Does 15 divide h?
False
Let r(a) = 7*a**2 + 5*a - 9 - 2*a**3 - 6*a**2 + 2*a**2 + 7*a**2. Is r(5) a multiple of 6?
False
Suppose 3*g = 20 - 17. Is 175/5 - -3 - g even?
False
Let v = 61 + -51. Let j(n) = -5*n + 38. Let x be j(v). Does 26 divide x/(-15) + (-441)/(-5)?
False
Let p = 15253 + -9893. Is p a multiple of 5?
True
Let y(g) be the third derivative of -7*g**4/8 - 61*g**3/6 - 41*g**2 - 3*g. Is y(-11) a multiple of 17?
True
Let f = -43 + 59. Suppose -8*i + 4*i = -f. Is 3 a factor of 17 + -4*(-3)/i?
False
Suppose 3*f - 4 = 14. Suppose -f = -3*t + 6. Suppose -t*w - 8 = -4, -3*w + 79 = 2*n. Does 8 divide n?
False
Let o be (-88 - -16)*1/(-2). Let y = 41 - o. Suppose -2*r - y*x + 105 = 0, 4*r - 184 = 2*x + 62. Is r a multiple of 20?
True
Is 35 a factor of (-29)/(1827/(-268992)) - 4/(-14)?
True
Suppose -2*v - 32105 = -5*q, -3*q + 13161 = 4*v - 6076. Is q a multiple of 49?
True
Is ((-49081)/(-6) - 137/(-411)) + (-14)/4 a multiple of 37?
True
Let h = -14 - -19. Suppose 44 = -h*l - g, 2*l + g = 5*g - 22. Let o = 98 - l. Is o a multiple of 13?
False
Let v(j) be the first derivative of j**3/3 - j**2 - 14*j - 14. Let o be v(6). Suppose 16 = w - o. Does 11 divide w?
False
Let w be -1 + (-72)/(-56) + 2/(-7). Suppose w = -13*f + 5*f + 2792. Does 18 divide f?
False
Let q be 9/(-3)*11*2/(-6). Let s(v) = 34*v + 183. Is s(q) a multiple of 35?
False
Let i be ((-2 - -2)/4)/(-2). Suppose i = 6*x - 4*x - 246. Let v = x + -65. Does 27 divide v?
False
Let g(k) = 3*k - 4. Let d(b) = -1. Let r(j) = 5*d(j) - g(j). Let h be r(-3). Suppose 4*t + 180 = h*t. Is t a multiple of 7?
False
Let q = 92 + -86. Suppose 0 = -q*p + 6919 - 1099. Suppose 6*z - p = -154. Does 20 divide z?
False
Suppose -c = 4*c + 4*z - 55, 18 = 4*c - 2*z. Suppose 95 = c*j - 80. Suppose -3*w = -4*q + 5*q - j, -47 = -3*q + 5*w. Is 3 a factor of q?
False
Let p = 6541 + -3937. Is 31 a factor of p?
True
Suppose -4*q + h - 298 = 0, q + 58 = -4*h - 25. Does 18 divide (6 - (-126)/(-15))/(1/q)?
True
Let b be 13*((0 - 0) + 7). Suppose -2*j + b = -5*f, 3*f - 38 = -j + 13. Does 3 divide j?
True
Suppose -2*w = 2*h - 0*w - 10, -5*h - w + 17 = 0. Suppose 5*p + 0*x + x = 445, -75 = -p - h*x. Is p a multiple of 8?
False
Let a be (-8)/14 - (-7)/((-245)/(-90)). Suppose 0 = -a*n + 4*f + 1348, -2*n = -0*n + f - 1328. Does 18 divide n?
True
Let p be (280/(-6))/(4/(-30)) - 0. Suppose 338 = o + i, -o + 0*o = 4*i - p. Suppose 2*a - o = -96. Does 27 divide a?
False
Let k = -18925 - -51035. Is 130 a factor of k?
True
Suppose -8*m + 1 + 55 = 0. Suppose m*w - 6*w = 73. Is w a multiple of 46?
False
Let d be (5 - 3)*((-3)/(-2))/3. Is 58 a factor of 7/49 - ((-2029)/7)/d?
True
Let v(t) = 19*t + 78. Let l be v(-5). Is 2 a factor of (l - -14)*(-24)/9?
True
Suppose -39 = -2*k + y, -57 = -15*k + 12*k + y. Let r = 60 - k. Is 14 a factor of r?
True
Let l(b) = 21*b + 277. Let p be l(-13). Let a(f) = 116*f - 39. Does 32 divide a(p)?
False
Suppose 29*n - 70 = 17. Does 18 divide n - -339 - (-1 - -1)?
True
Let k(t) = t**2 + 11*t + 7. Let y be k(-11). Suppose -y*x = -288 - 608. Is 16 a factor of x?
True
Let m = 106 + 24. L