14*s - 5504 - 1733 - 2507. Is 4 a factor of s?
True
Let l be 14/1*(-1900)/(-70). Suppose 13*i = 9*i + l. Is 5 a factor of i?
True
Let i = 4628 + -2974. Is i a multiple of 6?
False
Let y(g) = -30*g - 41. Suppose 1 = a, -7*o + 8*o + 5*a + 2 = 0. Is y(o) a multiple of 9?
False
Let t(x) = x**2 + 7*x - 11. Suppose -2*n + 4*i = -n + 15, -3*n = 4*i - 3. Let v = -14 - n. Is t(v) a multiple of 11?
True
Let v(z) = 31*z**2 - 53*z + 50. Is v(8) a multiple of 14?
True
Suppose 54966 = 4*v + 2*d, -203*v + 5*d + 13725 = -202*v. Is 12 a factor of v?
True
Suppose -18*j + 102 = 16*j. Suppose -16 = 4*z, -t + 20 = j*z - 2. Is t a multiple of 9?
False
Suppose -5*q - 2*j = -9, -15 = -3*q + 11*j - 9*j. Suppose -5*t + 1224 = -4*t - 3*v, -3647 = -q*t + 4*v. Does 31 divide t?
True
Suppose -62*o - 24*o + 94502 + 53074 = 0. Is 12 a factor of o?
True
Suppose -6*k - 5*k + 869 = 0. Let y = k + -77. Suppose 0 = -y*j - c + 255 - 40, 424 = 4*j - 4*c. Is 13 a factor of j?
False
Let j be 490/25 - (-4)/10. Suppose 0 = -j*g + 18*g + 552. Is 9 a factor of g?
False
Let c be 6/(-39) - (-4410)/(-234). Let t(d) = -13*d - 151. Is t(c) a multiple of 6?
True
Let k = 727 - 1672. Does 43 divide (40/(-3))/(10/k)?
False
Suppose 0*o - o + 5*l = 10, 4*o - 23 = -l. Suppose 0 = -o*a + 5, 5*a - 2255 = -5*d - 0*d. Is 18 a factor of d?
True
Does 9 divide (-6)/(-9)*(7611/6 + -13)?
True
Let i(y) be the third derivative of 21*y**5/5 - 5*y**4/24 + 7*y**3/3 + 178*y**2. Is 23 a factor of i(2)?
True
Suppose d + 4*m + 5 = -218, 3*d = -m - 691. Let h = 291 + d. Does 12 divide h?
True
Suppose 3*f + 3*f + 113796 = 24*f. Does 10 divide f?
False
Let o(z) = 2*z - 10. Let b be o(6). Suppose -b*n = n - 24. Suppose -n = 2*m + 2*m, 3*m = 4*t - 298. Is t a multiple of 13?
False
Does 14 divide ((-182511)/(-6))/(10/20)?
False
Suppose -3*w = -5*p + 2*p + 6, -3*p - 2*w = -6. Suppose a + 69 = 5*j, j - 4*a - 38 = -p*j. Does 2 divide j?
True
Is 16 a factor of 0 - (-55732 - -28) - 8/1?
True
Suppose 3*p - 2044 = -v, -53*p - v = -51*p - 1361. Is p a multiple of 57?
False
Let l(g) = 773*g + 12054. Is 49 a factor of l(0)?
True
Let w = 992 + -391. Let q = w + -331. Is 5 a factor of q?
True
Let d be 6/(-15)*(-245)/14. Suppose -171 = -f - 5*s, -d*f + 3*s + 995 = -2*f. Let y = -76 + f. Does 15 divide y?
True
Let v(o) be the third derivative of 13*o**5/60 + o**4/6 + o**3/6 + 117*o**2. Is v(1) a multiple of 3?
True
Let j(z) = -26*z - 28. Let l = 203 - 220. Is 3 a factor of j(l)?
True
Let q(i) = -49*i**2 + 111*i**2 - i**3 - 49*i**2 + 12 - 18*i. Is q(10) a multiple of 33?
True
Let t(o) = o**3 - 7*o**2 + 52*o - 28. Does 8 divide t(6)?
True
Suppose 33*m + 10127 = 52*m. Let b = m + -397. Does 17 divide b?
True
Let a(x) = -x**3 - 24*x**2 + 35*x + 4. Let i(j) = -5*j**3 - 121*j**2 + 176*j + 19. Let q(z) = -11*a(z) + 2*i(z). Is q(-23) a multiple of 15?
False
Is (-31097 + -100)*2*3/(-6) a multiple of 18?
False
Let q(k) = k**2 + 14*k - 48. Suppose 5*p - 5*c = -70, 0 = -p - 2*p - 3*c - 60. Is q(p) even?
False
Let t(k) = 150*k**2 + 44*k + 25. Does 13 divide t(-6)?
True
Suppose 4*b + 2*r = 24310, 10*b - 12143 = 8*b + 3*r. Is b a multiple of 49?
True
Let h(l) = 4 - l**2 - 2 + 6*l - 1. Let d be h(2). Let g = 20 - d. Does 8 divide g?
False
Let o = 375 - 140. Let v = -180 + o. Is v a multiple of 5?
True
Suppose -5*k + 11 = -9. Does 36 divide k/(4/(-408)*-3)?
False
Let k(f) = -552*f + 84. Is k(-6) a multiple of 29?
False
Suppose 3*y - 2*z + 189 = 1507, 5*y - 3*z - 2196 = 0. Is 6 a factor of y?
True
Let w(p) = -p**3 + 9*p**2 - 8*p + 6. Suppose -3*g + 4*y = -40, -4 = -0*g + 2*g + 5*y. Is 5 a factor of w(g)?
False
Let a(o) = 505*o - 285. Does 13 divide a(20)?
True
Let x = 11286 - -768. Does 49 divide x?
True
Let m be ((-4715)/(-10) - 5)*(-4)/(-6). Suppose -m = l - 3*a - 1375, -2*a + 5235 = 5*l. Is 14 a factor of l?
False
Let v = 301 - 252. Suppose -320 = 33*r - v*r. Is 6 a factor of r?
False
Suppose 46188 = -52*q + 2924. Let z = q - -868. Is z a multiple of 3?
True
Suppose 6*d - 6 = 8*d, 4*y - 4*d = 14356. Does 23 divide y?
False
Suppose -13889 = -22*p + 21*p - 5*f, -5*p - f = -69469. Is 41 a factor of p?
False
Let x = 3 + 9. Suppose -3*f - 11 = -5*t, 2*t + 3*f - 5 - x = 0. Suppose -l = -2*c + 183, 2*l = -t*c - 2*l + 372. Does 15 divide c?
False
Let f(n) = -9*n + 536. Is f(-19) a multiple of 10?
False
Is 14 a factor of 8/3*160740/80?
False
Does 122 divide 1 - (6/(-12))/(16/431808)?
False
Let t(r) = -6*r**2 + 12*r + 8 + 20*r**2 - r**3 - 3*r**2. Let m be t(12). Suppose m*i - 36 = 7*i. Is 9 a factor of i?
True
Let l be 208/15 - 13/((-1365)/14). Is ((-808)/l)/((-5)/((-140)/(-8))) a multiple of 16?
False
Suppose -z - 7 + 30 = 2*g, -g - 3*z = -24. Let p(f) = 16 + 20 - 39 + 6*f + g. Is 12 a factor of p(11)?
True
Let l = -162 - -167. Suppose -5*n + 335 = l*u, -4*n + 5*u - u = -244. Is 6 a factor of n?
False
Let m = 6944 + -3130. Is 10 a factor of m?
False
Let w = 365 + -440. Let i = 44 - w. Does 17 divide i?
True
Let t(j) = -3*j**3 + 12*j**2 - 10*j + 105. Does 10 divide t(-11)?
True
Suppose -9*y + 5 = -22. Suppose y*x = 7*x - 8. Suppose -330 = -v - x*v. Is v a multiple of 10?
True
Let m = 485 + -492. Let n(x) = -2*x**3 - 4*x**2 + 4*x + 6. Is n(m) a multiple of 52?
True
Let d(l) be the second derivative of l**6/360 - l**5/8 - l**4/3 - 5*l. Let a(g) be the third derivative of d(g). Does 9 divide a(23)?
False
Suppose -3*r - 5*b - 16 = -0*r, -32 = 3*r + b. Let g = r - -26. Is ((-80)/g)/((-18)/63) a multiple of 2?
True
Let i(z) = -84*z**3 + 32*z - 3*z**2 - 42 - 3*z**2 - 17*z**2 + 85*z**3. Is i(22) a multiple of 4?
False
Let i = -17257 + 18364. Does 3 divide i?
True
Let z(i) = i**3 + 8*i**2 + 5*i - 9. Let p be z(-7). Suppose -p*d - 1424 = -13*d. Is 47 a factor of d?
False
Let h(x) = 2*x**3 + 12*x**2 - 17*x + 14. Let c be h(-8). Let m = c + 505. Is m a multiple of 22?
False
Let r(q) = 2*q**3 - 91*q**2 + 101*q - 399. Does 28 divide r(48)?
False
Let d(g) = 693*g**2 - 305*g - 2973. Is d(-10) a multiple of 187?
True
Suppose -7*y + 3880 = 3*y. Suppose 2*p - y = -5*o - 100, 0 = 3*p - 3*o - 390. Does 12 divide p?
False
Suppose -s = -4*s + 24. Suppose 2*o = s*o. Suppose -i + 3*i - 4*u - 42 = o, 0 = 3*i + 4*u - 83. Is i a multiple of 23?
False
Suppose -5262 = -8*f + 151 + 1699. Does 32 divide f?
False
Let l = 25 - 62. Let k = l + 72. Does 10 divide (3 + (-205)/k)*(-7)/2?
True
Let b(r) = -7*r**3 - 30*r**2 + 39*r - 114. Let q(i) = 5*i**3 + 30*i**2 - 38*i + 113. Let c(h) = 3*b(h) + 4*q(h). Is 52 a factor of c(27)?
True
Let u be 64/40 + (-2)/(-5). Suppose -u*g + k = 3*g - 93, -k - 17 = -g. Let r = g + 14. Is r a multiple of 9?
False
Let r(k) = 4*k - 32. Let m be r(13). Suppose 3*q - 9 = -u, 7*q - m = 2*q. Is 2 a factor of 106*u/(-12) - (-6)/12?
False
Suppose -19*a + 172 = 24*a. Let k(v) = 31*v + 83. Does 69 divide k(a)?
True
Let x = 31190 + -20023. Suppose 13*n = x + 6747. Is n a multiple of 12?
False
Let j(r) = -6*r - 8 + 3*r + 20. Let f be j(3). Is 4 a factor of (-4)/12 - 133/f*-1?
True
Suppose b + 4787 = -186*l + 190*l, 5*b + 4751 = 4*l. Does 115 divide l?
False
Let i(h) = h**3 - 15*h**2 + 16*h + 23. Let d be i(14). Let t = d + 12. Is t a multiple of 21?
True
Let r = 894 + -891. Suppose -3*t - r*l = -2091, 4*t + 4*l - 685 = 3*t. Is t a multiple of 41?
False
Suppose 0 = -5*a - o - 56, -5*o - 8 - 8 = a. Let r be 3/(3/(-5)) - -18. Let s = r - a. Does 5 divide s?
False
Let l = 20 - 34. Let k = l + 17. Suppose 2*y + 0 + 2 = 0, 0 = 4*u - k*y - 171. Is u a multiple of 21?
True
Let h = 5946 - -1411. Is h a multiple of 97?
False
Suppose 69575 = 5*v - 5*g, g + 27826 = -129*v + 131*v. Does 13 divide v?
False
Suppose 16*h - 44 = 36. Let p(t) be the second derivative of -t**3/3 + 37*t**2/2 + 3*t. Does 5 divide p(h)?
False
Let p = 63 - 59. Suppose -1190 = -3*r - p*r. Suppose -y - 123 - 31 = -3*w, -5*y = -3*w + r. Is 14 a factor of w?
False
Let m be 6/(-27) + (-7)/(-18)*-2. Let d = m - -3. Suppose 357 = b + d*b. Is 28 a factor of b?
False
Let d(u) = 3*u + 20. Suppose 8*m - 9*m + 5*p = -20, 3*m + 20 = -p. Let c be d(m). Suppose -130 = -c*t + 195. Does 13 divide t?
True
Let y(m) = -8*m + 4234. Does 6 divide y(-4)?
True
Suppose 3*t - 20 = -2*z, -30 - 15 = -5*z - 5*t. Let o(a) = 31*a + 23. Is 10 a factor of o(z)?
True
Suppose 2*b + 0*b + 2*s = -100, -4*b - 2*s - 194 = 0. Let l = -26 - b. Suppose 