 i(m) = 2*m + 6. Let g be i(-4). Is a(g) a multiple of 14?
True
Suppose 5*q - 15 = 2*a, 2*a + 4 + 5 = 3*q. Suppose q*x - x = 60. Is 11 a factor of x?
False
Let v(n) = n**3 + 8*n**2 - 6*n - 1. Does 12 divide v(-8)?
False
Let y(s) = -s**3 + 3*s**2 + 3. Let p(v) = -2*v**3 + 2*v**2 + 2*v + 1. Let w be p(-1). Let d be y(w). Suppose d*g - 5*g = -90. Is 15 a factor of g?
True
Let h be ((-2)/4)/((-8)/768). Suppose -a = 2*a - h. Suppose -4*n = 4 - a. Does 2 divide n?
False
Let l(a) = a + 4. Suppose 2*y + 3*q - 7 = 0, 0*q = -4*y + 2*q - 26. Let b be l(y). Is 30 + b/(1 - 4) a multiple of 10?
True
Suppose 0 = -4*k + 6 + 26. Is k even?
True
Suppose -7*y - 57 = -10*y. Does 4 divide y?
False
Suppose 7*b + 25 = 4*b - 2*o, 0 = -2*b - 5*o - 35. Let x(j) = -2*j**2 - 5*j + 7. Let a be x(b). Let s = a - -33. Is 10 a factor of s?
False
Let p(l) = l**3 + 8*l**2 - l - 4. Let h be p(-8). Let r be 2 + h + -1*1. Suppose -111 - 9 = -r*y. Does 19 divide y?
False
Let t(r) = r**2 - 3*r + 22. Is 8 a factor of t(6)?
True
Let z be (-1)/(-2) - 335/(-2). Suppose -4*r - 248 = 4*i, 5*r + 124 + z = 4*i. Let q = r - -86. Is 14 a factor of q?
False
Let y be (-48)/10*(-20)/6. Suppose 0 = -4*c + y, 2*w - 2*c = c + 66. Is 12 a factor of w?
False
Let s(h) = -h**3 - 5*h**2 + 12*h + 9. Let p = 19 - 27. Is 35 a factor of s(p)?
True
Let s(k) = k**3 - 3*k**2 - k + 2. Let d be 3 + (-1)/(-2)*-2. Let r be s(d). Is 3 a factor of 22/8 + (-1)/r?
True
Let y = -8 - -7. Let s = y + 21. Suppose -4*c + s = -4*z - 12, 4*z = 20. Is 13 a factor of c?
True
Suppose -5*a + 4*r + 65 = 0, r + 7 = a - r. Suppose 4*f = -f - 2*i + a, 0 = -4*f - 5*i. Does 6 divide f - 1*2/(-2)?
True
Let t = 20 + -11. Suppose -t*s + 52 = -5*s. Does 11 divide s?
False
Let c = -3 + 5. Suppose c - 25 = -v. Is 13 a factor of v?
False
Suppose -22 = -4*y + 3*y - 5*d, 5*y - 3*d + 2 = 0. Suppose 0*a = a - y*s + 5, -5*s + 16 = a. Let u(g) = 36*g. Is 16 a factor of u(a)?
False
Let s(m) = m**2 - 4. Let x be s(3). Suppose 9*d - 228 = x*d. Is 19 a factor of d?
True
Let o(a) = -a**3 + 6*a**2 - a + 3. Let v be o(6). Let g = v - -43. Is 20 a factor of g?
True
Does 5 divide 10/70 + 97/7?
False
Suppose 156 - 924 = -12*g. Does 32 divide g?
True
Suppose 4*u + 2*z = 5*z + 431, 0 = -3*u + 2*z + 324. Suppose 5*d - u - 65 = -2*o, d = 2*o + 23. Is 11 a factor of d?
True
Let v(f) = 3*f**2 + 2*f - 1. Let m be v(5). Suppose -3*q + m = -0*q. Is q a multiple of 13?
False
Suppose -5*b = -13 - 2. Suppose -g = b*r - 41, 2*r - 25 - 4 = g. Does 3 divide r?
False
Let k(d) = -d**2 + 6*d - 4. Let l be k(5). Suppose w = -3 - l. Does 8 divide 1 - ((-2 - w) + -25)?
True
Suppose 0 = -17*m + 18*m - 75. Is 25 a factor of m?
True
Let j(t) = t**3 - 11*t**2 + 11*t - 6. Let k be j(10). Suppose -k*r + 4*h + 216 = 0, 0 = 4*h - 0*h + 8. Is 26 a factor of r?
True
Let v = 145 - 60. Is 9 a factor of v?
False
Let t be 10 + (3 - 3) + -2. Suppose -3*j + t*j - 75 = v, -20 = 4*v. Is 7 a factor of j?
True
Let b(l) = l**2 - 8*l + 5. Is b(9) a multiple of 3?
False
Suppose -4*n - 38 = -s, -n = -0*s + 4*s - 152. Suppose -4*h = -2*l - s, h - 3*l - 2 = -4*l. Is h a multiple of 7?
True
Suppose 2*l + 108 = -3*j + 2*j, -l = -5*j + 43. Let n = l - -81. Is 17 a factor of n?
False
Let z(k) be the third derivative of k**4/24 + 7*k**3/6 - 2*k**2. Let x be z(-7). Does 3 divide 7 + x - (-2 + 1)?
False
Suppose 9 = 4*f + 1. Does 7 divide ((-10)/8)/(f/(-40))?
False
Let q(p) = -22*p - 8. Is 51 a factor of q(-5)?
True
Let p(a) = -a. Let f be p(-2). Is 12 a factor of 24 - 0/(0 - f)?
True
Suppose 5*k = 39 + 51. Suppose -2*c + h + k - 8 = 0, 2*c + 2*h - 16 = 0. Suppose g + g = c. Is g a multiple of 3?
True
Let u(d) = 6*d - 5. Let q be u(5). Suppose q = 5*i, 7*i - 2*i = -4*w + 457. Suppose l - 5*l = -w. Is l a multiple of 16?
False
Suppose -7 = t - 2*u, 0 = -0*t + t + u - 8. Suppose d - t*o = o + 26, 5*d = 3*o + 62. Is d a multiple of 10?
True
Suppose 5*f = 12*f - 455. Is 13 a factor of f?
True
Let v be ((-16)/12)/(1/(-6)). Suppose k - 25 = 4*r, -2*r = -3*k + 33 - v. Suppose k*f = 0, -u - 5 = 4*f - 41. Does 18 divide u?
True
Let m(p) = p**3 - 8*p**2 + 8*p - 2. Let q be m(7). Suppose -q*l + 60 = -0. Does 3 divide l?
True
Does 9 divide ((-8)/4)/(180/(-87) - -2)?
False
Suppose -3*k - d + 2*d + 29 = 0, -2*k - 5*d + 25 = 0. Let n(p) = 2*p + 1. Is n(k) a multiple of 7?
True
Let b(s) = -s**3 + 10*s**2 - 4*s - 9. Let f be b(7). Let d be 4/(-26) + (-320)/(-52). Suppose -d*k + f = -k. Is k a multiple of 22?
True
Let m(g) = g**2 - 3*g - 5. Let p be ((-10)/(-4))/((-1)/(-2)). Is m(p) even?
False
Does 11 divide 2 + (53 - 0) - 0?
True
Suppose 5*r = 24 + 266. Suppose -4*x - r = -3*u - 0*x, 12 = 2*u + 4*x. Is 14 a factor of u?
True
Let v(m) = 4*m**3 + m. Let p be v(1). Let y(j) be the third derivative of j**4/24 + 2*j**3/3 - 4*j**2. Is 5 a factor of y(p)?
False
Let u(m) be the first derivative of m**6/120 - m**5/60 + m**3/3 + 1. Let d(k) be the third derivative of u(k). Does 11 divide d(-2)?
False
Is 23 a factor of 55 - (-4 + 0/(-3))?
False
Suppose -8*i + 828 = i. Is i a multiple of 23?
True
Let a(m) = m**3 + 2*m**2 + 4*m - 5. Does 2 divide a(2)?
False
Let i = 8 - 7. Is 8 + i + 0 - -1 a multiple of 6?
False
Suppose 0 = -4*n + 2*n. Suppose 4*j + n*j = 148. Is j a multiple of 14?
False
Let h(l) = 12*l. Is 21 a factor of h(6)?
False
Suppose 0 = -2*h + k + 5, 2*h - 4*k + 1 = 3. Suppose -h*n + 52 = n. Is n a multiple of 13?
True
Let g(l) = 6*l**3 - 2*l**2 + 3*l. Let q be g(3). Suppose -s + 4*s = 2*b - q, 4*s = 4*b - 304. Suppose p + 2*p = b. Does 13 divide p?
False
Suppose -u - 5 = -0. Let o be 1/((2 + u)/(-6)). Suppose -17 = -o*b + 15. Is b a multiple of 16?
True
Suppose 0*g = -2*i - g + 344, -2*i + 348 = 2*g. Suppose z + z - i = 0. Suppose -3*t + z = 2*t. Does 17 divide t?
True
Suppose 0 = 2*x - 5*x - 15. Let u = x + 10. Is u a multiple of 5?
True
Suppose -4*s = -3*l + 2 + 2, 30 = 5*s + 5*l. Let q = s + 4. Is 3 a factor of q?
True
Let j = 9 - -24. Suppose 0 = -4*t - 5*w + j + 62, 4*t + 4*w = 100. Is t a multiple of 15?
True
Let k(t) = 20*t**2. Is 20 a factor of k(-1)?
True
Is (6/(-2) - (12 + -12))*-67 a multiple of 21?
False
Suppose 2*j - 707 = -b, -734 - 309 = -3*j + 2*b. Is j a multiple of 13?
True
Let l(h) = -17*h + 28. Is l(-6) a multiple of 26?
True
Let g = -3 + 21. Does 9 divide g?
True
Let q = -26 + 22. Let a = q - -27. Is 6 a factor of a?
False
Let f be (-23)/(-4) - (-2)/8. Suppose -x = -5*p - f*x + 15, -2*p + 4*x = -6. Suppose -127 = -4*v + c, -v + 2*v - p*c - 40 = 0. Is 11 a factor of v?
False
Suppose -4*c + 2*j + 0*j = 166, 5*c - 4*j + 206 = 0. Let d = -25 - c. Does 17 divide d?
True
Let p = -19 - -12. Let t = 7 - p. Does 10 divide t?
False
Let f = 427 - 237. Is f a multiple of 38?
True
Let l = -43 + 67. Suppose 4*c - 25 = -3*d, -c = 3*c + 4*d - l. Is c a multiple of 2?
False
Let u = 52 - 45. Does 3 divide u?
False
Let k be ((-1)/3 + 1)*6. Suppose -4*t + 36 = -k*b, t + 11 = -3*b - 0*b. Does 4 divide t?
True
Suppose 2*z = -3*f - 3, -3*z + 0*z = 4*f + 3. Is z a multiple of 2?
False
Let h = 21 - 5. Is 8 a factor of h?
True
Let f = 24 - -4. Does 15 divide f?
False
Suppose 485 = -4*m + 2073. Does 29 divide m?
False
Suppose 5*m - 153 = -2*b, -4*m + 148 = -2*b + 40. Suppose -t + m = 3. Is 21 a factor of t?
False
Let v(z) = -3*z + 6. Let u be v(6). Let l be (-2)/6 + (-232)/u. Let p = l + -10. Is p a multiple of 9?
True
Suppose z = -4*z + 15. Is 5 a factor of (1/(z/(-36)))/(-1)?
False
Let k(o) be the third derivative of o**6/120 - o**5/30 + o**4/24 + 2*o**3/3 + 11*o**2. Suppose 5*t + 0*t - 15 = 0. Is k(t) a multiple of 16?
True
Let k be ((-4)/(-6))/((-1)/(-3)). Suppose 0 = -k*a - a + 9. Let n = 16 - a. Is 13 a factor of n?
True
Suppose -2*m = 0, -3*d + 2*m - m = 0. Let o be (d + -1)*306/(-6). Suppose -4*c = 7 - o. Is c a multiple of 4?
False
Let w(j) = -j**2 - 6*j. Let x be w(-5). Suppose 3*k + 7 = h + 79, 0 = -x*h. Suppose n - k = 4*u, -3 - 33 = -4*n + u. Does 3 divide n?
False
Let h be 0 + -3 + 3 + 5. Suppose 51 = -2*z + h*z. Is 11 a factor of z?
False
Let q = -2 + -4. Let p = q - -8. Suppose p*f = -4*x + 8, -3*x + 15 = 2*f + 2. Is f a multiple of 14?
True
Let f(p) = 70*p**2 + p - 1. Let k be f(1). Let r = k - 28. Let u = r - 24. Is u a multiple of 9?
True
Let t(o) = 2*o + 4. Let l be t(-9). Let y = l + 36. Does 11 divide y?
T