-2*z + 2*b + 1255, 0 = -w*z + 3*b + 2509. Suppose -10*n = -14*n + z. Does 35 divide n?
False
Suppose 0 = 5*f - 0*y + y - 12017, 4*f - 2*y = 9608. Suppose 8*z = 309 + f. Is 10 a factor of z?
False
Suppose -4*y + s + 105309 = 0, -3*y = -0*s + 2*s - 78968. Is y a multiple of 9?
False
Let o(p) = 38*p + 1. Let b be o(-1). Let g = 1398 + -1381. Let z = g - b. Is 5 a factor of z?
False
Let j(p) = -5*p**2 + 82*p - 9. Let t be j(15). Suppose s = -s + t. Is 9 a factor of s?
False
Let m(j) = 33*j**3 - 5*j**2 + 95*j - 649. Does 35 divide m(6)?
False
Let b(v) = 64*v**2 - 25*v - 287. Is 169 a factor of b(-20)?
False
Suppose -2*x - 5*w - 5 - 1 = 0, -4*w = -2*x + 30. Suppose 9*b = x*b. Is 5 a factor of (-27 + b)*(-1)/3?
False
Let h(t) = -9*t**2 + 5*t + 31. Let m be h(-5). Let n = 370 + m. Is 7 a factor of n?
False
Let s be -1*81831/(-15) - (-30)/50. Suppose -5*k = -3*g - s, 3*k - g = -2*g + 3282. Is 38 a factor of k?
False
Suppose -2*d + 5 = -3. Suppose w + w - 14 = d*a, 0 = -5*a + 2*w - 19. Let t(o) = 3*o**2 - 4*o + 7. Does 33 divide t(a)?
False
Let h be -10*(3 - (-716)/8) + 0. Is 7 a factor of ((-66)/5)/(74/h)?
False
Suppose b - 2*b - r = 0, -b + r = -8. Let t(n) = -n**2 - 14*n + 4. Let i be t(-14). Suppose -5*g + 4*a = -390, -b*g = -i*a + 71 - 379. Does 17 divide g?
False
Let v = -19 + -8. Let s(i) = 4*i**2 - 14*i - 8. Let m be s(7). Let t = m + v. Is t a multiple of 6?
False
Let f be -20 + (-40)/(-5) + 8. Is 58 a factor of -11 + 6 - (-1163 - (-3 - f))?
False
Let a(q) = 10*q**2 + 3*q - 1. Let u(l) = 2*l**2. Let i(k) = -2*a(k) + 18*u(k). Is 6 a factor of i(-3)?
False
Suppose -45*w + 17446 = -22408 + 9614. Does 32 divide w?
True
Let m(r) = -569 + 87*r + 648 + 3*r - 18*r. Is 41 a factor of m(12)?
True
Let j = -37666 + 53410. Is j a multiple of 41?
True
Let a = 1181 + 655. Let c = a + -1066. Is c a multiple of 55?
True
Suppose 161513 - 7251415 = -206*s. Is s a multiple of 127?
True
Does 25 divide 140/(24 + -10) - -12865?
True
Suppose 2218 = -13*g + 502. Let r = g + 198. Does 11 divide r?
True
Suppose 11 = 3*b - x, -3*x = -2*b - 6*x - 11. Let z(k) = 11*k**3 + 5*k**2 - 3*k + 3. Let f be z(b). Suppose -21*n = -24*n + f. Does 20 divide n?
False
Suppose -p + 4 = 3*i + 2, -2*i = 2. Let q = 18 + -17. Does 32 divide (9/(180/256))/(q/p)?
True
Suppose 3*f = -14 + 8, 4*f - 2457 = -u. Suppose 10*t = -3*b + 6*t + 1458, 5*t = 5*b - u. Is 15 a factor of b?
False
Let y = 10309 + -8949. Is 16 a factor of y?
True
Suppose 9*p = 15458 - 5783. Does 25 divide p?
True
Suppose 6 - 3 = -5*i + w, 0 = -i + 2*w - 6. Suppose i = -15*d + 21*d - 1872. Is 12 a factor of d?
True
Suppose 4*c = 20, -5*c - 4 = 4*z + 735. Suppose -6*i + 0*i = -1764. Let f = z + i. Is 18 a factor of f?
False
Let i(g) = 3*g**2 + 30*g. Suppose z + 41 = 28. Is i(z) a multiple of 5?
False
Let l = 27351 + -15280. Is 4 a factor of l?
False
Let z(m) = -306*m - 3. Let d be z(-1). Let i = -255 + d. Does 6 divide i?
True
Suppose -146*x + 25820 + 30682 = 0. Does 30 divide x?
False
Let r(f) = 4024*f - 130. Let h be r(9). Suppose -46*z + h = -6188. Is z a multiple of 9?
False
Suppose -37*j + 11*j + 438865 = 9*j. Is j a multiple of 13?
False
Let w = 924 - 630. Suppose -2*z = -4*j - 138, j - 3*j = -4*z + w. Is 8 a factor of z?
False
Let y(b) = 683*b - 6. Let t be y(3). Suppose t = 12*i - 3*i. Let f = -138 + i. Is f a multiple of 9?
False
Suppose 0 = 109*x - 113*x + 1036. Let y = 144 + x. Does 12 divide y?
False
Let h(t) = -2*t**2 - t + 7. Let v(x) = 3*x**2 - 6. Let z(f) = 4*h(f) + 5*v(f). Is z(5) a multiple of 10?
False
Suppose 37*y = -4*s + 33*y + 8544, 3*s + 4*y = 6413. Is 12 a factor of s?
False
Let i = 7698 + -6494. Is 74 a factor of i?
False
Suppose 86856 = -240*t + 251*t. Suppose -27*x + t = 20*x. Is 14 a factor of x?
True
Suppose -3*g - 9 = h, 0*h - 3*h + 5*g = -15. Suppose -5*o + 83 - 23 = h. Is 13 a factor of 10/35 + 10/14 + o?
True
Let f(n) = 2551*n - 1636. Does 102 divide f(4)?
True
Suppose -o + 23*f + 47696 = 20*f, 3*f + 143088 = 3*o. Is o a multiple of 88?
True
Let y be -1 + (1 - (3 + 19)). Let v = y - -5. Is (v - 1/(-1))*-1 even?
True
Let p be -2 - (43652/35)/(4/(-10)). Let q = p - 1901. Does 45 divide q?
True
Suppose 63*c = 1798 + 93808 + 72289. Is 205 a factor of c?
True
Suppose 0 = -q - 6*x + 3*x - 2, 26 = 3*q + x. Suppose -6*n = -q*n + 1228. Is 36 a factor of n?
False
Let w(x) = -x**3 - 8*x**2 - 3*x - 25. Let t be w(-8). Let h(u) = -134*u + 1. Is h(t) a multiple of 15?
True
Suppose 3728 = -9*m + 1280. Let d = m - -314. Does 7 divide d?
True
Let y = -79 + 77. Let m be 3/y + ((-42)/(-4) - 3). Suppose -522 = m*c - 12*c. Is c a multiple of 6?
False
Suppose -112*q - 357 = -115*q. Suppose -2*a - 704 = -4*w, 0 = -3*w - 4*a + 409 + q. Is w a multiple of 8?
True
Let g be ((-162)/(-27) - 13) + (0 - -9). Let q be (-906)/(-10) + (-4)/(-10). Is (q + 3)*((-3)/(-3))/g a multiple of 3?
False
Is 132 a factor of 1/((-1)/(-4389))*14/(-2 - -44)?
False
Let i(w) = -3*w**2 + 11*w + 29. Let p be i(-3). Let y(q) = -5*q**2 + q - 2. Let n be y(2). Let g = n - p. Does 7 divide g?
False
Let p = 3660 + 930. Is p a multiple of 18?
True
Let p(i) = i**2 - 14*i + 15. Let t be p(14). Suppose w - 5*f - t = 0, -w - 2*f + 3 = 2. Suppose 0*c + 104 = c - 4*g, w*c = g + 558. Is c a multiple of 14?
True
Suppose -16 = 3*d - 142. Let o = d - 38. Let c = 53 + o. Does 8 divide c?
False
Let o(s) = -s - 3*s - 10617*s**2 + 10618*s**2 - 47. Is 8 a factor of o(-9)?
False
Suppose 0 = 116*g - 88586 - 633514. Does 25 divide g?
True
Let f be (-48)/(-10) + -1 - (-3)/15. Let u be f/(-26) + 71940/156. Suppose 2*c + 81 = n - 38, -5*c - u = -4*n. Does 12 divide n?
False
Let s = -88 + 92. Suppose 5*x + s*x = 3510. Suppose 4*w = x - 6. Does 16 divide w?
True
Let o be -4 + 116*2 + 4. Suppose 7*d - o - 181 = 0. Suppose -2*g + l = -95, 3*g - 2*l - 81 = d. Is 10 a factor of g?
True
Suppose -34*t = -10*t + 59*t - 237795. Is 5 a factor of t?
True
Let g = -267 + 423. Does 6 divide g?
True
Let l(t) = t**3 - 11*t**2 - 11*t. Let k(h) = -h**2 + 4*h + 3. Let i be k(4). Let q be (-2)/i - (-328)/24. Does 25 divide l(q)?
False
Suppose -219 = -3*h - 2*t, 5*h + 3*t = 2*t + 379. Is 17 a factor of h?
False
Does 3 divide (-1)/(-5) - (5 - 18*(-13808)/(-480))?
True
Let v be ((-2)/(-13) + 1905/39)*1. Let h = v + -47. Suppose h*x - 81 = -x. Is 27 a factor of x?
True
Let r(b) = 28*b**3 - 5*b**2 + 4*b. Let n be r(3). Suppose -v + 0*v + 3*a = -n, -3*v + a = -2161. Is 40 a factor of v?
True
Suppose -4*z = -5*z - 3*n - 8, -3*n = -2*z + 11. Let q(l) = -5 - 31*l + 11 - 1 - z. Is q(-3) a multiple of 13?
False
Suppose -3*m - 2 + 14 = -4*y, 4*m = -y + 16. Suppose 498 = d - 3*t - t, m*t = -2*d + 972. Is d a multiple of 14?
True
Let p = -73 + 1025. Suppose p = -101*j + 109*j. Is 22 a factor of j?
False
Suppose 4*l = 2*l + 154. Is 21 a factor of (-42)/((-322)/l + 4)?
True
Suppose 2*l + 115 = -y, -l = -0*l + 3*y + 55. Let j = l + 58. Suppose 0 = -3*q + k + 58, q + 2*k = -j*q + 10. Does 3 divide q?
True
Suppose -7*p - 2*m = -4*p + 182, 5*p = -4*m - 304. Suppose 273 = 5*n - 2*n. Let t = n + p. Is 11 a factor of t?
False
Let c be 2/6 - 10/(-6). Suppose -625 = -l - 441. Suppose 76 = q - 0*o - 2*o, 4*o = -c*q + l. Does 8 divide q?
False
Let l(b) = 21*b - 5. Let u be l(-3). Let s = u + 59. Does 12 divide s/(-12)*(63 + (-1)/(-1))?
True
Let n be (12/(-8))/((-1)/2). Let a(v) = -v**2 + 3*v + 5. Let h be a(3). Suppose 0 = -n*k - 3, h*c - k = -0*k + 151. Is 6 a factor of c?
True
Let b(o) = -138*o**3 - 2*o**2 - 8*o + 12. Is b(-3) a multiple of 9?
True
Suppose 983*w = 998*w - 92925. Does 192 divide w?
False
Let r(w) = -19 - 111*w - 77 + 135*w. Is 16 a factor of r(8)?
True
Let u(f) = 73*f - 171. Let r be 6*(21/6 + -11 + 9). Does 54 divide u(r)?
True
Does 25 divide 17 - (17 + -2 + -5223)?
True
Let l(v) = 729*v + 7 - 727*v + 27. Let h(g) = -g. Let z(b) = 6*h(b) - l(b). Does 22 divide z(-7)?
True
Suppose 186 = 4*k + 158, c + 4*k - 2485 = 0. Is 21 a factor of c?
True
Let b(n) = -n**3 + n**2 - n + 6. Let m be b(0). Suppose -4*s - m = -30. Suppose 0 = 8*x - s*x - 20. Is x a multiple of 5?
True
Is 18 a factor of 69870/680*(-200)/(-6) + -10?
False
Let n(r) = -r**3 - 8*r**2 - 7*r - 50. Let q be n(-8). Is 10 a factor of q/10 + (-56829)/(-285)?
True
Let g(m) = -2*m**3 - 24 + 3*m**3 + 3*m**3 - m - 3*m**3 - 5*m**2. Does 20 divide g