48 = 4*z + 5*o, -20 + 8 = z + 2*o. Is 50/((3/(-24))/(3/z)) a multiple of 17?
False
Suppose -11*c = -12*c + 14. Suppose -c = 3*p - 29. Suppose -p*q - k + 359 = -0*q, 3*k - 141 = -2*q. Does 6 divide q?
True
Let z be (-32956)/(-35) + (-2)/(-5). Suppose 7*r = z + 878. Is 23 a factor of r?
False
Let f = -6 + 9. Suppose 115 = f*h - 5*u, -143 = -4*h + 2*u + 1. Suppose -h*z + 248 = -31*z. Is 6 a factor of z?
False
Suppose 150*k - 1375533 = 2391867. Does 299 divide k?
True
Does 3 divide (-5958)/(-7) + (-17 - (-118)/7)?
False
Suppose 3*n + 2*n = -3*p + 2208, -2*p = -n - 1459. Is 2 a factor of p?
False
Let h = -92 + 96. Let a(n) = 44*n - 6. Let g be a(h). Let x = 280 - g. Is x a multiple of 11?
True
Is (1296/28)/(16/1400) a multiple of 54?
True
Suppose 3*x + 2*x + 4*n + 712 = 0, -5*n = 15. Let v = -205 - -109. Let k = v - x. Does 11 divide k?
True
Suppose -4*q - 14*q - 2016 = 0. Is 11 a factor of -1 - 1 - (-1)/((-1)/q)?
True
Suppose 2*n + 1944 = -0*n + 6*n. Is 54 a factor of n?
True
Suppose -s + 1 + 10 = 0. Suppose s*u - 6*u + h - 2996 = 0, h - 1798 = -3*u. Does 51 divide u?
False
Let g = -15802 + 30626. Does 136 divide g?
True
Suppose -60*n - 2912 = -44*n. Let i = 35 - n. Does 7 divide i?
True
Let p(s) = -49*s**3 + s**2 - 2*s - 1. Suppose 0 = -4*f - w - 7, 1 - 20 = 4*f + 5*w. Is 19 a factor of p(f)?
False
Let d be ((-4)/(-4))/((-2)/(-60)). Let w(t) = -t**3 + 7*t**2 - 20*t + 144. Let s be w(7). Does 3 divide d/s*48/40?
True
Suppose -4*q - 5*p = -9*q + 40, -4*q + 32 = -p. Let u(w) = -w**3 + 10*w**2 - 8*w - 11. Let i be u(q). Suppose 5*j - 382 = i. Is 12 a factor of j?
False
Let y(o) = -o + 60. Suppose -j - 67 = -3*q, 4*q - 5*j + 3*j = 92. Is y(q) even?
False
Suppose 10427*p + 370140 = 10458*p. Is p a multiple of 10?
True
Does 4 divide (-480)/(-1680) - 18504/(-14)?
False
Let r = 79526 + -31718. Does 12 divide r?
True
Suppose -8*w = -3*w. Suppose w = 10*r - 14*r - 1132. Let c = -151 - r. Does 12 divide c?
True
Let p(x) = x**3 - x**2 + x - 36. Let k be p(0). Let g be (k/(-8))/(-9)*(-1 - -1). Is 8 a factor of g + 0 - (7 + -26)?
False
Let o = -70 + 130. Suppose 4*v + o + 86 = -2*w, -5*v - 5*w - 195 = 0. Does 10 divide (51/v)/(3/(-82))?
False
Suppose -3*a - 35 = -485. Suppose a = -10*y + 12*y. Let k = y + -58. Is 4 a factor of k?
False
Suppose 2*h = 10, -25 = -4*l + h + 170. Let b be (216/30)/(1*(-3)/l). Let a = -111 - b. Is a a multiple of 3?
True
Is 19 a factor of ((-8)/(-16))/(2/16)*209?
True
Let j = -437 - -431. Is 20 a factor of ((-78)/(-8))/(j/(-312)) + 2?
False
Suppose -44404 = -27*a + 23*a - 2*y, -5*a + 55514 = -2*y. Does 58 divide a?
False
Suppose 0 = i - 20*i + 4389. Suppose -258 = -i*v + 228*v. Does 3 divide v?
False
Let i(o) = -2*o - 38. Let b be i(-19). Suppose -2*n + 447 + 539 = b. Does 46 divide n?
False
Let u(z) = -8 - 2*z**2 + z + 13 - 11 - 9. Let w be u(5). Let k = w - -114. Is 27 a factor of k?
True
Let k(m) = 112*m - 1790. Let p be k(16). Let s(g) = 7*g + 5. Let i be s(4). Suppose 19 = p*l - i. Is 13 a factor of l?
True
Let t(k) = -k**2 - 26*k - 29. Let f(i) = -2*i**2 + 32*i + 59. Let v be f(18). Is t(v) a multiple of 35?
True
Suppose -c - 4*q + 20303 - 6532 = 0, 0 = 4*c - 5*q - 55105. Suppose 11*i - c = -14*i. Is 62 a factor of i?
False
Suppose 3*b - t - 2863 = 14047, -5*b + 28150 = 5*t. Is 49 a factor of b?
True
Suppose 0 = 2*r + 4*i + 1277 - 6835, 5*r - 13875 = -5*i. Is r a multiple of 88?
False
Let b(y) = -38 - 3*y + 76 - 15*y. Is b(-15) a multiple of 14?
True
Let u(w) = -2*w**2 - w. Let y be u(2). Is -1*(y - (-2 + 9)) a multiple of 3?
False
Suppose 0 = 3*c + 4*a - 27602 + 4324, -c + 7766 = 3*a. Does 4 divide c?
False
Let m = 40 - -1424. Is 24 a factor of m?
True
Let v = 141 - 141. Suppose 4*z + 1476 = -w + 3*w, -2*w - 3*z + 1497 = v. Is w a multiple of 24?
True
Suppose -507*d - 1823031 + 5284359 = -421*d. Is 8 a factor of d?
True
Let j be (1/(-1))/(8/(-16)). Suppose -4*b + 0*p + 22 = -3*p, 4 = j*b + 2*p. Suppose -2*m + 212 = -3*x, -3*m - 3*x - 106 = -b*m. Does 11 divide m?
False
Let u(x) = -2*x**3 - 13*x**2 - x + 9. Let s be u(-9). Suppose t = -5*i + s, 4*i = 2*t + 6*i - 846. Let p = t + -243. Does 30 divide p?
True
Let q = -5237 - -5510. Is q a multiple of 39?
True
Suppose -14*z + 7*z + 14 = 0. Let r(s) = -2 + s**2 + 2*s - 4 + 5*s**2 + 5. Does 9 divide r(z)?
True
Let r(l) = -10*l - 78. Let c be r(-27). Let y = 33 + c. Is 5 a factor of y?
True
Let c(u) = u**3 + 13*u**2 - 9*u - 17. Let k be c(-13). Suppose 0 = 9*x - 13*x + k. Let d = x + -16. Does 4 divide d?
False
Let f be (-2)/10 + (-416)/(-80). Suppose -5*h + 4*k + 33 = f*k, -4*h + 34 = -3*k. Is h a multiple of 7?
True
Suppose 400*g - 3311356 - 807863 - 876781 = 0. Is g a multiple of 127?
False
Suppose 2*a - 41 = x, 5*a + 4*x - 104 = 8*x. Suppose -a*i = -16*i. Suppose -175 = -i*y - 5*y. Is 5 a factor of y?
True
Let t = -216 + 230. Suppose -11*d = -t*d + 2*j + 1632, -d = -2*j - 540. Is d a multiple of 26?
True
Suppose -3*w + 34 = -z, -5*z = -w - 0*w + 30. Suppose -5220 = 5*p + 24*p. Let m = w - p. Is m a multiple of 12?
False
Let k = -6653 + 12053. Is 100 a factor of k?
True
Let r be (-337 - -39) + 10/2. Let m = -263 - r. Is m a multiple of 19?
False
Let n = -10401 + 14448. Is 57 a factor of n?
True
Suppose 0 = -127*f + 74947 + 574990 + 606220. Is 52 a factor of f?
False
Suppose 30769 - 11959 = 9*y. Is 38 a factor of y?
True
Suppose 18*q - 468 + 36 = 0. Does 23 divide -162*(-42)/q + (-3)/(-6)?
False
Let k(m) = 237*m + 7. Suppose -2*z = -3*f - 25, -f + 59 = 4*z + 2*f. Suppose z = -6*c + 20. Is 34 a factor of k(c)?
False
Let j = 23 - 29. Let l be (3/(-2))/(j/8). Does 15 divide 4 - 230/(-18) - l/(-9)?
False
Let h = -171 + 180. Suppose -d = h*d - 4210. Is 19 a factor of d?
False
Let m be (3 + 1)*(135/(-4))/(-5). Suppose 5603 - 986 = m*k. Is k a multiple of 9?
True
Let y = 3797 + 73013. Does 121 divide y?
False
Let p(r) = 131*r**2 - 634*r - 4433. Is p(-7) a multiple of 40?
False
Let w = 32489 - -3364. Is 123 a factor of w?
False
Let b(t) be the first derivative of 175*t**2/2 + t + 80. Does 16 divide b(1)?
True
Let k(q) be the second derivative of q**4/4 - 2*q**2 + 2*q - 36. Is 11 a factor of k(9)?
False
Suppose -2*r - 2*r = -0*r. Let p be r/(-3*4/(-24)*2). Suppose -3*k + 150 + 30 = p. Does 20 divide k?
True
Suppose 236 + 673 = 33*b - 42*b. Suppose 372 = -2*u - 276. Let s = b - u. Does 11 divide s?
False
Let p(a) = 43*a**2 + 254*a - 6. Does 3 divide p(-11)?
True
Suppose -3751 = -2*c - 871. Suppose 214*r = 222*r - c. Is 20 a factor of r?
True
Suppose -3*f + 3*u = -8*f + 131929, -2*f + 52765 = -u. Is 116 a factor of f?
False
Suppose 0 = -5*y - x, -2*y + 13*x = 9*x + 22. Let g(w) = -141*w - 9. Let h(p) = 281*p + 19. Let k(m) = 13*g(m) + 6*h(m). Is k(y) a multiple of 11?
False
Let w(l) = -464*l + 172. Let a(f) = 3. Let n(s) = -3*a(s) - w(s). Is 19 a factor of n(4)?
False
Let m(g) be the first derivative of -g**3/3 - 19*g**2/2 + 38*g - 44. Let n be m(-26). Let l = n + 240. Is 24 a factor of l?
True
Let n(z) = -z**3 - 10*z**2 + 11*z + 15. Let h = 20 - 15. Suppose 16 = h*r + 71. Does 5 divide n(r)?
True
Suppose 3*x - 11 = -2*p, -5 + 21 = 3*x + p. Is (-192)/448 - (-8963)/x a multiple of 64?
True
Let z be (9 + -143)*((-6)/(-4))/3. Let n = -82 - z. Does 23 divide 280/n*36/(-16)?
False
Let c be (-5 + 80/15)*6. Suppose 10 = 5*l, -c*o - 3*l = -5*l - 8. Is 40 a factor of o/4 + 6480/32?
False
Let s(d) = -11*d**2 - 3*d - 5. Let k be s(7). Let p = -833 - k. Does 14 divide p/(-6) - (-20)/15?
False
Let z = -4414 - -6944. Suppose 35*v = 12*v + z. Is v a multiple of 5?
True
Let r(n) = 12*n**2 - n + 33. Suppose -6*o - 37 = -5*i - 2*o, i - 2*o = 11. Does 8 divide r(i)?
True
Let k(s) = -s**2 - 8*s - 5. Let b be k(-7). Suppose 7*h - 4*d = b*h + 1690, -h + 338 = -4*d. Is 26 a factor of h?
True
Suppose 0 = -5*u + u + 2*k + 50, 2*k + 10 = 0. Suppose 1141 + 29 = u*v. Is 22 a factor of v?
False
Let t(v) = -v**3 + 19*v**2 - 19*v + 21. Let o be t(18). Suppose o*y = -4*a - 289, 2*a - 378 = -0*y + 4*y. Is ((-456)/y)/(1/5) a multiple of 12?
True
Let q(y) be the third derivative of y**6/120 - y**5/12 + y**4/24 - 19*y**3/3 - 3*y**2. Suppose -34*w + 21 = -31*w. Is 22 a factor of q(w)?
False
Let b = 55 + 19. Let w be (-3)/12*(-6 + -2). Let x = w + b. Is x a multiple of 19?
True
Suppose -5*t - 225 = -10*t. Let c = 51 - t. Sup