
Let u be ((-1 - -1)/(7 + -2))/3. Suppose -15*p + 23*p - 3248 = u. Does 12 divide p?
False
Suppose 0 = -4*v + 4*c + 296, 7*v - 4*c - 371 = 2*v. Let t = v - 73. Suppose 0 = -g + 3*f + 30, 2*g + t*f = 58 - 14. Is g a multiple of 8?
True
Let n = -290 - -293. Let c(x) = -x - 3. Let j be c(-6). Suppose -n*d + 264 = j*d. Is 14 a factor of d?
False
Let n(p) = p**3 + 9*p**2 - 6*p + 34. Let j be n(-9). Let m = j + -58. Does 31 divide 20/m + (-230)/(-6)?
False
Let b be 307 + -2 - (25 - 30). Suppose 41*h - 36*h = b. Is h a multiple of 4?
False
Suppose 5*s - 5*z - 3 = 27, s - 16 = -4*z. Suppose 155 + 765 = s*v. Does 17 divide v?
False
Let v(g) = -243*g + 2678. Does 42 divide v(0)?
False
Suppose -32*n = -37*n - o + 19262, -4*n + 4*o + 15448 = 0. Does 41 divide n?
True
Let b be 0 - (-6)/(-15) - 12/(-30). Suppose 2*i - 3*i = 3*j - 3170, -5*i - 5 = b. Is j a multiple of 13?
False
Suppose -14*b + 322 = -8176. Suppose 18*r - b = 617. Does 17 divide r?
True
Let r = -3 - -14. Suppose 16*p - r*p - 25 = 0. Suppose -t + 33 = p*s, 2*t = 2*s + 3 + 3. Does 8 divide t?
True
Suppose -3*n - 18*y + 13*y = -5848, 0 = -4*n + 3*y + 7749. Suppose -17*h = -1187 - n. Does 14 divide h?
False
Let s(x) be the third derivative of -x**4/8 + x**3/6 + 21*x**2. Let u be s(1). Does 35 divide u/((-1)/(140/8))?
True
Suppose 51*j + 6764 = 55*j. Suppose 0 = -5*k + j + 259. Does 30 divide k?
True
Let o(z) = z**3 - z**2 - 2*z + 2. Let i be o(0). Suppose -i*s = -3*m + 124, -2*m - 48 = -3*m - s. Let n = -26 + m. Is 3 a factor of n?
True
Let h(b) = b**2 - 22*b - 116. Let y = -579 - -557. Is 17 a factor of h(y)?
False
Let h(q) be the second derivative of -q**5/20 - q**4/3 - 4*q**3/3 + 11*q**2/2 - 54*q. Does 38 divide h(-5)?
True
Let v = 35 + -14. Suppose v*x = 23*x. Suppose 5*l + 15 = 5*p + 90, x = 2*l - 4*p - 28. Does 16 divide l?
True
Let f(q) = -q**3 - 24*q**2 - 3*q + 196. Is 13 a factor of f(-26)?
False
Let x(h) = -28*h + 18. Let g(m) = 21*m - 16. Let t(d) = -5*g(d) - 4*x(d). Let u(q) = q**2 + 9*q + 6. Let i be u(-9). Is 25 a factor of t(i)?
True
Let h(k) = k**3 + 7*k**2 + 8*k - 8. Let d be h(-5). Suppose 5*u = -d*u + 287. Suppose -u - 19 = -5*z. Is z a multiple of 12?
True
Let t(h) = -4*h**3 + 3*h**2 - 12*h - 17. Let m be t(-5). Suppose 3*o - o - m = -l, -l - 3*o = -617. Is 40 a factor of l?
False
Suppose 0 = 4*k + 4 - 16. Suppose -k*z + y + 99 = -z, z + 3*y = 60. Does 3 divide z?
True
Let a = 17777 - 11991. Is a a multiple of 11?
True
Let i = 50312 - 30675. Is i a multiple of 73?
True
Suppose 8*g = 5 + 3. Let w(q) = q**3 - 2*q**2 + 1. Let c be w(g). Suppose -2*y - y = -2*s + 66, c = -3*y. Is 11 a factor of s?
True
Let b(q) = -q**2 - 31*q + 129. Let x be b(-38). Let p = x - -333. Does 4 divide p?
True
Suppose -24*r + 165014 + 30540 = -21958. Is 53 a factor of r?
True
Suppose -44777 = -3*s + y, 376*y = -5*s + 378*y + 74630. Is 13 a factor of s?
True
Let n = 3670 - 1927. Is 7 a factor of n?
True
Suppose 3*d - 2*j + 1498 + 707 = 0, 2*j = 5*d + 3671. Let s = 1025 + d. Is s a multiple of 8?
False
Let b(t) = -4*t**2 + 42*t + 966. Is 7 a factor of b(0)?
True
Let o be 33/7 - 20/70*-1. Let a(x) = 63*x + 33. Does 9 divide a(o)?
False
Let w(u) = 194*u - 2. Let d be w(3). Suppose -31*h + 36*h = d. Suppose 3*p - 259 = h. Is 13 a factor of p?
False
Suppose -9*a + 28 = -2*a. Let o be -2 + -2 + (a - -2). Suppose y + o = 5. Is y a multiple of 3?
True
Let z = 6712 + -2425. Is z a multiple of 6?
False
Let g be (1 - 34/(-4)) + (-20)/40. Suppose 612 = g*o - 144. Is 3 a factor of o?
True
Let f(j) = -33*j - 21. Let m(l) = 16*l + 12. Let o(g) = 1. Let w(x) = -m(x) + o(x). Let t(c) = -2*f(c) + 5*w(c). Is t(-6) a multiple of 15?
False
Suppose -19*v + 2166 + 13888 - 1253 = 0. Is 41 a factor of v?
True
Let l(w) = 162*w**3 + 14*w**2 - 6*w - 85. Does 55 divide l(7)?
False
Suppose -9*p + 46 = 1. Let z(r) = -r**3 + 7*r**2 - 9*r + 26. Does 2 divide z(p)?
False
Let l(b) = 43*b**2 + 11*b + 528. Is l(-16) a multiple of 8?
True
Let m(r) = -r**2 + 49*r + 7676. Is 38 a factor of m(0)?
True
Let f = -136 + 139. Suppose -f*g - 287 = 4*g. Is 10 a factor of -4 + (g/(-3))/(1/3)?
False
Suppose -7*c = c - 80. Let w be 63/45 - (-6)/c. Is (w/2)/((-6)/(-456)) a multiple of 10?
False
Suppose y + 242 - 246 = -2*c, 4*y - 10 = -5*c. Let b(q) = -9*q. Let x be b(-3). Suppose -155 + x = -c*i. Is i a multiple of 16?
True
Let t(s) = -2930*s**3 - 8*s**2 - 35*s - 48. Is 71 a factor of t(-2)?
True
Suppose 5*c - 4*i + 435 = i, c + 95 = 5*i. Let u = c - -154. Is 26 a factor of u?
False
Suppose 281 = 15*b + 86. Let m(j) = 2*j**2 - 14*j - 15. Let s be m(b). Let y = s - 21. Is y a multiple of 15?
True
Suppose -5*q + 7*v + 152240 = 0, 6*v = 11*v + 25. Does 73 divide q?
True
Let f be 6/15 - (-6)/((-90)/(-1119)). Let b = -23 + f. Suppose -4*s + 281 = 5*n - 2*s, b = n - s. Is n a multiple of 13?
False
Let r be (-2)/5 - (-72)/30. Suppose 60 = r*z - 4*s, 2*s = -0*s. Suppose -34*a + 144 = -z*a. Is 9 a factor of a?
True
Let f = -530 - -533. Suppose 2*t - 595 = 3*z, -f*t = 2*z - 775 - 85. Is t a multiple of 29?
True
Let q(y) = y**3 - 9*y**2 + 3*y - 22. Let n be q(9). Suppose n*z - 1089 = 2*z. Let o = z + -216. Is 27 a factor of o?
False
Let s = 28 + -23. Suppose 28 + 22 = -s*p. Is (-1105)/p + 1 - (-2)/4 a multiple of 9?
False
Suppose 0 = 181*k - 179*k - 1914. Suppose 0 = 5*v + 2*f - k, 0*f - 378 = -2*v - 2*f. Is v a multiple of 12?
False
Let o = 15 + -30. Suppose 0 = 11*z + 11. Is 28 a factor of z*(-42)/o*(0 + -50)?
True
Does 28 divide (-20 - 1379/(-21))/((-2 + -1)/(-9))?
False
Suppose -2351 - 229725 = -25*f + 42599. Is f a multiple of 74?
False
Let b be 194 + -6 + 7 + -1. Let o = b + -74. Does 37 divide o?
False
Let y be (-3 - -9)/(2/29). Suppose -a + y - 10 = 0. Let l = a - 30. Does 7 divide l?
False
Let d be 780*35/(-21)*-4. Is (-2)/11 + d/44 a multiple of 9?
False
Let i(x) = 4*x**2 + 18*x + 9. Suppose -2*b + 13 = 2*p + p, -5*b = 5*p - 45. Let w be i(b). Suppose 11*t = -110 + w. Is t a multiple of 10?
False
Is (-135)/(-18)*31568/20 + -10 a multiple of 7?
False
Suppose 2*t - 8 = 0, 3*y - 3 + 4 = 4*t. Suppose -16*q = -y*q - 836. Is q a multiple of 2?
True
Let p(w) = 89*w**2 - 18*w - 26. Is p(7) a multiple of 3?
True
Let q be (4 - 10)*(-5)/3. Let m be (-1 - (-8)/20) + 231/35. Suppose m + 564 = q*b. Is b a multiple of 19?
True
Let c(z) = -45*z**3 - 31*z**2 - 158*z. Does 16 divide c(-6)?
True
Let i be (-2 - (-2)/(-3))/((-2)/12). Let c = i - -457. Is 31 a factor of c?
False
Let s(g) = -g**2 - 37*g + 80. Let l be s(-30). Let w = -26 + l. Is 22 a factor of w?
True
Suppose 2*j + 401 = 3*a, -5*a = -6*a - 5*j + 128. Suppose 0*o = o + x - 129, 0 = o - 3*x - a. Suppose 12*v - o = 206. Is 25 a factor of v?
False
Let y(d) = 2301*d + 1616. Does 176 divide y(5)?
False
Suppose -251708 - 2010272 = -91*z + 463106. Is z a multiple of 69?
True
Does 74 divide (5 + -5777)/(-6)*(11 + -18 - -47)?
True
Let c(f) = 0*f + 14*f - f**2 - 20 + 0*f. Let g be (-6)/5*(-57 + 47). Is 4 a factor of c(g)?
True
Let t(z) = -2*z**3 - 9*z**2 - 14*z - 13. Let l be t(-7). Suppose -c + h = l, -4*h = 3*c + 674 + 281. Is (-7)/((-105)/c)*-3 a multiple of 5?
True
Let z = -47 - -52. Suppose -n + z*j = -0*j - 22, -3*j = 4*n + 4. Let u(v) = 19*v**2 - v - 3. Does 10 divide u(n)?
False
Let j(q) be the first derivative of 17*q**7/280 - q**6/360 + q**5/120 + 2*q**3 - 2. Let h(c) be the third derivative of j(c). Is 6 a factor of h(1)?
False
Let c(f) = -311*f**3 + 2*f**2 + 2*f - 1. Suppose -3*a + y = 3*y + 3, 3*a + 4*y = -3. Does 10 divide c(a)?
True
Let x be (-59)/(-7) + (-16)/(-28). Let p(a) = -a**3 + 11*a**2 - 12*a + 19. Does 16 divide p(x)?
False
Let x(l) = -16*l**2 - 1840*l - 360. Is 6 a factor of x(-112)?
True
Suppose r - 4171 = 2*g, 27*r - 32*r + 20840 = 5*g. Is r a multiple of 11?
True
Let f(q) = 5*q**3 + 6*q**2 - 231*q + 4432. Does 24 divide f(19)?
True
Let n(p) = -p**3 - 6*p**2 - 3*p - 30. Let w = -149 + 140. Is 16 a factor of n(w)?
True
Suppose -3*k - 3*a = -4167, 5*k + 2*a - 7116 = -156. Is 17 a factor of k?
True
Suppose 7*u = 2*u. Suppose 4*a + 5 - 13 = u. Suppose 7*y = 3*y + 5*b + 315, -a*y = -b - 165. Does 17 divide y?
True
Let v be -3 - (-92)/36 - (-1453)/9. Let f = v + -151. Does 5 divide f?
True
Let f(p) = -5*p - 6. Let r be f(0). Suppose -5*d = -3*j - 23, -5*j = d - 4 + 5. Is 8 a factor of j/r + (-1