q(m) = 33*m + 1. Let p be q(5). Let c = p + -248. Is 4 a factor of (-3)/15 + c/(-10)?
True
Let a = -5 + -1. Is 1/(-2)*132/a a multiple of 4?
False
Suppose -423 = -3*l - 123. Is 50 a factor of l?
True
Let z(g) = 2*g**2 + g. Let p be z(6). Let d(o) = -5*o + 3. Let x be d(3). Does 7 divide p/x*(-2)/1?
False
Let k(d) = -d**3 + 13*d**2 + 29*d + 15. Does 25 divide k(14)?
True
Let o(k) = -2*k**3 - 5*k**2 - 3*k. Is 14 a factor of o(-4)?
False
Suppose 16*u = 17*u - 3. Does 2 divide u?
False
Let f = 81 + -15. Is f a multiple of 33?
True
Suppose 0 = -3*d + 15, -2*d = o - 3*d + 3. Is -1*o/(-1)*8 a multiple of 6?
False
Let p = -22 - -27. Suppose -4 = -4*l + 12, 2*l = p*j - 27. Is 7 a factor of j?
True
Let t(z) = 3*z**2 - 5*z**2 - 1 - 43*z**3 - 3*z**2 + 6*z**2. Suppose -2*o + 5*y = -o + 1, -o = -y + 1. Does 12 divide t(o)?
False
Let m = 16 + -11. Suppose 0 = a - m, 4*k = -3*a + a + 46. Is k a multiple of 3?
True
Let x = 4 - 2. Suppose 4*y - 133 = -a, a + 0*y - 157 = x*y. Let g = a + -66. Is g a multiple of 28?
False
Suppose 2*f - 4*f + 64 = 3*t, 0 = -3*t - 6. Does 8 divide f?
False
Suppose 0 = x + x - 2*b - 16, -x + 20 = 3*b. Is x a multiple of 3?
False
Let s = 122 + -63. Suppose -18 = -k - s. Let w = 69 + k. Does 11 divide w?
False
Does 2 divide (-90)/4*52/(-78)?
False
Suppose a - 5*d = 9, 5*d = 2*d - 3. Suppose 2*k - 2*z = -0*z + 180, -5*z - 355 = -a*k. Suppose -17 + k = 3*y. Is 15 a factor of y?
False
Let u be (-17)/(-3) + (-2)/3. Suppose 4*a - j + u*j = 52, 0 = 3*j - 9. Is (-10)/(-25) + 366/a a multiple of 17?
False
Let b = 97 - 66. Suppose -2*s - w = -b, -w = 3*s - 5*w - 52. Is 6 a factor of s?
False
Let f be (-14)/(-10) - (-3)/5. Suppose -z - 16 = -f*n, 2 = n - 2*z - 3. Is n a multiple of 3?
True
Let z = -9 - -15. Let q = z - -14. Suppose 7*u + 2*d = 4*u + q, 3*u + 3*d = 24. Is u a multiple of 3?
False
Suppose 17 = 4*y - 3. Suppose -2*t - 5*s + 99 = -10*s, -t - y*s + 27 = 0. Is 14 a factor of t?
True
Suppose 5*n - 2*n = 279. Is n a multiple of 36?
False
Let r be (-132)/(-28) - (-4)/14. Let y = 0 - r. Let c(q) = 2*q**2 + q - 1. Is c(y) a multiple of 15?
False
Let g(i) = 4*i**3 + i**2 + 3*i - 3. Let k = 8 - 6. Is 13 a factor of g(k)?
True
Let k(h) be the third derivative of 5/6*h**3 - 1/60*h**5 + 0*h**4 + 0 - h**2 + 0*h. Does 2 divide k(0)?
False
Suppose -b - 5*j + 29 = 0, -j - 5 = -5*b + 10. Suppose 19 + 61 = b*m. Is 18 a factor of m?
False
Let w be 3/(27/(-6))*-6. Let k(i) = -4*i**3 + i**2. Let q be k(-1). Suppose -2*o - 2*m - 52 = -q*o, w*o - 5*m = 74. Does 8 divide o?
True
Let z(f) = f**2 - 7*f - 23. Is z(10) a multiple of 2?
False
Let l(t) = t + 7. Let x be l(-4). Suppose 0 = 5*z + 2*b - 96, -x*b - 1 - 80 = -5*z. Is 9 a factor of z?
True
Let t(k) = -k**3 + k**2 - k + 1. Let n be t(0). Does 14 divide n - -14 - (-1 - -2)?
True
Let i(h) = h**2 - 4*h - 4. Let v be i(5). Let z be 5 + (-1 + v - -1). Let t = 46 - z. Is t a multiple of 20?
True
Let a = -10 + 30. Does 6 divide a?
False
Let k be 10/3 - (-1)/(-3). Let s = 0 - -18. Is 20/(k/s*4) a multiple of 10?
True
Let o be 2 - (-6)/(0 + 3). Suppose o*h + 32 - 76 = 0. Is h a multiple of 9?
False
Is (-48)/(-9)*21/2 a multiple of 8?
True
Suppose -6*z = -2*z + 8. Does 3 divide -1 + (-8)/z - -5?
False
Let b be (-777)/(-15) - (-3)/15. Suppose 0*m - 3*m + 2*u + b = 0, -u = m - 24. Does 9 divide m?
False
Let m = 63 + -34. Is 29 a factor of m?
True
Suppose 7 = k - 2*r - 5, -2*k + 19 = r. Let n be (4/5)/(4/k). Suppose -y + n = -19. Does 8 divide y?
False
Let x be 277/(-11) + (-8)/(-44). Let n = x - -41. Is n a multiple of 7?
False
Suppose -3*j + 4*z + 60 = 0, 3*j - 4*j - 3*z = -33. Is j a multiple of 6?
True
Let j(g) = g**2 - 8*g + 5. Let c be j(11). Suppose 0 = -q - 0*w + 2*w + c, -217 = -5*q + w. Is q a multiple of 17?
False
Let c be (-4)/6*(-12)/4. Suppose -c*z + 3 = -31. Does 10 divide z?
False
Let h be (-1 - 1)*95/(-10). Suppose 2*k + h = -1. Let c = k + 24. Is 6 a factor of c?
False
Suppose -v - 1 + 0 = 0. Let j = 1 - v. Suppose s + 0*m = j*m + 35, s + 4*m = 47. Is s a multiple of 16?
False
Let w(m) = m**3 - 11*m**2 - 11*m - 9. Let a be w(12). Suppose -9 = -a*p - 0*p. Is 2 a factor of (18/10)/(p/10)?
True
Let i(m) = m**3 - 9*m**2 + m - 4. Let p = 9 + 0. Let z be i(p). Suppose o + z*h - 61 = 7, o = -h + 52. Is 24 a factor of o?
True
Let s(m) = 6*m. Let f be s(-5). Let q = f + 46. Does 8 divide q?
True
Let v = -291 - -408. Is 39 a factor of v?
True
Let n = -65 - -100. Suppose -5*b - 4*j + 46 = -21, -3*j - n = -4*b. Is b a multiple of 5?
False
Suppose 3*b + 2*b + 5 = 0, 118 = 5*a - 3*b. Is 7 a factor of a?
False
Let c(y) = 2*y**2 + 13*y + 3. Suppose 0 = 2*i - i + 9. Is 16 a factor of c(i)?
True
Suppose 2*r = -2*y, 0*y - 1 = -r - 2*y. Does 3 divide (-112)/(-21) + r/3?
False
Let r(m) = m**3 - 5*m**2 + 4*m - 2. Let c be r(4). Let a be (3 - 2) + c - -6. Suppose 0 = b - a*b + 56. Is 7 a factor of b?
True
Let c(b) = -b + 1. Let k be c(5). Let d be 12/18*(-30)/k. Suppose -4*y + n + 79 = 4*n, 2*y - 43 = -d*n. Is 5 a factor of y?
False
Suppose 3*y + 0 = -3. Let b be (60/(-14))/(y/14). Suppose -3*x = -0*x - b. Does 17 divide x?
False
Suppose 0 = -5*d + 10, -3*d = 2*w + 2*d - 52. Is 7 a factor of w?
True
Suppose 0 = -t - 2*t - 6. Is 4 a factor of (-2)/(t*(-2)/(-8))?
True
Suppose 0*o + 2*o - 10 = 0. Let w(s) = -4*s. Let j be w(o). Let n = -12 - j. Is 4 a factor of n?
True
Let v(t) = 30*t**2 + 7*t + 13. Is v(-2) a multiple of 40?
False
Let h = 4 - 1. Let b = 11 - h. Is 8 a factor of b?
True
Let u(i) = i**2 - 2*i + 3. Let a be 6*((-8)/6 + 2). Is u(a) a multiple of 4?
False
Suppose -77 = 9*n - 707. Does 5 divide n?
True
Suppose 4*w = -13 + 149. Is 6 a factor of w?
False
Let l = -108 + 195. Is 23 a factor of l?
False
Let y be 8/6*(-6)/(-4). Let d be (2 - y)/(-2 - 0). Suppose -10 = 2*w - 3*w - 4*v, -3*v = d. Is w a multiple of 10?
True
Let a(w) = w**2 + w + 23. Suppose 0*v + 2*v = 0. Is 8 a factor of a(v)?
False
Suppose 0 = -0*s + 4*s + 8. Let w be s/1*(11 - 0). Let j = w - -36. Does 7 divide j?
True
Let p = 6 - -6. Let b be 339/p - (-4)/(-16). Suppose 3*j + 5 = v, 0*v + 3*j - b = -2*v. Is 11 a factor of v?
True
Let g(k) = 2*k - 3. Is g(11) a multiple of 11?
False
Let l = -26 + 22. Does 10 divide 10*((0 - -5) + l)?
True
Let u = 23 - 6. Is 10 a factor of u?
False
Let x be ((-316)/(-6))/(4/24). Suppose 0 = -5*l - 26 + x. Suppose 0 = -5*t + 2*y + l, y = 4*t - 70 + 26. Is 5 a factor of t?
True
Let n(c) = c - 1. Let w be n(6). Suppose -w*d - m = -82, 37 = 3*d - m - 17. Does 17 divide d?
True
Let v(o) = 3*o**2 + 16*o + 15. Is 9 a factor of v(-8)?
False
Suppose 3*h - 5 = -17, 276 = 2*t - 5*h. Is t a multiple of 8?
True
Let y(a) = 4*a - 6. Let q be y(4). Suppose 2*l = 206 + q. Suppose 2*f = -f + l. Does 22 divide f?
False
Let i = 10 - 6. Suppose 3*y - i = 8. Suppose 89 - 29 = y*l. Is l a multiple of 14?
False
Let r(p) = -p**2 - 7*p - 1. Let q be r(-7). Does 5 divide 3 + 3/(-1)*q?
False
Let b be (12/(-7))/(2/(-14)). Is 13 a factor of (2 + 1)/(b/176)?
False
Let d(z) = z**3 + 11*z**2 - 5*z - 10. Suppose 8*f = 6*f - 22. Is d(f) a multiple of 14?
False
Let p = 11 - 8. Let i = 6 - p. Let h(x) = 8*x - 2. Is h(i) a multiple of 11?
True
Suppose 15 = -2*h + 7*h. Suppose -4*d + 3*d = -2*m + 276, 4*d - 256 = -2*m. Suppose -7*w = -h*w - m. Does 12 divide w?
False
Let g(v) = -11*v**3 - 5*v + 0*v - 2 + 4*v - 4*v**2 - 2*v. Is g(-2) a multiple of 11?
False
Let p(o) = 2*o + 18. Let w be p(11). Suppose 0 = -5*k + 3*m - 40, -21 + 53 = -4*k - 4*m. Let c = k + w. Is 16 a factor of c?
True
Let u = 20 + 17. Is u a multiple of 3?
False
Suppose 6 = 6*k - 3*k. Suppose -2*o + 28 = k*o. Does 2 divide o?
False
Is 26 a factor of (-4)/5 - 589*(-9)/45?
False
Suppose -f + 2*f = 0. Suppose f = 5*c + 3*t - 58, -c + 2*t - t + 10 = 0. Does 9 divide c?
False
Suppose -3*i - s + 141 = -2*s, 3*i - 3*s - 141 = 0. Let l = i - 5. Is l a multiple of 17?
False
Let s be ((-6)/(-1))/((-2)/(-2)). Let g be 4/14 + s/(-21). Suppose g = -5*x + 5*t + 85, -11 + 3 = -2*t. Is 10 a factor of x?
False
Suppose -2*u + 7 = -3*i, 3*u - 11 = 3*i + 2*i. Suppose m + 0*m = -3. Is 4 a factor of (-12 - 0)*u/m?
True
Suppose -2*m + 37 = -19. Is m a multiple of 28?
True
Let d be (-2)/4 - (-25)/10. Suppose -114 = -d*s - s. Is s a multiple of 19?
True
Let m = -1 - -8. Is 2 a factor of m?
False
Is (-1410)/(