 26 a factor of 226 + p + 1 + 6 + -4?
False
Suppose 146 = 2*r + 4*p, 320 = 5*r + p - 0*p. Suppose r*m + 204 = 66*m. Is 17 a factor of m?
True
Suppose 7 = -4*i + 27. Suppose -3*k + i = -4*c, 3*k - 4*c = -k. Let p(l) = -4*l + 4. Does 12 divide p(k)?
True
Suppose d = 5*a + 616, 5*d - 2*d - 3*a - 1848 = 0. Does 14 divide d?
True
Suppose 2*s = 4*h - 3630, -3*s = 7*h - 10*h + 2718. Is h a multiple of 12?
False
Does 6 divide 5420/50 - (28/20 + -1)?
True
Let y(c) = -c**3 + 6*c**2 - 6*c + 5. Let j be y(5). Suppose j = o - 72 + 12. Is o a multiple of 12?
True
Let a(m) be the second derivative of 5*m**4/6 - 11*m**3/6 + 11*m**2 - 3*m. Is 13 a factor of a(6)?
False
Let i be (-2 + 10/6)*3. Does 2 divide (0 - i)/((-3)/(-27))?
False
Let r(n) = -n**3 - 4*n**2 + 3*n - 6. Let b be r(-5). Suppose -b*j = 409 + 291. Does 25 divide (j/28)/((-2)/16)?
True
Suppose 5*c + 4 = 14. Suppose 0 = 2*j + 4*y - 16, 2*y = j - 6 - c. Does 8 divide j?
True
Let r be 388 - -3 - 2/(-2). Suppose -2*y - r = -6*y. Is y a multiple of 14?
True
Let q(l) be the second derivative of l**4/4 - 2*l**3/3 + 3*l**2 - l. Let r = 22 - 18. Does 10 divide q(r)?
False
Suppose -4*b - 3*z = b - 855, 356 = 2*b + 4*z. Does 29 divide b?
False
Let x(h) = h**2 + 3*h + 3. Let i be x(-3). Suppose 0*c - 368 = -3*z - 2*c, -5*z + i*c + 645 = 0. Is 21 a factor of z?
True
Suppose -2*u - 2*k = k - 11, -2*u = -4*k - 4. Let r be (0 + 7)*4/(-14)*-2. Suppose u*d = -r, -4*x - 7*d = -3*d - 156. Is 20 a factor of x?
True
Let s(a) = a**3 - 7*a**2 - 10*a - 1. Let l be s(8). Let z(u) be the first derivative of u**4/4 + 6*u**3 + 15*u**2/2 - 10*u + 9. Is 5 a factor of z(l)?
False
Suppose -22 + 7 = -5*c. Suppose c*b + 2*t - 4 = 0, t = -0*b + 2*b + 2. Suppose -5*a - 2*z + 113 = b, 5*z - 18 = -a - 0*a. Does 11 divide a?
False
Suppose 0 = -5*m + 14 - 4. Suppose m*r = 14 - 0. Suppose 0 = 10*j - r*j - 351. Does 39 divide j?
True
Let v(z) = -17*z + 247. Is 16 a factor of v(-27)?
False
Let i be 0/(2/(-2) + 3). Does 17 divide 0/(i + -3 + 0) - -17?
True
Let u(k) = k**2 + 7*k - 23. Let d be u(-10). Suppose 4*j + 2*i - 904 = 0, 5*j = -d*i + 4*i + 1129. Is 21 a factor of j?
False
Suppose -30 + 492 = -3*l. Let h = 240 + l. Is 11 a factor of h?
False
Let a(b) = b + 3. Let o(n) = -n**2 - 7*n - 5. Let j be o(-4). Does 10 divide a(j)?
True
Let f be 5 - 174/30 - (-379)/5. Suppose -129*j + f = -128*j. Does 5 divide j?
True
Let v(o) = 3*o**3 - o + 24. Is v(5) a multiple of 24?
False
Let a = 2294 + -1221. Is a a multiple of 29?
True
Let r(m) = -m**2 - 10*m - 16. Let k be r(-8). Suppose -4*n - 4*w + k*w + 296 = 0, -4*w = 5*n - 371. Is 15 a factor of n?
True
Let y be 27 + 3 - 3/(-1). Does 5 divide y + -9*(-2 + (-14)/(-6))?
True
Is 8/10*(12 - -343) a multiple of 4?
True
Let y be 3/(3 - ((-5)/8 - -4)). Let b(l) = -l**3 - 2*l**2 + 4*l - 2. Let f be b(2). Is y/10*(-75 + f) a multiple of 19?
False
Let l(z) = -17*z**3 + 2*z**2 + 22*z + 4. Is l(-4) a multiple of 28?
True
Let x = -14 + 203. Is 21 a factor of x?
True
Let i be ((-13)/(-39))/(2/(-24)). Let a(m) = -m**3 - m + 7. Is a(i) a multiple of 25?
True
Is (-1546)/(5*(-22)/55) a multiple of 19?
False
Suppose 26*g = -4940 + 23244. Is g a multiple of 32?
True
Let n be -1 + 1*12/4. Suppose n*y = -0 + 6. Suppose y*r - 96 = -r. Does 12 divide r?
True
Let g = 760 + -634. Is g a multiple of 12?
False
Let w(a) = -5*a + 5. Let p be w(-3). Let d(f) = 3*f. Let l be d(4). Let n = p - l. Does 8 divide n?
True
Suppose 0 = 2*s + 4*x - 278 + 22, -4 = 4*x. Let r = s + -86. Is 12 a factor of r?
False
Let y be ((-6)/(-7))/(1/(-7)). Is 2 a factor of (9/y)/(12/(-80))?
True
Suppose -6 = 7*y - 4*y. Does 23 divide (158 + 3)*4*y/(-8)?
True
Suppose -15 = 3*j - 6*j. Let f = 8 - j. Does 18 divide 3*(f - (-18)/2)?
True
Let b(x) = -x**2 + 8*x - 1. Let a be b(7). Suppose a = 2*o - 4. Suppose -13 = -j + o*t, 3*t + 2*t = 2*j - 36. Does 23 divide j?
True
Let s(w) = 9*w + 153. Is s(-2) a multiple of 95?
False
Let i = 73 - 45. Suppose 6*b = l + 4*b - 65, -4*l = -5*b - 254. Let f = l - i. Is f a multiple of 24?
False
Is 15 a factor of -1 - 5 - (-1258 - (-13 + 21))?
True
Let o(c) be the third derivative of c**6/120 + c**5/120 + c**4/6 - 2*c**2. Let u(s) be the second derivative of o(s). Does 4 divide u(1)?
False
Suppose -r = 5*d + 16, 4*d + 4 = -2*r + d. Let l(u) = -u**3 + 3*u**2 + 3*u - 5. Let n be l(r). Does 15 divide 50/(-5)*n/2?
True
Suppose -8 = 2*t, 2665 = 3*f + 2*t - 363. Is 46 a factor of f?
True
Suppose 3*z - 1 - 8 = 0. Suppose -z = -g + 3. Suppose 3 + g = y. Is y a multiple of 2?
False
Let v = 2073 - 1254. Does 22 divide v?
False
Suppose 14*l - 15*l + 2 = 0. Let j(d) = 4*d + 3. Let n be j(3). Suppose l*b - 11 = n. Is 3 a factor of b?
False
Is 2/(-12)*38*(0 + -123) a multiple of 37?
False
Let l(c) = -8*c + 27. Let p be l(4). Let f(a) = 13*a**2 + 12*a + 8. Does 34 divide f(p)?
False
Suppose -b - p + 3 = 4, 0 = 5*b + p - 7. Let v(d) = 4 - b - 2*d - d**2 + 2*d**2. Is v(3) a multiple of 2?
False
Suppose -27 = 3*k - 5*k + 3*s, -2*k = s - 31. Suppose -k*m + 530 = -595. Is 5 a factor of m?
True
Suppose 4*q - 24 = 8*q. Let c be 2/(-3)*q + 5. Suppose -4*f - 4*o + 200 = 0, 4*f - 167 = 2*o + c. Is 22 a factor of f?
False
Suppose -x = -76 + 84. Is (83 - (4 + x)) + -3 a multiple of 21?
True
Suppose 724 = 38*v - 2012. Does 10 divide v?
False
Let d(t) = t**2 - 2*t - 2. Let h be d(-3). Let r(o) = -o**2 + 13*o + 3. Let m be r(h). Suppose -98 = -m*g + 238. Is g a multiple of 27?
False
Let y = -23 - -20. Is (-4)/(-6) + (-187)/y a multiple of 9?
True
Let p(z) = -z**3 + 14*z**2 + 5*z + 5. Let k(s) = s**3 - 14*s**2 - 4*s - 5. Let i(x) = -3*k(x) - 4*p(x). Is 31 a factor of i(15)?
False
Let k(d) = -12*d - 9. Let f be k(-8). Let o = f - -30. Is 20 a factor of 1/(-2) - o/(-2)?
False
Let h = -15 + 6. Let z(u) = -u + 2. Let l be z(h). Suppose g = 25 + l. Does 9 divide g?
True
Let j(y) = y**3 + 5*y**2 + 3*y + 1. Let t be j(-3). Is 7 a factor of (52/(-5))/((-4)/t)?
False
Let x be ((-3)/(-3))/(3/(-45)). Let l = x + 18. Suppose 176 = 4*g - 4*c, l*c + 10 = -5. Does 12 divide g?
False
Is 7 a factor of 78/(-26)*1/3 + 193?
False
Suppose -22 = 8*y - 118. Suppose y = 4*s - 3*s. Is s a multiple of 3?
True
Let n = -389 - -347. Suppose -k = -d + 2, 0 = -2*d + 2*k + 3*k + 19. Is 11 a factor of (14/d)/(7/n)?
False
Is -7 - ((-4)/(-1) - 90) a multiple of 6?
False
Suppose 0 = -p + 4*w + 96, 417 = -0*p + 4*p - 5*w. Is 26 a factor of p?
False
Let h(v) = -101*v - 2. Let m(l) = -l**2 + 10*l - 4. Let c be m(8). Let o be ((-1)/(-2))/((-6)/c). Does 33 divide h(o)?
True
Suppose -2*a + 79 = -119. Let n = 57 + a. Is n a multiple of 52?
True
Suppose 3*u - 2*k - 2215 = 0, 7*u - 2190 = 4*u - 3*k. Is u a multiple of 5?
True
Let d be -2*(3 - 7/2). Does 28 divide 334*(d + 6/(-4))*-1?
False
Let g(s) = -2*s**2 - 6*s + 4. Let t be g(-3). Suppose 0 = -t*w - 2*h - 187 - 9, -h = -2. Let y = -30 - w. Does 13 divide y?
False
Suppose 666 = -y + 118. Let u be (y/(-5))/((-16)/(-40)). Suppose s = 3*o - u, -2*o = s - 2*s - 184. Does 10 divide o?
True
Let q(z) = -23*z - 102. Is 2 a factor of q(-5)?
False
Suppose -2*y + 35 + 51 = 0. Let j = y + 27. Let d = -41 + j. Is d a multiple of 24?
False
Let l = 43 - 28. Let f = 10 - 11. Let q = l - f. Is q a multiple of 7?
False
Let m(l) = 13*l - 5. Let j be m(5). Let d = j + 109. Is 13 a factor of d?
True
Let k be (2 - -15 - -1)*12/18. Let c = 60 - k. Is 16 a factor of c?
True
Let u = 194 + -116. Suppose h - u = 3*c, -5*c = -0*c. Is h a multiple of 26?
True
Suppose -158*c - 145 = -159*c. Let f = c - 39. Is f a multiple of 34?
False
Is 5 a factor of (-6 - -9)/((-3)/(-120))?
True
Let r be 1 - (-2 + 2) - -24. Let h = r + -34. Is (-39 + 1)/(9/h) a multiple of 19?
True
Let s be -1 + (-3 + 3 - -1). Is 18 a factor of 15/(s - (-4)/24)?
True
Let j(k) = -k**2 - 16*k + 27. Let i be j(-13). Suppose 3*m - i = 18. Is m a multiple of 8?
False
Let y be (-4)/6 - (-32)/(-6). Let j = 1132 + -1144. Does 9 divide (-164)/y - 8/j?
False
Suppose t = -38 + 43. Suppose -147 - 118 = -t*x. Does 12 divide x?
False
Suppose 5*h + 12 = h. Let r(o) = -o**3 - 2*o**2 + o - 3. Let q be r(h). Suppose 60 + 28 = q*m - 2*k, 0 = 4*m - 5*k - 115. Does 15 divide m?
True
Let a = 30 - -91. Suppose -2*b + 4*p + 21 = -a, p - 80 = -b. Is b a multiple of 11?
True
Suppose 21*m - 14*m = 1120. Is 6 a factor of m?
Fal