2 + 26*b + 27. Does 5 divide p(-13)?
False
Suppose -3*y - y = -272. Is 17 a factor of y?
True
Let n(z) = -z**2 + 7*z - 4. Let x be n(8). Let j = 14 + x. Does 2 divide j?
True
Is 5 a factor of 0 - 4/4 - -24?
False
Suppose 4*d + 2 = 66. Suppose 6*r = 2*r + d. Suppose 4*l + 8 = 3*h + 28, -r*l = 5*h - 52. Is l a multiple of 4?
True
Let m = 1 - 5. Is 12 a factor of (6/m)/(2/(-32))?
True
Let i = 26 - 22. Is (2 - (-10)/i)*2 a multiple of 3?
True
Let z be ((-2)/(-5))/((-2)/(-20)). Suppose -4*d + 2*n - 6 = 0, z*n = -d + 11 + 1. Suppose d = -4*r + 5*o + 86, 4*o - 77 = -5*r + 51. Is 8 a factor of r?
True
Let u(i) = i - 1. Let a be u(-1). Does 18 divide (a/(-4))/((-2)/(-140))?
False
Let y(s) = s**2 - 3*s + 5. Let k(j) = j**3 + 7*j**2 + 5*j. Let d be k(-6). Is 15 a factor of y(d)?
False
Suppose -380 = -2*s + 68. Does 14 divide s?
True
Suppose 359 = 3*t + 65. Suppose 3*l = 4*j + t, 3*l - 2*j = 92 + 2. Is 14 a factor of l?
False
Suppose 2*x + 0*y + y - 13 = 0, -3*x + 4*y = -25. Let q = -4 + x. Suppose -2*w + 5 = -7*w, q*u = -w + 119. Does 15 divide u?
False
Let j(y) = -y**2 + y. Let z be j(1). Let x = -22 + 22. Suppose x = 4*g - z*g - 104. Is g a multiple of 13?
True
Let n = 2 + 2. Let t = 6 - n. Suppose t*p = -0*p + 20. Is p a multiple of 4?
False
Suppose -5*v + 0*v = 490. Let m = -56 - v. Is m a multiple of 14?
True
Is 34 a factor of 0 - (0 - (-34)/(-1))?
True
Suppose 5*c - 4 - 6 = 0. Suppose 7*v = c*v + 10. Is 2 a factor of v?
True
Suppose -2*y + 71 = -169. Is 24 a factor of y?
True
Let r(c) = c**3 - 5*c**2 - c + 7. Let b be r(5). Suppose b*k = 5*u - k - 78, -3*u = 4*k - 70. Is 9 a factor of u?
True
Suppose -272 = -7*y + 1016. Is y a multiple of 23?
True
Let r = -7 + 70. Is 9 a factor of r?
True
Let n(d) = 3*d**2 + 41*d - 15. Does 31 divide n(-17)?
True
Let k be (-10)/(-6) - (-1)/3. Let c(b) = b**3 + 9*b**2 - 8*b + 14. Let q be c(-10). Let f = k - q. Is f a multiple of 4?
True
Let u = -2 + -2. Let s(m) = -2*m - 5. Is 3 a factor of s(u)?
True
Let x be (-2)/(-9) - 50/(-18). Suppose x*p - 10 = -2*p. Suppose -p*t + 72 = t. Is t a multiple of 12?
True
Suppose -b - 22 = -3*f, 15 = 2*f - 4*b + 3*b. Suppose 0*q - q + f = 0. Does 7 divide q?
True
Suppose -4*q + 171 = -p, -3*q = -2*q - 5*p - 19. Is 22 a factor of q?
True
Let i(w) = -6*w - 1. Let b be (-2)/(-8) + 111/(-12). Let d be i(b). Suppose -2*j - 5 + 31 = -a, 3*j + 2*a = d. Is 15 a factor of j?
True
Suppose -17 - 16 = -3*z. Let f = -29 + z. Is 10 a factor of f/(-24) - (-117)/4?
True
Let r = 8 + 0. Is 14 a factor of (7 - -1)/(r/28)?
True
Let g = -6 - -114. Suppose 80 = 4*t - t + 2*o, -5*t + 3*o = -g. Does 13 divide t?
False
Suppose -2*c + 1 = -125. Is c a multiple of 8?
False
Suppose -u + 10 = -n - 0*n, -4 = 2*u + 4*n. Let m be (-1)/((15/u)/(-5)). Does 5 divide m/(-8) + (-205)/(-20)?
True
Suppose 0 = -5*p + 3*p + n - 1, -2 = -2*p + 4*n. Let l = 1 + p. Suppose 0*x + 2*x - 64 = l. Is 11 a factor of x?
False
Let v = 5 + -8. Let b(m) = -m**3 + m**2 + 2*m - 1. Is 10 a factor of b(v)?
False
Let m(f) = 11*f + 1. Is 16 a factor of m(10)?
False
Let k(a) = -2*a**3 + 2*a - 2*a**3 - 1 + 3*a**3. Let i be k(-2). Suppose -39 = -i*u + 24. Is u a multiple of 10?
False
Let m = 246 + -168. Is m a multiple of 13?
True
Let l(d) = -d**2 - 2*d + 1. Let g be l(-2). Let h be 4*3/6*g. Is 18 a factor of 70/4 - h/(-4)?
True
Let w be (2/(-4))/(2/(-4)). Suppose b - 13 + w = 0. Does 12 divide b?
True
Let g = -153 - -279. Suppose -g = -0*u - 3*u. Is u a multiple of 22?
False
Suppose 2*u + 4*p + 1 - 7 = 0, 0 = -u + 5*p + 3. Suppose 2 = -u*y + y. Does 4 divide -1*(1 - (10 - y))?
False
Let c be -2 + (-3)/(6/(-32)). Suppose -58 = -3*u + 2*m, -u + c + 10 = -3*m. Does 5 divide u?
False
Suppose -2*k - 8 = -3*z - 1, 2*z = -3*k - 4. Is 10 a factor of (k - -3)*10*2?
True
Let a(x) = -x**3 - 8*x**2 - 5*x - 7. Let r be a(-8). Suppose 3*w - 63 = 5*y - 8*y, 0 = -2*y - 5*w + r. Is y a multiple of 12?
True
Let s = -5 + 7. Suppose s*g - 205 = -3*g. Does 21 divide g?
False
Suppose 0 = 2*r + 4*w - 156, -3*w = -r - 3*r + 356. Is 14 a factor of r?
False
Let g(y) = -2*y**2 + 4*y - 9. Let c be g(6). Is c/(-12) - 1/(-4) a multiple of 4?
False
Let k(a) = a**2 + 4*a - 5. Let s(m) = 3*m - 4. Let l(j) = 4*k(j) - 5*s(j). Is 3 a factor of l(1)?
False
Let n be (-2 + 5)/(1 - 2). Does 3 divide (-132)/(-18) - (-1)/n?
False
Is 60*1*4/8 a multiple of 6?
True
Let x = 230 - 28. Is 27 a factor of x?
False
Let f be (-52)/(-65)*(0 + -10). Let q(o) = -o**2 - 9*o - 1. Is 7 a factor of q(f)?
True
Let p(y) be the third derivative of -y**6/120 - y**5/12 + 5*y**4/24 - y**3/3 + 3*y**2. Let o be p(-6). Suppose 46 = o*b - 2. Is 12 a factor of b?
True
Let l be -5*18*(-2)/5. Suppose -n + 3*n = -l. Let q = -9 - n. Is 8 a factor of q?
False
Let u(b) = -23*b**3 + 5*b**2 + 5*b. Let y(w) = -34*w**3 + 8*w**2 + 8*w. Let q(c) = -8*u(c) + 5*y(c). Let p be q(1). Suppose 50 - p = 4*s. Is s a multiple of 4?
False
Let h(w) = 8*w - 4. Is 2 a factor of h(1)?
True
Let x = 4 + 13. Does 7 divide x?
False
Suppose 0 = -2*u + 7*u - 25, -u = 2*g - 85. Let k(v) = 14*v - 1. Let x be k(-2). Let d = g + x. Does 4 divide d?
False
Let i be -3 - -2*(-2)/(-4). Let l(f) = 2*f**2 + 2*f - 3. Let d be l(2). Let s = d - i. Is 4 a factor of s?
False
Suppose 3*b - b = -5*f + 8, -2*f = -4*b + 16. Let z(l) = -l - 3. Let s be z(b). Let r(u) = -4*u + 2. Is 13 a factor of r(s)?
False
Let g(l) = l**3 - 9*l**2 + 10*l - 5. Let d be g(7). Suppose -62 = 5*k - 297. Let t = d + k. Is 7 a factor of t?
True
Suppose -43 = -0*s - s. Suppose -5*m + 92 = -s. Suppose 33 = 5*n - m. Is 12 a factor of n?
True
Suppose 2*r - 18 - 4 = 0. Let n = 44 + r. Is 17 a factor of n?
False
Suppose -2*v = -12*v + 2280. Is v a multiple of 38?
True
Suppose -2*l - 2*l + 160 = 0. Is 4 a factor of l?
True
Let h(l) be the third derivative of -l**6/120 + l**5/20 + l**4/6 + 2*l**3/3 + 2*l**2. Let y be h(4). Suppose q - y = 34. Is q a multiple of 19?
True
Does 13 divide ((-142)/6)/((-10)/30)?
False
Let k(b) = 5*b**2 + 2*b - 1. Let g be k(-2). Is ((-6)/g)/(1/(-10)) even?
True
Let i = -49 + 74. Suppose 0 = -p - p + s + 51, s = p - i. Is 4 a factor of p/7 - 4/(-14)?
True
Let s(f) = -f - 3 + 3 + 6*f**2 - 2 - f. Does 10 divide s(-2)?
False
Let b(c) = 2*c**2 - 14*c + 14. Is 7 a factor of b(7)?
True
Suppose 23 - 2 = 4*t + 5*s, 4*s = 3*t - 8. Suppose -3*z - 22 - 31 = -2*y, t*y - 130 = -2*z. Is y a multiple of 10?
False
Let r = -87 - -51. Let v = r - -88. Is v a multiple of 17?
False
Does 31 divide (-1 + 3)/(-2*(-5)/620)?
True
Let q = -4 - -10. Is q a multiple of 6?
True
Is ((-330)/(-24))/(1/4) a multiple of 11?
True
Let n(a) = -3*a**2 - 3*a. Let x be n(-2). Is 1*10 + x + 8 a multiple of 4?
True
Let c(u) be the first derivative of 2*u**3/3 + 3*u**2/2 + 4*u + 7. Does 24 divide c(-7)?
False
Does 14 divide 42/(0 + 9/12)?
True
Let m(x) = -6*x - 1. Is m(-4) a multiple of 23?
True
Suppose 2*v = 192 - 10. Is 11 a factor of v?
False
Suppose 5*f = -5, 0*q + 3*q - 2*f = 158. Suppose -5*w + q + 33 = 0. Does 5 divide w?
False
Let o be 2/(-2 + (-120)/(-61)). Let y = o + 106. Does 10 divide (2/((-6)/y))/(-1)?
False
Suppose -16*h + 14*h = -78. Does 13 divide h?
True
Let g = -5 + 3. Let n(s) = -s**3 - 2*s**2 + 2. Let q be n(g). Does 6 divide (-88)/(-14) - q/7?
True
Let d = 8 - 4. Suppose d*o + 6 = -3*f + 18, -f + 4 = -3*o. Does 4 divide f?
True
Let u(o) = -o**2 + 22*o - 37. Does 20 divide u(19)?
True
Let j(f) be the third derivative of -f**4/24 - 2*f**3/3 - f**2. Let k be j(-8). Let z = k - -14. Is z a multiple of 9?
True
Let f(a) = a**2 - 9*a + 2. Let s be f(9). Let j(m) = 2*m**2 + 5*m**s + 5*m**2 + 4*m - 5*m. Is j(-2) a multiple of 15?
False
Suppose -17*p - 2561 = -30*p. Is 15 a factor of p?
False
Suppose -z = -2*h - 0*z + 261, 5*z + 665 = 5*h. Is 6 a factor of h?
False
Let k = -24 + 14. Is (74/4)/(k/(-20)) a multiple of 16?
False
Suppose 5*w = 3*x - 149 - 16, 3*w = -5*x - 65. Let c = w + 60. Does 13 divide c?
False
Let g be (-3)/18 - (-277)/6. Let z = g + -21. Does 15 divide (-1 + z/3)*6?
False
Suppose 123 = 4*n - 637. Suppose 0 = 6*u - u - n. Is 19 a factor of u?
True
Suppose 4 = -q + 10. Suppose s - q*s + 174 = -3*w, -3*s + w = -102. Is s a multiple of 11?
True
Let y = 46 + -65. Let o = y + 33. Is o a multiple of 14?
True
Suppose 4*u - 27 = -11. Suppose -z - 240 = -u*z. Suppose 2*x - 16 -