 11*w = 6. Suppose c + 14 = w*c - 4*t, 2*c + 31 = -5*t. Is 3 a factor of 16/((-11)/c - 3)?
True
Let u(a) be the first derivative of -2*a**3/3 - 55*a**2 - 110*a + 70. Does 20 divide u(-51)?
False
Is (-4)/(-84)*7 + 64600/15 a multiple of 73?
True
Let z = -4818 + 6751. Is 13 a factor of z?
False
Let p(c) be the second derivative of c**4/12 + c**3/3 + 20*c**2 - 674*c. Let q(g) = -g**3 - 4*g**2 - 3*g. Let k be q(-3). Is p(k) a multiple of 39?
False
Let w(k) = k**3 + 50*k**2 + 6*k - 494. Does 73 divide w(-43)?
True
Let r(y) = 1168*y**2 - 30*y - 63. Is 23 a factor of r(-2)?
True
Let z(y) = 31*y**2 + 8*y - 11. Let g be z(2). Suppose -4*f = -f - g. Let o = f - -45. Does 11 divide o?
True
Let h(v) = 20*v + 1014. Let l(a) = -a - 27. Let f be l(-27). Does 26 divide h(f)?
True
Suppose -2*q = -3*j - 5370, 7*j = -4*q + 4*j + 10776. Is 28 a factor of q?
False
Let f = -464 - -465. Suppose -10 = -4*c + 2. Suppose -c*s = -6, 0 = n - s - 10 + f. Is n a multiple of 6?
False
Let s(x) = -14 + 4*x + 5*x + 2*x. Let z(b) = 4*b**2 - 7*b + 8. Let n be z(2). Is 12 a factor of s(n)?
True
Does 38 divide (21131*1 - -1) + (-23)/((-161)/(-28))?
True
Let q = -5731 - -22827. Is 15 a factor of q?
False
Suppose -301821 - 162819 = -96*g. Is g a multiple of 10?
True
Is (1 + -55)/(12662/(-1807) + 7) a multiple of 7?
False
Let n = 4912 + -3884. Is 4 a factor of n?
True
Suppose 0 = -d - 4*d + 2*f + 1535, -d + 5*f + 284 = 0. Suppose d*q - 306*q = 1050. Is q a multiple of 35?
True
Let k = 3224 + -1615. Suppose 8*o = k + 6919. Does 13 divide o?
True
Suppose -2*l - 3*n = -1667, 2*l = -4*n + 2260 - 592. Suppose -i - l = -5*i. Is i a multiple of 26?
True
Let k(f) = 175*f**2 - 2*f + 3. Is k(-4) a multiple of 9?
False
Let m = -274 + 149. Let l be m/(-50) - (-18)/4. Let s = 17 - l. Is s a multiple of 5?
True
Suppose -231768 = -1146*d + 1072*d. Is d a multiple of 27?
True
Suppose -46*h + 44*h = -542. Let z = h - 145. Is 18 a factor of z?
True
Is 58 a factor of (-32)/(-1)*(1247 - 29)/21?
True
Is (316/(-553) - 949/7)*-203 a multiple of 36?
False
Suppose 3*w - 22 + 16 = 0. Suppose -2*k + 7*k - 1456 = -2*y, -w*y = 3*k - 876. Is k a multiple of 5?
True
Suppose 154886 = -14*f + 778432. Is 11 a factor of f?
True
Let r = -4689 - -10541. Is 77 a factor of r?
True
Suppose 9*g = 4*g + 3*x + 51, -4*g = -2*x - 42. Suppose 26*w - 22*w - g = 0. Suppose t - 2 - 3 = 0, w*s - 113 = 2*t. Is s a multiple of 10?
False
Is 6 + 16 + -19 + -2*-1*779 a multiple of 3?
False
Let q = 217 - 133. Suppose q*j - 78*j = 3468. Is 34 a factor of j?
True
Let q(w) = w**2 - 22*w - 14. Let p be q(0). Let y(x) = 16*x**2 + 21*x**3 + 10*x + 17 + 2*x - 20*x**3. Is 17 a factor of y(p)?
False
Is (((-2)/4)/(4/(-7280)))/(4/14) a multiple of 7?
True
Let n(a) = 2*a - 28. Let b be n(9). Let z be ((-48)/40)/(4/b). Suppose -k - 202 = -2*s + 2*k, z*s + 3*k = 333. Is 38 a factor of s?
False
Let y be (-8)/(-10) + (-216)/(-30) + -6. Suppose 11*w = -y*w + 728. Is w a multiple of 8?
True
Let i = 53 + -49. Let z be 6/3*2/i. Is 1190/7 + z/1 a multiple of 34?
False
Does 113 divide 24/(-6) - (4 - 16732)?
True
Let z be -6 - -12 - 3*1. Suppose s - 4*s = -3*k - 597, 995 = 5*s + z*k. Suppose 161 + s = 4*u. Does 15 divide u?
True
Let l(q) be the first derivative of -q**4/4 - 2*q**2 - 19*q - 144. Is l(-10) a multiple of 29?
False
Suppose -s + 42632 = 4*n, -12*s - 85232 = -14*s - 4*n. Does 15 divide s?
True
Suppose -106759 = 18*j - 450199. Is j a multiple of 36?
True
Let i be 9/(-2)*(-80)/(-60) + -1. Is 3 a factor of (-9)/(-6) + (467/2 - i)?
False
Suppose a - 3*f - 10 = 0, 5*a = 6*a - 5*f - 14. Suppose 2*u + 3*s - 410 = 0, -u + s = a*s - 205. Does 33 divide u?
False
Suppose 636*d - 611*d - 155100 = 0. Is 132 a factor of d?
True
Let p(o) = -8*o**2 + 1. Let i be p(1). Let b(w) = -11*w - 26. Let h be b(i). Suppose 5*v + h = 8*v. Is v a multiple of 3?
False
Suppose -25*u + 40*u - 17334 = 13*u. Does 8 divide u?
False
Suppose 3*b + 435 = 3*s + 6*b, 4*b - 720 = -5*s. Let d = -172 + 212. Suppose 4*g + d = s. Does 3 divide g?
False
Suppose -1174*v + 7532 = -1173*v + j, 37655 = 5*v + 4*j. Does 42 divide v?
False
Let z = 11028 - -184. Is z a multiple of 8?
False
Let y(j) = j**3 - 2*j + 1. Let a be y(2). Let w = 10 + 361. Suppose 0*s - 377 = -5*m + 4*s, a*m - 2*s = w. Does 18 divide m?
False
Suppose -15 - 551 = -3*o - 2*p, 2*o + 3*p - 369 = 0. Suppose 14*r - 2*r = o. Does 2 divide r?
True
Suppose 30 = 6*s + 6. Let b be (s*-2)/(20/230). Let u = -61 - b. Does 7 divide u?
False
Suppose 0 = -4*k - 3*v + 19472, 24272 = 3*k + 4*v + 9668. Does 23 divide k?
False
Let k be (-368)/(-10)*50/4. Suppose 8*r = -2*r + k. Is r even?
True
Is (-374)/(-22)*3000/10 a multiple of 18?
False
Suppose 3*m + 3*u = 9897, -3*m + 9861 = 7*u - 10*u. Is 20 a factor of m?
False
Let i = -54797 + 79991. Is 17 a factor of i?
True
Let s = -1077 + 1891. Let n = s + -563. Is n a multiple of 22?
False
Suppose 3*g - 5*d + 0*d - 553 = 0, 5*g + d - 931 = 0. Suppose 0*p + 3*p = -g. Let s = p - -172. Does 11 divide s?
True
Suppose 78*p = -3872 + 15572. Does 25 divide p?
True
Let h be -4 - (-132)/36 - 5/3. Let w(m) = 14*m**2. Is w(h) even?
True
Let p(w) be the first derivative of -3*w - 25/2*w**2 - 11. Is p(-3) a multiple of 13?
False
Suppose -207 = -3*p + c, 6*p + 2*c - 69 = 5*p. Suppose 5*m = -4*u + 361, -2*m + p = u - 5*m. Is u a multiple of 7?
True
Is 193 a factor of (-623)/(-91) + -7 + (-913280)/(-26)?
True
Suppose -29976 = -14*o + 22440. Does 13 divide o?
True
Let r = -121 - -200. Let m = r + -76. Suppose -2*b = -m*b + 69. Is b a multiple of 4?
False
Is 13 a factor of (-361)/(-3 - 687/171 - (-18 + 11))?
False
Let k = -64 - -65. Let m be (24/30)/(k/5). Suppose 5*j = m*j + 97. Does 15 divide j?
False
Let z(y) = 459*y**3 - 2*y**2 + 3*y - 1. Let f be z(1). Suppose -5*w - 9*g + 6*g = -576, -4*w - 3*g = -f. Does 12 divide w?
False
Let v = -13648 - -24386. Is v a multiple of 14?
True
Suppose k - 5*o = -20, 0*o + 4*o - 8 = 0. Let j(r) = -2*r + 21. Let u be j(k). Let n = u - 8. Is n a multiple of 5?
False
Let h be -6 - -5 - 5 - 261. Let l = -86 - h. Is 17 a factor of l?
False
Suppose 0 = 30*k - 35*k + 5. Is 12 a factor of k/(-5) - (24492/20)/(-3)?
True
Suppose -7*u = -10*u + 216. Does 6 divide ((-258)/(-8))/(18/u)?
False
Let p = -9078 - -17405. Is p a multiple of 11?
True
Let b(w) be the third derivative of 13/24*w**4 - 5*w**2 + 0*w + 0 - 1/60*w**5 + 2/3*w**3. Does 34 divide b(10)?
True
Let q(v) = -2*v**3 + 16*v**2 - 4*v + 15. Suppose 6*f - 11*f + 35 = 0. Does 6 divide q(f)?
False
Suppose 0 = -6*b + 15*b - 180. Does 28 divide 2/4 + 7 + 4890/b?
True
Let k(w) = w**3 - w**2 - 8*w + 50. Is 25 a factor of k(0)?
True
Suppose 14*x - 17*x + 3 = 0. Is 49 a factor of (-5800)/(-12) + x/(-3)?
False
Suppose -h = -0*h - r - 529, -4 = -r. Suppose h = 2*w - 597. Is w a multiple of 8?
False
Let u = -45 + 52. Suppose -13*s + u*s = -1590. Suppose s = 6*l - l. Does 20 divide l?
False
Let n(k) = -12 - 4*k**2 + 0*k**2 - 3*k**3 + 4*k**3 + 84*k - 86*k. Let u be n(5). Suppose -f - 79 = -2*s, f - 5*f + 124 = u*s. Does 10 divide s?
True
Suppose -5*a + 511 = 2*m, -17*a + 15*a + 256 = m. Suppose 9*i - 1518 = -m. Is i a multiple of 20?
True
Suppose -p - 20 = 3*p, 2*t + p = 1. Let w be (5 + 1)/(t - 1). Let a(n) = 7*n - 10. Is a(w) a multiple of 2?
False
Let f(k) = k**3 + 7*k**2 - 17*k + 7. Suppose -62 - 37 = 11*c. Let m be f(c). Is (m/(-4))/(5/70) a multiple of 3?
False
Let z = 58 - 54. Suppose 0 = 2*r + 2*u + 4, -r + z*r - 3*u - 18 = 0. Suppose 0 = r*c + 7 - 41. Is 2 a factor of c?
False
Let a be (-25 - -19)*(-160)/6. Suppose 0 = -5*h + 2*c + 712, h + 3*c - a = -c. Is 60 a factor of h?
False
Suppose -13*l = -35*l + 1760. Let g = l + 2. Is 3 a factor of g?
False
Suppose -19075 = 10*d + 1185. Let v = d - -3130. Is v a multiple of 46?
True
Let c = 143293 + -85261. Does 31 divide c?
True
Let h = -26667 + 50985. Is 208 a factor of h?
False
Let t = -686 + 695. Is 77 a factor of (-6148)/(-10) - t*(-4)/30?
True
Let d(b) = b - 19. Let p = 62 - 40. Let a be d(p). Suppose 4*c + 5*w - 417 = -0*c, -330 = -a*c + 2*w. Does 43 divide c?
False
Let p(h) = 8*h + 1. Let w(x) = 37*x - 462. Let l(r) = p(r) - w(r). Is 11 a factor of l(11)?
False
Let x = -1156 + 642. Does 16 divide (10 - 6) + x/(-6)*3?
False
Suppose 9*v - 42*v = 33528. Let k = -400 - v. Is 18 a factor of