(-9) a multiple of 6?
False
Let c(s) be the second derivative of -s**5/20 + 2*s**4/3 + s**3/2 + 4*s**2 - 14*s. Is 17 a factor of c(7)?
False
Let v = -167 - -180. Suppose -20*u = -v*u - 1309. Does 7 divide u?
False
Let t = -2 - -9. Let n(l) = l**2 - 8*l - 1. Let p(i) = 2*i**2 - 14*i - 2. Let j(h) = -5*n(h) + 3*p(h). Is j(t) a multiple of 5?
False
Let y(v) be the first derivative of -31*v**2/2 + 9*v + 6. Is y(-3) a multiple of 34?
True
Is 14 a factor of 2 - 40/22 - (-12369)/33?
False
Suppose -5*q - 15 = 0, 3*x - 2*x - 2*q - 3 = 0. Let h = 20 - x. Does 9 divide h?
False
Let d(q) = -843*q + 4. Is 53 a factor of d(-1)?
False
Suppose 2*t - 11 = 1. Suppose 4*b = q + 17, -b - 2*q = -t*b + 19. Suppose 2*h - b*h + 279 = 0. Does 16 divide h?
False
Is 11 a factor of 15145/25 + (-16)/20?
True
Let u = 4347 + -2478. Is 18 a factor of u?
False
Let x(d) = -d + 10. Let s be x(8). Let o be (s + 0)/((-6)/(-9)). Suppose -2*b = o*b, 4*i - 200 = 2*b. Is i a multiple of 9?
False
Does 98 divide 5 - -1463 - 2*(0 + -1)?
True
Suppose 7*l + 3*l + 20 = 0. Does 38 divide 4 + (-612)/(-4) - l?
False
Suppose 0 = 13*r - 15*r - 4*o + 624, 4*r + 4*o = 1236. Is r a multiple of 17?
True
Suppose -3*a - 1668 = -2*n - 353, -n + 655 = a. Is 8 a factor of n?
True
Let m(f) be the first derivative of 4*f**3/3 + f**2/2 - f + 6. Let n be m(1). Suppose -4*y = -2*z + 44, z - 29 + 3 = n*y. Is 18 a factor of z?
True
Let z(i) = -58*i**3 - 3*i**2 + 9*i + 26. Is 46 a factor of z(-2)?
True
Let l be 1865/(-7) + (3 - (-54)/(-21)). Let b = 426 + l. Is 17 a factor of b?
False
Suppose 8*j = 11*j - 6. Suppose -j*o = -32 - 8. Does 4 divide o?
True
Let l = 47 + -35. Let i = 3 + l. Is 15 a factor of i?
True
Suppose -38*y = -5*y - 462. Is y even?
True
Let c(k) = k**2 - 3*k - 5. Let n be (10/(-4))/((-1)/2). Let u be c(n). Suppose u*y - 32 = -7. Is y a multiple of 2?
False
Let x(v) = v**2 + 21*v - 160. Is 12 a factor of x(11)?
True
Let a = 1625 - -1273. Is a a multiple of 69?
True
Suppose 3*c = 9*c - 1776. Is c a multiple of 11?
False
Let z(a) be the second derivative of a**4/3 - a**3/6 - a**2/2 - 2*a. Let n be z(2). Let f(d) = -d**3 + 12*d**2 + 14*d + 18. Is 13 a factor of f(n)?
False
Is 10 a factor of 5 + (27 - (-2 - -8)) + 4?
True
Suppose o + 2*o = -2*t + 8, 5*t + 3 = 4*o. Suppose -3*a = 4*y - 106, -a - a = -o*y - 94. Is a a multiple of 6?
True
Suppose 0 = -4*d + 16*d - 2268. Does 46 divide d?
False
Suppose 465 = 21*v - 16*v. Suppose -n = -0*n - v. Is 27 a factor of n?
False
Let n = 63 - 161. Let h = 61 + -125. Let j = h - n. Does 17 divide j?
True
Let g be (-7)/3*12/1. Does 18 divide ((-48)/(-7))/(g/(-294))?
True
Let o(d) = -11*d - 13. Let l(a) = -3*a - 3. Let q = -16 + 18. Let m be l(q). Is 16 a factor of o(m)?
False
Let m = 2 - -2. Suppose -3*g - 5*r = -23, -2*r = -0*g - 4*g - m. Is 13 a factor of (g - (-3 - -3))*52?
True
Let f(z) be the third derivative of 4*z**6/15 - z**5/30 + z**4/8 - z**3/6 + 30*z**2. Is f(1) a multiple of 32?
True
Suppose 0 = 3*a - 5*q + 441 - 167, 444 = -5*a + 2*q. Let s = -58 - a. Is s a multiple of 10?
True
Let a = 381 + -201. Is a a multiple of 18?
True
Suppose -5*y = -1093 - 942. Is 37 a factor of y?
True
Let m = 41 + -21. Suppose m*n + 230 = 25*n. Is n a multiple of 8?
False
Let c be -6 - (-4 + (1 - -1)). Is 2 a factor of -3 + (-24)/c + (-24)/(-4)?
False
Let l(t) = -t**2 + 172 - 5*t - 151 + 5*t. Suppose -12 = -4*x - 3*n, -4*n = 5*x - n - 12. Is 3 a factor of l(x)?
True
Let i(x) = 3*x**2 + x + 13. Let t be i(7). Let y = t + -87. Is 20 a factor of y?
True
Is 41 a factor of 57/19 - (9 - 2) - -582?
False
Let c be ((-816)/17)/(4/(-14)). Let g = c - 119. Is 19 a factor of g?
False
Let l = 8 - 6. Let w be (l*-2)/((-20)/10). Suppose -9 - w = -p. Is p a multiple of 3?
False
Let a = -100 - -32. Let s = -32 - a. Is 6 a factor of s?
True
Let t(c) = 0 + 5*c + 4*c**2 + 6 + 0*c - 9. Is t(3) a multiple of 9?
False
Suppose h + 1689 = 2*q, -4*q - 3*h = -2676 - 727. Is q a multiple of 45?
False
Let x(z) = z**2 + 11*z + 5. Let b be x(-11). Let q be (-4)/(-10) - (-13)/b. Suppose 0 = 3*n - 3*p - 87, -4*n + 110 = -q*p - 3. Is n a multiple of 26?
True
Let u = 8 - 8. Suppose 81 + 15 = 2*x. Suppose u*h = 4*h - x. Is 12 a factor of h?
True
Let h(n) = n**3 + 7*n**2 + 4*n + 1. Suppose 4*p = 4*c, -3*p - 10 = -0*c - 5*c. Suppose 9*d - p*d + 20 = 0. Does 22 divide h(d)?
False
Let m(t) = -t**3 - t**2 + t + 24. Is m(0) a multiple of 8?
True
Let m be (-6)/21 + 626/(-14). Let r = m - -15. Does 5 divide 20/r + (-47)/(-3)?
True
Let t = 14 - 16. Let p be (-6 - t) + (-1 - -5). Suppose p*s - 225 = -5*s. Is s a multiple of 9?
True
Is 4 a factor of -3 + 36*(2 - (-10)/5)?
False
Is 30*(23 + -3)*(-1)/(-6) a multiple of 20?
True
Let m(j) = -j + 1. Let z(b) = -b**2 - 13*b + 38. Let w be z(-16). Does 11 divide m(w)?
True
Let z(t) = t**3 + 8*t**2 + 6*t - 5. Let p be z(-7). Suppose -7*h = -p*h - 10. Suppose -h*i = 4*o - 2*o - 60, 5*o + 2*i = 141. Is 10 a factor of o?
False
Let d = 43 + -382. Let g = d - -477. Does 12 divide g?
False
Suppose -3*w = -5*g + 18 + 217, -25 = -g + 5*w. Is 10 a factor of g?
True
Let z(d) = 3*d**2 + 42*d + 298. Does 7 divide z(-6)?
True
Is 860 + (-4 - -5)*-8 a multiple of 16?
False
Let d be (-7)/49 - 2/(-14). Let v(w) = -w**2 - 2*w + 130. Is v(d) a multiple of 17?
False
Suppose 0 = 2*k + 3*y - 8, -8 = -2*k - 9*y + 4*y. Suppose -h = -t - 6*h + 18, 3*t + k*h - 65 = 0. Does 3 divide t?
False
Let h be 3 - (-1 - -5) - 0. Let u be (-3 - h)/4*2. Does 27 divide (u - (-50 - 1))*2?
False
Suppose -4*r = 5*f - 3872, -3*f - 17 = -5*r - 2355. Does 33 divide f?
False
Suppose 11 + 22 = 3*l. Suppose -5*k = 3*p - 5*p + 51, 3*k = -2*p + l. Let q = p - -11. Does 12 divide q?
True
Suppose 0 = 343*z - 342*z - 1537. Is 54 a factor of z?
False
Let g(y) = y + 11. Suppose 6*m = -1 + 19. Is g(m) a multiple of 7?
True
Suppose -574 - 2384 = -6*i. Is 29 a factor of i?
True
Suppose 0 = -3*x - 2*b + 872, -4 = b - 2*b. Does 24 divide x?
True
Let l(g) = -g**2 + 4*g + 9. Let o be l(5). Suppose 0 = 4*x - o*j - 304, -2*j + 117 = 5*x - 291. Is 20 a factor of x?
True
Let f be 8 + (-1 - (0 - -3)). Suppose 5*y - 128 = x, 0 = f*y + 5*x - 14 - 71. Is 5 a factor of y?
True
Suppose -1135*p = -1144*p + 2484. Does 14 divide p?
False
Let m = 9 - -1. Suppose m = -0*d - 5*d. Is ((-50)/30)/(d/24) a multiple of 12?
False
Let v(f) = 2*f - 17. Let p be v(9). Does 3 divide 55/(-15)*-15*1/p?
False
Let k(o) = 73*o**3 + 2*o**2 + 3*o + 2. Is k(2) a multiple of 75?
True
Suppose 5*n = -2*a + 113, 58 = 2*a + 2*n - 58. Is a even?
False
Let k be 3*1/6*-4. Let o = k + 62. Let h = -8 + o. Does 7 divide h?
False
Let k be (-176)/(-8)*(-8)/2. Does 22 divide k/(-6)*18/12?
True
Let h(b) = -5*b**3 - 2*b**2 - 6*b - 3. Let c be h(-5). Suppose -6*a = 26 - c. Does 16 divide a?
True
Suppose -t + r = -24, -t + 82 = 2*t - 5*r. Is 2 a factor of t?
False
Suppose 3*n - 8 = -2*l + 6, 2*l - 2*n - 4 = 0. Is (-34)/l*((-6)/(-3) - 16) a multiple of 18?
False
Suppose 0 = 3*d, 0 = n + 4*d - 6 - 11. Let y(g) = g**3 - 18*g**2 + 16*g + 21. Let p be y(n). Suppose -7*v + 63 = -p*v. Does 12 divide v?
False
Let a = 90 - 422. Let g = -217 - a. Is 14 a factor of g?
False
Let g(v) = 5*v**2 + 20*v + 21. Let q(c) = 11*c**2 + 40*c + 42. Let y(h) = -9*g(h) + 4*q(h). Does 19 divide y(-14)?
False
Suppose 4*l - 3*l - 4*z - 7 = 0, 0 = -2*l - 3*z - 30. Let m(k) = k**2 - 3. Is 13 a factor of m(l)?
True
Let m = 1867 + -1518. Is 8 a factor of m?
False
Suppose -5*j + 10 + 40 = 0. Let u(r) = r**3 - r**2 - 1. Let v(q) = -9*q**2 - 6. Let n(p) = -u(p) - v(p). Is 7 a factor of n(j)?
True
Let l(k) = k + 19. Let g = -17 + 7. Let n = g + -2. Does 7 divide l(n)?
True
Let c = 14 + -18. Suppose 4*q + 4*l - 816 = 0, 5*l = q + 2*q - 588. Does 10 divide c/(-14) + q/7?
False
Let i be (-2388)/(-54) - 2/9. Is 179/3 + i/(-66) a multiple of 32?
False
Suppose -z + 53 = -0*z. Is z a multiple of 11?
False
Suppose 4*o + 0*a - 68 = -a, 2*a = 8. Let m(n) = n**3 - 15*n**2 - 15*n + 12. Does 5 divide m(o)?
False
Let x = -167 + 236. Does 10 divide x?
False
Does 34 divide 15*(80/6 - 0) + -3?
False
Let y(j) = -j**3 + 28*j**2 + 7*j + 65. Is y(28) a multiple of 29?
True
Let y(t) = t**2 - 19*t + 17. Let k be y(9). Let j = -61 - k. Does 2 divide j?
True
Suppose 0 - 291 = -a. Let i(n) = 356*n**3 - n**2 + 2*n. Let d be i(1). Suppose 5*y - d = 