 = -p, 3*p = -o*b + 36. Does 10 divide p?
False
Suppose -k - 8 = 3*k, 4*u + 4*k - 4 = 0. Suppose 8*n = x + u*n - 129, x - 3*n = 129. Does 13 divide x?
False
Let m(o) = 96*o - 354. Is 141 a factor of m(8)?
False
Suppose -2*l = -2*y - 30, 5*l + 13 - 96 = 3*y. Suppose 138 = h + l. Is 22 a factor of h?
False
Let g(z) = 7*z**2 + 1. Let l be g(1). Suppose 2 = -2*j + l. Suppose -j*s = -41 - 19. Is s a multiple of 10?
True
Suppose -5*h + 220 = -q, 4*q = -h - 4*h + 195. Let j(d) = 16*d - 164. Let g be j(9). Let v = h + g. Is 4 a factor of v?
False
Suppose 20*w = 12*w + 80. Does 5 divide w?
True
Suppose -5*w + 18 = -3*w. Suppose 0 = -x + 4*x + w, -3 = -h - 2*x. Suppose j = h + 2. Does 11 divide j?
True
Suppose 5*g - 167 = -3*r, 5*r - 2*g - 203 = 65. Suppose -h = 5*x - r, 4*x + 147 = 4*h + x. Does 7 divide h?
False
Suppose 6*a - 4*a + 2 = 2*h, 0 = 2*h + 4*a - 8. Let s be (-78)/(h/3*-3). Let r = s - 31. Is 2 a factor of r?
True
Suppose x - 25*q = -30*q + 725, 2*q - 1442 = -2*x. Is x a multiple of 16?
True
Suppose -x + 452 = -606. Let p = -1550 + x. Does 20 divide (1*2)/((-24)/p)?
False
Suppose -46*r + 25008 - 4078 = 0. Is r a multiple of 91?
True
Let r(n) = 6 + 2*n - 2*n**2 + n**3 - 3*n**3 - 6. Let w be r(1). Does 3 divide (4 - 3*w) + 1?
False
Suppose -2*u - 8796 = -3*s, s - 4452 = -u - 1525. Does 17 divide s?
False
Let m(s) = 3*s - 9. Let q be 1/(-7) - 345/35. Let h be m(q). Let f = -23 - h. Does 3 divide f?
False
Let d be (-10)/8 + (-57680)/(-64). Suppose 0 = -5*s + 20*s - d. Does 20 divide s?
True
Let j = 376 + -262. Is j a multiple of 3?
True
Let h(u) = 2*u**2 + u - 5. Let w be h(-5). Let o = -49 + w. Does 25 divide (-231)/o + (-12)/18?
True
Let u(r) = 138*r**2 - 3*r - 5. Does 8 divide u(-1)?
True
Let s(f) = 23*f - 132. Let k be s(6). Let n(b) be the first derivative of b**2/2 + 2*b + 1. Is 7 a factor of n(k)?
False
Let n = -34 - -86. Let s = 23 - n. Let x = 73 + s. Is x a multiple of 11?
True
Let q be 52/14 - ((-10)/35 - 0). Is q + (-98)/(-1)*(2 - 1) a multiple of 17?
True
Let g(v) = 2*v**2 - 4*v. Let m be g(3). Suppose m*w = 11*w - 15. Is 9 a factor of w*(-5)/(30/(-52))?
False
Is (529 - -1) + (9 - 17) + 13 a multiple of 4?
False
Let x = 328 - 227. Is 6 a factor of x?
False
Let j be 385/21 + 2/(-6). Suppose -j = -4*d - z, d - 3*d + 6 = 2*z. Suppose -d*g + 36 = -24. Is 12 a factor of g?
True
Let d = -13 - -13. Suppose 1 - 4 = -r - c, d = -5*r - c + 15. Suppose r*h - 120 = -h. Is 30 a factor of h?
True
Let p = 1097 + -624. Is 21 a factor of p?
False
Suppose v + 5*y = y, 40 = -3*v - 4*y. Suppose 8*l = 6*l. Does 15 divide (l + v)*51/(-34)?
True
Let s be 202/(-5) + 10/25. Let z = s - -92. Suppose -4*k = 12 - z. Is k a multiple of 9?
False
Let z(h) = -2*h + 6. Let g be z(2). Let t(f) = f - 3. Let d be t(3). Suppose d = g*c - c + 2*s - 73, -128 = -2*c + 5*s. Does 18 divide c?
False
Let n = 12 + -7. Suppose 3*j - j = 0. Suppose -n*d - 58 + 238 = j. Does 8 divide d?
False
Let a(w) = 12*w + 7. Let z(r) = 12*r + 8. Let n(y) = -6*a(y) + 5*z(y). Is n(-6) a multiple of 35?
True
Let m be (0 + (-38)/3)*3/2. Does 19 divide (-3 + -2)/(1/m)?
True
Suppose 0 = 3*i + 2*y - 1680, -13*i - 3*y - 1107 = -15*i. Is i a multiple of 16?
False
Let f(i) = 222*i + 6. Let p be f(1). Let u = p - 128. Is 20 a factor of u?
True
Suppose 0 = 7*m + 10*m - 187. Suppose m = -5*r + 101. Is 11 a factor of r?
False
Suppose 900 = -4*y + 1768. Is 3 a factor of y?
False
Let y = -12 - -16. Suppose -y*x + 10*x - 36 = 0. Is x a multiple of 6?
True
Let s = 56 - 30. Let b = -28 + s. Does 10 divide 190/b*38/(-95)?
False
Suppose -12*m + 4*m = -32. Does 22 divide (-508)/(-6) - m/(-12)?
False
Let n(j) = 65*j - 32. Let m be n(11). Let g = m - 485. Is 22 a factor of g?
True
Let l = -587 + 1006. Does 8 divide l?
False
Let u = -21 + 378. Does 17 divide u?
True
Let r = -131 - -193. Suppose 2*d + 4*b = b + r, -b = d - 30. Is d a multiple of 20?
False
Does 31 divide 8/6*((-137547)/(-6))/17?
True
Suppose 0 = -5*w - 3*h + 86, -12*w = -15*w - 5*h + 42. Is w a multiple of 6?
False
Suppose -76 = -3*i - 4*d, 0 = 3*i - 4*d - 0*d - 68. Does 10 divide 122/3 + (-16)/i?
True
Let z be ((-10)/(-18) - 1)/((-4)/18). Is 6*5 + z + 4 a multiple of 5?
False
Let o(j) = -11*j**3 - 9*j**2 - 10*j - 60. Does 19 divide o(-6)?
True
Suppose 4*a + 2 = 5*z, -6*z + 3*a - 12 = -9*z. Is 39/z*((-80)/(-6) - 2) a multiple of 29?
False
Let f be ((-14)/(-8))/(1/32). Suppose -r + f = -56. Is r a multiple of 16?
True
Let p = 92 + -104. Is (-1014)/(-8) - 3/p a multiple of 6?
False
Let y(h) = h**2 + 28*h + 50. Does 101 divide y(20)?
True
Let k = 47 + 157. Is k a multiple of 68?
True
Let h = 7701 + -4279. Is h a multiple of 59?
True
Let j = 1438 + -210. Is j a multiple of 82?
False
Suppose 7 - 15 = -2*x. Suppose -3*s = -6*u + u + 9, -x*s = -3*u + 1. Suppose -5*w + o + o = -290, 0 = -u*o. Does 27 divide w?
False
Let k be -1 + 5 - (0 + -196). Suppose -k = 7*q - 9*q. Does 25 divide q?
True
Suppose -5*f - v = -160, 4*f - 111 = -v + 18. Suppose 3*a + f = p, 169 = 2*p + 2*p + 3*a. Does 4 divide p?
True
Is (45/(-12))/((-18)/936) a multiple of 15?
True
Let y(o) be the first derivative of o**3/3 + 7*o**2 + 9*o + 12. Let w be y(-13). Does 4 divide w*(3 - (8 + 0))?
True
Suppose -4*v - 1 = 3. Let d = v + 5. Suppose m = -d*m - 3*t + 86, -2*t = m - 20. Is 14 a factor of m?
False
Let u(x) = 20*x**3 - 9*x**2 - 3*x - 6. Is u(4) a multiple of 13?
True
Let h be (0 + 1)/(-1) - (-3 + -358). Suppose -5*m = 7*m - h. Does 15 divide m?
True
Let k(d) = -20*d + 95. Does 45 divide k(-20)?
True
Let t be (20/(-4))/(-5) + 8. Suppose -t*l + 11*l = 56. Let j = -10 + l. Does 6 divide j?
True
Let s(a) = -2*a - 7. Suppose -x + 4 = -4*h - 14, -3*h - 5*x - 25 = 0. Let q be s(h). Does 5 divide (76/12)/(1/q)?
False
Suppose -3*d + s + 4*s = -95, -4*d + 3*s = -134. Suppose 4*l = -j + 24 + d, 3*l - 41 = -4*j. Does 9 divide l?
False
Let u = 11 + -8. Let x be (2 - (u + 33))*-1. Let q = -24 + x. Is q a multiple of 3?
False
Let g(f) = f**3 - 6*f**2 - 4*f + 3. Let k be g(3). Let b be (-498)/8 - 2/(-8). Let q = k - b. Does 13 divide q?
True
Let a be (0 + 0/(-2))/2. Suppose -v = a, -5*z + 2*z + 147 = -5*v. Is 22 a factor of z?
False
Let g(s) be the second derivative of s**5/20 + 2*s**4/3 + 5*s**3/6 - 5*s**2/2 + 2*s. Let l be g(-8). Let z = l - -67. Is z a multiple of 11?
True
Let r = 121 + -126. Is 11 a factor of (r/(-10)*-3)/((-1)/166)?
False
Suppose 4*o + 13 = c - 6*c, -3 = o + c. Is 13 a factor of 103 - (o + 1 - -3)?
False
Let v(a) = a**2 + 11*a + 18. Let o be v(-10). Suppose 96 + o = l. Is l a multiple of 12?
False
Let k(h) = 2*h - 6. Let t be k(0). Let x(i) = 3*i + 3. Let d(z) = 4*z + 2. Let u(m) = t*x(m) + 5*d(m). Does 4 divide u(9)?
False
Suppose -6*h + 4*h - 56 = 0. Does 18 divide 5 - 5 - (h + 2/1)?
False
Suppose 2*a - a - 3*c = 225, -5*c - 20 = 0. Suppose -2*l = 2*n + l - a, 0 = -4*l + 12. Is 19 a factor of n?
False
Let q(f) = -507*f - 6. Is 18 a factor of q(-2)?
True
Suppose -p = 3*z - 60, 0*z = -4*p - z + 251. Is p a multiple of 13?
False
Let b(z) = -z**3 - 2*z**2 - 14*z - 26. Does 13 divide b(-6)?
False
Let t(b) = -b**3 + 11*b**2 + 8*b - 4. Let z be t(10). Suppose 364 + z = 9*i. Is 12 a factor of i?
True
Suppose -n - 5 = 0, -d - 3*n = 3*d + 7. Let z = -3 + d. Let s = 7 + z. Is 4 a factor of s?
False
Suppose 34*p = 31*p + 15, -2*l + 2*p + 140 = 0. Is l a multiple of 14?
False
Suppose -2*o = -s + 41 + 10, o + 117 = 2*s. Let g = s - 36. Is g a multiple of 5?
True
Suppose 816 = 4*m - 0*j + 4*j, 811 = 4*m - j. Is 2 a factor of m?
False
Suppose 48*w - 15*w - 18414 = 0. Is 6 a factor of w?
True
Let s(f) = -5*f + 7*f - 3*f**2 + 2 + 5*f**2 + 3*f**2. Does 19 divide s(2)?
False
Let k(z) = 2*z + 2. Let x(m) = m**3 + 2*m**2 - 4*m - 2. Let l be x(-3). Let u be k(l). Suppose -3*t = 5*y - 269, u*t = -5*y + 2*t + 266. Does 6 divide y?
False
Let g be ((-5)/15)/((-2)/12). Suppose g*d + v = 3*v - 2, -2*d = v + 5. Is (d - 1) + 0 - -8 a multiple of 5?
True
Let q(m) be the third derivative of 13*m**4/8 - m**3 + 27*m**2. Is 9 a factor of q(2)?
True
Let l be (-231)/(-35) + -4 - (-6)/(-10). Suppose 2*s - 140 = -l*s. Does 7 divide s?
True
Let z be (10/(-3))/(8/(-12)). Suppose z*t = 426 + 214. Let i = -90 + t. Is i a multiple of 38?
True
Let s be (2 - 2) + 0/2. Let b(p) = s - 73*p + 2 + 19*p. Is 14 a factor of b(-