-2*l + 240 = 6*m - 3*m. Does 26 divide m?
True
Let q(n) = -9*n - 16. Is q(-8) a multiple of 13?
False
Suppose 2*f - 16 = -2*f. Is (-6)/f - 306/(-12) a multiple of 8?
True
Suppose -12 = -4*d + 4*c, 5*d + 4 = 4*c + 24. Suppose -j - 3*j + d = 0. Is 15 a factor of (91 + 4)*j/5?
False
Let b(j) = -3*j**3 + 7*j**2 + 5*j - 45. Let r(x) = 5*x**3 - 11*x**2 - 8*x + 68. Let k(v) = -8*b(v) - 5*r(v). Is 12 a factor of k(0)?
False
Let q(s) = -s**3 + 2*s**2 - 4*s**2 + 7*s**2 - 1 - 5 + 2*s. Does 4 divide q(5)?
True
Suppose -p + 3*u + 16 = 0, -4 = -5*p - 2*u - 2*u. Does 17 divide 80/p*(0 + 1)?
False
Suppose 0*t - 5*t = -180. Is 18 a factor of t?
True
Suppose -5*u - 22 = -4*u. Let z = u + 66. Does 16 divide z?
False
Let d = -10 - -30. Suppose -d = -2*p + 4. Is p a multiple of 6?
True
Let a(j) = -3*j + 1. Let p be a(3). Let s = 4 + p. Let n(k) = -3*k - 2. Is n(s) a multiple of 4?
False
Suppose 4*x - i - 44 = 87, -4*x = 4*i - 156. Let g = -3 + x. Is g a multiple of 11?
False
Suppose 3*b = 7*b + 8. Let k = b - -7. Is 2 a factor of k?
False
Suppose -3*r - 3*l - l = -428, 3*l = r - 134. Let p = r - 91. Is p a multiple of 9?
False
Let q = 24 + 4. Suppose 0 = -4*c - 4*x + q, c + x + x - 10 = 0. Is (-51)/1*c/(-6) a multiple of 17?
True
Let k(j) = j**2 + 3*j**2 - 6*j**2 - 3*j + 2*j**3 + 2. Let f be k(2). Suppose -3*x + f*b + 75 = 0, -3*x + 3*b - 75 = -7*x. Is 7 a factor of x?
True
Suppose 3*v - 4*w - 226 + 90 = 0, 5*w + 137 = 3*v. Let i = v - 14. Is 10 a factor of i?
True
Suppose 3*a = -a + 20. Let q = 11 - 7. Suppose -a*v + 71 + q = 0. Is v a multiple of 15?
True
Let x(z) = -z**2 + 7*z - 5. Let w be x(5). Suppose -2*f + 4*n - 25 = -7*f, 3*n - 30 = -w*f. Suppose 0 = i - f - 11. Does 10 divide i?
True
Let b be ((-9)/(-2))/((-3)/4). Let w = 5 + b. Does 13 divide 23/(1 - 0/w)?
False
Suppose -3*i = -5*a - 3 - 0, 2 = -4*a + 2*i. Suppose -6*s + 95 + 25 = a. Is s a multiple of 10?
True
Let k = 42 + -30. Does 8 divide k?
False
Suppose 3*d - 14 = 4*k - 56, -d - 25 = -5*k. Is (-8)/20 + (-534)/d a multiple of 18?
False
Let a(r) = r**3 - 12*r**2 - 7*r - 18. Is a(13) a multiple of 12?
True
Let u(k) be the second derivative of k**5/20 - k**4/2 + 5*k**3/6 - k**2 - k. Let d be u(5). Is 0/d + 19 + -2 a multiple of 7?
False
Suppose 5*r = 4*p + 226, r + 1 = -5*p + 23. Is 12 a factor of r?
False
Let r be ((-90)/(-25))/((-3)/(-20)). Let m be r + 1*3/(-3). Suppose 32 = 4*n + 4*f, 2*f - 3 + m = n. Is 5 a factor of n?
False
Let z(r) = -7*r - 1. Let h(t) be the first derivative of -13*t**2/2 - t - 1. Let c(y) = 6*h(y) - 11*z(y). Is 10 a factor of c(-5)?
True
Suppose -2 = -o + 1. Suppose 2*j - j = 20. Suppose r = -o*r + j. Is r even?
False
Suppose -3*x + m = -117, 158 = 4*x - 6*m + 4*m. Is 3 a factor of x?
False
Let f be (-2)/9 - 436/(-18). Suppose s - f - 14 = 0. Suppose -10 = 2*r + c - s, -16 = 4*c. Is r a multiple of 16?
True
Let o(u) = -u + 3. Let d be o(6). Suppose 96 = -7*r + 4*r + 3*s, r - 3*s + 22 = 0. Let g = d - r. Is 17 a factor of g?
True
Let p(a) = 11*a + 17. Let u(s) = -16*s - 25. Let z(o) = 7*p(o) + 5*u(o). Does 6 divide z(-6)?
True
Let m(x) = -x**3 - 5*x**2 - 2*x + 5. Let l be m(-4). Let y = l - -49. Is y a multiple of 23?
True
Suppose 3*z = z + 52. Is 13 a factor of z?
True
Let m = -1 - -3. Suppose -5*t - 14 = -3*c, 2*c - m*t = 3*c - 1. Let q = 5 + c. Is q a multiple of 4?
True
Let v be (-4)/(-18) - (-100)/36. Suppose 2*g + 4*o - 34 = -0*g, g + v*o = 12. Does 9 divide g?
True
Let u = -33 - -41. Is u even?
True
Let z be ((-11)/(-3))/((-1)/3). Let p = z + 36. Is 13 a factor of p?
False
Suppose -3*r + 14 - 41 = -5*f, -5*f - 2*r + 7 = 0. Let v = f + 0. Does 3 divide v?
True
Does 11 divide 1 + 11/(-9) + (-16967)/(-171)?
True
Let s(p) = -6*p + 2. Let a be s(-3). Let o = 11 - a. Is (2 - 78/o)*3 a multiple of 16?
True
Let p(h) = -49*h - 1. Does 27 divide p(-3)?
False
Let d(m) = 4*m**2 - 11*m - 21. Is d(-6) a multiple of 27?
True
Let h = -327 + 494. Is 15 a factor of h?
False
Suppose -5*a + 7 = -38. Let t(g) = g**3 - 8*g**2 - 4*g - 10. Does 15 divide t(a)?
False
Let n(f) = 3*f**2 + 2*f**2 - 38 + 35 + f**3 + f. Does 6 divide n(-3)?
True
Let t be ((-2)/(-4))/((-1)/(-2)). Suppose 0 = 3*u - 63 - 75. Let z = u - t. Is z a multiple of 23?
False
Let b be ((-4)/(-5))/((-4)/10). Let p = 19 + b. Is 16 a factor of p?
False
Suppose d - 11 = -0. Suppose -5*a = 5*z - 25, 3*a - 2*a - d = 5*z. Does 6 divide 4*(-3)/a + 8?
True
Suppose -4*u + 4*f + 0 + 8 = 0, -5*f = -2*u - 2. Suppose 26 = 3*j - u. Does 5 divide j?
True
Suppose 30 = 5*t + 5*u, 3*t + 2*u = 7*t - 12. Suppose 0 = 4*i - 5*p - 17, -3*p + 10 = t*i - p. Suppose -108 = -i*x + 33. Is 16 a factor of x?
False
Suppose -2*a - 55 = 81. Is 31 a factor of (0 - a) + -3 - 3?
True
Suppose 4*l + 2*z = 26, -5*l - 14 = -z - 64. Does 9 divide l?
True
Suppose -1 = -5*g + 24. Suppose g*u - 17 = 4*u. Is u a multiple of 10?
False
Suppose -1 = 2*c + 15. Let z = c - -15. Is 14/(-49) - (-191)/z a multiple of 9?
True
Let q = -18 + 41. Is q a multiple of 9?
False
Suppose 0 = n - 2*g + 6*g - 47, -2*g + 6 = 0. Let o = 63 - n. Is 6 a factor of o?
False
Suppose j + 4*f = 161, -j + 3*f + 20 + 127 = 0. Does 8 divide j?
False
Let g(b) = b**3 + 5*b**2 + 2*b - 3. Does 4 divide g(-4)?
False
Suppose 2*s = -0*s - 8. Let i(k) = -k + 5. Is i(s) a multiple of 3?
True
Let p = -242 + 356. Is p a multiple of 34?
False
Let x(q) = -q**2 - 12*q - 11. Let m be x(-11). Suppose -5*r - 2*k + 553 = m, -2*r = 2*r + 2*k - 444. Is r a multiple of 28?
False
Let j(m) = m**2 - 5*m - 9. Is j(13) a multiple of 22?
False
Suppose -99 = -4*c - 55. Is c a multiple of 2?
False
Is (-15)/3*(-5 - (-48)/(-4)) a multiple of 6?
False
Let t(d) = 5 - 9*d**2 + 3 + d**3 - 3. Is 4 a factor of t(9)?
False
Let z(b) = -b**2 + 12*b - 3. Let y(a) = -a**2 + 8*a - 6. Let g be y(5). Is z(g) a multiple of 12?
True
Let k(f) be the second derivative of -f**5/20 - 5*f**4/12 + f**3/6 - f**2 + 2*f. Is 14 a factor of k(-6)?
True
Suppose -b + 6 = -l - 4*l, -2*b - 10 = l. Let m be ((-15)/3)/(-1) + l. Does 2 divide 4/m*(-3)/(-2)?
True
Let a(i) = 2*i - 8. Is a(9) a multiple of 3?
False
Let z = -23 + 26. Suppose 0*h - 37 = -2*p + 3*h, -48 = -z*p - 3*h. Does 6 divide p?
False
Suppose -4*r - 4*u + 82 = -74, 0 = 3*r - 2*u - 97. Does 22 divide r?
False
Let k be (-21 - -1)*(-60)/16. Suppose -p + k = 4*p. Does 7 divide p?
False
Suppose -3*u + 18 = -0*u. Is u a multiple of 6?
True
Let x(l) = 4*l**2 + 2. Is x(-7) a multiple of 18?
True
Let a be 106 - (-1 - (1 + 0)). Let t = -64 + a. Is 22 a factor of t?
True
Let a(g) = g + 18. Let x be a(0). Suppose -5*n - 8 = -x. Suppose 0 = n*o - 5*v - 39 - 38, 4*v = 5*o - 184. Is 18 a factor of o?
True
Suppose 3*s - 76 - 14 = 0. Is s a multiple of 6?
True
Suppose -f - 2*f + 1008 = 0. Does 21 divide f?
True
Suppose 3*h - 25 = -2*h + 5*v, 2*v = h - 9. Does 8 divide (h - 4)/(12/(-32))?
True
Suppose 5 + 1 = 2*c. Suppose 7 = 4*t - 5*m, c*t = 7*t + m - 37. Let z(y) = 3*y - 10. Does 9 divide z(t)?
False
Let r be -3*(-6)/(-9)*-41. Suppose r = 3*l + 19. Is l a multiple of 14?
False
Suppose 0 = -15*g + 16*g - 10. Suppose -4*j = -0*j - 16. Suppose c - j = g. Is 14 a factor of c?
True
Let l = -19 - -85. Does 19 divide l?
False
Let q = -163 + 229. Is q a multiple of 10?
False
Let c be ((-3)/6)/((-5)/20). Suppose c*w + 156 = 4*w. Is 18 a factor of w?
False
Let q(r) = -13*r - 2. Let a be q(-3). Let t = a - 3. Is t a multiple of 17?
True
Let j = 657 + -340. Is j a multiple of 19?
False
Suppose -d - s + 51 = 0, -4*d - 3*s + 7*s + 164 = 0. Let r = d + -27. Does 8 divide r?
False
Let v(b) = -27*b**3 + 2*b**2 - 1. Suppose -12 = 3*s - 9. Does 6 divide v(s)?
False
Suppose 222 + 18 = 2*a. Does 24 divide a?
True
Let f be 2/(0 + (-2)/9). Does 16 divide (0 + 6)*f/(-2)?
False
Let k(i) be the second derivative of 0*i**2 + 5/6*i**4 + i + 1/6*i**3 + 0. Is k(-1) a multiple of 5?
False
Is 7 a factor of (-4)/16*2 + (-985)/(-10)?
True
Let i(w) = -w**3 - 7*w**2 - 9*w - 1. Let x be 448/(-77) - (-4)/(-22). Is i(x) a multiple of 10?
False
Suppose -3*a - 2*o + 11 = 0, -2*a + o = -0*a - 19. Is a a multiple of 4?
False
Let g(z) be the second derivative of -47*z**4/12 - 7*z**2 + 2*z. Let x(t) = 16*t**2 + 5. Let v(u) = -6*g(u) - 17*x(u). Does 13 divide v(2)?
True
Suppose 3*l + 0*l - 3*t - 144 = 0, -210 = -5*l - t. Does 8 divide l?
False
Let i be ((1