s 27 a factor of x?
False
Let l = 1392 + -118. Does 15 divide l?
False
Is 3 a factor of 108/10 + 8/40 + -2?
True
Let b(u) = 5*u**3 - 11*u**2 - 3*u - 1. Let w(p) = -14*p**3 + 32*p**2 + 8*p + 2. Let t be -1*(-15 + (0 - 2)). Let y(m) = t*b(m) + 6*w(m). Does 10 divide y(-5)?
True
Suppose 3*p + 44 - 17 = 0. Let m(l) = -13*l + 30. Is 49 a factor of m(p)?
True
Let n = 82 - 36. Let p = 65 - n. Is p a multiple of 19?
True
Let m(i) = -i**3 - 6*i**2 + 11*i - 5. Suppose -5*c + 3*c - 16 = 0. Is m(c) a multiple of 7?
True
Suppose 0 = -0*p - 2*p + 2. Suppose 2*b + 127 - p = g, -2*b - 6 = 0. Is 31 a factor of g?
False
Suppose -15 = -n - a - 4, -2*n - 13 = -5*a. Suppose -n*w = -3*w + 5*b - 437, -577 = -4*w - b. Is w a multiple of 16?
True
Suppose 23*w = 20*w + 1185. Is 32 a factor of w?
False
Suppose -2*p + z + 8 = -112, -158 = -3*p - 4*z. Suppose q = -0*q + p. Does 20 divide q?
False
Let a = 73 + -75. Suppose 2*f = 2*n - f - 59, 3*n - 2*f - 76 = 0. Let i = a + n. Is 10 a factor of i?
True
Let v(t) = 2*t**2 + 11*t - 2. Let l be v(-6). Is 3 a factor of l/(-1) + -15 + 17 - -31?
False
Let a(r) = 2*r + 53. Let m be a(-25). Is 20 a factor of 1/m + (-1 - (-456)/9)?
False
Let m(c) = -7*c**3 - 5*c**2 + 5*c + 28. Let s(n) = -6*n**3 - 4*n**2 + 4*n + 29. Let b(t) = -5*m(t) + 6*s(t). Suppose 0 = -7*h + 4*h. Does 15 divide b(h)?
False
Let p = -89 - -404. Does 7 divide p?
True
Let d be 3 - 157*(-2 - -1). Suppose -100 - d = 5*y. Let m = 4 - y. Is m a multiple of 14?
True
Is 71 a factor of 4/24*20*213?
True
Let o = 3 - -20. Suppose 3*k - o = -5*m, 0 = -4*k + 3*m - 8. Suppose k = c - 4. Does 5 divide c?
True
Let u(o) = o**3 - 2*o**2 + 3*o - 8. Let t be u(4). Let g = 38 + t. Is g a multiple of 37?
True
Let b = -16 - -12. Let u be -6 - -4 - b - -1. Suppose 1 = u*j - 8. Is j a multiple of 3?
True
Let p = 33 + -44. Let l = p - -37. Does 26 divide l?
True
Let m(a) = a**3 + 14*a**2 + 10*a + 2. Let c be m(-14). Let x = c + 202. Is 32 a factor of x?
True
Let i be 344/14 + 12/(-21). Suppose 23*w - 48 = i*w. Does 12 divide (-48)/(-2)*w/(-32)?
True
Let h = 5 - 1. Suppose 2 = -h*a + 14. Is 13 a factor of 2/a + 111/9?
True
Let h(y) = y**2 - 11*y + 15. Let c be h(11). Suppose -6*q + q = -c. Suppose -q*o + 0*u + 71 = -u, 28 = o + 4*u. Is 8 a factor of o?
True
Suppose -67 = -2*j - 9. Suppose 7 - j = -p. Is 6 a factor of p?
False
Let j(b) = -2*b + 23. Let z be j(9). Suppose -w - 101 = -2*q + 4*w, -25 = -z*w. Does 18 divide q?
False
Let t(x) = 5*x**2 - 14*x + 21. Does 9 divide t(3)?
False
Let l(o) = 12*o - 1. Let x(d) = 11*d - 2. Let f(a) = -5*l(a) + 4*x(a). Let s be f(3). Let g = s + 91. Is 12 a factor of g?
False
Suppose 5*j - 243 = -3*u, -5*u - 73 = -j - 2. Suppose -2*c + 3*c - 2*p - j = 0, -3*p + 203 = 5*c. Does 10 divide c?
False
Let y(j) = -2*j**3 + 2*j**2 + 5*j + 2. Let p be y(-3). Let n = p - 29. Is n a multiple of 8?
False
Let v(u) = 2*u**2 + 1. Let k be v(1). Let w(f) = f**3 + 4*f**2 - f + 3. Does 21 divide w(k)?
True
Let s = 12 + 16. Suppose 0*i - 4*q = -i + s, 5*i + 3*q - 186 = 0. Is 18 a factor of i?
True
Let z(p) be the second derivative of -4*p**3/3 + 4*p**2 + 17*p. Let u be ((-8)/10)/((-4)/(-30)). Is 28 a factor of z(u)?
True
Is ((-7)/(35/(-1251)))/((-9)/(-30)) even?
True
Let y = -76 + 202. Is y a multiple of 14?
True
Suppose -5*y = -4*u - 2645 - 3175, -4*y - 4*u + 4692 = 0. Does 3 divide y?
False
Suppose 19*f - 36536 = 3782. Is 79 a factor of f?
False
Let a = -875 + 549. Let f = a - -594. Suppose -w + f = 3*w. Is w a multiple of 12?
False
Let c = 452 - 335. Does 2 divide c?
False
Is 38 a factor of -1 + (-52)/(-44) - (-8776)/11?
True
Let n(v) = -v**3 - 2*v**2 + 2*v - 3. Let c be n(-3). Is 41 a factor of -4 + c + -3 + 89?
True
Suppose -5*x - 3*l = -25, 3*l - 16 = -3*x - 1. Suppose -x*o - 3*a - 435 = -1389, -a = 5*o - 958. Does 32 divide o?
True
Does 44 divide (-95754)/(-42) - (-2)/28*2?
False
Let t = 41 + 6. Let p = t + 113. Is p a multiple of 20?
True
Let p(k) = 2*k**2 + 8*k - 5. Let a be p(-5). Suppose -g = 5*y - 125, -2*y + y = -a. Is 42 a factor of g?
False
Suppose 3*r - 282 = 3*b - 6*b, -r = 4. Is 14 a factor of b?
True
Let b = -25 + 57. Is 7 a factor of (4 - b)/((-2)/3)?
True
Let h(q) = -6*q - 31. Let u(k) = 5*k + 30. Let w(p) = 6*h(p) + 5*u(p). Is 21 a factor of w(-9)?
True
Suppose 12*n - 3*b = 7*n + 35, 2*n + 2*b - 14 = 0. Suppose -n = 6*l - 205. Does 5 divide l?
False
Let o(m) = 17*m**3 + m. Let x be o(-1). Is 20 a factor of 31*2 - (x - -20)?
True
Suppose 2*b = 6635 - 2927. Is 18 a factor of b?
True
Does 21 divide (-1456)/(-8) - (-4 + -1)?
False
Let f(y) = -y**3 - 6*y**2 + 5*y - 2. Let w be f(-7). Let x be 20/(-15)*(-27)/w. Suppose n = 7 - x. Is n a multiple of 2?
True
Let f be 143/55 - (-4)/10. Suppose 8 = d + f*d. Is d/1 - 14/(-7) a multiple of 2?
True
Suppose -t + 6*p + 48 = 4*p, 4*t - p = 178. Does 3 divide t?
False
Let y(d) be the third derivative of 13*d**5/15 + d**4/24 - d**3/3 - 12*d**2. Does 12 divide y(-1)?
False
Let h = 15 + 33. Suppose -2*x + 0 - 2 = 0. Does 12 divide h + 0 + (-3 - x)?
False
Suppose 3*x = -5*s - 26, 5 = s - x + 5*x. Let j be 120*s/((-140)/8). Suppose 0*f = -5*d + f + 64, 4*d = 4*f + j. Does 3 divide d?
False
Suppose 5 = 5*g, -6*u - 808 = -9*u + 5*g. Does 15 divide u?
False
Let w = -8 - -14. Suppose w*d = 115 + 227. Let m = d + -35. Does 20 divide m?
False
Let i(c) = c**3 - 4*c**2 - 38*c. Is i(13) a multiple of 8?
False
Suppose 19 = -0*c + 4*c + j, -3*j = c - 2. Does 2 divide 6/(-3)*((-35)/2)/c?
False
Let q(z) = 2*z**2 - 3*z + 9. Let k be q(-7). Suppose 11*o - 9*o - k = 0. Is 16 a factor of o?
True
Let d(u) = u**3 + 12*u**2 + 6*u - 11. Let v be d(-12). Let j = v + 123. Is j a multiple of 5?
True
Let i(j) = j**3 + 18*j**2 + 11*j + 1. Let h be i(-17). Let y = -69 + h. Is y a multiple of 34?
True
Let g = 381 - 253. Does 11 divide g?
False
Suppose 3*y = -135*b + 137*b - 9260, 23188 = 5*b + 2*y. Is 21 a factor of b?
False
Let x = -2 + 11. Suppose -x*z + z + 1560 = 0. Is 39 a factor of z?
True
Let z(q) = -121*q + 2. Suppose -4*s = 4*f - 12 + 36, -10 = 2*f. Is 40 a factor of z(s)?
False
Suppose -5*m = 3*m - 48. Suppose -12*i + m*i = -288. Does 8 divide i?
True
Let h(f) be the second derivative of 9*f**3/2 - f**2/2 - 2*f. Does 25 divide h(4)?
False
Let r = 18 + -16. Suppose -1 = n - r*t - 5, 3*t + 3 = 3*n. Does 9 divide n/(-11) + 680/11?
False
Let n(o) = -o - 18. Let r be n(-22). Let k(q) = 2*q**3 - 3*q**2 + 3*q - 4. Does 44 divide k(r)?
True
Let i be (-200)/140 - 4/7. Is 54*(-32)/(-12) + i a multiple of 24?
False
Let z(c) = 2*c + 7. Let b be z(-2). Suppose b*p + 13 = 4*p. Is p a multiple of 5?
False
Let q be (2 - -2)*(-110)/20. Let c = q + 100. Does 22 divide c?
False
Let i(k) = 5*k - 8. Suppose -5*d + 4*f = -11, d + 5*f = 5 + 3. Is 7 a factor of i(d)?
True
Let r(s) = -109*s + 16. Does 81 divide r(-11)?
True
Suppose -4*h = n + h - 7, h = 3*n - 5. Suppose -n = 2*o + 8. Does 30 divide 3/o + 3030/50?
True
Let r = 13 + -10. Suppose -2*k - r*k = -180. Is 18 a factor of k?
True
Let j = 67 + -89. Does 3 divide j/(16/(-6) - -2)?
True
Suppose b + 18 = 3*a, -5*b - 34 = -a + 42. Let r(n) = -6*n + 30. Is 20 a factor of r(b)?
True
Let x be 12/(-2)*26/(-39). Suppose -5*y - 4*h = 584, y + x*y + 576 = 4*h. Let n = 164 + y. Is 14 a factor of n?
False
Let u(l) = l**3 - 4*l**2. Let z be u(4). Suppose 4*n - 39 - 25 = z. Suppose y + 4*c = 3*y - n, 0 = 2*y - c - 25. Is y a multiple of 7?
True
Let m = -9 + 8. Does 10 divide (-8)/6*15/m?
True
Let p = -5 - -9. Suppose p*r = j - 12, 3*j + 2*r + 50 = -2*j. Is (-39)/(6*2/j) a multiple of 12?
False
Let q = -19 + 24. Suppose -l + q*j + 4 = -4*l, l + 2*j + 2 = 0. Suppose 0 = -l*z - 3*z + 45. Is 9 a factor of z?
True
Let k(r) = -r**3 - 25*r**2 + 21*r + 32. Is k(-26) a multiple of 6?
True
Suppose 4*k + 14 = k - 5*u, -k - u - 4 = 0. Let r(m) = -2*m**3 - m**2 - 5*m - 6. Does 9 divide r(k)?
True
Let s(f) = -f**3 - 3*f**2 - 5. Let r be s(-4). Suppose 0 = -i + 1 + r. Does 5 divide i?
False
Let h(g) = g**2 - 23*g - 50. Let t be h(25). Suppose 0*c - 2*s - 116 = -3*c, t = -2*c + 4*s + 64. Is c a multiple of 4?
False
Let l = -1901 - -3061. Is 72 a factor of l?
False
Suppose 2*q + k + 173 - 1018 = 0, 1655 = 4*q - 5*k. Is q a multiple of 15?
True
Let b be (6*3/(-2))/(6/(-20)). Is 2574/b + (-1)/(-5) + 1 a multiple of 12?
False
Let k(p) = p