ultiple of 12?
False
Let q(y) be the second derivative of y**3 + 7*y**2/2 - y. Let n be q(-5). Let p = n - -35. Does 6 divide p?
True
Let k = 27 + -15. Is k a multiple of 3?
True
Let a(b) = -b**3 + 8*b**2 - 4*b + 1. Let n be (-4 - (-8 + 3)) + 6. Is a(n) a multiple of 22?
True
Let u(b) = b**2 + 7*b - 11. Is 29 a factor of u(-13)?
False
Let g(q) = q**2 + 7*q + 4. Let t be g(-7). Suppose a + 28 = 4*y, 2*y + 0*y - t*a = 0. Does 5 divide y/(-10)*(-25)/2?
True
Let b(l) = l**2 + 6*l. Let i be b(-10). Is i + -1 + 3 + 0 a multiple of 15?
False
Suppose -b = u - 4*u - 4, -5*u + 8 = 2*b. Suppose -b*k + 3*s + 97 = -3*k, -3*s = 6. Suppose -5*g = 0, 5*w + 5*g - k + 31 = 0. Does 12 divide w?
True
Suppose h + 1 = -4*y + 26, -4*y = -20. Suppose 42 = -2*m + h*m. Does 7 divide m?
True
Let o(i) = 1 + 11 + 3 - 13*i + i**2. Let q be o(12). Suppose 0 = 2*u + 3*k - k - 44, 0 = u - q*k - 18. Is u a multiple of 13?
False
Let b = 15 + -9. Suppose 160 - 448 = -b*i. Is i a multiple of 11?
False
Suppose 4*b - 20 = -b. Suppose x = -3*x + b. Is 18 a factor of 2 - x/(2/(-32))?
True
Let c = -3 + 3. Let n be ((c/2)/(-2))/(-2). Is ((-94)/(-2))/(n - -1) a multiple of 17?
False
Let b(g) = g**2 - g - 6. Let t = 12 - 7. Does 14 divide b(t)?
True
Let n be ((-16)/10)/((-7)/140). Let p = n - 14. Does 10 divide p?
False
Let s = -2 - -4. Suppose 4*w - s*w = 0. Is w/1 + (6 - 2) a multiple of 3?
False
Let d be (-92)/(-12) - (-2)/(-3). Let g(t) = -2*t - 3*t**2 - 2*t**2 + 6*t - d + 6*t**2. Is g(5) a multiple of 19?
True
Suppose -402 = -3*q - k, -2*k = -5*q + 353 + 306. Does 19 divide q?
True
Suppose 4*v + 3*n + 12 = -8, 4*v = -4*n - 20. Is (-122)/v - (-2)/(-5) a multiple of 13?
False
Let x(w) = w**2 - 6*w + 6. Let b be x(4). Is 15 a factor of (-1)/(1/30*b)?
True
Let s(c) = 8*c**2 - c + 6. Let w be s(-6). Suppose 4*v - 9*v + w = 0. Does 21 divide v?
False
Suppose 4*d = -5*u + 691, 8*d = u + 4*d - 119. Is 10 a factor of u?
False
Let u = 10 + -5. Suppose 4*s - u*b - 372 = 0, -2*s - 168 = -4*s - 2*b. Suppose 0 = 4*c - 3*q - s, 0*c + q = 2*c - 44. Does 22 divide c?
True
Let c = -2 - -2. Suppose -4*s + 2*z - 8 = c, -20 = -0*z - 5*z. Suppose s*l = -4*l - h + 32, 5*h - 20 = 0. Is 7 a factor of l?
True
Let v(u) = 2*u**2 - 6*u - 8. Suppose 2*s - 4*a = 7*s + 10, 5*s = 2*a + 20. Suppose -s*q + 4*q - 12 = 0. Is 14 a factor of v(q)?
True
Suppose -4*u = -2*u - 4. Suppose u*m - 108 = -24. Is 14 a factor of m?
True
Let m = -665 + 985. Does 9 divide m?
False
Let b(z) = -5*z**2 + 14*z - 18. Let i(v) = -2*v**2 + 5*v - 6. Let c(a) = 3*b(a) - 8*i(a). Let n be c(-5). Does 6 divide 6/n + 34/3?
True
Let c be 10/(-4)*(-18)/15. Suppose c*k - 93 = -2*i + 8*k, -4*k + 48 = 2*i. Does 8 divide i?
False
Let d be 1 + (-10 - 4/(-4)). Let q(i) = -i**3 - 6*i**2 + 6*i - 8. Is q(d) a multiple of 24?
True
Suppose 0 = 4*m + 5*b - 37, -2*m + 0*b = 2*b - 16. Suppose m*i = i + 114. Does 13 divide i?
False
Let j be 16/(-6)*(-45)/12. Suppose 5*i = -20, 0*v = v + 5*i + j. Is 10 a factor of v?
True
Let p(r) be the second derivative of -r**7/2520 + r**6/120 - r**5/60 - r**4/12 + 2*r. Let y(d) be the third derivative of p(d). Is 3 a factor of y(4)?
True
Let j be 1 - (-45 - -3) - -3. Suppose -2*t = s - 67, -5*t + 118 = -s - j. Is 29 a factor of t?
False
Let g = -41 - -101. Suppose l = 5*l - g. Is l a multiple of 11?
False
Let m(d) = -d**2 + 14*d - 5. Let w be m(14). Let h(i) = -1. Let g(r) = r + 6. Let q(o) = g(o) - 4*h(o). Does 2 divide q(w)?
False
Suppose -n + 4*f + 23 = 0, -10 = -2*n - 5*f + 49. Suppose 5 = -y + n. Is 9 a factor of y?
False
Let a = 8 + -5. Let i = 7 - a. Is i a multiple of 3?
False
Does 50 divide 246*((-1029)/(-630) - 4/30)?
False
Let x = 18 + -11. Does 2 divide x?
False
Suppose -16 = -5*i - 6. Suppose -i*z + 3 = -65. Is z a multiple of 12?
False
Let x(l) = l**2 - 2*l + 117. Let i be x(0). Suppose -5*w = -2*w - i. Is 13 a factor of w?
True
Suppose 0 = -5*r + r. Suppose 4*u - 8*u = r. Suppose u = 4*m - 85 - 47. Is 17 a factor of m?
False
Suppose 5*h = -25, 0*j - 5*h = 3*j - 8. Suppose 2*q - 1 = j. Suppose 2*k - n - 2 = q, 5*n + 5 = 3*k. Does 5 divide k?
True
Let j = 229 - 53. Is 33 a factor of j?
False
Suppose -4*a = -14 - 6. Suppose -3*t = 2*t. Suppose 0 = 5*k + 4*d - 5*d - 61, t = -a*k - 5*d + 85. Is 13 a factor of k?
True
Let k be (-4)/6 - 4/(-6). Suppose -5*f + f + 168 = k. Suppose 0 = -0*q + 3*q - f. Does 7 divide q?
True
Let h be (-1 + 3)*(-10)/(-4). Suppose -60 = -h*y - 25. Is y a multiple of 7?
True
Let y(z) be the third derivative of -z**5/60 + 2*z**4/3 - 7*z**3/6 + 3*z**2. Is y(11) a multiple of 24?
True
Let h be 1/(-1) - (-5)/1. Suppose -52 = -0*j - h*j. Let c = 20 - j. Is 6 a factor of c?
False
Suppose 13*r - 16*r = 0. Suppose -6*d + 4*d + 84 = r. Is 28 a factor of d?
False
Does 25 divide 54 - 7/(21/12)?
True
Let h(g) = -g**3 - g**2 - 3*g - 1. Is h(-3) a multiple of 13?
True
Let s be (0 - -2)*1/(-2). Let j = 11 - -4. Let k = s + j. Is 7 a factor of k?
True
Suppose 3*p = p - c + 33, -2*p = 2*c - 38. Is 14 a factor of (-8)/(-1 + 10/p)?
True
Suppose 5*h - 3*g + 218 = 0, 0*h - 4*g = -h - 30. Is 3/((-24)/h)*8 a multiple of 23?
True
Suppose 0 = -5*q + 20 - 0. Suppose q*t - 6*t = -86. Is 16 a factor of t?
False
Let a be 48/8 + (-4 - -1). Suppose a*v + 11 - 38 = 0. Is v a multiple of 4?
False
Is (-4)/((-4)/1)*8 a multiple of 4?
True
Let s = -4 - -2. Suppose -2 - 3 = -5*j, -q - 3*j = -11. Is 6 a factor of (-4 - q)*(1 + s)?
True
Let f(o) = o + 15. Let n be f(-12). Suppose -1 + n = -2*h. Is h/3 - 84/(-9) a multiple of 6?
False
Suppose 0*f - 4*f = -228. Does 19 divide f?
True
Let s = 12 - 7. Suppose s*p = 2*p + 72. Is 12 a factor of p?
True
Let s(u) = -u**3 + 2*u**2 + 6*u - 3. Is s(2) a multiple of 9?
True
Suppose 4*q = 382 - 50. Is q a multiple of 15?
False
Let d(b) = b**2 - b - 4. Let f be d(3). Suppose s + 3*j - 2 = f, 0 = 3*s + 5*j - 16. Does 6 divide s?
False
Let m = 4 + -11. Let y = m - -13. Does 4 divide y?
False
Let u(v) = -v**3 + 4*v**2 - v - 2. Let g be u(3). Let m = 1 + g. Does 5 divide m?
True
Suppose -4*r - 84 + 696 = 3*t, 0 = 4*r + t - 620. Suppose 3*h - 2*k = k + 159, 3*h - 4*k - r = 0. Does 20 divide h?
False
Suppose 0 = -2*l - 4*b + 44, 3*l - 4*b = -0*l + 46. Suppose 2*v = 2*y - 6*y + l, -3 = -v. Suppose 27 - 117 = -y*m. Is 15 a factor of m?
True
Let f = 80 - 209. Let v = f + 243. Suppose 4*d + 118 = 5*a, -5*a + d + v = -d. Is a a multiple of 11?
True
Let z = -78 + 132. Suppose -a = -4*a + z. Is a a multiple of 6?
True
Let x be (1 - 3)/(-1) - -2. Suppose x*q = 43 - 15. Does 4 divide q?
False
Suppose 4 = -4*f + 64. Does 3 divide f?
True
Let l(t) = t**3 - 5*t**2 + t - 5. Let h be (9/18)/((-1)/(-10)). Let r be l(h). Does 23 divide (3 - r) + 23 - 3?
True
Suppose -8*i + 5*i = -270. Suppose 0 = -5*j + i + 100. Does 9 divide j?
False
Suppose -2*y = 4*z - 7*y + 11, -18 = -3*z - 5*y. Suppose -z = -2*h + h. Suppose w - 43 = h. Does 15 divide w?
False
Is 27 a factor of 212/12*3 + 1?
True
Let t(p) = -2*p - 1. Let n be t(-3). Let a = -2 + n. Suppose -a*r - 55 + 166 = 0. Is 15 a factor of r?
False
Let l = -33 + 46. Let p = -21 + l. Let j = p + 15. Is j a multiple of 7?
True
Let l(f) = -8*f**3 - 2*f**2 - 2*f. Is l(-2) a multiple of 30?
True
Suppose l = -l - 12. Is -4*(-3)/(l/(-11)) a multiple of 11?
True
Suppose 500 + 165 = 5*t. Let p = 51 - t. Does 13 divide p/(-6) + 4/(-6)?
True
Let x(m) = 2*m. Does 7 divide x(10)?
False
Let k(h) = -h + 345. Is 74 a factor of k(0)?
False
Let p(w) be the second derivative of -w**4/3 + 3*w**3/2 + 9*w**2/2 + 2*w. Let j(l) = -l**2 + l + 1. Let k(v) = -3*j(v) + p(v). Does 11 divide k(5)?
True
Let d be 3/15 - (-8)/10. Let l = d + -1. Suppose 5*h + 2*x - 55 = l, 2*h - 2*x + x - 22 = 0. Does 11 divide h?
True
Let v = 123 + -57. Is 33 a factor of v?
True
Let d = -36 + 61. Let n = -6 + d. Is 9 a factor of n?
False
Does 2 divide 0 - ((-1 - -1) + -12)?
True
Suppose -110 = -3*r - q, -r - 154 = -5*r - 5*q. Does 12 divide r?
True
Is 21 a factor of ((-376)/(-12))/(-2)*-3?
False
Let t = -26 + 29. Does 20 divide 18/t + -3 + 37?
True
Let c = -27 + 65. Suppose -c = -0*h - 2*h. Let j = h - 11. Does 7 divide j?
False
Suppose 0 = 2*z - x - 0*x - 185, 4*z + 5*x = 391. Let j be (-2)/9 + z/18. Suppose -4*u + 69 = -j*v, 3*u - 3*v = v + 52. Is u a multiple of 14?
False
Suppose -4*w - a + 2 = -5*w, -5*w = 5*a 