e
Let a(c) = c**3 + 7*c**2 - c - 3. Let z be a(-7). Let x be (3/(-9))/((-1)/9). Suppose z = x*n - 11. Is 3 a factor of n?
False
Suppose 3*r = 4*k - 71, 0*k - r = 3*k - 37. Suppose 0 = 4*o - 4 - 16. Let a = k + o. Is a a multiple of 19?
True
Suppose -2*n - 46 = -4*k, 5*k - 3*n = 17 + 42. Let z be 72/15 - (-2)/k. Suppose -5*v + 35 = 5*s, 3*s + 1 - 18 = -z*v. Does 3 divide s?
True
Does 11 divide (-1)/4 - (-4367)/44?
True
Let s(i) = 7*i**3 - 4*i**2 - i - 2. Is s(2) a multiple of 6?
True
Let i(c) = -2*c - 8. Suppose -j - 3*o + 2 = -0*j, 4*j + 22 = 3*o. Let p be -8 - 1 - (j - -2). Is i(p) a multiple of 6?
True
Suppose -4*v + 2*v - 3*m = -19, 5*m = 5*v + 15. Is (v + -3)/((-1)/11) a multiple of 11?
True
Suppose 0*j = -5*j - 10. Let r = 42 + j. Does 20 divide r?
True
Suppose 5*j = p - 49, 0 = 2*p - 3*p - 5*j + 49. Is 6 a factor of p?
False
Let j be 222/8 + 11/44. Let d = j - 15. Is 6 a factor of d?
False
Let j be 0 + 1/((-3)/(-15)). Suppose j*l - 30 = 15. Is l a multiple of 9?
True
Let r be 6/(-4)*24/(-9). Suppose 2*a - 80 = -2*h, -h + 5*a = r*a - 42. Does 12 divide h?
False
Let n = -70 + 139. Does 49 divide n?
False
Let b be (-1 + (-2 - 0))*9. Let w be (-110)/9 + (-6)/b. Let i = w - -26. Is 7 a factor of i?
True
Suppose 0*i = 4*i - 96. Is 6 a factor of i?
True
Let x(s) = -s**2 - 5*s + 4. Is x(-5) a multiple of 3?
False
Let z(o) = -o**3 - 5*o**2 + 4*o + 5. Let s(j) = 3*j**3 - j**2 + 1. Let w be s(1). Suppose -w*b = 4*k + 2, -8 = 4*b + 4*k - 0. Does 8 divide z(b)?
False
Is (-8520)/(-88) + 2/11 a multiple of 11?
False
Let u = -2 - 2. Is 23*1 - (u + 1) a multiple of 13?
True
Let f = 33 + -29. Is f a multiple of 4?
True
Let l = -54 + 90. Does 27 divide l?
False
Let p(z) = -z**3 + 5*z + 3. Suppose -2 - 1 = r. Let d be p(r). Suppose v = -0*v + d. Is 8 a factor of v?
False
Suppose -4*s + 9*s + 25 = 0, -3*s + 365 = 2*v. Suppose 4*g = -g + v. Does 19 divide g?
True
Is (273/9)/(5/30) a multiple of 13?
True
Suppose -2*l = 2*g - 110, 3*l - 215 = -l + g. Is l a multiple of 3?
True
Suppose 112 = -4*k + 5*z, -5*z = 3*k + k + 112. Is (-2)/13 + k/(-13) even?
True
Suppose 0 = -2*b - b + 30. Is 2 a factor of 40/25 - (-4)/b?
True
Does 10 divide (-21)/(-14)*(0 - -18)?
False
Suppose 0 = -3*w + 2*j + 73, -4*w + 3*w - j + 16 = 0. Is w a multiple of 21?
True
Let i = -11 - -16. Let l = i - -9. Does 14 divide l?
True
Let l be 4/(-6)*(-105)/14. Let a = l - 2. Is a even?
False
Let w be (-2)/4*(6 + -6). Suppose 3*x + 0*x - 117 = w. Suppose -x + 5 = -h. Does 15 divide h?
False
Let y be 0*((-6)/(-2))/(-6). Suppose d - 2*p - 13 = y, -d - 2*p + 48 = 3*p. Suppose 0*w + w = d. Does 10 divide w?
False
Suppose -3*n + 213 = 3. Does 5 divide n?
True
Let m = 1 - -2. Suppose d + 56 = m*d. Suppose -4*h + d = -0*h. Is 2 a factor of h?
False
Is 19 a factor of ((19 - 1) + -2)*2?
False
Suppose -3*k + 18 = -6*k. Let b = 9 + k. Does 2 divide b?
False
Suppose -r + 35 = -231. Does 14 divide r?
True
Let m = 12 + 28. Is 10 a factor of m?
True
Suppose 3*z - z = 0. Suppose -10 = 2*a + 5*u - z, -a = u - 1. Is a even?
False
Let i(u) = -4*u + 12. Is 7 a factor of i(0)?
False
Let v(c) = -c**3 - 5*c**2 + 3*c + 4. Let h be v(-5). Let y(q) = q**2 + 9*q - 11. Does 4 divide y(h)?
False
Let u(t) = -t**2 + 8*t - 9. Let f be u(6). Let h(x) = x - 1. Let i be h(f). Suppose -13 - 27 = -i*l. Is 14 a factor of l?
False
Suppose -k + 499 = 5*u, 4*u - 300 = -k + 99. Does 26 divide u?
False
Suppose -3*u = -21 - 0. Suppose -q + u = -21. Is 7 a factor of q?
True
Suppose -3*c + 5*c = 10. Suppose -4*w - c = -21. Does 4 divide w?
True
Suppose 3*k + 6 + 21 = 0. Is 11 a factor of k/(-3) + (-8)/(-1)?
True
Suppose -9*x - x = -270. Is 10 a factor of x?
False
Suppose -178 = -x - u + 2*u, -3*x = -5*u - 534. Is x a multiple of 18?
False
Let k = -6 + 6. Let n = k + -36. Let l = -22 - n. Does 14 divide l?
True
Suppose -3*w + 676 = -4*i, -w + i + 3*i + 228 = 0. Is w a multiple of 28?
True
Suppose -c + 2 + 3 = 0. Does 3 divide c?
False
Let u(s) = -11*s - 7. Is u(-11) a multiple of 19?
True
Let s be 1/((-3)/(-6)*1). Suppose -s - 3 = v. Is 1 - 3 - 45/v a multiple of 7?
True
Let p be -1 + -1 + 2 - -3. Suppose -p*b + 52 = b. Suppose 0 = -z - 5*q + b, 6*z - z = -2*q + 42. Is z a multiple of 5?
False
Let g be (4/6)/(3/72). Suppose -i = -5*i + g. Suppose -2*t = -i*p - p - 9, -p = -4*t + 45. Is t a multiple of 5?
False
Let o(i) be the first derivative of i**3 - i**2 - 5*i + 1. Suppose -4*l = 3*d - 28 + 8, -3*d + 5 = l. Does 16 divide o(l)?
False
Suppose -3*m = -0 - 9. Let g(u) = u - 8. Let i be g(0). Is 3*(-2)/m*i a multiple of 8?
True
Does 17 divide 136/(-28)*-1*7?
True
Let a(t) = 4*t**2 - 6*t - 2. Let d be a(-5). Let w = -81 + d. Suppose -4*i - i + 4*u + 152 = 0, -2*i - 3*u = -w. Is i a multiple of 17?
False
Suppose -3*y - 4*w = -152, 0 = y + 2*w - 21 - 31. Does 12 divide y?
True
Suppose -4*g - 127 = -5*r + 63, -99 = -2*r - 3*g. Is r a multiple of 21?
True
Let b = 1 + 5. Let q(m) = -m**2 + 9*m - 2. Is q(b) a multiple of 5?
False
Suppose 60 = -3*f + 546. Does 33 divide f?
False
Let l(y) = y**2 + 3*y - 2. Let i be l(-3). Let t be 34 + ((-4)/1 - i). Suppose 3*s = 8*s - 5*b - 40, -5*b = s - t. Does 6 divide s?
True
Let k be (-5 - -4)/((-4)/(-424)). Let o = -74 - k. Is 12 a factor of o?
False
Let g = -94 + 210. Is g a multiple of 29?
True
Suppose 23 = 3*r + 8. Suppose 3*g + 0*g = 5*c + 29, -2*g + r*c + 26 = 0. Suppose -n - g*m + 10 = 0, 5*n = -3*m - 2 + 52. Is 5 a factor of n?
True
Let r = 11 + -7. Suppose -2*m - 4*i + 12 = 0, 0 = m - 5*i + 12 - r. Suppose -t + m*g = 0, 22 = 3*t + 4*g - 18. Is t a multiple of 4?
True
Suppose 2*s = 3*p - 0*s - 471, -2*p = -4*s - 314. Is p a multiple of 23?
False
Let y(a) = -11*a**3 - a**2 + 3*a - 2. Let j be y(1). Let q = 12 - j. Is 4 a factor of q?
False
Suppose 0 = -2*b - 2*b - 20. Let p(q) = -q**3 - 5*q**2 - 2*q - 2. Does 8 divide p(b)?
True
Let t(z) = -2*z - 6. Let c be t(-4). Suppose -5*n + i = -88, 0 = -i + c*i - 2. Suppose -n = -w + 4*q - 0, -2*w = 4*q - 24. Is w a multiple of 8?
False
Let c = -1 + 3. Suppose 2*w - 2 = -0. Does 4 divide (2 - -8)/c*w?
False
Is (-4)/(-10) - 6690/(-150) a multiple of 11?
False
Let n be 2 + (-2 + 1)*-1. Let u = -3 + n. Suppose 4*g = -u*x + x + 26, 2*x - 20 = -4*g. Is 4 a factor of g?
False
Is 1/((-2182)/546 - -4) a multiple of 21?
True
Suppose -4*j + 120 = -2*j - 2*m, 5*j = -5*m + 260. Is 7 a factor of j?
True
Let i = -29 + 11. Suppose -3*n + 81 = z, 8 = -4*z - 4. Let u = i + n. Is 10 a factor of u?
True
Let m(u) be the third derivative of u**5/60 + u**4/12 + 4*u**3/3 - 6*u**2. Is 14 a factor of m(4)?
False
Suppose 9 = 3*i, 5*a + i + 4*i - 45 = 0. Let c be ((-12)/8)/((-1)/(-6)). Is 12 a factor of (-118)/(-3) - a/c?
False
Let o(a) = 4*a**3 - 2*a**2 - a. Let w(p) = -p**3 + 4*p**2 + 5. Let m be w(4). Suppose 2*d + 1 = m. Does 8 divide o(d)?
False
Suppose 6*a - 2*a = -4. Let s = a - -1. Suppose -w + 2*w - 20 = s. Is 20 a factor of w?
True
Suppose 0 = -10*y + 5*y + 55. Does 7 divide y?
False
Let j(x) = -x**2 + 8*x + 4. Suppose 14 = c + 6. Let t be j(c). Does 5 divide -20*(-2 + 6/t)?
True
Let p(g) = -10*g - 11. Is p(-3) a multiple of 2?
False
Let u(q) = 3*q**3 + 13*q**2 - q + 22*q**2 - 14*q**2 - 35. Let f(o) = -o**3 - 7*o**2 + 12. Let c(i) = -17*f(i) - 6*u(i). Is c(-8) a multiple of 11?
True
Suppose 11*f - 435 = 6*f. Is 29 a factor of f?
True
Let p = 5 - 3. Is (-114)/(-9) + p/6 a multiple of 6?
False
Let p(r) = -2*r**2 - 2*r - 1. Let v be p(-1). Does 11 divide 1 - -19 - (v - 1)?
True
Suppose i - 102 = -5*j - 2*i, -8 = -2*i. Is 10 a factor of j?
False
Is -4 + (4 - -76)/4 a multiple of 16?
True
Suppose -156 - 12 = -7*f. Is 6 a factor of f?
True
Suppose 0*r + 3*i = -r + 103, 0 = -5*r + 3*i + 569. Suppose -4*s = 4*m - r, -3*m - 4*s - 33 + 121 = 0. Is 10 a factor of m?
False
Let b be 3*(-4)/(-6) + 2. Suppose -2*j - 33 = -3*m, -m + 10 = b*j - 15. Does 13 divide m?
True
Let x(c) = -1 - 4*c - 2 + 3*c + 15. Let v be x(8). Is (-68)/(-7) + v/14 a multiple of 10?
True
Let q be 15/3*(-48)/(-4). Suppose 5*p - 300 = -q. Is p a multiple of 16?
True
Let x(d) = -2*d + 128. Is x(0) a multiple of 37?
False
Suppose -3*x - 125 = 3*y - 428, 2*x + 4*y - 202 = 0. Let j = x + -43. Is j a multiple of 21?
False
Let m be 1 + 2 + (-1)/1. Suppose -4*k + 12 = m*v - 2, -6 = -3*k. Suppose -v*d = -0*d - 51. Does 17 divid