 35 = 5*x. Does 7 divide 3/((30/28)/f)?
True
Let c be ((-4)/3)/(2/(-9)). Let w(x) = -x**2 + 7*x - 1. Is w(c) a multiple of 5?
True
Suppose -12 = 3*a, k - 90 = 3*a - 2*a. Is 16 a factor of k?
False
Suppose 2*j - 18 = -4*f, -21 = -0*j - 3*j - 4*f. Suppose n + n - 28 = -j*i, 0 = -i + 5*n + 15. Is i a multiple of 9?
False
Let j = 14 - 9. Let q = 27 + j. Is q a multiple of 16?
True
Suppose 18*a = 6*a + 2280. Is a a multiple of 19?
True
Let h(s) = -s**3 - s**2 + s. Let x(b) = 7*b**3 + 5*b**2 - 7*b + 2. Let w(u) = 5*h(u) + x(u). Is w(2) a multiple of 7?
True
Let n be (4 + -2)/(2/(-87)). Let d = n - -174. Does 29 divide d?
True
Let d(p) = -p**3 - 9*p**2 - 9*p - 4. Is 7 a factor of d(-9)?
True
Suppose -28 = 5*f - 2*t + 8, -2*f + 5*t - 27 = 0. Is (-4)/f - 316/(-12) a multiple of 25?
False
Let m(g) be the third derivative of -g**6/120 - g**5/12 - g**4/8 - 5*g**3/6 - 2*g**2. Let l be m(-4). Does 15 divide l/6*(-46)/3?
False
Let v = -65 + 119. Is v a multiple of 11?
False
Suppose -w + 5*w + 4 = 0. Let n(b) = 111*b**2 + 2*b + 1. Let o be n(w). Suppose o = 5*u - 0*u. Is 11 a factor of u?
True
Let b(s) = s**2 - 7. Let y be b(-7). Let g be y/(-15)*(-4 - 1). Is 5 a factor of 4/(-14) - (-144)/g?
True
Suppose 2*g - 172 = -3*d, 0 = -0*g + 4*g + 5*d - 340. Is 16 a factor of g?
True
Let a = -228 + 444. Is a a multiple of 9?
True
Let k(q) = q - 6. Let d be k(4). Let r(u) = -12*u - 3. Let z be r(d). Suppose z = -3*t + 4*t. Is 12 a factor of t?
False
Let c(d) = -d + 18. Is 5 a factor of c(0)?
False
Let s = 1 + 2. Suppose -2 = x - 3*n, -4*x + s*x = 2*n - 13. Is 4 a factor of x?
False
Let v = 8 - 5. Let g be ((0/(-3))/1)/1. Suppose 0*w - w + v = g. Is w a multiple of 3?
True
Let o = 6 + -2. Suppose -5*t + 111 = 2*i, -3*t + 7*t = -o*i + 216. Let u = i - 26. Is 15 a factor of u?
False
Suppose 0*n = -4*q + 3*n + 13, -5*q + 3*n = -17. Suppose -3*x = q - 16. Suppose 15 = x*z - 45. Is z a multiple of 8?
False
Suppose -v + 3*v - 6 = 0. Let r(g) = g + 1. Let d be r(10). Suppose -2*i + v*i = d. Is 11 a factor of i?
True
Let g(v) = -v + 13. Let h be g(0). Let k = 71 - h. Is 18 a factor of k?
False
Suppose 2*f - 4 = f. Let m(h) = -h - 2. Let u be m(-4). Suppose 2*y = f*c - 10, 0 = -5*y + 5*c - u - 3. Is y a multiple of 3?
True
Let t be (-6)/(-4) - (-3)/6. Suppose -6*l + 3*l = -45. Suppose 5 + l = t*i. Does 10 divide i?
True
Let l = 5 + -3. Suppose l*o + 40 = 7*o. Is 8 a factor of o?
True
Let s(c) = -3*c**3 - 2*c**2 + 3*c + 2. Let q be s(-2). Is 11 - q - 26/(-2) a multiple of 12?
True
Suppose -2*c + 4*h + 1100 = 0, -5*c + 5*h + 3679 = 914. Let t be c/14 - (-8)/28. Let p = 19 + t. Is p a multiple of 16?
False
Let w(b) = 29*b**3 + b - 2. Is w(1) a multiple of 4?
True
Let s(t) = -6*t - 13. Is 8 a factor of s(-7)?
False
Let n(o) = -o**2 + 6*o - 4. Let u be n(4). Suppose u*x = -q - 10, 0 = -5*q - 4*x + 8*x + 22. Suppose -42 = -3*k - 2*r - r, -28 = -q*k + r. Is 7 a factor of k?
True
Let g be 64/(-48)*(-3)/2. Let h(y) = 2*y**3 - y**2 - y - 2. Does 8 divide h(g)?
True
Let q(o) = -7*o**2 + 5*o + 22. Let x(m) = -m**2 + m + 1. Let w(z) = q(z) - 6*x(z). Is w(0) a multiple of 4?
True
Let y = -32 + 46. Is y a multiple of 14?
True
Suppose -3*u + 6 = m, 0 = -2*u + 4*m - 2 + 6. Let x be (-1)/u*(-2 + -2). Suppose -x*r + 3 = -a + 6, 16 = 2*a - 2*r. Is a a multiple of 13?
True
Let g(i) = -1 - 2 - 2*i - 2*i. Is g(-2) a multiple of 3?
False
Let c = 8 + 22. Is 30 a factor of c?
True
Let v(w) = -9*w - 5. Is 15 a factor of v(-5)?
False
Suppose 0 = 3*f + 58 - 256. Let v = -36 + f. Is 10 a factor of v?
True
Let v(q) = 3*q**2 + 4*q - 2. Is 5 a factor of v(-4)?
True
Let m be (30/105)/((-2)/14). Suppose f = -3*f - 8. Is (-6)/m - 9*f a multiple of 7?
True
Let a(t) = -47*t**3 - t**2 + t + 1. Does 12 divide a(-1)?
False
Suppose 8 = 2*b - 10. Let z be (1 - -1)/(1/(-5)). Is 14 a factor of (4 - b)*56/z?
True
Suppose -u + m - 23 = 6*m, 3*u = m + 11. Let l = u + -4. Does 16 divide ((-78)/l)/((-6)/(-4))?
False
Let w be (-12)/30 + 492/5. Suppose 2*h - 12 - 25 = 5*x, 4*h - 2*x - w = 0. Is h a multiple of 13?
True
Suppose -102 = 14*z - 17*z. Is 11 a factor of z?
False
Suppose 7 = 5*z - 3. Let t = z + 4. Is t a multiple of 6?
True
Suppose 5*j + 3*i = -2, j - 3*i = 2*j - 2. Is 11 a factor of ((-1)/3)/(j/66)?
True
Suppose 20 = -4*w, -6*t = -3*t - w - 566. Is 17 a factor of t?
True
Is 20 a factor of 0 - (-4 + 0)*54?
False
Suppose 4*k - 3*r - 27 = 8, k + r - 7 = 0. Let m be (-11)/(-4) - (-2)/k. Is 19 a factor of (m - 0)/(1/7)?
False
Let t(k) = -66*k - 1. Let i be t(2). Let m = -69 - i. Suppose -5*x - 5*c = -100, 5*c + 0*c = -3*x + m. Is x a multiple of 9?
True
Suppose 3*l + 5 = -a, 4*a + 5*l = 5*a - 35. Let x(s) = 12*s - 3*s**2 + 2*s**2 + 0*s**2 - 5. Is 15 a factor of x(a)?
True
Let f = -16 + 161. Does 8 divide f?
False
Suppose 5*v - 10 = -4*r - 38, 4*v + 8 = 4*r. Let n = r + 5. Suppose n*l = 4*l - 10. Is 10 a factor of l?
True
Suppose 2*b - 6*y - 19 = -y, 3*b - 5*y = 36. Is 8 a factor of b?
False
Let h(p) = -5*p - 7. Let z be h(-3). Let r = 28 + -12. Let t = r - z. Is 4 a factor of t?
True
Let n(k) = 17*k**3 - 2*k**2 + k - 2. Let o be n(2). Let v = o + -84. Is 22 a factor of v?
True
Let g = 13 - 5. Let m be g/5*(-25)/(-10). Does 3 divide (9/m)/(12/32)?
True
Let m(t) = -7*t + 3. Let v be 27/6*(1 - -1). Let x be m(v). Is x/(-9) + (-3)/(-9) a multiple of 5?
False
Let g = 27 + -18. Suppose 3*i = 0, -4*i - 66 = -5*o + g. Is o a multiple of 11?
False
Let g be 4*2 - (-11 + 10). Suppose -g = -d + j, -2*j - 2 = 4. Is d a multiple of 6?
True
Let b(r) = -r**3 - 11*r**2 - r - 6. Let t be b(-11). Suppose 89 = 2*q + t. Is q a multiple of 15?
False
Let c be (-14)/10 - 2/(-5). Let m be ((2 - 3) + c)*-1. Suppose 5 = 5*i, 3*t + m*i - 2 = 15. Is 5 a factor of t?
True
Suppose 3*v + 3*q + 141 = 0, -4*v - q = -2*q + 193. Is (-1720)/v - (-2)/12 a multiple of 12?
True
Let f = 42 + -1. Is 20 a factor of f?
False
Suppose 0 = 5*z + 6*m - 7*m - 394, -5*z + 386 = m. Is z a multiple of 39?
True
Suppose 20 = 5*a - 4*z, 4*a = -0*z - 5*z - 25. Suppose -4*m + 4 = -5*m, a = -3*l - 5*m + 319. Is l a multiple of 23?
False
Does 4 divide (-103)/(-6) - 4/24?
False
Let f(c) be the first derivative of 9*c**2/2 - c - 4. Is 9 a factor of f(6)?
False
Suppose 3*o - 6*o = -165. Is 5 a factor of o?
True
Let y(o) = o**2 + 9*o + 9. Let q be y(-9). Suppose 5*h - 6 = q, -i + 32 = 2*h. Does 13 divide i?
True
Let k be ((-1)/3)/((-3)/27). Suppose k*x = -x. Is 7 a factor of 11 + x*2/(-6)?
False
Let u(f) be the first derivative of f**2/2 + 7*f - 3. Is u(-5) even?
True
Suppose 0 = -p - p. Suppose p = -c - c + 14. Let n(x) = -x**3 + 6*x**2 + 9*x - 8. Does 6 divide n(c)?
True
Is ((-96)/(-40))/((-4)/(-110)) a multiple of 22?
True
Let f(i) = -i**2 - 3*i. Let w be ((-16)/6 - -2)*3. Let o be f(w). Suppose -7 = -o*z - 1. Is 3 a factor of z?
True
Let a be ((-18)/15)/(4/10). Does 15 divide 16 - (6/(-2))/a?
True
Let y = -7 - -11. Let c(g) = 5*g - 4. Is c(y) a multiple of 8?
True
Let z(u) = -u**3 + 4*u**2 + 2*u - 6. Let j be z(4). Let r(g) = 1 + g**2 + 2*g - g + 0 + 1. Is 8 a factor of r(j)?
True
Suppose 0 = -0*l + 2*l - 128. Let f = -25 + l. Is 23 a factor of f?
False
Let i = -1 - -3. Suppose -3*h = -u - 66, i*u - 18 - 92 = -5*h. Suppose -5*z + 38 = -h. Is 6 a factor of z?
True
Let l(j) = -2*j**2 + 6*j - 2. Let f be l(3). Let d(z) = -10*z**3 + 3*z**2 + 4*z + 1. Does 17 divide d(f)?
True
Let a = 17 + -6. Suppose -28 - a = -3*r. Suppose v + 1 = r. Is 5 a factor of v?
False
Let s = -10 + 14. Suppose 0 = -4*w - 5*f - 24 + 205, -5*w = -s*f - 175. Does 14 divide w?
False
Let d(c) = c**3 + 5*c**2 - 8*c. Let g be (3 + -3 - -6)*-1. Does 6 divide d(g)?
True
Suppose 3*r - 22 - 11 = 0. Suppose 5*b - q = 50, q = -2*b + 2 + r. Suppose 1 + b = 5*v. Is 2 a factor of v?
True
Suppose 36 = 5*x - 154. Is 12 a factor of x?
False
Does 8 divide (2 + 10)*(-4)/(-6)?
True
Suppose -20 = -l - 3*l. Suppose 4*z - l - 65 = -5*g, -5*z + 3*g = -69. Let r = z + 9. Is 12 a factor of r?
True
Suppose 6*y - 9*y - 5*k + 104 = 0, 3*y + 3*k - 96 = 0. Does 4 divide y?
True
Does 6 divide 40/2 + 1 + 3?
True
Suppose c = 4*y + 8 + 9, y + 4*c = -17. Is -5*(0 + 28/y) a multiple of 14?
True
Suppose -19*c + 22*c = 585. Is c a multiple of 13?
True
Suppose 806 = 3*i + 5*k, -i = 5*k - 281 + 29. Is i a multiple of 39?
False
Let n be 4 - 1 - (