246 - y = 0. Is 21 a factor of m?
False
Let x = -9397 + 19297. Is 100 a factor of x?
True
Let v(l) = -l**2 + 26*l + 55. Let q be v(22). Suppose c - 2*n + q = 6*c, 0 = -c - 4*n + 43. Is 9 a factor of c?
True
Suppose -4*c - 9 = -5*n, n + 5*c + 7 = 3*n. Is 71 a factor of (-4 + 430)*(n - (3 + -3))?
True
Let u = 29631 - 20476. Is u a multiple of 83?
False
Let s be 0/(6 - (-24)/(-3)). Let u be (0 - (-8)/10)*25. Suppose -y = -s*y - u. Does 5 divide y?
True
Suppose 3*m + 2283 - 54629 = 65143. Is 18 a factor of m?
False
Suppose -6*p - 10 - 14 = 0, 5*p = -2*l - 26. Let o(h) = 2 + 1 + 8*h + 0 + 3*h**2. Is o(l) even?
True
Let q(z) = 2*z**3 - 2*z**2 + 7*z + 22. Let c be q(-6). Let s = 187 - c. Does 46 divide s?
False
Suppose -4*a = -5*j + 333389, 3*a - 379501 = -4*j - 112765. Is 279 a factor of j?
True
Suppose -5*b + 219731 = -9*r + 13*r, 0 = 2*b + 2*r - 87892. Does 19 divide b?
True
Suppose 4*o - 23*o = -228. Let k be o/6 + ((-8)/(-2) - 1). Suppose -5*i + 210 = 2*r, -k*i + 376 = 4*r - 6*i. Is 57 a factor of r?
False
Suppose 4*v + q = -47, 3*v = 3*q + 3 - 42. Let z = -30 + v. Let w = z - -57. Is 5 a factor of w?
True
Let v be 2 + (6 - 2) - 6. Suppose v = 25*a - 41*a + 2464. Is 11 a factor of a?
True
Let k(r) = 6*r + 1. Let w be k(4). Let c = w - 22. Suppose c*i + 2*b = 293, -4*b - 9 = -1. Does 37 divide i?
False
Let i(b) = 3*b**2 + 26*b - 12. Let a be i(-10). Suppose -32*u + a*u + 1364 = 0. Is u a multiple of 11?
True
Suppose -93184 = 13*s - 9*s - 17*s. Is 32 a factor of s?
True
Suppose -3*d - 56 + 2 = 0. Let o = d - -73. Suppose 2*s = s + o. Is 11 a factor of s?
True
Suppose 0 = 46*d + 47*d - 14174 + 4874. Is 9 a factor of d?
False
Suppose -119*j + 4*r - 56076 = -123*j, -3*r = 2*j - 28043. Is j a multiple of 143?
True
Let u be (17/51)/((-1)/(-6)). Suppose -21 = -4*x + 5*m, -14 = -u*x - x + 2*m. Suppose -p + 54 = -x. Does 10 divide p?
False
Suppose 0 = -128*u + 614546 - 11922. Is 22 a factor of u?
True
Let f(y) = -y**2 + 96. Let a = -27 + 32. Suppose p - l = -2*l - 2, a*p = l + 2. Is 16 a factor of f(p)?
True
Suppose 0 = d + 5*x - 2663, 4*x + 5312 = -18*d + 20*d. Is 43 a factor of d?
False
Let v(s) be the first derivative of -17*s**4/8 - s**3/2 - 17*s**2/2 - 17. Let k(b) be the second derivative of v(b). Is 25 a factor of k(-3)?
True
Let v(f) = 1462*f + 1785. Is v(29) a multiple of 174?
False
Let n(r) = r**2 - 13. Let x(u) = -u**2 + u + 14. Let f(v) = 5*n(v) + 4*x(v). Let i be f(6). Suppose 0 = -p - 0*p + i. Is 17 a factor of p?
True
Let i(o) = 22*o - 101. Let q = 0 + 2. Let p(f) = 7*f - 34. Let h(y) = q*i(y) - 7*p(y). Is 23 a factor of h(-9)?
False
Let o(x) = 11*x**3 + 2*x**2 + x. Let j be o(-1). Let l = j + 10. Let u = l - -28. Does 7 divide u?
True
Let p(m) = 6*m + 222. Let q(n) = 7*n + 223. Let v(x) = 5*p(x) - 4*q(x). Is v(-44) a multiple of 5?
True
Suppose 111*f = 14*f + 9700. Is 50 a factor of f?
True
Let j = 1172 + -630. Is j a multiple of 3?
False
Let o be (-3)/(-5) - 4*55/(-50). Suppose a - 1 = 2, o*y - 108 = 4*a. Is (y/(-10))/(4/(-450)*3) a multiple of 45?
True
Suppose -44*n + 3*v = -43*n - 10008, 5*v = 10. Is 30 a factor of n?
False
Let w(z) = 2*z - 10. Let t be w(5). Suppose -2*n + 358 + 32 = t. Is 13 a factor of n?
True
Let d(k) = k**3 + 19*k**2 + 13*k - 2. Let r be (1 - (1 - (6 - 0))) + -2. Let t be r/(-8)*3*12. Is 22 a factor of d(t)?
True
Let h be -8 - (154/1 + -1). Does 15 divide 5*12/20 - (-5 + h)?
False
Let u(c) = -c**2 + 16*c + 21. Let z = -12 - -46. Suppose 4*r - z = -2*n, 9 = r + 2*r. Is 19 a factor of u(n)?
True
Suppose 5*h + 120 = 2*h. Let n(w) = -3*w**2 - 163*w - 194. Let b be n(-53). Is (-27)/b*h/6 even?
True
Let p(g) = 2519*g**2 - 85*g + 2. Is p(2) a multiple of 62?
False
Suppose -528541 = -44*m - 178255 + 737262. Is m a multiple of 107?
True
Let p be -147*(-5 - 174/18). Suppose -2*g + 2*l - 3*l + 866 = 0, -2*l - p = -5*g. Is g a multiple of 24?
True
Let y = 10 - 21. Let w(l) = -l**3 - 10*l**2 + 5*l + 4. Let j be w(y). Let d = -32 + j. Does 19 divide d?
True
Let b(m) = -11*m**3 - 2*m**2 + 34*m + 84. Is 42 a factor of b(-6)?
True
Let o be (-56)/(-21) + -2 - (-17)/(-3). Let v(b) = -6*b**3 + 5*b**2 + 13*b - 2. Does 21 divide v(o)?
False
Suppose 3*c - 5*s = 38, 4*s + 6 = -10. Let o be 2 + 3/(c + 0)*72. Suppose -2*i = 4*u - o - 0, 49 = 5*u + i. Is 9 a factor of u?
False
Let h(g) = -4990*g + 808. Does 12 divide h(-2)?
True
Suppose -5*o + 37494 - 13254 = -3*i, 4848 = o + 2*i. Is o a multiple of 25?
False
Let n(f) = -f**2 - 6*f - 9. Let h be n(-2). Let g(c) = 1. Let x(y) = -6*y**2 - 5*y - 18. Let k(p) = h*x(p) - 3*g(p). Is k(-5) a multiple of 15?
False
Let p(f) = -12*f**3 + 6*f**2 - 10*f - 33. Is 105 a factor of p(-6)?
True
Let u = -9612 + 10217. Does 5 divide u?
True
Let q(p) = -2*p + 7. Let k be q(5). Let z(u) = -29*u - 3. Is 12 a factor of z(k)?
True
Let k = -4861 + 2025. Does 35 divide 6/(-54) + k/(-9)?
True
Let w be 0/(-3 + (-2)/(-4)*12). Suppose w = -37*i + 25*i + 11760. Is i a multiple of 35?
True
Suppose 2*p - 5 = 93. Suppose 3*n = 313 - p. Is n a multiple of 11?
True
Suppose -16*w - 20 = -20*w. Let g(v) = -2*v**2 + 21*v - 10. Is 35 a factor of g(w)?
False
Let p(n) = -15*n + 99. Let f be p(7). Does 23 divide (-1 - (-13842)/30) + f/15?
True
Let l be (-8)/4 + 4 + -4. Let p be (l - (-15)/9)*15. Is 9 a factor of ((-16)/p)/((-11)/(-220))?
False
Let x be (-4)/(-14) - ((-5746)/119)/13. Suppose 0*i + x = 2*i, 2*z + 2*i = 1488. Does 53 divide z?
True
Suppose -8711 = -3*h + 2*v - 58, -h = -4*v - 2891. Does 23 divide h?
False
Let m(x) = 36 - 63*x - 300*x + 92*x - 11. Is 37 a factor of m(-1)?
True
Let r = -1147 - -2049. Let m = 2200 - r. Does 59 divide m?
True
Suppose 3539 - 39679 = -20*z. Is z a multiple of 3?
False
Does 44 divide (-9)/(504/(-298168)) - (-3)/(-7)?
True
Let h = 29 - -42. Let q = h + -68. Suppose -3*i - q*i = -1380. Is 46 a factor of i?
True
Let i(c) = -2*c**2 + 12*c - 15. Let v be i(7). Let a = v - -126. Does 5 divide a?
False
Does 19 divide 16/72 + -7 + 2206510/90?
True
Suppose -h = 5*v - 3*h - 17, -2*v + 4 = 2*h. Suppose v*f + 348 = 4*c, 5*c = f + 3*f + 434. Suppose -c = -r + 5*n, -n + 5*n + 513 = 5*r. Does 21 divide r?
True
Suppose -16*x + 82*x = 4586736. Is 253 a factor of x?
False
Suppose -5*g + 280 + 160 = 0. Let j = g - 90. Is 350 - (-1)/j*(-6 - -2) a multiple of 22?
True
Suppose 3*h + 115 = 4*i, 3*h = -i + h + 15. Let f = 35 - i. Suppose 0 = -f*u - 8 + 1028. Is 25 a factor of u?
False
Let h = -381 - -256. Let m = 211 - h. Does 56 divide m?
True
Suppose -45*x = 2*z - 44*x - 13300, 0 = -4*z - 5*x + 26600. Is z a multiple of 190?
True
Let z(v) = v**2 - v - 37. Let d be z(-6). Suppose 5*u - 65 - 90 = -q, -515 = -3*q - d*u. Is q a multiple of 15?
True
Let v(h) = h**2 + 2*h - 44. Let o be v(28). Let m = o + -644. Does 26 divide m?
False
Let p = -25372 - -46173. Is p a multiple of 11?
True
Let n(m) be the second derivative of m**3/6 + 99*m**2/2 - 27*m - 2. Is 2 a factor of n(-35)?
True
Let a(i) = 2*i**2 - 11*i - 15. Let z be a(7). Let r(t) = 2*t**2 - 4*t + 2. Does 12 divide r(z)?
False
Let r(h) = 3*h**2 + 5*h - 14. Suppose -3*v = -3*x + 51, -x - 4*v + 30 = 2*x. Suppose x = -13*j + 15*j. Does 42 divide r(j)?
True
Is 4 a factor of ((-207)/(-15))/(53/265)?
False
Let h be 54/36*2/(-3). Does 16 divide (h - 8/(-6))*(576 - -30)?
False
Let b = 200620 - 140460. Is b a multiple of 16?
True
Let m(y) = y + 22. Let h(r) = -r**2 + 2*r - 3. Let z be h(5). Let b be m(z). Suppose -b*i = 4*n - n - 595, -3*n = 3*i - 444. Is 28 a factor of i?
False
Let i be (-474)/(-42) - (4/(-14))/(-1). Suppose 1475 = i*l + 144. Is 4 a factor of l?
False
Let o(w) = -w**2 - 16*w - 33. Let q be o(-18). Let u = q - -69. Suppose -2*y - 3*f - f + 36 = u, -y + 53 = -5*f. Does 17 divide y?
False
Let s(x) = -3*x - 67. Let j(l) = l - 1. Let r(p) = -4*j(p) - s(p). Does 25 divide r(14)?
False
Suppose 4*z = 12*w - 13*w + 29375, 4*w = -4. Is 17 a factor of z?
True
Let n(g) = -6*g**3 - g**2 - g - 1. Let d = 39 - 41. Let s be n(d). Suppose -t + 8 = -s. Does 22 divide t?
False
Suppose -878 = 6*i - 2786. Let x = -138 + i. Is 45 a factor of x?
True
Is 12 a factor of -1*2*3819/(-114)*37?
False
Suppose 8*d - d = 2086. Suppose d + 446 = 8*z. Is z even?
False
Let k(a) = 12964*a**3 - 7*a**2 + 7*a - 2. Does 124 divide k(1)?
False
Let z be (-4 - (5 + (-31)/2))*18. Let w = z + -8