 12. Let a(c) = c**3 - 10*c**2 + 3*c - 3. Let w be a(10). Suppose -w = -y*p + 165. Is p a multiple of 24?
True
Suppose -t = -5*q + 234, 3*q - 2*t + 38 = 4*q. Let h = -31 + q. Is h even?
False
Let z be ((-11604)/3)/(-4)*-1. Let u = -684 - z. Let x = -202 + u. Does 14 divide x?
False
Let p = -17 + 17. Suppose -2*z + 63 + 399 = p. Suppose 5*c - 295 = -4*s - s, 0 = 4*s + 5*c - z. Is s a multiple of 19?
False
Let y(p) = p**2 - 2*p + 4. Let j be y(6). Let l = -22 + j. Suppose -208 = -l*n + 4*n. Is 13 a factor of n?
True
Suppose 4 - 2 = -x. Let t(h) = -8*h**3 + h**2 + 3*h - 2. Is 30 a factor of t(x)?
True
Suppose 0 = 88*y - 7971 - 4085. Is y a multiple of 5?
False
Let k(u) = 3*u - 7. Let x be k(3). Suppose 4*i + 4*z = 72, -24 = -x*i - 4*z - z. Is 22 a factor of i?
True
Let d(l) = l**3 + 5*l**2 - 11*l - 20. Let r(p) = -2*p**2 - 22*p - 6. Let s be r(-11). Is 6 a factor of d(s)?
False
Suppose -x = -4*x + 3, 5*x = 5*f + 125. Let y be (-649)/(-7) - (-12)/42. Let h = f + y. Is 23 a factor of h?
True
Suppose 19*m - 18 = 21*m. Is (-429)/(-2) + m/(-6) + -1 a multiple of 43?
True
Let j be 2/((-10)/(-45)) + -1. Let u = j - -13. Does 2 divide u?
False
Suppose 4*y - t = 1155, -5*y + 588 = -3*y - 4*t. Does 16 divide y?
True
Suppose -4*o = -5*u - 5992, -4*u - 4*o - 5968 = u. Is 4 a factor of (u/(-115))/(((-4)/(-5))/2)?
False
Let o = -592 - -780. Does 37 divide o?
False
Let s = -128 - -130. Suppose -s*y + 955 = 3*y. Is y a multiple of 24?
False
Suppose 2*t - 6 = -0*t. Suppose m - t*a = 142, 3*a + 150 = m + 4*a. Let z = m + -97. Does 17 divide z?
True
Let q(v) = 7*v + 5. Let k(u) = -u + 1. Let s(h) = 173*h + 114. Let d(r) = -5*k(r) - s(r). Let a(t) = 2*d(t) + 49*q(t). Is a(5) a multiple of 21?
True
Let m = -3 - -4. Let t be 2/3*m*48. Let v = 73 - t. Is v a multiple of 10?
False
Let y(g) = 0*g**3 + 0 + 4*g**2 + g**3 + 4. Let i be y(-4). Suppose -k - i*b = -31, 22 = -5*k + 4*b + 201. Is 10 a factor of k?
False
Let y = -61 + 51. Let l = y + 60. Is 25 a factor of l?
True
Let o(r) = 24*r**2 + 5*r + 4. Let g be o(-2). Suppose 0 = 4*d - 2*a - 74, -5*d - 3*a + 6*a + g = 0. Is 21 a factor of d?
True
Let p = -193 + 589. Is 33 a factor of p?
True
Let p = 1068 + -948. Does 10 divide p?
True
Let r(x) = 30*x - 7*x - 2 + 14. Let g be r(-5). Does 23 divide 12/8 - g/2?
False
Suppose -892 = 31*p - 13323. Is 32 a factor of p?
False
Let w be 1 + -2 + 7 + -2. Suppose 2 = 2*x - w*x. Is x/(2/9)*-12 a multiple of 12?
False
Suppose -3*b = a - 2, -2*a - 3*b - 2 + 3 = 0. Let w(o) = o**3 - 8*o**2 - o + 18. Let v be w(8). Does 6 divide -12 + v + (-19)/a?
False
Let c(d) be the third derivative of -3*d**2 + 2/3*d**3 + 0 + 0*d + 0*d**4 + 2/15*d**5. Is c(-3) a multiple of 17?
False
Let g = 10 + -8. Suppose d = -g*s - 17, 17 = -4*d + 5*s - 38. Let i(k) = k**3 + 15*k**2 + 22. Is 9 a factor of i(d)?
False
Suppose -l + 203 + 128 = 5*j, 3*j = -3*l + 1029. Is 33 a factor of l?
False
Let y(n) = -n + 10. Let z be y(7). Let b(q) = 7*q - 1. Let r be b(z). Suppose 0 = -k + 2*k - r. Is 6 a factor of k?
False
Let u = 102 + -70. Suppose 0 = 11*g - 15*g + u. Is g a multiple of 4?
True
Let b(c) = -4*c**3 - c**2 + 5*c - 1. Let p(i) = i**3 - i. Let y(o) = 4*b(o) + 18*p(o). Let l = -6 - -10. Does 20 divide y(l)?
False
Let n(z) = -12*z - 24. Let h = -29 + 23. Is n(h) a multiple of 17?
False
Let d be (-2 + (-4 - 1))*6/7. Let i(m) = -33*m - 13. Does 38 divide i(d)?
False
Let i(o) = o**2 + 14*o - 19. Suppose a = -2 - 0, 0 = -h + 3*a - 10. Is i(h) a multiple of 2?
False
Let i be 2/2 + 0 + -2. Let f = 3 - i. Suppose 12 = -3*d + f*d. Does 11 divide d?
False
Suppose 0 = -350*g + 358*g - 14400. Is g a multiple of 36?
True
Let s = -18 + 20. Let h be 0 + s - (-440)/5. Suppose 0 = -10*i + 5*i + h. Is i a multiple of 11?
False
Let y = 2122 + -627. Does 18 divide y?
False
Let f(u) = -8*u**2 + 7*u**2 - 4*u - 8 - 25*u. Does 43 divide f(-20)?
True
Suppose -z + 13*z - 3204 = 0. Does 12 divide z?
False
Let q = 0 + 0. Suppose t - 38 = -m - q*m, -5 = 5*t. Let y = 18 + m. Does 19 divide y?
True
Suppose 66*c - 24*c = 1932. Is c a multiple of 20?
False
Let g(p) = 15*p - 3. Suppose 0 = -s + 5*s - 20. Does 12 divide g(s)?
True
Let n(w) = w**2 - 6*w + 9. Let x = 11 + -4. Does 9 divide n(x)?
False
Is ((-2)/(-6))/((-7)/(-63)) - -397 a multiple of 8?
True
Let h(r) = -12*r + 469. Is h(0) a multiple of 67?
True
Let m(n) = -64*n - 136. Does 14 divide m(-24)?
True
Suppose 1188 = 2*n - 2*c, 5*n = -5*c + 3964 - 1044. Suppose -n + 29 = -8*o. Is 14 a factor of o?
True
Let v(u) = -4*u**2 - u + 10. Let q be v(-3). Let n = q + 94. Let j = n - 26. Is 9 a factor of j?
True
Let i(r) = 178*r - 258. Is i(4) a multiple of 11?
False
Let a(i) = 14*i - 5. Let g be a(-1). Let y(o) = -2*o**3 - 5*o**2 + 3*o. Let n be y(-4). Let u = g + n. Is 14 a factor of u?
False
Suppose 7 - 2 = -5*w, 10 = 3*v + 5*w. Suppose -v*p + 596 = 146. Does 9 divide p?
True
Suppose 0*z + 5*z = 0. Suppose 2*m = -z*m + 176. Is 22 a factor of m?
True
Let c be 1/(-2) + 756/(-8). Let b = 11 - c. Does 13 divide b?
False
Suppose -l - 3*z = 15, -4*l + 3*z + z + 4 = 0. Is (28/l)/((-12)/9 - -1) a multiple of 14?
True
Let i be ((2 - 4) + 11)*-2. Let d be (i/(-5))/((-4)/20). Let m = -4 - d. Is 9 a factor of m?
False
Let z(b) = -23*b - 49. Does 4 divide z(-10)?
False
Suppose 0 = o + 13*n - 17*n - 86, 187 = 2*o - 5*n. Is 13 a factor of o?
False
Let o(i) = -i**3 + i**2 + 17. Let m be o(4). Let p(j) = 8*j - 5. Let w be p(7). Let k = w - m. Does 41 divide k?
True
Suppose 4*d - 3*d + 15 = 2*g, 4*d + g + 96 = 0. Let o be (17/(-3))/((-7)/(-63)). Let m = d - o. Does 14 divide m?
True
Suppose -2*j + 88 = -56. Is (10/(-6))/((-8)/j) a multiple of 5?
True
Suppose -5*d - 11 = -26. Let m(l) = -15*l - 9 + 4*l**3 + 3 - 2*l**3 - d*l**3 - 11*l**2. Is m(-10) a multiple of 11?
True
Suppose -3*w = -w + 316. Let s = w - -229. Does 15 divide s?
False
Let z = -3 + 7. Suppose -z*u + 3*i = -287, 2*u = 3*i - 6*i + 157. Is u a multiple of 7?
False
Let r(b) = 44*b - 2*b**3 + 10 - 49*b - 7*b**2 + b**3. Let f = -6 + -1. Is 24 a factor of r(f)?
False
Suppose 4*q + 4*u = 5*q + 9, 3*u - 26 = -2*q. Suppose 5*k + 14 = -4*h, 0 = 2*k - q*h + 2*h + 32. Is (-4 - (1 + k))*3 a multiple of 2?
False
Let a = -103 - -48. Let r(i) = -20*i - 326. Let y be r(-17). Let q = y - a. Is q a multiple of 12?
False
Let z(o) be the first derivative of 5*o**4/24 - 2*o**3 + 2*o**2 - 4. Let p(n) be the second derivative of z(n). Does 2 divide p(4)?
True
Is 45 a factor of (-135700)/(-375) - 4/(-30)?
False
Let c be (-1 - 38/(-2)) + -1. Let y = c + -15. Is 8 a factor of (y/(-5))/((-3)/120)?
True
Let h(a) = -2*a - 18. Let s(m) = 9*m + 91. Let t(o) = 11*h(o) + 2*s(o). Is 13 a factor of t(-17)?
True
Let j(y) = y + 7. Let n be j(6). Suppose -c - 1 = n. Let r = 4 - c. Does 6 divide r?
True
Suppose -8 = -4*x + 12. Suppose -x*n + 650 = -3*z + 4, n - 2*z - 125 = 0. Does 46 divide n?
False
Let t(k) = 2 + k**2 - 8 - k + 14 + 7*k. Is 33 a factor of t(-13)?
True
Let n = -35 + 33. Does 10 divide ((-21)/63)/(n/60)?
True
Suppose 5*g - 243 = -14*r + 11*r, -45 = -g + 3*r. Does 18 divide g?
False
Let i(s) = -s**3 + 4*s**2 - 2*s - 7. Let f be i(5). Let m be 6 - 3 - f - 3. Suppose 3*z + 3*d = m, -z = 5*d - 5 - 9. Is 7 a factor of z?
True
Let i(l) be the third derivative of l**6/120 + l**5/5 - l**4/24 + 8*l**3/3 + 9*l**2. Is 19 a factor of i(-12)?
False
Let g = -524 + 884. Does 10 divide g?
True
Let a = 409 + -58. Does 39 divide a?
True
Let u(p) = -p**3 - 11*p**2 - 13*p + 12. Let z = -42 + 32. Does 9 divide u(z)?
False
Let s = -15 - -17. Suppose -3*u = -7*w + s*w - 158, u = -w - 38. Let k = w + 86. Does 16 divide k?
False
Suppose 2*t = -p + 866, -2*t + 5*p = 3*t - 2180. Suppose 4*s - t = -3*s. Does 26 divide s?
False
Let g(o) = 100*o**2 - 3*o + 2. Let n(j) = 400*j**2 - 13*j + 9. Let v(m) = 9*g(m) - 2*n(m). Let y be v(-1). Does 17 divide (-1)/(-3) + y/3?
True
Let t = 273 + -240. Is t a multiple of 11?
True
Let j(f) = f**3. Let n(m) = -3*m**3 + 4. Let g(d) = 2*j(d) + n(d). Does 18 divide g(-3)?
False
Let p(f) = 5*f**3 - 3*f**2 - 2*f + 15. Does 13 divide p(5)?
False
Let k = -11 + 35. Is 92/(-6)*k/(-16) a multiple of 23?
True
Suppose z = 4*o - o + 12, -3*z - 3*o = 0. Is (-8)/(z + -1) + 186 a multiple of 39?
False
Suppose -i + 3*o + 0 = -12, -i + o + 4 = 0. Suppose 3*f + 0*y - 5*y - 58 = i,