t w(p) = 206*p**2 - 11*p - 12. Is w(-1) a multiple of 38?
False
Let k be (3/(-6))/((-8)/32). Suppose -k*a = -7*a + 270. Is a a multiple of 10?
False
Suppose -9562 = -13*z - 1606. Is z a multiple of 18?
True
Suppose 0 = -5*h + 2*w + 3*w + 1380, 3*w = -3*h + 810. Is h a multiple of 21?
True
Suppose 5*p = -0*p + 220. Let b = 76 - p. Is 16 a factor of b?
True
Let b = 397 - 152. Suppose -2*n = -5*c - b, 0*n + 3*n + 2*c = 377. Is n a multiple of 25?
True
Let r(v) = -77*v + 49. Is 16 a factor of r(-11)?
True
Suppose 0 = -3*h + 9, 6*i - 2*i = 5*h - 11. Suppose 0 = -4*k - 13 + i. Let f(y) = -y**3 - 5*y - 4. Does 19 divide f(k)?
True
Let n = -5 + 1. Let s be (-1 + 0)/(-3 - n). Does 31 divide (-93)/3*3/s?
True
Suppose -17*l + 23*l - 8034 = 0. Does 14 divide l?
False
Let p = 25 - 21. Let a(f) = f**2 + 4*f - 8. Let r be a(p). Let y = 8 + r. Is y a multiple of 16?
True
Let n be 2/(-2) - (-206 + 7). Let o = -117 + n. Is 4 a factor of o?
False
Suppose 3*a + 1418 = 5*r - a, -3*a = -2*r + 570. Suppose g = 3*x + 37 + 100, -2*g - 2*x = -r. Is g a multiple of 27?
False
Suppose -1128*c + 32640 = -1120*c. Is c a multiple of 30?
True
Let r(u) = 5*u**3 - 4*u**2 - 8*u + 20. Is 49 a factor of r(5)?
False
Let a(z) be the third derivative of 7*z**4/4 + 2*z**3 - 6*z**2. Is a(6) a multiple of 44?
True
Let n(u) = 147*u - 15. Let m = -73 + 75. Is 31 a factor of n(m)?
True
Let p = 1533 - 783. Suppose -p = -5*b - 0*b. Suppose 3*n + b = 8*n. Is 15 a factor of n?
True
Suppose -4*t = -5*t + 2, 0 = 5*o - t - 643. Suppose 0 = -3*s + o - 15. Is s a multiple of 19?
True
Suppose 3*c - 5*x = 1653, -8*x + 1653 = 3*c - 3*x. Is 29 a factor of c?
True
Let b = 1339 - 874. Does 23 divide b?
False
Does 17 divide 2178/2 - (-23 + 26)?
False
Let t(m) = 3*m**2 - 8*m - 6. Let n(q) = -q**3 + 4*q**2 + 5*q - 2. Let l be n(5). Let c = l + 8. Is 18 a factor of t(c)?
True
Let x = -32 - -77. Does 16 divide -8 + 11 + x/1?
True
Let v = 204 + 586. Is 47 a factor of v?
False
Let w = 770 + -322. Is w a multiple of 14?
True
Let f = -166 - -225. Does 4 divide f?
False
Let p = -41 - -46. Let b(c) = 3*c**2 - 2*c + 6. Let s(i) = -2*i**2 + 2*i - 5. Let r(w) = 4*b(w) + 5*s(w). Is r(p) a multiple of 15?
False
Suppose -2*w = -4*g - 568, 946 = 3*w + 3*g + 103. Is 2 a factor of w?
True
Suppose -2*m - 4*i + 341 + 1967 = 0, m + 5*i = 1169. Is 8 a factor of m?
True
Suppose 322 = 2*a - 4*u, u = -3*u - 20. Does 15 divide a?
False
Is (-38856)/(-27) + (-26)/234 a multiple of 75?
False
Suppose 0 = 10*f - 4725 - 12205. Is 45 a factor of f?
False
Suppose 6773 = -28*p + 41*p. Is p a multiple of 2?
False
Let c = 15 - 10. Suppose -54 = c*g - 7*g. Does 9 divide g?
True
Suppose 96*b = 86*b + 22770. Does 33 divide b?
True
Suppose 0 = -4*r - 8, 8*x - 2*r + 1572 = 12*x. Does 11 divide x?
False
Suppose 2*x + 6194 = 4*l, -3*x = 5*l - x - 7738. Is 18 a factor of l?
True
Let q(j) = 59*j**2 - 1. Suppose -7 = -3*y - 10. Does 29 divide q(y)?
True
Suppose -9 + 47 = -4*y + 3*v, 0 = -y - 3*v - 2. Let k = 69 + y. Does 10 divide k?
False
Let s(i) = i**3 - 5*i**2 - 14*i - 1. Let r be s(7). Let f = -2 + r. Let x(b) = -26*b. Does 29 divide x(f)?
False
Let j(x) be the third derivative of x**6/180 + 7*x**5/120 + x**4/4 + x**3/3 + 5*x**2. Let g(s) be the first derivative of j(s). Does 11 divide g(-5)?
False
Let c(z) = -2*z**2 - 3*z + 9. Let p be c(3). Let j = 8 + p. Let v(r) = -r**3 - 8*r**2 + 15*r + 14. Is v(j) a multiple of 16?
True
Suppose 2*l + 96 = 344. Suppose t = -3*t + l. Let m = 70 - t. Does 13 divide m?
True
Suppose 8 = 3*d + d. Suppose -d*o + 6*o = 16. Let l(a) = a**2 - 2*a. Is l(o) a multiple of 8?
True
Suppose -88 = 25*c - 29*c. Is 8/10*935/c a multiple of 29?
False
Is -7*(-20)/112 + 91/4 a multiple of 4?
True
Let x(l) = -186*l - 97. Is x(-13) a multiple of 11?
True
Suppose -1637 = -2*f - 3*l, -3*l + 1150 = 3*f - 1304. Is 41 a factor of f?
False
Suppose 0 = n - 3, 4*c - 6*n - 43 = -7*n. Does 2 divide c?
True
Suppose 38*k = 17231 + 45013. Does 91 divide k?
True
Is (858/5)/((-3)/(-40)*4) a multiple of 31?
False
Suppose 2*q + 16 = -3*y, 4*y + 4 = -3*q - 19. Let x be (y/(-3))/((-9)/(-27)). Is 9 - 0/(x + 2) a multiple of 9?
True
Let k(b) be the first derivative of -b**2/2 + 3. Let v(g) = g**3 + g - 4. Let q(d) = 5*k(d) + v(d). Is 13 a factor of q(4)?
False
Suppose -2*p = -10*p + 728. Let y = 102 - p. Is y a multiple of 2?
False
Let q(j) be the first derivative of j**4/4 - 11*j**3/3 + 3*j - 3. Let s be q(11). Suppose 0 = l + s - 25. Is l a multiple of 11?
True
Let o be 5032/119 - (-2)/(-7). Let h(y) = -y + 10. Let q be h(8). Suppose 0*z + q*z = o. Does 3 divide z?
True
Suppose 0 = -4*v + 2*c + 6, 0*v + 5*c + 15 = -v. Suppose v = -s + 5*s - 1372. Suppose 4*u - s = -3*u. Is 21 a factor of u?
False
Let c(a) = -a**3 - 15*a**2 - 4*a + 2. Let t be c(-15). Suppose 4*h + 0*d = -d + t, 0 = 4*h - d - 66. Does 3 divide h?
False
Let a = 12 + 3. Suppose 13*u - a = 18*u. Let n = 6 + u. Does 3 divide n?
True
Suppose -2*v + 44 = -2*j, -2*v + 5*v = j + 26. Is 18 a factor of ((-64)/j)/(-4)*915/(-6)?
False
Let i = -198 + 135. Let t(v) = -v**2 - v - 26. Let g be t(0). Let z = g - i. Does 12 divide z?
False
Suppose -8*i = -10*i - y + 1314, 2620 = 4*i - 2*y. Is 41 a factor of i?
True
Suppose 0 = -0*o + o - 2. Suppose 3*r + o*r = 10. Suppose -96 = -r*c + 54. Is c a multiple of 15?
True
Let d(w) = w**3 + 8*w**2 + 9*w + 8. Let n be d(-7). Let l = n + 7. Suppose l = -f + 3*q + 6, -21 = -f - 5*q. Does 11 divide f?
True
Let g(w) = -w**2 + 5*w + 17. Let n be g(5). Suppose 27 = 2*f + n. Suppose -k = f*k - 252. Is 21 a factor of k?
True
Let k = 1088 + -65. Is k a multiple of 93?
True
Let z(m) = -m**3 + 6*m**2 + 6*m - 17. Let u be z(6). Let x(p) = -p**2 + 17*p + 62. Does 11 divide x(u)?
False
Let b(x) = -22*x - 23. Let j(p) = 43*p + 46. Let z(u) = 9*b(u) + 4*j(u). Is 27 a factor of z(-4)?
True
Let k(v) = 11*v**3 - 32*v**2 + 9*v + 21. Let h(n) = 7*n**3 - 21*n**2 + 6*n + 14. Let o(b) = 8*h(b) - 5*k(b). Let w be o(7). Let y = 46 + w. Does 12 divide y?
False
Suppose -9 + 15 = 3*q. Suppose -38 = -3*j - q*m, 2*m + 16 = j + 6*m. Suppose -y + j = y. Is y a multiple of 4?
False
Let f = 4151 - 2840. Does 19 divide f?
True
Suppose 6*w = 2*w - 5*y + 202, w - 4*y - 40 = 0. Let x be (-1)/(-1 + (-13)/(-14)). Suppose -w = -2*m - x. Is 2 a factor of m?
False
Let f(y) = -1. Let q(h) = 3*h - 5. Let r(a) = -12*f(a) + 4*q(a). Is 8 a factor of r(4)?
True
Let v(l) = -l**3 - 12*l**2 - 10*l + 23. Let p be v(-11). Is 70*((-10)/15 - (-14)/p) a multiple of 35?
True
Let t(m) = m**2 + 16*m + 18. Let p be t(-13). Let n = p + 15. Is (-2)/n - (-585)/27 a multiple of 7?
False
Let q(p) = -3*p**3 + 10*p**2 + 6*p + 1. Let s(g) = g**3 + g**2 + g. Let f(m) = -q(m) - 2*s(m). Is f(13) a multiple of 8?
True
Let q(h) = -3 - 10*h - h - 1 + 2*h. Suppose 3*d + 5*x + 10 = 6*d, 5*x = -d - 30. Is 14 a factor of q(d)?
False
Suppose -5*g + 10 = 0, g - 30 = -2*d + 4*g. Let t(m) = 2*m**2 - 25*m + 26. Does 56 divide t(d)?
True
Let h(i) = -i**3 + 16*i + 19. Is h(-9) a multiple of 23?
False
Let r(q) = q - 10. Let z be (5/20 + (-18)/(-8))*6. Is 5 a factor of r(z)?
True
Let i be (54 - (4 - 4)) + 4. Let d = 130 - i. Does 9 divide d?
True
Suppose -12*n = -8*n - 32. Is 8 a factor of 7 + 21 - n/(-2)?
True
Suppose -3*l + 1080 = -c, 2*l + 2*c - 239 = 489. Does 9 divide l?
False
Let p be 28/4 - (-4 - -9). Is 14 a factor of 3 - (p/(-2) + -178)?
True
Let k(b) be the second derivative of 0*b**3 + 7/3*b**4 - 5*b + 0 - 1/2*b**2. Does 9 divide k(1)?
True
Let l = 9 - -197. Suppose 2*u = 4*w - l, 4*w - 4*u + 9*u = 213. Is 7 a factor of w?
False
Let q be 1/4*0 + -231. Let z = -127 - q. Is z a multiple of 26?
True
Suppose -4*u + 144 = 4*g, 0 = 13*u - 15*u + 8. Is 18 a factor of g?
False
Let o be ((-12)/(-36))/(1/6). Suppose -o*p - 5*b = -b - 728, -2*p + b + 748 = 0. Suppose 2*v + 2*v = p. Is v a multiple of 31?
True
Suppose 17*b = 22*b - 840. Does 15 divide b?
False
Suppose 3*y = -0*y + 9. Suppose -y*w + 4*w = 5. Suppose 5*p - 22 = -2*l, 0*p - p = -w*l + 1. Does 4 divide p?
True
Suppose -5*j - 26 = -h, 0 = -3*h - 2*h + 3*j + 130. Let r = h - 20. Suppose i = r*i - 110. Does 22 divide i?
True
Suppose 14*o - 66150 = -28*o. Is o a multiple of 75?
True
Let f(g) = g**2 + g + 3. Let k be f(0). Let a be k + (-2)/2*-1. Suppose -5*i = -a*i + 3, 2*b + 5*i = 33