le of 12?
False
Let o(i) = -3*i + i**3 + 4*i**2 + 2*i + 2*i - 5 + 2*i**2. Is o(-4) a multiple of 11?
False
Let k be (13*-2 - 1)/(-1). Let b = -15 + k. Is 4 a factor of b?
True
Let o = -65 + 9. Suppose 4*t + 49 = 3*w + 121, -4*t = -5*w - 120. Let n = w - o. Does 11 divide n?
False
Let f be (-1 - 1) + (18 - 4). Does 2 divide f/(-4)*(-2)/3?
True
Suppose -50 = -4*f + 82. Does 19 divide f?
False
Does 4 divide (2 - 1)/(4/80)?
True
Suppose 108 = -2*t + 6*t. Does 27 divide t?
True
Let d be 9 - 3*4/6. Suppose g - d = 17. Is g a multiple of 14?
False
Let r(u) = 3*u + 12. Let h(s) = -s. Let x(v) = 4*h(v) + r(v). Is 3 a factor of x(9)?
True
Let g = 79 + -72. Let l(p) = 8*p + 9 + 1 + p. Is l(g) a multiple of 19?
False
Suppose -w = -5*q + 376, 0 = -6*q + 2*q - 5*w + 324. Is q a multiple of 32?
False
Suppose -3*j + 9 = 0, 5*o - 1 = -2*j + 5*j. Suppose 12 = o*n - 24. Does 13 divide n?
False
Is 3 - ((4 - 41) + -4) a multiple of 11?
True
Let l(d) = 9*d**2 + 2*d - 1. Is l(-2) a multiple of 11?
False
Let h(o) = -o + 28. Is 5 a factor of h(9)?
False
Let a = 15 - 14. Does 14 divide 1/((-4)/(-152)*a)?
False
Suppose 2*i - 21 = -9. Does 3 divide i?
True
Let h(d) = 7*d**2 + d**3 - 2*d**3 - 3 - d + 0*d**2. Suppose 4*c - r = -9 + 26, -3*r = -3*c + 15. Is 21 a factor of h(c)?
False
Suppose -h - h + 140 = 0. Is 10 a factor of h?
True
Let j be 6 + 5/((-15)/6). Suppose -j*p - 35 = -2*b + p, -15 = -5*p. Is b a multiple of 25?
True
Let q = -4 + 3. Let z be 6*q*3/(-6). Does 11 divide 31/z + (-10)/(-15)?
True
Let o = 21 - 22. Let h = o + 31. Is 9 a factor of h?
False
Suppose n = 3*v - 182, -5*v + 5*n = n - 301. Let i be (-34 + 2)*2/2. Let k = i + v. Is 10 a factor of k?
False
Does 21 divide 68 + (-2)/14 + (-2)/(-14)?
False
Suppose -3 = 2*l - 13. Suppose 4*z - 225 = -l*j + 25, -4*j = -5*z - 200. Is j a multiple of 25?
True
Let s(n) = 0*n**3 - 7*n**3 - 2*n**3 - 8*n**3 - n. Suppose -2*h = -5*p - 11, -p - 3*h + 14 = -6*p. Is 5 a factor of s(p)?
False
Let c = -1 + 3. Suppose 5*t = 2*v + 4, c*v - 10 = t + 2. Is v a multiple of 5?
False
Let o = -15 - -42. Is 9 a factor of o?
True
Suppose z = 6*z + 60. Let q = 2 + -26. Let i = z - q. Is i a multiple of 6?
True
Let c(r) be the third derivative of r**5/30 - 5*r**4/8 + r**3/3 - 8*r**2. Is 16 a factor of c(10)?
False
Is 5 a factor of 2 + -5 + 0 + 14?
False
Let c be 2/4*(-70)/7. Let z(m) = m**3 + 4*m**2 - 6*m. Let l be z(c). Suppose 0*r + 2*r - l*u - 43 = 0, 3*u + 9 = 0. Is r a multiple of 7?
True
Let n be (-9)/(-2) + 9/(-6). Suppose 0 = -n*i + 2*d + 26, 3*i - 18 = -2*i - 3*d. Does 6 divide i?
True
Let w be 1/(-1 - 0) + 5. Suppose 0 = 4*s - w*q - 195 - 69, -s = 2*q - 51. Let j = -39 + s. Does 22 divide j?
True
Is 21 a factor of ((-1)/(-1))/(1/72)?
False
Let t = 4 + -10. Is 8 a factor of 24/(-5)*(t + 1)?
True
Suppose a - 32 = 5*o, 4*a + o + 2*o - 13 = 0. Suppose -2*d - a = -n, 5*n - 7*d + 2*d - 35 = 0. Is -1*2 - (-70)/n a multiple of 4?
True
Suppose -5*q = -25 - 75. Suppose -66 = -4*b + 3*o, -3*o - 2*o = 2*b - q. Is b a multiple of 6?
False
Let t be 2/(-5) - (-7)/5. Suppose 0*i - i + 12 = 3*o, -o + 29 = 2*i. Suppose -2*r = -i + t. Does 7 divide r?
True
Does 3 divide 12/9*54/4?
True
Suppose 4*g - 423 = 25. Does 8 divide g?
True
Let k(h) = h**3 + 4*h**2 + 3. Let z be k(-4). Suppose 7 = -q + 2*q. Suppose -4*n + 9*n + 41 = 4*d, -z*d - n + q = 0. Is d a multiple of 4?
True
Let p be 0/(4/2) - -7. Suppose 4*k + p - 79 = 0. Is k a multiple of 9?
True
Let v = 43 - 27. Let h = v - -10. Is h a multiple of 10?
False
Let r(a) = -a**2 - 6*a. Let x be r(-6). Suppose x = -j - 2*j + 108. Is j a multiple of 12?
True
Let a = 7 + -3. Let l(z) = z - 2 - 3*z - z**2 - 1 + 8*z. Is l(a) a multiple of 5?
True
Let l(q) be the third derivative of q**6/30 - q**5/30 - q**4/12 + 2*q**2. Is l(2) a multiple of 20?
True
Suppose 5*x + 15 - 100 = 0. Suppose c - y - x = y, 4*c - 16 = -5*y. Is 3 a factor of c?
True
Let o(k) = 59*k - 25. Is 22 a factor of o(4)?
False
Let v = 134 + -79. Let t = v + -113. Let p = t + 84. Is p a multiple of 12?
False
Suppose -o + 19 = 6. Suppose -b + 2*b = o. Does 6 divide b?
False
Suppose 19 = p + 5*n, 4*p + n + n - 40 = 0. Does 3 divide p?
True
Suppose 3*c = -1 - 2. Let y be 2 + (-6)/(-3)*c. Let f(z) = -z**2 - z + 6. Is 5 a factor of f(y)?
False
Let s = -5 - -10. Let w = s - 3. Suppose 60 = -w*r + 7*r. Does 6 divide r?
True
Let x(i) = i**2 - 5*i - 8. Is 19 a factor of x(12)?
True
Let u(a) = 21*a - 23. Is 6 a factor of u(2)?
False
Let z(v) = 2*v + 16. Is z(4) a multiple of 6?
True
Let f(x) = -x**2 - 33*x - 2. Does 40 divide f(-11)?
True
Let t = 8 + -8. Suppose t = 3*m + m - 20. Suppose -m*f - 3*g = -61, f + 3*f + 4*g - 44 = 0. Is 7 a factor of f?
True
Let q = 38 + -25. Is q a multiple of 4?
False
Let z = -24 - -42. Is z a multiple of 17?
False
Let y be -6 + (4 + 0 - 8). Let u = y - -14. Does 3 divide u?
False
Let s be 448/24 - (-4)/(-6). Let j = -13 + s. Suppose j*d - 4*y = 3*d + 30, 3*d + y = 31. Does 5 divide d?
False
Suppose -6 - 4 = 2*a. Let p be 31/(0 - (-5 + 4)). Let w = p - a. Is w a multiple of 15?
False
Let y(m) = -m + 6. Let k be y(6). Let t(g) = -g**3 + k*g**3 - 5*g**2 - 3*g + 0*g**2 + 4. Is t(-5) a multiple of 10?
False
Let q be (2 + -1)/((-2)/20). Is q/(-4)*(-260)/(-25) a multiple of 18?
False
Let b(r) be the first derivative of 20*r**3/3 + r**2 - r + 1. Suppose -16 = -4*a, y + y - 10 = -2*a. Is b(y) a multiple of 11?
False
Suppose -5*s = -s - 76. Suppose -s = i - 55. Is i a multiple of 9?
True
Suppose -b = 3*i - 37, -3 = -0*b - 3*b. Is i a multiple of 6?
True
Suppose 2*d + 10 - 2 = 0. Is 10 a factor of (105/(-20))/(1/d)?
False
Suppose 4*l + 4 = 6*l. Suppose 3*x - l*x - 12 = 0. Is x a multiple of 4?
True
Let f be 3 - (4 + -4 + 1). Suppose -4 - 30 = -f*j. Does 7 divide j?
False
Let o be (30/4)/(-5)*-54. Suppose -3*l + o = -96. Is l a multiple of 16?
False
Let o(k) = -1 - 3 - 9*k + 3. Is 13 a factor of o(-2)?
False
Let j(o) = 4*o - 2. Suppose 3*p - 2*w = 22, -5*p - 3*w + 35 = -6*w. Let s = p - 2. Is 6 a factor of j(s)?
True
Suppose -9*o = -662 - 562. Is 17 a factor of o?
True
Let w(k) = 5*k**2 + k - 2. Let s be w(1). Suppose s*f = -n + 30, -7*n = -2*n - f - 150. Does 15 divide n?
True
Suppose 0 - 3 = 3*r. Let o(g) = g**2 + 9*g + 3. Let k be o(-9). Is 0 + (21/k - r) a multiple of 8?
True
Suppose 12 = 5*g - 3. Does 3 divide g?
True
Suppose -x + 0*x = 0. Suppose 2*r - 2 = 0, -2*z + 4*r + 32 - 222 = x. Let l = z + 136. Is l a multiple of 17?
False
Suppose -5*c - 2*u - 2*u = -18, -3*c - u = -15. Suppose -m + b + 11 = -2*m, -c = m + 2*b. Is (m/(-6))/(2/6) a multiple of 8?
True
Is 66 + (1 - 3) - 1 a multiple of 10?
False
Suppose -2*r + 51 = 5. Does 20 divide r?
False
Let m(z) = -z**3 + 11*z**2 - 10*z. Let u be m(10). Let o(i) = i**2 - 7*i + 8. Let q be o(6). Let w = q + u. Is 2 a factor of w?
True
Suppose -2*i + 40 = 3*i. Suppose 15 = 5*f - 15. Suppose i*j = f*j + 96. Does 24 divide j?
True
Let y be (22/3)/(4/24). Suppose -4*c + 0*c + y = 0. Is c a multiple of 11?
True
Let o = 6 + -1. Suppose 0 = -q + 2*a + 8, 5*q + 5*a + o + 0 = 0. Let v = 1 + q. Is v a multiple of 3?
True
Suppose 4*v - 3*c = 33, -v + c - 41 = -4*v. Let o = 6 + -8. Is 2 a factor of 5/o*v/(-10)?
False
Suppose -3*x + 3*p + 120 = 5*p, -4*p + 120 = 3*x. Suppose 3*a = 2*f + 1, -4*a = 4*f - x + 12. Is f a multiple of 4?
True
Let z(l) = -2*l + 7*l**2 + 0*l + 7*l**2. Let k be z(2). Let y = -16 + k. Is y a multiple of 18?
True
Suppose -5*k = 2*y - 157, -4*y + 89 = -4*k + 237. Is k a multiple of 11?
True
Let a(k) = k**2 - 2*k - 4. Let l = 10 + 0. Let b = -3 + l. Is a(b) a multiple of 13?
False
Suppose 5*r - 4*k = -2*k + 363, 3*r + 2*k = 205. Suppose r + 49 = 3*i. Does 22 divide i?
False
Let i be (-2)/10*2*-10. Suppose -5*k + 16 = -k. Suppose -u - i*x + 6 = -2*x, 3*u = -k*x + 18. Is 6 a factor of u?
True
Suppose 0 = p - j - 7, 0 = 4*p + 2*j - 16. Suppose -3*x - p*a = -8*x + 295, 2*a + 10 = 0. Suppose -x = -2*v + 26. Does 18 divide v?
False
Suppose 3*l = 5*b + 110, 65 + 65 = 3*l + 5*b. Suppose -3*g = g - l. Is 10 a factor of g?
True
Suppose 3*p - 5*j + 3 = -3, p + 5*j - 18 = 0. Let t = p - -1. Is 2 a factor of t?
True
Suppose 27 + 5 = 4*f. Is 2 a factor of f?
True
Let p(w) = w - 2. Let b be p(5). Suppose b*q - 2*a = 8, 4*a + a - 6 = q. Suppose 3*i - 2*s - 3*s = -2, -2*i + 2*s + q = 0.