2. Let j(d) = f*d + 6*d - 5*d - d. Does 3 divide j(1)?
False
Suppose -3*j = -j - 6. Suppose -j*k + 5*d = -57, -2*d + 0*d + 57 = 3*k. Does 19 divide k?
True
Suppose 0 = t - 3 - 0. Suppose 3 = 3*y - 3*o, t*y - 2*o = 5 + 3. Suppose -y = 4*v - 30. Does 6 divide v?
True
Suppose 20 = -5*k - 5*r, -k - 10 + 4 = 2*r. Let y be (k + 16/6)*6. Suppose y*n - 67 = -3. Is n a multiple of 7?
False
Suppose 6 = -0*r + r. Let d(z) = -15*z**2 - 2*z - 7. Let v(k) = -1. Let q(u) = r*v(u) - d(u). Does 7 divide q(-1)?
True
Let d(j) be the third derivative of -j**6/120 + j**5/15 + j**4/6 - j**3 + 2*j**2. Suppose 4 = 4*v - 3*g - 6, -5*v = -g - 18. Does 10 divide d(v)?
True
Suppose 0 = 6*g + 10*g - 960. Is 20 a factor of g?
True
Let v = -22 + 45. Is v a multiple of 13?
False
Suppose -4*i + 36 = -328. Does 24 divide i?
False
Let c = 155 + -19. Does 35 divide c?
False
Let d(i) = -i**3 + 9*i**2 - 1. Let v be -3 + (-4)/4*-11. Is 26 a factor of d(v)?
False
Suppose 0 = -2*g - 0*g + 48. Let o be (0 + -2)/((-2)/g). Let k = o + -7. Is k a multiple of 17?
True
Let m(b) = b**3 - 5*b**2 + b. Let l be m(5). Let r be (-17)/(-4) + 3/(-12). Suppose l*j - 4 = -3*a, r*j - 3*a = -2*a + 10. Is j even?
True
Let q(d) = 3*d**2 - 3. Let v be q(4). Suppose 0 = -5*h + l + v, 0 = 4*h + 3*l - 42 - 13. Let g = 18 - h. Is 4 a factor of g?
True
Let m = -2 - -8. Let f be 20/m - (-2)/3. Suppose f*d = d + 42. Is d a multiple of 5?
False
Suppose -3*b + 3*u - 464 = -5*b, 0 = 3*b + 2*u - 696. Suppose 5*k - 4*p = -254, -3*k - b = k + 4*p. Does 9 divide (-6 + -1)*k/21?
True
Suppose 5*v + 3*k = 6, -3*v + 16 = -4*k - 5. Suppose -v*d - d + 9 = 3*o, -4*o + 2*d = -12. Suppose 0*z - o*z = -108. Is 18 a factor of z?
True
Let m(j) = -j**3 + 5*j**2 - j + 5. Let r be m(5). Suppose 2*y - 43 + 11 = r. Is 9 a factor of y?
False
Suppose -5*y + 3 = -22. Is y even?
False
Let q(y) = -y**2 + 4*y - 1. Suppose -5*i = -24 + 4. Let r be q(i). Is r - (-1 + 2) - -25 a multiple of 13?
False
Let h be (-2)/(-11) - (-1035)/55. Does 3 divide h - (-1 - (-3 + 0))?
False
Let j be (-3 - (-2 + 0))*2. Let q be (2/1)/(j/(-8)). Let c(r) = 5*r. Is c(q) a multiple of 17?
False
Let y(x) be the third derivative of x**4/8 - 7*x**3/6 - x**2. Is y(7) a multiple of 4?
False
Let c = 26 + -36. Does 17 divide (c + 1)/((-3)/9)?
False
Let b = 130 - -38. Is 21 a factor of b?
True
Let t = 124 + -46. Is 27 a factor of t?
False
Let t(b) = -9*b**2 + 11*b**2 - 4*b + 4*b - 3*b**3 - 1. Let w be t(-1). Suppose -w*x + 0*x = -176. Does 22 divide x?
True
Does 8 divide 3 + 0 + (95 - 8)?
False
Let s = -8 - -11. Let j = s - -17. Is j a multiple of 5?
True
Suppose 0*s - 2*k = -4*s - 18, -5*k + 15 = 0. Is 27 a factor of 1602/30 + s/(-5)?
True
Let d = 14 - 23. Let b(n) = -n - 5. Let z be b(d). Suppose 9 = -m + z*m. Is m even?
False
Let y be 2*-1 + 180/15. Does 8 divide 166/y - (-3)/(-5)?
True
Suppose -516 = -6*q - 126. Does 26 divide q?
False
Suppose -3*k - 3 + 5 = -5*w, 4*k - 26 = -5*w. Let v be (-34)/(-8) - w/8. Suppose 0 = -l - v*m + 16, 5*l + 18 = -2*m + 170. Does 16 divide l?
True
Let i = -7 + 27. Does 17 divide i?
False
Suppose 0 = 2*s - 11 - 255. Is 12 a factor of s?
False
Let d(v) be the first derivative of v**3/3 + v**2/2 - v + 1. Is 14 a factor of d(-5)?
False
Let r = 9 + -11. Is 58*3*r/(-6) a multiple of 16?
False
Let z(l) = 2*l**2 + 3*l + 2. Is 10 a factor of z(-5)?
False
Suppose -t = -0*t - 12. Suppose 2*r = -r + t. Suppose -3*a + 0*y - y = -83, 114 = r*a + 3*y. Is 15 a factor of a?
False
Let q(z) = z**2 - 4*z + 1. Is q(8) a multiple of 15?
False
Let z(f) = f**3 + 4*f**2 + 2*f + 9. Is z(4) a multiple of 23?
False
Let o(h) = h**2 + 5*h + 5. Let p be o(-5). Suppose -5*x + 40 = -p*g, 2*x + g + 2*g + 4 = 0. Is x a multiple of 4?
True
Let d = 322 + -215. Is 24 a factor of d?
False
Suppose 0 = 3*g - 5*f - 46, f = 5*g - 3*f - 55. Does 2 divide g?
False
Suppose -2*y + 5*y = 105. Suppose -3*o + y = -46. Is o a multiple of 9?
True
Let q(i) = -9*i - 7. Let l be q(-8). Let t = l + -42. Does 8 divide t?
False
Let b(o) = -o**3 - o**2 + 10. Let y be b(0). Suppose -20 = -2*k + y. Does 13 divide k?
False
Suppose -5*b + 639 = -3*i, -3*b - 240 = -5*b - 4*i. Is 18 a factor of b?
True
Suppose 4*g = 2*r + 14, 0*g - 4*g + 4*r = -16. Is 4*g*(-18)/(-8) a multiple of 14?
False
Let v(t) = -t + 1. Let u be v(-7). Suppose -u = p + 3*p. Does 17 divide 0/(-3) - p - -23?
False
Let w = -96 + 134. Is 19 a factor of w?
True
Let b be (-12)/(-8)*(-2 + 4). Let u(f) = -f**3 + 6*f**2 - 2*f + 4. Is u(b) a multiple of 20?
False
Suppose -35 = -4*g - 3. Does 13 divide 1*45*g/6?
False
Suppose 0 = 2*z - 5*d - 219 + 43, 0 = -2*z - 3*d + 192. Is z a multiple of 10?
False
Suppose 0 = 9*l - 3409 - 479. Is 27 a factor of l?
True
Suppose -326 - 194 = -4*z. Is 26 a factor of z?
True
Let j(m) = 1 + 5 - 3 - 2*m. Let d be j(-7). Suppose 0 = 2*q - 19 - d. Is 9 a factor of q?
True
Let k(c) = 5*c**2 - c. Does 13 divide k(4)?
False
Let m(v) = -3*v**2 + 3. Let q(u) = 3*u**2 - 2. Let w(i) = 2*m(i) + 3*q(i). Let h be w(-6). Suppose 5*f - f = h. Does 15 divide f?
False
Let m = 125 - 64. Is 10 a factor of m?
False
Let q(g) = 9*g + 0 + 2 - 3. Let b be q(-9). Let s = -48 - b. Is 17 a factor of s?
True
Let i be (-2 + 3)*(234 - -2). Is i/(-6)*3/(-2) a multiple of 19?
False
Suppose m + 177 + 16 = 4*v, v + 5*m = 43. Does 24 divide v?
True
Let l be 7*(3 - (-2)/(-1)). Let y be (1*14)/(-5 + l). Is 8 a factor of y/(-21) - (-43)/3?
False
Let h(k) = 10*k**2 - k + 1. Let i be h(1). Suppose 2*s = 98 + i. Is 27 a factor of s?
True
Suppose 5*c + 3*d - 391 = 0, 88 = -4*c - 4*d + 396. Is 16 a factor of c?
True
Suppose 0 = 2*m + m - 96. Suppose -t - j = -4, 4*j + m = 4*t - 0. Is (3 + (-16)/t)*66 a multiple of 11?
True
Let p(l) = -l**2 + 10*l - 8. Let j be p(6). Let g = j + -10. Let a = -3 + g. Does 3 divide a?
True
Let a be (8/6)/((-6)/(-45)). Let c be 30/(-4)*(-2)/3. Let p = a - c. Is 4 a factor of p?
False
Let p(l) = 49*l - 24. Is p(8) a multiple of 59?
False
Let b be ((-4)/4)/(0 + -1). Suppose 3*k - b = 14. Suppose -3*s = -5*f - 8, -s - 5*f + k + 11 = 0. Is s even?
True
Let x(c) = 2*c**2 + 5*c + 5. Let p be x(5). Let q(z) = -z + 2. Let s be q(-2). Suppose -s*a - a + p = 0. Is 16 a factor of a?
True
Let d(k) = k**3 + 8*k**2 + 6*k - 3. Let a be (5/(-1))/(0 - -1). Is 17 a factor of d(a)?
False
Suppose -3*k = 2*k - 20. Suppose -k*q + 119 - 23 = 0. Is 8 a factor of q?
True
Let t(f) = -f + 19. Is t(7) a multiple of 6?
True
Let o(q) = q**2 + 7*q + 13. Let p be o(-9). Let h = -11 + p. Suppose -1 = -l + h. Is 21 a factor of l?
True
Suppose 6*n - n = 120. Does 6 divide n?
True
Let b = 86 + 12. Is b a multiple of 14?
True
Let k(z) = z**3 - 10*z**2 + 12*z - 12. Let h be k(9). Let m = 63 + h. Is 26 a factor of m?
True
Suppose 0 = -l - 3*l - 32. Let i = -6 - l. Suppose -5*f = -a + 17, i*a + 3*a - f = 61. Is a a multiple of 6?
True
Let y = -20 + 84. Let z = y - 28. Does 18 divide z?
True
Let h be 2/(-2) - (1 - -1). Let p be (140/(-12))/(1/h). Suppose 0 = -3*i + 2*a + p, -5*i = -2*a + 4*a - 69. Does 8 divide i?
False
Suppose -3*p - h + 6*h + 29 = 0, 0 = -2*p - 2*h - 2. Suppose p*y - 26 = 4. Is y a multiple of 4?
False
Suppose 5*b - 4*b - 2 = 3*q, 1 = b - 2*q. Let h = b - -4. Is (2/h)/((-8)/(-180)) a multiple of 12?
False
Let n be 2 - (-3 + (-2)/(-1)). Suppose -3*w + 20 = 5*c, -2*c + 5 - n = 0. Is w even?
False
Suppose -3*t = -2*m + 70, 4*t = -3*m + 35 + 87. Suppose 0 = -2*w + m + 2. Is (-12)/10*w/(-6) even?
True
Let k(x) = -2*x - 13. Let v be k(-10). Suppose 4*w - v*s + 2*s = 63, -51 = -5*w - 3*s. Is w a multiple of 12?
True
Let i = 18 + 3. Is 15 a factor of (-1)/(-1)*0 + i?
False
Let v(p) = p**3 - 11*p**2 + 12*p - 13. Suppose 0 = j - 5 - 5. Is v(j) a multiple of 6?
False
Suppose -124 = -2*g + 4*s, -2*g + 56 = -g - 5*s. Does 21 divide g?
False
Suppose -2*q = 2*m - 3*m - 195, 0 = -4*q + m + 391. Let x = 70 - q. Let i = 60 + x. Is 16 a factor of i?
True
Suppose 0 = 3*v + 52 - 319. Is v a multiple of 13?
False
Let o(k) be the third derivative of k**5/60 - 7*k**4/24 + k**3/3 + 2*k**2. Let n be o(6). Is 7 a factor of (n/10)/(4/(-140))?
True
Suppose 4*g = 10*g - 36. Does 5 divide g/45 + (-2090)/(-75)?
False
Suppose -4*t + 4 = -0. Is (14*t)/(1/2) a multiple of 10?
False
Let d(a) = 6*a**2 + 6*a. Let k(z) = -7*z**2 - 6*z - 1. Let t(u) = 6*d(u) + 5*k(u). Is 4 a f