5*m - o*p - 123 = 0. Is m a multiple of 27?
True
Let i(q) = 2*q**3 + 3*q**2 - 4*q - 3. Let b be i(-3). Let r be (-238)/21*1*3/(-2). Let j = r - b. Is 7 a factor of j?
True
Let k be (-2)/(-1)*(1 - 0) + -2. Let y(u) = 48 + 2*u**2 - u**2 - 2. Does 13 divide y(k)?
False
Suppose 3 = -h - 12. Let a = h - -10. Does 23 divide (a/(-15))/(1/189)?
False
Let t(z) = 3*z + 17. Let p be t(-5). Let n be (18/6)/(p + -1). Suppose 180 = -n*w + 8*w. Does 12 divide w?
True
Let x(l) = l**3 + 14*l**2 - 21*l - 18. Is x(-13) a multiple of 53?
True
Does 15 divide 18/12*262 + -5?
False
Let d = -689 + 1333. Is d a multiple of 23?
True
Is 35 a factor of -15*(-223 - 57)*(-2)/(-6)?
True
Let i(y) = -4*y - 32. Let c be i(-8). Suppose -5*x + 3*t = -19, 0 = -c*x - 3*x + t + 13. Does 5 divide x?
True
Let v(m) = 8*m**2 + 3*m - 2. Suppose 99 - 104 = z. Is v(z) a multiple of 10?
False
Suppose -2*w - 6 = -3*c, -5*w + 17 = 2*c - 6. Suppose 5*r - 292 = -w*s, -3*r + 236 = 5*s + 48. Suppose -g = -2*g + r. Is 10 a factor of g?
False
Suppose -7*f + 5*f + 638 = -a, -4*f = 3*a - 1276. Is 11 a factor of f?
True
Let p be (32/(-14))/((-8)/28). Let z(x) = x**3 - 7*x**2 - 4*x + 6. Does 21 divide z(p)?
False
Let o(u) = 12*u**3 - 15*u**2 + 42*u + 3. Does 59 divide o(4)?
False
Let o = 6 + -3. Suppose -5*d + 170 = 4*a, o*a - 5*a = 5*d - 160. Suppose 0 = f - 5*n - d, -5*n - 54 = -3*f - 2*n. Does 5 divide f?
True
Suppose 7*z - 20 = 246. Does 19 divide z?
True
Let p(z) = 9*z**3 - 2*z**2 - 2*z + 1. Let s be p(-1). Let w be ((-4)/6)/((-2)/(-3)). Does 8 divide w*s/1*1?
True
Suppose 3*p - 2*j - 540 = 128, 2*p - 2*j - 444 = 0. Is 4 a factor of p?
True
Does 13 divide (2/6 + (-44)/(-12))*52?
True
Suppose -3*v = -38 - 46. Suppose v = g - 5*r - 2, 0 = 3*g + 3*r - 72. Is g a multiple of 25?
True
Let r = 244 + -116. Is -5 + (r - (-5)/(-1)) a multiple of 27?
False
Suppose 5*r = f + 12, 2*r + 0*f - 18 = -4*f. Is 23 a factor of 4755/21 + r + 4/7?
True
Let q(j) = -3*j + 1. Let r be q(-1). Suppose -10 = -0*n - 5*n. Suppose -2*c = -r*k - k + 15, 0 = 4*c + n*k - 30. Does 4 divide c?
False
Does 44 divide 16*(-7)/(-28) + -1 + 166?
False
Suppose 4*y - y = 834. Let q = y - 194. Is 28 a factor of q?
True
Let s = -10 - -12. Suppose 4 = -s*z + 8. Does 28 divide 25 + z/(4/6)?
True
Let r(l) = -l**3 + 11*l**2 + 10*l + 7. Let d(k) = -k**3 + 10*k**2 + 10*k + 7. Let b(n) = 4*d(n) - 3*r(n). Let s = 18 + -10. Is 23 a factor of b(s)?
True
Let h(l) = l**3 + 6*l**2 - l - 2. Let x be 132/(-21) - (-4)/14. Let o be h(x). Suppose s + 4*b - 58 = 0, s - 92 = -s + o*b. Is s a multiple of 10?
True
Let k = -367 - -847. Does 16 divide k?
True
Let g(t) = 6*t - 33. Let p be g(15). Suppose -p - 51 = -6*b. Does 3 divide b?
True
Let c(k) = -k**2 + 2*k + 5. Let l be c(-4). Let y = l + 3. Is (-636)/y + 6/(-8) a multiple of 13?
True
Suppose 2*b + 0 = 2212. Is b a multiple of 14?
True
Suppose 5*z + 25 = -5*l, -l + 3*z = 9 + 4. Let k = l + 76. Is k a multiple of 8?
False
Suppose -3*r + 4*r = 61. Let j = r + -12. Does 17 divide 696/14 - (-14)/j?
False
Let f(a) = -a**3 + 55*a**2 - 127*a - 78. Is 110 a factor of f(52)?
True
Let d = -56 + 152. Does 2 divide d?
True
Let z = -624 - -3524. Does 109 divide z?
False
Let b = 198 + 582. Does 30 divide b?
True
Let w be (-190)/8 - (3 + 44/(-16)). Does 6 divide 14/3*w/(-14)?
False
Let l(g) be the second derivative of 11/2*g**2 - 1/12*g**4 - 5*g + 0 - 3/2*g**3. Is 9 a factor of l(-9)?
False
Does 27 divide (-54)/4*30/(-15)?
True
Let d = -22 - -24. Suppose d*s + 0 = 114. Is s a multiple of 12?
False
Suppose -6*a + 0*a + 6414 = 0. Let b = a + -750. Does 29 divide b?
True
Let a = 179 - 131. Let x = a - -246. Is 49 a factor of x?
True
Let k = -43 - -65. Suppose -3*w + 4*j - 26 = 0, -j = -w - 17 + 7. Let h = k + w. Does 4 divide h?
True
Let m = 2838 - 1466. Does 48 divide m?
False
Suppose 3*d + 31 = 4*j, -2*j + 5*d = 2 - 35. Is 246 - (1/(-2)*j + 2) a multiple of 48?
False
Let b = -132 + 212. Does 15 divide b?
False
Let v(f) = 2*f**3 - 15*f**2 - 6*f - 5. Is v(9) a multiple of 8?
True
Does 10 divide (1 - 2014)/((5 - 11) + 5)?
False
Suppose -13*r = -9*r - 16. Suppose -381 = -5*k - r*v, -2*v = 5*k - 3*v - 361. Let y = 102 - k. Does 9 divide y?
False
Let x = -5 - -9. Suppose 0*o + 156 = x*o. Suppose 0*p + o = 3*p. Is 3 a factor of p?
False
Let j = 42 - 35. Let z = j - -77. Does 28 divide z?
True
Let y(f) be the third derivative of -7/6*f**3 - 1/8*f**4 + 0*f + 0 + 3*f**2. Is y(-6) a multiple of 10?
False
Is 109 a factor of (-7)/(56/(-24384)) - (-4 - 0)?
True
Let x(y) = y + 12. Let k be x(-15). Let i be (4/2 - -1) + k. Suppose 5*o + 4*u + i*u = 225, 0 = 3*o + u - 142. Is o a multiple of 14?
False
Let h be 3 + 10/(-3) - (-383)/(-3). Let z = 39 - h. Is 33 a factor of z?
False
Suppose -571 - 104 = -5*q. Is q a multiple of 5?
True
Let r(z) = -z**3 + 13*z**2 - 12*z + 13. Let k be r(11). Suppose 57 + k = 2*a. Does 9 divide a?
True
Let f = -34 + 55. Is 28 a factor of (1694/f)/(4/6)?
False
Suppose 9*n = -60 - 390. Does 8 divide 0/(-2) - n/(1 + 1)?
False
Suppose 5*q - 2592 = 3*j, 0 = q - 0*q + 2*j - 508. Is q a multiple of 43?
True
Let x(g) = -g + 11. Let z be x(13). Let a be (-3264)/(-42) - z/7. Suppose 0*s = -s + a. Is s a multiple of 23?
False
Suppose 5*c - 12 = -c. Suppose -11*r + c*r + 126 = 0. Is r a multiple of 4?
False
Let y be 24/(-40) - 2/5 - -65. Suppose -68 = -3*p - 2*a + y, 2*a = -5*p + 216. Does 21 divide p?
True
Let b(h) = 8*h. Let j = 5 - 3. Suppose 0 = v + v - j. Does 4 divide b(v)?
True
Let i be (-4)/18 + 564/108. Suppose -i*h + 10 + 5 = 0. Let t = h + 46. Is 15 a factor of t?
False
Let q be (86/(-7))/((-9)/63). Is 2 + q + 1 + 1 a multiple of 19?
False
Let h be 6/9 + (12/(-18) - 0). Suppose -19 + 7 = -3*p. Suppose h = 3*c - 22 + p. Is c a multiple of 3?
True
Let o(t) = -3*t + 181*t**2 - 95*t**2 - 92*t**2 + 6 - t**3. Suppose 0 = -5*d - u - 31, -2*d - 17 = -0*d + 5*u. Is o(d) a multiple of 6?
True
Suppose 5*o - 20 = x, 2 = -3*o + 2*o - x. Suppose 3*r = o, 4 = 2*h - 2*r + 6. Suppose 5*z - z - 76 = h. Is z a multiple of 6?
False
Suppose 3*n + 11 = 5*q, n + n - 14 = -2*q. Is 36 a factor of ((q + -12)/(-2))/((-4)/(-94))?
False
Let z(m) = m**3 - 3*m**2 - 9*m + 22. Let y = 79 - 73. Is 49 a factor of z(y)?
False
Let r(t) = -t**2 - 6*t + 3. Let b be 4/8*6 + -6. Let d be r(b). Suppose -d*y + 9*y = -27. Is y even?
False
Suppose -486 = -5*d + 4*k + 401, 5*k - 510 = -3*d. Is d a multiple of 13?
False
Suppose 0 = o + 3*i - 0 + 4, 0 = -3*o + 2*i - 45. Let u = -9 - o. Suppose 0 = -3*l + u*n + 45, -4*l = -0*l - n - 60. Is 12 a factor of l?
False
Suppose -6*x - 55 = 3*y - x, -25 = 3*y - x. Let r be ((-5)/(-2))/((-5)/y). Suppose r*q = 2*b + 30, -q + 5*b = -4 - 2. Does 4 divide q?
False
Let t(w) = w**3 + 8*w**2 - 18*w + 1. Is t(4) a multiple of 12?
False
Let p(k) = -k + 9. Let f be p(14). Is 10 a factor of (284 + f + 0)*(-1)/(-3)?
False
Let v be ((-11)/5 + 1)*5/(-2). Let r be 98/21 + 1/3. Does 3 divide 4/(17/r - v)?
False
Let x = 50 - 51. Does 6 divide -7 + 8 - x*41?
True
Suppose 4*p = -0*p + 160. Let c = 6 + p. Does 7 divide c?
False
Let u be 3/(-12) - 90/(-8). Let c = 15 - u. Suppose -c*o = -o - 159. Is 19 a factor of o?
False
Suppose -5*z + 2961 = -4*c, -2*z - c = z - 1780. Suppose 3*j - z = -5*i, i - 223 + 90 = 3*j. Is i a multiple of 11?
True
Let z(x) be the first derivative of 5*x**3/3 + 5*x**2/2 + 5*x + 17. Is 7 a factor of z(-3)?
True
Suppose -462*l + 2208 = -454*l. Is l a multiple of 23?
True
Let t(g) = -15*g + 38. Let z be t(6). Let p = 8 - z. Is 19 a factor of p?
False
Let s(q) = 31*q - 5. Let b be 5/10 - (-3)/2. Let w be s(b). Suppose 0*m = m - w. Is m a multiple of 15?
False
Let v(s) be the second derivative of -s**3/6 + 4*s**2 + 5*s. Let i be v(11). Does 2 divide 6/(1 + 1) - i?
True
Let u(z) = 43 + 5*z - z - 2*z - 3*z. Does 5 divide u(-5)?
False
Let g(a) = a**3 - 3*a**2 - 5*a - 1. Let h be g(5). Does 21 divide (h/16)/(2/84)?
True
Let q(o) be the first derivative of o**3/3 + 13*o**2/2 + 22*o - 39. Does 2 divide q(-14)?
True
Let i = -300 - -873. Is i a multiple of 78?
False
Suppose -5*x = u - 212, -3*u - 28 = 3*x - 640. Is 32 a factor of u?
False
Let w(r) = 3*r**3 + 2*r + 3 - 6*r**3 + 4*r**3 + 6*r**2. Let p(m) = m**2 - 4*m - 5. Let y be p(0). Does 12 divide w(y)?
False
Suppose -10*m + 2*m + 3416 = 0. Let s = m - 203. Is 44 a fact