9 divide 3*(-3 - f/9)?
True
Suppose 0 = -418*c + 433*c - 8250. Is c a multiple of 10?
True
Is ((-5320)/49)/(6/(-21)) a multiple of 38?
True
Let s(w) be the third derivative of -w**4/4 + w**3 - 5*w**2. Does 10 divide s(-6)?
False
Is 15/45 - (-879)/9 a multiple of 13?
False
Let n(v) = v + 3. Let s be n(-5). Let i = s + 6. Is 28/12*(i + -1) a multiple of 7?
True
Let p be (213759/(-49))/(-9) + 4/14. Let s = p - 219. Is s a multiple of 38?
True
Let m = 473 + -22. Is 41 a factor of m?
True
Let h be (-634)/(-14) + 3 + (-207)/63. Let f = h - -65. Is f a multiple of 55?
True
Is (-11462)/(-12) - 5/210*7 a multiple of 67?
False
Let q(r) = -2*r**2 + 84*r - 4. Does 30 divide q(14)?
True
Let w(z) = 22*z**2 - 44*z + 88. Is w(2) a multiple of 22?
True
Let z = -7 + 7. Suppose z = -q + 4*q - 96. Is 10 a factor of q?
False
Let r be (-2)/((14/8)/(-7)). Let m be (57/2)/(4/r). Let f = m - 32. Is 8 a factor of f?
False
Let l(r) = -21*r - 29*r - 49*r - 58*r + 7. Is 32 a factor of l(-1)?
False
Suppose -4*g + 31 - 11 = 0. Suppose 3*a - 3 = -0*a + 3*r, 0 = -2*a - 3*r + 7. Suppose 3*u + 2*u + p = 61, a*p - 57 = -g*u. Is 12 a factor of u?
False
Let c(f) be the second derivative of f**4/6 - 3*f**3/2 - 4*f**2 - 6*f. Is 12 a factor of c(8)?
True
Suppose -4*n + 8*n = 0. Suppose 3*f = -2*q + 233, -q + n*f + 149 = -5*f. Suppose 2*l + 2*l = q. Does 11 divide l?
False
Let t = 5 - 3. Let y be 5 + 1/(-1) - t. Suppose 0*a - y*a = -102. Is 17 a factor of a?
True
Let l(v) = v + 2. Let h be l(7). Let u(r) = 2*r - 5. Let d be u(h). Suppose -3*j = -17 - d. Is j a multiple of 10?
True
Suppose x - 4 = -x - 5*g, -3*x - 11 = -g. Let s be x + 1 + (15 - -3). Suppose 2*v - 18 = 2*t + 86, -s = 4*t. Is 24 a factor of v?
True
Suppose 10*u = 3*u. Suppose 2*t - 2*r - 192 = u, -5*t = -r - 83 - 417. Is 11 a factor of t?
False
Let m be -11*5 - (6 - 4). Let g be m/6 - 1/(-2). Let a(h) = -h**2 - 10*h. Is a(g) a multiple of 3?
True
Suppose 4*y = 4*z - 2256, -3*z - 314 = -4*y - 2009. Is 42 a factor of z?
False
Let w(b) = 174*b**2 - 72*b + 214. Is 34 a factor of w(3)?
True
Let i be ((-1)/2)/((-19)/(-494)). Is 34 a factor of i/((-78)/340)*3?
True
Let j be (-1 - (-2)/(-3))*(6 + 18). Is (-4)/(-10) + (-2584)/j a multiple of 13?
True
Let i = 1 - 5. Let s be (2/i)/1*-44. Let x = s - 14. Does 2 divide x?
True
Suppose 2*q = 0, 0 = -4*w + 2*q - 5*q + 32. Is 7 - (w - 1 - 3) even?
False
Does 79 divide (470*(-5)/10 - 2)*-1?
True
Suppose -13860 = 31*f - 43*f. Does 35 divide f?
True
Is 5*(-25)/5*-97 a multiple of 66?
False
Suppose -a = -5*d - 88 - 6, -558 = -5*a + 3*d. Let u = -62 + a. Does 47 divide u?
False
Let p be 3/(-6)*(8 + -6). Let o(r) = 12*r + 1. Let n be o(p). Let g(t) = -t**2 - 11*t + 15. Is 3 a factor of g(n)?
True
Let l(s) be the first derivative of -9*s**2/2 - 3*s + 2. Let c(h) = 3*h. Let r be c(-1). Is l(r) a multiple of 24?
True
Does 3 divide (360/(-7))/(-9)*21?
True
Let b = 13 + -11. Let w(c) = 2*c - 1. Let i be w(b). Suppose -5*v + i*v + 44 = 0. Does 11 divide v?
True
Let y(k) be the first derivative of -k**3/3 + 15*k**2/2 + 26*k - 15. Is y(13) a multiple of 13?
True
Is 5 a factor of 16/6*1287/78?
False
Suppose -4*v + 1055 = -y, 259 = 3*v - 2*v - 5*y. Suppose v - 54 = 5*i. Does 14 divide i?
True
Let c be (-132)/(-60) + 2/(-10). Suppose -c*s - 151 = -f + s, -2*f + 2*s + 302 = 0. Is 24 a factor of f?
False
Let v = 166 + 581. Is 3 a factor of v?
True
Suppose -2*g + 30 = -20. Suppose -2*u - 27 = -3*o + 26, 5*u - g = -3*o. Is 2 a factor of o?
False
Let n(b) = b**3 - 13*b**2 + 12*b. Let s be n(12). Suppose s = -2*p + p + 26. Let j = p + 18. Is j a multiple of 11?
True
Let v = -4 - -7. Suppose h + 5*x - 4 = -1, 5*h = -v*x + 15. Suppose 2*c - 74 = -a + 5*a, 3*c - 96 = h*a. Is 9 a factor of c?
True
Let z be (-18)/27*(-177)/2. Let l = z + -35. Is l a multiple of 14?
False
Let w(l) = -4*l - 26. Suppose 15 = 16*r - 17*r. Is 22 a factor of w(r)?
False
Let h = -82 - -84. Suppose -5*x = -10*x + 155. Suppose x = n - h. Is 15 a factor of n?
False
Does 4 divide (88 - 55)*(12 - -1)*1?
False
Let l = -675 - -1067. Does 7 divide l?
True
Let u be (-46)/(-10) + 24/(-40). Suppose u*j + t + 2*t = 212, -2*t + 216 = 4*j. Is j a multiple of 8?
True
Let b be (1/2)/((-1)/8). Let a be b/10 + 4/10. Suppose a*n = -n + 16. Does 8 divide n?
True
Let h(t) = -7*t**2 + 7*t + 5*t**2 + 2*t**2 + t**2 + 12. Does 15 divide h(-9)?
True
Let h = 1536 - 111. Is h a multiple of 11?
False
Let f be ((-8)/(-10))/(8/20). Let s(c) = 1 + 1 + 2*c**2 - c**f - 2*c. Does 3 divide s(3)?
False
Let n = 3700 + -1687. Does 69 divide n?
False
Let v be 13 - 1 - (0 + 2). Let z(j) = -j**3 - j**2 + j - 1. Let r(i) = -2*i**3 - 12*i**2 - 8*i - 8. Let n(x) = -r(x) + 3*z(x). Is n(v) a multiple of 3?
True
Let d = -2 - -6. Suppose -d*u + 15 = -s, 3*u + 8 = 5*s - 2. Suppose -2*l = -o - 3 - 11, 5*o = -s*l + 50. Does 2 divide l?
True
Suppose 0 = -0*k - 2*k + 6. Suppose 0 = -4*n + k*n + 132. Suppose -186 = -4*a + 2*w, -w + n = 4*a - a. Does 22 divide a?
False
Suppose 4*d - c - 2*c + 93 = 0, -2*c = 2*d + 64. Let r = 2 - d. Does 11 divide r?
False
Let m(a) = -6*a + 2. Let o be m(-3). Suppose 4*w + 3*t = -2*t + 165, -w + 3*t = -o. Suppose 0 = 5*q + 10 - w. Does 2 divide q?
False
Suppose 4*f - 36 = 5*f. Is 11 a factor of ((-16)/(-3))/((-4)/f)?
False
Is 20 a factor of ((-80)/(-6))/((-4)/(-618))?
True
Suppose -t = -1 - 2. Suppose -68 = -4*s - 4*v, -4*s = -t*v + 4*v - 83. Is 6 a factor of s?
False
Suppose 0*p = -9*p + 504. Is 22 a factor of p?
False
Suppose 4 = -0*t + t. Suppose 2*w - s = -3, w = 5*w - t*s + 8. Is ((-6)/10)/(w/15) a multiple of 9?
True
Does 3 divide (-10716)/(-54) - 8/18?
True
Let n be (-4)/(-2 - 2) - 1. Is ((-6)/24 - n)*-60 even?
False
Let s(z) be the third derivative of -z**5/60 + z**4/2 + 2*z**3/3 + z**2. Is s(7) a multiple of 3?
True
Let u(s) = 11*s**2 + 2*s - 3. Let w(c) = -c**2 - c - 1. Let l be w(-2). Let h be u(l). Suppose h = 4*n + 26. Is 8 a factor of n?
True
Suppose 13 = 4*u - v, -3*v - 15 = -u - 3*u. Suppose -2*z = -5*l + 11, 3*l - u = 3*z - 0. Does 2 divide l?
False
Suppose -4*r = -32 + 12. Let n(d) = 6*d**2 + 2*d - d**3 + 3*d**3 + 18 - 3*d**3 - 21. Does 16 divide n(r)?
True
Let o = 361 - 167. Is 42 a factor of o?
False
Suppose 5*k - 3*d - 50 = -d, -5*k + d + 50 = 0. Suppose 4*i - 2*a + k = 0, 20 = -2*a + 6*a. Let o(h) = -2*h + 15. Is 4 a factor of o(i)?
False
Let p(y) = 2*y**2 + 17*y + 3. Let l be 4 + -16 + 3/(-3). Is 12 a factor of p(l)?
True
Let d(f) = 31*f**2 - 3*f + 4. Let w(u) = -7*u - 31. Let h be w(-4). Is d(h) a multiple of 12?
False
Is 33 a factor of 1*(-730)/(-4)*8/4?
False
Let c be (-30)/25*20/(-6). Suppose t - 50 = c*x - 8, 3*t + 4*x = 158. Does 15 divide t?
False
Let y = 52 - 40. Does 7 divide 8/(-12) + 836/y?
False
Suppose -463 = -5*q - 4*n + 397, 688 = 4*q + n. Does 3 divide q?
False
Let p(u) = u**2 - 13*u + 17. Let s be p(12). Suppose 4*h = b + 3*b - 116, s*b + 5*h = 165. Is b even?
False
Let k be -3*10/18*-3. Suppose 2*s + 73 = -d, k*d + 15 = -0*d. Let o = -21 - s. Is 7 a factor of o?
True
Suppose 0 = -19*t + 1665 + 8842. Does 7 divide t?
True
Suppose 2*x = -2*l - 10, -2*x = -l + 6*l + 25. Suppose s - 49 + 9 = x. Let z = -10 + s. Is z a multiple of 10?
True
Let m be (-5)/(-10) - (-6)/4. Let l be 42/12 - m/4. Suppose 5*r - 59 = -3*s + 67, l*s = -2*r + 54. Does 12 divide r?
True
Let m(v) = 8*v**2 - 3*v + 2. Let b(c) = 31*c**2 - 13*c + 8. Let a(u) = -2*b(u) + 9*m(u). Is a(-2) a multiple of 22?
True
Let w(h) = 608*h**2 - 13*h + 5. Is 100 a factor of w(1)?
True
Suppose -3286 = -24*b - 598. Is 11 a factor of b?
False
Let u be (-36)/24*(0 + -2). Is 2/u*-1*(10 - 46) a multiple of 3?
True
Suppose 3*v = -1 - 35. Is 15 a factor of v/(-48) + (-467)/(-4)?
False
Let i be 32/(-24) - 10/(-3). Suppose 0 = i*r - 43 + 31. Is r a multiple of 2?
True
Let w = -8 + 8. Suppose w = -5*o - 3*k + 214, -4*o - 2*k + 152 = -20. Is 22 a factor of o?
True
Suppose -2835 = -38*h + 33*h. Does 63 divide h?
True
Suppose 0 = 9*s + 8*s - 5780. Does 17 divide s?
True
Let u = -224 - -310. Is u a multiple of 48?
False
Let r(p) = p**3 - 2*p**2 - 18*p + 29. Is r(8) a multiple of 27?
False
Let h(c) = -25*c + 6. Let b(m) = m**3 + 3*m**2 - 5*m - 6. Let p be b(-4). Is 15 a factor of h(p)?
False
Suppose -222*p - 4549 = -3*i - 224*p, 5*i + 2*p = 7587. Does 31 divide i?
True
Suppose 0 