 be the third derivative of -13*k**4/12 + k**3/3 + k**2. Does 15 divide s(-1)?
False
Suppose 0 = 4*m - 4, -15 = -2*v + 2*m + m. Does 3 divide v?
True
Let c(f) = 13*f - 29. Is c(8) a multiple of 7?
False
Let a(y) = -y**3 + 6*y**2 + 7*y + 5. Let g = 62 - 38. Suppose 6*m - 2*m = g. Does 18 divide a(m)?
False
Let j(u) = 3*u + 5. Let t be j(-4). Let a = -7 - t. Suppose 0 = -3*q + 5*l + 2, 2*q - 2*l = -a*q + 8. Is q a multiple of 3?
True
Suppose 0 = -3*k + 3*u + 9, 2 = 2*k + u + u. Suppose -k*w = -52 - 56. Does 15 divide w?
False
Suppose 0 = -5*s + 37 + 18. Suppose n + 5*b + s = 3*n, 0 = n + 4*b + 14. Is 16 a factor of 27 + n/(-2) + -1?
False
Let i(c) = -5*c**2 + 4*c - 4. Let s(u) = 11*u**2 - 8*u + 9. Let n(p) = -13*i(p) - 6*s(p). Let k be n(-5). Let y = 22 + k. Is 4 a factor of y?
False
Let n(k) = k - 1. Let i be n(-7). Let f(v) be the first derivative of -v**4/4 - 2*v**3 + 13*v**2/2 + 12*v - 28. Is f(i) a multiple of 18?
True
Let f be (-4)/10*-5 + 16. Let r = f - 9. Does 9 divide r?
True
Let j(s) = -34*s + 6 + 12*s + 58*s. Is j(2) a multiple of 25?
False
Suppose 2*w + 84 = b - 0*w, -5*b = w - 365. Is b a multiple of 16?
False
Let k = -1 - -3. Suppose k*t - 46 = -3*g - 2*t, 4*g - 24 = 4*t. Is 5 a factor of g?
True
Let s = 22 + -2. Is s/(-30) - 238/(-6) a multiple of 13?
True
Suppose -98 = -6*r + 4*r. Is 12 a factor of r?
False
Let n(f) be the second derivative of -3*f**3/2 + 3*f. Is 9 a factor of n(-3)?
True
Suppose 3*n - 2*m = 4, 4*m - 2*m - 16 = -2*n. Let f(q) = 12*q**2 - 5 - 4*q**2 - 7*q**2. Does 11 divide f(n)?
True
Suppose -3*t - 66 = 6. Let a = t + 52. Is 14 a factor of a?
True
Suppose 0 = -3*v - 356 + 1151. Does 53 divide v?
True
Suppose 4*q = -12, -2*d + q = -4*q - 63. Is 24 a factor of d?
True
Let a(m) be the first derivative of -m**2/2 + 6*m - 7. Does 4 divide a(0)?
False
Suppose 0*v + 3*v - 6 = 0. Suppose 74 = 4*r + v. Is 11 a factor of r?
False
Suppose 0*y + 36 = 4*y. Does 6 divide -2 + 48/y*3?
False
Let z(b) be the second derivative of 1/2*b**3 - b + 0 - 13/2*b**2. Is 7 a factor of z(9)?
True
Does 18 divide (3 - 0)*6*5?
True
Let o = -39 + 19. Let m = 10 - o. Does 10 divide m?
True
Let c be -10*1*-4 - 2. Suppose 2*y - 2 = 5*d, -5*y = 5*d - d - c. Suppose -2*i = y, 4*k - 2 = 3*i + 27. Does 5 divide k?
True
Suppose -x = 2*l - 187, 2*l - x = x + 196. Is 19 a factor of l?
True
Let n be 228/84 - (-2)/7. Does 7 divide -40*(38/(-10) + n)?
False
Suppose -4*h - 103 = -12*n + 11*n, -2*n = h - 197. Does 9 divide n?
True
Let b(f) = f**2. Let v be b(-6). Let n be (2 - 0)/((-6)/v). Does 15 divide ((-9)/4)/(n/160)?
True
Suppose -3*o + 160 = 2*o. Let b be ((-15)/(-30))/(2/184). Let m = b - o. Is m a multiple of 7?
True
Let g(a) = -3*a + 1. Let f be g(1). Is 1162/22 - f/11 a multiple of 20?
False
Let o be 328/20 - (-2)/(-5). Suppose -2*q + o = -a, 5*a = -0*q - 3*q - 80. Let w = a + 28. Is 12 a factor of w?
True
Let v(k) = 3*k**3 + 20*k**2 - 11*k - 9. Is v(-7) a multiple of 4?
False
Let z = -61 - -75. Does 14 divide z?
True
Let u(c) = c. Let z be u(5). Suppose -3*o - 4 = -4*m + o, 0 = z*m + 5*o - 55. Is 2/m + (-68)/(-12) a multiple of 6?
True
Suppose 2*x + 2*x - 8 = 0. Suppose -u = -5*u + x*y + 14, 24 = 5*u + 4*y. Suppose u*s - 24 = 3*s. Does 12 divide s?
True
Let h be (-5 + -1)*2/(-4). Let a = h - -2. Is 5 a factor of a?
True
Suppose 0 = b + 3*b - t + 15, -2*b + 3*t = 5. Suppose 4*w + r = 0, -3*w + 7*w = -2*r - 4. Is (w + b)*-6*2 a multiple of 12?
True
Let v be (-5 + 2)*(-17 + 0). Let b = v - 30. Let h = 63 - b. Is h a multiple of 14?
True
Let f(z) = -z + 4. Let o be f(0). Let p be o/6 - (-2)/6. Let b(u) = 3*u**2 + 1. Is 2 a factor of b(p)?
True
Does 3 divide (-10 - 0)*9/(-6)?
True
Let k be (-3)/1*56/(-6). Suppose 2 = 5*f - k. Is 3 a factor of (-12)/(-10)*15/f?
True
Let i = 0 - -5. Suppose i = 3*b + 2*b. Is b - (-42 + -2 + 1) a multiple of 20?
False
Let p = 15 - -3. Suppose 14 = 2*q - 0*h - 2*h, q = -4*h - p. Suppose -16 = -2*o - 3*x, 0 = 2*o - q*x - 8 - 8. Does 4 divide o?
True
Suppose 0 = d - 4*i - 5, -3*i = -2*d + 3*d - 5. Suppose 0 = -u - d*p + 10, -u - 3*p + 7 + 5 = 0. Does 5 divide u?
True
Suppose -m - 17 = 113. Let i be (-5350)/m - 2/13. Let h = i - 24. Does 8 divide h?
False
Let b be 4/6 + 6/(-9). Let t(p) = -10 + p + 14 + 16 - 2*p. Is t(b) a multiple of 15?
False
Let m(g) = 2*g**2 - 4*g. Let l be m(5). Suppose -3*k - 49 = 5*w + k, -19 = 3*w + 5*k. Let r = w + l. Does 8 divide r?
False
Suppose w + x = 8, -5*w - 3*x = -4*x - 16. Let g = 3 - w. Is 20 a factor of 2 + g + 3*14?
False
Suppose 5*j + 3*t = 16 + 19, 2*t = -j + 14. Let a = 40 + -4. Suppose -4 = -3*k - 2*i, -4*k + j*i + a = -i. Does 4 divide k?
True
Suppose x - 2*x = -27. Suppose -w + x + 2 = 0. Is w a multiple of 16?
False
Suppose 0 = 2*u - 3*u - 52. Let c = -27 - u. Is 12 a factor of c?
False
Is 2/(-11) - 272/(-44) a multiple of 3?
True
Let v = 16 + -13. Does 2 divide v?
False
Suppose 5*o + 5*r - 7*r - 12 = 0, 2*o = 3*r + 7. Is 2 a factor of o?
True
Let a = -13 - -49. Does 18 divide a?
True
Let o = 66 - 37. Suppose 0 = 3*p + 5*l - 0*l - 23, -4*p - 5*l + o = 0. Let x = p - 2. Is 4 a factor of x?
True
Suppose s - 5*y + 71 = 0, -2*s = -7*s - 5*y - 295. Let q = 98 + s. Let t = q + -22. Does 5 divide t?
True
Suppose 3*f - 15 = -2*f. Suppose 3 = f*p - 6. Does 2 divide p?
False
Suppose 5*j = j - 16. Is 13 a factor of (-130)/(-4) - j/8?
False
Let s be (2 + -3)*(0 + -15). Suppose f - s = 9. Is 12 a factor of f?
True
Let i(u) = -u**2 + 12*u - 13. Let b be i(10). Let g(m) = m**3 - 4*m**2 - 10*m - 2. Let c be g(b). Suppose 0 = -8*w + 3*w + c. Is 7 a factor of w?
False
Suppose 96 = 4*b + 2*f, -5*b = f - 38 - 85. Is 5 a factor of b?
True
Suppose 2*l - 5*j - 244 + 44 = 0, -3*j = -4*l + 428. Let m(g) = -4*g**3 + g**2 - 1. Let b be m(1). Is 12 a factor of l/4 + b/(-8)?
False
Suppose 0 = -g - 5*u + 44, 4*u = 5*g + 2*u - 112. Suppose 0 = -4*f + g - 0. Does 14 divide (f - 2)*(0 + 6)?
False
Let i(g) = g**3 - 4*g**2 - 5*g - 6. Let c be 9/15 - 44/(-10). Let l be i(c). Let p(v) = v**2 + 6*v + 2. Is p(l) even?
True
Does 22 divide -2*(4 + -3) + 101?
False
Suppose 0 = 3*d - 4*d + 3. Suppose d*b - 15 = 6*b. Let p = b - -11. Does 6 divide p?
True
Let i = -1 + 0. Let u = 42 + i. Suppose 39 = 5*h - u. Is h a multiple of 12?
False
Suppose -10 = 2*j, -7*q + 47 = -4*q - 4*j. Is q a multiple of 2?
False
Suppose 3*n - 5*t + 0*t - 257 = 0, 0 = -3*t - 12. Is 15 a factor of n?
False
Is 3/5 + 668/20 a multiple of 10?
False
Let z(m) = 3*m + 7*m + m + 2*m**2 - 4*m - 3. Let r be z(5). Suppose 0 = 5*h - r + 27. Is 6 a factor of h?
False
Suppose 67 = 2*o + 19. Is 4 a factor of (o/15)/((-2)/(-5))?
True
Let z be -1*(3 - (3 + 0)). Suppose n - 23 = -a - 9, -2*a - 3*n + 26 = z. Is a a multiple of 8?
True
Let s(x) = -x**2 - 4*x + 7. Let u be s(-5). Is 15 a factor of (-358)/(-8) - u/(-8)?
True
Let d(l) = -5*l**2 - 7*l + 3. Let r(b) = -4*b**2 - 7*b + 3. Let x(u) = 5*d(u) - 6*r(u). Does 3 divide x(5)?
False
Let n = 16 - -165. Is n a multiple of 17?
False
Let u be (4 - (4 + -3))/(-1). Is ((-1)/u)/((-1)/(-18)) a multiple of 2?
True
Suppose -b = -5, -4*g = -2*b - 53 - 105. Suppose -2 = q, -g = -a - q - 3*q. Let z = a + -30. Is 8 a factor of z?
False
Let n(f) = -22*f - 2. Does 20 divide n(-1)?
True
Suppose -8 = -v + 2*v + 4*t, 4*t = -4*v - 8. Let c(l) = -l**3 + l**2 + l + 23. Does 12 divide c(v)?
False
Is 25 a factor of 15*(-1)/(-2)*10?
True
Let v = 30 + 15. Suppose -4*y + 123 + v = 0. Is 14 a factor of y?
True
Suppose 0 = 5*j - 9 - 66. Suppose -3*k - j = -0*k, 0 = -h - k + 23. Does 9 divide h?
False
Let h(j) = j**3 - 5*j**2 + 2*j - 7. Let q(w) = 5*w**2 + 2*w**3 - w**3 - 7*w + 5*w - 2*w**3 + 8. Let d(x) = 5*h(x) + 4*q(x). Does 6 divide d(5)?
False
Let q(g) be the second derivative of -169*g**5/20 - g**4/6 - g**3/3 - g**2/2 + 3*g. Let a be q(-1). Does 15 divide 2*1 - a/(-6)?
True
Let j(d) = -5*d - 1. Let p be j(-1). Suppose -5*o = 5*h - 175, -o + 4*o - 91 = p*h. Does 12 divide o?
False
Let i(w) = 3 - 12*w + 5 - 5. Is i(-3) a multiple of 14?
False
Let h be (-4 - -1)*5/3. Let d = 6 + h. Does 15 divide 19 + (-2)/(-1) + d?
False
Let w = -2 + 9. Suppose 4 = -2*p + 4*p. Suppose -p*z + w = -z. Does 4 divide z?
False
Suppose -l = 4*w - 5 - 52, 4*l + 3*w = 215. Does 22 divide l?
False
Let s = -108 + 158. Is s a multiple of 10?
True
Let z(r) = -r**3