*o - 22843, -5*z - 30215 = -5*o - 1650. Is 68 a factor of o?
True
Let d = 38 - -139. Suppose -a + d = -33. Is a a multiple of 15?
True
Suppose 0 = 11*c - 6013 - 2369. Suppose -4*x + 0*x = 2*l - c, -2*l + 2*x + 774 = 0. Is 19 a factor of l?
False
Let y(t) = -3*t - 64. Let g be y(-22). Let c(b) = 99*b + 24. Does 37 divide c(g)?
True
Let z be (4 - (-52)/(-12))/(1/(-6)). Let d be (z + 0)*133/14. Let p(f) = -f**2 + 20*f + 26. Is 15 a factor of p(d)?
True
Let v = -72 + 75. Let x be 6*(40/(-15) + v). Suppose 0*g + x*g = -5*l + 178, -2*g - l + 170 = 0. Is 12 a factor of g?
True
Let m = -3141 - -5328. Is 6 a factor of m?
False
Suppose 6*q - 24 + 30 = 0. Suppose -3*s = -3*d - 8*s + 12, -4*d = -5*s + 19. Is (d - 2) + q + (-3 - -92) a multiple of 17?
True
Let j = -2174 - -4520. Is j even?
True
Let b(q) = 14*q**2 + 562*q + 136. Is b(-44) a multiple of 98?
False
Let c(t) = -7*t - 5. Let n(u) be the third derivative of u**4/4 + u**3 - u**2. Let f(a) = 6*c(a) + 5*n(a). Does 4 divide f(-1)?
True
Let h = 59 + 829. Does 94 divide h?
False
Let d = 39 + 2569. Is 76 a factor of d?
False
Let u = 7 - -41. Let q be 10/45 + u/27. Suppose 0 = -2*o - 4*p + 180, 63 - 213 = -q*o + 2*p. Is 17 a factor of o?
False
Suppose 39 = 5*t - y, -2*t + 5 + 7 = -4*y. Let z be -3 + 0 + t + 15. Suppose z*w - 19*w = 48. Does 48 divide w?
True
Let y(u) = u**3 + 5*u**2 + 3*u - 4. Suppose -2*m + 0 = 6. Let g be y(m). Suppose -g*a = 15 - 165. Is a a multiple of 5?
True
Let t(r) = -22*r + 5. Let u(h) = -h. Let i(o) = -t(o) - 5*u(o). Let z be i(4). Let s = -55 + z. Does 9 divide s?
False
Let b(w) = -9*w + 4. Let h(v) be the third derivative of v**5/60 - 5*v**4/24 - v**3 + 13*v**2. Let i be h(3). Is 16 a factor of b(i)?
True
Suppose -2*h + 5 - 9 = 0, -f = h + 623. Is 8 a factor of (-2)/(-6 + (-3720)/f)?
False
Let g(i) = -16*i - 2. Let o be g(-3). Let v = -44 + o. Suppose -v*w + 104 = -4*k, 3*w = -k + 3*k + 164. Is w a multiple of 8?
True
Let t(m) = 8*m**2 + 36*m - 364. Does 26 divide t(13)?
True
Let s be 2*(-1)/(-4) - (-501)/2. Suppose -246*z + s*z - 780 = 0. Is 25 a factor of z?
False
Let m(i) be the third derivative of i**6/120 + 7*i**5/60 - i**4/12 - 7*i**3/6 + 113*i**2. Does 4 divide m(-6)?
False
Let v(g) = -g**2 + 23*g - 6. Let f = -2 + 18. Let p be v(f). Let x = 174 - p. Is x a multiple of 34?
True
Suppose -4*s = 2*w - 2, -w + 2*s = -2 - 3. Suppose -5*o - 4 + 13 = -2*l, 3*l + w*o = 18. Is 7 a factor of (-3)/l + -2 + 24?
True
Let i = 169 + -68. Suppose 2*h - i = -5*y - h, -51 = -3*y - 5*h. Suppose 17*z = y*z - 850. Is z a multiple of 34?
True
Suppose 37*u = 970 + 658. Let x be (-18)/(3/(-2) - 0). Suppose -2*c = -h - h + x, c - u = -4*h. Is h a multiple of 5?
True
Suppose -171 = 43*w - 7395. Is w a multiple of 7?
True
Let p(k) = -15*k + 183. Let l = -419 + 396. Does 11 divide p(l)?
True
Let f(b) be the first derivative of b**4/4 + 13*b**3/3 - 2*b**2 - 7*b - 81. Is 15 a factor of f(-13)?
True
Suppose 8*l + 4 - 60 = 0. Suppose -l*r = -16*r + 1782. Is 3 a factor of r?
True
Suppose 0 = -28*j + 30*j - 30. Suppose -13 = -4*r + j. Suppose -79 = -r*w + 5. Is 12 a factor of w?
True
Let j(i) = 311*i**2 + 20*i + 9. Is 9 a factor of j(-4)?
True
Let a(l) = -l**2 + 9*l - 16. Let f be a(3). Suppose 36*i - 34*i - g - 17 = 0, 56 = 5*i + f*g. Is i a multiple of 10?
True
Let q = -40 - -38. Let o be (-16 + 12)/(4/q - 0). Suppose -525 = -5*k - 2*l, -o*k - 186 = -4*k + 4*l. Does 11 divide k?
False
Let k = 6 - 9. Let f be (1 + ((-14)/4 - k))*0. Suppose -3*x = 2*i + i - 138, f = -4*i + 3*x + 198. Is 24 a factor of i?
True
Let m = 11765 + -10611. Does 24 divide m?
False
Suppose 35 = 4*u - 11*u. Let t be u - 67 - (1 - 0). Let q = -49 - t. Does 6 divide q?
True
Suppose -3*l = -2820 - 3732. Suppose -179*b = -185*b + l. Is 7 a factor of b?
True
Let m(l) = 4*l - 87. Let q be m(26). Suppose -5*z + q = 5*a - z, -5*a + 5*z + 35 = 0. Suppose u = -5*t + 2*u + 453, a*u - 345 = -4*t. Is 10 a factor of t?
True
Suppose -5*a + 0*y + 2*y = 365, -y = 4*a + 292. Let b = a - -65. Let u = 27 - b. Does 24 divide u?
False
Is 5 a factor of -10*21/84*-1562?
True
Let n be (10/20)/((-4)/(-24)). Suppose 4*f = -3*h + 1319 + 546, n*h + 3*f - 1869 = 0. Does 33 divide h?
True
Let p = -284 - -207. Is ((-80)/35 - -2)*p a multiple of 11?
True
Let r(q) = -q**3 + 16*q**2 - 10*q - 203. Let c be r(14). Let z be 2/(-3) - 1599/(-9). Suppose z*j = 176*j + c. Is j a multiple of 8?
False
Let t(o) = -374*o**2 - 16*o + 48. Let c be t(10). Does 6 divide (c/(-24))/(-2 - -5)?
False
Is (46/69)/((-6)/45) + -1 + 3222 a multiple of 24?
True
Suppose 0 = -7*b - 0*b - 1148. Let d = -155 - b. Is d a multiple of 3?
True
Let v = 6466 - 5714. Does 16 divide v?
True
Let a be (-1033009)/(-174) + (-1)/(-6). Suppose g + 10*o - 1188 = 11*o, -2*o = -5*g + a. Is 12 a factor of g?
False
Let s(y) be the third derivative of 1/12*y**4 + 0 + 30*y**2 + 0*y + 1/2*y**5 - 2/3*y**3. Does 28 divide s(-2)?
True
Let p(v) = 0*v + 5*v + 3*v**2 - 2*v + 2. Let u be p(-1). Suppose 0 = u*c + 8*c - 460. Is c a multiple of 10?
False
Let b = -4499 + 2231. Is 18 a factor of (b/35)/9*-45?
True
Let i = 1511 - 434. Does 7 divide i?
False
Suppose 25*s - s = 1296. Suppose -s = -3*m - 5*r, 2*m - 2*r - 54 = -m. Is 4 a factor of m?
False
Let d = 2973 - -283. Is 22 a factor of d?
True
Let h(x) = 317*x - 1. Let f be h(2). Suppose -4*s + f = -459. Is 20 a factor of s?
False
Let p be 36227/119 + 6/(-14). Let t = -152 + p. Is t a multiple of 37?
False
Does 8 divide (10890/105)/((-12)/(-126))?
False
Let d = -9437 - -11179. Is d even?
True
Let z(j) = 34*j + 142. Let y be z(-3). Is 49 a factor of 1*(3 - y)*-37 - -3?
True
Suppose -2*f + 2180802 = 211*f + 6*f. Does 13 divide f?
True
Let v be -3*(16/(-12))/4. Let y(k) = -4*k**3 - k**2 + k + 1. Let q be y(v). Is 47 + ((-1)/q)/(2/6) a multiple of 12?
True
Let q(p) = -50*p + 4. Let t = -90 + 91. Suppose -8 = -v + 3*s, -2*v - s - 11 = t. Does 34 divide q(v)?
True
Suppose r = -v + 6, 7*v = 2*r + 3*v + 6. Suppose 3*n - 6*n + r*t = -168, -4*n = -2*t - 226. Is 14 a factor of (15/(-2))/(n/(-646))?
False
Suppose y = 2*j + 61, -5*y + 0*y - j + 283 = 0. Suppose -y = 3*p - 102. Is p even?
False
Suppose 0 = -2*p + 20 + 16. Let f = 54 - p. Let r = f - -19. Is r a multiple of 5?
True
Let r = 1769 + 9212. Is r a multiple of 144?
False
Let p(g) = 2*g**3 + 27*g**2 - 16*g - 32. Let m = -125 - -112. Is 15 a factor of p(m)?
True
Let r(m) = 2*m + 17. Let s be r(9). Suppose 0 = -s*d + 3241 + 8099. Is 18 a factor of d?
True
Let o(y) = -y**3 + 41*y**2 + 2*y**3 - 30*y**2 + 2*y + 27 - 12*y. Let k be o(-12). Let g(z) = 3*z**3 - 3*z**2 + z + 3. Is 20 a factor of g(k)?
True
Let w = 2003 - 899. Is 16 a factor of w?
True
Let b(x) = -x**2 + 32*x - 74. Let k(f) = f**2 - 33*f + 73. Let h(j) = 3*b(j) + 2*k(j). Does 17 divide h(22)?
False
Let u(i) = -2*i**3 - 4*i**2 + 6*i - 6. Let m be (-1)/(-7)*-2 + (-1528)/(-56). Suppose 4*b - 9 = l + 2*b, b = 5*l + m. Is 21 a factor of u(l)?
False
Suppose 22*n - 92 = -n. Is 26 a factor of ((-283)/n)/(4 - (-68)/(-16))?
False
Let j(h) = 189*h**2 + 82*h - 220. Is 4 a factor of j(3)?
False
Let j(z) = z**3 + 3*z**2 - z. Let b be 1/(((-16)/4)/84). Let h = b - -23. Does 9 divide j(h)?
True
Suppose 161*q - 114*q - 1207712 = 0. Does 292 divide q?
True
Let x(j) = -2*j**3 + 6*j**2 + 4*j + 8. Does 3 divide x(-6)?
False
Is 3 a factor of (1 - 743)*378/(-252)?
True
Suppose 3*m - 2*x = 1290, -5*m = -3*x + x - 2146. Let w = m - 302. Is 9 a factor of w?
True
Suppose 3 = -5*c + 18. Let h = c - -1. Is 20 a factor of 128*(-5)/(-10) - h?
True
Suppose -5*d + 4656 = -699. Suppose 4*z = -3*g + 4284, -z + 0*g - g = -d. Is 21 a factor of z?
True
Suppose -6*q + 116 = 80. Suppose 0 = -m + 2*i + 107, -5*m - 101 = -q*m + 5*i. Is m even?
False
Suppose 0 = -7*h + 5*h + 6. Suppose h*b = 5*o - 4*o + 199, o = -3*b + 191. Suppose -5*y = -330 - b. Is y a multiple of 24?
False
Suppose -2*q - 2*d + 4*d = -56, -4*d = 16. Let w = -11 + q. Let k(r) = r**3 - 13*r**2 + 7*r - 8. Is 14 a factor of k(w)?
False
Let c be (-7)/(-21) - 4/(-6). Let h = 43 + c. Is h a multiple of 6?
False
Suppose -23*m = -28*m + 6940. Suppose 36*u + m = 40*u. Suppose 2*o = -2*d - 3*o + 145, 5*d = 3*o + u. Does 8 divide d?
False
Let v(z) = 215*z + 745. Does 31 divide v(0)?
False
Suppose 4*g - 2*z - 4501 = -4041, 5*g + z - 554 = 0. Does 7 