Is u/42 + 4/14 a multiple of 5?
False
Suppose -7*n + 16 = 4*i - 2*n, 4*i + 3*n - 16 = 0. Let y be i*-2*(-3)/(-4). Is 2 - 0 - (y + -28) a multiple of 12?
True
Suppose 2*x - 38 = 162. Let d = x - 60. Does 15 divide d?
False
Let f = 717 - 438. Is 27 a factor of f?
False
Let c(l) = l**2 + 3*l + 1. Suppose -2 + 22 = f + 2*w, -4*w + 16 = f. Let i = 18 - f. Does 7 divide c(i)?
False
Suppose 28 = 5*p - 3*z - 9, -3*p - 2*z = -26. Suppose w = -p*w + 756. Is 28 a factor of w?
True
Is 21 a factor of (-4 + 5)*(-110)/(-1)?
False
Let a be 110/20 - 6/4. Let h be 1/a*-2*-28. Does 12 divide (15/(-2))/(h/(-112))?
True
Suppose 56*f + 14*f = 152110. Is 46 a factor of f?
False
Suppose 200 = -z - z. Let m = -38 - z. Suppose 3*v - 224 = -m. Does 18 divide v?
True
Let z(t) = t**2 + 26*t + 39. Let d be z(-25). Suppose -10*m - 808 = -d*m. Does 21 divide m?
False
Let j(g) = 5*g**2 + 9*g + 11. Let q(m) = 3*m**2 + 6*m + 7. Let c(h) = -5*j(h) + 8*q(h). Let v be c(5). Let t(b) = -3*b - 21. Does 5 divide t(v)?
False
Let y(c) = -c**2 - 15*c + 11. Let o be y(-15). Let x(z) = z - 4. Let p be x(o). Suppose 0 = q - p - 11. Does 8 divide q?
False
Suppose -2*v - t = -8 - 6, 2*v = 3*t + 6. Is 902/14 - v/14 a multiple of 9?
False
Let u = -2 - 5. Is u*((-22)/7 - 2) a multiple of 12?
True
Let j = 120 + 151. Does 10 divide j?
False
Let x = 3 - -7. Let y be 10/((4 + -6)/(-2)). Is 4 a factor of (18/y)/(3/x)?
False
Suppose -3*r - 2*r = -40. Suppose -r*m - 2*i - 50 = -3*m, -25 = 5*i. Is 14 a factor of (-162)/m + 5/(-20)?
False
Let d = 519 - 111. Suppose 0 = 3*q + 3*b - d, 7*q - 9*q - 3*b = -277. Does 6 divide q?
False
Let r = 29 + -26. Suppose -4 = -4*m, 4*m = -r*l - l + 592. Does 12 divide (-3 - l)*4/(-10)?
True
Let m(r) = -8*r**3 - r**2 + r + 2. Let p be m(2). Let c = p - -195. Is 15 a factor of c?
False
Let n be 1 + 5 + -3 + 0. Let o be (-2)/2 - n/(-1). Is 1 + o + 204/4 a multiple of 11?
False
Let f = -13 - -18. Suppose 0 = f*a - 16 - 59. Suppose -4*c + a = -1. Does 4 divide c?
True
Suppose -2*k = -y + 4*y - 352, 2*k = -5*y + 344. Suppose -k = -4*r + 190. Is 10 a factor of r?
False
Let i(m) = 208*m**2 - m - 1. Suppose r + 6 = -h, 3*h + 23 = 2*r + 10. Is i(r) a multiple of 15?
False
Let g(c) = -21*c - 1. Let t(z) = 20*z. Let l(b) = -3*g(b) - 4*t(b). Let w(k) = -9*k + 2. Let d(r) = -3*l(r) + 5*w(r). Is d(2) a multiple of 13?
True
Let t(c) be the second derivative of -41*c**3/6 + 2*c**2 - 13*c. Let z be t(4). Let g = z + 280. Is g a multiple of 30?
True
Let t be (2 + 0)/2*22. Let c be 630/165 + 4/t. Is 24 a factor of (-864)/(-90)*50/c?
True
Let w(i) = -i**3 + 2*i**2 - i - 6. Let y be w(3). Let m = 50 + y. Does 16 divide m?
True
Let f be (423/(-6) - 0)*-2. Let v(n) = n**2 - 32*n + 105. Let k be v(30). Let p = f - k. Is p a multiple of 24?
True
Let g(i) = 2*i**3 - 2*i**2 - 2*i. Let t be g(2). Suppose 2*d - 8 = -u + 6*d, 2*d - 32 = -t*u. Is u a multiple of 4?
True
Let o be 13/52 - 54/(-8). Suppose o*g - 28 = 14. Suppose -g*u = 2*u - 360. Is u a multiple of 9?
True
Let s be -17*9*-4*3/6. Suppose 3*k - 3*i = -0*k + s, -2*k + 4*i = -196. Is k a multiple of 29?
False
Let i(o) = 2*o + 2. Let j be 1*(1 + 5) + -3. Let r be i(j). Suppose r*k - 4*k = 56. Is 14 a factor of k?
True
Let r(q) = 13*q - 28. Let j be (-546)/(-63) - (-1 + 2/(-6)). Is r(j) a multiple of 34?
True
Let z(m) = 4*m**2 + 5*m + 4. Let f be z(-2). Let g be (-255)/f + 6/(-4). Is 39 a factor of ((-52)/6)/(6/g)?
True
Let i = -78 - -150. Suppose m - i = -0*m. Is 12 a factor of m?
True
Let q be 3/3 - 4/1. Let l = 77 - q. Is 40 a factor of l?
True
Suppose 7*l = 3*l - 52. Let a = 18 + l. Suppose 2*o + 96 = a*o. Is o a multiple of 8?
True
Let k(i) = -146*i - 376. Is 27 a factor of k(-17)?
True
Let o(j) = -j**3 + 2*j**2 - j - 4. Let l be o(-2). Does 12 divide (-108)/l*(-84)/18?
True
Suppose 0 = 4*k + 4*r - 388, -k + 2*r + 0*r + 85 = 0. Suppose 3*c + m = 55, 2*m - 4*m + k = 5*c. Is c a multiple of 2?
False
Let p(y) = -y**3 - 3*y**2 - 9*y - 4. Suppose 4*j - 25 = h + 2, -5*h = -2*j + 45. Let c be p(h). Suppose -7*q = 45 - c. Is 5 a factor of q?
True
Suppose -u = -3 - 569. Is u a multiple of 44?
True
Let u(k) = 5*k**3 - 7*k**2 + 5*k - 5. Is u(3) a multiple of 4?
False
Let r(g) = 2*g - 12. Let w be r(9). Suppose -w*d - 132 = -7*d. Suppose -24 + d = 3*f. Is f a multiple of 28?
False
Let x(w) = -4*w**2 + 4*w - 1. Suppose -3*z - 21 + 33 = 0. Let q be x(z). Let c = -21 - q. Is c a multiple of 7?
True
Suppose -5*r + 7*j - 3*j + 2664 = 0, 527 = r + 5*j. Is r a multiple of 38?
True
Is 7 a factor of -12 - -7 - (-309)/3?
True
Suppose -d + 3*d = 0. Suppose -4*h + 20 = -d*h. Suppose -5*a + 10 = h*z, -3 - 1 = z + 3*a. Is 3 a factor of z?
False
Let i(f) be the third derivative of 19*f**4/24 + 3*f**3/2 - 14*f**2. Is i(3) a multiple of 22?
True
Let v(s) = -6*s - s - 35 - s**2 + 43. Suppose -4*k + 0*k = 24. Does 5 divide v(k)?
False
Let g(z) = 8*z - 12. Does 17 divide g(19)?
False
Let p(o) = 2*o**2 + 5*o + 4. Let l be p(-2). Suppose l*d - 7 = 83. Let t = d + -6. Is 13 a factor of t?
True
Let t(a) = a**2 - 2*a + 16. Let d be t(-7). Suppose 3*w - 2*w = d. Is 8 a factor of w?
False
Let l(k) = -11*k + 31*k - 12*k - 4. Is 4 a factor of l(2)?
True
Let k(b) = 73*b + 114. Is 19 a factor of k(19)?
True
Let p(x) be the first derivative of -x**4/4 - x**3 - 2*x - 8. Is 8 a factor of p(-5)?
True
Suppose -2*j = 36*w - 37*w + 710, -4*j - 2140 = -3*w. Does 10 divide w?
True
Suppose -14*n + 6227 - 25 = 0. Is n a multiple of 7?
False
Let f = 543 + -213. Is f a multiple of 6?
True
Let h(l) = -l**2 + 5*l. Let u be h(5). Suppose -5*t - s = -15, u = -5*t - 4*s + 23 + 7. Suppose -q - 30 = -t*q. Does 7 divide q?
False
Let u be 12*(1 - 3/2). Let n(j) be the second derivative of -11*j**3/6 - 3*j**2 + 13*j. Does 29 divide n(u)?
False
Suppose -4*l = -4*g - 2004, 33*l = 30*l + 5*g + 1497. Is 2 a factor of l?
True
Suppose -5*s = 4*d - 25, s - 3*d - 5 = -2*d. Suppose -12*j + 700 = -s*j. Is j a multiple of 5?
True
Suppose 0 = -5*x + 5*r + 565, -5*x = r - 664 + 93. Suppose 0 = w - x - 122. Does 8 divide 2/3 + w/6?
True
Suppose 0 = -7*q + 9373 + 7126. Does 32 divide q?
False
Suppose -3*g = g. Suppose g = -3*v + v + 56. Does 16 divide v?
False
Let u(b) = b**2 - b + 1. Let w(o) = 12*o**2 + 5*o - 10. Let f(g) = 6*u(g) + w(g). Is f(2) a multiple of 24?
False
Suppose -o = o - 6. Suppose 0 = f - o*k - 65, -2*f = -3*k + 8*k - 174. Let b = -55 + f. Is b a multiple of 11?
True
Suppose 21*v - 11*v - 110 = 0. Let x(r) = r + 9. Is x(v) a multiple of 5?
True
Suppose -4*i + 140 - 852 = 0. Let a = i - -259. Is a a multiple of 4?
False
Suppose 0 = 59*f - 33684 - 4312. Is 28 a factor of f?
True
Let u = -49 + 51. Is (-3)/u*(-2470)/39 a multiple of 23?
False
Suppose -6*v = -v + 10. Let r = v - -5. Does 24 divide 3 + -3 + 11*r?
False
Suppose -5*a - 2 = 43. Let t(q) = q**2 + 5*q - 17. Does 8 divide t(a)?
False
Let l = -24 + 24. Suppose -901 = -4*n + 3*r, l = n - 0*n + 2*r - 228. Is n a multiple of 16?
False
Suppose -7*t + 36 = -20. Suppose -a - 2 = -2*a - 4*p, t = 4*a - p. Is 2 a factor of a?
True
Let d be (1/2)/((-3)/(-132)). Suppose 4 = 2*o + 3*p, -p = -4*o + 3*p - 12. Let j = d + o. Does 7 divide j?
True
Suppose 0 = 4*b + 5*u + 315, 2*u = -2*b + b - 75. Does 14 divide 14*((-34)/(-10) + 34/b)?
True
Let z be (2/(-5))/((-3)/(-180)). Is ((-4)/(-5))/(z/(-2940)) a multiple of 20?
False
Let s = 391 - 205. Does 31 divide s?
True
Suppose 5*o = -4*r + 11, -r + 8 = 3*o - 0*r. Suppose o*b = -u + 269 - 79, -325 = -2*u + 5*b. Is u a multiple of 12?
False
Let y(r) = -r**3 + 19*r**2 - 41*r - 1. Is 21 a factor of y(6)?
False
Let a = -46 - -87. Suppose -7*u = -16 - 411. Let x = u - a. Is 20 a factor of x?
True
Suppose 15*b + 1345 = 5485. Does 7 divide b?
False
Let n(w) be the first derivative of -w**4/2 + 2*w**3/3 - 3*w**2 - 4*w + 25. Is n(-4) a multiple of 28?
False
Let t(g) be the third derivative of -g**6/120 + g**5/10 + g**4/6 - 2*g**3/3 + 2*g**2. Let z be t(7). Is 10/z + (-64)/(-10) a multiple of 4?
False
Let i be -2*(-73)/2 - 0. Suppose -387 = 3*n + 2*x, i = -n - x - 57. Is 21 a factor of (-2)/6 + n/(-3)?
True
Suppose 4*u - 6680 = -5*v, 5*v + 2695 = 7*v - 3*u. Is 35 a factor of v?
False
Suppose -3*y = -4*y - 5*o + 1361, 5*o + 2782 = 2*y. Is y a multiple of 67?
False
Suppose -3*q + 2*q + 4 = 0. Suppose -h - 18 = -5*v, -v + 0