 a factor of n?
False
Let d(u) = u**2 - 6*u - 3. Suppose -26 = -4*x + 2. Let y be d(x). Is 19 a factor of (-1)/((y/(-38))/2)?
True
Let f be 3*(-2)/(-9)*3. Suppose f*j - 52 = -2*j. Let p = 21 - j. Does 8 divide p?
True
Let d(g) = -g**3 + 8*g**2 + 5*g - 27. Is d(8) a multiple of 4?
False
Suppose 4*u - 5*h + 191 = 0, -9*u + 4*u + h - 244 = 0. Let j be 2*8*1/(-1). Let v = j - u. Does 12 divide v?
False
Suppose 5*h = -0*t - 5*t + 235, 4*h + 3*t = 185. Let m = 74 - h. Does 21 divide m?
False
Let t(w) = -w + 11. Let n = 7 - 3. Let b = 2 + n. Does 5 divide t(b)?
True
Let s = 20 - 4. Is s a multiple of 8?
True
Let x(u) = -3*u**3 - 5*u**2 - 3*u - 4. Is x(-3) a multiple of 11?
False
Suppose -s + 9 + 19 = 0. Does 14 divide s?
True
Suppose -3*q = -2*b - 52, 5*q + 4*b - 19 - 75 = 0. Is q a multiple of 9?
True
Suppose 0 = -6*u + 3*u + 333. Is u a multiple of 37?
True
Let y be 5*2/(-10)*206. Let k = 358 + y. Is 3 a factor of k/16 + 2/4?
False
Let h = -1 + 3. Let n be 3/((-5)/h - -1). Let g = 5 + n. Does 2 divide g?
False
Let m(p) = 5*p**2 - 12*p + 4. Is 14 a factor of m(6)?
True
Let b(k) = -5*k + 9. Does 14 divide b(-8)?
False
Suppose 15 = 2*f + 1. Is 7 a factor of f?
True
Suppose 10 = 2*z, 5*m = m - 4*z + 32. Suppose -5*g + m*i = -2*i - 315, 5*g + 4*i = 306. Suppose g = 4*u - 130. Is u a multiple of 17?
False
Suppose -3*s + 8 = -7, 0 = u - s + 10. Let p(x) = -x**2 - 5*x + 3. Let r be p(u). Suppose -15 = -r*t + 24. Is t a multiple of 8?
False
Suppose -20 = 5*b - 3*l - 288, -3*l = -b + 44. Suppose 0*y + 3*y = -5*d - b, -4*y + 2*d = 40. Is ((-21)/y + 2)*8 a multiple of 14?
False
Let x = 743 + -455. Does 21 divide x?
False
Let o be 52/16 - (-1)/(-4). Suppose -23 = -r - o*w, 0*w + 5*w = -3*r + 65. Does 11 divide r?
False
Let m(b) = -8*b. Let t be m(-1). Suppose -32 = 4*f - t*f. Does 11 divide (-2)/f - (-90)/8?
True
Let g(c) = c**2 + c - 15. Does 10 divide g(8)?
False
Let j = 0 + 0. Suppose -3*y - 4*c - c = 20, -2*y + 5*c - 5 = j. Is 18 a factor of 16 - y/(15/6)?
True
Is 9 a factor of -2 - 2 - (2 + -4 + -11)?
True
Let w = 7 - -9. Does 10 divide w?
False
Suppose -5*p + 2 = -18. Suppose -p*t - 6 = 2*x, 2*t - 6 = -x + 3*x. Suppose -u - 2*u + 57 = t. Does 19 divide u?
True
Let n(d) = -2*d**3 - 4*d**2 - 3*d - 2. Let i be n(-2). Let w = i + -2. Suppose -w*y + 2 = -0*y, 3*b - 2*y - 121 = 0. Does 18 divide b?
False
Let t(b) = -22*b**3 + b**2 + b + 2. Let x be t(-2). Suppose -3*v - 2*v = -x. Does 13 divide v?
False
Let t(n) = -n - 2. Suppose 3*j - 5 = x, -6*j = -j + 5*x + 5. Let z be -2 + j*(-8)/2. Does 3 divide t(z)?
False
Let v(p) be the first derivative of p**4/4 + 8*p**3/3 - p**2 - 4*p + 3. Is v(-8) a multiple of 9?
False
Suppose -10*v + 832 = -6*v. Is 8 a factor of v?
True
Let g(r) = r**2 - 2*r + 102. Is 14 a factor of g(0)?
False
Let l(x) be the third derivative of x**4/24 - x**3/6 + x**2. Let p be l(1). Is 5 a factor of -1*(-10)/(p - -2)?
True
Let c(d) = 5*d**2 - 10*d - 14. Is 14 a factor of c(-4)?
False
Suppose -2*g + i + 7 = -0*i, 3*g - 43 = -5*i. Suppose g*r = 2*r + k + 59, -r + k = -17. Is r a multiple of 8?
False
Let y(l) = l**3 + 12*l**2 - 7*l + 6. Let r(s) = s**3 + 11*s**2 - 6*s + 5. Let o(w) = 6*r(w) - 5*y(w). Is o(-5) a multiple of 7?
False
Suppose 0 = 5*r - 4 - 16. Suppose -3*k + r*c + 82 = 0, -k + 2*c = 4*k - 118. Is 11 a factor of k?
True
Is 41 a factor of (-492)/18*(-15)/10?
True
Is 23 a factor of (-4*58)/(32/(-16))?
False
Suppose 4*p - 9 = p. Suppose 2*v - 6 = -m, p*m + 4*v = -0*m + 28. Suppose 0 = -4*z + m + 36. Does 13 divide z?
True
Is 13 a factor of (-37)/(1*(-4)/4)?
False
Let r = 14 + -31. Let s = r - -11. Is (s + 3)/((-1)/9) a multiple of 9?
True
Suppose -3*f - 14 + 5 = 0. Let x be f*15/(-18)*2. Suppose 0 = 4*b - s - 256, 0 = x*s - s - 16. Is 26 a factor of b?
False
Let a be (13/(-1) - 0) + -3. Let p = -6 - a. Is p a multiple of 6?
False
Suppose -2*f + 164 = -8*a + 10*a, 3*a + 222 = 3*f. Is f a multiple of 13?
True
Let w = -6 + 9. Suppose -p - 4 = 3*q + 4*p, 0 = -4*q - 3*p + 13. Suppose -w*u = -q*u + 64. Is 8 a factor of u?
True
Let w = -17 - -11. Let m = 54 - w. Is m a multiple of 15?
True
Let o(a) = 4*a + 2. Does 15 divide o(8)?
False
Let p(y) = y**3 + y**2 - y. Let v be p(0). Suppose v = -o + 8 + 26. Does 17 divide o?
True
Let h(q) = q**3 - 4*q**2 + 2*q + 4. Let g be h(3). Suppose -2*j + g + 19 = 0. Does 22 divide 155/j*(-2)/(-1)?
False
Suppose 0 = 2*p - 4 - 4. Suppose 14 = p*z - 2. Is z a multiple of 4?
True
Let k(i) = i**3 - 1. Let y be k(1). Let g be 2*5/2 - y. Suppose 4*x = -g*c + 75, -x = -c + 2*x - 4. Does 11 divide c?
True
Let j = -3 - -6. Let s = 12 - 4. Suppose r - s = l, j*r - 3*l - 24 = -l. Does 4 divide r?
True
Let z(u) = u + 10. Let k = -27 - -18. Let g be z(k). Does 13 divide (g - 1) + 87/3?
False
Let d = -137 - -390. Does 23 divide d?
True
Let i = 24 + -23. Suppose 10 = j - i. Is 3 a factor of j?
False
Is 6*22 - 0/(-4) a multiple of 7?
False
Let h = 14 + -12. Does 11 divide (-972)/(-28) + h/7?
False
Let s be 175/15 + 1/3. Suppose 141 = 3*u - s. Does 17 divide u?
True
Let k = -3 - -52. Let q be 14/k - (-10)/14. Let p(r) = 21*r**2 + r. Is p(q) a multiple of 12?
False
Suppose -6*l + 4*l = 0. Suppose l = -b - b. Suppose -2*h + b*h + 40 = 0. Is h a multiple of 10?
True
Let w(l) be the first derivative of -3*l**2/2 - l - 1. Let y be (-6)/9 - (-76)/(-12). Does 10 divide w(y)?
True
Let g(a) = -11*a - 20*a + 4*a - 4. Let o be g(-3). Suppose 0 = -5*v + y + 126, -4*v - 5*y + o = -47. Is v a multiple of 9?
False
Suppose 0 = -3*o + 7*o - 8. Suppose -77 = -3*u + 5*f, -2*u - o*f = -u - 22. Does 24 divide u?
True
Let k be ((-6)/(-8))/((-1)/(-4)). Suppose 0 = -k*c + 9, 3*c = 3*i + 2*i - 6. Does 16 divide ((-18)/7)/(i/(-21))?
False
Suppose 2*b - 68 = -5*p, 6*p - 20 = p. Suppose -b = 3*m - 78. Does 18 divide m?
True
Suppose 0 = -2*m + 8, 4*m = 2*g + 5 + 9. Suppose -1 = -d + g. Suppose -d*w + 15 = 3*w. Is w even?
False
Suppose 3*p = 4*p - 4*i - 67, -3*p - 4*i + 137 = 0. Does 18 divide p?
False
Let f(w) = 3*w**2 + 7*w - 9. Let s be f(-7). Let n = s - 23. Let r = n + -39. Is 13 a factor of r?
False
Let v(x) = x**3 - 4*x**2 + 2*x - 5. Let n be v(5). Suppose -4*a + n = a. Is 4/6 - (-38)/a a multiple of 5?
False
Suppose -t - 2*t + p = -205, -2*p - 206 = -3*t. Does 14 divide t?
False
Is 4/14 + (-2680)/(-28) a multiple of 12?
True
Let c(l) = 3*l - 4. Let b be c(-9). Let m = 3 - b. Does 16 divide m?
False
Let r = -7 - -11. Suppose 0 = 5*w - 4*w - 5. Suppose w*k - 17 = 8, -r*k = z - 35. Is z a multiple of 10?
False
Suppose 10 = 5*u - 5. Suppose -2*g = -2*n - 34, 4*n = -4*g + u*n + 93. Is g a multiple of 11?
True
Let v(b) = -b**2 - 2*b + 5. Let r be v(-4). Let l = r + 3. Suppose -d = -l*d - 22. Is d a multiple of 10?
False
Suppose -4*c - 18 = -5*z - 99, 5*c = 5*z + 95. Is 7 a factor of c?
True
Suppose -2*v - 2*v = 0. Suppose 5*o - 3 - 147 = v. Suppose 4*m = 6 + o. Does 9 divide m?
True
Suppose 3*f = 4*x, 4*f = -4*x - x. Suppose 0 = -2*n - f*n. Suppose n = -2*i, -3*i = -0*g + 3*g - 54. Does 9 divide g?
True
Let f be (-1314)/(-16) + 2/(-16). Suppose -f = -2*i - 2*i + 2*a, 5*i = a + 101. Is i a multiple of 20?
True
Suppose 0 = -4*n + n + 9. Suppose 0 + n = q. Suppose 64 = h + q*h + m, -48 = -4*h - 5*m. Does 17 divide h?
True
Suppose -3*k = -4*l - l - 85, 2*l + 30 = k. Suppose 5*i + 4*j = -25 - k, 4*i = -4*j - 36. Let m(d) = -5*d - 13. Does 11 divide m(i)?
False
Let p = 161 - 101. Is 8 a factor of p?
False
Suppose -3*b - 45 = -438. Suppose 4*d = -5*c + b, -2*c - d = -3*d - 38. Is c a multiple of 20?
False
Let h(q) = -11*q + 31. Does 7 divide h(-3)?
False
Let h be 2/2*(-1 - -3). Suppose -3*u = 4*v - 43, h*u - 5*u + 3*v = -78. Is 8 a factor of u?
False
Let j(i) = i**2 - 10*i + 7. Let w be j(7). Is 12 a factor of (w/8)/(2/(-16))?
False
Suppose 4*j - 77 = -5*y - 0*y, -4*y + 76 = -4*j. Let a = y - 14. Does 2 divide a?
False
Suppose 94 = -4*z + 6*z. Let g = 100 - z. Does 17 divide g?
False
Let b be (5/((-10)/12))/(-2). Suppose 2*m + 3 - 1 = 4*r, -m - 4 = -b*r. Suppose 0 = u + 3*o + 1, 5*u + r*o = o + 47. Is 4 a factor of u?
False
Let f be (4 + -1)*68/12. Suppose 3*o = 5*o - 10. Let q = o + f. Is 9 a factor of q?
False
Let l(t) = 2*t**2 - 2*t + 6. Is 20 a factor of l(-6)?
False
Suppose 4*o - 3*b = -4*b + 57, -15 = 5*b. Does 15 divide o?
True
Suppose j - 3*h - 49 =