, 5*a - 5*c + 5 = -0*c. Let n be (6/8)/((a/(-128))/(-1)). Suppose -99*v + 138 = -n*v. Is v a multiple of 15?
False
Let a(z) = -z**2 + 130*z - 1722. Does 4 divide a(73)?
False
Let s(k) = 779*k**2 - 135*k + 529. Is s(4) a multiple of 60?
False
Let q(n) = -19*n - 227. Let i(b) = -28*b - 340. Let j(g) = 5*i(g) - 8*q(g). Is j(-5) a multiple of 13?
False
Suppose n + 28 = 6*n + 4*w, -2*w + 16 = 3*n. Suppose -n = b - y - 64, 4*b - 2*y = 248. Is 6 a factor of b?
False
Let d(g) = g**2 - 22*g + 337. Is d(27) a multiple of 8?
True
Let z be 46/(-5) + 1/5. Let m(l) = -3*l + 17. Let g be m(z). Suppose 0*c = -2*c + g. Does 11 divide c?
True
Let n(q) = 197*q + 2141. Does 177 divide n(8)?
True
Let t(a) = 3736*a + 6165. Does 36 divide t(9)?
False
Let d = -119 + -54. Let i(g) = 9*g**3 - 4*g**2 - 4. Let v be i(-3). Let t = d - v. Is 31 a factor of t?
False
Let q = 23 + -29. Let a be -3 + (6/(-4))/(q/(-144)). Let y = -33 - a. Does 6 divide y?
True
Suppose 3*i + 0*i + 141 = 0. Let n be (-768)/(-9152)*26/4 - 1061/(-11). Let h = n + i. Is h a multiple of 10?
True
Let p be (0 - -1) + 164/(-41). Is (0 - -26) + (p - (-5 - 0)) a multiple of 13?
False
Suppose 0 = -11*f + 3*n + 138300, 0 = -f + 2*n - 4*n + 12575. Is f a multiple of 9?
True
Let y = -404 - -296. Is (9/18)/((-1)/y) a multiple of 12?
False
Let o = 1663 + 48443. Does 107 divide o?
False
Suppose 104 = y - 0*y. Let l be (-5)/((-55)/(-2)) - (-36801)/517. Let w = y - l. Is 5 a factor of w?
False
Suppose 0 = -4*j + 3*s + 2*s + 229, -279 = -5*j - s. Suppose j = 8*k - 4*k. Suppose k*n + 78 = 17*n. Does 6 divide n?
False
Let k(u) = -4*u**2 - 56*u - 21. Let a be k(-14). Suppose 2*v = 16 + 2. Let o = v - a. Is 10 a factor of o?
True
Let t = 21 + -23. Let i = t + 307. Is i a multiple of 61?
True
Does 3 divide 13/(39/(-2))*(-474)/4 - 5?
False
Suppose -b = 5*j - 36585, 0 = 4*b - j - 140733 - 5544. Is b a multiple of 69?
True
Let w(r) = -r - 3*r + 398 + 58 + 2*r - 3*r**2 + 2*r**2. Is 26 a factor of w(0)?
False
Suppose 5*b + 4*s - 7707 = 0, 0 = -5*b - 23*s + 18*s + 7710. Does 57 divide b?
True
Let k(v) = v**2 + 20*v - 15. Let t be k(-21). Suppose -2 = 5*j - t*j. Suppose 0 = 3*u - j*p - 140, -u + 0*u - 4*p = -70. Is 10 a factor of u?
True
Let u be -6*1/(-4)*10. Let c = u + -12. Suppose 5*b - 2*s = c*b + 252, -499 = -4*b + 5*s. Is b a multiple of 15?
False
Suppose -331743 - 175197 = -243*j + 229*j. Is j a multiple of 142?
True
Let t(s) = -557*s - 2176. Is t(-25) a multiple of 96?
False
Let q = 18434 - 10874. Does 280 divide q?
True
Suppose 197*d = 193*d - 3*b + 22443, d + 2*b = 5612. Is 6 a factor of d?
True
Let l = -617 - -410. Let c = 567 + l. Is 45 a factor of c?
True
Let h(k) = -205*k - 11178. Does 77 divide h(-133)?
False
Suppose 24*m = -92*m + 743792. Is m a multiple of 15?
False
Let d = 274 - 268. Does 54 divide (2/(-4))/(d + (-13363)/2226)?
False
Suppose g + 5*z - 42 = 3*z, 0 = -3*g - 5*z + 122. Let p be -1*(-4)/4*g. Suppose 0 = 24*s - p*s + 700. Is 15 a factor of s?
False
Let u(n) = 20*n - 15. Let c be u(3). Let o = 57 - 23. Let x = c + o. Does 17 divide x?
False
Let p(h) = -h**3 + 19*h**2 - 19*h + 12. Is p(15) a multiple of 20?
False
Suppose -54*v = 28452 - 183972. Is 20 a factor of v?
True
Let d(h) be the second derivative of 23*h**3/3 + 75*h**2/2 + h + 6. Is 37 a factor of d(4)?
True
Let a be (-10824)/(-10) + (-6)/(-10). Let d = a + -760. Does 17 divide d?
True
Suppose -3*y - 16 = -4*u - 0*y, 4*y - 8 = -2*u. Suppose o = -o + u. Is 13 a factor of (o - (-22)/2) + 0?
True
Suppose -2*t - 16 = 4*g, -5*t + 0*g = g - 5. Suppose -11*h + t = -9*h. Is (-3 - (-28)/2)/h a multiple of 4?
False
Let f(z) = -z**2 + 3*z + 85. Let c be f(-8). Suppose 0 = -2*i - 0*i + 34. Let b = c + i. Is 10 a factor of b?
False
Let r(v) = -1055*v**2 - v. Let b be r(1). Let t = b + 671. Let s = -192 - t. Is 9 a factor of s?
False
Let h = 1539 - 1577. Suppose 4*o + 129 + 107 = 0. Let g = h - o. Is 6 a factor of g?
False
Let t = -114 + 1382. Suppose 9*z - 784 = t. Does 57 divide z?
True
Let m = -104 + 377. Let a = m - -3. Does 12 divide a?
True
Is (5/((-175)/(-854)))/((-6)/(-330)) a multiple of 17?
False
Let p(t) = 21*t**2 - 4*t - 1. Let y be -2*(-2)/(-6)*(-5 + 2). Does 25 divide p(y)?
True
Let o = 4888 - 4180. Is 9 a factor of o?
False
Suppose 22*j - 22972 = -93*j + 823888. Is 14 a factor of j?
True
Suppose y + 0 = 3*p + 3, 2*y = -2*p + 6. Suppose -19*l + 20*l - 464 = p. Is l a multiple of 21?
False
Suppose -18 = 12*x - 78. Suppose -c = -5, -4*y + x*y + 5*c = 23. Does 26 divide (-8)/(-48)*y + 938/6?
True
Let r = 15 + 7. Suppose r*z - 16688 = 14*z. Is ((-4)/(-5))/(4 - z/525) a multiple of 11?
False
Suppose -10*s + 66 = 23*s. Suppose -4 = 2*w + 2, -2*m = -s*w - 250. Does 2 divide m?
True
Suppose -2*a = 2*k - 1374, -592 = 3*k + 5*a - 2659. Let q = k + -444. Does 24 divide q?
True
Suppose 27*r = -11*r - 15*r + 478537. Does 17 divide r?
False
Suppose x - 616 = 3*z, x + 4*z = 129 + 480. Let y = x - 556. Is 3 a factor of y?
True
Suppose -175*b + 180*b - 15276 = 4*k, -b + 3066 = k. Does 68 divide b?
True
Suppose 0*f - 3*f = -153. Let y = 1888 - 1884. Suppose 0 = y*d - f + 3. Does 6 divide d?
True
Let s be (76/57)/((-4)/15). Is (4 - s - 3)/((-2)/(-323)) a multiple of 17?
True
Does 19 divide (-1)/(-2) + 194941/302?
True
Suppose 67*r - 24 = 63*r. Let g(z) = 14*z**2 - 47*z - 36. Let w(j) = 5*j**2 - 16*j - 12. Let u(t) = r*g(t) - 17*w(t). Is u(-7) a multiple of 9?
True
Suppose 10*u - 7*u = 1020. Let n be 6/(-2)*(-9 - -7). Is 14 a factor of 3/9 + u/n?
False
Let w(d) = 109*d**2 + 1186*d - 130. Does 26 divide w(-24)?
True
Suppose -3*k + 16*k = 9815. Let b = -68 + k. Is b a multiple of 17?
False
Let h = -8 + 26. Let o be 2/(-4)*3*(-48)/h. Is 71 + (4 - (-1 + o)) + -2 a multiple of 16?
False
Let n(y) = y**3 + 123*y**2 - 681*y - 644. Does 84 divide n(-128)?
False
Suppose 4*c - 3775 = 5*o, -4*c + 946 = -3*c + o. Is c a multiple of 27?
True
Let o(d) = -d**3 - 9*d**2 - 17*d + 14. Let m(c) = c**2 - 12*c + 25. Let z be m(5). Is 39 a factor of o(z)?
False
Let k(d) = -20*d - 20*d - 3 + 61*d - 19*d. Let r be k(-3). Is (105/(-10))/(r/12) a multiple of 7?
True
Suppose 14*b - 17*b = 4*v - 11019, 2*b = -2*v + 5510. Is 63 a factor of v?
False
Let h(g) be the third derivative of g**5/60 - g**4/6 + 4*g**3/3 + 11*g**2. Suppose -3*p + 5*w + 11 = -5*p, -p + 2*w - 10 = 0. Is h(p) a multiple of 26?
True
Suppose 5*s = -5*h + 2995, 0 = 3*h - 4*s + s - 1827. Is 2 + (h - (-10)/2) a multiple of 10?
False
Let r(q) = -4*q + 17. Let h be r(14). Let d = 39 + h. Suppose n = -d*n + 136. Does 32 divide n?
False
Suppose 3*s = -4*q - 13, 4*q - 12*s = -8*s - 48. Does 25 divide (-3)/q + -2 + 15282/63?
False
Let v = -242 + 395. Suppose 5*f + v - 1003 = 0. Does 10 divide f?
True
Let q be 2250/2 + (4 - -4) + -4. Let u = -674 + q. Is u a multiple of 35?
True
Suppose 0 = -12*w + 6*w + 58752. Suppose 34*h - w = 18258. Is 15 a factor of h?
True
Suppose y = 4*r - 111104, 5*r - 138855 = -2648*y + 2643*y. Is r a multiple of 170?
False
Suppose 0 = k - 5*u - 9260, -6*u = -14*u + 32. Is 4 a factor of k?
True
Let f be 0 + ((-2)/(-8))/((-1)/(-8)). Suppose 2*v = -3*x + 936, -f*x - 6*v + 623 = -5*v. Is x a multiple of 10?
True
Let r = -11590 - -42645. Is 21 a factor of r?
False
Let q(t) = t**2 + 5*t + 486. Let a be q(0). Let i = -213 + a. Is 13 a factor of i?
True
Let t be (-2)/12 + 473/66. Does 14 divide 16/(-3)*t*15/(-10)?
True
Suppose 6291 = 2*f - 16*d + 19*d, -2*d + 3149 = f. Is f a multiple of 57?
True
Let p(w) = 2912*w - 1548. Is p(14) a multiple of 148?
True
Let s = 3378 - 2904. Is s a multiple of 20?
False
Suppose 0 = 4*d - 4*r - r + 13, 0 = -3*d - 5*r + 34. Let i(s) = 6 + d*s + 6*s + 0*s. Is 26 a factor of i(8)?
True
Suppose 55*f - 52*f = 63. Does 10 divide (1350/f)/(1*15/70)?
True
Let k = 242 + -240. Suppose 4*d = 3*t - 225, k*t - 4*t - 2*d + 136 = 0. Does 45 divide t?
False
Is ((-8)/(-10))/((494/42085)/13) a multiple of 2?
True
Is 2/(12/8519) - (-9 - (-424)/48) a multiple of 5?
True
Let q = 502 - 364. Let g = q - -94. Is 54 a factor of g?
False
Let d(y) = -y**2 + 29*y - 49. Let p be d(27). Let c(n) = n - 4. Let a be c(7). Suppose p*i = -a*x + 2*i + 360, -3*x + 2*i = -360. Does 24 divide x?
True
Let j(n) = -2*n - 9. Let s(c) = -c**3 + 12*c**2 + 13*c + 1. Let h be s(13). Let r be 4/(h/(-3) - 4/(-48)). Is 13 a 