et w(k) = -6*k. Suppose 2*a = -4*u - 40, -a - 12 = u + 3. Let g be w(a). Suppose f = 5*f - g. Does 15 divide f?
True
Suppose 9*j = 3*j + 138. Does 17 divide j?
False
Let k = -5 + 4. Let w = 24 - k. Is w a multiple of 15?
False
Suppose -d + 4*d = 6. Suppose 3*w + 4*m = 51, 5*w - d = 3*m + 54. Is 13 a factor of w?
True
Suppose 2*r = -4*u + 5 + 3, -3*u - 5 = -4*r. Does 11 divide (-3 - -3) + (42 - r)?
False
Does 4 divide -1 + 4 - (2 + -11)?
True
Let p be 43/5 + 6/(-10). Let n = p - -52. Is 25 a factor of n?
False
Let z(q) = 4*q + 17. Does 25 divide z(12)?
False
Suppose 16*m + 208 = 18*m. Does 10 divide m?
False
Is 5/30 - 3/(54/(-2409)) a multiple of 28?
False
Suppose 3*a + 88 = -y, -3*a - 5*y - 110 = a. Let p = a + 42. Does 3 divide p?
True
Suppose 0 = -3*x + 3*k + 108, -4*x + 22 = -k - 110. Is x a multiple of 8?
True
Suppose 2*j + 4*v = 818, -4*j + 2*v - 464 + 2150 = 0. Is j a multiple of 15?
False
Let b(g) = -10*g. Is b(-2) a multiple of 20?
True
Suppose -m + 4*m = 0. Let o = -1 - -4. Suppose 2*w + 3*f - 12 = m, -24 = w - 5*w + o*f. Does 4 divide w?
False
Let g(m) = -6*m + 2*m - 6*m + 3*m + m**2 - 3. Is 6 a factor of g(10)?
False
Let i(a) = a**3 - 6*a**2 + 7*a + 10. Let h be i(7). Let r be h/16 + 2/8. Let c(t) = t**3 - 5*t**2 - 10*t + 8. Does 13 divide c(r)?
False
Let d(t) = 1 + 20*t**2 - 2*t - 1 - 2. Is d(-1) a multiple of 20?
True
Does 12 divide (0 - 5) + 122 + 3/1?
True
Suppose -3*i - 4*c + 34 + 218 = 0, 0 = -i + 3*c + 97. Is i a multiple of 11?
True
Suppose 4*r = 5*h - 650, -2*r = -h - 6*r + 154. Let b = 198 - h. Is b a multiple of 32?
True
Suppose 5*i - 5*c - 507 = -42, 4*i - 2*c - 378 = 0. Does 8 divide i?
True
Let v(c) = 17*c - 1. Let s be v(1). Suppose 0*l - s = -l. Is l a multiple of 9?
False
Let g(m) = m - 2. Let x be g(4). Let f(j) = -2*j**2 - j + 4*j**2 + 3*j. Does 11 divide f(x)?
False
Let y be -2*(-4)/((-16)/(-6)). Suppose y*l + 5*w + 3 + 7 = 0, w = -5. Suppose -t = -2*q + l*q + 1, 5*q = -10. Is 2 a factor of t?
False
Let n(i) = i**2 + i + 30. Is n(-11) a multiple of 28?
True
Let f(z) be the first derivative of -4*z**2 - 6*z - 1. Suppose 0 = 4*a + 9 + 11. Is f(a) a multiple of 17?
True
Let k(d) = 2*d + 8. Let c be k(6). Suppose 0 = -5*l + 55 + c. Is 15 a factor of l?
True
Let j(n) = n**3 - 4*n**2 + n - 1. Let z be j(4). Suppose 20 = z*p - 16. Is 6 a factor of p?
True
Is 20 a factor of 5*(-1)/3*(-33 - -21)?
True
Suppose -x + 3 = 2*l, 3*l + 4*x = -0*x + 12. Suppose -2*u + 0*u + 36 = l. Is u a multiple of 16?
False
Let d = 26 + -8. Is d a multiple of 6?
True
Let p(v) = -v**2 + v + 147. Let x be p(0). Suppose -89 = -2*t + 3*u, -2*u + 71 = 4*t - x. Does 19 divide t?
False
Let v = -29 + 44. Suppose 2*g - v = -3*g. Suppose -g*x - 32 = -4*s, 5 = 4*s - x - 35. Is 9 a factor of s?
False
Does 7 divide (5/(-3))/((-573)/(-144) + -4)?
False
Suppose 4*g - 174 = 2*g. Does 10 divide g?
False
Suppose 5*p - 5 + 30 = 0. Let j(t) = 18*t + 17. Let i(n) = -9*n - 9. Let u(y) = -7*i(y) - 4*j(y). Is u(p) a multiple of 20?
True
Let b(x) be the first derivative of x**3/3 - x**2/2 - 3*x - 3. Is b(-3) a multiple of 3?
True
Let r(j) = 2*j**2 + 5*j - 21. Is 14 a factor of r(7)?
True
Let u = -90 + 228. Let p(s) = 4*s**2. Let t be p(1). Suppose t*b = b + u. Is b a multiple of 17?
False
Let n(t) = t + 2. Let m be n(-8). Is (-179)/m - (-2)/12 a multiple of 10?
True
Suppose i + i = 64. Suppose -3*b + 16 = -i. Is 8 a factor of b?
True
Suppose 0 = -2*z - 7 + 81. Is z a multiple of 10?
False
Let j(y) = 8*y**2 - y - 3. Does 12 divide j(-3)?
True
Let q = -103 - -184. Suppose 0 = 3*r - q. Does 8 divide r?
False
Suppose 0 = 3*q - 28 + 4. Does 6 divide q?
False
Let q be 1*26 - (3 - 2). Let m(w) = -4 - q*w + 1 + 0. Is m(-2) a multiple of 12?
False
Suppose 178 - 1186 = -4*q. Suppose 5*b + q = 8*b. Is b a multiple of 28?
True
Suppose f + 3*p - 74 = 0, 2*p = -5*f + 407 - 76. Let j = f + -17. Does 17 divide j?
False
Let c(r) = 2*r**2 - 10*r - 18. Is 18 a factor of c(9)?
True
Let x = -38 + 114. Does 24 divide x?
False
Let u(n) = n**3 + 2*n**2 - 3*n - 1. Let m(l) = 3*l**3 + 5*l**2 - 10*l - 2. Let t(j) = 2*m(j) - 7*u(j). Does 8 divide t(-5)?
False
Let r = 2 - 4. Let i = 27 + r. Is 15 a factor of i?
False
Let p(h) = -2*h - 4. Let b be p(-3). Suppose -7*k + 265 = -b*k. Suppose -2*a + 5*q = -k, 4*q + 76 = 4*a - 0*q. Is 6 a factor of a?
False
Let q(k) = -k**2 + 15*k + 4. Let y = 41 + -29. Does 10 divide q(y)?
True
Let r(w) = -w**3 - 4*w**2 - 3*w - 1. Let j be r(-4). Suppose -m + 14 + j = 0. Is m a multiple of 24?
False
Let d(b) = 12*b**2 - 2*b + 1. Let f be d(2). Let u = 114 - f. Does 10 divide u?
False
Suppose -4*o = o. Let f(d) = -d + 10. Is 10 a factor of f(o)?
True
Is 14 a factor of (10 + -6)/((-2)/(-59))?
False
Suppose -4*k + 4*t + 916 = 0, 0 = -0*k - k - t + 239. Suppose 2*p - k + 25 = -5*c, c - 2*p - 37 = 0. Does 10 divide c?
False
Suppose 5*g - g + 671 = 5*i, 2*i - 272 = -2*g. Does 14 divide i?
False
Suppose -8*w = -7*w + 1. Let l(a) = -48*a - 1. Does 15 divide l(w)?
False
Let o = -54 - -90. Suppose 0*u + 3*u - o = -4*i, u - 3*i - 12 = 0. Does 12 divide u?
True
Suppose -13*p = -274 - 194. Does 9 divide p?
True
Let h(v) = -v**2 - 2*v + 2. Let b be h(-2). Suppose 0 = -4*z - 3*q + 26, -6 = -2*z + b*q - 0*q. Suppose -z*d + 3*d + 22 = 0. Is d a multiple of 8?
False
Let i = -12 + 20. Suppose -3*j - i = 1. Let v = 3 - j. Is v a multiple of 3?
True
Let o(u) = u + 14. Suppose 18 = -2*h - h. Is 3 a factor of o(h)?
False
Suppose z + 4 = 22. Suppose 0 = -4*l + l - z. Is ((-2)/l)/((-2)/(-54)) a multiple of 3?
True
Suppose v - 4*a = a + 25, -2*v = a + 5. Let f(j) = -j**3 - 5*j**2 - 5*j + 16. Let r(l) = -l**2 - l - 1. Let s(c) = f(c) - 4*r(c). Does 10 divide s(v)?
True
Let z = 11 + -3. Let l = 18 - z. Is 3 a factor of l?
False
Let k be ((-6)/5)/(3/(-10)). Suppose 5*t = -k*u + 8*u - 177, 109 = 3*u + t. Is u a multiple of 8?
False
Let f = 84 - -6. Is 6 a factor of f?
True
Let v be 4/(-2) - (-7 + 7). Let y = 8 + v. Does 6 divide y?
True
Let o = -9 + 13. Let f(w) = -w**2 - 2*w + 3. Let k be f(o). Let x = k - -35. Is 5 a factor of x?
False
Let v(x) = -x + 5. Let o be v(8). Let b = -4 - o. Does 9 divide (3/b - -18)/1?
False
Suppose 127 = 3*c - 29. Is c a multiple of 28?
False
Suppose -4*n = 5*s - 3*s - 4236, 5*n - 5296 = -2*s. Let f = n - 1988. Is 11 a factor of (-4)/(-18) + f/(-36)?
False
Let w = 412 + -270. Is 17 a factor of w?
False
Suppose 4*i - 73 = -4*q + 3, -46 = -2*i - 4*q. Is 4 a factor of i?
False
Suppose c = 22 + 8. Suppose i + c = -i. Is (2 - i) + -1*1 a multiple of 8?
True
Suppose 5*v + 2*a = -6, a + 3*a + 12 = 4*v. Suppose v = -0*w + w - 3. Does 3 divide w?
True
Does 21 divide (-4)/8 + (-434)/(-4)?
False
Suppose 0 = 2*u + 2*d - 2, 2*u - d + 5*d + 4 = 0. Let z(w) = 3 + 1 + 14*w - 6. Is z(u) a multiple of 21?
False
Let t = -255 - -379. Does 14 divide t?
False
Suppose 0*a - 3*a = -3*c - 240, 0 = 4*c - 12. Is a a multiple of 17?
False
Suppose c = 3*f - f - 36, 2*f + 114 = -4*c. Is (-128)/(-3) + (-40)/c a multiple of 10?
False
Let r = -9 - -15. Is (-4)/6*r*-8 a multiple of 19?
False
Suppose 3*u + 124 = 511. Is 43 a factor of u?
True
Suppose -455 = -2*z + 5*l, -4*z + z + 725 = l. Suppose 9*m - 4*m = z. Is 16 a factor of m?
True
Suppose 0 = 2*p - 40 - 28. Is p a multiple of 7?
False
Is 7 a factor of -3*42/(-9)*1?
True
Let q(b) = 6*b**2 - 15*b + 1. Is q(6) a multiple of 37?
False
Let a(r) = -1 - 35*r - 7*r + 1. Does 24 divide a(-1)?
False
Suppose 7*k - 3*k - 8 = 0. Suppose y + 5*r + k = 0, -r + 11 = 5*y - 3. Let p(l) = 6*l + 4. Is 10 a factor of p(y)?
False
Suppose 4*h - 12 = h. Let x = 41 + 19. Suppose 4*a - h*y - 49 = 15, 5*y - x = -5*a. Is 7 a factor of a?
True
Let t(l) = -l**2 - 13*l + 4. Is t(-7) a multiple of 33?
False
Let p(r) = -r + 1. Let n be p(-7). Let m = n - 5. Suppose o = -2*o - m*s + 12, 2*o - 5*s - 22 = 0. Is o a multiple of 6?
True
Let g = -203 - -426. Suppose 5*p - 3*p - 254 = -4*z, -5*p = -3*z + g. Let d = -36 + z. Is 10 a factor of d?
True
Let w = -7 + 19. Is w a multiple of 4?
True
Suppose -30 = -3*q + 39. Is q a multiple of 23?
True
Let r(j) = 2*j**2 + j. Suppose -d + 1 = 0, -3*d = -3*x - 1 + 40. Suppose 3*i - x = o, -o - 2*o = -2*i + 14. Is 12 a factor of r(i)?
True
Let j(m) be the third derivative of 7*m**4/24 - 4*m**3/3 - 10*m**2. Does 3 divide j(4)?
False
Suppose 