 o?
False
Let z(h) = h**3 - 3*h**2 + 2*h + 4. Let g be z(3). Let l(c) = -c**2 + 14*c + 13. Is 12 a factor of l(g)?
False
Is (-183)/4*-2*(-38)/(-3) a multiple of 19?
True
Suppose 6 = 3*p + 15. Let w be 25 + -1 + (-3 - p). Let y = -4 + w. Does 16 divide y?
False
Let p be ((-26)/6 - -4)*0. Suppose x - 2*j + 1 = 0, 0 = -3*x + 5*j + 1 - p. Suppose -3*c = -x - 17. Is c a multiple of 3?
False
Let s = 3 - -4. Let p(k) = k**2 - 6*k - 4. Let l be p(s). Suppose n - 3*w = -n + 26, -4*n - l*w = -16. Is n a multiple of 2?
False
Let k(w) = -3*w**2 + 2*w + 4. Let r be k(-2). Let a(n) = -8*n - 27. Is 13 a factor of a(r)?
False
Suppose 3*q - 27 = -15. Let b(p) = -2*p + 5*p + 3 - 8*p - q*p. Does 17 divide b(-7)?
False
Does 58 divide (4988/215)/((-2)/(-85))?
True
Let b(g) = g + 11. Let d be (0/(-1))/(33/(-11)). Let c be d/(4/(-2 + -2)). Does 3 divide b(c)?
False
Suppose -4*d + 7 + 372 = -3*w, -5*w - 25 = 0. Let x = d - -53. Does 36 divide x?
True
Suppose -7*r = -5*r - 16. Let u = -42 + r. Let f = -19 - u. Is 5 a factor of f?
True
Suppose 0 = -2*v - 4*p + 16, -4*v = 4*p - 36. Suppose 3*u - v = 4*u. Does 14 divide 1/5 + (-418)/u?
True
Let o be (-5)/(-30) - (-38)/(-12). Does 16 divide 75 + 0 + (o - 1)?
False
Suppose -4*s + 74 = 3*k, 5 = 4*s - 5*k - 53. Suppose -s = -2*q + 59. Let b = -18 + q. Is 20 a factor of b?
True
Does 6 divide (-3)/((-2508)/(-504) + 1*-5)?
True
Let a(k) = k**3 - 8*k**2 + 22*k + 10. Is a(3) a multiple of 2?
False
Let s(q) = -q + 3. Let l = 0 + 0. Suppose -26 - 27 = 5*a + 2*z, l = -4*a + 5*z - 16. Is 4 a factor of s(a)?
True
Let s be 4/18 + 9970/90. Let b(a) = -3*a + 3. Let q be b(5). Is 9 a factor of s/6 + 6/q?
True
Suppose -b - 2*b + 36 = 0. Suppose 15*m - 288 = b*m. Does 32 divide m?
True
Let o(h) = -11*h - 49. Let n(k) = 13*k + 50. Let b(m) = -5*n(m) - 6*o(m). Is 15 a factor of b(-14)?
True
Suppose -16*b - 4332 + 20652 = 0. Is 12 a factor of b?
True
Suppose 3*s - l - 637 = 0, 1324 - 249 = 5*s - 5*l. Suppose 5*u = 4*a + 206, 0*a - a + s = 5*u. Is 9 a factor of u?
False
Let b be (12/5)/(1/((-10)/(-3))). Suppose -2*l + b = 0, 7*z = 4*z + 5*l + 133. Is z a multiple of 5?
False
Suppose 4*i = -25 + 205. Does 41 divide (-1410)/i*18/(-4)?
False
Let n(a) = -217*a + 2. Let t be n(-2). Let v = -305 + t. Is v a multiple of 10?
False
Suppose 4*n - 2*v = -0*n - 30, -4*n = 4*v + 12. Let b(c) = 2*c**2 - 2*c + 5. Let d be b(n). Suppose -4*u = -19 - d. Is 9 a factor of u?
True
Let l(g) = -g**2 - 5*g + 3. Let p be l(-4). Let t(k) = -9*k + 11*k**2 + 2 + 6 - 16*k**2 + k**3 - 1. Does 18 divide t(p)?
False
Let v(f) = 2*f**3 + 6*f**2 + 4*f + 5. Let l be v(-4). Let d = -21 - l. Is d a multiple of 11?
True
Suppose 0 = -10*o + 9*o + 41. Suppose -9 + o = 2*b. Suppose 2*t - b = -0*t. Does 8 divide t?
True
Suppose 4*i - 3*v = 83, 2*v + 5 = -3*v. Suppose 0*p = -p + i. Does 25 divide (p/(-16))/(3/(-180))?
True
Does 54 divide 6*(-1)/(-3)*(197 - 11)?
False
Suppose -h = 3*a - 138, 7*h - 2*h - a - 690 = 0. Does 11 divide h?
False
Is (-24)/54 - 7580/(-45) a multiple of 12?
True
Let m(f) = -2*f - 17*f - 2*f**2 + f**2 + 2 - 9. Does 9 divide m(-17)?
True
Suppose 2*a - 4*a = 0. Suppose a = -0*x + 4*x - 2*c + 36, 0 = x + 3*c + 2. Is 2/(x/(-6))*6 a multiple of 9?
True
Suppose 2*x = 2*o - 10, 8*o - 4*o = 5*x + 25. Is 22 a factor of (o - (-6 + 5))*95?
False
Is 25 a factor of (710/(-6))/(24/(-72))?
False
Let k(a) = -a**3 - 17*a**2 + 13*a - 1. Let s be k(-16). Let v = -149 - s. Is v a multiple of 42?
False
Suppose -16170 = -2229*s + 2218*s. Does 42 divide s?
True
Let m(p) = 15*p + 0 + 3 - 23*p - 2. Let s be m(-3). Suppose 5*z = -s, 0*i + 5*z = i - 58. Does 11 divide i?
True
Suppose 14*m + 761 - 4835 = 0. Is 5 a factor of m?
False
Let w(q) = 3*q**2 - q + 149. Does 37 divide w(10)?
False
Suppose -24*d - 4200 = -32*d. Is d a multiple of 50?
False
Suppose 10*r - 895 = 895. Is r a multiple of 19?
False
Suppose w + 3*k = 264, w - 4*k + 807 = 4*w. Is w a multiple of 17?
False
Let d(r) = r**2 + 1. Let z be d(-4). Let p = z - 13. Let n(i) = 2*i**3 - 5*i**2 - 2*i + 2. Is n(p) a multiple of 14?
True
Does 13 divide (-6544 - 6)/(-5) - (3 - 6)?
True
Let t = 3 + 93. Is t a multiple of 8?
True
Is 9 a factor of (15 - -3)*(-236)/(-8)?
True
Let r be 66/(-4) - 9/6. Let b be 430/12 - 3/r. Suppose 4*n + b = 6*n. Does 9 divide n?
True
Suppose 0 = f - 5. Let c(x) = 4*x**3 - 20*x**2 + x - 5. Let w(l) = l**3 - 5*l**2 - 1. Let n(a) = 2*c(a) - 9*w(a). Does 9 divide n(f)?
True
Let c(u) = -2 + u**2 - 4*u**3 - 8*u**3 + 1. Does 11 divide c(-1)?
False
Let c(v) = 2*v**3 + v**2 - v. Let u be c(1). Let w be (-2)/8 - (0 + 616/(-32)). Suppose -u*t = -w - 5. Is t a multiple of 6?
True
Suppose -919 - 941 = -3*i. Is i a multiple of 11?
False
Suppose 6 = 5*o - l, 0*l - 24 = -4*o - 4*l. Suppose o*h = 4*h. Is 15 a factor of (-5 - -3) + h - -82?
False
Let l(v) = -v**2 + 10*v + 2. Let m be l(7). Suppose 1 = 6*b - m. Suppose b*x = 418 - 42. Is x a multiple of 21?
False
Suppose 11*g - 1148 = 3934. Is 77 a factor of g?
True
Suppose 3*b = 0, 4*z + 10*b = 14*b + 1228. Is z a multiple of 13?
False
Let b(i) be the first derivative of -3*i**2/2 - 10*i - 6. Is b(-8) a multiple of 3?
False
Suppose -66*m - 2541 = -73*m. Is 11 a factor of m?
True
Let l = 24 + -23. Suppose 2*a - 3*x = a - 1, -a - 2*x = l. Is a + -1 - (-8 + -26) a multiple of 8?
True
Suppose 8 = -o + 3*o. Suppose 2*n - o*n = -6. Suppose -k = -n*k + 60. Does 15 divide k?
True
Let g(i) = i + 1. Let x = -26 - -29. Let c be g(x). Suppose -10 - 110 = -c*d. Does 10 divide d?
True
Suppose 0 = a + 5, -176 = 5*v + 5*a + 99. Let d = -2 - v. Is 11 a factor of d?
False
Suppose 2*o - n - 16 = 0, -5*n = 3*o - 4 - 20. Is 3 - 1*(-2)/(o/116) a multiple of 29?
False
Suppose 7*h = 500 - 136. Does 13 divide h?
True
Suppose -3*o + 321 + 358 = -5*i, -i - 462 = -2*o. Does 4 divide o?
False
Let q(n) be the third derivative of -5*n**4/24 - 5*n**3/2 + 5*n**2 + 5*n. Is q(-7) a multiple of 10?
True
Let u(h) = 17*h**3 + 3*h**2 - h + 4. Let d be u(2). Suppose -24 + d = 2*p. Does 20 divide p?
False
Let x(h) = h**3 + 8*h**2 + 4*h - 8. Suppose w = 4*n - 2, 5*w = -0*w + 3*n - 27. Let q be x(w). Suppose 4*y - q = -4*z, -6 + 2 = -2*y. Does 4 divide z?
True
Let f = 95 + 27. Let p = f + -74. Does 16 divide p?
True
Let n(f) = -6*f**2 + 5*f - 13. Let s(m) = 7*m**2 - 4*m + 13. Let v(c) = -6*n(c) - 5*s(c). Suppose -3 = -h - 2*k, 3*h + 4*k - 17 = -0*k. Does 21 divide v(h)?
False
Is (-1957)/(-9) + 15/(1350/(-40)) a multiple of 7?
True
Let o(i) = -i + 4 + 3*i - 4. Does 9 divide o(9)?
True
Let t(f) = 66*f**2 - 33*f. Is 18 a factor of t(-4)?
True
Suppose -h + 4059 + 830 = 3*o, -1627 = -o - h. Is 35 a factor of o?
False
Let a = -58 - -88. Let f = a + 6. Is 12 a factor of f?
True
Let n = -738 - -521. Let x = n + 337. Is 29 a factor of x?
False
Suppose 453 = 2*i + t, -5*i + 3*i = -2*t - 450. Let c = i - 161. Is c a multiple of 13?
True
Let w(m) = -2*m - 36. Suppose x + 23 = -0*x. Is w(x) a multiple of 6?
False
Let l(r) = r**2 - 6*r - 8. Let m be l(8). Suppose 5*a = 0, -4*t - m*a - 2392 = -3*a. Does 26 divide 6/(-27) - t/18?
False
Let p = 2212 - 1223. Is 43 a factor of p?
True
Suppose -1840 = -15*x + 14810. Is 13 a factor of x?
False
Suppose 0 = -28*k + 37*k - 3393. Does 25 divide k?
False
Suppose 3*x - f + 113 = 0, x + 3*x + 164 = 4*f. Let y = 57 + x. Is 3 a factor of y?
True
Let g(h) = -14*h + 5. Let p be g(-4). Let s = -31 + p. Let n = s - 6. Is 8 a factor of n?
True
Let k(j) be the first derivative of j**4/4 - j**3/3 + j**2/2 + 3*j + 7. Is 24 a factor of k(3)?
True
Let m(j) = 4*j**3 - 20*j - 15. Let a(t) = 3*t**3 - 13*t - 10. Let x(d) = -8*a(d) + 5*m(d). Is 4 a factor of x(-2)?
False
Let m = 16 - -6. Let t be -3 + (-1)/(-2)*m. Let k = 0 + t. Is 8 a factor of k?
True
Suppose -5*f - 16 = 4. Let c = 9 + f. Suppose -c*a + 19 + 1 = 0. Is 3 a factor of a?
False
Let o(x) = 3*x**2 + x - 8. Let j be o(-6). Let c = -49 + j. Is 7 a factor of c?
False
Does 12 divide -2*((-10)/70 - 334/14)?
True
Suppose 4*x + 7*u - 2*u = 541, 4*x - 5*u = 491. Suppose -q - 5 = -x. Does 7 divide q?
False
Let q(f) = 20*f**3 - 2*f**2 - f + 1. Let d(l) = -81*l**3 + 9*l**2 + 4*l - 5. Let b be (2/(-4))/((-3)/(-54)). Let n(x) = b*q(x) - 2*d(x). Is 5 a factor of n(-1)?
False
Let h be -6*((-9)/6)/3. Suppose 0 = -h*i - 27. Does 3 divide i/27 + 38/6?
True
Does 22