 Suppose -5*d + 116 = 2*v - 0*v, 5*v + 4*d - 290 = m. Does 29 divide v?
True
Suppose -10*u = -12*u + 96. Let q = -28 + u. Is q a multiple of 4?
True
Is 10 a factor of 617 + 28/8*-2?
True
Suppose -g = -t + 19, t + 37 = 4*t + g. Suppose t*w = 13*w + 136. Is w a multiple of 29?
False
Suppose -7*s = -2*s + 50. Let j be ((-2)/2)/((-5)/s). Is (12 + j)*112/20 a multiple of 16?
False
Suppose -2*r = -0*r - 2*x - 4, r - 5 = -2*x. Suppose 0 = 4*m + 4, 5*m - 6*m = r*f - 395. Let t = -72 + f. Is 20 a factor of t?
True
Let c(h) = 14*h - 4. Let t be ((-10)/(-4))/((-3)/(-6)). Is c(t) a multiple of 7?
False
Let g(x) = -2*x**2 - 8*x + 1. Let h be g(-5). Let s = 30 - h. Suppose -s = -2*o - 3*b, 4*o = 2*b + 64 + 22. Does 7 divide o?
True
Suppose -4*n - 10 = -2*x + 486, 0 = -2*x. Let v = 257 + n. Is v a multiple of 19?
True
Let u = -4 - 1. Let b be (24/(-20))/(2/u). Suppose 2*l - d + 6 = b*l, -2*d = -5*l + 37. Is l a multiple of 4?
False
Let h = 1 + 22. Suppose 6 = 3*t + 2*a, 2*a - 9 = -5*t - a. Suppose h = i - t*i. Is i a multiple of 7?
False
Suppose 150 = 2*q - 3*q - 4*r, 4*q - 2*r + 546 = 0. Let u = 6 - q. Suppose 0*t = 4*t - u. Does 12 divide t?
True
Let i be 4/(-3)*-9 - 3. Suppose l + 0*l + 15 = 5*c, 3*c - i = 3*l. Suppose -c*a + 2*n + 90 = n, 0 = -a + 2*n + 35. Does 11 divide a?
False
Let y(q) = q**3 + 7*q**2 - q + 2. Let p be y(-7). Let g(b) = -b - 7. Let d be g(-7). Suppose -4*m = -4*c - p*m + 59, -5*c - 2*m + 61 = d. Is 11 a factor of c?
True
Suppose 2*h + 0*h = 138. Let d(j) = j**3 - 17*j**2 + 14*j - 7. Let b be d(16). Let u = b + h. Is u a multiple of 25?
False
Let b(c) = 7*c**3 - 12*c**2 + 8*c + 15. Is b(5) a multiple of 10?
True
Let h(d) = -d**3 - 5*d**2 + 7*d + 8. Suppose 0*g + 2*g = t - 12, 3*g - 2*t = -18. Let v be h(g). Does 17 divide 53 + (-3 - (-2)/v)?
True
Let r(h) be the third derivative of h**5/60 - h**3/6 - 5*h**2. Let z be r(-1). Suppose 2*t = 5*t + 2*o - 35, z = t - 3*o + 3. Does 9 divide t?
True
Let r = -93 + 125. Does 16 divide r?
True
Let d(b) = 14*b**3 - b**2 + 4*b - 2. Suppose 0 = -2*f + 2, -x - 4*f + 6 = -2*f. Suppose 2*z + 2*i + x = 0, 2 = 5*z - 2*i - 9. Does 2 divide d(z)?
False
Is 15 a factor of (-32)/(-40) + (-8182)/(-10)?
False
Let t be (3 - 3) + 0 + 5. Suppose 2*l + 3*l = 3*g + 345, 0 = g - t. Does 18 divide l?
True
Let r(s) = -5*s**3 + 2*s**2 + 2*s + 1. Let m be r(-1). Suppose -m*j + 8 = -4. Suppose -2*n = 3*a - 8, 0 = 5*a + 8 + j. Is 7 a factor of n?
True
Suppose 0 = -3*v, -3*v + 2*v + 2796 = 4*g. Is 85 a factor of g?
False
Let y(x) = 114*x**2 + 2*x. Suppose 4*v = -5*z + 2*z + 13, -5*v + 14 = 3*z. Does 12 divide y(v)?
False
Let v be ((-1)/3)/((-1)/6). Let d = -7 + 12. Suppose d*a = -v + 17. Is a even?
False
Let j(v) = -v**3 + 21*v**2 + 17*v - 27. Does 24 divide j(21)?
False
Suppose -82 = -5*h + 48. Let x(g) = -g - 3. Let b be x(-6). Suppose -b*l - h = -4*l. Is l a multiple of 13?
True
Let j = -1 + -15. Let s = -28 - j. Does 30 divide (-4 + (-172)/s)*6?
False
Let r = 26 - 21. Suppose 0*o + r*o = -30. Is (36/o)/((-1)/1) a multiple of 2?
True
Suppose -2*k - 4*v + 17 = -v, -k = -4*v - 14. Is 24/k*225/18 a multiple of 10?
True
Let a(x) = -x**3 + 16*x**2 + 2*x - 22. Let o be a(16). Suppose -5*l + 5 = -o. Suppose r - 4*r = 12, 0 = l*n - 2*r - 89. Is 12 a factor of n?
False
Let h = 38 - 33. Suppose -h*f = -8*f + 6. Suppose 0 = 2*m - 4*l - l - 69, 5*l - 59 = -f*m. Is m a multiple of 11?
False
Suppose -a + 4*f + 1069 = 0, -973 = 4*a + 4*f - 5349. Is a a multiple of 9?
True
Let p(v) = -v**3 - 34*v**2 + 33*v - 316. Is 8 a factor of p(-36)?
True
Suppose c + 72 = -7*c. Let i(x) = 3*x**2 - 6. Let k be i(c). Suppose -w - k = -4*w. Is w a multiple of 14?
False
Suppose -3*q - 49 = 17. Is 25 a factor of 6 + (-4344)/(-66) - 4/q?
False
Let f = 4 + 102. Suppose -3*t = -2*q + 71, f + 11 = 3*q - t. Is q a multiple of 8?
True
Suppose -29*k + 38*k = 567. Is k a multiple of 3?
True
Let r(f) = -f**2 + 14*f + 25. Is 49 a factor of r(12)?
True
Suppose -v = 4*v - 445. Let n be (0 + v - -4) + -2. Let s = n + 8. Is s a multiple of 33?
True
Let t(o) = -o**2 - 20*o - 13. Let a be t(-19). Suppose 3*z + 396 = a*z. Suppose 2*c + 3*h = -c + 129, -4*c + 4*h = -z. Is 10 a factor of c?
False
Let k = -1247 + 1237. Let j be (0 + 2)/(-2)*1. Is (-965)/k - j/(-2) a multiple of 16?
True
Suppose -42 = -3*m - 0*m. Let o = -19 - -14. Let q = m + o. Is q a multiple of 9?
True
Let k = -61 + 101. Suppose 0*q + 4*q = 2*p - k, -72 = -3*p + 2*q. Suppose 0*j + 4*o = -3*j + p, -2*o = 2*j - 18. Does 6 divide j?
False
Suppose -3*z - z = 0. Let y = -68 + z. Let q = -32 - y. Does 12 divide q?
True
Let i = -2 + -6. Let k(t) = 1 - 4*t - 6*t + 7*t. Is k(i) a multiple of 16?
False
Suppose -3*w + 4*d + 20 = -2*w, -38 = -4*w + 2*d. Suppose w*s - 6*s = 32. Suppose 0 = 5*o - 24 - s. Is 7 a factor of o?
False
Let v(k) = k**3 - 8*k**2 - 8*k + 24. Let a be v(7). Let h = a - -125. Does 4 divide h?
True
Let r(s) = s**2 - 14. Let g be r(4). Suppose 0 = g*f + 2*f - 180. Is 15 a factor of f?
True
Let p be (-44)/(-14) + 7/(-49). Suppose -3*j - j = -p*k - 393, 0 = -4*j - 5*k + 433. Suppose 0 = h + 3, -h = d + 4*d - j. Is d a multiple of 8?
False
Let f be 160/(-25)*((5 - -2) + 3). Let b = f + 121. Is b a multiple of 21?
False
Let p(a) = -a**3 - 4*a**2 - a. Let l be p(-3). Let f = l + 8. Suppose -f = 4*s - 106. Is s a multiple of 11?
False
Suppose -d = 3*r - 37, -d - 2*r - 3*r + 43 = 0. Suppose 2*i + 9 = -z + d, 5*i + 4*z - 40 = 0. Is 5 a factor of i?
False
Let b(l) = l - 13. Let g be b(15). Suppose -d + g*d - 2 = -5*s, 2*s = -3*d + 6. Suppose 21 = -d*r + 81. Is r a multiple of 15?
True
Let v(k) = -k**3 - 17*k**2 + 13*k - 23. Let w be v(-18). Suppose -w + 571 = 9*b. Is 8 a factor of b?
True
Let n be ((-9)/(-3))/(9/60). Suppose -a - 41 = -r, 2*a = -2*a - n. Does 18 divide r?
True
Let d = -3 + 6. Let z(l) = l**3 + l + 4. Let q be z(d). Suppose 0 = -2*x + q - 10. Is x a multiple of 4?
True
Let c(g) be the third derivative of -11*g**4/12 + 49*g**3/6 + 2*g**2. Does 32 divide c(-8)?
False
Let o(h) = 64*h**2 - 2*h - 3. Let v be o(-2). Suppose -7*z + 107 = -v. Is 26 a factor of z?
True
Let x be (-70)/(-5 - (-3 - 0)). Let t = 65 - x. Is t a multiple of 10?
True
Let v be (30/25)/((-4)/(-30)). Let z = -4 + v. Is z - (-1 - -4 - 1) even?
False
Suppose -2*n - 2081 = p - 4*p, -2*n = 2. Is 21 a factor of p?
True
Suppose 5*q + 34 = 4. Let r be (34/(-4))/(3/q). Is 5 a factor of r/(-51) + (-64)/(-3)?
False
Let h(n) = -n**2 - 35*n + 15. Is 13 a factor of h(-18)?
False
Let w = -157 - -127. Does 8 divide 15/w + 118/4?
False
Let z(u) be the first derivative of u**4/4 + 2*u**3 + u - 10. Does 7 divide z(-3)?
True
Let d be (-2 + 14/6)/((-1)/(-24)). Let y be 30/8 + 2/8. Suppose 0 = y*t - d, -t - 70 - 42 = -3*m. Does 13 divide m?
False
Let g be ((-20)/(-1))/((-7)/(-7)). Suppose g = 6*o - 2*o. Suppose 0*z = -o*z + 35. Is z a multiple of 7?
True
Suppose 6 = r + 3*l, -3*r + 2*l = l + 32. Does 19 divide 1 + 65 + (-4 - (3 + r))?
False
Let d(u) = 12*u**2 + 24*u + 20. Is 75 a factor of d(8)?
False
Let x = 16 + -12. Let w(u) = -4*u - 3. Let k be w(x). Let m = k - -31. Is m a multiple of 11?
False
Let n(d) = -d**2 - 8*d + 4. Let r be 1*-3*(-176)/33. Let y = 10 - r. Is 8 a factor of n(y)?
True
Suppose -180*m = -188*m + 1824. Is m a multiple of 19?
True
Let d(f) = -f**3 + 10*f**2 + 13*f + 5. Is d(-8) a multiple of 27?
True
Let t(c) = 20*c**2 - 8*c + 141. Does 19 divide t(8)?
False
Let r be ((-5)/15)/(1/(-6)). Let w(m) = m**3 - 9 + 0 + 0*m**3 + r - 6*m**2. Is 14 a factor of w(7)?
True
Let w = -1056 - -2988. Does 23 divide w?
True
Let j(u) = -30*u + 5. Suppose -7*p + 3*p + 36 = 0. Let s be j(p). Does 11 divide (-5)/30 + s/(-6)?
True
Let s(h) = h**2 + 7*h + 4. Suppose -16 = -y + 2*y - 3*f, 0 = -4*y - 5*f - 13. Let x be s(y). Does 16 divide (x - 3)/(2/128)?
True
Is 2/(-8) - 16065/(-36) a multiple of 45?
False
Let x(u) = -u**3 - 8*u**2 - 8*u + 10. Let t be x(-7). Suppose 0 = -2*l - 179 - t. Is 13 a factor of l/((-2)/(-1) + -4)?
False
Suppose 2*p - 4*o - 28 = -6, -20 = -2*p + 5*o. Is 31 a factor of (6 - (-1735)/p) + (-2)/3?
False
Suppose j - 1 = 0, -5*j + 191 = p - 3*p. Let y = p + 139. Does 11 divide y?
False
Suppose -4*m + 3*l - 200 = -35, 4*l = -4. Let f = 46 + m. Is 2 a factor of f?
True
Let t(f) be the first derivative of -5 - 2*f**3 - 3*f**