(-1) a multiple of 12?
False
Let x = -34 - -67. Is x a multiple of 11?
True
Suppose 0 = -5*j - 3*a + 2743, 4*j - 4*a + a - 2189 = 0. Suppose -7*f + 236 = -j. Is f a multiple of 28?
True
Let a(b) = -b**3 + 9*b**2 + 3*b + 12. Let g(y) = 2*y - 15. Let u be g(12). Is a(u) a multiple of 18?
False
Let c(v) = v**2 + 7*v + 1. Let l be c(-6). Let s = l + 15. Is (24/s)/(11/55) a multiple of 12?
True
Suppose -5*r - 71 + 2781 = -2*p, 0 = -2*r - 5*p + 1113. Does 34 divide r?
True
Let z = -30 - -22. Let h = z - -48. Is 40 a factor of h?
True
Let b(g) = -g**3 - 71*g**2 - 27*g - 217. Is b(-71) a multiple of 10?
True
Let s = 216 - 27. Does 7 divide (s/(-36))/(3/(-8))?
True
Suppose 21*c + 80 = 26*c. Is 9 a factor of 2/c + 9054/144?
True
Suppose q - 5*q = 5*s + 258, -5*q = 10. Let d = s + 177. Does 22 divide d?
False
Suppose 0 = 3*w - 4*w + 138. Suppose 488 = 10*x - 422. Let m = w - x. Is m a multiple of 13?
False
Let u = 24 - 65. Suppose 0 = -2*c - k + 2*k + 181, -3*c - 3*k + 258 = 0. Let f = u + c. Is 13 a factor of f?
False
Let f(b) = b. Let n(z) = 4*z + 7. Let q(u) = -3*f(u) + n(u). Let w be q(-6). Is -4*w*(-81)/6 a multiple of 18?
True
Let t(z) = -z**3 + 15*z**2 - 14*z. Let u be t(14). Let r be 1 - -2 - (-2 - u). Suppose h = -r*h + 120. Does 5 divide h?
True
Let f = 14 - -4. Let h(i) = -3*i + 41. Let l be h(13). Suppose f = l*w - 0*w. Does 3 divide w?
True
Let u be (45/6)/((-6)/(-4)). Suppose u*v + 4*w = -0*v + 676, 3*v - 4*w - 412 = 0. Suppose -2*y + 32 + v = 0. Does 21 divide y?
True
Suppose -5*v = -3*d + 83 - 308, -d = 0. Suppose 0 = -52*c + v*c + 133. Does 3 divide c?
False
Does 18 divide (2 - 138/15)/((-34)/935)?
True
Let t be (0 - 0) + (-8 - -1). Let b = -15 - t. Let q = b + 12. Is q a multiple of 3?
False
Suppose -20 = f - 3*i - 5, -i - 5 = 3*f. Let n be ((-16)/f + 0)*6. Let o = 53 - n. Does 8 divide o?
False
Suppose -22*b + 23418 + 20076 = 0. Does 11 divide b?
False
Suppose 2*i - 4*d - 340 = 0, 3*d = 4*i + 2*d - 715. Is i a multiple of 9?
True
Suppose -2*y + 216 = c - 299, 3*y + 3*c = 777. Is 32 a factor of y?
True
Let p(q) = 26*q - 28. Let r(x) = 26*x - 26. Let h(l) = -3*p(l) + 4*r(l). Does 22 divide h(4)?
False
Does 111 divide 96574/30 + (-266)/1995?
True
Let b = 1073 + -681. Suppose -12*q + 16*q = b. Does 18 divide q?
False
Suppose -4*u + 1 = -15. Let j(o) = o**3 - 4*o**2 + o. Let i be j(u). Suppose 2*p = i*p - 16. Does 8 divide p?
True
Let q be (-1685)/(-25) - (-6)/(-15). Let z = -39 + q. Is 23 a factor of z?
False
Let o = 4 + -4. Suppose 4*g - 2*n - 48 = o, 0 = -4*n + 16. Does 4 divide g + 1/(-2 - -1)?
False
Suppose -3*v = -5*y - 35, y - v + 9 = -0*y. Let z(l) = l**2 - 10*l + 12. Let m(x) = -x + 1. Let b(i) = y*m(i) + z(i). Is b(6) a multiple of 8?
True
Let p(q) = 12*q**3 - 2*q + 1. Suppose -7 = 3*l - 10. Is p(l) a multiple of 9?
False
Suppose -2*f + 6 = 2. Suppose -5*z + 333 = 2*i, 0 = 4*i + 3*z - f*z - 621. Is i a multiple of 11?
True
Let o(w) = 14*w + 9. Let h(j) = 13*j + 9. Let z(y) = 3*h(y) - 2*o(y). Is 47 a factor of z(12)?
True
Let b(k) = 666*k**2 - 24*k - 10. Does 10 divide b(2)?
False
Suppose 5*t - 27 = 108. Suppose -5*i + 18 = -17. Suppose t = w + i. Is 5 a factor of w?
True
Let v(i) = -i**2 + 7*i - 5. Let u be v(5). Suppose -u*n + 188 = 3. Is 16 a factor of n?
False
Let z(v) = v**3 - 5*v**2 + 5*v - 2. Suppose -3*n + 0 = -2*l + 5, 0 = 5*l + n - 21. Let r be z(l). Suppose r*a + a + 60 = 5*b, 2*a = -2*b + 8. Does 3 divide b?
True
Let r(x) = -x**3 + 5*x**2 + 7. Let u be r(5). Let i(l) = 2*l**2 - 2*l + 1. Let d be i(2). Suppose -d*f = -162 + u. Is 15 a factor of f?
False
Let q be 5 - (-4 + (-2 - -6)). Suppose -q*a = -10*a + 200. Does 7 divide a?
False
Suppose 4*s - 4*u = -534 + 5474, -2*s + 5*u + 2482 = 0. Does 104 divide s?
False
Let c = -24 - -24. Suppose c = -4*o + 10 + 14. Is o a multiple of 2?
True
Let a(w) = w**3 - 7*w**2 + w - 3. Let y be (-23)/(-3) - 4/6. Let t be a(y). Suppose 45 = -t*l + 9*l. Is l a multiple of 9?
True
Suppose -3*k - 5*g + 8 + 37 = 0, 0 = k + g - 13. Let p = 11 - 13. Let r = p + k. Does 4 divide r?
True
Is 10 a factor of (545/(-4))/(136/(-1632))?
False
Let a(y) = -y**2 - 6. Let v(n) = 2*n**2 + n + 7. Let o(q) = -3*a(q) - 2*v(q). Let l be o(6). Let w = 64 + l. Is w a multiple of 20?
True
Suppose 2*k - 739 = 18*q - 13*q, q - 745 = -2*k. Does 23 divide k?
False
Let a(k) = k**3 + 27*k**2 + 25*k + 7. Is 12 a factor of a(-26)?
False
Let z be (6/18*0)/2. Suppose z = 4*r - u - 163, -6*r + 4*r - 2*u = -74. Is 15 a factor of r?
False
Suppose 2*g = 3*m + 54, -4*g + 108 = m + 3*m. Let f(q) = -2*q**3 - 2*q**2 - 2. Let x be f(-2). Is 291/g - x/(-27) a multiple of 11?
True
Let s = -2070 - -2673. Is 9 a factor of s?
True
Suppose -11*b - 304 + 942 = 0. Suppose -b = 4*y - 366. Does 22 divide y?
False
Let z(w) = -10*w**2 + 38*w + 12. Let m(j) = 7*j**2 - 25*j - 8. Let k(h) = 7*m(h) + 5*z(h). Does 10 divide k(12)?
True
Does 11 divide (-14)/3*1*(-156)/8?
False
Suppose -10*k - 82 = -12*k. Suppose 11 = n - k. Does 6 divide n?
False
Let x(q) be the third derivative of q**5/60 + 3*q**4/8 + 5*q**3/6 + 2*q**2. Is 15 a factor of x(-10)?
True
Let w(l) = 5*l + 22. Let o be w(-4). Suppose 3*p - 779 = -2*s, 6*s - o*s - 3*p - 1567 = 0. Does 34 divide s?
False
Let w(u) = 28*u - 43. Is 5 a factor of w(4)?
False
Let u(o) = 3*o + 87. Let h be u(-28). Suppose -3*r + 0*s + 201 = -h*s, -143 = -2*r - s. Does 3 divide r?
False
Suppose -s - s = -3*k + 777, -4*k + 4*s + 1036 = 0. Is 7 a factor of k?
True
Let t = 518 + -473. Does 45 divide t?
True
Let a(n) = -n**3 + 3*n**2 + 6*n + 4. Let o be a(-2). Suppose 2*v = 264 - o. Is v a multiple of 18?
True
Suppose -22*y + 18*y = 0. Suppose y = 5*a - 107 - 33. Is a a multiple of 14?
True
Let u(n) = n**3 + 7*n**2 - 10*n + 5. Let k be (-2)/8 + (-396)/(-48). Suppose k*i + 32 = 4*i. Is u(i) a multiple of 11?
False
Suppose 3*f + f - k + 7 = 0, -3*f = -k + 5. Let s = f - -4. Suppose 4*y - 3*z - 151 = 184, 135 = s*y + 5*z. Is 20 a factor of y?
True
Suppose 4*j + 4 = 0, 2*o - 8 = -3*o - 2*j. Suppose 4*b - 6*b - 4*d = -236, d - 236 = -o*b. Is b a multiple of 9?
False
Let q(m) = m**3 + 4*m**2 - 4*m - 5. Let v be q(-5). Let h be (-22)/(-6) + v/15. Suppose -5*p + 49 = 4*r, -h*p + 0*r = 2*r - 29. Does 4 divide p?
False
Let x(l) = -41*l + 6. Let d be x(4). Let a = 282 + d. Is a a multiple of 21?
False
Let r(i) = -6*i**2 - 11*i + 28. Let c be r(6). Let p = c - -495. Is p a multiple of 27?
False
Let t(w) = 109*w**2 + 82*w + 9. Is 20 a factor of t(-4)?
False
Let l be (-6)/39 + 141/(-13). Let a = -8 + l. Let n = 30 + a. Is 6 a factor of n?
False
Suppose -15488 = 10*c - 32*c. Does 44 divide c?
True
Suppose t = -3*w + 100, -3*t = -6*t + 5*w + 244. Does 11 divide t?
True
Let r(k) = 55*k - 44. Let d(q) = -27*q + 22. Let h(n) = 11*d(n) + 5*r(n). Does 8 divide h(-4)?
False
Let p = 5 + 5. Suppose -p*v + 63 = -7*v. Does 11 divide v?
False
Let z(i) = -5*i - 13. Let m be z(-6). Suppose m + 5 = v. Let q = 46 - v. Does 24 divide q?
True
Let p(m) = -6*m**3 - 3 + 3*m**2 + 5*m**3 + 2*m**3 - 6*m. Let u be p(-4). Suppose -106 = -u*a - 4*o, -2*a - o + 40 = -0*a. Is a a multiple of 9?
True
Let z(j) = j**3 - j**2 - 1. Let y be z(2). Suppose -7*p - y*p + 1980 = 0. Is p a multiple of 20?
False
Let x(i) be the second derivative of i**3 - 11*i**2/2 - 4*i. Does 22 divide x(10)?
False
Let m = 10 - 4. Suppose 2*h + 152 = m*h. Suppose 0*y - y + 4*r = -h, 5*y = -3*r + 190. Is 18 a factor of y?
False
Let b(n) = -n**2 + 5*n - 2. Let s be (18/15)/(4/10). Let g be b(s). Suppose f = 2*j - 83, g*f - 2*f - 74 = -2*j. Is j a multiple of 23?
False
Suppose 11 = -5*y + 6*y. Let s(o) = 5*o - 12. Is s(y) a multiple of 17?
False
Suppose 0 = a - 5*a + 12. Suppose 4*h + s = 181, 0 = 5*h + a*s - 98 - 130. Is 9 a factor of h?
True
Let l be ((-32)/(-5))/(4/10). Does 16 divide l*3/(0 - -1)?
True
Let h = -2421 - -3601. Is 26 a factor of h?
False
Is 23 a factor of 464/(-174)*51/(-2)?
False
Suppose -9*j = -7*j - 4. Let z be (j - 3)*(1 - 0). Let m(c) = -12*c + 1. Is m(z) a multiple of 2?
False
Let g be (-458)/(-12) - (-1)/(-6). Let t = 48 - g. Is t a multiple of 2?
True
Suppose -7 = -5*m + 93. Is 8 a factor of (2 - (4 - 3)) + m?
False
Let m(u) = -u**3 - 4*u**2 + 3*u - 8. Let b be m(-5). Suppose 0 = -0*i - b*i - 4. Is i + 8 + (-4)/4 a multiple of 3?
False
Let f = -176 - 79. Does 1