Let p = q - 82. Does 29 divide p?
True
Let g(h) = -h**2 + 6*h - 9. Suppose p + 1 = 5. Let c be g(p). Let w(x) = -67*x**3 + x. Is 18 a factor of w(c)?
False
Suppose 2*s = -2*j - 50, 2*j - 3*s + 3 = -22. Suppose 16 + 39 = -4*v - 5*f, 2*v - 5*f = -5. Does 35 divide (j/6)/(v/105)?
True
Let o(p) = p**3 - 8*p**2 + 2*p - 18. Let s be o(8). Does 22 divide 1647/15 + (s/(-1))/10?
True
Suppose -19*x + 20*x - 140 = 0. Does 7 divide x?
True
Let z(i) = -i**2 + 15*i. Let j be z(13). Suppose 2 = -3*p + j. Is p a multiple of 5?
False
Suppose -5 + 1 = -v. Suppose 0 = -5*b - 3*s - 627, 4*s = -v*b - 133 - 367. Let g = -17 - b. Is g a multiple of 24?
False
Suppose -8 = c - 3*u, 3*u - 2 = -4*c - 2*u. Let n = 17 + c. Does 15 divide n?
True
Let u(b) = -2*b**3 + 11*b + 10. Is 7 a factor of u(-5)?
False
Suppose 4*j + 4*t - 2*t = -8, 5*t + 20 = -4*j. Suppose j*a = -5*a + 260. Is 13 a factor of a?
True
Let v be (12/(-18))/((-1)/6). Suppose -v*z = -1 + 5. Is 168/7 - (2 - z) a multiple of 7?
True
Suppose 3*q + 6 = 3*s, 2*s - q = 4 - 1. Suppose 8*p = 239 + s. Is p a multiple of 5?
True
Let l(t) = -48*t**3 + 3*t**2 + 5*t + 2. Is l(-1) a multiple of 16?
True
Let i(r) = r**3 + 18*r**2 - 38*r + 125. Does 18 divide i(-19)?
True
Suppose 468 = 2*t - 11*c + 7*c, -3*t + 2*c = -694. Is 20 a factor of t?
False
Suppose 0 = -o + 2*o + 5*f - 48, -3*o - 5*f + 144 = 0. Suppose 0 = -3*y - 3*m + 120, 2*y - o = y + 3*m. Does 21 divide y?
True
Let z be 6/(-8) + (-19279)/(-52). Suppose 0 = 3*d - 2*g - z, 2*g + 4 - 6 = 0. Is 31 a factor of d?
True
Let j(b) = 2*b**2 - 19*b - 23. Let f be j(16). Suppose 5*s = 5*y + f, -4*s - 2*y = s - 206. Does 14 divide s?
False
Let t = 853 + -93. Is t a multiple of 40?
True
Let b = -209 + 385. Suppose 2*f - 16 - b = 0. Is 32 a factor of f?
True
Suppose -234 - 87 = -5*i - w, -2*i + 131 = 3*w. Is i a multiple of 32?
True
Let i(u) = u**3 - 28*u**2 - u + 41. Let x be i(28). Suppose -12*k - 200 = -x*k. Does 11 divide k?
False
Let w = 307 + -117. Is 38 a factor of w?
True
Let k be 0 + -1 + 295 + -4. Suppose -2*w - 80 = -k. Does 31 divide w?
False
Suppose -3*f + 496 = -4*w + 1457, 25 = 5*f. Is w a multiple of 4?
True
Let m be 0 + -1 + (-913)/11. Let n = -48 - m. Suppose 9 = 5*h - n. Does 2 divide h?
False
Let c(b) = -9 + 3*b + b + 2*b - 2*b. Is c(6) a multiple of 3?
True
Let d be ((-3)/(-6))/((3 + 2)/(-600)). Let q = d + 98. Is 19 a factor of q?
True
Let u(y) = 2*y**2 + 4*y - 1. Let m be u(-3). Suppose -2*x + 3*x = -2*i + 15, -x + 20 = 3*i. Suppose -2 = -w + i*z, 3*z = -m*w - 0*z + 66. Is 7 a factor of w?
False
Suppose 6 = -3*d, -z - 4*d - 81 = -2*z. Is 17 a factor of z?
False
Let b(l) = 3*l + 2. Let g be b(-3). Suppose 13*q - 60*q - 752 = 0. Does 14 divide (-198)/g - q/(-56)?
True
Let f(r) = r**3 - 5*r**2 - 2*r + 1. Let a(g) = -g**3 + 3*g**2 + 2*g - 2. Let s be a(3). Let p be f(s). Let d = -8 - p. Does 4 divide d?
False
Suppose 6 = o - 4*o. Let n be (14/(-21))/(o/21). Suppose 13 + n = d. Is d a multiple of 5?
True
Let k = 37 - 28. Suppose 0 = 5*s - k*s. Suppose -4*f - 2*x + 73 = -133, -5*f + 3*x + 263 = s. Is 19 a factor of f?
False
Suppose 1066*g - 1060*g - 1116 = 0. Does 6 divide g?
True
Let s(p) = -152*p - 2. Suppose 4*c - 3*i = 5, -2*i = -4*c + 3*c + 5. Is s(c) a multiple of 28?
False
Suppose 0 = -5*u + 5*z, -2*z - 3*z + 35 = 2*u. Suppose -15 = j + 2*d - 50, 0 = -u*d. Does 16 divide j?
False
Suppose 2*n = 3*h + 5795, 4*h + 8695 = -2*n + 5*n. Is n a multiple of 16?
False
Let q be (2/((-16)/82))/(4/(-32)). Is (-2)/((-15)/q - 1/(-6)) a multiple of 38?
False
Suppose 1 = -2*u + 3. Suppose 4*l - 1 = 2*c + u, -5*c = 3*l - 34. Suppose 2*j + l = 59. Is j a multiple of 14?
True
Suppose 7*z - 18 = z. Suppose -r + 272 = z*c, 5 - 1 = -4*r. Does 13 divide c?
True
Let y(u) = 3*u**2 + 44*u + 23. Is 31 a factor of y(-18)?
False
Let i = 25 - 21. Suppose -m - 2*j = -3*j, -8 = -4*m - i*j. Is 2*21 - 2/m a multiple of 8?
True
Suppose -3*p - 587 = -188. Let i = p - -79. Is (i/21)/(9/(-168)) a multiple of 16?
True
Let p(v) = 4*v**2 + v - 5. Let l be (-52)/12 - 8/(-6). Does 6 divide p(l)?
False
Let o(n) = 12*n + 50. Let u be o(-4). Suppose -4*z = z - 21000. Is z/91 + u/(-13) a multiple of 13?
False
Let i be ((-3)/(-6) - 0)*-122. Let z = 22 + -44. Let d = z - i. Is d a multiple of 13?
True
Let p = 19 + 9. Let c = -25 + p. Is c even?
False
Suppose -7633 = 58*i - 39475. Is i a multiple of 61?
True
Let t(p) = -p**3 - 17*p**2 + 16*p + 24. Let l be t(-18). Suppose 157 = 3*s - 5*a, 4*s - l = -2*a + 132. Is 7 a factor of s?
True
Suppose -2 = 3*w + 19. Let j = 26 - w. Does 7 divide j?
False
Let t = -4645 - -7333. Does 28 divide t?
True
Let v be (90/4)/((-4)/(-16)). Suppose -q - q + v = 0. Does 32 divide -1*(0 - -3 - q)?
False
Let i(c) = 5*c + 8. Let w(b) = 4*b + 9. Let z(m) = -2*i(m) + 3*w(m). Let y be z(9). Let u = y - 16. Is 5 a factor of u?
False
Let k = 873 + -593. Does 20 divide k?
True
Suppose -3*y + k + 1826 = -1656, -y - 5*k + 1182 = 0. Is y a multiple of 14?
True
Suppose -2*c = 0, 19*v - 24*v + 1730 = 2*c. Does 8 divide v?
False
Let w(x) = -x**3 - 9*x**2 - 9*x - 12. Let p be w(-8). Let b(f) = f**2 - 3*f. Does 6 divide b(p)?
False
Suppose 0 = -6*b + 3*b + 873. Let u = b + -110. Suppose -3*y - 19 + u = 0. Is y a multiple of 18?
True
Let u(v) = -v**2 - 20*v - 36. Let x be u(-18). Does 43 divide (43 + 0 + x)/(-2 - -3)?
True
Suppose 206 + 10 = 4*n. Suppose d = -d + n. Is d a multiple of 9?
True
Let v be 0 - (-4)/(1 + -3). Let j be (0 - (v + -41))*-2. Let t = -49 - j. Is 19 a factor of t?
False
Let n = 726 + -267. Suppose -6*s + 3*s = -n. Is 13 a factor of s?
False
Is 2 a factor of -14 + 11 - (65/(-1) - 3)?
False
Let f be 2/(-8) - (-906)/(-24). Let j = f - -55. Does 2 divide j?
False
Let d be (17 - (-1)/1*-2)*-1. Let b(n) = -n**2 - 20*n + 3. Is b(d) a multiple of 13?
True
Let b be 3/(-6) - ((-243)/(-6))/(-9). Suppose -2*i + n = -4*i + 328, -5*i + b*n = -833. Does 33 divide i?
True
Let d = 13 - 9. Suppose -7 - 8 = -5*p. Suppose 70 = d*w + 3*y, 0*w = -p*w + 2*y + 44. Is w a multiple of 9?
False
Let q = 4303 + -2648. Is 36 a factor of q?
False
Let h be (-8)/((-392)/77) - 6/(-14). Suppose -l + 4 = l. Suppose -j + 94 = 2*a, 242 = h*j + j - l*a. Does 14 divide j?
True
Let u = -122 + 84. Suppose -12*r + 1 = 277. Let t = r - u. Is 5 a factor of t?
True
Suppose -o - 25 = 4*o, 2*i - 3*o = -167. Let n = i + 189. Let a = n + -68. Is 10 a factor of a?
True
Let w = 5838 + -3388. Does 25 divide w?
True
Suppose 9*r - 857 - 2950 = 0. Is r a multiple of 9?
True
Let d(k) = k**3 + 2*k**2 + 2*k + 1. Let r be d(-1). Suppose -h = 5*z + 158, r = -4*z - z - 5*h - 150. Let j = 61 + z. Is j a multiple of 10?
False
Let h = 669 - 653. Does 16 divide h?
True
Suppose b - 5*x = -26, -5*b - 2*x = 63 + 148. Let q be 282/(-5) - 9/15. Let n = b - q. Does 8 divide n?
True
Let a(z) = 2*z**2 + 4*z - 3. Let o be a(-4). Suppose 13 = 2*d - o. Does 13 divide d?
True
Does 13 divide 296/(5/(12 + 8))?
False
Suppose -12527 = -24*i + 7273. Is i a multiple of 55?
True
Let j = 38 - 35. Suppose 9 = 2*g + j. Does 3 divide g?
True
Suppose 7 + 3 = -5*q, 0 = 3*g - 3*q - 6. Let z = g + 4. Suppose 4*w = -z, -3*m - m - 5*w + 163 = 0. Is 14 a factor of m?
True
Let y(h) = h - 28. Let j be y(12). Let v be (j + -8)*(-21)/9. Let u = -1 + v. Does 9 divide u?
False
Let g be ((4 - 3)/2)/(5/5190). Is 22 a factor of 2/(3 - g/174)?
False
Let i = -12 - -15. Let o = i - -23. Suppose 3*z = -8 + o. Is 6 a factor of z?
True
Let g be 0 - 0 - (2 - 5). Let h(k) = -6*k + 20*k + 2*k**2 - 12 - g*k**2. Is h(8) a multiple of 15?
False
Suppose -2*j = -3*d - 18, 0 = -2*d - 3*j - 0*j - 25. Is 19 a factor of (-176)/(-3) - d/24?
False
Suppose 2*c - 3*k = -2*c - 45, 2*c + 5*k = -55. Let q = c - -32. Suppose s + 1 = 0, 5*o + q - 61 = 4*s. Is o a multiple of 4?
True
Suppose j + 5*o = 325 + 252, 0 = -4*j + 3*o + 2423. Is j a multiple of 7?
True
Suppose k - 1 = 1. Suppose 5*h = -k*o + 716, 0 = -3*h - o + 5*o + 440. Suppose 0 = 19*j - 16*j - h. Is j a multiple of 24?
True
Let w(q) = -q**2 + 8*q. Let m(u) = -u**3 - 11*u**2 + u + 16. Let n be m(-11). Let t be w(n). Let i = -3 + t. Does 8 divide i?
False
Suppose 4*s - 11900 = -21*s. Is 14 a factor of s?
True
Let c be (-6)/2*55/15. Let s be (-2)/(-3) + 10/(-6). Is (s + -2 - c)*2 a multiple of 8?
True
Suppose -4 = -3*t - 16. Let g(v) =