= -85. Is 8 a factor of c?
True
Let m(f) = 7*f - 10. Let l = 28 - 22. Suppose -l = 2*b - 14. Is m(b) a multiple of 12?
False
Let n(o) = 2*o**2 + 4*o + 4. Let g(f) = f**2. Let a be (-4 + 1)/((-11)/22). Let z(b) = a*g(b) - n(b). Is 22 a factor of z(-4)?
False
Let n(k) = -k**3 + 10*k**2 - k - 7. Let w = -6 - -3. Let o = 12 + w. Does 16 divide n(o)?
False
Suppose -19*t = -14*t - 160. Suppose 0 = t*y - 35*y + 297. Does 11 divide y?
True
Let s(g) = g**3 + 2*g**2 - 10*g - 3. Suppose -7 - 1 = 2*q. Let h be s(q). Suppose -3*a - 23 = -4*z, h*z - 3*a + 2*a = 37. Does 5 divide z?
False
Is 11 a factor of -604*63/(-28) + -6?
True
Let d be (6/(-5))/(9/30). Let n = d - -8. Let j(r) = -r**3 + 3*r**2 + 5*r + 1. Is 4 a factor of j(n)?
False
Suppose -5 = -2*u + 1. Suppose -3*v + u = 3*f, -4*v + v - 4*f = 1. Suppose -266 = -v*k - 11. Is k a multiple of 17?
True
Suppose -u + 0*u = 0. Suppose u = -4*k - 19 - 17. Let y = k - -52. Is 10 a factor of y?
False
Let a(s) = -5*s - 12. Let f be a(-4). Let p(b) = -2 + 61*b + f - 24*b - 7. Is 7 a factor of p(1)?
False
Suppose 0 = 5*n - 15, 2*s - 4*s = 3*n - 365. Let l = s + -46. Does 11 divide l?
True
Let g = -24 + 28. Suppose -23 + 103 = 2*n - g*o, 138 = 4*n + 3*o. Is 18 a factor of n?
True
Suppose -2*y + o = -48, 3*y + 0*o - 3*o - 72 = 0. Is ((-24)/(-14))/(y/168) a multiple of 4?
True
Let o(f) = 3*f**2 - 22*f + 4. Let i be o(9). Does 4 divide 1092/i - 4/14?
False
Let g(c) be the first derivative of c**5/60 - c**4/12 + 13*c**3/6 + c**2/2 - 1. Let u(w) be the second derivative of g(w). Is 24 a factor of u(7)?
True
Let v = -26 - -79. Let b = v - 12. Is 41 a factor of b?
True
Suppose 3*i - 2*v - 2854 = 0, -8*i + 16*v + 7594 = 19*v. Is i a multiple of 25?
True
Suppose -639 = -4*a + 129. Suppose 2*l = -3*p + a, 4*l = 5*l + 5*p - 103. Let s = -51 + l. Is s a multiple of 14?
True
Let y = 17 - 13. Suppose y*g - 149 = 63. Is g + 3 + 12/(-2) a multiple of 10?
True
Let v(f) = 831*f - 7. Does 36 divide v(3)?
False
Suppose -11*h + 2896 = -3495. Is 7 a factor of h?
True
Suppose 0 = 5*i - b + 122, 3*i = -4*b - 30 - 34. Let y be (i/(-18))/(1/(-45)). Does 22 divide y/(-50)*140/3?
False
Let n = -677 - -3159. Does 18 divide n?
False
Let u(x) = -12*x - 14. Let h(p) = -4*p - 5. Let k(f) = 7*h(f) - 2*u(f). Does 3 divide k(-4)?
True
Let j = 5 + 7. Is (-8)/((-128)/j) + 541/4 a multiple of 46?
False
Let p(v) = -10*v - 7. Suppose 2*t - 11 = -3. Let f(x) = -x**2 + 5*x - 8. Let h be f(t). Is 11 a factor of p(h)?
True
Let l be (-162)/4*44/33. Let j = 8 - l. Is 27 a factor of j?
False
Let t = -56 - -57. Is (12/(t - -1))/((-9)/(-144)) a multiple of 12?
True
Suppose 0 = -4*v + 3*a - 1 - 0, 5*a - 15 = 0. Suppose 0 = -3*n + n. Suppose -2*j + 62 = 2*d, n = -v*d - d + 2*j + 73. Does 7 divide d?
False
Suppose 4*d - 3*d - 13 = 0. Suppose 2*g + 0*g - 356 = 0. Suppose d = -3*u + g. Does 20 divide u?
False
Suppose 5*p - 135 = -4*t, 5*p - 5 = -2*t + 70. Let v be ((-12)/9)/((-1)/t). Let f = -33 + v. Is f even?
False
Let k(u) = 5*u - 44 + 3 - 4*u + 8*u. Is k(6) a multiple of 2?
False
Is (6 - 2)/((-12)/(-11 - 1045)) even?
True
Is 20 a factor of -96*(-10)/6*2?
True
Suppose 0 = -2*o + 2*j - 5*j + 40, 2*o - 2*j - 60 = 0. Let a = 41 - o. Is 5 a factor of a?
True
Let i(w) = 23*w + 408. Is 64 a factor of i(54)?
False
Let p = 2532 + -832. Does 34 divide p?
True
Suppose 0 = 2*w + 5*q - 192, -4*q - 10 + 2 = 0. Is 42 a factor of w?
False
Let c(k) = k**3 + 9*k**2 + 5*k - 5. Let s be c(-6). Suppose -119 - s = 4*t. Is 12 a factor of (t/14)/(6/(-21))?
True
Let c(y) = y**3 + y**2 - 6*y - 1. Suppose -2*k + 12 = 4. Does 11 divide c(k)?
True
Suppose 13*y = 2*y + 1144. Is y a multiple of 14?
False
Suppose -13*o = -18*o - 60. Is 16 a factor of 103/(3*(-4)/o)?
False
Suppose 0 = -w + 4*a + 36, -6*w - 3*a + 249 = -w. Suppose -m + w - 7 = 0. Is m a multiple of 23?
False
Suppose 102*b - 106*b + 1584 = 0. Is b a multiple of 12?
True
Let v = -8 - -2. Let u be ((-8)/v)/((-10)/(-315)). Is 14 a factor of (-3 + 4)*u/1?
True
Suppose 0 = -2*x + 2, -4*t - 2*x + 14 = 0. Is 11 a factor of (-704)/(-6) + (-1)/t?
False
Let j(d) = -1 + 0*d + 8*d**2 - 3*d**2 + 2*d + 0. Let u be j(1). Is ((-8)/u)/(2/(-12)) a multiple of 8?
True
Let y be 2/4 - 27/(-6). Suppose -y*i = -183 - 297. Does 20 divide i?
False
Let y(p) = -p + 1. Let z(i) = i**2 - i - 1. Let b(t) = -4*y(t) + z(t). Let f be 108/90 + (-8)/(-10). Is b(f) a multiple of 5?
True
Is (-18 + (-3664)/12)*(1 + -7) a multiple of 10?
True
Let w = 400 - 170. Let x = w + 10. Is 16 a factor of x?
True
Let x(y) = -15*y - 31. Let w(i) = 7*i + 16. Let n(r) = 13*w(r) + 6*x(r). Let h = -10 + -1. Is n(h) a multiple of 11?
True
Suppose -83 = -3*s + 631. Does 34 divide s?
True
Let f(d) = -209*d - 1. Let b be f(1). Let g = b + 337. Is g a multiple of 15?
False
Suppose 33*m - 4117 - 1823 = 0. Is m a multiple of 30?
True
Suppose w + 4*w = 0. Is w + -2 + (-63)/(-3) a multiple of 19?
True
Suppose -4*a + 3*a = -32. Is 58/(2 - a/20) a multiple of 29?
True
Let p(g) = 8*g**2 - 4*g - 87. Is 53 a factor of p(13)?
False
Suppose 2*i - 10 = -0*i, -4*j = -4*i. Suppose j*n = -4*p + 460, -5*p = -n + 36 + 27. Is 15 a factor of n?
False
Let k = 815 - 351. Is 9 a factor of k?
False
Let i(h) = 29*h**2 - 9*h - 4. Suppose t + 7 + 4 = 0. Let g(v) = 10*v**2 - 3*v - 1. Let k(n) = t*g(n) + 4*i(n). Does 38 divide k(-3)?
False
Let w(u) = -u**2 + 55*u + 2. Is w(29) a multiple of 42?
True
Let j(f) = 14*f**2 - 4*f - 6. Is j(-5) a multiple of 14?
True
Let x = -305 + 488. Does 61 divide x?
True
Suppose 2*y + 1190 = v + 5*y, 4*y = -3*v + 3550. Is 62 a factor of v?
True
Let p be (1 + (-3)/6)*0. Suppose 29*o - 34*o + 365 = p. Is 24 a factor of o?
False
Let n(p) = -27*p - 132. Is 51 a factor of n(-36)?
False
Let g be ((-8)/36 - 0) + 5188/18. Suppose g = 14*r - 11*r. Is 11 a factor of r?
False
Suppose 3*w + 5*u + 1991 = 11*w, -2*u = 3*w - 735. Does 2 divide w?
False
Suppose -4*q + 0*f = -2*f - 294, -f - 3 = 0. Let o = q - 20. Is 13 a factor of o?
True
Does 10 divide 3198/10 - (-16)/80?
True
Is 41 a factor of 0 + 99/45*485?
False
Let q(z) be the first derivative of -2*z**2 - 8*z - 8. Let c be q(-4). Suppose c*o - 3*o = 5*l - 195, 0 = -2*l - o + 93. Does 11 divide l?
True
Let u(o) = -o**2 + 4*o + 7. Let q be u(5). Suppose 2 = -l + 6, q*l + 176 = 4*h. Suppose 0 = -b + 3*s + 54, -b - s - h = -2*b. Is 21 a factor of b?
True
Let m(p) = 10*p - 2. Let f(l) = -l**2 - 10*l + 12. Let u be f(-11). Let y be m(u). Let q = y - -52. Is 16 a factor of q?
False
Suppose d + 0 - 4 = 0. Suppose 5*k - 445 = -o + 1, d*o = -5*k + 449. Suppose -k = -3*y - 11. Is 4 a factor of y?
False
Let n = 17 - 14. Suppose p = 5 + n. Suppose 2*m - p - 30 = 0. Does 4 divide m?
False
Let b be -3*5/(-3)*1. Suppose -b*l - 1 = 14. Is (-35)/(-3) - l/9 a multiple of 6?
True
Let s(u) = u**3 - 9*u**2 + u + 3. Let l be s(9). Let o = 93 + l. Is 9 a factor of o?
False
Suppose c - 22 = -0*q - 2*q, 2*q = 0. Let l(w) = w**3 + 5*w**2 - 8*w - 4. Let f be l(-6). Let m = c - f. Does 6 divide m?
False
Suppose -2*a - 18 = 5*q, 6*a - 5*a = 2*q. Does 21 divide a + -3*44/(-4)?
False
Let k = -135 + -20. Is (-10013)/k - 1/((-5)/2) a multiple of 15?
False
Let o(i) = 2*i + 12. Let p be o(-8). Let b be 6*(0 + p)/(-12). Suppose 0 = 3*c - 2*x - b, -2*c + 0*c = x - 13. Does 3 divide c?
False
Let h(j) = 16*j**3 + 2*j**2 + 4*j + 25. Does 49 divide h(6)?
True
Suppose 2*a + 114 = 2*k, 245 = 156*k - 151*k + 5*a. Is 13 a factor of k?
False
Let v(r) = r**3 - 2*r**2 - 6*r - 6. Let q be v(4). Suppose -5*l - 2*z + 30 = 0, -l + q*z = -6 - 12. Does 2 divide l?
True
Let i(p) = 18*p**2 - 5*p + 4. Let x be i(4). Suppose s - x = -s. Suppose 4*h - 136 = 5*a, 4*h + 2*a = -2*a + s. Is h a multiple of 17?
True
Suppose -5*x = -4*q + 797, 2*q + 2*x - 263 = 131. Let a = -166 + q. Is 7 a factor of a?
False
Suppose -i - i = -8. Suppose 0 = -i*u + 18 + 22. Suppose -252 = 6*x - u*x. Is 19 a factor of x?
False
Let c be (-2 - -17)*(-6)/10. Does 2 divide c*(2 - (5 + -2))?
False
Let h = -481 + 721. Is h a multiple of 20?
True
Let r = -84 + 88. Suppose 0 = -r*f + 10 + 374. Does 32 divide f?
True
Suppose 8*d - d - 56 = 0. Suppose -2*l = -d*l + 390. Is 13 a factor of l?
True
Let w(c) = 25*c + 7. Let n(y) be the third derivative of -25*y**4/12 - 13*y**3/6 + 3*y**2. Let u(f) = -6*n(f) - 11*w(f). Is u(1) a multiple o