 - 15. Is v a multiple of 2?
False
Suppose 149*y = 151*y - 68. Does 17 divide y?
True
Let z(y) be the third derivative of -y**4/24 - y**3/6 + 2*y**2. Let d be z(-3). Suppose -r + 33 = d*r. Is r a multiple of 4?
False
Suppose 2*f = -3*f. Suppose -j = -4*i - 13, f = 2*j - 5*i - 5 - 21. Does 9 divide j?
False
Suppose t + 4*d = 33, d = -3*t + 9 + 46. Let q(k) = k**3 + 4*k**2 + 2. Let s be q(-3). Let p = t - s. Is 6 a factor of p?
True
Let j = 1068 + -728. Suppose -4*h = h - j. Let f = h + -35. Is f a multiple of 17?
False
Suppose 2*b - 4*b = -8, -3*a + 1 = -2*b. Suppose 3*m - 5 = 5*x, 4*m + m = -3*x - 3. Suppose 0 = a*z - m*z - 18. Is z a multiple of 3?
True
Let z = 370 + -236. Is 23 a factor of z?
False
Suppose -3*z + 38 + 52 = 0. Suppose 6*c = 9*c - z. Does 5 divide c?
True
Let q(b) = -b**3 + 8*b**2 - 5*b - 4. Let y be q(6). Let n = -14 + y. Is n a multiple of 9?
False
Suppose -4 = 3*z - 10. Is (5/(10/16))/z a multiple of 4?
True
Let a = -62 + 153. Does 26 divide a?
False
Let a(y) = -15*y - 2. Suppose 3*d = -5 + 17, 4*d = 5*h + 26. Is 14 a factor of a(h)?
True
Let s(l) = 3*l**3 + 3*l**2 + 5*l - 15. Is s(4) a multiple of 27?
False
Let m be 3 + -2 - (-1 + -3). Let v = m + 1. Does 2 divide v?
True
Suppose -55 = -5*t + 5*n + 260, 5 = -5*n. Does 9 divide t?
False
Let d(l) = 6*l - 1. Let q be d(2). Let r = q - 7. Is 1 - r/((-12)/117) a multiple of 14?
False
Let i(w) = -w**3 + 8*w**2 - 4*w + 3. Is 15 a factor of i(6)?
False
Suppose -5*z = t + t - 24, z = t - 5. Is t a multiple of 5?
False
Suppose -12 = -3*j + 135. Let g be (j/14)/((-1)/(-2)). Suppose 0 = -g*c + 2*c + 60. Is c a multiple of 6?
True
Does 32 divide (-32)/((3 - -2)/(-10))?
True
Let o = -18 - -81. Is 7 a factor of o?
True
Let w = 22 + -10. Does 4 divide w?
True
Let h(y) = 2*y - 1 - 2*y - 5*y. Is 13 a factor of h(-8)?
True
Let a(q) be the third derivative of -q**4/8 + 2*q**3/3 + 3*q**2. Let x be (4/(-6))/((-2)/(-18)). Is a(x) a multiple of 13?
False
Is 13 a factor of (-734)/(-14) - 3/7?
True
Let h(c) = 3*c + 1. Suppose 5*n + 20 - 1 = 3*j, -2 = n. Is 10 a factor of h(j)?
True
Let n(g) = -4 + 4 - 13*g - 1. Does 16 divide n(-5)?
True
Let r = 103 - 37. Does 23 divide r?
False
Suppose -5*k - 5 = 0, 3*k - 174 - 143 = -4*c. Is c a multiple of 19?
False
Let v be 1/((-2)/(-4)) - 6. Let z be 0 - (v + 2 - 28). Suppose -z = o - 4*o. Is o a multiple of 6?
False
Let q = -12 + 18. Is 10/q*255/17 a multiple of 25?
True
Let h(o) = -5*o**2 + 9*o - 20. Let r(t) = -t**2 - t. Let j(f) = -h(f) + 6*r(f). Is 17 a factor of j(-14)?
True
Let p(w) = -6*w. Let s = 11 + -16. Does 10 divide p(s)?
True
Let j(w) = -w**3 + 9*w**2 + 12*w + 6. Let t be j(10). Let n = t + -60. Does 17 divide n*(3/(-6) - 0)?
True
Let q(b) = 2*b**2 - 14*b + 16. Is 6 a factor of q(8)?
False
Suppose -5*u + 17 = -5*o - 23, 30 = -5*o + 3*u. Let f be 18/15 - (-78)/10. Let w = f + o. Does 4 divide w?
False
Let o(s) = 2*s**2. Let u be o(-1). Suppose -x - u*x = -51. Does 17 divide x?
True
Let r = 2 + 2. Suppose 3*s - 144 = b, -173 = -r*s - 2*b - 3*b. Does 13 divide s?
False
Let t = 2 + 3. Suppose -4*k + 28 = -4*x, 0 = -4*k + 3*x + 3 + 20. Suppose -2*v + 41 = -t*g, -k*v + 0*g + 53 = -g. Is v a multiple of 14?
True
Let v(x) = 3*x + 2. Does 20 divide v(6)?
True
Let f(s) = -s**2 - 3*s + 1. Let x be f(-3). Suppose 1 + x = -2*u. Let j = 13 - u. Is j a multiple of 14?
True
Suppose 3*u - 2*o = 146, -4*u + 0*o = -o - 203. Let h = 4 + u. Is 23 a factor of h?
False
Let u = 102 + -3. Is u a multiple of 33?
True
Let s = 11 - -7. Let m = s - 10. Does 4 divide m?
True
Let o(d) = -d**3 - 9*d**2 + 3*d - 1. Is 27 a factor of o(-10)?
False
Let j(y) = y**2 + 11*y + 15. Let r be 4/3*(-15)/2. Let s be j(r). Suppose -s*w + 28 = -17. Is 4 a factor of w?
False
Suppose -2*n + 15 = -5*n. Does 4 divide (-46)/n + (-3)/15?
False
Let x be (-1 + -5)/(1 - -1). Let c(a) = -a + 4. Is 7 a factor of c(x)?
True
Suppose -z + 2*z - 2*d - 15 = 0, -5*d = -4*z + 54. Let a(y) = y**3 - 12*y**2 + 10*y + 16. Is a(z) a multiple of 5?
True
Suppose 2*i + 228 = 2*d, 4*i = -3*d - d + 448. Is 31 a factor of d?
False
Let t(x) = -26*x**3 - x - 2. Let m be t(-1). Let l = m - -3. Is 14 a factor of l?
True
Let k = 34 + -22. Does 10 divide k?
False
Let f = -1 - 82. Let r = 123 + f. Is 19 a factor of r?
False
Let t(h) be the third derivative of -h**6/120 + h**5/20 + h**4/12 - h**3/2 - 5*h**2. Is t(-3) a multiple of 15?
True
Let z = 238 - 166. Is z a multiple of 18?
True
Suppose -5*w + 200 = 4*b, 0 = 2*w + w + 3*b - 117. Suppose -2*v - 5*n + w = 0, 3*v = 4*v - 3*n. Is v a multiple of 12?
True
Let i be (-2 + (-1)/2)*-2. Let d(t) = t**3 - 4*t**2 - 6*t - 2. Let o be d(i). Let n = o - -9. Is 2 a factor of n?
True
Suppose 0*p + 2*x = -2*p + 74, -3*p + 3*x = -117. Suppose -v = v - p. Is 10 a factor of v?
False
Let r be (18/15)/(2/(-10)). Let v(f) = f**3 + 6*f**2 - 6*f - 3. Let j be v(-6). Let c = j - r. Does 18 divide c?
False
Suppose d + 0*d = 0. Suppose p - 2 - 1 = d. Suppose -2*z + p*c = -0*z - 43, -3*z - 2*c = -84. Is z a multiple of 16?
False
Let z = 238 - 126. Is 22 a factor of z?
False
Suppose -c - c = 4. Let b = c + 5. Suppose -h - 2*h + f = -142, -4*h + 196 = -b*f. Is h a multiple of 23?
True
Is 2 a factor of ((-66)/(-11))/((-1)/(-1))?
True
Suppose -4*h = l - 54, 8*l = 3*l + 2*h + 204. Let q = 84 - l. Is 21 a factor of q?
True
Suppose 0 = 5*f + 6 - 16. Suppose -f*l + 30 = -3*o, 3*l - 5*l - 2*o + 30 = 0. Does 5 divide l?
True
Let z(m) = m**2 - 4*m + 4. Let t be z(4). Suppose 0 = -0*u + t*u - 12. Is 3 a factor of u?
True
Let x = 5 + -3. Suppose 4*h - 58 = x*h. Is h a multiple of 8?
False
Let y(c) = -c**2 + 11*c - 6. Suppose 5*q - 5*f - 21 = 14, 5*f - 7 = -q. Is 22 a factor of y(q)?
True
Suppose 2 = o + 5*y, 0 = 4*y + 8 - 4. Let p(v) = -v**3 - 10*v**2 + 10*v + 1. Let m be p(-11). Let d = m + o. Is 19 a factor of d?
True
Let f be -4*17/(-2) + -2. Suppose 3*r = -f + 140. Is 12 a factor of r?
True
Let a = -5 + 7. Suppose a*k + 16 = 6*k. Suppose 133 = k*l - 103. Does 23 divide l?
False
Suppose 4*r + 483 = 495. Is 3 a factor of r?
True
Let k(l) = -l**2 + l + 80. Does 10 divide k(0)?
True
Let h(t) = -t**3 + 6*t**2 - 3*t + 4. Let s be h(5). Suppose -s + 2 = -c. Suppose -98 - c = -5*k. Does 17 divide k?
False
Suppose -3*r + 11 = -31. Is r a multiple of 5?
False
Let j be 3*9 + 6 + -5. Does 4 divide (30/35)/(2/j)?
True
Let f be (-9)/(-6)*(-24)/(-9). Let n = -1 - -1. Suppose n*h + 68 = f*h. Does 17 divide h?
True
Suppose 0 = 5*f - 15, 5*f - 146 = 5*p + 429. Let h = -75 - p. Does 11 divide h?
False
Let s(p) = -p**2 - 21*p + 22. Let k be s(-15). Let o = k + -68. Is 22 a factor of o?
True
Let i = 14 + -11. Suppose 16 + 5 = i*v. Does 7 divide v?
True
Suppose m = -4*m - 2*b - 23, 0 = -b - 4. Suppose 2*i = 8, -3*t + 0*t + 4 = i. Is t - -55 - (m + 3) a multiple of 20?
False
Let o(c) be the second derivative of -c**5/20 + 3*c**4/4 + 3*c**3/2 + 7*c**2/2 - c. Let v be o(10). Let t = 7 + v. Does 4 divide t?
True
Is 5 a factor of ((-5)/3)/((-6)/36)?
True
Let m = 15 + -29. Let k = m - -37. Is 11 a factor of k?
False
Let b = -10 - -20. Suppose -5*h - 35 = -b*h. Is h even?
False
Let h = 188 - 126. Is h a multiple of 31?
True
Is 30/18 - (-1)/3 a multiple of 2?
True
Let o(a) be the second derivative of -89*a**3/6 + a**2 - a. Let m be o(-2). Suppose -3*j - j = 4*h - m, -5*j + 4*h + 216 = 0. Is j a multiple of 16?
False
Suppose 4*u = u + b + 3, 5*u + 2*b = 5. Let w(y) = 2*y**3 - y**3 + 0 - y - 3*y**2 + u + 10*y**2. Is w(-7) a multiple of 8?
True
Suppose 0*k - 2*k - 2 = 0. Does 11 divide (k/(-4))/(4/176)?
True
Suppose 21 = 4*m - m - 3*t, 4*t = -3*m - 14. Suppose -z - 96 = -2*q, -4*z - 144 = -q - m*q. Does 13 divide q?
False
Let l(i) = i**2 - 5*i. Let c be l(5). Suppose -4*t = 5*k - c*k - 91, -4*k + t + 56 = 0. Let n = -9 + k. Is 2 a factor of n?
True
Let g(o) be the second derivative of o**4/12 + 5*o**3/6 + 2*o**2 - 2*o. Let z be 2 - (0 - (-11 - -2)). Is 18 a factor of g(z)?
True
Let d = -33 - -57. Does 12 divide d?
True
Let h(w) = -w**2 + 3*w + 3. Let m be h(3). Does 13 divide 3 + (90/2 - m)?
False
Suppose -55 + 15 = 4*j - 4*k, 0 = j - 4*k + 22. Is (-90)/(-4)*(-8)/j a multiple of 4?
False
Let o(z) = z**2 - z + 1. Let h be o(2). Suppose 0 = d + 2*r + h*r - 31, 3*r + 15 = d. Is 21 a factor of d?
True
Let l be (7/(-2))/((-2)/4). Let d = 10 