 be n(1). Let m be 2 + -4 + 1 + t. Does 12 divide a(m)?
False
Let d(r) = 5*r**3 - 2*r**2 - 2*r. Let h be d(2). Does 25 divide h/((-4)/(-4)) - 3?
True
Suppose 0 = -2*z + 2 + 6. Suppose 5*a - 8 = z*a. Does 8 divide a?
True
Let t(m) = -6 - 2*m**2 + m**3 + 9*m**2 + 7*m - 2*m. Let z be t(-6). Let g(w) = w**3 - w**2 + 3. Does 3 divide g(z)?
True
Suppose 4*x - 2*h + 0*h = 62, -5*x - 5*h + 70 = 0. Suppose 4*c - x - 77 = 0. Is 23 a factor of c?
True
Let f = -323 - -602. Is 52 a factor of f?
False
Let x(a) = -a**2 + 25*a + 51. Does 17 divide x(25)?
True
Suppose -2*y = 2*g + 8, 4*y - g = 2 + 7. Let m = 0 - y. Is 5 a factor of ((-4)/10)/(m/25)?
True
Suppose 5*o - 3*m + 20 = -5, -3*m = 2*o - 11. Is 4 a factor of o + 3 + 0 + 10?
False
Suppose 0 = 3*x - 5*x + 46. Is x a multiple of 10?
False
Let y(d) = -d**2 + 3. Let a be y(0). Suppose 2*q + a*q - j - 256 = 0, 2 = -2*j. Is q a multiple of 17?
True
Let a(v) = v. Let n be a(5). Suppose n*t - t = 4*h + 192, -48 = -t - h. Is t a multiple of 22?
False
Let j(u) = u**2 + 15*u + 21. Let k = -23 + 9. Does 4 divide j(k)?
False
Suppose 3*c - 7*c = 224. Let u = -34 - c. Is u a multiple of 10?
False
Let b = 22 - 16. Suppose -b = q - 3*q. Suppose 0 = 2*z - q - 1. Is z even?
True
Let i = -12 + 20. Let v(f) = -i - 1 - 3*f + 2 - 9*f**2 - f**3. Is 20 a factor of v(-9)?
True
Suppose 0 = 5*z - 2*j + 35, -6*j + 3*j - 60 = 5*z. Does 3 divide -3*1/z*27?
True
Suppose -m + 5*t = 0, -2*t - 2*t = m. Suppose -4*y + 16 + 32 = m. Does 6 divide y?
True
Let t(c) = c + 3. Let v be 0 - -2*(-3)/2. Let u be t(v). Is 23 + 2*(u + 1) a multiple of 12?
False
Let k(l) = l**3 + 10*l**2 + 7*l + 8. Let p be k(-9). Let f be (-1*p)/(8/(-20)). Suppose 8*v = 3*v + f. Is 13 a factor of v?
True
Let l be ((-354)/(-4))/(1/(-2)). Let x be -2*(l/2)/(-3). Let r = -29 - x. Is 15 a factor of r?
True
Let l be -1*(4 + -3) - -3. Let b(h) = -h**3 + h**2 + 5*h - 1. Let x be b(-5). Suppose -x = -l*p - 2*p. Is 14 a factor of p?
False
Let x = 7 - -8. Suppose 5*c = -l + 9, -c + 3*l = -2*c - 1. Let h = x + c. Does 17 divide h?
True
Let x = -241 - -79. Let b be (-4)/(-14) + x/(-21). Suppose 5*m - 17 - b = 0. Does 3 divide m?
False
Let z(f) = -f**3 - 5*f**2 + 5*f + 7. Is 2 a factor of z(-6)?
False
Suppose 9 = -3*a - 9. Let d(z) = 6 - 2 - 7*z + 4. Is d(a) a multiple of 20?
False
Suppose 0 = 4*d - 2*d - 396. Is d a multiple of 18?
True
Let m(o) = o**2 + 3*o + 5. Suppose 35 = -0*f - 5*f. Is m(f) a multiple of 11?
True
Suppose 5 = 3*x - 37. Is x a multiple of 7?
True
Let c = 5 - 2. Let l be (-1)/(696/231 - c). Let z = l + 115. Is z a multiple of 19?
True
Let q be (-4)/(-6) + (-12)/(-9). Let i(n) = 2*n. Let r be i(q). Suppose 4*p - 72 = -4*c, -c - c + 40 = r*p. Is 10 a factor of c?
False
Let y(x) = -4*x**2 - 12 + 2*x + 3*x**2 + 8*x. Let r be y(8). Is 9 a factor of r*-6*6/(-8)?
True
Let p be (-2 + 2)*1/(-1). Suppose 4*j = -z - 2*z + 80, -4*z + j + 75 = p. Does 20 divide z?
True
Let z = -82 - -155. Is z a multiple of 28?
False
Let y = -3 + 3. Suppose 0*w + w - 4 = y. Suppose -w*r + 40 = r. Is r a multiple of 4?
True
Let o(f) be the first derivative of 1/3*f**3 + 3*f - 5/2*f**2 - 1. Does 13 divide o(8)?
False
Suppose -64 = 8*y - 216. Is y a multiple of 8?
False
Let q(m) be the first derivative of -m**6/360 - 7*m**5/120 + m**4/12 - 2*m**3/3 + 2. Let c(y) be the third derivative of q(y). Is c(-7) a multiple of 2?
True
Let i(k) = -5*k - 12 + 5*k - 5*k. Is 5 a factor of i(-5)?
False
Let h(q) = -12*q**3. Let a = -8 + 7. Does 6 divide h(a)?
True
Let g be 30/4*6/9. Suppose -4*n + 12 = b - 0*b, 3*b + 32 = g*n. Is 4 a factor of n?
True
Let x = 15 - 7. Is x a multiple of 3?
False
Let x(r) = -r**3 + r**2 - 3*r + 4. Suppose -3*b - 2*b = 25, -2*b = -5*h - 5. Is 18 a factor of x(h)?
False
Let n(o) = o**3 - 5*o**2 + 4*o + 2. Let q = 15 + -21. Let z be q/(-3*3/6). Is 2 a factor of n(z)?
True
Let d = -1 - -2. Suppose 14 = 3*o - d. Suppose j - 2*w - 2*w + 8 = 0, -35 = -5*j + o*w. Is j a multiple of 12?
True
Suppose -o + 48 = o. Is 12 a factor of o?
True
Let l(m) = 26*m. Is l(8) a multiple of 13?
True
Let u(m) = m**3 + 10*m**2 + 8*m + 5. Let i be u(-5). Let d be ((-36)/10)/(3/i). Does 13 divide ((-1)/2)/(3/d)?
False
Let a = 6 + -3. Suppose 0 = a*p + 12 - 30. Is p even?
True
Suppose 0*g - g + 4 = 0. Let b = 67 + -7. Suppose g*t - b = -t. Is t a multiple of 6?
True
Suppose c + 6*n - 5*n = 31, 5*c = -4*n + 155. Suppose y = -4 + c. Is y a multiple of 25?
False
Let a be (6/(-2))/(-3) + -9. Is (-11)/(-4) + (-2)/a a multiple of 2?
False
Let l(v) = 2*v**2 - 7*v - 5. Let j be l(9). Suppose c - 77 = -3*h, 0 = -4*h + 6*c - 3*c + j. Is 25 a factor of h?
True
Suppose 4*o - o + 116 = -s, -4*s - 184 = 5*o. Let w = 67 + o. Does 9 divide w?
True
Let j = -26 - -29. Suppose j*h = -2*i + 92, -3*i - 2*i + h = -213. Is i a multiple of 12?
False
Let w(c) = 14*c. Is w(4) a multiple of 8?
True
Let o be 2*(-1 + 0) + 0. Is 9 a factor of o + (102/3)/2?
False
Suppose 4*d = 5*n - 260, -147 = -3*n - 5*d + 46. Let w = 9 + n. Does 17 divide w?
False
Let z(o) be the third derivative of -o**4/24 + 2*o**3/3 + 2*o**2. Let f be z(6). Does 7 divide 1/3*(49 - f)?
False
Suppose 0 = 8*f - 17*f + 396. Is 22 a factor of f?
True
Let m(i) = -i + 10. Is 8 a factor of m(-14)?
True
Let c be (-3 + 3)/((-1)/1). Let x be c/1 + -2 - 0. Let l = 8 + x. Does 3 divide l?
True
Let c(b) be the third derivative of b**5/60 - b**3/2 - b**2. Suppose 3*i - 24 = -w - 5, i + 2*w = 13. Does 11 divide c(i)?
True
Let w(x) = 10*x - 33. Does 8 divide w(8)?
False
Let j(t) be the first derivative of -t**3/3 - 4*t**2 - 5*t + 1. Let y(q) = -q**3 + 6*q**2 - q. Let p be y(6). Does 7 divide j(p)?
True
Suppose -4*c + 8 = f + 3*f, 4*f = 2*c + 14. Let q be -61 + -1 + (c - -2). Let h = q + 89. Is 14 a factor of h?
True
Let t(s) = 2*s - 8. Let y be t(4). Suppose p + y*p - 45 = 0. Does 15 divide p?
True
Suppose -3*u - 7 = -4*g, 2*u = 4*g - 9 + 3. Let n = g + 2. Suppose n*z = 90 - 27. Is z a multiple of 8?
False
Let z = -2 + 5. Suppose 2*x = -8, z*x + 96 = -m + 3*m. Suppose g - 4*g = -m. Is 7 a factor of g?
True
Let d(c) = -c**2 - c + 5. Let s be d(5). Let h = 15 + s. Is -1 - (3 + -2) - h a multiple of 6?
False
Let p = 7 - -2. Let i = p - 7. Suppose -4*m + 4*h + 136 = 0, 0*h + 149 = 5*m + i*h. Is 13 a factor of m?
False
Let a(u) = -18*u - 1. Let v(j) = -j**2 - j + 2. Let i be v(-3). Let n be a(i). Suppose -m = 3*z - 139, -m - 4*m + n = 2*z. Does 17 divide z?
False
Let j(k) = 61*k + 2. Let v be j(-2). Let h = 170 + v. Is 11 a factor of (6/5)/(2/h)?
False
Let d = 36 - 137. Let l = d + 145. Is l a multiple of 11?
True
Let z = -51 - -19. Let v = -2 - z. Is v a multiple of 8?
False
Let g(c) be the third derivative of -c**4/12 - c**3/2 + 2*c**2. Let w(v) = -v. Let d be w(4). Does 2 divide g(d)?
False
Let r = -3 - -5. Suppose 52 = -2*y + 5*b + 151, 4*b = -r*y + 90. Is y a multiple of 13?
False
Let t(u) = 2*u**3 + 5*u**2 + 3. Let g(k) = 5*k**3 + 14*k**2 + k + 8. Let o(y) = 3*g(y) - 8*t(y). Is o(-2) a multiple of 9?
False
Suppose 2*v = 4*v - 5*p - 398, 3*p = -12. Suppose 8*k + v = 3*a + 3*k, 5*a - 3*k = 315. Is a a multiple of 12?
False
Suppose -4*n = -5*h + 73, 7*h - 2*h = 5*n + 75. Is 3 a factor of h?
False
Let d(x) = x**3 + 3*x**2 + 2*x + 2. Let n be d(-2). Suppose -6 = -c - n. Suppose 2*i - 4*o = 24, 3*o = -c*i + i + 45. Is i a multiple of 6?
False
Is 30/((-55)/(-20) + -2) a multiple of 20?
True
Let c = 24 + -5. Is 10 a factor of c?
False
Let b be 90/21*(-70)/(-2). Is b/14 - (-2)/7 a multiple of 4?
False
Suppose -5*n + 100 = r, -84 = -3*r + 5*n + 136. Does 16 divide r?
True
Let g = -301 - -426. Does 34 divide g?
False
Let c = 70 + -26. Is c a multiple of 20?
False
Let w(a) = -15*a - 2. Is 7 a factor of w(-2)?
True
Let o be ((-8)/(-16))/((-2)/(-24)). Suppose f + 26 = 5*d, 0 = -o*d + 4*d - 2*f + 8. Suppose -d*n - 3*s + 174 = 0, 3*n + 3*s = 4*s + 110. Does 13 divide n?
False
Let i(s) = -15 + 4*s + 15. Let c be i(6). Suppose w + 1 = c. Is 20 a factor of w?
False
Let w = 5 - 0. Suppose -w*c - 20 = -9*c. Suppose 8*u - 162 = c*u. Is 27 a factor of u?
True
Let k be 6/4*6/3. Suppose k*b - a - a - 134 = 0, 2*a - 76 = -2*b. Is b a multiple of 21?
True
Suppose -4*i + 41 = 17. Is i a multiple of 6?
True
Suppose -3*j + 2*k = -264, 0 = -5*j + 2*k - 0*k + 440. Does 38 divide j?
False
Let k(d) = 17*d -