 17 a factor of (o + 1)*(-9)/27?
False
Suppose 5*m = y + 45, -y - 9 = -2*m + 6. Does 5 divide m?
True
Is ((-233)/(-2))/((-1)/(-8)*4) a multiple of 11?
False
Let t be 5/(-15)*(-1 + 1). Is ((-29)/(-2) + t)*4 a multiple of 22?
False
Is 7 a factor of 25 - 0 - 15/(-5)?
True
Does 14 divide 32 - ((-6 - -3) + -2)?
False
Let m = 321 - 195. Does 14 divide m?
True
Let t be 2 + 91 + 21/7. Suppose 5*q - q = t. Is 5 a factor of q?
False
Let d = -5 - -5. Suppose 2*c + 40 = -d*c. Let s = 2 - c. Is 10 a factor of s?
False
Let c = 6 + -4. Let j be 2 - (c + -1 + 3). Is 7 a factor of j/(-5) - 33/(-5)?
True
Suppose -36 = -d - 4*k, d - 50 = 2*k + 16. Is 14 a factor of d?
True
Is ((-33)/(-2))/((-3)/(-44)) a multiple of 22?
True
Let j be 1075/35 - (-2)/7. Let x = -14 + j. Is 12 a factor of x?
False
Let m = 54 + -41. Is m a multiple of 4?
False
Let v(d) = -61*d - 66. Is 50 a factor of v(-6)?
True
Is -4 - ((-19 - 4) + 1) a multiple of 3?
True
Suppose -9*q + 5*q = 20. Let g(k) = k**3 + 8*k**2 + 3*k - 2. Is 23 a factor of g(q)?
False
Let a be ((-6)/3 - 37) + 3. Is 15 a factor of (-1572)/(-27) + 8/a?
False
Let n = -26 - 29. Let c = -10 - n. Is 15 a factor of c?
True
Is (42/4)/(11/22) a multiple of 3?
True
Let x(s) = 2*s**2 + 2*s + 5. Let d = 25 - 30. Is 9 a factor of x(d)?
True
Let l = -7 + 11. Let j be (16/20)/((-1)/30). Is (l/6)/((-2)/j) a multiple of 8?
True
Let p(g) = g + 5. Let w be p(-4). Let s(d) = 4*d**3 + d**2 - 1. Let z be s(w). Let y(a) = a**3 - 2*a**2 - 4*a - 4. Is y(z) a multiple of 6?
True
Let a(q) = -q**3 + 7*q**2 - 4*q - 7. Suppose -2*t + 0*y + 4*y + 12 = 0, 3*y + 12 = 2*t. Does 5 divide a(t)?
True
Let l = 267 - 155. Is 14 a factor of l?
True
Let p = 1 - 0. Let k be 4*p/3*3. Suppose 2*f = -4*q + 8, -3*q - 2 = k. Is 8 a factor of f?
True
Suppose 50 = 2*v + 5*d, 4*d + 5 = -v + 30. Does 5 divide v?
True
Suppose -2*j = 4*w - 22, -5*j + 9 = -w - 2. Suppose -7 = 3*x + 8, -w*x = 4*r. Is r even?
False
Is 46 a factor of 96 - -6*10/(-15)?
True
Suppose 5*o = -20, -2*u + 28 = 2*u - 3*o. Let y(l) = -l**3 + 5*l**2 - 6*l + 5. Let t be y(u). Does 12 divide 18/8*(-32)/t?
True
Let q(o) = -o**3 + 9*o**2 - 8*o + 7. Let w be q(8). Suppose 0 = -c - 0*c. Does 10 divide -1 + c + 14 + w?
True
Suppose -3*p = 52 - 352. Is 9 a factor of p?
False
Let w = -6 - -68. Is w a multiple of 15?
False
Let y(v) = v**2 + v + 131. Let a be y(0). Suppose 4*s = -47 + a. Is 9 a factor of s?
False
Let s(d) = 6 - 2*d**2 - 4 - d + 4*d**2 - 4*d. Does 11 divide s(6)?
True
Suppose 0 = 6*m - m + 5*i - 490, -401 = -4*m + 5*i. Let x = m + -59. Is x a multiple of 13?
False
Let m be (-2)/3 - 76/(-6). Let o be ((-8)/m)/((-2)/159). Let x = o - 34. Is x a multiple of 9?
False
Let l(i) = -13*i - 2. Suppose b = 2*q + 4, -q = -0*q - 4*b - 12. Let k be l(q). Suppose -4*f + 2*f = -k. Is 11 a factor of f?
False
Suppose -j = 2*j + 12. Let o(b) = 43*b**2 + 5*b - 4. Let u be o(-4). Is 10 a factor of j/(-14) + u/28?
False
Let z(r) = -r + 1. Let c(y) = 54*y - 7. Let j(m) = -c(m) - 6*z(m). Let d be j(1). Let k = -19 - d. Is k a multiple of 14?
True
Let x(a) = -1 + a - 5 + 2. Is x(9) even?
False
Suppose -9*v + 4*v + 15 = 0. Is v even?
False
Suppose -125 = -2*u - 39. Let s(p) = -3*p**2 + 10 + p**3 + u + 4*p**2. Is s(0) a multiple of 18?
False
Suppose -3*y + 89 = o, -5*o = -10*o - 3*y + 505. Does 13 divide o?
True
Let q(l) = -5*l - 1. Suppose -4*c - 3*h = -5, -5*c + 3*c - 2*h + 4 = 0. Let v be q(c). Suppose -v*y = 3*b - 70, 0 = -3*y + 4*y + 3*b - 22. Is y a multiple of 6?
False
Let n(z) = -z**3 + 12*z**2 + 12*z + 17. Let p be n(13). Suppose 45 + 7 = p*q. Does 13 divide q?
True
Suppose 0 = 3*a - 110 + 2. Does 20 divide a?
False
Suppose 4*b - 3*b = -2. Let f(q) = -3*q - 1 - 5*q + 3*q. Is 3 a factor of f(b)?
True
Suppose d + 7 = 12. Suppose 0 = 2*y + 3*o + 2, -d*y + 2*o + 30 = -3. Is 5 a factor of y?
True
Suppose -o + 9 = 2*o. Suppose -22 = -o*q + 2*v, -2*v - 4 = -0. Is (q/(-8))/(3/(-72)) a multiple of 9?
True
Let n(l) = -1 + 0 + 10 + 4*l. Let k be n(7). Suppose -d = 4*r - k, -49 = -3*r - 5*d - 0*d. Is r a multiple of 8?
True
Let o(r) be the first derivative of -r**6/360 + r**5/20 - r**4/6 + 2*r**3/3 + 3. Let z(l) be the third derivative of o(l). Does 3 divide z(4)?
False
Let y be (-518)/(-21)*3/(-2). Let j = y + 90. Is j a multiple of 25?
False
Let h(g) = 24*g**2 - 4*g - 3. Is 37 a factor of h(-3)?
False
Suppose 0 = -3*k - 0*k - u + 821, 0 = -4*k - 4*u + 1092. Let t = -164 + k. Suppose 0 = -2*r + t - 36. Is 17 a factor of r?
False
Let t(o) = -o**2 - 16*o - 21. Does 17 divide t(-11)?
True
Let x(y) = 2*y**2 - 11*y - 14. Is x(-4) a multiple of 13?
False
Suppose 22 = -l + 2*l. Suppose 30 + l = 4*c. Suppose -3*a = z - c - 61, -5*z + 106 = 4*a. Does 12 divide a?
True
Let l = -1 + 1. Suppose -q + 0*q = l. Suppose q = 4*r - 44 - 16. Does 12 divide r?
False
Let z = -5 + -5. Let v(d) = -d**3 - 9*d**2 + 8*d - 7. Is 10 a factor of v(z)?
False
Let x = 295 + -162. Is 12 a factor of x?
False
Let y(u) = -7*u**2 - 18*u + 2. Let t(n) = -6*n**2 - 17*n + 3. Let c(m) = -6*t(m) + 5*y(m). Is c(-14) a multiple of 20?
True
Suppose -a + 6*a = 25. Suppose -9 = -w + a*n, 0 = -11*w + 6*w - 2*n - 9. Does 9 divide (-6)/(-4)*(w + 7)?
True
Suppose -250 = -4*z + 38. Does 24 divide z?
True
Let f = 15 - 15. Suppose 3*x = 4*r - 236, x + f = 5*r - 306. Does 23 divide r?
False
Let g(q) = 4*q**2 - q**2 - 3*q - 2*q**2 + 2*q. Is 6 a factor of g(4)?
True
Suppose r + 17 + 3 = 0. Let x = r - -28. Is x a multiple of 7?
False
Suppose -c + 5 = -30. Is 16 a factor of c?
False
Suppose 0 = -7*o + 2*o + 165. Suppose 21 = u - o. Is u a multiple of 18?
True
Let b be (156/9)/((-4)/(-6)). Let x = 54 - b. Is x a multiple of 18?
False
Is (20 + -17)/(1/80) a multiple of 40?
True
Suppose 3*t - 2 = t. Let a be t/(((-15)/6)/(-5)). Suppose -f = -13 + a. Does 6 divide f?
False
Suppose 5*g = n - 31, 4*g = n + n - 32. Let m(h) = -h**3 + 5*h**2 + 3*h + 7. Let u be m(n). Let v = 9 - u. Is v a multiple of 8?
False
Let y = 11 + 7. Is y a multiple of 6?
True
Let q be ((-7)/(-4))/(1/(-56)). Suppose 0 = 5*n - 5*k + 40, -28 = n + 2*n - 5*k. Is (-1)/3 + q/n a multiple of 8?
True
Suppose -3*i - 562 + 169 = 0. Let p = i + 223. Suppose -38 = -5*g + p. Is 10 a factor of g?
False
Is (-10)/(((-80)/(-15))/(-8)) a multiple of 15?
True
Suppose 3*b = 4*z - 20, -3*b + 2*b = z - 5. Suppose -z*h = -6*h + 24. Suppose -v = -2*v + h. Is 16 a factor of v?
False
Let y be (-5 + 2)*(-2)/2. Suppose 0*o = -y*o + 6. Suppose -3*l + 31 = w, -w - 3*w - o*l + 74 = 0. Does 16 divide w?
True
Let v(b) = 26*b + 27. Is 37 a factor of v(8)?
False
Let g = -25 - -24. Let d(p) = p**2 - 5*p + 2. Let w be d(4). Is 6 a factor of ((-14 - w) + 0)/g?
True
Let t = -675 + 963. Suppose -4*d + m = -0*d - t, d - 72 = 4*m. Is d a multiple of 15?
False
Let v = 93 - 54. Is v a multiple of 12?
False
Is -2 + (-9)/(-3) + 38 a multiple of 13?
True
Let b(p) = -6*p**3 - 2*p**2 - p. Let k be b(-1). Suppose 3*l + 4 = 3*x - 2, -k*x + 3 = 2*l. Suppose c = 11 - x. Is 5 a factor of c?
True
Suppose -4*c + 3*p + 115 = 0, 4*c + 2*p = c + 65. Is c a multiple of 15?
False
Suppose -5*k + 3*k - 8 = -3*b, 7 = -3*b + 5*k. Let r be 21/b - 1/(-2). Suppose 16 = a - x, -r*a + 60 + 8 = -5*x. Is a a multiple of 4?
True
Suppose 126 = 4*u + 54. Is 9 a factor of u?
True
Let o(z) = 3*z + 15. Let a be o(-6). Is 1 + a + 16 + 2 a multiple of 4?
True
Suppose 2*l = -5*a + 184, -2*l + 62 + 8 = 2*a. Suppose 0 = 3*i - 4*t - 59 - 12, -2*i = 2*t - a. Is 9 a factor of i?
False
Suppose -t + 3*d + 65 = 0, 5*d - 7 = 18. Is 10 a factor of (t/(-12))/(2/(-6))?
True
Let x(y) = y**3 - 17*y**2 - 13*y - 20. Is 5 a factor of x(18)?
True
Let r = -16 - -11. Let o = r - -42. Does 17 divide o?
False
Suppose -5*o = 4*w - 6, 4*w + 9 = 3*o - 1. Let t be 9/(1*w/3). Let b = 39 + t. Is 6 a factor of b?
True
Let a be (-2)/6 - 117/(-27). Suppose -6 = -3*r + r + 5*k, -5*k - 22 = -a*r. Does 8 divide r?
True
Suppose -2*m = j - 23, -5*j + 56 + 98 = -3*m. Does 15 divide j?
False
Suppose 4*r + 9 + 63 = 0. Let o be 2/(-3) - 48/r. Does 4 divide 28/12*6/o?
False
Let j be (-1 - 0)*(-5 + 2). Suppose -j*s - 4*a + 23 = 0, 2*s - 7*s = -a - 46. Does 3 divide s?
True
Let u be 1*-2 - (10 + -3). Let n be (-1)/3 + 64/3. Let k = n + u. Is 12 a factor of k?
True
Let u = -3 + 1. Let p = u + 5. Suppose -p*a + 48 = a. Is 6 a factor of