 315 = 3*n. Does 12 divide a?
True
Let v(b) = 23*b**2 - 9*b - 24. Is 32 a factor of v(8)?
True
Suppose 4*f + l - 6251 = 0, 44*f - 48*f + 6246 = 2*l. Is f a multiple of 33?
False
Suppose -4*g + 8 = 3*b + 2*b, -b = -4*g + 8. Suppose -g*u = -2*n - 4*u + 122, -u - 239 = -4*n. Is n a multiple of 20?
True
Let n be 9/(-3*(-3)/(-9)). Let a be (16/4)/((-2)/n). Let m = a + -11. Is 7 a factor of m?
True
Suppose 2*g - 51 = 177. Is 3 a factor of g?
True
Let o be 38/(-4)*(2 - 8). Let p = o + 0. Suppose -2*v + 115 = -p. Is v a multiple of 28?
False
Suppose -2*a = 3*a - 200. Let k = -27 + a. Does 13 divide k?
True
Let z = -326 + 623. Is z a multiple of 27?
True
Let z(r) = r**2 + 2. Let k be (-6)/(4*2/(-4)). Let j be 4 + (1 - 30/k). Is 9 a factor of z(j)?
True
Let q(p) = p**2 + 8*p - 17. Let n be q(-7). Let r = 56 + n. Is 10 a factor of r?
False
Suppose 0 = 10*q - 2556 - 14404. Is 32 a factor of q?
True
Suppose 4*r + 194 = 5*g, 3*r + 224 - 81 = 5*g. Let o = r + 131. Does 26 divide o?
False
Is 8 a factor of (-5192)/(-48) + 6/(-144)*-20?
False
Suppose r + 2*u - 9 = 0, 4*r + 6*u - u - 21 = 0. Let l be 9/((-45)/10) - r. Does 28 divide -1*(-138 - (l + 2))?
False
Let w be (44/6)/((-14)/(-105)). Let j = -32 + w. Let h = 60 - j. Is h a multiple of 16?
False
Let k = 521 - -260. Is k a multiple of 15?
False
Let y(i) = -i**3 + 24*i**2 + 31*i + 63. Does 15 divide y(24)?
False
Let n be 18/(2/(2 - 4)). Let s(r) = -16*r - 167. Let o be s(-12). Let x = n + o. Is 7 a factor of x?
True
Let y(g) = -g + 5. Suppose 9 - 21 = -4*l. Let t be y(l). Is t/(1/((-9)/(-1))) a multiple of 18?
True
Suppose 4*t - t - 36 = -3*j, 0 = -3*j - 5*t + 30. Let l = j - -50. Is l a multiple of 41?
False
Let a(m) = m**3 + 2*m**2 + 385. Does 7 divide a(0)?
True
Let n(b) be the third derivative of b**5/60 + 7*b**4/12 + 13*b**3/6 + 4*b**2. Let y be n(-13). Suppose y*z + 2*z = 12. Is 3 a factor of z?
True
Let a(t) = t**3 - t**2 + t - 1. Let c(i) = -5*i**3 + 8*i**2 - 11*i + 3. Let r(f) = 6*a(f) + c(f). Let x be r(-3). Suppose -x*q + 21 = -24. Is q a multiple of 4?
False
Let l(z) = z**3 + 7*z**2 + 2*z - 8. Let m be l(-6). Suppose 2*k - 4*q = 60, 6*k = 10*k - 4*q - 112. Let a = k - m. Does 3 divide a?
False
Let u be (-48)/18 + (-6)/(-9). Is 7 a factor of (6/(84/(-49)))/(u/48)?
True
Let s be (-3392)/(-10) + 2/(-10). Let c = s + -189. Is 25 a factor of c?
True
Suppose l - z = -17, -2*l - 5*z - 11 = l. Let u = l + 15. Suppose 5*o + 9 = 5*g - 61, 66 = 3*g + u*o. Does 5 divide g?
False
Let p(d) = 20*d. Let u be p(1). Suppose 0 = -9*q + 4*q - u. Is 9 a factor of q/6 - 58/(-6)?
True
Let k(x) = -x**3 + 5*x**2 - x + 5. Let h be k(5). Suppose -2*y - 5*t + 25 + 27 = h, -52 = -2*y - 4*t. Let b = y - 10. Is 16 a factor of b?
True
Let q = -3 - -6. Suppose -w = o - 0*o + q, -w + 4*o = -12. Suppose -2*r + r - 4*y + 20 = w, 2*y + 38 = r. Does 5 divide r?
False
Suppose 0 = -5*v + 2*s + 31611, 3*v + 21*s - 24*s = 18963. Is 28 a factor of v?
False
Suppose -382 = -2*q - 0*q + l, -5*q - 4*l = -955. Let x = q - 41. Does 49 divide x?
False
Let k = 239 + -85. Let s = 215 - k. Suppose 0 = c - 3*j - s - 12, 4*c = -j + 240. Does 14 divide c?
False
Suppose 5217 - 26134 = -13*l. Does 8 divide l?
False
Let u(p) = 109*p - 41. Is 6 a factor of u(5)?
True
Does 3 divide (-1)/(-15)*10 - 192/(-9)?
False
Let o be -29 + (-5 - -4 - 0). Let w = 11 - o. Is w a multiple of 10?
False
Let n = -17 - -21. Suppose -n*j + 3*i + 5 + 6 = 0, 3*j = 2*i + 8. Suppose m = -j*m + 4*g + 91, m - 52 = -3*g. Is 8 a factor of m?
False
Let f(u) = u - 7. Let a(z) = z**2 + 2*z - 7. Let i be a(-5). Let x be f(i). Let d(m) = 22*m**3 - m**2 + 2*m - 1. Does 11 divide d(x)?
True
Let g be -1*49*(-8 - -7). Suppose g + 54 = h. Is 26 a factor of h?
False
Let x = 4775 + -3188. Does 48 divide x?
False
Suppose -p + 4 = -1. Suppose p*l - 864 = -24. Does 7 divide l/20*(-5)/(-2)?
True
Let t(c) = -6*c**2 + 15*c + 6 - 3*c**2 + 0*c**2 - 2. Let j be t(7). Is 36 a factor of (-1)/2*(j + 0)?
False
Let p(s) = -s**2 - 12. Let j be p(0). Let r = j - -71. Suppose 3*l = 5*w - 195, -3*w + 5*w = 5*l + r. Is 15 a factor of w?
False
Let s be ((-2)/6)/(7/(-42)). Suppose o = 2*l - 47, 5*l + 5*o + 0*o = 125. Suppose -s*c = -3*c + l. Does 8 divide c?
True
Suppose 0 = -8*p + 8 - 8. Suppose 14*v - 16*v + 58 = p. Does 12 divide v?
False
Suppose 3221 + 3531 = 4*p - 5*m, m + 5053 = 3*p. Is 32 a factor of p?
False
Suppose 2*l - 2*h - 13 = -3*h, -l - 5*h = -29. Let p(w) = -w**2 + 5*w - 1. Let i be p(l). Suppose m - r = 2*r - 9, i*r = 15. Is 2 a factor of m?
True
Let f(n) = 2*n**3 - 7*n**2 - 61*n + 1. Is 52 a factor of f(9)?
False
Let w(x) = x**2 + 8*x - 13. Let n be w(-6). Let o = 59 + n. Is o a multiple of 9?
False
Suppose 0 = -14*u + 4415 + 6925. Does 5 divide u?
True
Let i(s) = s**2 + 2*s + 5. Let r be i(3). Suppose w + 531 = -2*a + 7*a, 0 = 5*w - r. Does 22 divide a?
False
Let l(c) = -6*c**2 + 22*c - 1. Let x be l(3). Suppose 82 + x = 3*i. Does 23 divide i?
False
Suppose y = 2*y - 2*y. Suppose -5*j + 19*j - 476 = y. Does 34 divide j?
True
Let q(u) = -37*u - 7. Let j(f) = 258*f + 48. Let p(n) = 4*j(n) + 27*q(n). Let t be 2*(4/2)/(-1 + 5). Does 10 divide p(t)?
False
Suppose 2 = -2*s + s, 3*s = -2*l + 28. Suppose 210 = -12*z + l*z. Is 8 a factor of z?
False
Suppose -2*s = 2*s - 8. Let d be 402 - 0*s/(-6). Suppose -108 + d = 3*c. Is 34 a factor of c?
False
Let g(r) = 3*r**3 - 3*r**2 - 18*r + 71. Does 12 divide g(5)?
False
Let s = -42 + 0. Suppose -2*u - w = -0*u - 181, w = -3*u + 272. Is 6 a factor of ((-78)/u)/(2/s)?
True
Is 140/(-80) - (-2757)/12 a multiple of 5?
False
Let b = -8 - -11. Suppose q = -b + 6. Let i = 11 - q. Does 8 divide i?
True
Suppose -21208 = 30*p - 38*p. Does 134 divide p?
False
Let j = -3 + 6. Suppose -2*n + 258 = n - 4*m, 5*n - j*m = 441. Does 15 divide n?
True
Let s = -1803 - -2295. Does 6 divide s?
True
Suppose 10 = 13*w - 68. Suppose -11 = -w*a + 1135. Is 15 a factor of a?
False
Suppose 4*t + 2*d + 10 = d, 5*t + 13 = -d. Is (-20)/15 - 88/t a multiple of 6?
False
Suppose 5*p = 8*p - 15. Suppose -g - 208 = -2*t + p*t, -4*g = -8. Let x = -43 - t. Is 9 a factor of x?
True
Suppose 0 = -3*p + 56 + 34. Let n be ((-24)/36)/((-4)/p). Suppose -2*i + j = -n*i + 153, i + 2*j - 51 = 0. Is i a multiple of 17?
True
Let p = 6 + -11. Let s be (1 + p/1)/(-1). Suppose -s*v = -8, 4*r - 3*r - 4*v = 1. Is 3 a factor of r?
True
Suppose -2*w = -y - 442, -w + y = 4*y - 221. Is 4 a factor of w?
False
Suppose -53*y = -55*y + 7632. Suppose -y = -23*o + 2854. Does 58 divide o?
True
Suppose 0 = 5*q - 23 - 2. Suppose 0 = -q*z + 8 + 2, -b - 2*z + 84 = 0. Is 18 a factor of b?
False
Let o be 4 - 20 - 5/(-5). Is 5 a factor of -6*(-5)/(o/(-16))?
False
Let b(d) = d - 8. Let t be b(18). Let x(o) = o**3 - 9*o**2 - 2*o - 11. Is x(t) a multiple of 23?
True
Suppose -21 = -5*w - 1. Suppose -12 + 312 = -w*q. Let r = q + 124. Is r a multiple of 8?
False
Is (-20)/6*(-4968)/45 a multiple of 18?
False
Let u = 32 + -14. Let f(i) = 10*i - 1 - 4 - 17*i**2 + u*i**2. Is 6 a factor of f(-11)?
True
Let i = 9 - -16. Suppose -2*t + t - 95 = -2*z, 5*t = -i. Is 15 a factor of ((-4)/(-6))/(1/z)?
True
Let a = -758 + 700. Let h(o) = -2*o**3 - 9*o**2 - 2*o - 4. Let p be h(-6). Let v = a + p. Is v a multiple of 17?
False
Suppose -2*k - 3*k = -25. Suppose 9*d - k*d - 672 = 0. Is 24 a factor of d?
True
Let l be (4/2)/((-13)/(-234)). Suppose -z + 49 = -5*i, 4*i - z + l = 3*z. Let v = 24 + i. Is v a multiple of 14?
True
Suppose 4*a + 356 = -448. Let z = 24 - a. Does 15 divide z?
True
Let o = 636 + 738. Is o a multiple of 6?
True
Let b = -251 - -854. Does 17 divide b?
False
Let y(z) = -z + 13. Let j be y(16). Let l(s) = -3*s + 4. Does 5 divide l(j)?
False
Let m(h) = -h**3 - h + 16. Let t = 70 - 70. Does 2 divide m(t)?
True
Does 15 divide (91/7)/((-1)/679*-7)?
False
Let r be (0/(-6))/(6/(-3)). Let u(q) = -q**3 + q**2 - q + 110. Does 13 divide u(r)?
False
Suppose -61*q = -19*q - 4200. Is q a multiple of 10?
True
Suppose 2112 = 16*u - 2704. Is 12 a factor of u?
False
Let y(o) = -2*o**2 - 2*o + 6. Let i(r) = 3*r**2 + 3*r - 7. Let h(c) = 5*i(c) + 6*y(c). Is 12 a factor of h(-5)?
False
Let w = 6 + -34. Let g = w - -60. Is g a multiple of 6?
False
Suppose t + 26 = 30. Suppose 8 = 4*z, t*z - 216 = 2*a - 4*a. Is a a multiple of 52?
True
Let o(a) = -6*a. Let r(t