(y) = -9*y - 4. Suppose -3*s = 2*s - 20. Let w be (-2)/(-4)*s + -6. Is 16 a factor of a(w)?
True
Suppose -j + 19 = -3*h, -80 = -5*j - 5*h + 35. Let i = -24 + j. Is i + 17 - (-3 + 2) a multiple of 4?
True
Let v = -2676 - -4734. Is (-2)/11 + v/66 + -4 a multiple of 3?
True
Let m = -36 - -39. Suppose -x = 4*f - m, 0 = -x - f - f + 5. Does 5 divide x?
False
Let g = 5 - 10. Let d be -2*g/2 - 0. Suppose 2*x - 79 + d = 0. Does 10 divide x?
False
Let b(o) = -o**2 - 7*o - 6. Let c be b(-4). Suppose -9*u + c*u + 18 = 0. Suppose 0 = -u*z + 77 + 103. Is 5 a factor of z?
True
Let s(y) = -4*y**3 - 3*y**2 - 8*y - 2. Does 50 divide s(-3)?
False
Suppose -21 - 99 = -4*s. Let g = s + -30. Suppose 246 = 4*k - 2*v, 48 = k - g*k + 4*v. Is k a multiple of 15?
True
Let n = -2 + 24. Let m = n + 9. Is m a multiple of 21?
False
Let z = 241 + 138. Is 71 a factor of z?
False
Let p(c) = -c**3 + 29*c**2 - 62*c - 45. Is 29 a factor of p(15)?
True
Let k = -50 + 58. Is 20 a factor of 990/40 - (-2)/k?
False
Let k = -57 + 61. Suppose -3*c + 4*i + 385 = 0, 530 = k*c + 3*i - 5*i. Is 9 a factor of c?
True
Let c(z) = 2*z**2 + 28*z - 69. Is c(16) a multiple of 11?
True
Let c = -460 + 480. Does 5 divide c?
True
Suppose 0 = 3*r - f + 37, -4*f - 50 = 3*r - 18. Let b = 46 - r. Is 5 a factor of b?
False
Suppose 187 = 5*h - 3*w, -5*h + 0*h - 3*w = -193. Let u be h/(-14) - (-4)/(-14). Does 23 divide u/(-9) + (-137)/(-3)?
True
Suppose f - 10 = -2*m - 2*f, 3*f = -m + 8. Suppose 3*q = -16 + 1, -m*q = -z + 158. Does 37 divide z?
True
Let d(y) = y**2 - y + 2. Let n be d(-2). Let r = 14 - n. Suppose -a + r*k - k + 23 = 0, -4*k = 5*a + 1. Is 3 a factor of a?
True
Let z be 8*1 + 10/(-5). Suppose 3*l + 3*s - 24 = 0, 4*l - z*s = -8*s + 38. Let i = l + -5. Is i a multiple of 5?
False
Let b(d) = -28 - 21 + 57 + 6*d - 18. Is 14 a factor of b(4)?
True
Let h(q) = 34*q + 912. Does 18 divide h(59)?
False
Suppose l - 1575 = 2*r, -1492 = -2*l - 2*r + 1628. Does 35 divide l?
False
Let i(d) = 21*d**2 - 13*d + 210. Does 50 divide i(8)?
True
Let r = 13 + 16. Suppose -3*h - 56 = -2*i, 3*h + 15 = -i - r. Let m = h - -37. Is m a multiple of 8?
False
Let d be (-4)/(-6) + (-1088)/(-24). Let g = 67 - d. Is 7 a factor of g?
True
Let g(p) = p + 21. Let i be g(-16). Suppose 4*m + 178 = 5*z + 6*m, -4*z = -i*m - 149. Is 12 a factor of z?
True
Let i(v) be the third derivative of -v**6/120 + 3*v**5/20 - 4*v**3/3 - 11*v**2. Let p be i(9). Is p/3*6/(-4) a multiple of 2?
True
Suppose 9025 = 45*h - 10730. Is h a multiple of 32?
False
Let f = 13 + -15. Let s be 5/5*62/f. Let m = s - -100. Is m a multiple of 23?
True
Let p be 7*(-3)/(-63)*15. Suppose 4*t = -p*m + 537, -2*m + 2*t + 81 = -141. Is 13 a factor of m?
False
Let a(u) = 163*u**3 - 2*u**2 - 12*u + 26. Does 44 divide a(2)?
False
Suppose 6*b - m - 6 = 2*b, -3*b = 3*m - 12. Does 10 divide b/(40/13 - 3)?
False
Suppose 2*u - 2*p - 446 = 0, 2*p = -3*u + 167 + 502. Is u even?
False
Is 13 a factor of 427 + (-8 - -6) - 21/7?
False
Let j = -4 - -9. Suppose -20 = -j*g - 0*g. Suppose 264 = -0*u + g*u. Is 22 a factor of u?
True
Suppose 9 = 2*n + 1. Suppose -n*p = -0*p + 736. Does 13 divide ((-2)/4)/(2/p)?
False
Suppose -4*x = 2*d - 1826, 2290 = 5*x + 3*d + 2*d. Does 26 divide x?
False
Let p(q) = 129 + 11 + 148 - q. Let f be p(0). Suppose 4*j + 20 = f. Is j a multiple of 17?
False
Let z(t) = t**2 - 11*t + 6. Let x be z(9). Suppose 2*h = h - 48. Does 7 divide (-8)/h - 550/x?
False
Suppose 331*s + 16 = 332*s. Is 2 a factor of s?
True
Let m be 5/(5 + 0)*3. Suppose 2*u + m*b - 57 = 330, 0 = 2*u + b - 393. Does 10 divide u?
False
Let c(n) = -4*n - 3. Let p be c(-2). Let i = -108 - -194. Suppose 3*x - 73 = -4*q - 0*q, -2*x + i = p*q. Is q a multiple of 16?
True
Let f(g) = -2*g**3 - 5*g**2 - 7*g + 6. Is f(-6) a multiple of 17?
False
Let u = 2 - 7. Let m = u - -23. Does 6 divide m?
True
Let x(z) = 5*z**2 + 66*z - 11. Is 54 a factor of x(-19)?
True
Suppose 0 = 3*v + 72 - 183. Let x = v + -52. Is 19 a factor of (38/5)/((-3)/x)?
True
Let z = 341 - 110. Does 21 divide z?
True
Suppose o - 5 = -3*r + 2*o, 0 = -o - 2. Suppose -4*n + 2*h + 3 = -r, -5*n - 3*h + 27 = 0. Is n + (-4 - (-71 - 2)) a multiple of 18?
True
Suppose 0*w = 3*l + 5*w + 20, -3*w - 3 = 0. Suppose -n = -4*r + 8, 2*n + 1 = -4*r + 9*r. Let j = n + l. Is 2 a factor of j?
False
Suppose 10527 = 27*h + 807. Is 10 a factor of h?
True
Let d be (-8 - -8)/(-1 + -1). Suppose d = -9*f + 310 + 131. Is f a multiple of 7?
True
Suppose -5*c = 4*z - 15, z - 12 = -4*c - 0. Suppose -5*r + 2 + 348 = z. Is 7 a factor of r?
True
Suppose 0 = -3*i - x + 111, 104 - 30 = 2*i - 5*x. Is 4 a factor of i?
False
Let p(t) = -2*t**2 + 12*t + 9. Let i be p(10). Let h = i - -91. Does 4 divide h?
True
Suppose 5*w + 0*w - 1020 = 0. Is w a multiple of 51?
True
Is 20 a factor of 2 + (-8 - 1)/(10/(-220))?
True
Suppose 2*w - 24 = -2*s, s - 8 = -2*w + 9. Suppose 0 = -s*m + 613 - 53. Does 10 divide m?
True
Let i(l) = l**3 - 11*l**2 + 13*l - 29. Let r be i(10). Is (-24)/r*6/(-2) a multiple of 12?
True
Let f = 1290 - 598. Does 16 divide f?
False
Suppose 5*d - 3*s + 16 = -73, 4*d + 3*s + 82 = 0. Let v = -19 - d. Let z = v + 6. Is z a multiple of 3?
True
Let v = -17 + 23. Let k be (-32)/(-12) - 4/v. Suppose 0 = -q + 2*q, -i + 15 = k*q. Does 5 divide i?
True
Is 14 a factor of ((-194)/(12/6))/(-1)?
False
Suppose 2 = u, 2*b + 1392 = -b - 3*u. Let y = -257 - b. Is 45 a factor of y?
False
Does 12 divide (-5 - 164/(-20))/((-14)/(-5705))?
False
Let d(x) = x**3 + 14*x**2 + x - 8. Is d(-8) a multiple of 16?
True
Let p(a) = -3*a**3 - 2*a**2 + 4*a - 2. Let q be p(3). Let d = q + 61. Is (-538)/(-15) + d/(-210) a multiple of 12?
True
Let q = -11 - -41. Suppose -4*i + 595 = 5*d - q, 0 = -4*d + 20. Does 42 divide i?
False
Suppose -2454 = -7*c + 2054. Does 7 divide c?
True
Let z = -692 - -836. Is z a multiple of 4?
True
Suppose 0*y + y = 4*d + 12, 4*d + 24 = 4*y. Suppose -y*j - 27 = -4*c + j, 0 = 4*c + 2*j - 62. Is 9 a factor of c?
False
Let q(w) = -w**3 + 10*w**2 - 20*w - 5. Let x be q(5). Is (30/(-4))/(x/(-440)) a multiple of 15?
True
Let g be (-24)/9*(-6)/8. Let v = g + -4. Does 3 divide ((-4)/(-16))/(v/(-136))?
False
Let k = -6 - -13. Suppose -16 + 56 = 4*u. Let j = k + u. Is j a multiple of 9?
False
Let d(b) = 83*b + 11. Let t(o) = 41*o + 5. Let s(a) = 6*d(a) - 13*t(a). Let u be s(1). Let g = 41 + u. Does 4 divide g?
False
Suppose -993 - 111 = 5*d - 4*l, -5*l - 244 = d. Is 37 a factor of (-5)/((-15)/(-6)) - d?
True
Let s = 20 + -5. Let w be (1 - 0) + (-1 - 24/(-6)). Suppose -127 = -w*a - s. Does 28 divide a?
True
Suppose -11*v + 5*i + 37 = -8*v, 2*v - 18 = 5*i. Is 4 a factor of v?
False
Let t = 2 - 2. Let j(n) = n**2 + 3. Let i be j(t). Suppose b + 64 + 48 = 4*y, 4*b - 103 = -i*y. Is y a multiple of 5?
False
Does 22 divide 4/38 + 794100/950?
True
Let u(k) = -k**3 + 25*k**2 - 38*k + 25. Is u(23) even?
False
Let f(u) = 65*u**2 + 11*u + 30. Is 64 a factor of f(-5)?
True
Is (1 - (-389)/3)/(239/1434) a multiple of 56?
True
Suppose -14*u + 24*u = 7800. Is 27 a factor of u?
False
Suppose 3*b = -8*b + 33. Let z(t) = 32*t**2 - 5*t + 2. Is 11 a factor of z(b)?
True
Suppose t = -3*t. Suppose t = 4*j + 8, -j + 624 = 2*q + 2*j. Suppose 10*c - 15*c + q = 0. Is 13 a factor of c?
False
Let r(d) = -2*d + 43. Let v be r(-10). Suppose -9*c = -12*c + v. Is 5 a factor of c?
False
Let l = -15 + 12. Let c be -3 + ((-6)/l)/1. Is 4 a factor of (1 - -2) + (0 - c)?
True
Let t(a) = 12*a + 664. Is 10 a factor of t(0)?
False
Let s(i) = -i**3 + 9*i**2 + 3*i - 2. Let o be (-2)/(-3) + (-2)/3. Suppose 5*t = -0*t + 3*n + 37, o = -n + 1. Is s(t) a multiple of 23?
False
Let t(h) = 2312*h**3 - 5*h + 5. Is 17 a factor of t(1)?
True
Let x = -152 - -219. Let j = -46 + x. Is 3 a factor of j?
True
Let k be (36 + -5)*-2*1/2. Let j = 131 - k. Is 18 a factor of j?
True
Let b be -1 - 3 - 12/(-4). Let p be b + 1 + 1 - -3. Suppose -90 = -p*g + 6. Is 12 a factor of g?
True
Suppose 0 = 5*m - 2*m - 495. Let p = m + -92. Suppose 0 = 4*q + n - 95, -p = -2*q - 4*n - 29. Does 8 divide q?
True
Let j(s) = s**2 + 4. Let h be j(7). Let w = 4 + h. Is w a multiple of 19?
True
Suppose 0 = -228*p + 224*p + 7356. Is p a multiple of 12?
False
Let v = -307 - -517. Does 5 divide v?
True
Suppose 1716 = 2*m + 2*q, 4*m + 20*q - 19*q = 3441. Does 28 divide m