actor of h?
False
Suppose 0*g + 4*g = 5*n - 10, -n - 4*g - 22 = 0. Let z = 4 - 5. Is 10 a factor of n + (z + 30 - -3)?
True
Let g = -5 - -5. Suppose -i - 6 = -5*s + 2*i, -2*s + 4*i - 6 = g. Suppose -12 = -3*t - s. Is 2 a factor of t?
False
Let n(d) = -2*d - 11. Does 9 divide n(-13)?
False
Suppose 0 = -5*c - 9 + 34. Suppose 0 = 4*a - 2*z + c*z - 149, 0 = -4*a - 2*z + 150. Is 19 a factor of a?
True
Suppose 3*y - 49 = 2*y + 3*d, -y = -2*d - 48. Is 11 a factor of y?
False
Let j(s) = 3*s**2 - 4*s - 1. Let t be j(5). Suppose 0 = 3*g - t. Is 6 a factor of g?
True
Let t = -49 + 73. Is t a multiple of 12?
True
Let j = 26 - 10. Does 8 divide j?
True
Suppose 4*o = -0 - 28. Let w = o - -16. Suppose -4*p + w*p - 50 = 0. Does 10 divide p?
True
Let d = -6 - -4. Let y be 2 + (33 + -1 - d). Suppose -3*l = 3*g - 36, 0*l = 3*g - 4*l - y. Is 12 a factor of g?
True
Suppose -4*p + 315 = p. Does 21 divide p?
True
Let m = -22 - -10. Let q = m + 21. Does 3 divide q?
True
Suppose r + 44 = 13. Let n = -9 - r. Is n a multiple of 11?
True
Let n(p) = 2*p**2 + 8*p + 5. Is n(-5) a multiple of 11?
False
Suppose 3*i - 219 - 163 = 4*k, 0 = 2*i - 3*k - 256. Is 31 a factor of i?
False
Let v = 10 - 6. Suppose v*s - 222 + 66 = 0. Does 13 divide s?
True
Does 20 divide 1 - 12/(-4) - -94?
False
Is (6/(-8))/((-19)/228) a multiple of 2?
False
Suppose 10 = u + 5*m, 0 = 2*u - 4*m + 8*m - 2. Let i(j) = 3*j**2 + 6*j - 3. Is 21 a factor of i(u)?
True
Suppose -7*f = -2*f - 370. Let y = -41 + f. Does 11 divide y?
True
Suppose 5126 - 414 = 19*v. Is v a multiple of 28?
False
Does 3 divide 2 + -2 + 8 + -2?
True
Suppose -g = g - 74. Is 11 a factor of g?
False
Let d = 202 - 122. Is 40 a factor of d?
True
Suppose 6 = k - 3. Is 9 a factor of k?
True
Let v = 4 - 4. Is 3 a factor of (-10)/8*(v + -4)?
False
Let f be (-27)/(-6) - 6/4. Suppose 4*m + f*i = 51 + 34, -3*m + 2*i = -68. Is 11 a factor of m?
True
Let z be -6*(-20)/8*-4. Let j = -43 - z. Is 12 a factor of j?
False
Is 5 a factor of (-6)/(-21) - 636/(-28)?
False
Let j(g) = -27*g**2 - 2*g + 1. Let u be j(1). Is 11 a factor of (-117)/(-7) - 8/u?
False
Suppose -3*q - 4*m = -8*q + 150, 4*q - 5*m - 129 = 0. Is q a multiple of 13?
True
Suppose -3 = -3*u - 0. Suppose -k + 27 = -u. Is 17 a factor of k?
False
Let x be (20/35)/(4/14). Is -2 + x - -5*2 a multiple of 10?
True
Suppose -5*d + 5*p + 5 = 20, 5 = -p. Let a be ((-10)/d)/(3/(-12)). Let y = a + 31. Is y a multiple of 9?
False
Let h = 11 + -3. Let p = 22 - h. Is 7 a factor of p?
True
Let k(p) = -p**2 - p + 98. Suppose -2*u - 2 = -6*g + 2*g, u = -1. Let s be k(g). Let z = s - 46. Is z a multiple of 26?
True
Let r = 42 + 45. Is r a multiple of 29?
True
Suppose -2*i = 3*i - 120. Suppose -4*s + i = 4*q, 3*s + 2*s + q = 18. Suppose -c + 2 = 0, 2*p - s*p - c = -20. Does 13 divide p?
False
Let m(h) = -7*h**2 - 5*h + 6*h**2 + h**3 - h - 2*h**2 + 1. Does 7 divide m(5)?
True
Let t(o) = -1. Let i(z) = -3*z + 1. Let j(v) = i(v) - 6*t(v). Is j(-5) a multiple of 12?
False
Suppose -l - 2*k - k = 17, -l + 8 = -2*k. Let s = l + 9. Does 4 divide s?
False
Let i = 12 - -29. Let j = 1 + i. Is j a multiple of 30?
False
Let n = -8 - -11. Suppose 1 = 2*t - n. Does 12 divide 27 + -2 + 4/t?
False
Let h = -247 + 427. Is h a multiple of 10?
True
Suppose 5*b = 3*b + 6. Let c be 2*b/(-12)*0. Suppose -4*z + 3*f = -c*z - 33, -5*z + 5*f = -40. Is 5 a factor of z?
False
Let v be (-188)/6 + (-8)/12. Let q = -17 - v. Is 4 a factor of q?
False
Let a = 22 + -16. Let c = a + 6. Let q = c - -12. Is 12 a factor of q?
True
Let z = -26 - -60. Does 16 divide z?
False
Let k = 3 + -2. Suppose t - 6 = k. Is t even?
False
Let i(o) = o**3 + 6*o**2 - 2*o - 6. Let l be i(-6). Suppose 5*f + 2*q - 92 = 0, q - l*q - 31 = -2*f. Is f a multiple of 9?
True
Let c(r) = -11*r**2 + r. Let k be c(1). Is 20 a factor of k*(0 - (-6)/(-3))?
True
Suppose 3*d - d - h = 11, -2*h = 3*d - 13. Suppose -3*b - 4*u + 112 = 0, -3*u - 55 - 93 = -d*b. Let p = b - -4. Is p a multiple of 12?
True
Let u(v) = 7*v**2 - 2*v - 3. Does 22 divide u(-3)?
True
Suppose -s + 2 - 8 = -5*r, 0 = -s - r + 24. Let v = -2 + s. Is 11 a factor of v?
False
Suppose 2 = -2*v - 4. Is v/(-6)*12 + 0 a multiple of 3?
True
Suppose -161 = -6*w + 127. Is 24 a factor of w?
True
Suppose 129 - 44 = 5*o. Suppose 5*w + 4*n = 2*w + o, 0 = -4*w + 4*n + 4. Suppose 7*b - 92 = w*b. Is b a multiple of 23?
True
Let x(a) be the second derivative of -5*a**3/6 + a**2/2 + 3*a. Let w be x(-4). Suppose -2*i = -w + 3. Is i a multiple of 9?
True
Let r be ((-1)/(-2))/(2/(-28)). Let n = 9 + r. Suppose -3*l - 44 = -t + 2*l, -n*t + 82 = -4*l. Is 13 a factor of t?
True
Suppose 4*r - 87 - 9 = -4*w, -5*r + 20 = 0. Suppose 0*n = 2*n + 3*j - 26, 40 = 4*n + 3*j. Does 4 divide (n/(14/w))/1?
False
Let w = 1 + 2. Suppose -m = 4*m. Suppose k - w*k + 74 = m. Is k a multiple of 13?
False
Suppose 2*y + 4 = -6. Let m(z) = -4*z + 4. Is m(y) a multiple of 7?
False
Suppose 5*l + 122 = 7*l. Is 19 a factor of l?
False
Let a = 5 + -1. Suppose -53 = -p + 4*i, -2*p + 9*i + 109 = a*i. Is 19 a factor of p?
True
Suppose -4*i = -s + 18, -s + 4*s - 87 = i. Is 15 a factor of s?
True
Suppose -5*r + 369 = -l, -31 = -5*r + 5*l + 354. Does 7 divide r?
False
Is (-16)/(3*(-1)/3) a multiple of 8?
True
Let w(z) = z**3 + 65. Is w(0) a multiple of 13?
True
Suppose 6 = -2*p + 4*n, 3*p + 2*p + 3*n = -28. Does 11 divide 218/8 + p/20?
False
Suppose -5*l + 28 = -3*l. Suppose 0 = -5*p - 4*f + 52, f + l = 2*p - p. Let w = -3 + p. Is w a multiple of 8?
False
Let o(p) = -p**2 + 13*p + 4. Let c be ((-9)/2)/(3/(-8)). Is 8 a factor of o(c)?
True
Let o(h) = -h**3 + 7*h**2 - h - 1. Let f be o(7). Let m(y) = -4*y - 14. Does 9 divide m(f)?
True
Suppose 10 + 74 = 2*u. Is u a multiple of 14?
True
Let o(j) = j**2 + 0*j**2 - 2 - 3*j - 1 + 10. Let x(l) = -l + 2. Let t be x(-3). Does 15 divide o(t)?
False
Let a be (-4)/6 + (-11)/(-3). Does 2 divide (1 - -1) + 3/a?
False
Suppose h + k + 0*k = -47, -4*k + 57 = -h. Does 5 divide 14/h - (-37)/7?
True
Suppose 3*b + 1 = 55. Does 7 divide b?
False
Let d(c) = -c**3 + c + 22. Let u be d(0). Suppose 0 = -4*y + 26 + u. Is 6 a factor of y?
True
Suppose -13*q + 11*q = -130. Does 4 divide q?
False
Let i(y) = -y + 30. Does 3 divide i(20)?
False
Let i(x) = x - 3. Let d be i(3). Let p(n) = -n - 4. Let m be p(0). Let l = d - m. Is l a multiple of 3?
False
Let f(o) = o**2 - 3*o + 3. Let w be f(3). Suppose 0 = -4*d - 2*r + 17 + 55, -4*r + 54 = w*d. Does 5 divide d?
False
Let x be 85/3 - (-1)/(-3). Let b be -3*(2 + x/(-3)). Suppose 2 - b = -5*k. Does 2 divide k?
True
Let u(y) = 3*y - 1. Is 6 a factor of u(6)?
False
Is (7 + 239)/((-4)/(-2)) a multiple of 13?
False
Let p(c) = 54*c**3 + 1. Does 11 divide p(1)?
True
Suppose -3*l + 4*a + 10 = 0, 3*l - 5*a - 18 = -4. Let h(v) = -2*v**2 + 2 + 5*v**2 + 13*v - 10*v. Is 8 a factor of h(l)?
True
Let r(f) be the first derivative of 8*f**3/3 - f**2 + 13. Let x = 5 + -7. Does 12 divide r(x)?
True
Let t(f) = 9*f - 2. Let w(k) = k. Let q(v) = t(v) + 2*w(v). Is q(2) a multiple of 10?
True
Let c be ((-16)/5)/((-3)/15). Suppose 4*f = 4 + c. Is f a multiple of 3?
False
Suppose 4*l - 4*a - 157 = -3*a, 2*l - a - 81 = 0. Is 19 a factor of l?
True
Let m(a) = -5*a + 2. Let q be m(2). Let i(d) be the third derivative of -d**6/120 - 3*d**5/20 - 5*d**4/12 + 3*d**3/2 - d**2. Does 13 divide i(q)?
False
Is (-1 + (-38)/(-4))/((-6)/(-96)) a multiple of 34?
True
Let p(t) = 2*t**2 + 28. Does 14 divide p(0)?
True
Suppose -7 + 70 = 3*z. Does 5 divide z?
False
Let q(w) = -w**3 + 4*w**2 - w + 1. Let o be q(2). Let y(g) = 7*g - 10. Is 13 a factor of y(o)?
True
Let t = 8 + -6. Suppose -4*p - t*l = -l - 99, 4*p - 89 = -3*l. Is p a multiple of 13?
True
Let v be 358/(-5) - 6/15. Let l = v - -21. Let d = 71 + l. Is d a multiple of 10?
True
Suppose 5 = 2*j - 3*i, j - 2*i - 6 = -4*i. Let g be (-4)/(-6) + j/3. Suppose g*r = -2*r + 124. Is 14 a factor of r?
False
Let w(x) = -x - 15. Let m be w(-13). Let o(h) = 3*h**2 + 3*h. Is 6 a factor of o(m)?
True
Let a = -10 - -17. Suppose x + 5*g - 48 = 0, -2*g = -1 + a. Is x a multiple of 11?
False
Suppose -5*a - 2*k = -0*k - 7, -5*k = -5*a + 35. Is 6 a factor of 1/3*a + 5?
True
Is (-686)/(-22) - (-6)/(-33) a multiple of 4?
False
Let l(d) = -17*d**3 - 2*d**2 - 4*d - 7*d**3 + 3*d. Is l(-1) a multiple of 23?
True
Le