e
Suppose 12646 = 22*o - 488. Let n = o - 367. Does 10 divide n?
True
Let p(s) = -18*s - 9. Let g be p(5). Let d = -27 - -23. Is d/(-18) + (-2354)/g - -3 a multiple of 3?
True
Suppose -4*r + 18 = -3*z, 3 + 0 = -r - 3*z. Suppose 40*s - 104 = 14*s. Suppose -r = b + s*y - 22, -b + 20 = 5*y. Is b a multiple of 3?
True
Let f(a) = 36*a**3 + a**2 + 3*a - 1. Let u be f(2). Suppose 1 - 6 = -k. Suppose -3*g + 183 = -z, u = -0*g + k*g + z. Is 10 a factor of g?
True
Let y = -16 + 16. Suppose -5*b + 14*d = 16*d - 1298, y = -4*b + 5*d + 1045. Is b a multiple of 52?
True
Suppose 1319 + 1896 = 16*b - 2545. Is 30 a factor of b?
True
Let h(c) = -76*c + 8426. Does 10 divide h(-109)?
True
Suppose -i = -12*n + 17*n - 9010, 4 = 2*n. Is i a multiple of 12?
True
Let d(t) = -t**2 + 13*t - 42. Let m be d(6). Let n(k) = k**2 + k + 7. Is n(m) a multiple of 2?
False
Suppose -39*l = -6*l - 7*l - 890474. Is 29 a factor of l?
True
Let a(z) = -2*z**3 + 3*z**2 - 12*z + 6. Let b(c) = -2*c**3 + 3*c**2 - 10*c + 6. Let g(t) = -5*a(t) + 4*b(t). Is 17 a factor of g(8)?
True
Suppose 44418 = 4*y + 2*f, -3*y + 418*f = 423*f - 33303. Is y a multiple of 18?
True
Does 209 divide 1197/(5 - -2)*(154/3)/2?
True
Let p(s) be the first derivative of -50*s - 3/2*s**2 - 16. Is 5 a factor of p(-21)?
False
Let n = 2956 - 876. Is 20 a factor of n?
True
Let d(o) = 5*o - 10. Let a be d(4). Suppose -5*t - 5*m = -a, -3*m = 3*t - t - 2. Suppose 53 = 3*l - t. Is l a multiple of 13?
False
Suppose 5*t + 428 - 118 = 0. Let o = 112 + t. Let c = -9 + o. Does 4 divide c?
False
Let c(l) = 261*l**2 + 33*l + 66. Does 256 divide c(9)?
True
Let m = -47 + -112. Is 3 a factor of (15/(-27) - (-2)/9)*m?
False
Let d(q) = q**3 + 9*q**2 - 12*q - 17. Let s be d(-10). Suppose s*z - 675 = -2*z. Let n = 191 - z. Does 37 divide n?
False
Suppose 9*d - 18 = 6*d. Let s be (9/d)/(18/24). Suppose 4*y - 5*u + 210 = 9*y, 4*u - 76 = -s*y. Is 23 a factor of y?
True
Suppose -5*n + 0*n - a = 15778, -4*n - 3*a - 12629 = 0. Let j = -2115 - n. Is 40 a factor of j?
True
Let l(z) be the third derivative of 0*z - 3/2*z**3 + 0 - 1/12*z**4 - 13*z**2. Is 2 a factor of l(-7)?
False
Let f(p) be the first derivative of -p**2 + 286*p - 169. Is 19 a factor of f(29)?
True
Suppose -3*k = -0*k + 9, -k = -3*a + 15. Suppose 3*b + 1802 = 6*b - 2*l, -3*b + 1796 = a*l. Suppose -11*u + u = -b. Does 10 divide u?
True
Suppose -5*w + 3735 = -7585. Suppose 2*v = -8*u + 4*u + 2258, -2*v = -2*u - w. Is 29 a factor of v?
True
Suppose -9*w = -164 + 20. Suppose 0 = 4*t, 0 = l + 20*t - w*t - 442. Does 36 divide l?
False
Let z(a) = 1388*a**2 - 26*a - 21. Is 47 a factor of z(-3)?
True
Let r = 402 + -375. Suppose -4*a = -4*p + 3060, -r*a + 3060 = 4*p - 30*a. Does 17 divide p?
True
Suppose 0 = -6*g + 818 + 1048. Suppose 5*p - 108 - 119 = -3*o, -4*o - 5*p = -g. Suppose 3*l - 78 - o = 0. Does 27 divide l?
True
Let o(k) = 13651*k - 813. Is o(1) a multiple of 7?
True
Let w(h) = 5*h + 10. Let u be w(0). Suppose -u*f + 2160 = -f. Is 48 a factor of f?
True
Let o(y) = -188*y - 37. Is 23 a factor of o(-38)?
True
Let g(p) = p**2 - 4*p - 8*p**2 - 5 - 2*p**3 + 2*p. Let c = -6052 + 6045. Is g(c) a multiple of 46?
False
Suppose 0 = -8*y + 2*y + 3*y + 7467. Does 11 divide y?
False
Suppose 0 = o - 6*o. Suppose 2*a - 4 + 10 = o. Is 25 a factor of 20/a*60/(-8)?
True
Suppose z - 65*j + 61*j = 3553, -3529 = -z + j. Is z a multiple of 6?
False
Suppose 42*w - 301408 = 38*w - 28*w. Does 14 divide w?
False
Suppose 10309 = -3*k - 5*n + 45364, 0 = -5*k + n + 58453. Is 10 a factor of k?
True
Let x be (4/12 + -5)/((-2)/87). Suppose 5*a - 6*a = -3*l + x, l - 3*a - 81 = 0. Let s = 212 - l. Is 12 a factor of s?
False
Suppose -3*w + 2*w = -366. Let l = -153 - -158. Suppose -w = -l*z + 154. Does 26 divide z?
True
Let z(t) = 36*t**2 + 82*t + 140. Is 14 a factor of z(-7)?
True
Does 142 divide (-982128)/(-80) + 2/5?
False
Let c(k) = 46*k + 46. Does 3 divide c(13)?
False
Let w(t) = -3*t**2 + 39*t - 8. Let i be (-8)/3*(-3 + 0). Suppose 0 = 2*x - 5*m - 14, -4*x - m = -i*x + 46. Is w(x) a multiple of 8?
False
Let o = -26 + 25. Let f be (o - -1)/((-7)/(-21)*3). Suppose f = 5*x + b - 265 - 220, 0 = 5*x - 4*b - 510. Is 17 a factor of x?
False
Suppose -r = 4*m - 8947, -4*r - 14508 = -4*m - 50356. Does 31 divide r?
True
Suppose 3*j = -3*f + 513, 0 = 2*j - 2*f - 128 - 218. Suppose 751 = 4*q + 5*w - 0*w, 0 = q - 4*w - j. Does 8 divide q?
True
Let r(u) = 22*u + 27. Let f(x) = 21*x + 26. Let d(s) = -5*f(s) + 4*r(s). Let m be d(-7). Suppose q - m = 71. Does 25 divide q?
False
Let d(m) be the third derivative of -m**5/60 + m**4/3 + 41*m**3/2 - m**2 - 34. Is d(15) a multiple of 16?
False
Suppose 2*p = 4*d - 2666, 2*p - 2 + 0 = 0. Suppose 3*z + d = 5*v - 1718, v = -z + 485. Suppose -8*t = -2*t - v. Does 5 divide t?
True
Let u(z) = z**2 + 32*z + 88. Let s be u(-29). Let p(m) = 581*m**3 + 2*m**2 - 3*m. Does 58 divide p(s)?
True
Suppose -4*u + q + 96 = 4*q, -96 = -4*u + 4*q. Does 6 divide 30/u*4 - -54?
False
Suppose 17*q - 276 = 2*t + 47974, 2*q - 2*t - 5680 = 0. Is 66 a factor of q?
True
Let t(i) be the third derivative of i**5/60 - 23*i**4/24 + 88*i**3/3 + 10*i**2. Is 31 a factor of t(23)?
False
Let h(s) = 7 + s - 5*s + 264*s**2 - 6 + 0*s. Let z(t) = -66*t**2 + t. Let a(c) = -2*h(c) - 9*z(c). Is a(-1) a multiple of 13?
True
Let t(b) = -3*b**2 + 24*b + 5408. Is 208 a factor of t(0)?
True
Let b(h) = -9*h + 69. Let q be b(7). Suppose q*z - 1593 = 489. Does 17 divide z?
False
Suppose 108*b + 45 = 117*b. Suppose -4*c - 888 = -o - 3*o, 915 = 4*o + b*c. Is 15 a factor of o?
True
Let a(u) = -165 - 7*u**2 + 163 - u**2 + u**3 + 5*u - 2*u. Let f be a(6). Is 8 a factor of (1 - -7)*f/(-32)?
False
Suppose 0 = -211*z + 423*z - 211*z - 5779. Is 153 a factor of z?
False
Let w(g) = -12*g + 62. Let f be w(5). Suppose -f*j - 1872 = -18*j. Does 9 divide j?
True
Suppose 12 = 3*c - 27. Suppose -c = -2*v + 65. Suppose -t + v = 2*t. Does 4 divide t?
False
Let x = 25 + -17. Let j = x - 47. Let z = 54 + j. Is z a multiple of 5?
True
Suppose 1275*h - 1279*h = -4400. Does 50 divide h?
True
Suppose n + 4 - 3 = 0. Let i(x) = 2*x**2 - 3*x - 2. Let y be i(n). Is (-1 - -3) + 0/y + 20 a multiple of 6?
False
Let h = -19739 - -19762. Does 8 divide h?
False
Suppose -129*a + 357380 = 35*a - 1256216. Does 152 divide a?
False
Suppose 47*h - 430869 = 6*h. Does 8 divide h?
False
Let c(g) = -g**2 + g + 8. Let p be (7 - 5)*(-3 + 0). Let a be c(p). Let u = -21 - a. Is 2 a factor of u?
False
Let d be 6/8 + 11/88*2. Let a(b) = 24*b + 8. Does 3 divide a(d)?
False
Let r = 6534 + -3049. Does 8 divide r?
False
Let v(r) be the first derivative of 9*r**3 - 3*r - 3. Is 18 a factor of v(2)?
False
Let z(m) = 1649*m - 523. Does 207 divide z(14)?
True
Let t(w) = -873*w + 12. Is 5 a factor of t(-1)?
True
Does 28 divide -22 - (-29)/(58/86228)?
True
Let i = 205 - 201. Suppose -b - 5*a = 3*b - 1064, a + 1088 = i*b. Does 17 divide b?
False
Let u = 27031 - 13109. Is 33 a factor of u?
False
Suppose 7*s = 12*s + 55. Let r(n) = -n**3 - 9*n**2 + 8*n + 1. Does 9 divide r(s)?
False
Suppose 52*t - 15*t - 43879 - 9771 = 0. Does 10 divide t?
True
Let x = -6745 + 16703. Does 10 divide x?
False
Suppose -5*j + 86 = 71. Suppose 1555 = 2*w - h, j*w - 2225 - 105 = 2*h. Does 15 divide w?
True
Let j(u) = 126*u**2 - 287*u - 3932. Is j(-13) a multiple of 19?
False
Suppose 724 = -4*q + 60. Let z = -42 - q. Is 4 a factor of z?
True
Let g(a) = -a - 33 - 4*a + 47. Let v be g(-10). Suppose 0 = -v*f + 67*f - 312. Is 8 a factor of f?
True
Let s = 48 + -45. Suppose -5*q = 5*r - 7*r - 411, s*q - 4*r = 255. Does 5 divide q?
False
Let n(h) = 14*h + 5. Let d be n(1). Suppose 0 = -x + 34 - d. Suppose x*y - 156 - 489 = 0. Does 2 divide y?
False
Suppose -3*g - 36 = 4*x, 5*x + 64 = -g + 2*g. Let f(u) = -u**3 - 12*u**2 - 7*u + 51. Let q be f(-11). Does 24 divide 112*q/((-98)/x)?
True
Suppose 35*c - 3*g - 6372 = 32*c, -2*g + 8520 = 4*c. Is c a multiple of 18?
False
Suppose 22*y + 7876 = 44*y. Suppose 4*k - 7*k = 4*f - 1084, -y = -k - 3*f. Is 22 a factor of k?
False
Let j(z) = z**3 - z**2 + 17*z + 8. Let c(w) = 4*w**2 + 2*w - 6. Let u be c(-2). Is 29 a factor of j(u)?
True
Suppose 9 = 5*k - 1. Suppose -n - 3 = k. Let p(a) = -a**3 - 2*a**2 + 3*a. Is p(n) a multiple of 20?
True
Let r(k) = 8*k - 50. Let l(f) = f - 1. Let s(q) 