43. Suppose 792 = -q*d + n*d. Is d a multiple of 11?
True
Let c = 41 - 36. Suppose h - 3*b - 64 = -4*h, 52 = c*h + b. Let t(j) = -j + 22. Does 2 divide t(h)?
False
Let s = 17325 - 9125. Does 8 divide s?
True
Let y(d) = 13*d**2 - 5*d + 9. Suppose 11*p + 135 = 6*p. Let j = 29 + p. Is y(j) a multiple of 8?
False
Suppose 0 = -3*x + 3*m + 101160, -3*x + 24*m = 28*m - 101202. Does 21 divide x?
True
Suppose 19*g - 528 = 7*g. Is 11 a factor of g*6/4*(-299)/(-78)?
True
Let f(g) = -14*g**2 + 17*g - 291. Let h(j) = 5*j**2 - 5*j + 97. Let w(t) = -3*f(t) - 8*h(t). Does 17 divide w(-13)?
True
Suppose 12*t - 72 = -6*t. Suppose -t*y + 443 + 552 = 3*s, y = -4*s + 1305. Is 26 a factor of s?
False
Let l be (-14)/(-3) + (-6)/(-18). Suppose l*t - 158 = 3*t. Suppose 0 = w - t - 47. Is w a multiple of 18?
True
Let o = 246 + -221. Suppose -6*v = -o*v + 7733. Does 4 divide v?
False
Let u(b) = 11*b**3 - 5*b**2 + 11*b + 3. Let z = 168 + -165. Is 12 a factor of u(z)?
True
Suppose -26*c + 89271 = 133262 - 408563. Is c a multiple of 114?
True
Let d(m) = 5*m**2 + 7*m + 51. Suppose -30 = 5*i + 5*s, -13 = 4*s - 5. Does 16 divide d(i)?
False
Suppose -106*m + 100*m + 60 = 0. Suppose -m*t + 4851 = -3*t. Is 26 a factor of t?
False
Let u(s) = -s**3 + 26*s**2 - 5*s + 12. Let g be (-845)/(-45) + (-2)/(-9). Let m be u(g). Suppose m = 7*b + 610. Is 15 a factor of b?
False
Let x(y) = -15*y - 163. Let f(g) = 26*g + 244. Let u(k) = 5*f(k) + 7*x(k). Does 4 divide u(4)?
False
Let u(z) = -29*z**3 - 7*z**2 - 3*z + 18. Let r be u(8). Is (-28)/8*r/49 a multiple of 14?
False
Does 19 divide 0 + (-38808)/(-20) - 3/(-5)?
False
Suppose 0 = 4*q - 2*w - 2352, -14*q + 11*q - 2*w + 1771 = 0. Let t = 952 - q. Does 33 divide t?
True
Let k = 134 + -131. Is (k/15)/((-17)/(-3655)) a multiple of 43?
True
Let b(l) = -2*l**3 - 14*l**2 - 31*l + 10. Let z be b(-8). Suppose -4*v - 2*q + z = 0, 6*v - q - 191 = 4*v. Does 3 divide v?
True
Let w be (-18)/5*(9 + 1). Let y = 22114 + -22209. Let t = w - y. Is t a multiple of 12?
False
Suppose t + 22 = -0. Let k = 7 + 78. Let c = t + k. Does 21 divide c?
True
Let s(j) = j**2 + 11*j + 21. Let q be s(-7). Does 16 divide 6*(-1)/q - (-16416)/399?
False
Is 48 a factor of (12 - 20)*(-36728)/64?
False
Let w(o) = -1431*o + 6993. Is 9 a factor of w(-7)?
True
Suppose -4*x = -5*k + 7678, 8 = -x + 6. Is 26 a factor of k?
True
Suppose -13*a = -37 - 15. Suppose -2*d + 7*d - 69 = -a*c, -4*d + 4 = 0. Let f(p) = 2*p**2 - 19*p + 2. Is f(c) a multiple of 15?
True
Let f be -1*2/((-8)/12). Suppose 0 = 2*o + 3*o + 4*a - 15, 0 = f*o - 2*a - 9. Suppose o*u = -3*u + 192. Is u a multiple of 8?
True
Let a = -4 - -23. Suppose -d + 15 = a. Is 6/d*(-10)/(-3)*-2 a multiple of 5?
True
Let g = -22 + -26. Let f = -40 - g. Does 2 divide (-2)/f + (-441)/(-36)?
True
Let y be (-5 + 12 + -7)/1. Suppose -27*c + 19*c + 1720 = y. Does 4 divide c?
False
Let c(n) = -n + 11. Let d be c(-13). Let y = 22 - d. Is 18 a factor of -1*(-17 - y/((-4)/6))?
False
Suppose 0 = -19*l + 11987 - 3171. Is 6 a factor of l?
False
Let p = -4325 - -7733. Is p a multiple of 71?
True
Let x = 83 + -88. Let q be 105*x*(4 - 5). Let o = -296 + q. Is 32 a factor of o?
False
Suppose -470*q = -446*q - 762720. Is 140 a factor of q?
True
Suppose 4*r + g = 13102, -314*r = -319*r - 3*g + 16374. Is 84 a factor of r?
True
Let x(r) = r**3 + 12*r**2 - 12*r - 17. Let d be x(-13). Let o = d + 36. Suppose 0 = o*w - 0*w - 810. Does 15 divide w?
True
Suppose -3*t = -j - 5296, -2*t - 214 = 3*j - 3741. Does 6 divide t?
False
Suppose -8*s + 386 = -3*s - 2*j, 3*s + j - 225 = 0. Let m = s + 44. Does 40 divide m?
True
Let q(f) = 2*f**2 + 208*f - 12. Is 128 a factor of q(16)?
False
Suppose -3*u = -5*t - 52, 10 = -5*t + 3*t. Suppose u*h - 5*h = 24. Suppose 0 = -h*z + 3*z + 51. Is 6 a factor of z?
False
Let k(s) = s**3 - s**2 - 10*s - 5. Let o be k(-5). Let g = -237 - o. Does 15 divide g/(-9) - 2/(-6)?
True
Let a(w) = w**3 - 11*w**2 + 15*w - 14. Let r be a(6). Let d = 94 + r. Let g = d - -105. Is g a multiple of 5?
True
Suppose -9*f + 3823 = -4*f - 2*i, -f = 2*i - 755. Let g be ((-1)/3)/(2 + f/(-381)). Let l = g + -91. Does 21 divide l?
False
Suppose 60*b = 64*b - 26928. Is 99 a factor of b?
True
Let a(n) = 144*n + 40. Let f be a(-3). Is -12 + f/(-32) + (-166)/(-8) a multiple of 20?
False
Let v = -25520 + 38204. Is v a multiple of 31?
False
Suppose -27*k + 66385 = -23525. Does 90 divide k?
True
Let w(z) = 556*z + 2232. Is w(39) a multiple of 17?
False
Suppose 5*f - 15 = a, f - 5 = 5*a - 2. Suppose 2*q + k + 23 = -0*k, -2*k = f*q + 33. Let d = q + 36. Is d a multiple of 11?
False
Suppose 51*n - 219492 = -83*n. Is n a multiple of 78?
True
Let j = -2001 + 697. Let a = -692 - j. Does 7 divide a?
False
Let l = -37 - -31. Let y be (-1142)/(-15) - l/(-45). Suppose -4*i + 112 = -y. Is i a multiple of 10?
False
Let n(o) = -5*o**2 + 216*o - 38. Is n(37) a multiple of 7?
False
Is 2128/(-21)*54/18*74/(-8) a multiple of 19?
True
Let c = -9 - -4. Let p(x) = -x**3 - 5*x**2 + x + 8. Let h be p(c). Suppose h*r = r + 114. Is 57 a factor of r?
True
Let t(w) = -w**3 + 31*w**2 - 19*w + 16. Let n be (30/(-25))/((-6)/140). Is t(n) a multiple of 19?
False
Suppose 85*p - 32 = 77*p. Let v be -3 + 10 - (3 - (-4 + p)). Suppose 8*x + v*x = 924. Is x a multiple of 11?
True
Suppose -3*m - 85 = 2*m. Suppose 3*l = 12*l - 549. Let t = l - m. Is t a multiple of 26?
True
Let j be ((-90)/21)/((-10)/1330). Let s = j - 399. Does 5 divide s?
False
Let b be (-2032)/32*3/(3/(-4)). Suppose -2*l = t - b, -4*t + 9*l + 1016 = 7*l. Does 36 divide t?
False
Let o(u) = -2*u + 3*u + 68 + 10*u + 20*u. Is o(7) a multiple of 21?
False
Suppose -7*s = 4*s - 539. Suppose 0 = 4*p + 2*t - 238, 2*p + 0*t = 3*t + 139. Let q = p - s. Is q a multiple of 4?
False
Let t = -103 - -109. Does 21 divide (t - 4)*(-46)/(-2)?
False
Let l(j) = -2*j**3 - 14*j**2 - 134*j + 139. Is 13 a factor of l(-22)?
False
Suppose 7*l - 3*a - 18 = 2*l, -l = 5*a + 2. Let t(w) = 8*w**3 - 4 - w + 0*w + 50900*w**2 - 25446*w**2 - 25451*w**2. Is 40 a factor of t(l)?
False
Suppose 16*c - 3759 = 652 + 5941. Is c a multiple of 4?
False
Let z(u) = u**2 + 37*u + 162. Let i be z(-32). Suppose -3*n + 12 = 0, -i*v + 0*v + n + 1326 = 0. Is 39 a factor of v?
False
Let f be ((-2)/8)/((-26)/208). Suppose -f*m - 20 = -208. Is m a multiple of 15?
False
Let z(n) = 6*n**2 - 84*n + 53. Does 37 divide z(23)?
True
Let h(b) be the first derivative of -b**3 - b**2/2 + 4. Let q be h(1). Let l = q - -34. Is l a multiple of 30?
True
Suppose 953*q + 943*q + 57820 = 1916*q. Is 7 a factor of q?
True
Suppose -13*q - 823300 = -0*q - 113*q. Is 11 a factor of q?
False
Let r = 7984 + -4971. Is 30 a factor of r?
False
Let r(q) = -q**3 + 2*q**2 + q + 11. Let c be r(0). Does 33 divide (165/10)/c - (-261)/2?
True
Let r(n) = 7*n**2 - 4*n**2 - 16 - 24 + 1771*n - 1756*n. Is r(-12) a multiple of 4?
True
Let d(p) = 4*p + 258. Let f be d(28). Let k = 653 - f. Is k a multiple of 4?
False
Suppose j - 566 - 1072 - 385 = 0. Is 7 a factor of j?
True
Suppose 12*o - 2*o - 29393 = -109*o. Is o a multiple of 12?
False
Let y be 6*(-6)/18 - -3*10. Let m = y + 110. Is m a multiple of 46?
True
Let v(k) = -k**3 + 23*k**2 + 47*k + 123. Is v(25) a multiple of 16?
True
Suppose 2 = v - 1. Suppose 43 = -v*c + 2*b, -b + 4 = c + 2*b. Let r(y) = -y**2 - 16*y - 10. Is r(c) a multiple of 15?
True
Suppose k - 7*k + 126 = 0. Let q(r) = 22*r - 7*r + 0*r**2 + k + 0*r**2 - r**2. Does 5 divide q(16)?
True
Suppose -4*i - x - 18 = 27, 5*x = 2*i - 5. Let q(c) = -19*c + 82. Does 16 divide q(i)?
True
Is 12/(-24)*2 - -1435 a multiple of 110?
False
Suppose 4*f = -20, -l - 1085 = f - 7776. Is l a multiple of 72?
True
Let k = -61 + 164. Let l = k + -92. Suppose 0 = -l*m + 13*m - 18. Is m a multiple of 2?
False
Suppose -3*w + 3*p - 32 = -p, w = p - 9. Is 11 a factor of 8925/63 - w/3?
True
Suppose j + 9 + 19 = 0. Let b = j + -17. Does 7 divide 18/b + (-384)/(-10)?
False
Let v be 3/((2/183)/((-440)/198)). Let n = 936 + v. Is 32 a factor of n?
False
Let x be 622 - (-5)/(-10)*-10. Suppose 0 = -5*f - 4*v + 1572, 0*f - v = 2*f - x. Is f a multiple of 11?
False
Let s = 43 - 41. Let d be 6 + -5 - (s + -3). Suppose -g - 156 = -d*g. Is 39 a factor of g?
True
Let o = 266 + -263. Suppose 3*y - 8*p = -11*p + 117, -y + o*p + 51 = 0. Is y a multipl