5 + q. Is 9 a factor of a?
False
Suppose -5*r = -25*r. Suppose 41*f - 4509 + 942 = r. Is 3 a factor of f?
True
Let w(b) be the first derivative of -32 + 0*b**3 + b + 0*b**2 - 57/4*b**4. Does 33 divide w(-1)?
False
Suppose -8 = -4*a + 4*o, 0 = a + 2*a + 5*o + 26. Let y(k) = 23*k**2 + 8*k + 6. Let q be y(a). Let l = -30 + q. Is 9 a factor of l?
False
Is (-1 + 183/(-6) + 0)/((-8)/3328) a multiple of 39?
True
Let b = -77 - -62. Let a = b + 19. Suppose 3*h = -2*x - 16 + 223, -4*x = a*h - 420. Is x a multiple of 27?
True
Suppose 52*j = 1458263 - 294191. Is 26 a factor of j?
True
Let n = 2039 - 2289. Suppose -2*p + 5*p - 2*i = -2, 3*i = -4*p - 14. Is 22 a factor of ((-2)/5)/((p/n)/(-1))?
False
Suppose -2 = -q - x - 1, -2*x = 4*q + 6. Let r be (-51)/34 + 6/q. Is (-4)/(-2)*r/(12/(-124)) a multiple of 5?
False
Suppose 9*l + 8*l = 4913. Let s = -93 + l. Does 14 divide s?
True
Suppose -p - 4*g + 67 = 0, -2*g + 180 = 3*p + 3*g. Suppose 5*n + 22 + 18 = 0. Let w = n + p. Is w a multiple of 9?
False
Let v = -348 - -360. Suppose 7*a = v*a - 1190. Is a a multiple of 24?
False
Let f = -5180 + 7982. Is f a multiple of 5?
False
Let p(f) = -182*f + 463. Is 6 a factor of p(0)?
False
Suppose 101589 - 49218 + 132534 = 15*w. Is 5 a factor of w?
False
Let i be -2*(10/(-35))/((-2)/7). Does 59 divide i/(-15) + 26615/75 + -1?
True
Let g(p) = -p**3 - 13*p**2 + p + 15. Let s be g(-13). Let k be 6/(3 + -3 + s). Suppose m - k*m = -168. Is 12 a factor of m?
True
Suppose -24*q + 50*q - 182 = 0. Is 59 a factor of q + -3 + 1181 + -5?
True
Let y(c) = 470*c**2 + 7*c + 4. Does 9 divide y(-1)?
False
Suppose -4*b + 7 = -1. Let u = -12 - b. Does 10 divide (70/u)/((-2)/16)?
True
Let s be (4 + -32 + 3)*(-2)/(-5). Let n(g) = g**3 + 14*g**2 + 18*g - 7. Does 10 divide n(s)?
False
Let k(c) = c**2 + 7*c - 13. Let z be k(-10). Let j = z - -109. Does 31 divide j?
False
Let w = 1262 - 290. Does 9 divide w?
True
Let z(o) = -4*o - 17. Let x be z(-5). Suppose h + x*i = 17, 0*h + i + 11 = 3*h. Suppose 5*u - h*v = 670, -u + 2*v = -2*v - 134. Is 21 a factor of u?
False
Is 10658/1*-31*(-24)/1488 a multiple of 73?
True
Let r = 17 - 16. Let n(h) = 9*h - 4*h + 2*h - 5*h + 330*h**2. Does 42 divide n(r)?
False
Suppose -5*x + 55 = w, w = x - w. Let s(a) = 0*a**3 + 4 + 2*a + 2*a**3 - 7*a**2 + x*a**2 - 8*a**2. Is s(3) a multiple of 6?
False
Let x(u) = -2*u**2 + 26*u - 17. Let a be x(12). Let r(l) = l**2 - 11*l - 24. Let t be r(a). Let f = t + 114. Does 20 divide f?
False
Suppose -2*m - 3*m = -45. Suppose 0 = -j + m*j - 40. Suppose -v + 70 = 4*z, z - j*v + 3 - 10 = 0. Is 2 a factor of z?
False
Let i(h) = 48*h + 1. Let b be i(-1). Let k = b - -38. Let m = 73 - k. Does 19 divide m?
False
Let l = -1 - 8. Let a(d) = -4*d**3 + 6*d - 3 - 8*d**2 + 3*d**3 + 0*d + 0*d. Is a(l) a multiple of 3?
True
Suppose -1841*k - 366 - 102 = -1847*k. Let u(p) = -75*p**3 - p + 1. Let h be u(1). Let m = k + h. Is 3 a factor of m?
True
Let y = 28 + -133. Let w = 825 + y. Is 72 a factor of w?
True
Let g = -104 - -58. Let l = 41 + g. Is 23 a factor of l/((1/(-12))/1)?
False
Let v be (-1)/(3 - 10/5). Let g be 60/27 + (-4)/18. Is 13 a factor of g - (3 - v) - (-126 - 2)?
False
Is 17 a factor of (-81310)/(-15) + 2 + (-8)/(-24)?
True
Suppose -h + 4*i + 11 + 78 = 0, 0 = 5*i + 15. Suppose -h*s + 1086 = -74*s. Is s a multiple of 55?
False
Let c = -13944 - -19624. Is c a multiple of 80?
True
Let s = -1063 - -11881. Let x be s/21 + (-1)/7. Let d = -367 + x. Is d a multiple of 13?
False
Let m(u) = -2*u**3 + 47*u**2 + 39*u - 85. Is m(16) a multiple of 37?
False
Suppose -2*h = -x - 38859, -1760*x + 1765*x = -5*h + 97155. Is 54 a factor of h?
False
Let r = 239 - 149. Is (-260)/(-9) - (-10)/r a multiple of 4?
False
Does 112 divide (-132 - 2724)*2/(-3)?
True
Suppose 5*d + u - 3085 = 0, 0 = 4*d - 3*u - 1622 - 865. Let s = d + -112. Is 22 a factor of s?
True
Suppose -t + 3 = -3*h - 4*t, 0 = 4*h + 3*t + 5. Let a be -1 + h + (-1)/((-2)/4). Is 10 a factor of a/((-6)/642) - -3?
True
Let v = -394 + 394. Suppose -81*q + 73*q + 3104 = v. Is q a multiple of 9?
False
Let i(t) = 23*t**2 - 54*t + 1451. Is 22 a factor of i(25)?
True
Let g = 303 + 169. Suppose 6*m - g = 386. Does 11 divide m?
True
Suppose -11*p - 1630 + 5920 = 0. Is 10 a factor of p?
True
Suppose 113*d = -31739 + 163889 + 392283. Is d a multiple of 45?
False
Let j be 0 + 0 + (-4)/1 + 22. Suppose j*p - 7380 = -23*p. Does 61 divide p?
False
Let v(m) = 12*m - 305. Let y(f) = -11*f + 306. Let c(o) = 3*v(o) + 4*y(o). Is c(-22) a multiple of 18?
False
Suppose -4*o + 526 = o - 4*g, 4*g = -o + 110. Let s be 242/2 + (9 - 7). Let i = s - o. Is i a multiple of 5?
False
Suppose m = 4*c + 25, 5*c - 6*c - 10 = -m. Suppose -2*j = -5*f + 1638, 0 = -6*j + 1 + m. Is 33 a factor of f?
False
Let w(p) = 63*p**2 + 651*p - 36. Does 81 divide w(12)?
True
Let z(m) = -9*m + 0*m - m - 26 + 6*m. Let k be z(-6). Is 3 a factor of (342/(-12))/(k/4)?
True
Let t = 5682 + -4415. Is t a multiple of 7?
True
Let k = -24 + 17. Let x(z) = -7*z**2 - 5*z - 29. Let s(y) = -3*y**2 - 3*y - 14. Let n(j) = -5*s(j) + 2*x(j). Does 4 divide n(k)?
False
Does 231 divide (9387 - (6 + -6)) + 11/(66/12)?
False
Let i(d) = -3 - 14*d**3 - 12 - 7*d - 2 + 2 + d**2. Does 3 divide i(-2)?
False
Let d(w) = 5*w + 42. Let s be d(-9). Let h be s/(-2)*40/15. Suppose y - h = -b - 0, -5*b + 5*y = -60. Is b a multiple of 8?
True
Let c(y) = -1137*y**3 + 35*y**2 + 28*y + 3. Is c(-4) a multiple of 17?
True
Let u(y) = y**3 + 36*y**2 - 22*y - 73. Is 8 a factor of u(-19)?
False
Let o = 1906 - 1126. Is (o/26)/((10/(-4))/(-5)) a multiple of 13?
False
Suppose -161*b + 6*b + 4302742 = 2*b. Is 142 a factor of b?
True
Suppose 0*g + 2*g - 5*o + 9 = 0, -12 = -4*o. Suppose -4*d = -z - 2364, -g*z = d - 3*d + 1172. Is d a multiple of 5?
False
Suppose -5*y + 3*y = -10. Suppose y*q - 5045 = -5*c, c - q = 1358 - 351. Is 56 a factor of c?
True
Let r(f) = -f**2 + 11*f - 19. Let j be r(15). Let i = 77 + j. Is 8 a factor of ((-15)/10)/(i/((-128)/(-6)))?
True
Let h(d) = 1031*d**3 - d**2 + 62*d - 172. Is h(3) a multiple of 17?
False
Let j(v) = 92*v - 287. Let k be j(7). Let b = -276 + k. Does 13 divide b?
False
Suppose -r + 2 = 0, 10*r = 5*x + 5*r - 5. Suppose -a - x*v + 799 = 0, -865 - 705 = -2*a + v. Is a a multiple of 42?
False
Let m(j) = -j - 6. Let w be m(-1). Let s be ((-6)/w)/(8/20). Does 10 divide (39/15 - s)*(-4600)/8?
True
Suppose 0 = 8*w - 4*w + 40. Let a be 4/w*(-75)/15. Suppose 0 = -a*m - h - h + 84, 3*m + 4*h - 126 = 0. Is 14 a factor of m?
True
Suppose 0 = 3*h + 2*f - 139437, 226*h + 2*f + 46479 = 227*h. Is h a multiple of 97?
False
Is 8 a factor of 4/10*22425660/648?
False
Suppose -3*g = -0*g + 12, 3*g + 720 = 3*h. Let c = h + 391. Is c a multiple of 33?
True
Let u be 5 + 5 + -4 + 3 - 3. Suppose -206 = u*r - 2636. Is r a multiple of 9?
True
Suppose 479*j - 94*j - 3994828 = -1342178. Is 26 a factor of j?
True
Let r be 1*(6 - 1) - 5. Let g(x) = 0*x**3 - 136 + 331 - x**3 - x**2 - 2*x. Is g(r) a multiple of 20?
False
Let d(n) = -20*n - 4. Let y be d(-3). Let x = 220 - 204. Suppose -y = -z - x. Is z a multiple of 10?
True
Suppose 0 = -77*y + 71*y + 127572. Does 54 divide y?
False
Let u(p) = -p**3 + 13*p**2 - 17*p - 9. Let s(n) = -n**3 + 4. Let w be s(-2). Let f be u(w). Let z = 146 + f. Does 11 divide z?
True
Let c = -9689 + 42734. Is 164 a factor of c?
False
Let p(o) = -2*o + 79. Let h(x) = -12*x + 396. Let f(s) = -5*h(s) + 24*p(s). Is 5 a factor of f(12)?
True
Suppose n = 16*n + 3015. Suppose -3*g - 3 = -0. Is 10 a factor of n*1/(-4) - g/(-4)?
True
Let b = 8813 - 3127. Does 38 divide b?
False
Let u = -167 + 46. Let r = u - -66. Let n = r + 103. Is 3 a factor of n?
True
Let t(v) = -434*v + 40. Does 20 divide t(-7)?
False
Does 12 divide 228/((-19 + 10)/(-45))?
True
Let s be 4/3 + 42/63. Suppose h - 7*h + s*h = 0. Suppose 981 = 5*p - h*p - 4*l, -5*l - 213 = -p. Is 17 a factor of p?
False
Let t be -4*3*(-5)/15. Let x be (t + 1)/((-15)/(-9)). Suppose -2*z + z + 54 = p, 0 = 2*z - x*p - 98. Is z a multiple of 13?
True
Let y(n) = -n**2 + 4*n - 3. Let s(x) = -2*x - 17. Let h be s(-9). Let m be y(h). Suppose m = -25*r + 26*r - 27. Is r a multiple of 9?
True
Suppose 42 = 2*l + 38. Suppose -l*s = s - 21. Suppose 0 = -2*i + x + 49 - s, 4*x + 14 = i. Does 9 divide i?
False
Let t be 6/1 + -5 + 