 factor of c(1)?
False
Let a(z) = -z - 2. Is a(-8) a multiple of 3?
True
Suppose 0 = 3*w - 52 - 20. Suppose 3*a + 5*v + 19 = 4*a, 4*v + w = 3*a. Is a even?
True
Let w(q) = -q**2 + 9*q + 12. Let f be w(11). Let t = f + 21. Is t a multiple of 5?
False
Suppose -4 + 2 = -v. Suppose -12 = -0*l + 3*l, n - 2 = -v*l. Is n a multiple of 10?
True
Suppose w + 3*w - 4*u - 60 = 0, 0 = -5*w - u + 57. Let a = 24 - w. Does 4 divide a?
True
Suppose 0 = -q + 3, -2*o - q + 61 + 20 = 0. Does 9 divide o?
False
Let l be ((-12)/9)/(-2)*18. Let r be (2 - 0) + -2 + l. Let j = r + 1. Does 13 divide j?
True
Suppose -2*v - 20 = 4*w + 2*v, 4*w = v. Suppose -p = 4*p - 5. Is 9 a factor of 17/(-2)*(w - p)?
False
Let u(k) = k + 5. Let l be u(-11). Does 4 divide 1/l + 73/6?
True
Let v = 17 + 31. Is 6 a factor of v?
True
Suppose 4*l - 29 = u, 5*l - 5 - 40 = 3*u. Is 6 a factor of l?
True
Suppose 5*d - 4 - 36 = 0. Is 17 a factor of (d/(-4))/(6/(-153))?
True
Suppose 2*n = -2*a + 6, -a + 4 = -0*a + 2*n. Suppose 5*f = -2*u + 20, 29 = a*u + 3*f + 1. Does 20 divide u?
True
Suppose r + 35 = -4*r. Let d(w) be the second derivative of w**4/12 + 7*w**3/6 + 9*w**2/2 + 2*w. Is 9 a factor of d(r)?
True
Let g be ((-54)/(-4))/(1/2). Does 15 divide (-2)/(-3) + 1197/g?
True
Let r = 74 + -52. Suppose -10 = 5*x, 2*x + r = 3*p - 3*x. Suppose 2*v = p*v - 3*i - 107, 0 = 3*v + i - 155. Does 18 divide v?
False
Suppose -3*h + 8*h - 240 = -2*x, -x = 4*h - 123. Does 7 divide x?
False
Suppose 5*j + 20 = 5. Let c(n) = 3*n**2 - 5*n - 3. Does 13 divide c(j)?
True
Let x = 4 - 14. Let j = -1 - x. Let r(k) = k**3 - 9*k**2 + 2*k + 11. Does 13 divide r(j)?
False
Let c = 35 + 103. Is 39 a factor of c?
False
Is 4/10 - 2322/(-45) a multiple of 26?
True
Let z = 3 - 1. Is 5 a factor of ((-2)/6)/(z/(-30))?
True
Suppose 0 = -m + 2*m + 2. Let y be (-295)/m - 1/(-2). Suppose -4*g + 2*q + 110 = 0, q - y = 2*g - 7*g. Does 14 divide g?
False
Let y be 1 + -1 + 0 + 3. Let u = -18 + 58. Suppose -3*x + u = -x + 2*r, -x + 32 = -y*r. Is 8 a factor of x?
False
Suppose m + 267 = 3*f + 5*m, -2*m = 3*f - 267. Let n(c) = -c**2 + 4*c - 2. Let u be n(9). Let s = u + f. Is s a multiple of 21?
True
Let m(i) = -5*i**3 - 2*i**2 + 2*i - 1. Let s be m(1). Let k(l) = -l**3 - 6*l**2 - 3*l + l + 2 + l. Is k(s) a multiple of 6?
False
Let w(m) = 14*m**3 + 2*m**2 - 3*m + 2. Let n be w(1). Is 12 a factor of n/(-2)*-3*2?
False
Let d = 54 - 21. Does 11 divide d?
True
Suppose -4*t + 12 = -t. Let o(b) = -10 + 9 + 3*b**2 + 7*b - 2*b - b**3. Does 2 divide o(t)?
False
Is 9 a factor of (-4872)/(-273) - 4/(-26)?
True
Suppose -4 - 14 = 3*u. Let r = 8 + u. Suppose 0 = 4*a + r*c - 96, 5*a + c + c - 119 = 0. Is a a multiple of 6?
False
Suppose -3*y - 8 = 1. Let a = 0 + y. Is (a/3)/((-1)/5) a multiple of 2?
False
Suppose 0 = -4*h - 5*a + 296, 0 = -3*h + 7*h + 4*a - 292. Does 14 divide h?
False
Is (1 - -14)/(-1 - -2) a multiple of 3?
True
Let h(q) = -q**3 + 5*q**2 + q + 6. Suppose -15 = -5*u + 2*u. Let k be h(u). Suppose -66 = -5*p - k. Is 4 a factor of p?
False
Let l be (3 + -41)*3/(-6). Suppose 4*m - l - 1 = 0. Let t(p) = p**3 - 3*p**2 - 3*p - 5. Is t(m) a multiple of 15?
True
Let i = -1 + 5. Suppose 0 = -c + i*c. Let u = c + 5. Is u even?
False
Let d = 264 + -56. Does 26 divide d?
True
Let y be (-14)/(-35) + 674/(-10). Let j = y + 126. Suppose 4*l - j = 45. Is l a multiple of 15?
False
Is 498/24 + 1/4 a multiple of 7?
True
Let h be 1/2 + 474/4. Does 15 divide h/4 - 3/(-12)?
True
Suppose -141 = -5*z + 234. Is 21 a factor of z?
False
Let j = 18 + -18. Suppose -5*i + 80 + 105 = j. Is i a multiple of 16?
False
Let u(n) = n**3 + 10*n**2 - 5*n - 18. Does 18 divide u(-9)?
True
Suppose 6*u - u = 65. Suppose 2*z + 3 = 5*z. Let g = u + z. Is g a multiple of 14?
True
Let m be -2*-1*(2 + -1). Let l be 2 + (m - 3) + -1. Suppose 4*x - 39 = v, -5*v + l = x - 15. Is 8 a factor of x?
False
Suppose 0 = -2*h - 2*h + 60. Let l = 249 - 170. Suppose h = -4*n + l. Is n a multiple of 16?
True
Suppose -4*w - 7 = 9. Let q(t) = -t**3 - t**2 + 6*t + 6. Is 8 a factor of q(w)?
False
Let i(t) = t**3 + 11*t**2 + 18*t - 12. Does 4 divide i(-8)?
True
Let g = 84 + -9. Suppose x - 13 = 3*c, -5*c = -2*x - 3*x + g. Is x a multiple of 8?
True
Let m(h) = 9*h - 1. Suppose j + 0 - 3 = 0. Suppose -j = -4*v + 5. Is 13 a factor of m(v)?
False
Let h = -4 + 8. Suppose h*x = 2*f + 22, 4*x - 2*x - 1 = -f. Let u = 8 + x. Does 11 divide u?
True
Let t be 6/4 + (-5)/(-10). Let r(b) be the third derivative of b**6/40 - b**5/30 - b**4/8 + b**3/2 + 3*b**2. Is r(t) a multiple of 13?
True
Suppose 0 = -5*j - 4*y - 48, 39 = -3*j - y + 2*y. Let n = -9 - j. Is n even?
False
Let z be (-16)/(-4) - (2 + -1). Suppose -3*i - 21 = -4*f, -3*f + 3*i + 12 = 2*i. Suppose 2*m = f*m - z. Is 2 a factor of m?
False
Let o(z) = 30*z. Suppose 3*x - u + 1 = -0*x, 17 = 5*x + 3*u. Is 15 a factor of o(x)?
True
Let o be (-22)/(-33) + (-130)/6. Let y = o + 38. Is y a multiple of 8?
False
Let d = -7 + 17. Suppose -2*v - 137 = -0*v + a, 4*v = -a - 271. Does 5 divide (-4)/d - v/5?
False
Let n be 30/9 - (-4)/6. Suppose -39 = -n*p + 1. Is p a multiple of 5?
True
Suppose 2*j = -4*k - 16, -3*k + 7 = -j + 19. Is (-1 - j) + (0 - -39) a multiple of 19?
True
Suppose g = 7*f - 3*f - 76, -48 = g + 3*f. Let y be g/(-14)*(1 + 27). Suppose -4*l + y = l. Is l a multiple of 11?
False
Let p(z) = z**3 - 6*z**2 - 4*z - 8. Let f be p(6). Suppose 0 = 5*i + 18 + 32. Let x = i - f. Does 11 divide x?
True
Suppose 0 = -0*n - 4*n + 20, 0 = 5*r - 2*n - 775. Does 33 divide r?
False
Suppose 2 = -2*p + 116. Is p a multiple of 19?
True
Let d = 16 + -24. Is (d/20)/(2/(-110)) a multiple of 22?
True
Let g(p) = -10*p**3 + 2*p**2 + 9*p + 3. Let c(o) = 5*o**3 - o**2 - 5*o - 2. Let z(m) = -5*c(m) - 3*g(m). Is 17 a factor of z(2)?
False
Is 4 a factor of ((-20)/(-40))/(1/8)?
True
Let y(j) = 13*j + 4. Let n be y(5). Suppose 5*x - n = -2*l, 2*l - 2*x + 0*x - 34 = 0. Is l a multiple of 11?
True
Let o be 0/(-3*4/(-6)). Suppose 2*n = -o*n + 20. Does 5 divide n?
True
Let k be (0 + -1)/(-1*1). Suppose 0 = -d + 4*q - k, 2 = 5*q - 3. Let f = 7 - d. Is f a multiple of 4?
True
Let d(j) = j**3 - 3*j**2 + 10*j - 8. Is 40 a factor of d(6)?
True
Let o = 21 + -66. Let h = 0 - o. Is 13 a factor of h?
False
Suppose n + 2 = 4*y - 5, 2*y - 2 = 0. Let z(p) = -p**3 - 4*p**2 - 4*p + 1. Let b be z(n). Let c(r) = r**3 - 3*r**2 - 2*r + 5. Does 13 divide c(b)?
True
Let u be 1 + -1*(-6)/3. Suppose u*v = 4*l - 5*l - 4, 2*v = -2*l. Let p(q) = 3*q**3 - 3*q**2 + q + 2. Is 16 a factor of p(l)?
True
Let a = 73 - 47. Is a a multiple of 13?
True
Let g = 27 + -26. Is -48*(4/g)/(-4) a multiple of 16?
True
Let r be 6/9*18/4. Suppose -r*m + 4*m - 48 = 4*q, m - 8 = -4*q. Is 28 a factor of m?
True
Let v(n) = n**2 - 12*n. Let x = 5 - 6. Let y(p) = p + 1. Let d(i) = x*v(i) - 3*y(i). Does 5 divide d(7)?
False
Suppose -6*i + 171 + 351 = 0. Is i a multiple of 29?
True
Suppose -4*t = -185 - 223. Is 21 a factor of t?
False
Let h be 81*((-16)/(-6) + -2). Suppose -2*p = -5*p + h. Is p a multiple of 9?
True
Does 11 divide 15 + 2 + (8 - 5)?
False
Let u(r) = 12*r + 9. Is 18 a factor of u(5)?
False
Let t be (-112)/(-20) + (-2)/(-5). Let a = 3 - t. Is 16 a factor of -3*8*2/a?
True
Suppose -5*p - 136 = -3*s - s, 0 = -2*s - 5*p + 38. Is s a multiple of 28?
False
Suppose 23 = 2*q - 47. Does 15 divide q?
False
Let x(u) = -20*u**3 - 3*u**2 + 1. Let h be x(-2). Suppose 0 = 5*o - 4*f - h, -2*o - 2*o + 5*f + 112 = 0. Is 12 a factor of o?
False
Let n be ((-2)/(-1))/((-4)/(-8)). Suppose -n*p - 3*m = -168, 0*m + 213 = 5*p + 3*m. Does 27 divide p?
False
Suppose 0 = -13*k + 10*k + 2*m + 196, -2*k - 4*m = -136. Does 12 divide k?
False
Let j(p) = 5*p**2 - 2*p - 25. Is 55 a factor of j(7)?
False
Let u = -2 - -2. Suppose 5*m + a + 0*a - 25 = u, -m - 5*a = -5. Suppose -m*p = -x - 36, 3*p - x - 3*x = 8. Does 4 divide p?
True
Suppose -3*h - 16 = h. Does 12 divide (-8)/(h/(-32)*-2)?
False
Let d = -60 + 98. Does 19 divide d?
True
Let y(d) be the third derivative of -d**4/6 + d**3/6 - 2*d**2. Is y(-1) a multiple of 2?
False
Let v = -10 + 8. Let a(m) = 2*m**2 + 3*m + 3. Let u be a(-3). Let j = u - v. Is j a multiple of 9?
False
Suppose 0 = -8*d - 173 + 453. Does 5 divide d?
True
Suppose -6*o = -5*o - 5. Suppose o*u = -4*s + 216 - 65, -3*u + 98 = -5*s. Is u a mu