 b be q(1). Let s = b + -15. Is s even?
False
Let x be 2/(-9) - 121/(-99). Let l be (0 + x)*(0 - 10). Let j(v) = -3*v - 3. Is 2 a factor of j(l)?
False
Let l(q) be the third derivative of -3*q**6/40 - q**5/15 - q**4/24 + q**3/2 + 21*q**2. Suppose -a = -5*y - 9, -3*y - 5*a - 3 = 8. Is l(y) a multiple of 13?
False
Suppose -3994 - 24131 = -3*i + 4*q, 0 = 2*q. Is 25 a factor of i?
True
Suppose -9*p + 1760 = -5*p. Suppose -208 = -m + a + a, -2*m = 2*a - p. Let t = m + -131. Does 39 divide t?
False
Let w = 1198 + 7914. Does 317 divide w?
False
Suppose -9*d - 249 = -285. Suppose -31*c + d = -27*c, 95 = 3*o - c. Is 7 a factor of o?
False
Let a(g) = g**3 - 5*g**2 - 2*g - 1. Let q be a(4). Let o = 19 - q. Suppose -z + o + 19 = 0. Is z a multiple of 7?
True
Let p(n) = 116*n**2 - 2*n. Is p(1) a multiple of 2?
True
Suppose -144*i + 770189 = 185*i. Is i a multiple of 6?
False
Is (-13 + 18)/40 + (200315/(-40))/(-1) a multiple of 8?
True
Suppose -20 = 2*z - 5*v, 6*v = z + 2*v + 16. Suppose -u = -z*j - 2*j + 98, -10 = 5*u. Suppose -j*n = -47*n - 28. Is 10 a factor of n?
False
Is 28 a factor of 0 - (-2)/3 - (-33)/((-3861)/(-3294057))?
False
Let u(w) = -28*w + 3. Let c be u(-1). Suppose -d - c + 19 = 0. Let j(x) = -x + 5. Is j(d) a multiple of 4?
False
Let r(f) = 1627*f**2 - 9*f + 5. Is 13 a factor of r(-2)?
False
Let c(f) = 58*f**2 + 31*f + 467. Is 22 a factor of c(13)?
False
Let x = -2555 + 1672. Let a = 1291 + x. Is 34 a factor of a?
True
Let l(t) = -11*t**2 - 12 + 13*t**2 + 2*t**2 - 4*t - 3*t**2. Is 9 a factor of l(7)?
True
Let c be (0 + -2)*5/(-2) - 2. Suppose -3*m + c*r + 7 = 8*r, 0 = 4*m + 5*r - 11. Suppose 2*f + 0*o - m*o - 74 = 0, -3*f - o = -90. Does 11 divide f?
False
Let j = -5689 - -8545. Is j a multiple of 14?
True
Suppose -2*j - w + 6808 = 167, 5*j - 16580 = 2*w. Is j a multiple of 17?
False
Let c be 44/3 + (-6)/9. Let u be (-7)/c - (-2 + (-13)/2). Is 32 a factor of (((-12)/15)/(-1))/(u/1180)?
False
Let g(q) = 12*q**3 + q**2 - 3*q + 1. Let m be g(-3). Let h be 2*(-4 + m/(-10)). Suppose -4*v + 33 = b + 2*b, b = 4*v - h. Is 3 a factor of v?
True
Let d = -2445 - -1302. Is ((-3)/(-9))/((-3)/d) + -5 a multiple of 61?
True
Let r = -432 - -784. Suppose c = -3*n + 696 - 154, -2*n + 4*c + r = 0. Does 30 divide n?
True
Let i be (5 + 1)*(-2 - -3). Let u = -319 + 359. Suppose -i*v = -142 + u. Is 6 a factor of v?
False
Suppose 0 = -q + 5, -5*n = 3*q - 547 - 1068. Is 3 a factor of ((-3456)/n)/(-2 - (-16)/10)?
True
Suppose -13*d = -12*d. Let f(t) = 3*t**2 + 354. Is 62 a factor of f(d)?
False
Suppose 2*g - 37 = 29. Suppose -9097 = -g*y - 2266. Is y a multiple of 69?
True
Suppose 24 = 57*k - 54*k. Suppose -k*g = -9*g + 196. Is 16 a factor of g?
False
Let o = -609 - -1683. Suppose -8*z + 6582 = -o. Does 33 divide z?
True
Suppose -6*j + 8*j = 4. Suppose 2*z + j*z - 5*t - 460 = 0, 0 = -2*z + 4*t + 230. Does 5 divide z?
True
Let x(o) = -5*o**2 - 2*o - 4. Let h be x(-2). Let l be (302/10)/((-4)/h). Let i = -77 + l. Is 23 a factor of i?
False
Let h = -755 + 11645. Is 121 a factor of h?
True
Suppose 5*u + 7 - 25 = 2*w, 5*w = -2*u + 42. Suppose 0*v = -4*v. Suppose g = v, -r - 2*g + u*g = -93. Does 15 divide r?
False
Let m = 43 + -38. Suppose 3*v = -m*i + 620 + 46, -636 = -3*v + 5*i. Let b = -112 + v. Is 21 a factor of b?
True
Is 61752/16*10/(3 - (6 - 6)) a multiple of 155?
True
Let s(k) = 2*k**2 - 4*k - 1. Let u = 28 - 41. Let v = u - -20. Does 22 divide s(v)?
False
Suppose -16*f - 5*f + 15984 = -3*f. Does 4 divide f?
True
Let k(u) = -6*u**2 + 36*u - 11. Let a be k(9). Let x = -17 - a. Does 52 divide x?
True
Let b(d) = 36*d - 170. Let u be (-1 - 57/(-21))*(-84)/(-18). Does 45 divide b(u)?
False
Let r = 25090 + -16376. Does 7 divide r?
False
Suppose 7*j - 4*p = 12*j - 24, -5*j - p = -21. Suppose j*b - 11*n - 157 = -6*n, 5*n = -b + 33. Does 2 divide b?
True
Let d be -2 - ((-1024)/(-16) + (3 - 0)). Let i be (d/(-46))/((-6)/(-8)). Is 28 a factor of (-3 + 5/4)/(i/(-192))?
True
Let w(g) = 71*g**2 - 62*g + 603. Is 38 a factor of w(11)?
True
Let q(w) = -w**3 - 14*w**2 + 2*w + 32. Let i = 41 - 55. Let z be q(i). Suppose -355 = -4*s - 5*x, -3*s + 275 = -x - z*x. Is 18 a factor of s?
True
Suppose -38*a = -25436 - 97684. Does 18 divide a?
True
Let s(x) = x**3 - 6*x**2 + 5*x - 40. Let c be s(8). Suppose -53 = -2*k - 5*a + 4*a, -5*k - 4*a + c = 0. Is k a multiple of 6?
False
Let l(m) = m**2 + 60. Let j be l(11). Suppose -5*q + 63 = 5*b - 382, 2*b = q + j. Is 10 a factor of b?
True
Suppose -9*i + 6 + 30 = 0. Suppose -4*b + 0*b - i*m + 1828 = 0, -4*m - 472 = -b. Suppose -4*j + b = 2*t, 8*j = 4*j + 12. Is t a multiple of 24?
False
Suppose 3*d + 2*d = -4*t + 58, -5*t = -5*d + 40. Suppose -6*f - 448 = -d*f. Is 24 a factor of f?
False
Let h(z) = 26*z**2 - 2*z + 3. Let k be (12/16)/((-3)/(-8)). Is h(k) a multiple of 18?
False
Suppose z = 2*c + 323 + 147, 3*c + 1905 = 4*z. Suppose 0 = -15*s + 19*s - z. Does 15 divide s?
True
Let o = -371 + 3851. Is 60 a factor of o?
True
Suppose -k - 2484 = -5*k + 4*s, 2*s = -5*k + 3105. Suppose p - 20 = -2*v, v = 5*p - 0*v - 45. Suppose p*x - x = k. Is 23 a factor of x?
True
Let j(z) = 3*z - 16. Let c(q) = 2*q**2 + 20*q - 9. Let a be c(-11). Does 5 divide j(a)?
False
Let p be (-4)/(-26) - (-378)/78. Suppose p*j = -4*f + 32, -3*j = -f - f - 6. Suppose -m - w = -8, -5*m + w - f = -37. Is m a multiple of 2?
False
Suppose -12*n - 12 = -15*n. Suppose -n*p - 2 = 6. Is (35/(-21))/(p/36) a multiple of 8?
False
Suppose 2*z + 156 = 162. Suppose 0 = z*l - 595 - 56. Is l a multiple of 36?
False
Let z(f) be the first derivative of 2*f**2 + 9*f + 98. Does 6 divide z(8)?
False
Let h(d) = -9*d - 16. Suppose 66 = 20*t - 14. Suppose -35 = 5*f + t*c, -2*f - c + 4 = -3*c. Does 6 divide h(f)?
False
Let g(x) be the third derivative of -x**6/120 - 7*x**5/15 - 31*x**4/24 - 11*x**3/3 - x**2 + 31. Is g(-27) a multiple of 2?
True
Let u be 2*4 - 2*(-9)/(-6). Suppose -211 = -u*s - 31. Does 2 divide s?
True
Let k = 6579 + -1156. Is 12 a factor of k?
False
Let c = 341 + -277. Suppose 67*m - c*m = 5*s - 1419, 5*s = -m + 1407. Is 30 a factor of s?
False
Let p(g) = 7*g**3 - 25*g**2 + 17*g + 17. Let k(r) = 38*r**2 + 5*r - 12 - 11*r**3 - 13 - 30*r. Let s(j) = 5*k(j) + 8*p(j). Is s(9) a multiple of 5?
False
Let h(d) = -d - 3. Let j be h(0). Let y be (15/(-10))/(j/28). Suppose -3*u + y = -2*u. Is u a multiple of 4?
False
Let s(i) be the third derivative of 7*i**4/24 + 10*i**3/3 - 19*i**2. Let v be s(5). Suppose -2*l + 148 = 3*w + 38, -2*w = 5*l - v. Is w a multiple of 8?
True
Let f(k) = k**3 + 36*k**2 + 90*k + 2. Suppose -c + 36 = -u, -176 + 2 = 5*u - 3*c. Is f(u) a multiple of 22?
False
Let h be (-6 - (0 + -4)) + 7. Suppose 10*q - 14*q + s + 2024 = 0, -h*q - 3*s + 2530 = 0. Is 23 a factor of q?
True
Suppose 17*o + 16 - 135 = 0. Let d(b) = -b**2 + 15*b - 16. Is d(o) a multiple of 4?
True
Suppose 2*j - 4*a - 4 = 0, 7*j = 2*j - 4*a + 24. Suppose 15 = -7*i + j*i. Is 39 a factor of (-22)/110 + (-571)/i?
False
Let z(p) = -p**3 - p**2 + 126*p + 101. Is z(-23) a multiple of 30?
False
Suppose -2*z - j = 2*j - 5, 2*z + 4*j = 2. Suppose 1501 = 12*m + z*m. Does 3 divide m?
False
Let d = 280 + 1512. Is d a multiple of 21?
False
Suppose -16*w + 14*w - 4*m + 118404 = 0, 0 = -4*w - 4*m + 236820. Does 12 divide w?
True
Let g be (-35)/10*-6*4/21. Suppose 6*r - g*r = 1826. Is 11 a factor of r?
True
Let v(f) = f + 12. Let o = 47 + -37. Suppose 3*h + 2*h + 3*j = 74, 0 = -h - 3*j + o. Does 7 divide v(h)?
True
Let i be (80/(-24))/(-2 + (-10)/(-6)). Suppose -1344 = i*p - 5544. Is p a multiple of 12?
True
Let f = 11 + -9. Suppose -48 = -f*y + 2*k, 30 = y - 5*k - 2. Does 9 divide y?
False
Let x(z) = -z**2 - 5*z + 9. Let q be x(-6). Suppose 7*n + q*n = -40. Is 14 a factor of n + (9/(-6))/(1/(-68))?
True
Suppose 0 = -10*y - 68*y + 299520. Is y a multiple of 30?
True
Let t(h) = h - 12*h + h**2 + 6 + 7*h. Let a be t(-6). Suppose -330 + a = -3*r. Is r a multiple of 24?
False
Let n(g) = -g**3 + 4*g + 7. Let o be n(-2). Suppose -o*y + 260 + 580 = 0. Is y a multiple of 60?
True
Suppose 5400 = 63*g - 51*g. Is 10 a factor of g?
True
Suppose -3222*d = -3229*d + 12446. Is d a multiple of 2?
True
Let t(d) = -d**3 + 11*d**2 + 11*d + 15. Let h be t(12). Suppose l = -h*l - 16. Is 15 a factor of l/20*-57*5?
False
Let i = 117 - 75. S