4*(-3 - -1). Let p = -30 - r. Does 12 divide p?
False
Suppose 3*x - 6*o - 11 = -2*o, 1 = o. Let h = 3 - x. Is 4 a factor of (-9 + h + 0)*-1?
False
Let w = -81 + 137. Suppose 5*n - 3*n + w = 2*j, 5*j = 3*n + 140. Is 8 a factor of j?
False
Let b(p) = -12*p. Suppose -2*o = -6*o - 8. Let l be b(o). Suppose 4*s + l = 3*x - 42, 0 = 4*x - s - 101. Does 12 divide x?
False
Suppose 36 = -i + 2*i. Is i a multiple of 14?
False
Suppose 0 = -5*s + 4*l + 5, 25 = 4*s - l + 2*l. Let m be 3*2 - 10/s. Is m/(2/2) - 1 a multiple of 3?
True
Let k = 336 + -103. Does 30 divide k?
False
Let z be 4 + -7 + 2*24. Is ((-6)/(-5))/(3/z) a multiple of 18?
True
Let r = -685 + 363. Let v = -198 - r. Suppose 20 - v = -4*z. Is z a multiple of 13?
True
Suppose -24 = -7*n + 3*n. Let b(s) = -13*s + 11. Let c(a) = -72*a + 60. Let r(p) = -28*b(p) + 5*c(p). Is r(n) a multiple of 8?
True
Suppose 0 = -5*u + 89 + 71. Suppose 48 = -3*t + 3*p, -2*p = -3*p - 5. Let w = t + u. Is 11 a factor of w?
True
Suppose -4*y + 5*x = -13, 2*y - 4*y - x + 3 = 0. Suppose 0 = 4*k + 3*m - 113, 139 = 5*k - y*m + 5*m. Is 13 a factor of k?
True
Let s be (-4)/14 - (-26)/(-7). Does 2 divide 28/6*(-6)/s?
False
Suppose 13 = -3*p + 3*h + 2*h, -p + 5*h - 21 = 0. Suppose b = p*i - 7, -4*i + 34 = b - 3*b. Let l = -18 - b. Is l a multiple of 9?
True
Does 7 divide ((-6)/5)/((-6)/140)?
True
Let a = -24 - -92. Is a a multiple of 8?
False
Let y(f) = -f - 3. Let z be y(-5). Suppose 0 = -0*r + 2*r - 4*q - 56, -z*q = -5*r + 116. Let x = 36 - r. Is 7 a factor of x?
True
Suppose 0 = 4*t + 3*f - 514, -3*f = -6*f + 6. Is 14 a factor of t?
False
Let m be (48/(-15))/(2/(-65)). Let s = m - 68. Is 9 a factor of s?
True
Let u be 3/(-1) + 10 + -7. Suppose 0 = -u*c - 5*c + 80. Is 5 a factor of c?
False
Let a be ((-12)/10)/(6/40). Let q = 21 + a. Is q a multiple of 11?
False
Suppose -4 = 7*g - 6*g. Let b = g + 24. Does 10 divide b?
True
Let v(b) = 8*b - 1. Is v(2) a multiple of 3?
True
Let b(k) = k - 3. Let m be b(-7). Does 3 divide (1 - -3)*m/(-4)?
False
Let b(i) be the second derivative of 11*i**5/20 + i**4/12 + i**3/6 - i**2/2 + 2*i. Is 7 a factor of b(1)?
False
Let q(m) = m**3 + 5*m**2 + 4*m + 3. Let v be q(-4). Suppose -3*z = -c + 57, 0 = 3*z + v*c + 2*c + 57. Let j = 41 + z. Is 12 a factor of j?
False
Let t be (-2)/(-3) + 7/3. Suppose 1 = -t*z + 7. Suppose -2*b + 4*b + 72 = 4*h, -5*h = z*b - 108. Does 9 divide h?
False
Let o(g) = 5*g**2 - g + 1. Let y = 2 - 0. Let h be y*3/(2 - 5). Is o(h) a multiple of 12?
False
Suppose -o = o - 4. Let s be 1 - -7 - (2 - -1). Suppose k + 22 = o*j - j, 106 = s*j - 3*k. Does 10 divide j?
True
Suppose d - 4*d = 0. Let r(v) = -v**2 + 87. Is 29 a factor of r(d)?
True
Let b = -10 - -12. Suppose g - 18 = -b*g. Does 3 divide g?
True
Let r = -226 + 645. Does 61 divide r?
False
Let t(b) = 0*b**2 - 1 + 3 - 4 + b**2. Does 26 divide t(-6)?
False
Let l = 8 - -7. Let q be 1*9 + l/(-5). Suppose -o + q*o = 65. Is o a multiple of 13?
True
Let m = 4 + -6. Let n(a) = -a**3 + 15*a**2 + 15*a + 20. Let y be n(16). Let w = y + m. Does 2 divide w?
True
Let r be (-8)/4 + 0 + 4. Suppose -i = -r*i + 36. Is 18 a factor of i?
True
Let g(s) = -8*s**3 + 2*s + 3. Let o be g(-2). Is (-2)/(-5) + o/5 a multiple of 13?
True
Let l be (-5)/(10/4) - -2. Is (-2 + l)/((-1)/7) a multiple of 7?
True
Let c(n) = 4*n - 2. Is 6 a factor of c(12)?
False
Suppose 3*t = 7*t. Suppose t = 5*u - 29 - 36. Is u a multiple of 7?
False
Suppose -3*a = -2*a + z - 21, -a + 21 = -4*z. Let r be ((-6)/7)/((-3)/a). Is ((-9)/2)/(r/(-16)) a multiple of 6?
True
Let x(w) = 24*w + 15. Let p(l) = -12*l - 8. Let t(h) = -11*p(h) - 6*x(h). Does 23 divide t(-4)?
True
Is (-2)/3*63/(-2) a multiple of 5?
False
Let o(y) = -11*y - 3. Is 10 a factor of o(-2)?
False
Let a be ((-10)/(-25))/((-2)/(-40)). Is a/(-28) + (-634)/(-14) a multiple of 18?
False
Suppose 102 = 5*z - 243. Suppose z = 5*j - 111. Let u = -6 + j. Does 15 divide u?
True
Suppose 11 + 1 = 4*j. Suppose 59 = j*s + 14. Is 15 a factor of s?
True
Let h be -1 + (-2)/(-6)*3. Suppose j = 5*j - 2*y + 38, 5*j + y + 51 = h. Is (-2)/10 + (-472)/j a multiple of 24?
False
Suppose -4*a + 224 = 5*x, -3*a + x + 52 = -97. Is 10 a factor of a?
False
Does 3 divide 78/8 - (-8)/32?
False
Let j(r) = 3*r**2 - 14*r + 10. Let t(c) = -13*c**2 + 57*c - 39. Let z(a) = 9*j(a) + 2*t(a). Does 12 divide z(12)?
True
Let o = -52 + 85. Is 14 a factor of o?
False
Let p(u) = -u - 5. Does 7 divide p(-12)?
True
Let d(g) = 6*g**2 + g - 1. Does 7 divide d(2)?
False
Let w(g) = 42*g - 22. Does 8 divide w(4)?
False
Suppose 3*k = -5*l + 23, 0*k + 4 = 2*l - 4*k. Is 2 a factor of l?
True
Let s(c) = c**3 - 8*c**2 + 6*c - 6. Let a be s(6). Let r = -82 + 154. Let h = a + r. Is 15 a factor of h?
True
Let l be (3 - (-17)/(-2))*-2. Suppose 0*m - m = 0. Let v = l + m. Does 8 divide v?
False
Let x = -46 + 118. Is 18 a factor of x?
True
Let p = -2 + 3. Let z = p - -2. Does 7 divide (z/(-4))/(3/(-60))?
False
Let t be 23/2 + (-1)/2. Is 15 a factor of 442/11 + (-2)/t?
False
Suppose m = v + 42, -6 = 2*v - 0*v. Is 13 a factor of m?
True
Suppose 5*t = -31 + 496. Does 25 divide t?
False
Suppose -4*i + 258 = -54. Is 13 a factor of i?
True
Is 22 - (-9)/(-5 + 2) a multiple of 11?
False
Let h(l) = -9*l + 9. Let a be h(-5). Suppose 5*z = 0, 0 = 2*d - 2*z - 0*z - a. Is d a multiple of 12?
False
Let r(h) = h**3 - h. Let q be r(-1). Suppose 3*c - 2*g = -g + 19, q = c - 2*g + 2. Does 3 divide c?
False
Suppose 30 = 4*v + 2. Let h(i) = i**3 - 6*i**2 - 6*i + 3. Is h(v) a multiple of 4?
False
Let j be 2 - -1 - (1 - 39). Let a = j - 15. Is a a multiple of 7?
False
Let v(j) be the first derivative of -j**4 - 4*j**3/3 - j**2/2 + 2*j - 3. Does 13 divide v(-2)?
False
Let n = -44 + 54. Does 2 divide n?
True
Let z(o) = o**3 - 5*o**2 + 5*o - 3. Let k be z(4). Let l = 0 - k. Is 6/(l + 4) + 2 a multiple of 4?
True
Let d(h) = 5*h**2 + 3*h - 1. Suppose -3 = 4*k - 15. Is d(k) a multiple of 15?
False
Is 41 a factor of (-1 - 3)*(-110 - -28)?
True
Let l(m) be the second derivative of -m**4/12 - 11*m**3/6 - 9*m**2/2 - 2*m. Is l(-7) a multiple of 6?
False
Suppose -3*k + 13 = -20. Is 8 a factor of k?
False
Let x(k) = -k**3 + 9*k**2 - 4*k - 2. Is x(8) a multiple of 30?
True
Suppose -z + 96 = 3*z. Let n = 60 - z. Is 12 a factor of n?
True
Suppose 3*j + 71 = 2*v, -v = -4*v - 2*j + 87. Is 17 a factor of v?
False
Let f(h) = h**3 + 7*h**2 - 3*h - 2. Let o be f(-7). Suppose -o = -2*u + 29. Is 14 a factor of u?
False
Let g be ((-12)/10)/(8/(-60)). Suppose 3*f - 210 = -5*r, -3*r + 141 + g = -3*f. Does 21 divide r?
False
Suppose -4*v = -118 - 170. Is 36 a factor of v?
True
Suppose -3*t = 4*k - 744, -3*t = -0*t - k - 759. Does 14 divide t?
True
Let s = 21 + -6. Suppose -s = g + 5*d, 2 = -5*d - 13. Suppose -4*o + j + 35 = -g*j, 0 = 2*o + 4*j - 4. Is 4 a factor of o?
True
Let z = -103 + 174. Suppose 5*g - 3*v + 228 = -2*v, 5*g + 2*v = -219. Let j = z + g. Is j a multiple of 13?
True
Let b be 3 + -1 + 0 + -1. Let k be -1 + 0 - -50*b. Let p = -21 + k. Is 14 a factor of p?
True
Suppose -132 = -0*t - 6*t. Is t a multiple of 9?
False
Let x be 0 + 1 - (-108 - -1). Suppose -x = -2*c - c. Is c a multiple of 12?
True
Let b(l) = l**2 - 6*l + 3. Let o be b(6). Let i be o - 3 - 5*-1. Suppose 5*f + 4*m - 110 - 46 = 0, 3*m + 163 = i*f. Is 11 a factor of f?
False
Let n be ((-9)/(-2))/((-9)/(-24)). Is 8 a factor of (14/(-3))/((-4)/n)?
False
Let z(d) = -3*d**3 - 2*d**2 + 7*d + 6. Let r be z(-4). Suppose -5*u + 5*l = -0*u - 235, -r = -3*u + 2*l. Does 13 divide u?
False
Let c(w) be the first derivative of w**5/20 - w**4/2 + 5*w**3/6 + w**2 + 3*w - 1. Let j(t) be the first derivative of c(t). Does 2 divide j(5)?
True
Suppose -x + 7 = 2. Suppose 0 = 3*n - l - 53, -x*l - 49 = 2*n - 5*n. Does 9 divide n?
True
Let d(p) = -p**3 + 9*p**2 + 48*p - 7. Is d(11) a multiple of 9?
True
Suppose 3*y + 39 + 0 = o, 3*o - 4*y = 102. Suppose 3 + o = 3*r. Does 4 divide r?
False
Suppose 0 = 5*r - 4*c + 3*c - 1660, -4*r - 5*c + 1299 = 0. Does 14 divide r?
False
Let p = 8 + 2. Is 10 a factor of p?
True
Suppose -94 = -3*f - 2*s, f = 3*f - s - 72. Does 5 divide f?
False
Suppose 5*l - 234 - 486 = 0. Does 12 divide l?
True
Let c be (3 - 2/(-2))*2. Suppose 4*w = 7*n - 2*n - 29, 2*w = c. Is n a multiple of 7?
False
Suppose n = 3*x - 224, -50 - 27 = -x - 2*n. Doe