s 16 a factor of a?
True
Let g(s) = 2*s**2 + 46*s + 219. Is 8 a factor of g(-25)?
False
Let l be ((0 - -2) + -3)*12. Let g = 15 + l. Suppose 0 = g*w + 12 - 147. Does 15 divide w?
True
Suppose x + 6*k = 8*k + 1253, 5*x + 2*k - 6205 = 0. Is 11 a factor of x?
True
Let k(j) = -j - 2. Let q be k(-7). Suppose q*v = -20, 5*v = -0*x - x + 2. Does 4 divide x?
False
Suppose 0 = 5*y - 3*d - 137, 141 = 5*y - 3*d - d. Suppose -165 = -2*s + y. Does 17 divide s?
False
Suppose -2*q + 518 = 4*g - q, g - 122 = -4*q. Let p = g + -43. Suppose p = 5*j - 2*j. Does 10 divide j?
False
Suppose -4*p = -2*p - 12. Suppose 44 = -2*t + p*t. Does 11 divide (12 + -10)*(t - 0)?
True
Let x(z) be the third derivative of z**5/60 - 5*z**4/12 - 4*z**3/3 + 4*z**2. Let c be x(10). Does 30 divide 30*6/(c/(-4))?
True
Suppose -o - 8*x + 837 = -5*x, 4*o + 4*x - 3324 = 0. Is o a multiple of 12?
True
Let t(k) = 2*k**2 + 18*k + 1. Let i(h) = -5*h**2 - 54*h - 3. Let y(s) = 4*i(s) + 11*t(s). Is 16 a factor of y(16)?
False
Let i(p) = 25*p**2 + 30*p + 19. Does 11 divide i(-8)?
False
Does 96 divide (74 - 1226)/(0 - 1)?
True
Let o = 5237 - 2333. Is o a multiple of 24?
True
Is 2 - (-2)/3*(5 + 2503) a multiple of 62?
True
Suppose -5*m = -9*t + 7*t - 516, 3*m = -t + 303. Does 4 divide m?
False
Let f(q) be the second derivative of -11*q**5/10 - q**4/4 - q**3/6 + q**2/2 - 16*q. Does 21 divide f(-1)?
True
Suppose 57*k + 2430 = 66*k. Is 15 a factor of k?
True
Let v(j) = -18*j + 36. Let b be v(8). Is b*(0 + 3 + -4) a multiple of 12?
True
Suppose 0 = -x + 81 + 51. Suppose 6*p - 2*p = -x. Let c = 3 - p. Does 12 divide c?
True
Let w be 74/9 + (-18)/81. Let q be w - (4 + (2 - 3)). Suppose g + 80 = s + 2*g, q*g = -3*s + 250. Is s a multiple of 25?
True
Let o = -28 + 25. Let n = 1 - o. Suppose -4*a - n*t = -64, a - 4 - 14 = t. Does 17 divide a?
True
Suppose -2*g - 30 = -7*g. Let i(b) = b + 5. Is i(g) even?
False
Let h be 4/(-6) + (23/3 - 0). Is 4 a factor of h*(65/28 + 6/24)?
False
Let h(j) = 0 + 4 - 6*j + 12*j. Is 27 a factor of h(16)?
False
Suppose u + b + 71 = 0, -u + b + 363 = -6*u. Let s be (-2 + 4 - -1) + u. Let v = -42 - s. Is v a multiple of 14?
True
Let s(n) = -n**2 - 8*n + 2. Let g(a) = 2*a**2 - 8*a - 4. Let t be g(6). Suppose -2*k - 8 = -c, 7*k - c = 2*k - t. Does 9 divide s(k)?
True
Suppose 158*m = 161*m - 3912. Is m a multiple of 50?
False
Suppose 2*f - 13 + 1 = 0. Suppose -9*y = -f*y - 279. Is y a multiple of 18?
False
Suppose -10*d = -52*d + 42588. Is d a multiple of 8?
False
Does 41 divide ((-116)/(-5))/(2/50)?
False
Let u(j) = -23*j**3 - j**2 - 2*j - 2. Let v(a) = a + 1. Let m(b) = -u(b) - 2*v(b). Is m(1) a multiple of 24?
True
Let i = 9 - 15. Let d be i/(-2) - (0 - -1). Suppose d*h + 3*n = 75, -2*h + 32 + 61 = -3*n. Is 21 a factor of h?
True
Let w = 26 - 18. Is 4 a factor of -3*w/(-6) - -8?
True
Let h(u) = -u + 4. Let n be 4/2*17/(-2). Does 21 divide h(n)?
True
Let k(f) = 40*f - 47. Let r be k(10). Let q = r - 113. Does 13 divide q?
False
Suppose 4*u - 11 = 5. Suppose 5*q + 42 = u*m, -q - 9 = 3*q + 5*m. Does 15 divide (4/q)/(22/(-2112))?
False
Let h = 58 + -41. Suppose -h = -x + 3*n, 6 = -x - 3*n - 7. Suppose -x*s = 4*a - 134, -4*s + 52 = 4*a - 76. Is a a multiple of 17?
False
Suppose -4*u + 11*l = 8*l - 8151, -3*l + 4089 = 2*u. Is 5 a factor of u?
True
Let y(z) = -z**2 + 17*z + 14. Let w = -33 - -44. Is 16 a factor of y(w)?
True
Let n = -128 + 148. Suppose -5*b - 6 = 3*t, -b - 2*t - 1 = 3. Suppose -4*f + n = 2*w, 5*w - 2*f - 32 - 18 = b. Is w a multiple of 3?
False
Let y = 13 + -11. Let d = -23 + y. Let c = d + 35. Is c a multiple of 3?
False
Let g(r) = 49*r**3 - 3*r**2 + r - 2. Let j(s) = 49*s**3 - 2*s**2 - 1. Let p(z) = -2*g(z) + 3*j(z). Let q be p(1). Let u = 12 + q. Is u a multiple of 23?
False
Suppose 24 = 7*r - 501. Does 7 divide r?
False
Let k(f) = -2 - 6*f - 2*f + 21*f + 9*f. Does 16 divide k(3)?
True
Let k(w) = -196*w - 267. Is 46 a factor of k(-10)?
False
Let w be ((-4)/(-1))/(-4) + 4. Suppose -g + 3 = 0, 87 = w*t - 0*t - 3*g. Suppose -u - t = -79. Is 9 a factor of u?
False
Is 23 a factor of 3/(((-80)/3128)/(-10))?
True
Let h be 80/(-6)*(-48)/40. Suppose h = 4*l - 0*l. Suppose -66 = -l*r + r. Is 11 a factor of r?
True
Let l be 4/(-10) - 102/(-30). Suppose -l*u + 11 + 37 = 0. Suppose -42 = -a - u. Is 10 a factor of a?
False
Suppose -30*p = -10374 - 2976. Does 5 divide p?
True
Is 16 a factor of (49*29 - (-2 + 6)) + -1?
False
Is 4 a factor of ((-192)/28)/((40/35)/(-4))?
True
Suppose -8*m + 956 = -6*m. Suppose -m = -2*l - 108. Let f = -73 + l. Is 16 a factor of f?
True
Let a(q) be the third derivative of 89*q**6/120 - q**5/20 + q**4/24 + 18*q**2. Is 28 a factor of a(1)?
False
Let c be (12 + -1)*(-3 - -8). Let l = 60 + -31. Let u = c - l. Is u a multiple of 13?
True
Suppose 3*s - 19 = -t, -5*s + 2*t + 10 + 18 = 0. Suppose -2*q + s*q - 370 = -2*i, -q + 75 = -3*i. Is q a multiple of 15?
True
Suppose 0 = -2*t + 4*t - 2, 511 = 4*n - t. Let a = n + -84. Does 22 divide a?
True
Let d be 0/2*(3 - 4). Let z be d + 2 + (-4 - -4). Is 15 a factor of ((-58)/(-5) + z)*5?
False
Let a(f) = 13*f + 54. Does 29 divide a(36)?
True
Suppose 5*c - c = 4*j - 24, -24 = -5*j + 2*c. Let h(m) = m**3 + 2*m**2 + 3*m - 4. Does 26 divide h(j)?
True
Suppose -5*l + 1365 = 5*k, 0*k - 1068 = -4*l + 4*k. Is 45 a factor of l?
True
Let d(r) = -r**3 - 12*r**2 - 11*r + 5. Let y be d(-11). Suppose y*b = -0*b + 60. Suppose -b - 8 = -4*p. Is 2 a factor of p?
False
Let w(t) be the first derivative of t**5/120 + 5*t**4/12 - 3*t**3 + 9. Let i(c) be the third derivative of w(c). Does 2 divide i(-8)?
True
Let m(j) = 11*j**2 - 43*j - 27. Is 4 a factor of m(16)?
False
Let h be (27/(-6))/((-3)/4). Suppose 751 = h*y + 103. Is y a multiple of 9?
True
Let r(x) = -2*x**2 - 18*x - 6. Let p be r(-9). Let j(i) = 2*i**3 + 19*i**2 - 10. Is 22 a factor of j(p)?
True
Let w(r) = -5*r + 3. Let f be w(-8). Let p = 71 - f. Does 11 divide p?
False
Does 18 divide 10/6 + 25896/36?
False
Suppose -19 = 3*b - 1. Let l = 10 + b. Suppose f - 19 = -l*s, 4*s - 79 = -5*f - 0*s. Is 15 a factor of f?
True
Suppose 13*u + 259 = 2*l + 8*u, 0 = -l + 4*u + 131. Let z = l - 70. Does 13 divide z?
False
Let r(m) = 2*m**2 + m + 20. Let q be r(6). Let u = 174 - q. Does 7 divide u?
False
Suppose 5*c + 66 = -109. Let f = c + 10. Let x = f + 74. Is x a multiple of 22?
False
Suppose 7*f - 21*f + 6384 = 0. Does 24 divide f?
True
Let n(u) = 14*u**2 + 4*u + 17. Let d be n(-7). Suppose 3*t - d = -3*h, 695 = 3*t - 2*h + h. Suppose 80 = 2*a + 4*p, 4*p = -5*a - 0*p + t. Does 19 divide a?
False
Does 7 divide 6/4*(-11116)/(-42) + -5?
True
Let i(a) = 2*a**3 - 26*a**2 - 17*a - 283. Does 18 divide i(21)?
False
Let x = -81 - -85. Is 9 a factor of (2 - x)/((-3)/15) - 1?
True
Suppose -3*t = -3*q - 276, -2*t - 2*t + 5*q = -369. Let k = -58 + t. Is 8 a factor of k?
False
Let l = -41 + 20. Let u = 14 - l. Let k = u + 19. Does 15 divide k?
False
Let k(o) be the first derivative of 6 - 21/2*o**2 - 12*o - 1/3*o**3. Is 23 a factor of k(-8)?
True
Let p(f) = 6*f**2 + 4*f + 7*f**2 + 2*f**2 - 7*f**2. Suppose -5*x + 4*z + 4 = 7, 0 = -3*x - 5*z - 24. Is 15 a factor of p(x)?
True
Suppose 2*l + 5 - 11 = 0, k + 4*l = 9. Let x = 24 - 23. Does 13 divide (-11 - x)/(k/4)?
False
Let s = -1657 - -1747. Is s a multiple of 6?
True
Is (15/1 - 1)*(186 + 2) a multiple of 28?
True
Suppose 3*c = 9, -27*s + 3*c = -31*s + 3153. Is 21 a factor of s?
False
Does 11 divide (-55)/(4 - 22/32*6)?
True
Let p = 0 - 0. Suppose 4*q - 303 - 77 = p. Suppose -c - 4*c + q = 0. Is 8 a factor of c?
False
Let c(l) = -59*l + 57. Let k(q) = 29*q - 28. Let v(d) = 6*c(d) + 13*k(d). Does 6 divide v(4)?
False
Suppose -58 - 66 = 4*h. Let n = 41 - h. Does 6 divide n?
True
Let g = -439 - -566. Does 20 divide g?
False
Let u(o) = -4*o**2 + 5*o + 7. Let h(j) = 3*j**2 - 5*j - 6. Let i(x) = -3*h(x) - 2*u(x). Let n be i(5). Is n + -1 - (-6)/2 a multiple of 3?
True
Suppose 2*s - 497 = -3*d + 2*d, 2*s + 4*d - 482 = 0. Is s a multiple of 48?
False
Suppose -g = -5*g - 44. Let h be (-11)/g + (-23)/1. Let t = 3 - h. Is t a multiple of 10?
False
Suppose -4*f + 5646 = 3134. Does 5 divide f?
False
Let j = -48 - -59. Suppose -2*f - 3*t - 3 = -j, 0 = -5*f - 3*t + 20. Is f even?
True
Let k(l) = -l**3 - 8*l**2 + 11*l + 17. Let v be k(-9). Does 17 divide (v - -68)