= -3*z - 5*k + 46. Suppose -5*y = 5*c - 110, c - z = -y + 3*c. Is 17 a factor of y?
True
Let f(a) = 12*a - 4. Let x be f(8). Let p = -47 + x. Suppose -l + 11 = -3*s - p, s = -l + 44. Is 11 a factor of l?
False
Suppose z + z = -5*w + 3459, -5*z = -3*w - 8601. Is z a multiple of 89?
False
Suppose 3*u + 3100 = 5*g, -g - 3*u + 1261 = g. Does 41 divide g?
False
Let n(i) be the third derivative of 0*i + 0 + 5/6*i**3 + 1/24*i**4 - 4*i**2. Is 7 a factor of n(5)?
False
Suppose -3*d + 5*x = 10, -d = -5*d - x + 2. Suppose d*w + 2*w = 3*y - 4, -5*y - 4*w = 8. Does 7 divide 0 + -1 + 8 + y?
True
Let r(s) = s**2 - 2*s + 20. Let i be (0*1/3)/(-2 - -4). Does 20 divide r(i)?
True
Let o = 1 + 2. Suppose o*q = -w + 60, -4*q + q = -5*w + 246. Does 17 divide w?
True
Let b = 3058 - 1164. Does 13 divide b?
False
Suppose 31*k + 55*k = 18834. Is 15 a factor of k?
False
Let d(q) = 39 + 27*q**2 - 16*q**2 + 12*q - 5*q**2 - q. Is 32 a factor of d(-7)?
True
Let t = 1158 - 711. Is t a multiple of 9?
False
Let c(l) = -l**2 - 15*l. Let q be c(-13). Let j(p) = -p**3 + 26*p**2 + 5*p + 30. Is j(q) a multiple of 32?
True
Is 8 a factor of (-6906)/(-24) + (-4)/(-16)?
True
Suppose -3*l = -4*l - 4*c + 168, 5*l - 965 = 5*c. Is l a multiple of 47?
True
Let x = 96 - 60. Let y = 131 - x. Does 10 divide y?
False
Let c = -111 + 1958. Does 10 divide c?
False
Let d = 508 - 275. Is 54 a factor of d?
False
Suppose 0 = 5*j + 3*a - 22, -5*a + 3*a = 3*j - 13. Suppose -4*f = -4*z - 0*z - 76, j*z + f = -95. Does 9 divide 22/1 + z + 15?
True
Let r(i) = 7*i**2 + 39*i - 11. Let v(w) = -6*w**2 - 38*w + 10. Let t(f) = 3*r(f) + 4*v(f). Does 21 divide t(-9)?
False
Suppose p = 4*p - 396. Let x = p - 69. Does 9 divide x?
True
Let g = 31 + -21. Is 4 a factor of g?
False
Let t(w) = 4*w**2 - 6*w. Let f = 69 - 75. Does 18 divide t(f)?
True
Does 18 divide -3*849/9*-1?
False
Let h(s) = s**3 - 7*s**2 + 4*s + 6. Let t be h(6). Let a(w) be the second derivative of w**5/20 + 2*w**4/3 + 5*w**3/6 - 5*w**2/2 - 16*w. Is 13 a factor of a(t)?
False
Let c = 14 + -2. Is 12 a factor of -6*(-4)/c - -2 - -15?
False
Let c(n) = n**3 + n**2 - n. Let s be c(-2). Suppose 0 = -6*q + 12*q - 234. Does 14 divide 1/s + q/2?
False
Suppose 0 = 4*s + 28 + 356. Is 20 a factor of 24/s + (-753)/(-4)?
False
Suppose f - 328 = -4*y - 60, 5*f = -3*y + 218. Is 11 a factor of y?
True
Let i = -14 - -17. Suppose 0 = -4*c - i*a + 251, 0 = 12*c - 14*c + 3*a + 121. Is c a multiple of 30?
False
Suppose d = -5*d - 30. Does 12 divide (d - (4 + -8)) + 145?
True
Let q = 262 - 141. Suppose 2*t - 310 = z - 65, -z - q = -t. Is 31 a factor of t?
True
Let t = 1004 + -971. Is 29 a factor of t?
False
Suppose 4*z - j - 37 = 0, j - 2 - 9 = -2*z. Suppose 2*o = 4*o - 5*k - 325, -2*o + 295 = 5*k. Suppose 0 = -3*u + z*u - o. Does 22 divide u?
False
Let q(l) = -42*l + 10. Let h be q(-6). Suppose g + 7 = 3, h = s - g. Is s a multiple of 45?
False
Suppose 0 = -4*h + 2*l + 1780, 2*h + h - 1337 = l. Is 4 a factor of h?
False
Suppose 0 = 4*o - 2*w - 34 - 0, 50 = 5*o + 5*w. Is o even?
False
Suppose n - 5*t - 12 = 27, -4*n = 5*t - 31. Is n a multiple of 8?
False
Let t be (20/4)/(4/108). Suppose 5*g - t = -2*r - 2*r, 0 = -3*r + 2*g + 84. Is r a multiple of 15?
True
Suppose 81 = 4*o - 103. Let x = o + -84. Is -3*(-2)/(-12)*x a multiple of 7?
False
Let y = 59 + 123. Is 6 a factor of y?
False
Let o be 2 - 0/((-12)/3). Suppose o*d = -3*d. Suppose -4*w + 32 = -k - 109, -3*k + 9 = d. Is w a multiple of 12?
True
Let g(r) = -2*r**2 + 17*r - 7. Let f(d) = d**2 - 15*d + 7. Let p(x) = -3*f(x) - 2*g(x). Does 6 divide p(-16)?
False
Let h(f) = -2*f**3 - 6*f**2 + 4*f - 1. Let r(t) = -t**2 - 2*t**3 + t**2 + 3*t - 1 - 5*t**2. Let z(o) = -2*h(o) + 3*r(o). Is z(-3) a multiple of 7?
False
Suppose -84*m + 54152 = -56*m. Is 30 a factor of m?
False
Suppose -12*g = -1533 - 123. Let l = -77 + g. Is l a multiple of 8?
False
Let i(p) = 36*p**3 - 2*p**2 - p + 2. Let o(g) = -2*g**2 - 17*g - 7. Let l be o(-8). Is 2 a factor of i(l)?
False
Does 57 divide (-1)/(-7)*-4 - (-13211)/77?
True
Let p = -157 - -181. Is p a multiple of 8?
True
Let w be (90/4)/((-36)/(-48)). Suppose -5*g = -10 - w. Is 2 a factor of g?
True
Let j(i) = 3*i**2 + 9*i - 25. Let u be 456/88 + (-6)/33. Is 33 a factor of j(u)?
False
Suppose 3*w = 18*w - 2100. Does 7 divide w?
True
Let s(q) = -q**2 + 24*q + 1. Is s(23) a multiple of 4?
True
Let l(s) be the second derivative of -s**5/20 - s**4/4 - s**3/2 - 3*s**2/2 + 2*s. Let x be l(-3). Suppose -x*z = -2*z - 128. Does 14 divide z?
False
Suppose 0 = 18*w + w - 3648. Does 20 divide w?
False
Suppose -3*w - 1910 = -4*f - w, -3*w + 975 = 2*f. Is 10 a factor of f?
True
Suppose 13*z - 349 = 249. Is 23 a factor of z?
True
Let q = -666 - -996. Does 30 divide q?
True
Let d(o) = -171*o - 32. Does 36 divide d(-3)?
False
Let f = -154 + 257. Let g = 73 + f. Is g a multiple of 11?
True
Let g be 13*4/8*-2. Let z = g - -13. Suppose z = -3*p + 23 + 79. Does 17 divide p?
True
Let m be (-3)/18 - 28/(-24). Let v be (2/(-6))/(m/(-9)). Suppose -v*s = -2*u - 45, 0 = -7*s + 2*s + 5*u + 70. Is 17 a factor of s?
True
Let a be 167 - 3/(-9)*-9. Is 11 a factor of (-18 - a)*2/(-4)?
False
Suppose -2*m + 4*m = 452. Let k = m + -73. Is k a multiple of 17?
True
Suppose -2*x + 5*m = 30, 4*m + 32 = -4*x - 0*x. Let w = 12 + x. Suppose 5*u - 110 = -w*r, -4*u = -0*u + 3*r - 81. Is u a multiple of 24?
True
Is 37 a factor of 11*185/10*(-2)/(-1)?
True
Suppose -611 = -2*h + 381. Is 8 a factor of h?
True
Let j(u) = u**2 - 13*u + 15. Let y(i) = 5*i - 1. Let r be y(3). Let v be j(r). Let m = 45 - v. Does 8 divide m?
True
Let u(c) = c**3 - 8*c**2 - 8*c - 5. Let h be u(9). Suppose -2*r - 3*g - 13 = 0, r = -r + h*g - 6. Let i(p) = -6*p - 8. Is 22 a factor of i(r)?
True
Let a(d) = -18*d - 18. Let c be a(-6). Let l = c + -49. Is 8 a factor of l?
False
Let f(s) be the third derivative of -s**4/8 + 25*s**3/6 + 11*s**2. Does 16 divide f(-13)?
True
Suppose -2*h = 3*d - 3848, d = -h - 554 + 1838. Is d a multiple of 12?
False
Let a(h) = 2*h - 7*h + 3 + 6*h**2 + h + 8*h. Is a(-5) a multiple of 48?
False
Let w be 1 - (4*-13)/(-1). Is -3 + 7 - (-2 + 2) - w a multiple of 16?
False
Let c be ((-2)/6)/((-2)/18) + -1. Let g(o) = 27*o + 10. Is g(c) a multiple of 30?
False
Is (-2)/((-12)/26)*54 a multiple of 26?
True
Suppose 0 = -4*r + 401 + 199. Suppose -3*z + r = 3*c, -c + 5 = -6*c. Is z a multiple of 17?
True
Let i = -43 + 195. Does 2 divide i?
True
Let m be 3/((-2)/32*3). Let z = -11 - m. Suppose 0*s + z*s = 3*r + 216, -160 = -4*s - 4*r. Is s a multiple of 14?
True
Let v be (301 - (-8)/2) + 1. Suppose 3*x = 3*u - 471, u - 4*x = -u + v. Suppose -53 = -p - s, -3*p + s = 5*s - u. Is 17 a factor of p?
True
Let v = 414 - 293. Suppose 3*b = v + 8. Does 7 divide b?
False
Let d = -22 - -22. Suppose 5*c - 10 - 10 = d. Suppose -c*j = 5*m - 231, j + 4 = -3*j. Is 12 a factor of m?
False
Let s = 39 + -26. Let v be (s + -10)/((-2)/(-4)). Does 8 divide (1/2)/(v/192)?
True
Suppose 2*c = -3*c + 10. Suppose -2*a = -c*m + 254 - 24, -2*a - 230 = m. Let p = a + 175. Does 20 divide p?
True
Let j(p) = -p**2 - 3*p - 2. Let l be j(-2). Suppose -2*g = -5*c + 1, l = -2*g - 2*g + 3*c - 9. Is (-2)/g*(-135)/(-18) even?
False
Let b = -18 - -9. Let a(w) = 2*w + 6. Let r be a(b). Is 23 + r/(2 - 6) a multiple of 9?
False
Suppose 2*b = 18 + 14. Suppose -2*c + b = -5*u + u, 3*c - 5*u = 29. Is c a multiple of 6?
True
Let v = -390 - -496. Is v a multiple of 14?
False
Let r(t) = t**3 - 14*t**2 + 14*t - 7. Let c be r(13). Let b(s) = 3*s**3 - 16*s**2 + 11*s - 14. Is b(c) a multiple of 21?
False
Let p(s) = -2*s**3 + 8*s**2 - 63*s - 523. Is 17 a factor of p(-10)?
True
Let s(d) = d**3 - d**2 - d + 315. Does 21 divide s(0)?
True
Let k = -832 + 912. Is k a multiple of 20?
True
Let c = 1039 + -279. Is 19 a factor of c?
True
Suppose 3 = -4*g + 15, r = 3*g + 486. Is r/3 + (0 - -3) a multiple of 42?
True
Let i = -11 - -15. Suppose -2*r + i*q - 19 = 15, 58 = -5*r + q. Let k = r + 29. Does 6 divide k?
True
Let a(f) be the second derivative of -f**5/20 - 4*f**4/3 - f**3 - 9*f**2 + 6*f. Is 10 a factor of a(-16)?
False
Let v be 97 - (0 - (-4 - -3)). Let a = v + -258. Is 9 a factor of (8/12)/((-3)/a)?
True
Suppose -3*j = -2*j + 2. Let i(p) = 12*p - 13*p - 13*p - 14*p - 3*p - 2. Does 30 divide i(j)?
True
Let m(l