 Is 24 a factor of s?
False
Let c = 191 + -108. Suppose -c - 4 = -3*i. Is 29 a factor of i?
True
Suppose -2*r + 16 = -0*z + 2*z, -2*r = 3*z - 21. Suppose 3*m - 40 = z*s, m - 10 = 5*s + 20. Does 4 divide m?
False
Suppose 5*n + 161 = 4*h, h + 104 = -4*n - 2*h. Does 16 divide 2*(-4)/8 + n/(-1)?
False
Is 37 a factor of (-98)/1078 + (1 - 22749/(-11))?
False
Suppose 2*l - 177 = -31. Suppose 0 = -2*z + 209 - l. Does 17 divide z?
True
Suppose -15 + 0 = -5*n. Let r(i) = -8*i - 13 - 7*i + 8*i**2 - 2*i + i**n + 4*i. Does 8 divide r(-9)?
False
Suppose 57*a + 5*a - 55800 = 0. Is a a multiple of 18?
True
Let v = 150 + -77. Let w = -65 + v. Is 7 a factor of w?
False
Suppose 3822 = 15*k + 6*k. Is 7 a factor of k?
True
Let v be -129*1*2/(-6). Let o = -58 + 63. Suppose u + 0*s + 2*s = 78, -u + o*s + v = 0. Is u a multiple of 17?
True
Let p = -3984 - -7208. Does 10 divide p?
False
Let j(a) = -a**3 - 4*a**2 + a + 1. Let h be j(-3). Let o = 27 - h. Suppose 3*x - 15 + 46 = 4*y, -4*x - o = -5*y. Is 5 a factor of y?
True
Let j(v) = -v**3 - 10*v**2 - v - 35. Is 84 a factor of j(-13)?
False
Suppose 3*d - 7 = 2. Let j be d*4/24*-10. Is 9 a factor of (-26)/(-1) - 5/j?
True
Let s be (-12 - 1)*(1 - 5). Suppose -s + 422 = 5*r. Does 23 divide r?
False
Does 15 divide (360/(-12))/(-1 - 0/(-1))?
True
Let j be -9 + (-20)/(-4) + 42. Let g = 116 + j. Does 14 divide g?
True
Let q = 762 + -461. Is q a multiple of 3?
False
Suppose -4*x - 18 = k + k, x - 8 = 2*k. Let j(s) = -2*s + 2. Let z be j(k). Does 2 divide (-16)/z*(-30)/4?
True
Let a(n) = n**2 + 10*n + 18. Let x be a(-7). Is 4*((-30)/(-21))/(x/(-21)) a multiple of 20?
True
Suppose -4*k + 4220 = 5*i, 4*i = -5*k - 0*k + 3376. Is 51 a factor of i?
False
Let o be (-2)/25 + 4530/375. Let j be ((-3)/(-2) - -1)*4. Does 6 divide (o + -7)/(2/j)?
False
Suppose -86 = -4*p + 442. Suppose 72 = 2*j - n, 4*j = -7*n + 3*n + p. Is 7 a factor of j?
True
Let y(g) = g**3 + 3*g**2 + g + 1. Let f be y(-5). Let w = -8 - f. Let p = w - 25. Is 10 a factor of p?
False
Let y(k) = 11*k**3 + 3*k**2 - 1. Let v be y(-1). Let q = v + 23. Does 14 divide q?
True
Let v be (18/(-15))/((-10)/25). Suppose 4*m + 16 = w, v*m = 6*m + 4*w + 12. Let q(z) = -z**3 - 4*z**2 - 5*z - 3. Is q(m) a multiple of 11?
False
Suppose 0 = -5*z + 30 - 5. Suppose -5*f - 3*g + 421 = -324, -2*f - z*g = -298. Let h = 229 - f. Does 25 divide h?
False
Let i = 4159 - 2859. Is i a multiple of 25?
True
Let v(t) = t**3 + 10*t**2 - 14*t - 9. Let m(o) = o**3 + 3*o**2 - 1. Let p be m(-2). Suppose -p*n - 1 = -7, -n = -5*b - 57. Is v(b) a multiple of 8?
True
Let m be ((-17)/5 - 12/(-30)) + 5. Suppose 3*u = t + 248, m*u - 7*u + 408 = -3*t. Is u a multiple of 12?
True
Let f = 57 - 35. Suppose -f = 5*z - 7*z. Does 7 divide z?
False
Let b = 759 + -715. Is 13 a factor of b?
False
Is 2 a factor of 12*(1/6)/((-6)/(-162))?
True
Suppose 0 = -79*q + 63230 + 3920. Is q a multiple of 26?
False
Let l = 699 - -525. Does 12 divide l?
True
Is 45 a factor of ((-24)/(-10))/((-8392)/1200 - -7)?
True
Is 23 a factor of (-83865)/10*(60/18)/(-5)?
False
Suppose -2*i - 46 = -5*z, 5*i - z = -5*z - 49. Let l(k) = k**3 + 12*k**2 - 15*k + 16. Is 3 a factor of l(i)?
True
Let d(r) = 2*r**2 - 2*r - 1. Let u be d(2). Suppose -6 + 18 = 3*z - 4*p, -u*z + p + 12 = 0. Suppose -k + 53 = -2*o - 2*o, -z*k + 147 = -3*o. Does 9 divide k?
False
Let x be ((-3)/9)/(1/(-9)). Suppose -2*w = 4*m - 2, -w = -m - 0 - 7. Suppose 7 + 90 = x*z + 5*p, -w*z + 125 = p. Is z a multiple of 12?
True
Suppose 4*s - v + 1817 = 6*s, 0 = -4*s - 3*v + 3637. Does 11 divide s?
False
Let b be (-5 + 2)/(6/(-8)). Suppose -4*s = 2*g - 4, -b*g = -g - s + 15. Does 6 divide g - -4*34/4?
True
Suppose 4*n = -0*n + 3380. Suppose -x = 4*x - n. Suppose 4*p - 103 - x = 0. Is 34 a factor of p?
True
Let j be (-556)/9 + 14/(-63). Let x = 254 + j. Is x a multiple of 24?
True
Let g(m) = -39*m - 1218. Does 7 divide g(-35)?
True
Suppose -4*d - 24*d = -41776. Is d a multiple of 26?
False
Let x(d) = d**3 - 9*d**2 + 4. Let c be x(9). Suppose 4*z - 7 = t + 72, 0 = c*t - 4. Does 14 divide z?
False
Suppose 123 = 10*n - 167. Let h = n + 152. Is h a multiple of 32?
False
Let v be (-4)/((-8)/9)*(-2)/(-3). Let g be (2/(-4))/((-2)/16). Suppose 5*x - 161 = -g*k, 8*x = v*k + 3*x - 77. Is 11 a factor of k?
False
Let r(f) = f**3 - 10*f**2 + 18*f - 12. Let o be r(8). Let q = 16 + o. Is q a multiple of 6?
False
Let k(h) = 457*h - 111. Does 18 divide k(3)?
True
Let f = -66 - -86. Let p = f - -22. Is p a multiple of 17?
False
Suppose 44*m = 51*m - 2576. Is 23 a factor of m?
True
Let f = -6 - -9. Suppose -f*s - 285 = -6*s. Suppose 0 = -5*r - 3*i + s, 2*i + 17 = r + 3*i. Is r a multiple of 14?
False
Suppose -2*x + 122 = 416. Let u = -63 - x. Is 12 a factor of u?
True
Suppose 2*a - 6 = 4. Suppose -3*h + 41 = -4*o, h + a*o + 25 = 3*h. Let j = -7 + h. Is j a multiple of 2?
True
Suppose 4*j - 5 = 23. Suppose 0 = -12*v + j*v + 700. Suppose 5*i + 240 = 5*n - v, -3*n + 227 = -2*i. Does 19 divide n?
False
Suppose -5*o = -2*o + 15, 5*o = -2*c - 9. Let t = 0 + c. Is 4 a factor of t?
True
Let b(g) = -2*g + 4. Let w be b(3). Does 25 divide -3 - (-27 + 1 + w)?
True
Let h(c) = 2*c**2 - 15*c + 2. Let o = 4 + -8. Let r(l) = 2*l**2 - 14*l + 2. Let v(i) = o*h(i) + 5*r(i). Is 6 a factor of v(7)?
True
Let i = 821 + 679. Is i a multiple of 10?
True
Suppose 0 = 4*t - 3*y + 8*y - 40, -y = -4. Suppose -181 = -4*q - 5*w, -t*q + 129 = 2*w - 93. Does 22 divide q?
True
Let s(r) = 52*r**3 - 6*r**2 - 7*r + 33. Let w be s(9). Is (-4)/(-26) - w/(-312) a multiple of 30?
True
Suppose -3*l + 99 = -20*n + 23*n, -5*n = 10. Is l a multiple of 7?
True
Suppose 0 = -16*z + 14*z + 16. Let j(x) = x**3 + 0*x + 0*x**2 + z*x**2 - x - 3*x**2. Is j(-5) even?
False
Let n = 82 + -74. Suppose -2*s + n*b - 5*b = -124, 3*s - 180 = 3*b. Is 28 a factor of s?
True
Let v be (-2)/(-5) - 2088/20. Let n(q) = -q**2 - 3*q + 24. Let z be n(4). Does 4 divide v/39*18/z?
True
Suppose -2162 + 850 = -3*w + v, 0 = -v + 5. Does 42 divide w?
False
Let h(d) = -d - 3. Let u be h(-5). Suppose 3*v = -u*c + 4 - 0, 4*v = -3*c + 4. Suppose 0 = -j + v*j - 12. Is j a multiple of 4?
True
Suppose -6*f = -9*f - 81. Let x = f + 17. Let j = -6 - x. Is j even?
True
Let m(d) = 3*d + 4. Let q(l) = -4*l - 4. Let x(f) = 6*m(f) + 5*q(f). Let c be x(2). Suppose z - 31 - 16 = c. Is z a multiple of 10?
False
Suppose 1285 = 6*h - 3*h - 2*d, -3*d = -5*h + 2143. Does 11 divide h?
False
Let j(r) = -r**3 + 5*r**2 - 3*r + 3. Let c(f) be the third derivative of -f**6/30 + f**4/24 + f**3/6 - f**2. Let z be c(-1). Is 3 a factor of j(z)?
False
Suppose -i = -3*x + 3, x + x = -2*i + 10. Suppose 0*u + 159 = 3*u - 3*t, -i*t + 15 = 0. Does 15 divide u?
False
Suppose 5*p - 2 = -4*l, -3*p = -4*p - 2*l - 2. Let f(c) = -p*c + 6*c + 12 - 12. Is 7 a factor of f(5)?
False
Suppose -2085 = -5*n - 5*c, 0 = 17*c - 13*c + 12. Is n a multiple of 15?
True
Suppose -4*t - 44 = 4*r, 5*r = t + 2*t + 73. Let y = -21 - t. Is (6/y)/((-9)/60) even?
True
Suppose -965 = -5*w - b, -4*w - b + 676 + 97 = 0. Is 64 a factor of w?
True
Suppose 4*n = 2*n. Suppose n = 5*i - 0*i + 10. Is 2 a factor of (-34)/(-4) + (-1)/i?
False
Suppose 3*y - 4*g = 2773, -y - 2*g - 205 = -1136. Does 14 divide y?
False
Let y be 480/36*1*6. Suppose 4*l = 64 + y. Is l a multiple of 9?
True
Suppose 480 = 3*v - 5*q - 0*q, 2*q = 0. Is v a multiple of 10?
True
Suppose 4*y + 1 - 9 = 0. Suppose d = -y*d. Suppose -2*j + 4*j - 16 = d. Is 4 a factor of j?
True
Let u = -165 + 248. Let t = u - -19. Is t a multiple of 39?
False
Suppose 5*p + 0*y = y + 918, 2*y - 909 = -5*p. Suppose -79 - p = -2*a. Does 7 divide a?
False
Does 43 divide (-13 + (-760)/(-24))*(-129)/(-4)?
True
Let y(j) = j**3 + 4*j**2 + 2*j - 1. Let b be y(-3). Let c(r) = 13*r - 4*r + 45*r**2 - 6 - 46*r**b. Does 4 divide c(6)?
True
Let h be 8/10*(-55)/22. Let w(o) = -5*o - 5. Let r(u) = -135*u - 135. Let l(c) = h*r(c) + 55*w(c). Is 5 a factor of l(-4)?
True
Let m be -10*(1 - (-3)/(-2)). Suppose y - 2 = 3*i, 2*y - 16 = m*i - 7. Suppose -45 = -4*c + q, 2*q = -2*c + 3 + y. Is 11 a factor of c?
True
Let n(h) = 11 + 5*h + 17*h - 2*h - 4*h + h**2. Does 11 divide n(-16)?
True
Let i(d) = -17*d**3 - 2*d**2 + 4*d + 31. Is 10 a factor of i(-3)?
True
Is (9/(-6))/(4 + (-1875)/468) a multiple of 18?
True
Let j(s) = 13*s - 92