25/(-20)*-4)/1?
False
Is (-21 + 2)/((-21)/18 + 1) a multiple of 2?
True
Is 9 a factor of -972*(7 + 138/(-18))?
True
Suppose -551 = 20*u - 9451. Does 67 divide u?
False
Let y(d) = -2*d + 10. Let a be y(5). Suppose a = -5*h - c + 627, -633 = -h - 4*h + c. Is h a multiple of 18?
True
Let b = 251 + -131. Does 40 divide b?
True
Let o be 6/(-2)*(-8)/36*6. Suppose 4*d - 2*d + 50 = 5*a, 32 = a + o*d. Does 12 divide a?
True
Let o(w) = -2*w + w**3 + 0*w**3 + 2*w - w**2 - w. Let y be o(2). Suppose -5*f - s + 541 = -f, y*s = 10. Is 20 a factor of f?
False
Suppose 5*s + 4*l = -6, 2*l - 16 = -2*s + 5*l. Let g = s + -14. Does 8 divide (0 - -2)/((-3)/g)?
True
Suppose -5*p - 2*p = 70. Suppose j = 3*o - 50, 4*o - 112 = 2*j - 22. Is (-21)/j - 634/p a multiple of 16?
True
Let m = -190 - -319. Is 43 a factor of m?
True
Is 46 a factor of (-966)/(-9)*1404/273?
True
Suppose 3*n = 6*n. Suppose -2*r - 2*r + 20 = n. Suppose -3*a - 7*c = -3*c - 64, -r*c + 105 = 5*a. Does 10 divide a?
True
Let d(g) = 2*g**2 + 26*g + 77. Is d(13) a multiple of 15?
False
Let p(z) = -5*z**2 + 24*z. Let v(a) = -6*a**2 + 23*a. Let s(j) = -4*p(j) + 3*v(j). Does 15 divide s(15)?
True
Suppose 0 = f + 1 - 3, -2*f - 508 = -4*n. Is n a multiple of 16?
True
Let k = 1639 - 658. Is k a multiple of 8?
False
Suppose -5*s + v + 558 = -320, 4*v = -3*s + 536. Is s a multiple of 27?
False
Suppose 16 = 4*j - 12. Is 10 a factor of 27*j*20/60?
False
Let b = -116 + 949. Does 31 divide b?
False
Let p be (-3 - 28/(-8))/(2/20). Suppose 3*d + 51 - 375 = 4*l, 327 = 3*d - p*l. Is 26 a factor of d?
True
Suppose 0 = -3*x - 2*x - 5*d + 775, 2*d = 10. Suppose 5*f + 5*o - 150 = 0, o = -5*f + 6*o + x. Does 15 divide f?
True
Suppose 2*x - 108 = -4*x. Does 21 divide (x/15)/(12/2310)?
True
Let j = -826 - -1385. Does 3 divide j?
False
Let n = -246 - -313. Let b be 2 + 2 + -3 + -1. Suppose b = -4*p + 65 + n. Is 11 a factor of p?
True
Suppose 3*u + b = 67 + 45, 0 = -u + 5*b + 16. Suppose -20 = -s - s - y, -y = 4*s - u. Does 8 divide s?
True
Suppose 4*r = 16, -5*x + 0*r + r + 136 = 0. Suppose -2*s + 4*s = x. Is 6/21 + 416/s a multiple of 10?
True
Suppose -3*c - 3*h = -8*h - 57, 4*c - 2*h - 62 = 0. Is 14 a factor of c?
True
Suppose 3*z + 522 = 2*t, t + 5*z = 7*z + 259. Is 48 a factor of t?
False
Let y be 1/(2/(-6)) - -17. Suppose 11*p - 2*p - 18 = 0. Suppose -p*l + y = -22. Does 6 divide l?
True
Let a = -16 + 14. Let b(x) = 9*x**2 - x. Is 38 a factor of b(a)?
True
Let k = -59 + 99. Suppose -k = -4*d - d. Suppose 0 = 2*a + d, 0*o = -o + 3*a + 40. Does 14 divide o?
True
Let h(i) be the first derivative of -9*i**2/2 - 18*i + 13. Is h(-13) a multiple of 25?
False
Let l(s) = s**3 + 14*s**2 + 5*s - 13. Let c be l(-13). Suppose -c = -3*g + 3*v + 92, -v = 4*g - 224. Suppose t - g - 3 = 0. Is 13 a factor of t?
False
Let w = 337 - 144. Is 7 a factor of w?
False
Suppose 0 = 2*h + 4*c - 880, -h + c + 3*c = -452. Is h a multiple of 41?
False
Let p be (0 - 15/(-6)) + 4/(-8). Suppose 0 = -4*w - 4*h + 248, p = -w + 5*h + 52. Is 7 a factor of w?
False
Suppose -300 = -3*k - 3*k. Let s = -26 + k. Is s a multiple of 3?
True
Let y(g) = 5. Let q(s) = s + 9. Let f = 8 - -3. Let z(x) = f*y(x) - 6*q(x). Is z(-5) a multiple of 7?
False
Suppose 0 = 5*t + 10 - 5. Is 23 a factor of 119 + 4 + t + 1?
False
Let u(r) = -r**2 + 7*r + 5. Let n be u(7). Suppose 4*g = -n*w + 100, w + g + 2*g = 9. Does 13 divide w?
False
Let i(n) = -4*n - 12. Let u be i(-8). Let a be (0 - (-2965)/u)*8. Does 22 divide a/14 + 6/21?
False
Suppose -24*n + 7904 + 2416 = 0. Does 10 divide n?
True
Let j be 42/(-273) + 5566/13. Suppose 5*a - a = j. Is a a multiple of 16?
False
Suppose 885 = -5*a - 0*a + 4*j, -5*j = -5*a - 890. Let n = 200 - 303. Let y = n - a. Is y a multiple of 18?
False
Let z = 60 + 145. Suppose -5 = -2*a + z. Is a a multiple of 27?
False
Let d = -12 - -17. Suppose n - 3*y = -10, -5 = -d*n - 5*y + 45. Suppose n*u + 6*r = 2*r + 128, 2*u + 2*r - 52 = 0. Is 24 a factor of u?
True
Let c = 172 + 105. Does 13 divide c?
False
Let l(i) = -9*i + 39. Let f = 48 + -63. Does 21 divide l(f)?
False
Suppose -6*q + 3*q = -6. Let u(v) = 3*v. Let f be u(q). Is 11 a factor of (22/6)/(1/f)?
True
Suppose b + 1 = 3. Let h(k) = -5*k + k**3 + b*k + 15 + 3 - k**2 + 2*k. Is h(0) a multiple of 4?
False
Suppose 0 = 17*g - 10*g - 4816. Is 32 a factor of g?
False
Let g = -99 - -66. Let k = -30 - g. Is k a multiple of 3?
True
Let l be (-6)/(-33) - (-656)/22. Suppose -4*r = -150 - l. Let y = 90 - r. Is y a multiple of 15?
True
Let t(x) = 28*x**2 - 3*x - 1. Let r be t(-1). Suppose 108 = -27*j + r*j. Is j a multiple of 9?
True
Suppose -5*p + 375 + 1785 = 0. Is 36 a factor of p?
True
Suppose -5*u - 169 = -849. Is u a multiple of 11?
False
Does 13 divide ((-4594)/(-7))/((-1125)/105 + 11)?
False
Suppose -4*d + 43 = 3*o, 0 = -3*o + 3*d - 2*d + 53. Suppose -4*n = -31 - o. Let c = n + -5. Is 7 a factor of c?
True
Let d(q) = 2 + 2*q**2 + 6*q**2 + q**2 + 0 - 5*q. Let k be d(3). Suppose -3*j + 2*m + k = 3, -5*m - 58 = -2*j. Is j a multiple of 4?
False
Let q = 1005 - 378. Is q a multiple of 57?
True
Is 5 a factor of 8/28 + (-3 - (-7795)/35)?
True
Let w be (18 - 3)*1/3. Let r(h) = 4*h**2 - 7*h + 4. Is 12 a factor of r(w)?
False
Let v = -2 + 3. Let x(d) = -d**2 + 7*d. Let a be x(6). Let b = a + v. Does 7 divide b?
True
Suppose 0*s + 8 = 2*s. Suppose 5*x - 385 = 3*a, -x + 64 = s*a - 2*a. Does 14 divide x?
False
Let t(l) be the second derivative of l**5/10 - 5*l**4/12 - 7*l**3/6 + 7*l**2 + 22*l. Is t(5) a multiple of 8?
True
Let v(w) = -2*w**3 - 21*w**2 - 56*w - 5. Let r be v(-11). Suppose 14*h = r + 808. Does 11 divide h?
True
Suppose -w = 3*w + 8. Let l be (w + 0)/((-2)/5). Suppose l*m + 9 - 74 = 0. Is m a multiple of 13?
True
Suppose 0 = j + 31 - 1. Is j/5*(-15)/2 a multiple of 9?
True
Let b = -1 + 0. Let v(p) be the second derivative of -21*p**5/20 - p**4/12 - p**3/6 + 3*p + 5. Is 16 a factor of v(b)?
False
Let s be (8/(-12) + 0)*84/4. Let h = 16 - s. Does 6 divide h?
True
Let y(g) = -g**3 - 8*g**2 - 2*g + 5. Let i be y(-7). Let d = 6 - 27. Let r = d - i. Is 3 a factor of r?
True
Let h(n) = n**3 - n**2. Let m be h(0). Suppose m*d = d - 118. Is 21 a factor of d?
False
Let m(o) = -o**3 - o**2 - 2*o - 2. Let k be m(-2). Let x be 24/(-20)*(-75)/k. Let p = x + -8. Is 2 a factor of p?
False
Let w(o) = 3*o**3 + o**2 + 0 - 6 - 2*o**3 - 2*o + 4*o**2. Let a be w(-5). Let r = a - -18. Is 3 a factor of r?
False
Let a = -318 - -1578. Suppose a = -13*i + 19*i. Is i a multiple of 42?
True
Let t = -25 + -25. Let y(l) = 11*l**3 - l**2 - 3*l - 2. Let n be y(-2). Let i = t - n. Is i a multiple of 21?
False
Let n = 982 + -514. Is 12 a factor of n?
True
Let d(c) = c**2 - 2 - 5*c**3 + 5*c + 4*c**3 + 1. Let f be d(5). Does 7 divide (-6)/(-9) - f/12?
True
Does 46 divide ((-13248)/(-24))/(1 - -1)?
True
Let c(r) be the first derivative of -8/3*r**3 + 10*r + 6 + 1/4*r**4 + 4*r**2. Is c(7) a multiple of 10?
False
Let j be (0 - -1)*3*(-4)/(-3). Let r = j + 4. Does 4 divide r?
True
Let k(w) = w + 9. Let x be k(-7). Suppose 0 = x*z + 2*m - m - 86, 0 = 2*m + 4. Suppose 3*u - z = 2*u. Does 17 divide u?
False
Let b(m) = 7*m + 27. Let g(q) = 6*q + 26. Let f(l) = -5*b(l) + 6*g(l). Let y be f(-17). Suppose 0 = -y*t - 6 - 6, -2*p - 4*t + 72 = 0. Is 8 a factor of p?
False
Suppose 11 - 395 = -6*c. Suppose -c + 274 = 3*v. Is 8 a factor of v?
False
Let b be 30/(-9)*(-2 + 4/5). Suppose 61 = 3*a + b*k, 0*a + 2*k = 3*a - 91. Is a a multiple of 5?
False
Let v = -3 + 9. Suppose -4 - v = -n. Does 5 divide n?
True
Let y(p) = -2*p - 6*p - 4 + 0*p. Suppose 35*l + 3*l = -266. Is y(l) a multiple of 13?
True
Let k = -34 - -52. Suppose -k*b - 476 + 2096 = 0. Is b a multiple of 11?
False
Let f(g) = 30*g**2 + 22*g + 163. Is f(-10) a multiple of 109?
True
Let w(p) = -p**3 + 14*p**2 - 8*p + 10. Let y = 28 + -22. Is w(y) a multiple of 14?
False
Let i be 342/81 - 2/9. Suppose -5*b + i*b + 60 = 0. Is 12 a factor of b?
True
Let b(i) = i + 76. Let x be b(-22). Suppose o = -q + 21, 0 = -2*o - 3*q + 4*q + x. Is o a multiple of 8?
False
Does 16 divide 0 - (-430 - 3/15*5)?
False
Let n be 3/6*-6 + 6 + 0. Does 21 divide (n + -9)*(-40 - -5)?
True
Let r be (-15)/75 + (-771)/(-5). Let b = 303 - r. Is 7 a factor of b?
False
Let q = -433 + 435. Suppose -5*s + 7 = -3. Suppose -2*w - 200 