 y = 23 - 20. Is i(y) a multiple of 18?
False
Is 38 a factor of (-6)/(-4)*(1348/12 + -3)?
False
Let b(n) = -n**2 + 14*n + 11. Is 9 a factor of b(11)?
False
Let q(h) = -h**3 - 3*h**2 - 2*h - 8. Let a be q(-7). Suppose -5*t = 3*f - 0*f - 234, 4*t - a = 5*f. Is t a multiple of 16?
True
Let r = 11 - 8. Suppose -2*n - y + 2 = -r, -n = -5*y - 19. Suppose -35 = -u - 2*u - 5*l, -2*l + 56 = n*u. Does 4 divide u?
False
Suppose 2*b = 17 - 7. Suppose -59 = -b*u - 14. Is u a multiple of 9?
True
Suppose 2*h - 637 = -2*h + n, h + 3*n = 169. Let t = -67 + h. Does 35 divide t?
False
Let h = 5 - 0. Let z = h + -3. Suppose 3*t - 155 = -z*t. Is t a multiple of 13?
False
Let r = 3 - -2. Suppose -p = -2*n + 8, -4*p = n - 3*n + 20. Suppose 0 = -r*i + 25, 2*q + n*i + i = 45. Does 15 divide q?
True
Let i = -3 - -6. Let f = i - -3. Is f a multiple of 4?
False
Let l(y) be the third derivative of -y**5/60 - 3*y**4/8 + 5*y**3/3 + 4*y**2. Is 5 a factor of l(-9)?
True
Let j(g) = 2*g**2 + 6*g - 3. Let x be j(4). Let r = -36 + x. Does 10 divide r?
False
Let m(o) = o**2 + o + 2. Does 14 divide m(5)?
False
Let i(k) = k - 3*k**2 + k**2 - 2*k**2 - k**3 - 6*k**2 + 13. Is 2 a factor of i(-10)?
False
Let m(k) = -5*k + 5*k - 12*k. Let s = 20 - 22. Does 13 divide m(s)?
False
Suppose 2*n - 3*i = -3*n, 0 = 2*n - 5*i + 19. Let m = n + -9. Let f(z) = 2*z**2 + 8*z + 5. Is f(m) a multiple of 18?
False
Suppose u = -2*y + 3*y - 19, -4*y = -u - 91. Is 9 a factor of y?
False
Let m be (-5 + 1)*(-72)/3. Suppose -6*w = -2*w - m. Is 8 a factor of w?
True
Let d be (-2 - -3)*2/2. Suppose 2 + d = c. Suppose -21 = -c*r - 0. Does 7 divide r?
True
Suppose 4*i = -40 + 120. Does 7 divide i?
False
Let g(w) = 8*w**3 + 5*w - 3*w + 5*w**2 - 6*w**2 - 1 + 0*w. Is g(2) a multiple of 16?
False
Let o be (3 - 2) + 2 + -1. Let q(p) = -2*p**2 - 5*p**2 - 2 + 4*p + 6*p**2. Is q(o) even?
True
Suppose 2*d + 3*d - 220 = 0. Let b = d + -14. Is 7 a factor of b?
False
Suppose -14 = -3*n - 5. Suppose 2*j = -z - 5 + 37, n*z + 5*j = 95. Is 5 a factor of z?
True
Let u(k) = -k**3 - 6*k**2 + 6*k - 6. Let y be u(-7). Let f be 2*-2*y/2. Is f*(-15)/6 - 3 a multiple of 2?
True
Let p(j) = -4*j - 13. Is 3 a factor of p(-7)?
True
Suppose 11 = -5*m - 9, x + m = 48. Is 20 a factor of x?
False
Suppose -8*b + 218 + 86 = 0. Does 13 divide b?
False
Suppose -7*c + 108 = -6*c. Is c a multiple of 18?
True
Suppose -5*g = -3*s - 0*s - 25, -3*s + 20 = 4*g. Suppose 0 = -s*q - 3*q + 291. Suppose -q - 28 = -5*c. Does 8 divide c?
False
Suppose 0 = -5*j + 5*t - 2*t - 336, -t = -j - 66. Let f = j + 97. Suppose 0*x - x = -f. Is 14 a factor of x?
True
Suppose -k + 9 = 2*k. Suppose -6 = -2*j - j. Suppose k*y - 33 = -j*s + 10, 0 = 4*y - 5*s - 42. Is 13 a factor of y?
True
Let s(m) = -m - 1. Let i be s(-6). Suppose -a + 90 = 3*d - i*a, -d = -3*a - 25. Does 17 divide d?
True
Let x(n) = -6*n**3 + 3*n**2 - n - 2. Let i be x(2). Let g = 60 + i. Is 10 a factor of g?
True
Let o(g) = -3*g**3 - 5*g**2 - 3*g + 4. Let p be o(-3). Let u = 144 - p. Suppose 0 = -4*k - k + u. Is 10 a factor of k?
False
Let t = 26 - -134. Is t a multiple of 20?
True
Suppose -3*p = 3*j - 12 - 3, 4*j + 3*p - 22 = 0. Suppose -j*f + 101 + 4 = 0. Is f a multiple of 9?
False
Suppose 2*c + 10 = c - 3*g, -2*g - 3 = -3*c. Let r = c + 3. Suppose -r*z = -62 + 6. Does 15 divide z?
False
Let t(b) = b**3 - 3*b**2 - 4*b - 4. Let m be t(-2). Let i = m + 22. Is i a multiple of 2?
True
Suppose 0 = 3*p + 2 - 17. Suppose 5*h + 4*q = -32 - 14, 2*q = p*h + 22. Let l(s) = -6*s + 2. Does 15 divide l(h)?
False
Suppose 0 = -5*g - 2*c + 356, 4*g = -4*c - 0*c + 280. Is g a multiple of 12?
True
Suppose -4*b = -5*h + 347, 3*b - 77 = -h - 0*h. Does 30 divide h?
False
Suppose -5*o + 7 = -8. Let u = 79 - o. Does 25 divide u?
False
Let u be ((-75)/(-20))/((-2)/(-8)). Suppose 0 = -3*p - 4*i + 45 + u, -4*i = 0. Suppose -4*a - 5*c + 20 = 0, -c = 4*a - 5*c - p. Is 5 a factor of a?
True
Let c(g) = -g + 1. Let x be c(4). Let n = 1 - x. Suppose -4*z + 3*f = -62, n*z - 2*f + 10 = 70. Is 7 a factor of z?
True
Let b be (-5)/15 - (-1)/3. Suppose -5*i + i + 60 = b. Let v = i - 1. Is v a multiple of 7?
True
Suppose 2*w + 54 = 4*c + 626, -2*c = 4*w - 1184. Does 8 divide w?
False
Let s(o) = -o**3 + o**2 - o + 13. Let w be s(0). Is (-14 + w)/(2/(-44)) a multiple of 11?
True
Suppose -k = 2*b - 175, 6*k = 2*k - 20. Is b a multiple of 18?
True
Let h(c) = 128*c**3 + c**2 + 2*c + 1. Let u be h(-1). Let t = u + 182. Is t a multiple of 18?
True
Let n(i) = i**2 - 2*i - 6. Let j(p) be the first derivative of 4*p**3/3 - 9*p**2/2 - 23*p + 2. Let m(l) = -2*j(l) + 9*n(l). Does 19 divide m(7)?
False
Let l = 4 - -1. Suppose 3*u - 4 = l*u. Let m(r) = -9*r + 2. Is m(u) a multiple of 12?
False
Suppose 0 = 2*o + 113 - 513. Suppose -d - o = -3*d. Is d a multiple of 27?
False
Let f be ((-6)/(-12))/((-2)/(-8)). Let g = f - 2. Suppose 3*k + 24 - 117 = g. Does 8 divide k?
False
Let l(y) = 22*y + 15. Is l(9) a multiple of 35?
False
Suppose -2*l + 17 = -7. Is 14 a factor of 333/l + (-3)/(-12)?
True
Let t be (-3)/(-3) + (-165)/(-3). Suppose 3*z + 4*h - 71 - t = 0, -4*h = -5*z + 233. Suppose -m - z = -4*m. Is 7 a factor of m?
False
Let u = -126 + 171. Does 5 divide u?
True
Let n = 323 + -190. Let q = -93 + n. Let j = q + -29. Is 11 a factor of j?
True
Suppose 0 = -4*h + 68 + 60. Is 8 a factor of h?
True
Is 20 a factor of 79 + ((-24)/(-16))/(3/(-4))?
False
Let f(g) = g**3 - 2*g - 1. Let o be f(2). Does 17 divide o/1 + 66/3?
False
Suppose 0*c - 4*c = -68. Does 3 divide c?
False
Let x(f) = -f - 1. Let h be x(-1). Suppose 2*t - 37 = -3*k + t, -3*k + t + 47 = h. Is k a multiple of 14?
True
Does 9 divide (-3)/(-9) + 77/3?
False
Let k be (4/7)/(8/28). Suppose -3*o + 2*o + k = 0. Suppose -h + 14 = -o. Is 16 a factor of h?
True
Let g = -12 + 27. Suppose 4*a = -a + g. Is a a multiple of 3?
True
Suppose -5*s + 20 = -5. Suppose 4*d - 2*u - 28 = -3*u, s*u = 4*d - 4. Is ((-18)/(-4))/(d/12) a multiple of 9?
True
Let g be 14/(-4)*2*-1. Let h = g + -4. Let p = 14 - h. Does 7 divide p?
False
Suppose -7 = -4*s + 45. Let r = s - -21. Does 14 divide r?
False
Let y = -21 + 48. Is y a multiple of 7?
False
Let v = -128 - -195. Suppose -4*g + k = -153, 3*g - 44 = -3*k + v. Is g a multiple of 19?
True
Let g = -97 + 181. Is g a multiple of 21?
True
Let s(u) = 11*u + 167 + 13*u - 167. Is s(2) a multiple of 12?
True
Let n = -280 + 550. Is 52 a factor of n?
False
Let z = 2 - 8. Is ((-8)/z)/((-8)/(-132)) a multiple of 16?
False
Let x be -13 + 9 + (2 - -100). Let w = x + -41. Is 14 a factor of w?
False
Let q(z) = 4*z**2 - 1. Let j(r) = r - 10. Let t(y) = -y + 4. Let a be t(-4). Let u be j(a). Is q(u) a multiple of 10?
False
Let d = 3 + -3. Suppose y - 68 = -2*n - 26, 5*y - 4*n - 238 = d. Suppose 2*b + 3*t - y = -t, 2*b - t - 21 = 0. Does 10 divide b?
False
Suppose 2*t = 39 + 3. Is 7 a factor of t?
True
Let g(y) = 6*y + 1. Let i be (-12)/(-2 - 1) - -1. Suppose 3*v - 2*v = -4*o + 22, i*o + 3*v = 24. Is 23 a factor of g(o)?
False
Suppose 4*a = -n + 6*n + 11, 15 = 3*n. Is a a multiple of 3?
True
Let o(l) = 9*l**2 - 2*l + 5. Does 2 divide o(2)?
False
Does 14 divide 21/2*4/3?
True
Let z be (-8)/12*(-117)/1. Let i = -42 + z. Is i a multiple of 10?
False
Let y = 46 - 25. Let m be (-345)/7 + 6/y. Let b = m - -69. Does 18 divide b?
False
Let n = 211 + -145. Is n a multiple of 11?
True
Let b = 561 + -95. Is b a multiple of 76?
False
Let m(t) be the third derivative of t**4/4 + 3*t**2. Let a be m(1). Does 5 divide 9/(-3)*(-10)/a?
True
Let t(f) = 9*f**2 + 4*f - 3. Suppose 2*l + 5*p - 19 = 0, -4*l - 10 = -5*p - 3. Is t(l) a multiple of 21?
False
Let c(d) = -d**2 - 19*d - 33. Is 19 a factor of c(-12)?
False
Let t be (-1)/(-3 - -2)*2. Suppose -5*c = 2*i - 32, -t*i + 0*i - 8 = -5*c. Is 6 a factor of i?
True
Let r be (-3)/(1*3/(-39)). Let s = r + 1. Is s a multiple of 8?
True
Suppose 0 = 4*c + 22 - 58. Is c a multiple of 5?
False
Suppose -2*x + 3 + 3 = 0. Suppose 0 = -0*i - 4*i + 2*j + 40, -5*i - 5*j + 80 = 0. Suppose -x = -t + i. Is 12 a factor of t?
False
Suppose 36 - 396 = -5*u. Is 18 a factor of u?
True
Let b(m) be the first derivative of -68*m**3/3 - m**2 - m - 1. Let w be b(-1). Let p = -35 - w. Is p a multiple of 22?
False
Is 32 a factor of 128 + 0 + 3 + -1?
False
Suppose 2*z + 3*z - 20 = -4*l, -2*l = -4*z