ppose -5*i + 3*i - 5*o + 101 = 0, -z*o - 272 = -4*i. Is i a multiple of 6?
False
Let k = 0 - 4. Let w be (8 - k)*4*-1. Let u = w - -120. Is u a multiple of 20?
False
Suppose -3*o - 13 = -j + 3, 2*j + 3*o = -4. Suppose -b + j*x + 255 = 0, -747 = b - 4*b + 3*x. Does 13 divide b?
True
Suppose -9*k - 176 = -1211. Let y = k - 84. Does 14 divide y?
False
Suppose -12 = -4*p + b, -p = -5*p + 3*b + 12. Suppose 2*o + 4 = p*o. Suppose -33 - 15 = -o*y. Does 6 divide y?
True
Suppose 4*n - 4*c - 9 = -49, 3*c + 15 = -2*n. Let o = n - -37. Does 4 divide o?
True
Suppose -2*k - 27 = k. Let r = 108 - k. Does 23 divide r?
False
Let b(w) = -3*w**3 + w + 1. Let t be b(-1). Let a(k) be the third derivative of k**4/6 - 4*k**3/3 - k**2 + 77*k. Is a(t) a multiple of 2?
True
Suppose 0 = -5*u + d + 10732, -2*u + 84*d + 4300 = 80*d. Is 37 a factor of u?
True
Suppose 40*d - 10748 = 8452. Is d a multiple of 22?
False
Suppose 6*l - 2247 = 345. Let m(b) = 3*b - 2. Let c be m(2). Suppose -l = -c*y - 2*y. Is y a multiple of 12?
True
Let s = -14 - -39. Suppose 0 = -3*q + i + 1, 0*i - s = -5*i. Suppose 0 = -0*b + q*b - 118. Is 14 a factor of b?
False
Let q = 352 - 100. Suppose -4*a - q = -k + 773, -2*k - 4*a + 1990 = 0. Does 13 divide k/25 + (-3)/15?
False
Let r(l) = 17*l + 5. Suppose -2*g - 2*z = -7*g + 16, 2*g + 5*z - 18 = 0. Does 11 divide r(g)?
False
Suppose -743 = -4*m - 2*x + 679, 4*x = -2*m + 720. Is m a multiple of 6?
True
Let l(u) = u**3 + 13*u**2 - 19*u - 1. Let i(r) = -13*r**2 + r. Let g be i(-1). Let y be l(g). Does 14 divide y*((-1)/3 + 1)?
False
Let r be (-2 - 0)*(-65)/26. Suppose 406 = 4*i + i + 2*a, r*i + 4*a - 412 = 0. Is i a multiple of 25?
False
Let b = 915 + -580. Does 17 divide b?
False
Let y(p) = 4*p - 3. Let t be y(2). Let g(j) = j**2 - j - 4. Let r be g(3). Suppose t*m - 69 = r*m. Is 8 a factor of m?
False
Let p(w) = -3 + 9 - 3 - 3*w**3 - 6*w**2 - w + 2*w**3. Is p(-6) a multiple of 8?
False
Let d(b) = -8*b. Let t be d(-1). Suppose 0 = 8*n + 2*n - 0*n. Does 8 divide (-5)/((-5)/t) - n?
True
Suppose k - 1 = 2. Suppose 4*f - 11 = -k*c, -c - 2 - 7 = -5*f. Is 29 a factor of -29*6/f*-1?
True
Let p(b) = b**2 - 4*b - 3. Let z be p(5). Let m = -131 - -131. Suppose m = -z*r + 42 + 30. Is r a multiple of 18?
True
Is (24/(-10))/(54/(-6570)) a multiple of 73?
True
Suppose 0 = 8*m + 175 - 367. Is 24 a factor of m?
True
Suppose -382 - 88 = 5*l. Let h be 401/(-7) + (-10)/(-35). Let g = h - l. Is 32 a factor of g?
False
Let r = 42 - 61. Let h = -16 - r. Does 11 divide -1 - (h - (37 - 0))?
True
Suppose -4*z = -8, -4*z - 92 = -3*n + 2. Does 17 divide n?
True
Let y(s) be the first derivative of -s**4/4 - 20*s**3/3 - 19*s**2/2 + 25*s + 1. Does 10 divide y(-19)?
False
Let a(o) = 79*o**2 - 85*o + 2. Does 36 divide a(5)?
False
Does 46 divide (-1)/((-2)/345*42/56)?
True
Suppose 11*s + 141 = 8*s. Let c = 60 + s. Is 6 a factor of c?
False
Let d = -787 - -1117. Is 11 a factor of d?
True
Suppose -v - 3 = 3*l, -4*l - 3*v - 11 = -2. Suppose l = -2*x + 4 - 2, -2*o = -2*x - 126. Does 16 divide o?
True
Let a = -65 - -72. Suppose o + 2*j = -o + 6, 2*o - 2 = 2*j. Does 3 divide a - (-2 - (2 - o))?
True
Let o be 15/45 + (-13)/3. Let c be 162/(4 - (o + 7)). Suppose -3*b - 2*h + 3*h + c = 0, -162 = -3*b - 4*h. Is 17 a factor of b?
False
Let n(k) be the first derivative of -k**2/2 + 10*k + 30. Let a(j) = j**3 - 5*j**2 - 6*j + 3. Let v be a(6). Does 4 divide n(v)?
False
Let c(n) be the first derivative of n**4/4 + 7*n**3/3 - n**2/2 - 2*n + 6. Let b be c(-7). Suppose -115 = -b*t - 4*s + s, -15 = -t + s. Does 10 divide t?
True
Let q(t) = -2*t + 12. Let f be q(4). Suppose -5*w + 330 - 85 = 5*u, 0 = -2*u + f*w + 80. Is 9 a factor of u?
False
Let v be 2*3/(-6) + (-8)/(-2). Suppose 123 = 4*d + v*s, 1 = -2*s + 3. Is 15 a factor of d?
True
Let r = 9 - 7. Let x(k) = k**3 - 4*k**r + 2*k - 2*k**2 - 5 + 1. Is 25 a factor of x(7)?
False
Suppose 4*s - 13 = k, 0*s - 4*s - 4*k = 12. Suppose -2*t + 652 = -3*y + 139, -4*t = -s*y - 1014. Is 12 a factor of t?
True
Suppose -5*t = -3*r - 4087, 1637 = 8*t - 6*t + r. Is 16 a factor of t?
False
Let w = 487 + -275. Suppose 5*o = o + w. Is o a multiple of 12?
False
Let y = 786 + 888. Is y a multiple of 18?
True
Let v(q) = -2*q**2 - 5*q + 5. Suppose 0 = k - 10 + 6. Let b be v(k). Let w = -27 - b. Does 6 divide w?
False
Is -2*(-327)/(-4)*(-53 - -51) a multiple of 9?
False
Suppose 4*r - 12*k + 16*k = 9172, -11420 = -5*r + 4*k. Does 44 divide r?
True
Let x(i) = -4*i**2 - 12*i + 24. Let s(n) = -n**2 - n. Let m(y) = -3*s(y) + x(y). Is m(-8) a multiple of 2?
True
Suppose -5*c = l - 3630, 2*l - 1041 + 2505 = 2*c. Is c a multiple of 13?
False
Let s be 9 + -2 + 0 + 3. Let x be (8/s)/(6/15). Is 4 a factor of (-60)/(-3) + (-1 - x)?
False
Is 52 a factor of -8 - 406/(-49) - 7278/(-7)?
True
Let c be 2/4 - 31/2. Suppose 0 = -3*o - 38 - 88. Let b = c - o. Is b a multiple of 14?
False
Suppose -6*j + 5 = -j. Suppose d = 4*w - 3, -10 + j = 3*w - 3*d. Suppose -w*v = -2 - 62. Is v a multiple of 16?
True
Let m = 938 + -427. Is m a multiple of 65?
False
Suppose 4*h - 1538 = -2*u, 0 = -4*h + 2*h + 2*u + 784. Does 9 divide h?
True
Let h(d) = 3*d - 22. Let l be h(9). Suppose -3*j = -p + 14, 4*p - 95 = -l*j + 4*j. Does 4 divide p?
False
Let v(i) = -i + 5. Let j be 3/(-3)*9 + 2 + -1. Does 13 divide v(j)?
True
Let c(q) = 1988*q - 142. Is 54 a factor of c(2)?
True
Suppose 0 = 5*p + 4*w - 7072, -10*p + 2*w = -9*p - 1406. Is 4 a factor of p?
True
Let b(l) = l**3 + 0*l**3 - 11 - 13*l - 6*l**2 - 7*l**2. Let y be b(14). Suppose 4*j - 68 = -y*f - 0*f, -f = j - 23. Is f a multiple of 6?
True
Is (8256/80)/((-8)/(-150)) a multiple of 15?
True
Let m = 5 + 0. Is 7 - m - -11*3 a multiple of 26?
False
Let z(t) = t**3 - 9*t**2 - 9*t - 6. Let q be z(10). Suppose 5*n - 33 = -3*c, -3*n + q*c - 5 = -48. Is 10 a factor of 3/(n/75) + -2?
False
Let y = -39 + 47. Suppose y*a + 167 - 487 = 0. Is a a multiple of 10?
True
Let o = -1970 + 3396. Does 62 divide o?
True
Let r(d) = -d**3 + 15*d**2 + 15. Let h(f) = f**2 - f - 2. Let g be h(-2). Let c be g/3 - (-287)/21. Is 5 a factor of r(c)?
True
Let g(j) be the first derivative of -4*j**2 + 3*j + 1 + 7*j**2 - 5 - 5. Is g(6) a multiple of 13?
True
Let y(b) be the third derivative of 1/6*b**3 - b**2 - 5/24*b**4 + 0*b + 0. Is 11 a factor of y(-2)?
True
Let x = 44 + 1. Suppose -x = -5*c - 15. Let u(p) = 2*p + 3. Is u(c) a multiple of 5?
True
Is 594 + (572/(-264) - 1/(-6)) a multiple of 57?
False
Let j be (15/45)/(1/9). Suppose 15 = 3*c + j. Is (34/(-6))/(c/(-72)) a multiple of 24?
False
Suppose 2*p - 5 = o, -4*p - o + 7 = -0*p. Suppose p*d - 84 = -d. Is d a multiple of 5?
False
Let m be 7/(-1) - 2*1. Let r be (9/(-12))/((-2)/(-16)). Does 5 divide m/r*(-40)/(-6)?
True
Let g(q) = 4*q**2 - 59*q - 7. Does 20 divide g(-15)?
False
Suppose 0 = -3*j - 3*d + 10 + 14, 5*j - 8 = 3*d. Suppose 0 = -3*y + 2 + j. Suppose -y*r + c = -31, -r + 17 = -2*c - 0*c. Does 15 divide r?
True
Suppose -2*f = 3*f. Let r be 4 + f + 2 + -4. Suppose -19 = -r*x + 73. Is 23 a factor of x?
True
Suppose -2*t = -3*t - 9. Is (-3)/27*-146 + 2/t a multiple of 15?
False
Is (-97)/582 + 1513/6 a multiple of 21?
True
Suppose 8 = -2*r + 4*r. Suppose 0*j = -r*j + 3*f + 138, 4*f + 107 = 3*j. Let n = -18 + j. Is n a multiple of 10?
False
Let a(h) = h**3 + 3*h**2 - 3*h + 3. Let x be a(-4). Let p be (6 - 3)*(-1)/(-3). Is (1*x)/(p/(-19)) a multiple of 4?
False
Let x(w) = w**2 + w + 1. Let v be x(2). Let g be (-2)/v + (-115)/(-35). Suppose 5*b + 3*c - 234 = 0, g*c - 189 = b - 5*b. Is 15 a factor of b?
True
Suppose 1128 = -3*j + 7*j. Is 78 a factor of j?
False
Let b = -122 - -56. Let x = -49 - b. Is x a multiple of 5?
False
Suppose -775 - 305 = -5*r. Is 10 a factor of r?
False
Let b(t) = -16*t + 136. Is 9 a factor of b(-23)?
True
Let g = -6649 + 9933. Is 62 a factor of g?
False
Does 30 divide (-8398)/(-16) + 29/232?
False
Suppose -33*u - 130152 = -84*u. Is u a multiple of 22?
True
Let w(u) = 2*u + u**3 - 7*u**2 + 14 + 4*u**2 + 4*u**2 - 6*u. Is 7 a factor of w(0)?
True
Suppose -5*r = 4*a - 13 - 7, 3*r + 5 = a. Let t = a + 29. Suppose t = 2*p + 2*j, -62 = -4*p + 3*j + 6. Is 9 a factor of p?
False
Let f be ((-3)/(-6))/(2/4). Let v be f*(-3 + (-3)/(-3)). Is 2/(0 + v) + 42 a multiple of 9?
False
Let d(k) = -2*k**3 + k**2 - 2*k - 1. Let j b