(-5)?
False
Suppose -3*k = -j + 2*j + 2, -5*j = -20. Is k - (10/(-20))/((-1)/(-66)) a multiple of 31?
True
Let o be 3 - (-8 - -4 - -5). Does 28 divide (o + -4)*615/(-6)?
False
Suppose -7*f = -4*f - 4*u + 21, -3 = -2*f - 3*u. Let d be f/(-15) + (-42)/35. Is (32 - -4)/d*-1 a multiple of 9?
True
Suppose 3*z - 531 = -0*z. Suppose 2*d + z = 61. Let c = d - -88. Does 28 divide c?
False
Let m = -778 + 1138. Does 15 divide m?
True
Let h = -30 - -28. Does 11 divide ((-176)/(-48))/(h/(-42))?
True
Let d(o) = 12*o**2 - 5*o + 14. Does 39 divide d(-6)?
False
Let z(m) = m**3 - 7*m**2 + 6*m - 1. Let a be z(6). Let h be (-7434)/(-649) - (-6)/11. Let p = a + h. Is p a multiple of 6?
False
Let u(h) = h**3 - 12*h**2 + h - 12. Let y be u(12). Suppose y*x + 29 = x. Let p = -13 + x. Is 4 a factor of p?
True
Let j(v) = 2*v**3 - 5*v**2 - 6*v + 7. Suppose 5*w = w - 3*b + 29, 0 = 4*w - 2*b - 14. Is j(w) a multiple of 19?
False
Suppose -27*l = -4*l - 12673. Is 53 a factor of l?
False
Suppose 2*x = 4*x - f - 189, 3*f + 381 = 4*x. Suppose 0 = 4*p - 5*p - 49. Let w = x + p. Is w a multiple of 11?
True
Let n be 4 - (1 - (5 - 4)). Suppose -n*j + 115 = -185. Is j a multiple of 25?
True
Let m(a) = -a**2 - 14*a + 3. Let y be 2 + (0 - (-18)/(-2)). Let w be m(y). Suppose 4*v - 116 = 2*v - 5*x, v + x - w = 0. Is v a multiple of 24?
True
Suppose -23*k - k = 96. Suppose -3*x = 2*x + 15. Is 4 a factor of (96/x)/k + 0?
True
Let x = 606 + -170. Does 53 divide x?
False
Let x(s) = -6*s - 27. Let q be ((-4 - -7) + 0)*-3. Is x(q) a multiple of 22?
False
Suppose 10 = 2*y - 0. Suppose 5*n - 76 = -2*i, -y*n = -4*n + 3*i - 23. Let a = n - -86. Is 25 a factor of a?
True
Suppose 1125 = -128*f + 143*f. Is 29 a factor of f?
False
Suppose -2*y - 2*y = 5*b - 43, 2*b - 2*y - 10 = 0. Let n be (-1 + b)/(14/14). Suppose -14 - 70 = -n*q. Does 5 divide q?
False
Suppose 2*w + k = -3*k - 6, 3*w - k - 5 = 0. Let y be 78/(-8) + w/(-4). Is 6*-1*(2 + y) a multiple of 16?
True
Let d be 3/(-18)*3*-626. Let g = -27 + d. Is 13 a factor of g?
True
Suppose -16*s + 1851 = -1269. Does 10 divide s?
False
Let z = -8 + 5. Let t be (1 - z)/(2/19). Suppose -t = -4*d + 10. Does 4 divide d?
True
Let s be 3 + 38/(-12) - (-386)/12. Suppose -35*b + 78 = -s*b. Is 26 a factor of b?
True
Let m = 38 - 22. Let h be m/(-6)*9/2. Is (16/h)/(4/(-54)) a multiple of 7?
False
Let b = -498 - -638. Does 10 divide b?
True
Let x(z) = -54*z - 1. Suppose 0*n = -4*n - 12. Does 10 divide x(n)?
False
Is 29 a factor of -4 + ((-1)/3)/(18/(-28404))?
True
Let s(t) = 110*t - 7 + 1 - 109*t + 1. Does 8 divide s(15)?
False
Let u(w) = w**3 - 1 + w**2 + 3*w**3 + 4*w**2 + 2*w - 3*w**3. Let y = 10 + -14. Does 2 divide u(y)?
False
Suppose 0 - 6 = -3*a - 4*d, -d = 3. Suppose -a*j + 4*j = 0. Suppose -32 = -j*p - p. Is 6 a factor of p?
False
Suppose -8*h - 2376 = -4*h. Let z = -421 - h. Is z a multiple of 8?
False
Let r(x) = -4*x - 47. Let h be r(0). Is 11 a factor of (-5)/(10/6) - h?
True
Suppose -8 = 2*r, z - 1758 = -2*r - 233. Is z a multiple of 21?
True
Let t = 4935 + -1200. Does 102 divide t?
False
Let d = -13 + 15. Let c(q) = -1. Let g(a) = a + 3. Let p(u) = d*g(u) + 2*c(u). Is 10 a factor of p(13)?
True
Suppose -2*j + 4*p = -178, -2*j = -3*j + p + 93. Let i = j - 19. Does 12 divide i?
False
Let z = -3 - -6. Suppose 0*r = z*r - 2*s - 552, -2*s = 4*r - 750. Suppose -3*t = 5*g - 4*t - 177, 5*g - r = -2*t. Is 12 a factor of g?
True
Let l be 0 - -3 - (-10 - -11). Suppose 2*d + 2*c = 98, -l*d - 2*c - 2*c = -96. Does 4 divide d?
False
Suppose -5*w + 3 = 3*g, w = 4*w - g + 1. Suppose -4*f + 70 = -2*h, w = -4*f - 4*h + 28 + 60. Is 19 a factor of f?
True
Let z = 0 - -1. Let l(w) = -8*w**3 + 5*w**2 - w - 5. Let c(r) = -8*r**3 + 6*r**2 - r - 6. Let d(v) = 5*c(v) - 6*l(v). Is 4 a factor of d(z)?
False
Let a(d) = -d**2 - 19*d - 5. Let f be a(-18). Suppose z = 4*m - 128, 2*m + 3*z - f - 65 = 0. Is m a multiple of 11?
True
Does 4 divide 74932/393 - (1 + (-2)/6)?
False
Is (-8)/(-10) + (-194702)/(-335) a multiple of 25?
False
Suppose 1891 = 33*o - 1013. Does 8 divide o?
True
Let n = 64 - -64. Let x = n + -110. Is x a multiple of 18?
True
Let n be 2/4*2 + 2. Does 31 divide 1/n + 1480/24?
True
Let c be (-19)/38*(-1 - 173). Suppose -7*a + 17 = c. Is 10 a factor of 18/(-30) + (-306)/a?
True
Let a = -232 - -394. Does 27 divide a?
True
Let n(b) = -b + 8. Let v(c) = -c**3 - 2*c**2 + c. Let a be v(-3). Let j be n(a). Suppose d - 4*s - 250 = -j*d, 3*d - 5*s - 245 = 0. Is d a multiple of 12?
False
Let o be (140 - 4 - -4) + -4 + 1. Suppose 5*a = w + 143, -w = 7*a - 2*a - o. Does 14 divide a?
True
Let u be ((-1)/(-2))/(6/168). Let v be 6/21 + (-4)/u. Suppose 0 = -v*p + p - 37. Is 11 a factor of p?
False
Let s(x) = -x**3 - x**2 - 5*x - 4. Let t = -29 - -26. Does 24 divide s(t)?
False
Let u(k) = -k**2 + 7*k - 1. Let w be u(10). Let c = w + 71. Let p = c + -7. Does 11 divide p?
True
Suppose q - 1932 = -5*t, -1940 = -5*t - 7*q + 2*q. Is 22 a factor of t?
False
Does 96 divide (1013760/(-1344))/((-1)/7)?
True
Let m(t) = 9*t**2 + 3*t - 1. Let g be m(1). Suppose 7*s = g*s - 32. Is 2 a factor of s?
True
Suppose -403*v = -400*v - 840. Does 10 divide v?
True
Let q be ((-2)/8)/((-1)/4). Does 14 divide (171/15 + -2)*5*q?
False
Let n(m) = 13*m**2 + m - 16. Does 26 divide n(3)?
True
Suppose 9 = -3*i, 2*i + 21 = -3*j - 2*i. Let o(b) be the second derivative of -3*b**3/2 + b**2 + 47*b - 2. Is 9 a factor of o(j)?
False
Suppose 0 = z - 4*z + 21. Suppose -z*v = -4*v - 27. Is 6 a factor of v?
False
Let h be (-18)/45 + 77/5. Is 2 a factor of (27/h)/((-1)/(-15)*3)?
False
Suppose 7352 = 5*y + 7*l - 3*l, -3*l - 2950 = -2*y. Does 42 divide y?
False
Suppose 6886 = 7*q - 4328. Does 7 divide q?
False
Suppose 121 = 5*y - r, y + 2*r - 46 = -y. Let n = y - 9. Does 4 divide n?
False
Let q be ((-64)/48)/(2/(-6)). Is 14 a factor of 1 + 85 - (q - 2)?
True
Is 18 a factor of (-1 - 3) + 160/(-24)*-9?
False
Let w(z) = -6 - 2*z - 3*z - z - 4*z. Is 4 a factor of w(-6)?
False
Let u(c) = 4*c - 13. Let p be u(4). Suppose 3*y - p = 0, 3*y + 4 = 4*v - 5. Suppose -3*x = -7*x + 3*t + 160, -2*t - 120 = -v*x. Is x a multiple of 8?
True
Suppose 0 = -2*g - k + 168, -g = -2*g - 4*k + 84. Is g a multiple of 21?
True
Suppose -4*j + 192 = 3*d, -5*d + 192 = 4*j - 0*d. Is j a multiple of 16?
True
Suppose -9 - 6 = -l - 5*i, -3*l - 3*i + 9 = 0. Suppose 5*v + 5*j - 2*j = 438, l = -3*v - 5*j + 266. Let w = v - 34. Is 17 a factor of w?
False
Let y(j) = -2*j**2 - 8*j + 1 + 20 + 5*j**2 - 2*j**2. Does 14 divide y(10)?
False
Suppose -1269 = 39*j - 42*j. Is j a multiple of 47?
True
Let c = -291 - -305. Is 3 a factor of c?
False
Let c(p) = 79*p - 88. Is c(28) a multiple of 41?
False
Let p be (-3)/(88/(-28) + 3). Does 5 divide (p/(-12))/(-7) - 518/(-8)?
True
Let z = 6278 + -2939. Does 21 divide z?
True
Suppose 5*y - 9 = g, 0*y + 5*g - 13 = -4*y. Suppose s - 12 = -2*l, 0*s - 3*l = -y*s + 45. Is 10 a factor of (12/s)/(1/33)?
False
Suppose 7*c + 4 = 5*c, 0 = 5*v - c - 22. Does 5 divide (v/9)/(18/81) - -35?
False
Suppose 7*p = 3*p + 88. Let x = p - -42. Is x a multiple of 7?
False
Let m be 10/(-6) - 3/9. Is 31 a factor of -1*(m + (-3 - 57))?
True
Let d(a) = 13*a - 28. Let g be d(11). Suppose q - 32 = -1. Suppose -26*s + q*s - g = 0. Does 23 divide s?
True
Let a(q) be the first derivative of 8*q**3/3 - q**2 - 2*q + 30. Is a(-3) a multiple of 12?
False
Let w = -5 + 23. Let g = 14 - w. Is 7 a factor of 31 - g/(-20)*0?
False
Let i(a) = 5*a**2 - 2*a - a**3 + 1 - 4 + 0*a. Let w(t) = -3*t + 3. Let m be w(0). Does 9 divide i(m)?
True
Let c = 261 + -166. Let f be 6/5 - (-76)/c. Suppose 3*z - f*z - 25 = 0. Does 25 divide z?
True
Let s = -5 - -10. Let h be ((-1)/(-3))/(s/60). Suppose -171 = -h*t + 149. Is t a multiple of 22?
False
Suppose 6*f - 35 - 13 = 0. Let n be (-4)/(-10) + (-356)/(-10). Let c = n - f. Is c a multiple of 27?
False
Let s(y) be the third derivative of -5*y**4/24 + 3*y**3/2 - 7*y**2. Is 10 a factor of s(-17)?
False
Let v(z) = -z**3 - 2*z**2 - 4*z + 2. Suppose 9 + 7 = -4*j. Is v(j) a multiple of 10?
True
Suppose 3*z = -3*k + 318, 3*k + 0*k - 318 = 4*z. Suppose -k = -0*a - a - 4*q, 0 = 4*a + 2*q - 354. Is 27 a factor of a?
False
Let a(z) = 29*z - 11. Let r = 7 - -1. Let d be a(r). Suppose -5*s = -i - d, 2*i - 18 - 35 = -s. Does 15 divide s?
True
Suppo