 of 17?
False
Is 5040/27 - -3 - (-4)/(-6) a multiple of 21?
True
Suppose -5*a = u, -3*u + 4*a = 6*a - 13. Suppose s = 5*p - 150 + 14, -3*p = -u*s - 64. Is p a multiple of 4?
True
Let o = -18 + 22. Suppose a = -o*a - 5. Let b = 4 + a. Is 3 a factor of b?
True
Suppose 202*g - 212*g + 5700 = 0. Does 16 divide g?
False
Let o(f) = 3*f + 7. Let l(x) = 5*x + 11. Let n(q) = 5*l(q) - 8*o(q). Let d(p) = -2*p - 7. Let t(y) = d(y) - 4*n(y). Does 6 divide t(-3)?
False
Let i = 3 - -1. Suppose -i*p + 1105 = 193. Suppose -v - 230 = -3*s, -3*s + p = -4*v - 17. Is 15 a factor of s?
True
Suppose 22*f = 28*f - 522. Is f a multiple of 12?
False
Let j(f) = -3*f - 1. Let q be j(-2). Let b be (-4)/2 + (q - 0). Is 113/b + (-1)/(-3) a multiple of 12?
False
Let s(a) = -19*a + 5. Is 6 a factor of s(-1)?
True
Let h(v) = v + 23. Let r be h(-11). Let o be 10*-57*(-2)/r. Let m = o + -25. Is 17 a factor of m?
False
Let v(w) = 2*w - 16. Let h be v(7). Is 110*6*h/(-30) a multiple of 22?
True
Suppose 17*c + 9*c = 4212. Does 54 divide c?
True
Suppose -2*a = 3*x - 26, 0 = -x - 2*x - 3*a + 30. Suppose 11*k - x*k - 20 = 0. Suppose 3*m = 2*b - 13, 0*m + k*m + 9 = b. Is 5 a factor of b?
True
Let q = -28 - -14. Let k = -11 - q. Suppose -4*n = 4*b - 360, 85 + 5 = b - k*n. Does 15 divide b?
True
Let c be 8*(-3)/(-6) + 1. Let w(f) = f - 6. Let o be w(c). Is 6 a factor of (-62)/(-10) - o/(-5)?
True
Suppose 2*u = -2*c + 14, 0 = u + u + 3*c - 16. Suppose -2*t - 2*r = t - 219, 4*t = -u*r + 285. Is t a multiple of 14?
False
Let q(r) = r**2 + 3*r - 13. Let p be q(-6). Suppose -13 - 30 = -p*t + 3*l, 3*l = -3. Does 4 divide t?
True
Let r = -658 - -983. Does 25 divide r?
True
Is -7 + 6162/6 + 4 a multiple of 64?
True
Suppose 3*v - 7 = 2*f - 1, 10 = 4*v - 2*f. Suppose v*l - 28 = -5*u, -2*u + 4 = -l + 2*l. Suppose -l = -7*w + 5*w. Is w a multiple of 6?
True
Let i be 4/(-16) - (-36)/16. Suppose 0 = -i*r - 3 + 11. Suppose -r*f + 80 + 8 = 0. Is f a multiple of 22?
True
Let m(i) be the second derivative of -5*i**3/3 + 5*i**2 + 2*i. Let b = 162 + -167. Does 11 divide m(b)?
False
Let h(c) = -48*c + 388. Does 70 divide h(-24)?
True
Let i(u) be the third derivative of -u**5/60 + 5*u**3 - u**2. Let q be i(0). Let v = q - 20. Is v a multiple of 10?
True
Let s(l) be the first derivative of 88*l**4 - l**3/3 - 3*l**2/2 + 3*l - 14. Is 19 a factor of s(1)?
False
Suppose 0 = 74*d - 76*d + 8. Is d even?
True
Suppose -4 = -h, 4*h - 299 = 3*p - 3823. Does 38 divide p?
False
Let h = 27 - 23. Suppose d - 20 = -h*p - 0*d, -5*p - d + 25 = 0. Suppose 3*b + 9 = 5*l, 0 = -3*l + 7*l - p*b - 2. Is 2 a factor of l?
False
Suppose 22*o = 25*o - 405. Does 9 divide o?
True
Suppose -11*k + 5*n + 105 = -7*k, 0 = 5*n - 15. Is 10 a factor of k?
True
Is 11 a factor of 6 - (3 - 2) - -138?
True
Suppose 2562 = -3*k + 17*k. Is k a multiple of 13?
False
Suppose 0 = 3*j + 5*b - 32, -8 = 3*j + 4*b - 9*b. Suppose 4*y = 5*q - 0*y - 85, 4*q = -j*y + 104. Does 18 divide q?
False
Suppose 0 = m - 4*m + q + 992, m - 348 = -4*q. Does 23 divide m?
False
Let a be (-40 + 39)/((-2)/(-8)). Let v(s) = -s**2 - 6*s - 7. Let q be v(-5). Does 4 divide a/q*8/4?
True
Suppose 0 = -2*x + i + 4999, -20*i = -16*i - 20. Does 12 divide x?
False
Suppose -4*j - 252 = -3*m - 653, 3*j - m - 297 = 0. Let o = j - 58. Is 40 a factor of o?
True
Suppose 9*y - 30 = 3*y. Suppose 3*n + 52 - 284 = g, 0 = -n - y*g + 104. Is 22 a factor of n?
False
Suppose 5*x = -72*t + 71*t + 8119, -4*t = x - 1639. Is 60 a factor of x?
False
Let q = 43 - 41. Suppose 3*l - q*x - 300 = 2*x, 6 = -2*x. Is l a multiple of 48?
True
Suppose 32*v = 31*v + 60. Is 12 a factor of v?
True
Let m = 23 - 3. Is ((-27)/4)/((-5)/m) a multiple of 27?
True
Let v(b) = 18*b**2 - 39*b + 100. Is v(-12) a multiple of 10?
True
Suppose -2*x = 5*i - 77 + 2, -5*i = -4*x + 105. Suppose z = 0, 0 = 2*o - 4*z - 6 - x. Suppose p + o - 72 = 0. Is 9 a factor of p?
True
Suppose 3*v - 2*v - 4*w = 82, -4*v = 5*w - 412. Suppose 5*j - 4*l - v = -0*j, 2*j = 3*l + 35. Is j a multiple of 6?
False
Suppose -4*a - 120 = -2*a. Let d be a/(-25) - (-4)/(-10). Suppose d*g = -g + 75. Does 10 divide g?
False
Let u(s) = s**3 + 20*s**2 + s - 8. Does 19 divide u(-15)?
True
Let i = -11 - -14. Suppose i*l - 35 = j - l, 8 = -4*l. Let d = j - -89. Is 23 a factor of d?
True
Suppose 0 = 3*u - 5*z - 26, 2*u - 22 = -u + z. Suppose -5*a + w = 35, 2*a - u*w = -3*w - 32. Let i(y) = y**2 + 4*y + 6. Is i(a) a multiple of 6?
True
Let k = -452 + 676. Does 7 divide k?
True
Let v(i) = -i. Let r(y) = -y**2 - 5*y - 72. Let p(k) = -r(k) + 6*v(k). Is p(0) a multiple of 9?
True
Let o be 132/(-5)*30/(-4). Suppose f - 4*f + o = 0. Is 7 a factor of f?
False
Let m(p) = -p**2 + 29*p + 10. Let v be ((-3 - -165)/3)/2. Does 16 divide m(v)?
True
Let j be 4/(-6)*18/(-4). Suppose 27 = j*t - 75. Does 4 divide t?
False
Let j(u) = 2*u + 14. Suppose x = 3*x - 14. Is j(x) a multiple of 14?
True
Suppose -3*q - q = 12. Is 2 - (q + 7) - -92 a multiple of 22?
False
Let t(n) = n**3 - 3*n**2 - 5*n + 11. Does 4 divide t(7)?
True
Let i(u) = 98*u + 7. Let g be i(-4). Let q = g + 645. Does 20 divide q?
True
Suppose -y + 266 = 77. Is y a multiple of 54?
False
Let h(s) = 2*s**2 - s + 2073. Is h(0) a multiple of 15?
False
Is 6 a factor of 161 + (4 + -4)/(2 - 3)?
False
Let z(b) = -4*b**3 - b**2 + 2*b - 1. Let v be z(1). Let g(m) = -27*m - 6. Is 12 a factor of g(v)?
False
Is ((-21)/35)/((-13)/25805) a multiple of 18?
False
Suppose -7*t = -10 + 66. Let z = 48 + t. Does 5 divide z?
True
Suppose 0 = 7*c - 310 - 6032. Does 11 divide c?
False
Let n(i) = 3*i**2 - 29*i + 9. Let g be n(12). Suppose 27 = 3*c - g. Does 8 divide c?
True
Let z = -508 - -684. Is z a multiple of 16?
True
Suppose -2*j = 3*p - 1, 2*p - 3*p + 2 = -j. Let u = 4 + j. Suppose 42 = 4*k - u*k. Does 12 divide k?
False
Let q(j) = 21*j - 2. Let g be q(2). Let m be (-42)/11 + (-6)/33. Let r = g + m. Is r a multiple of 18?
True
Let g = -191 - -199. Is g a multiple of 8?
True
Let y = -35 - -31. Let o be 30/20*y/3. Does 14 divide (209/57)/(o/(-54))?
False
Suppose s - 54 = -4*m, 2*m - 3*s + 22 = 4*m. Let h = 64 - m. Is 25 a factor of h?
True
Let p(d) = 61*d**2 + d. Suppose -3*o = g - 1, -3*g + 17 = -0*g - 5*o. Suppose -4*m + 4*y + g = 0, 0 = 5*m - 3*y - 0*y - 1. Is 15 a factor of p(m)?
True
Let x(n) = n**3 - 2*n - 7. Let h(w) = w**3 + 17*w**2 - w - 14. Let v be h(-17). Let i be x(v). Let p = i - -7. Is p a multiple of 3?
True
Suppose 0 = 57*k - 88*k + 47864. Is 63 a factor of k?
False
Does 14 divide 5 - (4314/8)/(9/(-36))?
False
Is 62 - 57 - 1*-155 a multiple of 4?
True
Suppose 2*q - 6 = -4*u - 0, 0 = -5*q + 4*u + 29. Let p(a) = 2*a**3 - 3*a**2 + 8*a - 4. Does 10 divide p(q)?
False
Suppose 2*y - 5 = -h, -2*y = 3*h - 6*h - 25. Let p(w) = -2*w + 2. Does 6 divide p(h)?
True
Let t = -20 - -19. Let g(o) = -2*o**3 + 2*o**2 - 1. Let n be g(t). Suppose -z + n*a = -13, 4*z + 4*a - 37 = a. Does 5 divide z?
True
Let v be (-1)/(-2) - (-1)/(-2). Suppose 3*j + z = 43, 0 = 3*j - z + 3*z - 47. Suppose v*x = x - j. Is x a multiple of 13?
True
Suppose 3*t - t = 4. Let d(p) = p**3 - 2*p**2 + 2*p - 1. Let q be d(t). Suppose 126 = q*c - 111. Is 23 a factor of c?
False
Suppose -5*j + 3*v - 28 = -4*j, -5*v - 40 = 5*j. Does 13 divide 9/(-6)*j*8/12?
True
Suppose -26*o - 660 = -37*o. Does 20 divide o?
True
Let f = -4 - -4. Suppose f = -6*i + 4 + 62. Is 3 a factor of i?
False
Let u be 678/12 + (-2)/4. Let z = u + 66. Let l = z - 66. Is 12 a factor of l?
False
Let i be (-3)/((-9)/6) - 16. Let q = -14 - i. Suppose 3*f + 18 - 243 = q. Is 19 a factor of f?
False
Let c(v) = v**3 - 7*v**2 + 10*v + 2. Suppose -2*i + 2*o - 7*o + 37 = 0, -2*o - 8 = -3*i. Does 12 divide c(i)?
False
Let o(l) = l**3 - 6*l**2 + 6*l - 4. Let u = 21 + -32. Let m = u + 17. Does 8 divide o(m)?
True
Suppose -12 + 0 = -4*g. Suppose d = g*p + 11, -2*d - 5*p = 2*d + 7. Suppose d*l - 26 = -4*y, 0*l + 4*y + 23 = 5*l. Does 4 divide l?
False
Let o(n) = n**3 + 4*n**2 + 4*n + 5. Let j be o(-3). Suppose 4*q + 4*i - 14 = -62, -j*q + 2*i = 36. Let u = q - -47. Does 10 divide u?
False
Suppose 5*g + 25 = 0, d + 2*g = -24 - 3. Let o = 83 - 31. Let r = o + d. Is r a multiple of 17?
False
Let d(s) = 49*s - 7. Let k be d(6). Suppose -9*j + k = 71. Does 10 divide j?
False
Let x = 7363 + -4903. Is 60 a factor of x?
True
Suppose