uppose -23*r - 137 = 116. Let u(i) = -24*i. Is u(r) a multiple of 22?
True
Suppose -17 = -3*x - 5. Suppose x*c - c = -567. Let w = c - -275. Is 23 a factor of w?
False
Suppose -2*n + 63 = -5*c, -3*n - 42 - 1 = 5*c. Suppose -s - 3 + 1 = 0. Let p = s - c. Does 5 divide p?
False
Suppose -5*g - 33 = 2*b + 27, 0 = -2*b + g - 48. Is 32 a factor of -4 - ((-110)/b)/(3/(-90))?
True
Let l(b) = b + 84. Is 4 a factor of l(5)?
False
Suppose 0 = o - 3*o - 8. Is o/6 - (-875)/21 a multiple of 41?
True
Is 25 a factor of -2*(-9)/(-24)*-4 + 447?
True
Let x(v) = 225*v**2 - 13*v + 12. Does 8 divide x(1)?
True
Does 42 divide (-396406)/(-445) + -1*(-1)/5?
False
Let c(t) = -2*t - 2. Let q be c(-2). Suppose -2*g = -s + 2, 0 = -q*g + 6. Suppose -5*a + 133 = s. Does 5 divide a?
True
Suppose 2*l - 2 = 4*l - 3*o, 20 = 5*l + 5*o. Suppose 0 = g + t - 33 + 10, l*g = 5*t + 67. Is g a multiple of 13?
True
Let i(h) be the first derivative of -5*h**2 - 5*h - 1. Does 10 divide i(-3)?
False
Is (-3444)/35*5/(-2) a multiple of 41?
True
Let k(o) = -4*o + 8. Let h be k(6). Does 24 divide -4*(h + -4 + 8)?
True
Let i(k) = 2*k**2 - 15*k - 11. Let u be i(13). Suppose 8*w - 708 + u = 0. Is 9 a factor of w?
True
Suppose 606 = -f + 3*f. Suppose -9*i + f = -3. Suppose s - i = 5. Does 16 divide s?
False
Suppose 15*f + 92 = 1592. Is f a multiple of 3?
False
Let f be ((-14)/21)/(2/(-6)). Let j(k) = 5*k - k**f + k**2 - 7 + k**2 - 1. Is j(-7) even?
True
Let p = 13 + -7. Let d(q) = 24*q - 36. Does 40 divide d(p)?
False
Let z(f) = 5*f - 58. Let k be z(12). Is 37 a factor of -37*(-10)/k - (-1 + 1)?
True
Suppose 0 = -4*h + w + 780, 5*w = 3*w - 8. Suppose 18*r - h = 16*r. Does 18 divide r?
False
Let c(n) = 31*n**2 - 19*n + 54. Is 50 a factor of c(4)?
False
Let m = 102 + -157. Let l = m + 93. Does 6 divide l?
False
Let j(s) = -s**3 - 4*s**2 + 13*s + 3. Let p be j(-7). Let y = p - 42. Does 2 divide y?
False
Let v(n) = n + 11. Let o be v(-8). Suppose -7 = o*d - 133. Is 27 a factor of d?
False
Let p = -27 + 64. Let s = p - 21. Is s a multiple of 2?
True
Let z(q) = q**2 + 3*q - 13. Let a = 41 + -7. Let w = -24 + a. Is 39 a factor of z(w)?
True
Suppose 0 = -5*i + 6 + 14. Let j(s) = 3 - 9*s - 2 - 2 - i. Is j(-5) a multiple of 20?
True
Let a be 12/80*4 + (-7)/(-5). Suppose 2*t + 1164 = 6*t + 3*v, a*t - v - 572 = 0. Is 16 a factor of t?
True
Suppose -3*v = 2*m + 31317, 5*m = 3*v - 35846 - 42478. Is 1/2*-1 + m/(-46) a multiple of 34?
True
Suppose p - 87 - 2 = -5*o, -2*o + 38 = p. Let b = o + -2. Does 5 divide b?
True
Suppose -4*d + 2*t + 16 = 0, 14 = 6*d - d - t. Does 17 divide d + (-2)/(-4)*1*164?
False
Let s(f) be the second derivative of -f**5/20 + f**4/4 + f**3/6 + 4*f. Let k be s(3). Is 24 - k/(-9)*0 a multiple of 17?
False
Let s be ((-32)/14)/((-84)/(-49) - 2). Suppose 5*q - s = 3*q, 3*a - 2*q - 166 = 0. Is 29 a factor of a?
True
Let l = -362 - -736. Is l a multiple of 16?
False
Does 12 divide 1080/63*26 - (-2)/7?
False
Let z(d) = 5*d + 13 - 17 + d**2 - 6*d. Is 8 a factor of z(-3)?
True
Let u be ((-21)/6 + 3)*-2. Let m be u + 6/(6/2). Does 10 divide 10*(5 + (m - 6))?
True
Let z(k) = -6*k - 21. Let y(h) = -18*h - 64. Let c(g) = -5*y(g) + 16*z(g). Is c(-5) even?
True
Suppose 3*m + 4*j = 293, 143 - 27 = m + 5*j. Is m a multiple of 13?
True
Let u = 1 + -8. Let h(o) = o**2 - 9*o - 10. Is h(u) a multiple of 25?
False
Suppose 1 = -3*m + 3*g - 2, 4*m + 3*g = 17. Suppose 74 = 3*a - 5*w, 2*a - m*w + 0*w = 44. Is a a multiple of 9?
True
Suppose 0*r + 2*r + 2*f = -6, 5*r + 4*f + 10 = 0. Let k(m) = 116*m + 4 - 3 - 80*m - 4. Is 23 a factor of k(r)?
True
Let l(k) = k**2 - 3*k. Let c be l(5). Let f be (-8)/28 + c/(-14). Let n(z) = -27*z. Is n(f) a multiple of 9?
True
Suppose 2*g - 525 = y + 662, 2373 = 4*g - 3*y. Does 9 divide g?
True
Let r(y) = -78*y**3 - y**2 + 1. Let q be 3/(-2) - (-10)/20. Let t be r(q). Let u = -34 + t. Is 16 a factor of u?
False
Suppose 12*a - 11*a = -5*l + 681, 2 = 2*a. Does 55 divide l?
False
Let r = -18 - -20. Suppose -r*f + 4*c + 112 = 2*f, -71 = -2*f + 5*c. Does 14 divide f?
False
Suppose 3*p - 990 = -3*g, -g + 2*g - 5*p = 342. Does 12 divide g?
False
Let k(g) = 179*g**2 + 2*g - 2. Let d be k(1). Suppose 21 = 5*z - d. Does 20 divide z?
True
Let u = 863 - -88. Is u a multiple of 7?
False
Let y(b) = -151*b - 3. Let x be y(2). Let s = x + 525. Does 20 divide s?
True
Let h = -61 - -66. Suppose -h*v = -0*v - 560. Does 56 divide v?
True
Suppose -3*q - 4*r - 10 = 0, 0*q = 2*q - r + 3. Let z be 3 + -4 + (-7 - (-7 + -8)). Is 10 a factor of (q/6)/(z/(-1050))?
True
Does 18 divide (-2)/3 - (-4352)/48?
True
Let y = 352 - -212. Is 28 a factor of y?
False
Let v(q) be the second derivative of -q**5/20 - 7*q**4/12 - q**3/2 - 5*q**2 - q. Let n(a) = a**2 + 6*a - 2. Let s be n(-5). Is 5 a factor of v(s)?
False
Let l = 3392 + -1812. Is 29 a factor of l?
False
Let a = -1 - -11. Suppose -s - 5*k + 43 = -2, -5*k = -a. Is 7 a factor of s?
True
Let l(p) = 2*p**3 - 9*p**2 - 2*p + 24. Is l(10) a multiple of 12?
True
Let r(b) = -14*b**2 + b. Let x be r(-1). Let a be (-2)/x + 348/90. Suppose -a*h + 5*h = 24. Is 14 a factor of h?
False
Let b be (-3)/((-3)/1) - -3. Suppose 2*w - 6*x + x = 28, -3*x = b*w - 108. Does 8 divide w?
True
Let t(p) = p**3 - p + 35. Let c be ((-14)/9)/7 + 4/18. Is 7 a factor of t(c)?
True
Suppose 4*o - 5*q = 65, 3*q + 63 = -2*o + 6*o. Is 5 a factor of o?
True
Let c = 9 + -6. Suppose 0 = -c*d + 262 - 64. Is d a multiple of 11?
True
Let n(m) = m**2 + 6*m + 7. Let t be n(-5). Let o be 0/t - (2 - -15). Let k = 33 - o. Does 32 divide k?
False
Let q(w) = 39*w - 47. Is q(10) a multiple of 27?
False
Let j(a) = a**3 - 8*a**2 + 9*a + 1. Let i be j(7). Let n = i + -12. Suppose -20 = -5*h - g, -n*g - g + 29 = 3*h. Is h even?
False
Let v(w) = -w**3 + 5*w**2 - 5*w + 6. Let d be v(4). Let u(x) = 91*x + 18. Does 25 divide u(d)?
True
Let y be 3/(-3*2)*-6. Let x be (181 + -10)*2/y. Suppose -5*u - u = -x. Is 17 a factor of u?
False
Let z = -706 - -1733. Suppose 0 = 7*r + 110 - z. Is r a multiple of 12?
False
Let m(o) = 15*o + 2*o**3 - 3*o**3 - 19*o - 3*o**2 + 9. Is 13 a factor of m(-5)?
False
Suppose -5*l = -4*t - 31, 4 = 4*t - 0*t. Let h be (20/(-35))/((-2)/l). Suppose -2*c = h*n - 34, -4*c - 3*n + 66 = 2*n. Is 19 a factor of c?
True
Suppose 4*x - 336 = 204. Suppose 33 = 3*s - x. Does 7 divide s?
True
Suppose 0 = -4*q - 3*r + 858, -4*q + 5*q - 220 = 2*r. Is q a multiple of 8?
True
Suppose 0 = -2*g + 5*g - 6. Suppose 2*p - 2*o = -4*o - 6, 0 = -o - 3. Suppose 0 = -5*j - g*v + 247, p*j - v - 55 = -j. Does 17 divide j?
True
Is 64 a factor of (2 + 5 + -2 - 4) + 1011?
False
Suppose -z = 8 - 16. Suppose 5*r = j + 18, 5*j = 2 + z. Suppose 3 = y, r*b = 2*b - 4*y + 60. Does 8 divide b?
True
Suppose 9 = -3*g, x - 216 = -x + 4*g. Is 8 a factor of x?
False
Let k(z) = -38*z**3 - 4*z**2 - 26*z - 30. Does 24 divide k(-4)?
False
Let y = 381 + -122. Let l = -147 + y. Is l a multiple of 16?
True
Let y be (-176)/(-10) - 20/(-50). Let w = 18 - y. Suppose -7*l + 4*l + 75 = w. Is 8 a factor of l?
False
Suppose -4*x + 166 + 566 = 0. Suppose -48 = 3*g - x. Does 9 divide g?
True
Suppose -2*a = v - 5, -3*v + 4 - 9 = a. Does 7 divide (6/(-15))/(a/(-560))?
True
Let w(k) = 49*k**3 + k**2 + 5*k + 3. Is 30 a factor of w(3)?
True
Suppose 6*p - 3*p = 6, -4*p = 5*i - 18. Suppose i*f + 5*v + 16 = 0, 0 = 5*f + v - 6. Suppose f = -3*j + 4*j. Does 2 divide j?
True
Let f(z) = -z**2 - z + 2. Let y be f(0). Suppose 5*p + 34 = 5*q - 61, 5*q - y*p = 101. Is 21 a factor of q?
True
Let z be -16*(7/(-2) + -3). Let j = z - 24. Is 20 a factor of j?
True
Let h be -5*((-8)/(-10))/1. Let d = 13 + h. Does 9 divide ((-2)/4)/(d/(-486))?
True
Suppose 0 = -k - 3*k + 3*d + 28, 0 = 4*d - 16. Is 10 a factor of k/30 + 267/9?
True
Let x(w) = -580*w**3 - w**2 + 3*w + 3. Does 3 divide x(-1)?
True
Let i(a) = a + 1. Let m(z) = -z**2 + 16*z + 14. Let c(v) = -2*i(v) + m(v). Does 30 divide c(12)?
False
Let c(i) = -60*i**3 + 9*i + 9. Is 60 a factor of c(-1)?
True
Let w(h) = h**2 - 3*h + 3. Suppose -2*z + 16 = 2*z + 3*q, -z = 2*q - 9. Let c be 8 - (z + -4 - -3). Does 15 divide w(c)?
False
Let j = 931 - 713. Does 16 divide j?
False
Suppose -86 = -2*z - 0*z. Let k be -3 - (4 + -2 - 32). Let b = z - k. Is b a multiple of 8?
True
Let z = 532 - 488. Is z a multiple of 11?
True
Let o = -46