tor of p?
False
Suppose 14*o - 12*o = 4. Suppose 7 = f - 2*f + 4*n, -2*n = o*f - 26. Is f a multiple of 4?
False
Suppose j - 5 = 4. Is j a multiple of 3?
True
Is 8 a factor of (-14 + 6)/(3/(-12))?
True
Suppose -1 = -5*j + 359. Does 24 divide j?
True
Let g(n) = -2*n + 3. Let x be g(3). Let v = 2 + x. Does 14 divide (((-58)/(-1))/v)/(-2)?
False
Let n be 2/(2 + 4/(-3)). Let r be 1/(n/(4 - 1)). Is 5 a factor of (3 - 1) + r*7?
False
Let p be (-6)/(-21) + (-1732)/(-14). Does 10 divide 3*(-1)/((-6)/p)?
False
Suppose -3*o - o + 8 = 0. Let u = 44 - o. Is 14 a factor of u?
True
Let b(n) = -20*n**2 - 6*n + 17. Let a(l) = 7*l**2 + 2*l - 6. Let k(c) = -17*a(c) - 6*b(c). Is 8 a factor of k(-4)?
True
Let b be (-29)/3 - 6/(-9). Let j(n) = -4*n**2 - 2*n + 11. Let t(z) = z**2 - z - 1. Let d(g) = -j(g) - 3*t(g). Does 14 divide d(b)?
True
Is 3 a factor of 18 + (3 - (1 - 2))?
False
Let s(h) = -h + 4. Let d be s(15). Let q = d - -19. Is q a multiple of 3?
False
Suppose -2*a - 26 = 4*l, l - 3*a - 2 = 9. Let f(h) = -h**3 - 5*h**2 - 4*h + 2. Let s be f(l). Suppose 1 - 17 = -s*p. Is p a multiple of 4?
True
Let b be (-2)/(-2) - (-2 - -1). Suppose -f - b*f = 3*v - 102, 0 = 4*f + 2*v - 140. Suppose -r + 5*w = -3*r + 75, -2*w = r - f. Is r a multiple of 15?
True
Does 5 divide 2/(-2 + 21/10)?
True
Suppose -2*r + 10 = f + 2*r, 4*f + 2*r - 82 = 0. Suppose -k + 0*k = -f. Is k a multiple of 13?
False
Is (-4)/(-18) + (-232)/(-9) a multiple of 17?
False
Let l = 2 - -1. Suppose l*z = 2*j + 1 + 3, 3*z - j - 8 = 0. Is 4 a factor of z?
True
Let x = -311 - -551. Suppose 0 = 2*z + 3*z - x. Is 24 a factor of z?
True
Is 2 a factor of (126/(-28))/(1/(-2))?
False
Suppose 4*p - 4*x = 284, 3*x + 2 = 2*p - 142. Is p a multiple of 15?
False
Does 4 divide -1 + 10 + (-3)/(-3)?
False
Is 7 a factor of ((1 + 1)/(-6))/((-27)/15633)?
False
Let d be ((-72)/10)/(5/(-25)). Suppose -32 = -4*j + d. Is 15 a factor of j?
False
Suppose 4 = -3*s + 4*s. Let a = s + 2. Is 3 a factor of a?
True
Suppose 0*m - 60 = -2*m. Does 7 divide m?
False
Suppose z = -0*z + 3*x + 22, 4*x = -4*z + 56. Let j = z + 11. Suppose v = -3*i + j, 4*i + 3*v = -i + 41. Is i a multiple of 5?
True
Let m(o) = -o**3 - 5*o**2 + 2*o + 3. Let x be m(-5). Let l be 2/7 + (-54)/x. Suppose -4*q = -l, 4*k = -q + 5*q + 104. Does 14 divide k?
True
Let p(r) = 5 + 0*r**3 - 4 + r**2 + 5*r**2 + 6*r - 35*r**3. Let y(t) = -t**3 + t**2 + t. Let c(z) = -p(z) + 6*y(z). Is 14 a factor of c(1)?
True
Suppose 2*p - 52 = 52. Is 13 a factor of p?
True
Let y(u) = -1 - 6*u + 2 - 6. Let t = -11 + 6. Is y(t) a multiple of 11?
False
Does 11 divide ((-51)/(-34))/(0 + 6/176)?
True
Let t(k) = -k - 2. Let l be t(-4). Suppose l*c - 102 - 18 = 0. Does 20 divide 1210/c + (-2)/12?
True
Let c(u) = -100*u**3 - u**2 - 2*u - 1. Let d be c(-1). Suppose -d = o - 6*o. Is 10 a factor of o?
True
Let x = 9 - 6. Suppose 0 = f - x. Suppose 18 = -0*p + f*p. Is p a multiple of 3?
True
Let i be 10/5 + 0 + 1. Suppose 3*o + i*m = -2*o + 263, -3*m = -o + 49. Suppose -5*q - o = -3*g, -2*g + g + 20 = q. Is g a multiple of 19?
True
Suppose 0 = 4*b + 4*h - 332, 3*b - 84 - 149 = h. Does 14 divide b?
False
Let t = -113 + 173. Is 10 a factor of t?
True
Suppose 0*v + v - 5 = 0, 2*h - 831 = -3*v. Does 51 divide h?
True
Suppose 0 = -5*x + 173 + 2. Does 5 divide x?
True
Suppose 0*h = -h. Let r = h - -2. Suppose 3*w - 60 = -2*k - r*k, 5*k = -15. Is 12 a factor of w?
True
Suppose 0 = -3*z + 2 + 4. Let g be z/1*(-1)/2. Let p(y) = -11*y. Does 4 divide p(g)?
False
Let k(d) be the third derivative of d**5/60 - d**4/24 - 5*d**3/6 - 2*d**2. Let j be k(5). Suppose -r + j = -s, 3*s - 45 = -r - r. Does 16 divide r?
False
Let y = 5 - -11. Suppose 0 = 3*o - o - 2*l + y, 4 = 2*o + 3*l. Is 10 a factor of -1*((-2 - o) + -30)?
False
Suppose 0 = -2*z - 0*v - 3*v + 116, 3*z + 5*v = 175. Is z a multiple of 11?
True
Suppose 2*j + 2*m + 93 = 5*j, -4*j = 5*m - 147. Does 18 divide j?
False
Let k(r) = -43*r. Does 8 divide k(-1)?
False
Let b be 30/5*(-2)/(-4). Suppose 3*a + b*h - 21 = 2*h, -5*a + 35 = -5*h. Does 7 divide a?
True
Suppose 0 = 4*u - u + 99. Let x be ((-10)/(-6) - 3)*-36. Let d = u + x. Is d a multiple of 15?
True
Let c = -189 + 490. Is c a multiple of 35?
False
Let j(f) = 0*f**2 - 3*f - 5 + f**2 + f. Is 4 a factor of j(-4)?
False
Let f be 2/((12/9)/2). Suppose -2*v = 4*t - 116, 77 = -0*t + f*t - v. Is t a multiple of 21?
False
Is 11 a factor of (44/(-6))/(4/(-36))?
True
Let p(z) = z**2 + 2*z - 4. Let y be (-1)/4 - 15/4. Let m = y - -7. Is p(m) a multiple of 11?
True
Let h(x) = -2*x**3 + 4*x**2 - 4*x + 3. Let b be h(2). Let q(t) = 5*t + 7. Let a be q(b). Let u = a + 32. Is 14 a factor of u?
True
Is 16 a factor of -4 - 1/((-4)/464)?
True
Suppose 3*v - 6 = 5*u + 3, 3*v - 2*u = 0. Let r be -2 + -1 + (-4)/v. Does 14 divide 25 + (r - 0)*2?
False
Let s = 31 + 7. Is s a multiple of 10?
False
Suppose 3 = -4*s + 5*u - 7, 0 = 3*u - 6. Suppose q - 8 - 12 = s. Does 10 divide q?
True
Let p(a) = -a**3 + 11*a**2 + 7*a + 10. Let t be p(10). Let b = t + -123. Does 19 divide b?
True
Let k(r) = -r**3 - r**2 + 5*r + 1. Let l be k(-4). Suppose 7 = -u + l. Does 22 divide u?
True
Let h be (-2)/(-8) + 14/8. Let w(y) = -6 + 1 + 1 + 2*y**h - 3*y**2 + 11*y. Does 10 divide w(5)?
False
Suppose 4*h - 27 = -k, -2*k - 4*h + 2*h + 42 = 0. Does 4 divide k?
False
Suppose 3*u - 302 = -4*g + 52, 2*u = 4*g + 256. Is u a multiple of 27?
False
Let r(u) = 5*u. Let d be r(1). Let a(o) = o**2 + o + 2. Let s be a(d). Let j = s - -2. Does 17 divide j?
True
Let i(q) = q**2 + 3*q + 4. Let s(r) = 4*r. Let j be s(1). Is i(j) a multiple of 16?
True
Let o = 8 - -22. Let j = -17 + o. Is 13 a factor of j?
True
Let i = -250 - -106. Let j = i + 97. Let s = j + 74. Is 14 a factor of s?
False
Let o(t) = -5*t - 2. Let n = -6 - -3. Let l be -1 + 1*(1 + n). Is 13 a factor of o(l)?
True
Let w be -2*1/2 + -1. Is w + 12 + 3 + 0 a multiple of 6?
False
Let i = -20 - -22. Suppose -2*z + 158 = i*n, 2*n + 60 = -4*z + 214. Is n a multiple of 12?
False
Suppose -6*b + 464 - 86 = 0. Does 12 divide b?
False
Let y = 14 + -4. Suppose -2*g + 0*g = -y. Suppose -g*j + j = -80. Is j a multiple of 6?
False
Let x be ((0 + -1)*1)/((-1)/3). Let j be 106/8 + (-2)/8. Suppose -g + j = 2*a, -g + 0*g - 7 = -x*a. Does 4 divide a?
True
Let p(h) = -h**3 + 5*h**2 - 5*h + 6. Let g be p(5). Let x = 31 + g. Does 4 divide x?
True
Suppose -p - 3*l = -4 - 4, 10 = 5*l. Suppose 320 = p*d + 58. Suppose 2*z + 14 = i, -5*i - 1 + d = 5*z. Is i a multiple of 13?
False
Let f be 2/7 + (-4)/14. Suppose -w - 2*w + 51 = f. Does 6 divide w?
False
Suppose -8*v - 289 = -1585. Is v a multiple of 27?
True
Let d = -191 - -464. Is d a multiple of 46?
False
Let k = -12 + 23. Let p = 34 - k. Is 18 a factor of p?
False
Let p(c) = -c**2 - 11*c + 3. Let m be p(-11). Let b(z) = 2*z**3 - 10*z**2 + 2*z - 2. Let n(l) = -l**2 - 1. Let q(o) = b(o) - 5*n(o). Is q(m) a multiple of 13?
False
Suppose 5*h - 6 = 314. Is h a multiple of 12?
False
Let d = -14 + 26. Does 3 divide d?
True
Let q = -50 + 98. Is 12 a factor of q?
True
Is 0/(-2)*1 - -76 a multiple of 38?
True
Suppose -2*n + 48 = -8. Suppose -4*a + 4 = 2*g, 0 = 3*g - 4*a - 41 + 15. Let x = g + n. Is x a multiple of 17?
True
Suppose -5*r - 52 = -2*p, 6*r + 104 = 4*p + 3*r. Suppose n - 195 = -5*s, 4*s - 130 = -5*n + p. Is 15 a factor of s?
False
Let c(s) = -s**3 - 11*s**2 - 9*s + 7. Let p be c(-10). Does 13 divide (-3)/p*13/1?
True
Let u = 368 + -63. Suppose h = 0, 5*f + h + 4*h - u = 0. Is f a multiple of 23?
False
Let a be ((-6)/(-5))/(2/5). Suppose -2*t + 170 = a*t. Is 12 a factor of t?
False
Is 6656/48 - (-4)/3 a multiple of 29?
False
Let g(m) be the second derivative of -11*m**3/6 - m**2 - m. Is g(-4) a multiple of 21?
True
Suppose -6 = z - 3*z. Suppose 3*y + 24 = 5*s, y + z = 5*y + 5*s. Does 9 divide 27*(1/y - -1)?
True
Suppose 0 = -5*b - 0*b + h + 35, -4*h = 3*b - 44. Is b a multiple of 4?
True
Does 11 divide (22/8)/(2/8)?
True
Let n = 18 - -30. Is 16 a factor of n?
True
Let i(p) = -3*p**2 + 3*p + 7. Let h(n) = n - 1 - n**2 - 1 + 4. Let z(y) = -11*h(y) + 4*i(y). Is 3 a factor of z(0)?
True
Let v = -5 - -3. Let r be (12/(-30))/(v/20). Suppose 0*c = -r*c + 52. Is c a multiple of 13?
True
Let z(m) = m**2 + 4*m + 2. Let r be z(-4). Suppose 0 = -5*w, 149 = 5*h - 5*w - 191. Suppose 0 = -5