2*d. Let k = d - 1. Does 3 divide k?
False
Let c = -19 + 56. Does 9 divide c?
False
Let a(m) = 3 - 1 - 4 + 5 - 2*m. Let f(l) = -l. Let c(u) = a(u) - 3*f(u). Is 4 a factor of c(3)?
False
Let p(a) be the first derivative of 4*a + a**2 - 2*a**2 + 4*a**2 - 2. Is 11 a factor of p(3)?
True
Suppose -3*p + 0*p + 3 = 0. Suppose -p = f - 12. Is 5 a factor of f?
False
Suppose -70 = -2*p - 0*p. Suppose 8*m - p = 3*m. Is m a multiple of 7?
True
Let h(i) = 18*i + 3. Let f be h(-2). Let z be -1 + (f - (1 + -2)). Let c = -13 - z. Is 10 a factor of c?
True
Does 8 divide 170/8 - 1/4?
False
Let c(y) = y**3 + 2*y**2 + 2*y + 1. Let n = 3 + -4. Let l be c(n). Suppose f - 32 = -x + 3*f, l = 3*x - 4*f - 94. Is 15 a factor of x?
True
Suppose 0 = -y + 62 - 6. Suppose -4 = p - y. Is 10 a factor of p?
False
Let b(z) = -2*z + 6*z**2 + 3*z - z. Let i be b(3). Suppose 12 = d - 2*v, d + 3*v = -2*d + i. Does 6 divide d?
False
Let f(c) = 1. Let v(s) = -s**2 - 2*s. Let y(d) = -2*f(d) - v(d). Let g(t) = -t**2 + 5*t + 2. Let n be g(6). Is 6 a factor of y(n)?
True
Does 17 divide -7*(-844)/18 + (-2)/9?
False
Suppose 7 = f - m, 25 = f - 0*f + 5*m. Does 10 divide f?
True
Suppose -4*q = -18 + 2. Let p = q + 1. Suppose -6*c + 25 = p*d - c, -2*c + 3 = d. Does 5 divide d?
False
Let t(w) = w + 14. Suppose 0 = -6*j + j. Is t(j) a multiple of 14?
True
Let m(c) = -c**2 - 3*c + 3. Let a be m(-3). Suppose -83 = -6*i + 97. Suppose -39 - i = -a*r. Does 8 divide r?
False
Suppose -5*o = -o - 104. Is o a multiple of 13?
True
Let k = 3 + 4. Suppose 2*n + 60 = k*n. Is 12 a factor of n?
True
Suppose 2*p + 4*q - 8 = 0, 4*q + 0*q - 6 = -3*p. Let r(n) = -12*n - 2. Let x(t) = 6*t + 1. Let l(b) = 4*r(b) + 7*x(b). Is 11 a factor of l(p)?
True
Let z = 23 + 131. Is z a multiple of 7?
True
Let a(q) = -15*q - 4. Is 13 a factor of a(-2)?
True
Suppose 0 = -0*i - 2*i + 4. Let p = i + 1. Does 3 divide p?
True
Let z = 2 - 0. Suppose 2*m - 2*b = 16, -2*b = -2*m - 6*b - 8. Suppose m*h - 2*p = -0*h + 290, -z*h + 127 = 5*p. Is h a multiple of 24?
False
Let n(h) = 3*h**3 - 42*h**2 + 14*h - 23. Does 35 divide n(14)?
False
Is 6 a factor of -2*12*6/(-8)?
True
Let y(s) = s**3 + 6*s**2 - 8*s + 8. Suppose 3*b + 6*z + 16 = z, 3*b - z = -22. Let n be y(b). Suppose 0*w + 2*w - 31 = -t, 0 = -5*t - n. Is w a multiple of 13?
False
Suppose -2*l = l + 9. Let c(f) = f**2 - 6*f - 3. Is c(l) a multiple of 12?
True
Let m be (-8)/3 - 6/(-9). Is 3 a factor of 5 + m + -2 + 9?
False
Suppose -5*s - 20 = 0, 5*s = g - 13 - 24. Suppose 0 = 2*d - 6, -4*l + g = d + 6. Suppose 6 = -x + l*x. Is 5 a factor of x?
False
Let b(p) = p**2 - 10*p - 1. Let r be b(10). Is 9 a factor of r*(-3*5 - -2)?
False
Suppose 3*h - 6 = h, -2*b - 5*h = -95. Let f be b + (1 - 2)*0. Suppose 2*r = -v + 59, 4*v = -r - 0*v + f. Is 14 a factor of r?
True
Let c = 120 - 13. Is 16 a factor of c?
False
Suppose 3*h + 3 = 0, -j - 3*h + 113 = 26. Is 30 a factor of j?
True
Let y(o) = -o**2 + 3*o + 2. Let f be y(3). Suppose 2*w + 4*d = f*d + 144, 0 = -3*w + d + 216. Is 10 a factor of w?
False
Let f(c) = -c + 8. Let u be f(4). Let h(w) = w**2 - 2*w - 5. Is 3 a factor of h(u)?
True
Let g(n) = 2*n**3 + n**2 - n + 4. Is g(4) a multiple of 16?
True
Is (69/12)/1*4 a multiple of 4?
False
Let y be (-1)/(-5) - (-279)/5. Let i = y - 21. Does 13 divide i?
False
Let k(i) = -23*i - 2. Let a be k(-1). Suppose 3*x + a = 144. Is x a multiple of 13?
False
Let x(w) = 14*w**3 + w**2 - w. Let b(r) be the first derivative of -r**2/2 - 4*r + 2. Let c be b(-5). Is x(c) a multiple of 9?
False
Let a = -116 - -224. Let u = a - 64. Does 22 divide u?
True
Let k(j) = j**2 - 9*j + 10. Let c be k(8). Let f(p) = p**c - 2*p**2 + 4 + 5*p + 3*p**2. Is f(-3) a multiple of 3?
False
Is (12/5)/((-30)/(-825)) a multiple of 11?
True
Let o be (-5)/10 - 2/(-4). Suppose -4*r = 4 - o. Let j(b) = -15*b. Does 14 divide j(r)?
False
Is 1/(21/(-18))*-1*49 a multiple of 7?
True
Suppose 0 = -i + 12 + 31. Does 35 divide i?
False
Let p be (-4)/18 + (-2)/(-9). Suppose p = 2*z - 3*h - 4, h = 7*z - 2*z - 36. Is z a multiple of 8?
True
Suppose 4*g - z = -3*z - 10, -2*g + 2*z - 8 = 0. Let l = 57 + g. Suppose l = n + 2*n. Does 18 divide n?
True
Let g(t) = 3*t + 18. Let y be g(6). Let a = y + -27. Does 9 divide a?
True
Suppose -5*i + 7 = -4*d, -5 = -3*i + 3*d + 1. Let u = i + -5. Is (27/(-6) + 3)*u a multiple of 8?
False
Let j(k) = -k**3 - 2*k**2 - k + 1. Let l be j(-2). Suppose l*v - 360 = -3*v. Does 10 divide v?
True
Let c(u) = 2*u + 2. Let p be c(-1). Suppose 4*j + 3*v - 138 = p, -4*v + 136 = -2*j + 6*j. Is j a multiple of 12?
True
Let z(r) = -r**3 + 2*r**2 - 5*r + 2. Let p be z(3). Let u be (-1 + 1)/(-2) + p. Let d = -8 - u. Does 7 divide d?
True
Is 9 a factor of -488*4/(-36) + (-6)/27?
True
Suppose 7*x - 56 = 5*x. Does 2 divide x?
True
Suppose 2*t + 2*t = 12. Let p = t + 3. Does 3 divide p?
True
Let y be 40/25 + 2/5. Suppose y = 5*q + 12. Is 14 a factor of 540/39 - q/13?
True
Let b(j) = 15*j + 1. Let o be b(1). Suppose -m = 4*c - 46, -2*c + 4*m - 2 + o = 0. Does 8 divide c?
False
Let p be (8/(-10))/(6/(-15)). Let g(s) = 12*s + 2. Is g(p) a multiple of 13?
True
Suppose 0*r - r = 0. Suppose 4*i + 12 = 0, 5*h - 5*i + 27 - 212 = r. Is h a multiple of 15?
False
Suppose -2*d - 548 + 79 = -t, t + 3*d - 479 = 0. Is 66 a factor of t?
False
Let r(z) = -z - 2. Let s be r(-2). Suppose s = 3*h - 2*c - 81, 6*c - c = -3*h + 102. Is h a multiple of 10?
False
Let s be -2 + 113 + (-2)/(-2). Suppose q - 8 = s. Suppose -4*u + q = -u. Is u a multiple of 19?
False
Is 1 + 3 - (2 + -26) a multiple of 14?
True
Is 3 a factor of 9 - -6*(-2)/4?
True
Suppose 0 = -14*v + 1994 + 2164. Is v a multiple of 33?
True
Suppose -5*c = -5*v + 3*v + 80, 35 = v - 5*c. Let h(w) = -20*w. Let f be h(-4). Let m = f - v. Is 16 a factor of m?
False
Let q(j) = -j - 4. Let l be q(-7). Suppose l = -4*r + 19. Does 3 divide r?
False
Let c be 6/4*(-6)/(-3). Suppose 9 + 1 = 3*y - b, 0 = -c*y - b + 2. Is y a multiple of 2?
True
Let o(c) = -19*c**3 - c**2. Is o(-1) a multiple of 6?
True
Suppose 11 = 3*a + x - 43, 5*a - x = 90. Let j(h) = -12*h - 6. Let i be j(-4). Let d = i - a. Is d a multiple of 16?
False
Let n(o) = o**2 - 5*o - 5. Is n(7) even?
False
Let c = -8 + 11. Suppose 0 = c*n + 3*r - r - 77, 2*n + 4*r = 46. Does 9 divide n?
True
Let c(o) = -2*o**3 + 2*o**2 + 3*o. Does 14 divide c(-2)?
False
Suppose s - 195 = 6*s. Is 11 a factor of 3*s/3*-1?
False
Suppose -24 = -u + 4*u. Let t = u - -24. Does 8 divide t?
True
Let s be 35/10 - (-1)/(-2). Suppose -44 = s*i - 140. Does 16 divide i?
True
Suppose n - 192 = -5*n. Is 16 a factor of n?
True
Suppose 0 = -2*i - 2*i. Suppose 4*l - 52 + 0 = i. Suppose -r = -l - 11. Is r a multiple of 12?
True
Let j(h) = -h**3 + 17*h**2 + 4*h - 12. Is 28 a factor of j(17)?
True
Suppose -2*g - 3*y = -651, 2*g + 2*y = -0*y + 646. Is g a multiple of 13?
False
Does 13 divide 1*65 + 0 + 2 + -2?
True
Suppose -5*s + 21 + 19 = 0. Let z = s + -4. Is 4 a factor of z?
True
Let k = -47 - -94. Is k a multiple of 9?
False
Let j(h) = 2*h + 4. Let z be j(-4). Is 11 a factor of 22 + (z + 2 - 0)?
False
Let q = 6 + -4. Suppose -q*z = 30 - 138. Let y = z + -22. Does 10 divide y?
False
Let r be (-1 + 0)*(3 - 0). Let m(u) = -3*u + 1. Is m(r) a multiple of 6?
False
Suppose -3*m = -2*q + 3*q - 349, 0 = -4*q + 5*m + 1362. Is 49 a factor of q?
True
Let l = 82 - 5. Is 11 a factor of l?
True
Let r(m) = -m**3 + 9*m**2 + m - 7. Let x be r(9). Suppose 6*s - 80 = x*s. Is 10 a factor of s?
True
Suppose -5*d + 947 = 2*z, -2*d = -3*d - z + 190. Is 26 a factor of d?
False
Suppose -4*p = 0, b - 21 = -2*b - 3*p. Is b a multiple of 6?
False
Suppose 5*y = 134 + 76. Is y a multiple of 6?
True
Let b be -63*(-1)/((-3)/(-2)). Suppose f = -13 + b. Is 14 a factor of f?
False
Let b(c) = -4*c**2 - 3*c + 4. Let g be b(-4). Suppose 2*r + 2*r + 4 = 0. Does 15 divide g*((-6)/4 - r)?
False
Let g(a) = -4 + 29 - a**2 - 1. Is g(0) a multiple of 7?
False
Let w(h) = h + 4. Suppose x = -3*x. Is 2 a factor of w(x)?
True
Let v(q) = -q**3 + 8*q**2 - 3*q - 2. Let y be v(6). Let l = y - 7. Is 15 a factor of l?
True
Suppose 0*v = y + 5*v - 59, -3*v + 53 = y. Is y a multiple of 8?
False
Let t(r) = 2*r**2 - 2*r + 3. Does 5 divide t(3)?
True
Let z = 11 - 7. Suppose -z*d = d - 15. Does 3 divide d?
True
Let n = 300 - 156. Is n a mu