-6901 - -9691. Does 27 divide k?
False
Let b be 8/((-7)/((-42)/(-4))). Let t be 142/7 + b/42. Is 6 a factor of t + 1 + 1 - -2?
True
Let a(u) = -43 + 19 - 7*u + 28 + 87*u. Is a(6) a multiple of 44?
True
Suppose -44*t = 79 - 343. Let p(u) = -u**3 + 10*u**2 + 2*u - 84. Does 8 divide p(t)?
True
Suppose -2*r - 4*i + i + 24 = 0, -2*r = -3*i. Is -2 + (-620)/(-35) + r/21 a multiple of 2?
True
Let z(i) = -i**2 - 2*i + 12. Let q be z(-5). Let n be q + 6 + -4 - 1721. Is 3/(-15) - n/10 a multiple of 12?
False
Let k(m) = -194*m - 359. Does 9 divide k(-22)?
False
Let b be ((-7)/2)/((-6)/12). Let k = 9 + b. Suppose -19 = -5*v + k. Is 4 a factor of v?
False
Suppose 366140 = 124*h + 85528. Is h a multiple of 99?
False
Let q = 10019 + -7647. Does 25 divide q?
False
Suppose k + 9 = 3*h - 2*k, 0 = h + 4*k - 13. Suppose a + b + 21 = 6*b, h*a = b + 15. Is 27 a factor of 3/6 + (446/a - 4)?
True
Let d = 202 + -200. Suppose 5*z = -5*f + 1155, 242 = -d*f - 3*z + 705. Is f a multiple of 38?
False
Suppose 0 = -3*b - y + 1, -y + 2 = 5*b + 1. Suppose 3*d + b*d = 369. Let h = 3 + d. Does 9 divide h?
True
Suppose 4*d - 12 = -3*j - 3, -4*d - 5*j + 7 = 0. Suppose u = d, 4*o + o - 3*u + 24 = 0. Is 15 a factor of o/1*1467/(-27)?
False
Let i be -44 + 442 + (1 - -2). Suppose 5*v - 4*n - 1309 = -310, 2*v - 3*n = i. Is 26 a factor of v?
False
Suppose 3*i - 3*h = -3, -2*h - 5 + 11 = 0. Suppose i*k = 8 - 12. Let p = k + 22. Is 3 a factor of p?
False
Let v(i) = -i**2 - i + 3. Let j be v(14). Let y = -57 - j. Suppose 2*m = 8*m - y. Is 25 a factor of m?
True
Let h = 19 - 15. Suppose 2514 = 5*u - h*x, 5*u + 2*x - x - 2534 = 0. Is u a multiple of 16?
False
Let r(y) = 9*y**3 - 5*y**2 + 41*y - 128. Does 12 divide r(7)?
False
Let o(p) = -p**2 - 36*p - 34. Let x(g) = -2*g - 46. Let d be x(-8). Is o(d) a multiple of 17?
False
Suppose -72*j + 17939 = -39661. Is j a multiple of 80?
True
Suppose 0 = 2*c - 10, -3*c - 17 = -2*l - 6*c. Suppose 0 = h + 1 + l. Is ((-1908)/24)/(3/h) a multiple of 7?
False
Suppose -22344 = -5*g - 4*o, 5*g + 3*o - 19275 = 3068. Is 13 a factor of g?
False
Suppose 0 = 11*s - 2*s - 189. Let r = -2 + s. Suppose -4*f = -j - f + 17, 2*f + r = j. Is 8 a factor of j?
False
Suppose 0 = -2*p - 861*h + 862*h + 22703, h = -p + 11356. Is p a multiple of 36?
False
Let k = -6411 - -10806. Is 11 a factor of k?
False
Suppose -31*l + 15 = -26*l. Suppose 3*h - 519 = -l*q, -4*q = 17*h - 12*h - 695. Is 17 a factor of q?
True
Let u(k) = -24*k + 726. Is u(9) a multiple of 6?
True
Let h = 3303 + -2718. Is h a multiple of 15?
True
Let c = 35249 + -26933. Is 14 a factor of c?
True
Suppose 5*f - 4773 - 2162 = 0. Suppose -q = -3*b + f, -q = b + 47 - 516. Is 14 a factor of b?
False
Let r(s) = s**3 - 5*s**2 - 11*s + 2. Suppose 77*p = 82*p - 45. Does 26 divide r(p)?
False
Let v = -402 + 416. Does 2 divide 249/6 - 35/v?
False
Suppose -2*v = 2*h - 624, -v + 238 = 4*h - 74. Is v a multiple of 3?
True
Let h(b) = b**2 - 144*b + 835. Does 38 divide h(-39)?
False
Suppose w - 9 + 0 = 0. Let z be w/(-12)*2*28/(-6). Suppose z*o - 1093 = -148. Does 13 divide o?
False
Let f = 219 + 2553. Suppose -1100 + f = 8*v. Is v a multiple of 11?
True
Let u(m) = -5*m**3 + 37*m**2 - 2*m - 28. Let h(k) = 2*k**3 - 12*k**2 + k + 9. Let g(n) = 8*h(n) + 3*u(n). Does 30 divide g(-6)?
True
Suppose c - 3 = -t - 3*t, 3*c + 15 = 0. Suppose -l = -t*h + l, 4*h - 2*l = 4. Is ((2 - 3) + 2)*(h + 26) a multiple of 14?
True
Let v(f) = -f**3 + 7*f**2 + 8*f - 8. Suppose 113*l - 10 = 115*l. Does 14 divide v(l)?
True
Is -7 + 35954 - (-104 + 103) a multiple of 76?
True
Suppose 77*b - 73*b = 10540. Suppose -b = -3*d + g, 3512 = 4*d - 5*g + 3*g. Does 47 divide d?
False
Suppose 2*k = -2*k - 112. Let a be (42/k)/((-1)/2). Suppose 6*t - t - 125 = -a*v, 0 = 4*v + 5*t - 165. Is v a multiple of 40?
True
Let u = -15359 - -15512. Does 2 divide u?
False
Let j(n) be the first derivative of 2*n**2 - 159*n + 4. Let r be j(0). Let p = -96 - r. Is 9 a factor of p?
True
Suppose 0 = -131*f + 3206545 + 4278926. Is 45 a factor of f?
False
Let z = 36252 + -22511. Does 19 divide z?
False
Let x = 1150 + 6011. Is 17 a factor of x?
False
Suppose -9395 - 3649 = -3*a. Suppose 4*i + 2*w = -8692, 2*i - 3*w + a = -5*w. Is 21 a factor of (-3)/4 + i/(-16)?
False
Let c(g) be the second derivative of 9*g**3/2 - 24*g**2 - 95*g. Is c(29) a multiple of 49?
True
Suppose 6*g = 5*g + 94. Suppose -26*j - g = -27*j. Is j a multiple of 7?
False
Let m be (2 + -3)*8566*2. Is m/(-34) + 196/1666 a multiple of 18?
True
Let n = 154 + -217. Let k = n - -63. Suppose k = -6*t + 12*t - 450. Is t a multiple of 25?
True
Let f be 100/28 + ((-18)/(-14))/3. Suppose p + 8 = f. Is 0 + (p - -3) + 75 a multiple of 22?
False
Suppose 3*z - 11*z = -64. Suppose z + 12 = 5*x. Suppose 2*f = x*f - 206. Is f a multiple of 26?
False
Let a be (3 - -1) + -1 + 2748. Let g = -1938 + a. Does 13 divide 4/6 - g/(-9)?
True
Let l = -18 - -26. Let n be 18/l*216/(-81). Is 38 a factor of (3/n)/(1/(-226))?
False
Let x(f) = -165*f - 5. Let a be x(-9). Suppose 0 = -5*y + a + 20. Suppose -8*v + 60 = -y. Is v a multiple of 15?
True
Let y be (-3)/(65070/21693 - 3). Suppose -2*p - 3*p + 2*h + y = 0, -4*h = 2*p - 2878. Is 26 a factor of p?
False
Is ((-2)/1)/(1/3 + 330309/(-989793)) a multiple of 11?
False
Let c(i) = -i**3 - 6*i**2 - 3*i - 12. Let s be -5 + 1 - (-4)/(-2). Let l be c(s). Suppose -3*f + d = l*d - 95, -f = 3*d - 33. Is f a multiple of 6?
True
Let t(o) = -o**3 - 11*o**2 - 12*o. Let r be t(-10). Does 19 divide 57/(r/15 + -1)?
True
Let b = 122 - 122. Suppose -34*x + 6056 + 12712 = b. Is 12 a factor of x?
True
Let a(d) = 4*d**3 - 4*d**2 - 6*d + 10. Does 6 divide a(2)?
False
Let u = 206 + -206. Suppose -6*a - 2*d + 858 = -4*a, a - 3*d - 441 = u. Is 27 a factor of a?
True
Let w(z) = -2*z + 1. Let i be w(-1). Suppose 3*l + 5*n - n + 16 = 0, 12 = i*l - 3*n. Suppose -3*a = 15, l = -3*f - 0*f + a + 74. Does 5 divide f?
False
Suppose 4*d = 11685 + 2523. Suppose -198*y + d = -190*y. Is 12 a factor of y?
True
Let i(m) = 115*m**2 - 29*m + 170. Does 91 divide i(11)?
False
Suppose 0 = 4*b + b + 7*b - 97056. Is 19 a factor of b?
False
Suppose -122578 = -17*m + 146926 - 70859. Does 197 divide m?
False
Is (2 - 238)*(12 - 74)*(-6)/(-8) a multiple of 59?
True
Let g(z) = -z**3 + 8*z**2 - 9*z + 6. Let m be -3*1/(-3)*7. Let s be g(m). Is 8 a factor of (-1)/((-6)/628) - s/6?
False
Let i(r) = 4*r**3 + 27*r**2 - 122*r + 16. Is 16 a factor of i(6)?
True
Suppose k = 5*d + 10448 + 1323, -58907 = -5*k - d. Does 153 divide k?
True
Suppose 0 = 40*i + 25*i - 246740. Is 52 a factor of i?
True
Let p = 71 + -51. Suppose 7*q - p = 1. Suppose 76 = 3*x - 2*x - q*m, -m = -x + 70. Does 9 divide x?
False
Does 3 divide (-34)/3*(3102/(-12) + -16)?
True
Let t(q) = 2*q**2 - 12*q + 7. Let w be 20/3 + (-2 - 24/(-18)). Let m be t(w). Is (-30)/21*-12*m a multiple of 8?
True
Let d(w) = -18*w**3 + w**2. Let h be d(-2). Suppose 9*x = -81 + 495. Let v = h - x. Is 17 a factor of v?
True
Suppose 26480 = -104*g - 61600 + 418696. Is g a multiple of 14?
False
Suppose 5*j = -15, -5*t + 8*j = 3*j - 30. Suppose -t*z = 2*z - 25, -z + 141 = 2*c. Is c a multiple of 4?
True
Let w = 67 + -258. Suppose -11*f + 2808 = -3*f. Let a = w + f. Does 40 divide a?
True
Let c be (-1)/(2/(-6)) - (2 + -4). Suppose -2*t + c*o + 26 = -0*t, t = 2*o + 11. Suppose -6*q = -t*q - 144. Does 12 divide q?
True
Let w(q) = -9*q**3 - 34*q**2 + 5. Suppose 4*c - 41 = -57. Is 5 a factor of w(c)?
False
Suppose 4562 = -2*w + 4990. Does 126 divide w?
False
Suppose 84 = 505*x - 512*x. Is x/(-4) + -1 - (1 - 922) a multiple of 13?
True
Suppose 5*v = -5*b, -3*b + 4*b - 4 = -3*v. Let z(n) = -3*n**2 + 16*n - 24. Let c(f) = f**2 - 5*f + 8. Let x(o) = v*z(o) + 7*c(o). Does 10 divide x(5)?
False
Suppose 5*k - 14 = -3*z, 7*z - 4*k = 12*z - 45. Suppose -4*v = 2*m - 1866, 10*v + m + 1407 = z*v. Does 26 divide v?
True
Suppose 13170*h - 13141*h = 13050. Is h a multiple of 15?
True
Suppose -53*r - 1813440 = -213*r. Is r a multiple of 231?
False
Let p(c) = -27*c + 10 - 25 - 52. Is p(-13) a multiple of 38?
False
Suppose 0 = -h - m + 484 - 1743, -h + 3*m - 1263 = 0. Is (1/5)/(1/(-5))*h a multiple of 35?
True
Let f(c) = -c**3 - 2*c**2 + 83*c + 14. Is f(-12) a multiple of 3?
False
Let s be 6/(-4)*428/(-6). Let n = -558 - -551. Is s*2 - 1