ppose o*l = -l + 58. Suppose 0 = -2*n - 5*x + l - 1, -2*n + 2*x + 78 = 0. Does 9 divide n?
True
Let q(k) = 18*k**2 + 5*k + 5. Let s be q(-6). Suppose -2*a - s = -3*x, 0*a + 4*x = -2*a - 644. Does 18 divide a/(-6) + 8/6?
True
Let f(m) = m**2 - 9*m - 2. Let o be f(9). Let i = 0 + o. Is 2 a factor of ((-18)/(-30))/(i/(-10))?
False
Let b = 109 - 104. Suppose 2*m - 3 = 1. Suppose 5*q - 90 = -m*p - 27, 4*p - b*q = 201. Is p a multiple of 11?
True
Suppose -3*o + p = -160 + 45, p + 41 = o. Is 2 a factor of o?
False
Let y be (3 - (-28)/(-8))*-10. Suppose -v = y*w - 149, 0*w + v = -3*w + 91. Is 10 a factor of w?
False
Let z(p) = -6*p**2 + 5*p - 4. Let j(s) = 5*s**2 - 5*s + 4. Let c(l) = -3*j(l) - 4*z(l). Let d = -6 - -3. Is 20 a factor of c(d)?
True
Let q(d) = 4*d**3 + 5*d - 3. Is 76 a factor of q(3)?
False
Let l = -173 - -337. Let n = l + -108. Does 20 divide n?
False
Let i = -10 - 47. Let z = i - -107. Suppose -4*u + z = 5*c, 0 = c - 7*u + 2*u - 10. Is 4 a factor of c?
False
Suppose -5*s + 3*s = 0. Suppose s = -5*v + 6*g - g + 40, -36 = -4*v + 5*g. Suppose 0*f - 252 = -v*f. Does 16 divide f?
False
Let n be (-14)/(-21)*1*177/2. Let o = n + -21. Does 19 divide o?
True
Let a be (-20)/6*30/(-25). Is a*(2/(-9) - (-1940)/144) a multiple of 19?
False
Let q = 29 + -26. Let b be (204/(-9))/((-2)/3). Suppose 6*p - 3*k = 4*p + 8, -k + b = q*p. Is p a multiple of 5?
True
Suppose 0*q - 2*c = -q + 3, -5*q + c = 3. Does 19 divide (2/(-4))/((-1)/(-196)*q)?
False
Let o(m) = 8*m**2 - m - 2. Let i be 2/((-1)/(-4)*4). Is 23 a factor of o(i)?
False
Let i(r) = 3*r**2 + 4*r - 1. Let x = -23 - -26. Is i(x) a multiple of 23?
False
Suppose -f - 3*d + 28 = 65, 0 = -4*f + 3*d - 133. Let h = 58 + f. Let y = 9 + h. Is y a multiple of 23?
False
Suppose -2925*f = -2922*f - 14847. Is 15 a factor of f?
False
Suppose -6*a + 4*a + 98 = 0. Let i = 61 - a. Is i even?
True
Let k(q) = -15*q - 4*q**2 - 15 - 6*q + 17*q. Let v be k(-6). Let f = -95 - v. Is f a multiple of 12?
False
Let d = 4676 + -3337. Is 16 a factor of d?
False
Let v be 9/(-1)*(4 + 92/(-12)). Suppose 2*c = -2*l + 32, -2*l + c - 4*c + v = 0. Does 7 divide l?
False
Suppose -3*u + 2*s + 31 = 0, 2*u - 38 = -0*u - 3*s. Let t = 9 + u. Does 8 divide t?
False
Suppose 2*b + 664 = 3*u - 300, 5*b = -4*u + 1247. Let t be -3*6/9*-2. Suppose -t*j - 22 = -u. Is 23 a factor of j?
False
Let b(j) = j**2 + 11*j - 27. Let r be b(13). Is (8/(-10))/((-6)/r) a multiple of 25?
False
Let j(p) = 2*p**2 - 31*p + 22. Let i be j(15). Suppose 1113 = 14*f - i. Is f a multiple of 38?
False
Let s = 24 + -22. Suppose 3*a + 58 = 4*g + s*a, g - 6 = -4*a. Is g a multiple of 13?
False
Suppose -7*b = -3*b - 44. Let k(s) be the first derivative of 5*s**2/2 + s + 1. Is 12 a factor of k(b)?
False
Is 59 a factor of 9/6*164560/165?
False
Let z be ((-2)/(-3))/((-2)/216). Let k be 1/6 + 732/z. Does 2 divide 34/8 + k/40?
True
Suppose 6*a = a + 25. Is 17 a factor of ((-34)/a)/((-1)/5)?
True
Let r(i) = -3*i**3 + 29*i**2 - 7*i + 16. Does 18 divide r(9)?
False
Let d = -6 + 10. Suppose -p - 15 = -d*p. Suppose 244 = p*f - f. Does 22 divide f?
False
Let f = 52 + -13. Suppose 3*q + 2*q = -3*z + 28, -4*z = q - 43. Let r = f - z. Is r a multiple of 6?
False
Let r(b) = -5*b - 16. Let l be (-4)/7 + (-96)/28. Does 4 divide r(l)?
True
Suppose -o + 57 = 3*k, 5*o - k = 255 - 2. Suppose -o = 2*l + 43. Let j = -22 - l. Does 12 divide j?
False
Let g = -13 - -28. Let c(r) = -12*r - 68. Let f be c(-6). Suppose -o - 2*k + g = k, k - 16 = -f*o. Is 3 a factor of o?
True
Let o(r) = -r**3 + 4*r**2 + 4*r - 2. Suppose -3*d - 18 = -x - 2*x, -6 = -2*x - d. Does 3 divide o(x)?
False
Suppose -3*p + 2*p + 197 = 0. Suppose p = 3*z - 169. Does 12 divide z/5 + 10/(-25)?
True
Suppose 5*i - 21 = -71. Let m = 10 + i. Suppose 5*w - 3*w + 42 = 2*g, m = g + 2*w - 18. Does 6 divide g?
False
Suppose -11*l = -30*l + 4807. Is l a multiple of 4?
False
Let r = -302 - -451. Suppose 42 = -w + r. Is 6 a factor of w?
False
Let b(y) = 4*y**2 - 3*y - 6. Let q(k) = -k - 3. Let t = -13 - -5. Let n be q(t). Is b(n) a multiple of 17?
False
Let x(y) = -31*y + 1032. Is x(-56) a multiple of 35?
False
Let b be (16/(-12))/((-4)/6). Let i = 59 - b. Suppose 5*n = -4*s + 102, 3*n + 15 = 4*s + i. Is 9 a factor of n?
True
Suppose 4*g + 2*a - 78 = 0, -2*g + 5*a + 10 = -23. Let s(w) = w + 21. Let f be s(-17). Suppose 0 = f*z - g - 9. Is 4 a factor of z?
False
Suppose 5*l + f = 3*f + 521, -4*l + 3*f = -414. Is 5 a factor of l?
True
Suppose 4*l - 3*a + 0 = 17, -1 = 4*l + 3*a. Suppose 6 = l*r + r. Is 12 a factor of (3 - r) + 3 + 32?
True
Suppose -2*q - 283 = -4*o + 363, 2*o = 3*q + 325. Let s = o - 105. Does 14 divide s?
True
Let l(f) = -96*f**3 - 2*f**2 - f - 1. Is l(-2) a multiple of 27?
False
Suppose -4*t + 11 = 147. Let l = -13 - t. Does 7 divide l?
True
Let j = -440 - -483. Does 20 divide j?
False
Let m(l) be the first derivative of 2*l**3/3 + l**2 + 1. Let a be m(-6). Is 16 a factor of a*1*(-12)/(-15)?
True
Let q = 5 + -29. Let z = q + 47. Does 15 divide (-2 + z/4)*12?
True
Let q = 86 + -168. Is -2 + 3 - 3/(-3) - q a multiple of 14?
True
Suppose y - 2306 = -4*x, 5*y - 1628 = -3*x + 110. Is 6 a factor of x?
True
Suppose -6*x + 180 = -0*x. Suppose -3*n = -i + 56 + x, 3*i + 3*n = 282. Is i a multiple of 11?
False
Let k(c) = -22*c - 13. Let f be k(-21). Suppose i = f - 149. Is i a multiple of 50?
True
Let n = 65 + 18. Is 17 a factor of n?
False
Let q(f) = -25*f - 5. Let o be q(3). Let d(c) = 11*c - 1. Let k be d(-5). Let p = k - o. Does 6 divide p?
True
Let v(g) = g**2 + 2*g - 1. Let m be v(-3). Suppose -t + 16 = -4*u, -4*u - u - 38 = -m*t. Is t a multiple of 4?
True
Let o be 8/2 + (1 - 1). Let d(g) = 25*g**3 + g**2 - 2*g + 1. Let j be d(1). Suppose 0 = -o*f + j + 3. Is f a multiple of 5?
False
Suppose 0 = -4*n + 8, -3*q - 2*n - 2*n + 8 = 0. Suppose -4*v + v = q. Is 13 a factor of -2 - 41/(-1 + v)?
True
Let p be (-1 + (-30)/(-9))*6. Let h(a) = -29 - 6*a + 9 - 5*a - a**2 + p. Is h(-8) a multiple of 5?
False
Suppose 0 = 7*q - 685 - 2962. Is 38 a factor of q?
False
Let t(w) = -5*w - 12*w + 93*w**2 + 19*w - 1. Let h be t(1). Suppose 6*x - 80 = h. Is 6 a factor of x?
False
Suppose -467 = -2*g - 79. Is g a multiple of 34?
False
Let d(a) = -11*a + 9 + 2 - 1 - 2. Is d(-3) a multiple of 21?
False
Let m(a) = -a**2 + 7*a + 4. Let f be m(8). Does 36 divide 1/f + (-3468)/(-48)?
True
Let u(g) = 7*g + 170. Does 16 divide u(30)?
False
Let s be (20/(-6))/((-1)/(-6) + 0). Is 13 a factor of -2 - (1808/s + 6/15)?
False
Suppose 4*z = 196*i - 199*i + 1208, 3*z - 5*i - 906 = 0. Is z a multiple of 23?
False
Let g(w) = 8*w - 11. Let l be g(5). Suppose 33*c - 112 = l*c. Does 7 divide c?
True
Let p be -12 - (-3)/3 - 1. Is (-230)/(-6) + (-6)/(6 - p) a multiple of 11?
False
Let t = -2 + 1. Let p be t + 3 + 4 - 4. Suppose p*y - 41 = 13. Is y a multiple of 9?
True
Let r = 0 + 4. Let a be 4 + (0 + 1 - 3). Suppose 5*g = -5*v + 95, 0 = -a*g + r*g + 4. Is 21 a factor of v?
True
Let n(z) = -3*z + 15 - 5*z**2 - z - 18 - 4*z**3. Let a be n(-3). Suppose -2*t + a = 3*d - 21, -4*t = -2*d - 146. Does 21 divide t?
False
Let i be -2 - -1 - (-1 - 4). Suppose -5*c + 152 = -2*c + i*t, -c - t = -49. Does 13 divide c?
False
Suppose 5*f - 2 = 8. Suppose -j - 3*g + 3 = 4*j, 11 = j - f*g. Suppose j*l + u - 190 = -4*u, -4*u = -2*l + 112. Does 17 divide l?
False
Is (-604*3/30)/(1/(-50)) a multiple of 93?
False
Suppose -6*d + 254 = -202. Let i = d + -16. Is 21 a factor of i?
False
Suppose -1930 = -10*o - 380. Does 31 divide o?
True
Let r(z) = -z + 13. Let h(v) = -v + 6. Let p(a) = 5*h(a) - 3*r(a). Suppose 0 = -2*m - 4*w + 6*w - 18, -31 = 4*m + w. Does 2 divide p(m)?
False
Is ((-119)/28)/((-4)/160) a multiple of 44?
False
Suppose 0 = -17*o + 356 - 50. Suppose 0*j + 144 = -2*f - j, -j + 152 = -2*f. Let l = o - f. Is 19 a factor of l?
False
Let r(l) = -l**3 + 8*l**2 + 8. Let k be r(8). Let m = k - 6. Let g = m - -4. Is g a multiple of 2?
True
Does 25 divide (-6 + 2064/21)*7?
False
Let f(b) = -b**2 - 23*b - 91. Is 6 a factor of f(-12)?
False
Let w(x) = -38*x**2 - 32*x**2 + 79*x**2 + 2 - x - x**3. Is 41 a factor of w(6)?
False
Suppose 6*p - 9*p = -3. Suppose 3 = s - p. Suppose 5*v + 1 = -j + 26, 0 = -s*v + 3*j + 39. Is 4 a factor of v?
False
Let j(l) = l - 2. Let n be j(4). Suppose 369 = n*p + 