). Suppose -3*m = -n*m - 2. Does 12 divide (-26 - m*-1)*-1?
True
Let h = 247 + -391. Let c = h + 89. Let z = -11 - c. Is 16 a factor of z?
False
Let g(u) = u**2 + 30. Does 9 divide g(0)?
False
Let f be 24/9 + 2/(-3). Let c(y) = -y**2 - y + 12. Let o be c(0). Suppose -4*u + o = f*v - v, 5*u + 36 = 3*v. Is 5 a factor of v?
False
Suppose 6*m - 11*m = -395. Does 36 divide m?
False
Let q = 4 + -7. Let h = q - -9. Is h even?
True
Let t(j) = -j**2 + 5*j. Let s be t(4). Suppose s*d - 188 = -36. Is 13 a factor of d?
False
Let q = -8 + 7. Let j = -75 - q. Let v = -35 - j. Is v a multiple of 13?
True
Let x = 28 + 5. Does 11 divide x?
True
Let i(t) be the third derivative of t**4/24 + 4*t**3/3 - 3*t**2. Let j be i(-6). Suppose j*k + 2*k = 3*h + 170, -3*h - 214 = -5*k. Is 22 a factor of k?
True
Let l(z) = 12*z + 3. Let x(i) = 23*i + 6. Let p(y) = 5*l(y) - 3*x(y). Is 15 a factor of p(-2)?
True
Suppose 0 = -3*w + 4*g + 16, -5*w - 8 = -0*w + 2*g. Suppose 0 = b - 6*b + 15. Let a = b - w. Is 3 a factor of a?
True
Let p(c) be the second derivative of -4*c**3/3 - c**2 + c. Let s = 89 + -91. Is 6 a factor of p(s)?
False
Let l(d) = 3*d - 42. Suppose 1 = -q + 4. Let g(x) = -2*x + 41. Let k(h) = q*l(h) + 4*g(h). Does 17 divide k(0)?
False
Let y be (14/(-2))/(8 + -7). Let x(l) = -4*l + 10. Does 19 divide x(y)?
True
Suppose 5*z + 2*w - 408 = 0, z + 2*w - 76 = 3*w. Does 16 divide z?
True
Suppose m = 3*p - 5*p + 7, 0 = -5*m - 2*p + 19. Suppose -m*d = d - 20. Suppose -79 - 51 = -d*v. Is 21 a factor of v?
False
Suppose 5*l + 8 = 33. Let y(m) = 38*m + l*m + 0 + 1. Is 16 a factor of y(1)?
False
Let v(g) = 25*g - 1. Let y be v(-1). Let x = y + 67. Is x a multiple of 18?
False
Let y = 106 + -107. Let c(i) = -15*i**3 - 7*i**2 + 5*i + 5. Let u(k) = k**2 - k - 1. Let q(b) = c(b) + 6*u(b). Does 7 divide q(y)?
True
Let i = -23 - -32. Let a(z) = -z**2 + 9*z + 7. Does 7 divide a(i)?
True
Let v be (-2)/(-10) + 56/20. Suppose -285 = -v*s - 2*s. Does 19 divide s?
True
Let p be (-24)/(-2) + -4 + 6. Suppose q + q = p. Suppose -2*w + 47 = -q. Is w a multiple of 14?
False
Suppose 0 = -b - 3*b - 16, x = -5*b + 32. Does 6 divide x?
False
Let b(n) = n**2 - 12*n + 9. Let m(u) = -2*u**2 + 23*u - 17. Let y(p) = -11*b(p) - 6*m(p). Let d be y(6). Suppose -j - d*j = -48. Does 6 divide j?
True
Suppose 2*k - 6 = k. Let g = k + -6. Suppose 2*s + g*s + 5*m - 70 = 0, -2*s + 58 = -m. Is s a multiple of 10?
True
Suppose -30 = -5*k + i, -14 + 4 = k + 3*i. Suppose 2*y - k*y - 3*f = 0, -5*y + f + 18 = 0. Does 2 divide y?
False
Suppose 6*h = 2*h + 308. Suppose u = -3*w + h, -5*w + 4*u = -4*w - 43. Is 8 a factor of w?
False
Let t be ((-10)/(-4))/(1/2). Suppose 0 = -5*h - 8 + 28. Suppose h*y = 3 + t. Is 2 a factor of y?
True
Suppose 3*f - 1689 = 4*w, 1125 = 2*f - 5*w + 2*w. Does 15 divide (-4)/22 + f/33?
False
Let h(i) = i**3 - i**2 + i + 1. Let g(n) = 3*n**3 - 8*n**2 + 11*n + 2. Let z(r) = -g(r) + 4*h(r). Let m be z(-5). Does 6 divide (-4)/m*(2 - 23)?
False
Let p be ((-4)/(-2))/(3/6). Let k(s) = 2*s**3 - 3*s**2 - 3*s - 4. Is k(p) a multiple of 15?
False
Suppose 5*n = o - 102, 7*o = 2*o + 2*n + 556. Suppose 2*r + 2*r - o = 0. Is 9 a factor of r?
False
Let h(k) = -3 + 0*k - k + 1. Let f be h(-7). Let z = 17 - f. Is 10 a factor of z?
False
Suppose 0 = -3*k + 208 + 284. Is k a multiple of 41?
True
Suppose -f - 3*q = f - 317, -5*q - 325 = -2*f. Suppose -m + f = m. Suppose a + m = 6*a. Is 16 a factor of a?
True
Let n = -14 - -19. Suppose -11 = -n*l + 29. Does 2 divide l?
True
Let l = -1 + 4. Let a(n) = 4*n**3 - 5*n**2 + 2*n - 1. Let d be a(4). Suppose 0*y + d = 5*q + 3*y, -l*q = 4*y - 112. Does 12 divide q?
True
Suppose 3*r = -2*r + 25. Let u = -6 - -6. Suppose u = t + 4*t + r*o - 20, 0 = 2*t - 2*o - 24. Is 4 a factor of t?
True
Let d be ((-4 + 2)*-1)/1. Suppose -2*y = -14 + d. Does 6 divide (-1)/(-3) - (-34)/y?
True
Let d(l) = l**3 - 4*l**2 + l - 2. Let x be d(4). Let v = 30 - 14. Suppose -x*f = s - v, -20 = -0*f - 2*f - 2*s. Is f a multiple of 3?
True
Let q be (1*-1)/(9/(-18)). Let v be 1*2/1 + 2. Suppose -q*t = -2*m + 4*m - 54, -t = -v*m - 22. Is 10 a factor of t?
False
Suppose 0 = 4*t - 155 + 23. Let u = t + 4. Suppose -3*x = 7 - u. Is x a multiple of 5?
True
Suppose t = 2*t. Suppose 5*u - u - 60 = t. Is 15 a factor of u?
True
Suppose 3*n + 2*x + 7 = 61, 0 = -3*n - 4*x + 54. Is 6 a factor of (-8)/(-6)*(-9 + n)?
True
Let b(r) = 10*r**2 - 3*r - 5. Is 11 a factor of b(-2)?
False
Let t be -2*(-2)/(12/21). Let i = t + -3. Suppose i*f + 3*u = f + 12, -3*f + 2*u + 27 = 0. Does 3 divide f?
False
Suppose -2*d = 3*f - 834 + 43, -4*d + 1603 = -f. Does 57 divide d?
False
Let m(n) = n**2 + 13*n + 7. Let b = 29 + -40. Let v be m(b). Is (-297)/(-15) + (-3)/v a multiple of 18?
False
Let k(h) = 9*h - 26. Is k(12) a multiple of 26?
False
Suppose 2*g + 41 = 5. Let h be (-3)/6 - g/4. Suppose 38 = 3*t + 4*c - 47, 4*t - h*c - 104 = 0. Is t a multiple of 18?
False
Let a(r) = r**3 + 7*r**2 + 7*r + 9. Suppose 0 = -s, 0*s - 30 = 5*u + 4*s. Let n be a(u). Does 10 divide (0/n - -20)/2?
True
Is 556/12 + (-5)/15 a multiple of 8?
False
Let v = 135 - 87. Does 4 divide v?
True
Suppose -2*m = 3*p + 4, -4*p + 28 = -3*m - 3*p. Let b(k) be the second derivative of -k**5/20 - 2*k**4/3 - k**3/2 + 4*k**2 + k. Is 16 a factor of b(m)?
True
Let p(x) = 177*x - 11. Is 49 a factor of p(2)?
True
Let c(u) = u**3 + 8*u**2 - 4. Is 12 a factor of c(-4)?
True
Let b = -62 - -119. Does 19 divide b?
True
Suppose -g + 3*g + 36 = 0. Let z be (-420)/g - (-2)/3. Suppose z = 6*u - 2*u + 4*i, u + 5*i + 6 = 0. Does 9 divide u?
True
Suppose -5*y + 4 = 3*f - 144, -209 = -4*f + 5*y. Does 17 divide f?
True
Let a = -33 - -6. Let n = a - -55. Suppose -3*l + 35 = -n. Does 7 divide l?
True
Let r(g) = -g - 3. Let s be r(0). Is (-10)/s*(-660)/(-25) a multiple of 33?
False
Does 28 divide ((-44)/(-55))/(4/450)?
False
Suppose 308 = 4*o + d, 3*o - 2*d = -2*o + 385. Does 16 divide o?
False
Let t = -13 + 68. Is t a multiple of 36?
False
Let j = -2 - -2. Suppose j*f - 4*f = -28. Is 5 a factor of f?
False
Let x(v) be the second derivative of v**5/20 - 5*v**4/12 + v**3/3 - 2*v**2 - 4*v. Does 6 divide x(5)?
True
Suppose -262 = -4*a + 314. Is a a multiple of 24?
True
Let m = -22 + 32. Is 5 a factor of m?
True
Let s(n) = -n**2 - n + 15. Let x be s(-5). Let c be ((-1)/3)/((-2)/(-6)). Is 5 a factor of c/(2 - 1)*x?
True
Suppose -5*v + 3*v = -14. Suppose -3*i = -5*j + 31, -v*j + 24 = -3*j - 2*i. Let h = j - 2. Is 2 a factor of h?
False
Suppose m = -3*m. Suppose m = 6*p - 63 - 33. Does 6 divide p?
False
Let n = 15 + 9. Does 12 divide n?
True
Suppose 3*d + 72 - 24 = 0. Let j = -6 - d. Is j a multiple of 7?
False
Let r(q) = 3*q - 4*q + 0*q**2 + 4*q**2 + 3*q**2. Is 6 a factor of r(1)?
True
Let l be (-6)/(1 - -2) - -11. Suppose -a - l + 2 = -5*j, 0 = 3*j - a - 3. Let g = 8 - j. Is g a multiple of 4?
False
Let c(d) = -d**3 - d**2 - d + 3. Suppose 5*u = 2*q, 5*u = -q + 2*u. Does 2 divide c(q)?
False
Suppose -2*x + 4*u = -4*x + 104, 4*x + 3*u = 193. Suppose -m - x = -3*m. Does 5 divide m?
False
Suppose -3*k + 2 = -4. Let d be ((-4)/10)/((-1)/95). Suppose d + 22 = k*q. Does 11 divide q?
False
Let l(v) = -v - 1. Let z be l(-4). Let m(o) = 16*o - 4. Does 21 divide m(z)?
False
Suppose -18 = 3*k - 0*k. Let x be (-3)/k*2 + 149. Suppose -n - 4*n = -x. Is 14 a factor of n?
False
Let x(k) = -7*k**3 - 10*k**2 + 4*k + 7. Let l(h) = 4*h**3 + 5*h**2 - 2*h - 3. Let a(p) = 5*l(p) + 3*x(p). Does 30 divide a(-6)?
True
Let o(j) = -3 - 3*j - 4 + 6 + j. Let u be o(-5). Is (-13)/(-2) - u/18 a multiple of 4?
False
Let n(o) = 5*o**2 + o - 1. Let q be n(1). Let r = q + -2. Is 6 a factor of 2/((-4)/(-34)) + r?
False
Let l = 1 + 4. Suppose -s - 4*i + l = -15, 32 = 5*s + 3*i. Does 3 divide s?
False
Let c = 2 - -3. Does 12 divide (8/c)/(2/60)?
True
Suppose 0*k - 452 = -5*k - 2*x, -4*x - 86 = -k. Does 18 divide k?
True
Suppose -1 = -i + 5. Let o be 1*2 - (74 - i). Let c = o + 103. Does 17 divide c?
False
Suppose v = 2*u + 24, 5*u - 18 = -4*v + 26. Is v a multiple of 8?
True
Suppose 3*c = -c + 8. Suppose -2*u + 6 = -2*g, -4*g - 12 = c*u - 7*u. Suppose 5*m + 10 = u, -2*y = 3*y - 4*m - 58. Does 7 divide y?
False
Suppose 0*j - 60 = -2*j. Let o = -4 + j. Is 13 a factor of o?
True
Suppose -2*b = -3*b. Is 6 + 2 + (b - -1) a multiple of 7