 -11. Suppose -4*j + 9 = z, 34 - c = -5*z + 3*j. Does 63 divide h(z)?
False
Suppose -6*m - m - 70 = 0. Let u be (m - -169) + (0 - -4). Let d = -2 + u. Is 15 a factor of d?
False
Does 25 divide 2449/7 - (-11 - 1216/(-112))?
True
Let q(r) = 41*r + 243. Let l be q(33). Suppose -3*k - 3*v = -2394, 0 = 2*k - 6*v + v - l. Is k a multiple of 79?
False
Suppose -d + 3*d + 28 = -2*z, -5*z = -10. Let g(l) = -l - 9. Let r be g(d). Suppose -12*w + 270 = -r*w. Is 19 a factor of w?
False
Let m be 6/(-21) + 39216/56. Suppose l + 298 = -m. Does 25 divide l/(-10) - (-2)/10?
True
Suppose -5*q - 4*g + 1488 = 0, -2*q + 7*q - 2*g - 1506 = 0. Is q a multiple of 5?
True
Let i = -398 + 545. Let g(p) = 7*p**2 + 8*p - 6. Let j be g(-6). Suppose -3*d + j = -i. Is d a multiple of 14?
False
Let y = -3425 + 5516. Suppose -y = -5*s - 116. Is 11 a factor of s?
False
Let n be (-14*(-30)/(-525))/((-1)/140). Suppose -k - 2*f + 6 = -3*k, 4*k + 2*f - 6 = 0. Suppose 3*a = t - n, 2*t - 3*a - 90 - 122 = k. Is t a multiple of 20?
True
Let r = 15858 + -11218. Does 57 divide r?
False
Let f(d) = d**3 + 57*d**2 + 64*d - 588. Is 98 a factor of f(-54)?
True
Let c(z) = -z**3 + 2*z**2 - 3*z + 21. Let a be c(5). Let i = a + 174. Is 11 a factor of i?
False
Suppose -4*g = -2*g - 4*r - 37216, 4*r - 74372 = -4*g. Does 22 divide g?
False
Let d(o) = 4*o**3 + 3. Suppose 0 = 4*q - 3*q - 5*k + 8, -k = -5*q + 8. Let y be d(q). Suppose -396 = -38*h + y*h. Is h a multiple of 19?
False
Let t(u) = -27*u - 5. Suppose -3*c = 2*p + 80, -p - 4*c = -2*p - 40. Let j = -45 - p. Is t(j) a multiple of 26?
True
Suppose -k = 4*l - 23617, -161*k + 94468 = -157*k + 4*l. Is k a multiple of 36?
False
Let p(o) = o**2 - 19*o - 35. Let x = 12 + 9. Let g be p(x). Suppose 4*u + i - 107 = 0, 3*u = -g*i + 2*i + 76. Is 6 a factor of u?
False
Let v(p) = -p**3 - 8*p**2 + 17*p - 20. Let y be v(-10). Suppose 4*c - 5*j = -0*c + y, -j - 2 = 0. Is (0 + 3 - c) + 127 a multiple of 10?
True
Let z = -102 - -307. Let l = -376 + z. Let y = l - -398. Is y a multiple of 24?
False
Let t be ((-6)/(-3))/(5*(-2)/15). Suppose 3*f + 5*h = -55, f + h = 2*h - 21. Does 32 divide ((-124)/f + t)*50?
True
Let j be -1 - -37*(-2 + 3). Let y be 5/2 - (j/8)/9. Suppose y*v - 6*v = -x + 18, 0 = -5*x - 3*v + 67. Is x a multiple of 7?
True
Let w = 39 + -32. Let v be 14/10*35/w. Suppose 0 = -3*i + 4*n + 28, v = -4*i - 5*n + 3. Is i a multiple of 4?
True
Suppose -10998 - 423 = -47*g. Is g a multiple of 3?
True
Let n(o) = -o**2 + 112*o + 734. Does 9 divide n(55)?
False
Suppose -4*r + 4*x = -3344, 2*r - 6*r - x = -3364. Is 8 a factor of r?
True
Let l be (4 + 36/(-15))*750/(-4). Is 1/(-6) + (-129950)/l a multiple of 26?
False
Let t(h) = h**2 - 9*h + 18. Let j be t(4). Let f be -28 + -1 + 3 + j + -4. Let r = 22 - f. Is 9 a factor of r?
True
Let x be 2*(-1 + (-4 - -6)). Let u be 9 - (x + 2) - 3. Suppose -m + 65 = -7*p + u*p, -2*m - 3*p + 78 = 0. Does 13 divide m?
False
Let v = 3423 - 2375. Let m = -724 + v. Does 81 divide m?
True
Suppose 0 = -4*x + 5*y + 16, 2*y = -5*x + 3*y - 1. Let i be -6*(-14)/12 - (-4)/x. Let t(s) = 4*s**3 + 3*s**2 - 5. Is t(i) a multiple of 34?
False
Suppose 5*l = 4*y - 1123 - 11698, 3*y - 3*l - 9615 = 0. Suppose 21*f - 27*f + y = 0. Is f a multiple of 55?
False
Let o(d) = -d**2 + 2*d + 7. Let u be (-14)/(-10) + (-2)/5 - -3. Let i be o(u). Is 16 a factor of -2 + 68 + i - (6 - 5)?
True
Let c(a) = 2*a**3 + 8*a**2 - 239*a + 10. Is c(11) a multiple of 66?
False
Suppose -8134 = -8*t + 8386. Is t a multiple of 35?
True
Let x(l) = -1429*l + 3044. Is 6 a factor of x(-4)?
True
Suppose -8 = s + 98. Is 17 a factor of 2/(-6)*(-4 - s)/(-1)?
True
Suppose -326*o + 462080 = -250*o. Does 18 divide o?
False
Suppose 0 = 24*g - 90212 - 64636. Is 24 a factor of g?
False
Suppose 0 = 2*f - 2*d - 1 - 1, 5*f = 2*d + 5. Let l be 2/f + 1 + -192. Does 11 divide 0 - (l/2)/(21/28)?
False
Suppose -10 = -5*a - 5*a. Let v = 1 + -4. Does 6 divide (v - 30)*-1 - a?
False
Suppose u - 197 - 1726 = -2*x, 3*x = 3*u - 5751. Does 19 divide u?
True
Let b(t) be the first derivative of t**3/3 + 5*t**2 + 61*t - 59. Is 3 a factor of b(-8)?
True
Let t be 80/13 + 6/(-39). Let l be (3/6*t)/(6/18). Suppose -l*y + 767 = 4*y. Is 17 a factor of y?
False
Let m(i) = i**3 + 14*i**2 + 12*i + 29. Let q(g) be the third derivative of g**5/60 + 2*g**4/3 + 5*g**3/2 - 4*g**2. Let w be q(-14). Is 42 a factor of m(w)?
True
Let v be ((-10)/20)/(1/10). Let x(k) = -k**2 - 7*k + 4. Is x(v) a multiple of 7?
True
Let z(r) = r**3 + r - 126. Let v be z(0). Is (708/(-42))/(6/v) a multiple of 20?
False
Suppose -3*b + 2 = 3*h - 2*h, -2*b + 10 = 5*h. Does 23 divide 203 + b + 9 + -7?
False
Let w(h) = 13*h. Let m = -72 - -75. Suppose -m*q + 3 = -18. Does 13 divide w(q)?
True
Let q(f) = -2*f**3 - 20*f**2 - 7*f - 10. Does 48 divide q(-10)?
False
Suppose -4*b + 68 = 4*r, -2*b = 4*r + b - 66. Let t be 9 + (-5)/r*-3. Let v(y) = -y**2 + 10*y + 34. Is 12 a factor of v(t)?
False
Let h(q) = -q**3 - 10*q**2 - 8*q + 160. Does 81 divide h(-21)?
False
Suppose 0 = -6*l + 3*l + 6. Let q(f) = f**3 + 21*f**2 - 53*f - 149. Let m be q(-23). Suppose -l*a + m = -y + 2*y, 3*y - 4*a = 36. Is 11 a factor of y?
False
Is (-1)/(-2) - ((-7)/(-7) - 3257/2) a multiple of 74?
True
Let x be (-184)/(-1)*5/((-25)/(-20)). Suppose 6*m = 350 + x. Does 10 divide m?
False
Let l be 108/(-45)*3/(3/115). Let y = l + 980. Is y a multiple of 16?
True
Suppose 2*m - 65 = -3*h - 2*m, -3*h - 2*m + 55 = 0. Suppose -55 = -8*v - h. Suppose 0*n + 2*b - 161 = -v*n, -b - 101 = -3*n. Does 17 divide n?
False
Let c(d) = -9*d**3 - d**2 - d. Suppose 44*k = 49*k + 30. Let s be (k/7)/1 + 2/(-14). Is c(s) a multiple of 2?
False
Let u(c) = -c**3 - 6*c**2 - 3*c - 11. Let i be u(-7). Suppose -2*m = -2*b - 72, -92 = -62*m + i*m - 5*b. Does 2 divide m?
True
Let a = -884 - -1350. Does 8 divide a?
False
Suppose 0 = -16*o - 6*o - 101*o + 2440074. Does 109 divide o?
True
Let k = 425 - 422. Is 32 a factor of (-80)/k*(-390)/25?
True
Suppose 0 = -2*c - 8391 + 31377. Is c a multiple of 4?
False
Let g be 19/(-5) + 0 - (-2)/(-10). Let h(f) = 3*f + 9. Let w be h(g). Let c(n) = -8*n**3 - n**2 - n - 4. Is c(w) a multiple of 10?
False
Suppose -2*g + 0*g = 320. Suppose -29*c + 46*c = -2*o - 263, 0 = -4*o + 4*c - 412. Let m = o - g. Does 27 divide m?
True
Suppose 13425804 = 186*r - 100*r + 110*r. Is 43 a factor of r?
True
Is 11 a factor of (-44)/(-99) - 160/(-45) - -5529?
True
Suppose 100 = s - 5*z, -s + 2*z = -90 - 19. Suppose -2*r = -4*p + 3*r + 285, -2*p - 3*r + s = 0. Is 6 a factor of p?
False
Let y(z) = 191*z**2 - 28*z + 22. Is y(-13) a multiple of 30?
False
Let i(j) = 41*j - 12. Let r(g) = -g**3 + 8*g**2 + 2*g - 22. Let v be r(8). Let m(h) = h**3 + 7*h**2 + 5*h - 1. Let a be m(v). Does 36 divide i(a)?
False
Let y(n) = 70*n**3 - n**2 + n. Let v(o) = -o**3 + 2*o**2 + 5*o - 4. Let c be v(3). Let j be c/4 + (-1)/4*-2. Does 5 divide y(j)?
True
Let h be (1 + 443)/(27/8 + -3). Suppose 54*c - 50*c - h = 0. Does 8 divide c?
True
Let b(n) = -96*n - 5. Let o be 178*-3*(-1)/(-6). Let w = 88 + o. Does 9 divide b(w)?
False
Suppose 70*n + 19*n + 30*n - 1061718 = 0. Is 32 a factor of n?
False
Suppose -5*l - 1722*t = -1720*t - 38707, 0 = -t + 6. Does 45 divide l?
False
Let c(d) = 1499*d**2 + 27*d - 55. Does 5 divide c(2)?
True
Let u = -43 + 46. Suppose 5*z + 77 = z + u*i, 3*z = -5*i - 94. Let w = 1 - z. Does 14 divide w?
False
Let a(z) = -4*z**3 - 8*z**2 - 10*z - 36. Let k be a(-5). Let o = -339 - -189. Let p = o + k. Is p a multiple of 34?
False
Suppose -2*l = -z - 5 + 7, -l = z + 1. Suppose -7*h + 151 - 116 = z. Does 4 divide h?
False
Let y = 6038 + -2486. Is y a multiple of 48?
True
Let v(h) = h**3 - 6*h**2 + 4. Let z be v(6). Suppose -z*d = 4*y - 1548, 5*d - 269 - 1701 = 2*y. Let w = d - 187. Does 11 divide w?
False
Let a be 1*-2 + 1 - 1. Suppose b - x = 0, 17 = -3*x + 11. Is (-225)/(-18) + a + (-3)/b a multiple of 4?
True
Suppose 4*q + 4896 = 2*y, 0 = 4*y - 3*q + 2*q - 9792. Does 16 divide y?
True
Let m(u) = -13*u - 340. Let a(x) = -3*x - 85. Let w(v) = 9*a(v) - 2*m(v). Let b(z) = -2*z - 86. Let c(y) = 2*b(y) - 3*w(y). Is c(0) a multiple of 21?
False
Let j = 38288 - 21264. Is j a multiple of 76?
True
Does 12 divide 1368/304 - 12749/(-2)?
False
Suppose l = 4*r + 24899, 3*l - 5*r = 10464 + 64226. Is 144 a facto