Suppose r = 2*u - 5*d, -3*u = -2*d - 120 + 13. Is u a multiple of 11?
True
Suppose -111 = 6*r + 51. Let m = -17 - r. Is 4 a factor of m?
False
Suppose 252 = -3*y - 4*g + 2176, -g = -1. Does 26 divide y?
False
Let j = 6 + -3. Let z(x) = -3*x - 1. Let n(i) = -11*i - 6. Let o(d) = 2*n(d) - 9*z(d). Does 4 divide o(j)?
True
Is 2*148/1 + -2 a multiple of 42?
True
Is 1730/8 - (-6)/8 a multiple of 6?
False
Let t be -9*(6/(-9) + 1). Is 6 a factor of (36/8 + t)/(2/12)?
False
Let r be 8/2 + (2 - -1). Suppose r*c = -1 + 162. Let k = -19 + c. Is k a multiple of 2?
True
Suppose -6*d + 8 = -4. Let h = 3 - 0. Suppose 5*x = 5*n - 80, -h*n - x + 26 + d = 0. Does 10 divide n?
False
Suppose 5*u - 2765 = -3*i, 2*i = -2*u + 6*i + 1080. Does 20 divide u?
False
Suppose 6 = -0*r + 2*r. Suppose -9 = 2*g + r*o, -o = 5*g - 4*g + 7. Let v = 22 + g. Is v a multiple of 5?
True
Let u = -754 + 1436. Does 27 divide u?
False
Let x be 2 - (3 - 0/(-5)). Let h be ((-105)/(-10)*4)/x. Is 31 a factor of 4 + -3 + -2 - h?
False
Let o be (0 + -3 + 3)/(-2). Suppose -3*t + 4*t - 28 = o. Does 14 divide t?
True
Suppose 5*b = 33*n - 35*n + 254, -168 = -3*b + 4*n. Is b a multiple of 2?
True
Is 56 a factor of (-1258 + -2)/(60/(-8) + 6)?
True
Suppose 0 = -5*j - 4*v + 13872, -5*j + 2*v = 4*v - 13866. Is 14 a factor of j?
True
Suppose 2*c - 7 = -w, 4*c - 5*w + 0 - 7 = 0. Suppose -72 - 9 = -c*o. Is o a multiple of 13?
False
Suppose -12 = 3*d - 4*d - 3*v, 32 = d - v. Suppose -u + d = 2*u + 3*a, -13 = -2*u - 3*a. Is u a multiple of 2?
True
Suppose 453 = 37*r - 768. Is 12 a factor of r?
False
Suppose 17*v - 16*v = 2. Suppose 0 = 4*w, -w - 72 = -v*k + 4*w. Is 4 a factor of k?
True
Let l(f) = 2*f**2 - 25*f - 10. Let c be l(13). Suppose 7*i = c*i - v + 56, 3*i - 42 = -3*v. Is i a multiple of 14?
True
Let p(x) = x**2 + 1. Let g(f) = -5*f**2 + 15*f - 20. Let h(j) = -g(j) - 4*p(j). Is 13 a factor of h(15)?
False
Let h(x) = -x**3 + 23*x**2 + 3*x - 19. Let q be h(23). Let f = 16 + q. Is 10 a factor of f?
False
Let b(l) = 13*l**2 - 14*l - 24. Is b(6) a multiple of 45?
True
Suppose -23*u + 12*u + 44 = 0. Suppose 0 = -4*g + 5*j + 76, 40 = g - u*j + 10. Is g a multiple of 12?
False
Suppose -4*v - 33 = 5*k, 12*v - 16*v - k = 45. Let p be ((-68)/10)/((-3)/(-15)). Let a = v - p. Is 4 a factor of a?
False
Does 18 divide (252/3)/(-3 + 70/21)?
True
Suppose 2*t - 5*o + 9 = 0, 0 = 3*t + 2*t + 3*o - 24. Let s(w) = 5*w + 100. Let f be s(-19). Suppose 0*d + 356 = f*d + t*n, 5*n + 15 = 0. Is 11 a factor of d?
False
Suppose u + u = -2*z + 156, -z + 154 = 2*u. Suppose 3*o + 5*y = 228, -2*y - u = 2*o - 3*o. Does 5 divide o/5 - 4/20?
True
Suppose -12 = -2*w - 54. Let v = 11 + -30. Let r = v - w. Is 2 a factor of r?
True
Let p = -315 + 187. Let v = -83 - p. Is 6 a factor of v?
False
Suppose -s - 3*x + 73 = 2*x, 0 = -s + x + 103. Is 8 a factor of s/6 - (-2)/(-6)?
True
Let v = 180 + 1250. Is 22 a factor of v?
True
Suppose -3*d - 1452 = 9*d. Let g = 208 + d. Does 36 divide g?
False
Suppose -3*d + 763 = 4*i + 2*d, 2*i - 4*d - 388 = 0. Is i a multiple of 8?
True
Let v be 2/(-44)*-4 - 380/(-209). Suppose -5*y + 21 = -v*y - 4*c, 3*c - 20 = -y. Is y a multiple of 10?
False
Let i = -14 - -22. Suppose -98 = -i*k + 7*k. Is k a multiple of 14?
True
Let q = 181 + 82. Is q a multiple of 34?
False
Suppose -41*s = 6*s - 56447. Does 48 divide s?
False
Let h(c) = c**3 - 3*c**2 - 4*c + 6. Let u be h(4). Suppose -3*v + 4*f + 9 = 0, -v - 15 = -u*v - f. Let y = 7 + v. Is 5 a factor of y?
True
Let s(c) = -7*c. Let r be s(-1). Let h be (-14)/(-4)*12/r. Suppose 0*b = b - h. Is 3 a factor of b?
True
Let p(d) = 3*d**3 + 2*d**2 - 2*d + 1. Let i be p(1). Suppose r - 52 = i*w, w + 10 = 6*w. Does 12 divide r?
True
Let x(w) = 11*w**3 - 4*w**2 + 4*w + 2. Let q(r) = r**2 - r. Let y(c) = 2*q(c) + x(c). Is 11 a factor of y(2)?
False
Suppose l = 4*s - 4487, -15*l + 4486 = 4*s - 17*l. Is 66 a factor of s?
True
Let n be (-13)/5 - (-2)/(-35)*7. Does 17 divide ((-5)/5*-123)/(-2 - n)?
False
Suppose 0 = 5*w - 32 - 48. Let r = w - 36. Let o = r + 38. Is o a multiple of 11?
False
Suppose -9*w - 5*w - 28 = 0. Does 13 divide (w - 7808/(-56)) + (-8)/(-14)?
False
Let c(o) = -5*o. Let k be c(-1). Let i = k - 26. Let n = i - -26. Does 3 divide n?
False
Does 7 divide -3 + 1209 + (-35)/(-7)?
True
Let d = 88 - 165. Let a = -20 - d. Does 22 divide a?
False
Suppose 2*z = -2*h + 6296, -7*z + 8*z - 6294 = -2*h. Is h a multiple of 50?
False
Let r be (5 + 0 + 0)*1. Suppose p - 49 = 5*g, 4*p + 0*g + r*g = 221. Is 15 a factor of p?
False
Suppose -3*h + 9 = 5*f + 141, -84 = 2*h + 2*f. Does 6 divide (h - (0 - -4))/(-1)?
False
Let f(y) be the third derivative of -y**6/360 + 2*y**5/15 - 2*y**4/3 - y**3/2 + 6*y**2. Let n(a) be the first derivative of f(a). Is n(13) a multiple of 13?
False
Let g be (20/(-12))/(2/(-6)). Suppose -g*l + 10*l = 470. Suppose 10 = 5*a, 2*b + 5*a - l + 28 = 0. Is 14 a factor of b?
True
Suppose 0 = 4*s - m - 6887, 2 = -213*m + 215*m. Is 21 a factor of s?
True
Let u(h) = 4 + 0 - h**2 + 4 - 3*h. Is 4 a factor of u(-4)?
True
Let c be ((0 + -5)/(-10))/((-2)/(-12)). Suppose -f - c = 0, f = -2*v - f + 66. Does 9 divide v?
True
Suppose 0 = 5*b - 1738 + 288. Suppose -5*s = 0, -4*l - s = 182 + b. Let i = 186 + l. Does 34 divide i?
True
Suppose -9 = 4*r + 3*q + 794, 0 = -4*r + 2*q - 798. Let c = r - -340. Is 14 a factor of c?
True
Let d(p) = 47*p + 130. Is d(21) a multiple of 100?
False
Let o(y) = 2*y**3 - 8*y**2 + 0*y**3 - y**3 + 28 + 7*y - 16. Is 26 a factor of o(9)?
True
Suppose -5*t + 0*t + 20 = 0. Let a be (t/(-8))/((-1)/(-10)). Is 12 a factor of (-1)/a + 476/20?
True
Let w = 654 + -606. Does 8 divide w?
True
Suppose 50580 = 33*z - 3*z. Is 62 a factor of z?
False
Is 4 a factor of ((-66)/4)/3*-16?
True
Suppose -3*h + 166 + 362 = 0. Is h a multiple of 4?
True
Let z = 517 + -452. Does 4 divide z?
False
Let d = -44 + 46. Suppose -6 = -d*j, 0 = -3*u - u - j + 323. Is 20 a factor of u?
True
Let w = 20 - 17. Suppose w*s - 7*s + 5*q + 22 = 0, -4*s + 2*q + 16 = 0. Suppose -5*t + 50 = -3*d, -t - s*d + 19 = -9. Is 5 a factor of t?
False
Let d be (-3)/5*(-14 + 19). Let p be 21/(d - 16/(-4)). Suppose p = i + 2*i. Is i even?
False
Suppose -3*b = 5*k - 629, -7*k + 6*k - 3*b + 133 = 0. Is 42 a factor of k?
False
Suppose 3*z + 744 = 4*z. Suppose 5*m + z = -m. Let c = -32 - m. Is c a multiple of 24?
False
Let s(h) = -60*h - 100. Is 6 a factor of s(-12)?
False
Let p = 50 + -30. Suppose -p = u - 1. Is 7 a factor of (-4)/(2/(-1)) - u?
True
Suppose -8 = 14*n - 18*n. Suppose -7*h - 4*d = -n*h - 770, 499 = 3*h - 5*d. Does 20 divide h?
False
Does 7 divide ((-868)/(-62))/((-4)/(-18))?
True
Let d(y) = 3*y**3 - y**2 + 10*y + 7. Let s(z) = 7*z**3 - z**2 + 20*z + 14. Let b(h) = -9*d(h) + 4*s(h). Let f be b(-6). Does 2 divide (f/(-51))/(2/(-18))?
False
Let y = 17 + -68. Is -3 + 4 - -1 - 2*y a multiple of 18?
False
Suppose -12 = 35*o - 39*o. Suppose -o*v = 9, 3*y - v = 4*y - 152. Is 17 a factor of y?
False
Suppose -7*v - 3247 + 8819 = 0. Does 10 divide v?
False
Let z(d) = -5 + d - 8 + 16. Is z(3) a multiple of 6?
True
Does 43 divide 211/(-12*(-4)/384)?
False
Let y(w) = w**3 - 7*w**2 - w + 10. Let v be y(5). Is 15 a factor of v*(3*-1 - 35/(-15))?
True
Suppose -70 = -4*s - s. Let f = s - 11. Suppose -f*k + 6 = -k. Is 3 a factor of k?
True
Suppose f - 4003 = -4*s, 3*f = -5*s + 3987 + 1015. Does 7 divide s?
True
Let b(i) = -7*i. Let y be b(-3). Let m be 574/y + (-2)/(-3). Let g = 4 + m. Does 14 divide g?
False
Suppose -6*u + 707 = u. Suppose u = 4*t - 31. Does 33 divide t?
True
Let u be 6 + (-28)/5 + 8/5. Is 7 a factor of (-345)/6*(0 - u)?
False
Let x(z) = 38*z**2 + 39*z - 74. Is x(2) a multiple of 12?
True
Suppose 5*t = 2*w - 250, 0 = -4*w + 3*t - t + 500. Does 10 divide w?
False
Suppose -22*z = -33*z + 14355. Is 18 a factor of z?
False
Let o(b) = 21*b**2 + 16*b + 305. Is 29 a factor of o(-10)?
False
Let k(c) = -c**2 - 4*c. Let m be k(-4). Suppose 3*s = -m*s + 279. Let v = s + -31. Is 21 a factor of v?
False
Let v(m) = -11*m**3 + 6*m**2 - 2*m - 3. Is v(-3) a multiple of 12?
False
Suppose 4*i = d + 16, 3*d + 5*i = d + 20. Let m(j) = -316*j. Let l be m(-1). Suppose h - 104 = -d*y + y, 3*h - 4*y = l. Is h a multiple of 25?
True
Let b(g) = 28*g - 2. Let w be b(-2). Is (w/4)/((28/8)/(-7)) a multiple of 12?
Fa