True
Let o = -21427 - -30697. Does 41 divide o?
False
Let v(j) = -j**3 - 16*j**2 - 15*j + 7. Let z be v(-15). Suppose 31 - z = 6*o. Suppose 3*f + 9 = 0, -3*w + 476 + 94 = -o*f. Does 29 divide w?
False
Let z = 3941 - 3721. Is z a multiple of 170?
False
Let y(a) = a**2 + 15*a - 3. Let v = 21 + -14. Does 10 divide y(v)?
False
Suppose 0 = -1623*q + 1621*q + 22382. Is q a multiple of 35?
False
Let v be (4 - 96/18)/(2/(-204)). Let z = 547 - v. Is 18 a factor of z?
False
Let v = -18 - -12. Let q(m) be the second derivative of m**4/4 + 4*m**3/3 + 3*m**2 + 178*m + 2. Does 11 divide q(v)?
True
Suppose -16288 = -23*t + 8*t - 523. Does 10 divide t?
False
Let h(w) = 4*w**2 - 18*w + 1. Let r be h(6). Suppose -4*u - 9 = -r. Suppose -2*j = -u*j + 465. Is j a multiple of 12?
False
Let t = -25 - -151. Suppose -5*o - 24 = v + 2*v, o = -3. Let x = v + t. Does 20 divide x?
False
Let w = 20 - 10. Suppose -g + w + 4 = 0. Is 2 a factor of (-32)/24*3/2 + g?
True
Let q(s) = s**3 + 57*s**2 + 24*s + 164. Does 30 divide q(-51)?
False
Suppose 2*b + 8568 = h - 4499, 3*b = -2*h + 26085. Does 29 divide h?
False
Let v be -3 + 2 - 22*-4. Let s = -189 - -151. Let q = v + s. Is q a multiple of 7?
True
Let f = -27590 - -48031. Is 19 a factor of f?
False
Let w(i) = i**3 - 11*i**2 + 33*i - 31. Let h be w(7). Suppose -1660 = -5*m - 4*x, h*m + 3*x - 1322 = x. Is 82 a factor of m?
True
Let o(v) = -4*v + 70. Let u be o(19). Does 19 divide (-7220)/30*u/4?
True
Suppose -2*o + 4*a + 362 = 0, -4*o + 724 = 6*a - 8*a. Let c = 438 + o. Does 16 divide c?
False
Suppose -16053 - 867278 = -77*q + 8868. Does 15 divide q?
False
Let p = -61 - -64. Let k be 0*(p - (-35)/(-10)). Suppose -3*i + 2*i + 48 = k. Is i a multiple of 16?
True
Suppose 9*j + 0*j = 45. Does 13 divide (5 - (j + 1))*-421?
False
Suppose 7007 = 20*i - 2453. Let l = -249 + 40. Let m = l + i. Does 44 divide m?
True
Let b = 227 - 193. Suppose -35*d + 544 = -b*d. Is d a multiple of 16?
True
Let o(x) = -x**3 + x**2 - 7*x + 2. Let h be o(-7). Suppose -4*b + h = 3*d, -3*d - d + b = -578. Let t = d + -73. Is t a multiple of 8?
True
Is 673105/309 + 8/3 a multiple of 13?
False
Suppose -180*v = -185*v. Suppose v = 2*h + 44 - 242. Does 33 divide h?
True
Let j(t) = -30 + 100 - 6 + 13*t - 25 - t**2 + 46*t. Is 7 a factor of j(19)?
False
Let q = 31 - 38. Let y(f) = -2*f**3 - 14*f**2 + f + 7. Let a be y(q). Suppose a = 14*l - 7*l - 245. Does 14 divide l?
False
Let b be 98/10 - -1 - 2/(-10). Suppose b*i = -17*i + 4704. Is i a multiple of 28?
True
Let c be 34/2 - -5 - 5. Let x = 74 - c. Is x a multiple of 32?
False
Suppose -u = 3*u - 4*i, -4*u + 2*i = 0. Suppose 2*b - 242 - 1252 = u. Is b a multiple of 30?
False
Is -22 + 27 - (30554/(-5) - 5/25) a multiple of 22?
True
Suppose -2*b + p - 4*p = -5, 0 = -3*b + 4*p + 16. Suppose -3*n + 4*d + 1036 = n, -2*n + 516 = -b*d. Is 26 a factor of n?
True
Suppose l + 2 = -0. Let v(o) = o**2 + o + 9*o**2 + 6 - 8*o**2 + 11*o**2. Is v(l) a multiple of 21?
False
Suppose 20*r = 198375 + 91045. Is r a multiple of 24?
False
Let v = 5964 - 5154. Is v a multiple of 15?
True
Let d be 81/(-4)*48/18. Let q = d + 54. Suppose 412 = 5*s - q*w - 4*w, 3*w + 329 = 4*s. Does 16 divide s?
True
Let w = 1 - -3. Suppose 0 = w*o - 4, 17 = -0*v + 4*v - 3*o. Suppose 0 = -5*z + v*c + 50, 0 = -z - 5*c - 8. Is z a multiple of 5?
False
Let h = 1200 + 8465. Is h a multiple of 33?
False
Suppose 81*u + 21 = 78*u. Let y be ((-60)/u)/((-4)/((-168)/3)). Suppose 11*d + y = 1561. Is d a multiple of 5?
False
Suppose 4 = 106*k - 105*k. Does 43 divide 6/k*516*(-4)/(-36)?
True
Let y = -858 + 1467. Does 7 divide y?
True
Suppose -15*q + 11*q - 20 = 0. Is (150 + q)/(3 - 14/5) a multiple of 29?
True
Let l = 169 + -177. Does 13 divide (l/12)/((-14)/11193)?
True
Let t be ((-2)/(-8) - 5/4) + 171. Suppose 11*s - t - 1348 = 0. Let l = -67 + s. Is 20 a factor of l?
False
Suppose 0 = 2*r - 3*r + 7. Let k = 14023 - 13991. Let z = k + r. Does 3 divide z?
True
Let u(n) = -n**3 - 6*n**2 - n - 7. Let h be ((-3)/6)/(1/12). Let k be u(h). Does 3 divide 1*4 + -5 + (29 - k)?
False
Suppose 14 - 62 = -3*l. Let n = -12 + l. Suppose -n*o = 5*b - 288, b - 3*o - 86 = -17. Is b a multiple of 10?
True
Let j(a) = 203*a**2 + 228*a - 1902. Is 22 a factor of j(8)?
True
Suppose 0 = -29*k + 5*k + 72. Let f = 221 - k. Is f a multiple of 9?
False
Is 125 a factor of 100/((-4 - -2)*5/(-800))?
True
Let w be (-1)/((-1)/((-2)/(-1))). Let n(g) = -7*g - w*g - 14 + 34. Is 3 a factor of n(-4)?
False
Suppose 4*x + 189 = -x + 4*p, -5*p = 20. Let f = -37 - x. Suppose -6*k = -4*k - 4, f*k - 88 = -5*b. Is 8 a factor of b?
True
Let l(v) = v**2 + 2*v - 3. Let w be l(-3). Suppose s = 6*s + g - 819, w = -5*s + 2*g + 822. Suppose b = -z + 2*z - 54, 2*b = 3*z - s. Is 7 a factor of z?
True
Let s = 6 + -21. Let t(r) = -7 - 1574*r**3 + 1 + 17*r**2 + 1575*r**3 + 18*r. Does 43 divide t(s)?
False
Is 1 + ((80/24)/10)/((-2)/(-5538)) a multiple of 35?
False
Let q be (1 - -11)/(9 - 7). Is 17 a factor of (q*(-1)/(-2))/(12/136)?
True
Let z(o) be the second derivative of o**3 + 25*o**2/2 + 29*o. Let c be z(-12). Does 3 divide (-36)/21 + 2 - c/7?
False
Let w = -32484 + 45028. Is 8 a factor of w?
True
Let z(d) be the first derivative of -d**3/3 + 23*d**2/2 + 3*d + 1. Let c be 4*(4 - (10 + -10)). Is z(c) a multiple of 12?
False
Suppose -3*h = -5*f - 9, -f + 3*h - 13 = -4. Suppose -4*m - 256 = -5*y, 5*m + 68 = y - f*y. Is y a multiple of 8?
True
Let v be ((-36)/(-15))/(39/520). Suppose -5 = 2*d - 3, -4*d + v = 4*r. Is 3 a factor of r?
True
Let b = -30 - -39. Let r be b/((-63)/(-2)) + (-520)/7. Let u = r + 135. Does 7 divide u?
False
Let k(s) = 88*s**2 - 63*s + 47. Does 27 divide k(8)?
False
Suppose 16*z + 99 - 19 = 0. Let x(q) = 15*q**2 + 59*q - 6. Is x(z) a multiple of 45?
False
Suppose 4*l = 2*f - 43236, l - 108090 = -70*f + 65*f. Does 33 divide f?
False
Let a = 697 - 373. Suppose 0 = b + 8*b + a. Let l = 66 + b. Does 6 divide l?
True
Does 11 divide (-11)/((-22)/8) - (-324168)/39?
True
Let g be 4/8*4 - -1858. Suppose 21*m = 11*m + g. Let s = m + -33. Is 19 a factor of s?
False
Let s(m) = 2*m**2 + 2*m - 1. Let g(h) = -285*h**3 + 19*h**2 + 17*h - 7. Let l(v) = g(v) - 6*s(v). Is 6 a factor of l(-1)?
False
Let r be (-6)/(-24) + (-2)/8. Suppose r = -2*y - 6 + 2. Is (39 + 2 + 1)*y/(-4) a multiple of 6?
False
Let v = 30 + -5. Let f(h) = -h**2 + 22*h - 21. Let i be f(v). Does 8 divide (-4 + 3)/(2/i)?
True
Let h(s) = -30*s + 8424. Is 6 a factor of h(-102)?
True
Suppose -394*t + 370*t + 1620936 = 0. Is t a multiple of 301?
False
Let y(w) = 565*w + 7. Let n be y(-4). Let r = -1252 - n. Does 91 divide r?
True
Suppose 74 = 5*z - 5*g - 26, -4*z + 78 = -5*g. Is -7 - z/(-4)*110 a multiple of 44?
False
Let k(n) = n**2 + 36*n - 1182. Let a be k(-57). Let i be -2*(15/6)/(-5). Is 6 a factor of a + 2 - 3 - i?
False
Suppose -4*k + 8 + 3 = u, -3*u + 3 = -3*k. Suppose 0*g = -g - k*j + 1185, -5*g + 5855 = -4*j. Does 30 divide g?
False
Let i = 99 + -48. Suppose 0 = -3*k + 6*k - i. Suppose k*u = 15*u + 90. Does 4 divide u?
False
Suppose 0 = 2*c - 5*c + 5*p + 8, 3*c = 2*p + 14. Suppose -x + 0 = -1, 0 = -t + 4*x - c. Is (-36)/((-8)/t)*(2 + -3) a multiple of 9?
True
Let a(n) = 10*n - 37. Let k be a(4). Is 7 a factor of (7 + -7 + 3)*65/k?
False
Let r be ((-24)/(-3))/2 + (-24)/4. Is 12 a factor of (38/10 + -5)/(r/250)?
False
Let l(j) = 2*j**2 + 5*j + 2. Let w(g) = -2*g. Let i(q) = 2*l(q) + 4*w(q). Is i(6) a multiple of 19?
False
Let n = 1070 + 1020. Does 26 divide n?
False
Let m(h) = 82*h**2 - 1694*h + 6764. Is 5 a factor of m(4)?
True
Let q(j) be the third derivative of j**5/60 + 4*j**4/3 - 11*j**3/3 + 12*j**2. Let u be q(-30). Let r = u - -131. Is r a multiple of 15?
False
Suppose 30*g - 85 = 65. Does 11 divide (-39603)/(-86) + g/2?
False
Let q = 11405 + -6603. Does 14 divide q?
True
Let t = 350 - 348. Is (1 - t)*((-4)/4 + -302) a multiple of 17?
False
Let z(y) = -3*y + 16*y**2 - 3*y - y + 8 - y**3. Is z(8) a multiple of 12?
False
Suppose 1594*u - 1589*u - 64200 = 0. Is u a multiple of 60?
True
Suppose 5*a - 6487 = -2*w, 6*a - 5208 = 2*a + 3*w. Let q = a - 521. Is q a multiple of 20?
False
Let w(l) = 4*l + 32. Let i(f) = 8*f + 65. Let z(s) = -6*i(s) + 13*w(s). Let y be z(-5). Suppose 2*a + 101 = n + y*a, -3*n + 5*a + 269 = 0. Does 30 divide n?
False
L