117 a factor of h?
True
Suppose 2*h + 14166 + 2095 = 5*g, 0 = -3*h + 6. Suppose g = 5*k + b + 2*b, -5*b + 2605 = 4*k. Is 13 a factor of k?
True
Suppose 0 = -2*n - 6, 3*w - 48990 = -0*n - 3*n. Suppose -22*x + w = 2077. Is 36 a factor of x?
True
Suppose 0 = 41*a - 165 - 286. Suppose -6*j + a*j - k - 1362 = 0, -3*j + k = -818. Does 8 divide j?
True
Let p(x) = -27*x + 6. Let m be p(-5). Let f = m - -160. Does 30 divide f?
False
Let i(s) = 24*s**2 - 65*s - 574. Does 21 divide i(-11)?
True
Let l be (0 - 13/((-39)/500))*3. Suppose -l*n + 499*n + 17 = 0. Is n a multiple of 4?
False
Let u(m) = -346*m - 79. Let i be u(-6). Let w = i - 1098. Is 52 a factor of w?
False
Let v(q) be the second derivative of -q**8/6720 - q**6/240 - 7*q**5/120 + 23*q**4/12 - 17*q. Let m(o) be the third derivative of v(o). Is 7 a factor of m(-5)?
True
Let r(f) = 5*f - 266. Let l be r(0). Let m be l/4 + (24/(-16))/1. Does 11 divide m/34*426/(-4)?
False
Let s(h) = 4*h - 16. Let o(q) = q**2 + 17*q + 37. Let f(b) = -b**3 - 7*b**2 - 9*b - 10. Let u be f(-5). Let a be o(u). Is s(a) a multiple of 6?
True
Suppose 92637 = -14*o + 33*o + 8*o. Does 73 divide o?
True
Suppose -i + 5 = 5*m + 4*i, 4*i + 26 = 2*m. Suppose -m*g - 4*c = -6746, 3*g - 5396 = -g - 3*c. Does 32 divide g?
False
Let w(k) = 11*k**3 + 3*k**2 + 6*k. Let d be w(-3). Let j = d - -322. Is 34 a factor of j?
True
Let w be (27 - (4 + 1))/(1/49). Let m be 21/(13 - 6)*w/6. Suppose -5*x + m = -371. Is x a multiple of 13?
True
Let a(f) = -3*f**3 - 21*f**2 + 5*f + 7. Let q be a(-7). Let m(u) = u**3 + 27*u**2 - 35*u - 46. Is 9 a factor of m(q)?
False
Suppose -6*v - 2072 = -4*t - 138894, 4*v = 2*t + 91214. Is 33 a factor of v?
True
Suppose 9528 = -5*w + 28338 + 9745. Is 8 a factor of w?
False
Suppose -3*g = -5*f + 1664, -22*g = -5*f - 20*g + 1661. Suppose -f*v + 760 = -327*v. Is 19 a factor of v?
True
Let i = 18706 - 11450. Is i a multiple of 8?
True
Is 0*46/(-2024) + 302/4*44 a multiple of 22?
True
Is (-2)/((10/(-35))/(2413 + -2)) a multiple of 6?
False
Let w = -518 + 173. Suppose -11*v - 8099 = -1070. Let a = w - v. Is a a multiple of 14?
True
Suppose 3*p - j + 5 = -0*j, -p + 1 = j. Is (-5 - 28)/(p/((-5)/(-5))) a multiple of 9?
False
Let u(r) = 14*r**3 + 2*r**2 + 2*r + 4. Is u(3) a multiple of 12?
False
Let b be (-14 - (-5 + 4)) + 5 + -2. Let v be (1 - b/(-15))*21. Suppose 0 = 10*l - v*l - 228. Does 22 divide l?
False
Suppose 21*n + b + 28512 = 25*n, 7128 = n + 2*b. Is n a multiple of 108?
True
Suppose 3*b + 42*x = 43*x + 715, -3*b + 3*x = -705. Let h = -198 + b. Does 15 divide h?
False
Suppose -332*g + 9696193 = 107*g. Is 16 a factor of g?
False
Suppose 58*t = 55 + 61. Suppose -v = -4*x - 531, 11 - 21 = -t*x. Does 41 divide v?
False
Let q be ((-40)/(-15))/(-4) + (-20)/(-3). Does 29 divide 1042/q - 27/(-81)?
True
Let g(i) be the second derivative of i**5/20 + i**4/6 - i**3/2 + 2*i**2 + 14*i. Let k be g(-3). Suppose k*v - 106 = q - 3*q, 29 = v - 2*q. Is 5 a factor of v?
False
Suppose 5*n + 3*y - 74328 = 0, -5*n + 23851 = 5*y - 50469. Is n a multiple of 9?
True
Suppose 240 = -5*m - p + 6*p, m = 5*p - 32. Suppose 15*g + 1600 + 320 = 0. Let z = m - g. Is z a multiple of 22?
False
Let i = 7884 + -4483. Does 19 divide i?
True
Let i be (-194 - -198)*(0 - 1714/(-4)). Suppose -i = -3*u - 322. Is 12 a factor of u?
False
Suppose 37 = o - 0*o. Let j be -4 + 954/(10 - 4). Let f = j - o. Does 29 divide f?
False
Suppose -200*l = -206*l + 70542. Is 238 a factor of l?
False
Let o be (12/(-21))/2 - (-68101)/287. Let f be -12*(8/12 + -1). Suppose -f*z + 67 = -o. Is z a multiple of 13?
False
Let q be 1735 - (-1 - (-4)/24*0). Suppose 15*k - 11*k - q = 0. Does 6 divide k?
False
Suppose -19*b + 32*b = 85566. Suppose -21402 = -30*i - b. Does 13 divide i?
True
Let h = 215 - 216. Is 77/(-22)*(h - 197) a multiple of 21?
True
Suppose -915*t = -958*t + 1706326. Does 287 divide t?
False
Let u(g) = -81*g - 689. Is u(-19) a multiple of 25?
True
Suppose 374670 = 203*b - 158*b. Does 29 divide b?
False
Does 33 divide 22*4392/(-336)*-7?
True
Suppose 11*y = 15644 + 69672 + 13563. Is y a multiple of 13?
False
Let y be 2570/(-35) + 9/21. Let d = y - -87. Does 5 divide d?
False
Let b(p) = 3*p**2 - 30*p + 26. Let n be b(9). Does 16 divide n/(-2) + ((-3300)/(-8) - -3)?
True
Suppose 7916 = i - 2*s, -5*i - 10887 = -2*s - 50435. Does 12 divide i?
True
Let q = -1370 + 1550. Is q a multiple of 4?
True
Let m(a) = -13*a + 8. Let q be m(-22). Suppose -14 - q = -4*p. Is p a multiple of 5?
False
Suppose -6*n + 7*w + 82474 = -4*n, 3*n = -w + 123734. Does 84 divide n?
True
Suppose 3 = 3*k - 4*z + 10, -3*k - 4*z = -25. Let y be (-1 + k)*(21 - 12). Let a(l) = l**2 - 15*l + 17. Is 10 a factor of a(y)?
False
Let o(r) = 5*r + 87. Let y(v) = -19*v - 347. Let i(g) = 9*o(g) + 2*y(g). Let w be (-1)/4 - ((-99)/36)/11. Is 8 a factor of i(w)?
False
Let o = -20154 - -12510. Is 13 a factor of o/(-12) - (-1 - -1)?
True
Let x = -12 + 12. Suppose 0 = -3*l - 5*g - 10, 2*l + 3*g + x = -5. Suppose -3*o - a + 236 = 0, -2*o + l*a = 2*o - 340. Is 40 a factor of o?
True
Suppose 18*x - 6 = 21*x. Is x/6 - (0 + (-1112)/6) a multiple of 15?
False
Suppose 35*x - 32*x + 565110 = 108*x. Does 207 divide x?
True
Let r = -235 - -7395. Does 40 divide r?
True
Is 52/(-8*(-5)/360) a multiple of 12?
True
Suppose 0 = -229*a + 248*a + 15846. Let m = -134 - a. Does 36 divide m?
False
Is 8/(112/455)*(-54)/(-5) a multiple of 117?
True
Suppose 2*v + 3*q = 1468, 0 = 3*q - 8*q. Let a = -143 + v. Is 27 a factor of a?
False
Let w = -581 + 592. Let q(p) = 2*p**3 - 10*p**2 - 9*p - 9. Does 48 divide q(w)?
True
Let y be -7 + (-4 + 8 - -1). Is 4/16*428 + y a multiple of 7?
True
Let r be -7*(0 - 9/1). Let k = r + 73. Let l = 262 - k. Does 40 divide l?
False
Let z(k) = 741*k - 339. Is z(4) a multiple of 126?
False
Let p = -7 + 11. Suppose 390 = 5*y + a, 2*a = -p*y + 360 - 48. Does 54 divide y?
False
Let j = -215 - -219. Is j/30 + 76466/255 a multiple of 9?
False
Suppose 0 = -3*b + 2*b - 7. Is (-2)/b - (4 - (-2130)/(-42)) a multiple of 18?
False
Does 10 divide ((-612)/(-765))/(2/114585)?
False
Suppose 4*m = 3*h - 1 + 13, h + 3*m = -4. Let p be 1/(-1*(-2)/h). Does 4 divide (-21 + -15)/(3/p)?
True
Let c = -20 + 25. Suppose -3*r - 3*s = -r - 17, 0 = -5*r + 2*s - c. Let a(q) = 23*q**3 + 3*q**2 - 2*q. Is a(r) a multiple of 6?
True
Let m be (1 - 3 - 0)/6*0. Suppose m = -2*f - 4*f + 216. Is 2 a factor of f?
True
Suppose m - 2857 + 270 = -2*g, -3*g + 5*m = -3861. Is 19 a factor of g?
True
Let c = -8755 + 20032. Is 28 a factor of c?
False
Suppose 9719 = 2*t - 47*o + 52*o, 0 = 5*t + 4*o - 24306. Does 13 divide t?
True
Suppose 73*t = -45*t + 47441 + 42121. Is t a multiple of 69?
True
Let h(b) = -b**3 + 33*b**2 - 14*b - 48. Does 9 divide h(31)?
True
Suppose -46*i = 503*i - 17375170 - 10137965. Does 15 divide i?
True
Suppose 0 = -t + 3*f + 34787, 3*t + f - 18200 = 86221. Does 39 divide t?
False
Let p = 161 - 297. Let o be 39*(-1 + 16/(-12)). Let v = o - p. Does 15 divide v?
True
Suppose -384*u - 171419 = -419*u + 33121. Is 12 a factor of u?
True
Suppose -15 = -5*x + 15. Suppose -735 = -x*s + s. Is 4 a factor of s?
False
Let o = -7837 - -8460. Is 23 a factor of o?
False
Let d = -31 - -223. Let a = d + -72. Does 9 divide (a/(-28))/(((-18)/(-28))/(-9))?
False
Let s(l) = l**2 - 2*l. Let h be s(0). Suppose h = -j - 7 + 9. Is (3 + j/4)/((-1)/(-14)) a multiple of 14?
False
Let u = 152 + -157. Let v = 32 - u. Does 2 divide v?
False
Suppose -200*r = v - 197*r - 3097, 0 = -4*r - 12. Does 3 divide v?
False
Suppose -38*p - 81180 = 3*p. Is 110 a factor of (15/(-9) + -5)/(8/p)?
True
Let g(r) = -r**3 + 50*r**2 + 22*r + 84. Is g(35) a multiple of 8?
False
Let n = 0 + -1. Let t(f) = 225*f**2 + 7*f + 4. Is 11 a factor of t(n)?
False
Let u(y) = 365*y + 1123. Is 43 a factor of u(10)?
True
Let u = -90 - -108. Let a(p) = 26*p - 99. Does 21 divide a(u)?
False
Let x = -303 - -680. Suppose 3*i - 2*w = x, w + 5 = 2*w. Does 23 divide i?
False
Let a be (450/1125)/(6/5)*879. Suppose 2*z + 108 = 942. Suppose 3*y = -3*g + z, a = -2*y + 4*y - g. Is 36 a factor of y?
True
Suppose 0 = 9*z - 8*z - 567. Suppose 0 = -8*c + z + 441. Does 14 divide c?
True
Suppose 9*a + 15 = 4*a, 5*u + a - 8622 = 0. Suppose -4*n + u + 1751 = 0. Is 36 a factor of n?
False
Let z be (-44)/(-55) - ((-42)/(