a factor of 7 + (-1)/w + 0?
True
Let y be (-4)/(24/(-135))*2. Suppose 14 = -3*s - 4*c, s - c = 3 + 4. Suppose n - 4 - y = 5*j, -4*n + 86 = s*j. Is 20 a factor of n?
False
Let q(u) = -u**2 + 2*u - 1. Let c be q(6). Suppose -4*m - 15 = -59. Let i = m - c. Does 24 divide i?
False
Suppose k + 2*g - 14 = 3, -5*k + 97 = 4*g. Suppose 18*f = k*f - 138. Does 6 divide f?
False
Let x = -26 + 53. Is x a multiple of 7?
False
Suppose 5*o = 2*f - 130, 0 = f - 5*f + 5*o + 250. Is f a multiple of 12?
True
Let k = 217 + 55. Is 34 a factor of k?
True
Let y(q) = q**2 - 4. Let z be y(3). Suppose t - z*t = -3*v - 12, 20 = 5*v. Suppose 22 = 4*b - t. Does 7 divide b?
True
Let x be 116/(-10) + (-10)/25. Let g be (-52)/x - (-2)/(-6). Suppose 0 = -3*d - g*f + 28, -6*d + d + 5*f = -70. Is 11 a factor of d?
False
Suppose -90 = -m - 4*h - 0*h, -3*m + 3*h = -300. Is 26 a factor of m?
False
Suppose 6*j - j = 0. Suppose j*h = 3*h - 6. Is h even?
True
Let i be (3 - 4)/(1/(-5)). Let d(x) = 7*x - 8. Is d(i) a multiple of 24?
False
Let r = 1 - -1. Suppose -2*b = r*b. Let d(w) = -w + 27. Is d(b) a multiple of 9?
True
Let a(d) be the first derivative of d**2/2 + 5*d + 2. Is 14 a factor of a(9)?
True
Let a(x) = -4*x**2 - 5*x + 11. Let d(j) = -j**2 - j + 3. Let m(r) = 2*a(r) - 9*d(r). Is m(6) a multiple of 8?
False
Suppose -2*y - 24 = -114. Is y a multiple of 15?
True
Let g be (19*-4 - -3)*-1. Let l = 103 - g. Is 15 a factor of l?
True
Let z be (-12)/(-30) - (-2)/(-5). Suppose -f + z*f = -28. Does 12 divide f?
False
Let c = 9 - 12. Let o(l) = -l**3 - l**2 - l. Does 7 divide o(c)?
True
Let k(o) = o**2 + 5*o - 9. Let d be k(-7). Let r(t) = -t**2 + 11*t + 2. Let l be r(d). Suppose 2*h - l = h. Is 14 a factor of h?
False
Let f(l) = -l**3 + l**2 + l + 1. Let b be f(2). Let v = 18 - 14. Let y = v + b. Is y a multiple of 2?
False
Suppose 0*b + 4*y + 18 = 5*b, 5*b - 14 = 2*y. Let p(r) = r + 7*r - 8 - b*r. Is p(8) a multiple of 18?
False
Suppose 0 = 4*s - 244 + 72. Is s a multiple of 12?
False
Suppose 326 = -4*n - 2*g, 0*g - 222 = 3*n - 3*g. Let l = -35 - n. Suppose 4*c = -0*c + l. Does 4 divide c?
False
Let d(q) = -q**2 - 13*q - 9. Suppose -w + 2*n = n + 8, 4*w - 3*n + 33 = 0. Is d(w) a multiple of 9?
True
Let b(i) = -i**2 - i + 1. Let w(y) = 64*y**2 + 4*y - 3. Let g(c) = -4*b(c) - w(c). Let z be g(-1). Is 12 a factor of (-2)/(-4) - z/2?
False
Suppose 4*g - 170 = b, -3*g + 132 = -b - 2*b. Is 7 a factor of g?
True
Suppose 4*v - 3*r + 4 = 2*r, 5*r = -3*v - 3. Let m = v + 16. Is m a multiple of 9?
False
Suppose 5*x = -0*x - 4*t + 936, 4*t - 752 = -4*x. Does 23 divide x?
True
Suppose 4*u + 4*k + 34 = u, 0 = -5*u - 3*k - 42. Is (-3)/9 + (-506)/u a multiple of 30?
False
Let r(d) = 2*d**2 - 26*d + 11. Let l(p) = -p**2 + 13*p - 6. Let g(q) = 13*l(q) + 6*r(q). Is g(9) a multiple of 12?
True
Let m(b) be the second derivative of -b**5/20 - b**4/3 + 2*b**3/3 - b**2 - b. Let u be m(-5). Suppose -3*s - 3*p = -33, 21 + 36 = u*s - 5*p. Is 6 a factor of s?
False
Suppose 2*c + c = 4*j - 17, 4 = 5*j + 2*c. Suppose j*b - 3*b = -5. Does 2 divide b?
False
Let p be (0 - -2) + (-5 - -8). Suppose -p*c = 7 + 3. Let z = 5 + c. Does 3 divide z?
True
Let i = -89 + 125. Is 2 + -2 + 0 + i a multiple of 18?
True
Suppose -2*q = -7*q - 3*x + 130, 0 = 3*x. Is 13 a factor of q?
True
Suppose 7*g - 2*g = 0. Suppose g = -4*j - 2*k - 274, 0*k + 347 = -5*j + 2*k. Let q = j - -115. Is q a multiple of 13?
False
Suppose m - 3*v + 4*v - 6 = 0, 4*m = -v + 33. Does 9 divide m?
True
Let n(x) = -4*x**2 + 10*x. Let i(f) = -f**2 + 3*f. Let p(c) = 10*i(c) - 3*n(c). Does 8 divide p(-2)?
True
Let n be ((-6)/(-5))/(14/35). Suppose n*s + 107 = 2*s. Let u = -57 - s. Is u a multiple of 13?
False
Let q = 166 - 99. Let m = q + -38. Is m a multiple of 9?
False
Suppose w + 2 - 11 = 0. Let y be ((-6)/w)/(4/6). Is (-124)/(-12) - y/(-3) a multiple of 10?
True
Let q be (-5)/((-5)/33) + -1. Suppose 5*m + 18 = -q. Is 12 a factor of (-177)/(-15) + (-2)/m?
True
Let l be 122/(-15) + (-4)/(-30). Let y = -17 - l. Let h(p) = -p**3 - 10*p**2 - 13*p + 3. Does 13 divide h(y)?
True
Suppose 30 + 103 = 7*t. Suppose -5*f + t = -56. Is f a multiple of 3?
True
Is (-2604)/155*-5*3 a multiple of 42?
True
Suppose m = -0*m. Let p be 40 + m/(-1) + 0. Is 13 a factor of p/3*(-27)/(-12)?
False
Let i be (1 - 2)/(6/84). Is (-47)/(-7) + (-4)/i a multiple of 4?
False
Suppose -7*r - 3*n = -3*r - 159, -2*r + 47 = -5*n. Is r a multiple of 9?
True
Suppose 0 = -4*j + j. Suppose 2*f - 24 - 16 = j. Is f a multiple of 10?
True
Let s(z) = z**3 - 5*z**2 - z + 5. Let i be s(5). Let o be 1 - i/(-1) - -11. Suppose -2*u + o = -6*u, 4*b - 5 = -5*u. Is 2 a factor of b?
False
Let j = -6 - -21. Is 5 a factor of j?
True
Let r(s) = s**2 - 2*s - 2. Let l(j) = 3*j**2 - 6*j - 5. Let o(d) = 4*l(d) - 11*r(d). Does 5 divide o(3)?
True
Is 15 a factor of -9*2/4*-10?
True
Let i be 1/(-6) + 209/66. Is 8 a factor of ((-600)/9)/(-5)*i?
True
Suppose t - 8 = -3*t. Suppose t*c - 17 = 103. Is 10 a factor of c?
True
Let i(r) = r**3 + r**2 + 2*r + 2. Let u be i(-2). Is -102*(u/4 + 1) a multiple of 17?
True
Let f(a) be the third derivative of 0*a + 1/24*a**4 + 1/60*a**5 + 5/6*a**3 + 3*a**2 + 0. Does 10 divide f(-4)?
False
Suppose -5*t + 24 = 3*t. Is 2 a factor of t?
False
Suppose 0 = -o + 15 + 10. Let y = 114 - 79. Let j = y - o. Is 5 a factor of j?
True
Let b(c) = -c + 12. Let g be b(7). Suppose 4*t - 136 = 2*i, -2*i = -g*i. Does 19 divide t?
False
Suppose 0 = 2*q - 3*b + 7, 3*q - 2*b + 5 = -3. Let u be 3*1/q*-2. Suppose -3*c - 27 = -g, u*c - 3 = -g - 0*c. Does 15 divide g?
True
Suppose 79 = 2*u - 5*c, -5*c = 4*u - u - 131. Is u a multiple of 7?
True
Let b(d) = d**2 + 4*d - 18. Does 3 divide b(6)?
True
Let h(t) = 3*t**3 - 2*t**2 - 2*t + 3. Let i(r) = -r**3 - 2*r**2 + 2. Let p be i(-2). Suppose 0 = -3*a + 3*s + 15, 3*a + p*s = -a + 2. Is 15 a factor of h(a)?
True
Let q(w) = w**3 - 7*w**2 + 8*w - 4. Does 12 divide q(7)?
False
Let n(v) = 58*v + 14. Does 10 divide n(2)?
True
Does 26 divide ((-25)/(-15))/((-4)/(-360))?
False
Suppose 0 = 4*i - 12, 0 = 4*t + 4*i - 1720 + 520. Does 13 divide t?
False
Let m = -6 - -6. Let y(u) = -2*u**3 - 6*u**2 + u + m*u - 3*u - 6. Is 17 a factor of y(-4)?
True
Let u(l) = -l**2 + 6*l + 8. Let h be u(5). Let k be (2/(-4))/(3/(-72)). Let i = k + h. Is i a multiple of 13?
False
Let v(c) be the first derivative of c**2 - 1 - 3*c + 2*c + c**3 - 2*c. Is 13 a factor of v(2)?
True
Is 34 a factor of (-3)/((-804)/(-272) + -3)?
True
Suppose -3*b = -5*a - 35, 2*b - 75 = -2*b + a. Suppose -6*o + 2*o = -b, 4*o = -5*t + 410. Does 11 divide 8/12*t/4?
False
Let r be -3 + -1 + 3 - -3. Suppose -4*l + 126 = -r*x, l - 3*l + 2*x + 62 = 0. Is 16 a factor of l?
True
Let r(q) = -3*q + 18. Let b(x) = 2*x - 18. Let l(n) = -4*b(n) - 3*r(n). Does 9 divide l(0)?
True
Suppose 6*d = 10*d - 144. Does 24 divide d?
False
Let k = -4 + -2. Is (-70)/k + (-10)/15 a multiple of 11?
True
Suppose 2*v - 26 - 22 = 0. Is v a multiple of 10?
False
Let x(o) = o**2 - 4*o - 5. Let i(b) = -b**2 + 4*b + 4. Let l(a) = 4*i(a) + 3*x(a). Let v be l(3). Suppose v*y = y + 48. Does 16 divide y?
True
Let o(v) = -v + 2. Let k be 10/(-6) - 2/6. Let s be o(k). Does 13 divide 2/s - (-78)/4?
False
Suppose 2*i - 480 = -4*l, 4*l - 309 = 2*i + 171. Is l a multiple of 8?
True
Suppose 0 = 3*y + 1 + 8, -3*w = 3*y + 162. Let m = w + 87. Is 12 a factor of m?
True
Let r = 15 + -11. Let m(b) = b - 3. Let f be m(r). Suppose -i + f + 19 = 0. Is i a multiple of 6?
False
Suppose -o = 2*o - 2*d - 21, 5*o - 19 = -2*d. Let u = -7 + 11. Suppose -o*i = h - 122, h - 9 + 112 = u*i. Is i a multiple of 9?
False
Let j be 2*(0 - 1)*-1. Suppose 0 = j*o + 4*x - 12, -2*o + 4*x + 0 = 12. Suppose o*f + 12 = f. Is f a multiple of 6?
True
Suppose 1 = 2*t - 3*g + 11, 5*t + g = -8. Is 4 a factor of (-12)/(t - -6) - -11?
True
Let y = -8 - -12. Suppose 4 = -5*b + 44. Suppose -b*d + 40 = -y*d. Is 5 a factor of d?
True
Suppose -f + 0 + 1 = 0. Let w(h) = 59*h**2 - h. Is w(f) a multiple of 12?
False
Suppose 3*q = -24 + 192. Is 8 a factor of q?
True
Let y(f) = -10*f. Let k be y(2). Let w be (-2)/9 + k/(-9). Let x = w - -3. Is 2 a factor of x?
False
Let d(u) be the third derivative of u**6/120 - u**5/12 - u**4/8 - 2*u**3/3 + u**2. Does 8 divide d(6)?
False
Let c(w) = 8*w**2 - 2. Does 23 divide c