). Suppose -38 = -5*l - o. Does 4 divide l?
False
Suppose -7*m = -1840 + 692. Is 11 a factor of m?
False
Suppose -1 = -2*y + 9. Let d = y + -4. Does 10 divide d/2 + (-66)/(-4)?
False
Suppose -3*v - c = 21, 2*v + 5*c + 27 = -0. Let q(y) = -3*y**2 + 3*y + 10. Let f(k) = 7*k**2 - 6*k - 21. Let i(z) = 4*f(z) + 9*q(z). Is 16 a factor of i(v)?
False
Suppose -8*t - 3*d = -4*t - 4, 3*t - 4 = -2*d. Suppose -t*z - 87 + 223 = 0. Is 8 a factor of z?
False
Suppose 0 = z + 6 + 3. Let r be 12/(-54) + (-92)/z. Suppose -3*y = -4*y + r. Is 7 a factor of y?
False
Suppose -4*u + 14 - 2 = 0. Suppose -17 = u*b + 5*g, 5*b - 25 = 2*g + 3*g. Let n = 17 + b. Does 16 divide n?
False
Let z be (-6)/(-21) + 150/(-35). Let h = z - 3. Let j = h - -9. Is j a multiple of 2?
True
Suppose y - 5*b + 16 = -2*y, 3*b - 12 = y. Suppose -4*w + 4*k = -172, -k + 40 = w + y. Is w a multiple of 10?
True
Let r(k) = -k + 1. Let n(l) = -4*l + 6. Let h = -5 - -7. Let b(z) = h*r(z) - n(z). Is b(4) a multiple of 4?
True
Let s = 0 - 8. Is 6 a factor of (-50)/s + 1/(-4)?
True
Suppose -4*r + 2*r = -6. Suppose d = 5*w + r*d - 64, 59 = 4*w - d. Let v = -1 + w. Is v a multiple of 5?
False
Suppose -3*j + 45 + 48 = 0. Is j even?
False
Let z(g) = 3*g**3 - 5*g**2 + 5*g - 7. Is 11 a factor of z(3)?
True
Let x be 5*3*(-1 - -8). Suppose 3*g = q + 2*q + x, -5*g - q = -193. Is 19 a factor of g?
True
Let o = 58 - 2. Is o a multiple of 14?
True
Suppose 0 = s - 25 - 9. Does 17 divide s?
True
Let o(x) = -2*x + x**3 + 12*x + 6*x**2 - x - 2*x**3. Is 14 a factor of o(7)?
True
Let p = 104 + -44. Suppose 0 = 4*s - 4*c - p, -3*c = -7*s + 2*s + 69. Is 12 a factor of s?
True
Suppose 0 = 2*c + c. Suppose c = -4*o + 4*i + 4, -2*o - 5*i + 13 = 2*o. Suppose -18 = -0*m - o*m. Is 3 a factor of m?
True
Let t(g) = 8*g - 1. Let q(l) = -24*l + 4. Let h(o) = 2*q(o) + 7*t(o). Is h(2) a multiple of 11?
False
Let l(c) = -c**2 - 10*c - 5. Let k be l(-9). Is 8 a factor of (-214)/(-9) + k/18?
True
Let d(z) = z + 1. Let v be d(2). Suppose v*u - 4*g - 74 - 77 = 0, 0 = 5*u - 2*g - 275. Does 15 divide u?
False
Suppose 4*m - 12 = 0, 3*p - 10 - 95 = -2*m. Suppose 0 = 3*y - p - 36. Does 8 divide y?
False
Let b be (-1 + -2 + 2)*-3. Suppose -2*v - b*v = -10. Suppose -p - v*p + 69 = 0. Is 8 a factor of p?
False
Suppose 4*l + w - 44 = 0, -4*l + 16 + 16 = 4*w. Is l a multiple of 3?
True
Suppose -5*x + 15 = -3*b, -3*b = 2*x + 3*x - 15. Suppose b*d - 10 = 2*d, -5*g + 3*d = -215. Is 10 a factor of g?
True
Let v(w) = -2*w**3 + w**2. Let o be v(-1). Let s be (-4)/(-26) + ((-10284)/(-78) - 2). Suppose -o*m = -m - s. Is 22 a factor of m?
False
Let m(d) be the first derivative of 7*d**3/3 - 3*d + 3. Let l(a) be the first derivative of m(a). Does 14 divide l(1)?
True
Let v(s) = -s**3 + 3*s**2 + 4. Is 25 a factor of v(-3)?
False
Let y = -7 + 11. Suppose -4*v + 44 = y*a, a - 2 = -3*v + 5. Is 5 a factor of a?
False
Is 4 a factor of 9/(-6)*-1 + 375/6?
True
Let j = 162 + -93. Let x = j + -45. Is 6 a factor of x?
True
Suppose -4*d - 55 = 5*v, -5*d = -3*d + 10. Let f = -2 - v. Is f a multiple of 5?
True
Let x = 174 - 123. Is x a multiple of 13?
False
Suppose -3*p - 49 = 35. Let h = p + 39. Is 6 a factor of h?
False
Let h(y) = -y - 1. Let r be h(3). Let f(b) = -b**2 - 6*b - 5. Let c be f(r). Suppose -j - 20 = -c*j. Is 5 a factor of j?
True
Let p be (84/(-20))/((-4)/20). Does 6 divide -1*(1 + -2)*p?
False
Let v be 2 - (-1 - -2 - 8). Suppose -5*z = -2*z - v. Suppose 0 = 2*k + 3*p - 35, z*p + 2*p + 62 = 3*k. Does 10 divide k?
False
Suppose 0 = -3*m - 8 + 2. Let w be m/5 + (-17)/(-5). Suppose 3*z + w*a - 24 = 0, -1 - 5 = 2*a. Does 6 divide z?
False
Let n be (-4 - -4)*(-1)/(-2). Suppose n = 2*t - 4*g + 8, -t + 8 = -0*t + 2*g. Suppose -20 = -5*k, -2*i - t*k + 70 = 18. Is i a multiple of 13?
False
Let g be 15*(0 + -2 + 7). Suppose 2*c = -3*c + g. Does 15 divide c?
True
Suppose 34 = -3*q + 5*q. Does 3 divide q?
False
Suppose -4 = 3*b - 1. Let s be ((-19 - b)*-1)/1. Suppose -4*i = -90 + s. Does 16 divide i?
False
Let o(a) = 0 + 0*a**2 + a**2 - 3 - 3*a + 5. Is o(-3) a multiple of 6?
False
Suppose 2*u - 3 = 1. Suppose r = u*l + 41, -188 = -4*r - 4*l - 0*l. Is r a multiple of 15?
True
Is -2 + 4 + 0 - -51 a multiple of 3?
False
Suppose -130 - 14 = -4*t. Does 6 divide t?
True
Let z(a) = -a**3 - 12*a**2 - 11*a + 5. Let m be z(-11). Let u = m + 4. Does 6 divide u?
False
Let g = 4 - 4. Suppose 0 = -2*m - 2*b + 70, -2*m - b + 71 = -g*m. Is 12 a factor of m?
True
Let y = 1 - -1. Suppose -o + 0*o - y = 0. Does 13 divide 27 + o*(-3)/(-6)?
True
Let s = 200 + -139. Suppose -6*l - s = -3*j - 4*l, 4*j + l = 85. Is j a multiple of 21?
True
Suppose 88 = r - 0*r. Let f = r - 35. Is f a multiple of 18?
False
Is -9 + 13 + 85 + 0 a multiple of 18?
False
Suppose -3*x - f = -17 - 9, 3*x = f + 16. Let q = -1 + x. Is q a multiple of 6?
True
Suppose 0 = 3*r - 0*z + 3*z - 111, 0 = -3*r - 2*z + 108. Is 3 a factor of r?
False
Suppose 2*p - 6 = 4. Suppose 4*l - 1 = 4*d + 3, 5 = -2*d + p*l. Does 7 divide 1*(d + -1) + 10?
False
Let z(j) = j**3 - 7*j**2 + 8*j - 6. Suppose -6*n + i + 17 = -n, -4*n = i - 10. Suppose 3*c - 6 = x, -n*x - 4*c + 22 = -3*c. Is 4 a factor of z(x)?
False
Suppose -13*u = -12*u - 3. Suppose u*v - 180 = -3*v. Does 8 divide v?
False
Suppose 2*i + 3*j - 124 = 7*i, -5*i = -5*j + 120. Let a = i + 47. Does 6 divide a?
False
Suppose 0 = -4*q - 4 + 60. Let t be (-1088)/q + (-2)/7. Is (t/15)/((-1)/5) a multiple of 12?
False
Let c = 155 + -89. Is c a multiple of 10?
False
Suppose -4*a = 5*b + 59 - 356, 0 = b - 5. Is 14 a factor of a?
False
Suppose 204 = 4*w + 4*x, 0*w = 4*w - 2*x - 234. Does 24 divide w?
False
Suppose 2*l + 8 = 2*h, 5*h = -6*l + 3*l - 4. Let n be (-1 + (h - 1))*-1. Does 11 divide n/3 - (-65)/3?
True
Let j = -10 - -44. Does 17 divide j?
True
Suppose -3*b - 996 = -4*u + 2*b, -u = -3*b - 256. Suppose 4*p - 5*k - u = 0, 3*k = -2*p - k + 96. Is 20 a factor of p?
False
Suppose -5*z - 4*m = 211, -4*z = 2*m - 82 + 246. Suppose 8*s = 3*s - 3*p - 3, -3*p = -12. Let v = s - z. Does 14 divide v?
False
Let r be 16 + 2/4*0. Suppose 3*j - 2 - r = 0. Does 2 divide j?
True
Let f be (-42)/5 + (-4)/(-10). Let m = 33 + -33. Is 12 a factor of (f - m)*2*-1?
False
Suppose d + 2*m - 29 - 16 = 0, 0 = -4*d + 3*m + 202. Let y = d - 15. Does 20 divide y?
False
Let w = -10 - -10. Let d = 9 - w. Is 4 a factor of d?
False
Suppose 5*s + j = 5*j - 54, -3*s - 34 = -2*j. Let k(l) = 39*l - 1. Let c be k(-1). Let u = s - c. Does 13 divide u?
True
Suppose -2*w + 7*w - 25 = 0. Let t be (2 + -2)*w/15. Is 8 a factor of 1 - (26 + t)*-1?
False
Let n be 90/4 - (-3)/(-2). Let f = 19 + n. Is 20 a factor of f?
True
Let q(b) = -b**2 + 4*b + 3. Let w be q(4). Suppose 3*p = -0*p + 2*u + 35, -w*p + 45 = 3*u. Suppose 0 = i - 5*c - 1, 2*c - p = -i + c. Is 4 a factor of i?
False
Suppose 0 = -3*x + 4*x - 82. Is 41 a factor of x?
True
Let n(u) = 5*u + 4. Let z be n(3). Suppose -2*i + 11 = -z. Does 10 divide ((-4)/5)/((-1)/i)?
False
Suppose -2*n - 2*n - 48 = 0. Let w = -18 + 39. Let c = n + w. Is c a multiple of 9?
True
Suppose -3*x = m - 13, -15 = -4*x + 5*m - 4. Is 255/12 - 1/x a multiple of 14?
False
Let k be (-7)/(-1)*(3 - 2). Let d be (-2)/((-12)/k + 2). Let s = 25 + d. Does 9 divide s?
True
Let b = 4 + -2. Suppose -3*f - b*f = -5. Suppose -3 = -2*u + f. Is u even?
True
Let w be 1/2*(-1 + 5). Let i be (w - -2 - 0) + 0. Suppose -i*g = -50 - 78. Does 16 divide g?
True
Let i be (-22)/4*(7 - 1). Let a = -42 - -25. Let w = a - i. Is w a multiple of 8?
True
Suppose -2*x = -0*x. Suppose 20*i - 22*i + 50 = x. Does 8 divide i?
False
Let b(u) = -u - 1. Let m be b(-2). Suppose -m = -s + 2. Suppose -q + 5 + s = 0. Does 4 divide q?
True
Let r = 1 + 2. Suppose r = -g + 4. Is (g/1 - -3)*3 a multiple of 12?
True
Let x = 1 - -1. Suppose -j = x + 1. Let o = j - -16. Does 5 divide o?
False
Does 17 divide 0 + (-6)/(-21) + 1668/42?
False
Let c be (6/(-15))/((-3)/30). Suppose c*l = -3*z + 2*l + 73, 3*l + 63 = 3*z. Is z a multiple of 4?
False
Let n(v) = -v**2 + 7*v + 10. Let u be n(8). Let k = 0 + u. Suppose -5*x + 0*x = -k*d - 77, 0 = 3*d - 12. Does 13 divide x?
False
Suppose -5*i + 475 = 5*a, -3*i = i + 5*a - 379. Does 32 divide i?
True
Let k(j) = -12*j + 16. Does 44 divide k(-6)?
True
Suppose -239 = 5*d + 216. Let o be d/(-35) + (-2)/(-5). Supp