
Let a be ((-12)/8)/((-3)/4). Suppose -22 + 52 = b + u, 3*b + a*u = 86. Is b a multiple of 13?
True
Suppose 0 = 6*q - 226 - 74. Does 16 divide q?
False
Does 28 divide (-378)/15*50/(-15)?
True
Let b = 2 - 0. Let j be (b - -1)*10/6. Suppose 1 = y + j*d - 26, 4*y + 4*d = 44. Is y a multiple of 2?
False
Let q(w) = -w**2 + 12*w + 4. Is q(10) a multiple of 8?
True
Does 7 divide 3*(-1 - 0)*(-246)/9?
False
Suppose -m + 65 + 52 = 0. Suppose 5*g - m = 2*g. Is g a multiple of 13?
True
Let y(w) = 2*w**3 + w**2 + 6*w - 8. Let b(f) = -2*f**3 - f**2 - 5*f + 7. Let g(h) = 7*b(h) + 6*y(h). Let q be g(3). Let d = -24 - q. Does 16 divide d?
False
Suppose -2*t - t + 12 = 0. Let h = 5 + -1. Suppose -4*z - 26 = t*n - 94, h*n - 46 = -3*z. Is 13 a factor of z?
False
Let j be ((-168)/(-30))/(4/10). Suppose -h + 0 + 10 = 3*m, 5*h - 3*m - j = 0. Does 4 divide h?
True
Suppose 569 = 6*y - 127. Is 29 a factor of y?
True
Let v(c) = 10*c + 2. Is v(3) a multiple of 15?
False
Suppose 0 = o - 0 - 2, -o - 290 = -4*y. Suppose -5*v + y = -52. Is v a multiple of 11?
False
Let u = 406 - 172. Is 18 a factor of u?
True
Let b = -45 + 80. Suppose n - 2*z + 13 - b = 0, -5*n - z + 77 = 0. Does 16 divide n?
True
Suppose -40 = 7*z - 2*z. Let x(t) = t**2 + 9*t + 12. Does 2 divide x(z)?
True
Let v = -52 + 148. Is v a multiple of 24?
True
Let o be 16/56 - (-12)/7. Let b(w) = 3*w**2 + 3 + 2*w**o + 10*w**3 - 6*w**2 - 2. Is 10 a factor of b(1)?
True
Let d(q) = 5*q**2 + 16*q + 12. Is 12 a factor of d(-6)?
True
Is 2 a factor of (33/12)/((-1)/(-4))?
False
Let q be (-6)/(-4)*(-4)/3. Does 18 divide 201/7 - q/7?
False
Suppose -2*q = q + b + 26, -3*b - 22 = 2*q. Let s(j) = -9*j. Is s(q) a multiple of 24?
True
Is 12 a factor of 1/((-3)/(-42) + 0)?
False
Let y(j) = -4*j - 16. Is 12 a factor of y(-7)?
True
Suppose -212 + 71 = -3*p. Does 19 divide p?
False
Let k be (1 + 18)*(3 + -8). Let f = k - -3. Let p = 129 + f. Is 17 a factor of p?
False
Let x(k) = 6*k**2 + 3*k - 1. Suppose -v + 4*n - 1 = 7, -3*v + 2*n - 4 = 0. Suppose i - 2 + v = 0. Is x(i) a multiple of 14?
False
Let k(c) = c**2 + 4*c - 3. Is 6 a factor of k(-6)?
False
Let o(y) = 45*y**2 - 1. Is 33 a factor of o(1)?
False
Let h = -5 - -8. Suppose 0 = -5*o - t - 3*t + 52, -h*o + 28 = 4*t. Is o a multiple of 9?
False
Suppose 19 = 5*o - 1. Let v = o + -2. Is 2 a factor of v?
True
Suppose 0 = -3*f + 2*x + 97, -15 = 2*f + 5*x - 105. Is 4 a factor of f?
False
Let w(p) = -p**3 - 6*p**2 + 6*p - 1. Let c be w(-7). Let j be (-1 + -2)/(c/(-16)). Suppose 0 = 3*m - 12, m - 8 = -2*s + j. Is 4 a factor of s?
False
Let t(k) = k**2 - 9*k + 5. Let n = 35 + -25. Is t(n) a multiple of 15?
True
Let c be (-1)/4 + 22/(-8). Let f = 19 + c. Is f a multiple of 15?
False
Let p(g) = 2*g**2 - 5*g - 2. Let l be p(4). Let a = 8 - l. Let z = 9 + a. Is 6 a factor of z?
False
Let r(b) = -18*b - 6. Is 16 a factor of r(-3)?
True
Let d(r) = -r. Let o be d(-3). Let c = 22 - 9. Suppose o*v - 19 = 5*j, 3*j = v + v - c. Is v a multiple of 8?
True
Suppose -21 - 4 = 5*q. Let r(m) = -7*m**2 - 7*m + 10. Let g(i) = 3*i**2 + 3*i - 5. Let y(b) = 5*g(b) + 2*r(b). Does 7 divide y(q)?
False
Let z(j) = 7*j**2 - 15*j - 7. Let c(s) = -10*s**2 + 22*s + 11. Let g(r) = 5*c(r) + 7*z(r). Let h be g(5). Let a = h - -4. Does 6 divide a?
False
Let u be (-8)/(-20) - (-2)/(-5). Suppose -2 = -k - u. Does 2 divide k?
True
Let a be 11 - (6/2 - 3). Suppose 0 = u + 2*y - a, -u - 2*y - 4 = -5*y. Suppose -u*i = -5*m + 150, -3*i + 64 = 2*m - 6*i. Is m a multiple of 15?
False
Suppose -2*r = l - 35, 2*l = -r - 2*l + 21. Is r a multiple of 11?
False
Let c(r) = r**3 - 7*r**2 + 6*r - 5. Let n be c(7). Let x = 17 + n. Let j = x + -28. Is j a multiple of 9?
False
Let q be 1 + 75 + 1*-1. Let h = -23 + q. Is h a multiple of 21?
False
Suppose -2*c + 3*l - 4 = 0, 3*c - 2*l + 0 = 4. Suppose -y - 3*y + c = 0. Is (-2)/((-9)/(-11) - y) a multiple of 11?
True
Let u(x) = x + 16. Suppose -5*l = 2*k - 20, 2*k + 4*l - 16 = -k. Is 8 a factor of u(k)?
True
Let a = -16 - -19. Is -1 + (37 - (-3 + a)) a multiple of 11?
False
Let l be 9/(-27) - (-14)/6. Suppose 16 = -4*h, -j + l = 3*h - 4. Is 10 a factor of j?
False
Let g(i) be the first derivative of 11*i**4/4 + i**3/3 + i**2/2 - i + 1. Let l be 2/6*0 + 1. Does 5 divide g(l)?
False
Suppose -11*d + 108 = -8*d. Is d a multiple of 5?
False
Suppose 0 = 6*m - 75 - 21. Does 8 divide m?
True
Let c(w) = 2*w**2 - 6*w - 1. Does 35 divide c(6)?
True
Let i(z) = -44*z + 1. Is i(-1) a multiple of 15?
True
Suppose 0 = 4*a - 4*s - 6 - 2, 0 = -3*a + 2*s + 5. Let f(t) = 3*t + 0*t - a + 2*t. Is f(2) a multiple of 9?
True
Suppose -50 = -5*f + 40. Suppose -5*k - 13 = 2, 5*g = -4*k + f. Suppose 3*c = -g, -4*b - 4*c - 6 = -3*b. Is b a multiple of 2?
True
Suppose -4*n = 236 + 144. Let o = n - -176. Does 27 divide o?
True
Does 12 divide (31 + 1)*36/48?
True
Let o(l) = -l**3 - 10*l**2 - 11*l - 12. Let s be o(-9). Suppose 5*m - s = 9. Does 3 divide m?
True
Suppose 46*g - 765 = 43*g. Does 47 divide g?
False
Let x = -1 - -1. Let j = 3 + x. Suppose -52 = o - j*o. Does 13 divide o?
True
Let z be (-594)/(-14) - (-3)/(-7). Suppose -3*o + 42 = -4*m, -2*o - o + 2*m + z = 0. Is o a multiple of 5?
False
Let g(f) = -6 + 0*f + 3*f + 5. Let b be g(2). Suppose -3*q + 4*d - 2*d + 100 = 0, -2*q = b*d - 73. Is 17 a factor of q?
True
Let j(b) = -78*b - 6. Does 30 divide j(-2)?
True
Let r = 87 - 63. Is 12 a factor of r?
True
Let q(c) = c**3 + c**2 - 2*c - 1. Let y = -6 - -6. Suppose -b + 2*b - 3 = y. Is 13 a factor of q(b)?
False
Let u be (146/6)/((-1)/(-3)). Suppose -2*w + 15 = -u. Is 22 a factor of w?
True
Let h be 2/6 + 52/6. Suppose 5*g - h = 21. Is 4 a factor of (-23)/(-3) + 2/g?
True
Let t(b) = b + 3. Let h(v) = 4*v + 10. Let r(a) = -6*h(a) + 20*t(a). Let o be r(4). Let j = 36 + o. Is j a multiple of 20?
True
Let x be (-2)/5*20/(-8). Let n = 4 - 6. Let q = x - n. Is 2 a factor of q?
False
Suppose z - 3*z - 4 = 0. Let y = 20 - 37. Let i = z - y. Is i a multiple of 9?
False
Let c(s) = -8*s - 46. Is 10 a factor of c(-16)?
False
Let x be (-5)/((-10)/(-6)) - 15. Let y = x - -53. Is 12 a factor of y?
False
Is 11 a factor of 2/((-51)/68*8/(-153))?
False
Let m = -116 - -224. Is 26 a factor of m?
False
Let x = 3 - 3. Let p(c) = -c**3 - 10*c**2 - 11*c - 14. Let t be p(-11). Suppose -6*h + 3*h + t = x. Is h a multiple of 28?
False
Let d be 1/((6/(-28))/(-3)). Does 12 divide (-1248)/(-42) - (-4)/d?
False
Let m be (-2)/(-11) - 39/33. Let u = 5 - m. Suppose 7*y - 4 = u*y. Is y a multiple of 4?
True
Suppose -4*n + 141 = -5*y, 5*n + 0*y = -2*y + 201. Does 13 divide n?
True
Suppose -2*d - 9 = -3. Let w = d + 5. Suppose p - 27 = -w. Is 17 a factor of p?
False
Let x = 2 - 1. Is 6 a factor of -1*(0 + -15*x)?
False
Let b(h) be the third derivative of h**5/60 + h**4/24 - h**3 - 3*h**2. Let g be b(6). Suppose -2*t - g = -140. Is 21 a factor of t?
False
Suppose -3*i - 5*m = i - 34, -5*i + 5*m + 20 = 0. Let w = 8 - i. Suppose 0 = 5*o + 4*n - 41, 2*o - 4*n + 4 = -w. Does 5 divide o?
True
Suppose -3*x + 3*g + 639 = 0, 2*g + 0*g = -10. Suppose 5*m - m - x = 0. Does 20 divide m?
False
Suppose -4*r + 360 = r. Does 12 divide r?
True
Let f(z) = 6 + z**2 + 13*z - 3 - 3*z. Let v be f(-10). Is 8 a factor of (-14)/v*(-72)/14?
True
Suppose 3*z - 11 = 58. Suppose -i - 91 = -5*s + 3*i, s - z = -4*i. Is 9 a factor of s?
False
Let o(t) = -t + 4. Let k be o(3). Does 9 divide 11/k*(-2)/(-2)?
False
Let o(r) = r**2 + 6*r + 5. Let j be o(-5). Suppose j*q = -4*q + 376. Is 24 a factor of q?
False
Is (72/(-10))/(9/(-240)) a multiple of 16?
True
Does 12 divide 3/4 + 207/12?
False
Is 2 a factor of (-3)/(-6)*34*1?
False
Suppose 3113 = 14*p + 579. Is p a multiple of 15?
False
Let i(k) = -12*k. Let a be i(-7). Suppose 2*r = -r + a. Is r a multiple of 11?
False
Suppose 17 = -r - 5*j - 8, -25 = 3*r + 5*j. Suppose m + 2*z - 14 = 0, r*m - z = 5*m - 34. Does 5 divide m?
False
Suppose -4*v = -3*k + k + 10, -4*v = 5*k - 11. Suppose -3*p + 12 - k = 0. Suppose p - 21 = -3*t. Is 6 a factor of t?
True
Let h(c) = -c**3 - 3*c**2 + 4*c. Let s(n) = n**2 - 4. Let q be s(0). Let j be h(q). Suppose 39 = -j*b + 3*b. Is 8 a factor of b?
False
Suppose l - 6*l = 4*d - 235, -4*d + 205 = -5*l. Suppose 2*u + 0*m + 5*m - d = 0, 154 = 5*u - 4*m. Is u a multiple of 11?
False
Let d(i) = 20*i - 2. Let w(q) = -2*