)?
True
Suppose 0*j + 758373 = 147*j. Is 67 a factor of j?
True
Is (861/(-12))/(-3 - (-385)/132) a multiple of 3?
True
Let l(p) = -2*p**2 - 12*p + 2. Let g = -68 + 43. Let n = g + 20. Is l(n) a multiple of 4?
True
Let t = 17 - 10. Let z(m) = -2*m**2 + 44. Let w(n) = -n**3 + 5*n**2 - 3*n + 66. Let k(r) = w(r) - 2*z(r). Is k(t) a multiple of 17?
False
Does 41 divide 40/32 - 7355/(-20)?
True
Suppose 67*t - 186193 - 1463968 - 467240 = 0. Is t a multiple of 11?
True
Let i(p) = -p**2 + 16*p - 27. Let g be i(18). Let z = g - -69. Suppose 0 = v - 3*u - 30, -4*v - z*u + 137 = -u. Is 11 a factor of v?
True
Let u(h) = 9*h + 72. Let k be u(-9). Let g(i) = i**3 + 17*i**2 + 36*i + 24. Is g(k) a multiple of 17?
False
Let s be 16*(3 + 18/(-8)). Let y(p) = 112*p - 144. Does 16 divide y(s)?
True
Let o(d) = d**3 + 8*d**2 - 9*d - 16. Let t be o(-9). Let z(b) = b**3 + 17*b**2 + 21*b + 4. Let u be z(t). Let r = u + 86. Is r a multiple of 10?
True
Is 6 a factor of 1432*((-147)/(-35))/7*10/4?
True
Suppose 47*p - 169869 - 13587 = 35*p. Does 26 divide p?
True
Let h = -6325 + 6848. Is 2 a factor of h?
False
Suppose 251*x = 152*x + 2854368. Is 53 a factor of x?
True
Suppose -3*n + 0*y - y = -1, 0 = 3*n + 2*y + 4. Suppose -1 + 7 = 2*d + p, 4*d - 4 = n*p. Is (d - 4)/((-1)/10) a multiple of 10?
True
Suppose -l - 5*a = -6935, -27608 = -11*l + 7*l + 2*a. Does 135 divide l?
False
Suppose 156 = -2*f + 259 + 277. Suppose o = 3*o - 346. Suppose f + o = 3*n. Is 16 a factor of n?
False
Suppose 3*s - 2*z = 13272, 0 = 4*s - 5*z - 19899 + 2203. Does 11 divide s?
False
Let j(r) = -17677*r + 638. Is 33 a factor of j(-1)?
True
Suppose 2*o - m - 82 = -35, -4*o - m = -91. Suppose -9*y + o*y = 1512. Is 18 a factor of y?
True
Suppose -27*k + 22*k = -55. Suppose 0 = -22*l + k*l + 8316. Does 27 divide l?
True
Let o(w) be the second derivative of w**4/6 - 79*w**3/6 + 13*w**2/2 - 119*w. Is o(40) even?
False
Is 48/(8 - 4) + (-1 - -406) a multiple of 12?
False
Let s = 15708 + -7860. Does 109 divide s?
True
Let r(h) = 3*h**2 - 21*h + 6. Let m be r(7). Suppose m*w - 33 = 9. Suppose 10*z - 372 = w*z. Does 24 divide z?
False
Suppose -4*f - 20 = -9*f. Suppose 3*d - f*a = 4, -3*d - a - 1 = -7*d. Suppose -3*k + 274 = g, -2*k + 5*g + 177 = -d*k. Does 24 divide k?
False
Does 47 divide 3008/(-20)*(-28 - 2)?
True
Let s(i) = 47*i + 553. Does 9 divide s(-11)?
True
Let y(q) = 4*q - 5. Let r be y(2). Suppose 346 = -3*t - r*s - 125, 4*t + 3*s + 633 = 0. Does 10 divide 2*t/(-16) + (-6)/24?
True
Let r be (1 - 5) + ((-177)/3 - 1). Let o = 354 + r. Suppose 6*k = 4*k + o. Is 15 a factor of k?
False
Let q = 3267 - 1607. Suppose 4*v + v - 4212 = -3*p, 2*v = 5*p + q. Is v a multiple of 40?
True
Suppose 85*y + 85*y = 178*y - 127216. Is y a multiple of 24?
False
Let d(q) = -18*q + 544. Is d(-18) a multiple of 31?
True
Suppose -5*t + 851 = c, -3*c = -2*c + 4. Does 26 divide 3*t + -79 + 77?
False
Let r = 3901 + -2933. Is r a multiple of 6?
False
Let f(c) = c**3 + 23*c**2 + 26*c - 2. Let d = 198 + -219. Does 13 divide f(d)?
False
Suppose 2*i = -z - 8558, -2*i = -5*i + z - 12842. Is (-9 + i/(-16))*2 a multiple of 11?
True
Let a(g) = 190*g**2 - 93*g + 92*g - 33*g**2. Is 63 a factor of a(-2)?
True
Suppose 4*o - 5*o + 2 = 0. Suppose -o*f - 4*b = 2 - 14, -f + 3*b + 6 = 0. Is 97/f - (-1)/(-6 + 0) a multiple of 3?
False
Is 12 a factor of (-22 - -26) + (-69)/18 - 104739/(-18)?
False
Suppose 0 = 50*t - 51*t. Suppose 0 = -2*y + 913 - 5. Suppose 8*z - y - 290 = t. Is z a multiple of 31?
True
Let v(j) = -12*j + 18. Suppose 0 = -52*a + 61*a + 54. Is v(a) a multiple of 6?
True
Let b = -2349 + 4572. Is b a multiple of 57?
True
Let q be 5/4 + -1 + 1937/(-52). Let z be (320/(-15))/8*(1 + q). Suppose -3*g + z = g. Is 12 a factor of g?
True
Let y = -36183 + 65399. Does 22 divide y?
True
Suppose 0 = -6*n - 242 - 1000. Let s = 71 + n. Let y = s + 231. Does 19 divide y?
True
Suppose -8 = 2*w - 0, -4*o = 4*w - 1092. Let l = o + -169. Suppose 0 = b + 3*b - 3*p - l, -3*p = -b + 36. Does 10 divide b?
False
Let p = -6552 - -9432. Does 23 divide p?
False
Suppose -301*g + 706537 = 22*g - 1066733. Does 13 divide g?
False
Let q(b) = -4*b - 28. Let l = -5 - 2. Let m be q(l). Suppose 5*i - 23 - 147 = -2*y, -5*i + y + 185 = m. Is i a multiple of 21?
False
Let i = -8374 + 9704. Is 15 a factor of i?
False
Let h be (-1 - 0)*0*(-4)/4. Let k be (h + -3 + -187)/(-1). Suppose 5*q - 731 - 147 = 2*i, 4*i = q - k. Is 19 a factor of q?
False
Suppose -2*u - 127*m + 123*m + 1238 = 0, -u - 5*m = -628. Is 17 a factor of u?
False
Suppose -a = -1, k - 4*k + 16 = -5*a. Suppose 75 = w - k. Does 12 divide w?
False
Let w(z) = -73*z + 23. Is w(-1) a multiple of 8?
True
Let y(k) = 5*k**3 - 2*k**2 + 2. Let g be y(1). Suppose g*h = 11*h - 366. Is 20 a factor of h?
False
Let n = -59 + 106. Suppose 5*d = -4*v + 130, -2*d + n = -2*v - 23. Does 4 divide d?
False
Let g(o) = 10*o**2 + 85*o - 52. Let n(r) = 3*r + 2*r + 17 - 16*r - 17*r - 3*r**2. Let v(b) = 2*g(b) + 7*n(b). Does 9 divide v(-24)?
True
Let p = -7628 - -11732. Is p a multiple of 108?
True
Suppose -34578 = 6*v - 37*v + 67009. Is 29 a factor of v?
True
Let t(i) = -3*i**3 - 3*i**2 - 12*i + 8. Let f be t(14). Is (2/4)/((-10)/f) a multiple of 44?
False
Suppose o = 7 + 9. Let n(y) = y - 6. Let k be n(o). Is (24/k)/3 + 9240/75 a multiple of 31?
True
Suppose -5*l + 4*c + 12910 = -9448, -5*l - 5*c + 22385 = 0. Is l a multiple of 54?
False
Let w = 15 - 110. Suppose m = 2*c - 3*m + 394, -2*c = -2*m + 400. Let j = w - c. Is j a multiple of 27?
True
Suppose x = 2*f + 6, -3*x + 4*f - 7*f + 18 = 0. Suppose x*k = -k + 3045. Is 15 a factor of k?
True
Let v(s) = -s**3 - 3*s**2 - 5*s - 2. Let k be v(-3). Let z = -1685 - -3701. Suppose f - z = -k*f. Is 12 a factor of f?
True
Let u(s) = 45*s**2 + 6*s + 5. Let d be u(-1). Suppose x - 13 = 215. Let r = x - d. Does 23 divide r?
True
Let y(w) = 5*w + 28. Let g be y(-5). Suppose f + 2*c - 27 = -0*f, 0 = g*f + c - 66. Is f a multiple of 6?
False
Let n(t) = -t**3 - 2*t + 4. Let u be n(0). Suppose m + 5*l + 1 = -2*m, u*l = 2*m - 36. Is 13 a factor of (-4 - -6)*292/m?
False
Suppose 5*u = -11*p + 123636, -4*u - 21169 = -4*p + 23807. Is p a multiple of 9?
True
Suppose -25*y = -14*y - 3080. Is y a multiple of 35?
True
Suppose 0 = -2*y + 74*m - 72*m + 2314, -14 = 2*m. Does 7 divide y?
False
Suppose 287*n - 912870 = 152*n. Does 69 divide n?
True
Let k(b) = b**2 + 16*b + 4. Let q be k(-16). Suppose q*d - 21 = 151. Is 23 a factor of d?
False
Let i(y) be the third derivative of 199*y**4/24 - 7*y**3/3 + 2*y**2 + y. Is i(2) a multiple of 12?
True
Suppose -22*c = -512 + 1854. Let b = c + 137. Does 34 divide b?
False
Let u be ((-19)/((-114)/1116))/(-1). Is 11 a factor of -4 - (-2 + u/6)?
False
Suppose 4*d + 21 = 41. Let u be 108/20 - 4/10. Suppose -3*c = u*x - 954, -x - d*c + 142 = -40. Is x a multiple of 16?
True
Let o = -2928 + 6821. Does 17 divide o?
True
Let a(o) = o**3 + 36*o**2 - 91*o - 81. Is a(-37) a multiple of 9?
True
Let n(m) = 466*m**2 - 101*m + 18. Does 60 divide n(-6)?
True
Suppose 21*s = 3701 + 4383 + 15604. Does 53 divide s?
False
Let m = -51288 + 103340. Is m a multiple of 26?
True
Let x(q) = 20*q**3 + 4*q - 2*q**2 - 1 - 19*q**3 - 2*q. Let d be x(1). Suppose -3*z - 42 + 231 = d. Is 19 a factor of z?
False
Suppose 2*i = 4*i + 190. Let s be i*2/(-4) - 3/(-6). Let j = 60 + s. Is j a multiple of 27?
True
Suppose 0 = -5*w - i + 315, -31*w - 3*i = -30*w - 77. Suppose -13 = n - 3*o - 50, -2*n + 2*o = -w. Is 8 a factor of n?
False
Suppose -5*x + 15845 = 5*d, 5*d = 3*x - 2283 - 7240. Suppose -5*u - 5*b - 606 = -x, -4*u + 2049 = b. Is 64 a factor of u?
True
Let u be (-7 - -73)/6*-2. Is 15/3 - (u - 325) a multiple of 44?
True
Suppose -3*g = 34 - 160. Let c = g + 37. Does 3 divide c?
False
Let x(w) be the second derivative of 5*w**3/3 + 90*w**2 - 6*w - 6. Is x(-14) a multiple of 8?
True
Suppose 476 = 3*g + 32. Suppose -45 = 12*u - 22 + 841. Let x = g - u. Is 11 a factor of x?
True
Suppose 2*y - 6 = -3*c, -2*y - c + 0*c = 2. Let i be (3/6)/(y*(-4)/(-576)). Does 37 divide (-3)/(i/(-254))*-4?
False
Let j be (29 - 66/6) + -2*3. Suppose 14*p - 36 = j*p. Is 9 a factor of p?
True
Let a be 2*((-20)/(-8) - 2). Suppose 3*k - 7 + a = 0. Suppose k*o + 220 = 5*o + 4*l, -245 = -3*o + l. Does 16 divide o?
True
Let d = 101 +