 = -5*j. Suppose -4*i = -z - 70. Is 14 a factor of i?
True
Let a = 44 - 33. Is 3 a factor of a?
False
Let g be 3 - ((-1 - 2) + 2). Suppose 0 = 3*v - 3*x - 39, -g*v - 14 + 72 = -x. Does 15 divide v?
True
Suppose -15 = -4*z - z. Suppose -14 = -2*l + 2*w, 0 = -2*l + 3*w + 14 + z. Is 4 a factor of 3/4*(l - -4)?
False
Suppose -19*y = -14*y - 265. Does 13 divide y?
False
Suppose -2*j = -5*p + 15, -j - 1 = -6. Suppose 186 = 4*v - 2*r, 142 = 3*v - 4*r + 2*r. Suppose p*u = 2*w - v, 2*w + w = -4*u + 89. Is w a multiple of 7?
False
Let g be 2 - (-17)/(1 + -2). Let t(w) = -3*w - 9. Let v be t(-10). Let s = v + g. Does 4 divide s?
False
Does 3 divide 114/(-4)*(-12)/18?
False
Suppose 5*f = -2*m + 205, -5*f + 4*m + 205 = 30. Let j = 56 - f. Is 7 a factor of j?
False
Let d(p) = 2*p**2 + 3*p + 3. Let k be d(-2). Suppose -2*b + k*b = -6. Is 15 a factor of 8/4*(-29)/b?
False
Suppose 0 = -c - 3*c. Suppose 4*j + 6 - 218 = c. Suppose 2*r + 17 = j. Is 6 a factor of r?
True
Let n(t) = 2*t**2 + 5*t - 5. Let f(x) = -6*x**3 + 2*x - 1. Let l = -4 + 5. Let j be f(l). Is 20 a factor of n(j)?
True
Let j(d) = -9*d + 5*d**2 - 2 + 4 - 1 + d**3. Let b be j(-7). Is 17 a factor of 2 + -2 + b/(-2)?
True
Let i(c) = -c - 3. Let a be i(-5). Is (4*-1*a)/(-1) a multiple of 8?
True
Suppose -l + 1 = -2. Is (1/(-4))/(l/(-36)) a multiple of 3?
True
Let x = -2 - -4. Suppose z = 2*k + 84, -2*z - 4*k + 168 = -x*k. Suppose -6*o + 2*o = -z. Is o a multiple of 7?
True
Is (418/11)/(4/22) a multiple of 15?
False
Suppose -16 = 4*d + w, 5*d - 2*w = 2*w - 20. Let g be (-2)/d - (-335)/10. Suppose -4*c = -2*u - 68, 0 = -2*c + 4*c + 4*u - g. Is 6 a factor of c?
False
Suppose 0 = 5*o + 5*g - 5, -2*o + 12 + 11 = -5*g. Suppose -o*k - 86 = -2*h, -6*h + 4*h + 82 = -2*k. Is 12 a factor of h?
False
Suppose -3*x = 4*d - 195, x = -d + 5*d - 207. Let i be (20/(-6))/((-1)/d). Is (8/10)/(4/i) a multiple of 17?
True
Suppose 0 = -3*m - 26 - 25. Is 17 a factor of -1*1/(1/m)?
True
Suppose -2*z = 3*g - 30, 4*z + 40 = 4*g - 0*z. Does 10 divide g?
True
Let q be 1*(-3 - 0) - 3. Let k be ((-25)/(-10))/((-2)/(-8)). Let w = k + q. Does 4 divide w?
True
Let j = -29 - -57. Is j a multiple of 24?
False
Let u(o) = -22*o + 5. Is u(-4) a multiple of 29?
False
Suppose -4*x + 9 + 7 = 0. Suppose x*h - 5 = -c, 0*c + 29 = 3*c + 5*h. Is c a multiple of 3?
False
Suppose -4*q = -8*q - 5*p + 118, -4*q + 120 = 4*p. Does 8 divide q?
True
Is 11 a factor of 344/14 - (-21)/49?
False
Let x(u) = 4*u - 10 + 9 - 2*u. Let r be 2*(0 + 0 - -1). Is x(r) a multiple of 2?
False
Let x = 11 - -46. Does 10 divide x?
False
Let r = -124 - -269. Does 29 divide r?
True
Suppose -4*z - 7 = -59. Let v = 2 + z. Does 10 divide v?
False
Let f(o) = 3*o**2 - o + 3. Is 9 a factor of f(3)?
True
Let j = 87 - 39. Is 16 a factor of j?
True
Let j = -31 - -20. Let m = 23 + j. Is 12 a factor of m?
True
Let l(j) = -34*j + 46*j - 2*j**2 + j**2 + 0 + 3. Is 14 a factor of l(6)?
False
Let o = 8 + -4. Let s = o - -26. Is s a multiple of 15?
True
Suppose -10 = -2*i - 0*i, -3*f = 3*i - 27. Suppose 0 = f*r - 85 - 119. Does 17 divide r?
True
Let z(t) = -t**3 + 2*t**2 + 5*t - 4. Let l be z(3). Let f(a) = -4*a + 0 + 5*a**2 - 8 + l - 4*a**2. Is 6 a factor of f(6)?
True
Let p = 0 - -4. Let w(b) = b - 2. Let q be w(p). Suppose 2*z - 52 = -q*z. Is z a multiple of 13?
True
Let m = 1 + -9. Let w be 1/((10/m)/5). Does 14 divide 2/w + 114/4?
True
Let j(f) = 8*f - 1. Suppose 3 = -v + 5. Is j(v) a multiple of 15?
True
Suppose -4*k - 2*y + 0 + 10 = 0, k - 3 = -y. Let j be (1/k)/(3/(-72)). Is 2 + (-2 - -1) - j a multiple of 9?
False
Suppose -4*y + 93 = y + 4*f, 3*f + 9 = 0. Is y a multiple of 12?
False
Let p(s) = -2*s + 9. Let q be p(12). Let t = -1 - q. Suppose t + 2 = 4*y. Is 3 a factor of y?
False
Let p(j) be the first derivative of j**3/3 + 4*j**2 - 2*j + 4. Let k be p(-8). Let d(a) = -27*a + 1. Is d(k) a multiple of 24?
False
Suppose 71 = 8*c - 337. Is 17 a factor of c?
True
Suppose -a = a. Suppose 5*k - 12 - 18 = a. Suppose p + k = 13. Is 6 a factor of p?
False
Let s = 3 + -1. Let j = 4 + s. Is j a multiple of 5?
False
Suppose 4*f - 14 - 6 = 0. Suppose j - 20 = r, j + 4*r - f = 15. Is j a multiple of 10?
True
Let s(d) = d**2 + 6*d + 5. Let c be s(-6). Suppose 4*i + 3*j = 51, 0 = -3*i - 0*j - j + 32. Let u = i + c. Does 14 divide u?
True
Let z = 6 + -4. Suppose 5 = -z*d + 69. Let m = -20 + d. Is m a multiple of 12?
True
Suppose 1 = -4*t - 4*p - p, -5*p = 5. Is (9/18)/(t/18) a multiple of 3?
True
Let p(l) = -27*l + 17. Is p(-5) a multiple of 38?
True
Is 14 a factor of 7/(-2)*(-8 - 0)?
True
Let l = 77 + -39. Does 22 divide l?
False
Suppose -5*g + 20 = -0*g, 2*g - 8 = -4*t. Let j(d) = -9*d. Let o be j(-2). Suppose -2*i + t*i = -o. Is 5 a factor of i?
False
Let j(d) = d**3 + 5*d**2 - d - 2. Suppose 0*v - 20 = 5*v. Is 6 a factor of j(v)?
True
Suppose 0 = b + 1 - 5. Let d = 15 - b. Is 6 a factor of d?
False
Suppose -4*g - 4*h + h + 113 = 0, -42 = -g + 2*h. Suppose 2*w = -2*k + 3*w - g, -w = -k - 18. Let x = 10 - k. Is 11 a factor of x?
False
Suppose 0 = -y - 5, 11 = -3*f + 2*f - 3*y. Suppose 0*x + f*x - 60 = 0. Is x a multiple of 12?
False
Suppose -126 = -22*k + 21*k. Does 18 divide k?
True
Let b(s) = s**3 - 6*s**2 - 12*s + 11. Is b(8) a multiple of 27?
False
Let k(n) = 3*n + 3 - 3*n - n. Let i be k(3). Suppose v - 38 = -i*v. Does 24 divide v?
False
Suppose -5*a - 4*g + 1360 = 0, -5*a = -2*a - g - 833. Is 12 a factor of a?
True
Let v be (3 + -2)/4*2*0. Suppose -3*l + 3*b = -60, 3*b - 161 = -5*l - 21. Suppose -o + 4*k + 8 = v, -3*o - k + l = -o. Is o a multiple of 12?
True
Let y(v) = v**3 + 13*v**2 + 12*v - 2. Let d be y(-12). Let k be -5*((-2664)/(-15))/d. Is 12 a factor of 2/7 - k/(-14)?
False
Suppose 5*a = -2*f + 785, -2*a = 3*a + f - 790. Is 10 a factor of a?
False
Suppose 5*k - 313 = -4*y - 0*k, -3*k + 311 = 4*y. Is y a multiple of 10?
False
Let p(u) = 2*u**2 - 6 + 8*u + 6 - 4 - u. Is p(-6) a multiple of 21?
False
Let o be 0 + 2 + (-1 - 1). Let k(f) = f + 25. Is 11 a factor of k(o)?
False
Suppose -4*u = -5*w + 360, 0*u + 72 = w + 3*u. Is w a multiple of 40?
False
Let k = -60 - -84. Is 6 a factor of k?
True
Suppose -3*s = -5*g + 8 + 36, -4*g + 2*s = -36. Suppose g = -2*z + 7*z. Is (57/(-6))/(z/(-4)) a multiple of 13?
False
Does 36 divide (-4 - (-50)/15)/((-4)/822)?
False
Suppose -2*d + 7*d = -4*h + 3, -2*d = 2. Suppose -1 = h*o - 7. Suppose -26 = -o*f + 34. Is 10 a factor of f?
True
Suppose -144 = -3*f - 3*z, 3*f + 4*z = 71 + 72. Is 10 a factor of f?
False
Let i(u) = -48*u - 8. Is 8 a factor of i(-3)?
True
Suppose -26 = -4*c - 2*z, 0*c = 4*c - 5*z - 61. Does 19 divide c/6*(-76)/(-3)?
True
Let f(u) = 8*u + 1. Let z be f(1). Let o = -5 + z. Is (o/(-6))/(-1)*9 a multiple of 6?
True
Suppose 3*x + 8 = -x. Let k be 1/2 - x/(-4). Suppose 4*j - 11 - 13 = k. Is j a multiple of 6?
True
Let x(s) = -19 + 3 + 5*s - 4. Is 15 a factor of x(10)?
True
Suppose 7*y - 6*y - 27 = 0. Does 3 divide y?
True
Suppose 50*z - 10 = 49*z. Does 8 divide z?
False
Let l be 28/5 + 8/20. Let z(k) = k**2 + k + 1. Let p(f) = 5*f**2 + 7*f - 6. Let i(y) = l*z(y) - p(y). Is i(0) a multiple of 7?
False
Let t = -34 - -53. Does 8 divide t?
False
Suppose -342 = -c - 5*c. Is c a multiple of 11?
False
Let g(a) = 14*a**2 + 2*a. Let p(u) = u + 7. Let k be p(-8). Does 6 divide g(k)?
True
Let f(s) be the first derivative of s**2/2 + s - 2. Let c be f(-2). Is 13 a factor of 1/(c/(-2 - 11))?
True
Let a = 29 + -18. Is 2 a factor of a?
False
Let p(k) = k**3 + 6*k**2 - 2*k + 2. Let m = 10 - 2. Let u be (4/m)/(2/(-24)). Is 14 a factor of p(u)?
True
Suppose 84 = 4*u + 4*j, -25 = -u - 0*j - 5*j. Suppose 0 = -4*t - u + 48. Let d = 2 + t. Is d a multiple of 3?
True
Suppose -2*s + 0 = -8. Let d(f) = 3*f**2 - 4*f + 7. Does 13 divide d(s)?
True
Let b = -6 + 10. Suppose -32 = -3*l + b. Does 8 divide l?
False
Does 21 divide 1858/18 + (-2)/9?
False
Let v(x) = x**2 + 4*x + 4. Is v(-6) a multiple of 12?
False
Let t = -5 - -17. Suppose 4*y - 28 = -3*p, 2*p + t = 2*y + 4*p. Suppose 0 = 3*z - y - 62. Does 12 divide z?
True
Let l(z) = z**2 + 3*z. Does 18 divide l(3)?
True
Let k(o) = o**3 - 5*o**2 + 3*o + 3. Let r be k(6). Suppose 2*f + s = r, f = 5*s - 2 + 3. Does 13 divide f?
True
Suppose -z + 3*z = -3*h + 48, 0 = 5*h - 2*z - 96. Does 6 divide h?
True
Let p = 43 -