 b. Is 9 a factor of z?
False
Let b(x) = 123*x**2 - 1. Let l be b(-1). Suppose -494 = -22*c + l. Does 4 divide c?
True
Suppose 6*p - 2*p = 0, 0 = -2*l - 4*p + 4. Suppose 0 = 3*q - l*f - 802, -4*f - 270 = -q - 6*f. Is q a multiple of 9?
False
Suppose -4*q = -f + 5*f - 32, f + 3*q - 16 = 0. Suppose 402 = 2*m - 2*x, f*m = 8*m - 5*x - 803. Does 11 divide m?
False
Suppose 8*m = 18 - 2. Suppose -5*l - 2*s - 4596 = 0, 0 = -5*l + m*s - 1161 - 3423. Does 8 divide ((-1)/(-3))/((-9)/l)?
False
Let j(a) = -38*a - 12. Let d be j(4). Let w = d + 241. Let k = 97 - w. Does 6 divide k?
False
Let k(d) = 71*d + 5. Let o be k(1). Does 29 divide 2/8 - (-6593)/o?
True
Let w(p) = -3*p**3 + 47*p**2 - 83*p + 7. Let t(v) = -2*v**3 + 31*v**2 - 55*v + 5. Let n(g) = -8*t(g) + 5*w(g). Is n(12) a multiple of 7?
False
Suppose 0 = -38230*j + 38223*j + 7476. Is 19 a factor of j?
False
Suppose 42*x - 40*x = -3238. Let d = x - -2338. Is d a multiple of 30?
False
Let t be 4*(-8)/10*(-3795)/(-22). Let f = t - -1255. Does 37 divide f?
True
Let s(i) be the second derivative of -35*i**3/6 - 45*i**2/2 + i - 33. Is 20 a factor of s(-3)?
True
Suppose 5*z = 4*x - 14 + 1, -4*x - 5*z = -3. Suppose -2*w = x*w - 64. Suppose f - w = -i, -2*i = -0*i + 3*f - 28. Is i a multiple of 15?
False
Let g(k) = -132*k + 13. Let b be g(-7). Let i be ((-3)/(-2) - (-25)/10) + 15. Suppose 253 = -i*n + b. Does 18 divide n?
True
Is (-2252)/3*(3 + -15 + 7 + 2) a multiple of 7?
False
Let q(t) = t**3 + 13*t**2 - 6*t - 9. Let a be q(-14). Let u be (0 - -2)*(99/(-6) - -1). Let x = u - a. Does 30 divide x?
True
Let t be (6 - 2) + -1 + 2/(-2). Let x be t - (2 - (-20)/(-4)). Suppose g = 3*w - 291, 5*w - 2*g = -x*g + 471. Is w a multiple of 6?
True
Suppose -4*v - 6*v + 2430 = 0. Let t be (387/(-6))/((-3)/(-6)). Let l = v + t. Is 38 a factor of l?
True
Let g = 6943 + -6614. Is g a multiple of 15?
False
Let x = -739 + 980. Let j be 901/7 - (-2)/7. Let m = x - j. Does 38 divide m?
False
Suppose -8*o = -5*o + 162. Let q = o + 54. Suppose 0 = -t + 3*k - k + 135, -5*t - 2*k + 675 = q. Is t a multiple of 7?
False
Suppose -57*t - 2581 = -166171. Is t a multiple of 10?
True
Let m = 1611 - 1021. Suppose 4*d - m = 14*d. Let i = d + 87. Does 9 divide i?
False
Suppose -2633 = -3*q - 4*y, -106*q - 1767 = -108*q - 5*y. Suppose 0 = 6*r - 2999 - q. Is r a multiple of 15?
True
Let y = -38 - -33. Let i be (-8)/((-8)/3*y/(-60)). Suppose -2*j + i = 4. Is j a multiple of 8?
True
Let w(h) = 2*h + 21. Let b be w(-11). Let i be 0/(b + -1) + (-17 - 3). Is 27 a factor of (-72)/28*(i + -1)?
True
Let c(v) be the third derivative of -v**6/120 + 13*v**5/30 - 13*v**4/8 + 14*v**3 + 141*v**2 + v. Does 60 divide c(24)?
True
Let z be ((-320)/12)/(-5)*-9. Let u = 47 - -45. Let n = z + u. Is n a multiple of 31?
False
Let x(y) = y**3 - 11*y**2 + 59*y - 28. Is x(18) a multiple of 26?
True
Let z(i) = i**3 + 47*i**2 - 119*i - 375. Is z(-39) a multiple of 93?
False
Suppose -21*l - 90 = -12438. Suppose -u - 4*u + 95 = 0. Suppose -16*o + u*o = l. Does 33 divide o?
False
Let m = -69 - -70. Let s(c) = 998*c + 2. Let n be s(m). Suppose 6*h - n = 80. Does 13 divide h?
False
Let q(y) = -y**2 - 13*y + 5. Let v be (-1)/(-2)*(-144)/12. Let t(n) = -n**3 - 5*n**2 + 5*n - 13. Let o be t(v). Does 11 divide q(o)?
False
Let j be (35/(-15))/((-1)/9). Suppose -12 = -b + j. Let h = b - 17. Is h a multiple of 4?
True
Let z(k) = -k**3 - 36*k**2 - 3*k - 103. Let o be z(-36). Suppose 0 = 5*i - f - 281, -3*f - 2*f - 285 = -o*i. Is i a multiple of 28?
True
Let r(c) = -767*c + 584. Is 192 a factor of r(-8)?
True
Is (((-4)/3)/(-2))/((-134185)/14910 - -9) a multiple of 7?
True
Suppose -951 = -c + u, 5*c - 61*u + 65*u - 4818 = 0. Is c a multiple of 16?
False
Let s(a) = -2011*a - 2878. Does 62 divide s(-15)?
False
Suppose 2*a - 919 + 905 = 0, -4*a + 34190 = 2*v. Is 11 a factor of v?
False
Is 15 a factor of (10 - 9 - 12078)*-1?
False
Let j = -117 + 118. Is 27 a factor of j/(2582/(-3882) + 6/9)?
False
Let m(v) = 6*v - 81. Let s be m(13). Let a = 523 + s. Does 37 divide a?
False
Let a be 2236/546 - (-2)/(-21). Suppose 101 = v - a*d, 5*v + 5*d = d + 433. Does 4 divide v?
False
Let f = 806 + -347. Let t = 477 - f. Is t a multiple of 18?
True
Let b = 9521 - 6546. Is 15 a factor of b?
False
Suppose -215*b = -6693799 + 1791799. Is b a multiple of 40?
True
Suppose -i - 8*i - 369 = 0. Let q = 124 + i. Does 18 divide q?
False
Suppose 3*y - y + 312 = -4*l, 135 = -y + 5*l. Let b be (6 + y/24)/(2/(-568)). Let h = b - -16. Is h a multiple of 21?
False
Let j(f) = 1125*f**2 - 473*f - 10. Is j(-5) a multiple of 80?
True
Suppose 31288 = 2*t - 16*z + 18*z, -62572 = -4*t - 5*z. Is t a multiple of 96?
True
Let t be (112/12)/(-2)*-3. Suppose -9*h - 260 = -t*h. Is 26 a factor of h?
True
Suppose 4*u - 131 = 77. Let b = u - 49. Does 16 divide (2 - (-7)/(-2))*b*-22?
False
Suppose -20 - 15 = -5*y. Let d(c) = c**3 - 3*c**2 - 17*c - 2. Let l be d(y). Does 16 divide l/(2 - (1 + 0))?
False
Let d = 133 + -86. Let a(o) = 16 + 4*o + 18 + 22 + o**2 - d. Is a(-3) a multiple of 2?
True
Let b = -9380 - -16403. Is b a multiple of 6?
False
Let s = -45 + 53. Let d be (s - -3) + 0 + -4. Is 674/d - 4/14 a multiple of 23?
False
Let r(i) = 14*i - 93. Let d be r(7). Suppose -495 = -5*n - 3*j, 12*n = 14*n + d*j - 217. Is n a multiple of 39?
False
Let k = -40 - -45. Suppose -n + 56 = -4*y - 5*n, 0 = n + k. Let g = 21 + y. Does 4 divide g?
True
Let d be (-5 - (0 - 1)) + 6223 + -2. Suppose 0 = 22*h - d - 15167. Does 37 divide h?
False
Let j be 14/105 + (-11486)/(-30). Suppose -3*v = 110 - j. Does 3 divide v?
False
Let x(m) be the second derivative of -42*m**2 + 3*m - 5 - 9/2*m**3. Does 63 divide x(-6)?
False
Suppose -15*m = -20 - 820. Does 5 divide m?
False
Let j be 56*(9/(-3) - -2). Let q = -54 - j. Suppose -n = -q*a - 0*a + 47, 5*n = 5*a - 110. Does 10 divide a?
False
Let v(j) = -2655*j + 2232. Is v(-4) a multiple of 108?
True
Suppose 2*i = 14, a - 32*i - 16738 = -36*i. Does 113 divide a?
False
Suppose 16*k = -h + 478173, 2*k + 22*h - 59769 = 21*h. Is k a multiple of 125?
False
Let i(c) = 3*c + 79. Let h be i(-10). Does 14 divide (1266/2)/(h/(-14) - -5)?
False
Let z(w) = -w + 7. Let d(m) = 2 - 4*m**2 + 328*m - m**2 - 328*m. Let r be d(1). Is z(r) even?
True
Suppose -31*b + 790837 = 67*b - 54707. Does 4 divide b?
True
Let c(y) = y**3 + 4*y**2 - 154*y + 26. Is 4 a factor of c(11)?
False
Let h = 695 - 317. Suppose -2*z = -0*z - g + 147, -g = 5*z + h. Is ((-45)/z)/((-2)/(-30)) even?
False
Let p(b) = b**3 - 34*b**2 + 76*b + 60. Does 9 divide p(32)?
False
Let l(y) = 7*y - 9*y + 3*y + 6. Let u be l(-5). Is 9 a factor of 58 + (-1)/u + 4?
False
Let c(n) = 15 - n**2 - 3 + 2*n**2 - n. Let y be c(-9). Suppose -9*u = -7*u - y. Is 17 a factor of u?
True
Let p(c) = -c**2 - 20*c + 10. Let a be p(-21). Let k(g) = 2*g**2 + 23*g + 16. Let y be k(a). Does 6 divide (5/((-125)/(-355)))/(1/y)?
False
Let u(q) = -2*q**2 + 328*q + 364. Is 34 a factor of u(97)?
True
Let s(d) = -d**3 + 23*d**2 - 5*d + 149. Is s(21) a multiple of 22?
False
Suppose -23*q + 119 - 4 = 0. Suppose -2252 = -q*a - 2*p, 0*a + a - 2*p - 448 = 0. Does 18 divide a?
True
Is 20 a factor of (-159635)/(-15) + (4*(-14)/8)/3?
True
Let k(j) = j**3 + 10*j**2 - 13*j + 26. Is k(12) a multiple of 49?
True
Suppose 0 = 3*j + h, -2*h - 3 = -2*j + 5. Let z(f) = -2*f**3 - f**2 + 7*f - 16. Let q(t) = t**2 - 1. Let n(w) = j*z(w) - 6*q(w). Is 21 a factor of n(-6)?
False
Suppose g - 119 = -4*q, -3*g - 189 + 19 = -5*q. Suppose 3440 = q*d - 11*d. Is d a multiple of 11?
False
Suppose 4*o - 16 = 2*b, 3*o + o - 20 = 4*b. Suppose 0 = 4*z, 10*k - o*z = 15*k - 1540. Is 71 a factor of k?
False
Let a = -139 + 144. Suppose -4*p + 1628 = 6*t - a*t, 3*p - 1221 = -5*t. Does 11 divide p?
True
Let x be (-9)/(-36)*(3137*4 + 0). Suppose -5*d = -358 - x. Is d/9 + (-1)/(-3) a multiple of 5?
False
Let l be 958516/572 - (-3)/11. Suppose -4*h + l = u, 10*u + 6691 = 14*u + 3*h. Is u a multiple of 22?
True
Let r(k) = -4*k**2 - 6*k - 22. Let i(h) = -h**2 - 2*h - 2. Let x(q) = 3*i(q) - r(q). Is 20 a factor of x(28)?
True
Does 19 divide (-140664)/(-12) - -11 - 14?
False
Let f(c) be the third derivative of -1/12*c**5 + 1/120*c**6 - 1/12*c**4 + 0*c + 4*c**3 + 12*c**2 + 0. Does 36 divide f(7)?
True
Let v = 136 + -133. Let i be -3 + ((-968)/