ivide j?
False
Let f(z) = 33*z**2 - 2*z**2 + 15*z**2 + 3*z - 4*z. Is 16 a factor of f(1)?
False
Let u(k) = 9*k**2 - 5*k**2 - 2*k**2 + 2*k - 2 + 1. Let f be u(-2). Suppose 3*t - 150 = f*z, -5*z + 21 - 1 = t. Is t a multiple of 15?
True
Let m(p) = 4*p**2 + 12*p + 21. Is 30 a factor of m(-9)?
False
Suppose 52 = -0*n - 2*n. Is (-2 + 4)*n/(-4) a multiple of 13?
True
Let n(h) = -11 - 6*h + 2 + 12*h. Is n(6) a multiple of 13?
False
Let s = 7 + 173. Is 9 a factor of s?
True
Suppose 3*a - 183 = -3*x, -4*a + 2*x + 277 = a. Is 19 a factor of a?
True
Let b(n) = n**3 - 4*n**2 + n + 9. Does 29 divide b(6)?
True
Suppose -27 - 5 = -2*c. Suppose -86 = -3*d + 5*r, -3*r - c = -d + 18. Is 11 a factor of d?
True
Let x(v) = v**2 + 2*v - 3. Let h be x(5). Let b = 52 - h. Does 8 divide b?
False
Is 9 a factor of 4/(-1*6/(-27))?
True
Let f(b) = b**2 - b - 1. Let s be f(-2). Suppose 2*c + s*y + 2 = 0, 6*y + 12 = c + 2*y. Suppose -q - 48 = -c*h - 8, 0 = -q. Is h a multiple of 7?
False
Let z be (-2)/8 + 10/8. Suppose 3*b = 5*b - 4. Is 2 a factor of 6 + z/((-1)/b)?
True
Suppose 8*f = 3*f + 330. Let h = f - 34. Is h a multiple of 10?
False
Let z(i) = 15*i - 9. Is 21 a factor of z(6)?
False
Let y be ((-1)/2)/((-1)/86). Suppose -y = -2*n + 13. Suppose -q - o = 2*o - n, -o = 2. Does 12 divide q?
False
Suppose 3*m = 2*t + 210, -3*t - 60 = -m + 10. Does 14 divide m?
True
Suppose 8 = w - 12. Is 4 a factor of w?
True
Suppose -s - 2*f + 4*f = -10, -3*f = -2*s + 17. Suppose -s*c + 104 = 2*z, -10 = -c - z + 17. Is 9 a factor of c?
False
Let o(m) = 9*m**2 + 2*m. Is o(1) a multiple of 5?
False
Is 5 a factor of (4 + 0)*27/6?
False
Let i(s) = 2*s**2 + 3*s + 9. Let o(t) = -t - 3. Let c be o(3). Does 21 divide i(c)?
True
Let v be 15/6 + 1/(-2). Suppose -m = v*m - 36. Is 12 a factor of m?
True
Suppose 0 = 5*o + 5*f + 25, 3*o - 2*f + 13 = -17. Let c(l) = -7*l + 7. Is 25 a factor of c(o)?
False
Let r be (1 - -37)/(14/7). Is 4 a factor of (1 - 7 - -3) + r?
True
Let f = 3 - -1. Suppose -p = -4*w + 321, 0 = f*w - 5*p - 57 - 252. Let g = w - 57. Is 13 a factor of g?
False
Suppose 0 = k - 4. Suppose 4*g - 20 - k = 0. Does 2 divide g?
True
Let m = -29 - -18. Suppose 3*c = -7 + 55. Let j = c + m. Does 2 divide j?
False
Suppose 3*w + 3*d = -0*w + 27, 5*d = w - 3. Is 8 a factor of w?
True
Let c = 37 - 25. Does 6 divide c?
True
Let m(d) = d**3 - 6*d**2 + 2*d - 6. Is 6 a factor of m(6)?
True
Let r(a) = -33*a + 3. Let l be r(3). Let b = 163 + l. Is b a multiple of 24?
False
Let m(z) = -z**3 + 4*z**2 + 3*z + 20. Is m(5) even?
True
Let v(d) = -d**2 - 7*d - 2. Let g be v(-6). Let x be (-47)/(-9) - g/18. Suppose 88 = 5*i + 2*h, 2*h + 36 + 36 = x*i. Is 8 a factor of i?
True
Suppose -2*z = 2*d - 90, -3*d + 5*d - 118 = 5*z. Let f = 92 - d. Does 13 divide f?
False
Suppose 4*l + 5*t = 19, l + 3*t = -0*l + 3. Let m(n) = 2*n + 3. Let v be m(6). Is 10 a factor of (l/v)/((-2)/(-50))?
True
Suppose 4*t - 2*t + 46 = 0. Let y = t - -1. Let z = -10 - y. Does 6 divide z?
True
Let u(h) = -h + 7. Let j be u(9). Let b = j + 11. Is 9 a factor of b?
True
Let l(q) = -4*q**3 - q**2. Let x be l(-1). Suppose i - 40 = x*i. Does 5 divide i/(-8)*(3 + -1)?
True
Suppose -18 = l + 5*b, 0 = -3*l - 2*b + 4*b + 14. Is l a multiple of 2?
True
Let z(o) = 0*o**2 + 10*o + 0*o**2 + 8 - o**2. Let k be z(8). Suppose -2*h + 5*h - k = 0. Does 4 divide h?
True
Does 11 divide (2 - (-103)/5) + 3/(-5)?
True
Suppose -2*p - 3 = 5*b + 7, -4*p - 20 = 3*b. Does 17 divide (-17)/((-1)/(2 - b))?
True
Let b(n) = n**3 + 6*n**2 - 8*n - 4. Let y be b(-7). Suppose -6 = -y*v + 27. Does 3 divide v?
False
Let x be (-1278)/(-5) - (-4)/10. Suppose 5*v - x = -41. Let t = v - 21. Is t a multiple of 11?
True
Suppose -3*m = -3*a - 2*m + 276, 0 = m. Let s be 2/2*a/1. Let o = 151 - s. Is 22 a factor of o?
False
Let o = 251 - 174. Let q = 111 - o. Is q a multiple of 17?
True
Let k(r) = 2 - 2 + 0*r - 3 + 2*r. Let s be k(2). Is 4 a factor of (-4)/s + 2 + 9?
False
Let o = 93 - 10. Suppose 4*m - o - 5 = 0. Is 11 a factor of m?
True
Let c(s) be the third derivative of s**6/120 - s**5/60 + s**4/24 + 2*s**3 - s**2. Let b be (1 + -1)/3*-1. Does 6 divide c(b)?
True
Let b(l) = 16*l + 3. Suppose 5*h - 7 = 23. Does 29 divide b(h)?
False
Suppose -2*g + 2*v - 38 = 0, 4*g + 78 = 2*v + 3*v. Let o = -12 - g. Does 4 divide o?
False
Suppose 2*a + a - 3 = 0. Suppose -35 - a = -2*b. Is 14 a factor of (-1 - 0) + b/1?
False
Suppose -u + 10 = 2. Let v be ((-30)/u)/(2/(-48)). Suppose -4*l - 2*s = 4 - v, 0 = -l - 3*s + 29. Is 20 a factor of l?
True
Let c(a) = 10*a**2 + a. Let m be c(1). Let g = m + 13. Does 12 divide g?
True
Suppose -2*d = n - 2*n + 3, -n - 2*d - 5 = 0. Let p(b) = -21*b**3 - b**2 - 2*b - 1. Is p(n) a multiple of 10?
False
Let j = -1 + 3. Let o be (-1*(j + -2))/(-3). Suppose -h - h + 44 = o. Does 9 divide h?
False
Suppose -l - 2*l + 270 = 0. Does 6 divide l?
True
Suppose -5*o + 13 = 2*d + 1, 2*o = -2*d. Suppose -5*b = -5*x + 245, o*x - b + 71 = 270. Does 15 divide x?
False
Suppose 9*z + 64 = 3*r + 4*z, -3*z = -2*r + 44. Does 7 divide r?
True
Suppose -2*d + 14 + 0 = s, -4*d = -20. Let q be 0 + (-6 - s/(-2)). Is 3 a factor of (28/(-6))/(q/6)?
False
Let w(x) = -7 - 8*x + 0*x + 19 + x**2. Let a = 18 + -10. Is w(a) a multiple of 7?
False
Let b(j) = 3*j**2 - 2*j**2 + 0*j**2 - 1 + 5*j + 2*j**2. Is 11 a factor of b(-4)?
False
Let b(q) = 14*q + 199. Is b(0) a multiple of 27?
False
Let r = -53 + 87. Does 4 divide r?
False
Is 15 a factor of (13/(-3) + (-4 - -5))*-9?
True
Let u = -83 + 127. Is u a multiple of 22?
True
Suppose a = -2*a + 6. Suppose a*o + 3 = 4*d - 7, -2*d - 5*o + 35 = 0. Suppose 52 = d*h - 73. Is 18 a factor of h?
False
Suppose -6*n = 23 - 311. Does 12 divide n?
True
Let d = -4 - -14. Let h = 1 - d. Let z = -2 - h. Is 7 a factor of z?
True
Suppose -2 = -2*h - 4. Does 14 divide (10/4)/(h/(-30))?
False
Suppose 4*l = 5 - 1. Let n be (0 + l)/((-2)/(-6)). Suppose 0 = -n*t + 15 + 12. Does 9 divide t?
True
Suppose -3*g = 66 + 18. Is (g/(-6))/(6/9) a multiple of 7?
True
Let o be (14/10 + -1)*90. Suppose o = 4*x - 2*x - 3*w, 3*x - 71 = -4*w. Is 8 a factor of x?
False
Let b(s) = s**3 - 5*s**2 + 5*s + 7. Suppose 4*p + 3*l = 29, -l + 28 = 4*p + p. Is b(p) a multiple of 20?
False
Suppose 21 = k + k - 3*w, k + 9 = -5*w. Is k a multiple of 4?
False
Let y(n) be the first derivative of -n**4/4 - n**3 - 3*n**2/2 - 2*n + 1. Let o be y(-2). Is (-1 - -5) + o + 1 a multiple of 2?
False
Let n(x) = -x**2 - 19*x - 18. Is n(-12) a multiple of 11?
True
Let w be (-41 - 0) + (-5 - -3). Let k = -7 - w. Does 11 divide k?
False
Suppose 4*v = l + 11, v + 0*l + 21 = 5*l. Is (-7 + -1)/(v/(-38)) a multiple of 19?
True
Let d = 6 + -2. Suppose d*c + l - 37 = 0, -1 = -3*l - 10. Is c a multiple of 10?
True
Suppose -5*z - 5*t + 2 = -18, -4*t - 9 = -z. Suppose 0 = 4*x - z*x + 17. Does 6 divide x/(-4)*(-5 + 1)?
False
Suppose -z - 8 = -19. Suppose 4 = -g + z. Let m = g - -5. Is m a multiple of 12?
True
Let l(v) = -18*v - 2. Is 10 a factor of l(-2)?
False
Let v(f) = 0*f**2 + 2*f**2 - 7*f + 6 + 0*f. Let i be v(4). Let b = 16 - i. Is b a multiple of 6?
True
Let a(i) = -i + 37 + 2*i - 41. Is 3 a factor of a(8)?
False
Let l be (0 - -1)/((-1)/(-12)). Let q(k) = -32*k. Let t be q(1). Is 16 a factor of (t + 2)*l/(-10)?
False
Let s be ((-9)/(-2))/((-4)/(-8)). Let o = 3 + -2. Is s - 1/(0 + o) even?
True
Does 10 divide (-2256)/(-21) - ((-96)/(-28) - 3)?
False
Let b = 309 + -149. Suppose i + i = b. Is i a multiple of 20?
True
Suppose d = -3*z - d - 1, 0 = -2*z - 2*d - 4. Suppose -5*q - 57 = -2*k, -k - 4*k = z*q - 96. Is 9 a factor of k?
False
Let c(p) = 16*p + 6. Let d be c(7). Let x = d + -75. Is 21 a factor of x?
False
Suppose 2*m = -5*y + 3, -3*m - 8*y + 17 = -3*y. Suppose g - m = -2*o, o = -3*g - 3*o + 34. Suppose -46 + g = -2*l. Is 20 a factor of l?
True
Let z be 26/6 - 5/15. Suppose -u + 150 = z*u. Is 9 a factor of u?
False
Is (-7)/2*(-1 - 3) a multiple of 7?
True
Suppose 3*n - 3*h = -2*h + 59, 2*h = 2*n - 46. Suppose 50 = 4*o + 3*q, 2*q + n = 4*o - 42. Is o a multiple of 14?
True
Let i(h) = 4*h**2 + h - 3. Suppose 0 = -4*q + 4*g, -3*g - 3 = -5*q + 3*q. Does 15 divide i(q)?
True
Let p(h) = h**2 + 5*h + 2. Let z be p(-5). Suppose m + z*m - 27 = 0. Is m a multiple of 7?
False
Is 23 a factor of ((-6)/(-12))/(((-7)/180)/(-7))?
Fals