
Suppose j = -64 + 48. Let n be (-6)/(-8) + 460/j. Let p = n + 48. Is 10 a factor of p?
True
Let s(g) = 287*g**2 + 2*g. Let z be -4 - 3*(-5 - -4). Is 19 a factor of s(z)?
True
Let g be (-1)/(6/(-18)) - 7. Is 5 a factor of (980/16 - g) + 2/(-8)?
True
Let i(x) = 5*x**2 - 6*x + 3. Let t(a) = a**3 - 12*a**2 + 4*a - 24. Let y be t(12). Suppose y - 4 = 5*v. Is i(v) a multiple of 13?
False
Let b(n) = 4*n**3 - 5*n**2 + 2*n - 3. Let q(r) = r**3 - 10*r**2 - 12*r + 15. Let t = 84 + -73. Let p be q(t). Is 15 a factor of b(p)?
False
Suppose -4*n = 4*c - 1212, 3*n - 28*c - 933 = -25*c. Is 15 a factor of n?
False
Suppose -27*o + 29*o - 38 = 0. Let s(r) = -5*r**3 + 19*r**2 - 5*r - 8. Let p(d) = d**3 - 1. Let b(v) = -4*p(v) - s(v). Is b(o) a multiple of 16?
False
Let o be 0/(((-15)/(-12))/(1/4)). Let s(z) = -z**3 - 2*z**2 + 3*z + 624. Is 24 a factor of s(o)?
True
Let i(g) = 25*g**3 - 2*g**2 + 1. Let s be 7/(-14)*(1 + -11). Suppose -3*h - s = -8*h. Is i(h) a multiple of 8?
True
Let b = 8 + -13. Let j(y) = 6*y + 46. Let q(w) = -14*w - 83. Let u(o) = 7*j(o) + 4*q(o). Does 8 divide u(b)?
False
Let z be (-147)/(-35) - -1*1/(-5). Suppose c = 7*u - z*u + 54, 2*u = -3*c + 107. Is 20 a factor of c?
False
Let s = -83 - -93. Suppose -4*o - 4*a + 2512 = 0, s*o + 2*a + 3133 = 15*o. Is o a multiple of 11?
True
Let t = -47 + 51. Suppose -727 = -3*p + 14*x - 10*x, -2*p - t*x = -498. Is 7 a factor of p?
True
Let v(y) = 2*y**3 - 3*y**2 - 3*y - 10. Let l be v(-4). Let i = -20 - l. Is i a multiple of 7?
True
Suppose -5*p + 3*o + 58773 = 0, 0 = -5*p - 5*o + 21393 + 37412. Does 23 divide p?
False
Let h be (-2)/(-5 - 878/(-176)). Let p = h - 144. Does 5 divide p?
False
Suppose j - 5 = -2*c, 0 = 5*j - 11 + 36. Suppose 2*p = -c*a + 551 + 1546, 421 = a + 2*p. Does 23 divide a?
False
Let d be 22712/12 - ((-70)/(-15))/7. Suppose -3*t + d + 661 = 0. Is t a multiple of 14?
False
Let a(l) = 14313*l + 5629. Is 221 a factor of a(2)?
True
Suppose 2720 = 4*z - 2*m - 12410, -3*z + 5*m = -11337. Is 166 a factor of z?
False
Suppose -f + 2200 = -s - 372, 3*s + 2564 = f. Is 180 a factor of f?
False
Let g be (12/(-8))/((-36)/30984). Suppose -z + 20*q + 1288 = 24*q, g = z + 3*q. Does 20 divide z?
True
Let r = -269 - -124. Let o = r - -478. Is o a multiple of 24?
False
Suppose 5*s + c = 93125, -5*c + 93145 = 117*s - 112*s. Is s a multiple of 12?
True
Let t be (17 - 18)/((-1)/2) + -256. Let y = -186 - t. Does 30 divide y?
False
Is 32 a factor of (-4)/((125/(-2440))/25)?
True
Let p = 207 - 205. Let y(g) = 53*g - 6. Is 31 a factor of y(p)?
False
Let j(k) = 4*k - 7. Suppose -16*d = -18*d + 6. Let l(c) = 3*c - 7. Let q(u) = d*l(u) - 2*j(u). Does 4 divide q(19)?
True
Is (-6)/4 + 28*461/8 a multiple of 4?
True
Let o = 159 + -158. Does 37 divide 555/o*(-1 + 8/5)?
True
Suppose -4*d + 23*z - 28*z = -65, -5*d + 2*z = -40. Does 12 divide 149*(5*5/25 + d)?
False
Let f = -1669 - -2895. Suppose -2*x + 4*h + 1008 = 0, 0 = -3*x - 2*h + f + 294. Is x a multiple of 23?
True
Let w(h) = -h**3 - 3*h**2 - 6*h - 10. Let m(o) = -o + 8. Let g be m(13). Let r be w(g). Is 13 a factor of 200/r*(-182)/(-4)?
True
Suppose 12*h = -30 + 6. Is 205 + h + 7 + -1 a multiple of 11?
True
Let n be (6/24*-3)/(2/(-96)). Let t = 284 - n. Is t a multiple of 31?
True
Let s = -2475 - -7725. Is 50 a factor of s?
True
Suppose 109 = -5*k - 121. Let a(y) = -20*y - 322. Let w be a(-19). Let z = k + w. Is z a multiple of 2?
True
Suppose 0 = -v + 1, 4*t - 30 = -v + 3. Suppose 0 = 3*m - 7 - t. Suppose u - 23 = -0*u - 2*z, -91 = -m*u - 4*z. Is u a multiple of 11?
False
Let m(w) = 49*w - 66. Let c be (6/11)/((-9)/(-99)). Is m(c) a multiple of 15?
False
Let h = 70 + -66. Suppose 1167 = -h*t - 441. Let u = 628 + t. Does 29 divide u?
False
Suppose -2*g + 4*h = 20, 5*h + 70 = -5*g + 35. Is 2234/4 - 12/g a multiple of 40?
True
Suppose k - 5*g + 10 = 0, 2*k + 2*g + g - 19 = 0. Suppose -19 = -q - 0*o - 2*o, k*o = q - 19. Is 2 a factor of q?
False
Let t(u) = 24*u**2 - 99*u - 43. Is 11 a factor of t(-15)?
True
Suppose 0 = -u - 7*u - 6912. Does 36 divide (21/(-28))/(2/u)?
True
Suppose 5*g + 697126 = -3*v - 415633, -5*v + 4*g = 1854586. Does 28 divide 4/(-22) + v/(-473)?
True
Let v(y) = y**2 + 36*y - 523. Is v(24) a multiple of 3?
False
Suppose k - 16544 = -3*q, 634*q - 639*q + 27560 = -k. Is 38 a factor of q?
False
Does 5 divide 5 + (-29)/7 + 5/((-315)/(-222021))?
True
Suppose -7031933 = -246*v + 500833. Is v a multiple of 177?
True
Suppose 10*y + 203755 = 24*c - 19*c, 0 = -2*c + 2*y + 81506. Is 34 a factor of c?
False
Suppose 0 = -3*s + 3*r + 26910, -44*s - 2*r = -45*s + 8965. Is s a multiple of 86?
False
Let w be 4 + (1 - 2) - 6075. Is 5 a factor of ((-14)/(-10) - 2) + w/(-120)?
True
Suppose 4*m - 2*m + 18 = 4*l, -4*l = m + 9. Let h be (-588)/(-27) + (-2)/m. Does 5 divide (-14 - -26)*h/8?
False
Let a = 568 - 568. Is 35 a factor of -4 + -1 + a + 367 + -12?
True
Let v(y) = -3*y**2 + 39*y + 155. Let l(a) = a**2 - 19*a - 78. Let k(p) = -5*l(p) - 2*v(p). Is k(-20) a multiple of 5?
True
Suppose 11*b - 29387 + 17323 = 28823. Is 9 a factor of b?
True
Suppose 468 = -6*l + 19*l. Suppose 4*w + 8 = l. Suppose 2*s + 430 = w*s. Is s a multiple of 8?
False
Let z be 1/(-6) + (-2643)/(-36)*-2. Is 30/(z/156 + 1) a multiple of 24?
False
Suppose -2*r = -6 + 164. Let u = 121 - r. Is u a multiple of 12?
False
Let j be 4115/(-25) - 10/25. Does 49 divide (4 + j/25)/((-1)/55)?
False
Let w be 0 + 1 + 0 + 2. Suppose -17*b = -10*b + 63. Is 7 a factor of w/b*19*-3?
False
Let n = 209 - 329. Let y = 894 + n. Is y a multiple of 28?
False
Let h be 140/105*((-70)/(-8) + 1). Suppose -8*r + h*r = 525. Does 35 divide r?
True
Suppose 0 = 32*b - 12673 - 35711. Does 72 divide b?
True
Let q = 5 - 13. Let r be -2*5*4/q. Suppose 0 = r*g - 6*g - 3*i + 54, 5*i = -4*g + 230. Does 6 divide g?
True
Let f = -445 + 471. Suppose f*s = 32*s - 564. Is 2 a factor of s?
True
Suppose -20*v + 331*v = 3039714. Does 54 divide v?
True
Let c = 7906 - 6146. Does 5 divide c?
True
Let u(c) be the third derivative of -c**6/40 + c**5/20 + c**4/8 + c**3/6 + 12*c**2. Let f be u(-1). Suppose f*o - 194 + 54 = 0. Is o a multiple of 24?
False
Does 3 divide 390/(-13)*1*66/(-6)?
True
Let p = -46 - -49. Suppose c - 1 = x, -6*c = -p*c + 3*x + 3. Suppose c = 3*a - 43 - 200. Does 27 divide a?
True
Suppose 1551 = 4*z + 327. Is 68/z - (-8258)/18 a multiple of 15?
False
Let z(w) = w + 52. Suppose n = 5*j - 26 - 4, 4*n + 24 = 4*j. Let y(v) = -6*v + 15. Let p be y(j). Is 4 a factor of z(p)?
False
Let v(l) = l**3 + 20*l**2 + 7. Let h be v(-20). Suppose 2*r - h*r = 5. Is 13 a factor of (-1825)/(-35) + r/7?
True
Let i be 3 - (7 - 5 - 433). Suppose 3*r = 2*o + 2*o + 1007, -2*r = -2*o - 506. Let k = i + o. Is 31 a factor of k?
True
Let v(z) = -30*z + 476. Let n(h) = -11*h + 159. Let y(g) = -17*n(g) + 6*v(g). Let c be 0*2/(-6)*1. Is y(c) a multiple of 9?
True
Let g(v) be the third derivative of v**6/120 + v**5/5 + 5*v**4/12 - 2*v**3/3 - 2*v**2 + 3*v. Is g(-10) a multiple of 12?
True
Suppose -12 = 2*z + 4*n, 4*z - 8 = 3*n + 1. Suppose -5*l + 4 = v, z*l - l = v. Is 13 a factor of -20*(27/(-15) + l)?
False
Suppose -101*j + 103 + 301 = 0. Suppose 0 = -c - 1, 3*k + c + 9 - 167 = 0. Let t = j + k. Does 8 divide t?
False
Suppose -4*h + 2691 = -89*c + 92*c, -1313 = -2*h + 5*c. Is h a multiple of 8?
False
Is (392/(-112) + 4)*(-14532 + 2)*-2 a multiple of 22?
False
Suppose 8*q - q = -21483. Is (-26)/(-3)*q/(-66) a multiple of 31?
True
Suppose 6*m - 339194 = -w, -35*m = -31*m - w - 226136. Is 319 a factor of m?
False
Let p be 35346/36 + 15/(-18). Let i = p - 485. Does 31 divide i?
True
Let y = -2450 + 3285. Does 20 divide y?
False
Let l be 4680/(-84) - 2/7. Let k = l - 3. Let y = 71 + k. Is y a multiple of 2?
True
Suppose -35 = 5*z - 5, -u + 694 = -5*z. Is u a multiple of 8?
True
Let q(x) be the third derivative of x**5/20 + 7*x**4/24 - 7*x**3/3 + 32*x**2. Does 5 divide q(6)?
False
Suppose -3*i + 9*i = 2517 + 19749. Is 18 a factor of i?
False
Let g = 35976 + -25570. Is g a multiple of 43?
True
Suppose 74 = -55*l + 54*l. Let y = 66 + l. Is ((-6)/(-8) - -1)/((-1)/y) a multiple of 7?
True
Let q be 8/(-2) + -4 + 10. Suppose -2*y = 5*j - j - 1782, j = -q*y + 438. Is j a multiple of 18?
False
Suppose -2*y + 3 = -u + 2, -2*u = y - 8. Let c = -8 - -12. Suppose 2*x + 