v + 16*v - 2909. Does 29 divide u?
False
Suppose 5*g - 35 = -0*j - 5*j, 3*j - 15 = 0. Suppose g*s + 23 = 155. Does 22 divide s?
True
Let l(o) = 12*o + 16. Let a(k) = -2*k**2 + 41*k - 18. Let h be a(20). Does 4 divide l(h)?
True
Is (-369)/3*(6 - 45 - -8) a multiple of 123?
True
Suppose v + 2*o + 28 = 4*v, 2*v + o - 7 = 0. Suppose -v*f - 56 = -8*f. Is f a multiple of 27?
False
Is 54 a factor of 52463/115 - 2/10?
False
Let p = -44 - -47. Suppose 3*u - 3*g = 7*u - 147, p*u - 3*g - 84 = 0. Is 10 a factor of u?
False
Suppose -2*x + 16 = -0*x. Let y be 0 + x/(-4)*-2. Suppose -18 + 134 = y*v. Does 14 divide v?
False
Does 10 divide 29/((14/91)/(3 + -1))?
False
Let b(t) be the first derivative of t**4/4 + 2*t**3/3 - 4*t**2 - 3*t - 1. Is b(4) a multiple of 14?
False
Let b(o) = -o**3 + o + 136. Let u be b(0). Suppose -u = -4*n + 664. Suppose -5*s + n = -0*s + f, 5*s + 4*f - 200 = 0. Is 20 a factor of s?
True
Suppose 0 = 12*d - 7*d - 45. Suppose -d*l + 120 = -3*l. Does 5 divide l?
True
Is 14 a factor of (-2)/(-14) - 11772/(-14)?
False
Suppose 5*q = -2 - 3. Let x = q + 4. Is 15 a factor of x/(-2) + 231/14?
True
Suppose -38*q - 2848 = -42*q + t, -5*t - 2153 = -3*q. Is q a multiple of 9?
True
Let t(m) = -2 - 2 + 5 - 4*m + 2*m. Is t(-18) a multiple of 13?
False
Suppose 0 = -4*b - 3*v + 8, -3*b - 3*v + 7 = -v. Suppose -f + 3 = -b. Suppose f*o - 6*o = 6. Is o even?
False
Let h = 835 + -472. Does 23 divide h?
False
Suppose i = -40 + 175. Is 6 a factor of i?
False
Suppose -7 = -3*y - 3*m + 11, -y + m + 2 = 0. Is (-2)/2*y/((-4)/3) a multiple of 2?
False
Suppose 5*b + 5*r = 3*b + 302, -b + 151 = -2*r. Is 30 a factor of b?
False
Let f(a) = -a**3 + 2*a**2 - 5*a + 1. Let q = -129 + 125. Is 13 a factor of f(q)?
True
Let l be 226 + 1*(-16)/4. Suppose 2*j = -4*s + l, 2*j - 3*s = -3*j + 529. Is j a multiple of 21?
False
Let i(m) = m**3 - 2*m - 2. Let y be i(-2). Let n be y/21 - (-356)/(-28). Is 13 a factor of (-20)/130 + (-509)/n?
True
Let n = -914 + 1850. Is n a multiple of 12?
True
Let x(z) be the first derivative of 51*z**2 - z + 13. Is x(1) a multiple of 14?
False
Let n(g) = -3*g + 10. Let a be (-1)/((-66)/(-21) - 3). Let j be n(a). Suppose 0 = -3*o - q + j, -q + 2*q = o - 9. Is 10 a factor of o?
True
Let a(f) = -f**3 - 10*f**2 - 11*f - 8. Let l be (18/(-4))/((-2)/(-4)). Is a(l) a multiple of 2?
True
Suppose 5*b - 22 = 3*b. Let g = -7 + b. Does 9 divide (30/g)/(2/4)?
False
Suppose 22*l - 40176 = -2*l. Is 54 a factor of l?
True
Let z(u) = 6*u**2 - 2. Suppose -70 = -5*a - x, 6*x - 20 = -3*a + x. Suppose -3*n - 2*n = a. Does 26 divide z(n)?
True
Suppose 2*n + 7*n = -36. Does 17 divide (n/10 + -2)*125/(-2)?
False
Let o = -303 + 521. Suppose p - 5*j = 2*p - 139, 5*j = 2*p - o. Is 36 a factor of p?
False
Suppose c = 3 - 0. Suppose -4*n + 16 = -3*o, 0 = n - 2*o + c*o - 4. Suppose -26 = -n*u + 10. Is 3 a factor of u?
True
Let n = 53 + -55. Is 18 a factor of (40/24)/(n/(-48))?
False
Suppose 3*w = x + x - 57, -4*w = -5*x + 132. Is 3 a factor of x?
True
Let s = -41 + 47. Does 11 divide -12*-11*2/s?
True
Let t(u) = -u + 5. Let j be 14/(-63) + 2/9. Let x be t(j). Let d = 42 - x. Is 16 a factor of d?
False
Let a be 41/5 + 5/(-25). Suppose -5*b - 4*d + a = 0, -6*b + 2*b = -2*d - 22. Is b a multiple of 4?
True
Let h = -655 - -871. Is h a multiple of 6?
True
Let t = 0 + 2. Suppose -p - 8 = -t*p. Suppose -v = -4*o - p - 4, 12 = v - 5*o. Does 12 divide v?
True
Let n(c) = -c**2 - 6*c + 17. Let r(i) = i**3 + 3*i**2 - 4*i - 6. Let y be r(-4). Is n(y) a multiple of 17?
True
Let c(p) be the third derivative of 49*p**5/60 - p**4/8 + p**3/3 - 6*p**2. Suppose -5*q + 15 = 0, -4*j + 11 = 4*q - 5. Is c(j) a multiple of 15?
False
Let s(x) = 4*x + 5*x - 7*x + 3*x. Let i = 2 - 0. Does 10 divide s(i)?
True
Suppose -1 = b - 3*f, 2*b + 0*f - 2*f = 2. Let a be b + (-3 - -3) - -1. Suppose 9 = r + 3*i, 5*r = 2*r - a*i + 15. Is 3 a factor of r?
True
Suppose -301 = 5*l + w + 62, l + 5*w + 63 = 0. Let x be l/(-3) + 2/3. Suppose 6*h + x = 7*h. Is h a multiple of 5?
True
Suppose 2*v - 14264 = -2798. Is v a multiple of 26?
False
Let i = -16 - -16. Suppose i = 10*t - 5*t - 245. Suppose -5*j + 2*j = 2*h - t, -4*h - 2*j + 78 = 0. Does 17 divide h?
True
Suppose -3*m = 5*i + 10, 3*i + 1 + 5 = 4*m. Suppose 0 = -x - x + 4*s + 310, -x - s + 149 = m. Is x a multiple of 28?
False
Suppose 2*x = 2*o + 2, 0*o = 4*o + 3*x - 17. Let h be (o/(-4))/((-3)/(-1692)). Does 6 divide 1/4 - h/24?
True
Is 40 a factor of 1*-3 - (-164 + 27)?
False
Suppose 11*n - 194 = 1819. Does 6 divide n?
False
Let z = -76 + 328. Does 6 divide z?
True
Let q(c) = -8*c + 3. Let m be 1/4 + (-23)/(-4). Let k be q(m). Let d = -25 - k. Is 10 a factor of d?
True
Let j be 1/5 - (-36)/(-30). Let u(f) = -2*f - 19. Let o be u(-15). Let k = o + j. Does 5 divide k?
True
Let i = 70 - 66. Is 29 a factor of 105 + -2 + 0*i/(-12)?
False
Suppose -5*i = 2*z - 152, i - 3*z + 116 = 5*i. Suppose -i = -5*m + 4*s, -m - 4*s = 2*m. Suppose 0 = -4*p - 16, u + m*p + 58 = 2*u. Is u a multiple of 17?
False
Suppose 0 = -7*n + 9*n - 4. Suppose n*i = 121 + 177. Does 19 divide i?
False
Let b be (3/2)/((-6)/(-72)). Suppose 2*q - b = 5*q. Is q*((-3 - -2) + -2) a multiple of 9?
True
Let w = 7 + 98. Let u = w + -63. Is 21 a factor of u?
True
Suppose 7*g = 2*g. Suppose g = k + 4*k + 275. Is 9 a factor of 22/k - (-247)/5?
False
Suppose v + 732 = 833. Is v a multiple of 3?
False
Let g be -119 + -1 + 0/1. Let x = -36 - -30. Is (g/16)/(1/x) a multiple of 15?
True
Does 8 divide (-616)/176*16176/(-21)?
True
Let c = 4 - 15. Let d(y) be the first derivative of -y**2/2 + 7*y - 17. Does 6 divide d(c)?
True
Suppose 0 = -2*l + 5*l - 15, 3*h - 4*l - 445 = 0. Is h a multiple of 42?
False
Let i = 85 - 49. Let d be (-138)/4*(-4)/6. Let y = i - d. Does 3 divide y?
False
Let j(o) be the third derivative of o**6/120 + 7*o**5/30 + o**4/2 + o**3/2 + 6*o**2. Does 21 divide j(-12)?
True
Let z be 0*(-3)/(-9) + -105. Let j = -69 - z. Is j a multiple of 36?
True
Suppose 4*o = 10*o + 24. Let j = o - -13. Does 9 divide j?
True
Suppose 2*b + 24 = 4*o - b, 5*o + 5*b - 30 = 0. Is 36 a factor of 430/o - 1*(-1)/3?
True
Let o(i) = -i**3 - 2*i**2 + 4*i - 3. Let p be o(2). Let a = p - -84. Is a a multiple of 7?
False
Let r(d) = d**2 + 20*d - 12. Does 36 divide r(6)?
True
Let v(j) = -25*j**3 + 13*j + 2. Let s be v(-3). Suppose -706 - s = -8*i. Does 11 divide i?
False
Let s(x) = -x - 1. Let a be s(-1). Suppose 3*c + a*c = 270. Is 16 a factor of c?
False
Let i = -1972 + 2884. Does 8 divide i?
True
Let t = -454 + 1154. Is 14 a factor of t?
True
Let w = 34 + 15. Suppose 3*z = p + w - 10, 0 = -5*p - 15. Does 3 divide z?
True
Let v(u) be the first derivative of -u**3 - 3*u**2 + 4*u - 2. Let n(j) = 7*j**2 + 11*j - 7. Let a(w) = 2*n(w) + 5*v(w). Is 9 a factor of a(-5)?
False
Let f(m) = -m**2 + 16*m - 17. Let i be f(14). Suppose i = h - 0*h. Does 5 divide h?
False
Let i(h) = 52*h + 19. Is 15 a factor of i(2)?
False
Suppose -63 + 21 = i. Let f = i - -90. Suppose -3*k + 125 + f = -4*p, -4*p + 184 = 4*k. Does 26 divide k?
False
Suppose 20 = -4*q, 6*w - 3*w - 2*q = 67. Is w even?
False
Let c(p) = p**3 - 7*p**2 + 4. Let v be c(7). Suppose -v*b - d = 3*d - 92, 61 = 2*b + 5*d. Does 6 divide b?
True
Let l = -20 - -38. Is 2 a factor of l?
True
Is 11/((-24 + 11)/(-611)) a multiple of 47?
True
Let j(s) = 76*s**2 - 10*s - 4. Let c be j(-3). Is (-2)/(-9) + c/45 a multiple of 8?
True
Is (-2)/(-1) + -17 + 103 a multiple of 26?
False
Let t(a) = 427*a + 302. Is 55 a factor of t(4)?
False
Suppose 7119 = 5*x + 16*x. Is 10 a factor of x?
False
Let z(f) = -f**3 - 2*f**2 + f - 74. Does 5 divide z(-7)?
False
Let v = -16 + 23. Suppose 0 = 2*y - v*y + 25. Suppose -3*x = -6, -y*x - 38 = -4*u - 4*x. Does 4 divide u?
False
Suppose -3*u = -36 - 93. Suppose -w - 5*s = -2*w - 1, s + u = 2*w. Is 5 a factor of w?
False
Let t(x) = 30*x**3 + x**2 - x + 1. Let q = 32 - 31. Is 10 a factor of t(q)?
False
Suppose -2*d - 4*r = -20, 0*r - 5*r + 11 = -d. Suppose -3*s + d*x + 16 = -80, 3*x = -5*s + 189. Does 4 divide s?
True
Let k(u) = -15*u**3 + u**2 + 24*u. Does 14 divide k(-7)?
True
Let i be (-17)/((-3 + 1)/(-2)). Let g be 16/(-40) + i/(-5). Suppose -a - g*a = -240. Does 11 divide a?
False
Let s = 5 + -2. Suppose -36 = -s*l - l. Is 1 + l + 6 + -8 a multiple of 5?
False
Let