
Suppose -1939758 = -133*c + 285144 - 146910. Does 28 divide c?
True
Let f = 4235 - 623. Does 14 divide f?
True
Let l(v) = -v**2 + 250*v - 24. Is l(10) a multiple of 15?
False
Let w = 64 - 130. Let u = 65 + w. Is (-27)/(-3)*(10 + 1) - u a multiple of 20?
True
Let d(w) = -w**3 - 49*w**2 - 65*w + 237. Let o(l) = -l**3 + 32*l**2 - 65*l + 102. Let j be o(30). Is 9 a factor of d(j)?
True
Let l = 32 + -2. Let y(z) = 3*z**2 + 38*z + 245. Let h be y(-13). Suppose -8*k + l = -h. Does 9 divide k?
True
Let n = -128 + 246. Suppose 5*i + 4*h = -490, 0 = -3*i - 5*h - 412 + n. Let a = i + 248. Is a a multiple of 25?
True
Let w(q) be the second derivative of -4*q**3/3 + 11*q**2/2 - 4*q - 16. Is w(0) a multiple of 11?
True
Does 19 divide (461/2 + 3)/(((-275)/836)/(-25))?
True
Let c be -8*(-6)/8 - 3. Let l(q) = 2*q**2 + 4*q - 5. Let m be l(6). Suppose 5*d - 2*j = 357, c*j - m = -3*d + 119. Is 20 a factor of d?
False
Let i(x) = 22*x**3 + 7*x**2 + 28*x - 154. Does 100 divide i(14)?
False
Let c = 493 + -256. Suppose -5*j = -j + 3*t - c, 15 = -3*t. Let s = j + 16. Is 18 a factor of s?
False
Let o = 25700 - 22370. Does 10 divide o?
True
Suppose -3*r + 10 = -c, -2*r + 4*r - c - 8 = 0. Suppose -2*i - 3*o - 5 + 375 = 0, r*i + 4*o - 372 = 0. Is 7 a factor of i?
True
Suppose 0 = -0*n + 2*n. Suppose -2*d - 5 = 3*t, -2*d + n = -t + 1. Is (-1)/d - (7 - 123) a multiple of 28?
False
Let q = 39 + -37. Let u be (-2 + 2)/(2 - (q - -1)). Suppose u = 2*c + 4*i - 26, -c - 2*i = -5*i - 33. Is 14 a factor of c?
False
Suppose w + 2 = 0, -v - 4*w + 931 = -22902. Does 86 divide v?
False
Let b(j) = 100*j**2 + 1036*j - 20. Is 15 a factor of b(10)?
True
Let i(t) = 25*t - 54. Let s be i(3). Suppose 19*h - 20*h = -s. Does 21 divide h?
True
Let r(b) = -2603*b**3 + 2*b**2 + 14*b + 13. Is r(-2) a multiple of 81?
True
Suppose 11*l = 10*l - 2*d + 1035, -l - 4*d + 1043 = 0. Suppose -5*w + 2*h + 364 = -675, -4*h + l = 5*w. Is 23 a factor of w?
True
Suppose -15*n = -6*n + 7659. Let j = 1230 + n. Let g = j - 109. Does 14 divide g?
False
Let z(f) = f**2 + 25*f + 28. Let d be z(-25). Suppose 307 = d*m - 925. Is 22 a factor of m?
True
Suppose 4*j = -13*u + 11*u + 10, -5*u + 3*j + 77 = 0. Suppose 0 = -u*v + 10*v + 1872. Is v a multiple of 48?
True
Let l = 6941 - 4629. Is 17 a factor of l?
True
Let d = -168 + 436. Suppose -5*f + 2*c + 344 = 0, 3*f - c = d - 61. Let t = f - 46. Is 24 a factor of t?
True
Suppose -m + 99 = -5*u, 5*u - 11 - 484 = -5*m. Let c = m - 22. Does 32 divide c?
False
Let h be (-1 - 11)*1/(-2) - -7. Suppose -2593 = -h*p + 7. Does 23 divide p?
False
Let a be (-85)/(-6) - (-5)/(-30). Let s(i) = a*i + 7 - 1 + 0 + i**2. Does 5 divide s(-17)?
False
Suppose -5*y - 181 = 4*v, y + 65 + 18 = -2*v. Let k = 264 + -214. Let r = v + k. Does 2 divide r?
False
Suppose -s - 4*f = 7, 2*s - 3*f + 4 = -f. Let c be ((-14)/3)/(s + (-17)/(-6)). Suppose i = 115 + c. Is i a multiple of 13?
True
Let q be 4 - (-6 + 5208/6). Let n = q + 1112. Is n a multiple of 14?
False
Let t(l) = 3*l**2 + 20*l + 53 - 4*l**2 - 53. Is t(18) a multiple of 9?
True
Let b(r) = 3*r + 10 + 4*r**2 - 4*r - 2*r - 5*r. Let i be b(-8). Let x = i + -226. Is x a multiple of 15?
False
Let p(n) = 37*n**2 - 59*n + 318. Is p(5) a multiple of 8?
False
Let l = 106985 - 61517. Is l a multiple of 18?
True
Let r(o) = o**2 + 2*o - 68. Let p be r(0). Let j = -64 - p. Suppose j*c - 4*g = 312, 0 = 2*c + 2*g - 3*g - 153. Is c a multiple of 13?
False
Let p be (-3)/1 + -1 - 2*-47. Let h = 78 - p. Is (-126 + -3 - -3)*8/h a multiple of 19?
False
Let p = -754 - -762. Suppose l = p*d - 8130, -5*d + 3666 = -3*l - 1420. Does 28 divide d?
False
Let g(r) be the first derivative of -71*r**2/2 - 97*r + 118. Is 25 a factor of g(-7)?
True
Let m(d) = -2*d**3 - d**2 - 8*d + 3. Let o be m(-7). Let l(s) = -s**2 + 19*s + 124. Let i be l(24). Suppose 0*j + i*j - o = 0. Does 44 divide j?
False
Suppose 0 = 26*x - 24*x + 2*u - 8094, 3*u - 20227 = -5*x. Does 2 divide x?
False
Suppose 4*r = -4*v - 184, 0*r + 3*v + 232 = -5*r. Let u be r/(-4) + (-3 - 39/(-12)). Suppose 4*q = 2*x + 7*q - 21, x + u = 3*q. Is x a multiple of 3?
True
Let f be (-15584)/(-80) + 1/5. Suppose 80*o = 75*o + f. Does 29 divide 2 + o/(-15) + (-873)/(-5)?
True
Let y = 154 + -68. Suppose 14 + y = -4*s. Let r = 56 + s. Is 31 a factor of r?
True
Let o = 10707 + -7100. Is 36 a factor of o?
False
Let x(m) = m**2 + 10*m + 17. Let j be x(-9). Let q(v) = 4*v**2 + 6*v - 14. Let o(i) = -7*i**2 - 13*i + 27. Let f(z) = 6*o(z) + 11*q(z). Does 8 divide f(j)?
True
Let o = -45 - -44. Let i be (4/12)/o*-3. Is 147 - (0/(-4) + i) a multiple of 13?
False
Is 17 a factor of (-1 + (-201)/(-9))/(26 - 139768/5376)?
False
Let p(q) = -10*q**2 - 2*q + 4. Let v be p(-3). Let a be 42*(v/15 + 1). Let z = -135 - a. Is 38 a factor of z?
False
Let n = -81746 + 126548. Is n a multiple of 19?
True
Suppose 52*j = 421 + 203. Does 73 divide (-2)/4*(-29784)/j?
True
Let s be (-2 - -3)/(4 - 99/24). Let r(j) = 5*j**2 - 24*j - 105. Is 37 a factor of r(s)?
True
Let p be (1 - -76 - -2)*-1. Let a = -40 - p. Suppose 3*t + 4*b + a - 180 = 0, -t + 47 = -b. Is t a multiple of 15?
False
Suppose -5*w - 21 = -4*p, 9*w - 8*w + 21 = 5*p. Does 12 divide (132/9)/((-6)/(w*108))?
True
Suppose -50*p = -71*p + 7980. Does 54 divide p?
False
Suppose 3*j - 22662 = 3*p, 0 = -j - 9*p + 14*p + 7558. Is 91 a factor of j?
True
Suppose -12*v - 15*v - 8*v = 0. Suppose 0 = -r + 2*f + 930, v = -2*r + f + 1805 + 64. Does 24 divide r?
True
Let g(k) = -74*k - 4. Let b = -120 - -126. Suppose -b*n = -5*n + 2. Does 12 divide g(n)?
True
Suppose 8*f = 6622 - 1582. Suppose -76*z = -78*z + f. Is z a multiple of 9?
True
Suppose 19*z - 8522 = 10611. Is 3 a factor of z?
False
Let r = -2870 + 9001. Does 68 divide r?
False
Let d = -39 - -43. Suppose l = -4*g + d, 5*g - 5*l + 3*l = -8. Suppose 10*f - 15*f + 135 = g. Does 9 divide f?
True
Let j = -155 + 146. Does 19 divide 25/(1*(5 + j)/(-52))?
False
Suppose -263154 = -116*p + 743726. Does 11 divide p?
False
Let h(r) = -r + 22. Let v(y) = y**2 - 12*y + 12. Let p = 53 + -43. Let i be v(p). Is 15 a factor of h(i)?
True
Let g = 14 - 13. Let i = g + -3. Is 8 a factor of ((-1)/i)/((-7)/(-14))*89?
False
Let u = 6 - 9. Suppose -2*m = -6*b - 110, 4*b - m + 67 = -8. Let c = u - b. Is 3 a factor of c?
False
Suppose 7*d - 33631 = -15151. Is d a multiple of 6?
True
Let p(z) = z**2 - 12*z + 12. Let t be p(11). Let v be ((-24)/(-4) - -244) + t + -1. Does 18 divide (-6)/4 - v/(-4)?
False
Let c(s) = s + 23. Let j be c(-20). Suppose 0 = -3*a - 5*r + 253 - 94, 49 = a + j*r. Suppose 0 = 2*f - a + 12. Does 18 divide f?
False
Suppose 32*r + 614754 = 114*r. Is r a multiple of 9?
True
Let o = 2327 + -1992. Does 41 divide o?
False
Suppose 0 = -5*k + 16 - 96. Let g = k + 18. Suppose 0*s + g*s - 256 = -5*h, -4*h - 2*s = -206. Does 18 divide h?
False
Let w(d) = 31*d - 25. Let z = -8 + 19. Let o be w(z). Let c = o - 162. Does 20 divide c?
False
Let m = 5035 + -2643. Is m a multiple of 26?
True
Suppose 28*y - 14*y - 40635 = -3*w, -4*w + y + 54298 = 0. Is 113 a factor of w?
False
Let q(c) = 3 - 141*c + 87*c - 2*c**2 + 60. Is 17 a factor of q(-19)?
False
Let b be -2 + 0 - (-6)/1. Suppose w + 5*g - 27 = -3*w, 9 = -w + b*g. Suppose 5*o = -3*q + 129, -w*o + 59 = -3*q - 4. Does 3 divide o?
True
Let c(k) = 6*k**2 + 2956. Is c(46) a multiple of 91?
True
Suppose -131*p - 17050 = -136*p. Suppose -p + 1331 = -11*w. Does 4 divide w?
False
Is 1228486/175 + 18/225 a multiple of 30?
True
Let d(w) = 494*w + 992. Is 11 a factor of d(13)?
True
Is 161 a factor of 48/(-32)*340676/(-69)?
True
Suppose -6*a + 39468 = -54276. Is 124 a factor of a?
True
Suppose 86 = 9*i - 148. Suppose -464 = -4*k + i*l - 30*l, -3*k + l + 348 = 0. Is k a multiple of 58?
True
Let j(o) = 2*o**2 + 16*o + 143. Is 11 a factor of j(14)?
True
Suppose -75*x + 418370 - 2578 = -23*x. Is 35 a factor of x?
False
Let y(n) = 23*n**3 + 8*n**2 + 47*n + 24. Let v be y(-8). Does 8 divide (-1)/10*v/(-44)*-20?
True
Let i = -55 - -221. Suppose 4*p - 30 = 118. Suppose -3*x - 2*j = x - i, x - 4*j = p. Is x a multiple of 6?
False
Suppose 31 = 3*f - 4*b, -16 = -2*f - 6*b + 4*b. Suppose -62*i + f*i = -10494. Is i a multiple of 3?
True
Does 7 divide 280/45*(-14301)/(-14)?
True
Let x(m) = -m**3 - 2*m**2 - m + 19. Let y be x(0). Suppose -y*f +