 = s - d. Is a a multiple of 19?
True
Let u be 18/(-30) - (-128)/5. Let j = -2 + u. Is 7 a factor of j?
False
Does 21 divide -4 + 40/8 + 532?
False
Let m = 166 - 91. Suppose -2*a - m + 257 = 0. Is a a multiple of 13?
True
Let l = -204 + 805. Is l a multiple of 7?
False
Let i = -59 + 70. Let v(b) = 2*b + 13. Is v(i) a multiple of 15?
False
Suppose -22*u + 1216 = -18*u. Is u a multiple of 25?
False
Suppose 6*f - 5*f - 3*k - 150 = 0, -5*k = f - 118. Suppose 3*b - 7*b - 2*t = -f, -36 = -b - 2*t. Is b a multiple of 3?
False
Let a(c) be the third derivative of -c**5/60 + c**4/4 - 7*c**3/6 + c**2. Let j be a(7). Is 25 a factor of (-1094)/(-18) + j/(-63)?
False
Let l be (-6)/36 + (-57)/(-18). Let s(d) = d**2 + d. Let q(n) = 2*n**3 - 6*n**2 + 4*n - 4. Let t(p) = q(p) + s(p). Is 5 a factor of t(l)?
True
Let j = -7 + -6. Let z be (5/(-3))/(j/39). Suppose -102 = -z*o + 2*o. Is o a multiple of 27?
False
Suppose -5*k + 2*k = -4*c + 25, 32 = 4*c + 4*k. Let r(h) = 26*h + 4. Let q be r(c). Suppose 0 = -5*m + q + 59. Is m a multiple of 9?
False
Let l(s) = 4*s**2 - 40*s + 228. Is l(29) a multiple of 64?
True
Suppose -19 = 5*d - 1099. Is d a multiple of 8?
True
Suppose 3*y = -3*o + 261, -2*o - 31 = -3*y - 180. Suppose 3*i + 26 = x, -3*x + 12 = -5*i - o. Does 12 divide x?
False
Suppose 5*s - 8919 + 714 = 0. Is 19 a factor of s?
False
Let a = 740 + 184. Is a a multiple of 12?
True
Does 14 divide (6706/(-448)*8)/(1/(-16))?
False
Suppose 5*q - 90 = 6*q. Let k = 339 + q. Is k a multiple of 15?
False
Suppose 3033*g + 29385 = 3048*g. Is 49 a factor of g?
False
Suppose 46*l - 1447 = 2785. Is l a multiple of 2?
True
Let v = -119 + 267. Does 5 divide v?
False
Let k(h) = 1932*h**2 + 11*h - 12. Is 53 a factor of k(1)?
False
Let s = -54 - -22. Let p = -16 - 9. Let w = p - s. Is 2 a factor of w?
False
Let p(o) = -o**3 + o**2 - o + 22. Let j(f) = -f**3 - 8*f**2. Suppose 2*d + 20 = 2*i, 7 + 5 = -d + 2*i. Let x be j(d). Is p(x) a multiple of 14?
False
Is 62 a factor of (-1302)/(30/20*-1)?
True
Is 16443/279 + (-12)/(-186) a multiple of 3?
False
Let q = -1506 - -2280. Is q a multiple of 55?
False
Let p be 2/10 - 492/(-15). Let s be 2/1 + (p - -1). Suppose -3*x + 5*x - s = 0. Is 6 a factor of x?
True
Suppose 819 = 3*l + r, -5*l + 315 = -5*r - 1030. Is l a multiple of 2?
True
Let a be (-14)/(1 + 32/(-28)). Let s = -30 + a. Is 17 a factor of s?
True
Is 23 a factor of 130053/56 + 1 + (-6)/16?
True
Suppose 1072 = w + 3*j, -7*w + 4*j + 1044 = -6*w. Does 64 divide w?
False
Suppose 9 = -0*y + 3*y. Let o be 2/((-48)/(-15) - y). Is 23 a factor of (-1145)/(-25) - (-2)/o?
True
Suppose 3*b = -x + 2, b + 2 = -2*x + 6. Suppose a + x - 44 = 0. Is 21 a factor of a?
True
Is 7/((-42)/24) - -121 a multiple of 12?
False
Let o(k) = 328*k + 142. Does 33 divide o(5)?
True
Let m = 110 + -26. Suppose -2*f + m = f. Is f a multiple of 28?
True
Is (-7135)/18*-2 - 6/(-27) a multiple of 61?
True
Let h be 3/(-6)*(1 + -5). Is ((-1)/h)/((-9)/198) a multiple of 4?
False
Let x be 12/(-18) - 5*(-1)/3. Is 2 a factor of 1/(x/39*3)?
False
Let n(p) = p**2 - 2. Let v be n(-2). Suppose -v*d + 3 = -3, 2*u - 74 = 4*d. Is u a multiple of 25?
False
Suppose 0 = -f + b - 0 + 4, -3*b = f - 20. Suppose 312 = -4*g + f*g. Does 13 divide ((-8)/12)/((-1)/g)?
True
Let t = -18 + 12. Is 6 a factor of t*((-52)/8 + 1)?
False
Let c be 21*4/((-12)/3). Let w be c/14*(-4)/3. Suppose -s - 8 = -w*s. Does 8 divide s?
True
Suppose -4*i - 5 = 5*p - 2*p, 3*p + 5*i = -10. Suppose p*g + 3*g = 624. Is 3 a factor of g?
True
Suppose 3*z + 3*s - 24 = 0, 3*z + 2*s = -0*z + 19. Suppose -3 - 9 = z*j. Let k(p) = -4*p + 5. Is 21 a factor of k(j)?
True
Let k be 4/(12/63) - -4. Suppose 0 = k*z - 22*z - 183. Suppose w = -t + 34, 0 = -2*w - 5*t + 1 + z. Is 10 a factor of w?
False
Suppose -5*w - 29 = 251. Does 12 divide w/16 + (-1)/(-2) + 59?
False
Let y = -152 + 445. Is 54 a factor of y?
False
Let z = -581 + 2234. Does 19 divide z?
True
Suppose -181*b - 229840 = -246*b. Does 104 divide b?
True
Suppose -j = 2*v + 3*j, -3*j = -2*v + 7. Suppose v*n - 290 = 46. Is 17 a factor of n?
False
Let b(o) = -3*o**3 - 18*o**2 + 3*o + 23. Let q(m) = -7*m**3 - 37*m**2 + 6*m + 45. Let s(j) = -9*b(j) + 4*q(j). Is s(13) a multiple of 24?
False
Suppose -7*z + 23 = -4*z + 4*q, 3*q = -4*z + 19. Is (-2 + z + -157)/(-2) a multiple of 9?
False
Suppose -2*t = -0*t + 2. Let n be t + 10/5 + 3. Suppose -n*g + 74 = -3*p - 111, 175 = 3*g + 5*p. Does 14 divide g?
False
Let q(s) = 4*s**3 - 5*s**3 + 5*s**3 + 1 - 2*s**3 + 4*s. Is q(4) a multiple of 12?
False
Let u = 17 + -11. Let o be ((-8)/6)/((-4)/u). Suppose -o*c + 58 = 6. Is c a multiple of 26?
True
Suppose 8*s + 3*s = s. Suppose s = -6*y + 144 - 36. Is y a multiple of 9?
True
Suppose -1582 = 4*k - 6*k. Suppose 0 = -2*w + 3*s + 531, s = -2*w - w + k. Suppose y = 5*y - w. Does 11 divide y?
True
Suppose 0 = -6*s + 18*s - 3828. Let f = s - 139. Is f a multiple of 30?
True
Let f = -87 - -127. Is 8 a factor of f?
True
Suppose 2*b - 12 = -7*d + 2*d, 0 = -4*b + 4. Suppose -6 = 3*j, 0*q - 444 = -4*q - d*j. Does 8 divide q?
True
Suppose 0 = c + 3*p - 266, 2*c + 5*p = 9*p + 532. Is c a multiple of 38?
True
Let k be 2/(6/(-9))*7/(-3). Suppose 5 = x, 5*w + 4*x - 153 = -28. Suppose 10*h - k*h = w. Is 2 a factor of h?
False
Suppose 3*m - 27 = 84. Let r = -16 + m. Is 3 a factor of r?
True
Let o(g) = -32*g + 15. Let a(n) = 16*n - 7. Let b(u) = 5*a(u) + 2*o(u). Is b(2) a multiple of 11?
False
Suppose 0*o = -o - 2. Is 10 a factor of (o - 0)/(18/(-333))?
False
Let j(a) = a**3 + 9*a**2 + 9*a + 4. Let z(d) = -d**2 - d + 1. Let q(u) = j(u) + 3*z(u). Is 4 a factor of q(-3)?
True
Let y be 567/6 + (-4)/(-8). Is 27 a factor of y/2 - (-3)/6?
False
Suppose z + 32 = -0*z. Let x be 4/z*-4*248. Suppose 5*j = j + x. Is j a multiple of 10?
False
Let t(s) = -2*s**2 + 7*s - 6. Let c be t(4). Let l(g) = g**3 + 11*g**2 + 17*g + 8. Let w be l(c). Is -3 - w/(-4)*-2 a multiple of 7?
True
Let b(k) = k**3 + 8*k**2 - 2*k - 11. Let y be ((-3)/1)/3 - 7. Let d be b(y). Suppose -d*r = -37 - 43. Is 6 a factor of r?
False
Suppose -179*u = -178*u - 524. Does 50 divide u?
False
Let z(s) = -s**3 + 18*s**2 + 24*s + 84. Is z(19) a multiple of 2?
False
Suppose -q + 12 = -5*j, 0 = 2*q + 5*j + 6. Suppose -g + 4 = q. Suppose -d = -3*o - g*d + 217, -5 = -5*d. Does 24 divide o?
True
Suppose 0 = -83*j + 77*j + 1272. Is j a multiple of 11?
False
Is ((-21)/(-28))/1 - (-3765)/4 a multiple of 67?
False
Let w be (-5 + 0)*(1 - 22/10). Does 3 divide -90*((-14)/12 - (-4)/w)?
True
Suppose -h + 32 = 4*y, -3*h + 8*h = 3*y - 47. Let z be (-10 + 1)*(-6)/y. Let q = 17 - z. Does 3 divide q?
False
Suppose -2*i = 2*w - 48, i - 14 - 6 = 3*w. Let h = i - 21. Does 2 divide h?
True
Let t = 2184 + -1232. Is t a multiple of 8?
True
Suppose -n = -225 - 322. Is 15 a factor of n?
False
Let n be (-15 + 3 + -3)*-1. Let j = -14 - -23. Let c = n - j. Is 6 a factor of c?
True
Let q = -16 - -22. Suppose -8*x + q*x = 12. Let l = 28 - x. Is 14 a factor of l?
False
Let p(i) be the second derivative of i**4/4 + i**3/3 + 2*i. Let h be p(2). Suppose -g = 6 - h. Is 4 a factor of g?
False
Suppose -17 = o + 4*p, -5*o + 2*p + 19 = -2*o. Suppose 0 = -4*y + o*a - 30, 3*a - 24 = 3*y - 0*a. Is (16/6)/(y/(-9)) even?
True
Suppose -9 = -0*u - 3*u + 4*f, -4*u - f + 12 = 0. Let r = u - 12. Let g = r - -18. Does 9 divide g?
True
Let w be (-1)/(-2)*(9 + 1). Let i(b) = -4*b - 2*b - 22 - w. Is 4 a factor of i(-9)?
False
Let h(i) be the second derivative of -i**6/180 - 5*i**4/6 + 6*i. Let b(v) be the third derivative of h(v). Is 5 a factor of b(-4)?
False
Suppose 18*w - 1200 = 2*w. Does 25 divide w?
True
Suppose 5*i - 3*i = 3*i. Suppose 0 = -3*d - 65 + 182. Suppose d = 3*w - i*w. Is w a multiple of 13?
True
Let a be 230/45 + (-6)/54. Is a/(((-6)/4)/(6/(-4))) a multiple of 5?
True
Suppose 5*d - 246 = -66. Suppose -6*j + 5*j = -d. Suppose -4*q = -q - j. Is 4 a factor of q?
True
Let h = 320 + 580. Is 10 a factor of h?
True
Let m be 6 - (-8)/20*-10. Suppose 4*i = -4*u + 244, -m*u + 94 - 434 = -5*i. Does 11 divide i?
True
Let b = -3 + 6. Suppose -6*v + 124 = -38. Suppose b*t = 2 + 10, 0 = o + 4*t - v. Does 11 divide o?
True
Let j be 0 - (-252 - 9/3). Let t = j - 176. Is t a multiple of 16?
False
Let i be 0 + (0/(5 - 1))/(-1). Suppose i = -5*u - q + 84, -3*u + 