+ 28 = -2*p. Let v = 75 + p. Does 8 divide v?
False
Let l(d) = d**2 - 18*d + 7. Let z(a) = -1. Let h(x) = -l(x) + 3*z(x). Is 3 a factor of h(16)?
False
Suppose -2*q = 2*a, -5*a + q = 3*q + 12. Let h be a/(-8) - 9/(-6). Suppose 0 = -h*n + n + 40. Is 16 a factor of n?
False
Is 3228/(-16)*-6*(-4)/(-18) a multiple of 22?
False
Suppose 0*q - 6 = -3*q. Suppose 0 = -f + q*f - 2. Let b = f - -22. Does 12 divide b?
True
Suppose 6*v = 34*v - 21728. Does 8 divide v?
True
Suppose 17*g - 260 = 15*g. Is 26 a factor of g?
True
Let d(k) = 3*k + 1. Let i be d(1). Suppose 10 = 13*y - 11*y. Suppose 2*l - y*s - 219 = 0, 8*l + i*s = 4*l + 396. Is l a multiple of 21?
False
Let n = -102 - -217. Suppose n = -2*a - 29. Let m = a + 102. Is m a multiple of 16?
False
Let d(a) = 41*a**2 + 7 - 1 - 5. Is d(1) a multiple of 13?
False
Does 26 divide 22/33*5271 - 5?
False
Let m(d) = d**3 + 19*d**2 + 46*d + 17. Is 4 a factor of m(-15)?
False
Let o(k) = k**2 + 9*k - 3. Let q be o(-12). Let w = 12 - q. Does 14 divide w/2*(-24)/9?
True
Let m(a) = 11*a - 46. Let j(i) = i**3 - 13*i**2 + 23*i + 2. Let f be j(11). Is 14 a factor of m(f)?
False
Suppose 36*p = 30*p + 12300. Does 42 divide p?
False
Suppose -15*i + 2632 = -653. Let f be 4/(-18) + 5572/(-36). Let t = f + i. Is t a multiple of 8?
True
Let m(l) = 6*l**2 + 24*l - 82. Is 4 a factor of m(7)?
True
Let y(z) = z + 14. Let a be y(-5). Let v be (-2 - 2/2) + a. Suppose -v*l + 90 = -3*l. Is l a multiple of 15?
True
Let n = -47 + 50. Suppose -224 = -7*y + n*y. Is 14 a factor of y?
True
Suppose 0*r + 12 = 4*r. Let i be (0 - r - -3)/2. Suppose i*g - 44 = -4*g. Does 2 divide g?
False
Suppose 26 = 4*c - 38. Let r be 15*(11/5 - (0 - -3)). Let j = c + r. Does 3 divide j?
False
Let w be ((-74)/(-3))/((-18)/(-27)). Let v = w - 24. Is 2 a factor of v?
False
Let l(r) be the second derivative of r**4/4 + 2*r**3/3 - 3*r**2/2 - 5*r. Let u(a) be the first derivative of l(a). Is 14 a factor of u(4)?
True
Let v(t) = -2*t**2 - 31*t - 12. Let k be v(-15). Suppose 9*s + k*y = 4*s + 732, 0 = 4*s + y - 580. Is 12 a factor of s?
True
Let p(g) = 5*g**2 + 2*g + 1. Let k = 48 - 51. Is 10 a factor of p(k)?
True
Does 26 divide -4 + (183 + 4 - 1)?
True
Suppose -3*q - 2*o + 634 = 0, -315 = -5*q - 5*o + 745. Suppose -a + 5*k + q - 86 = 0, 2*a = -3*k + 196. Is a a multiple of 8?
True
Suppose -2*c - 1 = -2*b - 3, -15 = -3*c - 3*b. Suppose -8*f - 465 = -c*f. Let v = 136 + f. Is v a multiple of 19?
False
Suppose -17*v - 951 = -3535. Is 5 a factor of v?
False
Let d = 2813 - 1176. Is d a multiple of 5?
False
Suppose -3*d - c = -2, 3*d + 3 = -2*c + 1. Suppose 0 = -d*i - 14 + 98. Does 21 divide i?
True
Let o(f) = f**3 - 5*f**2 + 5*f - 4. Suppose 2*g - 4 = -2*g + 4*j, -3*g = 5*j - 19. Let k be o(g). Let u(v) = -v**3 - 5*v**2 + 3*v - 5. Is 20 a factor of u(k)?
False
Let k = -18 + 96. Does 4 divide k?
False
Let x = -41 - -194. Suppose 4*n = -3*a + x, -2*n = 4*a - 60 - 24. Does 6 divide n?
True
Let o be -2*(-4 - (-49)/2). Let g = o + 50. Is 9 a factor of g?
True
Suppose -3*d - 11 = 10. Let f = d - -19. Does 21 divide (-126)/f*(0 - 2)?
True
Let y(u) = 295*u**2 - u + 1. Let j be y(1). Suppose -5*i + 165 = -j. Is i a multiple of 23?
True
Suppose -5 = -3*d + 22. Let c be (-4)/(-6)*(d + 15). Does 9 divide -27*(3 + c/(-4))?
True
Suppose 2*d - 11 = 33. Let f(l) = l**3 - 4*l**2 + 2*l + 8. Let m be f(3). Suppose -m*p + d = -3*p. Does 3 divide p?
False
Let m(z) = 2*z**2 + 11*z + 14. Does 4 divide m(-9)?
False
Let x be ((1 - 1)/1)/(-3). Let v(g) = g**2 - 1. Let m(f) = -2*f**2 + 66. Let k(l) = m(l) + 3*v(l). Does 8 divide k(x)?
False
Suppose 0 = 195*t - 198*t - b + 32, -34 = -t - 5*b. Is 3 a factor of t?
True
Let u(i) = 152*i**2 - 6*i + 6. Is u(-3) a multiple of 12?
True
Does 6 divide (58 - 2)/(28/21 + -1)?
True
Let n = 127 - 59. Suppose 7*g = 457 + n. Does 16 divide g?
False
Let k(g) = 0*g**2 + 2*g**2 + 8*g + g + 0*g**2 - 6. Let w be k(-9). Suppose 3*b - 92 = -2*l, 4*l - 53 - w = -4*b. Does 7 divide b?
True
Let w = -46 + 334. Does 16 divide w?
True
Suppose -9*f + 8065 = -6803. Is 5 a factor of (-6)/16 + f/224?
False
Suppose -22*y + 23*y = 72. Suppose 3*d - 3*q - 124 = -d, -q + y = 2*d. Is 13 a factor of d?
False
Suppose -20*d = -16*d - 3036. Is d a multiple of 23?
True
Let n(w) be the first derivative of w**2 + w - 4. Let r be n(2). Suppose 5*q - 2*x = -r*x + 141, -2*q - 5*x + 45 = 0. Does 15 divide q?
True
Let n = -645 + 1170. Is 5 a factor of n?
True
Suppose f - 3470 = -5*n, 43 = 3*n - f - 2047. Is n a multiple of 20?
False
Let t(z) = -z**2 + 77*z - 9. Let r be t(19). Suppose r + 1043 = 8*c. Is c a multiple of 18?
False
Let d be (-460)/2*24/60. Let t = d + 157. Does 27 divide t?
False
Suppose 6*g = -5*z + 4*g + 124, 32 = z + 4*g. Is z a multiple of 12?
True
Is -3*(-1)/6*(-336)/(-6) a multiple of 10?
False
Suppose -4*z = 4*b - 164, -4*b + 164 = -5*z + z. Let s = b + 3. Is 11 a factor of s/1 - (-2 - -2)?
True
Let w be (-4 - 24/(-18))*3/(-2). Suppose -4*p = -w*q - 11 + 691, 4*p - 720 = -4*q. Does 21 divide q?
False
Let t(f) = -f**3 - 13*f**2 - 52*f + 20. Is 4 a factor of t(-9)?
True
Let h(b) = 3*b**3 - 29*b**2 + 61*b - 6. Does 10 divide h(11)?
False
Suppose 3*p = -w + 149, 5*w = -3*p + 2*w + 159. Suppose -j - j - p = 0. Let i = -14 - j. Is i a multiple of 5?
True
Suppose -5*t - 15 = w, -4*t + 32 = -7*t + 4*w. Is 10 a factor of (-616)/(-10) + -6*t/(-40)?
False
Suppose o - 72 = -5*j - o, 4*j = -o + 60. Suppose 11*x = 3*x + j. Suppose 0 = -0*f - x*f + 84. Is 14 a factor of f?
True
Suppose 2*a = -6, -4*q - a = -0*q - 9. Let i = 33 - q. Does 3 divide i?
True
Suppose -2*i + 46 = -4*z, 4*z + 123 = 5*i + 26. Let r(x) = x**2 - 14*x + 12. Is r(i) a multiple of 7?
True
Suppose 0 = -4*q - 3*x + 37, 5*x - 13 = 2. Suppose 88 = -5*o + q*o. Is 21 a factor of o?
False
Let v(d) = 58*d + 19. Let i be v(6). Suppose z - i = -157. Is z a multiple of 21?
True
Suppose -4*i + 102 = -106. Let x = i - 34. Is x a multiple of 6?
True
Let q(y) = 2*y**2 + 8*y - 30. Does 2 divide q(-17)?
True
Let i(n) = -8*n**2 - 2*n + 15. Let u be i(5). Let l = 103 - u. Does 52 divide l?
False
Suppose -4*g - 56 = -2*q, 2*g + 42 = -g + 4*q. Let o(y) = -y**3 - 13*y**2 + 7*y - 18. Is 14 a factor of o(g)?
False
Suppose p - 1818 = 7*p. Does 24 divide (p - 21)*2/(-3)?
True
Let f be (3/(-9))/(4 + (-194)/48). Suppose 2*o + f*b = 3*b + 23, 5*b + 73 = 2*o. Does 4 divide o?
True
Let g(n) = 2*n + 1 + 7*n**2 - 2 + n**3 - 2. Let b be g(-5). Suppose 3*q - b = 149. Does 31 divide q?
True
Does 48 divide (1020/(-14))/3*(-651)/31?
False
Let j(a) = a**3 - 8*a**2 - a - 1. Let s be j(8). Let x(w) = -4*w - 3. Is 21 a factor of x(s)?
False
Let d be (-4)/((-4)/(-99)) - 1/(-1). Let c = d - -128. Is 10 a factor of c?
True
Let b = 2 + 14. Let k(d) = -29*d - 26. Let i be k(-1). Suppose -2*f - 4*q - 1 = -9, -4*f + i*q + b = 0. Is f a multiple of 4?
True
Suppose -2*p - 24 = p. Let t be p/12*33/(-2). Let w = t - -82. Is 31 a factor of w?
True
Let r = -1450 - -2542. Does 21 divide r?
True
Let u(h) = 20*h + 9. Let a be u(5). Suppose 5*t + a + 176 = 0. Let z = t - -114. Is z a multiple of 27?
False
Let g(n) = -112*n + 540. Does 94 divide g(-17)?
True
Suppose 14 - 130 = d. Suppose 2*o = 2*r + 140, -5*r - 5*o - 331 = 19. Let s = r - d. Is s a multiple of 13?
False
Suppose 0 = -n + 42 + 141. Let f = n + -104. Is f a multiple of 23?
False
Let h(j) = j**2. Let w be h(-2). Let q be 0/(3/6*w). Is 9 a factor of 25 - 2*(-1 - q)?
True
Is 20 a factor of (-3 + 1)*(-86459)/62?
False
Suppose 2333 = 2*j + 4*u - 1611, 4*u + 16 = 0. Does 44 divide j?
True
Suppose 14*d = 166 + 1626. Does 37 divide d?
False
Let b(v) = v**2 - 28*v + 213. Does 5 divide b(10)?
False
Let q = -3 - -8. Is q/(-1)*(-22)/1 a multiple of 17?
False
Let h(u) = 5*u + 17. Let p be h(-11). Let t = p - -122. Is 11 a factor of t?
False
Let a be (-6)/(-15) - (-52)/20. Suppose -2*z = a*z - 840. Suppose -3*f + z = 3*r - f, 2*f = 4*r - 210. Is 18 a factor of r?
True
Suppose -28 = -5*t + 4*x, -3*t + 5*x + 22 = -0*x. Suppose 6*k = 2*k - z + 108, -62 = -3*k + t*z. Is 13 a factor of k?
True
Let a(b) = -9*b - 4. Let i be a(3). Let f = -15 - i. Suppose 2*r - 80 = 4*p, -3*r - f = 3*p - 118. Does 10 divide r?
False
Let r = 13 + -3. Suppose -3*j - 10 + 5 = -5*b, 0 = -b - 4*j - 22. Let f = b + r. Is f a multiple of 4?
True
Let o b