49 + -1294. Let v be (-1)/2 - (-966)/4. Let m = f + v. Is 16 a factor of m?
True
Let s(k) = k**2 + 11*k + 38. Let a be s(-5). Suppose 20 = 3*d + 5*r, -d + 2*r - a = d. Suppose -185 = -5*u - 5*p, 3*u + p - 62 - 43 = d. Does 5 divide u?
False
Let l = -283 - -297. Is l/(-4) + (-756)/(-8) a multiple of 2?
False
Let c be 10 + -2 + 4 - (1 - 1). Is ((-96)/15)/(c/(-2850)) a multiple of 40?
True
Let o(b) = b**2 + 21*b - 25. Let h be o(-23). Let w(a) = -3*a + 175. Does 4 divide w(h)?
True
Suppose 3*z = -r - 20, -r + 2*z - 5 = -10. Is 29 a factor of -3 + (144 - (r - -14))?
False
Is 2/(-8) + (-3149)/268 - -118 a multiple of 62?
False
Does 17 divide (-6)/45 - (-44669755)/975?
True
Suppose 4*i + c - 1197 = 971, 2*i - 2*c - 1084 = 0. Let n = i - 321. Suppose -3*x + n = -307. Is 16 a factor of x?
True
Let p(l) = -l**2 + 19*l + 87. Let w be p(-4). Does 29 divide (-3 - -297) + ((-2)/1 - w)?
False
Let z = 17234 + -13652. Does 18 divide z?
True
Let j be (35/(-28))/((-3)/(-72)). Is 17 a factor of (20/j)/(-1 + (-2360)/(-2364))?
False
Let p(w) = 7*w**2 + 4*w - 2. Let a(b) = -5*b**2 - 5*b + 1. Let d(t) = 3*a(t) + 4*p(t). Is d(3) a multiple of 49?
False
Let z(a) = -66*a - 164. Does 8 divide z(-99)?
False
Suppose 1107 = 5*p - k, -3*p + 5*p - 5*k - 429 = 0. Suppose 0*x = -2*x + 5*h + 78, 5*x - p = -h. Is x a multiple of 17?
False
Suppose -36*h - 30*h = -93654. Is h a multiple of 75?
False
Suppose 6888930 = 270*f + 91*f - 11016309. Is 28 a factor of f?
False
Let t be 304/40 + 3/(-5). Suppose 2*m = t*m - 115. Does 13 divide 1/((-10)/(-3) + -3) + m?
True
Suppose -5*p + s = 1819, -2*p - 664 = 4*s + 68. Is 39 a factor of p/(-39)*702/21?
True
Is (-84 - -83)/((-2 - -5)/(-19257)) a multiple of 11?
False
Let o = -27 + 33. Let l be ((-8)/(-6))/(o/(-9)). Let d(x) = -15*x**3 + 2*x**2 + 2. Does 13 divide d(l)?
True
Let a(p) = 22*p - 29. Let x be a(14). Suppose -18*g + 27*g = x. Is 23 a factor of g?
False
Let c = 116413 + -74305. Does 18 divide c?
False
Let b(o) = o**3 - 13*o**2 + 9*o - 8. Suppose -5*k = -10, q - 3*k + 0 - 36 = 0. Let j = -29 + q. Is b(j) a multiple of 24?
False
Suppose 14 = 2*n + x, -12*n = -11*n - 3*x. Is 20 a factor of -1143*(-2)/n + 5?
False
Let d = 71958 - 39158. Does 205 divide d?
True
Let a be (-32)/(-12) + -2 + (-4436)/(-6). Suppose -39*b = -35*b - a. Is b a multiple of 20?
False
Let n = 57973 - 21639. Does 40 divide n?
False
Suppose -1 + 10 = -9*g. Let n be 0 + 2 + g - (-5 - -4). Suppose 0 = 5*l - 15, -t = n*l - 43 - 14. Is t a multiple of 10?
False
Let l be (-20)/(-6)*(-246)/(-410). Suppose 0 = -0*t + 5*t + c - 4724, -2 = l*c. Is t a multiple of 9?
True
Suppose -26*p + 17369 + 10310 = -97459. Is 24 a factor of p?
False
Let w(x) = 105*x**2 + 5*x - 220. Does 10 divide w(9)?
True
Let t(w) = -2*w + 28. Let c be t(12). Suppose c*f + 4*q = 284, -3*q + 282 = 2*f + 2*f. Is f a multiple of 9?
False
Suppose -10*f = -21*f - 44*f + 5555. Is 77 a factor of f?
False
Let n(w) be the first derivative of 14*w**2 - 3*w - 12. Let c be n(8). Let l = c - 121. Is l a multiple of 12?
False
Suppose 148*j - 95*j + 127*j - 6480360 = 0. Is j a multiple of 89?
False
Suppose 2*a - 6*a = -48. Suppose -3*y - 2*h = -8, 0*y + 4*y = -4*h + a. Suppose 4*w - 4*r - 320 = 0, -4*w - 89 = -y*r - 403. Is 24 a factor of w?
False
Let k(z) = -5*z**2 + 576*z + 384. Is 24 a factor of k(113)?
False
Let k be 1 - 3*(-55)/15. Suppose -518 = -2*a - k*a. Is 2 a factor of a?
False
Let u be -3 + (-22)/(-8) - (-217)/(-124). Does 17 divide ((-30)/12)/(-5) - 207/u?
False
Let l = 31 - 24. Suppose -l*w = -3992 + 1451. Is w a multiple of 11?
True
Suppose -108 = -7*v + 2*v - a, -2*v - 5*a = -57. Suppose -13*u + v*u + 48 = 0. Is ((-464)/u)/(10/15) a multiple of 20?
False
Let c be (-44)/33 - (-3)/9. Is 4 a factor of c*(14 + 9/3)*-3?
False
Let b(u) = 197*u + 1058. Is b(6) even?
True
Suppose 0 = -0*n + 11*n - 22. Let f be (0/(n - 0))/(-1) - -3. Suppose 2*j - 31 = 3*r, -j + 4*j - f*r = 42. Is 3 a factor of j?
False
Suppose -q + 2*b + 6 = -5, -b + 11 = q. Let o be (-6)/(-2) - 2 - -75. Does 14 divide o - (11/q - (1 - 1))?
False
Let y(o) = 32*o - 2. Let z(r) = 32*r - 3. Let i(v) = 5*y(v) - 4*z(v). Is 10 a factor of i(9)?
True
Is 2 a factor of (0 + -4)/((-68)/69904)?
True
Let g(h) = -h**3 + 13*h**2 + 23*h - 67. Does 3 divide g(6)?
False
Let z(x) = -x**3 + 10*x**2 + 9*x + 30. Suppose 90 = 13*m - 1. Let s(g) = -3*g**3 + 30*g**2 + 26*g + 90. Let c(r) = m*z(r) - 2*s(r). Does 9 divide c(11)?
False
Let o(c) = 10*c + 67. Let a be o(-6). Let t(l) = -l + 4. Let j be t(0). Suppose 4*q - j*m - 36 = -8, -3*q - 4*m = -a. Is q a multiple of 2?
False
Let q = 31460 + -17057. Is q a multiple of 91?
False
Suppose -33212 = 24*d - 91436. Is d a multiple of 9?
False
Let h = 12 - 17. Let u(c) = 23*c + 25. Let l be u(h). Does 20 divide -1*(2 - 2) + (-10 - l)?
True
Suppose -11*h + 1208 + 1432 = 0. Let o = 192 + h. Suppose 3*n + 73 = z, -121 + o = 5*z + 3*n. Is 9 a factor of z?
False
Is 5850/20*((-1 - 2) + 19) a multiple of 20?
True
Suppose -4*x = -4*b - 36760, -4260*b = -4263*b + 6. Does 24 divide x?
True
Let h(m) = -19*m - 62. Suppose 0 = -2*x - 7 + 13, 5*u + 236 = 2*x. Let r = u + 28. Does 46 divide h(r)?
False
Suppose -4821*o + 4814*o + 21175 = 0. Is 121 a factor of o?
True
Let s(u) = -45*u + 4. Let d be s(3). Let j = 272 + d. Is j a multiple of 21?
False
Is 52 a factor of (-21)/((-2310)/1413220) + (-132)/(-242)?
False
Let y(u) be the third derivative of u**6/120 - 3*u**5/20 - 17*u**4/24 + 25*u**3/6 + 147*u**2. Does 6 divide y(13)?
True
Is (2 - (-134)/8) + 165/132 a multiple of 4?
True
Let m be (2/(-6))/(2/(-6)). Let a(p) be the third derivative of 3*p**6/2 - p**5/60 + p**4/12 - p**3/6 + 2721*p**2. Is 20 a factor of a(m)?
True
Suppose 0 = -68*s - 7*s + 529425. Is s a multiple of 120?
False
Let g(n) = 878*n + 1977. Does 115 divide g(6)?
True
Suppose -44*j = -40*j - 236. Let g = j - -51. Is g a multiple of 5?
True
Let x(m) = 15*m**3 - 2*m**2 - 5*m + 6. Suppose 0 = 4*v + 3*w - 20, 4*w - 11 = -5*v + 15. Is 18 a factor of x(v)?
True
Suppose -3*g - 4*j = -4479, 40*j + 4443 = 3*g + 38*j. Is 27 a factor of g?
True
Let c(j) = 38*j**3 + 4*j**2 + 2*j - 16. Let s be c(3). Suppose 0 = 20*d - s - 1048. Is 15 a factor of d?
True
Let t be (0 + -71)*(-2 - (-13 - -8)). Is (-14)/5*(t - 2) a multiple of 43?
True
Let z(n) be the second derivative of 15*n**2 + 5/6*n**3 + 0 - 18*n. Does 18 divide z(12)?
True
Let g(w) = -7*w**3 - 5*w**2 - 25*w - 13. Let b be g(-5). Let q = 1355 - b. Is 42 a factor of q?
False
Is (5/((-45)/564))/((-6)/531) a multiple of 59?
True
Let m = 43 - -11. Let r = m - 16. Is 10 a factor of r?
False
Let m = -22 - -24. Suppose 0 = -j + 5, -4*j = m*s + 175 + 45. Let q = 220 + s. Does 39 divide q?
False
Suppose 0*b - 3*b + 2019 = 0. Let i = -10 + 19. Suppose 0 = -i*y + b - 106. Is 8 a factor of y?
False
Suppose -8*y + 248 = -8. Let r(a) = 16*a + 0*a - 13 + y*a. Does 18 divide r(3)?
False
Suppose -50*l = -38*l - 37056. Does 16 divide l?
True
Let h = -671 + 1445. Let u = -506 + h. Suppose 8*l - u - 84 = 0. Is l a multiple of 4?
True
Suppose -592 = 4*a - 1920. Let z = -212 + a. Does 8 divide z?
True
Let d(q) = 3*q**2 + 103*q + 452. Is d(74) a multiple of 10?
False
Suppose -5*r - u + 31782 = 0, -6042 = -r + 7*u + 372. Is 7 a factor of r?
False
Let n(l) = -l**2 + 2. Let y be n(0). Let t be (-2)/y*-1*1. Is (39/(-3) + 2/t)*-4 a multiple of 44?
True
Suppose -6*n = -5*n - 78. Let j(u) = 23*u + 124. Let i be j(-6). Let k = n - i. Is 23 a factor of k?
True
Let n be (-10)/(-15)*118*(-3)/2. Let k = n + 216. Let d = k + -49. Is d a multiple of 32?
False
Suppose -2*b = -3*r + 9436, 3*r - 9692 + 277 = 5*b. Is r a multiple of 4?
False
Let i be (47 + -9)/(3/207). Does 20 divide i/30 - (-14)/(-35)?
False
Suppose 14*t - 8*t + 2*t = 31680. Is 12 a factor of t?
True
Let x be 80/25 + (-5)/25 - -1. Suppose 13*u - 8*u - 3*a - 1803 = 0, u - 364 = x*a. Does 9 divide u?
True
Let b = 33907 - 13307. Does 22 divide b?
False
Suppose 2*w - 108 = -4*o, -5*w + 140 = 5*o - 0*w. Let v be (o/4)/((-17)/(-884)). Is 42 a factor of (5/10)/(v/336 + -1)?
True
Suppose -19264 = -4*b - a, -2*b - 1660*a = -1656*a - 9604. Is 146 a factor of b?
True
Let u = 118 - 114. Is 15 a factor of (-2)/u - 242*(-5)/20?
True
Let d be (-5 - (-2 + -5)) + -7. Is 207 - -8 - 1/(d + 4) a multiple of 36?
True
Let m