 - 99 = -2*t + 6*c. Let o = t - 29. Does 4 divide o?
False
Let w = -2519 - -4239. Is 40 a factor of w?
True
Let q(c) = 4*c - 1. Let l be q(1). Let u(a) = -11*a + 19. Let s(m) = -10*m + 17. Let i(r) = -6*s(r) + 5*u(r). Is i(l) a multiple of 8?
True
Suppose 52 + 44 = 4*z. Suppose 3*n - n - z = 0. Is 3 a factor of n?
True
Let x(c) be the first derivative of 2*c**4 - c**3 - 9*c + 6. Let s(g) = -7*g**3 + 4*g**2 + g + 9. Let m(v) = -7*s(v) - 6*x(v). Is m(11) a multiple of 9?
False
Let b(o) = o**3 + 4*o**2 - 7*o - 7. Let y be b(-5). Suppose x = -0*m - 3*m + y, 0 = -4*x - 3*m + 3. Suppose 81 = -x*d + 3*d. Is d a multiple of 9?
True
Let s = -47 + 82. Suppose 77 = 3*h + s. Is h a multiple of 7?
True
Let d(h) = -3 + 6*h**2 - 3*h**2 + 5 + h - 2*h. Let l be d(7). Let w = l - 78. Is w a multiple of 16?
True
Let t(k) be the third derivative of -1/30*k**5 - 4*k**2 + 0 + 0*k + 0*k**3 - 1/30*k**6 + 0*k**4. Is t(-2) a multiple of 12?
True
Suppose -9*r + 11672 + 154 = 0. Is r a multiple of 73?
True
Is 77 a factor of 10128/(-60)*10/(-4)?
False
Let j(f) = 6*f + 1. Let m(a) = a. Let u(g) = 6*j(g) - 39*m(g). Let x be u(-5). Let k = 38 - x. Is 4 a factor of k?
False
Suppose 0 = 8*x - 0 + 16. Is 15 a factor of 1*((-206)/(-2) - 4/x)?
True
Is (-1 + 28/(-7))*-99 a multiple of 5?
True
Suppose v + 2179 = -2*k + 5*k, -4*k + 3*v + 2912 = 0. Does 18 divide k?
False
Suppose 3*l - 2*p = -0*l - 240, 0 = p. Let v = -46 - l. Does 17 divide v?
True
Let d(p) = -p**3 - 18*p**2 - p + 12. Is 98 a factor of d(-19)?
True
Let a(z) = -2*z**2 - 1. Let d be a(-1). Let t(c) = c**3 + 2*c**2 - 2*c + 3. Let p be t(d). Suppose 2*k - 4*r + p = -6, 15 = 4*k + r. Is 2 a factor of k?
False
Let c = -15 + 89. Is 5 a factor of c?
False
Let m(d) = -d**3 - 30*d**2 - 13*d - 46. Is 43 a factor of m(-30)?
True
Suppose 4*v = -3*s - 8, -s - 4*v = -6*s + 40. Suppose 5*n = -3*d + 7 + 17, -4*n = -s*d. Suppose 2*z - a = n, 3*z + 4*a - 2 = 8. Is z even?
True
Let z(y) = -7*y. Let r(m) = -m**2 + 4*m + 7. Let l be r(5). Let h = l + -3. Is 5 a factor of z(h)?
False
Suppose 3*a - 7*a - z = -1246, 2*a - 4*z = 632. Is 104 a factor of a?
True
Let k = 51 + -6. Is 29 a factor of k?
False
Let b = 384 - 157. Is 6 a factor of b?
False
Let k(f) = -f. Let r(h) = 8*h + 15. Let t(v) = -3*k(v) - r(v). Let o(b) = -b**3 + 8*b**2 - 10*b + 10. Let l be o(7). Is t(l) a multiple of 20?
True
Let l(g) be the first derivative of -3*g**2/2 - 15*g - 2. Let r(u) = -u**2 - u + 1. Let d be r(3). Does 5 divide l(d)?
False
Suppose u = -2*k + 493 + 201, 4*u = 5*k + 2815. Is u a multiple of 35?
True
Suppose 0 = 3*d + 9, -2*p + 10*d = 6*d - 22. Suppose 0 = p*b - 334 - 26. Is 12 a factor of b?
True
Suppose 16 = 5*i + 286. Let y = i + 126. Is 16 a factor of y?
False
Let t = -1 - -3. Suppose t = -5*b + d + 17, 0 = -4*b + 5*d + 33. Is 7 a factor of 5 - (b + -5 + 1)?
True
Suppose 2*n = -2, -67 = -v + 3*n + 46. Does 2 divide v?
True
Let y = -215 + 237. Is 11 a factor of y?
True
Suppose 6*o - 5*o = 5, 5*v - 5*o - 350 = 0. Does 7 divide v?
False
Let o = 37 - 34. Suppose 70 = 2*s - 5*n + 16, 81 = 3*s + o*n. Is s a multiple of 9?
True
Let d(i) = i - 10. Let c be d(10). Suppose c*j + 3*j = z + 86, 5*j + 4*z - 149 = 0. Is 8 a factor of j?
False
Let b(a) = -a**3 - 34*a**2 + 34*a - 36. Let u be b(-35). Let l(f) = -66*f - 2 + 2. Is l(u) a multiple of 22?
True
Suppose -150 = -4*y - 11*y. Is 4 a factor of y?
False
Suppose -5*k = -k - 304. Suppose r - 3*z - k = z, -2*r - 5*z = -152. Does 19 divide r?
True
Let p = 12 - -13. Does 21 divide p?
False
Suppose -66 = -7*s - 80. Let i(o) = 16*o**2 + 5 - 1 + 7*o**2. Does 16 divide i(s)?
True
Let g = -147 + 227. Suppose 2*a = -2*t + g, -a = -2*t + t - 36. Suppose 0 = 4*w + 2*s - a, 4 = -3*w - 5*s + 15. Is w a multiple of 12?
True
Let a(j) = 4*j**2 - 14*j + 18. Let f(n) = 7*n**2 - 28*n + 37. Let g(b) = 5*a(b) - 3*f(b). Is g(11) a multiple of 10?
False
Let j = 8 + -7. Suppose 3*z - 16 = v, -z - 2*v = 3 + j. Suppose -82 = -3*s + 2*a, 0*a = s - z*a - 34. Does 24 divide s?
False
Let l = 1592 - 1211. Is 13 a factor of l?
False
Suppose 3*d + 127 = 2*v, v + 4*v - 4*d - 300 = 0. Is v a multiple of 28?
True
Let f be (-1)/(((-18)/16)/9). Suppose 0 = -f*d - 68 + 428. Is 5 a factor of d?
True
Let q(m) = m - 1. Let a(j) = -6*j + 12. Let v(z) = a(z) + 4*q(z). Does 12 divide v(-14)?
True
Let b = 88 - -222. Does 31 divide b?
True
Is 13 a factor of -39*(-145)/(-10)*(-6)/9?
True
Suppose 2*y + m + 44 = 0, -2*y - 5*m = -7*y - 110. Let g be 12/(-66) + (-4)/y. Suppose -85 = -5*z - 3*i + 8*i, g = -5*i + 25. Is z a multiple of 16?
False
Let f(s) = 18*s - 178. Does 42 divide f(68)?
False
Suppose 4*d + 3*b = 7*b + 1780, -5*b = d - 439. Is d even?
True
Suppose 2 = 3*v - 4. Suppose d + 1 = v*d. Does 4 divide 10/(-5) + 6/d?
True
Let b = 7 - 5. Let f be ((-2)/(-3))/(6/27) + 3. Is ((-45)/f)/(b/(-4)) a multiple of 5?
True
Let h(t) = 16*t + 10. Let f(y) = y + 1. Let x(o) = 40*f(o) - 4*h(o). Does 5 divide x(-1)?
False
Suppose -201*r + 3375 = -198*r. Is r a multiple of 75?
True
Suppose -b + 5*k + 6 = 2*b, 4*b + 5*k - 8 = 0. Let v = b + -2. Suppose 0*g + 2*g - 50 = v. Is 10 a factor of g?
False
Let z = -2881 - -4089. Is 3 a factor of z?
False
Let x(k) = 3000*k - 6. Let f be x(-1). Does 42 divide f/(-10) + 14/35?
False
Suppose 7*h + 13*h = 20380. Is 10 a factor of h?
False
Let n(k) be the first derivative of 29*k**5/60 - k**4/24 - k**3/3 - 12. Let o(l) be the third derivative of n(l). Is 9 a factor of o(1)?
False
Suppose 2*i + 3*v - 208 = -0*i, -2*i + 4*v + 236 = 0. Let t = i - 65. Let l = 111 - t. Does 22 divide l?
True
Let x = 85 - -8. Let w = 150 - x. Is w a multiple of 19?
True
Suppose 54 = 3*v + u, -2*v + 88 = 2*v - 4*u. Does 5 divide v?
False
Let p(j) = -4*j - 29. Let a(d) = -3*d - 29. Let y(i) = -3*a(i) + 2*p(i). Is y(0) a multiple of 21?
False
Let k be (77/(-33))/(1/27). Is 13 a factor of (-812)/k + (-3)/(-27)?
True
Suppose -136 = -5*l + 3*z, 0*z = l + 5*z - 44. Let p = l + -26. Suppose -p*g = -125 - 73. Does 14 divide g?
False
Suppose -8449 - 12665 = -23*c. Is c a multiple of 54?
True
Let m = -15 - -14. Is (-7 + -158)/(m - 0) a multiple of 33?
True
Let c(r) = 33*r + 2. Let i be c(-4). Let t be (i/(-6))/(2/(-6)). Let v = t + 95. Is v a multiple of 11?
False
Suppose -52156 = -42*g + 25*g. Is 13 a factor of g?
True
Suppose 0 = 2*u - 4*h + 6, 4*h = h + 6. Let m be (-2)/(-2 - 0/2). Does 13 divide m - (-35 - 3 - u)?
False
Let q be -1 - (1 + 2*-2). Suppose 5*r + 6*i = q*i + 254, r - 2*i - 48 = 0. Suppose -2*p = 2 - r. Is 11 a factor of p?
False
Suppose 0*y + 5 = 2*k - y, -k + 20 = 3*y. Suppose k*h + 25 = 4*m, h + m - 4 = -0. Let o(f) = 22*f**2 + 1. Is o(h) a multiple of 23?
True
Let n be (30/9)/(3/9). Suppose 2*a + 26 = 3*h, 4*a = h + 3*a - n. Is 3 a factor of h?
True
Suppose 0 = i + 3 - 16. Suppose -2*f + 5*s + 18 = 0, 3*s - 1 = -5*f + i. Suppose -f*h = -0*h - 104. Is 13 a factor of h?
True
Let q be 4/(-12) + (-24)/9 - -28. Is ((-4)/(-10))/(-2 - (-51)/q) even?
True
Let t(h) = -2*h**2 - 36*h - 13. Is 15 a factor of t(-9)?
False
Suppose -7*i + 81 = -31. Is 8 a factor of i?
True
Let j(r) = r**2 + 4*r + 5. Let f be j(-6). Suppose -d + f = -0*d. Does 4 divide d?
False
Let j be 2/(-3) - (-2 - 6655/15). Suppose 4*s - 396 = 4*v, 5*s + 2*v - j = -3*v. Is s a multiple of 9?
False
Is 26 a factor of (1/2)/(15/30960*6)?
False
Suppose 4622 = 5*s + z, -2*s + 4*s - 1841 = -3*z. Does 36 divide s?
False
Let s(o) = -o**2 - o - 10. Let n(z) = -3*z - 3. Let i be n(-4). Let r be s(i). Let d = -56 - r. Does 11 divide d?
True
Suppose g - 4*m = 15, 5 - 20 = 5*m. Suppose 2*c + 15 = -g*c. Is 4 + (3 + c - -28) a multiple of 32?
True
Let w be 6/10 + (-2)/(-5). Does 17 divide 2/2 - (-107 - w)?
False
Suppose -m = 4 - 29. Let x be 60/m - 2/5. Suppose -4*g - u + 36 = -x*u, 4 = 2*g - 4*u. Is 5 a factor of g?
True
Let g(o) = 3*o**3 + 4*o - 3. Let b be g(3). Suppose 3*z - 4*z + b = 0. Suppose -95 = -3*y + 5*p + 175, -z = -y - 5*p. Does 15 divide y?
True
Let u(m) = m**3 - 10*m**2 + 21*m + 7. Is 19 a factor of u(9)?
False
Let k(t) = -t**2 - 13*t - 8. Suppose 0*o + o + 5 = 0. Is 32 a factor of k(o)?
True
Let a(q) = q**3 - 14*q**2 + 13*q + 2. Let r be a(13). Does 13 divide (23/2 - 5)/(r/32)?
True
Suppose -3*r + 523 + 2277 = -2*w, 0 = w + 5. Suppose -7*f + 141 = -r. Does 9 divide f?
True
Let p(r) = 