factor of a?
True
Let w(m) be the first derivative of m**3/3 + 2*m**2 + 3*m + 14. Let d be w(-4). Is 8 a factor of (-13 + 10)*(-62)/d?
False
Let w be (4/6)/((-24)/(-1188)). Suppose -4*l + w + 39 = 0. Is 12 a factor of l?
False
Suppose 1655 + 301 = -3*k. Does 39 divide (k/(-8))/(-2 + 15/6)?
False
Let u = 5 + -5. Suppose 2*n - 28 = -4*s, u*n - 4*s = n - 12. Does 2 divide n?
True
Suppose -a = 16*a + 408. Let m(h) = -2*h**2 - 49*h + 22. Does 16 divide m(a)?
False
Does 4 divide 2080/(-60)*(-30)/4?
True
Let j(q) = -3*q - 19. Let r = 22 - 30. Let x be j(r). Does 12 divide (-3 - x)*6/(-4)?
True
Let v be ((1 - 0)*(-1 - 0))/(-1). Let o = 87 + v. Is o a multiple of 11?
True
Let y(t) = -1015*t - 97. Does 12 divide y(-2)?
False
Is 64 + -4 + (-6)/(-2) a multiple of 4?
False
Suppose -14*l - 8*l + 15972 = 0. Is l a multiple of 33?
True
Suppose 9*u = 3*u + 78. Suppose u*b = 14*b - 3. Suppose -3*g = -5*n - 436 + 76, b*n = 0. Is g a multiple of 28?
False
Let r(s) = -61*s**3 - 4*s**2 + 2*s - 6. Let d be r(4). Does 17 divide d/(-78) + 2/13?
True
Let h be (48/(-20))/(2/10). Let g = -11 - h. Does 5 divide g/2*15*2?
True
Suppose 3*d + 2*a = 1177, 0 = 5*d + 57*a - 53*a - 1963. Is 23 a factor of d?
True
Is (388/679)/(0 + 2/1267) a multiple of 58?
False
Suppose -136 = -3*o + 4*z, o + 4*z - 104 = -o. Is o a multiple of 12?
True
Let u be 8493/12 - 3/(-12). Suppose 5*c + u = 4*v, 247 = 5*v + 3*c - 675. Suppose 3*p - t - 193 = 0, 4*p - v - 69 = -5*t. Is 14 a factor of p?
False
Suppose 4*p - 2*l = 4426, -5*p - 5*l + 7*l + 5530 = 0. Does 16 divide p?
True
Let i be (2/(-6))/(3*(-3)/135). Suppose -5*h - 3*j + 4*j = -899, i*j = 5. Is 30 a factor of h?
True
Let a(n) = 77*n - 35. Is a(2) a multiple of 2?
False
Let r(l) = 7*l + 5. Let y be r(8). Suppose -5*w = -y + 21. Suppose -2*k + w = 4*o, k - 3*k - 6 = -3*o. Is o a multiple of 2?
True
Suppose -5*w = -15, 3*m - 2*m - 14 = -5*w. Let x = 76 + -50. Let i = x + m. Is i a multiple of 13?
False
Let j(k) = 18*k**2 + 10*k - 80. Is 42 a factor of j(5)?
True
Let r(l) = 86*l - 1. Let o be r(4). Suppose 4*a + 3*s - 409 = 0, -3*a + s + 4*s = -o. Suppose a - 31 = 5*f. Is 14 a factor of f?
False
Suppose -3*o + 195 = -3*u - 21, -2*u + 72 = o. Does 8 divide (o/15)/((-6)/(-20))?
True
Suppose -3*d - 28 = a, -3*a = -7*a - 3*d - 76. Suppose 2*c - 3*s + 391 = -3*c, -314 = 4*c - 2*s. Let p = a - c. Does 16 divide p?
True
Suppose -141 = 114*a - 118*a + r, -150 = -4*a - 2*r. Is 12 a factor of a?
True
Let b = 74 + -63. Suppose -j = -25 - b. Is 6 a factor of j?
True
Let d = 574 - 304. Is 12 a factor of d?
False
Let h(t) = 17*t**2 + 3. Does 17 divide h(6)?
False
Suppose 3*i = -f + i + 31, -4*f = -3*i - 135. Let c = f - 29. Is 5 a factor of 3/(-6)*(-120)/c?
True
Let u be (273/2)/((-19)/38). Is (-1)/(-2) - u/6 a multiple of 7?
False
Let m(y) = -y**3 + 18*y**2 - y + 23. Let z(t) = t + 31. Let l be z(-13). Let q be m(l). Suppose -3*w = -q*f - 199, -5*w + 345 = 5*f - 0*f. Is 9 a factor of w?
False
Let l(o) be the first derivative of o**3 - 15*o**2/2 - 7*o - 30. Does 3 divide l(7)?
False
Let k be (-9)/6*-2*6. Suppose -4*c - 13 = 5*h + 23, -3*h = 2*c + k. Let m = c + 18. Is m a multiple of 9?
True
Suppose -2*r = -11 - 5. Suppose -11*q + r = -7*q. Suppose 5*d + 5*v - 80 = 0, -d - 4 + 21 = q*v. Does 5 divide d?
True
Let h = -1060 - -1551. Does 68 divide h?
False
Let x = -310 - -643. Is 6 a factor of x?
False
Let c be 1 + -98 + -1 + -1. Let z(q) = q**3 - 15*q**2 - 5*q + 11. Let j be z(16). Let h = j + c. Does 22 divide h?
True
Suppose -3*a - 4930 = -20*a. Is 5 a factor of a?
True
Let d(n) = 3*n**2 - 2*n - 3. Let a = 1 - -3. Let i be 1/(-2)*(-10 + a). Is 6 a factor of d(i)?
True
Is (-28)/(-168) - (-104973)/18 a multiple of 23?
False
Let a = -718 - -1771. Is 27 a factor of a?
True
Let z be (4/(-2))/(-2) + -7. Let t(q) = 6*q**2 - 46*q - 29. Let w(k) = k**2 - 9*k - 6. Let i(c) = 2*t(c) - 11*w(c). Is 2 a factor of i(z)?
True
Suppose -4 = -4*w + 4*u, 5*w - 3 + 6 = u. Is -4 + w + 2 - (4 - 122) a multiple of 12?
False
Let c be 0 + 1/(3/(-3)). Let l be 1 + (4 + c - 1). Suppose -l*s = 3*y - 225, -s + 170 = s - 2*y. Is 24 a factor of s?
False
Let z = 1614 + -1026. Suppose -4*y = -4*h - z, 0 = y + 7*h - 4*h - 151. Is 38 a factor of y?
False
Suppose 216 = -187*r + 196*r. Is r a multiple of 8?
True
Let c be -6 + 1 + (-3 - -4). Let a(l) = 2*l**2 - 7*l - 10. Is 25 a factor of a(c)?
True
Suppose 27 = 3*s + 3*m, s = 3*m + 6 + 3. Is 6 a factor of 36 + (3/s - (-4)/(-12))?
True
Let b be ((-72)/20)/(-6)*10. Is 6 a factor of ((76/(-6))/(-2))/(2/b)?
False
Suppose 171 + 29 = 5*s. Let p = 15 - 9. Suppose -p*j = -7*j + s. Is j a multiple of 20?
True
Let b(r) = 22 - 8*r + 3*r - 9*r + 0*r. Is b(-3) a multiple of 12?
False
Suppose -3*x + 1275 = 3*c + 2*x, 4*x = c - 408. Is 6 a factor of c?
True
Let d = 5233 + -3000. Does 14 divide d?
False
Suppose 8*i - 19 = 13. Suppose 3*u - i*u = -54. Does 9 divide u?
True
Let c(s) = -1048*s - 86. Is c(-1) a multiple of 74?
True
Let u = -13 + 137. Suppose n - u = -i - i, 264 = 4*i - 2*n. Let b = -18 + i. Is 23 a factor of b?
True
Let n(h) = -h**2 + 23*h + 8. Is n(14) a multiple of 67?
True
Let b(w) = -w - 3. Let u be b(-9). Let g be u/(-9) - 46/(-6). Does 16 divide g + -5 + 13*2?
False
Let x(r) = 4*r**2 + 6*r - 2. Let z(v) = -3*v**2 - 6*v + 2. Let w(c) = -2*x(c) - 3*z(c). Does 9 divide w(6)?
False
Let j = 5 - -3. Suppose 4*a - 24 = j*a. Is 3 a factor of ((-4)/a)/((-18)/(-81))?
True
Suppose -4*y - 3*c = -12, 5*y - 4*c - 40 - 6 = 0. Let u(s) = 19*s**3 - 18*s**3 - 6 + y*s - 5*s - 4 + 7*s**2. Does 33 divide u(-5)?
False
Is (333/4)/(219/292) a multiple of 5?
False
Suppose -3*g + 2*r + 447 = r, -606 = -4*g - 2*r. Is 3 a factor of g?
True
Suppose -4*b + 7*b - 6 = 0. Suppose -90 = -3*g + 5*j, b*j + 69 = 3*g - 21. Does 18 divide g?
False
Suppose 13 = l - 12. Let h be (-13)/7 - (-3)/(-21). Let d = h + l. Is 23 a factor of d?
True
Is -2*(-1)/(-7) + (-397518)/(-399) a multiple of 12?
True
Let c(i) = -i**2 - 7*i - 7. Let l be c(-5). Suppose -5*m + l*u = -66, -2*u + 42 = 2*m + 2*u. Let f = m + -9. Is 2 a factor of f?
True
Let u = -10 - -10. Let i be u - -1 - 0/(-3). Let j(z) = 8*z + 1. Is 4 a factor of j(i)?
False
Let k(f) = 3*f**2 - 37*f + 11. Let l be k(14). Does 5 divide (-626)/(-18) + 18/l?
True
Let l = 409 + -234. Does 23 divide l?
False
Let x(k) = k**3 + 8*k**2 - k - 6. Let u be x(-8). Suppose -5*w + 615 = -2*f, 0 = w + 3*f + 2*f - 96. Suppose 0 = u*z - 47 - w. Is z a multiple of 21?
True
Let d = 458 + -192. Is 38 a factor of d?
True
Let r = 110 - -71. Is 5 a factor of r?
False
Suppose i = 5*p - 8, -4*p + 8 = -3*i + 6. Suppose 2*g = p*l + 3*g - 132, 0 = 4*l + 3*g - 266. Does 14 divide l?
False
Let g = -5 + -7. Is 8 a factor of g/(4 - 75/18)?
True
Suppose 9 = -3*c - u - 2, 0 = -4*c + u - 10. Let r be 246*(-4)/(-6) + c. Suppose r = 3*s - 5*a, -s - a + 63 = 2*a. Is s a multiple of 19?
True
Let d(m) = m**3 + 8*m**2 + 6*m - 9. Let u be d(-7). Is 12 a factor of ((-4)/6)/(u/72)?
True
Let q(i) = 26*i + 51. Is 35 a factor of q(29)?
True
Suppose -444*c - 1104 = -436*c. Let x = -31 - 15. Let q = x - c. Does 23 divide q?
True
Let o = 21 - 16. Suppose -4 = -w + 1. Suppose -5 = w*t, 3*a + 4*t - 37 = o*t. Does 4 divide a?
True
Suppose -3*i + 215 = 107. Is 4 a factor of i - -4 - (-1 + 5)?
True
Let a be (-3)/((-3)/(-7 + 4)). Let t be (72/4)/a + 3. Is 15 a factor of 3 - (t + -12 + 0)?
False
Let d = 1521 - 927. Is 22 a factor of d?
True
Let i = 135 - 123. Is 5 a factor of i?
False
Let f = -888 + 1004. Let n be (-315)/(-4) + (-1)/(-4). Let k = f - n. Is k a multiple of 10?
False
Let j = -19 + 59. Let u = j + -13. Is 9 a factor of u?
True
Let d = -54 - -63. Let z(k) = 3*k - 1. Is z(d) a multiple of 19?
False
Let q be (-15)/(-9)*-3*-1. Let m be 6/15 - 162/q. Let t = m + 60. Is 28 a factor of t?
True
Let m(r) = -16*r - 29. Suppose -q + 9*q + 48 = 0. Is 19 a factor of m(q)?
False
Suppose 5*j - 4*j + m = 2945, 2*m = 0. Is j a multiple of 14?
False
Suppose 3*o + 5*m = 220, -5*m + 320 - 20 = 4*o. Does 4 divide o?
True
Does 8 divide 3/((-36)/(-112))*315/14?
False
Suppose r = 4*r + 3*j - 105, 3*j = 2*r - 55. Is (-135)/(-4) - 24/r a multiple of 13?
False
Suppose -5*h + 8*h - 96 = 0. Is h a multiple of 2?
True
Suppose -359 = -5*a + w, -4*a = -5*a + 2*w + 70. Is 9 a factor of a?
True
Suppose 2*