Suppose 5*w - 3*w = 0. Suppose w = 3*j - d + y - 32, 3*j - 4*d - 20 = 0. Is 6 a factor of j?
False
Let j(d) be the first derivative of -d**4/4 - 4*d**3/3 + 5*d - 1. Let n be j(-5). Suppose -4*p + n = -p. Is 5 a factor of p?
True
Does 7 divide (-2 + 10)/(2/7)?
True
Suppose -8*x = -3*x + 10. Let c = 4 + x. Suppose 0 = -c*y + 11 + 3. Is 6 a factor of y?
False
Let l = -4 + 7. Let a = 6 - l. Is 9 a factor of 2/a*(-81)/(-2)?
True
Suppose d = 2*g + 6, -d = -g + 2*g. Let c be g/8 - 135/(-12). Let l = 29 - c. Does 9 divide l?
True
Let u(z) = -3*z - z**2 - 18 - 5*z + 19. Is u(-6) a multiple of 8?
False
Suppose -215 = -4*g + 57. Is 17 a factor of g?
True
Suppose -4*t + 4*r = 884, -2*r + 10 = -0. Let g(w) = -w + 2. Let a be g(0). Is ((-1)/a)/(2/t) a multiple of 21?
False
Let y = -15 + 23. Suppose -27 = -y*z + 5*z. Does 9 divide z?
True
Suppose 2*y - 3663 = -5*n - 1030, 2*n = -y + 1053. Is 59 a factor of n?
False
Suppose -2*r - 3*s + 245 = 0, -s + 345 = 3*r - 4*s. Let i = r + -44. Suppose 5*t - 3*t = -f + 47, 2*f + i = 3*t. Does 18 divide t?
False
Suppose -2*b - 38 = -h + 26, -4 = b. Is h a multiple of 27?
False
Let f = -1 - -1. Suppose -4*q + 2*q + 28 = f. Is 7 a factor of q?
True
Suppose 2*s + 1 - 7 = 0. Let f = 6 - s. Suppose f*l = l + 20. Is l a multiple of 3?
False
Suppose q = -2*q + 6. Let r be -8*2/(-8)*q. Suppose -19 = -b + 2*v, r*b - 82 + 12 = 2*v. Is 7 a factor of b?
False
Does 33 divide 14/63 - (-2613)/27?
False
Let d = -16 - -28. Suppose 4*n - 2*c = 18, n - c - d = -3*c. Suppose -n*t + 80 = -2*t. Does 15 divide t?
False
Suppose 5*q + 247 = o, -5*o + 1179 = -q - 32. Is o a multiple of 11?
True
Let n be -10*2/(-8)*22. Suppose -2*b = -p - n, -b + 30 = -p - 0*p. Suppose 0 = 4*f - b - 47. Does 18 divide f?
True
Let z(y) = 5*y + 6. Is 6 a factor of z(6)?
True
Let d(w) = w**2 + 10*w + 3. Let m be d(-10). Let h be (-9 + 6/m)/1. Let u(b) = -b**2 - 9*b + 7. Does 12 divide u(h)?
False
Let q = -3 + 6. Suppose -q*x = -9 - 3. Is x a multiple of 3?
False
Let h = 7 + 2. Does 11 divide ((-15)/h)/(2/(-24))?
False
Suppose 201 - 69 = 4*u. Suppose k + 5*c - 7 - 5 = 0, -10 = -3*k - 2*c. Suppose -k*m = m - u. Is 11 a factor of m?
True
Let a = 635 + -32. Is 6/14 - a/(-63) a multiple of 2?
True
Let o(p) = 7*p - 5. Suppose -q + 3 = 5*t - 1, -4*q = -4*t - 16. Is o(q) a multiple of 23?
True
Let l(z) = -z. Let n be l(-3). Let u be (n/6)/((-1)/12). Is 9 a factor of (u/10)/(1/(-15))?
True
Suppose q = -3*c + 27, -q + 5*q + 5*c = 115. Suppose -5*r = 5*h - q, h + 2*h = -r + 4. Does 7 divide r?
True
Let b(g) be the third derivative of g**5/60 + 5*g**4/24 - g**3/3 + g**2. Let s be b(-5). Does 11 divide -2*s/(-4) - -12?
True
Let b = -58 + 87. Is 2 a factor of b?
False
Let p be ((-21)/(-9) + -4)*-3. Suppose -p*j = q - 91, -j + 2*q - 49 = -4*j. Is 7 a factor of j?
False
Suppose -3*p - 28 = -7*p. Suppose -23 = d - 2*d - 4*g, g + p = 4*d. Does 3 divide d?
True
Let u(h) = -h**2 + 28*h - 31. Is 7 a factor of u(23)?
True
Suppose 0 = 4*j - 6*j - 4*n + 56, -5*n = 2*j - 51. Let m = -18 + j. Is m a multiple of 4?
True
Let f be (-6)/5*50/15. Suppose -4*d = 5*b + d, 3*d - 3 = 0. Is b/f + 134/8 a multiple of 7?
False
Let y = 56 + -14. Does 21 divide y?
True
Let n = 5 + -5. Suppose -5*g = j - 280, n*g - 95 = -2*g + 3*j. Suppose t - 130 = -5*k - 3*t, t = -2*k + g. Is 12 a factor of k?
False
Let b(a) = a**3 - 5*a**2 + a - 5. Let g be b(5). Is (132/(-15) - g)*-5 a multiple of 11?
True
Let w = 7 + 11. Does 9 divide w?
True
Let t be 308/(-12) + (-2)/(-3). Let o be 36/10 + (-10)/t. Suppose -v - o*v + 115 = 0. Is v a multiple of 9?
False
Let b(p) = -p**2 - 7*p - 5. Let z be b(-6). Let n be 8/8 + (z - 1). Is ((-6)/(-15))/(n/65) a multiple of 10?
False
Let u(k) = -k**3 - 3*k**2 + k + 3. Let h be u(-3). Suppose 0*l + 15 = 5*l. Suppose h = 4*n - l*n - 8. Is 8 a factor of n?
True
Suppose 0 = -3*j + 5 + 25. Let p = 16 - j. Suppose 0 = -2*q + p*q - 60. Does 15 divide q?
True
Suppose -3*k + 4*k = 3. Suppose -4*b - 3*o + 89 = -51, 0 = k*b - 5*o - 134. Is b a multiple of 14?
False
Suppose 2*h - 283 = 341. Does 39 divide h?
True
Let q(w) = 2*w - w - 2*w + 2*w + 21. Let f = 9 - 19. Is 7 a factor of q(f)?
False
Let g = 1 - -3. Suppose -3*y + y = -g. Does 2 divide 20/(-2)*(-1)/y?
False
Let h(n) = 13*n**2. Let u(p) = -p**2 - 4*p. Let i be u(-2). Suppose -i*g + 4 = 8. Does 6 divide h(g)?
False
Let a be (-1670)/(-4) - 3/2. Is 14 a factor of (1/2)/(8/a)?
False
Let o(n) = 20*n**3 + n**2 + n - 1. Is o(1) a multiple of 7?
True
Suppose 5*s - 16 = 9. Suppose -s*o - 3*r = -4*r - 32, 0 = 5*o + 2*r - 26. Is o a multiple of 6?
True
Suppose -4*h - 2*o + 570 = h, 0 = 3*h - 3*o - 342. Is 10 a factor of h?
False
Suppose -4*u + 186 = -9*u + 3*t, 2*u = -3*t - 66. Let p = u + 80. Is p a multiple of 22?
True
Let k(j) = j**3 + 15*j**2 + 14*j + 4. Does 3 divide k(-14)?
False
Suppose 3*f + 0*f = -4*v + 135, -4*v = 0. Does 14 divide f?
False
Suppose -2*g + 630 = g. Is g a multiple of 21?
True
Let s be 6/15*(-5)/(-1). Suppose 0 = -5*i + s*i + 6. Suppose 2*b - 55 = 3*o, -i*b - 134 = -7*b + 4*o. Is 13 a factor of b?
True
Suppose 3*z = -2*q + 5, 2*q - 3 = -2*z + 1. Let c be -5*(4/10 + 0). Is 5 - (1 - c - z) a multiple of 2?
False
Suppose -5*r - 150 = -0*p + 5*p, -3*p = 5*r + 148. Let f = r + 49. Is f a multiple of 14?
False
Suppose 23 = 4*o - 165. Is 14 a factor of o?
False
Let p be 1/((-22)/(-8) + -3). Let y(q) = 3*q**2 + 7*q + 5. Does 14 divide y(p)?
False
Suppose -l + 2 = 3*h, -h + 3*l = 4 - 18. Is ((-104)/(-39))/(h/3) even?
True
Suppose -2*n - 3*t = 10, -t - 1 = -2*n + 5. Does 23 divide -2*(75/(-6) + n)?
True
Let v(a) = -203*a + 1. Does 17 divide v(-1)?
True
Let t be (-2)/(-8)*-2*-56. Suppose 0 = 3*g + j - 13 - 36, 2*j = g - t. Is g a multiple of 9?
True
Let b(d) = -4*d + 1. Is 3 a factor of b(-2)?
True
Suppose 225 = 5*m + 2*k - k, -3*m - 3*k + 147 = 0. Is 22 a factor of m?
True
Suppose 2*l + 4*v - 10 = 0, l + v - 1 - 5 = 0. Suppose 0*z - 4*z + 76 = 0. Let h = l + z. Is h a multiple of 13?
True
Let b be (-3)/3*(-1 - 11). Suppose -s + 30 - b = 0. Is 9 a factor of s?
True
Let y(w) = -w**2 + 3. Let v be y(0). Suppose -a - v = -0. Let f(o) = -o**2 - 5*o - 4. Is f(a) even?
True
Suppose -10 = -3*x - 1. Suppose -x*p = -6, 0*p + 66 = 2*u - 4*p. Does 11 divide u?
False
Suppose 2 = -4*l + 14. Let k(v) = 0*v**2 - v**2 + 0*v**2 + v**3. Is 7 a factor of k(l)?
False
Suppose m - 223 = 2*q - 27, 5*m = 2*q + 212. Let f = q - -155. Is f a multiple of 26?
False
Let g(l) = l**2 + 9*l. Let o be g(-9). Suppose -3*c - 2*c + 180 = o. Does 25 divide c?
False
Suppose -7 = -3*z + 8. Suppose 6 = -5*d + 31. Suppose -d*x + 175 = -z. Is x a multiple of 18?
True
Let b be 1 + 1 - -2*1. Suppose 0 = -5*w + 25, 2*z - 9*w = -b*w + 23. Is z a multiple of 12?
True
Suppose 8 + 28 = 2*w. Suppose -4*m - 3 = -3*g - 16, 4*m = -2*g + w. Is -3 + 3 + 22*g a multiple of 11?
True
Suppose 4*h - 7 = 17. Is h even?
True
Let o(h) = 78*h + 2. Is 32 a factor of o(1)?
False
Let s = -3 - -44. Is 20 a factor of s?
False
Is 11 a factor of (-1 - 0)*(-6 - 13)?
False
Let y = 0 + 2. Let k be (2/y)/((-1)/1). Let l(r) = -24*r - 1. Is 14 a factor of l(k)?
False
Let b(j) = -j**2 - 9*j + 8. Let r be b(-9). Let y be (-12)/(-5) + r/(-20). Suppose y - 37 = -5*a. Is a even?
False
Suppose -12*w + 400 = -7*w. Is 16 a factor of w?
True
Let h(g) be the second derivative of 2*g**4/3 - g**3/6 + g**2/2 - g. Is h(1) a multiple of 3?
False
Let d(o) = -o + 1. Suppose -y = -5*y - 24. Is 5 a factor of d(y)?
False
Let m = 259 + -68. Is 15 a factor of m?
False
Let j = -168 + 278. Is j a multiple of 10?
True
Let n = 4 + -3. Let h(v) = -42*v**2 + 2*v + 7. Let z(b) = 21*b**2 - b - 4. Let l(i) = -4*h(i) - 7*z(i). Is l(n) a multiple of 10?
True
Suppose 4*q - 8 = -140. Let z = q + 57. Is z a multiple of 12?
True
Let v be (-209)/(-44) + (-2)/(-8). Suppose -5*r + c - v*c = -480, 5*r - 480 = 3*c. Is 24 a factor of r?
True
Suppose 5*a + 192 = 2*i, -2*i + 360 = 2*i - 4*a. Is i a multiple of 28?
False
Is 3 a factor of -4*(-4 - (-28)/(-16))?
False
Suppose -a = -2*a. Let o be 1 + (0 - 1) + a. Suppose v - 20 - 12 = o. Does 16 divide v?
True
Suppose 12 = 7*h - 3*h. Suppose 0 = -s - 5*i - 5, -h*i - 1 - 2 = 2*s. Suppose -3*k - 2*g + g + 13 = 0, -4*k + g + 15 = s. Is 4 a factor of k?
True
Is 33 a factor of ((-250)/3 - -1)/((-7)/21)?
False