*a + 387 = 0, -2*w + 5*a = -177. Suppose -7*s = -r*s - w. Is s a multiple of 16?
True
Let c be ((-4)/(-6))/(10/90). Suppose q = 13 + c. Is q a multiple of 8?
False
Let x be (3 - 1)*(-6)/4. Suppose 9*r + 43 = 16. Is 4 + 0 - x/r even?
False
Let i = -448 - -628. Let d = i + -85. Is -3*d/(-15) + -4 a multiple of 15?
True
Suppose 0 = -4*c + 3*c + 7. Suppose c = 7*j - 7. Suppose -3*d + 5*d = -4*o + 36, -5*o + 39 = j*d. Is 3 a factor of d?
True
Is 25 a factor of 5/(6/21 - (-24)/(-280))?
True
Suppose -u - u = 2*w - 60, 4*w = -3*u + 95. Suppose -2*h = 3*h - u. Suppose 0 = h*m - 20, d = 3*d + 5*m - 34. Is d a multiple of 2?
False
Suppose 0 = -3*h + 4*h - 26. Let f = 29 - h. Suppose 3*v + 4*b = 71 - 7, 2*v = -f*b + 43. Is v a multiple of 11?
False
Let u(q) = q**2 - q + 8. Let z be u(-7). Suppose -3*g = 2*r - 76, 4*g - g - 4*r - z = 0. Suppose -2*t + 2 = -g. Is 13 a factor of t?
True
Let m(g) = 88*g + 35. Is m(5) a multiple of 25?
True
Let z = 277 - 178. Let m = 184 - z. Does 7 divide m?
False
Does 9 divide -1689*(-5 + 1 - (-11)/3)?
False
Suppose -7*g + 433 = 13. Suppose g = -3*n + 8*n. Suppose -n*z = -11*z - 12. Is 5 a factor of z?
False
Suppose -8*v = -17 - 111. Suppose v*a = 18*a - 90. Is 5 a factor of a?
True
Let w(r) = -r - 1. Let b(a) = -a**2 + 16*a - 2. Let x(y) = -b(y) - 4*w(y). Does 10 divide x(15)?
False
Suppose 0 = 4*f - 0*f - 780. Suppose 5*g = -0*g + f. Suppose -5*k + 156 = -g. Does 13 divide k?
True
Let v be 114/(-4)*12/(-9). Suppose -3*h = 2*c + 39, 3*c = -c + 2*h - v. Is 13 a factor of 38*1 - 12/c?
True
Let p be (-1)/(2/3)*8/6. Does 24 divide 37 + 46 - (-1 - 0)*p?
False
Suppose 3*z = -3*s, -25 = -2*z + 3*s - 0*s. Suppose z*k - 87 = -d, k + 348 = 5*d - 3*k. Is d a multiple of 6?
True
Let z(x) = -x**3 - 6*x**2 - 7*x - 6. Let y be z(-4). Let v = y + 14. Suppose v*u = 2*u + 64. Is 16 a factor of u?
True
Suppose -4*l = -2*y + 4, -y = 2*l - 1 + 3. Suppose y*b - 3*b + 66 = 0. Does 4 divide b?
False
Suppose 2*n + n - 12 = 0, -4*n + 787 = 3*g. Suppose 4*x - g = -3*t, 0 = -4*t + 3*t + 3*x + 103. Is t a multiple of 13?
True
Let m = 55 - 53. Is m/(((-4)/(-1698))/((-2)/(-6))) a multiple of 23?
False
Suppose 657 + 715 = 4*k + j, 1736 = 5*k - 4*j. Does 4 divide k?
True
Let p be 3 - (6/(-9) + (-109)/3). Suppose -324 = 37*j - p*j. Is j a multiple of 27?
True
Let z = 105 + 79. Is 3 a factor of z?
False
Suppose 14*o = 18 - 4. Suppose 5*i - 323 = -4*y, 0 = 2*i - 5 - o. Is y a multiple of 32?
False
Let l(n) = -3*n**3 - 9*n**2 + 12*n - 40. Does 57 divide l(-12)?
False
Suppose 22*a + 5*r = 21*a - 5, -65 = -2*a + 5*r. Suppose p + 2 = z + 2*z, -3*p + z - 30 = 0. Let f = p + a. Does 5 divide f?
False
Let s = -82 + 315. Is s a multiple of 16?
False
Let s(b) be the third derivative of b**6/120 - 2*b**5/15 + 7*b**4/24 + 2*b**3/3 + 4*b**2. Let w be s(7). Suppose 352 = -0*i + w*i. Is i a multiple of 23?
False
Suppose -5*h + 4*o + 47 = 0, 5*h + o - 28 = 4. Let l = h - 5. Suppose q = -l*q + 18. Is 6 a factor of q?
True
Let s be (-1 - -2)/((-9)/27). Let o be 4 + ((-24)/1)/s. Is 17 a factor of (-272)/o*(-9)/6?
True
Let i(z) = z**3 - 5*z**2 - 7*z + 4. Let a be i(6). Let j = a + 3. Suppose 139 = 3*o + 2*b, -2 - j = 3*b. Does 12 divide o?
False
Suppose w = -0 - 8. Does 4 divide (-32)/(-6) - (w/(-3))/(-4)?
False
Let q be 0*(4 - 18/4). Is q/(-3) - (2 - 12) a multiple of 10?
True
Let s be -1 + -3 + (32 - 0). Suppose -16*f = -14*f - s. Is f a multiple of 3?
False
Suppose -9 = -0*z - 3*z. Suppose z*l + 2*d - 35 = 2*l, 0 = 5*l - 4*d - 189. Does 7 divide l?
False
Let p(c) = 3 + 3 - 3*c**2 - 11*c - 10*c - c. Does 13 divide p(-7)?
True
Let x(f) = 4*f + 2. Let q be (0 + -3)/(-7 + 6). Suppose d + q*n = -0*d + 7, 4*n = 0. Is x(d) a multiple of 15?
True
Let g(z) = -z**3 + 11*z**2 - 14*z + 6. Let q be g(9). Suppose d = 3*d - q. Let f = d - 13. Does 4 divide f?
True
Let f(h) = h**2 + 3*h + 4. Let a be f(-3). Suppose -2*o = -a*o + 34. Let r = 44 + o. Does 31 divide r?
False
Suppose 0 = -0*q + q - 3*k - 80, 4*q + 4*k - 384 = 0. Is 8 a factor of q?
False
Is (897/92)/(12/800) a multiple of 26?
True
Let h = 1062 + -221. Does 52 divide h?
False
Let g = -3735 + 9030. Does 15 divide g?
True
Suppose 3*q - 12 = 0, -2*q + 8 = 5*o - 2*o. Suppose -4*t + o*t = 108. Is 17 a factor of (t/(-18))/((-3)/(-68))?
True
Suppose 5*k + 20 = -3*j, 0 = -4*j - 3*k - 3 - 9. Suppose m + m = j. Suppose -5*n - 2*q + 5*q = -6, -2*n - 3*q + 15 = m. Is n a multiple of 2?
False
Let t be (-4 + 28/8)*-148. Suppose -2*j + 70 = o, t = 3*j - 5*o - 44. Does 12 divide j?
True
Let v(y) = -676*y**3 - 3*y**2 + 2*y + 4. Is 3 a factor of v(-1)?
True
Let f(s) = 7*s - 14. Let u(h) = 11*h - 5. Let x be u(4). Suppose -m + 4*m - x = 0. Is 26 a factor of f(m)?
False
Let w = 11 - 17. Let q be (-75)/20*16/w. Is 16 a factor of (30 + -5)*32/q?
True
Let t(b) = 4*b**2 + b + 3. Let q = -19 - -13. Let c = q + 9. Is 21 a factor of t(c)?
True
Suppose -2*t + 26 = 8. Does 17 divide 56 - t/3 - 2?
True
Let z = 29 - -416. Is z a multiple of 41?
False
Suppose 4*r - 4*i = -7*i + 8589, -3*r + 3*i + 6468 = 0. Does 9 divide r?
True
Let o be -4 - 1/(((-7)/6)/7). Suppose 4*h - 74 = -3*s, -o*h + 8 = -2. Is 3 a factor of s?
True
Let c(n) = -n - 4. Let k be c(-11). Let t(y) = -4 - 1 + 2*y**3 + y**3 - 5*y**2 - 2*y**3 - 5*y. Is 12 a factor of t(k)?
False
Suppose w = 79 + 40. Let c = -93 + w. Is c a multiple of 16?
False
Let h = -198 - -1192. Does 11 divide h?
False
Let v(r) = 2*r - 13. Let s be v(5). Is 10 a factor of s*9/((-54)/40)?
True
Does 14 divide 1017/113 - (-790 - -1)?
True
Is (-5 - (-105)/6)/((-2)/(-4)) a multiple of 6?
False
Is (3 - 39/15) + 2818/5 a multiple of 38?
False
Suppose -4*d + 85 + 397 = -2*s, -4*d + 467 = s. Is 80 a factor of d?
False
Let g = 78 + -28. Suppose -5 = -t, -5*b - 6*t + t + g = 0. Suppose j + 38 = 2*j + d, -b*d = -25. Is j a multiple of 7?
False
Suppose -225 = -7*u + 2*u + 4*x, 3*u - 137 = 2*x. Suppose -s = -u - 71. Is 6 a factor of s?
True
Let l be -17 + (-1)/(1 + 0). Let d be 12/42 + l/14. Does 9 divide 1 + 14*(d + 2)?
False
Let w = 18 + -14. Suppose w*h - 56 = -4. Does 2 divide h?
False
Let j = -131 + 479. Is j a multiple of 14?
False
Suppose 25*w = 27*w - 32. Does 6 divide -60*(w/(-4))/4?
True
Suppose -29*h + 34*h = -5*c + 12840, 5*c - 25 = 0. Is h a multiple of 78?
False
Suppose -g + d = -102, 4*d + 420 = 3*g + 118. Suppose -z - 42 = -g. Is z a multiple of 32?
True
Suppose -62567 - 23729 = -46*x. Does 67 divide x?
True
Let t = -248 - -347. Suppose -5*y = -31 - t. Is y a multiple of 26?
True
Let j = 12 - 9. Suppose 3 = -2*h - 3*i, 0*i - j*i + 3 = h. Let a = 12 + h. Does 6 divide a?
True
Suppose 2*d - 5*h = 130, 4*d = 2*d - 2*h + 144. Does 6 divide 35/15 + -2 + d/6?
True
Let v = 1083 - 1078. Let z = 3 + 13. Suppose -7*x + z = -v*x. Is x a multiple of 4?
True
Let h(w) be the second derivative of -w**3/2 + 14*w**2 + w. Suppose 3*t + 24 + 28 = 2*d, 4*d + 24 = -2*t. Is 19 a factor of h(t)?
True
Let w(l) = 4*l + 13. Let z(h) = h**3 + 8*h**2 + 7*h. Let x be z(-7). Suppose x = q + 3*q - 24. Is 8 a factor of w(q)?
False
Let x be 82/8 + 1/(-4). Suppose -4*f + x = -5*r, -3*f - 6 + 2 = 2*r. Let o = 24 + r. Is 22 a factor of o?
True
Let g = 761 - 329. Is 38 a factor of g?
False
Suppose -k - 6*h + h = -51, 3*h - 213 = -3*k. Let w = k + -10. Is w a multiple of 6?
True
Let h = 46 - 49. Is 82 + h + (-3 - -5) a multiple of 27?
True
Let m be (-2 - (-17)/2)*-8. Let d be (m/(-6))/(1/12). Is 2 a factor of (-4)/(-6) - d/(-24)?
False
Let a(x) = -15*x + 5. Let i be a(-9). Suppose 3*z - 566 + i = 0. Is z a multiple of 32?
False
Let v(w) be the first derivative of -w**4/12 + 7*w**3/6 + 6*w**2 - 2*w - 1. Let p(k) be the first derivative of v(k). Is p(7) a multiple of 12?
True
Let f(n) = -5*n + 30. Let p be f(6). Suppose 7*k - 29 - 48 = p. Is 2 a factor of k?
False
Suppose 4*d + 4*o = -o - 7, 5*o + 17 = d. Let j(t) = -5 + t - 3*t - d*t + t. Does 5 divide j(-4)?
False
Is 43 a factor of 613 - (-8 + 13 + 1)?
False
Suppose 5*h - 3*z = -7*z + 3890, -2*z = 3*h - 2336. Is h a multiple of 77?
False
Suppose 4*r = -3*j + 150, 2*j - 2 - 2 = 0. Is 4 a factor of r?
True
Let i(t) = t**3 + 19*t**2 + 10*t - 16. Is i(-18) even?
True
Suppose 0 = -5*o - 7 - 328. Let s = 28 - o. Let d = s + -63. Is 16 a factor of d?
True
Suppose 7*k + 27 = -29. Let p be (-2)/8 + (-2)/k. Let h =