+ 2*c. Is 6 a factor of a(w)?
False
Suppose 5*r + 4*q + 212 = r, 5*q - 127 = 3*r. Let a = -15 - r. Does 17 divide a?
True
Suppose 1501 = 13*d + 6*d. Is d a multiple of 4?
False
Let t(r) = -2*r - 2. Let y be t(-4). Suppose 2*w + 30 = -5*o + 5*w, o + 4*w + y = 0. Is 3/(12/(-14))*o a multiple of 7?
True
Let z(a) = 2675*a + 20. Does 124 divide z(2)?
False
Let t(b) = -21*b - 243. Is t(-12) a multiple of 9?
True
Suppose 0 = -3*c + 42 - 12. Let n be 318/27 - c/(-45). Suppose n*z - 250 = 7*z. Is 11 a factor of z?
False
Let g = 23 + -23. Let o(x) = 3*x + 117. Does 11 divide o(g)?
False
Let s be 590/(-15) + 4/12. Is 27 a factor of (4 + -2 + -3)*s?
False
Let b(h) = 7*h**2 + 14*h + 7. Let c be b(-11). Suppose -9*y + 5*y = -c. Does 12 divide y?
False
Suppose -300 = -6*t + 870. Suppose -28*v + 23*v = -t. Is v a multiple of 22?
False
Let n be (2/(-4))/(3/186). Let h = -17 - n. Is 3 a factor of h?
False
Let g(j) = 2*j**3 + j**2 - 24*j - 14. Does 26 divide g(7)?
False
Let y = -1 - -12. Is ((-2)/5)/(y/(-3300)) a multiple of 30?
True
Let i be ((-12)/10)/((-12)/30). Does 10 divide 2/i*(29 + 1)?
True
Let f = 532 + 100. Suppose 0 = 3*y - 5*r - f, 5 = -r + 4. Is 11 a factor of y?
True
Let v = -151 + 298. Does 7 divide v?
True
Suppose -3*t + 691 = 4*l, 3*t - 4*l + 916 = 7*t. Is t a multiple of 7?
False
Suppose 2*m - w - 62 = 0, 4*m + w + 3*w = 112. Is 2 a factor of m?
True
Suppose -5*d + 5*t + 2150 = 0, -11*d = -6*d + 3*t - 2126. Does 15 divide d?
False
Let d(a) = -a**3 - 14*a**2 - 14*a - 11. Let i be d(-13). Is -17*(10 - i)/(-2) a multiple of 34?
True
Suppose -77 + 781 = 8*p. Suppose 2*r - 170 = p. Is 5 a factor of r?
False
Suppose 3*r = 5*j + 512 + 333, 2*r = -2*j + 590. Let o = r + -177. Is o a multiple of 26?
False
Does 32 divide (1 - 5)*471/(-4)?
False
Let y = 45 - 38. Suppose -y*u - 88 = -8*u. Is 11 a factor of u?
True
Let w(h) = -h**3 - 8*h**2 - h + 1. Suppose -2*r = -4*g - 12, -6*g + 3*g = 3. Suppose -4*s = -i - 1 + 32, r*s + 5*i = -37. Is 9 a factor of w(s)?
True
Let w = 465 + -153. Does 13 divide w?
True
Let x(t) = t**2 - 6*t - 6. Let h be x(8). Let p = h + -7. Suppose y + 259 = 6*y + 4*o, p*y + o = 154. Is y a multiple of 19?
False
Let m(t) = t**3 - 5*t**2 - 2*t + 3. Let i be m(6). Let h be (60/(-2))/((-9)/i). Suppose -u - 2*u + h = 0. Is u a multiple of 15?
True
Suppose 5*k - 1335 = -5*z + 1570, -z + 3*k = -597. Is z a multiple of 17?
False
Let v(p) = 2*p**3 + 3*p**2 + 18*p + 12. Is v(5) a multiple of 16?
False
Let q be 6/(-6)*3*4. Let t = q - -19. Is 7 a factor of t?
True
Let i = 76 + -111. Let d = 73 - i. Suppose d = 5*s + 2*r, 5*r - r = -4. Is 14 a factor of s?
False
Let o(f) = 9*f - 8. Let w(u) = u + 1. Let t(a) = 2*a + 4. Let x(m) = -t(m) + 3*w(m). Let h(z) = o(z) - 2*x(z). Is h(8) a multiple of 25?
True
Suppose 2*y = 3*i + i - 764, -5*y - 950 = -5*i. Let l = 230 - 212. Suppose 3*w = -l + i. Does 20 divide w?
False
Let h = 1 - -15. Suppose -9*n + h = -7*n. Does 2 divide n?
True
Suppose -117*h + 80 = -118*h. Is 11 a factor of ((-70)/(-8))/((-10)/h)?
False
Suppose 3*f + 2*f - 25 = 0. Suppose 2*k - 92 = -n + 24, -5*k = -f*n + 505. Does 25 divide n?
False
Let h = 15 - 10. Suppose 134 + 26 = h*m. Is m a multiple of 8?
True
Suppose -15*s + 22*s - 1085 = 0. Is s a multiple of 31?
True
Let u = -40 - -56. Is (-4)/(u/(-4)) - (-2 + -169) a multiple of 23?
False
Let f(r) = 2 - 3*r + 3*r + 3*r - 5. Let g be f(7). Does 18 divide g*(0 + -2 - -4)?
True
Suppose 2*i - 2472 = -3*j - 422, 5*j + 4*i = 3418. Does 22 divide j?
True
Let s(f) = -f**2 - 4. Let t be s(2). Let g(v) = v**3 + 7*v**2 - 16*v - 4. Does 12 divide g(t)?
True
Suppose 13*p = 10*p + 579. Suppose 5*g = -5*y + y + p, 2*y - 99 = -5*g. Does 9 divide y?
False
Let k(h) = h**3 - 5*h - 4. Let y be k(8). Suppose s = 0, -4*m = -3*s + 164 - y. Is 11 a factor of m?
False
Let r = -8 - -11. Suppose 2*s = r*b - b - 16, 0 = 5*b + s - 22. Suppose 3*n - b - 103 = 0. Does 9 divide n?
True
Suppose 5*y - 3 - 12 = 0. Let l be (8 - 3)/5 + 4. Is 14 a factor of ((l - y) + 26)/1?
True
Suppose 0 = 22*f - 28*f + 984. Is f a multiple of 20?
False
Suppose 4*i - 6 = -s + 6, 0 = -3*i + 3*s - 6. Let v(l) = 23*l - 1. Is v(i) a multiple of 15?
True
Suppose 3*b + 5*n - 13 = 0, 0 = -3*b - 8*n + 6*n + 16. Suppose 4*g + 2*v - 36 = -0*v, g = 2*v + 9. Does 18 divide 168/9*g/b?
False
Let f(i) = i + 1. Let p be f(-1). Suppose -4*c + 3*c + 113 = p. Let n = c - 78. Is n a multiple of 17?
False
Suppose -9*x + 20 + 61 = 0. Suppose -x*q = -0*q - 216. Is q a multiple of 8?
True
Suppose -6*u = -12*u + 1440. Is 16 a factor of u?
True
Suppose -l - 2*l = -i - 2, -l + 3*i = -14. Let a be l/(-2)*(3 + -3). Suppose a*d + 182 = 2*d. Is d a multiple of 16?
False
Suppose -2*f = -168 + 208. Suppose -3*i - 45 = -4*k + 2*i, -i = -3*k + 20. Let p = k - f. Does 24 divide p?
False
Let g(h) = 104*h + 208. Let b(x) = 16*x + 32. Let r(k) = -32*b(k) + 5*g(k). Is 16 a factor of r(8)?
True
Let n be 0 + (1 - 0) + 3. Suppose -2*c + 20 = -n*f, 5*f = c + 2*f - 12. Suppose -c*m + 42 = -3*m. Is m a multiple of 7?
True
Let a(s) = -s + 20. Let b be a(16). Suppose 0 = -b*j + 5*j - 37. Let w = j - -1. Is 8 a factor of w?
False
Suppose 3*i - 3*d = -27, -39 = 2*i + 3*d - 11. Let t = -7 - i. Is 29 a factor of 576/10 - t/(-10)?
True
Let l be (-5)/20 - 125/(-20). Suppose -120 = -11*q + l*q. Does 12 divide q?
True
Let v be ((-6)/(-45))/((-4)/36)*5. Let x(i) = i**2 - 6*i. Is x(v) a multiple of 12?
True
Let t(f) = 2*f**3 - 3*f**2 - f + 1. Let h be (1 - (-8)/(-6))*-9. Let a be t(h). Let c = a + -18. Is c a multiple of 3?
False
Let p be 1/((2/1)/24). Let w(j) be the second derivative of -j**5/20 + 11*j**4/12 + 5*j**3/2 + 2*j**2 - 11*j. Is w(p) a multiple of 20?
True
Suppose 2*v = 4*z - 4938, 2*z + 51*v - 2454 = 49*v. Does 44 divide z?
True
Let a(p) be the second derivative of p**4/6 - 5*p**3/6 + 3*p**2 - 7*p. Let l(n) be the first derivative of a(n). Is 15 a factor of l(5)?
True
Let j(s) = -2*s**3 + 41*s**2 + 9*s + 75. Does 12 divide j(18)?
False
Suppose -3388 = 12*p - 23*p. Is 14 a factor of p?
True
Let v(t) = 15*t + 18. Is 6 a factor of v(8)?
True
Suppose 3*u + 12 = 27. Let b(z) = -z - 21. Let s be b(-23). Suppose s*t = 2*p - t - 177, 3*t + 438 = u*p. Does 21 divide p?
False
Let t(f) = -17*f**2 - 2 + 22 - 2 - 15*f - f**3. Let a be t(-16). Suppose -a*n + 72 = 4*m - 124, -3*m = -3. Is 32 a factor of n?
True
Suppose 4*y - 5*y + 460 = -3*k, 1880 = 4*y - 4*k. Is y a multiple of 5?
True
Let k = 108 - 104. Suppose 0*i + 3*i = 4*p - 84, k*i = -2*p + 42. Is p a multiple of 13?
False
Is (0 + -46)*(8 - (-35)/(-2)) a multiple of 19?
True
Let b(l) = -142*l + 3*l**2 - 6 + 139*l - l**3 + 2*l**2. Let m be b(4). Is 25 a factor of (-7)/(-14)*(206 + m)?
False
Let q = 227 - 105. Let h = 212 - q. Is 13 a factor of h?
False
Suppose 19 = 5*r - 1. Suppose -2*y + 0*m + 8 = r*m, 5*m = y - 18. Is 6 a factor of y?
False
Suppose -y + 9*m + 149 = 10*m, -3*y + 412 = -4*m. Is 16 a factor of y?
True
Let b(q) = q**3 + 11*q**2 + 12*q + 15. Let p be b(-10). Is (p/10)/((-2)/232) + 3 a multiple of 17?
False
Suppose 0 = 4*b + 5*d - 2025, -4*b + 0*b + 1980 = -4*d. Let h = 38 + -34. Suppose h*a + 3*g - b = 0, -2*g - 3*g + 375 = 3*a. Does 25 divide a?
True
Let g(y) be the third derivative of 0 + y**2 + 0*y + 0*y**3 + 0*y**4 + 1/4*y**5. Does 15 divide g(-1)?
True
Suppose 7 = 2*t + 1, -2*w + 957 = -t. Suppose 3*h + h = w. Suppose -4*d - d = -h. Is 10 a factor of d?
False
Suppose 10 = z - 0*y - 2*y, -16 = -2*z + 3*y. Suppose z*v + 4*f - 10 - 110 = 0, 3*v - f - 145 = 0. Is 10 a factor of v?
True
Let d(h) = 4*h**2 - 2*h + 2. Let o be d(2). Let w = o + -9. Suppose 2*v - 5*b = 204, -v + 91 = -b - w. Is 15 a factor of v?
False
Let m be 73/4 + (-20)/80. Does 3 divide 8/36 - 2/(m/(-367))?
False
Let f = -2 - -3. Is (-4)/f*1*-19 a multiple of 18?
False
Let n(d) = 2*d**2 - 4*d - 5*d**2 - 3 + 7*d + 13*d**3 + d**2. Let s be n(2). Suppose -q - s = -4*q. Does 12 divide q?
False
Suppose 0 = -3*x + 157 + 119. Is x a multiple of 9?
False
Let w = -1774 + 4488. Is w a multiple of 67?
False
Let l be (16/4)/(2 + 2/(-2)). Suppose l*v = -5*z + 470, 0 = -5*z + z - 2*v + 370. Is 30 a factor of z?
True
Suppose -3*b + 2*l + 196 = 2*b, l + 78 = 2*b. Is 1516/10 - (-16)/b a multiple of 19?
True
Let a(u) = u**3 - 2*u**2 + 2*u + 128. Let w be a(0). Suppose w = 4*