 (-5 - (-17)/3). Is t(d) a multiple of 3?
True
Let n = -23 + 27. Suppose -24 = -5*g + n*v + 12, -4*g + v = -31. Is g a multiple of 6?
False
Let p = -20 - -79. Suppose p = 8*k - 133. Is 3 a factor of k?
True
Suppose -422 + 574 = 2*n. Is 38 a factor of n?
True
Let j = 5322 + -2569. Is 13 a factor of j?
False
Let r = -85 - -80. Does 2 divide 8/(-20) - 22/r - 2?
True
Suppose 5*j + 575 = 2*h + 2*h, -5*h = -j - 745. Suppose -5*y + 0*y + h = 5*i, 4*i = 2*y + 144. Does 14 divide i?
False
Is 36 a factor of (2 + -5 + 320)*(0 + 1)?
False
Let l be (-1166)/(-10) - (-2)/5. Let g be ((-2)/(-3))/(2/(-6)) + 6. Suppose -g*n = -n - l. Is 28 a factor of n?
False
Suppose -2*s = 4*n - 570, -10*n = -5*n + s - 705. Does 14 divide n?
True
Suppose -2*o + 34 = l + o, 0 = -5*l + 5*o + 150. Let d = 97 - l. Is d a multiple of 14?
False
Suppose 0 = -2*r + 5*t + 289, -4*t + 240 + 159 = 3*r. Does 37 divide r?
False
Let v be (-2)/(-8) + 28/16. Suppose 3*c - v*c + 16 = b, -4*c + 8 = 0. Is 5 a factor of b?
False
Let y(o) = 44*o**2 - 14*o + 14. Does 11 divide y(1)?
True
Let k = -44 - -799. Is 60 a factor of k?
False
Suppose -3*d = g - 81 - 1183, -g - 416 = -d. Suppose -2*j = 4, 2*r + 0*j + j - d = 0. Is r a multiple of 43?
False
Suppose -15*h + 51142 + 14243 = 0. Is h a multiple of 104?
False
Let b be (-27)/4*32/(-6). Suppose -3*w - 2*n + b = 16, -4*w + 34 = -n. Is 4 a factor of w + (-1)/(4/8)?
False
Suppose 2 = 2*u, -3*y + 12 + 61 = 4*u. Does 5 divide y?
False
Suppose 37*z - 1370 = 35*z. Is z a multiple of 13?
False
Let l(j) = 115*j + 1. Let n be l(2). Suppose t + n = 5*w - 0*w, -181 = -4*w - 3*t. Is 23 a factor of w?
True
Let z = 4 - -1. Let a = z - 0. Suppose 2*b = 5*g + 83, b + a*g - 225 = -4*b. Is 11 a factor of b?
True
Let r = 5 + -1. Suppose -5*v = 3*b - 49, -3*b + 4*v + 4 = -0. Suppose -r*i + b*i - 8 = 0. Does 2 divide i?
True
Let y(s) = s**3 + 26*s**2 - 33*s + 46. Is 4 a factor of y(-27)?
True
Suppose -56*f = -65*f + 720. Is 4 a factor of f?
True
Suppose -103*n - 2150 = -128*n. Does 2 divide n?
True
Does 19 divide 19033/9 - 60/(-270)?
False
Let u = 2409 + -1596. Does 21 divide u?
False
Suppose -4*f = -f + 9. Let q(k) = 3*k**2 - k + 3. Let b be q(f). Is (49/3)/(11/b) a multiple of 13?
False
Let z be 3 + (6 + -6)/(4/2). Does 2 divide -1*(-85)/(z - -2)?
False
Let i(y) = -21*y + 1. Suppose h = -4*a - h - 24, -11 = 3*a - 2*h. Let j be i(a). Suppose 0 = -3*k + 11 + j. Is k a multiple of 11?
False
Is -1 + (-333)/(-18) - 1/(-2) a multiple of 11?
False
Suppose 3*g + 855 = 5*d + 8*g, 151 = d - 3*g. Is 2 a factor of d?
True
Is (-1 + -9)*14/35 + 555 a multiple of 15?
False
Is (-8444)/(-2) + (-42)/(-6) a multiple of 83?
False
Suppose 130*a - 128*a - 132 = 0. Let i = -50 + a. Is 4 a factor of i?
True
Let u(w) = 4*w**2 - 5*w + 10. Is 33 a factor of u(-5)?
False
Let v = -2911 - -4243. Does 18 divide v?
True
Suppose -12 = -4*t, -5*z = -t - t + 66. Let p(c) = -c**3 - 13*c**2 - 15*c - 18. Does 6 divide p(z)?
True
Suppose 5*k + 33 = -17. Let v = 70 + k. Is v a multiple of 20?
True
Let z(i) = i**2 - 6*i + 9. Let l be z(10). Suppose 2*j - 10 = 0, 4*w + 6*j = j + l. Suppose 0 = -4*c + w + 62. Does 6 divide c?
False
Let y(j) = -j**2 + 8*j + 11. Let z be y(9). Suppose -c = 2*c + 3*p - 24, 4*c + z*p - 32 = 0. Let n(w) = -w**2 + 15*w - 7. Is 15 a factor of n(c)?
False
Let f(u) = 23*u**3 + 2*u**2 - 21*u + 38. Is f(2) a multiple of 47?
True
Is (74/14 - 5) + (-7235)/(-35) a multiple of 23?
True
Let d = 145 - -75. Does 11 divide d?
True
Let d(u) be the third derivative of u**6/120 - u**5/6 + 13*u**4/24 - 4*u**3/3 + 35*u**2. Suppose -5*n + 0 = -g + 24, 5*g - 2*n = 51. Is 6 a factor of d(g)?
False
Let l(j) = j. Suppose a - 15 = 10. Suppose -2*n = -7*n + a, -5*t - 5*n = -45. Is l(t) a multiple of 3?
False
Suppose 0 = a - q - 17, -3*a - q = -3*q - 53. Let g(n) = n**2 + 9*n - 18. Let x be g(-13). Let p = x - a. Does 6 divide p?
False
Suppose v + 175 = 6*v - 4*r, -5*r = v - 6. Let g = 243 - v. Is 49 a factor of g?
False
Let l(b) = 3 + 13 - 9*b - 29. Let w = -10 + 7. Is l(w) a multiple of 4?
False
Let u = 151 - -15. Let m = u - 106. Does 7 divide m?
False
Let l be (-4)/(-6) - (-30)/9. Suppose 0 = l*c + 105 - 417. Is 15 a factor of c?
False
Let w = -19 - -11. Let x(k) = -10*k - 3 + 6*k + k. Does 6 divide x(w)?
False
Let s(b) = -8*b - 2*b**2 + b**2 + 0*b**2 + 12 + 0*b**2. Is 6 a factor of s(-6)?
True
Let q(d) = -d**3 + 26*d**2 + 8*d + 12. Is q(26) a multiple of 55?
True
Let f(l) = 2*l + 29. Let j be f(-12). Suppose j*o - 320 = 275. Is 28 a factor of o?
False
Let k = 1626 - 1082. Is 32 a factor of k?
True
Let f(x) = 7*x + 339. Let p = -32 - -32. Is 56 a factor of f(p)?
False
Let a(t) = -14*t + 9. Let n(s) = 15*s - 8. Let v(z) = -7*a(z) - 6*n(z). Is 25 a factor of v(5)?
True
Suppose 4*h = w + 10029 + 3264, -3347 = -h + 5*w. Suppose -16*s + h + 134 = 0. Does 35 divide s?
False
Let s be 1/(-1) - (2 + -17). Suppose 0 = 3*a - 3*i - 48, -3*a + 2*i + s = -36. Is 4 a factor of a?
False
Let c(n) = 31*n**2 + 5*n + 22. Is c(-3) a multiple of 8?
False
Let m = 9 - -8. Let l be (6/(-4))/(m/(-34)). Suppose 4*k + 4*c - 244 = 0, l*k + 4*c - 132 = k. Does 9 divide k?
False
Let v be (285/38)/((-3)/(-10)). Let j = v - 20. Is (14/j)/((-4)/(-40)) a multiple of 28?
True
Suppose 216*k + 12672 = 227*k. Is k a multiple of 64?
True
Suppose -30 = -5*h - h. Suppose h*u = 5*n + 635, -63 = -u - n + 70. Does 13 divide u?
True
Let y(x) be the first derivative of x**4/4 + 3*x**3 + 3*x**2 + 6*x - 11. Does 32 divide y(-4)?
False
Let n be (0 - 2) + 240 + (-2 - -4). Let t = n + -57. Is 17 a factor of t?
False
Let o(z) = -2*z - 6. Let n be o(-6). Let l = -8 + n. Does 5 divide l/(-9) + (-798)/(-54)?
True
Suppose -6*z = -4*z + 6. Let p be (0 - -1)/(z/(-12)). Suppose p*d - 67 - 25 = -2*j, -4*j + 4*d = -148. Does 20 divide j?
True
Let j = 748 + -214. Does 33 divide j?
False
Suppose 38 = 5*x - 22. Suppose x*z - 9*z = 267. Does 29 divide z?
False
Suppose 0 = 3*s - 3, -4*q - 2*s + 5 + 1 = 0. Is ((-18)/(-15))/(q - (-12)/(-15)) a multiple of 2?
True
Let u(f) = f**2 + f + 3. Let x be u(-2). Suppose r - 3 - 1 = 0, -x*r = -3*o + 139. Does 18 divide o?
False
Suppose 4184 = 3*u + 296. Is 36 a factor of u?
True
Suppose -4*y + 144 = 4*h, 0 = 5*y - 4*h - 96 - 120. Suppose 0 = -2*m + 2*f + 1 + 5, -4*m + 2*f + 10 = 0. Suppose 3*r = -m*r + y. Is r a multiple of 2?
True
Suppose 0*k - 5*k = -5*h + 630, -h - 3*k = -134. Suppose 316 + h = 6*c. Is 25 a factor of c?
False
Let z be (-12)/(-16)*-2*-4. Does 10 divide 230/z + (-56)/42?
False
Suppose -2 = -x - 1. Let j = -91 - -101. Is ((-5)/j)/(x/(-48)) a multiple of 9?
False
Let x(f) = f**2 - 2*f - 1. Let l be x(-1). Suppose -123 = -2*t - 4*p + 25, l*p = -4. Does 13 divide t?
True
Suppose 3*c + 11 - 40 = -4*s, -5 = 5*c - 4*s. Suppose 0 = c*n + 5*o - 22, -o - 32 = -2*n - 0*n. Suppose -3*b = -112 - n. Is 21 a factor of b?
True
Suppose -20 = -5*o + o. Suppose 1 = -o*r + 16. Suppose -r*x - 3 + 180 = 0. Does 19 divide x?
False
Suppose 10*n - 9097 = -1287. Does 21 divide n?
False
Let j(n) = -n**2 - 14*n + 7. Let t(y) = y**3 + 5*y**2 - 8*y - 9. Let q be t(-6). Suppose q*w + 0*w = -42. Does 2 divide j(w)?
False
Let y = 644 + -489. Does 14 divide y?
False
Let a(t) = t**2 - 37*t + 261. Does 35 divide a(53)?
False
Suppose 5*m + 2*z = 16, -4*m - m + 4*z = -28. Suppose 4*h + 5*a = 54, -3*h + m*a - 24 = -5*h. Is h a multiple of 7?
False
Let c(p) = 2*p**2 - 3 - 4 + p + 29 + 4. Does 11 divide c(6)?
False
Let w(b) = -10*b**3 - 10*b**2 - 7*b - 20. Is 39 a factor of w(-5)?
False
Let f(g) = 4*g - 22. Is f(27) a multiple of 9?
False
Let w(z) = -z**2 + 11*z - 9. Let h be w(7). Suppose j - h = 65. Is j a multiple of 14?
True
Suppose 0 = -g - 5, 2*g = -3*v + 4*v - 8. Let l(p) = 2*p**2 + 2*p - 1. Let f be l(v). Suppose -2*d = a - 36, -2*a + d = -f*a + 39. Is a a multiple of 14?
True
Let g = -34 - -56. Suppose 7*h = 41 + g. Is 9 a factor of h?
True
Let s(q) = -q**3 - 3*q**2 - 3*q - 3. Let j(i) = i + 19. Let h be j(-8). Suppose -12*x = -h*x + 5. Is s(x) a multiple of 31?
True
Let t(w) be the third derivative of -w**5/120 + 11*w**4/12 - 5*w**3/3 + w**2. Let a(z) be the first derivative of t(z). Is a(-10) a multiple of 16?
True
Does 16 divide ((-237265)/(-15))/7 + 16/(-6)?
False
Let f = 82 + 320. Is f a multiple of 15?
False
Let u = -96 - -127. Let y 