 = -27*s + 45180 - 8379. Does 24 divide s?
False
Let c be (290/(-15))/(2/(-3)). Suppose -17*g + c*g = 0. Suppose g*k - k - 5*z = -42, -5*k + 170 = 5*z. Is 8 a factor of k?
True
Let r = 214 - 427. Let z = r + 503. Is 11 a factor of z?
False
Let h = 457 - -781. Suppose 30*i + h = 6008. Does 6 divide i?
False
Suppose c - k = 268, 8*k - 6*k + 268 = c. Let o = 410 - c. Is 5 a factor of o?
False
Let u be (6 - 0)*(-5)/10 + 4. Let t be ((u/(-2))/(7/(-70)))/1. Suppose -c = -5*c - h + 889, t*h = 3*c - 684. Does 12 divide c?
False
Let p(t) = 460*t + 22. Is p(6) a multiple of 39?
False
Let f = -289 - -301. Does 27 divide f/6 - -2 - -105?
False
Let o = -26 + 29. Suppose -2*f - 6*v + 2*v + 258 = 0, -3*v + 375 = o*f. Suppose -f = -5*j - 2*k, 3*k = 2*j - 3*j + 19. Does 10 divide j?
False
Suppose -29*j = -27*j - 6. Let f(n) = n**3 - 3*n**2 - n + 1. Let q be f(3). Does 9 divide 2 + (12 - q) + j?
False
Let z = -17134 + 33730. Is 28 a factor of z?
False
Is 57 a factor of 36084/3 + (-34)/34?
True
Suppose 0 = 8*i + 147 + 69. Let j = -51 - i. Let w = j + 60. Does 18 divide w?
True
Suppose -672 = -121*y + 114*y. Let w be (-100)/3*(-1 + -2). Suppose y*a = w*a - 432. Is 36 a factor of a?
True
Suppose -5*u - 66 = 69. Let h be 210*((-15)/50)/((-6)/10). Let r = h + u. Does 8 divide r?
False
Let n(t) = -3*t**3 + 140*t**2 - 77*t + 119. Is n(46) a multiple of 21?
False
Let i(k) = -k**3 + 2*k**2 + 6*k + 913. Let o(f) = -24*f + 24. Let a be o(1). Does 9 divide i(a)?
False
Let w(v) = -36*v + 249. Is w(-31) a multiple of 18?
False
Suppose -5*j - 2*a = -15, -3*a + 2*a - 9 = -3*j. Let z(v) = 14*v**2 - 44*v**2 + 10*v + 46*v**2 - 3. Is z(j) a multiple of 9?
True
Let t(l) = 7 - 15*l**2 + l**2 - 33 - l**3 - l**2 - 5*l. Let c be t(-15). Suppose 44*i = c*i - 350. Does 5 divide i?
True
Suppose 0 = -70*b + 63*b + 119. Suppose -1580 = -b*p + 1786. Is p a multiple of 22?
True
Suppose 10*c = 2*f + 14*c + 62, -3*f = c + 83. Is 25 a factor of 826/3 + (3 - (-90)/f)?
True
Let n(z) = 7*z**2 + 49*z + 9. Let a be n(-7). Is 25 a factor of -9 + (a - (4 + -1019))?
False
Does 12 divide 20/(-120) - (-32997)/18?
False
Let u be (2167/44)/(2/16). Let t = u - 174. Does 22 divide t?
True
Let u(q) = -26 - 15 + 41 - 26 + 3*q**2 - 22*q. Is 13 a factor of u(12)?
False
Let u(q) be the first derivative of 37*q**3/3 - 2*q**2 - 12*q + 93. Does 12 divide u(-2)?
True
Suppose 0 = -2*t - d + 118, -5*d - 48 = -t - 0*t. Suppose 5*j + 129 = -3*n, -j + t = -2*n - 28. Let b = n - -58. Does 4 divide b?
False
Let z = 44511 - 28010. Is z a multiple of 34?
False
Suppose -63 = -6*c + 9*c. Let j be (-6)/c - ((-72)/(-14))/(-3). Suppose -j*i - 46 = -288. Is i a multiple of 27?
False
Let x(g) = -24*g**2 + 2*g + 469. Is 7 a factor of x(0)?
True
Suppose -2911 = -15*x + 1634. Suppose 4*j - 3*v = 2*j + x, -4*j + 4*v + 604 = 0. Is 30 a factor of j?
True
Let c(m) = 12*m - 48. Let o(f) = 23*f - 96. Let h(y) = -5*c(y) + 3*o(y). Suppose p = v - 4, 0 = -5*p - 23 + 48. Does 3 divide h(v)?
True
Suppose -1209 = -5*y - 4*h, 3*y - 685 - 46 = -h. Suppose 2*f - 240 = -4*n, 3*n - y = -0*f - 2*f. Is f a multiple of 10?
True
Suppose -17*h = -16*h - 108. Suppose 12*f = -24 + h. Suppose -f*g = 7*g - 1428. Is 34 a factor of g?
True
Let g(y) = 23*y**2 + 4*y + 3. Let l = -20 - -19. Let u be (2/6)/(l*(-6)/(-18)). Does 11 divide g(u)?
True
Let n = 3555 - 2006. Is n a multiple of 36?
False
Let s(b) = 3*b - 2*b - 4 - 2*b**2 + b**3 + 5*b + 5*b. Does 18 divide s(5)?
True
Suppose -4*f = -4*j - 484, -3 - 3 = 2*j. Suppose 2*a - h + 3 = 15, 8 = -4*h. Suppose -s - a*x - f = -2*s, 112 = s - 2*x. Does 12 divide s?
True
Suppose 0 = 116*o - 102*o - 541086. Does 3 divide o/104 - 4 - (-3)/8?
False
Let n be (16 - (2 - -1))*1/(-1). Let o = n - -381. Is o a multiple of 34?
False
Let f = -217 - -221. Suppose -4*l - 2*k = -218, 6*l + 4*k = f*l + 118. Does 3 divide l?
False
Let c = -115 + 196. Suppose -c = -a + 111. Is a a multiple of 32?
True
Let t = 51611 - 22748. Is 105 a factor of t?
False
Let y = 7001 - 2357. Is 12 a factor of y?
True
Let w = 290 + -816. Let c = -302 - w. Is 32 a factor of c?
True
Let q = 4485 - 2787. Is q a multiple of 6?
True
Suppose 6*w + 41386 = 9*a - 5*a, 0 = -5*a - w + 51707. Is 10 a factor of a?
False
Suppose 2*s - 9*s + 4207 = 0. Let f = -307 + s. Is 7 a factor of f?
True
Suppose -3*y = -15*y + 156. Suppose 0 = -2*t + 5*r + 145, 3*t - y*r = -10*r + 204. Suppose -h + t = 7*s - 4*s, -135 = -3*h + 3*s. Does 33 divide h?
False
Suppose -2*h = -10*h - 48. Is 21 a factor of (-2372)/(-2)*(-3)/h?
False
Let n(j) = 11*j + 23. Let m(w) = 11*w + 22. Let b(t) = -4*m(t) + 3*n(t). Let u be b(-12). Does 31 divide u - (7 - 3)/(-4)?
False
Suppose -36*v + 58023 - 5319 = 0. Is 61 a factor of v?
True
Is 152 a factor of 1*(-361)/(-38)*1552?
True
Suppose -25037*l + 25025*l + 124260 = 0. Is 13 a factor of l?
False
Let y(c) = -108*c + 616. Is y(5) a multiple of 19?
True
Let q(y) = -y**3 + 24*y**2 - 42*y - 8. Let k be (-27)/18*(-8)/(-6) - -19. Suppose 5*m - k = 93. Does 4 divide q(m)?
True
Suppose -5*k = -4 - 11. Let u = -1578 - -1582. Suppose 3*h - 5*b - 84 = -30, u*h = -k*b + 43. Is 2 a factor of h?
False
Let o(u) = -88*u**3 + 3*u + 2. Let j be o(-1). Suppose 0*y = 3*y + 5*k - j, 4*k + 12 = 0. Is 17 a factor of y?
True
Suppose -618 = 4*r - 2*r. Let o = -264 - r. Is o even?
False
Suppose 13*n - 46009 = 72*n - 306612. Is n a multiple of 21?
False
Let k(i) = 2*i**3 - i**2 + i. Let x be k(1). Suppose c + 5*q - 160 = 0, 3*c + q - 432 = x*q. Is c a multiple of 11?
False
Let l(n) = 3882*n**2 + 29*n + 27. Is 4 a factor of l(-1)?
True
Let p = -77 + 95. Suppose 0 = p*i + 480 - 1740. Is 5 a factor of i?
True
Let c be 1*4*(-5)/(-10). Suppose c*n - 4 + 0 = 3*u, 6 = 3*u. Suppose -f - n*j + 53 = f, 2*f = -4*j + 58. Is 13 a factor of f?
True
Suppose -31458 = -11*c - 7*c - 196*c. Does 89 divide c?
False
Is (-42)/81*-26391 - 0 - (-10)/(-45) a multiple of 9?
False
Suppose -1362*o = -1356*o - 56964. Does 101 divide o?
True
Let j(f) = 2*f**3 - 11*f**2 - 14*f + 15. Let b(y) = 2*y**2 + 77*y - 111. Let n be b(-40). Does 20 divide j(n)?
False
Is (-15)/(-18) + -91*1*(-1754)/12 a multiple of 15?
False
Let j = -5 + 9. Let u(w) = -2*w - 23. Let q(a) = 3*a + 20. Let n(v) = 4*q(v) + 3*u(v). Does 4 divide n(j)?
False
Let m be (5 - 10)*2/(-5). Suppose 6*g + 620 = i + 4*g, 0 = -m*i - g + 1240. Is 62 a factor of i?
True
Let d = 184 + -129. Let z = d - 47. Is z a multiple of 7?
False
Let n = 488 + -482. Let w(y) = 4*y + 2*y**2 - 2*y**2 + y**2 + 0*y. Is 10 a factor of w(n)?
True
Suppose 6*w - 4429 = 7301. Does 5 divide w?
True
Suppose 0*h - 3*h = -4*x + 32, 3*x + 1 = -4*h. Suppose j + r + 575 = 2*j, x*r = -3*j + 1701. Is 22 a factor of j?
True
Let n(v) be the third derivative of v**6/120 + 7*v**5/20 + 5*v**4/3 + 2*v**2 - 17*v. Is 70 a factor of n(-16)?
False
Let d be (-4)/6 + 870/9. Let l = -60 + d. Suppose -2*a = -k + l, -102 = -3*k + 4*a + 14. Is 15 a factor of k?
False
Let a = -2869 + 3799. Is a a multiple of 31?
True
Is 2 a factor of 300 - (1/3 - (-10)/(-30))?
True
Suppose 29*y + 10*y = -7833 + 22653. Does 10 divide y?
True
Suppose 3*v - 5*g = 58180, -4*v + 44352 = -5*g - 33208. Is 340 a factor of v?
True
Let m be (-25)/9 - (-2)/(-9). Let c(d) be the first derivative of -21*d**2/2 - 9*d - 213. Is 9 a factor of c(m)?
True
Suppose -49*u + 1544480 = 162*u - 14*u. Is 32 a factor of u?
True
Let g be (-70)/28 + 9/2. Is 42 a factor of (g*10)/((-24)/(-504))?
True
Suppose -4*i + 41 = -5*f, -i + 3*f + 14 = 2. Does 16 divide i - 14 - -1*167?
False
Let l(p) = -28*p + 4. Let q be l(-5). Suppose -q = 2*s - 8*s. Suppose 3*r - s = 21. Is r a multiple of 6?
False
Let w(i) = i**2 - 2*i - 5. Let v(k) = -4*k**2 + 11*k + 25. Let c(x) = v(x) + 6*w(x). Suppose p + 0*m = -3*m + 11, -5*m = -5*p + 15. Does 14 divide c(p)?
False
Let j(k) = 15 + 9 - 4*k**3 + 3*k**2 + 31*k + 5*k**2 + 3*k**3. Is j(11) even?
True
Let p(v) = v**2 + 181*v - 5122. Is p(109) a multiple of 344?
True
Let h = 30517 - 19286. Is h a multiple of 54?
False
Let w be (3 + -2*(-50 + 3))*1. Suppose 0 = 106*m - w*m - 4680. Is 13 a factor of m?
True
Suppose 110*h - 640458 = -133*h - 63*h. Is h a multiple of 23?
True
Suppose 2*b = 2*y, -2*b - 6*y + 35 = -y. Suppose -167 = -2*x + 9. Suppose -5*f - b*p + 102 = -x, 3*p + 9 = 0. Is 4 a factor of f?
False
Let u(w) = -w**3 