et g(j) = j**2 - 3*j + 2. Let z = 9 + -39. Let n = 36 + z. Is 8 a factor of g(n)?
False
Let p be 1 - 6 - (-6 - (-9)/3). Is 23 a factor of p + -1 + 3 + 138?
True
Suppose -4*u + 1270 - 82 = 0. Let s = u - 28. Is 16 a factor of s?
False
Suppose 0 = 2*x + x - 15. Suppose 4*w = x*w. Suppose w*b = -b + 22. Is 11 a factor of b?
True
Let x = -2389 - -1562. Is x/(-4) + 16/64 a multiple of 20?
False
Is (83 - -193) + 6/(2/1) a multiple of 11?
False
Let n be -12 + (-2 - (-2 + 1)). Is 456/78 - 2/n a multiple of 4?
False
Suppose 53*r - 47*r - 1932 = 0. Is 19 a factor of r?
False
Suppose -4*j - 5*z + 61 = 0, 2*j - 16 = -2*j + 4*z. Suppose 4*n - j*n = -85. Is 5 a factor of n?
False
Let g(w) = -2*w**3 - 2*w**2 + 2*w + 489. Is 31 a factor of g(0)?
False
Let v = -4 + 7. Suppose 10 = -j + v*q, 6 = -2*j + j + 2*q. Suppose -5*b = -d - 32 - 23, j*b - 2*d = 30. Does 5 divide b?
True
Let g = -5 - -3. Let d(f) be the third derivative of -f**6/8 - f**5/30 + f**4/12 + f**3/3 - 36*f**2. Does 31 divide d(g)?
False
Suppose 3*m + 7 = 19. Let b(c) = 2*c - 6. Let f be b(m). Does 9 divide -1 + f*(15 + -1)?
True
Let q(t) = 2*t**2 + 14*t + 4. Let c be q(-7). Suppose 9*x + c = 202. Is x a multiple of 11?
True
Let b(a) = -5 + 21*a**2 + 8*a**2 - 8*a**2 + 5*a. Does 17 divide b(2)?
False
Let q(l) = -15*l + 460. Is q(-7) a multiple of 11?
False
Let o(a) = 2*a + 6. Suppose -2 - 7 = 3*t. Let j be o(t). Suppose -2*g + 42 + 36 = j. Is g a multiple of 13?
True
Let d = 1560 + -1075. Is d a multiple of 2?
False
Let f(q) = -11*q + 14. Let w be f(3). Let h = 53 + w. Is h a multiple of 6?
False
Let f(v) = -4*v**2 + 4. Let k be f(2). Let x be (k - -10)/(2/(-15)). Suppose -5*b + 0*w + 4*w + 348 = 0, -5*w = -x. Is 24 a factor of b?
True
Let z = 254 + -163. Is z a multiple of 13?
True
Suppose -15 = -3*x - 2*x - s, 0 = -2*x - 5*s - 17. Let o be 0/(0 - 4/x). Suppose o = 2*n, -80 = t - 6*t - n. Does 4 divide t?
True
Let j(z) = z**3 - 10*z**2 + 10*z - 5. Let a be j(9). Suppose -217 - 59 = -a*x. Is x a multiple of 7?
False
Is 34 a factor of (-1632)/(-3) + 1 + -2 - -1?
True
Suppose -56*q = -38*q - 39474. Does 17 divide q?
True
Suppose 51*r = 49*r + 576. Is 16 a factor of r?
True
Let c(u) = -u**3 + 5*u**2 + 2*u - 1. Let l be c(5). Suppose l*p - 8*p - 62 = 0. Is p a multiple of 31?
True
Let i(t) = -5*t + 8. Let n(d) = -6*d - 3. Let g be n(3). Is 16 a factor of i(g)?
False
Suppose -236 = -w - 4*o + 21, -2*w + o = -487. Let z = w - 121. Suppose 3*s = -0*p - p + 18, z = 4*p - s. Is p a multiple of 6?
True
Let v(x) = -x**2 - 9*x - 3. Let k be v(-8). Suppose k*y = 431 + 289. Is y a multiple of 18?
True
Let j(y) = y**3 + 7*y**2 + y + 3. Is j(-6) a multiple of 16?
False
Suppose 0 = -0*u - 5*u + 15. Let c(p) = -4*p**3 + 5*p**2 + 6*p + 6. Let n(h) = 3*h**3 - 4*h**2 - 5*h - 5. Let o(q) = -2*c(q) - 3*n(q). Does 3 divide o(u)?
True
Let t(u) = -u**3 + 16*u**2 + 2*u - 17. Let m(f) = -2*f**2 + 8*f + 8. Let o be m(7). Let y = 50 + o. Is t(y) a multiple of 15?
True
Let u = 812 - 205. Is u a multiple of 7?
False
Suppose -3*o - 40 = -13. Let b(x) = -2*x**2 - 16*x - 12. Let n(p) = p**2 + 8*p + 6. Let z(a) = o*n(a) - 4*b(a). Is 9 a factor of z(-5)?
True
Suppose -11*b + 9*b = -42. Let k = b + -9. Is k a multiple of 3?
True
Let b be (-8)/(-8) + 3 + -1. Suppose 5*c = w + 3*w - 31, -b*w + 18 = -2*c. Let d = 14 - w. Does 5 divide d?
True
Let v(t) = -3*t - 13. Let f be v(-7). Suppose -181 = -f*x + 107. Is x a multiple of 16?
False
Let w(k) = 26*k - 54. Is w(33) a multiple of 33?
False
Suppose -14 = -2*r + 4*p, 0 + 7 = -r - 5*p. Suppose -r*n = -n - 6. Let b(j) = 4*j**2 - 3*j - 3. Is b(n) a multiple of 12?
True
Suppose -10*i + 11*i = 4*s + 40, -4*i + 228 = s. Is 8 a factor of i?
True
Let j = -53 - -74. Let d = 15 - j. Let u = d - -34. Is 12 a factor of u?
False
Let g be ((-1)/(-5))/1 + (-428)/(-10). Suppose -2*a - g = y - 272, 3*a + y = 342. Is a a multiple of 22?
False
Let o = 5 + -5. Suppose 3*s - 2*a - 412 = -o*a, -4*s = -2*a - 552. Suppose -4*k + 0*b = -4*b - s, 64 = 2*k + 4*b. Does 13 divide k?
False
Let m(a) = a**3 + 7*a**2 + 1. Let w be m(-7). Let j = 37 - w. Is j a multiple of 12?
True
Let y be (-1)/1*-15*1. Suppose 2*h + y = -w + h, -5*h = 10. Let l = w - -33. Is l a multiple of 14?
False
Suppose 3*u - 12 = -0*u. Suppose 5*g = u*g + 52. Let w = 87 - g. Is 13 a factor of w?
False
Let m(d) = -63*d - 1. Let n be m(1). Is 48 a factor of (-21)/((-4)/12*(-18)/n)?
False
Let t = -12 - -15. Suppose t*p = -19 - 8. Does 4 divide 1/(p/(-4) + -2)?
True
Let a = 87 - 44. Let q = 60 - a. Does 6 divide q?
False
Let c = 39 + -59. Let f be c/(-70) + (-24)/(-14). Suppose f*k + 132 = 5*k. Is 10 a factor of k?
False
Let j be 69/12 - (-24)/(-32). Suppose 0 = -2*x + 4*i + i + 90, -i = j*x - 198. Is 15 a factor of x?
False
Let y = -663 - -1393. Is y a multiple of 5?
True
Does 47 divide (-222 - 2)/(-4)*3?
False
Suppose 46*d = 42*d + 1232. Is d a multiple of 77?
True
Let m = 194 + 758. Suppose 10*l = 6*l + m. Is l a multiple of 14?
True
Let o = 71 + -2. Is o a multiple of 2?
False
Let k(m) = 2*m**2 - 7*m - 2. Let n be k(5). Let z(r) = -r**2 - 6*r + 7. Let x be z(-7). Suppose x = -3*h + n + 5. Is 5 a factor of h?
False
Suppose -6*j + j = -435. Suppose -3*m = 3*c - j, -2*c + m = -2*m - 48. Does 9 divide c?
True
Let l = -14 + 15. Is 13 a factor of ((-325)/15)/(l/(-3))?
True
Suppose -2*m + 3*h - 20 = 5*h, m + 6 = h. Is 5 a factor of (-9)/((-36)/m) - -12?
True
Let k = 19 + 31. Is 10/(5/k*5) a multiple of 10?
True
Is 4 a factor of (-14)/(-1)*((-1450)/20)/(-5)?
False
Let q = 67 - -112. Is 17 a factor of q?
False
Let n = 72 - 62. Suppose -n*t + 8*t = -264. Is t a multiple of 12?
True
Let i(z) = 0*z + 3*z - z**2 - z. Let k be i(3). Does 14 divide 50 - 2 - 3 - k?
False
Suppose -22*g = -310 - 1340. Does 4 divide g?
False
Let o(b) = 13*b - 5. Let t(y) = y. Let w(q) = -o(q) - 3*t(q). Is w(-7) a multiple of 39?
True
Let m(h) = -2*h + 17. Let q be m(8). Suppose -q - 12 = -d. Suppose 0 = s - 2*s + 5*j + d, -4*s + 4 = 4*j. Is 3 a factor of s?
True
Let j(a) = -a - 12. Let u be j(0). Let t be (-54)/u - 1/(-2). Suppose 4*m + 74 = t*m. Does 13 divide m?
False
Let a = 507 + -483. Does 8 divide a?
True
Let q(c) = c**2 - 25*c + 62. Let v be q(27). Let z = v - -15. Is z a multiple of 11?
False
Suppose -6*x + x + 310 = 2*q, -q + 125 = 2*x. Is 30 a factor of x?
True
Let x(q) = q - 8. Let a be x(-7). Let o = 21 + a. Suppose o*f - 16 = 2*f. Is f a multiple of 4?
True
Suppose 5*v + 21 = 12*v. Suppose -v*w = -128 - 52. Is 10 a factor of w?
True
Let r = 284 + 444. Is r a multiple of 52?
True
Suppose t = -11 + 14. Suppose s - 165 = -t*d, -s + 339 = s - 3*d. Does 24 divide s?
True
Suppose 4*t = -90 - 102. Let a = t + 98. Is a a multiple of 6?
False
Let d(f) = -7*f**3 + 2*f**2 + 15*f + 45. Is 5 a factor of d(-5)?
True
Does 46 divide 3020/18 - (-20)/90?
False
Let h be (-3)/(3/(-10) - 0). Does 15 divide 4511/65 - (-6)/h?
False
Let y = 2 + -2. Let m be (-3 - 10/(-4))*y. Suppose 4*q - 5*r - 16 = m, 2*r - 20 = -5*q + 4*r. Is q a multiple of 3?
False
Suppose -40 = -2*b - 2*q + 4*q, -b - 3*q + 12 = 0. Let y(h) = -h**2 + 17*h + 26. Is y(b) a multiple of 8?
True
Suppose 6 = -m + 50. Suppose -4 = -w + m. Is w a multiple of 23?
False
Suppose 7*u = 11*u + 5*w - 3455, 3*u = -3*w + 2595. Is 58 a factor of u?
True
Suppose -4*n = -5*v - 7*n + 3034, 0 = -5*n - 10. Does 15 divide v?
False
Suppose 333*p - 2*z + 3337 = 338*p, 0 = -p - z + 665. Is p a multiple of 8?
False
Suppose 4*r + 12*w = 8*w + 1412, 2*w = 8. Is r a multiple of 19?
False
Let v(g) = -g**2 + 3*g**2 + g**2 - 2*g**2. Let j(r) = -2*r**2 - 3*r - 1. Let a(p) = -j(p) - v(p). Is 4 a factor of a(-4)?
False
Suppose 16*y - 3938 - 2462 = 0. Does 50 divide y?
True
Let y = 69 - 63. Suppose 2*d = y*d - 56. Is 2 a factor of d?
True
Let o = -330 - -504. Does 29 divide o?
True
Let k = -50 - -52. Suppose 2*m + m + k*v - 27 = 0, 5*m - 38 = -v. Is 7 a factor of m?
True
Is 10 a factor of (3 + -55)/(36/(-1440))?
True
Let k(w) = -2*w + 2. Let q be k(0). Suppose g - 29 = -q*g + 5*s, 2*g + 2*s + 2 = 0. Suppose g*n - 3*f = -0*f + 339, 5*f = -5*n + 525. Is n a multiple of 21?
False
Let l be 234 - 3*(-4 - (-48)/9). Let c = 59 + l. Is 20 a factor of c?
False
Let z = -43 + 49. Suppose 0*r - 144 = -z*r. Is 4 a factor of r?
True
Is 19 a factor of (-286)/(-22) + 13 +