Suppose 0 = -977*r + 970*r + 21310 + 12570. Is r a multiple of 20?
True
Suppose 0 = -2*q - 2*q. Suppose 0 = c - q - 4. Is 6 a factor of 665/38 + 2/c?
True
Suppose 108*o + 52*o = -51*o + 5547190. Is o a multiple of 11?
True
Suppose 94*s - 599577 = 613493. Is 7 a factor of s?
False
Let d = 16600 - 5069. Does 13 divide d?
True
Let s be (-65)/(4/(18 - -2)). Let q = 555 + s. Does 46 divide q?
True
Is 8/(72/(-145467))*2/(-14)*2 a multiple of 45?
False
Let w(l) be the second derivative of l**3/6 + 14*l**2 - 12*l. Let y be w(-13). Is 8 a factor of 2/(-1) + (-5)/(y/(-117))?
False
Does 7 divide (-15463)/(-35) + (-4)/(60/(-3))?
False
Let a be (-82)/451 - (101/(-11) - 2). Suppose -15*o = -a*o - 444. Is o a multiple of 9?
False
Let h = 12326 - 4373. Is 113 a factor of h?
False
Does 4 divide (-20741)/(-28) + 0 + 3/(-4)?
True
Let z(c) = -c**3 - 50*c**2 - 48*c + 63. Let k be z(-49). Let b(y) = -y**3 + 17*y**2 + 15*y - 16. Is b(k) a multiple of 34?
True
Suppose 0 = x - 2*x + 4*d + 10, -29 = -4*x + 5*d. Let a(t) = 119*t + 14. Let n be a(x). Suppose -n = -0*w - 8*w. Is 13 a factor of w?
True
Suppose -2*k + 2950 = 3*f - 2568, 2*f + k - 3677 = 0. Is 102 a factor of f?
True
Let j = -7214 + 7512. Is 4 a factor of j?
False
Let k(w) = w**2 + 12*w - 120. Let r be k(-18). Let n(m) = -m**2 - 31*m - 54. Does 50 divide n(r)?
False
Let t = -40 + -89. Let y = -125 - t. Is 7 a factor of ((-790)/40)/(((-5)/y)/5)?
False
Suppose 2*w + 1769 = -4*x + 7389, x = 4*w + 1396. Suppose -10*g + 5*g = q - x, 2*g - 556 = q. Does 28 divide g?
True
Suppose -642*i + 4940 = -659*i + 34520. Does 6 divide i?
True
Is 30 a factor of 6/(-5) - 464664/(-120)?
False
Let a = -2866 + 5146. Does 20 divide a?
True
Does 5 divide (-251938)/(-65) + 132/4290?
False
Suppose -38*q + 1341 + 11921 = 0. Let r(p) = 4*p**3 + p**2 + p - 1. Let z be r(1). Suppose z*a = -0*a + 4*x + 450, -q = -4*a + x. Is 43 a factor of a?
True
Let g be (-3)/(-3) + (1 + 2)/3. Suppose -3*a = -5*i + 18, 3*i - 6*i = g*a - 7. Is ((-70)/6)/(14/(-12) - a) a multiple of 13?
False
Let u = 207 + -238. Let v(k) = -k + 141. Does 68 divide v(u)?
False
Suppose 5*p + 9*n = 5*n + 15557, -3111 = -p - n. Is 10 a factor of p?
False
Suppose -4*f + 70 - 29 = -3*c, 4*c = -f - 4. Suppose -5*o - 9 = -f*o. Suppose -o*s = -45 - 54. Is 7 a factor of s?
False
Let g(l) = 3*l**2 + 4*l - 4. Let v be g(1). Is (12 - -58)*(v/3 - -7) a multiple of 39?
False
Is 9 a factor of 604/10*225/6?
False
Suppose 0 = 2*z - 3*a - 487, 4*z - 2*a - 972 = 2*a. Suppose -z - 358 = -4*d. Is 25 a factor of d?
True
Is 14*(2307 + (-27 - -3)/6) a multiple of 94?
True
Let n(f) = -f**3 - 32*f**2 + 27*f - 51. Let d be n(-33). Let y = 119 + d. Is y a multiple of 9?
False
Suppose -160*b + 11*b + 194455 = -648736. Is 44 a factor of b?
False
Suppose 29*o - 13 = 219. Suppose 4*i = 4*n + 5*i - 64, 0 = -2*i - o. Is 7 a factor of n?
False
Let i(v) = -18*v**3 - 10*v - 4*v**2 + 3*v**2 + 10*v. Let r be i(-1). Suppose -c = -5*g + 2*g + r, g - 4*c - 24 = 0. Is 2 a factor of g?
True
Let r = 42 - 40. Let u(q) = q**2 - 3*q + 1. Let f be u(r). Is 9 a factor of 0 + f + (-5 + -9)*-1?
False
Suppose -4*n = -3*b + 28, 0 = -5*b + b - n + 31. Is 16 a factor of (-38)/152 - (-5890)/b?
True
Let n = 14843 - 7011. Is n a multiple of 61?
False
Let j(l) = 15*l**3 - 105*l**2 + 18*l - 95. Does 72 divide j(10)?
False
Suppose -4*v - 208 = -5808. Suppose -1151 = -4*h - 0*h - 3*o, -5*h + 4*o = -v. Does 11 divide h?
False
Let y(n) = 96*n**2 - 24*n + 60. Does 24 divide y(10)?
False
Does 39 divide 0 - (-144120)/42 - 24/(-42)?
True
Let h(a) = 4*a**2 + 7*a - 6. Let x be h(5). Let z = x + -83. Suppose 3*y - 95 - z = 0. Does 7 divide y?
False
Let s = 72816 + -50009. Is 277 a factor of s?
False
Let k be 306/(-15) - 4/(-10). Let w(q) = -q**3 + 6*q**2 - 4*q + 5. Let u be w(5). Is (-96)/(4/u - (-28)/k) a multiple of 12?
True
Let n(z) = -z**2 - 14*z - 1. Let k(p) = p**2 - 3*p - 16. Let j be k(5). Let i be n(j). Let x = 103 - i. Is x a multiple of 14?
True
Let q = -103 - -108. Suppose 4 = 2*c + q*l + 2, 3*c + 3*l = 12. Is 19 a factor of 46/69 - (-1244)/c?
False
Suppose 17 = a - 5. Let m be (-2*6/(-8))/(11/a). Suppose 7*o - 2*y - 104 = 2*o, -m = -y. Is o a multiple of 11?
True
Let a = 69 - 65. Let p = -4 + a. Suppose 5*o - l = l + 470, p = -o - 2*l + 94. Does 16 divide o?
False
Suppose y = -r + 23, 0*r + 4*y = 2*r - 28. Suppose 0*i + r = 4*i. Suppose -4*m + 778 = -s, -s + 382 = 2*m - i*s. Is m a multiple of 39?
True
Let h(r) = -r**3 + 22*r**2 - 39*r + 11. Let s be h(20). Suppose -81 = s*y - 34*y. Is y a multiple of 8?
False
Let k be 0 + 3/1 - 23. Let t be ((-88)/k)/((-6)/(-10))*9. Is 0 + -3 + t + 1 + 0 a multiple of 10?
False
Let y be (1*5*98)/(1 - -1). Let t = 795 + y. Does 80 divide t?
True
Suppose 11*s = -55*s + 30*s + 202176. Is 9 a factor of s?
True
Let h = 9992 - -7144. Is 168 a factor of h?
True
Let c = -1904 - -1259. Let q = c + 763. Does 2 divide q?
True
Suppose 11*d - 2341 - 156 = 0. Suppose d*i - 228*i = -504. Does 36 divide i?
True
Let s(g) = 8*g**2 + 20*g + 6. Is s(-16) a multiple of 6?
True
Let r = -241 + 507. Suppose -r = -31*h + 230. Is h a multiple of 4?
True
Suppose 4*p - 1073 = -o, -4331 = -4*o - 403*p + 400*p. Is o a multiple of 40?
False
Suppose -1047 + 32 = -4*n + 1285. Is 23 a factor of n?
True
Let s = -29743 - -38491. Is s a multiple of 81?
True
Let x(f) = -27*f**3 - 127*f**2 - 15*f - 30. Is 5 a factor of x(-8)?
False
Does 28 divide (-331 - 1)*(10 - 196/8)?
False
Let a = 4458 + 8614. Is a a multiple of 86?
True
Let k = -226 + 258. Is 62 a factor of (6/(-15))/(k/(-48800))?
False
Let g(p) = 11*p + 1674. Is 41 a factor of g(89)?
False
Let u = 5 + 13. Suppose 4*n + 14 = b, n - b - u = 5*n. Is 98 + (n + 12)/(-4) a multiple of 24?
True
Is (-63940)/(-15)*6 + (-56 - -65) a multiple of 301?
True
Let l(d) = -14*d**2 - 58*d + 35. Let n(b) = 30*b**2 + 115*b - 69. Let p(q) = -13*l(q) - 6*n(q). Does 16 divide p(-34)?
False
Let c(f) = 6*f**2 + 26*f + 70. Let i be c(-3). Is 12 a factor of (-2)/1 - (-252 + i)?
True
Let h(i) = 3*i + 1. Let y(u) = -18*u - 785. Let v(a) = -3*h(a) - y(a). Is v(0) a multiple of 34?
True
Let b = -639 + 958. Let i = b + -94. Is 25 a factor of i?
True
Suppose -32*u - 40*u + 3104832 = 31*u. Is u a multiple of 40?
False
Let n(c) = 4*c**3 - c**2 - c - 2. Let t be n(-2). Suppose -7*m - 767 = 6*m. Let z = t - m. Does 23 divide z?
True
Let v(x) = x + 19. Let f be v(-16). Suppose -3*s + 40 - 10 = f*d, d - 22 = 5*s. Suppose b - d = 4*q - q, 4*b - 108 = -3*q. Is b a multiple of 6?
True
Does 14 divide -223*((-132)/12 - 10)?
False
Suppose 12*w - 410530 - 390176 + 307614 = 0. Is 6 a factor of w?
False
Let r be (9/(-6))/(6/(-4) + 1). Suppose -4*p - 5*q - 7 = 0, -p + r*q - 2*q + 5 = 0. Suppose 76 = p*a - 16. Is a a multiple of 23?
True
Let i be 11/((-55)/2)*-170. Suppose -i*b = -3365 - 13159. Is b a multiple of 4?
False
Suppose -w + 1 = -4. Let n(q) = -q**3 + 6*q**2 - 5*q + 3. Let g be n(w). Does 26 divide (-232)/10*(-1 - 14)/g?
False
Let f(y) = y**3 + 3*y**2 - 19*y - 281. Is 16 a factor of f(13)?
True
Suppose -415 = -5*u - q, u - 5*q - 97 = -8*q. Let d = 102 - u. Is d a multiple of 4?
True
Let s be 16 + -14 + 3*1 - 3. Suppose s*m - 452 = -5*u + 58, 0 = -5*m + 2*u + 1304. Is m a multiple of 16?
False
Does 7 divide (18 + -16)/(54/(-9594)*1/(-21))?
True
Let v(u) = u**3 - u**2 + u. Let w(o) = 28*o**2 - 50*o - 54. Let n(a) = -v(a) + w(a). Is n(26) a multiple of 14?
False
Let l(m) = -m**2 - 7*m + 35. Let t be l(-10). Suppose -t*d = 8*d - 1287. Let y = -79 + d. Does 18 divide y?
False
Let v(c) be the first derivative of -25*c**2/2 + 193*c + 138. Is 6 a factor of v(6)?
False
Does 43 divide (-51)/(-119)*32837 - 12?
True
Let n = 3355 - -9297. Is 70 a factor of n?
False
Let a = -54 - -73. Let x(o) = -o**3 + 19*o**2 + 21*o - 48. Does 9 divide x(a)?
True
Suppose 5*a - 41*a + 30398 + 33790 = 0. Is a a multiple of 9?
False
Suppose 5*u = s - 619 - 14436, -3*s + 5*u + 45215 = 0. Is 52 a factor of s?
True
Suppose -18*w = -29*w + 44. Let h(x) = -15*x**2 - w*x + 11*x**2 + 3*x**3 + 6 - 6. Is h(5) a multiple of 34?
False
Let t = -108 - -127. Suppose -6*j + t = 1. Suppose 0 = 10*y - j*y - 1428. Is 12 a factor of y?
True
Does 17 divide 2 + ((-7984)/(-2) - (-1)/(-5)*-5)?
True
Let q = -331 + 690. Suppose y = -79 + q. Is 28 a factor of y?
True
Le