l) = l**3 + 15*l**2 - 17*l - 1. Let g be t(-16). Suppose g + 337 = 2*h. Is 8 a factor of h?
True
Let n(r) be the first derivative of -8*r**2 - 3. Does 15 divide n(-1)?
False
Let i = -40 - 229. Let o = i + 441. Is o a multiple of 29?
False
Let j be (-36)/(-15) + (-9)/(-15). Suppose -2*r + 4*g - 22 = 0, 0 + 22 = -j*r - 5*g. Does 10 divide (22/(-6))/(3/r)?
False
Let k(m) = -m**2 - 9*m + 9. Let j be k(-8). Does 14 divide (-3 + j)/((-1)/(-5))?
True
Let l(y) be the third derivative of y**4/24 + 23*y**3/6 + 2*y**2. Is 3 a factor of l(15)?
False
Let s(w) = -w**3 + 8*w**2 + 9*w + 1. Let k be s(9). Let v be (-28)/4*(-1)/k. Let b = 19 - v. Is b a multiple of 4?
True
Let a(d) = d**2 - 4*d + 6. Let n be a(4). Let q be ((-12)/n)/(4/74). Let g = 71 + q. Does 10 divide g?
False
Suppose -3 - 6 = -3*t. Suppose t*w = 6*w - 294. Suppose 4*y + 3*m = 112 + w, -y = -m - 49. Does 17 divide y?
True
Is 2/4*(766 - 18) a multiple of 22?
True
Let s = 97 - 28. Let d = s - 39. Is 7 a factor of d?
False
Let o(i) = -i**2 - 19*i + 22. Let s be o(-11). Let h = -22 + s. Is 5 a factor of h?
False
Let a be 2 + 24/(-11) + (-79)/(-11). Let l(b) = 8*b - 23. Is 11 a factor of l(a)?
True
Suppose 2031 = 22*u - 785. Is 8 a factor of u?
True
Let q(o) = -o + 3. Let d be q(0). Suppose 14 = d*n + 2. Suppose 4*g = -0*h - n*h + 140, -5*g + 15 = 0. Is h a multiple of 16?
True
Let b(v) = 867*v**3 + 2*v - 1. Let k be b(1). Let p be (k/1)/4 - 1. Suppose 2*h + p = 4*h. Does 20 divide h?
False
Suppose -1250 = 13*z - 16*z + t, -4*t = 5*z - 2055. Is z a multiple of 78?
False
Suppose -2*p - 4 = 10. Let d = p - -10. Suppose -q + 141 = 4*v - 2*q, 0 = -d*v + 5*q + 93. Does 9 divide v?
True
Let s be (((-36)/7)/6)/(10/(-140)). Let i be (0 - 22)/(-1) - 0. Let c = i - s. Is c a multiple of 5?
True
Let k(w) = 126*w**2 - 8*w + 13. Is k(2) a multiple of 8?
False
Let x(v) = 3*v**3 + 2*v**2 + 2*v + 2. Let u(b) = -4*b**3 - b**2 - b - 1. Let g(o) = 4*u(o) + 5*x(o). Is g(4) a multiple of 22?
False
Let t(l) = 1. Let w(u) = 9*u + 9. Let o(a) = -36*t(a) + 4*w(a). Let n be o(5). Suppose 15*v = 20*v - n. Is 6 a factor of v?
True
Let b(w) = 4*w**2 - w + 1. Let g be b(1). Suppose 0*p = 3*p + y - 16, g*y - 4 = 0. Suppose 0 = p*k - 36 - 19. Is k a multiple of 3?
False
Let q(c) = 11*c**2 - c - 20. Is 46 a factor of q(-4)?
False
Let j = 1171 - 514. Does 73 divide j?
True
Let t = 6 + -22. Let c be (-24)/t - 2/(-4). Suppose c*s - 5*u = 54, 5*u = -s + u + 14. Is s a multiple of 10?
False
Let h(x) = -x**2 - 3. Let p be h(-3). Let q(z) = -z**3 - 10*z**2 + 20*z - 6. Is q(p) a multiple of 14?
True
Suppose x - 7 = -3. Let q(y) = 3*y**2 + 3*y. Let o be q(x). Suppose 2*p - o = -p. Does 7 divide p?
False
Let r(v) = -6*v - 12. Let j(b) = -b**3 + 3*b - 3. Let c be j(2). Is 6 a factor of r(c)?
True
Let l = 10 + 1514. Does 6 divide l?
True
Let m(x) = x**2 - 5*x + 8. Suppose 2*n + 5*w = -41, 5*w - 14 - 1 = 5*n. Let c be m(n). Is (-144)/(-14)*c/24 a multiple of 12?
True
Let q(k) = -64*k**2 + 63*k**2 + 4*k - 5 + 3*k. Let v be q(8). Let h = v - -29. Is 16 a factor of h?
True
Suppose 4*m - 108 = -5*h - 19, -4*m + 47 = 3*h. Let w be 99 + 15 + 10/6*-3. Suppose 0 = 5*q + 3*s - w, 5*s - h = -2*q + 34. Is q a multiple of 7?
False
Let l = -47 - -80. Suppose 0 = 5*x - 12 - l. Does 4 divide x?
False
Does 14 divide (-6568)/(-6)*(5 - (-14)/(-7))?
False
Suppose 6*v - 1317 = 9477. Is v a multiple of 92?
False
Let q(l) = -l**3. Let i(a) = 54*a**3 + a - 1. Let y be (-5)/25 + 18/15. Let s(o) = y*i(o) - 6*q(o). Is s(1) a multiple of 20?
True
Let u(b) = -b + 13. Let x(t) = -2*t + 26. Let y(q) = 5*u(q) - 2*x(q). Let j be y(13). Suppose -i - 34 - 46 = -z, j = z + 4*i - 70. Is 23 a factor of z?
False
Suppose 3*z = -0*z + 6. Let m(f) = f + 4*f**2 + 7*f**z - 11*f**2 - f**2 + 33. Is 11 a factor of m(0)?
True
Suppose -34*i - 9726 + 35430 = 0. Is 36 a factor of i?
True
Let t = -17 - -29. Suppose 30 = -3*k - t. Is (-4 + 6)*k/(-4) a multiple of 7?
True
Let a(c) = 4*c**3 + c**2. Let h be a(1). Let p(n) = -n**3 + 6*n**2 - 6*n + 8. Let m be p(h). Suppose -m*r + 26 = 2*i - 5, -5*i = -r - 35. Is 2 a factor of i?
True
Suppose 0 = -5*b + 5*k + 90, -5*k - 3 = -b - 1. Let q = 33 - b. Let t = -2 + q. Is 4 a factor of t?
False
Suppose -17*g - 35*g + 87204 = 0. Does 17 divide g?
False
Let w(z) = 11*z**2 - 8. Let d be w(3). Suppose 2*n = 13 + d. Is 20 a factor of n?
False
Suppose 43 = 6*n - 41. Suppose y = -0*y + n. Is 14 a factor of y?
True
Let m = 43 - 45. Does 10 divide (2 - -26) + (m - -5)?
False
Suppose 0 = 3*i - x - 487, 3*x + 641 = -0*i + 4*i. Suppose -6*y = 50 - i. Is 3 a factor of y?
False
Suppose 0*i = 2*y - i - 10, -y = -2*i - 11. Suppose y*t - 68 = -20. Suppose -67 = -b - t. Is b a multiple of 19?
False
Suppose -o = o + 20. Let b be (o - -11)*-13*4. Is (-3)/6 + b/(-8) a multiple of 5?
False
Suppose -2*b = -26*c + 21*c + 1753, -b + 1756 = 5*c. Is 5 a factor of c?
False
Let p(v) be the third derivative of 5*v**4/24 - 37*v**3/3 + 11*v**2. Is p(22) a multiple of 13?
False
Let v = -42 - -54. Let j(a) = 5*a - 15. Does 15 divide j(v)?
True
Let k(f) = -3*f**3 - 2*f**2 - f + 4. Does 14 divide k(-4)?
True
Suppose -r + 1 = -4, 0 = -4*x + r + 35. Suppose -1023 = -x*c + 177. Does 16 divide c?
False
Suppose -359 = 5*w - 3*q, w - 3*q + 48 = -31. Let v = 131 + w. Is 16 a factor of v?
False
Let i(a) = a**2 + 5*a + 4. Let h be i(-5). Let x = h + 1. Suppose p - 5*m + x = 0, 5*p - 35 = -m - 4*m. Is p a multiple of 2?
False
Let z(g) = -g**2 - 17*g - 6. Let c be z(-12). Suppose 0 = 3*r + 11 - 41. Suppose -2*t + c - r = 0. Does 17 divide t?
False
Suppose 1 - 9 = -s. Suppose s*n - 4*n = 1380. Is n a multiple of 15?
True
Suppose 2 + 7 = 3*k. Suppose -151 + 19 = -k*l. Let r = l - 22. Is 10 a factor of r?
False
Let i = -102 + 106. Suppose i*t + 1522 = 5*j, -614 = j - 3*j - t. Does 51 divide j?
True
Let m(b) = b**3 + 16*b**2 + 15*b + 20. Suppose -3*a = 2*s + 26, -3*a + 3*s - 10 + 4 = 0. Is 29 a factor of m(a)?
True
Let j(f) = 133*f - 543. Does 25 divide j(7)?
False
Suppose -73*m + 64386 = -55*m. Is 85 a factor of m?
False
Let w be 90*(12/(-8) - -1). Let o be w/(-3) - (2 - 3). Suppose 34*u - o = 33*u. Is u a multiple of 8?
True
Let w = -20 - -40. Suppose y - w = 14. Suppose 3*h = 3*l - 30, 3*h = -5*l + 4*h + y. Does 3 divide l?
True
Let i(u) = -4*u**3 - 2*u**2 - u - 1. Let j(r) = -2*r + 3*r - 1 - 4*r - r**2 - 1. Let q be j(-3). Does 15 divide i(q)?
False
Let u(b) = -95*b + 629. Is u(-8) a multiple of 17?
False
Suppose 453*h + 1416 = 457*h. Is h a multiple of 3?
True
Let b be 305/45 + (-2)/(-9). Let c be (-2)/(-7) + (-163)/b. Let j = -8 - c. Is j a multiple of 4?
False
Is 10866/4 + (-46)/(-4) + -10 a multiple of 12?
False
Suppose -4*i + 8 = -0*i. Suppose i*d + d = -96. Is 22 a factor of (d/(-12))/((-1)/(-15))?
False
Let a(l) = -5*l. Let z(i) = i - 1. Let t(b) = a(b) + 2*z(b). Let p be t(-8). Suppose 0 = -f + p - 5. Is f even?
False
Suppose 0 = 3*c - 5*c + 12. Let t be (-1)/c + (-38)/(-12). Suppose 2*y + 25 = -t*z + 95, -2*z - y = -46. Is 11 a factor of z?
True
Suppose 5*m + 15 = 10*m. Let f(a) = 4*a**2 + 14*a + 5. Is 24 a factor of f(m)?
False
Suppose -5*o + 2*l + 727 = 0, -585 = -4*o - 211*l + 216*l. Is o a multiple of 2?
False
Let q(c) = -c**3 - 6*c**2 - 7*c - 19. Let y be q(-10). Suppose 5*n - y = -86. Is n a multiple of 13?
False
Suppose 4*d + 4 = -0, 2*d = 4*j - 18. Does 5 divide -1 + (j/4 - -15)?
True
Suppose 10*n - 32 = 18*n. Does 5 divide 3/(n/(-144)*3)?
False
Let c(h) = -2*h**3 - 21*h**2 - 13*h + 18. Let k be c(-10). Suppose -k = -2*n + 82. Is n a multiple of 6?
False
Let u(s) = -s**3 + 9*s**2 + 4*s - 8. Suppose 2*l + 1 - 19 = 0. Let c be u(l). Suppose 4*y - c = -8. Is 3 a factor of y?
False
Let w(q) = -9*q + 32. Let m be w(0). Suppose 14*v - 130 = -m. Is 5 a factor of v?
False
Let c(x) = -71*x + 389. Does 68 divide c(-13)?
False
Let o(h) = -h**3 + 28*h**2 - 5*h + 66. Does 10 divide o(27)?
True
Let v be 7*3/42*12. Let o(y) = 2*y**2 - 11*y + 55. Does 9 divide o(v)?
False
Suppose w + 5*f - 14 = f, 4*w = -f + 11. Suppose -296 = -w*p - 2*p. Suppose k = -4*b + p, -3*k - 5*b + 296 = k. Does 24 divide k?
False
Let k(j) = -2*j + 1. Let p be k(-1). Suppose -7*c + p*c - 12 = 0. Is 2 a factor of (0 - (5 + c))/(-1)?
True
Is 2 a factor of (-4)/50 - 3831/(-75)?
False
Let h(y) = y**2 + 4*y - 1. Let p be h