e 4*a - 4 = -i, 4*a = i + a + 3. Does 12 divide 84/(-8)*(-2 - i)?
False
Suppose -15*i + 20*i = 190. Does 19 divide i?
True
Let d(l) = -13*l - 9. Does 5 divide d(-3)?
True
Suppose -d + 5 = -2*l, l = 2*d - 2*l - 10. Let g be 11/d - (-8)/(-40). Suppose 0*t - 26 = -g*t. Is 8 a factor of t?
False
Let r = -2 + 6. Suppose k = -3*h + 24, -k = r*k - h - 88. Is k a multiple of 9?
True
Let x(n) = 0 - 4*n**2 + 4 + 36*n**3 - 37*n**3 - 2. Suppose 5*b - j = 4*j - 40, 5*j = -3*b. Is 9 a factor of x(b)?
True
Let l(w) = w**2 + 25. Does 18 divide l(0)?
False
Let z = -4 - -5. Suppose 3 = j - z. Is j a multiple of 2?
True
Suppose 80 + 52 = 6*a. Is a a multiple of 8?
False
Let p(g) = g**3 + 4*g**2 - 6*g - 7. Let m be p(-5). Is 15 a factor of 41 - (0 + -2 + m)?
True
Suppose 0 = y + 3*y - 144. Suppose 0 = -2*m + 4*w, 4 - 3 = 2*m - 3*w. Suppose -g + m = 2*u - y, 3*g + 33 = u. Is 11 a factor of u?
False
Let g(c) = 4*c**2 - 4*c - 4. Is 20 a factor of g(-3)?
False
Let i(w) = w**2 - 12*w + 14. Let f be i(11). Suppose 108 = j + f*j. Does 19 divide j?
False
Let x(q) = -q**3 + 3*q**2 - 4. Let b be x(-4). Suppose b = 5*p - j, -2*p - j + 36 = -5*j. Suppose 2*i = -0*i + p. Is 5 a factor of i?
False
Let m(b) = 2*b - 10. Let c be m(7). Suppose w = 3*w - 5*i - 83, 5*w = -c*i + 290. Suppose 3*a - 56 = -2*a + 3*d, -3*a - 5*d = -w. Does 9 divide a?
False
Let g(i) = 37*i - 4. Let d be g(5). Suppose d = 5*p - 29. Suppose 0 = 4*j - 34 - p. Is j a multiple of 10?
False
Is (-776)/(-6) - (-10)/15 a multiple of 26?
True
Suppose -4*t + 925 = -a, t + t - 480 = 4*a. Is 46 a factor of t?
True
Let v(z) = -z - 5. Let s = -11 - -4. Let m be v(s). Suppose -7 = m*x - 19. Does 3 divide x?
True
Let r = 47 - -41. Suppose 2*h - j + 4*j - r = 0, 43 = h + j. Is 6 a factor of h?
False
Let i = 29 - 14. Let q(j) = j**3 + 6*j**2 + 8. Let w be q(-6). Suppose 5*t + w = -4*r, -r - 2*t = -5*t - i. Is r even?
False
Let j(h) = h**2 - 2*h - 9. Let l be j(7). Suppose -4*x + 148 = 4*c - 36, 5*c = -x + l. Is 18 a factor of x?
False
Let c = 1 - 1. Suppose -3*x + 16 = -x. Suppose -w + c*w = -x. Is w a multiple of 4?
True
Is (-39)/(-9) + (-6)/(-9) a multiple of 5?
True
Let d(y) = 3*y + 9. Let n = -11 + 17. Is d(n) a multiple of 9?
True
Let m(t) = -t - 1. Let a(i) = -6*i - 2. Let c(w) = -a(w) - 3*m(w). Does 14 divide c(4)?
False
Let c(m) = m - m**2 - 4 - m + 3*m + 2*m**2. Is 14 a factor of c(-6)?
True
Let i be 2622/8 + (-3)/(-12). Suppose 0*w = 2*w - i. Suppose -m + 16 = -4*r, -4*r + 0*r = 4*m - w. Is m a multiple of 12?
True
Suppose p = 87 + 9. Is p a multiple of 5?
False
Suppose -w + 15 = 2*w. Suppose x - 17 = -4*n, -n + w*x = 2*x - 14. Is 2 a factor of n?
False
Let l be 162/5 - 6/15. Suppose -4*n + l + 196 = 0. Does 19 divide n?
True
Let w(p) = 4*p**2 + 3*p + 1. Let t be ((-6)/4)/((-9)/(-12)). Let l be (3/(-6))/(t/(-12)). Is 14 a factor of w(l)?
True
Suppose 2*k + x - 109 = -2*x, 0 = -3*x + 3. Suppose -4*t - 3*r + 52 = -k, -r - 28 = -t. Is t a multiple of 9?
True
Is 15 a factor of (-45)/(3/(-2)*1)?
True
Suppose 4*o + 10 = 2. Is 24 a factor of (o/(-4))/((-2)/(-124))?
False
Suppose 0 = -5*l + 15 - 0. Suppose 368 = 4*a + 3*b, -4*b = l*a - a - 184. Is 23 a factor of a?
True
Let l(v) = -25*v - 29. Is 16 a factor of l(-5)?
True
Suppose k + 5*h - 240 = 0, -2*h + 228 = 2*k - k. Does 11 divide k?
True
Let c = 172 + -78. Let m be (-1)/2 + c/4. Let x = 1 + m. Is x a multiple of 10?
False
Let y(v) = v**2 + 7*v + 5. Let x be y(-7). Suppose -a - x = -11. Is a a multiple of 6?
True
Suppose -51*m - 10 = -46*m. Let y be (-2)/(-2) + -1 - 51. Is (m - y/(-6))*-2 a multiple of 10?
False
Let z be (0 + 6)*4/8. Suppose -2*f - 3 = 3*a, a - z*f = -f + 7. Is 11 a factor of ((-11)/(-4))/(a/4)?
True
Let g be 1/2 - (-5)/10. Let r = g + 65. Is r a multiple of 22?
True
Let f = 23 - 7. Does 6 divide f?
False
Let o be 150/3 + (1 - 2). Let u = o + -27. Is u a multiple of 22?
True
Suppose -2*r + 16 = 2*r, -4*w + 5*r - 4 = 0. Suppose w*p = 13 + 71. Does 15 divide p?
False
Let o(m) = -m**2 + 9*m + 12. Let t be o(9). Suppose -5*n + 20 = -3*b, -2*n + 4 = 2*b + t. Suppose 0 = -q - n + 43. Is q a multiple of 15?
False
Suppose -5*j = -z - 7 + 160, 527 = 4*z - 3*j. Is z a multiple of 32?
True
Suppose 5*t - 106 = -16. Is t a multiple of 6?
True
Let z be 2/(2 + 10/(-6)). Let m(p) = 13*p**2 + 15*p + 1. Let s(n) = 7*n**2 + 8*n. Let f(d) = 6*m(d) - 11*s(d). Does 22 divide f(z)?
False
Suppose 0*l + 3*o = l - 93, 4*l - 3*o - 390 = 0. Is 33 a factor of l?
True
Let l be (-1 - (-4)/2)*2. Suppose -5*i = -0*i + 5*r - 130, -l*i + 82 = -4*r. Is i a multiple of 8?
False
Suppose -3*a = -5*a + 4. Suppose -a*s = 2*s - 48. Suppose -s + 3 = -v. Is 7 a factor of v?
False
Let q(t) = t + 7. Is q(4) a multiple of 6?
False
Let b be (-3)/(-6) - 13/2. Is 9 a factor of (b/2)/((-1)/14)?
False
Suppose 6*o = -2*d + o, 0 = -o. Does 25 divide 1/((-3)/(-75) - d)?
True
Let y(s) be the third derivative of 1/24*s**4 + 0*s + 1/3*s**3 + s**2 + 1/10*s**5 + 0. Is y(-2) a multiple of 18?
False
Suppose 1 + 2 = m. Let a be -3*(0 - m)/9. Is 2*a*42/12 a multiple of 2?
False
Is 10 a factor of ((-20)/(-15))/(4/138)?
False
Let p(l) = l + 2*l - 10 - 2*l. Let y be p(0). Is -1*5*18/y a multiple of 8?
False
Let f = -83 + 153. Is 23 a factor of f?
False
Let r be ((-2)/(-4))/((-11)/(-44)). Suppose 3*c - 11 = -r. Is 3 a factor of c?
True
Suppose 3*u - 2*l = 56, -u + 2*l = 3*l - 12. Is 16 a factor of u?
True
Let a(m) be the second derivative of m**2 + 1/12*m**4 + 1/6*m**3 + 0 + 2*m. Is 5 a factor of a(-4)?
False
Let d = 342 + -189. Suppose 4*s = s + d. Is 9 a factor of s?
False
Does 15 divide (0 + -29)*-2 - -2?
True
Let b(h) = h**2 - 5*h - 4. Let s be b(-7). Suppose 0 = -f + 3*f - s. Is f a multiple of 20?
True
Suppose -60 = -0*x - 3*x. Let g be 0 + -2 + (x - -3). Is g/(3 + (-2 - 0)) a multiple of 20?
False
Let w(d) = 5*d - 1. Let h be w(11). Suppose -h = -3*a + a. Does 12 divide a?
False
Let z be (1/(-2))/(1/(-4)). Let b = -15 - 9. Does 6 divide ((-2)/4)/(z/b)?
True
Let t(c) = -c**2 + 10*c + 5. Does 6 divide t(5)?
True
Let g = -19 + -138. Let p = -105 - g. Does 13 divide p?
True
Suppose -2*y + 4*j + 280 = 0, 3*j + 2*j + 415 = 3*y. Does 13 divide y?
True
Let w(q) = -q**3 + 11*q**2 + 8*q - 23. Is 28 a factor of w(11)?
False
Suppose -3 = -k + n, -2*k = -3*k - 4*n - 22. Let p be (-1)/k*2*90. Suppose -v - 4*v = -p. Is 13 a factor of v?
False
Let n be ((-21)/9)/((-2)/6). Suppose n = -2*b + 127. Does 20 divide b?
True
Suppose 2*w + 6 = 16. Suppose w*q - q - 12 = 0. Suppose 0 = 3*n + a - 37, 4*a = 5*n + q*a - 59. Is 6 a factor of n?
True
Suppose -4*a = -2*a - 150. Is 24 a factor of a?
False
Suppose -2*f + 2 + 2 = r, 2*f = -2*r + 4. Let p(v) = -v + 8. Does 5 divide p(r)?
False
Let k be (-506)/(-9) - (-4)/(-18). Let s = k - 29. Suppose -4*i = -2*l + 16 - 74, -2*i + s = -3*l. Is i a multiple of 14?
False
Suppose -380 = -6*o + 2*o. Does 11 divide o?
False
Suppose 0 = 4*j - 1 - 3. Let t be 15*3 - (-1 + j). Let m = t - 28. Does 13 divide m?
False
Let q be 1*-1 + 27/(-1). Suppose 3*o = -0*o + 153. Let x = o + q. Is 8 a factor of x?
False
Suppose -f = 2*f - 12. Let d(b) = 7 - 3 + 6*b - 3 + 0*b. Is 12 a factor of d(f)?
False
Let u be 3 + -2*1 + -67. Let i = 38 + u. Let k = i + 64. Does 18 divide k?
True
Suppose f + 0*f = -2. Let b be 2 + f*(-7)/2. Let o = b - -16. Does 20 divide o?
False
Suppose -3*r - 5*v = -86, -4*r = 4*v + 33 - 153. Does 8 divide r?
True
Let o(k) be the second derivative of 2/3*k**3 + 1/12*k**4 - k + 4*k**2 + 0. Is 19 a factor of o(-7)?
False
Suppose 0 = f - 2, 0 = -x - 4*f + 10 + 3. Suppose 5*h + 9 = -4*a + 2*a, -2*h + x*a + 8 = 0. Is (-17 - -2)/(h + 0) a multiple of 6?
False
Let y(j) = j**3 + 5*j**2 + 3*j - 1. Let f be y(-4). Suppose -4*x + 49 = g, x + 42 = 3*x + 4*g. Let k = x - f. Does 4 divide k?
True
Suppose 4*a + 0 = 3*r - 10, 2*r + 3*a - 1 = 0. Suppose 0*w = r*w - 10. Suppose w*p - 116 = 4. Is 12 a factor of p?
True
Let l(b) = b**3 - 2*b**2 + 6*b - 6. Is l(4) a multiple of 11?
False
Let q be (-111)/(-21) + (-6)/21. Suppose 3*y - 2*y + q = 0. Let t(x) = -2*x - 7. Does 2 divide t(y)?
False
Let n = 120 + -83. Does 5 divide n?
False
Let i(u) = u**3 + 6*u**2 - 2*u - 8. Let s be i(-6). Let a = -3 + s. Is -5 + 5 - a*-28 a multiple of 12?
False
Let w(q) = 2*q + 2. Let v be w(-2). Is (v + 5/3)*-24 even?
True
Is