f + 8. Let p(y) = -9*k(y) - 2*q(y). Is 10 a factor of p(11)?
True
Let a = -187 + 235. Suppose -10 = -5*g, -17*z + 18*z - a = 3*g. Does 10 divide z?
False
Let k = 11361 - -16795. Is 14 a factor of k?
False
Suppose -10*t + 26 = -14. Suppose -t*i + 155 = -1917. Does 74 divide i?
True
Let f = 569 + -42. Let g = f + -463. Is 64 a factor of g?
True
Suppose -345 = -3*x + 3*v, x - 2*v = -7*v + 85. Let d = -69 + x. Suppose -n + 3 + d = 0. Is n a multiple of 21?
False
Let a be 7 + (-4 - (75 + -7)). Does 7 divide 2*a*18/(-18)?
False
Suppose 0 = -172*j + 470325 - 67536 + 503307. Does 47 divide j?
False
Let q = -53 - -53. Suppose 0 = -0*j + 2*j + 4*z - 236, 5*j - 2*z - 542 = q. Suppose -4*u + j = u. Is u a multiple of 22?
True
Suppose 2 = 4*z + 6, 2*f - 15 = 5*z. Suppose 3*d - v = -d + 4087, 1027 = d + f*v. Is d a multiple of 14?
True
Suppose 392 = 3*p - 100. Does 42 divide p?
False
Suppose -4*f = -v - 1958, 3*f + v + 187 = 1659. Is 10 a factor of f?
True
Is 12 a factor of -52 + 41 - (-77802)/3?
False
Suppose -2*y - b = -17780 - 25194, 3*y = 3*b + 64434. Does 262 divide y?
True
Let c = 40 + -82. Let l be (c + -4)*5/10. Is 8 a factor of (0 + -4 + 3)*l?
False
Let u be 1 - (2 - -3 - 10). Let b(d) = 2*d**3 + 5*d**2 - 9*d + 9. Does 27 divide b(u)?
True
Let g(t) = -t - 1. Let f be g(-1). Suppose -19*h + 2626 - 574 = f. Is 36 a factor of h?
True
Does 10 divide (29479/(-369))/((-5)/1035)?
False
Let g(y) be the first derivative of -y**4/2 - 5*y**3 + 7*y**2/2 - 30*y - 102. Is g(-9) a multiple of 10?
True
Let o(y) = -2*y**2 + 6*y + 14. Let w be o(6). Let z(r) = r**3 + 23*r**2 + 19*r - 24. Is 14 a factor of z(w)?
True
Let v(h) = -63*h + 484. Is 10 a factor of v(-32)?
True
Suppose -5*r - f = -12044, -f = -4*r + 5269 + 4368. Does 33 divide r?
True
Let o = -103 - -42. Suppose 18*f - 4*f = 1708. Let g = f + o. Is 8 a factor of g?
False
Suppose -3*m + 2*x = -0*m - 34, 4*m - 3*x = 47. Suppose m*z = 11*z + 27. Is 25 a factor of (z/(-21) - 3/(-42))*100?
True
Suppose 4*b - 6 = 5*s, 2*s + 0*s + 3*b - 16 = 0. Let h(v) = -3*v**s + 8 - v + 5*v**2 + 7*v**2 + 6*v**2. Does 27 divide h(3)?
False
Let s(y) = -31*y**3 + 2*y**2 + 7*y - 2. Suppose 30*u + 10 = 25*u. Does 8 divide s(u)?
True
Let n(w) = 6*w**2 - 18*w**3 - 10*w**3 + 58*w**3 - 18*w**3 - 11*w**3 - 7 + w. Suppose 2*j + 7 + 1 = 0. Does 21 divide n(j)?
True
Let y(f) = 17*f**2 - 45*f - 597. Is y(28) a multiple of 18?
False
Let o(c) = c**3 - 6*c**2 - 18*c + 11. Let k be o(8). Let h(u) = -u**2 - 10*u - 15. Let q be h(k). Let t(f) = 4*f - 29. Is t(q) a multiple of 2?
False
Let x be 0 + 0 - (35 + -42). Let h(m) = 21*m - 65. Is 10 a factor of h(x)?
False
Let d be (70/28)/(2/(-20)). Let n = -40 - d. Does 17 divide (-824)/(-12) + 10/n?
True
Let p(s) = -s**2 - 3*s + 6. Let q be p(3). Is 26 a factor of (3978/q)/(-17)*56/3?
True
Is 27 a factor of ((-45960)/(-36))/((-15)/(-18))?
False
Suppose -5*c + 4*o - 16 = 0, 2*c + o - 2 - 2 = 0. Suppose 2*t + 9 + 9 = c. Is 6 + (t/(-18) - 10/(-4)) a multiple of 9?
True
Let z(d) = -399*d - 3415. Is 115 a factor of z(-10)?
True
Let q(n) = 28*n**2 + 45*n - 193. Is q(21) a multiple of 6?
False
Suppose 5*q - 5*x - 20805 = 0, 9*q - 37465 = -2*x + 7*x. Is 49 a factor of q?
True
Let u = 11761 - 8899. Is u a multiple of 27?
True
Let p = 88 - 64. Suppose -10*d + 16 + p = 0. Suppose 1 = q, -d*g + 175 + 22 = q. Does 39 divide g?
False
Let h = -374 - -378. Suppose 5*n - 9*v + h*v = 570, -n + 111 = -4*v. Does 41 divide n?
False
Suppose -25*k = -5*r - 22*k + 10073, 0 = -r - 5*k + 2037. Suppose 2*c + 73 = r. Is 54 a factor of c?
True
Is 6/((-6)/(-2))*39/((-429)/(-158620)) a multiple of 412?
True
Suppose -o - o = -6. Let z(y) = 47 + y + o*y - 4*y - 4*y. Is 33 a factor of z(-23)?
False
Let g be (-27)/(-18)*(-4)/(-3). Suppose 2*r - 29 = -3*t, 4*r + 10 = g. Let w(k) = k**3 - 10*k**2 - 6*k - 15. Does 8 divide w(t)?
True
Suppose 26*h - 148*h + 2125676 = 56*h. Does 78 divide h?
False
Suppose -3*f + 321 = 4*a, -2*f = -0*f + 2. Let s = 126 - a. Suppose l - 2*l = -2*n + s, -4*l - 20 = 0. Does 15 divide n?
False
Let s(v) = -v**2 + 29*v + 4. Let l be s(18). Let p = l - 82. Is 8 a factor of p?
True
Does 20 divide (-6)/33 - (-5577078)/429?
True
Suppose q - 22 = -i, -7*q + 4*q + 42 = -5*i. Let k = -13 + q. Suppose r + 2*y = k*y + 30, 3*r + 4*y = 26. Is r a multiple of 2?
True
Suppose -13*z + 80276 = z. Let f = z - 4085. Suppose f = -r + 18*r. Is r a multiple of 8?
False
Let o(r) = 11*r - 7. Let d(m) = 15*m**2 + 4*m + 2. Let b be d(-2). Let v = 58 - b. Does 7 divide o(v)?
False
Let c(q) = -q**3 - 19*q**2 + 27*q + 178. Is c(-29) a multiple of 7?
True
Let l = 9 + -4. Let b(u) = u**3 - 7*u**2 + 2*u - 8. Let f be b(7). Let s = l + f. Is 2 a factor of s?
False
Let r = 4 + 0. Let i = r + -6. Is 3 a factor of 140/77 + i + 158/22?
False
Let s(j) = -9*j**2 - 74*j + 14. Let m be s(-7). Let v(d) = 149*d + 2. Let y be v(1). Let u = y - m. Is 9 a factor of u?
False
Suppose 2*g + 0*g + 10 = 0, -4*o + 27 = -3*g. Is 73 a factor of o*35/(-15)*(-292)/4?
True
Let q = -8 + -3. Let z = -8 - q. Suppose z*v - 220 = -g, 2*v - 6*g = -11*g + 164. Is 3 a factor of v?
True
Let i(h) = -150*h + 133. Is 55 a factor of i(-5)?
False
Suppose 148*m = 271*m - 68757. Is 32 a factor of m?
False
Suppose -3*n + 1671 = -q - 4*q, -4*q - 1342 = -5*n. Let o be (-3)/2 + 5145/(-30). Let h = o - q. Is 18 a factor of h?
False
Let m(a) be the first derivative of 245*a**3/3 + 2*a**2 - 3*a - 70. Does 70 divide m(-2)?
False
Let g(i) = 2*i**2 - 2*i - 3. Let h be g(-3). Suppose -3 = 4*t + h. Let c(o) = 4*o**2 + 3*o + 8. Does 14 divide c(t)?
False
Suppose 8*w + 100 = 20. Let l = -5 - w. Suppose 4*t = -l*v + 6*v + 91, 5 = 5*v. Is 2 a factor of t?
False
Does 28 divide ((-319830)/(-28))/(1/2)?
False
Suppose 1368 = -2*w + 10*w - n, 3*w = n + 513. Does 57 divide w?
True
Let r = -34 - -39. Suppose 0 = 5*n - 3*m - 115, 4*n = 3*n + r*m + 1. Is n a multiple of 2?
True
Let b(z) = 50*z - 8. Let j be b(1). Let o be 1*(-6)/(36/j). Let y(x) = 3*x**2 + 9*x + 3. Does 10 divide y(o)?
False
Let r(w) = -w - 96. Suppose -y - 10 = -3*y. Let b(v) = -v - 96. Let s(g) = y*b(g) - 6*r(g). Does 32 divide s(0)?
True
Suppose 2*d + x - 972 = 5*x, 2*d + 3*x - 972 = 0. Suppose -d = -0*l - 2*l. Is 26 a factor of l?
False
Suppose 18*p - 37488 = 222. Suppose 0 = -5*j + p - 280. Does 11 divide j?
True
Let n(r) = 2729*r**2 - 111*r + 217. Does 227 divide n(2)?
False
Let m(d) = -d**3 - 3*d**2 + 2*d - 8. Let k be m(-4). Suppose -3*v + 15 = 0, k = 4*t + 4*v - 71 + 483. Let z = -87 - t. Does 17 divide z?
False
Let p be 0 - ((-3612)/(-22) + 18/(-99)). Let x = 192 + p. Does 4 divide x?
True
Suppose -13033 + 1784 = -5*p - 3*d, 0 = -3*p - 3*d + 6753. Does 9 divide p?
False
Suppose 88406 = 2*a + 6*t, 2*t + 53677 = 4*a - 123121. Is 200 a factor of a?
True
Let y = -849 + 1332. Is y a multiple of 24?
False
Suppose -185*f + 897851 = -213259. Is f a multiple of 36?
False
Let a be 191 - (0 + -2) - 3. Let v(d) = 47*d + 150. Let s be v(-5). Let u = a + s. Does 21 divide u?
True
Let b(r) = 45*r - 3. Let l be b(-1). Let z = l - -337. Is 17 a factor of z?
True
Let a(r) = -r + 230. Let c be a(16). Suppose 2338 = c*k - 207*k. Is k a multiple of 19?
False
Let y be (35/(-2) - -1)*(-20)/(-30). Let a(f) = f**3 + 11*f**2 - 4*f - 12. Does 2 divide a(y)?
True
Let z(b) = b**3 - 10*b**2 + 12*b + 9. Suppose 9*s = 3*s + 12. Let r be 10/s + -3 - -7. Does 36 divide z(r)?
True
Let f = -18 + 18. Suppose 5*v + 3*r + 93 = f, -5*r + 111 = -4*v + 44. Is (-8)/v - (-532)/18 a multiple of 10?
True
Let j(b) = 380*b**2 - 1. Let m be j(1). Suppose m = 2*l - 77. Suppose 5*o - l = y, -4*o + 177 = -4*y + 5*y. Is o a multiple of 4?
False
Let r = -101392 - -178117. Is r a multiple of 75?
True
Let p = 11948 + -9786. Is p a multiple of 94?
True
Let i be (0/(-2))/((-36)/(-9)). Suppose 3*k + m + 5 = i, -4 = 3*k - 0*k + 2*m. Is 32 a factor of (1169/14)/(k/(-4))?
False
Let f(l) = -l**2 + 13*l - 18. Let h be 5 + 0/(-5 + 3 + 0). Suppose 0 = h*s + 25, -1 = 3*u - 6*u - 4*s. Is f(u) a multiple of 8?
True
Let f = 94 - 11. Let g = 147 - f. Does 20 divide g/12*180/16?
True
Let b = -720 - -723. Suppose 5*k - 2630 = -4*m, 5*k + 2*m - 2630 = -b*m. Does 33 divide k?
False
Let t = 1413 + 116. Let j = t - 1021. Is 39 a factor of j?
False
Suppose -44*j + 36*j = -264. Let i be ((-22)/4)/(1/2). Is