e (0 - -3)*(-12)/9. Is (-1)/p + 4470/40 a multiple of 28?
True
Let v(a) = 1080*a**2 + 15*a + 15. Does 40 divide v(-1)?
True
Let i(u) = 2*u + 38. Does 2 divide i(33)?
True
Let s(c) = -c**2 + 4*c + 57. Let p be s(0). Suppose -p = 4*q - 185. Is 4 a factor of q?
True
Let r(v) = 97*v + 6. Is r(3) a multiple of 27?
True
Let r = -34 + 36. Is 12 a factor of 648/45*10*r/6?
True
Let n = 1084 - 435. Is 14 a factor of n?
False
Let i(u) = 1 + 5 + u**2 + 9*u - 12*u. Is i(-7) a multiple of 8?
False
Let b be (-5 + -6)/((-2)/(-6)). Let u = b - -47. Is u a multiple of 4?
False
Let u(f) = -f**2 + 15*f - 12. Is 8 a factor of u(3)?
True
Let l = 33 - 29. Let j(g) = 7*g**2 - 7*g + 21. Is 11 a factor of j(l)?
False
Let a = 48 - 100. Let s = a - -23. Let g = s - -80. Is 17 a factor of g?
True
Suppose -k - 2 = -252. Is 11 a factor of k?
False
Suppose 0 = 4*s + s - 10. Suppose 5*r + 270 = -s*t, 0*t - 5*t = -3*r - 131. Let u = r + 95. Does 11 divide u?
False
Let i = -7 - -11. Suppose 100 = i*x - 140. Does 16 divide (4/(-3))/((-5)/x)?
True
Let k = 128 - 47. Suppose -4*c - k = -9. Let j = -8 - c. Does 2 divide j?
True
Let y(u) be the first derivative of -5 + 6*u + 5/3*u**3 - 1/4*u**4 - 3/2*u**2. Is y(4) a multiple of 6?
False
Suppose 7*b - 4*b + 6 = 0. Let u be (18/(-4))/(1/b). Let t = u - -12. Is t a multiple of 7?
True
Let k(o) = 3*o**3 - o**2 + 3*o - 1. Let t be k(5). Suppose -7*w + 637 = -t. Does 40 divide w?
False
Let s be (2/2)/(6/60). Suppose -3*k = 2*k - s. Suppose -164 = -k*b - 50. Is b a multiple of 24?
False
Let g(q) = 3*q**2 - 6*q - 3. Suppose 3*l - 51 = -5*m, 5*l + 3*m - 122 = 7*m. Let u be ((-10)/(-4))/(11/l). Is g(u) a multiple of 11?
False
Let i(v) be the second derivative of -2*v**3/3 + 8*v**2 - 6*v. Does 7 divide i(-10)?
True
Let n = -57 - -84. Suppose n = 2*t - 29. Is 3 a factor of t?
False
Let w(i) = -i**2 - 9*i + 25. Let g be w(-11). Is (-728)/(-13) - g/1 a multiple of 14?
False
Let u = 4 + -1. Let a = 1 - -1. Suppose u*k - 135 = -a*k. Is k a multiple of 13?
False
Let d(i) = 4*i**2 + 9*i + 24. Does 39 divide d(9)?
True
Suppose -3*g = -g + 272. Let s = g - -476. Suppose -2*p + 3*j + 170 = 0, 3*j = p - 5*p + s. Does 30 divide p?
False
Let m(c) = -11*c**3 - c. Let b be m(-1). Suppose -4*v - 12 = l + v, 3*v + b = l. Suppose l*t - 43 - 17 = 0. Is t a multiple of 20?
True
Suppose 10*d = -2*m + 11*d + 3552, 2*m = 4*d + 3540. Is 113 a factor of m?
False
Let f(o) = o**3 + 12*o**2 - 13*o + 2. Let r be f(-13). Let y be (3/r)/((-2)/4). Is 138/4 - y/2 a multiple of 7?
False
Suppose -2*m - 22 = 4*x, -4*m + 55 = -5*x - m. Let o be x/3*450/(-12). Suppose 0 = -2*c - z + 39, 8*c + 3*z = 3*c + o. Is 9 a factor of c?
False
Let j = 373 - 244. Is 22 a factor of j?
False
Let k be 0 + 2 - (-20)/10. Let f be k/(-3)*6/(-2). Suppose 63 = f*r - r. Does 21 divide r?
True
Let f be (-5 - 111/(-6))*4/(-6). Does 21 divide 246/4 + f/(-6)?
True
Suppose -12489 = -5*c + 3*k, 0 = 6*k - 23 + 11. Is c a multiple of 21?
True
Let w = 3 - 2. Let y(m) = 32*m**3 + m**2 - m. Let z(d) = 64*d**3 + 2*d**2 - 2*d. Let f(c) = -5*y(c) + 3*z(c). Is f(w) a multiple of 10?
False
Suppose 731 = 4*a - 721. Is 45 a factor of a?
False
Is 14 a factor of (-82991)/(-296) + (-6)/16?
True
Let v(l) = -l**2 + 27*l + 58. Let c be v(20). Suppose -70*i + 68*i + c = 0. Is 16 a factor of i?
False
Suppose 11362 = -666*b + 685*b. Does 7 divide b?
False
Is (-85 - -10)*57/(-5) a multiple of 79?
False
Let g(y) = 3*y**3 - 3*y**2 - 6*y + 31. Is 21 a factor of g(6)?
False
Suppose -203 = r + r + v, -v + 490 = -5*r. Let j = r + 164. Is 13 a factor of j?
True
Suppose -5*o + 4*o + 28 = 0. Suppose 244 = 2*f + o. Let t = f - 70. Is 19 a factor of t?
True
Let b(q) = 4*q + 16. Let p = 13 - 2. Let t be b(p). Does 16 divide t*(28/10 + -2)?
True
Let v(f) = 29*f**3 - 2*f**2 - 7*f + 5. Is v(3) a multiple of 24?
False
Let h = 4 - 4. Suppose -a - a + 5*y = -86, h = -4*a - 5*y + 172. Does 5 divide a/5 - 4/(-10)?
False
Suppose u - 32 = 22. Suppose 5*d = -5*o + 210, -d - 3*o - u = -2*d. Is 9 a factor of d?
True
Let y be 329/5 + 5/25. Let n = y - -1. Is 15 a factor of n?
False
Let r(g) = -7*g - 38. Let z be r(-6). Suppose -z*i = -i - 150. Does 5 divide i?
True
Let j(w) = 2*w**2 + 4*w - 4. Let n be j(-3). Let s(x) = 8*x**3 + 3*x**2 - 6. Is s(n) a multiple of 35?
True
Is 18 a factor of 3/2 + (-3438)/(-12)?
True
Let i(x) = 2*x**3 - 10*x**2 - 2*x - 9. Let j be i(9). Suppose 0 = -2*t, 5*a - j + 166 = -t. Is 13 a factor of a?
True
Let b = 17 - 14. Suppose 0 = 4*m - b*v - 2*v - 949, 0 = 5*m - 3*v - 1183. Does 16 divide (6/12)/(2/m)?
False
Suppose 3*m - 74 = 3*u + 286, -m + 104 = 3*u. Is m a multiple of 13?
False
Let o(t) = 2*t**2 + 44. Let s be o(0). Suppose z = -0*z + g + s, -5*z + 224 = -4*g. Is z a multiple of 9?
False
Suppose 0 = d - 0 - 3. Suppose -x + r - 6*r - 10 = 0, -3*x - d*r - 6 = 0. Suppose x = j - c - 8, 4*c - 45 = -5*j + 2*j. Does 11 divide j?
True
Let o be (1 - 1 - 0) + -2. Let m be o/(-11) - 224/22. Let w(j) = -j + 4. Does 7 divide w(m)?
True
Suppose 7*t + 11 = 8*t - 4*n, 1 = n. Does 14 divide t?
False
Suppose -4*v + 4*k + 80 = 0, 2*k = -4*v - 2*k + 80. Is v even?
True
Let h(g) be the first derivative of -14 - 10*g + 1/3*g**3 + 5/2*g**2. Is h(4) a multiple of 7?
False
Let t = 866 - 694. Is 8 a factor of t?
False
Let b(i) = -22*i - 318. Is b(-21) a multiple of 6?
True
Let s(r) = r**2 + 2*r - 1. Let v(w) = -2*w**2 - 2*w + 1. Let q be v(-2). Let z be s(q). Is 9 + 1 + z + -4 a multiple of 3?
False
Is 11 a factor of (373/1)/(5/(8 + -3))?
False
Is (4370/5)/(2 + -1) a multiple of 46?
True
Let c = -18 - -21. Let b(l) = 20*l**2 - 2*l + 6. Does 18 divide b(c)?
True
Let r = -13 - -457. Suppose -r = 4*f - 16*f. Does 5 divide f?
False
Let o = -7 - -13. Let p be 7 + o*(-3)/6. Does 8 divide (-4)/(1 + p/(-3))?
False
Let y(v) = -v**3 + 3*v**2 + 54*v + 14. Is 14 a factor of y(-7)?
True
Let g(v) = -15*v + 2. Let y(o) = -14*o + 2. Let d(a) = -2*g(a) + 3*y(a). Does 29 divide d(-4)?
False
Let f(n) be the third derivative of n**6/120 + n**5/30 - n**4/12 + n**2. Let q be f(-3). Is q/(-9)*(18 - -3) even?
False
Suppose 2*q - 94*m = -96*m + 986, 5*q + 4*m - 2462 = 0. Is q a multiple of 14?
True
Does 19 divide (-4)/(-6)*((-232986)/(-4))/13?
False
Let h(f) = f**3 + 4*f**2 - 8*f - 10. Let w be h(-5). Suppose -q + w*q = 168. Is q a multiple of 21?
True
Let x = 109 - 13. Let k = x + -67. Does 8 divide k?
False
Let p = -82 + 291. Does 50 divide p?
False
Let y be 10/(-35) + 21656/(-7). Let m be y/(-77) - (-2)/(-11). Suppose 4*h = 5*w + 156 + 4, h = -4*w + m. Is h a multiple of 10?
True
Let i(y) = -y + 9. Let m be i(3). Does 8 divide 1/(m/(-15))*112/(-7)?
True
Is 30 a factor of (-20*3/9)/(13/(-117))?
True
Suppose -z + 85 = -o, -2*o + 33 - 287 = -3*z. Does 28 divide z?
True
Let q be (2/(-3))/((-4)/114). Suppose 3*o = -a + q, 3*a - 38 = -2*a + 4*o. Suppose d = 2*d - a. Is 4 a factor of d?
False
Suppose 644 = -10*n + 14*n + r, 0 = 3*n + 4*r - 470. Is n a multiple of 3?
True
Let h(u) = -18*u + 13. Let j be h(-13). Let w = -167 + j. Is w a multiple of 40?
True
Is 433/(-2)*12/(-6) a multiple of 12?
False
Let r be ((-1)/(-1))/((-2)/(-6)). Suppose 3*y - 6 - r = 0. Does 24 divide 1/(-3) + 73/y?
True
Let h(q) be the second derivative of 3*q**3/2 - 11*q**2/2 + 4*q. Let i be 5/(-4*5/(-20)). Does 28 divide h(i)?
False
Suppose -2*g + 2266 = -2*p + 366, 2*p = 4*g - 3804. Is g a multiple of 14?
True
Let c(a) = 2*a + 1. Let v(s) = 3*s + 1. Let m(p) = 4*c(p) - 3*v(p). Let n be m(-4). Suppose -n*h + 0*y + y + 376 = 0, h = -2*y + 73. Does 15 divide h?
True
Let s be (-10)/(-4)*4/(-5). Let c be ((s - -3) + -1)/2. Suppose c = n - 2*n + 8. Is n a multiple of 5?
False
Is (1 + -36)*(-646)/85 a multiple of 14?
True
Suppose u = 6*u - 50. Let t(q) = -6*q - 3. Let g be t(u). Let x = 0 - g. Is x a multiple of 35?
False
Suppose -71 = -2*v + o, 3*v - 104 = -0*v - o. Is 14/v - 76/(-10) a multiple of 3?
False
Let z = 358 - 25. Is z a multiple of 23?
False
Suppose -528 = -y - 3*y. Suppose z + y = 5*z. Is z a multiple of 33?
True
Let m(u) = u**2 + 5*u. Let t be m(-3). Let q be t/21 + (-19)/7. Let b = q - -24. Does 9 divide b?
False
Let j(s) = 28*s**3 + 16*s**2 - 27*s + 15. Let x(t) = -13*t**3 - 8*t**2 + 13*t - 7. Let a(c) = 6*j(c) + 13*x(c). Suppose 5*q - q = -36. Is a(q) a multiple of 6?
False
Let w = 3 - 