/5). Does 12 divide c(i)?
False
Let v(b) = b**3 - 3*b**2 - b + 3. Suppose 2 = m + 12. Let k be m/(-4) - (-54)/36. Does 6 divide v(k)?
False
Let r(x) = 24*x + 48. Let d be r(23). Suppose -5*w + d = w. Is 20 a factor of w?
True
Suppose 2*x = 6*x - 24. Let u be (4/6)/((-2)/x). Let n(o) = -10*o**3 + o - 2. Is n(u) a multiple of 17?
False
Suppose 26*l - 524 = 20406. Is l a multiple of 23?
True
Let l be (0 - -2)*429/(-11). Let x = -44 - l. Does 7 divide x?
False
Let f(d) = 131*d**2 - 4*d + 2. Is f(1) a multiple of 43?
True
Let q = 2434 + -1054. Does 46 divide q?
True
Suppose -n - 27 = -149. Let h = 112 + n. Is 14/(-21)*h/(-4) a multiple of 13?
True
Let x = 973 - 721. Is 126 a factor of x?
True
Suppose 0*j - j = 24. Is 6 a factor of (54/4)/(3/j*-3)?
True
Let r = 0 - -5. Suppose -2*l = -5*u + 151, r*l + 10 = -5*u + 175. Is u a multiple of 24?
False
Is (-8 + 0 + 3)/(-1) - -993 a multiple of 13?
False
Suppose 0*v - 2*v = -5*v. Suppose 2*w + v*w - 252 = -4*q, -w = -2*q + 126. Does 3 divide q?
True
Let s(v) be the first derivative of -v**4/4 + 2*v**3/3 - v**2/2 + 5. Let q be s(-2). Suppose 7*k - q = 6*k. Is 9 a factor of k?
True
Suppose 2*a = 2*v + 4, 5*v - 26 = -0*v - 4*a. Suppose h + v*y = 160, 5*h + 10*y = 8*y + 824. Does 35 divide h?
False
Suppose c + 10 = 3*c. Suppose 0 = -c*m - 167 - 378. Let o = -58 - m. Is o a multiple of 12?
False
Let g be (-5)/((-5)/3) - 23. Does 11 divide 70 + (-1)/((-5)/g)?
True
Suppose -13 = 5*p + 162. Let m = p - -53. Does 11 divide m?
False
Let j = 3294 + -1649. Is j a multiple of 15?
False
Does 2 divide (-1 - -3)/((-21)/((-2646)/28))?
False
Let v be (2 - -2) + 3/3. Let i = v + -5. Is 7 a factor of 31 + (-2 + i - 1)?
True
Let p(f) = 257*f**3 - f**2 + 2*f - 2. Let y be p(1). Does 10 divide y/(-6)*4*(-6)/4?
False
Let x(l) = -12 + 5*l + l**2 + 0*l**2 - l. Let d be x(-10). Suppose -3*z + 3 = -d. Is z a multiple of 17?
True
Let q = 64 - 74. Does 2 divide (-5)/(50/(-36)) + (-4)/q?
True
Let w(z) be the third derivative of 0 + 1/12*z**4 + 1/12*z**5 + 0*z - 1/3*z**3 - 8*z**2. Does 11 divide w(2)?
True
Suppose -2*k = -2*o + 322, -4*o + 5*k + 646 = -0*k. Is o a multiple of 7?
False
Let u(k) = 4*k**3 - 3*k**2 + 4*k - 7. Let v(a) = -a**3 - 4*a - 2 - 4*a**2 - a + 7*a + 2*a. Let w be v(-5). Does 23 divide u(w)?
False
Is 46 a factor of (-26)/182 + 2255/7?
True
Let z(u) = -u + 1. Let g be z(-3). Suppose -p - a = g*a + 15, -4*p - 5*a = 135. Let h = p + 72. Is 8 a factor of h?
True
Suppose 107 = 2*b + 19. Let v = b - 19. Does 24 divide v?
False
Let v = 1 + 1. Suppose -168 - 22 = -v*i. Is 19 a factor of i?
True
Let q(v) = -v**3 + 12*v**2 + 2*v - 21. Let p be q(12). Suppose p*t - 4 = 5, -5*z - 5*t + 415 = 0. Is 10 a factor of z?
True
Let i = 3550 + -634. Does 108 divide i?
True
Let z(k) = -8*k + 3. Let y be z(3). Let a = y - -28. Does 2 divide a?
False
Suppose -5*r = -d + 55, -2*d - 2*r = 3*d - 275. Is d a multiple of 5?
True
Let p(x) = -x**2 + 6*x - 5. Let f be p(4). Let q be ((-104)/(-20) + -4)*25/3. Suppose 4*s + 10 = -s, -f*s = -h + q. Is h a multiple of 4?
True
Suppose 4891 + 5189 = 4*o. Is o a multiple of 105?
True
Let r(a) = 3*a**2 - 29*a - 28. Let f be r(-12). Suppose -f = -12*s + 4*s. Does 17 divide s?
False
Suppose 2*q = -4*j + 660, 4*j = 2*q - 840 + 196. Is 24 a factor of q?
False
Let w(x) = 223*x**2. Let i be w(-1). Suppose -i = -2*z + 1. Is z a multiple of 28?
True
Let f = 444 - -406. Is f a multiple of 34?
True
Let r = 2325 + -960. Is r a multiple of 13?
True
Let i(r) = -7*r - 8*r + 15*r**2 + 17*r - r**3 + 36 + 16*r. Is i(16) a multiple of 17?
True
Let u(t) = -2*t**3 - 4*t**2 + 3*t + 6. Let o be 3 + ((-44)/7 - 2/(-7)). Does 5 divide u(o)?
True
Suppose 0 = -4*h - 4*j + 3872, 0 = -4*j + 4 + 16. Does 15 divide h?
False
Suppose 3*q + 3*d = 1659, -3*d = 45 - 30. Is 18 a factor of q?
True
Let l(k) = k + 1. Let t be l(4). Let j = 69 - t. Let s = j - 34. Does 15 divide s?
True
Let l(s) = -1 + 2 - 7*s**2 + 1 + 0 + s**3 + s. Let v be l(7). Is 10 a factor of ((-15)/(-4))/(v/24)?
True
Let f(h) = 2*h**2 + 2*h - 2. Let m be f(-2). Suppose -x = -1 - m. Suppose x*a - y = 199, 4*a + 0*a = 2*y + 262. Is a a multiple of 34?
True
Let u(j) = -8*j**2 + j + 3. Let g be u(6). Let p = 2 - 5. Is 31 a factor of ((-4)/(-6))/(p/g)?
True
Suppose -22*m + 17*m + 10930 = -4*k, 3*m - 6558 = 5*k. Is 8 a factor of m?
False
Let y(a) = 9*a + 3*a**2 - 1 + a - 4*a. Is 11 a factor of y(-5)?
True
Let t(p) = 31*p + 15. Let f be t(15). Suppose 8*x = 4*x + f. Is 23 a factor of x?
False
Let f be ((-3405)/12)/(-5) + 2/8. Let o = -17 + f. Does 15 divide o?
False
Let o = -10 + 31. Suppose x = -8 + o. Is 2 a factor of x?
False
Let t be 4 - 13 - (-3 + 1). Let w(d) = 6*d**3 + 8*d**2 + 4*d - 2. Let j(c) = 5*c**3 + 8*c**2 + 4*c - 3. Let y(p) = 5*j(p) - 4*w(p). Is y(t) a multiple of 7?
True
Is 10 a factor of 46620/112 + -2 + (-11)/(-4)?
False
Suppose -5*q = -3*h - 15, -12 = -4*h - 4*q - 0*q. Is 43 a factor of (-11 + h + -3)*(-156)/14?
False
Suppose 5*t = -h + 11, -4*t = -14*h + 11*h + 109. Suppose 2*z - s = 5, 5*s = z + 2*z - 11. Suppose -3*d + d + u = -h, d + z*u = 18. Is d a multiple of 5?
False
Suppose -5*f + 2 = -3*f. Let k = 29 - f. Does 8 divide k?
False
Is 29 a factor of 37552/72 - (-8)/18?
True
Suppose 7*y + 117 - 768 = 0. Let l = 13 - 19. Does 29 divide y + l + (-1 - -1)?
True
Let o(x) = x**3 - 5*x**2 - 5*x. Let p be o(6). Suppose -2*h - h - 18 = -5*t, p = -h - t. Let n(d) = -d**2 - 15*d - 11. Is n(h) a multiple of 17?
False
Let n(z) = -z**3 - 3*z**2 + 2. Let y be n(-1). Suppose -4 = -o - y, -3*o = 4*i - 28. Does 2 divide i?
True
Suppose 82 = t + 11. Let l be (-586)/(-6) - (6 - (-88)/(-12)). Let v = l - t. Is v a multiple of 13?
False
Let f be (-16)/4 + 4 + 12. Let o = 0 + f. Suppose -11*l + o*l = 7. Does 2 divide l?
False
Let x = 119 + -98. Suppose 19*q = x*q - 362. Is q a multiple of 21?
False
Let m(c) = -c**2 + 5*c + 4. Let z be m(5). Suppose 3*n + 3*p = p + 228, 4*n - 3*p - 304 = 0. Suppose n = z*i - 2*i. Is 25 a factor of i?
False
Suppose -3*g + u + 511 = 2*u, 0 = 2*u - 2. Is g a multiple of 9?
False
Let h(q) = -4*q**2 + 15*q + 10. Let x be h(4). Is 7 a factor of 37 - (-3)/x*-8?
False
Let k be ((-5)/(-10))/((-2)/12). Suppose -8*g = -180 - 180. Is g/(-6)*20/k a multiple of 10?
True
Suppose -3*r - 209 = -4*r - t, -5*t + 625 = 3*r. Is r a multiple of 42?
True
Let v = -6 - -10. Let b be (0*v/(-16))/2. Suppose -4*o + b*o = -256. Is 16 a factor of o?
True
Let t = -64 - -64. Suppose -3*f + 4*c = -203, t*f + 5*f = 4*c + 333. Is f a multiple of 13?
True
Let u = 96 + 18. Let p = u - 17. Does 14 divide p?
False
Suppose 7*h - 8*h - p = -977, 0 = -5*p - 10. Does 11 divide h?
True
Suppose 2*z - 12 = -4*z. Suppose 0 = -z*k - 0*k. Suppose h - 25 = -k*h. Does 25 divide h?
True
Suppose -4*x + 3*q = 4, -5*x - 6 + 1 = 2*q. Does 16 divide ((0 - 1)*x - 1) + 76?
False
Is 1*2871/(-6)*(1 - 3) a multiple of 15?
False
Suppose k + 2*g = 6*g + 1, 44 = -4*k + 4*g. Let w = k - -54. Let f = -15 + w. Is f a multiple of 8?
True
Suppose 10*m = 14*m - 8. Suppose 5*v - m*q - 5 = 0, 6*v = 2*v - 4*q - 24. Is 10 a factor of (-1)/((-28)/27 - v)?
False
Suppose 5*a = 8 + 2. Let p be (-2 - a)/(-2 - -1). Suppose -5*c + 20 = 2*l - 13, p*c - 18 = -l. Is 12 a factor of l?
False
Let m be 18/(-12)*(0 + (-8)/3). Suppose -14*n + 310 = -m*n. Is 25 a factor of n?
False
Let q be (-26)/(-6) - (-4)/6. Let f(s) = -s**2 + 6*s. Let h be f(5). Is (-2)/q + 167/h a multiple of 17?
False
Suppose -12*l + 5 = -7*l, -127 = -4*x + 5*l. Is x a multiple of 33?
True
Let m(f) = -223*f - 130. Does 16 divide m(-9)?
False
Suppose 85 = -4*c - 103. Let k = 88 + c. Does 5 divide k?
False
Let t be (-1 + 3)/(-11 + 13). Let g = t - -60. Suppose -4*x = -g - 43. Is 17 a factor of x?
False
Let c be 5/3*360/100. Let k be (0 + (-1)/3)*c. Does 24 divide 1138/12 + k/(-12)?
False
Suppose -10*g - 6672 = -5*v - 12*g, -4*v + 5328 = 4*g. Is v a multiple of 18?
False
Suppose 0 = -2*u + 5*d + 32, -7*u + 4*d = -9*u + 50. Does 9 divide u?
False
Does 5 divide 5/(-15)*(-412 - -1)?
False
Let k(s) = 24*s - 24. Let x be k(7). Suppose j - 5*j = -x. Is j a multiple of 6?
True
Let u(c) = 2*c**2 - 2*c - 2. Let o be u(4). Let z be (2 - 4 - -6) + 109. Suppose l - 21 = -s, -o - z = -5*l + s. Is 9 a factor of l?
False
Is (6669/(-26))/((-2)/4) a multiple of 57?
True
Let s = 