Is 11 a factor of d?
True
Suppose -3*c = 4*x - 8*c - 15, -4*c = -4*x + 16. Is 10 a factor of x*(2212/70 + 4/10)?
True
Suppose -5*v - 5*v = -20. Suppose v*u = -2*i + 15 + 1231, u = -5*i + 3127. Is 19 a factor of i?
False
Suppose 8 = -3*b - 4*q, -8*q + 13 = -3*b - 7*q. Does 71 divide b/(-10) - (-9 + 11988/(-30))?
False
Suppose 124 = 4*t - 48. Suppose -z = -5*f + 219, 0*f + t = f - z. Is 3 a factor of f?
False
Is 60 a factor of 1246/(-28)*-15*24?
True
Let b(g) = -g**2 - 4*g + 41. Let p be b(-8). Suppose p*m - 116 - 10 = 0. Suppose h + m = 29. Is 6 a factor of h?
False
Let y(s) = 43*s**2 - 13*s + 19. Let k be y(2). Suppose -924*v + 927*v - k = 0. Is 5 a factor of v?
True
Suppose 17*x + 3*x - 160956 = 2*x. Is 37 a factor of x?
False
Suppose 9 = -3*y + 6*y. Let p be (1 - 7/5)*-5. Suppose -308 = -4*x + 5*b, -y*x + 64 = -2*x + p*b. Is 9 a factor of x?
True
Let t be (-8)/(-32) + 393/12. Let z be 1/(t/(-18) - -2). Does 20 divide 1/z - (-1437)/18?
True
Suppose -b - o - 105 = 0, -b = -5*b + 4*o - 444. Let a be (-19)/((-228)/180) + 192. Let i = a + b. Is i a multiple of 10?
False
Suppose 1975*r + 13262 = 1976*r. Is 38 a factor of r?
True
Let v = 181 - 200. Let o(m) be the first derivative of -11*m**2/2 + 54*m + 1. Is 22 a factor of o(v)?
False
Let o(k) = 741*k - 9131. Is o(77) a multiple of 31?
True
Is -13 + (151932 + 0)/12 a multiple of 8?
True
Let u(c) be the second derivative of 7*c**5/20 - c**4/12 + c**3/3 - c**2/2 - 22*c. Let n be u(1). Suppose -6*p + n*p - 14 = 0. Is 4 a factor of p?
False
Let a(f) be the first derivative of 4*f**3 + f**2/2 - 26*f - 5. Is a(-5) a multiple of 15?
False
Suppose 0 = -35*y - 36*y + 55*y + 37952. Is y even?
True
Let s(d) = -7607*d - 10061. Is 9 a factor of s(-4)?
True
Let l(w) = 5*w**3 + 15*w**2 + 14*w + 1. Let c(y) = 4*y**3 + 13*y**2 + 12*y - 1. Let x(n) = -4*c(n) + 3*l(n). Let m be 19/(-3) + (-2)/(-6). Is x(m) even?
False
Let i(j) = 4*j**2 + 3*j + 16. Let s be 1/((-12)/(-66) + (-39)/154). Does 17 divide i(s)?
False
Let l(d) = d**3 - d**2 - 4*d + 2. Let c = -35 + 46. Let w(f) = -3*f**3 + 3*f**2 + 11*f - 7. Let j(v) = c*l(v) + 4*w(v). Does 12 divide j(-4)?
False
Let r(z) = -211*z + 92. Let c be r(-6). Suppose 4724 = 9*f + c. Is f a multiple of 48?
False
Let m = 34 - 25. Suppose 0*i + 27 = -m*i. Is (1 + -4)/(i/20) a multiple of 20?
True
Let x = -2916 + 4416. Is 15 a factor of x?
True
Suppose -14 = -2*m + u - 3*u, m + 4*u - 13 = 0. Suppose -26 - 109 = -s + m*b, -4*s - 2*b = -606. Is 6 a factor of s?
True
Suppose 3*d + 4*i = 27350, 4*d - 2*i = 16562 + 19890. Suppose 674 - d = -20*q. Is 8 a factor of q?
False
Let n(p) = 14*p**2 + 10*p - 411. Does 5 divide n(24)?
False
Suppose 0 = 2*f - 3*h - 59714, -29857 = -f + 283*h - 285*h. Is 9 a factor of f?
False
Let p be (-165 + 151)/((-2)/(-122)*2). Let n = p - -455. Is 3 a factor of n?
False
Let p = 185 + -79. Suppose -5*n + p + 354 = 0. Is n even?
True
Suppose -2*x = -0*x - 6. Suppose 113 = -x*c - 10. Let g = c - -137. Is g a multiple of 32?
True
Suppose 0 = -i + 3*z + 1582, 0 = -8*i + 10*i + 2*z - 3196. Suppose 0 = -4*v - k + 1053, 2*k - 281 = 5*v - i. Is v a multiple of 21?
False
Suppose 2*g - 2*d + 3*d - 133 = 0, 0 = -5*d + 15. Let u = g + -45. Is 4 a factor of 16 + 1*u/5?
True
Suppose 3*h + h - 4*k - 48 = 0, h + 4*k = -8. Suppose -5*n = -4*u + 1898, 3*u - 9*n - 1429 = -h*n. Does 52 divide u?
False
Is 24 a factor of 13449*8/12 + -3 - (3 + 3)?
False
Let b be (7 - 180/27)/(2/24). Suppose -4*v + g - 57 = -750, b*v - 5*g = 697. Is 5 a factor of v?
False
Let d(s) = s**2 - 11*s + 116. Let i be d(21). Suppose -4*g - 5*r = -i, -4*g + 2*r - 4*r + 332 = 0. Is g a multiple of 14?
True
Suppose 4*u - 13190 - 11441 = -5*y, 0 = 4*y + 2*u - 19706. Suppose -20*q + 3713 = -y. Is 99 a factor of q?
False
Suppose 0 = -282*y + 284*y + 10. Let a(f) be the first derivative of 2*f**3/3 + 7*f**2/2 + 5*f - 5. Is a(y) a multiple of 4?
True
Let d(s) = -6*s + 28. Let o = 2 + 6. Let r be d(o). Is 22 a factor of (r/25)/((-332)/165 + 2)?
True
Suppose 340*u - 354*u + 74158 = 0. Is 53 a factor of u?
False
Suppose 101*l - 96*l - 25 = 0. Let s(n) = n**2 + 21*n - 10. Is 40 a factor of s(l)?
True
Suppose -p - p + 6 = 0. Suppose 4*i = 5*t - 103, -p*i - 60 = -0*t - 3*t. Suppose 3*k - h - h = t, k = -2*h + 13. Is k even?
False
Let h(c) = c - 2. Let o be h(4). Let v be 486/30 + o/(-10). Let r = 52 - v. Is r a multiple of 18?
True
Let s = 69 - 59. Suppose -s = 5*k, -3*p + 589 = -7*k + 2*k. Does 8 divide p?
False
Suppose x + 3 + 1 = 0. Let y be (-1)/(x/8 + 2 + -2). Suppose 0 = 5*p - 25, -y*i = 3*p + 33 - 144. Does 12 divide i?
True
Let j(v) = -3*v - 26 + 12*v + 24 + 11*v**2. Let l be j(-7). Suppose -o - l = -3*o. Is o a multiple of 48?
False
Let t = 2149 + -3135. Let o = -683 - t. Is o a multiple of 18?
False
Let v = -130 + -339. Is 17 a factor of (-4)/14 + (-95810)/v?
True
Suppose -2*t + 3*w = -4, 9*t = 7*t + 5*w. Suppose t*f - 1840 = f. Is f a multiple of 20?
True
Suppose -141 = -2*l - 3*a, a + 282 = 5*l - 28. Let z be (0 + -30)*l/(-5). Let s = z + -234. Does 24 divide s?
True
Suppose -18*h - 2 = 2*p - 13*h, -5*h + 6 = 4*p. Suppose -p*m - 18*m = -1716. Is 26 a factor of m?
True
Let x(c) = 17*c**2 + 17*c + 46. Let t be x(-4). Let m = t + 289. Is m a multiple of 7?
True
Does 159 divide 3/(18/(-92))*-477?
True
Let g(w) = 2*w - 40. Let q be g(22). Let f(b) = -4*b + 10. Let h be f(q). Let o = 78 + h. Does 37 divide o?
False
Let b(p) = p**3 - 4*p**2 + 19*p - 117. Is 51 a factor of b(9)?
True
Let j(c) = c**2 - 4*c + 7. Let h be j(3). Suppose m = 5*i + 63, -5*m - 49 = 5*i - h. Is 35 a factor of (0 - 423/i)*(-8)/(-2)?
False
Let c(d) be the first derivative of d**3/3 - 24*d**2 - 340*d + 95. Is c(-7) a multiple of 5?
True
Let i = -1133 + 1244. Suppose -3*b - 146 = -b. Let q = i + b. Is q a multiple of 17?
False
Let j be (-14)/35*(-1825 + (1 - 1)). Suppose 0*h + 448 = 3*o - h, -j = -5*o + 5*h. Does 24 divide o?
False
Let p = 1046 + -1258. Let r be 905/(-7) + (-4)/(-14). Let m = r - p. Does 34 divide m?
False
Let h(r) = 920*r**3 - 60*r**2 + 126*r + 1. Does 101 divide h(2)?
True
Suppose -l - 898 = -3*k - 2721, 5*l + 3*k = 9187. Suppose 4*s + p - l = 0, -2*s + 4*p = -528 - 376. Is s a multiple of 15?
False
Suppose 3*u + 42 = 3*k, 5*k - 7*k + 13 = 3*u. Let g = 138 - k. Is 3 a factor of g?
False
Let n be (7 + 21/(-3))/3. Suppose -2*j + 1322 + 1282 = n. Is 62 a factor of j?
True
Let g(u) = 4*u**2 + 2*u - 1. Let b be g(1). Suppose -327 = -b*q + 2*q. Suppose -3*w + 191 = -q. Is w a multiple of 8?
False
Suppose 11*z + 5*m - 119939 = 7*z, -120049 = -4*z + 17*m. Is z a multiple of 33?
False
Suppose -15 = 7*y - 10*y. Suppose -y*o = 15, 8*o - 5*o = k - 636. Is 19 a factor of k?
True
Let s = -6 + 22. Let a = -17 + s. Does 14 divide 48 - 4 - (-2)/a?
True
Let c(t) = t**2 + 7*t + 24. Let w be c(-10). Let z = 57 - w. Does 12 divide 2/z*(-5 - -32)?
False
Suppose 165 = -9*n - 105. Let d be (n/(-25))/(((-24)/165)/(-4)). Suppose 0 = d*l - 29*l - 560. Is 11 a factor of l?
False
Suppose -66*g + 402982 = -551972. Is 235 a factor of g?
False
Let l = -10 - -23. Suppose -2*j - l = 3*a - 4*j, a - 4*j + 11 = 0. Is 3 a factor of 33*(-3 + 0 - -1 - a)?
True
Suppose 245*a - 45*a = -3306733 + 11409333. Is a a multiple of 17?
False
Let u(c) = -2*c - 14. Let b be u(-5). Let n be (4 - b*2)/(6/81). Suppose 6 = 7*f - n. Does 10 divide f?
False
Let y be (30/45)/(4/(-6)) + 68. Let q = y - 61. Let g(s) = 4*s**3 - 19*s**2 + 4*s + 2. Does 56 divide g(q)?
False
Let c(v) = 116*v + 27. Suppose 90*t - 12 = 86*t. Is c(t) a multiple of 21?
False
Suppose -59*j + 56*j + 2382 = m, 3*m - 2*j - 7124 = 0. Is m a multiple of 88?
True
Let f be (2/4)/(1/304). Suppose 0 = 67*u - 81*u + 28. Suppose 0 = 4*x - u*x - f. Is x a multiple of 19?
True
Let y(v) = -16*v**2 - 3*v - 80. Let z(q) = -81*q**2 - 14*q - 398. Let n(x) = -11*y(x) + 2*z(x). Is n(-9) a multiple of 87?
False
Suppose 4*a = 5*k + 77096, 2*a + 13*k = 8*k + 38578. Is a a multiple of 8?
False
Let x = -530 - -533. Suppose -684 = -x*q - q - w, -w + 4 = 0. Is q a multiple of 7?
False
Let x = 235 - 117. Suppose 2*i + x = -5*d + 1746, d - 2*i - 316 = 0. Is 19 a factor of d?
False
Is (3/2 + 138/(-60))/((-4)/30040) a multiple of 32?
False
Let z = 32090 - 18925. Is 79 a factor of z?
False
Is 13 a factor of 1/((-16)/(-3521088)*18)?
False
Su