. Let t be m(-12). Suppose 2*h - t*i + i = 44, -3*h = 5*i - 44. Is 18 a factor of h?
True
Suppose 0 = m - 2 - 2. Suppose 2*d - 14 - m = 0. Is 28 + d/(-3) + 5 a multiple of 10?
True
Suppose f = 2*n + 46, -3*f = -0*f - 2*n - 118. Is f a multiple of 10?
False
Let d(k) = 76*k. Let q be d(-1). Let r = q - -130. Suppose 2*t + 0 - 10 = 0, -h = 4*t - r. Does 17 divide h?
True
Let m = -50 + 53. Is 3 a factor of m?
True
Suppose 0 = -4*i - 2*i + 12. Let c(m) = 18*m. Is c(i) a multiple of 9?
True
Let l = 19 + 0. Let b = -10 + l. Is b a multiple of 3?
True
Let j be 4/2*10/1. Let o = 49 - j. Is o a multiple of 20?
False
Let w(b) = 3*b**2 + 10*b - 19. Is 11 a factor of w(8)?
True
Is 16 a factor of -4 + (7 - 2) - (0 - 51)?
False
Suppose -r - 2*v = 2*v + 14, 2*r - v + 1 = 0. Is 4 a factor of (r + 6)*20/16?
False
Is 5/2*8/5 a multiple of 4?
True
Let w = 69 - -27. Is w a multiple of 8?
True
Suppose 0 = -2*y - y + 6. Suppose 7 = y*k - 7. Suppose 4*q = z, -3*q = -k*q + 16. Does 8 divide z?
True
Let s = 98 - 59. Does 13 divide s?
True
Let y(i) = i**3 + 12*i**2 + 10*i - 5. Does 12 divide y(-10)?
False
Let v be (2 - 1) + 1 + 54. Let h = v + -19. Is h a multiple of 15?
False
Let y(n) = n - 5. Let u be y(9). Suppose -2*b = u*x - 48, -7*x = b - 3*x - 18. Is 13 a factor of b?
False
Let o = -29 - -173. Is 12 a factor of o?
True
Let h = 8 + -6. Is 13 a factor of (h/(-5))/((-2)/130)?
True
Let a = 229 - 75. Is a a multiple of 22?
True
Let y be (-3)/6*-2*0. Suppose -g + y*g = -34. Let w = 47 - g. Is w a multiple of 13?
True
Suppose -t - 12 = -0. Is 27 a factor of (18/t)/(1/(-30))?
False
Let j be -6*(-2)/4 + -49. Let p = 78 + j. Is p a multiple of 13?
False
Let d be 14*((-3)/(-6))/(-1). Let r(c) = -c**2 - 7*c + 7. Does 5 divide r(d)?
False
Suppose 4*q = 8*q. Suppose q = -4*x - 12, z + 6*x = x - 9. Is 4 a factor of z?
False
Let g(b) = -b**3 - b**2 - 6*b - 1. Does 16 divide g(-4)?
False
Let l = -11 + 39. Does 16 divide l?
False
Let o = 20 + -12. Let d(k) = k**3 - 9*k**2 + 11*k - 12. Does 6 divide d(o)?
True
Let h(v) = -v**3 + 2*v**2 + v - 1. Let y be h(1). Let j be (-1 + 2)/(3/(-21)). Is (y - j/3)*9 a multiple of 15?
True
Let t(i) = -i**3 + 8*i**2 + 10*i + 8. Does 22 divide t(8)?
True
Suppose 5*f - 10 = -v + 10, 3*v + 2*f = 47. Let b(x) = -x**3 + 15*x**2 + 15. Is 5 a factor of b(v)?
True
Let l(h) = 40*h**2 - h - 2. Is l(-1) a multiple of 13?
True
Is 3 a factor of (42/(-3))/(1 - 2)?
False
Suppose -45 - 85 = -5*k. Is 13 a factor of k?
True
Suppose -6 = -2*t - 16. Let q = 1 - t. Is q a multiple of 3?
True
Let z = -39 + 64. Let g = z - 10. Is g a multiple of 15?
True
Let f be 12/8*(1 - 3). Let k(n) = n**2 - 4*n + 1. Is k(f) a multiple of 6?
False
Let f(w) be the second derivative of -w**3/6 - w**2 - 3*w. Is f(-10) a multiple of 8?
True
Let p = 374 + -222. Is p a multiple of 19?
True
Let x(a) = -2*a - 8. Is x(-6) a multiple of 4?
True
Let i = 7 + 11. Let u = 30 - i. Is 12 a factor of u?
True
Let n(o) = -o**2 - 26*o - 8. Does 19 divide n(-24)?
False
Let n(z) = -z**2 + 7*z + 6. Suppose 3 = x - 3*h, 2 = x + 4*h - 8. Let l be n(x). Let u = 13 + l. Is 12 a factor of u?
False
Suppose -5*f = -2*f - 27. Is 5 a factor of 1/((9/20)/f)?
True
Let a(u) = u**2 - 2*u + 2. Suppose -4*t + 10 = -3*t - 4*k, 5*k + 8 = -t. Let x be a(t). Suppose x*w = o - 11, -5*w - 14 = -3*o + 18. Does 8 divide o?
False
Let r(n) = -5*n + 2. Let s be r(-2). Is 16 a factor of s/20 - 384/(-10)?
False
Suppose 5*a - 96 = 389. Is a a multiple of 21?
False
Let k be 0 - (-3)/(-1) - -9. Suppose -d = 4*o - 4 - k, 2*d = 2*o. Is d a multiple of 2?
True
Suppose 5*f - 21 = 2*t, -4*f + 26 = 5*t - 4. Suppose -2*y - 2*d = -6*d - 96, f*y - 315 = -5*d. Does 19 divide y?
False
Suppose 4*g - 41 = 7. Suppose p - 4 = s, -p + 2*p + 3*s = g. Is 2 a factor of p?
True
Let t(x) = -x**2 + x + 36. Let g be (12/(-9))/2*-3. Suppose 2*s - 6 = 0, r + 2*s = 4 + g. Does 18 divide t(r)?
True
Let n(t) = t + 6. Let i(x) = -2*x - 5. Let q(k) = -4*i(k) - 5*n(k). Is 7 a factor of q(9)?
False
Let y = -15 - -11. Does 14 divide y/(-6) - (-425)/15?
False
Let l be 81/6 - (-2)/4. Let w = l - 4. Is 5 a factor of w?
True
Let s(l) be the third derivative of l**8/6720 + 49*l**5/120 + l**4/8 + 3*l**2. Let t(b) be the second derivative of s(b). Does 19 divide t(0)?
False
Let i(v) = -2*v - 5. Let k be i(-5). Suppose 5*g - a = a - k, 0 = g + 2*a + 13. Let b = g + 6. Is b a multiple of 3?
True
Suppose -38 = 4*d + 162. Suppose 448 = 4*x + 144. Let t = d + x. Is 11 a factor of t?
False
Let r be (-4)/((-48)/9)*36. Suppose 3*f - r = 27. Is f a multiple of 9?
True
Suppose 0 = q + 2*q - 36. Is q a multiple of 9?
False
Suppose 5*s + 3 + 22 = 5*u, u = 3*s + 5. Suppose -l - 4*w + 28 = 0, s = -5*l - 3*w + 8*w + 40. Is l a multiple of 12?
True
Let l = 1 + 4. Suppose l*x + 2*t = -0*t + 14, x + 3*t = -5. Is 4 a factor of x?
True
Let h(b) = -6*b. Suppose 3*d - t + 4*t = -9, 6 = -4*d - t. Is h(d) a multiple of 3?
True
Is 5 a factor of 20/(-3)*(-7 - -4)?
True
Suppose -2*g - g = 2*n + 8, 5*n = 4*g - 20. Let d = g + 5. Let p = d + 30. Does 16 divide p?
False
Suppose 5*b - 7 = -2. Suppose -x + 2*d + 3 + b = 0, 0 = -x + d + 6. Does 8 divide x?
True
Let y be (51/(-6))/((-1)/10). Suppose -7*i = -2*i - y. Is i a multiple of 7?
False
Let a(q) = -q**2 + 7*q - 8. Let f be a(6). Let v be (16/(-12))/(f/6). Suppose -40 = -v*x + j, -3*j = 7*x - 3*x - 56. Is x a multiple of 5?
False
Let n(u) = -u**2 - 7*u - 5. Let v be n(-5). Suppose 4*y = -b - v, 2*y + 2 - 4 = -2*b. Suppose 0 = -t + 1 + b. Is t even?
True
Suppose 3*c - 24 = c. Is c a multiple of 5?
False
Suppose 3*d + 36 = -5*b + 4, 0 = -2*b + d - 4. Let j be 1 + b + 2 + 4. Suppose j*a = -2 + 35. Is a a multiple of 7?
False
Let z = 31 - 12. Is z a multiple of 11?
False
Let p = 0 - -3. Suppose -29 = -u - 3*o, -5*o + 66 = 3*u - p*o. Does 4 divide u?
True
Suppose -11*f + 16*f = 135. Suppose 0 = -c + 3, 3*p - c + f = 7*p. Is p a multiple of 6?
True
Let p be (5 + -2)/(-1 + 0). Let a be ((-2)/p)/((-4)/(-24)). Suppose 0 = a*n + m - 18, 7*n - 3*n - 2*m = 24. Is n a multiple of 2?
False
Let k be (-12)/42 + (-1934)/(-7). Suppose -5*m + 2*o + 2*o = -309, -4*o + k = 4*m. Is m a multiple of 29?
False
Let t = 5 - 5. Suppose 0 = 5*y + n - 20 - 6, -5*y + 2*n = -23. Does 4 divide 5*(8/y + t)?
True
Let v(k) = -2*k**3 - 3*k**2 - 2*k. Let h be v(-3). Does 7 divide h + (0/2)/(-1)?
False
Suppose 372 = 6*o - 2*o. Suppose -3*l - 4*d = -16, -4*d = -8*d + 4. Suppose l*s - o = s. Is 10 a factor of s?
False
Let t = 1 - -3. Is 22 a factor of ((-23)/2)/(t/(-8))?
False
Let b = -3 + 15. Is b a multiple of 3?
True
Let a = -172 - -408. Suppose 4*s - a = -0*s + 4*b, -b = 2*s - 118. Suppose 3*z - s = -11. Is z a multiple of 10?
False
Suppose 5*n - 7*n = -5*y + 187, 5*y - 5*n = 175. Is 22 a factor of y?
False
Let g = -2 + 25. Is 7 a factor of g?
False
Is 15 a factor of (-3 + -104 + -1)/(0 - 1)?
False
Let w(p) = -p**3 + 6*p**2 + 6*p + 10. Let k be w(7). Suppose -k*b + d + 18 = 0, -2*d = -5*b - d + 32. Does 5 divide b?
False
Suppose x + 392 = 3*x. Suppose 0 = 3*d + x - 34. Is 3 a factor of d/(-15) + 2/5?
False
Let j(d) = -d**3 + 6*d**2 - d + 8. Let u be j(6). Suppose -a + 30 = 2*f - 4*f, -u*a - 3*f = -25. Is a a multiple of 20?
True
Let l be (-12)/(-30) - (-27)/(-5). Let s = l - -7. Does 15 divide (3 - -40)/(2/s)?
False
Suppose -4*c = 2*r - 84, -190 = -r - 4*r - 5*c. Suppose 0 = -0*s - s - z + r, 3*s + z = 92. Suppose 5 = -4*x - v + s, -x + 6 = -v. Is x a multiple of 6?
True
Let q(f) be the third derivative of 1/120*f**6 + 1/4*f**4 + 7/60*f**5 + 2/3*f**3 + 0*f + 0 - f**2. Is q(-4) a multiple of 14?
True
Let u(f) = -f - 3. Let g be u(-7). Let c be (15/(-20))/((-1)/g). Is 12 a factor of (-1 - c)*(1 - 7)?
True
Let y be (-46)/(-14) + 2/(-7). Suppose 33 = y*q - 0*q. Suppose -u - 4*a - q = 0, -3*u - 4*a + 22 = -3*a. Is 8 a factor of u?
False
Suppose -2*d + 3 + 5 = -3*j, j = d - 2. Let b(c) = -12*c - 3. Let g be b(d). Suppose -5*y + 28 = -3*p, -4*y + 6*p = 5*p - g. Does 5 divide y?
True
Let t(h) = -h - 2. Let s be t(-6). Suppose s*c = 9 + 3. Let g(r) = 2*r**2 + 2*r - 3. Is 11 a factor of g(c)?
False
Suppose -5*s - 108 = 12. Does 2 divide (-6)/(-10) + s/(-10)?
False
Suppose 0 + 8 = 4*o. Suppose 4*d = -4*x + 136, -d - 9 - 59 = -o*x. Does 9 divide x?
False
Let k = 8 + -4. Suppose 2*v = -0*v + k. Le