i = 0, 36 = 4*o + 2*b + 16. Suppose -3*l - l = -o*v - 28, v = -1. Is l a multiple of 6?
True
Let y(n) = -n + 3. Let f be y(1). Suppose -f*i = -7*i + 105. Does 5 divide i?
False
Suppose 11*c = 16*c - 1125. Does 9 divide c?
True
Let v be -5*((-6)/2 - -1)*2. Suppose 0 = -y + 60 + v. Does 10 divide y?
True
Let c(j) = 1250*j**2 - j - 1. Is 17 a factor of c(-1)?
False
Suppose 0 = -2*x - 5*w + 84, x - 2*w = -3*x + 144. Is 37 a factor of x?
True
Is (-12642)/(-343) - (-12)/(-14) even?
True
Suppose 265 + 161 = 6*o. Is o a multiple of 7?
False
Is 5 a factor of -3*8/(-12)*(-789)/(-6)?
False
Let l = 439 + 977. Is 63 a factor of l?
False
Suppose -867 = z - 4*z + i, z + 3*i = 279. Is 16 a factor of z?
True
Let c(a) = 66*a**2 + 51*a + 4. Does 61 divide c(-6)?
True
Suppose 2*x - 4*x - 26 = -2*i, -3*x - 21 = -i. Is 42*1 + i + (-32)/4 a multiple of 25?
False
Let d = -2110 + 2858. Does 22 divide d?
True
Let u = 2826 - 1642. Does 74 divide u?
True
Let t = 1188 + -822. Is 22 a factor of t?
False
Let u = 223 - -426. Is 45 a factor of u?
False
Let q be 60 + ((-4 + 5)*-6)/2. Suppose -w + 4*w = -9, -q = -2*x - w. Is 10 a factor of x?
True
Let w = 4 - 10. Let s(q) = 2*q**2 - 9*q - 14. Does 28 divide s(w)?
True
Let d(w) = w + 19. Let x(a) = 2*a**3 + a**2 + a + 8. Let r be x(0). Does 6 divide d(r)?
False
Let n(b) be the first derivative of -2*b**2 + 6*b + 7. Let u be n(-3). Is 12 a factor of (-1 + 0)/((-1)/u)?
False
Let h = 54 - -236. Is h a multiple of 3?
False
Suppose 4*p + 61 = 3*b - 4*b, -2*p = -2*b - 132. Let z be 26/b - 54/(-10). Suppose -60 = -4*j - 4*n, -3*n + 4 = -z. Does 6 divide j?
True
Is (-8786)/(-9) + (-140)/630 a multiple of 16?
True
Suppose 3*i + 31 = -5*o, 5*o + 12 = 5*i - 3. Let s be (-1 + -3)/(-2) - i. Suppose -s*x + 9 + 59 = 0. Is 17 a factor of x?
True
Suppose 8463 + 6897 = 15*k. Is 12 a factor of k?
False
Suppose 0 = 11*y - 81 - 40. Suppose 2*c = -y + 41. Is c a multiple of 9?
False
Let o(m) = -m**3 + 16*m**2 - 16*m - 14. Let q be o(15). Let h = 53 + q. Is h a multiple of 3?
True
Let x be 1088/5 - (-2)/5. Suppose 10*w + 5*i - 315 = 8*w, -w = 4*i - 159. Let a = x - w. Is 12 a factor of a?
False
Is (-215)/43*(1 + -155) a multiple of 10?
True
Let o(j) = 13*j**3 + j**2 - j + 1. Suppose -3*u = -8*u. Suppose -2*h = -4*b + 6, 2*h + b = -u + 4. Does 14 divide o(h)?
True
Is (1150/20)/(1/2) even?
False
Suppose 3*m - m - 4 = 0. Let q be 3/12 - -2*(-3)/24. Suppose -4*s = 4*n - q*s - 12, 3*n - 9 = m*s. Does 3 divide n?
True
Let o = 26 + -88. Let l = 20 - 47. Let w = l - o. Is w a multiple of 9?
False
Does 41 divide (0 - -5 - (-4918 - -24))/3?
False
Let r = 539 - 219. Is 12 a factor of r?
False
Let u(i) = -i**2 + 4*i + 3. Let d be u(5). Suppose h + w = 6, 5*w = -h + 40 - 14. Let x = h - d. Is 2 a factor of x?
False
Let n be 3/(-4) - (-504)/32. Suppose 0 = -3*v + 8*v - n. Suppose 0 = -4*m + v*c + 37 + 22, 0 = -m - 2*c + 1. Is m a multiple of 2?
False
Let u = 9 - -1. Let h be (-6)/u + (-3132)/(-20). Let n = h - 108. Is 12 a factor of n?
True
Let o be (15 + -13)*(1 + 1). Let l = o + -1. Suppose -m = -1 + 5, 2*m = l*g - 80. Is 12 a factor of g?
True
Suppose -2*y = a - 1280, -y - 160 = -4*a - 782. Does 22 divide y?
True
Let i = -51 + 130. Suppose -4*r + i = -13. Let p = 3 + r. Does 13 divide p?
True
Let g(s) = -s**3 - 7*s**2 + 8*s - 13. Let w be g(-9). Let d = w - 27. Is d a multiple of 14?
False
Let d = -26 - -36. Let b = d - 15. Is 3 a factor of -2 - (2 - (2 - b))?
True
Suppose 25*m = -5286 + 15136. Does 20 divide m?
False
Let x be (1 - (-7 - 192))*(-4)/(-5). Suppose -5*a + 305 = -5*z, -2*a - 4*z + x = 50. Is a a multiple of 5?
False
Suppose -4*g - 5*m = -664, 7*m + 491 = 3*g + 9*m. Is 23 a factor of g?
True
Suppose 4*l + 399 = 2*z + 3*l, 3*z - 592 = -5*l. Is z a multiple of 5?
False
Suppose -8*u + 501 = -1355. Is u a multiple of 19?
False
Let r(c) = -15*c + 3 + 16*c + 7. Let h be r(-8). Suppose -h*u = -6*u + 40. Does 10 divide u?
True
Suppose -11*f + 161 = -10*f. Suppose 5*h = 4*l - 13 - 138, -f = -4*l + 3*h. Suppose -4*w + l = 2*v, -w - 7 = -3*v + 8*v. Is w a multiple of 5?
False
Let s(w) = -49*w - 28. Is 14 a factor of s(-10)?
True
Let m(o) be the first derivative of -o**4/4 - o**3 - 3*o**2 - o + 4. Is m(-6) a multiple of 10?
False
Is 8 a factor of 0 - 5 - -2*58/4?
True
Let j be -1*(-177)/9*-3. Let p = j + 176. Does 30 divide p?
False
Suppose -3 + 4 = -a. Let v(h) = -5*h**3 - h - 1. Let s be v(a). Does 2 divide (-6)/s*110/(-33)?
True
Suppose n = 2*p - 23 - 35, -p - 2*n + 34 = 0. Is p a multiple of 10?
True
Is 3820/35 + 32/(-28) a multiple of 13?
False
Let l(s) = -55*s - 3. Let b = -20 + 17. Does 21 divide l(b)?
False
Let y be (-1 - (-338)/4)/((-3)/6). Let r = 28 - y. Is 15 a factor of r?
True
Let j(o) = -o - 3. Let p be 4/(-6) - 110/33. Let r be (36/8)/(3/p). Does 2 divide j(r)?
False
Let d(k) be the second derivative of 13*k**3/6 - k**2/2 + 6*k. Does 5 divide d(2)?
True
Suppose 0 = 5*u - 3*n - 460, -5*u + 613 - 123 = 3*n. Is u a multiple of 12?
False
Suppose 3*p - f + 14 = 0, -5*p + 3*f + f - 35 = 0. Let u(t) = -t - 1. Let h be u(p). Suppose -6*d = h*d - 320. Is d a multiple of 9?
False
Let v(d) = -21*d - 45. Is v(-12) a multiple of 9?
True
Suppose -f + 175 + 62 = 2*p, 2*p - 2*f - 222 = 0. Suppose -2*z - 5 = -3*z. Suppose 2*u = 2*t - p, -5*u = z*t - 71 - 229. Is t a multiple of 13?
False
Let d = 16 - -14. Suppose -l = 4*l + d. Let r(y) = -3*y - 8. Is 7 a factor of r(l)?
False
Suppose -6*s + 8*s + 48 = 0. Does 10 divide 6*(s/40 + (-508)/(-30))?
False
Suppose -1893 = -8*n + 659. Is n a multiple of 5?
False
Let o = 2 - 39. Let w be 65/(-2)*(-8)/(-5). Let v = o - w. Does 15 divide v?
True
Let s(a) = 2*a**3 - 2*a**2 + 1. Let v be s(1). Suppose 0 = -m + 4*d - 17, 0*d = -2*m + d + v. Suppose m*j + 14 = 4*j. Is 5 a factor of j?
False
Let x = 1978 + -1158. Does 10 divide x?
True
Suppose -b - g - 6 = -2*b, -5*g = b + 18. Suppose 3*i - b*v - 320 = 0, -11 = -i + v + 97. Does 13 divide i?
True
Let p(l) = -5*l**2 + 5*l. Suppose 3*y - 36 = -5*i, -2 = -2*i - 3*y + 16. Let o be p(i). Does 10 divide ((-4)/12)/(2/o)?
False
Let v = -1 - -4. Suppose 0*x + 348 = x + 4*u, u - 1000 = -v*x. Suppose 4*b - x = -68. Is b a multiple of 22?
True
Suppose 0 = -2*x + 5*x - 9. Let d(l) = -l**3 + 3*l**2 + 3*l - 3. Does 6 divide d(x)?
True
Let p be (2 - 110)*64/(-24). Suppose -3*h + 6*h = p. Suppose -4*y + h = -0*y. Is 14 a factor of y?
False
Suppose -4*c + 1004 = -1532. Is 12 a factor of c?
False
Suppose 3*b = -3*x - x + 28, 0 = 4*b - 5*x - 27. Suppose -4*n + 10 = 3*u - 9, -4*n + 24 = 4*u. Suppose z - 11 = 2*v, 2*z - u*v = b + 16. Is 2 a factor of z?
False
Let j be 2 - 4 - 4/(-2) - 3. Is 13 a factor of (2080/6)/5 + 1/j?
False
Let z be 168/(-32) - 1/(-4). Let v(s) = -1 - 2*s**2 - 2*s**2 + 6*s**2 - s**2. Is v(z) a multiple of 12?
True
Suppose 6*g - 434 = 1006. Suppose -p - 9*p + g = 0. Is p a multiple of 8?
True
Does 22 divide 142450/444 - (-2)/12?
False
Suppose -265 - 215 = 4*d. Let f = -22 - -18. Is (d/(-70))/(f/(-42)) a multiple of 9?
True
Is 1 - (1 - 1) - -516 a multiple of 13?
False
Let k be ((-4)/8)/(3/(-24))*-1. Is 14 a factor of ((-2)/(k/3))/((-6)/(-280))?
True
Suppose 3*f = 3177 + 2871. Does 16 divide f?
True
Suppose -13*q = -17*q + 784. Is q a multiple of 28?
True
Is 13 a factor of (-2)/(-9) + (-41034)/(-27) + 1?
True
Let t(u) be the second derivative of u**4/12 - 13*u**3/6 + 9*u**2/2 + 2*u. Suppose -4*y + 27 = -5*d, 2*y - 23 - 13 = -2*d. Is t(y) a multiple of 9?
True
Let k be (-12)/(-24) + (-3)/2. Is 308 - (k - (-5)/5) a multiple of 22?
True
Suppose -926 = -17*j + 740. Is j a multiple of 49?
True
Let o be 1 + 5*(-3 + 2). Let r = 4 + o. Suppose -2*l + l + 24 = r. Is l a multiple of 24?
True
Let n(s) = 17*s + 15. Does 14 divide n(9)?
True
Suppose -41 = -3*t - 5*f, -t - 130 = -6*t + 4*f. Suppose 23*v = t*v. Suppose v = o + 1 - 4. Is o a multiple of 3?
True
Suppose 0 = -i - 34 + 29, -5*i - 925 = -3*k. Is k a multiple of 12?
True
Let l = 1148 - 1049. Is l a multiple of 11?
True
Suppose -4*b + 186 = 34. Is 5 a factor of b?
False
Let c = -6 + -40. Let f = 106 + c. Is f a multiple of 17?
False
Let a(o) = o**3 - 16*o**2 - 9*o - 19. Let d = 125 + -108. Does 13 divide a(d)?
True
Let x(y) = -6*y - 3*y - 564 + 583 - 22*y. Is 16 a factor of x(-3)?
True
Suppose 11 = 4*u - 0*w - w, w + 7 = 2*u. Let 