ivide m?
False
Does 13 divide -1*(-78)/(-2)*(-14429)/141?
True
Suppose -3*r - 3*z + 84 = -36, -r = 5*z - 36. Let n = 54 - r. Does 8 divide n?
False
Let r(w) = 2*w**3 - 78*w**2 + 77*w + 39. Is 50 a factor of r(38)?
False
Let v(k) = -k**2 - 2*k - 1. Let d be v(-1). Let g = -125 + 129. Suppose d = 5*f - 3*w - 234, -5*f - 6*w = -g*w - 219. Is 33 a factor of f?
False
Suppose 15*m = -7 + 682. Is m a multiple of 3?
True
Is 52 a factor of 145/58 + 2166/4?
False
Let x(f) = 3*f - 3. Let c be x(-3). Let k be (-6)/(-45) - (-86)/30. Is 12 a factor of 70/k*c/(-10)?
False
Let v(m) = -m. Let q be v(-5). Suppose 5*s - 18 + 3 = 0. Suppose -i = -s - q. Does 3 divide i?
False
Suppose 4*i + i + 25 = 0. Let j(x) = 4*x**2 + x - 10. Let k(z) = -2*z**2 + 5. Let q(f) = 6*j(f) + 11*k(f). Is 7 a factor of q(i)?
False
Let x = 527 + -281. Let r be ((-4)/(-6))/(1/(-3)). Is r/(-4)*x/3 a multiple of 9?
False
Suppose 4*h - 4976 - 3433 = 3*x, x + 10525 = 5*h. Is h a multiple of 57?
False
Suppose -33 = 6*b + 15. Is (14/b)/(1/104*-2) a multiple of 9?
False
Let l = 4108 + -2929. Does 56 divide l?
False
Let k be 6*1*13/39. Let u(x) = -23*x - 6 + 2 + 2*x**2 + 36*x - k. Is 26 a factor of u(-12)?
False
Suppose 0 = -2*p + p + 7. Let g(b) = 21*b + 13. Is 25 a factor of g(p)?
False
Suppose 0 = -5*c + 139 + 681. Does 18 divide c?
False
Let d be 3/(-3) + -2 - -8. Is 16 a factor of 16 + (d - (1 + 4))?
True
Suppose 0 = -24*s + 13673 + 7063. Is 18 a factor of s?
True
Let g(p) = -2*p**2 - 4*p - 4. Let w(m) = 4*m**2 + 9*m + 8. Let y(l) = -5*g(l) - 2*w(l). Is 22 a factor of y(-7)?
True
Suppose 4*y - y = 315. Suppose 0 = -2*h - 3*h + y. Let o = h + 32. Is 22 a factor of o?
False
Suppose -4*b + 763 = -4*z - 273, -5*z = 5*b - 1315. Is 38 a factor of b?
False
Let c be -14*1 - 4/(-2). Let z(p) = -p**2 - 20*p - 49. Is z(c) a multiple of 3?
False
Suppose -5666 = -3*o + 5*u, 38*o - 34*o - 2*u = 7550. Is o a multiple of 51?
True
Let o(y) = -y**3 + 15*y**2 + 20*y - 3. Is 12 a factor of o(8)?
False
Suppose 2*w + 8*k - 10*k = 1492, k = 3*w - 2228. Does 13 divide w?
True
Is (-55 - 29)*(-108)/21 a multiple of 7?
False
Let d(v) = -94*v + 22. Is d(-4) a multiple of 17?
False
Let i be 1 + (2 - 4) + 4. Suppose 25 = -4*o + i*a, 8*o = 3*o + 2*a - 33. Is 48 + o/((-14)/(-6)) a multiple of 15?
True
Let s(c) = 3*c + 1. Let q be s(-1). Let r be (-44)/(-12) - q/6. Suppose r*b = -2*h + 102, -5*b - 163 = -5*h + 137. Is 12 a factor of h?
False
Suppose 348 = j - 5*a, -5*j - 8*a = -13*a - 1720. Is j a multiple of 50?
False
Let n be ((-154)/3)/((-4)/(-12)). Let m be 1/(-3) - n/3. Is 20 a factor of (-2)/(-3 + 150/m)?
False
Let n = -133 - -258. Suppose 4*g - 4*o + 328 = 0, -g + 3*o = 84 - 4. Let i = g + n. Is i a multiple of 14?
True
Let x(k) be the second derivative of -4*k**3 - 2*k**2 - 7*k. Is 11 a factor of x(-3)?
False
Suppose 6119 = 2*o - 3*b - 303, 4*o - 12840 = 4*b. Does 15 divide o?
False
Let x = 49 - -2. Suppose 4*a - 52 = -4*d, 3*a + 2*d = 3*d + x. Is 3 a factor of a?
False
Let t(o) = -76*o + 5. Let v be t(-3). Suppose 4*z = v + 467. Does 24 divide z?
False
Let u(k) = 2*k + 6. Let z be u(-6). Let y(s) = 3*s**2 - 13*s - 71. Does 18 divide y(z)?
False
Suppose 0 = -5*l + 4*j + 15, 2*j = l - 5*l + 12. Suppose u - 50 = l*u. Let p = 53 + u. Is p a multiple of 9?
False
Let l be 3268/(-380) + 2/(-5). Suppose -108 = -4*m - 36. Is 4 a factor of m*(-2 + (-24)/l)?
True
Suppose -3*l = -4*f + 541, -4*l = 4*f + 114 - 634. Is 19 a factor of f?
True
Let j = 93 + -89. Is (-2108)/(-9) + j/(-18) a multiple of 17?
False
Suppose 8*a + 62*a - 220430 = 0. Does 23 divide a?
False
Does 45 divide (-506)/(-1) + (-5 - -2)?
False
Let h be 2*(-2)/10 + 8/(-5). Does 19 divide 8/(-2*1/(h + -17))?
True
Suppose 10 = o - 10*i + 5*i, 2*o + 5*i = -25. Let c(x) = 17*x + 23. Let f(l) = -6*l - 8. Let b(t) = -4*c(t) - 11*f(t). Is b(o) a multiple of 3?
True
Suppose 3*y - 8 + 14 = 0. Is y/(-6) - (-6 + (-707)/21) a multiple of 19?
False
Suppose 0 = -j + 12 + 47. Let n = j - 2. Does 11 divide n?
False
Let j(g) = 32*g + 10. Let l be j(3). Suppose 12*m = 10*m + l. Does 27 divide m?
False
Let p be (-1)/(-1) + -2 + 141. Let i be (-18)/15*p/(-3). Suppose 0 = 4*j - 0*j - i. Is 11 a factor of j?
False
Let i be 7 + -5 + (4 - 1). Let r(b) = -b**2 + 11*b + 12. Is r(i) a multiple of 7?
True
Suppose -x - 107 = -4*v - 28, -5*x = 5*v + 370. Let c = 116 + x. Let y = 74 - c. Is 14 a factor of y?
False
Suppose -2 + 1 = -s. Let m be (-1 + 1 - s)*1. Does 7 divide (m + (1 - 1))*-14?
True
Let o be 4/18 + (-43)/(-9). Suppose 0 = 5*i + o*i - 180. Does 6 divide i?
True
Is 3 a factor of ((-14430)/33)/(-5) + 6/11?
False
Suppose 4*t = 5*k + 599, 5*t - 537 - 217 = k. Let j = t + -112. Is 3 a factor of j?
True
Let n = 24 - -46. Does 25 divide n - ((-3 - 4) + 2)?
True
Let r be (25/10 + -2)*-44. Is 16 a factor of 11/r*(-344)/2?
False
Suppose -11*a + 2*w + 216 = -9*a, -5*w = -a + 112. Is a even?
False
Let c be (-6)/(-3)*(-4 - -51). Let j(l) = l**3 - 5*l**2 + 2*l - 3. Let q be j(5). Suppose n - 8 = -q*o + 2*o, -o = 3*n - c. Is 11 a factor of n?
True
Let a(c) = 38*c + 3*c + 12*c. Let m(p) = -p + 1. Let d be m(0). Is 18 a factor of a(d)?
False
Let j be 1 - (-1 - 19)/5. Does 7 divide j/(-15)*3 - -15?
True
Does 9 divide (-2)/(14/(-8491)) - 7?
True
Suppose -2*o + 21*r - 22*r = -3557, 4*o = -5*r + 7129. Does 24 divide o?
True
Suppose 412 = 22*a - 3328. Is 10 a factor of a?
True
Let n = -28 + 24. Does 7 divide ((-80)/(-5))/(n/(-10))?
False
Let n = -8 + 11. Suppose -n*s - 7 - 5 = 0. Is (s - 16/(-4)) + 31 a multiple of 31?
True
Suppose -5539 - 6916 = -53*u. Is u a multiple of 47?
True
Is (2/(-2))/(-5) - 90/(-50) a multiple of 2?
True
Suppose -69*g + 80*g - 1056 = 0. Is g a multiple of 24?
True
Suppose 0 = z + 5*d - 1340, 32*d = 2*z + 28*d - 2624. Is 30 a factor of z?
True
Suppose 0 = 3*l - 6*l + 12. Suppose 0 = -3*u + 5*s + 764, 0*u - 5*u = -l*s - 1269. Is 17 a factor of u?
False
Let p(z) = 2*z**3 + 11*z**2 - 3*z - 5. Let i(a) = -a**3 - 6*a**2 + a + 3. Let r(x) = -5*i(x) - 3*p(x). Is r(-6) a multiple of 14?
True
Suppose 2*s - 7867 = -16*h + 11*h, -2*h + 3142 = 2*s. Is h a multiple of 35?
True
Suppose -9 = -3*b - 5*m, -3*b + 9 = 2*m - 6*m. Let f(q) = -2*q**2 - 3*q**2 - 3*q + 6*q + 2*q - q**b + 9. Is f(-6) a multiple of 15?
True
Let w(j) = 3*j + 8 - 2*j**2 + j**3 - 4 - 5*j. Let b be w(3). Let x(f) = 2*f**2 + 1. Does 33 divide x(b)?
True
Suppose 26 = 3*t + 5*g, -5*t + 4*g - g = 2. Let v be t/(-1 + (-12)/(-8)). Suppose -4*w + 3 = 2*q - 43, 0 = -v*q - 4. Does 5 divide w?
False
Let m = 49 - 31. Suppose m - 3 = 5*u. Suppose -u*a = -c - 164, 0 = a + 2*c - 0*c - 50. Does 6 divide a?
True
Let t = 10 + -13. Is 32 a factor of 2853/24 + t/(-24)?
False
Let s = -33 + 36. Suppose m - 28 = -5*i - 5, s*m - 4*i = -7. Suppose 429 = 5*r - 4*z, -70 - 18 = -r + m*z. Is 19 a factor of r?
False
Let r(o) = -o**2 + 8*o - 8. Let b be (-16)/(-3) - (-4)/6. Let q be r(b). Suppose 0*t + 3*t - 5*a - 103 = 0, 68 = 2*t - q*a. Is t a multiple of 12?
True
Suppose 0 = 12*j - 173 - 127. Let q = -8 + j. Is 9 a factor of q?
False
Does 63 divide 4*(631 - 3) + 8?
True
Let n(l) = -2*l**2 + 3*l + 43. Let j(k) = -k**2 + k + 22. Let r(p) = 7*j(p) - 4*n(p). Is 11 a factor of r(11)?
False
Let b be 495/(-6)*44/(-6). Let p = b - 359. Is p a multiple of 41?
True
Let j(r) = 4*r**2 - 13*r - 24. Let x be j(-8). Suppose 26*p = 22*p + x. Is 14 a factor of p?
True
Let t(s) = 0*s**2 + 2 - s**2 + 2*s**2 - 3*s + s**2. Let m be t(2). Suppose -32 = -m*d + 64. Does 13 divide d?
False
Let d = -519 + 502. Suppose -x - 5*q = -3, 5*x + 3*q = -5 - 2. Does 6 divide (-2*(-1 - d))/x?
False
Suppose -2*r + 5*s = -61, 0 = 2*r + 2*s - 20 - 6. Let v = 22 + r. Is 7 a factor of v?
False
Let p(v) = v**2 + 9*v - 4. Let f be p(8). Suppose 5*a - 28 = s + f, -a - 5*s = -58. Is a a multiple of 33?
True
Suppose o - 21 = -o + 3*p, -2*p - 2 = 0. Suppose -o*s + 36 = -3*s. Suppose s*z = 8*z - 12. Is z a multiple of 6?
True
Let q(d) = 3*d**2 - 2 + 10 - 10*d + 3 + d**3 - 6. Let v(o) = -o**3 + 7*o**2 - 8*o + 7. Let x be v(6). Does 2 divide q(x)?
False
Suppose -215*x + 219*x - 1080 = 0. Is x a multiple of 10?
True
Is 3 a factor of (-15)/(105/(-98)) - 2?
True
Suppose 3*u - 20 = -u. Let h be (u/(-5))/(2/14). Let x = 16 + h. Is x a multiple of 9?
True
Let y be 2/(2 + 0) + 7. Let f = -96 - -51. I