a multiple of 13?
True
Let p = 12 - 19. Let s(i) = 2*i**3 + 7*i + 9 - 2*i**2 - i**3 - 2*i**3 - 4*i**2. Does 8 divide s(p)?
False
Let c(r) be the first derivative of r**5/60 - r**4/8 - r**3/2 + r**2 + 1. Let h(y) be the second derivative of c(y). Is 9 a factor of h(-3)?
False
Let k(t) = t**3 + 9*t**2 - 4*t - 13. Let n be k(-9). Suppose -3*x + n = v, -2*v + 0*v = -x + 17. Is 4 a factor of 6*(-1 - (-21)/x)?
True
Let q = 25 + 80. Is q a multiple of 36?
False
Let x(g) = 20*g. Suppose 0 + 2 = 2*s. Does 3 divide x(s)?
False
Let y(f) be the second derivative of 13*f**4/12 - f**3/6 + f. Does 12 divide y(1)?
True
Let k be 0 - 0/(0 - 4). Suppose k = -2*c + 7 + 3. Is 2 a factor of c?
False
Let z = 20 - 41. Does 14 divide 3/((-9)/z)*12?
True
Let f(l) = 8*l**3 + 4*l**2 - 5*l + 2. Is 9 a factor of f(2)?
True
Let t be 0/(6/3 + -3). Let z = t - 0. Is 10 a factor of -3*(20/(-3) - z)?
True
Does 15 divide (-2279)/(-9) + -3 + (-75)/(-27)?
False
Let o(c) = -46*c**3 + 13*c**2 - 10*c. Let g(s) = -31*s**3 + 9*s**2 - 7*s. Let a(u) = 7*g(u) - 5*o(u). Let x be (-1)/(2 + -3)*1. Does 12 divide a(x)?
True
Let l(d) be the third derivative of -d**5/60 + d**4/3 + d**3/3 - 2*d**2. Does 4 divide l(6)?
False
Suppose 4*w + 32 = 2*x - 0*x, -5*w + x - 40 = 0. Let l = w + 35. Is l a multiple of 9?
True
Let y(z) = -5*z**3 - z**2 + 1. Let m be y(1). Let x(f) be the first derivative of f**4/4 + 4*f**3/3 - 4*f**2 - 4*f - 6. Is 11 a factor of x(m)?
True
Suppose -4*m + 4*k = -8, 0 = 3*m + 2*m + 4*k - 37. Suppose -3*o - 24 = -m*o. Is (o/(-5))/((-1)/10) a multiple of 22?
False
Let i(g) = -g + 7. Let y be i(5). Suppose 3*z = y*z + 23. Does 13 divide z?
False
Let k(u) = u**3 - 4*u**2 + 5*u - 2. Let n be k(4). Let j = n - -9. Is 18 a factor of j?
False
Let k(j) = -36*j - 1. Let i be k(-2). Suppose 4*a - 255 = -i. Suppose 3*t + a = 5*s, s + 3*s - 3*t = 35. Is s a multiple of 5?
False
Let i be (119/(-14))/((-2)/20). Suppose -y + i - 14 = 0. Is y a multiple of 21?
False
Suppose -h - 3*t = 3, 2*t = 5*h - 0 - 2. Suppose 5*n + 4*j - 25 = 0, -4*n - 3*j + j + 26 = h. Let a = n + -2. Does 7 divide a?
True
Suppose -12*l + 800 = -4*l. Does 11 divide l?
False
Let j(f) = -f**2 - 1. Let y(o) = -7*o**2 + 4*o - 4. Let t(q) = 4*j(q) - y(q). Is 13 a factor of t(4)?
False
Suppose 18 = 5*b - o + 3, 0 = 3*b + 2*o - 22. Is 9 a factor of 24 + (b - (3 - 1))?
False
Let i = -1 + 0. Is 11 a factor of i + 9/(-3) - -59?
True
Let z(f) = -6 - 2*f + 4 + 24*f**2 - f**3 - 15*f**2. Does 14 divide z(4)?
True
Suppose -4*j = 5*q - 0*q + 29, -5*j + 56 = -4*q. Let h = 6 - q. Is 15 a factor of h?
True
Is 9 a factor of (-7)/(3*(-4)/24)?
False
Suppose 3*v - 8*v + 10 = 0. Suppose 0 = v*j - 0*j - 4*d - 14, 2*j - 3*d = 14. Does 7 divide j?
True
Suppose 0 = i + 2*i - 6. Suppose -i*w = -h + 6, 4*h - 6*w = -2*w + 32. Is 3 a factor of h?
False
Let u = -3 + 0. Is 8 + -2*u/(-6) a multiple of 2?
False
Let o(y) = -y**3 + 13*y**2 - 9*y - 8. Suppose -4 = -2*h - 0*h. Suppose -5*r + 39 = h*d - 0*d, 4*d - 5*r = 33. Does 14 divide o(d)?
True
Let a be 1/(2*(-3)/(-24)). Suppose r + 11 = 4*u - 1, 0 = -4*u + a*r. Suppose -16 = -4*d, u*d = 5*n - 99 - 0. Is n a multiple of 10?
False
Let k be (-3)/2*8/3. Let g(z) = z**3 + 5*z**2 - 3*z + 3. Let p be g(k). Let n = p - 18. Is n a multiple of 13?
True
Suppose -20 - 46 = -3*b. Does 22 divide b?
True
Let k be (-3)/(-1)*(-1 + 2). Suppose p + 2 = 4*f, 4*f - 6*p = -k*p + 6. Suppose -g = -f*g - 10. Is g a multiple of 4?
False
Let f(n) = -15*n + 1. Let i = 6 - 14. Let v(y) = y**2 + 9*y + 7. Let d be v(i). Is f(d) a multiple of 8?
True
Suppose -5*i = s + 12 + 7, 0 = i - s - 1. Let n be (1/i)/((-4)/(-12)). Let y = n - -5. Does 4 divide y?
True
Suppose 2*i - 57 = -2*i + t, -5*i + 3*t + 66 = 0. Is i a multiple of 6?
False
Let b(d) = d**2 + 25*d + 4. Does 6 divide b(-26)?
True
Suppose 5*p + 2*o = 6*o + 304, -5*o + 276 = 4*p. Is p a multiple of 32?
True
Let f = -88 + 144. Is 15 a factor of f?
False
Let o(n) be the first derivative of n**4/4 + n**3 - 5*n**2/2 + 3*n + 3. Let d be o(-4). Is 4 a factor of d*1 + (2 - -1)?
False
Let i(h) = 34*h + 7. Is 14 a factor of i(4)?
False
Suppose 0 = -4*r - r + 55. Does 8 divide r?
False
Let c be ((-6)/(-9))/((-4)/180). Suppose u + 132 = 4*u. Let l = c + u. Is l a multiple of 14?
True
Suppose -13*q = -10*q - 108. Is 6 a factor of q?
True
Let h be (-1)/2 - 2/(-4). Suppose -c + 2 + 5 = h. Let j = 16 - c. Is 7 a factor of j?
False
Suppose 0*m - 3*m = -5*g + 1, 3*g - 18 = -4*m. Let p be 28 + (2 + 4)/m. Suppose -1 = -3*h - 2*f + p, 23 = 3*h - 2*f. Does 6 divide h?
False
Suppose 3*x = -10 - 11. Let k(f) = -2*f - 2. Let u be k(x). Suppose -3 = q - u. Is q a multiple of 5?
False
Let o(l) be the first derivative of -l**3/3 + 9*l**2/2 - 9*l + 5. Does 7 divide o(6)?
False
Suppose q + 2*f - 6 = 3*f, f + 2 = -q. Suppose z - 42 = -q*z. Does 5 divide z?
False
Suppose 0 = a - 75 - 28. Suppose -v - 6*h + 2*h + 17 = 0, -h - a = -3*v. Is v a multiple of 6?
False
Let g be (-5 - -13)*5/4. Does 7 divide (-58)/(-4) - 5/g?
True
Let s = 1 - -3. Does 14 divide s/(-2) - (-54)/1?
False
Let s(r) = r**3 + 10*r**2 + r + 2. Let u(x) = x**3 + 5*x**2 + 6*x + 3. Let b be u(-4). Let y be s(b). Let o = y - 69. Is 19 a factor of o?
False
Suppose 4*s = 2*y - 164, 4*y - 144 = 2*y - s. Does 2 divide y?
True
Let c = -55 + 112. Is c a multiple of 22?
False
Let s = 210 - 136. Does 10 divide s?
False
Let z(y) = y**3 - 9*y**2 - 6*y - 13. Is z(10) a multiple of 9?
True
Let m = -18 - -20. Suppose 2*w + 3*i = 12, m*i + 6 + 5 = 5*w. Does 3 divide w?
True
Let a(k) = -k**3 - 3*k**2 + k - 3. Does 3 divide a(-4)?
True
Let p = 200 + -88. Is 28 a factor of p?
True
Suppose -652 = -4*a - 4*u, 2*u = -2*a + 3*u + 341. Does 30 divide a?
False
Let x(i) = i**3 - i**2 + i + 26. Let j be (1 - -1) + (-8)/4. Is 10 a factor of x(j)?
False
Suppose -4*o - 2*p = 4, 0 = 4*o + 4*p + 6 - 2. Let h be 4/(o + (1 - -2)). Let t = 8 - h. Is 6 a factor of t?
True
Let y(c) = c + 6. Let k be y(-4). Suppose h - 5*h - 3*q = 0, 3*h - k*q - 17 = 0. Is (2/h)/(1/12) a multiple of 8?
True
Suppose 0 = -3*t + 17 - 2. Suppose t - 8 = -q. Suppose 2*r + 52 = q*r. Does 14 divide r?
False
Let y(p) = -p**3 + p + 10. Is y(-4) a multiple of 9?
False
Let b = -175 - -431. Suppose -3*x + 7*x = b. Is 32 a factor of x?
True
Let q be (58/(-4) - -2)*-4. Let n = q - -3. Does 18 divide n?
False
Suppose 5*f + 19 = i - 4, 0 = -5*i + 3*f + 49. Is i a multiple of 7?
False
Let p(i) = -39*i - 3. Let s be p(-3). Suppose 4*z - s = 2. Suppose 12 = -u + z. Is u a multiple of 15?
False
Suppose -y = -4*y + 30. Is 4 a factor of y?
False
Suppose -3*a = h + 2 + 2, -5*h + 2 = 4*a. Let c be 24/(-20)*(-5)/h. Suppose -4*n = 3*f - 99, -c*f + 18 = -0*n + n. Is 18 a factor of n?
False
Let y be 52/14 + (-6)/(-21). Suppose 3*d - 4*r - 1 - 3 = 0, -3*d = y*r - 20. Suppose -3*c = d*l - 118, 5*c + 6*l - l = 190. Does 12 divide c?
False
Let y(m) = 2*m + 1. Let z be y(2). Let r be (z*1)/((-1)/2). Is 4/r + (-42)/(-5) a multiple of 3?
False
Let u(l) = -l**2 + 10*l + 3. Let z(w) = 2*w + 1. Let p be z(4). Is 12 a factor of u(p)?
True
Suppose 0 = -5*d + 89 + 11. Is 9 a factor of d?
False
Suppose 0 = 2*p + m - 7, 5*p + 3*m + m = 13. Suppose 0*h = p*h - 30. Does 21 divide (42/4)/(h/12)?
True
Let y = -10 + 10. Suppose -4*d + 4*j - 3*j + 248 = y, 0 = 2*d + 5*j - 102. Does 17 divide d?
False
Suppose 5*p - 360 = -0*p. Suppose -p = -0*c - c. Suppose 5*z + 5*o = o + c, 54 = 5*z - 2*o. Does 6 divide z?
True
Suppose n = 4*g + 18, -2*g = 5*n - 2 - 0. Let k(o) be the third derivative of o**5/20 + o**4/24 + o**3/6 + o**2. Does 15 divide k(n)?
True
Let w be 1 + -2*1/2. Let a(p) = 2*p**3 - 3*p + p**3 + w*p**2 + 3*p**2 + 2 - 5*p**2. Does 6 divide a(2)?
True
Let p be -2*(-3 + 1/2). Suppose -3*q + n = -2*q + 1, -q - p*n + 29 = 0. Is 4 a factor of q?
True
Suppose 4*y - 5*g - 58 = 0, -2*g + 5*g + 62 = 4*y. Suppose n + y = 4*m, 6*m = -n + 3*m + 11. Let a(s) = 25*s**2 + s. Does 12 divide a(n)?
True
Let r = 4 + 28. Suppose 0 = -2*z + j + 92, 2*z + 3*j = 140 - r. Is z a multiple of 12?
True
Let k(d) = d**2 - 6*d. Is 4 a factor of k(8)?
True
Suppose 4*p + 5*f - 322 = 0, -341 + 35 = -4*p + 3*f. Does 26 divide p?
True
Let h be ((-3)/(-5))/((-3)/(-45)). Suppose h - 49 = -2*b. Is b a multiple of 10?
True
Let p be (4/4)/(3/30). Let h(c) = c**3 - 9*c**2 - 5*c