648. Is o a multiple of 28?
True
Let q(y) = -y - 1. Let l(f) = -8*f - 5. Let d(x) = -l(x) + 4*q(x). Let p be d(10). Let z = p - 23. Is 9 a factor of z?
True
Suppose -3*v = -5*j + 17, -4*v + 0*j = j - 8. Suppose -w - 4 = -v. Is (-6)/3*w*6 a multiple of 16?
False
Let d(q) = 4*q. Let l be d(-1). Is -3*(l/1 - -3) a multiple of 2?
False
Suppose 4*o - 31 = -v + 2*o, 2*o + 56 = 2*v. Does 3 divide v?
False
Is (924/(-18)*-2)/((-2)/(-9)) a multiple of 66?
True
Let f(j) = 31*j - 8*j - j + 2. Let o be f(-6). Let m = 183 + o. Is m a multiple of 17?
False
Is (-630)/(-9) - (-1 + 2) a multiple of 23?
True
Suppose g + 2 = 4. Suppose g = -5*y + 32. Does 3 divide y?
True
Let p = -3 - 0. Is 4 a factor of 64/6 + (-1)/p?
False
Let j be 35/14 + 1/2. Suppose j*c = 22 + 2. Is c a multiple of 4?
True
Suppose 1 = -h + 4. Let s = 10 - h. Does 7 divide s?
True
Suppose -14 - 14 = -7*x. Suppose 66 = -x*i + 246. Does 13 divide i?
False
Does 18 divide (2156/(-55))/((-2)/5)?
False
Let c = 13 + -9. Suppose -45 = -2*h + c*k - 3*k, 5*k = 5*h - 120. Does 8 divide h?
False
Suppose -2*i + 22 = -60. Let r = i + 0. Is r a multiple of 9?
False
Let r = 29 + 10. Does 13 divide r?
True
Let b(q) = -q**2 - 22*q - 4. Does 14 divide b(-16)?
False
Let x = 33 + -10. Is 7 a factor of x?
False
Suppose n + 5 = 2*l, 3*n - l - 3*l = -11. Let u = -1 - n. Suppose u*g - 225 = -5*g. Does 17 divide g?
False
Is (65 - 0) + 6/3 a multiple of 6?
False
Let v = 2 - 3. Let c be (-1 - v)/3 - 1. Does 15 divide (c + -8 - -2)*-3?
False
Let x = -69 + 101. Suppose -3*h + 52 = -x. Suppose 5*n = -4*i + 7 + h, -2*i + 15 = 5*n. Is i a multiple of 4?
False
Is (-4348)/(-34) + 4/34 a multiple of 16?
True
Let h(f) = 2*f - 1. Let l(n) = -3*n**3 + n**2 + 2*n + 1. Let y be l(-1). Let i be h(y). Suppose i = a - 4. Does 6 divide a?
False
Suppose 5*g - 118 = -3*w, 2*g - 6*g + 120 = -4*w. Does 13 divide g?
True
Suppose 5*l - i = 205, -2*l + 82 = -i + 5*i. Is 2 a factor of l?
False
Suppose 3*a - 4 = 5*a - 3*c, -4*a - 2*c = 40. Let u = -13 - -14. Is u/3 + a/(-3) a multiple of 3?
True
Let b be 1/(3/6) - 2. Suppose -5*n - 4*i + 120 = b, -4*i + 83 = 3*n + 11. Is n a multiple of 12?
True
Does 36 divide (1 + -139)/(0 + 4 + -5)?
False
Let o(w) be the third derivative of -w**6/360 - 11*w**5/120 + w**3/6 - 2*w**2. Let s(z) be the first derivative of o(z). Is s(-9) a multiple of 9?
True
Let s be 50 + -1 + 0/(-10). Suppose 24 = f - s. Does 22 divide f?
False
Suppose 333 = 7*x + 25. Let j = x - 26. Is 9 a factor of j?
True
Let s(z) = z**2 - z + 1. Let b be s(1). Let c(t) = 23*t + 1. Does 12 divide c(b)?
True
Let b = 6 - 1. Suppose -5*m - b*h + 10 = -h, -5*m + 10 = 3*h. Suppose -10 = -3*l - m*l. Is l a multiple of 2?
True
Suppose 3*u = -1 - 5. Does 13 divide (1 - -3)/(u/(-42))?
False
Let k be (-16)/24*90/(-4). Is 15 a factor of (k/6 - 0)*18?
True
Suppose 4*y - 2*r = 205 - 17, 5*y = r + 232. Is 10 a factor of y?
False
Let p(t) = -2*t**3 - 6*t**2 - 2*t**3 - 5 + 2*t + 5*t**3 + 4*t. Is p(6) a multiple of 11?
False
Let r = 19 - -26. Does 9 divide r*5/((-100)/(-12))?
True
Let s = 48 + -12. Let p = s + -69. Let n = -11 - p. Is n a multiple of 11?
True
Suppose -1 = 2*p - 5. Suppose 31 = d + 3*o, 53 + 12 = p*d + 3*o. Does 17 divide d?
True
Let c(g) = -g**2 - 3*g + 4. Let u be c(-3). Suppose w = -u*f + 4, -4*f - 2*w = f - 8. Suppose f = -s - 5, -2*v - 2*s = -3*s - 15. Is v even?
False
Let y = 10 + -14. Let m = -1 - -2. Let c = m - y. Is 4 a factor of c?
False
Let m(v) be the second derivative of -v**6/120 - v**5/12 - v**4/12 - v**3 + v**2/2 + v. Let x(o) be the first derivative of m(o). Is 4 a factor of x(-5)?
True
Let f(q) = q**2 + 4*q - 6. Let v be f(-5). Let d be (-12)/6 - 1*-1. Does 10 divide (d + -1)*15*v?
True
Let g = 17 + -11. Suppose f = 0, g*y - 3*y - 99 = -5*f. Is y a multiple of 11?
True
Suppose 4*s - 900 = -2*s. Suppose 3*f - f = s. Does 15 divide f?
True
Let z(r) be the first derivative of r**3/3 + r**2/2 + 3*r - 3. Let b be z(-3). Suppose 0 = -2*h - 1 + b. Does 2 divide h?
True
Let l = -1 + 21. Does 4 divide l?
True
Let v = -75 - -305. Is v a multiple of 46?
True
Let r(n) be the first derivative of n**5/20 + n**4/6 - 2*n**3/3 + n**2 - 2. Let m(c) be the second derivative of r(c). Is m(3) a multiple of 13?
False
Suppose 3 = -m, 3*p = -p - 4*m + 88. Does 4 divide p?
False
Let f be 14/3 + 5/15. Suppose f*m - 66 - 49 = 0. Is m a multiple of 15?
False
Let l(t) = t**3 + 10*t**2 + 12*t. Let s be l(-8). Let f be (8/(-6))/(1/(-15)). Let i = s - f. Is i a multiple of 6?
True
Let c(h) = h + 19. Let j(p) = 2*p + 19. Let o(n) = -5*c(n) + 4*j(n). Is o(14) a multiple of 15?
False
Suppose 4*g - f - 120 = 0, -2*f + 32 = g - 7. Let n = g - 18. Is 13 a factor of n?
True
Let r(y) = -y**2 + 8*y - 9. Let z be r(7). Let t be 6/(-15) + z/(-5). Suppose t*o - 3*v + 12 = o, -4*v = 3*o - 56. Is 9 a factor of o?
False
Let k be (-22)/(-4) + (-3)/6. Suppose 0 = -i - 5*t - 5, i + 2 = 3*i - 2*t. Suppose i = -k*x - 2*f + 119, -5*x + x + 84 = -4*f. Is 14 a factor of x?
False
Let b be 1/3*3*-2. Let v be (b/2)/((-2)/(-4)). Does 19 divide 532/12 - v/(-6)?
False
Let b(c) = 6*c + 4. Let n = -2 - -3. Let t be 0 + (-1)/n + 5. Is 13 a factor of b(t)?
False
Let m(v) = -v**2 - 12*v + 7. Is m(-10) a multiple of 3?
True
Let b = -192 + 300. Does 28 divide b?
False
Let v = -84 + 176. Suppose s - 2*c - 1 = 1, 3*s = 5*c + 6. Suppose -s*h + 0*h = -v. Is 23 a factor of h?
True
Let m(k) = k**2 + k + 22. Let j be 0 + 0 - 0/1. Does 11 divide m(j)?
True
Let k be -2*(-6)/(-4) + 6. Suppose -3*f = -9 - k. Suppose -f*s + 192 = -0*s. Is 19 a factor of s?
False
Let m(w) = -w - 3. Let c be m(-6). Suppose -h + c + 5 = 2*o, h - 16 = -4*o. Is o a multiple of 4?
True
Let y = 8 + -5. Let l be ((-10)/6 + y)*9. Suppose 4*m - 5*m - 3*n = -l, 2*m = 4*n + 14. Is 7 a factor of m?
False
Let x(u) = 6*u + 27. Let p = 5 + 7. Does 19 divide x(p)?
False
Let g(v) be the second derivative of v**4/12 - v**3/6 - 3*v**2/2 + 3*v. Let d be g(3). Suppose -2*s = -d*l + 13, l = -4*s - 2 - 3. Is 2 a factor of l?
False
Let s(f) = -5*f**3 - 5*f**2 - 2*f + 4. Is s(-2) a multiple of 7?
True
Let o(p) = -7*p**3 - p**2 - p - 1. Let u = 5 + -3. Suppose 2*y + 5 = -s, 0*y - u = 4*s - y. Is o(s) a multiple of 3?
True
Let v be (-4)/(-1)*(-6)/8. Let k(t) = t - 6. Let l be k(8). Is (l + 1)*(-7)/v a multiple of 3?
False
Suppose p = 5*u - 91, -4*p = 4*u + p - 96. Is u even?
False
Suppose -12*d + 1694 = 2*d. Does 11 divide d?
True
Suppose -p + 2*s + 12 = 0, 2*p + 2*s - 18 = -2*p. Is 2 a factor of p?
True
Suppose 2*l + 84 = 4*l - 2*j, -4*j + 183 = 5*l. Does 3 divide l?
True
Let k(b) = b**2 + 24. Let x be (-1 + 1)/(-4 + 5). Is k(x) a multiple of 8?
True
Let y = -45 + 74. Does 9 divide y?
False
Let k = 12 - 7. Is 3 a factor of k?
False
Let d be (-548)/(-16) + (-4)/16. Suppose -33 = -3*b + 2*b + 2*v, -d = -2*b - 4*v. Does 10 divide b?
False
Let f(z) = 12*z - 21. Is f(8) a multiple of 6?
False
Suppose 5*k - u = u - 43, -3*k - 33 = -3*u. Let g(a) = a**2 + 6*a - 1. Let t be g(k). Let z(h) = -h**3 + 6*h**2 + 3*h - 2. Is 9 a factor of z(t)?
False
Let h = 12 + -7. Is h a multiple of 3?
False
Let t(q) = q. Is 5 a factor of t(7)?
False
Let w = 149 + -124. Does 14 divide w?
False
Let q = 4 + -19. Is 3 a factor of 92/14 + q/(-35)?
False
Let o(z) = z**2 + z - 4. Let d be o(6). Let m = -18 + d. Does 6 divide m?
False
Let h be (-4)/(-10) + 4/(-10). Is h + (-4)/((-12)/9) a multiple of 3?
True
Suppose 5*w - 94 = -5*z + 256, -3*z + w + 230 = 0. Does 6 divide z?
False
Suppose 0 = -3*m + 4*m - 1. Let c(r) = r**3 + 6*r**2 + 7*r + 6. Let f be c(-4). Let i = f + m. Is i a multiple of 11?
True
Let k(w) = -4*w**2 - 10*w + 7. Let h(m) = m**2 + m - 1. Let f(d) = -3*h(d) - k(d). Let q be f(-6). Is (-154)/q - (-8)/(-20) a multiple of 10?
False
Suppose 0 = 3*t + y + 14, 2*t - 3*y + 20 = -y. Does 20 divide (t/(-10))/(3/135)?
False
Suppose -9 - 9 = -w. Is w a multiple of 8?
False
Suppose 14 + 100 = 3*l. Is l a multiple of 10?
False
Let u = -12 - -17. Suppose 4*s + 24 = u*s. Is s a multiple of 19?
False
Let j = 6 - 4. Suppose j*o = 5*o - 48. Is 8 a factor of o?
True
Let z(o) = o**2 + 8*o + 5. Let t be z(-7). Is 10 a factor of (-9)/15*(-23 + t)?
False
Let d(k) = 16*k**2 + 2*k - 1. Let o be d(1). Suppose g + 3 - o = -2*w, -5*g - w + 34 = 0. Is 2 a factor of g?
True
Let o(d) be th