
Let j be (-1236)/(-180) + 2/15. Suppose 0 = 4*d - 5*l - 25, -2*l = d - j - 9. Is d a multiple of 5?
True
Suppose -n + 1020 = n - 4*x, -2*n + 1052 = 4*x. Is 37 a factor of n?
True
Suppose -3*g = g + 16, 2*w + 4*g = -16. Suppose -2*h = 5*f - w*h - 31, -3*f = 5*h - 30. Suppose f*a = 7*a - 128. Does 10 divide a?
False
Let p = 69 - 62. Is p a multiple of 2?
False
Let o = -7 - -5. Let s be (-65)/o + (-4)/(-8). Is 11 a factor of 8/6*1*s?
True
Let x = 25 - 4. Let b be 9/(-4)*(-28)/x. Suppose b*n - 4 = 2*n. Is 4 a factor of n?
True
Let j(t) = 60*t**3 + t**2 - 4*t + 2. Is j(1) a multiple of 14?
False
Let a(n) = 4*n - 8. Let p be a(6). Suppose -5*s + 124 = -p. Does 14 divide s?
True
Let q be (2 - (-2 + 3))*5. Suppose 46 = -q*g - 24. Let f = g + 38. Is f a multiple of 8?
True
Let d(k) = k**2 + 40. Let m be d(-21). Suppose -602 = -4*f - 3*l, 5*f - 269 - m = -5*l. Is 13 a factor of f?
False
Suppose i - 5*i + 8 = 0. Suppose i*k + f = 15, 2*k + 1 = 2*f + 13. Let d(a) = -a**2 + 12*a + 2. Is 19 a factor of d(k)?
False
Is 17 a factor of -13 + 18 + 556 + 1?
False
Let g(p) = -p - 23. Let i(l) = 2*l + 23. Let s(c) = -6*c - 69. Let t(j) = 17*i(j) + 6*s(j). Let y(k) = -3*g(k) + 2*t(k). Is y(0) a multiple of 5?
False
Suppose 2*j + 2 = 16. Let z = -2 + j. Suppose 0*y - 60 = -4*y + 2*k, 0 = -z*k - 20. Is y a multiple of 6?
False
Let d = 326 + -233. Does 16 divide d/((-18)/(-6)) - -5?
False
Let s = -22 + 26. Suppose -n = 3*z - 114 - 337, -2*n = s*z - 598. Is 19 a factor of z?
True
Let j(b) = 27 - 16*b + 24*b + 53*b. Is 10 a factor of j(3)?
True
Let s = 50 - 31. Let d = -9 + s. Is 4 a factor of d?
False
Let b(g) = 58*g + 152. Is 46 a factor of b(13)?
False
Let g = -139 + 320. Is g a multiple of 25?
False
Let d = 982 - -218. Is 8 a factor of d?
True
Let c be (-14)/77 - 5804/22. Is 9 a factor of 1 + c/(-2) + -5?
False
Let i(o) = o + 19. Suppose 0 = -2*k + 4*k. Let w be i(k). Suppose 1 - w = -2*z. Is 8 a factor of z?
False
Let j be (-1 - (1 - 3)) + 23. Let k = j + -39. Is (-3)/(-2 + k/(-12)) a multiple of 2?
True
Let z(y) be the second derivative of y**5/20 - y**4/6 - 5*y**3/6 + 2*y**2 - 3*y. Suppose -11 = -4*u - 5*n, -4*u + n + 17 = -0. Does 14 divide z(u)?
False
Suppose -4*b + 16 = -0*b. Suppose 2*o = -b*c + 38, 0*o = 2*o - 2. Is 9 a factor of c?
True
Let r(k) = k**2 - 3*k + 1. Let c be r(4). Does 6 divide (-34)/85 - (-177)/c?
False
Suppose -y - 2*y - 24 = 0. Let i = -257 - -9. Does 6 divide y/(-28) + i/(-14)?
True
Let z = -153 - -423. Suppose 0 = 6*m - 450 - z. Does 20 divide m?
True
Let t(a) = a**3 - 4*a**2 + 3*a. Let h be t(5). Suppose 3*x + 0*y + 5*y = h, 2*y = -8. Is x a multiple of 4?
True
Let t = 572 - 257. Is t a multiple of 7?
True
Suppose v - 4*w = -14, -2*v - 18 - 1 = -5*w. Does 3 divide (14 - (v - 1)) + 2?
False
Is (-54420)/(-540)*(9 + 0) a multiple of 85?
False
Let s(b) = -109*b + 5. Does 9 divide s(-2)?
False
Is 46/(-6)*(-7 + 4) a multiple of 2?
False
Let r(m) = m**3 - 6*m**2 + m - 4. Let j = 11 - 5. Let a be r(j). Suppose a*l - 63 = 9. Does 32 divide l?
False
Is (-518)/(-28) - 3/(-2) a multiple of 2?
True
Let j(t) = 277*t + 698. Is 20 a factor of j(6)?
True
Let j = 139 - 256. Let h = j + 166. Does 7 divide h?
True
Suppose -340*c = -344*c + 1848. Is 56 a factor of c?
False
Suppose -26*d + 29*d + 33 = 0. Let v = d + 35. Does 6 divide v?
True
Is (68/(-8) + 1)*272/(-5) a multiple of 12?
True
Suppose -4*u = n - 109, -2*u = -5*n - 52 + 3. Let x = u - 51. Is 9 a factor of (-2)/(-8) - 1098/x?
False
Suppose -2*g + 6*g - 2351 = i, -3*i + 2339 = 4*g. Is g a multiple of 23?
False
Let a(o) = -o**3 + 8*o**2 - 6*o. Let q be a(7). Is 7 a factor of (30 - 0) + (-21)/q?
False
Let q = -6 + 9. Suppose -q*d - v = -2*d + 111, -6 = 3*v. Let r = 153 + d. Does 22 divide r?
True
Suppose 15*o - 1499 - 5326 = 0. Is 24 a factor of o?
False
Is 16 a factor of (-15366)/(-60) + 2/(-20)?
True
Let c(p) = 15*p + 12. Let t be c(6). Suppose -2*v + t = -20. Is 7 a factor of v?
False
Suppose 5*k - 1005 = -5*m, m + 11*k = 5*k + 216. Is m a multiple of 9?
True
Does 17 divide (442/(-1))/(-6 + (-22)/(-4))?
True
Let x(b) = b - 5. Let h be x(5). Suppose h = 2*s - o + 3*o + 88, 4 = -2*o. Let f = s + 78. Is f a multiple of 12?
True
Suppose -35 = -4*k + 21. Suppose -c + 14 = -k. Suppose z = -3*z + c. Is 7 a factor of z?
True
Let n(d) = 2*d**3 + 20*d**2 - d - 1. Is 10 a factor of n(-7)?
True
Let j = -31 - -69. Suppose -5*x - l + 829 = -107, -2*l = 2*x - 368. Suppose -3*t - j = -x. Is t a multiple of 15?
False
Let g = 5243 - 1591. Is 22 a factor of g?
True
Suppose 18*f = 14*f - 124. Let g = f - -34. Suppose g*l + 2*l = h + 98, 2*h = 5*l - 101. Is 3 a factor of l?
False
Suppose -3*p + 13063 = -3*k - 6374, 2*k = -2*p + 12938. Is p a multiple of 15?
False
Suppose 17*f = 15*f. Suppose f = -i - i + 144. Is i a multiple of 24?
True
Let x = 882 + -884. Let u = -84 + 0. Is x/(-12) - 2002/u a multiple of 9?
False
Let i(l) be the third derivative of -l**6/180 - 7*l**5/120 - 2*l**3/3 + 4*l**2. Let o(b) be the first derivative of i(b). Is o(-3) even?
False
Suppose 98 = 4*s - 11*s. Let n(a) = -a**2 - 22*a - 60. Does 26 divide n(s)?
True
Suppose i + 8137 = -4*d, -2*i - 6099 = 2*d + d. Is 12 a factor of 6/(-15) - d/25?
False
Let l = -868 + 2152. Does 20 divide l?
False
Let v = 72 + -30. Suppose -4*s - 2*o = -o - 35, 5*s - v = -3*o. Is 16 a factor of 6/s*819/6?
False
Let y be 24 - (-3)/9*-6. Is y/(-55) + (-1791)/(-15) a multiple of 17?
True
Let d be -3 - ((-57)/(-3) - -1). Let n be -2 - (d + 3 + 2). Suppose n = 2*r + 2*x + 2*x, 4*r = 5*x + 84. Is r a multiple of 10?
False
Suppose -3*d = -3*l + 3357 + 477, 5*d - 1296 = -l. Does 12 divide l?
False
Let k = -93 + 100. Suppose -k*f + 113 = -209. Is f a multiple of 16?
False
Let o(a) = 3*a + 10. Suppose 0 = -x - 4*w - 26, -2*w + 32 = -0*x - 2*x. Let i = x + 24. Is 7 a factor of o(i)?
True
Let x(d) = 11*d + 85. Does 24 divide x(-5)?
False
Let k(t) be the third derivative of 13*t**4/24 + 2*t**3/3 - 6*t**2. Let x be k(-1). Is 12 a factor of 6*9 - x/3?
False
Let x be 6/2 + (-2)/(-2). Suppose x*m - 3*y + 37 = 2*y, -y = -5. Let n = 13 - m. Is n a multiple of 6?
False
Let w = 13 - 10. Suppose w*v = -2*i - 2 + 16, 2*v = 2*i + 6. Let c(b) = 15*b**2 + 1. Is c(i) a multiple of 9?
False
Is 20 a factor of (-2)/(-8)*(-167884)/(-19)?
False
Suppose -2*l + 5*s + 164 = -303, -1196 = -5*l + 3*s. Is l a multiple of 12?
False
Suppose 5*x + 4*p + 250 - 1623 = 0, -2*p = 4*x - 1096. Is x a multiple of 13?
True
Let n be (-4)/(-10) + (-364)/35. Let t(s) = 4*s**2 + 22*s - 12. Is 28 a factor of t(n)?
True
Let t = 374 + -138. Is 28 a factor of t?
False
Suppose -820 = -4*i - 5*n, -3*n + 131 + 487 = 3*i. Is 28 a factor of i?
False
Let v = -359 - -527. Is 42 a factor of v?
True
Let a be ((-2)/4)/((-4)/16)*-4. Let n(s) = s**3 + 10*s**2 + 6*s + 4. Is n(a) a multiple of 12?
True
Suppose y - 4 = -5. Let j(f) = -47*f**3 + 2*f**2 - 1. Let s be j(y). Is s + 0 - (-11 + 7) a multiple of 16?
False
Suppose 0 = -3*k - 4*v + 211, 2*k - 134 = -0*v - v. Suppose -2*f - k = -203. Does 15 divide f?
False
Let n(j) be the second derivative of j**5/20 + 3*j**4/4 + 5*j**3/6 + j**2 - 12*j. Is 11 a factor of n(-8)?
False
Let l(i) = -i**3 - 7*i**2 + 8*i + 1. Let y be l(-8). Is 30 a factor of ((-12)/8)/(y - 199/196)?
False
Let r be -1*(-4 + 3 + -1). Suppose r*d - 105 = d. Is 3 a factor of (90/d)/(1/7)?
True
Let a be 5*(0 - 1) + -18. Let f(r) = -r**3 - 23*r**2 - 6*r - 33. Does 22 divide f(a)?
False
Let v = -463 - -665. Does 13 divide v?
False
Let f(y) = -2*y - 7. Let s be (-18)/9 + (12 - -1). Suppose -3*n = 2*a + s, -7 = a - 2*n + 2. Is 3 a factor of f(a)?
False
Suppose 3*b - 96 = -4*i + 1, 0 = -5*i + 3*b + 155. Is i a multiple of 7?
True
Suppose 9*c - 10*c = 2. Let i(b) be the first derivative of 16*b**3/3 + b**2 + 3*b - 2. Does 21 divide i(c)?
True
Suppose 2*a - 6 = 2. Let s(m) be the second derivative of m**4/6 - 5*m**3/6 - m**2/2 - 5*m. Is 3 a factor of s(a)?
False
Let h = -75 + 80. Suppose -h*y + 35 = -k + 129, -395 = -4*k + y. Is k a multiple of 9?
True
Let o(c) = -c**2 - 4*c + 164. Is 7 a factor of o(0)?
False
Let q be (29 - 0) + (-3)/(-1). Let d be 10/3 + (-4)/12. Suppose v = d, -q - 22 = -3*p - v. Is 14 a factor of p?
False
Suppose -1762 = 2*f + k, f + 3*k - 8*k = -892. Let b = -557 - f. Is b a multiple of 13?
True
Let r(t)