)/((-5)/(-35)). Let a = x - z. Is 14 a factor of a?
True
Let h be (1 + 1)*((-3438)/12)/(-3). Suppose 2*n = -5*y + 159, 3*n = 6*n + 2*y - 266. Let s = h - n. Is s a multiple of 11?
True
Let f = 93 + -71. Suppose 25*b = f*b + 318. Does 77 divide b?
False
Suppose -4*u + 580 = -2*v, 4*v - 217 - 508 = -5*u. Let h = 332 - u. Is h a multiple of 15?
False
Suppose -2*l = -2*k - 13982 + 140, 4*l - 27729 = -5*k. Is 133 a factor of l?
False
Let q(t) = -t**3 + 10*t**2 + 63. Let a be q(10). Suppose 1814 = 4*b + 5*u, a*b - 64*b + 3*u + 462 = 0. Does 7 divide b?
False
Let z(n) = n**3 + 16*n**2 - 3*n + 8. Suppose -p = p + 16. Let i be p/10 + 1064/(-70) + 0. Does 4 divide z(i)?
True
Let y(w) = -2*w**3 - 5*w**2 + 8*w - 4. Let s(p) = -p + 3*p**3 - 7*p**3 - 10*p**2 - 9 + 18*p. Let v(t) = -2*s(t) + 5*y(t). Is v(-5) a multiple of 6?
False
Let l be (-7 - (4 + 46824))*(-24)/(-10). Is 17 a factor of l/(-190) + (-4)/(-10)?
False
Let s(q) = -130*q + 15562. Does 31 divide s(0)?
True
Suppose -4*v = 4*v - 40. Suppose 0 = -v*a + 345 + 140. Is a a multiple of 45?
False
Suppose -8*j - 23*j + 17329 = 0. Suppose 0 = r + h - j, 48*r - 1702 = 45*r + 2*h. Is r a multiple of 15?
False
Let f(b) = 5*b**3 - 6*b**2 - 35*b - 322. Is f(11) a multiple of 4?
False
Suppose 4*h - 2264 = -2*g, -30*g = -2*h - 25*g + 1132. Is h a multiple of 9?
False
Let u(d) = -9*d + 95. Let f be u(10). Let q(h) = 7*h**2 + 17*h + 6. Is q(f) a multiple of 13?
False
Suppose 2*p = -2*p + 8. Let r be ((-2)/3)/(5/45) + p. Is 44*((-55)/20 - r) a multiple of 5?
True
Let x(d) = -89*d**2 - 25*d + 183. Let z be x(10). Is 23 a factor of (2/3)/((-14)/z)?
False
Let q(k) = -845*k**2 - 2*k + 8. Let w be q(2). Is 12 a factor of -1*(-6)/(-21) + w/(-56)?
True
Suppose 96 = 3*d + 18. Let h = -124 + 187. Let x = d + h. Is x a multiple of 22?
False
Let r = -29 - -25. Let t be (-2 - r - 1) + 2 - 35. Let h = t - -84. Is 13 a factor of h?
True
Let g be 162 - -5*9/9. Is (g - 3) + 0/2 a multiple of 8?
False
Let m be (20/(-12) - 3)*81. Let a = m + 606. Suppose -2*j = -5*f + 291, -4*f + a = -0*f - 4*j. Does 5 divide f?
False
Let s = -398 - -403. Suppose 978 + 1113 = 2*n - 3*b, -s*b = -5*n + 5235. Is n a multiple of 58?
False
Let i(x) = -x**3 + 29*x**2 + 5*x - 47. Let y = -178 - -207. Does 5 divide i(y)?
False
Let i be 700/5*183/12. Does 25 divide i/10 + (-3 - 21/(-6))?
False
Let n = 336 + 4136. Is 11 a factor of n?
False
Let y(x) = x**3 - x**2 - 30*x + 4. Let k be y(-5). Suppose -p + 332 = 3*c, 5*p - 370 - 91 = -k*c. Does 23 divide c?
False
Suppose 0 = -22*v + 113999 - 2833. Is 19 a factor of v?
False
Let z(i) = -12*i - 20. Let x be z(-2). Suppose 5*r = 2*g - 1507, -x*r = 2*g - 1617 + 137. Is g a multiple of 36?
False
Let g(h) = -h**3 + 150*h**2 + 280*h + 4785. Is 3 a factor of g(152)?
True
Let r(x) = 10*x**2 + 3*x + 2. Let k be r(5). Suppose 16*m - k = 13*m. Suppose 4*w - 5*t - 596 = -m, t - 385 = -3*w. Is w a multiple of 32?
True
Let c(h) = -h**3 + 19*h**2 + 232*h + 56. Is 8 a factor of c(27)?
True
Let k(w) = 32*w**2 - 12*w - 69. Let h be k(-6). Suppose -2*v + 3*l + 462 = -l, -5*v = 4*l - h. Does 11 divide v?
True
Let l(x) = -45*x - 6*x + 10 - 3*x - 17. Is l(-1) a multiple of 8?
False
Let c(o) be the first derivative of o**4/4 + 16*o**3/3 + 14*o**2 + 33*o - 13. Is c(-13) a multiple of 9?
False
Let r(q) be the first derivative of 20/3*q**3 - 15 - 21/2*q**2 + 1/4*q**4 + 36*q. Is 36 a factor of r(-21)?
True
Let c = 83 - 80. Suppose 0 = 3*w + 2*l - 264, c*l - 4*l = 3*w - 264. Is 44 a factor of w?
True
Let k(n) = 7*n - 26. Let h = 9 - -19. Let b be (3/2 - 0)/(6/h). Does 15 divide k(b)?
False
Suppose -2*q = 0, 2*y + q + 3*q - 4 = 0. Suppose y*u - 6*u = -616. Suppose -r = 6 - u. Does 30 divide r?
False
Suppose 3*o - 189 = -5*x, 2*o = -x + 58 - 16. Does 5 divide x?
False
Let l(f) = -138*f - 240. Is 18 a factor of l(-29)?
True
Let m(z) be the third derivative of z**6/60 - z**5/12 - z**4/3 + 3*z**3/2 - 2*z**2 + 2. Does 9 divide m(5)?
False
Let u = 2174 - 842. Suppose -2*b + u = -180. Is b a multiple of 42?
True
Suppose -3*s + 0*c = -3*c + 732, 4*s = -5*c - 1012. Let w = 307 + s. Is w a multiple of 27?
False
Let l(w) = w**2 - 21*w - 121. Does 2 divide l(-27)?
False
Let g(n) = -686*n**3 + 9*n**2 + 45*n + 35. Is 31 a factor of g(-1)?
False
Let t(c) = -c**2 - 18*c + 22. Let o be t(-18). Suppose o*l - 2278 + 474 = 0. Does 41 divide l?
True
Is 13 a factor of (-6 + 5 - -9) + 789?
False
Let s(n) = 106*n - 34. Let t(l) = -317*l + 100. Let w(a) = 17*s(a) + 6*t(a). Let v(u) = -33*u + 7. Let d(h) = -7*v(h) + 2*w(h). Is d(8) a multiple of 27?
True
Let a = 39 + -38. Suppose -5*i + 2 = v - a, 3*v + 10 = 4*i. Is 25 + -1 - (-3 - (v - 3)) a multiple of 11?
True
Let i(r) = -776*r + 1696. Is 4 a factor of i(-2)?
True
Let k(j) = 8*j**3 + j**2 + j - 1. Let y be k(4). Let i = y - 191. Is 20 a factor of i?
True
Let a(l) = -12*l + 4*l + 9 + 7*l - 11*l - 28*l. Let x(d) = d**2 - 8*d + 3. Let q be x(7). Is 13 a factor of a(q)?
True
Let q be -4*((-30)/(-8))/((-1)/25). Suppose -23*u = -18*u - q. Suppose 3*l = 432 - u. Is l a multiple of 7?
True
Suppose q = -n - 150, 5*n - 5*q - 400 = -1200. Let y = -145 - n. Does 4 divide y?
False
Suppose -w = -3*d - 0*w + 5, d - 10 = 2*w. Suppose -5*r - 12 - 8 = -5*a, -4*r + 5*a - 21 = d. Let v(q) = 11*q**2 + 3*q - 2. Does 7 divide v(r)?
False
Suppose 15*z + 227 - 692 = 0. Let n = 67 - 11. Let k = n - z. Is k a multiple of 3?
False
Suppose 2*b + 2*r = -0*b - 14, b - r - 1 = 0. Let s be 5 + b/(-6) + 9/(-18). Suppose s*y + 5*m - 45 = 0, -3*y + 3*m = 8*m - 31. Is y a multiple of 7?
True
Suppose 20*v = 22*v - s - 15789, -4*v - 3*s = -31573. Is 140 a factor of v?
False
Let q(l) = -64*l**3 + 3*l**2 - 4*l. Suppose 3*v = -23 + 8. Let i(f) = -f. Let p(h) = v*i(h) + q(h). Is 22 a factor of p(-1)?
True
Is ((-6448)/130)/(4/(-190)) a multiple of 9?
False
Let t = 521 + 6867. Does 29 divide t?
False
Let z(q) = -6*q**2 - 6*q - 57. Let r(a) = -6*a**2 - 5*a - 55. Let w(t) = -6*r(t) + 5*z(t). Does 13 divide w(-5)?
True
Suppose 0 = 136*o - 297*o + 2193464. Does 44 divide o?
False
Suppose -2178*z + 1370 = -2177*z. Does 15 divide z?
False
Let s be 1*-43*(8 + (-8 - 19)). Suppose -4*q + 2855 = -s. Does 51 divide q?
True
Let v(h) = h**3 + 10*h**2 - 14*h - 17. Suppose -11*a + 32 - 109 = 0. Let j be v(a). Suppose 5*f = 5*x + 560, -4*x = -3*f + f + j. Is f a multiple of 22?
True
Let m(f) = -89*f**3 + 34*f**2 + 31*f - 23. Does 154 divide m(-7)?
False
Suppose s - 27 + 24 = 0. Let b be (-5)/(s*1/(-96)). Suppose 0 = -4*g + 5*k + b, 5*g - 162 = -4*k + 79. Is 9 a factor of g?
True
Suppose -310333 = -29*a - 12938. Is a a multiple of 48?
False
Let a = 52 - 57. Let g = -1 + a. Does 11 divide -3 + 9 + -1 - g?
True
Does 36 divide (-5320)/(-3) + 15*(-32)/(-720)?
False
Let x(o) = 1 - 3 - 5*o + 57*o**2 - 2*o. Let c be x(-2). Suppose 0 = -8*g + 4*g + c. Is g a multiple of 20?
True
Let y be 2*2 + -12 + 8. Suppose -12*r + 2*r + 650 = y. Let h = -46 + r. Is 7 a factor of h?
False
Let a(y) = -y**3 + 29*y**2 - y + 38. Let h be a(29). Let i be 2572/h + 2/9. Suppose -i + 1294 = 3*v. Is 56 a factor of v?
True
Let n = 24 - 19. Suppose 0 = n*l - 2*h + h - 11, -1 = 2*l + 5*h. Let j = 17 - l. Does 14 divide j?
False
Let f = -140 + 156. Let u = f - -901. Is 21 a factor of u?
False
Let y be (255/(-102))/(1*(-1)/2). Suppose -4*k + 1073 = -0*k - y*f, -k - 4*f = -284. Does 14 divide k?
False
Let l(o) = o**2 + 20*o + 99. Let b be l(-12). Suppose 0*h + 4*w = 3*h - 116, 0 = b*h + w - 136. Does 5 divide h?
False
Let g be 2 + -1 + 1 - 2. Suppose 2*t - m - 153 = g, 0 = -5*t - 3*m - 2*m + 375. Suppose -4*y = -2*c + t + 28, 4*y = -12. Is 23 a factor of c?
True
Let t(r) = 532*r - 927. Does 137 divide t(12)?
False
Let s be (1 - -2) + -8 + 74 + -5. Let l be (-194)/((-20)/(-5) + -6). Let x = l - s. Does 28 divide x?
False
Let m(p) = -43*p - 254. Suppose -4*z + 100 = -5*k, -16*k = -19*k + 3*z - 63. Is 14 a factor of m(k)?
True
Let f = 4799 + 1592. Is 83 a factor of f?
True
Suppose 2*r + 14 = 4*n - 8, 0 = -n - 3*r - 12. Suppose 4*b - 16 = 5*d, 13 = -n*b - 2*b - 2*d. Does 8 divide (6/(-2))/(b/8)?
True
Does 20 divide 6/2 + (670 - (-2 + 11)) + 7?
False
Let m be 2166 + 1/3*0. Let g be (-6)/(30/(-280)*-7). Is g/36 - m/(-27) a multiple of 20?
True
Suppose -10*m = -15*m + 50. Let k(h) = -m*h - 10*h + 13*h. Does 4 div