 - -26. Is i a multiple of 11?
True
Let s(l) = -l**2 - 9*l + 17. Let v be s(-10). Suppose v*r - 11*r = -20. Suppose -y - 2 = -r, -2*w = -2*y - 154. Is 20 a factor of w?
True
Let m(r) = -49*r + 15. Let q be m(-10). Suppose -4*o = 57 - q. Does 14 divide o?
True
Let w(l) = 22*l + 448. Is w(-9) a multiple of 2?
True
Let m(u) = u**2 + 36*u + 234. Does 13 divide m(-39)?
True
Let f be 4/(-3)*(-4)/(8/6). Suppose -34 = -f*c - 2. Is c a multiple of 2?
True
Suppose 15 = 3*o + 6. Does 9 divide 12/(-1 - o) - -57?
True
Let m(c) = -c**3 + 30*c**2 + 105. Is m(30) a multiple of 21?
True
Let w(r) = 16*r + 11. Let g be w(-7). Let s = -60 - g. Is 10 a factor of s?
False
Let g = -26 - -70. Does 55 divide (275/44)/(1/g)?
True
Suppose 2*y + 15 = 7*y. Suppose g + 15 = 4*l, 2*g + y*g - 5*l = -15. Is 6 a factor of g + -1 + 1 + 5?
True
Let m be 2/4*(-31 - -37). Suppose 3*i = -3*l + 159, -m*l - 109 = -3*i + 74. Is i a multiple of 8?
False
Let n be -10 + 10 - 1*-8. Suppose -360 = n*s - 13*s. Does 18 divide s?
True
Let h(z) = 8*z**2 - 6*z - 4. Let f(d) = -d + 4. Let a be f(6). Is h(a) a multiple of 19?
False
Let s = 11 + -11. Suppose v + v - 234 = s. Suppose -25 + v = 2*c. Is c a multiple of 24?
False
Let g(l) = 11*l + 4. Let h(c) = -c + 1. Let t(o) = -g(o) + 5*h(o). Let f = -5 + 3. Does 9 divide t(f)?
False
Suppose 4*j - 99 = 41. Let s = -12 + j. Is s a multiple of 6?
False
Let z = -209 + 455. Is 3 a factor of z?
True
Let w(n) = -299*n**3 - n**2 - 5*n - 3. Does 30 divide w(-1)?
True
Let m(v) = -v**2 - 13*v + 26. Is 6 a factor of m(-14)?
True
Does 13 divide (-13)/(95/(-171) - (-2)/9)?
True
Let o(r) = r**3 + 4*r**2 - 2*r - 6. Let t be o(-4). Suppose -d + 4*g = d + 8, -g = -2*d - t. Suppose d = -5*u + 78 + 72. Is u a multiple of 6?
True
Let k(j) = 10 - 6*j + 7*j + j**3 + 11*j**2 + 0. Let y be k(-11). Is 10 a factor of (42 - y) + (-21)/7?
True
Suppose -4*u + 74 = -550. Suppose x - 9 = u. Is 19 a factor of x?
False
Let d(a) = 17*a**2 + a - 1. Let q be d(1). Suppose -5*v - q - 3 = 0. Let x(w) = -10*w - 3. Is 10 a factor of x(v)?
False
Suppose -28 = 2*v - 2*r, v + 9*r - 4*r = -20. Does 11 divide (264/9)/(-2)*v/2?
True
Let y be 15/(-5) + 0 + 509. Let n = y - 287. Suppose 3*f - n = 5*c, 3*f - 216 = -0*f + 4*c. Is f a multiple of 17?
True
Let z be 3/2*(-20)/(-5). Suppose -a + z*a - 4*x - 16 = 0, -3*a = -2*x - 8. Suppose 4*q = 3*o - 62, a = -o - o + 5*q + 53. Does 11 divide o?
False
Suppose 1 = -3*b + j, b - j - 1 = -0*j. Let z = 2 + b. Is 8 a factor of 2 + z + -1 - -29?
False
Suppose 35*p + 5136 = 38*p. Is 67 a factor of p?
False
Does 19 divide -6 - ((-843)/(-6))/((-5)/80)?
True
Suppose -2*c + 1208 = -4*a, 0 = -4*c - a + 1420 + 1023. Is c a multiple of 122?
True
Let m(p) = p**2 + 2*p - 7. Let g be m(-6). Let q(c) = -c**2 - c + c + c**3 + g. Does 16 divide q(0)?
False
Let z = -8 - -9. Let p(j) = -19*j**2 + j. Let k be p(z). Let h = 30 + k. Does 12 divide h?
True
Let z be -44 - (1 + -2 - 0). Let v(s) = -26*s**2 + 6*s + 9. Let q be v(-2). Let i = z - q. Does 16 divide i?
True
Let d(n) be the third derivative of 3/20*n**5 + 0 - 1/2*n**3 + 1/120*n**6 + 8*n**2 + 0*n + 13/24*n**4. Does 6 divide d(-4)?
False
Let l(v) = v**2 + 12*v - 1. Let a be ((-6)/(-5))/3*-40. Does 16 divide l(a)?
False
Is (53/2 + 2)/((-51)/(-340)) a multiple of 11?
False
Suppose 2*m - 110 = -9*i + 4*i, 5*i - 130 = 2*m. Is i a multiple of 12?
True
Let u be 24/15*105/(-6). Is ((-7)/u)/(((-6)/(-568))/3) a multiple of 12?
False
Let z(o) = -o**3. Let i(h) = 4*h**3 + 6*h**2 - 4*h - 1. Let n be (-4)/(-14) + 363/77. Let m(y) = n*z(y) + i(y). Is 15 a factor of m(4)?
True
Suppose -h + 5 = 4*h. Suppose 39 = 5*m - 2*q + h, 0 = -m - 2*q + 10. Let g = 5 + m. Is 2 a factor of g?
False
Let z = 125 + -8. Suppose 7*c + z = 10*c. Is 3 a factor of c?
True
Suppose 8*v + 288 = 12*v. Is v a multiple of 18?
True
Suppose -4*v = 4*f - 1269 - 275, -3*f = -3*v - 1146. Is 8 a factor of f?
True
Let a(f) = 6 + 2*f**2 + 10*f**2 + 1 - 9 - 3*f. Does 18 divide a(-3)?
False
Let z(c) = -509*c**3 - c**2 - c. Let h be z(-1). Suppose -h = -5*u + 366. Suppose 2*g - u = 2*x - 7*x, 5*x = 15. Is 12 a factor of g?
False
Suppose 3*a + 2 = 4*v, 4*v - 4*a = -5*a + 10. Suppose 5 = 5*f - 10. Suppose 0 = -4*h - v*d + 238, -2*h = -f*d - 43 - 64. Is h a multiple of 10?
False
Let j = 5 + -3. Suppose n = j*n - 5. Suppose n*w + 5*o - 5 = 0, -o - 19 = -0*w - 4*w. Is w a multiple of 3?
False
Let k(j) = 7*j + 32. Let y be k(-7). Let p = 29 - y. Does 9 divide p?
False
Suppose -t = -0*t - 2, 0 = 2*i + t - 42. Is 12 a factor of i?
False
Let a = 116 + -66. Suppose -3*o = 2*o - a. Suppose 0 = 5*g - o*g + 55. Does 3 divide g?
False
Let w(a) = 1 - 3 + 0*a**2 + 0*a + a + a**2. Suppose -2*z - 2 = 2*q + 2*q, q = -3. Is 14 a factor of w(z)?
True
Let y(x) = -x**2 + 9*x + 1. Let c be y(10). Is 1764/81 + (-2)/c a multiple of 10?
False
Suppose 11*a + 1839 = 5722. Is 14 a factor of a?
False
Let z(v) = 68*v**2 + 2*v - 2. Let g be z(1). Does 18 divide (g/(-3))/(4/(-6))?
False
Suppose 2*l + 0*l = -20. Let d = l + 29. Does 19 divide d?
True
Let a(b) = b**2 - 5*b + 66. Is 12 a factor of a(-37)?
True
Suppose 0 + 60 = 4*o + 3*x, 0 = 4*o - 3*x - 60. Does 7 divide o?
False
Let a = -42 + 48. Suppose 5*m = -3*j + 6*j + 26, 3*m + 3*j = a. Does 4 divide m?
True
Let d = 12 - 12. Suppose 4*o + f = 327, d = -2*o - 0*f + f + 159. Is o a multiple of 27?
True
Let k be (-4 + (8 - 4))/(-2). Suppose -z - 4*w = -k*z - 56, 5*z = -5*w + 265. Is z/2 - (-8 + 10) a multiple of 6?
True
Suppose -333 + 17 = -2*g. Let u = g + -11. Is u a multiple of 29?
False
Suppose 0 = 7*z - 3*z - 4. Suppose 0 = -b - z + 3. Suppose 0*t + b*t = 26. Does 3 divide t?
False
Let l = -48 + 47. Is l + (2 - 3)*-43 a multiple of 21?
True
Suppose -4*t - 3 - 26 = -3*s, 5*s = -2*t + 5. Suppose 0 = -s*o - 3*g + 147, 2*o - 172 + 58 = 2*g. Is 53 a factor of o?
True
Suppose -4*f + 5 = -5*f. Let k(c) = c**3 + 6*c**2 - 2*c + 7. Let p be k(f). Suppose 5*y - p - 3 = 0. Is y a multiple of 4?
False
Let o = 368 - -18. Is 4 a factor of o?
False
Let u(b) = b**3 + 3*b**2 - 6*b - 7. Let v be u(-3). Suppose v*r = 8*r + 453. Is 18 a factor of r?
False
Suppose -2*y + 4*o + 476 = 2*y, -119 = -y - o. Suppose 73 = 4*k - y. Does 24 divide k?
True
Suppose 24 = 10*t - 2*t. Does 8 divide (t - 19)*(-6)/4?
True
Let b = -141 + 330. Is 21 a factor of b?
True
Suppose -3*q = -8*q - 4*b + 707, b = -5*q + 713. Suppose 5*z + q = 4*g, 3*g + 2*z - 5*z - 108 = 0. Is g a multiple of 17?
False
Let h(a) = -6*a. Let z be h(-1). Suppose -r = -z + 2, -2*r + 1168 = 4*w. Does 58 divide w?
True
Let h = -129 + 126. Is (142 - (-6)/3)*h/(-6) a multiple of 24?
True
Let m(f) be the second derivative of f**4/12 + 2*f**3/3 - 5*f**2/2 + 5*f. Is m(6) a multiple of 11?
True
Let c = -17 - -17. Is 8 a factor of (0 + -43)*(c - 1)?
False
Suppose 8*d - d = 1715. Suppose -y + 8*y - d = 0. Does 7 divide y?
True
Let s be (-6)/(6*1/(-20)). Let o be 4/10 + 3832/s. Suppose 2*z - o = -4*z. Is 16 a factor of z?
True
Suppose 5*q = 3*m + 97, 2*m = -3*q - 3*m + 31. Suppose -13 = -n + 5*g, 0*n - g - 5 = -n. Let u = q - n. Does 14 divide u?
True
Suppose -k - 4*d = -7*d - 201, 4*d = k - 204. Is 5 a factor of k?
False
Let y be 9/2 + (-5)/10. Suppose 0 = -y*n + 5*n - 104. Does 26 divide n?
True
Suppose 0*w + w - 4*q = 15, 0 = -4*w + 2*q + 32. Let m = 330 + -274. Suppose 3*j + m = w*j. Does 7 divide j?
True
Is (57/(-5))/(30/(-200)) a multiple of 4?
True
Suppose 0 = -4*w - 12 - 8, -x - 4*w = 36. Does 3 divide (-172)/x + (-3)/(-12)?
False
Suppose -113 + 579 = 5*c - 4*y, -262 = -3*c - 2*y. Is c a multiple of 10?
True
Suppose -9*h - 520 = -h. Let i = h + 166. Is 37 a factor of i?
False
Suppose 6*j - 39 - 27 = 0. Suppose -j - 49 = -o. Does 47 divide o?
False
Let n(s) = -4*s. Let i(r) = r**3 + 16*r**2 + 14*r - 13. Let x be i(-15). Suppose 4*z - 4*j + 34 = -z, -3*z + x*j = 20. Does 7 divide n(z)?
False
Let p be ((-738)/(-36))/(2/(-4) + 0). Let r = -24 - p. Is 5 a factor of r?
False
Let o be ((-10)/4)/((-5)/12). Let v be (-8)/o*15/(-2). Let d = 40 - v. Does 10 divide d?
True
Suppose -s = -g - 71, -g = -5*s - 2*g + 337. Suppose 2 = 5*b - s. Is 10 a factor of b?
False
Suppose -16*j - q = -15*j - 61, -134 = -2*j + 2*q. Does 25 divide j?
False
Suppose 4*w + 82 = -3*o, w + 38 = -o - 3*w. Let k = 25 + o. Suppose -30 = 2*h - k*h. Is 15 