 = v. Suppose 4*h + v = h. Does 8 divide (-36)/h + -1 + 0?
False
Let m = 22 - 7. Let r be (3/(-2))/(m/(-380)). Suppose 0 = -z + 3*z - r. Is 13 a factor of z?
False
Suppose 5*r = -h + 438 + 37, 0 = 2*r + 3*h - 190. Is r a multiple of 19?
True
Let p(n) = 3*n + 22. Does 20 divide p(12)?
False
Let w(d) = -37*d**2 + 4*d + 7. Let i(q) = -73*q**2 + 7*q + 13. Let s be (-1)/3*(-9 - 24). Let b(u) = s*w(u) - 6*i(u). Is b(1) a multiple of 11?
False
Let t = 16 - 9. Suppose 33 = 2*j - t. Let i = -9 + j. Is 10 a factor of i?
False
Is (4/10)/(-8 + 28566/3570) a multiple of 14?
True
Let d(a) = 0*a**2 + 10*a**2 + 4*a - 2*a + 1. Is 8 a factor of d(-1)?
False
Let v(c) = c**2 + 3*c - 3. Let k be v(-5). Let g = -8 + k. Is 6 a factor of 2/1 - (-15 - g)?
False
Suppose 0 = 6*i - 683 - 343. Is i a multiple of 19?
True
Let d = 233 + -113. Is d a multiple of 20?
True
Is (12/10)/(3/165) a multiple of 20?
False
Let x(t) = t**2. Let y be x(2). Let w = 4 + y. Does 4 divide w?
True
Suppose g + 3*g + 232 = 0. Let q = -36 - g. Is 13 a factor of q?
False
Let k be 120/21 + 2/7. Let q(b) = -4*b**2 + 4*b - 4. Let j(g) = 5*g**2 - 3*g + 3. Let c(r) = k*j(r) + 5*q(r). Is c(-2) a multiple of 17?
True
Suppose -6*p = -0*p - 78. Is p a multiple of 10?
False
Let b be -2*4/(16/10). Let o = -17 - b. Is (-4)/(o/45) - 3 a multiple of 6?
True
Suppose 0 = d - 2*d - 4*b + 14, -5*d - 2*b = -106. Is 11 a factor of d?
True
Suppose 8*v - 7*v = 9. Is v a multiple of 3?
True
Suppose -4*t + 11 + 1 = 0. Suppose t*p + 0*p - 48 = 0. Does 14 divide p?
False
Suppose -2*k + 3 = -3*a + 2*k, 30 = 5*a + 5*k. Suppose 4*d - 2*r = -0 + 48, 0 = 3*d - a*r - 33. Is 5 a factor of d?
False
Suppose -j - 293 - 157 = -4*d, 328 = 3*d + 4*j. Is 12 a factor of d?
False
Let k(i) = 56*i**3 - i**2 + 1. Let h be k(1). Let d = 80 - h. Is d a multiple of 12?
True
Suppose -8 = g - 3*g. Suppose 2 = -g*f + 90. Is 5 a factor of f?
False
Let o(z) = z**3 - 3*z**2 + 4*z - 4. Let u be o(4). Suppose 118 = 3*h + u. Is 16 a factor of h?
False
Is 50*5/10*7 a multiple of 25?
True
Suppose -3*u = -5*n - 2*u + 60, 4*n = -u + 48. Suppose -2*r = 2*v - n, -v - r - r + 6 = 0. Is v a multiple of 6?
True
Let p(a) = 2*a + 12. Let u be p(-8). Does 3 divide (-11)/(u/(-8)*-2)?
False
Let v(s) be the second derivative of s**4/3 + s**3/3 + 3*s**2/2 + 6*s. Is 11 a factor of v(-3)?
True
Suppose 0 = -5*p + 15 - 0. Let w(h) = 7*h + p - 3*h + 7*h. Is 13 a factor of w(3)?
False
Let c = -12 + 132. Suppose 5*p - c + 0 = 0. Is 5 a factor of p?
False
Is -2 - -6 - (3 - (-256)/(-2)) a multiple of 43?
True
Let l be 2/((-4)/(-84)*3). Let i = l + -2. Does 4 divide i?
True
Suppose -4*u = 3*y - 839, -u + 221 = -0*y - 3*y. Is u a multiple of 19?
False
Let y(p) = -p. Suppose -3*u + 4*w = -w - 2, -2*u = 4*w + 28. Does 6 divide y(u)?
True
Let r(h) = 2*h**2 + 5*h - 2. Let t be r(-6). Let n = 68 - t. Does 14 divide n?
True
Suppose 3*c + 3*r - 11 = 16, 0 = 5*c + 2*r - 45. Suppose -p = 15 + c. Let z = 63 + p. Does 13 divide z?
True
Suppose -3*c - 11 = 3*i + 1, -4*i = 2*c + 8. Let p = 5 + c. Let h(f) = 3*f**2 + f - 1. Is h(p) even?
False
Let z(f) = 5*f**3 - 11*f**2 + 17*f - 1. Let r(j) = -j**3 - j + 1. Let a(c) = 4*r(c) + z(c). Is 17 a factor of a(10)?
False
Let v(k) = k**2 - 8*k - 5. Let y be v(9). Suppose y*b - 102 = b. Does 16 divide b?
False
Suppose -2*q + 78 = q. Let d = 91 - q. Is d a multiple of 23?
False
Suppose -3*l = n - 7, 0*l - 4*n - 32 = -3*l. Suppose 4*y + 0*y = l. Let u = y - -15. Is u a multiple of 16?
True
Suppose -d - 3*b + 73 = 0, b + 172 = 5*d - 161. Let h = -22 + d. Is h a multiple of 15?
True
Let o be (-1 - -3)/(0 - 2). Let l = o + 11. Does 5 divide l?
True
Let y be -1*((-5)/(-1))/(-1). Suppose y*v = v. Suppose -4*r + 32 + 48 = v. Is 10 a factor of r?
True
Let t(l) be the third derivative of 0*l**5 + 1/24*l**4 + 0 - 1/120*l**6 + 0*l + 2*l**2 - 1/3*l**3. Is 8 a factor of t(-3)?
False
Let f = 1 - -14. Let u = f - -3. Is 6 a factor of u?
True
Let d be ((-2)/5)/(1/10). Let j be (0 - 1)*(d + 2). Is j/(-11) - 1227/(-33) a multiple of 16?
False
Let x(k) = k**2 - 8*k + 12. Let n be x(6). Suppose -4*f = -4*h + 132, -5*h - 2*f + 186 = -n*h. Is 9 a factor of h?
True
Let c = 421 + -283. Let i = c + -50. Suppose g - 4*s + i = 3*g, -4*g + 166 = -2*s. Is 14 a factor of g?
True
Suppose -2*j + 130 = -190. Does 32 divide j?
True
Let f = 32 - 21. Suppose n - f - 21 = 0. Is n a multiple of 8?
True
Let g(q) = -4*q + 1. Does 19 divide g(-10)?
False
Is (-506)/115*(-24*1 - 1) a multiple of 15?
False
Suppose 4*p - 8 = w, 2*w + 2*p = -27 - 19. Is 13 a factor of 6/8 - 1105/w?
False
Suppose 4*k - 3*n = -11, 4*k + 4*n = 2*k. Suppose 2*p + 3*p - 170 = 0. Is 8 a factor of k/4*p/(-1)?
False
Is 69/4 + (-6)/(-8) a multiple of 6?
True
Let v = 3 - 3. Suppose 4*g + v*g + 36 = 0. Does 9 divide -18*6/g + 2?
False
Let s = -220 - -418. Does 11 divide s?
True
Let q = 9 + -17. Does 5 divide -7*-2*(-4)/q?
False
Suppose -u - 3*u + 5*d + 37 = 0, -2*u = 3*d + 9. Suppose 8 = u*n - 2*n - 5*t, -3*t - 18 = -5*n. Is -1 + n - (-24 + -2) a multiple of 14?
True
Let r = 16 + -26. Let h(i) = -i**3 + 2*i**2 + 7*i. Let p be h(5). Let c = r - p. Is 15 a factor of c?
True
Let t = 0 + 0. Is 4 a factor of -2 + (t - -1) - -5?
True
Let y(o) = -o**3 + 7*o**2 + o - 2. Let m = -20 - -23. Is y(m) a multiple of 9?
False
Suppose 0 = 3*i + 4*s - 116, -3*s + 81 = 3*i - 36. Does 9 divide i?
False
Let k(s) = -16*s**2 + s - 2. Let l be k(2). Let y = -34 - l. Suppose 2*z + y = 114. Is 21 a factor of z?
True
Let b(m) = m**3 + m + 27. Let f be b(0). Let v = f + -16. Is v/2 - 1/2 a multiple of 3?
False
Suppose -116 = 4*m + 28. Let h = m - -81. Is 15 a factor of h?
True
Let a(c) = 3*c**3 - c**2 + 1. Let q be a(1). Suppose q*y = -y + 140. Let k = -20 + y. Is 15 a factor of k?
True
Suppose 0 = 5*f - 4*f - 38. Let i = -20 + f. Does 9 divide i?
True
Let o be 438/(-24) + 1/4. Let l be ((-3)/6)/((-1)/(-24)). Let p = l - o. Is p a multiple of 3?
True
Suppose p + 2 = 2*p. Suppose 3*n - p*k = -2, 0 = -5*n - 7*k + 3*k + 4. Suppose 5*l = -3*q + 87, 2*l - l = n. Is 17 a factor of q?
False
Let f = -9 - -12. Suppose f*v - 94 = -16. Is 13 a factor of v?
True
Suppose 2*c = 5*x + 55, 4*c - 166 = x - 11. Does 20 divide c?
True
Suppose 0 = -2*d - 2*h + 30, 0 = d - 5*h - 2 + 5. Let k = d + -7. Is 5 a factor of k?
True
Let l(s) = s**2 + 7*s + 10. Let j be l(-7). Suppose -1 = 3*y - j. Suppose y*a - 32 + 2 = 0. Is 4 a factor of a?
False
Suppose 0 = i + 3*q - 16, 2*q = -i + 3*i - 72. Is i a multiple of 5?
False
Let i(b) = -b**3 - 7*b**2 + 7*b - 4. Let x be i(-8). Suppose -x*n + 2*n + 120 = 0. Suppose o - 5*o = -n. Does 5 divide o?
True
Suppose 0*n + 3*i + 3 = 5*n, -31 = -5*n - 4*i. Suppose y = n*y. Suppose y*p - 2*p + 32 = 0. Is 10 a factor of p?
False
Suppose 2*l = l. Let g(a) = -a**3 + 9*a**2 + 12. Let f be g(9). Suppose l = -b - r + 5, 4*r = -2*b + 3*r + f. Is b a multiple of 3?
False
Let f(b) = -b**2 + 8*b - 5. Let n be f(7). Suppose 3*y = n*y + 4. Is y a multiple of 4?
True
Let x = 30 - 17. Is 4 a factor of x?
False
Suppose -3*m + 7*m - 308 = 3*t, -5*m + 385 = -3*t. Suppose 4*x - m = 243. Suppose 0 = -3*n + x + 10. Does 15 divide n?
True
Suppose -5*q + 358 = -117. Is q a multiple of 5?
True
Suppose -4*v + 182 = 2*l, -3*v + l + 154 = -l. Let c be ((-10)/(-25))/(1/10). Suppose -4 = c*i - v. Is i a multiple of 6?
False
Let o be (-4)/24 + 37/6. Let i(a) = -8*a + 24*a + a**2 - 2*a**2 - 8. Is 26 a factor of i(o)?
True
Let q(l) be the second derivative of l**4/12 + 33*l**2/2 + 2*l. Does 11 divide q(0)?
True
Let r(q) = 7*q**3 + 4*q**2 + 3*q. Let b(t) = -4*t**3 - 2*t**2 - 2*t. Let a(u) = -5*b(u) - 3*r(u). Is a(-4) a multiple of 28?
True
Let g(q) = -q**2 - 3*q + 3. Suppose -a + 2*a + 3 = 0. Let i be g(a). Is 3 a factor of 3*(-2)/(-3) + i?
False
Let x = -9 - -12. Suppose -3*r + 3*d - 2*d + 60 = 0, x*r - 5*d = 72. Does 19 divide r?
True
Suppose l = 2*o + 30, 4*o + 14 = l - 26. Is 7 a factor of l?
False
Suppose 14 = 5*r - 6. Let v = r + -3. Suppose j - 30 = -5*i, 2*i + 1 = -v. Does 19 divide j?
False
Let n = -3 - -3. Let a = n + 18. Is 10 a factor of a?
False
Suppose -3*l + 9 = 3*z, z - 4 = 3*l - 5*l. Let n be (56/(-10))/((-4)/10). Suppose -z*o + n = a, -151 = -4*a + 2*o - 45. Is 18 a factor of a?
False
Suppose 3*w = -r + 1 - 5, 3*w - 12 = 3*r. Suppose -4*q + 26 = 5*y -