tiple of 4?
True
Does 15 divide (-2 - 1)*(-21 - -1)?
True
Let z = -7 + 12. Suppose 3*q = -x - 3, 3*q + 12 + 0 = -4*x. Let f = z - x. Does 5 divide f?
False
Let d(p) = -p**3 - 2*p**2 + p + 2. Let m be d(-3). Let y(q) = -q + 10. Is 2 a factor of y(m)?
True
Suppose 213 = 4*r + 4*p + 13, 4*p = 20. Is r a multiple of 15?
True
Let s(t) = 6 + 0*t - 3 - t + 5. Let u be s(6). Suppose 0*b = u*b - 38. Is 19 a factor of b?
True
Let r(y) be the second derivative of -y**5/5 + y**3/6 - y**2/2 + 2*y. Is 10 a factor of r(-2)?
False
Suppose 0 = 3*m + 57 - 459. Does 7 divide m?
False
Let w(g) = -g**3 - 11*g**2 + 11*g + 3. Is 11 a factor of w(-12)?
False
Suppose 24 = 2*u + 4*t, 0*u - 4*u = 2*t - 24. Suppose 20 = z - o - 22, -48 = -z + u*o. Suppose -y + 5*y = -4*k + z, 4*k = 3*y + 75. Is k a multiple of 6?
False
Let m(u) = 2*u + 6. Let r be m(-2). Let g = 50 - 22. Does 5 divide (g/21)/(r/18)?
False
Let v = 14 + -38. Does 6 divide 57/4 - (-6)/v?
False
Let v = -2 - -4. Suppose -4*s = l + l - 276, -v*s = 4*l - 522. Let m = 180 - l. Is 22 a factor of m?
False
Suppose -2*x = 5*u - 72, -5*u + 69 = 3*x - 29. Suppose 60 = -5*w - o, 0 = -4*w + 5*o - 32 - 16. Let a = x - w. Is a a multiple of 11?
False
Is 12 a factor of 2/(-7) - (-254)/7?
True
Does 6 divide ((-24)/(-5) + 8 + -12)*30?
True
Does 9 divide 8/36 - (-313)/9?
False
Suppose -5*x = 4*a + 260, 7*a - 4*a - x + 195 = 0. Let p = a + 109. Does 12 divide p?
False
Let h = 0 + 3. Suppose i = h*z + 24, z + 3*z = -12. Does 5 divide i?
True
Let z(f) = 2*f**2 - 11*f + 20. Let l(b) = -b. Let o be l(-8). Does 20 divide z(o)?
True
Suppose l = -3*d + 21, -5*d - 8 = -3*l - 3*d. Let a(p) = p**2 - 6*p + 2. Let j be a(l). Is (2 - -3)*(3 - j) a multiple of 3?
False
Is 10 a factor of 3/((-4)/64*-2)?
False
Suppose 0 = 3*m + 1 + 2. Let k = m + 5. Let j(b) = 2*b**2 - 4*b - 4. Is 12 a factor of j(k)?
True
Let r be (-1)/(-4) + (-115)/(-20). Is 10 a factor of (r/(-4))/((-9)/234)?
False
Let z = -41 - -20. Let p = 35 + z. Is 8 a factor of p?
False
Let c(u) = 14*u**2 - 2*u - 1. Does 3 divide c(-1)?
True
Suppose 6*o = 4*o + 58. Does 8 divide o?
False
Suppose 2*q = -3*q + 240. Does 11 divide q?
False
Suppose 10 = 2*f + 4. Suppose -4*b - 36 = f*d, -b - b - 32 = -2*d. Is 2 a factor of (b/(-14))/((-2)/(-14))?
True
Let b be 3/6 + (-2)/4. Suppose b = -3*h + p + 123, -2*p + 132 = 3*h - 0*p. Is 14 a factor of h?
True
Let n be 4/6 - (-168)/(-9). Let z = -2 - n. Is 8 a factor of z?
True
Suppose -2*q - 7 = -3*q. Let t(c) = q*c + 5 + 1 + c**2 - 6*c. Is 12 a factor of t(-6)?
True
Is ((-52)/(-78))/(1/324) a multiple of 18?
True
Does 13 divide ((-78)/(-4))/(5/20)?
True
Let c = -45 + 106. Is c a multiple of 16?
False
Let k(x) = 5*x**2 + 4*x + 7. Is k(-3) a multiple of 12?
False
Is 5 a factor of ((-10)/(-4))/(2 - 9/6)?
True
Let r(o) = -o**2 + 13*o + 7. Suppose 3*s - 15 = 18. Is 26 a factor of r(s)?
False
Suppose 7*s - 4*s + 4*o + 7 = 0, -2*o = -4. Let x(t) be the second derivative of -t**3/2 + 3*t**2/2 + t. Is x(s) a multiple of 9?
True
Suppose 0 = z - 18. Is z a multiple of 18?
True
Is 4 a factor of (-4)/10 - (-264)/60?
True
Let u(g) = -g**3 - 3*g**2 + 4*g - 2. Let n(w) be the third derivative of 5*w**4/24 + 2*w**2. Let i be n(-1). Is 12 a factor of u(i)?
False
Let y(x) = -x**3 - 12*x**2 + 11*x - 22. Is y(-13) a multiple of 3?
False
Let u = 2 - 5. Let i be ((-168)/2)/u - 2. Suppose 0*r + 2*r = i. Does 10 divide r?
False
Let c(s) be the third derivative of -s**5/4 - s**4/24 + s**3/2 + 2*s**2. Let j(b) = 5*b**2 - 1. Let r(m) = 2*c(m) + 7*j(m). Is 6 a factor of r(-1)?
True
Let t be ((-21)/(-14))/((-6)/(-8)). Let u be (-56)/(-6) + (-2)/(-3). Let r = u + t. Does 6 divide r?
True
Let m = 80 - 57. Suppose -m - 7 = -2*u. Does 5 divide u?
True
Suppose 6 = f + 3. Suppose 2*h + 42 = f*w - h, -2*w - 4*h = -28. Does 8 divide w?
False
Let d = 192 + -103. Does 28 divide d?
False
Suppose 4 - 28 = -s. Is 8 a factor of s?
True
Suppose -2*g = -3*g + 32. Let u = -10 + g. Does 12 divide u?
False
Let y = -2 - -5. Let l be 56/6*12/8. Suppose 45 = 5*g - 4*x, y*g - 5*x = -0 + l. Is 6 a factor of g?
False
Let d = 29 + -17. Does 4 divide d?
True
Let n = -27 + 55. Suppose n = 2*u - 10. Is u a multiple of 5?
False
Let n be 3/((-18)/28)*3. Let x = -4 - n. Is ((-4)/x)/((-1)/35) a multiple of 7?
True
Suppose -2*j + 9 = -1. Suppose -j*i + 16 = -i. Does 15 divide 3*7*i/2?
False
Let s = 72 - 69. Is 2 a factor of s?
False
Suppose -5*d + 4*q = 6*q, -2*q = -d. Suppose d = 3*w - 74 - 106. Suppose -6*z = -z - w. Is z a multiple of 12?
True
Let m = -27 - -90. Is 12 a factor of m?
False
Let i be (-3 - (-7)/3)*-3. Suppose 6 + 0 = i*p. Suppose 6*b - b - 157 = -4*l, -l = p*b - 90. Is 12 a factor of b?
False
Suppose 0 = -5*b + 7*b - 84. Is 11 a factor of b?
False
Let t(r) = r - 3. Let d be t(10). Let g be 4/14 + 19/d. Suppose g*k = 15, -2*k + 5*k = 3*y - 18. Is y a multiple of 5?
False
Suppose -y + 4 = 3*q, -5*y = -0*q + q - 6. Let h be (6/(-5))/(y/5). Is (48/(-9))/(2/h) a multiple of 14?
False
Suppose 56 = 3*y - 46. Let q = y + -13. Does 9 divide q?
False
Let t(g) be the third derivative of g**4/12 + 29*g**3/6 + 7*g**2. Is 11 a factor of t(0)?
False
Let z = 3 + 0. Let o(x) = 39*x**2 + 3*x - 2. Let b be o(2). Suppose w = -z*w + b. Is w a multiple of 14?
False
Let a = -5 - -9. Suppose 5*p - 2*y - 468 = 0, -2*p = -5*p - a*y + 260. Does 18 divide 4/(-10) + p/5?
True
Let o(d) = -8*d. Let s be o(-5). Suppose -4*b = -0*b - s. Is b a multiple of 5?
True
Let y = -17 + 35. Let p = -2 + y. Is p a multiple of 7?
False
Let x = 97 - 40. Does 19 divide x?
True
Let u(b) = -b**2 + b + 14. Is u(0) a multiple of 5?
False
Let x(b) = 8*b - 30. Let w be x(12). Suppose p = 4*i + 6*p - 132, 2*i - w = -2*p. Is i a multiple of 5?
False
Suppose -3*g + 140 = g + 4*d, 5*g = 3*d + 135. Is 10 a factor of g?
True
Let f(m) = -56*m + 1. Is 6 a factor of f(-2)?
False
Suppose 252 = 3*s + 3*s. Is s a multiple of 15?
False
Let m(z) = 20*z. Does 29 divide m(2)?
False
Let c = -446 - -309. Let l = c - -201. Is l a multiple of 23?
False
Let j be 45/(-6)*(-24)/10. Let l = -2 + j. Let o = l + -11. Is 5 a factor of o?
True
Let k(i) = -i**3 - 11*i**2 - 3*i + 3. Let u be k(-10). Let b = -45 - u. Does 14 divide b?
False
Suppose 326 - 3043 = -11*n. Is 51 a factor of n?
False
Suppose -3*o + 4 = -o. Suppose 0 = p + 4*w + 3, 2*p = -o*w + w + 8. Is p a multiple of 4?
False
Let w be 3/(-6)*1*18. Let v = 21 + w. Does 6 divide v?
True
Suppose 3*x = -8 - 16. Let f(n) = -n + 1. Let m(y) = y**2 + 9*y - 7. Let z(d) = 2*f(d) + m(d). Is z(x) a multiple of 3?
True
Let b(v) = -v**3 - 8*v**2 + 8*v + 2. Let c be b(-9). Suppose c = x + 3. Is 8 a factor of x?
True
Let w = -80 + 49. Let h = w - -76. Does 13 divide h?
False
Suppose -3*v = -5*y + y - 5, 0 = 2*y - 2. Suppose v*g = -g + 252. Suppose -3*l + g = -0*l. Is 10 a factor of l?
False
Let w(s) = -44*s**3 + 1. Let h be 2/7 - (-63)/(-49). Is w(h) a multiple of 15?
True
Let h(s) = -7 + 3 + 7*s + 1 - 12. Is h(7) a multiple of 7?
False
Let z(y) = -y**3 + 9*y**2 + 3*y + 3. Is z(9) a multiple of 6?
True
Is 309/4 - (-12)/16 a multiple of 6?
True
Suppose 0 = 3*b - g - 9, 5*b - 18 + 3 = -3*g. Suppose 8*i - 4*i + b*p - 8 = 0, 8 = 4*i + 5*p. Suppose -5*l = -f - 76, -10 + 2 = -l + i*f. Does 7 divide l?
False
Let r = -64 - -109. Is 15 a factor of r?
True
Let v(z) = 4*z**3 + 2*z + 3. Let t(r) = 21*r**3 + 11*r + 16. Let p(q) = -2*t(q) + 11*v(q). Let i be p(1). Suppose 6*j = i*j + 33. Is 4 a factor of j?
False
Suppose 2*y + l = 4*y - 16, 5*y - 53 = -4*l. Is y a multiple of 3?
True
Let m = 2 + -2. Is (1 + m)/(4/24) a multiple of 6?
True
Suppose -4*y + 236 = 4*n, -115 = -2*y - 3*n - 2*n. Does 15 divide y?
True
Suppose 5*i - 2*i = 5*u + 32, -80 = -5*i - 5*u. Is 7 a factor of i?
True
Let o be 4/(-14) + 746/14. Let n = o - 36. Does 12 divide n?
False
Suppose -3*k = 4*l + 15, 4 + 4 = -l - 5*k. Let g be (l - -1)*3/(-2). Suppose -7 - 2 = -g*p. Does 3 divide p?
True
Suppose 4*q = -2*f + 60, 0 = -f - f - 5*q + 64. Is f a multiple of 11?
True
Suppose -81*a = -85*a + 200. Does 50 divide a?
True
Let m = 1 - 2. Let t be -3*m/((-9)/(-24)). Let n = t + 22. Is 15 a factor of n?
True
Let x be 162/21 - (-4)/14. Suppose -6*b + 4*b = -x. Suppose -3*v + 123 = 5*f, 0 = -b*v - 3*f + 124 + 29. Is v a multiple of 18?
True
Let c(d) = -3*d - 4*d + 1 + 6*d + 58