o) = 4*o + 12. Let m be u(-7). Is 10 a factor of -2 - 1*m*3?
False
Let b(r) = 2*r**2 + 9*r + 6. Does 12 divide b(-6)?
True
Let a be (-7 + 5)*1/2. Does 12 divide 28 + (-3 - (-4 - a))?
False
Suppose -3 - 1 = -4*i, 2*i + 490 = 4*d. Is 14 a factor of d?
False
Suppose -2*h - 2*g + 691 = 3*h, 4*h - 3*g = 539. Is 4 a factor of h?
False
Is 6 a factor of 27*(4/(-12) + 1)?
True
Suppose -i = 3, a + 154 = 2*i - 5*i. Suppose 4*f - 792 = -r + 6*r, f - 211 = -2*r. Let u = f + a. Is u a multiple of 20?
False
Suppose -2*b = 2*b + 24. Let n(c) = -77*c**2 - 9*c. Let g(l) = -39*l**2 - 5*l. Let h(a) = b*n(a) + 11*g(a). Does 12 divide h(-1)?
False
Suppose 0 = -r + 2*w + 4, w = -5*r - 1 - 1. Suppose 4*s + 0*s - 12 = r. Is 21 a factor of 1/(s/(-3)) - -22?
True
Let l = -44 + -83. Let c = 282 + l. Suppose 0 = -4*a + c - 39. Does 12 divide a?
False
Suppose 2*g - 10 = -0. Let o = 12 - 7. Suppose -g*r + 4*f - 25 + 100 = 0, 4*r + o*f - 19 = 0. Is 11 a factor of r?
True
Let u = -81 + 177. Suppose 0*k - 4*k + u = 0. Is 16 a factor of k?
False
Suppose -2*t + 63 = -81. Is 4 a factor of t?
True
Let i(m) = m**3 + 5*m**2 - 9*m - 7. Let u be i(-6). Let q = -21 - u. Is 16 a factor of (-135)/20*q/6?
False
Suppose 4*r + m - 21 = 0, -3*m + 10 = -m. Suppose -5*n + r*j - 15 = -81, -48 = -4*n + 2*j. Does 4 divide n?
False
Suppose 5*l = 5*c + 75, -30 = 4*c - 3*l + 5*l. Does 2 divide 3 - 1 - (-13 - c)?
False
Let l(i) = i**3 - 4*i**2 - 3*i - 1. Is l(5) a multiple of 3?
True
Suppose -g - 5*w + 145 = g, 0 = g - 3*w - 45. Is 6 a factor of g?
True
Let k be 6/(-21) - 172/(-14). Suppose -3*u = -0*u - k. Is 11 a factor of 158/14 - u/14?
True
Suppose -4*j = -3*l + 106, -4*j = l + 14 - 44. Does 34 divide l?
True
Let f = -8 + 10. Suppose 0 = -f*w - w. Suppose w = -3*q - 5*n + 23, -3*n = -2*q + n + 52. Is q a multiple of 16?
True
Let i(l) = -l**3 - 14*l**2 - 14*l - 10. Is i(-13) even?
False
Let s(c) = -7*c**3. Does 14 divide s(-2)?
True
Let f be 1/((-3)/9)*-1. Let w be 90 - (0 + -1 + f). Suppose -4*a - 5*k = -w, 5*a - 72 = 4*k - 3. Does 7 divide a?
False
Let z = -36 + 72. Is z a multiple of 18?
True
Suppose 65 = v - 2*b + 3*b, v - 3*b - 73 = 0. Suppose 3*d - 100 = -4*m, -d - 49 = -4*m + v. Is 14 a factor of m?
True
Suppose 4*z - z - 9 = 0. Suppose -4*c - 2*o = o - 167, 99 = 3*c - z*o. Is 9 a factor of c?
False
Suppose -4*a = 4, a + 76 = -0*w + 3*w. Is w a multiple of 6?
False
Let p = 21 + -47. Let w = p - -45. Does 15 divide w?
False
Suppose 0*j - 4*j = 0. Suppose -3*f = -5*x - f + 106, j = -4*f - 12. Is 10 a factor of x?
True
Suppose 0*g + 5 = g. Let r be 1314/81 + (-4)/18. Let w = r - g. Is 11 a factor of w?
True
Let n(c) = c**3 + 8*c**2 - 7. Let l(o) = o - 2. Let b be l(-6). Let z be n(b). Is (1 + z)*2/(-3) even?
True
Let l(h) = h**2 - 4*h + 11. Is 6 a factor of l(7)?
False
Let d = -15 - -10. Let l = -2 - d. Does 7 divide (-5)/(-2*l/12)?
False
Let x(j) = -3*j**3 + 2*j**2 + 3*j. Let p be 12/(-18) - 4/3. Does 13 divide x(p)?
True
Suppose 326 = -3*m + 7*m + 5*k, -4*k = -5*m + 387. Suppose -w + m = 5*a, w = 2*a - a - 17. Suppose -7*l + 5*r + 90 = -2*l, -2*l - 3*r = -a. Does 8 divide l?
False
Let d(a) be the first derivative of -1/4*a**4 - 2*a + 0*a**3 + 2 - a**2. Does 3 divide d(-2)?
False
Suppose 2*t = t. Is 28 a factor of (4 - t)/((-1)/(-22))?
False
Suppose d = -3 + 8, -32 = -m - 4*d. Let j = m + 10. Is 11 a factor of j?
True
Let s = -105 - -75. Is 8 a factor of ((-12)/9)/(4/s)?
False
Suppose 5*u = 2*a + 71, 0 = 3*a - 3 - 3. Let j be 606/u + (-4)/10. Is 2 + (j - (2 - 0)) a multiple of 14?
False
Suppose a = 2 - 1. Suppose 5*p = 2*o - 15 - a, 10 = -5*p. Suppose 0 = -5*f + 4*h + 63, -f + h = 5*h - o. Does 4 divide f?
False
Let g(w) = 9*w**3 + 4*w**2 - 5*w + 2. Is g(2) a multiple of 9?
False
Suppose -2*a = -5*j + 1836, 3*a - 3 = 3. Does 16 divide j?
True
Let b(v) = v + 2. Let a be b(6). Let q(o) = -5 + 15*o - a*o + 1. Does 9 divide q(3)?
False
Let d(n) = -n**3 - 3*n**2 - 3*n - 7. Let u be d(-5). Suppose 28 + 52 = 3*z + 4*i, -i - 4 = 0. Suppose 5*j - u = z. Does 18 divide j?
True
Let c be 2*(-2)/((-4)/(-9)). Does 9 divide (-6 + 8)/((-1)/c)?
True
Let j = 35 - 10. Let f = -17 + j. Suppose 2 = r - f. Is 8 a factor of r?
False
Let q(o) = -o. Let a be q(0). Suppose 3*r - 29 - 13 = 0. Suppose a*b + b = h + 8, -2*b + 4*h = -r. Does 9 divide b?
True
Suppose 3*i + 228 = 7*i. Is 34 a factor of i?
False
Let l(t) = -t**2 + 6*t + 7. Let w = 9 - 2. Let b be l(w). Suppose -2*m - 2*m = n - 63, -5*m + n + 90 = b. Is m a multiple of 11?
False
Let c(k) = 10*k. Is 14 a factor of c(6)?
False
Suppose 3*r + 14 - 182 = 0. Suppose -r = 2*q - 4*q. Is 28 a factor of q?
True
Suppose -15 = -m + 20. Suppose 5*c + 42 = -y, -3*y - 24 = -4*c - 69. Let j = c + m. Is 13 a factor of j?
True
Suppose -5*c + 43 + 13 = -2*b, -22 = -c - 5*b. Is c a multiple of 6?
True
Suppose 3*n - 6*o + 2*o = 740, -2*o = -3*n + 730. Is n a multiple of 12?
True
Let a be ((-6)/(-5))/((-9)/(-30)). Suppose 3*y - p = 17, -y - a*p - 28 = -5*y. Suppose -3*b + v + 4 + 1 = 0, y*b - 3*v - 3 = 0. Is b even?
False
Is 2*5/30*63 a multiple of 21?
True
Suppose 2*k + 3*k = 25. Suppose -5*g + 3*u = -38, 0 = g + g + k*u - 9. Does 3 divide g?
False
Suppose 2*n - 30 = -t - 0, -60 = -2*t + 5*n. Is t a multiple of 3?
True
Suppose 0 = 5*q + 25, -7*l + 14 = -3*l + 2*q. Is l a multiple of 5?
False
Let a(s) be the third derivative of -s**4/24 + 7*s**3/6 + 3*s**2. Suppose -6 - 15 = 3*r. Is 7 a factor of a(r)?
True
Let w = 2 + -1. Let r be -15*(w + -1 - 3). Is 3*2*r/10 a multiple of 12?
False
Let g(a) = 9*a**2 - 4*a - 11 + 8*a + a**3 + 4*a - 2*a. Suppose 0 = 2*o + 15 + 1. Is g(o) a multiple of 5?
True
Let t = 51 + -4. Is 22 a factor of t?
False
Is 21 a factor of (-1 - -64)/((-18)/(-54))?
True
Let c = -4 + 7. Suppose 20 = c*p + i, p - i = -0*p. Suppose 3*w + 128 = p*z, 5*w - 76 = -3*z + z. Is 14 a factor of z?
True
Suppose -4*p + 60 = 2*v, -6*v + 108 = -3*v - 3*p. Is v a multiple of 34?
True
Suppose -2*j - 26 = -d + j, 0 = -5*d + 2*j + 156. Does 16 divide d?
True
Suppose 555 + 1055 = 7*g. Is g a multiple of 12?
False
Suppose -3*f + 10 = y - 35, -5*y = f - 29. Is f a multiple of 5?
False
Suppose -v - 1 + 3 = 0. Suppose -v*m = -4*m + 28. Is m a multiple of 7?
True
Suppose 2*l = -3*l + 200. Is l a multiple of 10?
True
Let m = -101 + 145. Is 3 a factor of m?
False
Let k be 21/3 + 4/(-2). Let r(h) = -h - 4. Let d be r(-7). Suppose -d*a = -k*a + 44. Is 10 a factor of a?
False
Suppose 0*x + 16 = i - 2*x, -15 = 5*x. Let j = i - 6. Suppose -32 = t - 3*t - 4*n, -j*t = -4*n - 112. Does 12 divide t?
True
Let z(i) = -34*i + 21*i + 9 + 14*i. Does 9 divide z(9)?
True
Suppose 0*y - 250 = -5*m + 4*y, 3*m = -3*y + 150. Is 7 a factor of m?
False
Is 12/(-3) - (2 + -54) a multiple of 16?
True
Let b = 645 - 375. Is b a multiple of 19?
False
Suppose 0 = -2*g + j - 3 - 0, 3*j + 27 = -3*g. Let q = g + 5. Is (-46)/(-3 + q) - -1 a multiple of 8?
True
Suppose 60 = t + v, t - 3*v = -6*v + 56. Is 5 a factor of t?
False
Let s = 1 - -3. Let z(n) = n - 3*n**3 + 2 + 4*n**2 + 0*n**2 + 2*n**3. Does 3 divide z(s)?
True
Suppose -4*q = -110 - 34. Suppose q = 3*t - 3*n, -7*n + 4 = 3*t - 2*n. Suppose 4*z = t*z - 44. Does 11 divide z?
True
Suppose 0 = i + 2*i - 528. Suppose -i = -2*x - 2*x. Is 22 a factor of x?
True
Suppose 4*m + 8 = 0, -4*m - 75 = -d + m. Suppose 4*s - 7 = d. Does 7 divide s?
False
Suppose -2*d + 2*w = 4*w - 458, 4*w = -16. Is 22 a factor of d?
False
Let z be 20/(-15)*6/4. Let f = 6 + z. Is f even?
True
Suppose 0 = -166*r + 171*r - 835. Is r a multiple of 13?
False
Let t = 5 + 3. Is 3 a factor of t - (2 + 2 + -2)?
True
Suppose -3*g - 11 = 2*w, -3*w + 2*g - 3 + 19 = 0. Suppose 4*f - 54 = -w*c, 5*c + 19 - 4 = 0. Is 4 a factor of f?
False
Suppose -4*p + 31 = -21. Let s = 28 - p. Suppose -x + 15 = -s. Is x a multiple of 12?
False
Let b = 64 + -106. Let f = b - -15. Is 16 a factor of (-924)/f - 6/27?
False
Suppose 0 = -0*w + 4*w - 28. Does 7 divide w?
True
Let b(g) = g**3 + 5*g**2 - 6. Suppose -3*y - 14 = 1. Let o be b(y). Is 14 a factor of o/2 + 186/6?
True
Let o be (-4)/20 - (-54)/(-5). Does 11 divide o/((-5)/2 + 2)?
True
Let t(r) = 20*r - 23. Does 10 divide t(6)?
False
Let v be (-2)/4*(4 - 6). Let u(y) = 6*y**3 + y**2 - 2*y + 1. Is 4 a factor of u(v)?
False
Let t = -110 - -185. Is t a multiple of 25?
True
Does