8*f + 6. Let z be t(d). Is 6 a factor of j(z)?
True
Suppose p = t + 12 + 78, -p = 5*t - 72. Is 18 a factor of p?
False
Let p = 36 - -3. Suppose -26 = -3*z - 2*i, 2*i + 3 - p = -4*z. Is z a multiple of 7?
False
Let c(d) = 3*d**2 + 2*d - 2. Let x(y) = 2*y**3 + y**2 + 2*y + 1. Let r(h) = h**3 - h - 1. Let f be r(0). Let k be x(f). Does 5 divide c(k)?
False
Suppose -2*g = g - 315. Does 22 divide g?
False
Let z(v) = v**2 + 2*v - 13. Is z(-8) a multiple of 10?
False
Suppose -6 = -i + 13. Let v = i + 9. Does 14 divide v?
True
Let h(l) = -l + 19. Is 5 a factor of h(-6)?
True
Suppose 0*x + 215 = 5*f + 5*x, -20 = 4*x. Let h = 83 - f. Does 9 divide h?
False
Let u = -16 - -22. Let f be 2/u - 489/9. Let z = 89 + f. Does 12 divide z?
False
Suppose 0 = -3*b + 10 - 1. Let u = 26 + -16. Suppose b*m - 43 = -u. Is 11 a factor of m?
True
Let u be 390/(-9) - 4/6. Let m = 23 + -46. Let c = m - u. Does 10 divide c?
False
Let f be (-1 - -4)/(1 - -2). Is 4 + -24*(-2)/f a multiple of 20?
False
Let p = -1 - 39. Let r = 31 - 53. Let b = r - p. Is b a multiple of 5?
False
Suppose 2*f + 2*q = 3*f + 13, -38 = 5*f - q. Let d(u) = -u**2 - 9*u + 8. Let g be d(f). Suppose 5*k - g = -2. Does 4 divide k?
True
Suppose 110 - 30 = 2*a. Let l = a - -39. Is l a multiple of 22?
False
Suppose 4*g + 0*g = 24. Let k = -4 + g. Suppose -4*x + c = -k*x - 27, 0 = x + 5*c - 8. Does 10 divide x?
False
Let v(s) = 2*s. Let z = 15 - 9. Is 6 a factor of v(z)?
True
Is 6*(64/12 + 1) a multiple of 16?
False
Let u be (3/6)/(2/16). Suppose -3*y + 0*y + 2*d + 35 = 0, -5*y - u*d = -73. Is y a multiple of 13?
True
Let k = 2 + -2. Let l be k/(1/(2 - 1)). Suppose l = s + 4*s - a - 51, -3*a + 27 = 3*s. Is s a multiple of 9?
False
Let j be ((-18)/(2 - -1))/1. Let p = -4 - j. Is 2 a factor of p?
True
Let p(q) = 5*q**2 + q + q + q**3 + q**2 + 6. Let k be p(-6). Is 2 a factor of (2/k)/(2/(-30))?
False
Let d(x) = 27*x + 15. Does 10 divide d(5)?
True
Suppose -13*x + 95 = -8*x. Let z = 23 + 3. Suppose 3*a - x = z. Is a a multiple of 15?
True
Let t = 9 + -5. Is (-80)/(-6)*9/t a multiple of 15?
True
Suppose 0 = q - 8. Suppose -2 = -4*s - h, 0 = 2*s - 5*h + 2 + q. Suppose -3*k = -k + 3*u - 41, -4*k + 5*u + 71 = s. Is k a multiple of 19?
True
Let d be (2 - 2)*(-1 + 2). Let z be 19 + 0 - (2 + d). Suppose -15 = -4*t + z. Does 4 divide t?
True
Let j(m) = -m**2 + 12*m - 15. Let u be j(10). Suppose 0 = -n + u, 3*s + s + n = 21. Suppose 12 = -2*v + s*v. Is v a multiple of 3?
True
Let i(d) = -14*d. Let q(t) = -t**3 - 2. Let p be q(-2). Suppose 2*k + p = 2. Is i(k) a multiple of 11?
False
Let o = 185 + -91. Is o a multiple of 9?
False
Let u = 20 + -11. Does 19 divide u/(-6)*(4 + -42)?
True
Let t = -3 - -1. Let i = t + 6. Is 2 a factor of i?
True
Let g(x) = 2*x + 8. Let d be g(-6). Let m be (1 + -1)/(2 + d). Suppose -3*v + 33 + m = 0. Is v a multiple of 8?
False
Let j = 19 + 3. Suppose -4*r - j = -130. Is r a multiple of 11?
False
Suppose 2*b = -4*k - 0 + 24, -1 = -3*b + k. Let q = b - -4. Suppose 0 = -2*o + q*o - 76. Is 9 a factor of o?
False
Let z(r) = -3*r + 50. Is z(-22) a multiple of 14?
False
Let b(d) = 19*d + 22. Does 9 divide b(5)?
True
Let h = 1 - 1. Suppose h = 2*y - 9 - 5. Is y a multiple of 7?
True
Let z(y) = 3 - 10 + 2*y**2 + 11*y - 3*y**2. Is z(7) a multiple of 7?
True
Suppose 5*c + 1 = -5*u + 6, -3*u + 17 = -4*c. Suppose -u*r = r + 4. Let m = r + 9. Does 3 divide m?
False
Let g = 54 - 32. Suppose -5*n + g = -3. Suppose -2*v = -2*h + 32, -9 - 17 = -2*h + n*v. Is 9 a factor of h?
True
Let n(h) = h**3 - 4*h**2 + 5*h - 2. Let g be n(3). Suppose y - 3*y + g = 0. Does 12 divide (-1)/(-1) - y - -25?
True
Is 15 a factor of 6/6 + (-1 - -19)?
False
Let g(q) = -3*q - 4. Let j be 1/5 + 64/(-20). Let h be g(j). Suppose 3*a = -4*b + 79, -3*a = h*b - 126 + 31. Is 8 a factor of b?
True
Let k(l) = 41*l + 3. Let i be k(-2). Let y = 113 + i. Does 17 divide y?
True
Suppose 150 = -14*m + 15*m. Is 15 a factor of m?
True
Suppose 4*x = -q + 9*x + 39, -2*q - 3*x = -78. Does 13 divide q?
True
Suppose -3*t - 31 = q - 98, -4*q - 2*t = -278. Is q a multiple of 10?
True
Suppose 0 = -2*a + a + 2. Suppose a*m = 8, -t + 4*m + 23 = -0*t. Does 11 divide t?
False
Suppose -5*c + 2 = 3*v - 3, 0 = -5*c - v + 5. Let m be (-1)/c - 2 - -5. Suppose 5*j = m*q + 48, -40 = -5*j + q + 4. Is j a multiple of 4?
True
Suppose h - 460 = -4*h. Is h a multiple of 14?
False
Is 27/7 + (-5)/(-35) a multiple of 4?
True
Suppose -2*r = -6*r + 16. Suppose 0 = -r*x + 170 + 38. Is 18 a factor of x?
False
Let o be 3 - (1 + -3 - -5). Suppose o*i - i = -3*d, -3*i + 32 = -d. Does 6 divide i?
True
Let h(u) = -u + 2. Let k be h(4). Let d be (-34)/3 - k/(-3). Let n = 10 - d. Does 11 divide n?
True
Suppose -3 = 3*j + 15. Let y = 18 + j. Is 12 a factor of y?
True
Let n(f) be the second derivative of f**6/90 + f**5/120 - f**4/6 + 2*f. Let a(h) be the third derivative of n(h). Does 11 divide a(4)?
True
Suppose -3 - 17 = -5*d. Let g = 39 + -39. Let s = d + g. Is s a multiple of 2?
True
Let t(v) = -4*v - 2. Let p be 2/5 - 16/(-10). Let l be t(p). Let h(q) = -q - 3. Is 6 a factor of h(l)?
False
Suppose -6*g + 90 = -102. Is 8 a factor of g?
True
Suppose 5*y - 602 - 223 = 0. Suppose 4*a = 16, -118 = -5*t - 2*a + y. Is t a multiple of 15?
False
Let b = -103 - -356. Is 37 a factor of b?
False
Let h(v) = v**3 + 6*v**2 - v - 4. Let r be h(-6). Let o be 1*162/(-4)*r. Let s = -42 - o. Is s a multiple of 12?
False
Let o(r) = r**2 + r + 52. Let q be o(0). Let w = q + -27. Is 17 a factor of w?
False
Let t = 6 + -3. Let v(o) be the third derivative of 11*o**4/12 - o**2. Is v(t) a multiple of 25?
False
Suppose 3 = 4*n + 19. Is (n/(-6))/((-4)/(-186)) a multiple of 15?
False
Let x = -4 + 6. Suppose -x*b = -4 - 4. Suppose 3*p = -b*t + 76, 2*p + 1 = 9. Does 16 divide t?
True
Let x(a) = -6*a - 3. Let z(m) = -13*m - 6. Let n(w) = 9*x(w) - 4*z(w). Suppose 6*u = u - 40. Does 8 divide n(u)?
False
Let r be 6/15 + (-1496)/(-10). Suppose r = -j - 4*j. Does 10 divide 3 - (3 + j - 0)?
True
Let l(x) be the third derivative of -x**4/24 + 2*x**3/3 - x**2. Let f(k) = k**2 + 5*k + 3. Let z be f(-2). Is 7 a factor of l(z)?
True
Suppose 4*w = -25 + 105. Let h = w - -38. Is h a multiple of 12?
False
Let g be (1/2)/((-3)/(-6)). Let c = 1 + g. Let v = c + 3. Does 5 divide v?
True
Suppose 3*u - 32 = 28. Let j = 40 - u. Is j a multiple of 4?
True
Let w(p) = 6*p**2 + 12*p. Is 32 a factor of w(6)?
True
Let s = 2 - 0. Let i be (-60)/(-2) - (-4)/(-2). Suppose -2*a - 28 = -m - m, 2*m = -s*a + i. Does 14 divide m?
True
Suppose -s + n = -57, -171 = -4*s + s - 3*n. Does 19 divide s?
True
Let o be 2 - (0 + 3/(-1)). Suppose -3*a - 66 = -o*a. Does 7 divide a?
False
Suppose -3*y = 0, -1 = -4*o + 5*o + 4*y. Is 33/9 + o/(-3) a multiple of 2?
True
Suppose 3*c - 15 = -2*c. Suppose -y + 4*h + 9 = -2*y, -y + 11 = -h. Suppose j = 3*f + 9, c*j - y = -5*f + 6. Is 6 a factor of j?
True
Let t(k) = -9*k + 2. Does 11 divide t(-1)?
True
Let o(n) be the second derivative of -n**5/20 - n**4/3 - n**3/3 - 2*n**2 + 4*n. Let z be 10/(-3) - 2/3. Does 3 divide o(z)?
False
Let r = -95 - -25. Let z = -23 - r. Does 12 divide z?
False
Suppose 0 = -8*t + 9*t - 34. Is t a multiple of 12?
False
Let p = -1218 - -1854. Is 4/14 + p/28 a multiple of 23?
True
Let y(r) = r**3 + 2*r**2 - 5*r + 1. Let u be y(-4). Let h = 15 + u. Suppose -d = -20 + h. Does 7 divide d?
False
Suppose -56 = -5*y + y. Is y a multiple of 6?
False
Suppose 4*s = -4*j, -2 - 2 = -4*s. Let r(l) = -18*l + 2. Is r(j) a multiple of 5?
True
Suppose -4*v - l + 0*l = -621, 5*v - l - 783 = 0. Is 21 a factor of v?
False
Suppose 3*m = -m - 72. Let d = 30 - -1. Let v = d + m. Does 8 divide v?
False
Let i(b) = 3*b + 7. Does 11 divide i(5)?
True
Suppose l + 28 = -n + 2*n, -2*n = 3*l - 71. Suppose -4*p = -n - 189. Does 21 divide p?
False
Let j be ((-1)/2 - -1)*0. Let v(f) = -3*f - 1. Let b be v(-1). Suppose -4*n + 44 = 2*g - b*n, j = 3*n + 6. Is 12 a factor of g?
True
Suppose 2*g - 4*g + m = -53, -3*m - 9 = 0. Does 14 divide g?
False
Suppose -5*k + 149 = -676. Is 55 a factor of k?
True
Let u(d) = 2*d - 1. Let g be u(2). Suppose -r + 1 = -g. Suppose 0*v + r*v - 12 = 0. Does 3 divide v?
True
Let s = -8 + 10. Suppose -s*a = 4*o + 3*a - 36, -5*o = -4*a - 45. Does 2 divide o?
False
Is 90/4*(-40)/(-25) a multiple of 