4. Is 9 a factor of (72/(-8))/((-1)/a)?
True
Suppose -4*z + 3*q = 6*q + 30, -5*q - 17 = 3*z. Let k be z/(-12)*(-2 - -6). Suppose -4*a = -k*m - 115, 4*m - 5*m + 120 = 5*a. Is 7 a factor of a?
False
Let p(x) = -2*x**3 - 4*x**2 - 2*x + 4. Let b(t) = 22*t**3 + t**2 + t - 1. Let w be b(1). Suppose 5*f + w = -2*l - 0*l, -4*f + l = 8. Does 7 divide p(f)?
True
Let f(m) = -2*m**3 - 2*m**2 - 2*m + 2. Is 4 a factor of f(-5)?
True
Suppose b - 12 = -5. Let m(d) = -13*d - b - 5 - 3 - 7. Does 12 divide m(-7)?
False
Let x(r) = 5*r**2 + 4*r. Let z(m) = -6*m**2 - 5*m + 1. Let f(d) = 5*x(d) + 4*z(d). Is 22 a factor of f(6)?
False
Let i = -7738 + 11088. Is 134 a factor of i?
True
Let t(g) = -g + 2. Let r be t(5). Let j(m) = -2*m**2 - 150*m + 152*m + 2 - 2*m**2 - 3*m**3. Is j(r) a multiple of 24?
False
Let m = 29 + -25. Suppose -m*y + 402 = -558. Suppose 302 = 4*c - 5*i, 2*c - 5*c = 3*i - y. Does 13 divide c?
True
Let v = 70 - -567. Does 39 divide v?
False
Suppose 2*x = -4*o + 1006, 3*o - 4*x - 275 = 452. Is 7 a factor of o?
False
Suppose 0 = -2*c + 4, 3*d - 3*c = 4*d + 23. Let o = -18 - d. Does 20 divide (-2)/11 + 607/o?
False
Let t(n) = n**3 - 11*n**2 + 4*n + 13. Let j(u) = -2*u**3 + 12*u**2 - 5*u - 14. Let z(c) = -2*j(c) - 3*t(c). Does 2 divide z(-9)?
False
Let z = 71 + -11. Let y = -43 + z. Does 6 divide y?
False
Let k be (-9)/((-3)/(-2)*1). Does 15 divide 18/27 + (-296)/k?
False
Let g = -93 - -163. Suppose 2*i - g = 92. Is 27 a factor of i?
True
Suppose 4*t = 4*y - 856, 5*t = -2*y + 172 + 221. Does 8 divide y?
False
Let l(c) = 3*c - 6. Let r be l(0). Let y(m) = 5*m + 36. Is 5 a factor of y(r)?
False
Let c(a) be the first derivative of a**4/4 - 4*a**3 + 11*a**2/2 + 10*a - 8. Is c(11) a multiple of 2?
True
Let c be 10*(0 - (-4)/10). Let x = 1 + c. Suppose 3*l - 53 = -x*a, -2 = -3*a + 1. Is 16 a factor of l?
True
Let w = -23 + 27. Suppose -i + 3 = -0*i, w*i + 468 = 4*q. Is 15 a factor of q?
True
Suppose -4*z + 4 - 12 = 0. Let t(c) = 4*c**2 - 3*c - 1. Is 10 a factor of t(z)?
False
Suppose -3*f = -2*o - 34, 3*o + 4 + 5 = f. Suppose 0 = 2*l - 4*l + f. Does 3 divide l?
True
Suppose 5*s - 120 = 2*s. Let n = s + -26. Is n a multiple of 7?
True
Suppose 0 = -4*c + 3*t + 12, 5*c - 2*t - 22 = -0*t. Suppose 5*k = -4*m + 106, -2*k + 124 = c*m - m. Is 4 a factor of m?
True
Let p(j) = -2*j**2 - 6*j. Let m be p(-3). Suppose -20*d + 21*d - 318 = m. Does 7 divide d/12 - (-12)/(-8)?
False
Suppose 1968 = i + p, -30*p - 7868 = -4*i - 35*p. Is 58 a factor of i?
True
Suppose 3*u = 17 + 10. Let d(n) = -n**2 + 10*n - 8. Let p be d(u). Let b = 8 - p. Does 7 divide b?
True
Let m(c) = 3*c**2 + 4*c + 1. Let r be 3*3/(36/100). Suppose 5*p - 5 = -r. Is 19 a factor of m(p)?
False
Let j be (0 + 222)*36/(-54). Let h = 257 + j. Does 11 divide h?
False
Let g = 65 + -69. Is 2 a factor of (3/(-6))/(g/16)?
True
Let j = 197 + -185. Does 6 divide j?
True
Suppose 0*x = 21*x - 483. Is 4 a factor of x?
False
Let k = -502 - -810. Is k a multiple of 28?
True
Let i = -10 - -16. Suppose i*g = g + 25. Suppose 3*s - g*x = 174, -3*x + 4*x = 3. Is s a multiple of 21?
True
Let o(l) = l**3 + 6*l**2 + 2 + 0*l**3 - 2*l**2. Let k = -28 + 26. Does 4 divide o(k)?
False
Suppose 11*w - 2243 = -604. Is w a multiple of 2?
False
Is 45122/22 - (-1 - 8) a multiple of 43?
False
Suppose -100 = -3*y + c, 4*y + 0*c = 3*c + 135. Let i = -19 + y. Suppose -4*g + 50 = -i. Is 11 a factor of g?
False
Let y(v) = -17*v**2 - v**3 - 2*v + 11*v**2 + 2*v**2 - 5. Does 4 divide y(-5)?
False
Suppose 5*i - 47 = 378. Is i a multiple of 2?
False
Suppose -15*b - 1716 = -19*b. Is b a multiple of 11?
True
Does 55 divide 6/(-3) - (-293 + 12)?
False
Suppose -168*z = -164*z - 704. Is z a multiple of 22?
True
Suppose 153 = -2*a + 3*w, -3*a = 2*a - 3*w + 369. Suppose -26*i = -31*i - 240. Let z = i - a. Is 12 a factor of z?
True
Suppose 3*u - 267 = 2*q - 1128, 3*q + 2*u - 1259 = 0. Does 8 divide q?
False
Suppose 5*x = 19 - 44, -1229 = -4*n + 5*x. Does 43 divide n?
True
Suppose -2*l + 2 = -4. Suppose 0*s + s - l = 0. Suppose -s*g + 26 + 16 = 0. Is g a multiple of 4?
False
Suppose -2*y - 53 = -287. Let z = y + -75. Is z a multiple of 14?
True
Does 17 divide ((-15)/(150/272))/((-3)/15)?
True
Suppose 13*h - 4019 = 7421. Does 55 divide h?
True
Suppose 465 + 936 = 4*r - 5*h, 5*r - 1758 = 4*h. Let i = -183 + r. Does 19 divide i?
True
Suppose 14*f - 150 = 438. Does 5 divide f?
False
Suppose 3 = k + 2. Let i be 3/(-6 + 3)*k. Does 13 divide (-17)/((-3 - -3) + i)?
False
Suppose 0 = -5*b + 2*w + 188, b = -46*w + 50*w + 34. Does 6 divide b?
False
Suppose -21*b = -24*b + 84. Suppose b = 2*v - 20. Is v a multiple of 24?
True
Let o(h) = 212*h - 409. Does 61 divide o(12)?
True
Let f(p) = -12*p - 16*p + 11*p + 1. Does 29 divide f(-6)?
False
Let s(d) = d**2 + 5*d + 164. Does 4 divide s(24)?
True
Suppose -3*p = r + 2*p + 13, -91 = 5*r - p. Let c be r/(-14) - (-30)/(-105). Does 17 divide 38 - -4*(-1)/c?
True
Let p = 17 + -14. Let l(h) = 53*h**3 - 3*h**2 + 6*h**2 + p*h**2 - 7*h**2. Does 11 divide l(1)?
False
Let r(k) = -k**2 - 12*k - 9. Let f be (2 - -1) + 18/(-6). Suppose -3*o - 2*b = -f*o + 22, 2*b - 18 = 2*o. Is r(o) a multiple of 23?
True
Let k(j) = -j**2 - 11*j + 21. Let f be k(-13). Let w(x) = -x**2 - 8*x - 3. Is w(f) a multiple of 3?
True
Let t be (-4)/(-6) + ((-590)/(-15) - 0). Does 2 divide (-3)/2*(t/(-4) - -8)?
False
Let n(k) = -k**3 - 5*k**2 - 4*k. Let d be n(-4). Let p be -3 - 28*(-1 - d). Is 5/p + 148/10 a multiple of 7?
False
Suppose -3*m + 55 = -4*f, 0*f - 3*m = f - 5. Let p be (f/7)/(-5)*7. Suppose -4*v = -c - 0*c, -p*v = -6. Is 4 a factor of c?
True
Suppose -4*k + 21 = 5. Suppose 0*o + 4 = -o, -k*o + 179 = -5*b. Does 8 divide 2 + 2/((-6)/b)?
False
Let q = -2009 - -3891. Is q a multiple of 93?
False
Is (1832/2)/(13 + -11) + -5 a multiple of 29?
False
Let p(h) = -2*h**2 + 5*h + 15. Let d be p(25). Is 23 a factor of d/(-9) + 9/(-27)?
False
Suppose 5*p = -5*c + 255, -101 = -3*p + 4*c + 31. Is p a multiple of 30?
False
Suppose 6*n - 167 = 1. Is 14 a factor of ((-217)/n - 1)*(-23 + -1)?
True
Suppose -5*y - 5*h - 115 = 0, y + 6 = 5*h + 13. Let q = y - -30. Is q a multiple of 4?
True
Let u = 4 + 6. Suppose 2*m - 8 = u. Does 3 divide m?
True
Suppose 0 = 15*s - 13*s - 8. Suppose n - 9 = -2*n. Suppose -n*z - 105 = -4*w + w, s*w + 4*z - 108 = 0. Is 21 a factor of w?
False
Let q = -32 + 20. Let b be 18/q*(-2)/1. Suppose -3*d + 2*r = d - 394, -b*d + 263 = 5*r. Is 12 a factor of d?
True
Let o(j) = 5*j**3 - 16*j**2 + 17*j - 7. Let v(a) = -14*a**3 + 47*a**2 - 50*a + 20. Let d(f) = 17*o(f) + 6*v(f). Let x be d(-10). Does 17 divide 3/(-2) + x/6?
True
Let x = -229 + 665. Does 20 divide x?
False
Let w(b) be the third derivative of -17*b**4/12 + b**3/3 + 9*b**2. Let o be w(-2). Suppose 302 = 4*a + o. Is a a multiple of 29?
True
Let x(o) = -48*o - 108. Does 40 divide x(-15)?
False
Suppose -4*x + 5*o + 84 = 0, -3*o = -2*x + 44 - 2. Is x a multiple of 9?
False
Let y(o) = o + 22. Let p(t) = t**2 - 13*t. Let a be p(13). Suppose a = -j - 2*w + 17, -2*w = -j - 3*j + 48. Is 7 a factor of y(j)?
True
Let n = -11 - -15. Let a = -5 + n. Is 16 a factor of a*2/1*-8?
True
Let o be (4 - (12 - 4)) + 6. Is o/(-5) - (-104)/10 a multiple of 3?
False
Suppose 248*b - 6372 = 242*b. Is b a multiple of 21?
False
Let d(g) = 12*g**2 + g - 2. Let y(m) = -25*m**2 - m + 2*m**2 - 5 + 8. Let t(r) = -5*d(r) - 3*y(r). Is t(-2) a multiple of 11?
False
Let d = -2862 + 3127. Does 6 divide d?
False
Let t(d) = d**3 + 6*d**2 - 10*d - 3. Suppose -2*u + 2*p = 18, p - 5*p = 3*u + 13. Let z be t(u). Let y = 22 + z. Is y a multiple of 10?
True
Let c be (12/(-4))/(12/(-116)). Let j be -3*(-1 + 68/6). Let i = c - j. Does 16 divide i?
False
Let j be (-174)/(4/(4/(-1))). Is j*(-3 - 2)/(-15) a multiple of 12?
False
Suppose -2*k + 19 = w, -2*w = -0*k - 4*k + 26. Suppose -136 = 4*d - k*d. Is d a multiple of 9?
False
Let d = 97 + -10. Does 21 divide d?
False
Suppose -80*d - 48 = -76*d. Suppose -r + 4*s + 79 = 2*s, s = r - 82. Is 17 a factor of d/(-3)*r/20?
True
Let h = -20 + 0. Let f = h + 13. Let q = f + 18. Is 11 a factor of q?
True
Suppose -3*h = t - 351, -2*t + 785 = 2*h + 91. Does 23 divide t?
True
Suppose -4*y + 144 = -10*y. Let v = 28 + -41. Let a = v - y. Does 10 divide a?
False
Let q(k) = -k**3 + 5*k**2 + 3*k - 6. Is q(-