j + 533 = -27*j, -253 = -2*m + 3*j. Is m a multiple of 2?
False
Let d(o) = -82*o - 51. Does 14 divide d(-4)?
False
Suppose 0 = -k + 13 + 9. Is 8/44 - (-348)/k a multiple of 8?
True
Let m = -22 + 24. Let r be m/(-4)*-4 + 122. Let b = r + -60. Is 16 a factor of b?
True
Let b = 53 + -49. Suppose -b*h = 2*c - 650, -582 = -5*h - 5*c + 243. Is 10 a factor of h?
True
Let m = 22 + -12. Let x = m - 6. Suppose p + 56 = x*f, 4*f - 2*p + 0 - 52 = 0. Is 9 a factor of f?
False
Let b = -25 - -61. Suppose 0 = 2*h - 4*z - 22, 0 = 2*h - h - 3*z - 13. Let n = b - h. Is 12 a factor of n?
False
Suppose -3*w + 20 = w. Suppose w*u - 2*u + z = -4, u + 4 = -3*z. Is 12 a factor of (u/(-3))/((-1)/(-36))?
True
Let m(x) = x**2 + 2*x - 6. Suppose 3*d - 4*o + 2*o - 14 = 0, 34 = 3*d + 2*o. Is m(d) a multiple of 23?
False
Let k(x) = -x**2 - 10*x + 12. Let d be k(-11). Let w be (-236)/6 - d/(-3). Let n = w - -57. Does 5 divide n?
False
Let n be -3*(48/(-9) - -2). Let b = 2 + n. Suppose -3*a - b = -48. Does 3 divide a?
True
Is 9 a factor of 4/10 - (-358)/5?
True
Let u(s) = 6*s**2 - 28*s - 119. Is u(-4) a multiple of 2?
False
Let o be 2/(-6) - (-320)/60. Suppose r + 5*b - 141 = 0, o*r - 4*b = -267 + 1117. Does 30 divide r?
False
Let g be (1 + 3 - 4) + -10. Let u(h) = -h + 11. Let b(l) = -2. Let c(z) = g*b(z) - 2*u(z). Is 6 a factor of c(16)?
True
Let j be (-17)/3 - (-4)/(-12). Let s = j - -3. Is 24 a factor of ((-30)/(-25))/(s/(-180))?
True
Let r be (1*(-3 + 0))/((-36)/168). Suppose -6*c = -r*c + 1424. Does 57 divide c?
False
Suppose -4*k = k - 20. Let i(g) = 5*g**2 + 3*g - 3 - k + 3 - 2*g**2. Is i(-4) a multiple of 9?
False
Let g(v) = v**2 + 17*v + 32. Let j(h) = -h - 11. Let b be j(6). Is g(b) a multiple of 16?
True
Let b(m) = -307*m - 38. Is b(-2) even?
True
Suppose 4*o - 12 = 0, 5*n - 25*o + 21*o = 483. Is n a multiple of 65?
False
Let t = 2550 - 677. Is t a multiple of 61?
False
Let i be (-8 - -5) + -1 + 4. Suppose -y + 2*u = -12, -3*y + 0*u + u + 61 = i. Is 11 a factor of y?
True
Let r = -4 - -8. Let i be (r/5)/(2/10). Suppose a - i*n = 30, -3*a + 4*n - 30 = -4*a. Does 15 divide a?
True
Let l = 2 - 2. Suppose -4*h = -z - 17, 3*h - 10 + 1 = -3*z. Suppose -p + h + 15 = l. Does 14 divide p?
False
Let d(y) = y + 24. Is 10 a factor of d(-4)?
True
Is (828/15)/(-2)*(-80)/12 a multiple of 92?
True
Let i(o) = -o**2 + 4*o + 5. Let g be i(0). Suppose -4*w = 4*v - 206 - 18, 0 = g*v - 2*w - 252. Is v a multiple of 16?
False
Suppose 2*v + 0*v = 32. Let o be v/2*(-15)/20. Is o*((-26)/6 + 3) a multiple of 7?
False
Suppose -31*q + 1008 = -17*q. Is 21 a factor of q?
False
Let n(y) = y**3 - 18*y**2 - 17*y + 18. Let f(h) = -3*h - 2. Let o be f(-7). Does 8 divide n(o)?
True
Suppose -3*k + 89 - 32 = 0. Is 14 a factor of k?
False
Is 25 a factor of (-10)/((-810)/8109) + (-3)/27?
True
Let z = 899 + -619. Suppose -9*c + z = -7*c. Is c a multiple of 28?
True
Is 10 a factor of 817 + 24/(6 + -2)?
False
Let u be (10/4)/((-4)/(-2584)). Let j be (-2)/12 + u/(-30). Let z = 90 + j. Is 18 a factor of z?
True
Let c be (-1 - 1)/(-6) - (-4645)/15. Suppose c = 3*s + 85. Is s a multiple of 35?
False
Does 13 divide (1054/(-124))/(2/(-428))?
False
Suppose -4*d + 483 + 93 = 0. Suppose -4*i + d = -r, -2*i - 2 = -r - 76. Is i a multiple of 19?
False
Suppose 10*c = 27*c - 53686. Is c a multiple of 11?
False
Suppose 0*q = q - 4, 0 = -p - 3*q + 14. Suppose 6 = -t + 3*h, -3*t - 2*t + 21 = p*h. Is t*8/(-12)*-26 a multiple of 12?
False
Let n(k) = 4*k**3 - 4*k**2 + 2*k - 2. Let v be n(3). Suppose -5*m + v = y + 14, -y + 5*m = -52. Does 19 divide y?
True
Suppose -479 + 3229 = 25*t. Does 33 divide t?
False
Let y(a) = -5*a + 15. Suppose 3*t - 1 = 2*p + 3, -2*t + 4 = -p. Let m(r) = -9*r + 31. Let h(g) = p*m(g) - 7*y(g). Is h(9) a multiple of 5?
True
Let c be 16/24 - (-14)/6. Suppose -5*u = 5, l = c*u - 7 + 26. Suppose 11*d + 190 = l*d. Is d a multiple of 15?
False
Suppose d - 5 = 3*j, -3*j + 13 = 5*d - 6*j. Suppose 0 = -d*x - 3*x + 385. Is x a multiple of 21?
False
Suppose 0 = -4*h - 3*c + 4, 3*c + c = h - 20. Does 9 divide (-7548)/(-132) + h/(-22)?
False
Let d(a) = -3*a + 3. Let t be d(-6). Let u = t + -17. Is u a multiple of 4?
True
Let i(g) = 80*g**2 - 5*g - 5. Let z be i(-1). Suppose 88 = 2*c - z. Is c a multiple of 12?
True
Let k(d) = -11*d**2 - 12*d - 7. Let u(z) = 4*z**2 + 4*z + 2. Let c(x) = -3*k(x) - 8*u(x). Suppose -m + 6 = -2*m. Is c(m) a multiple of 17?
True
Let u be (-8832)/(-108) + (8/9)/4. Suppose -4*n - u = -5*n. Is n a multiple of 38?
False
Let j(s) = -s**2 + 17*s + 7. Let f be 0 - 38 - (0 - -1). Let u = -27 - f. Is j(u) a multiple of 16?
False
Let m(g) = g**2 - 2*g - 5. Suppose 10*c - 13*c + 9 = 0. Suppose c*h - 41 = -5*u, 3*u - 18 = -3*h - h. Does 25 divide m(u)?
True
Let y(j) = j**2 + 5*j + 26. Does 40 divide y(-7)?
True
Suppose -t - 2 = g - 0*g, 19 = 3*g - 2*t. Suppose 0 = g*d - 142 - 560. Is d a multiple of 13?
True
Let d(x) = 1 - 4*x**2 - 1 + x**3 - 5 + 0*x**3 + 2 + x. Suppose -3*m + 8 = a - 6*m, -3*m = -3*a + 18. Does 5 divide d(a)?
False
Let y = 15 + -13. Suppose 4*w - 2*d + 1 = 25, 8 = 4*w + y*d. Suppose -2*n - 2*m + 120 = 0, -3*n + w*m = 5*m - 176. Is 16 a factor of n?
False
Let j(g) = 3*g**2 - 1. Let l be j(1). Suppose 0 = 3*c + i - l*i - 240, 3*c + 5*i - 240 = 0. Suppose 11*d - 15*d = -c. Is d a multiple of 10?
True
Let c(v) = v**2 - 4*v. Suppose 5*z - 2*q - 150 = 0, 0*z + 2*z + q - 60 = 0. Suppose z = -u - 4*u. Does 20 divide c(u)?
True
Suppose -j - 515 = -5*k, 4*k + k - 15 = 0. Is 6/5*j/(-12) a multiple of 10?
True
Let z(y) = y - 1. Let i = -1 + 6. Let c be z(i). Suppose 3*t - 30 = -g + 11, 4*t - 124 = -c*g. Is g a multiple of 13?
True
Suppose 5*c = -0*c - 45. Let h(b) = -20*b. Let g be h(c). Suppose -2*v + 36 = -v + 4*k, -4*k + g = 5*v. Does 6 divide v?
True
Suppose -s = -5*w - 73, -s - 5*w + 59 = -3*w. Let j = 41 + s. Is 12 a factor of j?
False
Suppose 0*a + 8*a = 112. Is 16*a*(-2)/(-16) a multiple of 28?
True
Let c(x) = 12*x**2 + x - 1. Let n be c(-3). Suppose 3*z = 5*l - 162, 3*l + 4*z - 43 - 60 = 0. Let w = n - l. Does 28 divide w?
False
Let n(z) = z**3 + 8*z**2 - 11*z - 6. Let q(a) = -a**3 + 7*a**2 + 6*a + 3. Let g be q(7). Suppose 4*c = -c - g. Does 2 divide n(c)?
True
Let n = -918 - -2036. Is n a multiple of 11?
False
Is 15 a factor of ((-180)/(-8))/(2/((-8)/(-3)))?
True
Let p(x) = 4*x + 10. Let u(q) = -9*q - 20. Let k(w) = 7*p(w) + 3*u(w). Let c be k(-9). Is c*(-5 + 2 + 72) a multiple of 22?
False
Let d(h) = -2*h**2 - 4*h - 4. Let l be d(-5). Is 15 a factor of (-4 - -7) + l/(-1)?
False
Let f = -2 - -5. Suppose n = -5*r + 17, -5*n = 5*r - f - 22. Suppose -4*o + 58 = -n*o. Does 6 divide o?
False
Let k(u) = -2*u**2 + 17*u + 5. Let z be k(-4). Suppose -4*p = 3*x + 233, -p - 2*x = -4*p - 162. Let h = p - z. Is 13 a factor of h?
True
Let r be (-2 + -70)/(-4) - 8/(-2). Let n(j) = -7*j + 1. Let i be n(1). Let k = r + i. Is k a multiple of 8?
True
Let o = 1081 - 809. Does 4 divide o?
True
Suppose -10*r + 3*r = -602. Is r a multiple of 9?
False
Suppose 2208 = 5*w + w. Suppose w = -i + 5*i. Does 25 divide i?
False
Let b(s) = 239*s**2 - 14*s + 33. Is 7 a factor of b(3)?
True
Suppose -5*s + 4*c = 15 - 40, -2*c - 10 = 0. Let a(q) = 27*q**3 + 2*q**2 + q - 2. Is 14 a factor of a(s)?
True
Let a = -18 - -31. Let y = a + 14. Is y a multiple of 3?
True
Suppose -t - 7 - 20 = 0. Let s be (-6)/t + (-94)/18. Does 29 divide 29/(-1)*(s - -2)?
True
Let n(f) = -17*f + 6. Suppose -4*w = -7*w - 165. Let m(p) = -154*p + 55. Let o(u) = w*n(u) + 6*m(u). Is 11 a factor of o(6)?
True
Let r(f) = f + 17. Let z be r(-14). Suppose 3*i + 306 = 3*a, z*i = 4*a - 405 - 6. Is a a multiple of 11?
False
Is 12 a factor of 1/6*9*68?
False
Suppose 5*c - 25 = 115. Suppose -3*r = -t - 4*t - 5, -11 = -3*r + 2*t. Suppose r*w - 218 = -c. Is 38 a factor of w?
True
Let f = 2295 - 751. Does 8 divide f?
True
Let g(r) = 11*r**3 - 14*r**2 - 35*r + 5. Let i(d) = 4*d**3 - 5*d**2 - 12*d + 2. Let u(n) = 6*g(n) - 17*i(n). Is 32 a factor of u(-4)?
False
Suppose j - 5*u = -3*j + 4185, j = -4*u + 1062. Does 42 divide j?
True
Let w(b) be the second derivative of -b**6/360 - 3*b**5/20 - 5*b**4/8 + 2*b**3/3 + 2*b. Let g(h) be the second derivative of w(h). Does 16 divide g(-13)?
False
Does 27 divide (12/(-7))/((-3)/378)?
True
Let b(c) = 9*c - 47. Is 17 