e 39 + u = 3*p. Does 5 divide p?
True
Suppose 2*a = 7*a + 595. Let c = a + 64. Let g = c - -79. Does 12 divide g?
True
Let m be 30/(-12)*(-8)/(-5). Let f be -5*(40/m)/1. Let c = -27 + f. Is c a multiple of 23?
True
Suppose 27*b - 690 = 4*b. Is 10 a factor of b?
True
Let g(z) be the second derivative of -13*z**3 - z**2 - 111*z. Let m = 1 + -2. Is g(m) a multiple of 40?
False
Suppose 13*v = 1713 + 15512. Does 25 divide v?
True
Is 77 a factor of ((-6)/(-3))/(-2)*(-152766)/54?
False
Suppose 0 = 7*u - 5312 + 2001. Is u a multiple of 39?
False
Let o = -1435 + 2907. Is 9 a factor of o?
False
Let w(p) = 15*p**2 + 9*p + 6. Let g be w(-4). Suppose g = 2*y - 40. Is 25 a factor of y?
True
Let h = -2282 + 3257. Is h a multiple of 9?
False
Let u(y) be the third derivative of -y**6/120 - y**5/12 - y**4/6 - 4*y**3/3 - 6*y**2. Does 12 divide u(-5)?
True
Let j = -28 + 26. Is 13 a factor of 3/6 + (-165)/j?
False
Suppose -2*n + 12 = w, -3 + 18 = w + 3*n. Is w a multiple of 2?
True
Let j = 62 + -10. Let o be (1 + 1)*79/2. Let f = o - j. Does 4 divide f?
False
Suppose -5*p = -2*a + 32 + 52, 0 = -4*p + 16. Let t be (-2)/(4 - 200/a). Let d = t + 20. Is d a multiple of 2?
False
Does 34 divide ((-51)/2)/(60/(-800))?
True
Suppose 1550 = -16*b + 18654. Suppose -b = -6*a + 173. Is 41 a factor of a?
False
Let l(n) be the third derivative of -n**6/120 + n**5/12 + n**4/12 - 7*n**3/6 + 6*n**2. Let w be l(5). Is 12 a factor of (-294)/(-9) + (-2)/w?
False
Suppose 0 = -f + 4*d + 1273, 2*f - 10*d - 2546 = -14*d. Is f a multiple of 107?
False
Suppose 103*q - 105*q = -3*f - 10255, 4*q - f = 20485. Is 10 a factor of q?
True
Let v be 536/(-18) - (-6)/(-27). Let a = v - -51. Suppose -4*l + p - 2*p + 51 = 0, l + 3*p - a = 0. Is 12 a factor of l?
True
Let r = 265 + 267. Is r a multiple of 2?
True
Let r(q) = -143*q - 44. Let l be r(-10). Is 27 a factor of (-2)/(-5) - (l/(-10) - 3)?
False
Does 19 divide -107 + 112 - 442*-1?
False
Let t(s) = 2*s**2 + s. Let k be 1*(-4 - (-15 - -4)). Let j = -10 + k. Is t(j) a multiple of 5?
True
Let t(i) = -3*i - 13. Let l be t(-5). Suppose -j + 546 = l*j. Is 13 a factor of j?
True
Let o(z) = -52*z**2 + 3*z - 4. Let l be -5 - ((-4)/(-4) + -3). Let r be o(l). Is 23 a factor of 2/7 + r/(-7)?
True
Let b(v) = 4*v**3 + 1. Let w be b(1). Suppose 48 = 2*z + 5*g, -4*z = 3*g - w*g - 72. Suppose -z = 2*r - 91. Does 20 divide r?
False
Suppose z + 2*p = -448, 2*z + p + 535 + 352 = 0. Does 20 divide (-2)/(-17) - 10998/z?
False
Suppose 5*g + 21 = -79. Suppose 160 = 12*r - 7*r. Let f = r + g. Does 6 divide f?
True
Let u = 57 + -35. Suppose -26*a = -u*a - 28. Is 7 a factor of a?
True
Let g = 353 - -109. Is 77 a factor of g?
True
Suppose 4*b + 29 = 21. Let o(y) = 54*y**2 + 2*y + 3. Is o(b) a multiple of 46?
False
Suppose -7*g - 1860 = -19*g. Suppose 24*b - g = 19*b. Is 31 a factor of b?
True
Let o = -56 + 105. Let j = 115 - o. Is 7 a factor of j?
False
Let w be (-3)/((-2)/(0 - -2)). Suppose 4*b + b = -w*r + 16, 0 = -2*b - 4*r - 2. Is 2 a factor of b?
False
Suppose 0 = 4*x - 5*x + 2*o + 137, -5*x = 5*o - 760. Does 11 divide x?
False
Let j(c) = c + 11. Let q be j(4). Suppose 284 = -13*p + q*p. Is p a multiple of 11?
False
Suppose 2*n + 3990 = 3*o, -4*o - 3*n = 2*n - 5343. Is 54 a factor of o?
False
Let h(w) = 6*w**2 - 4*w - 4. Let i be h(5). Let v = i - 0. Does 42 divide v?
True
Suppose 2 = o - 1, 4*j = -2*o + 2126. Does 40 divide j?
False
Suppose -12*o + 256 = -116. Suppose 4*w + 4*y = 224, -2*w - 3*y = o - 143. Does 28 divide w?
True
Let w = 7 - 7. Let q be 1 + (1 - w) - -2. Is 6 a factor of (-448)/(-72) - q/18?
True
Let a = 572 - 556. Is 4 a factor of a?
True
Is 43 a factor of ((11 - 22) + -3)*(-2130)/7?
False
Suppose -229 - 433 = -2*t. Let u be 14/4 + (-1)/(-2). Suppose -b - 2*b = i - 99, -u*i = -b - t. Is i a multiple of 28?
True
Is 21 a factor of (-53174)/(-110) - 2/5?
True
Is 23 a factor of (-70)/21*(-276)/10?
True
Let f(j) = 4*j**2 + 10*j + 8. Let k be f(-6). Suppose -4*v = -164 - k. Suppose -2*u - u = 4*d - v, 4*u - 75 = 5*d. Is 10 a factor of u?
True
Let p(x) = x**3 + 12*x**2 - 4*x + 27. Let c be p(-6). Let f = -159 + c. Does 36 divide f?
True
Let h = -3 - -5. Suppose 46 + h = 6*s. Is 3 a factor of s?
False
Let r be 0/(-5 + 2 - -4). Does 18 divide -159*(2 - (3 - r))?
False
Let c(n) = n**3 + 33*n**2 - 36*n + 10. Is 10 a factor of c(-34)?
False
Suppose -4*z - 66 + 278 = 0. Let b = z + 41. Is 7 a factor of b?
False
Suppose 168 = 21*r - 17*r. Does 21 divide r?
True
Let y = 6910 - 4778. Does 19 divide y?
False
Let s(q) = 29 - 2 + 15 - 3*q - 2. Is s(-16) a multiple of 22?
True
Let o(a) = -a + 12. Let v be -2 + 5 + -4 + 1. Is o(v) a multiple of 2?
True
Let h be 0 + 1 + 2/1. Is h/(-9)*-9 - -17 a multiple of 6?
False
Let i = 238 - 130. Is 18 a factor of i?
True
Let m(c) = 4*c**2 - 4. Let a(r) = -3*r**2 + 4. Let x(n) = 6*a(n) + 5*m(n). Let b be 32/8 - (6 + 0). Is x(b) a multiple of 4?
True
Suppose 89*k + 4293 = 92*k. Does 52 divide k?
False
Let y be (-3)/(-1)*90/27. Let a = y + -10. Suppose a = -r - 5*w + 73, -5*r + 7*w + 393 = 4*w. Does 26 divide r?
True
Suppose -4*k - 46 + 254 = 0. Suppose -5*s = -48 - k. Suppose -4*r = s, -3*y - 2*r + 57 = r. Is 5 a factor of y?
False
Let p = 12 + -10. Suppose -6*s + 2*n = -2*s - 26, 0 = p*s + 5*n + 17. Is 16 a factor of 0 + -2 + s - -23?
False
Let u = -12 - -3. Let b = u + 14. Suppose 0 = -b*t + 14 + 76. Is 5 a factor of t?
False
Suppose 0 = 4*f - f - 4*u + 414, -138 = f + 5*u. Let t = -13 - f. Does 50 divide t?
False
Suppose 3*p - 12 = -3*g, 2*g - 7 - 2 = -3*p. Suppose 1 - 346 = -3*o + g*h, 0 = 3*o + 5*h - 385. Does 15 divide o?
True
Let s(p) = -p**3 - 9*p**2 - 6*p + 5. Let y be 2/(3/(-3)) - 6. Let j be s(y). Let m(c) = -c**3 - 11*c**2 - 4*c - 5. Does 13 divide m(j)?
True
Let p = 4499 - 2867. Is p a multiple of 34?
True
Let j = 7 - -6. Let c = j - 10. Is 12 a factor of c/(-2)*(-8)/1?
True
Suppose 6*w + 2190 - 7200 = 0. Suppose 9*m - w = 389. Let f = m - 36. Does 25 divide f?
True
Suppose -c + 6*f = 2*f - 5, -4*f = 0. Suppose -3*k = m - 78, 4*k - 90 = -c*m + 278. Suppose 4*q - q - m = 0. Is q a multiple of 12?
True
Suppose -6*o = -8*o + 4*j + 26, 2*o = 3*j + 21. Suppose o*c - 190 = 404. Is 9 a factor of c?
True
Let k = 1603 - 428. Does 25 divide k?
True
Let d = 179 - -4. Suppose 0 = -5*x + 2*x - 2*u - 329, 20 = -5*u. Let a = d + x. Is a a multiple of 22?
False
Suppose 0 = 9*g - 13*g - 132. Does 18 divide -5 + g/(-7) - 128/(-7)?
True
Suppose 2*c - 5*g = 32, -4*c = -7*c + 2*g + 26. Let d(u) = -u**3 + 8*u**2 + 5*u - 4. Let l be d(c). Let w = l + -59. Is w a multiple of 13?
True
Let n be -6*(0 + -4)/(-4). Let k be 4/n*(-12 + -561). Suppose -h + 5*p + 111 = 13, 0 = -5*h - 2*p + k. Is h a multiple of 13?
True
Let u(g) be the first derivative of -7*g**2 + 22*g - 7. Let a be u(-9). Suppose a + 8 = 3*q. Is q a multiple of 13?
True
Let r = 333 + -168. Let w = -9 + r. Does 19 divide w?
False
Let c(r) = -r + 3. Let m be c(0). Let v be (-4)/(24/m)*-52. Suppose -2*s = v - 106. Does 19 divide s?
False
Let y(p) = -6*p**3 - 9*p**2 - 6. Is 8 a factor of y(-4)?
False
Suppose 0 = 3*m + 4 - 310. Let s = m - 49. Suppose f + 5*k - s = 0, -309 = 3*f - 8*f - 3*k. Is 21 a factor of f?
True
Let v = 28 - 25. Suppose d = v*d - 134. Does 14 divide d?
False
Let z(c) = -c**2 + 59. Suppose 0 = y - 2*y. Does 17 divide z(y)?
False
Let d(c) = 2*c - 13. Let n be d(8). Suppose 3 + 0 = -n*w. Is 10 a factor of (w + 3)*(-10)/(-1)?
True
Suppose -4*a = -z + 27, 5*a = 2*a - 2*z - 23. Let y(b) = 2 - 7*b**2 + 7 - b**3 + 0. Does 5 divide y(a)?
False
Does 44 divide 4 + 1 + 605/1 + 6?
True
Suppose m + 120 = 80. Let w = 103 + m. Is w a multiple of 26?
False
Suppose 2*v + 2*p = 0, v + 4*p = -1 - 5. Suppose 0 = v*u - 4, -j - 5*u = 2*j - 76. Let b = j - 12. Is b a multiple of 5?
True
Suppose 0 = -52*j + 53*j - 191. Is j a multiple of 8?
False
Let a = 126 + -22. Suppose -2*n - 326 = -4*o, 3*n = -o - n + a. Is 21 a factor of o?
True
Suppose -7 = -4*t + 13. Let b(d) be the third derivative of d**5/60 - d**4/12 + 5*d**3/3 - d**2. Is 23 a factor of b(t)?
False
Suppose -23 = -2*w - 4*n + 15, n = 4*w - 31. Suppose -11*a = -16*a + 25. Suppose 0 = -3*j + w, 4*g + a*j = -g + 80. Does 13 divide g?
True
Let v be 102/1*(-10)/((-60)/27). Suppose v + 189 = 6*n. Is n a multiple of 42?
False
Suppose s