p - 1185 = 0. Is 29 a factor of m?
True
Let g(u) = u**3 + 2*u**2 + 2*u + 2. Let y be g(-2). Suppose 3*o + 52 = 10. Is y/(-7) + (-514)/o a multiple of 17?
False
Let p = 16 - 5. Suppose -z = -p - 4. Is 15 a factor of z?
True
Suppose k + 5 = -4*k - 5*m, 3*m = -2*k - 5. Is 13 a factor of (k - 2)/(-2) + 25?
False
Suppose 2*h - 6*h = 0. Suppose h*o - 3*o = 0. Suppose 0*f - 4*f + 60 = o. Does 5 divide f?
True
Suppose -2*t = t + 54. Suppose 5*u + 5*g - 32 = -257, -3*u - 129 = 5*g. Let x = t - u. Does 14 divide x?
False
Suppose -4*z + 12 = 0, -4*v + 2*z + 88 = -266. Is v a multiple of 15?
True
Let w = 3 - -2. Suppose 75 = w*n - 125. Is n a multiple of 23?
False
Let y be (-41)/(-4) + 6/8. Let b = y - 5. Is b a multiple of 3?
True
Suppose 5*v + 103 = -177. Let k = 84 + v. Is k a multiple of 14?
True
Let t(w) = 2*w - 5. Let d be t(4). Suppose 0 = 3*c - 5*u - 14, u = d*c - 0*c - 34. Does 13 divide c?
True
Let j(g) = -g + 5. Let x be j(5). Let l(m) be the first derivative of m**4/4 - m**3/3 - m**2/2 + 14*m - 1. Is l(x) a multiple of 14?
True
Let r be 0 - (-1 + 2)*-2. Let o be 216 - (1 + 0) - r. Suppose -3*p = -2*t - o, 2*p + 2*t - 3*t = 141. Is p a multiple of 25?
False
Let x = 183 - -87. Is 15 a factor of x?
True
Let p be 5/(-1)*6/(-6). Let c = -10 + 17. Let n = p + c. Does 6 divide n?
True
Let a(p) = p**3 + 2*p**2 - p + 1. Let w be a(-2). Suppose 3*r - v - 65 = -w, 4*v - 88 = -4*r. Is 13 a factor of r?
False
Let u = 0 - -4. Suppose -d = -u*d. Does 8 divide (d - -1) + 60/4?
True
Is (-6)/(24/(-20)) - (-1 + -3) a multiple of 9?
True
Let h(n) = 8*n**2 + 4*n - 1. Does 11 divide h(4)?
True
Let o(r) = -r**3 - r**2 - r + 3. Is 3 a factor of o(0)?
True
Let d = -12 - -23. Suppose -92 = -4*v - 3*b - b, 2*v - 38 = -4*b. Suppose -v - d = -c. Is c a multiple of 13?
False
Suppose 4*d - 20 = -d. Suppose -5*p + 21 = -2*z, d*p = z + p + 13. Is 2 a factor of z?
True
Let m(j) = 2*j + 10. Suppose -5 = 4*a - 53. Suppose 4*b = -p + a, -20 = -3*p + 2*b + 2. Does 10 divide m(p)?
False
Let d(n) = -n**3 + 8*n**2 - 5*n - 12. Does 2 divide d(7)?
True
Suppose 18 - 44 = 2*q. Let n = 25 + q. Is 6 a factor of n?
True
Suppose 225 = 9*n - 4*n. Does 9 divide n?
True
Does 14 divide 54 - (1 - -1 - 3)?
False
Suppose -4*r - 23 = -3*i, r - 4*i + 12 = 5*r. Let h be -4*(-2 + (-21)/(-12)). Let a = h - r. Is 3 a factor of a?
True
Let r(n) = -n**3 - 10*n**2 + 4*n. Is 11 a factor of r(-11)?
True
Suppose 3*n = -5*f + 5*n + 763, 0 = f - 2*n - 159. Does 47 divide f?
False
Let q be 4*1*(-116)/16. Let r = 75 + q. Does 16 divide r?
False
Suppose 4*h + b + 15 + 5 = 0, -5*h + 5*b - 50 = 0. Does 15 divide (-2611)/(-42) - (-1)/h?
False
Let d(c) = -c - 2. Let g be d(-2). Suppose -5*r - 20 = g, 0*r - 84 = -4*h + 4*r. Is 10 a factor of h?
False
Let v be (2 - 2)/(2*1). Let u be 4 + v + 1 + -2. Is -2 + u - (-7 + -2) a multiple of 5?
True
Suppose -3*s = -3*f + 12, 23 = 3*s + f + 3*f. Suppose z + s = -5*o, 0 = 4*z - 3*o + 2*o - 59. Is z a multiple of 7?
True
Let i(u) = u**2 + 8*u - 4. Let z be i(-9). Suppose 2*j + 15 = z*j. Suppose 0*n - 75 = -5*h + 3*n, -2*h = -j*n - 49. Is h a multiple of 7?
False
Let y(q) = -13*q - 1. Let j = -4 - -3. Let r be y(j). Is r - 1/(-1 + 0) a multiple of 13?
True
Let f = 144 + -133. Does 3 divide f?
False
Does 13 divide 1382/15 + 14/(-105)?
False
Suppose 10 = -n + 2*n. Suppose -3*f - 10 = 5*w, -5*w - 3*f - n = 2*f. Does 3 divide ((-6)/12)/(w/16)?
False
Let q = 174 + -42. Is 33 a factor of q?
True
Let g = -10 - -14. Suppose -7*d + 2*d = c - 103, 5*d + 362 = g*c. Is 24 a factor of c?
False
Let i(u) = u**2 - 3*u - 2. Let f be i(4). Suppose -l - 167 = -0*r - 5*r, -4*r = 4*l - 124. Suppose -s - 2*s = -3*y + r, -6 = -f*s. Is 14 a factor of y?
True
Let k(x) = -x**3 - 4*x**2 + 2*x + 3. Let u = 7 + -3. Let a be k(u). Is 15 a factor of (-2)/(-4) - a/6?
False
Let p(q) = 10*q**2 - 1. Is 2 a factor of p(1)?
False
Suppose t + 16 = 5*t. Is t a multiple of 4?
True
Let d = -193 + 413. Does 10 divide d?
True
Suppose -2*l - l + 9 = 0. Suppose -5*x + 0*y - 3*y = -166, -100 = -l*x - 2*y. Suppose -3*h - 11 = -2*a, x = 2*a + 4*h - 0*h. Is a a multiple of 4?
False
Suppose 0 = 3*t - 7*t. Suppose t = -0*a + a - 42. Suppose 0 = 5*y - a - 13. Does 11 divide y?
True
Suppose -3*f = -3*z - 0*f + 243, 6 = 2*f. Let k(w) = w**2 + w - 2. Let b be k(2). Suppose -4*y + 2*i = -2*i - z, 0 = -2*y + b*i + 36. Does 12 divide y?
True
Suppose 5*j + q + 7 = -26, -24 = 3*j + 2*q. Let m(f) = 2*f**2 - 3*f + 3. Let x be m(j). Suppose 2*z - 124 = -2*z - 3*i, 3*z + i = x. Does 16 divide z?
False
Suppose 1512 = -3*v + 7*v. Is 27 a factor of v?
True
Is 7 a factor of (-47*3)/((-5)/(-15)*-3)?
False
Let l(u) = u**3 + 14*u**2 - 3*u - 6. Let w be ((-3)/(-1))/((-6)/28). Does 18 divide l(w)?
True
Suppose 0 = 9*s - 12*s - 3. Is (s + -2)*(-205)/15 a multiple of 12?
False
Let j be (6/5)/((-2)/20). Let l be (-5)/(-3) + (-4)/j. Does 12 divide (10/5)/(l/27)?
False
Let w be (2 - 4) + 2 + 5. Let m = -79 + 189. Suppose 0 = -w*k - 0*k + m. Does 11 divide k?
True
Let z(x) be the third derivative of x**2 + 3/2*x**3 + 0*x + 1/60*x**5 + 1/120*x**6 + 0 + 0*x**4. Does 8 divide z(0)?
False
Let b = 1 - -6. Let n = b - -15. Let p = n - 10. Does 12 divide p?
True
Suppose 3*m + 1 = 10. Let i be (-1 - -10)*(-2)/m. Let c = i - -10. Does 2 divide c?
True
Suppose -67 - 131 = 3*q. Let v = -40 - q. Is 19 a factor of v?
False
Suppose -3*j = -12, -2*j + 136 = 3*y - j. Suppose -14 + y = x. Suppose 0 = 2*m + m - x. Is 7 a factor of m?
False
Let i be (-2 - -1)/(2/54). Let q be 8/(-20) - i/5. Suppose -45 = -5*r + q*a, 4*a - 24 = -5*r + 3*r. Does 8 divide r?
False
Let x(v) = -22*v - 50. Does 13 divide x(-8)?
False
Suppose -4*v - 4*w + 656 = 0, 0 = -2*v - 3*w + 6*w + 318. Is 9 a factor of v?
True
Let a(x) = x - 2*x + x**2 + 2*x. Let b be a(-2). Suppose 5*v - 5*n = b*v + 26, 5*n - 93 = -4*v. Is v a multiple of 11?
False
Suppose 2*q + 2*q = 16. Suppose 0 = q*d - 48 - 132. Does 10 divide d?
False
Suppose 2*d - 5*u - 35 = 0, -2*u - 14 + 4 = 0. Suppose 440 = -0*v + d*v. Is 13 a factor of v?
False
Suppose -21 = 3*x - 132. Is 10 a factor of x?
False
Let r(a) = a + 3. Let l be r(-3). Suppose 5*o - 10 = 5. Suppose o*j - 57 - 78 = l. Does 18 divide j?
False
Let a = -7 + 10. Suppose -a*n + 97 = 5*o, 0 = 2*o - 4*n + n - 22. Let h = 0 + o. Is h a multiple of 17?
True
Let s = -88 - -57. Let i = s - -45. Suppose 3*t - 35 = -i. Does 3 divide t?
False
Let u be 4/(-5)*10/4. Let y be 92/6*3/u. Let n = y + 43. Does 10 divide n?
True
Let i = -16 - -14. Suppose 3*j - 3 = 3. Is 9 a factor of (4 + i)/j - -12?
False
Let c be (1 - 4)*1*4. Does 15 divide 6/8 + (-519)/c?
False
Suppose 0 = -3*g + d + 32 + 35, 5*d - 49 = -g. Is 8 a factor of g?
True
Suppose 0 = -u - 2*u + 144. Is u a multiple of 16?
True
Let a = 25 - 1. Is 5 a factor of a?
False
Suppose 3*l = 7*l + 3*c - 686, 4*l - 678 = c. Let y = -112 + l. Is y a multiple of 19?
False
Let j(f) = f**2 + 3*f - 10. Suppose -l = 3*l - 20. Does 12 divide j(l)?
False
Let k = -3 + 3. Suppose k = -3*h - 5 + 86. Is h a multiple of 9?
True
Let v = 5 - 5. Suppose v = 2*k - 3*k + 222. Suppose 0 = -4*l - n + k, -3*n = -l - 0*l + 49. Does 19 divide l?
False
Let l(k) = -2*k**2 - 10*k - 13. Let a(m) = m**2 + 5*m + 6. Let r(s) = -5*a(s) - 3*l(s). Is 7 a factor of r(-6)?
False
Let k be -2*(-14)/8*12. Suppose 23 - 25 = -u. Suppose 2*y = -u*i + 14 + k, -20 = -i + 3*y. Is 13 a factor of i?
True
Let x be 6/(-15) + 24/10. Suppose l + 12 = x*l. Suppose 0*n - m = -2*n + 40, 3*m = -l. Is 11 a factor of n?
False
Suppose w + 4 = -6. Let b = w + 49. Is b a multiple of 18?
False
Is ((-27)/18 - (-2)/4) + 241 a multiple of 24?
True
Let u = 11 + -5. Let j be 2/(u/(-9)) + -2. Let y(p) = 3*p**2 + 7*p - 2. Does 14 divide y(j)?
False
Let s = 0 - -4. Suppose 3*a - 4*a = -s*m + 299, -4*a = 12. Is m a multiple of 19?
False
Suppose 4*s + 148 + 116 = 0. Let i = -119 - s. Let l = -33 - i. Is l a multiple of 20?
True
Let u(q) = 3 - q**2 - 4*q**2 - q**3 + 4 + 5*q - 4. Let s(n) = -7*n**3 + 2*n**2 - n. Let x be s(1). Does 4 divide u(x)?
False
Let h be 184/((-16)/(-4)) + -1. Suppose 9 = -4*w + 4*q + h, -q - 27 = -4*w. Is 5 a factor of w?
False
Suppose 5*w - w = m + 11460, w - 5*m = 2865. Suppose -v = -4*v - w. Is 4/(-18) + v/(-45) a multiple of 7?
True
Let t be 2*(3 - (-2)/(-4)). Suppose 3*z - 3*j = 6