 of n(f)?
False
Let r(l) = l**2 - 2*l + 5. Is 2 a factor of r(4)?
False
Is (-136)/(-85)*(-15)/(-2) a multiple of 2?
True
Let m(v) = v + 2 - 3*v - 6. Let y = -9 - -3. Does 4 divide m(y)?
True
Let o(g) = 3*g + 3. Does 3 divide o(3)?
True
Let y = -26 + 57. Let z = y + 37. Does 34 divide z?
True
Let t(i) = -i - 6. Let g be t(-8). Suppose g*n = -5*u - n - 25, -4*u + 5*n - 20 = 0. Is (-1)/u - (-116)/20 a multiple of 6?
True
Let w(t) = -4*t - 1. Let g be w(-2). Suppose -g = -4*i - 3. Let y = i + 1. Is y a multiple of 2?
True
Let p = -4 - -8. Suppose -3*c + 3*v = -333, p*c + c = v + 551. Suppose 114 = 7*n - 3*n - 3*z, z = 4*n - c. Is n a multiple of 9?
True
Let p = 47 - 33. Suppose 4*d + 2 = -p, -5*g - 5*d = -20. Suppose 6*j = g*j - 52. Is 13 a factor of j?
True
Let q be (-1850)/(-12) - 1/6. Suppose -3*i + 2*b = -148, -3*i + 7*b = 2*b - q. Is i a multiple of 12?
True
Suppose 5*s - 317 = 313. Is 18 a factor of s?
True
Let b = -15 + 22. Suppose 0 = -3*c - 3*t + 72, 0 = -4*c - t + 85 + 20. Suppose 2*h = -2*z + b + c, -4*h + 88 = -z. Is h a multiple of 7?
True
Let g be (0 + 238/2)*1. Let v = g - 71. Let d = -27 + v. Is d a multiple of 11?
False
Is (2 - 15)/(-3 + 2) a multiple of 4?
False
Does 9 divide 31 - (4 + (0 - 0))?
True
Suppose -450 = -4*g - 2*g. Is g a multiple of 20?
False
Let g = 209 + -124. Is 17 a factor of g?
True
Suppose -5*o + 162 = 4*o. Does 18 divide o?
True
Let j(b) = b**3 - 5*b**2 - 4*b + 5. Let k be -4*6/(-4) + -1. Let m be j(k). Let u = 0 - m. Does 8 divide u?
False
Is 5 a factor of (60 - 0)*2/4?
True
Let v(f) = f**3 + 3*f**2 - 6*f - 4. Let u(j) = j**3 - 4*j**2 - 7*j + 6. Let n be u(5). Let i be v(n). Suppose 0*w = i*w - 104. Is 13 a factor of w?
True
Let h(j) = 2*j - 3. Suppose -2*t + 5 + 3 = 0. Let v be h(t). Suppose -3*c + 311 = v*u, -5*u = -4*c - 355 + 58. Is u a multiple of 16?
False
Let n(l) = -l**3 - 3*l**2 + 2*l + 4. Let c be n(-3). Is 8 a factor of 2 + 13 + c/(-2)?
True
Suppose v + 4*v - 273 = 4*r, -2*r = 4*v - 208. Is v a multiple of 27?
False
Suppose -7*j - 192 = -1004. Does 29 divide j?
True
Let g be 4/(-10) + (-14)/(-10). Suppose -3*d - g - 1 = -o, 4*o = 8. Suppose -2*u = -3*k - d*k - 8, -70 = -5*u - 5*k. Is 8 a factor of u?
False
Let x = 246 + -111. Suppose 57 = 4*u - x. Is 24 a factor of u?
True
Suppose 5*f - 16 = 4*l - 0*l, -f - 4*l + 8 = 0. Let g = -2 + f. Is g a multiple of 2?
True
Let r(u) = 21*u + 3. Let v(w) = -24*w - 1. Let g(c) = -71*c - 4. Let o(b) = 3*g(b) - 8*v(b). Let n(q) = -5*o(q) - 6*r(q). Is 20 a factor of n(-2)?
False
Suppose -31 = -3*c - 2*c + 2*o, 3*c + 5*o = 0. Suppose 4*j + 2*n = c*n + 113, 4*n + 140 = 5*j. Is j a multiple of 16?
True
Let x = 253 - 149. Is 13 a factor of x?
True
Let w = 34 + -19. Suppose 0 = 2*n + n - w. Does 3 divide n?
False
Let f = 2 - -1. Let c = f + 208. Suppose 4*j + 41 - c = 2*v, 0 = 4*j + 5*v - 163. Is j a multiple of 11?
False
Suppose 3*h + 2 = 3*l - 106, 3*l - 5*h = 110. Let m = l + -5. Is 12 a factor of m?
False
Let k = -20 + -39. Suppose -4*q + 380 = -2*w + 5*w, q - 95 = -w. Let x = q + k. Is x a multiple of 12?
True
Let k be 12/(-10)*(-10)/3. Let c be 0/(-2) - (-20 + 1). Suppose k*q = -3*d + 54, -2*d - 3*q + c = -16. Is 10 a factor of d?
False
Let l(n) = 3*n - 14. Let q be l(6). Suppose -39 = -q*p + 1. Does 5 divide p?
True
Suppose -16 = 4*g - 3*a, 10*g + 2*a - 3 = 5*g. Is 21 a factor of g/(-2)*(-2 + 64)?
False
Let j(s) be the first derivative of 12*s - 1/3*s**3 + 1/2*s**2 - 1. Does 12 divide j(0)?
True
Let l(z) = z**3 + 7*z**2 + 6*z + 2. Let j be l(-6). Suppose -5*i - j*h = -27 - 7, 3*i = 4*h + 10. Suppose -i*v = -3*v - 15. Is 5 a factor of v?
True
Let v(n) = -n - 2. Let q be v(5). Let j = -5 - q. Does 3 divide j*(-2 + 39/6)?
True
Let o(p) be the third derivative of p**5/60 - 3*p**4/8 + 5*p**3/6 - 2*p**2. Does 15 divide o(10)?
True
Let g = -2 + 3. Let j = 10 - g. Let h = j + -1. Does 3 divide h?
False
Let x = -3 + 5. Suppose 4*h = -4*d + 12, 2*d + 1 + x = h. Suppose 4*u - 3*t = 53, h*u - 5 = -t + 51. Does 10 divide u?
False
Let p = 169 + -120. Is p a multiple of 2?
False
Suppose -7*n = -9*n + 200. Is 10 a factor of n?
True
Let p be 1 - 0 - (-3 + 2). Suppose -4*f - 12 = -p*f. Let h = f - -13. Is h a multiple of 7?
True
Let c = -84 + 279. Is 15 a factor of c?
True
Does 19 divide -41*(-2)/6*3?
False
Let h be ((-4)/(-6))/2*0. Suppose 2*m + m + x - 38 = 0, 5*x - 10 = h. Does 6 divide m?
True
Let v = 5 + -1. Let z be -2 + 4 - v/(-2). Suppose 0 = u + z*h - 18 - 11, -5*u = h - 69. Is u a multiple of 13?
True
Let p(u) = -u + 7. Is p(-13) a multiple of 6?
False
Let y(p) be the third derivative of p**6/120 - p**5/60 - p**4/6 + p**3/3 - p**2. Let d be y(3). Let x = d + 16. Does 12 divide x?
True
Suppose 2*u - 5*b = 107, -3*u - u = 3*b - 227. Does 13 divide u?
False
Suppose -17 = -2*t - 4*o + 1, -5*o = 3*t - 22. Let n = 3 - t. Is 2 a factor of n?
True
Let x = 284 + -403. Let o = -22 - 61. Let q = o - x. Does 12 divide q?
True
Suppose -5*r = -45 - 40. Let k = r + 9. Is 9 a factor of k?
False
Suppose 0 = 4*a - 396 + 120. Does 16 divide a?
False
Let p(d) = 25*d**3 - d**2. Let h(k) = -k**3 + 6*k**2 - 3*k - 5. Let f be h(5). Let u(q) = -q**3 + 6*q**2 - 4*q - 4. Let v be u(f). Is p(v) a multiple of 20?
False
Is 4 a factor of (-15)/2*(-12)/9?
False
Suppose 0 = -2*b + b - 3*h + 12, -b + 3*h = 0. Let o(k) = -k**2 + 7*k. Is o(b) a multiple of 2?
True
Let f be 26/(-3) + 2/3. Let d be (f*2)/((-2)/3). Suppose -2*w = -0*w - d. Is 12 a factor of w?
True
Let m = 26 + -12. Is m a multiple of 5?
False
Let x(z) = -z**3 + 7*z**2 - 4*z + 17. Is 29 a factor of x(6)?
True
Let d(u) = -5*u - 4*u + u**2 + 11*u. Let h(b) = b + 1. Let o be h(2). Is 15 a factor of d(o)?
True
Let f = 51 + -3. Does 22 divide f?
False
Let k(t) = t**3 + t**2 - 1. Let r(f) = 5*f**3 - 4*f**2 - 7*f - 1. Let o(w) = 6*k(w) - r(w). Is 13 a factor of o(-9)?
True
Let f(s) = 2*s**2 + 5*s - 3. Let p(z) = 2*z - 3. Let u(n) = -5*n + 5. Let v(i) = -7*p(i) - 3*u(i). Let a be v(-3). Is 15 a factor of f(a)?
True
Suppose 2*h + 252 = 5*h. Is h a multiple of 12?
True
Suppose 2*d - 18 = -d. Is 11 a factor of (-3)/d + 268/8?
True
Let k(z) = -z**2 + 8*z - 7. Let i be k(5). Let b(f) = 7*f - 4. Is b(i) a multiple of 26?
True
Suppose m - 4*m + 39 = 0. Is m even?
False
Let w = 0 + 3. Suppose 3 - 12 = -5*v - 3*o, -w*v - 2*o = -5. Is 2 a factor of v?
False
Let b(k) = 4*k + 3. Let n(i) = 8*i - 1 + 9 - 3. Let u(g) = -7*b(g) + 4*n(g). Is u(2) a multiple of 6?
False
Let z = 372 + -216. Is 13 a factor of z?
True
Suppose -2*g - 2*t + 45 = -t, 106 = 5*g - 4*t. Is g a multiple of 22?
True
Let l = -19 + 55. Is l a multiple of 12?
True
Suppose 2 = -c, -3*h + 98 = -4*c - 96. Is h a multiple of 15?
False
Let d be 0 + 2 - (10 - 29). Let a(y) = -2 + 6 - d*y - 5. Is a(-1) a multiple of 14?
False
Suppose 0 = -4*v - 0*v - 48. Let t = 26 + v. Does 7 divide t?
True
Let l(n) = -n**3 - 5*n**2 - n + 3. Let t be l(-5). Let y = 41 - t. Is y a multiple of 9?
False
Let t = -14 + 17. Suppose 4*q + 3*f = -12 + 72, 0 = -q + t*f. Is q a multiple of 4?
True
Is 4 a factor of 2 - (-8 - (-3)/1)?
False
Is 15 a factor of 2/(-8) - (-1425)/20?
False
Suppose 3*h = -2*h + 75. Suppose 5*r + 21 = -2*f - 0*f, 0 = -2*f - 3*r - h. Is 12/(-5)*10/f a multiple of 8?
True
Suppose -4*x + 7*x - 18 = 0. Let m be 0 + 0 - (x - 5). Is 22 a factor of m + (2 - 1) + 64?
False
Let r(b) = -b**3 + 15*b**2 - 16*b - 4. Let u be r(13). Let p = u - 80. Does 23 divide p?
True
Let q(c) = -3*c + 38. Is 45 a factor of q(-18)?
False
Let r(p) = 4*p**2 - 2*p. Does 18 divide r(3)?
False
Let i = -4 - -6. Let c = -7 - i. Does 14 divide (-2)/c + (-1504)/(-36)?
True
Let q(v) = 25*v**3 - v**2. Does 8 divide q(1)?
True
Let w = 55 + 12. Suppose -5*c + w = 17. Is c a multiple of 3?
False
Is 35 a factor of (620/6)/1 - 4/(-6)?
False
Let t = 180 + -14. Suppose 4*i + t + 110 = 0. Does 16 divide ((-2)/(-3))/((-2)/i)?
False
Let p be (72/(-5))/((-1)/10). Suppose -4*d - 3*t + p = t, -168 = -5*d + t. Is 17 a factor of d?
True
Is 6 - -263 - -1*6 a multiple of 11?
True
Suppose 2*l = 3*l - 3, 0 = 4*q + 3*l - 89. Suppose k = -k + q. Is 10 a factor of k?
True
Let a = -50 + 196. Is 11 a factor of a?
False
Let i = 28 - 9. Is i a multiple of 6?
False
Let c(l) = -l**3 - 13*l**2 - 16*l + 15. Suppose -m - 3*w = -w + 20, -4*w = 16. Is 21 a factor of c(m)