e 2*s + 2*s = -3*i + 72, 75 = 3*i + 3*s. Suppose 5*r - 138 = -i. Is 22 a factor of r?
True
Suppose h - 4*h = 147. Let g = h - -83. Let u = g - 18. Is 10 a factor of u?
False
Let c(a) = 10*a + 4. Let x(n) = -5*n - 2. Let f(s) = -3*c(s) - 7*x(s). Let o be f(-2). Let h = 24 + o. Is 14 a factor of h?
False
Suppose 15 = 3*k - 0, 0 = -n + 5*k + 122. Suppose -157 = -2*q + 5*h, q - n = -q - 5*h. Does 19 divide q?
True
Let s(c) = 4*c + 16. Is 8 a factor of s(4)?
True
Suppose 4*m = 8 - 0. Does 4 divide (-10)/(m + (-8)/3)?
False
Is 4 a factor of 8/(-28) - (-30)/7?
True
Suppose 0 = -3*j + 84 + 27. Suppose j = 2*y + k, 4*k = -0*y + y - 32. Let u = y - 1. Is 19 a factor of u?
True
Let m = 100 - 41. Let x = 52 + -94. Let q = m + x. Is 12 a factor of q?
False
Suppose 3 = 3*z - 2*z. Suppose -m + z = -2. Suppose 0*y + 210 = m*y. Does 14 divide y?
True
Let v = -34 - -63. Is 29 a factor of v?
True
Let f(h) = 5 - 4 + 0*h - h + 0. Let s(t) = -4*t + 5. Let r(k) = 6*f(k) - s(k). Is 3 a factor of r(-1)?
True
Let d = -6 + 16. Suppose -3*u = -d + 4. Suppose -u*h - 3*h + 185 = 0. Is 13 a factor of h?
False
Suppose 0 = 9*y - 4*y - 70. Is y a multiple of 5?
False
Suppose m + 4*a = 73, -a = 4*m + 2*a - 240. Let u = 81 - m. Is u a multiple of 12?
True
Suppose -4*v + 0*v = -8. Suppose 7*r = v*r + 20. Is 3 a factor of r?
False
Suppose 3*l - 407 + 47 = 0. Is 15 a factor of l?
True
Suppose -99 = -0*i - 3*i. Let q = 229 - 152. Suppose -5*d = -q - i. Does 11 divide d?
True
Suppose -2*r + l + 118 = 0, 0 = -7*r + 2*r - 3*l + 284. Let j = r - 33. Does 6 divide j?
False
Let g be (12/10)/(2/5). Suppose g*z = z + 10. Does 3 divide z?
False
Suppose -5*s = k + 19, 0*s - 2*s - 40 = -5*k. Let v = k - 3. Let a(h) = 2*h**2 - 4*h + 4. Is a(v) a multiple of 10?
True
Let b = -5 - -9. Suppose -3*k + 40 = 3*g - 71, 0 = -g - b*k + 43. Is g a multiple of 11?
False
Suppose 4*f = 8, 4*r + f + 3 = 5. Suppose 121 = 4*i - v, 2*v + r*v = -3*i + 88. Is i a multiple of 11?
False
Suppose y - 3 = 3*g + 1, 5*y - 20 = -3*g. Suppose -j = -5*h + 98, g*h + 4*h - 72 = 4*j. Is 6 a factor of h?
False
Let k(l) = 2*l**2 + 3*l + 1. Let p be k(-2). Let u be (-10)/(-35) + 556/14. Suppose 0 = z + p*z - u. Is 4 a factor of z?
False
Suppose 0 = 4*t - 2*l - 494, -4*t - l = -0*t - 503. Suppose 5*y = 3*r - 7*r + 154, -5*r + t = 4*y. Does 10 divide y?
True
Let f be (-2)/1 + 2 + -2. Let r be (-4)/(-6)*(-3)/f. Is 8 a factor of ((-1)/(1/(-9)))/r?
False
Let o(d) = 17*d**2 - d + 2. Does 15 divide o(2)?
False
Suppose 5*x - 21 + 1 = 0. Suppose 16 = x*q - 0*q. Suppose 2*k - q = 2. Is 3 a factor of k?
True
Suppose 205 = 3*c + 40. Let d = c + -27. Is 14 a factor of d?
True
Let g(x) = x**3 - 9*x**2 + 2*x + 11. Does 7 divide g(9)?
False
Let s(o) = o + 15. Suppose -r = -0*r. Let q be s(r). Suppose -u + 0*k = -3*k + 3, 5*u = 5*k + q. Is 6 a factor of u?
True
Let c(i) = -i - 2. Let q be c(-7). Suppose -4*j - 61 = -f, -q*f + 173 + 57 = -5*j. Is 24 a factor of f?
False
Let x(j) = -3*j - 9. Suppose l - 2*l - 9 = 0. Is 9 a factor of x(l)?
True
Let m be (-9 - -10)/((-1)/(-18)). Let x = 12 + m. Is x a multiple of 15?
True
Suppose 44 = 2*c - c. Does 12 divide (-7 - -4)*c/(-6)?
False
Suppose -2*f + 7 = 3. Suppose 0 = -2*v + v + 7. Suppose -f*d - 25 = -v*d. Is d a multiple of 3?
False
Let m = 3 - 6. Let n(f) = -f**3 - f**2 - 2*f + 3. Is n(m) a multiple of 9?
True
Let h = -34 + 56. Is 22 a factor of h?
True
Suppose 2*l - 3*d - 11 = -1, l - d = 5. Suppose 0 = -o + l*o. Is 2/(o - (-1)/22) a multiple of 15?
False
Let v = -36 + 46. Is v a multiple of 10?
True
Let i(p) = 3*p - 2. Does 4 divide i(2)?
True
Let z(a) be the first derivative of 5/3*a**3 + a - 1/2*a**2 - 1. Is 4 a factor of z(1)?
False
Let o be 2/11 + (-64)/(-11). Is 2/o - (-960)/36 a multiple of 4?
False
Let d(f) = -7*f - 11. Does 24 divide d(-9)?
False
Suppose -4 + 0 = 2*s. Suppose -4*g + 17 = 5*r, 0*g - 3*r = -2*g - 19. Is g - -22 - (0 + s) a multiple of 13?
False
Let g(i) = 5*i + 16. Does 17 divide g(8)?
False
Let f be (-3 + 2)*1*-4. Suppose -90 = -f*b - o, 0 = -b + 2*o - 3*o + 24. Is b a multiple of 8?
False
Suppose -7 = -i - 3*j + 5*j, i + 2 = 5*j. Suppose 0 = -5*k + i + 7. Suppose -3*o + 19 = -o + m, 3*o = k*m + 23. Does 9 divide o?
True
Let q = 46 - 25. Suppose -a + 4*h + h + q = 0, -4*a = -h - 65. Does 8 divide a?
True
Let i be (-3)/(-6)*2*-2. Let j be 30/9 + i/6. Suppose -8*p + 65 = -j*p. Is p a multiple of 6?
False
Let b be (-1)/((-51)/18 - -3). Is -8*(b/2 + 2) a multiple of 7?
False
Suppose 2*b - 35 + 1 = 0. Suppose 5*o - 4*o = n + b, -5*o + 61 = n. Is o a multiple of 6?
False
Is -4 + 2/(-4)*-370 a multiple of 24?
False
Suppose -196 = 8*k - 4*k. Suppose 4*l = -9 + 293. Let n = l + k. Does 10 divide n?
False
Let u(l) = 3*l**2 + 4*l + 3. Let c be u(-2). Suppose 23 = j + c. Is 16 a factor of j?
True
Let c = 0 + 5. Suppose 12 = 4*d, -2*m - 3 = -c*d + 2. Does 3 divide m?
False
Let y be (-14)/(-49) + (-12)/(-7). Suppose 67 + 71 = y*r. Is 23 a factor of r?
True
Suppose 3*o + 3*t - 564 = 0, 5*o - 912 = 2*t - 0*t. Is 8 a factor of o?
True
Suppose 6*o = -3*o + 315. Is o a multiple of 7?
True
Let z(k) = k - 4. Let h be z(4). Is (h/(-1) + 1)*15 a multiple of 5?
True
Let m(o) = 7*o**3 - 3*o**2 - 12*o - 6. Let p(z) = -3*z**3 + z**2 + 6*z + 3. Let g(w) = 2*m(w) + 5*p(w). Is g(-5) a multiple of 21?
False
Let q(z) = -z**3 + 19*z**2 - 18*z + 15. Is q(18) even?
False
Let f be (-66)/(-24) - 2/(-8). Suppose 62 - 14 = f*h. Is 5 a factor of h?
False
Let l(d) be the first derivative of d**5/10 + d**4/8 - d**3/3 + d**2 + 1. Let h(o) be the second derivative of l(o). Is h(2) a multiple of 14?
True
Let b(d) be the second derivative of d**5/60 - 7*d**4/24 - 2*d**3 + d**2/2 + d. Let u(y) be the first derivative of b(y). Does 6 divide u(9)?
True
Is 6/(-1)*377/(-26) a multiple of 29?
True
Suppose 2*z + 6*w - 2*w = 22, 4*z = 3*w. Let a(g) = -g**2 + 5*g. Let x be a(4). Suppose -x*h = i + 6, z*h + 18 = i - h. Does 6 divide i?
True
Let y = 8 + -6. Let r be 6/(-21)*(-5 - y). Suppose -n = r - 11. Is 8 a factor of n?
False
Let h(f) = 0*f**2 - f**3 - 3 + 6*f - 5*f**2 + 3 + 9. Let q be h(-6). Let r = 15 - q. Does 2 divide r?
True
Let l = -1 - 0. Let y be ((-1)/l)/(4/12). Suppose 46 = 3*u - 5*w, 2*u - 4*w + 4 = y*u. Does 10 divide u?
False
Let s = 27 - -32. Is s a multiple of 16?
False
Let b = 15 - 8. Is b a multiple of 2?
False
Suppose -5*s = -3*q + 173, 5*s - 184 = -3*q - q. Does 11 divide q?
False
Let a be (-6)/(-9)*(-30)/(-4). Suppose t = 6 + a. Does 11 divide t?
True
Suppose 37 = 2*f - g, -5*f + g + 123 = 23. Let n = -10 - 3. Let o = n + f. Does 4 divide o?
True
Let j(f) = -17*f + 7. Let x be j(-6). Suppose 3*i - 5*d = x, 3*d + 18 = 3. Is 15 a factor of i?
False
Let s = -239 - -519. Is s a multiple of 14?
True
Is (-2 - -2) + 2 - -9 a multiple of 3?
False
Let d be -3 + 3/(-3) + 4. Suppose d = -3*n - n + 68. Is n a multiple of 3?
False
Suppose -4*d = -6*d. Suppose -5*v + 30 + 0 = d. Let f(o) = o**3 - 5*o**2 - 4. Is 11 a factor of f(v)?
False
Let k(g) = 49*g**3 - 1. Let a be k(1). Let w = a + -29. Is 10 a factor of w?
False
Let v(u) = -16*u + 5. Let o be v(-5). Let b = 51 + 5. Let w = o - b. Does 14 divide w?
False
Let z(k) be the third derivative of -1/60*k**5 - 1/6*k**3 - 2*k**2 - 1/120*k**6 + 0 - 1/24*k**4 + 0*k. Is z(-2) a multiple of 2?
False
Suppose -l = -0*l + 5*z - 7, 2*l - 3*z = 53. Is 8 a factor of l?
False
Suppose -2*v + 164 = 2*v. Let w = -36 - v. Let d = -43 - w. Does 15 divide d?
False
Let x(s) = -5*s**3 + 3*s**2 + 5*s - 6. Does 38 divide x(-3)?
False
Let y be (-1 - -3)/(-4 - -3). Let w = y + -24. Does 13 divide (0 + 4)*w/(-4)?
True
Let q be (-2)/(-5) - (-288)/5. Suppose q = 2*d - d. Does 29 divide d?
True
Let t = -48 + 21. Let k be (-21)/t + (-4)/(-18). Is 6 - 2/(0 - k) a multiple of 5?
False
Suppose 4*d + 2*k + 7 = 5*k, 17 = -2*d - 3*k. Let c be 41/6 + 3/18. Let y = c + d. Is 3 a factor of y?
True
Let d = 35 - 27. Is 8 a factor of d?
True
Let s = -20 + 56. Let i = 74 - s. Suppose -y + 4*z = -12, -3*z - i = -5*y + 22. Does 5 divide y?
False
Let w(r) = 5*r**2 - 2*r - 9. Does 21 divide w(4)?
True
Let i = 70 + -56. Does 14 divide i?
True
Suppose 0 = 3*j - 75 - 534. Suppose 3*y - j = 2*t, -3*y - t = t - 187. Is y a multiple of 21?
False
Suppose 114 + 249 = 3*d. Is 19 a factor of d?
False
Let i = -113 + 194. 