ltiple of 35?
True
Suppose 3*l - 25 = v - 2*l, 3*v = -5*l + 25. Let g be v/3 + 0 + 158. Suppose -4*q - n - 19 = -g, -4*q + 2*n + 154 = 0. Does 9 divide q?
True
Suppose -3*g - 2 = -3*i + 7, 0 = -2*i + 4*g. Let h(u) = -2*u - 4. Let a be h(-11). Suppose -3*o = i - a, o = 2*f - 38. Is 21 a factor of f?
True
Let p(b) = 8*b - 19. Let g = 26 + -20. Is 7 a factor of p(g)?
False
Let p be 102/(-7) + (-18)/42. Let l = p + 25. Is 3 a factor of l + (-3 - 21/(-3))?
False
Let o be 32/(-3 + -1) - -3. Let b be (4/o)/((-12)/1110). Suppose 7*n = 5*n + b. Does 5 divide n?
False
Suppose 2*k + 5*w = 811, -3*k + 79 = 3*w - 1142. Is 17 a factor of k?
True
Suppose -616*j + 610*j + 8946 = 0. Is 33 a factor of j?
False
Let t be ((-28)/(-35))/(2/145). Let j = t + -8. Does 10 divide j?
True
Let y(m) = 44*m + 21. Let z be y(5). Suppose 0*l + 5*u - 143 = -l, 2*l - z = 5*u. Is 40 a factor of l?
False
Let l = 36 + -20. Let u be (-1404)/(-16) + (-12)/l. Let b = -60 + u. Is b a multiple of 12?
False
Suppose v = -0*v - 3, -53 = -4*c + 3*v. Let f(h) = -h**3 + 11*h**2 + h - 6. Let k be f(c). Suppose 0 = -x + 2, -2*u + 16 = k*x - 0. Is u a multiple of 3?
True
Suppose -5*b = -b. Let q(g) = 2*g**2 - 5*g - 10. Let h(y) = -y**2 + 4*y + 12. Let l(c) = 4*h(c) + 3*q(c). Is l(b) a multiple of 9?
True
Suppose -2*j + 144 = -2*h, 2*j + 2*j - 294 = 2*h. Let t be j/4 + 2/8. Is (0 - 3)*t/(-3) a multiple of 18?
False
Let d(f) = f**3 + 3*f**2 - 2*f + 4. Suppose 3*l = -n - 3, 2*l = 5*n + 6*l + 15. Let g be d(n). Suppose c - 27 + g = 0. Is c a multiple of 5?
False
Let k(p) = 109*p + 21. Let o be k(-5). Let t = o - -749. Is 18 a factor of t?
False
Suppose -4*i + 2 = -26. Suppose -4*o + 0*o + d + 3 = 0, -1 = -4*o + 3*d. Let x = i + o. Does 4 divide x?
True
Let v(p) = 5*p**2 - 2*p + 4. Let t be v(4). Suppose t = 2*h - 116. Does 32 divide h?
True
Let b(n) be the second derivative of -43*n**3/6 - n**2/2 + n. Let j(s) = -s**3 + 5*s**2 - 3*s + 14. Let f be j(5). Is b(f) a multiple of 21?
True
Let r be (-24 - -23)*(-5 + 0/1). Suppose 0 = r*d + 37 - 147. Is 22 a factor of d?
True
Let o = 2167 + -937. Does 17 divide o?
False
Is 17 a factor of (-5542)/(-11) + (-288)/(-132) + -2?
False
Suppose 0 = l - 2*t + 63 + 112, 0 = -5*l - 4*t - 819. Does 12 divide l/(-2) + (26/4 - 6)?
True
Let c(i) = 10*i**2 + 4*i + 5. Is 16 a factor of c(-4)?
False
Suppose -k - 1081 = -3*b, -718 = -2*b + 11*k - 13*k. Is 36 a factor of b?
True
Let x(v) = -2*v**2 + 33*v - 15. Is x(6) a multiple of 13?
False
Let d(u) = -24 + 8 - 6*u + 13 + 35*u**2 + 10. Is 12 a factor of d(1)?
True
Let r = -13 - -17. Suppose 3*g + z = -g + 9, 0 = -4*g - r*z + 24. Does 25 divide (4 + (-58)/(-1))/g?
False
Let j be (-50)/(-3)*(5 - (-136)/4). Suppose 0 = 5*g - 10*g + j. Is 26 a factor of g?
True
Let j = -1261 + 1558. Does 3 divide j?
True
Suppose 3*n + 4*b - 5300 = 0, -b + 2268 = n + 502. Is 42 a factor of n?
True
Let y = -343 + 409. Does 6 divide y?
True
Let s = -27 - -131. Let p = 73 - 105. Let q = p + s. Is q a multiple of 26?
False
Let o(q) = q**3 + 15*q**2 - 2*q - 16. Suppose 0 = -y + 5*d - 15, 0 = 3*y + 2*d - d + 45. Let p be o(y). Let n = p - 1. Is n a multiple of 13?
True
Let l(j) = -108*j + 11. Is 6 a factor of l(-2)?
False
Suppose 2*x + r - 12 = 0, 5*r = x - 5*x + 30. Suppose 0*c - 5*c + 175 = 0. Let p = x + c. Does 18 divide p?
False
Suppose 3240 = 7*d + 2*d. Is 24 a factor of d?
True
Suppose -7 = -s - 4. Suppose 0 = 2*u - 4*w - 4, -2*u - 2*w = s*u + 2. Let l(z) = z**3 + z**2 + z + 55. Is 16 a factor of l(u)?
False
Suppose -1170 = 385*v - 388*v. Is v a multiple of 15?
True
Let q(r) = 6*r**2 + 1 + 0*r**3 + r**3 - 8*r - 4. Let g be q(-7). Is (-222)/g*(-8)/6 a multiple of 21?
False
Let r(d) = -d**3 - 18*d**2 - 10. Let y be r(-18). Suppose -4*l - 1 = -13. Does 20 divide 12/y*(-100)/l?
True
Let n be 625/10 - (-2)/4. Suppose n = 6*a - 105. Does 7 divide a?
True
Let n(a) = -a**3 + 7*a**2 + 2*a + 1. Let g be n(7). Suppose 0 = 2*j + 3 + g. Let q = j + 13. Is q even?
True
Let q(z) be the second derivative of 17*z**3/6 + z**2/2 - z. Let t = -52 + 53. Is 6 a factor of q(t)?
True
Let k = 226 - 96. Does 65 divide k?
True
Let f = -126 + 129. Does 23 divide -2*f/9*(-207)/6?
True
Let l = -27 - -59. Let t = l - 10. Is 5 a factor of t?
False
Suppose 3*w = -4*q + 19 - 4, 2*w - 10 = 0. Suppose q = -10*n + 115 + 425. Is n a multiple of 9?
True
Let t be (-1)/(0 + (-1)/(-9)). Let i = t - -11. Is 26 a factor of 180/7 + i/7?
True
Suppose -p - p + 4 = 0. Let h = -58 - -94. Suppose -3*f + 4*g = -109, f + g - h = p*g. Is f a multiple of 35?
True
Let f(h) = -8*h**2 - 14*h + 4. Let o(n) = -n. Let i(d) = -7*d**2 - 16*d + 3. Let g(j) = -i(j) + 3*o(j). Let w(u) = 5*f(u) + 6*g(u). Does 13 divide w(-6)?
True
Let v = -10 - -14. Suppose -v*q + 4 = -3*q. Does 7 divide q/(-6) - 208/(-24)?
False
Suppose -s = 2*k - 1, -5*s = -3*s - 2. Suppose -25 = -5*w + 6*j - j, 3*j - 3 = k. Suppose g - 4 = 0, -5*f + w*g = g - 60. Is 13 a factor of f?
False
Let x = -5 + 7. Suppose -1 = -x*b + 7. Suppose b*k - 102 = -3*a - 36, k - 110 = -5*a. Is 13 a factor of a?
False
Is 856 - (-5)/((-30)/(-24)) a multiple of 20?
True
Let m(b) = -4*b**3 - 3*b**2 - 16*b - 32. Is m(-8) a multiple of 16?
True
Let m(h) = h**2 + h + 4. Let y be m(-3). Suppose t = -3*q - 10, -2*q = 9 - 1. Suppose 0 = t*u - y - 34. Is u a multiple of 15?
False
Let h be -4 + (-303)/(-18) - 1/(-6). Suppose 5*j = 2*j. Let i = j + h. Does 8 divide i?
False
Let a(w) = 25*w - 5. Is a(2) a multiple of 17?
False
Let o(g) be the third derivative of -43*g**6/60 - g**5/30 - g**4/6 - g**3/2 + 12*g**2. Is 28 a factor of o(-1)?
False
Let f(j) = -3*j - 37. Let i be f(-13). Suppose 7*r - 570 = i*r. Does 12 divide r?
False
Let l = 54 + -39. Is 7 a factor of ((-1)/2)/(l/(-570))?
False
Let y = -817 - -1327. Is y a multiple of 34?
True
Let o(v) = v**3 - 8*v**2 + 12*v - 24. Is o(7) a multiple of 6?
False
Let s = -73 + 94. Is s a multiple of 19?
False
Let f = -339 + 822. Is 21 a factor of f?
True
Let k = -14 - -14. Suppose k = -5*m - 4*c + 22, m - 8 = -2*c - 0. Suppose 29 = y - g - 57, -m*g = -4*y + 338. Does 25 divide y?
False
Let a(j) = -j**3 - 2*j + 1. Let b be a(2). Let h = -9 - b. Suppose -5*k + 240 = 2*x + x, -96 = -h*k - 4*x. Does 24 divide k?
True
Suppose -2*w - w = 150. Let s = 44 - w. Is s a multiple of 14?
False
Suppose 49*j + 1584 = 52*j. Is 4 a factor of j?
True
Suppose 0 = y - 2*t - 346, 3*t = 4 - 10. Is 18 a factor of y?
True
Let m(c) = -c**3 + 6*c**2 + c - 10. Let o be m(6). Is -3*(-3)/18 + (-390)/o a multiple of 14?
True
Let y(w) be the second derivative of -13*w**3/6 - 33*w**2/2 + 25*w. Is 8 a factor of y(-5)?
True
Let s(d) = 47*d**2 + 6*d - 19. Is 14 a factor of s(3)?
False
Let g(i) = 143*i**2 - 52*i + 193. Does 32 divide g(4)?
False
Suppose 11*x - 72 = -292. Let n = 125 + x. Does 13 divide n?
False
Suppose 4*u + 2*w + 44 = 0, -5*u + 4*w - 9 = 20. Let o = u + 65. Is o a multiple of 7?
True
Let t(u) = u + 2. Let i be t(7). Suppose 2*g - 5*g + i = 0. Does 2 divide g?
False
Let y(b) = -b**3 + 4*b**2 - 3*b + 3. Let k be y(4). Let q be (-10)/(-6) + (-2)/3. Is 17 a factor of ((-6)/k)/(q/51)?
True
Does 14 divide ((-138)/(-84) - (-1)/(-7))*196?
True
Let h = -14 - -17. Let n(s) = -6*s**2 + 6*s - 6. Let l be n(h). Let q = -1 - l. Is 11 a factor of q?
False
Let h(p) = -2*p**3 - 17*p**2 - 9*p - 4. Let m be h(-8). Does 7 divide (m - 3) + -2 + 8?
True
Suppose 0 = 4*v + 5*y + 25, 3*v + 2 = 4*v + 4*y. Let w(b) = b + 13. Let j be w(v). Suppose 0 = -5*z + j*c + 48, -5*c + 12 = -2*c. Does 6 divide z?
True
Let w = 129 - 79. Let v = 88 - w. Is v a multiple of 3?
False
Let j(u) = -10*u**3 - 12*u**2 - 6. Let r be (-3 - (0 + -1)) + -4. Let x(a) = 19*a**3 + 23*a**2 + a + 11. Let y(o) = r*x(o) - 11*j(o). Is y(-3) a multiple of 18?
True
Suppose 0 = 13*v - 4*v - 2205. Is v a multiple of 21?
False
Let z(l) = 20*l - 21. Let q be z(15). Let n = q + -111. Is 21 a factor of n?
True
Suppose 16 = h - 23. Is (h/4)/(15/40) a multiple of 6?
False
Let s(p) = -3*p - 27. Let h(l) = -8*l - 68. Let k(m) = 5*h(m) - 12*s(m). Let c = -41 + 29. Is k(c) a multiple of 16?
True
Let y(x) = x - 1. Let d be y(5). Suppose d*r - 80 = -4*p, -3*r - 5*p + 49 = -1. Is r a multiple of 5?
True
Suppose 7*s + 587 = 3*j + 12*s, -j + s = -209. Is j a multiple of 13?
False
Suppose 6*u = -7*u + 4*u. Let d(b) =