 3 + 2, q*m = -3*k - 3. Suppose m*w + w - 28 = 0. Does 5 divide w?
False
Let w(m) be the first derivative of -6*m + 1 + 5/2*m**2. Is w(6) a multiple of 8?
True
Suppose 4*a - 4*t = 2088, -5*a - 54 = -6*t - 2668. Is 74 a factor of a?
True
Let w(m) = 41*m + 6. Let x(u) = u**2 + 6*u - 12. Let v be x(-8). Is 44 a factor of w(v)?
False
Suppose -36*f + 76723 = 30031. Is 11 a factor of f?
False
Suppose 0 = -r - 2, -4*d + 4*r - 110 = 5*r. Suppose 0 = -g - 4*g - 345. Let o = d - g. Is 18 a factor of o?
False
Let w(a) = -48 + 23 + 14 - 14*a + 18. Does 7 divide w(-2)?
True
Let r = 349 - -722. Is 63 a factor of r?
True
Suppose 12*o = 9*o + 228. Suppose -o*p = -75*p - 386. Does 42 divide p?
False
Suppose -f - 3*f + 776 = 4*n, 4*f = 3*n + 741. Let m = -128 + f. Is m a multiple of 16?
False
Let w be 3/(180/64 - 3). Let u be ((-24)/5)/(w/40). Let h = 6 + u. Is h a multiple of 9?
True
Suppose 4*a = 5*w + 967 + 1690, -3*a = -w - 1990. Does 51 divide a?
True
Let r = 9464 - 5460. Is r a multiple of 44?
True
Let h = -56 + 56. Suppose h = -5*b + 107 + 163. Is b a multiple of 18?
True
Suppose -31772 = 74*z - 100*z. Does 14 divide z?
False
Suppose 2*l + 2*t - 3 = -1, 0 = -5*t + 5. Suppose l = 2*f - 6*f + 328. Is 29 a factor of f?
False
Let f = -22 + 22. Suppose -h + 23 + 29 = f. Is h a multiple of 13?
True
Let h(a) = 17*a**3 - 5*a**2 + 2*a + 9. Does 43 divide h(3)?
False
Let m(h) = -h**2 + 13*h - 6. Let f be m(10). Let a be f/3*(-12)/8. Does 3 divide (-27)/a*(-4)/(-3)?
True
Let a(h) = 146*h - 17. Let o be a(-8). Is 52 a factor of o/(-12) - (-6)/24?
False
Let x be 3 - 6*7*-1. Let a = x + -19. Is a a multiple of 14?
False
Let g(l) = 3*l**3 - 27*l**2 - 2*l - 2. Is g(12) a multiple of 11?
False
Suppose -6*c + 0 + 12 = 0. Suppose -2*n - u = -67 - 13, 5*n - c*u - 218 = 0. Is n a multiple of 42?
True
Suppose 59*b - 293 = 60*b. Let r = -205 - b. Is 22 a factor of r?
True
Let f(o) be the first derivative of -o**4/4 - 10*o**3/3 + 10*o + 4. Let b = -21 + 11. Does 10 divide f(b)?
True
Let r be -3 - -2 - (61 - 1). Let z = r - -152. Does 18 divide z?
False
Suppose -51*w = -47*w - 736. Is w a multiple of 9?
False
Suppose 0 = -7*z + 5659 - 1585. Does 32 divide z?
False
Suppose 1 = 3*i - 5. Let a(g) = -g**2 + 4*g - 1. Let q be a(i). Is 20 a factor of -56*3/(-9)*q?
False
Suppose -3*n = -2*j - 891, 2*n = -6*j + j + 594. Is 11 a factor of n?
True
Suppose -4*y + 5 = 5*x + y, -2*x + 3*y = -2. Suppose -5*o + 4*g + 168 = 0, x = -3*g - 5. Suppose -2*t = 2 - o. Does 15 divide t?
True
Suppose 2*o - 3*t = t + 3558, -5*t = -4*o + 7107. Does 13 divide o?
False
Let k = 370 + -565. Let y = 105 + k. Does 9 divide (6/9)/((-1)/y)?
False
Let j be (-22462)/33 + (-2)/(-3). Is 4 a factor of 2/(-12) - j/48?
False
Suppose 2*j - 243 = -4*d - 41, -4*d = 3*j - 203. Suppose 5*o - d = -0*o. Suppose -3*q - 2*x = -o, -q + 4*q - 14 = 2*x. Is q a multiple of 2?
True
Let f(v) = -3*v**2 - 123*v - 64. Is 32 a factor of f(-37)?
False
Suppose -5*i - 549 = -6*i. Suppose -3*y - 171 + i = 0. Is 18 a factor of y?
True
Suppose -2*a = -0*v + 4*v - 2354, 3*a - 3506 = -v. Does 13 divide a?
False
Let d be 10*-1*6/(-3). Suppose d*v = 14*v + 360. Does 12 divide v?
True
Let z(l) = l**3 - 9*l**2 - 14*l + 19. Let q be z(8). Let a = -92 - q. Suppose 3*s + 3*n = 81, a = s - 3*n + 18. Is s a multiple of 8?
True
Let u = -469 - -559. Does 4 divide u?
False
Suppose p = 2*z - 3093, -3*p = 2*z + 2*p - 3111. Does 40 divide z?
False
Let w = 816 - -395. Is w a multiple of 46?
False
Let q(h) = 3*h + 3. Let m be (-2)/6*(-108)/(-12). Let u be q(m). Is 4 a factor of (3/u - 0)*-26?
False
Let z(d) = -7*d**3 - 4*d**2 + d + 4. Let i(k) = -11*k**3 - 6*k**2 + 2*k + 6. Let n(w) = 5*i(w) - 8*z(w). Is 9 a factor of n(2)?
True
Let i(v) be the third derivative of -v**6/120 + 2*v**5/15 + v**4/8 + 3*v**3/2 + 295*v**2. Let k = 0 + 8. Is 11 a factor of i(k)?
True
Suppose -2*q + 412 = 2*q - h, -206 = -2*q + 5*h. Suppose 6*b + q - 1117 = 0. Is b a multiple of 8?
False
Let a = 1430 + 362. Is 32 a factor of a?
True
Suppose -3*s + 5*t = -372 - 4, 4*s + t - 463 = 0. Is 3 a factor of s?
True
Let u = 25 + -124. Let k = 185 + u. Is k a multiple of 5?
False
Let o(c) = -106*c - 150. Does 16 divide o(-7)?
True
Is (-243 + 0)/(0 + 3/(-6)) a multiple of 9?
True
Let a(i) = -7*i**3 - 7*i**2 + 3*i + 67. Let w(z) = 8*z**3 + 8*z**2 - 4*z - 68. Let b(r) = 7*a(r) + 6*w(r). Is 17 a factor of b(0)?
False
Let r(t) = -637*t - 9. Let c be r(-12). Let l be c/18 + (-2)/12. Suppose -5*g = -l + 139. Does 19 divide g?
True
Suppose -5*f - 3*b + 1971 = 0, 3*b - 1569 = -4*f - 2*b. Let u = -280 + f. Is 29 a factor of u?
True
Let h(i) = -i**3 - 7*i**2 + 5*i - 6. Let z be h(-8). Is 18 a factor of 6/(-27) + 328/z?
True
Does 31 divide ((-6)/(-12))/(6/2292)?
False
Let f(u) = 6*u - 130 - 30*u + 105. Is 18 a factor of f(-5)?
False
Let b(q) be the second derivative of -q**4/12 + 5*q**3/3 + 5*q**2/2 + 3*q. Let o be b(10). Suppose 0 = -4*w - o*g + 134, w = -2*w - 5*g + 98. Does 9 divide w?
True
Let a = 7 + -4. Is 13 a factor of (5/(50/(-15)))/(a/(-52))?
True
Suppose 40 = -8*l + 3*l. Let a be 0/(2/l*-4). Suppose a*n = 5*n - 40. Is n a multiple of 8?
True
Let a(m) = -5*m - 4. Let r(i) = -5*i - 4. Let h(v) = -5*a(v) + 6*r(v). Is h(-4) a multiple of 4?
True
Suppose 2*i + 11 - 3 = 0. Is 2 a factor of (-77)/i + (22/8)/(-11)?
False
Let m = 8 - 6. Suppose -3*y + 45 = m*y. Let n = 10 + y. Is n a multiple of 13?
False
Let j(s) = 5*s**2 + s - 2. Let z be j(1). Suppose -53 = -a + 3*p, a + z*p - 28 = 18. Does 24 divide a?
False
Suppose 0 = -52*q + 51*q + 352. Is 44 a factor of q?
True
Suppose -23*v + 20 = -19*v, -f + 1961 = 5*v. Does 16 divide f?
True
Let r(h) = -230*h - 6. Does 34 divide r(-1)?
False
Let h = 91 - 86. Let o(d) be the third derivative of d**5/30 - d**4/12 - 3*d**3/2 + d**2. Does 25 divide o(h)?
False
Let z(h) = 2*h**3 + 3 + 2*h - 12 + 2*h + 7*h. Is 28 a factor of z(4)?
False
Suppose 1 = 5*d + 3*j - 55, 2*d - 3*j - 35 = 0. Let n be 169 - -1*2/(-2). Suppose -9*u = -d*u + n. Is u a multiple of 14?
True
Let h(i) = -2*i**2 + 3*i**2 + 2*i**2 - 2*i**2 - 31*i**3. Let g be h(-1). Suppose 0 = -2*s - 4*b + g, -4*s + 3*b + 72 = 19. Does 14 divide s?
True
Let o be 40/(-6)*36855/10. Is o/(-104) + (-1)/4 a multiple of 29?
False
Does 89 divide ((-136)/(-85))/(1/305)?
False
Let x(o) = 51*o**2 - 6*o + 7. Let l be x(3). Suppose -l = -4*p - 3*z, z - 336 = -3*p - 2*z. Suppose -p = -w - w. Is w a multiple of 11?
False
Let h = 456 - -604. Is h a multiple of 20?
True
Let v(i) = i**2 - 7*i + 12. Let s be v(8). Suppose 3*d - 176 = -s. Is d a multiple of 19?
False
Suppose -66 = -8*m + 198. Suppose -25*r - 856 = -m*r. Is r a multiple of 7?
False
Suppose 8*l = -106 + 834. Is l a multiple of 13?
True
Suppose 3*b + 7 = 22. Suppose -4*l = -12, 5*w + 2*l = b*l + 186. Suppose p = -3*v + w, 5*p + 26 = 2*v - 0*p. Does 13 divide v?
True
Let w = -15 + 18. Suppose -92 = -w*o + 61. Does 17 divide o?
True
Suppose w + 3 = 0, -126*d - 1548 = -129*d - 2*w. Does 37 divide d?
True
Let y(t) = 0 - 5*t + 5 + 9*t - 5*t. Does 3 divide y(-5)?
False
Let m(l) = 1. Let i(c) = 1 - 2 + 13 + c. Let b(u) = i(u) + 6*m(u). Is b(10) a multiple of 5?
False
Suppose -l + 27 = 3*j - 0*j, 4*j = -l + 23. Let g = l + -17. Is g a multiple of 15?
False
Let l = -540 - -670. Does 5 divide l?
True
Let h(b) = -b - 3. Let n(y) = 30*y + 70. Let d(u) = 25*h(u) + n(u). Suppose 5 + 1 = 2*a. Is d(a) a multiple of 10?
True
Let o(s) = s**2 + 9*s - 18. Let f be o(-18). Is (-3 + (-10)/(-5))/((-3)/f) a multiple of 6?
True
Let t(j) be the first derivative of j**4/12 - 4*j**3/3 - 4*j**2 + 1. Let w(u) be the second derivative of t(u). Is w(11) a multiple of 7?
True
Let f(y) = 4225*y**2 + 3*y + 2. Is 24 a factor of f(-1)?
True
Let s(j) = 8*j - 53. Let q be s(9). Let o = q + 33. Is o a multiple of 13?
True
Suppose 2*s + 0 = 4. Suppose -6*a = -s*a - 8. Does 2 divide a?
True
Let q = -5 - -17. Let s(o) = o - 7. Let b be s(q). Suppose w - 90 = -b*g, -101 = g - 5*g + 5*w. Does 16 divide g?
False
Let q(b) = -2*b**2 - 1. Let s be q(1). Let c be 12/27*s*-3. Suppose c*h - 52 = 4*j, 4*h + 4*j - 114 = -22. Is h a multiple of 18?
True
Suppose -z = -41 - 2. Suppose -125 = -4*c + z. Does 12 divide c?
False
Let x be 2*(-5)/((-40)/28). Let i(w) = w**3 - 5*w**2 - 9*w + 9. Is i(x) a multiple of 4?
True
Suppos