 of w?
True
Let k be ((-7)/(-5))/((-2)/(-10)). Suppose 0 = 4*v + 3*l - 104 + k, 0 = -v + 3*l + 13. Does 11 divide v?
True
Suppose -4 = 5*r - 54. Is ((-24)/(-10))/(4/r) a multiple of 4?
False
Is 455 - 9*3*8/108 a multiple of 47?
False
Suppose -4*d = 5*t - 746, -3*t - 5*d + 745 = 2*t. Is 15 a factor of t?
True
Let b = 0 - -3. Suppose 4*a = -b*h + 2*h + 30, -3*h - 4*a + 66 = 0. Is h a multiple of 9?
True
Let i(r) = -r**2 + 7*r + 1. Let z be i(6). Suppose z + 41 = 3*j. Does 8 divide j?
True
Suppose -2*q - 3*q + 320 = 2*o, 3*o - 2*q - 480 = 0. Does 10 divide o?
True
Suppose q = 1 + 1, 5*z - 3*q - 74 = 0. Suppose -2*c + 48 = -5*k, z = 2*c - 0*c + 3*k. Is c a multiple of 7?
True
Suppose -3*j - 15 = -3*z + z, -14 = -2*z + 4*j. Let a = 15 - z. Does 6 divide a?
True
Suppose -20 = -2*z - 3*x, -2*z - x = -3*x. Suppose 2*k - 22 = 4*o, 2*k - k = -2*o - 9. Let f = z + k. Is f even?
False
Suppose 137 - 11 = 3*w. Is 14 a factor of w?
True
Let p(x) = -2*x - 4. Suppose 3*s + l = -0*s + 12, -4*s - 5*l + 27 = 0. Suppose s*i + 6 = 0, 4*u - 2*u + i = -12. Does 3 divide p(u)?
True
Let z = 7 - -2. Is z a multiple of 9?
True
Let a(i) = -i**3 + 7*i**2 - i - 1. Is a(6) a multiple of 29?
True
Suppose -54 = -2*q + 5*k, 2*k + 85 = 5*q - 50. Let a = -10 + q. Is a a multiple of 10?
False
Let j(d) be the third derivative of 11*d**4/12 + d**3/6 - 2*d**2. Let g(c) = c - 8. Let x be g(10). Is 15 a factor of j(x)?
True
Suppose 0 = -5*y + 9 + 21. Let c be -10*y/(-45)*3. Suppose -s = -4*t + 1, -5*t - 8 - 10 = -c*s. Is s a multiple of 7?
True
Let p be (-136)/(-14) - (-4)/14. Let j(s) = -7 + 9*s - p*s - 1. Is j(-10) a multiple of 2?
True
Suppose -243 - 93 = -4*r. Does 28 divide r?
True
Let k = 9 - 6. Suppose -k*y = y - 88. Is 11 a factor of y?
True
Let i(h) = -h + 7. Is 19 a factor of i(-12)?
True
Let i(f) = -3*f + 3 + 3*f + f + f**2. Let y be i(-3). Is 100/6 + (-6)/y a multiple of 8?
True
Suppose -4*k - 12 = 4*w, 4*w + 4 + 2 = -2*k. Does 19 divide ((-114)/8)/(k/8)?
True
Suppose 2*h - 3*h = 34. Let q be h/(-6)*(-6)/2. Does 15 divide (-1)/(2/(-6)) - q?
False
Suppose b = -f + 50, -2*f + 130 = 2*b - 6*f. Suppose 0 = 2*t + 4*o + o - b, t + 3*o = 25. Is 20 a factor of t?
True
Let b = -144 + 314. Is 17 a factor of b?
True
Let u(r) = -7*r - 1. Let p = -2 - 1. Is u(p) a multiple of 20?
True
Let s(z) = z**2 - 8*z - 2. Let p be s(8). Let g(t) = 3*t**2. Does 4 divide g(p)?
True
Suppose 43 = m + 5*w - 102, 5*w - 395 = -3*m. Is 7 a factor of m?
False
Suppose 19 = 4*w - 1. Let b be (-2 + 5)/(-1 - -2). Suppose 5*p - 127 = -4*q, -41 = -b*q + q + w*p. Does 12 divide q?
False
Suppose -3*m = -2*i + 210, 5*i - 4*m = 761 - 229. Does 18 divide i?
True
Suppose 5*g - 128 - 112 = 0. Is 12 a factor of g?
True
Let q be -1*3*(-124)/12. Suppose -l + 81 = q. Is l a multiple of 13?
False
Let s = -14 - 5. Let g = 42 - 11. Let n = g + s. Is 6 a factor of n?
True
Let q be (24/5)/((-3)/(-40)). Suppose -3*y = -y - q. Does 16 divide y?
True
Let d = 21 + 4. Suppose w = 6*w - 5*k - d, -4*k = 4*w - 60. Is w a multiple of 10?
True
Suppose -256 = -11*y + 7*y. Let v = 91 - y. Is 24 a factor of v?
False
Suppose -10 = 4*w - 3*w. Let i(c) = c**2 + 10*c + 13. Does 13 divide i(w)?
True
Suppose -5*p + 2*s = -115, 2*p = s + 6 + 39. Is p a multiple of 12?
False
Let f = 251 + -168. Is f a multiple of 23?
False
Let h be (2 - 5)*1*-1. Suppose h*g - 39 + 12 = 0. Is g a multiple of 9?
True
Let t = 31 + -21. Suppose -q - t = q. Let g = 26 + q. Does 10 divide g?
False
Suppose 128 = 7*h - 369. Let v = -1 + 3. Suppose -x = -4*r + h, -v*r + 32 = x + 1. Is r a multiple of 9?
False
Let s = 6 + -4. Suppose 88 = 3*x + 5*y + 36, -3*y = 5*x - 108. Suppose -s*m - m = -x. Does 8 divide m?
True
Let p(c) = 2*c + 24. Let r be p(-10). Suppose 0 = -2*w + 6 + r. Does 3 divide w?
False
Let x = 4 - 3. Let j = x - -1. Suppose -j*n = 2*n - 32. Is 7 a factor of n?
False
Let q(t) = -7*t**3 + t**2 + 2*t + 1. Let p(r) = -r + 8. Let b be p(5). Suppose -4*z - m = -3*z + 5, -b*z + 1 = -m. Does 7 divide q(z)?
True
Let x = 166 + -243. Suppose 4*c - 3*l - 448 = 0, 3*c + 78 - 389 = -4*l. Let p = c + x. Is p a multiple of 16?
True
Let y = -6 + 8. Let r be -4 - -1 - y/(-2). Let w = r + 9. Does 7 divide w?
True
Let u be (-2)/5 + (-124)/(-10). Suppose -x - s - 17 = 4*s, 0 = -4*s - u. Does 2 divide x/6*(-12 + 3)?
False
Suppose -p + 0*z + 17 = -4*z, 3*z = -3*p + 51. Is 4 a factor of p?
False
Suppose 3*s = 29 + 1. Is 2/s + 588/10 a multiple of 25?
False
Suppose -906 = -33*w + 30*w. Is 19 a factor of w?
False
Suppose 5*h - 3 = 22. Suppose 0 = -3*a - 3, h*p + 3*a = 2 + 50. Is p a multiple of 11?
True
Suppose 6*l - 5*l = 140. Is l a multiple of 39?
False
Let c = -1 - -210. Is 23 a factor of c?
False
Let n(f) = 5*f + 13. Does 24 divide n(7)?
True
Let a(u) = -3*u - 4. Let j be a(-3). Suppose 4*s - 72 = -4*d, -j*d + s = -60 - 12. Does 15 divide d?
True
Let k(m) = 6*m**2 - 31*m + 6*m**2 - 6 + m**3 + 16*m. Is k(-13) a multiple of 10?
True
Let b(k) = k - 11. Let h be b(8). Let q = h + 4. Let c(o) = 5*o**3 - o**2 + o - 1. Is 2 a factor of c(q)?
True
Suppose 0 = 4*t - 2*m + 28, -4*m - 6 = 2*t - m. Let o(p) = -6*p. Does 9 divide o(t)?
True
Let n = 10 - 7. Suppose -5*i = -5*o - 5, -i = n*i - 5*o - 2. Is 2 a factor of i?
False
Suppose -5*j - 1 - 1 = -4*u, 5*u - 5 = 5*j. Suppose -76 = -2*w + w - j*h, -3*h = -w + 91. Is w a multiple of 29?
False
Suppose 4*x = -3*f + 476, -3*x + 358 = 3*f - f. Does 26 divide x?
False
Let a(j) = -6*j**2 + 7*j**2 - 14*j + j**2 + 12. Is 12 a factor of a(9)?
True
Suppose -4*q - 8 = 12. Let v = 21 + q. Is 16 a factor of v?
True
Suppose -2*f + 10 - 4 = 0, -4*i = f - 107. Suppose -2*r = -3*v + 77, 3*r - i = -2*v - 2*r. Is v a multiple of 5?
False
Let j(h) be the second derivative of 3*h**2 - 7/6*h**3 + 3*h + 0 - 1/12*h**4. Is 5 a factor of j(-7)?
False
Suppose -w + p = -5 - 9, 0 = -5*w + p + 74. Does 14 divide ((-56)/10)/((-3)/w)?
True
Let j(q) = 7*q**3 - 3*q**2 - q - 2. Let p be j(4). Suppose 2*b = -z + 76, 3*z + 2*z - p = 4*b. Does 22 divide z?
False
Let c = -4 + 20. Is ((-7)/2)/((-8)/c) a multiple of 7?
True
Suppose -4*i - 2174 = m + 1242, i - 3*m + 854 = 0. Let j = 454 + i. Does 9 divide j/(-18) - 4/18?
False
Let g = -61 - -103. Is 11 a factor of g?
False
Let i(l) = -10*l + 3. Let b be i(-5). Let u = b + -10. Is 20 a factor of u?
False
Let y be -6*((-9)/(-2))/3. Let d be 2/6 - 33/y. Suppose -2*v - 30 = -d*r - r, r - 2*v = 14. Does 4 divide r?
True
Suppose -s = 3 - 1. Let p be (s - (-5)/2)*0. Does 6 divide 7 - (-1 + (p - 1))?
False
Let i be (-4)/20 + (-18)/10. Let n(r) = -2*r**3 - 2*r**2 - 2*r + 2. Let u be n(i). Suppose -50 + u = -3*f - 4*b, -24 = -2*f + 5*b. Is 5 a factor of f?
False
Let f = 2 + -3. Let l = f - -19. Suppose -3*k - l = -96. Does 12 divide k?
False
Suppose -b = -0*f - 3*f - 28, -5*f = 3*b - 140. Is b a multiple of 8?
True
Suppose -4*h = -0*h - 60. Is 7 a factor of h?
False
Suppose 0 = 2*c + c - 9. Is c/3 + (-66)/(-3) a multiple of 23?
True
Suppose -p = 3*n - 58, 0 = -2*p + 4*n - 5*n + 96. Does 8 divide p?
False
Suppose o = -o + 6. Suppose 16 = 4*d - 0. Suppose 3*v + 8 + 7 = 0, -o*v - 107 = -d*x. Is 8 a factor of x?
False
Let a be 15 + 2 + (2 - 7). Suppose 0*g - 3*g = -a. Is 3 a factor of g?
False
Let h(v) = 18*v + 7. Does 21 divide h(3)?
False
Suppose -2*g + 10 = -5*q, 0 = -3*g - q + 7 + 8. Let a = 1 + g. Let o(k) = 3*k - 8. Does 10 divide o(a)?
True
Let n = 8 - 6. Suppose q + 4*j - 3*j = -n, q = j + 6. Is (-567)/(-35) + q/(-10) a multiple of 16?
True
Let s = -3 - -6. Suppose 0 = 4*l + 5 + s. Is -20*(l - (-3)/2) a multiple of 7?
False
Let q = -11 - -5. Does 10 divide (-3)/(-9) - 118/q?
True
Is 23/(-1 + 12/9) a multiple of 23?
True
Suppose -2*k - 3*r = r - 114, 4*k - 3*r - 261 = 0. Let w = k + -35. Suppose 2*l + a = w + 29, a = -5*l + 135. Is 7 a factor of l?
False
Let p(c) be the second derivative of -c**3/3 - 3*c**2 - c. Let u be p(-4). Suppose 5*z - u*x - 100 = 0, -z + 3*z - 49 = -x. Is 11 a factor of z?
True
Let c = -12 - -2. Let k(t) be the first derivative of t**2/2 + 16*t - 10. Is k(c) a multiple of 3?
True
Suppose 2 + 2 = -2*m. Let z = 11 - m. Is 7 a factor of z?
False
Suppose -q = 2*g + 2*q + 9, -3*g + 3*q = 6. Let v = 5 + g. Suppose -v + 74 = 3*z. Is z a multiple of 12?
True
Let s be (-4 - (-3 - -2))*-1. Suppose 4*x = 2*t + s*t + 78, -3