 j = -12 - 6. Does 6 divide x(j)?
False
Let w(p) = 11*p + 2. Is w(10) a multiple of 8?
True
Let s(p) = -24*p + 21. Let y(x) = 70*x - 62. Let a(o) = -11*s(o) - 4*y(o). Is a(-7) a multiple of 20?
False
Let n(c) = -12*c + 2. Suppose -g - 3*g + 12 = 0. Let t be n(g). Let o = -5 - t. Is o a multiple of 11?
False
Suppose -8*d = -5*d - 9. Suppose f - 4*m + 6 = -7, -3*f = -2*m - 11. Suppose d*x = f*x - 168. Is x a multiple of 14?
True
Let c(p) = -2*p**2 - 24*p + 1. Let i(s) = 3*s**2 + 36*s - 3. Let x(d) = 8*c(d) + 5*i(d). Suppose -2*r - 9 = 9. Is 20 a factor of x(r)?
True
Suppose 26*f = 19*f + 882. Does 21 divide f?
True
Let b(r) be the first derivative of 5*r**4/4 - r**3 - r**2 + 3*r + 5. Is 9 a factor of b(2)?
True
Let v(c) = c - 9. Let r be v(12). Suppose r*i + 24 = 90. Suppose -21*u = -i*u + 18. Is 3 a factor of u?
True
Let b(i) = i**3 + 9*i**2 + 10*i + 14. Let q be b(-8). Let t be q/10 + (-793)/(-65). Is 4/t*21 - -1 a multiple of 4?
True
Let n = -3 - -19. Let z be (-24)/n*(-6)/1. Suppose -4*s + z*s = 170. Is s a multiple of 20?
False
Suppose 0 = -5*l - 4*g + g + 2805, 0 = -l + 3*g + 579. Does 12 divide l?
True
Let u(f) = 120*f**3 - 5*f**2 + 6*f - 2. Is 3 a factor of u(1)?
False
Suppose 3*p = -g + 2709, -3*p + 8157 = 17*g - 14*g. Is 10 a factor of g?
False
Suppose -4*a - 5*g + 91 = 0, -a + 4 + 40 = -3*g. Let q = 14 - a. Let p = q - -29. Is 5 a factor of p?
False
Let k(c) = -c**2 - 28*c - 124. Is 33 a factor of k(-15)?
False
Let x be (-4)/12 + 380/6. Suppose -4*y - 5*o + 213 = 0, -4*o + 201 + x = 5*y. Is y - ((-6)/2)/3 a multiple of 16?
False
Let x be 1*(3/24 - 2812/(-32)). Suppose -v - x = -168. Is 12 a factor of v?
False
Suppose -p + 5*c = -142, p + 0*c + 2*c = 114. Let h = p - 69. Is h a multiple of 11?
False
Is 7 a factor of ((-756)/36)/(1/(-12))?
True
Suppose 0*v - 5*v = -10. Suppose h - 11 = -v*s, 0 = h - 3*s + 7 + 2. Suppose 4*r - h*y = 112 + 9, 30 = r - y. Does 19 divide r?
False
Suppose -31*w + 32*w = 127. Is 6 a factor of w?
False
Let c = 29 - 15. Suppose 11*x = c*x - 933. Suppose 5 = 5*s - 0*s, -3*y + x = 5*s. Does 17 divide y?
True
Let g(z) = -z**3 - 5*z**2 - 17*z + 9. Is g(-3) even?
True
Let h be (5 + -47)/((-6)/4). Let w = 32 - h. Suppose -x + 15 = -0*x + 3*m, -w*x + 44 = -4*m. Does 3 divide x?
True
Suppose -3*y + 2246 = 2*h, -3*h + 3*y = 125 - 3479. Is 40 a factor of h?
True
Let z(y) = y**3 - y + 3. Let s be z(0). Let v be ((-22)/(-6))/(9/54). Suppose s*d - 2*d = 2, -2*f - 3*d = -v. Is 8 a factor of f?
True
Suppose 0 = -o + 6*o - 105. Suppose 3*t - 8 - 55 = 5*u, 5*u - o = -t. Suppose -4*v - t = -f, 4*v - 9 = -1. Is f a multiple of 13?
False
Let j be 2*(-12)/10*30/(-24). Is 1 + j + 4 + 1 a multiple of 2?
False
Is 1/(-5) - -1618*2/5 a multiple of 13?
False
Suppose -h = -2 - 1. Let u(y) = -y - 5*y + 9*y - 4. Does 4 divide u(h)?
False
Let x(k) = 30*k - 17. Let o(y) = -15*y + 8. Let g(w) = 9*o(w) + 4*x(w). Let i be g(-2). Suppose 0 = 5*l - i - 81. Is l a multiple of 15?
False
Let y = -86 + -120. Let l = y - -344. Is l a multiple of 33?
False
Suppose -4*k + 0*q + 1864 = -4*q, 3*k - 1402 = 5*q. Does 54 divide k?
False
Let c be -9 - -12 - (2 - 2). Suppose 2*o = -3*t + 3, -2*o + c*t - 4*t - 3 = 0. Let n = 15 - o. Is 4 a factor of n?
False
Suppose 0 = -3*m + 3. Let o be 2/((3 - 3) + m). Suppose 0*l = 4*f + 4*l - 68, -o*l = 10. Is f a multiple of 13?
False
Let w = -505 + 682. Is w a multiple of 16?
False
Suppose -q = -2*q - 3*j - 16, -q = j + 6. Let w be q/(1/(-3*2)). Suppose w*p - 30 = p. Does 3 divide p?
True
Let b = 96 + -10. Let m = 2 + b. Is m a multiple of 6?
False
Let j(x) = -37*x - 16. Is j(-3) a multiple of 5?
True
Let p be 4*(1/(-4) - -1). Suppose -p*f - g + 244 = -2*f, 1206 = 5*f - 2*g. Is 36 a factor of f?
False
Suppose 0 = 3*s - 2*h + 153, 4*s + 205 = h + 2*h. Does 15 divide (-7)/s + (-1468)/(-14)?
True
Let f(t) = t**3 + 2*t**2 + t - 4. Let b(z) = 3*z**3 + 5*z**2 + 2*z - 11. Let k(r) = 3*b(r) - 8*f(r). Suppose 5*h - 13 - 2 = 0. Is k(h) a multiple of 11?
True
Let c be 2/4*5*12. Suppose 3*u - 129 - c = 0. Is u a multiple of 15?
False
Suppose 5*j = -1 + 16. Suppose d + 4*x - 75 = -0*x, -j*d = -4*x - 161. Does 4 divide d?
False
Let i(u) = -u - 2. Let m be i(-5). Let w = m + 22. Let q = -7 + w. Does 9 divide q?
True
Let o = 16 + 3. Let d = o - -34. Is 11 a factor of d?
False
Is 23 a factor of (-6)/30 + (-24046)/(-55)?
True
Let f be 2*(-3 - (-87)/6). Let g = 18 + -33. Let i = f + g. Does 3 divide i?
False
Let z = -878 + 1463. Does 45 divide z?
True
Let o(x) = x**3 + 4*x**2 + x. Let d(k) = k**3 - 5*k**2 + 5*k - 6. Let f be d(4). Let r be o(f). Is (21 + -5)*15/r a multiple of 10?
True
Let w = 5731 + -2137. Is w a multiple of 15?
False
Suppose -4*c + 1399 = -3*k - 762, 0 = -5*c - 5*k + 2745. Does 16 divide c?
True
Let t = -610 + 1050. Does 20 divide t?
True
Let w(z) = -z**3 - z**2 + 9*z - 3. Let p be w(-4). Suppose 0 = p*u - 4*u - 125. Is 5 a factor of u?
True
Let y be (-168)/(-90) - (-4)/30. Suppose d = 4*d - 54. Suppose -4*i = -d - y. Is 4 a factor of i?
False
Suppose 3*p - 202 = 389. Suppose -4*g = 5*s - 0*s - p, 5*g - 2*s - 238 = 0. Let x = -17 + g. Is x a multiple of 20?
False
Suppose m + 4*l = -0*m - 1, m - 5 = 2*l. Suppose 2*y = -m*b - 3*y + 1, b + 2*y = 1. Let z = 3 - b. Is z a multiple of 6?
True
Let n = 18 + 3. Let r = 47 + n. Is r a multiple of 17?
True
Suppose 10*p = 1974 + 1596. Is p a multiple of 119?
True
Let h be (8/(-2))/((-18)/27). Suppose -z = -h*z. Suppose 4*w - 3*o - 171 = z, -3*o - o = -12. Is 17 a factor of w?
False
Let n = 1838 - 1605. Is 41 a factor of n?
False
Let s = -4 - -6. Let a(b) = -b**2. Let k be a(0). Suppose 0*i - i - 3*h - s = k, 5*i - 3*h = 26. Is 4 a factor of i?
True
Let m(j) = 3*j**3 - 16*j**2 - 19*j. Does 12 divide m(8)?
True
Let b(w) be the third derivative of -w**6/40 - w**5/15 + w**4/24 - w**3/2 - 15*w**2. Is b(-4) a multiple of 13?
False
Let o = 41 - 269. Let u be (-2)/(-9) + o/54. Let z = 49 + u. Is 15 a factor of z?
True
Let f be 11 - (5 - 2) - 2. Let a = f + -16. Let i = a + 25. Is i a multiple of 6?
False
Let j(h) = 5*h**2 - 3. Let a be j(2). Let c = a + 10. Is c a multiple of 9?
True
Let i(j) = 3*j + 2. Let c be i(3). Suppose -2*g = 2*s - 1 - c, -2*g - s + 11 = 0. Suppose 31 = 2*w + 3*z, 8 = g*w - 4*z - 12. Is 8 a factor of w?
True
Suppose m = 3*h - 33, 0 = -2*h - h - 4*m + 18. Let u(s) = -h*s - 6 + 7*s + 19. Is u(-13) a multiple of 26?
True
Let d(o) = -3*o**3 - 5*o**2 + 2*o + 6. Is d(-4) a multiple of 10?
True
Suppose -11*a + 1935 = -6216. Is 13 a factor of a?
True
Let v be -2*7/4*(-16 - 4). Is 771/5 + (-14)/v a multiple of 14?
True
Suppose -5*a = -396 + 191. Does 2 divide a?
False
Suppose -10*s = 152 + 698. Is 17 a factor of (s/4)/(4/(-16))?
True
Let m = -21 - -16. Let n(c) = 27*c. Let v be n(m). Let z = v - -211. Does 25 divide z?
False
Suppose 0*m = 5*m - 0*m. Is 28 a factor of (m + 2)/((-1)/63*-2)?
False
Suppose w = 62 + 18. Does 19 divide w?
False
Let g(t) = 4*t**2 - 2*t - 1. Let i be g(-1). Suppose -i*x + 285 = -2*x. Let m = -59 + x. Does 9 divide m?
True
Suppose 10*m - 5*m + 4*c = 1112, -3*m - 2*c = -666. Is m a multiple of 20?
True
Let z(u) = u**2 - 12*u - 19. Is 6 a factor of z(19)?
True
Let s be (1 + -1)/((-60)/15). Does 41 divide (-2 + 3 - s)*(85 - 2)?
False
Suppose c = -4*g + 4, -4*g + c = -1 + 5. Suppose g = 7*j + 7 - 42. Is j a multiple of 3?
False
Let i(f) = 7*f**3 - 35*f**2 - 41*f - 41. Let x(w) = -11*w**3 + 53*w**2 + 62*w + 61. Let k(l) = -8*i(l) - 5*x(l). Is k(16) a multiple of 8?
False
Let i be (-24 + (-1 - 1))*21/(-6). Let q = -46 + i. Is 10 a factor of q?
False
Suppose -n = -l - 1057, -4*l - 52 = -44. Is n a multiple of 38?
False
Let c = 5 + -2. Suppose -261 = -4*p + 219. Suppose -p = -6*x + c*x. Does 18 divide x?
False
Is 12 a factor of 6181/5 - 14/70?
True
Suppose 0 = -3*p - 3*a + 942, 1575 = 7*p - 2*p + 4*a. Is p a multiple of 36?
False
Let c = -23 - -24. Does 3 divide (2 - 3)*c - -13?
True
Let z(h) = -11*h**3 + h**2 - 3*h - 4. Let l be z(-1). Suppose -6*n + l*n - 175 = 0. Does 7 divide n?
True
Suppose -5*m = -2*k - 473, -4*k - 91 = 88*m - 89*m. Is m a multiple of 43?
False
Let p(b) = 4*b**2 - 14*b - 8. Is p(5) a multiple of 3?
False
Suppose -30*m = -22*m - 24528. Does 73 divide m?
True
Let f(j) = -2*j - 10. Let k be f(-8). Suppose -k = -2*h, 5*y + 2*h - 9 = 2*y