, -158 = -4*u + 2*n + 2266. Is 57 a factor of u?
False
Let q(j) = 11*j**2 + 9*j + 34. Let v(d) = 3*d**2 + 3*d + 11. Let z(w) = -2*q(w) + 7*v(w). Suppose 0 = -5*i + 2*i + 12. Does 4 divide z(i)?
False
Suppose -5*n - 3*z = -14, -n + 2*z + 8 = -0*z. Suppose 5*p - 3434 = -2*x, 2*p - n*p = 3*x - 1378. Suppose -5*j + 181 = g - j, -3*j - p = -4*g. Does 41 divide g?
False
Let b be 4/(5 + (-22)/4). Is (-18)/(((-12)/b)/(-7 + -1)) a multiple of 16?
True
Let r(l) be the second derivative of 2*l**4/3 + l**3 + l**2/2 - 7*l. Let w be r(-4). Let j = w - 75. Is 9 a factor of j?
False
Let k = -28 + 35. Let n = 51 + -48. Suppose -8*c = -z - n*c + k, -2*z - 2*c + 38 = 0. Is z a multiple of 17?
True
Let z(m) = -m**3 + 41*m**2 + 17*m - 421. Is 23 a factor of z(18)?
True
Suppose -2*a - 15948405 = -57*a. Is 61 a factor of a/396 + 1*(-1)/4?
True
Suppose 9 = -5*n - 17 + 51. Let l(h) = h**2 - 5*h. Let k be l(5). Suppose k = -4*w + 5*f + 69, -w + 11 = -0*w + n*f. Is 16 a factor of w?
True
Let u(l) = 2*l**2 + 14*l - 5. Let s(r) = r**2 - 11*r + 37. Let o be s(5). Let w(m) = -3*m + 13. Let c be w(o). Is u(c) a multiple of 5?
False
Let v be (-5)/(70/(-4)) + (-209)/(-77). Suppose -5*y + 3*r + 2538 = -659, 1895 = v*y + 4*r. Is 41 a factor of y?
False
Suppose 2*z - 2*w + 2 = 8, 4*w - 52 = -4*z. Let g be 3/2 - (-3 - (-68)/z). Is ((-6)/(-7))/(-3 - g)*21 a multiple of 18?
True
Let f(h) = -382*h - 1641. Is f(-6) a multiple of 10?
False
Suppose -5*y - 10 = 5*h, y + 3*h + 1 + 1 = 0. Let x be 1*y*(-1173)/(-46). Let m = x + 72. Is 7 a factor of m?
True
Does 79 divide 560/(-105) + (-4)/(-3) + 5139?
True
Suppose -3*q = p - 20976, -32*p + 21018 = -31*p - 3*q. Does 43 divide p?
False
Let u = -1070 - -1107. Is 37 a factor of u?
True
Suppose 4*f - 15 = f. Suppose 724 = 5*j - d + 64, 0 = -f*d. Is 5 a factor of j/9*-3*3/(-6)?
False
Is 23 a factor of 4/(-8)*10/1 - (-1860480)/255?
True
Let j = 4426 - 1145. Is 46 a factor of j?
False
Does 14 divide (-11890)/(-14) + (160/(-56))/10?
False
Suppose 392 = -6*v + 14*v. Let h = -16 + v. Is h a multiple of 2?
False
Let t(n) = n**2 - 8*n - 124. Let d be t(16). Let m = 43 + -20. Suppose 109 = d*v - m. Is v a multiple of 3?
True
Let z = -6228 - -10548. Is 40 a factor of z?
True
Let z be 22/6 + (-6)/9. Suppose 0 = 3*l - z*o - 792, -5*l - 3*o + 1460 = 172. Does 4 divide l?
True
Suppose -12*t - 4*p = -7*t - 20333, 0 = 2*t + p - 8138. Is t a multiple of 24?
False
Let m = -40323 + 65653. Does 21 divide m?
False
Let l(t) be the third derivative of 25*t**4/24 + 65*t**3/3 + 98*t**2. Is l(9) a multiple of 8?
False
Is 23 a factor of (-1617)/(-98)*(-1 - -507)?
True
Let m(c) = -3*c**2 - 167*c - 125. Is m(-53) even?
False
Let b be (-2)/(-8) + (-389763)/(-132). Suppose -13*u + b = -7161. Is u a multiple of 63?
False
Suppose u - 30 = 301. Suppose -2*g + u = -g. Is 20 a factor of g?
False
Suppose 2*w + 2*c = -2*c + 154, -8 = -2*c. Suppose -4*t = -d - w, -2*t + 37 = d - 2*d. Suppose 2*a + y - t - 23 = 0, -a + 2*y + 17 = 0. Is 2 a factor of a?
False
Let t = -17609 - -23469. Is 8 a factor of t?
False
Let f be (39681/(-4))/((-54)/144). Does 5 divide (-2)/13 - f/(-78)?
False
Let c = -1277 - -1264. Let b(t) = -t**2 - 7*t - 4. Let z(v) = -2*v**2 - 14*v - 9. Let p(r) = 5*b(r) - 3*z(r). Is 8 a factor of p(c)?
False
Let z(w) = -w**2 - 7*w - 4. Let i be z(-5). Let r(u) = 59*u + 644. Let k be r(-11). Does 8 divide i/((k - -4) + (-177)/(-168))?
True
Let z(c) be the third derivative of c**6/120 + 3*c**5/20 - c**4/6 - 4*c**3 + 2*c**2. Suppose 92*p + 481 = -255. Is 14 a factor of z(p)?
False
Suppose -2*y + 1516 = u + 3*u, u + 4 = 0. Let x = -502 + y. Is 5 a factor of x?
False
Let o(r) be the first derivative of -r**4/2 + 2*r**3/3 - 7*r**2/2 - 13. Let i(q) be the second derivative of o(q). Is 14 a factor of i(-8)?
False
Let x be (70/(-20))/(1/(-4)). Let i = x + 0. Suppose i*d - 260 = 13*d. Does 52 divide d?
True
Suppose 47*w - 365904 = 21*w - 40*w. Does 11 divide w?
True
Let j(a) = a**2 - 9*a - 10. Let d be j(10). Let o = -179 + 355. Suppose d = -14*k + 15*k - o. Is k a multiple of 16?
True
Let r(s) = -s**3 + 14*s**2 - 8*s - 11. Let n be r(13). Let x be n/2*(20/(-15) - -2). Suppose -2*o - 5*l - 80 = -4*o, o + 3*l - x = 0. Is o a multiple of 10?
True
Suppose 80694 = 19*b - 9499. Is b a multiple of 47?
True
Let u(w) = 49*w - 5. Suppose 6*n - 5 = 5*n. Suppose -x = g - 3*g + n, -14 = -4*g - 2*x. Is 22 a factor of u(g)?
False
Suppose 3*m + 15 = 0, -43*w + 40*w = -4*m - 30167. Is w a multiple of 116?
False
Let x(j) be the third derivative of -j**5/60 - j**4/4 + j**3/6 + 9*j**2. Let i be x(-6). Does 10 divide 10/((3/3)/i)?
True
Does 23 divide ((-3)/9)/(-1 - 146048/(-146064))?
False
Is ((-46944)/(-21) - -4) + 60/105 a multiple of 50?
False
Suppose 0 = -l - 2*t + 1433, 4*l - 3*t + 3365 = 9119. Suppose 0 = 139*k - 136*k - l. Does 117 divide k?
False
Let p = -11669 + 13989. Is p a multiple of 20?
True
Let y = 1 - -1. Suppose -1044*a - 676 = -1045*a. Suppose u = -3*u - y*v + a, -u - v = -170. Is 12 a factor of u?
True
Let x(f) be the first derivative of -4*f**2 + 4*f - 6. Suppose -z = 5*z + 102. Is 14 a factor of x(z)?
True
Let a = 368 + -351. Let x = 34 - 21. Let p = x + a. Does 5 divide p?
True
Suppose -14*s + 9*s - 105 = 0. Let r be (-36*s/56)/(1/6). Let y = r - 19. Does 11 divide y?
False
Let r(i) = i**2 - 32*i - 270. Does 27 divide r(-30)?
False
Let a(m) = -1. Let x(k) = k**2 - 40*k + 42. Let i(o) = -6*a(o) - x(o). Is 12 a factor of i(25)?
False
Let c(i) be the first derivative of -2*i**3/3 - 5*i**2/2 + i + 13. Let a be c(-3). Is (-1)/(8/(-1122)) - a/(-8) a multiple of 14?
True
Is 7 a factor of (-2902)/(8*10/(-40))?
False
Let m be (10/20)/(2/216). Let b = 84 - m. Is 15 a factor of b?
True
Let d(g) = -2*g**3 + 8*g**2 - 2*g - 7. Suppose -11 = -3*q + 1, -5*f = 4*q - 81. Let h(m) = -m**3 + 4*m**2 - m - 3. Let l(i) = f*h(i) - 6*d(i). Is l(2) even?
False
Suppose 99*j - 98*j = 212. Suppose -j*f + 132 = -211*f. Is f a multiple of 4?
True
Let f be (1182/4)/(10/180*3). Suppose -1782*a = -f*a - 972. Is 54 a factor of a?
True
Let d(b) = -4*b + 1. Let n(j) = -11*j + 3. Let f(o) = -8*d(o) + 3*n(o). Let q(z) = z**2 + 7*z + 1. Let a(r) = -3*f(r) + q(r). Does 12 divide a(-12)?
False
Let v = 644 + -350. Let j = 654 - v. Is j a multiple of 12?
True
Let y = -343 + 332. Let i(m) = 2*m**2 + m + 49. Does 7 divide i(y)?
True
Let i = 125 - 100. Suppose -6*w = i - 925. Does 4 divide w?
False
Is 85 a factor of (2 + -2 - -9429) + (63 + -39 - 18)?
True
Suppose 1881*a - 1875*a - 27222 = 0. Is a a multiple of 15?
False
Let x(w) be the first derivative of 2*w**3/3 + 11*w**2/2 - 2*w + 2. Let s be x(-6). Suppose -1300 = -s*d - 6*d. Does 13 divide d?
True
Is 9 a factor of ((129/4)/(28/(-84)))/((-1)/100)?
True
Let y be ((-2)/8)/((-1)/4). Let b(u) = 25*u - 14. Let o(v) = v + 1. Let w(f) = y*b(f) + 3*o(f). Is 15 a factor of w(3)?
False
Let u be (1*5/5)/(4/44). Is 31 a factor of (u/(275/290))/(2/50)?
False
Suppose -y + 2375 + 1011 = 4*o, 4*y + 8 = 0. Suppose -16*m - o = -23*m. Is 11 a factor of m?
True
Let d = 1614 + -846. Let f = d + -408. Does 15 divide f?
True
Let y be 0/2 + 4 + 10*-7. Let j be (-255)/15*y/2. Suppose 11*b - j = -176. Is 7 a factor of b?
True
Suppose 5*k - 16055 = 5*p, -k - 2*p = 2*k - 9623. Is 10 a factor of k?
False
Suppose 4*s - 52 = -0*s. Let r = -252 - -252. Suppose r = -x + 19 + s. Is x a multiple of 32?
True
Suppose 34*m - 3514 = 32*m. Suppose -947 = 3*b - m. Is 18 a factor of b?
True
Let i = 97 + -50. Let q = -1112 - -1141. Let d = i - q. Is 4 a factor of d?
False
Let u = 116 - 113. Suppose -1192 = -u*s - 4*p, 3*p - 796 = -0*s - 2*s. Does 14 divide s?
True
Let b(m) = -2*m**2 + 93*m - 38. Let w be b(46). Suppose -w*l - 809 = -4001. Is l a multiple of 57?
True
Suppose 5*v = -4*l + 8123, -v + 1630 = 12*l - 13*l. Suppose v = 21*i - 17*i - k, -i - 4*k + 394 = 0. Does 8 divide i?
False
Suppose 359*t - 357*t = 7*g - 34095, 9714 = 2*g + 4*t. Is g even?
False
Let l(s) = -38*s - 22. Suppose -3*t + 3*x = -5*t + 22, -4*t - 3*x = -38. Let o = t - 10. Does 6 divide l(o)?
True
Let o(m) = 2*m**3 + 5*m**2 - 8*m - 3. Let u be o(-11). Let v = -861 - u. Does 64 divide v?
False
Let m(z) = 46*z + 217. Let y(g) = 21*g + 109. Let a(i) = -4*m(i) + 7*y(i). Is a(-18) a multiple of 17?
True
Is 4 a factor of (3/(-9)*7209/6)/(18/(-2