k?
True
Let n(p) = p**2 - 6*p - 14. Let w(c) = c**2 - 7*c - 15. Let d(g) = 5*n(g) - 4*w(g). Is 7 a factor of d(-4)?
True
Suppose -20*a + 2504 + 856 = 0. Does 14 divide a?
True
Let k(v) be the third derivative of v**6/120 - v**5/60 - 7*v**4/24 + v**3/6 - 16*v**2. Is 2 a factor of k(4)?
False
Let p(u) = -65*u - 146. Is 17 a factor of p(-7)?
False
Let a = 214 - 78. Let r = 215 - a. Suppose 5*t = -3*n + r, 84 = 3*n + 4*t + 7. Is n a multiple of 9?
False
Let t be (-33)/(-18) + (-2)/(-12). Let g be 33 - (-2 - -1)*0. Suppose -2*k - k + 97 = -4*s, k = t*s + g. Is k a multiple of 8?
False
Let q = 300 - -165. Does 20 divide q?
False
Let t(i) = i**3 + 9*i**2 + i + 11. Let v be ((-14)/28)/(1/18). Let b be t(v). Suppose 0*g - 3*g + 6 = 3*l, b*g = l + 7. Is 2 a factor of g?
False
Let s(i) = -153*i + 23. Is s(-1) a multiple of 16?
True
Let n = 1 - 3. Let m = -559 + -637. Does 13 divide (-3)/n*m/(-39)?
False
Let a = 43 - -126. Is a a multiple of 9?
False
Let z be (-2)/6 + (-110)/(-15). Let h = 8 - z. Suppose -n = -11 - h. Is 4 a factor of n?
True
Suppose 0 = -6*v - 6*v + 60. Does 11 divide (v + 0 - 1) + 271?
True
Let i be (-7)/((-28)/8) + -24. Suppose -5*m - 274 = 3*p, 0*m - 4*p - 118 = 2*m. Let g = i - m. Is g a multiple of 10?
False
Does 34 divide 6/27 - (-11008)/36?
True
Suppose 69*m + 3*m - 38448 = 0. Does 6 divide m?
True
Let h = 2111 + -1614. Does 3 divide h?
False
Let q = 16 - 16. Suppose q = -4*o + 2*y - 6, 2*y - 5*y - 5 = o. Does 12 divide 2 - (44/(-2) - o)?
False
Suppose 5*f - 6 = 9. Suppose i + 5 = 4, -f*h - 644 = -4*i. Is h/(-6)*14/8 a multiple of 21?
True
Suppose 2*w - 7*w + 395 = 0. Let d = 170 - w. Suppose -4*t - 23 + d = 0. Is 7 a factor of t?
False
Is 4 a factor of 338/65*(0 - (-15)/1)?
False
Let k be ((-5)/8)/((-3)/(-12))*-2. Suppose -o = o + 2, k*v = 5*o + 250. Is v a multiple of 6?
False
Suppose -2*i - 15 = -47. Suppose -3*m = x + 7, 0 = 4*x + 4*m + i + 20. Is (-524)/x - (-6)/(-15) a multiple of 13?
True
Suppose -2*g - 17 = -5*z, 0*z - 12 = -5*z - 3*g. Suppose -2*b = 5*f - 2*f - 3, 0 = -z*b - 5*f + 5. Suppose 10*m - 14*m + 112 = b. Does 17 divide m?
False
Let t(k) = 6*k**3 + 9*k**2 - 32*k + 1. Does 5 divide t(4)?
False
Let q = 7 + -2. Let c(m) = m**3 - 3*m**2 - 2*m + 2. Let p(h) = -h + 1. Let u(j) = c(j) - 3*p(j). Is 9 a factor of u(q)?
True
Suppose 5*c - 9 = -h, -2*h - 3*c + 0*c = -4. Let o be 1 + h - -2 - 20. Let t = -13 - o. Does 3 divide t?
False
Let d be (-8)/(-3 + 1) - 2. Is ((-41)/d)/(2/4*-1) even?
False
Suppose -766 - 854 = -5*c. Is 41 a factor of c?
False
Suppose 0 = -4*z + 6*z. Suppose -12 = -4*c, -2*m + 2*c + 201 = -3*c. Suppose -44 = -n + 5*y - 8, 3*n + 4*y - m = z. Is 12 a factor of n?
True
Let h(q) = -2*q**2 - 4*q. Let j be h(-7). Let b = -50 - j. Does 3 divide b?
False
Let x(d) = d**2 - d + 11. Is 19 a factor of x(4)?
False
Let q = -23 + 23. Suppose q = s - 4, 4*w - s + 0 = 140. Is w a multiple of 18?
True
Let k = -264 + 368. Is 8 a factor of k?
True
Suppose -2*s + 2 = 3*j, 2*j + 3 = 5*s - 21. Suppose s*c = 3*z - 144, z + 3*c = -0*c + 48. Does 8 divide z?
True
Suppose 0 = -5*j + 3*j + 60. Let f(s) = s + j + 36 - s**2 - 13 - 2. Is f(0) a multiple of 17?
True
Let z(g) = g + 3. Let o be z(3). Suppose -4*b = o*b - 2730. Is b a multiple of 39?
True
Suppose 0 = -7*l + 12*l - 2360. Suppose 0 = 4*z - 16, 0*g + 3*g + z = l. Is 13 a factor of g?
True
Let d(g) = g**2 + 25*g - 11. Let z(f) = -2*f**2 - 51*f + 23. Let k(j) = -7*d(j) - 3*z(j). Is k(-14) a multiple of 24?
True
Suppose 24*r = 25*r - 342. Is 38 a factor of r?
True
Suppose 2*w + 9*v = 4*v + 16, 2*v - 1 = w. Let r(o) = -o**3 + 7*o**2 - 4*o - 4. Does 4 divide r(w)?
True
Suppose -65*k + 12*k + 75790 = 0. Is 6 a factor of k?
False
Suppose a = 8 - 2. Suppose -4*z = -a - 6. Is 13 a factor of ((-8)/z)/((-3)/18)?
False
Let u = 19 + 221. Is u a multiple of 25?
False
Let f be (5712/63)/(2*2/12). Suppose -33*q + 31*q + f = 0. Is q a multiple of 34?
True
Let o(j) = -9*j - 20. Let h be o(-10). Suppose 0 = -2*a + h - 0. Does 16 divide a?
False
Suppose 16*s = 11*s + 160. Let w = s + -56. Is (-363)/(-18) + 4/w a multiple of 10?
True
Suppose -17*z + 5045 = -5597. Is 13 a factor of z?
False
Let h be 5*(2 + -1)*33. Let c = 233 - h. Is 25 a factor of c?
False
Let j = 35 - 27. Does 17 divide (j + -12)/(2/(-31))?
False
Let s = 1694 + -1293. Is 5 a factor of s?
False
Suppose 0 = -g - x + 631 + 146, 2*x + 792 = g. Is g a multiple of 46?
True
Let c(f) = 200*f**2 + 3*f - 2. Is 5 a factor of c(-1)?
True
Suppose 4*v = 5*d - 544, -5*d + d = 4*v - 464. Does 28 divide d?
True
Let n be (-1*(-1)/2)/(17/(-34)). Does 11 divide (7*n)/(20/(-220))?
True
Suppose 34*h - 14994 = 3876. Does 9 divide h?
False
Let q(b) = 2*b**2 - b - 3. Does 57 divide q(18)?
True
Suppose -3*o - 4 = -5*o. Suppose -l - 72 = -o*l. Is l a multiple of 18?
True
Suppose 0 = -5*u + 5*j + 45, 3*u + 3*j = 4*u - 17. Suppose -u*l - 23 = -3*t, 4*l - 2 = 6. Is 2 a factor of t?
False
Let r(m) = -3*m + 4*m - 25 + 2 + 9*m. Is 7 a factor of r(7)?
False
Suppose -q - 5*a = 791, -4*q - 3*a + a - 3200 = 0. Is 13 a factor of q*-1*5/15?
False
Suppose -2*j + 5*p = -5, 0 = 2*j + p + 3*p - 14. Suppose n = -j*w + 24, 4*w - 3*w = -5. Is n a multiple of 7?
True
Let y(h) = 69*h**2 + 43*h + 81. Is y(-2) even?
False
Let n be (-2)/14 + 22/7. Suppose 3*f + n = 0, -5*f - 20 + 70 = w. Let l = w + -15. Does 10 divide l?
True
Suppose -6*u = -9*u + 675. Does 25 divide u?
True
Suppose -4*p = 14 + 214. Let w be (-573)/15 + (-2)/(-10). Let b = w - p. Is b a multiple of 7?
False
Let m(t) be the first derivative of -t**3/3 + 16*t + 1. Suppose 0 = -2*n - 0*n. Is 8 a factor of m(n)?
True
Let i be (3/((-9)/(-67)))/((-9)/(-27)). Let u = 103 - i. Is 4 a factor of u?
True
Let x = -1282 + 1646. Is x a multiple of 5?
False
Suppose -3*o + 37 = -5*f, 3*o - 17 = 5*o + 5*f. Let q(c) = c + 11. Does 15 divide q(o)?
True
Let i = -23 + 13. Is 536/i*140/(-56) a multiple of 41?
False
Suppose 0*u = u - 7. Suppose -q = -u*q + 162. Does 9 divide q?
True
Suppose 18*t + 5*t - 69 = 0. Does 3 divide t?
True
Let z = 3750 - 1964. Is 47 a factor of z?
True
Suppose -4*a + 5 + 3 = 0. Suppose -4*z = a*z - 1326. Is 17 a factor of z?
True
Suppose 2*t - 12 = -2*t. Let z(r) = 3*r**3 - 2*r**2 + 4*r + 1. Let b be z(3). Suppose -3*c - a + b = 0, t*c = -c - 3*a + 98. Is c a multiple of 7?
False
Suppose 16 = u + 3*i + 4, -4*i - 40 = -u. Let o be u*(54/(-8))/(-3). Suppose 0 = -5*t + 8*t - o. Is t a multiple of 9?
True
Let q be 6/(-4) - (-63)/14. Suppose 2*f + 59 = q*f. Does 15 divide f?
False
Let c = -7 + 2. Let j = c + 9. Suppose 83 = j*t - 173. Is t a multiple of 16?
True
Let x be (-40)/(-6)*2/(10/9). Let m(a) = a + 1. Let q be m(4). Suppose x - 2 = q*h. Is h even?
True
Let f(o) = -o + 19. Let l(v) = 4. Let s(a) = -2*f(a) + 11*l(a). Does 4 divide s(3)?
True
Let b(a) be the first derivative of a**4/4 + 10*a**3/3 + 4*a**2 - 5*a + 15. Is 40 a factor of b(-8)?
False
Suppose 2*y - 7 = -3. Suppose -b = z, -5*b + y*b = 2*z - 3. Is 7 a factor of (21/(-2))/(b/(-4))?
True
Let j(i) = 74*i - 287. Is 95 a factor of j(18)?
True
Suppose 3*d = 5*s + 643, -2*d - 2*s - 56 = -490. Does 2 divide d?
True
Suppose -2*j = -3*y + 1838, -y + 1834 = -2*j + y. Let p = -581 - j. Is p a multiple of 12?
False
Let t be ((-42)/(-12) + -2)/((-6)/76). Let r be -1*1 + -31*1. Let v = t - r. Is 7 a factor of v?
False
Let u = 142 + 7. Let c = u + 55. Is 31 a factor of c?
False
Suppose n = 3*h - 8, 3*h - 2 = -2*n - 0. Suppose 4*z - 1464 + 376 = 2*c, 0 = -h*c. Is 67 a factor of z?
False
Suppose -5*q + 143 + 112 = 0. Suppose -2*d = b - q, d - 5*d - 45 = -b. Does 17 divide b?
False
Let i(b) = b**3 + 10*b**2 + 3*b + 3. Let a(t) = -t**2 + 6*t + 18. Let w be a(9). Is 41 a factor of i(w)?
False
Let s be (1/(-2))/(2/(-8)). Let b(d) = -5*d**2 + 0*d**s + 6*d - 4 + 9*d**2. Is b(-5) a multiple of 11?
True
Suppose 0 = 6*w - 2*w - 560. Suppose 452 = 4*b + w. Is b a multiple of 9?
False
Let j(d) = 13*d**2 - 13*d + 4. Let a = 8 - 5. Does 12 divide j(a)?
False
Let r = 13 + -13. Suppose -65 = 5*k - r*k. Let u = 22 - k. Is 26 a factor of u?
False
Let d(r) = -56*r + 96. Does 33 divide d(-13)?
False
Let b be (-375)/6 - (-6)/(-4). Let i be (-1)/(2*2/b). Let t = i - 3. Is t a multiple of 6?
False
Let u = 5 + 0. Suppose -3*a = u*m - 19, a = 6*a - 3*m - 9. Suppose 0 = -t - a, t