se -4*c + 27 = 7. Is 5 a factor of b(c)?
False
Suppose 243 + 57 = 3*u. Suppose n - 4*f = 20, -3*n + f = -8*n + u. Suppose 4*y = -7*r + 4*r + 58, -n = -5*y. Is r a multiple of 8?
False
Let u(a) = -34*a + 2. Is 8 a factor of u(-1)?
False
Let y be (-5)/(-2) - (-2)/(-4). Does 6 divide ((-12)/(-7))/(y/28)?
True
Let k(l) = -l**3 - 19*l**2 - 22*l + 40. Is 28 a factor of k(-18)?
True
Suppose 0 = 3*u + 25 + 53. Let m = -30 - -12. Let t = m - u. Is 4 a factor of t?
True
Let z(q) = 4*q - 13. Does 15 divide z(8)?
False
Let i(o) = -7*o**2 - 8. Let q(v) = -6*v**2 - 7. Let z(t) = 5*i(t) - 6*q(t). Does 8 divide z(-5)?
False
Let z = -365 - -621. Is 32 a factor of z?
True
Let t = -26 + 38. Is t a multiple of 6?
True
Let u(o) be the first derivative of -3*o**2/2 - 9*o - 3. Suppose 4*k + 32 = 2*a, -50 = 5*k + a - 6*a. Is 9 a factor of u(k)?
True
Suppose 0 = -2*u + 4*g - 16, 4*u + 17 = 2*g + 3*g. Suppose -u*x - x - 5*q = 17, 12 = -4*x - 4*q. Does 8 divide x*1/(-2)*-24?
False
Let t(y) = 3*y**3 - 2*y**2 - 2*y + 3. Let f be t(2). Suppose -192 = -3*m + 4*k - 5*k, 5*k = f. Does 22 divide m?
False
Let o = -8 + 11. Suppose 8 = n + o. Is 5 a factor of n?
True
Let f(i) = -2*i**3 + 2*i + 1. Let n = 2 + -3. Let v be 0/n + 1 + -3. Does 7 divide f(v)?
False
Let s(y) = -y + 15. Let w be s(13). Suppose -5*r = w*j - j - 25, 0 = -3*j + 2*r + 58. Does 10 divide j?
True
Let l(v) = v - 1. Let f be l(3). Suppose 4*d - 10 = 5*p - 32, 4*p + d = 26. Let k = p - f. Is k a multiple of 2?
True
Suppose 0 = -2*k + 76 - 22. Does 9 divide k?
True
Suppose -5*n - 4*f + 65 = 0, 25 = -5*f - 0. Let c = -9 + 0. Let b = n + c. Is 4 a factor of b?
True
Let p(z) = 2*z**2 - z + 1. Let b be p(-2). Suppose -3 = 2*l - b. Suppose -3*i + 20 = -w + 3*w, 4*i = -l*w + 32. Does 4 divide i?
True
Let m = 18 + -28. Let j = m + 18. Does 4 divide j?
True
Let j(v) = v**2 - 8*v - 9. Let a be j(9). Let i be 0 - a - (10 + -4). Let r(c) = -c**3 - 4*c**2 + 8*c + 2. Is 12 a factor of r(i)?
False
Suppose -5*w = -3*s + 2*s + 2, 5*s - 10 = 0. Suppose -r + 2*r - 13 = w. Is r a multiple of 13?
True
Let k(d) = d + 9. Is 2 a factor of k(-3)?
True
Suppose 0 = 2*k + k. Suppose k = 4*a + 16, -30 = -3*z - 0*a + 3*a. Is z a multiple of 3?
True
Let b(a) = a**3 - 7*a**2 + 6*a - 4. Let i be b(6). Let o = -8 - i. Does 5 divide (-2)/o*(-2 + 22)?
True
Let l(w) = -w**3 - 5*w**2 + 7*w + 3. Is l(-7) a multiple of 17?
False
Suppose 0 = -2*s - 3*s - 15. Let u(g) = 2*g**2 + g + 2. Does 10 divide u(s)?
False
Let u = -24 - -21. Does 20 divide (-160)/(u - 1) - 0?
True
Let k(g) = -2*g**3 + 3*g**3 - 5*g - 3*g**2 + 5 + 0*g + 2*g. Is k(4) a multiple of 4?
False
Let p(z) = -z + 2. Let t be p(3). Let n be -3*t/(-1)*-5. Suppose -4*g + n = -81. Is 12 a factor of g?
True
Let q(d) = -5 - d**2 + 5*d - 6 + 2 + 1. Let w be q(6). Let c = -9 - w. Does 3 divide c?
False
Let x be 3/(-6) + 102/4. Suppose -3*w - 1 + x = 0. Does 4 divide w?
True
Let m(f) be the third derivative of f**4/6 - 2*f**2. Let k be m(3). Suppose -2*b = 2*b - k. Is 2 a factor of b?
False
Let r = 12 - 7. Let s be (r/(-4))/((-3)/36). Let d = 35 - s. Is 20 a factor of d?
True
Does 21 divide (-10)/(((-8)/2)/16)?
False
Let i = 4 + -4. Suppose -8 = -i*x - 2*x. Suppose o + 0*o - 23 = -4*w, -w - 7 = -x*o. Is 2 a factor of w?
False
Suppose 9*u - 8*u = 48. Does 8 divide u?
True
Let p(a) = a**3 - 5*a**2 - 4*a + 3. Let y(g) be the first derivative of -5*g**2/2 + g - 3. Let r be y(-1). Does 15 divide p(r)?
True
Let d = 199 - 54. Is 10 a factor of d?
False
Suppose -12 = 3*x, -9 = -l + x - 3. Suppose -l*k = -5*k. Is 2 + 22 + k/(-2) a multiple of 12?
True
Suppose 15 = 2*g + 3*f, 4*g + 0 = 4*f - 20. Suppose g = 4*h - 12, -2*h = -0*l + 3*l. Let p = 21 + l. Is 11 a factor of p?
False
Let o(b) = -10*b - 2. Is 12 a factor of o(-5)?
True
Does 19 divide 56 - 0 - 4/(-1)?
False
Let o(n) = -3*n. Let c be o(-1). Suppose 5*k = -r - 9 - 51, c*k + 36 = -2*r. Does 22 divide (-16)/6*99/k?
True
Suppose 0*h - 3*h - 66 = -3*f, -4*h = 2*f - 38. Does 8 divide f?
False
Suppose 2*u - 181 = -5*b, -2*b + 81 = 2*u - 97. Does 8 divide u?
True
Let h be (3/(-9))/(2/(-258)). Suppose -5*f + h = 3*u - 0*u, -u = f - 11. Is 6 a factor of u?
True
Let k = 3 + -8. Let c be 4/(-6)*k*30. Suppose -c = -3*a - 2*a. Does 20 divide a?
True
Let r = -6 + 8. Suppose 44 = 4*d - r*d. Does 22 divide d?
True
Let c be (3 + 15/(-6))*0. Suppose c = -0*h - h + 32. Does 12 divide h?
False
Let z(y) = y**2 - 4*y - 6. Suppose 64 = -3*l + 7*l. Let f = 22 - l. Does 6 divide z(f)?
True
Suppose 16 - 1 = 3*p. Suppose -2*s - 405 = -p*h + s, -25 = -5*s. Does 32 divide h?
False
Let i(g) be the third derivative of -g**6/120 + g**5/10 + g**4/8 - 3*g**3/2 - g**2. Let c = -20 - -26. Is i(c) a multiple of 9?
True
Suppose 5*y - 4*k - 458 = 0, -5*k = 10 - 0. Let b = y + -58. Is 9 a factor of b?
False
Let o(t) = 2*t**2 + 2*t + 3. Is o(-5) a multiple of 10?
False
Let b(j) = j**3 - 7*j**2 + 10*j - 5. Let y(i) = -i**3 - 6 - 7*i**2 + 5*i + 2*i**3 + 6*i. Let a(q) = 5*b(q) - 4*y(q). Does 11 divide a(7)?
False
Suppose -3*r = -34 - 8. Suppose 0 = 4*a - 5*o - 64, -5*a = -3*o - r - 79. Let w = a + -11. Is w a multiple of 5?
True
Let r(z) = z**2 - 6*z - 1. Is 17 a factor of r(9)?
False
Let s be 2/12 + (-70)/(-12). Suppose 160 = s*r - r. Does 8 divide r?
True
Let p(m) = -m**3 - 4*m + m + 11*m - 11*m**2 + 9. Is p(-12) a multiple of 20?
False
Is 1 + 13 + (-2 - -4) a multiple of 16?
True
Suppose 0 = 4*i - 4*j - 132, 3*i - 107 + 16 = j. Is 22 a factor of i?
False
Let k be (-3)/(-6) + 10/4. Suppose -3*o - 4 = -u - 13, 2*o = -k*u - 5. Is (-4 + 3)/((-1)/o) a multiple of 2?
True
Let l(t) = -7*t - 9 - 2*t + 3*t. Is 5 a factor of l(-4)?
True
Let k be 9*3/(-3)*-9. Suppose i = -2*i + k. Is i a multiple of 11?
False
Suppose 6*l = 27*l - 2940. Does 10 divide l?
True
Let a = 5 + -5. Suppose a = s - 2*z - 2, -4*s + 24 = -2*s + z. Is s a multiple of 5?
True
Let x = -17 + 56. Let l = x - -3. Is l a multiple of 7?
True
Suppose -2*l - d + 5 - 4 = 0, 0 = 2*l + 4*d + 14. Suppose 2*b = -10, 3*q + q = l*b + 135. Is 30 a factor of q?
True
Let i = 134 + -71. Suppose 3*j + 2*w = 26, 0 = 7*j - 3*j - 3*w - i. Let z = -7 + j. Is z a multiple of 2?
False
Let y be ((1 - 1) + 0)/(-1). Suppose -4*c - 98 = -l - 0*c, -c = 4*l - 358. Suppose -3*x + y*x = -l. Does 15 divide x?
True
Let f be (-14)/(-6) - (-1)/(-3). Suppose 0*m + 2*m - 2*p = 8, f*p + 8 = 5*m. Suppose 0 = 3*b - m*b - 66. Does 11 divide b?
True
Suppose -3*o = -6*q + 2*q + 12, 3*o + q - 3 = 0. Suppose o = -5*s - 27 + 2. Is 5 a factor of (-4)/10 - 27/s?
True
Let r = -5 - -5. Suppose r = 3*m - 2*m - 5*g - 25, -g = -2*m + 41. Is 18 a factor of (m/(-12))/((-1)/21)?
False
Let d(c) = c**2. Suppose 13 = 2*f + 1. Is d(f) a multiple of 11?
False
Suppose 3*d = -2*g + 5*d + 16, 5*g - 13 = -4*d. Suppose -g*a + 9*a = 20. Is a a multiple of 2?
False
Let a(u) = 15*u + 5. Suppose 0 = -3*z - 0*z + 3*b, 0 = -5*z - 5*b + 40. Let v be a(z). Let l = -46 + v. Does 19 divide l?
True
Suppose 5*w + 25 = 80. Suppose -3*q = -115 - w. Is 14 a factor of q?
True
Let z = -62 + 111. Is 13 a factor of z?
False
Let n = 191 - 137. Does 9 divide n?
True
Suppose 10 = 3*l - 4*g - 5, -3*l = -g - 15. Let h = 49 - 24. Suppose -l*t + 4*c + h = -40, -3*c = -2*t + 26. Is 13 a factor of t?
True
Let j = -1 - -5. Suppose -3*g + 86 = -2*x, -j*g + 111 = -x + 2*x. Is g a multiple of 14?
True
Let m be (-2)/(-4)*2 + 1. Suppose -m*d = -0*d - 20. Suppose d = -a + 2*a. Is a a multiple of 7?
False
Suppose -102 = -4*d - 2*x, 0 = d + 3*x - x - 21. Does 5 divide d?
False
Let b be 30/4*2/3. Suppose 13 = 3*n + 4. Suppose b*h = n*u - 94, 17 = 2*u - 2*h - 39. Does 11 divide u?
False
Let y(j) = j**2 + 9*j - 1. Let d be y(-9). Let b = d + 4. Is b a multiple of 3?
True
Let b(s) = -s**3 - 5*s**2 + 3*s + 2. Let n be b(-6). Suppose -2 = -y - 4*a, -y + 2*a + n = -0*y. Is y a multiple of 5?
False
Suppose -5*q - 3*s = -s - 394, -4*q + 329 = -3*s. Suppose -2*i + 6*i - q = 0. Is 5 a factor of i?
True
Suppose 5*x - 1338 + 138 = 0. Does 48 divide x?
True
Let m(h) = -h**3 - 7*h**2 + h - 3. Let v be m(-8). Suppose 0 = -5*b + 4*c - 7*c + v, -4*b + 5*c = -72. Let f = 33 - b. Is f a multiple of 10?
True
Let n = -82 + 142. Let t = n + -35. Does 9 divide t?
False
Suppose -4*o = -0*o + 48. Is (o/(-18))/((-2)/(-72)) a multiple of 8?
True
Suppose 6*v - 