 -452 + 694. Is z a multiple of 11?
True
Suppose -2117 = -12*i - 665. Does 29 divide i?
False
Let l(q) = 17*q + 7. Let t(j) = 2*j - 8. Let r(s) = s - 1. Let d(x) = 12*r(x) - 2*t(x). Let n(i) = -7*d(i) + 3*l(i). Is n(-5) a multiple of 10?
False
Let t(b) = -74*b - 1040. Is 7 a factor of t(-15)?
True
Does 20 divide ((-28)/16 - 6)*-160?
True
Let f(a) = -2*a**3 - 11*a**2 - 4*a + 15. Suppose 3 + 4 = -c. Is f(c) a multiple of 10?
True
Suppose -2*o + 3*m + 52 = 0, 0 = -5*o - m - 2*m + 109. Is 4 a factor of o?
False
Suppose 6*u = 5*u + 77. Let g = -17 + u. Does 5 divide g?
True
Suppose 4*c - 2006 = 2*w, -894 - 613 = -3*c + w. Is 56 a factor of c?
True
Let a be 2*(0 - -2) + 11. Let y(z) = -2*z + 15. Let q be y(8). Is (q + 3)/(3/a) a multiple of 5?
True
Let m be (-1)/6 - -86*3/36. Suppose 0 = -4*f - 5*h + 285, m*f - 4*f = 5*h + 205. Is 10 a factor of f?
True
Let p be -1 + 4 - 15/(-5). Suppose 0 = p*w - 4*w + 2. Is 22 a factor of (21*-2)/w + 2?
True
Suppose -3*r + 7 = 43. Let n be 0 - -3 - r/(-3). Does 7 divide 54/(4 + n) + 3?
True
Let x = 3 + 0. Suppose x*p = -94 - 110. Let j = p - -128. Is 12 a factor of j?
True
Suppose -43*x + 44*x = 279. Does 10 divide x?
False
Let i(p) = 3*p**2 + 6*p - 13. Let v be i(15). Suppose -1808 - v = -16*z. Is 10 a factor of z?
True
Let n be (-3)/(-7) + -3*(-1048)/(-84). Let l = -6 - n. Is 7 a factor of l?
False
Let w(h) = -1 - 2*h**2 - 12*h + 11*h**2 - 6 + 3 - h**3. Does 3 divide w(7)?
False
Let j(g) be the first derivative of 7*g**3/3 - g**2/2 - 2*g + 8. Is 8 a factor of j(2)?
True
Let s(d) = -2*d + 20. Let f be 1/8*4*0. Suppose 3*j + j + 32 = f. Does 9 divide s(j)?
True
Let f(z) = -8*z - 2. Let w(s) = 16*s + 5. Let o(g) = 9*f(g) + 4*w(g). Does 6 divide o(-2)?
True
Does 15 divide ((-31)/4 - 0)/(6/(-192))?
False
Let k(q) = q**2 + 15*q - 59. Is k(-27) a multiple of 22?
False
Does 8 divide ((-224)/(-84))/(1/(3*33))?
True
Let d(r) = 152*r + 25. Is 22 a factor of d(2)?
False
Let i = 54 + 58. Suppose -2*r - 40 = -4*x + 116, -3*x + 4*r + i = 0. Does 11 divide x?
False
Let a(x) = -23*x**3 - 3*x**2 + x + 1. Let c be a(1). Let l = 16 - c. Is l a multiple of 8?
True
Let w = 1865 + -1333. Is 14 a factor of w?
True
Let l be (-4)/(2 + (-36)/16). Suppose -t - l = -5*t. Suppose 0*y + 163 = 3*y - 2*i, 0 = t*y - 5*i - 208. Is 17 a factor of y?
False
Suppose 0 = -3*r + 2*r + 3*d + 2274, -4*d = -3*r + 6832. Suppose -h + r = -5*h. Does 5 divide h/(-45) + 4/(-6)?
False
Let g(i) = -i**3 + 7*i**2 + 8*i - 8. Let z = 22 + -19. Suppose z*h - 35 = -2*h. Is 12 a factor of g(h)?
True
Let z = 690 - 688. Let v be 2*2*1/2. Is 8 a factor of v*(-2 - -7)*z?
False
Let i = -83 + 80. Let a = 62 - -70. Is i - a/(0 - 4) a multiple of 15?
True
Let j(k) = 184*k + 202. Does 22 divide j(16)?
True
Let l(h) = 13*h**2 + 16*h + 1. Let p be l(-4). Let k = p + -25. Is 12 a factor of k?
True
Let l = -773 + 1498. Does 6 divide l?
False
Let z(q) = q**2 + 8*q + 9. Let v be z(-7). Is v/(-10) + (-488)/(-40) a multiple of 4?
True
Does 20 divide (-84 + -17)*5/(-1)?
False
Suppose -3*w + 371 = 5*u, 4*w - 5*u = 269 + 179. Is w a multiple of 13?
True
Let o(f) = f**2 + f - 12. Let d be o(6). Let r be (d/(-9))/(2/(-204)). Suppose 2*c - r = -3*g, 2*c - 5*c = 3*g - 339. Is g a multiple of 32?
False
Suppose 5*p - 18695 = -5*y, 3*p - 2*y + 3*y = 11225. Is 97 a factor of p?
False
Let t(w) = 5*w**2 + 4*w + 9. Suppose 8*b - 15 = -47. Does 12 divide t(b)?
False
Let r = -460 + 1026. Does 17 divide r?
False
Suppose 5*x = 5*w + 20, 2*w + 2*w = -5*x + 2. Let a be 0 - 0 - (-11 - w). Suppose -27 = a*t - 12*t. Is t a multiple of 9?
True
Let j(m) = 53*m**2 + 25*m + 123. Is j(-6) a multiple of 33?
True
Let a = -19 + -5. Suppose 2*p - 94 - 24 = -4*v, -5*v = p - 62. Let h = a + p. Is 11 a factor of h?
True
Let n(h) = -h**3 - 26*h**2 - 61*h + 96. Does 17 divide n(-24)?
True
Suppose -5*h = 3*j + j - 672, 516 = 4*h - 4*j. Is 27 a factor of h?
False
Let q(t) = -t**3 + t**2 - t - 1. Let c be q(-1). Suppose -2*w = c*w - 224. Suppose -u = u - w. Is u a multiple of 14?
True
Let q(v) = 33*v**3 - v**2 + 19*v - v**2 + 32*v**3 - 66*v**3. Is q(-7) a multiple of 28?
True
Suppose 160*z + 8 = 158*z. Does 10 divide (-18)/36 - (482/z + 0)?
True
Is (-9 + -2 - -220)/1 a multiple of 23?
False
Let y(v) = v**3 - 6*v**2 - 2*v + 5. Let r be y(7). Suppose 2*i + r = 132. Suppose -9 = j - i. Is 26 a factor of j?
False
Let o(m) = -m**2 - 16*m - 8. Let p(b) = 4*b + 6. Let n be p(-5). Let k = n + 4. Is o(k) a multiple of 13?
True
Let a = -325 - -214. Let z = 171 + a. Is z a multiple of 12?
True
Let v = -61 + 63. Suppose -p - v*p + 333 = 5*w, 5*w - 5*p = 325. Is w a multiple of 21?
False
Suppose 0 = 2*i - 5*i + 6. Suppose 5*v - i*v = -2*t + 128, -5*t - 140 = -4*v. Is v a multiple of 10?
True
Let o(z) = z**2 - 15*z - 29. Let l be o(21). Suppose -4*k = -3*i + l, -93 = -3*i - 0*i + 3*k. Is i a multiple of 3?
True
Let c = 3712 - 1164. Does 13 divide c?
True
Let w(c) = c + 0 - 8 - 6*c. Let f be (6/14)/(-1) - 1014/182. Is 11 a factor of w(f)?
True
Suppose -4*a + 2*t + 331 = a, 2*a + t = 127. Is a a multiple of 22?
False
Let z(v) = -v**3 + 8*v**2 + 12*v + 3. Suppose -3*k + 10*k = 63. Is 30 a factor of z(k)?
True
Let f(z) = 459*z - 459*z + 72*z**2. Does 12 divide f(1)?
True
Suppose -10 = 2*a + 2*l, 0 = a - 2*l - 3*l + 5. Suppose 0 = 5*x + 49 - 84. Is a/(-2 + x) + 79 a multiple of 29?
False
Suppose -9*j = 140 + 310. Suppose -3*x + 258 = -0*x. Let d = j + x. Is 21 a factor of d?
False
Is 83 a factor of 1005 + 9/((-72)/(-16))?
False
Let a(b) = 2*b**2 + 5. Is 37 a factor of a(-4)?
True
Let w = -14 + 7. Let o be w/(-21) - 14/(-3). Suppose -o*a = -a - 88. Is 11 a factor of a?
True
Let l be ((-1)/4)/(4/(-48)). Suppose i = l*c - 1 - 1, 2*i = 3*c - 4. Let n = 29 - i. Is 8 a factor of n?
False
Suppose -3*z = 5*z - 5040. Suppose 13*v - 7*v = z. Does 15 divide v?
True
Let y(r) = r**2 + 7*r + 8. Let p be y(-6). Suppose 5*b = 0, -1 - 5 = -p*h + 2*b. Is h a multiple of 3?
True
Let s(i) = 6*i**2 - 4*i + 3. Let j be s(1). Suppose 62 = k - 4*r, -j*r - 60 = k - 2*k. Is k a multiple of 14?
True
Let y(t) = 7*t**2 + 5*t + 216. Does 46 divide y(-14)?
True
Let r be (-1)/(-7) - (-4)/(-28). Suppose -2*j + 4 + 40 = r. Does 8 divide j?
False
Suppose 0 = -3*a - 288 - 783. Let b be 1/(2 + 711/a). Let c = 197 - b. Is c a multiple of 27?
False
Let i(v) = v**3 - 8*v**2 + 3*v + 10. Suppose 26 = 5*y + 4*a, -y - 4*a = -6 - 12. Suppose y*h - 7 = 9. Is 17 a factor of i(h)?
True
Suppose 4*c + 8 = -4*d, -c + d = 3*d + 4. Suppose -4*h = 2*i - 356, c = 5*h - h + i - 352. Suppose 0 = -7*s + h + 88. Does 8 divide s?
False
Let b = -251 + 471. Does 22 divide b?
True
Suppose -4649 = -11*i + 5108. Is i a multiple of 10?
False
Let b = -201 + 216. Is b a multiple of 15?
True
Let y = 1533 + -1132. Does 6 divide y?
False
Suppose -10 = 2*h - 0. Let o be ((-2)/h)/((-5)/275). Is (-2174)/o - (-10)/55 a multiple of 25?
False
Suppose -4*v = -4*o + 332, 3*v - 165 = -2*o + 4*v. Let d = 76 + o. Is 18 a factor of d?
False
Let r be 3 - 53*(3 + -4). Suppose f = 4*a + r, -5*a - 24 = -f + 27. Does 18 divide f?
False
Suppose -674 - 1114 = -3*g. Suppose a = 5*c - g, 0*c + 3*c = -5*a + 380. Does 12 divide c?
True
Let s(n) = -4*n**2 - 2*n + 5. Let h be s(-6). Suppose -4*k - 58 = 254. Let t = k - h. Is 16 a factor of t?
False
Suppose 355 = -3*d - d - o, -d - 2*o = 80. Let f = -46 - d. Is 17 a factor of f?
False
Let k = -57 - -58. Does 8 divide (7 - -31)/(1 + k)?
False
Does 46 divide ((-1)/2)/((-7)/644)?
True
Let r(h) = -h**2 - 9*h + 192. Is 36 a factor of r(8)?
False
Let u = 47 - 42. Suppose 6*k = 3*k - 2*n + 79, 0 = -u*k + 3*n + 119. Is k a multiple of 13?
False
Suppose -5*u - 3*d = -5*d - 276, u - d - 54 = 0. Let a = u + 4. Does 20 divide a?
True
Let i(j) = 12*j**2 + 3*j + 2. Suppose -17*g + 4 = -19*g. Is 11 a factor of i(g)?
True
Suppose -15 = -3*i - 0*i. Suppose w + 232 = 4*y, 0 = -y - 2*y + i*w + 191. Let u = y + -39. Is u a multiple of 6?
True
Let u be (-4 - (-21 - -4))*1. Let f(r) = 9*r - u + 1 + r. Is f(6) a multiple of 12?
True
Let r(c) = -11*c + 5. Let w be r(3). Suppose 123 = -2*s - 3*q, -5*q = -5*s - 259 - 36. Let z = w - s. Is z a multiple of 5?
False
Let c = 7 + -18. Let i = c - -15. Suppose q + i*q + 3*m = 264, -5*q + m = -252. Is q a multiple of 17?
True
Suppose 2*x = 4*a - 2216, -12*x = a - 16