Let b be (-5 - 75/(-3))*(1 - -6). Let c = 9 - b. Does 29 divide 6/(-2) - (0 - (4 - c))?
False
Let u = 6051 - -152. Does 11 divide u?
False
Let i = 28227 - 13360. Is i a multiple of 11?
False
Suppose -24*k + 3898 = -36086. Is k a multiple of 7?
True
Is (3948352/(-57))/(-32) + 4/(-6) a multiple of 32?
False
Let o be 92397/15 - (3 + (-64)/20). Suppose -2*v = 5*k - o, -1255 = -k + 2*v - 7*v. Is 80 a factor of k?
False
Let a(z) = -548*z + 6653. Is a(-51) a multiple of 12?
False
Let m = 1063 - 521. Is 12 a factor of m?
False
Let j(i) = -16*i - i + i**2 - 6*i + 8 + 2*i**2. Does 9 divide j(-5)?
True
Let q(a) = 1383*a + 4167. Does 13 divide q(22)?
True
Suppose -17*c + 38 = -13. Is 9 a factor of ((-59)/c*-2)/((-39)/(-351))?
False
Suppose 15 = -i - 4*u, -3*u = -4*u - 5. Suppose 5*s + 2*o - 770 = 0, 0 = -7*s + 6*s - i*o + 131. Let n = s - -78. Does 13 divide n?
True
Suppose 1637 = -4*l - 4*s + 10765, -3*l - 5*s = -6850. Is 14 a factor of l?
False
Let i be -5*4*1/8*-2. Let r be (25*21)/i + -4. Let m = 320 - r. Is m a multiple of 16?
False
Let y(o) = -o**2 - 4*o - 1. Let q be y(-2). Let f(k) = -3 + 3 - 110*k + 6 + 4*k**2 + 101*k. Is f(q) a multiple of 3?
True
Let g(c) = -2*c**3 + 58*c**2 + 60*c + 2. Let z be g(30). Does 65 divide (z + -22)*(2 + (-56)/2)?
True
Let b = 6603 - -7525. Does 5 divide b?
False
Let p = 65 - -870. Suppose -783 + p = 4*f. Does 5 divide f?
False
Suppose 16*h = n + 14*h - 768, n - 771 = h. Is n a multiple of 129?
True
Let l = 35 - 30. Let c be (25/(-10))/((-3)/(-12)). Is 3 a factor of l/c*(-31*2)/1?
False
Suppose 10*p = 6*p + 48. Let m(q) = 20*q**2 - 20*q + 5. Let g(u) = -7*u**2 + 7*u - 2. Let b(c) = 17*g(c) + 6*m(c). Is b(p) a multiple of 15?
False
Let g = 392 - 57. Let d = -277 + g. Is 8 a factor of d?
False
Let g(j) = -j**3 + 5*j**2 + 17*j - 18. Let r be g(10). Let b = -205 - r. Is 43 a factor of b?
False
Let l(o) = o**2 - 71*o + 192. Is l(-23) a multiple of 11?
True
Let g = 3375 - 3158. Does 7 divide g?
True
Let p = 125 + -73. Let f = p - 18. Suppose 0 = -33*t + 31*t + f. Is t a multiple of 17?
True
Let p(l) = 654*l**2 - 19*l + 2. Let n be p(-3). Is 60 a factor of (n/25)/(1*2/10)?
False
Let z(b) = b**2 - 9*b - 584. Does 37 divide z(-73)?
True
Suppose 18*i = -38*i + 19*i + 71114. Does 3 divide i?
False
Let u = -128 + 91. Let k = 37 + u. Suppose 20*g - 14*g - 306 = k. Is 17 a factor of g?
True
Suppose -l + 247 + 120 = 0. Let y = -103 + l. Suppose -c = -2*s + 4*c + 132, 0 = -4*s + 2*c + y. Is s a multiple of 11?
True
Suppose -49*t + 9 = -89. Suppose -15174 = -16*b - t*b. Does 87 divide b?
False
Let n = 67 - 43. Let m = 26 - n. Suppose -7*p = -m*p - 720. Is 12 a factor of p?
True
Let b = -736 - -838. Suppose 1764 = -b*c + 111*c. Does 16 divide c?
False
Let p(c) = -c**2 + 22. Let m be p(-10). Is 7 a factor of 428*(-3 - m/24)?
False
Let o be (1 - (1 + 1))/(26/(-130)). Does 34 divide (-3 + o)*1 + 202?
True
Let n be (-1)/(-4) + 17020/16. Suppose -12*l - j = -8*l - n, -3*l + 2*j = -809. Is 9 a factor of l?
False
Suppose 5*r = -0*r + 3*g + 12, -2*r - 5*g + 11 = 0. Suppose -2*i + r*i - 4 = 0, -5*b - 2045 = -5*i. Let t = -277 - b. Is 12 a factor of t?
False
Let q(d) = -1. Let x(b) = -5*b + 2. Let j(n) = 5*q(n) - x(n). Let m be j(2). Suppose -249 = -m*l + 3*r, -l - 4*l + 421 = -2*r. Is 5 a factor of l?
True
Suppose 241*w - 174*w = 1456379. Does 128 divide w?
False
Suppose 2*v - 4*h + 6480 = 6*v, 0 = v - h - 1616. Suppose -q = -1580 - v. Does 9 divide (-1 - q/(-24)) + 2/(-8)?
False
Suppose 3*v = c - 5, 4*v + 25 = -0*c + 5*c. Let g(j) = 3*j - 19. Let l be g(c). Is 5 a factor of 15456/308 - (l/(-22))/1?
True
Suppose 0 = 5*o - 4*t - 27, o = 2*o + t. Suppose -12 = -o*n + 6. Suppose -n*a + 38 = -22. Does 4 divide a?
False
Let j(r) = 13*r**3 - 9*r**2 + 30*r - 87. Is 97 a factor of j(14)?
True
Suppose -14*g + 3*g = -44. Suppose 4*u - 6*y + 3*y - 11 = 0, 2*y = 3*u - 8. Suppose 0 = -2*i + u*m + 95 - 5, -i + 25 = g*m. Does 8 divide i?
False
Suppose 11609*u - 11622*u = -33813. Is u a multiple of 3?
True
Let z(b) = 2*b**2 + 19*b + 18. Does 10 divide z(5)?
False
Let s = 38373 + -16137. Does 34 divide s?
True
Suppose -5*q + 390 + 1845 = 0. Suppose -446*g - 119 = -q*g. Does 6 divide g?
False
Let x = -606 + 285. Let k = x - -476. Suppose -85 = -5*t + k. Is 16 a factor of t?
True
Suppose 8 = -135*a + 137*a. Suppose -2*z - a = -4*k, -5*k = 4*z - 16 - 41. Suppose -108 = -z*q + 5*q + 3*r, q + 2*r - 30 = 0. Does 2 divide q?
True
Let t(v) = -v**3 + 2*v**2 - 2876 + 18*v**3 + 2891 + 0*v**2 - 4*v. Does 16 divide t(3)?
True
Suppose 5*h = 9*x + 1095, 7*h - 2*x = 5*h + 430. Is h a multiple of 14?
True
Let o(b) = b**2 - 13*b - 12. Let n be o(14). Let r be 45/3*n/6. Suppose -4*k - 5*j + 303 = -344, -5*k - r*j = -815. Does 21 divide k?
True
Suppose -2*r = -x - 595, 2*r + 86*x = 81*x + 613. Is 3 a factor of r?
False
Suppose 5*o = -r + 27009, 0 = -2*o - 3*r + 7*r + 10808. Does 23 divide o?
False
Let s(z) be the first derivative of 4*z**3/3 + 11*z**2/2 - 3*z + 8. Let l(b) = -b**2 + 7*b + 10. Let n be l(9). Does 15 divide s(n)?
True
Suppose q - 264 = -105. Suppose -6*j = q - 3681. Suppose 4*l - 133 = j. Is 45 a factor of l?
True
Let a be 12*1*49*(-18)/(-27). Suppose -s + 531 = 3*s - 5*r, 3*s = 5*r + a. Is 10 a factor of s?
False
Suppose -9*a = 9*a - 2070. Let r = -83 + a. Does 27 divide 2026/8 + 24/r?
False
Let g(y) be the first derivative of -y**3/3 + 9*y**2/2 - 16*y - 32. Let l be g(4). Suppose -8*n + 7*n + l*p + 78 = 0, 3*n + 3*p - 309 = 0. Is 11 a factor of n?
False
Let p(c) = -c**3 - 7*c**2 + 2*c - 19. Let m be p(-9). Let w = m - 119. Does 6 divide 1035/w*(-8)/(-10)?
True
Suppose 2*q = -j + 820, 750*j - 1652 = -4*q + 754*j. Is 3 a factor of q?
True
Let s(f) = 629*f**2 + 85*f + 6. Is s(-3) a multiple of 44?
True
Suppose -328141 + 80597 = -88*n. Does 29 divide n?
True
Suppose 3*y = 5*u - 2667 - 1042, -4*u + 3*y + 2969 = 0. Does 74 divide (0 + -3)*u/(-6)?
True
Let h = -51 + 56. Suppose 3*t + h = 5. Suppose -5*m = 4*j - 896, t = 2*m - 0*m + j - 359. Is 36 a factor of m?
True
Suppose -3*f + 44 = -3*h + 8, -3*h + 60 = 5*f. Suppose a + f = 88. Suppose 2*x - r - a = 4*r, -4*x = -5*r - 132. Is x a multiple of 28?
True
Let k be (-7)/((-105)/(-54)) - (-18)/30. Is 74 a factor of ((-28)/28)/(k/3996*2)?
True
Let l(r) = 17*r - 14. Suppose 0 = -21*i + 17*i - 4. Let d be (-7)/(4*(-1)/(-4)*i). Is 15 a factor of l(d)?
True
Suppose -3*c + 43330 = 5*y, 40*c - 45*c = -5*y - 72270. Is 170 a factor of c?
True
Suppose 45*v - 2*v - 109250 - 75693 = 0. Does 11 divide v?
True
Let n(l) = -l**2 - 23*l + 112. Let u be n(-27). Suppose 18*w = -u*b + 15*w + 1185, 0 = 3*b - w - 892. Is b a multiple of 27?
True
Suppose -9 - 101 = -2*x. Let k = x + -53. Suppose -s - 4*o = o - 32, o = k*s - 20. Is 12 a factor of s?
True
Is (60/(-80))/(5/(-63060)*3) a multiple of 8?
False
Suppose 0 = -5*a + 15, 3*a - 31 = -j - a. Suppose -89 = -3*v + j. Suppose 0 = -8*n + 6*n + v. Does 3 divide n?
True
Let w = 39 - 8. Let z = w + -30. Is 1/3*((-4 - z) + 506) a multiple of 17?
False
Suppose h - a = 4*a - 18, 14 = -3*h + 5*a. Let r = h - -11. Suppose -r*s = -0*s - 403. Does 6 divide s?
False
Suppose 0 = 4*s - 41 + 41. Suppose 3*i - 5*h = -i + 5225, 4*i + 5*h - 5215 = s. Is i a multiple of 15?
True
Suppose 5*r - 23237 = -2*d, -93*d - 46456 = -97*d - 4*r. Is 147 a factor of d?
False
Suppose -3*o - 5*y + 3 = 12, -5*y - 1 = 2*o. Is 6 a factor of (84/35)/(o/(-900))?
True
Let l = 10 + -7. Let n = -78 - -79. Is 13 a factor of (l + (n - 5))*-78?
True
Let m(l) = l**2 + 10*l + 27. Let p(n) = -n + 1. Let v(d) = m(d) + 6*p(d). Suppose -1744*i = -1758*i - 154. Does 22 divide v(i)?
True
Let x(w) be the first derivative of -w**4/4 + 10*w**3/3 + 23*w**2/2 + 53*w + 92. Is x(12) a multiple of 2?
False
Let p be 1/(48/(-112) + 2/7). Is 3 a factor of (-9)/(-63) + (-377)/p?
True
Suppose -2*f = -5*c - 10, 2*f + 60 = 7*f + 5*c. Let h(o) = o**2 - 8*o - 16. Let i be h(f). Suppose -i*w = -229 - 119. Is 13 a factor of w?
False
Is 37*-53*(-10)/(190/323) a multiple of 17?
True
Does 5 divide -4 - (-20315)/15 - (-5)/(-15)?
True
Let z(l) = 4*l**2 - 15*l - 44. Let s(w) = -w**2 + w - 1. Let g(x) = 3*s(x) + z(x). Is 5 a factor of g(20)?
False
Suppose -2*x = -4*c + 18, -2*c + 6*c - 3*x = 15. Let y be (-322)/(-3) + (-3)/((-27)/c). Is 18 a factor of (8/(-3) + -4)*y