 - 13*z**2 - 3*z. Let l(j) = 4*s(j) + 11*v(j). Let b be 0 + (2 - 3)/(-1). Is l(b) a multiple of 34?
False
Let s = 488 - 290. Suppose 5*x - r - s = 0, 0 = -2*x - 2*r + 89 - 17. Is 13 a factor of x?
True
Let h = -166 - -688. Is h a multiple of 9?
True
Let o = -30 - -34. Suppose -3*y + 8 + o = 0. Is 4 a factor of y?
True
Let t(b) = -b + 12. Let a be t(7). Suppose -a*o = 3*d - 31, -6*o + 10 = -o. Does 7 divide d?
True
Let g(s) = 6*s**2 - 5*s + 4. Let q be g(5). Suppose -10 = 5*c, -510 = -5*l + 3*c - q. Is l a multiple of 15?
True
Is 18 a factor of 41 + 10 + (-5 - 1)?
False
Let j(w) be the second derivative of -w**4/12 + 3*w**3/2 + 3*w**2 + 209*w. Let v be (2 - -1) + 2 + 0. Does 4 divide j(v)?
False
Suppose 3*n = 15 - 3. Suppose n*y - y - t = 5, 3*y + 10 = -2*t. Suppose 2*m + 3*m - 65 = y. Is m a multiple of 5?
False
Suppose -3*g + 4*g = 8. Suppose 7*k = 5*z + 3*k - 8, z - 4*k - g = 0. Suppose -3*y + y + 210 = z. Is y a multiple of 16?
False
Let q = 459 + -294. Suppose -8*t = 3*t - q. Does 14 divide t?
False
Let i be (-10)/(-20) - (-3)/(-2) - -10. Is 29 a factor of (33/i - 4)/1*-87?
True
Let c(h) = h**3 + 37*h**2 - 15*h + 56. Is c(-37) a multiple of 13?
True
Does 13 divide (-2)/((-3 - 1)/1552)?
False
Suppose -42*j = -43*j - 13. Let o(s) = 9*s + 5. Let d be o(4). Let x = d + j. Does 24 divide x?
False
Suppose 24*n - 180 = 9*n. Suppose n*q - 325 = 23. Does 29 divide q?
True
Let h = 37 - 34. Suppose -h*n + 8 = -0*n - 5*b, b + 4 = 0. Is ((-21)/n)/7*32 a multiple of 3?
True
Suppose 2*y = -7 - 5. Let z = y - -3. Let t = z - -11. Is 3 a factor of t?
False
Suppose 0 = -2*b + 44 + 46. Suppose -2*h - 70 = 4*l, -h + b = -0*l - 3*l. Is 3 a factor of (-1 - (-44)/l)*-4?
True
Suppose -270 = -55*m + 60*m. Let h be 112/6*(-36)/(-8). Let t = m + h. Is t a multiple of 5?
True
Let d = 11 - 10. Suppose 8*i = -4*v + 3*i, 3*v - d = -4*i. Is (v/10)/((-2)/72) a multiple of 6?
True
Let u be 1*(2/(-2) - -3). Suppose -o = -u - 1. Suppose o*x + 0*k - 156 = 4*k, -5*x = -k - 277. Is x a multiple of 28?
True
Suppose 0 = 25*i - 20*i + 5. Is 5141/212 - i*(-1)/4 a multiple of 4?
True
Does 11 divide 17/((-22)/(-20) - 1)?
False
Suppose 3*o + 269 = -1. Let f = o + 246. Is f a multiple of 39?
True
Is (-882)/(-12)*(-40)/(-3) a multiple of 20?
True
Let k = 16 - -91. Is 12 a factor of k - (4/6)/((-4)/6)?
True
Let k(l) be the second derivative of -2*l**3 - 6*l**2 + 15*l. Suppose -4*v - 29 = 3. Is k(v) a multiple of 28?
True
Let g = -70 + 39. Let j(v) = 13*v**2 + 2*v - 1. Let i be j(2). Let f = i + g. Is 8 a factor of f?
True
Let c be 4 - 18/2*-3. Let l = c + -23. Suppose 3*o = l*o - 25. Is 2 a factor of o?
False
Let n = -1430 + 4496. Does 42 divide n?
True
Suppose 2*a + 36 = -a. Let y be (-76)/(-24) + 2/a. Suppose 0*o = 4*k + o - 149, -o = -y*k + 103. Is k a multiple of 18?
True
Let w(h) = 2*h**3 + h**2 - 2*h + 1. Let t be w(1). Let d(p) = -p**t - 38 + 29 + 7*p + 3*p. Does 3 divide d(8)?
False
Suppose -5943 = -4*a - g, -4*a + 6*g - 2*g = -5948. Does 78 divide a?
False
Let j = 546 - 371. Suppose 4*s - j = 3*l, 5*s + 2*l - 188 = 2. Does 2 divide s?
True
Suppose 4*i - 116 = 3*i + 2*b, 0 = 3*i - 4*b - 342. Suppose -i = -g - g. Does 11 divide ((-36)/(-30))/(2/g)?
True
Suppose 771 = r - 5*b + 126, -2475 = -4*r - b. Does 46 divide r?
False
Let t(l) = l**3 - 10*l**2 + 14*l. Let q be t(8). Let v = -106 - -154. Let g = v + q. Is 6 a factor of g?
False
Let j be 1*24*(-22)/11. Let d = j + 103. Suppose -5*u + 106 = 2*l - d, -4*l = -5*u + 143. Is 9 a factor of u?
False
Suppose o - 4*i - 353 = -9*i, 3*o - 1092 = -4*i. Does 23 divide o?
True
Let q be 2 + (1 - -1) + -4. Suppose 4*c = -q*d - 5*d + 97, -2*d - 113 = -5*c. Is c a multiple of 21?
False
Suppose -4*y = -3*p - 508, y + 0*p - 2*p = 127. Suppose -218 - y = -5*x. Suppose -4*w + 2*v = 3*v - 89, -4*w + x = -3*v. Is w a multiple of 7?
True
Suppose 27*a - 240 = 25*a. Is a a multiple of 19?
False
Let a be 2 + (-5)/(-10)*6. Suppose s = 2*u - 221, -a*s = -5*u + 3*u + 225. Is u a multiple of 11?
True
Let l = 10 - 16. Let c be -1 + 1 - 3 - l. Suppose 2*s - 125 = -c*s. Does 5 divide s?
True
Let p(k) = 17*k - 3. Let f be p(4). Suppose 3*v - 161 - 74 = -5*i, i = v - f. Is 10 a factor of v?
True
Suppose 4*n - 6 = 6, -4*y - n = -615. Is y a multiple of 19?
False
Suppose 8 = -3*v + 5*v. Suppose -3*i - 1 + v = 0. Does 18 divide i - -18 - (-5 + 5)?
False
Let m(x) = 5*x - 2. Let b be -1*(-3)/(-3) - 272. Let c be 2/10 - b/35. Is 19 a factor of m(c)?
True
Let h = 3382 + -2019. Is h a multiple of 8?
False
Let h = 27 + -40. Let a = h - -10. Does 5 divide ((-9)/6)/(a/20)?
True
Suppose 7 = s - 2*w, 0 = 2*s - 4*s - 4*w + 6. Suppose 0 = 2*h + 5*t - 7, -h + t = 2 + s. Is (44/12 + h)*-9 a multiple of 3?
True
Let f = 372 + -192. Is 3 a factor of f?
True
Let b(y) = -2*y - 18. Suppose -2*p + 16 = -4*p. Let l be b(p). Is 0 - (l + 0)*18 a multiple of 12?
True
Suppose 2*v - 18 + 4 = 0. Let j(s) = -s**3 + 8*s**2 - 2*s - 10. Is j(v) a multiple of 2?
False
Let u(q) = q**3 - 9*q**2 + 6*q + 4. Let m = 21 + -21. Suppose m = b + b - 18. Is u(b) a multiple of 14?
False
Let l(j) = 17*j - 251. Is 2 a factor of l(25)?
True
Let g = -32 + 59. Suppose -3*a = -6*a - g. Is 2/6 - 87/a a multiple of 4?
False
Suppose -4*y + 7*k - 4*k - 35 = 0, -2*k - 10 = 4*y. Let m = 116 + y. Is 37 a factor of m?
True
Let g = 661 - 393. Suppose 2*f + 3*f + m - g = 0, -f - m = -52. Is f a multiple of 10?
False
Let q(p) = p**3 + 8*p**2 + 2*p - 1. Suppose 24 = -5*f - 1. Does 23 divide q(f)?
False
Suppose -104 = -6*a + 5*a. Suppose c + a = 3*c. Is 13 a factor of c?
True
Suppose 5*p - p + 28 = 0. Suppose 7*h + 165 = 4*h. Let b = p - h. Is b a multiple of 24?
True
Let b(j) be the third derivative of -13*j**4/12 + 2*j**3/3 - 5*j**2. Is 32 a factor of b(-6)?
True
Suppose 12*b - 7584 = -0*b. Does 36 divide b?
False
Suppose -5 = -3*i - w, -w + 5 = 2*i - 2*w. Suppose -5*s - 35 = -i*c - 93, c - 1 = 0. Is 12 a factor of s?
True
Let x(a) = a**2 + 2*a - 4. Let n(b) = 1. Let c(j) = -6*n(j) + x(j). Suppose -7 = 3*t + 17. Does 19 divide c(t)?
True
Suppose 6 - 26 = -5*j. Suppose 4*p + 2*s = 3*s + 119, j*s = -3*p + 113. Is p a multiple of 31?
True
Is (-3165)/(-25)*65/39 a multiple of 5?
False
Suppose -6 = -2*i - 0*i - 2*s, 4*i + 3*s - 13 = 0. Suppose -144 = -i*p + d, -p - 5*d + 15 = -0. Does 7 divide p?
True
Let i = 35 + -34. Let h(v) = -3*v**2 + 23*v**2 - 2*v**2 - i. Does 15 divide h(1)?
False
Let y(t) = 7*t + 27. Is 36 a factor of y(33)?
False
Let z = -650 - -695. Is 5 a factor of z?
True
Suppose 2*w - 567 = -3*x + 686, x + 3090 = 5*w. Let d = w - 347. Let g = d - 189. Is g a multiple of 29?
False
Let h(t) = t**2 - 3*t + 4. Let v be h(2). Is 23 a factor of 47*v - (-20)/20?
False
Suppose -8*x = -36*x + 1764. Does 21 divide x?
True
Is 7 a factor of 14/((-72)/(-16) + -4)?
True
Let s(l) = 6*l**2 + 1. Let z be s(-3). Let i = z + -33. Is i a multiple of 11?
True
Let z = -458 - -676. Is z a multiple of 3?
False
Let q = -3 + 8. Suppose 0 = 5*w - s - 66, -q*w + 4*s + 82 - 28 = 0. Is 14 a factor of w?
True
Suppose 5*y = 4*z + 7413, -14*y + 17*y - 4449 = 2*z. Is 11 a factor of y?
True
Let m = 22 + -17. Suppose l + 3*w + 20 = -w, m*l + 100 = 3*w. Does 5 divide 98/5 + (-8)/l?
True
Suppose -2*d - 116 = 5*f - 0*d, 41 = -2*f + d. Let b = 18 - f. Suppose 5*p - b - 5 = 0. Does 3 divide p?
True
Suppose -s + 366 = 3*c, -1 = -2*s - 7. Does 4 divide c?
False
Suppose 3*y - p = 2*p + 3, -5*p = -2*y - 7. Suppose -k - 4*h = -0*k - 32, 0 = 2*k - y*h - 4. Is 3 a factor of k?
True
Suppose -7*b + 2*b = -275. Is 8 a factor of b?
False
Let n(y) = 18 + 14 - 30 + 3*y**2 + 5*y. Let i be n(-3). Suppose -4*w + i = -106. Is 15 a factor of w?
True
Let x be -3 - (-10)/4 - (-15)/10. Is (5 - x)*-1*(-59)/4 a multiple of 6?
False
Suppose 64 = -10*n - 296. Let t = -76 + 172. Let p = t + n. Is 20 a factor of p?
True
Suppose 7*u + 36 = -6. Let n = -4 - u. Is 41 a factor of n/(-4 - 1242/(-309))?
False
Suppose -4*l = -5*b + 824, 11*b - 7*b + 3*l = 653. Does 8 divide b?
False
Let z = -3698 - -6493. Is 19 a factor of z?
False
Suppose l - 8*z + 13*z = 3111, -z + 9291 = 3*l. Is 24 a factor of l?
True
Let x(d) = -10*d + 2. Let q be x(1). Let l be 3/((-36)/q)*6. Suppose 0 = -p + l*c + 12, -120 = -4*p - 2*c - 0*c. Does 13 divide p?
False
Suppose 0 = -3*z + 2*z. Let u be 414 + z + 7 + -4