 Let l(g) = -18*g**3 + 17*g**2 + 26*g - 3. Let j(b) = -4*l(b) - 11*o(b). Does 13 divide j(3)?
True
Let c(h) = h**3 + 23*h**2 + 90*h - 23. Is c(-17) a multiple of 5?
False
Let n(s) = -s**3 + 11*s**2 - 11*s + 4. Suppose -5 - 5 = -k. Let a be n(k). Is 115/25 - a/15 a multiple of 3?
False
Let y(m) = -3*m + 11. Let c be y(5). Let b(l) = -l**3 - 3*l**2 + 4*l + 5. Let f be b(c). Suppose 36 - 16 = q - h, -3*q + 36 = f*h. Is q a multiple of 17?
True
Let s(f) be the third derivative of -f**5/60 - 17*f**4/24 - 5*f**3/6 - 5*f**2. Is 12 a factor of s(-13)?
False
Let c be 6/(-4)*1280/6. Suppose 3*a + 1 = 4*r, r + 3 = 2*a + 12. Does 17 divide 22/77 + c/a?
False
Let u(n) = 6*n**2 + 7*n + 4. Let a(h) = h**3 - 3*h**2 - h - 1. Let l be a(3). Let r be u(l). Suppose -g + 70 = -3*c, -4*c = -g + c + r. Does 18 divide g?
False
Let x = -75 - -130. Suppose -4*t + 331 = x. Is 13 a factor of t?
False
Suppose 49*n = 78*n - 33060. Is n a multiple of 15?
True
Let n(f) = 516*f + 1 + 3 + 13 - 535*f. Is 12 a factor of n(-7)?
False
Suppose 0 = -37*i + 32*i + 1070. Suppose -i = -2*u + n, -3*u - 43 = -2*n - 362. Does 12 divide u?
False
Let c = 14 + -9. Let n = 1023 - 1019. Suppose c*p + 3*q = 138, -n*p + 0*q + 124 = -q. Does 15 divide p?
True
Suppose 4*c - 1444 = -0*c + 2*k, 5*c + 2*k = 1796. Is c a multiple of 34?
False
Let u = -19 + -8. Suppose 0 = -14*w + 469 - 1771. Let v = u - w. Is 12 a factor of v?
False
Suppose 0 = -2*k - 3*k - 205. Let t = 9 - k. Is 15 a factor of t?
False
Let f(p) = 4*p + 36. Let y be f(-6). Let m(j) = 15*j + 60. Is m(y) a multiple of 24?
True
Let f = -12 + 17. Suppose -f = -p + 26. Is p a multiple of 31?
True
Let x = -161 + 88. Let k = x - -135. Is 13 a factor of k?
False
Is 9 a factor of -10 - (-276)/27 - 13604/(-18)?
True
Suppose -3*m = 5*o + 297, 4*o - 14 + 2 = 0. Is 11 a factor of ((-858)/m)/(6/64)?
True
Let j(p) = 3*p**2 - 8*p + 1. Is 11 a factor of j(11)?
False
Let c(s) = -56 - 2*s + s + 77. Is c(6) a multiple of 4?
False
Suppose 0 = -5*d + m - 4*m + 625, 0 = m. Suppose -f = -4, -2*t + 27 = 2*f + d. Let o = 74 + t. Is o a multiple of 21?
True
Suppose -7*b + 2*b = 245. Let u be (-1)/(((-1)/b)/1). Let c = -24 - u. Is c a multiple of 5?
True
Suppose 0 = 2*k - t - 512, 5*k + t = 8*k - 766. Is k a multiple of 4?
False
Let x(h) = h + 54. Let q be 42/7 - (1 + 1). Suppose -5*n + 0*v = -3*v - 3, q*v = 2*n - 4. Does 14 divide x(n)?
False
Let k(j) = -j**2 - j + 1. Let u be k(2). Let s = 5 + u. Let y(d) = -d + 10. Is 5 a factor of y(s)?
True
Let u be 11 + 2 + 0 + 0. Let c(v) = -v**3 + 14*v**2 - 13*v + 4. Let k be c(u). Is (-3)/k - 297/(-44) a multiple of 6?
True
Suppose 4*k - 5*k - 5*n - 25 = 0, -19 = 3*k + n. Let w be -1*(k + 2 - 10). Let g = 44 - w. Does 21 divide g?
False
Suppose -9*p - 20 + 272 = 0. Is 12 a factor of p?
False
Suppose 2*x = -4*v + 216, 16*x = 11*x. Is v a multiple of 18?
True
Suppose -88 - 16 = -2*j. Let t = -29 + j. Is 9 a factor of t?
False
Let u = 768 - 516. Suppose -b + 5*b = -u. Let m = -39 - b. Is 12 a factor of m?
True
Let x = 36 + 5. Let l be (29/(-2))/((-21)/84). Let m = l - x. Is m a multiple of 12?
False
Suppose -7*v - 18 = -16*v. Suppose 0 = i - v, -4*i + 316 = 8*h - 6*h. Is 14 a factor of h?
True
Is 24 a factor of (66 + -98)/(0 - 3/18)?
True
Let h(j) = -j**2 - 4*j + 7. Let o be h(-5). Suppose o*z + 13 + 15 = 0. Let y = z + 29. Does 9 divide y?
False
Let m(q) = -q**2 - q - 1. Let r(b) = -2*b**2 + 17*b - 17. Let n(h) = -m(h) + r(h). Is n(10) a multiple of 8?
True
Let g(s) = -2*s**3 + 2*s**2. Let l = -12 - -14. Suppose 0 = 3*b - 4*x + 5 + 8, -3*x = l*b + 3. Does 29 divide g(b)?
False
Does 13 divide (-11)/88 + 87051/24?
True
Suppose 1842 = 4*f + z - 3*z, f - 4*z - 450 = 0. Is f a multiple of 57?
False
Suppose -4*g - j + 436 = 2*j, -g = 2*j - 114. Let f = g + -73. Is 33 a factor of f?
True
Let g(f) = 4 + f**2 + 10 + 2*f - 1 + 5*f. Let n be g(-9). Suppose 2*c = 11 + n. Is c a multiple of 12?
False
Suppose 8*v - 81 = 175. Does 8 divide (-1)/4 - (-1544)/v?
True
Let a(l) = -1811*l - 1. Let q be a(1). Let t be q/(-108) + 2/9. Let d(p) = 2*p - 1. Is 11 a factor of d(t)?
True
Let i be -3 + (-220)/3*3. Let v = 92 - i. Is 24 a factor of v?
False
Let r(n) = n**3 + 4*n**2 - 3*n - 4. Let g be r(-4). Suppose l - g = 2*z, -5*l + 4*l = 2*z. Suppose -7*j + 2*j - 4*w = -140, -l*w - 116 = -3*j. Does 8 divide j?
True
Suppose 3*a + 16 = 2*w - 0*a, -8 = -2*w + a. Suppose 3*n - 110 = o, -3*o - 2*o + 62 = w*n. Is n a multiple of 12?
True
Let d = 7 - 4. Suppose -2*v + 3*w = -65, 2*v + 4*w - 40 = 2*w. Let i = v - d. Is 4 a factor of i?
False
Suppose -2*r - 3*r + 5 = 4*q, 5*r = 5. Suppose 115 = j + 4*a, q*a + 115 = j - 3*a. Does 23 divide j?
True
Let j(g) = -40*g + 90. Is j(-3) a multiple of 38?
False
Let d = 2132 + -1401. Does 10 divide d?
False
Let p(x) = -50*x + 9. Let u be p(-3). Suppose -3*w = -3*n - u, 121 = 4*w + 4*n - 115. Does 24 divide w?
False
Let y(l) = 29*l**2 - l + 4. Let f(s) = 31*s**2 - s + 5. Let r(x) = -2*f(x) + 3*y(x). Is r(3) a multiple of 29?
False
Let v = -500 - -780. Is 13 a factor of ((-12)/5)/((-16)/v)?
False
Suppose 8*m - 6*m = 0. Let j(h) = 14*h - 12*h - 7 + m. Is 2 a factor of j(7)?
False
Let i(n) = -4*n - 20. Let g be i(18). Let k = g - -197. Is 10 a factor of k?
False
Let c be (12/(-8))/(5/(-2) + 2). Suppose -c*z + 1 = -383. Is z a multiple of 15?
False
Let d(a) = -5*a**2 + 22*a - 8. Let l(b) = -3*b**2 + 11*b - 4. Let z(p) = 4*d(p) - 7*l(p). Suppose 3*w + 44 = 5. Does 14 divide z(w)?
False
Let d = 125 - 317. Let j = -48 - d. Is 8 a factor of j?
True
Suppose 2*l + 2*t - t - 3 = 0, -3*l - 5*t = -8. Let a = 14 - -3. Let q = l + a. Is q a multiple of 12?
False
Let d(x) = 5*x**3 + 2*x**2 - 3*x + 2. Let i be d(1). Suppose -i*m + 143 + 67 = 0. Does 7 divide m?
True
Suppose -4*a + 7 + 1 = 0. Is 9 a factor of (-385)/(-14) - 1/a?
True
Suppose 5*n + 596 = -5*s + 2546, 0 = 4*n - s - 1580. Is 32 a factor of n?
False
Suppose -3*g - 386 = -4*k + 806, -5*k + 3*g + 1490 = 0. Is 14 a factor of k?
False
Suppose 0 = 3*d + 4*s - 25, s + 1 = 5. Suppose o + d*v = 79, 0*o - 85 = -o - v. Is o a multiple of 22?
True
Suppose 0*q - 4*x + 202 = -q, 3*x = 2*q + 394. Let m = -106 - q. Suppose t + t - m = 0. Does 11 divide t?
True
Suppose 32*m + 2*u - 766 = 28*m, -m + u = -193. Does 6 divide m?
True
Let y = 126 + 66. Does 48 divide y?
True
Let l(p) = 3*p + 2. Let i be l(1). Suppose i*v - 166 = 114. Is 8 a factor of v?
True
Let l = 1 - 1. Suppose l = 3*y - 7 + 1. Suppose y*z = -1 + 13. Does 2 divide z?
True
Let d(i) = 3*i**2 - i + 4*i**2 + 6*i - 8 - 6*i**2. Is d(-8) a multiple of 8?
True
Let n(t) = 77*t - 11. Does 6 divide n(14)?
False
Let h = 112 - 71. Suppose -4*s + h = 5*q, s = 2*q - 3*s + 6. Does 5 divide q?
True
Suppose 2*r + 15 = 3*x + 5*r, r + 5 = 4*x. Suppose 898 = 2*p + 3*p - 2*t, -x*t - 718 = -4*p. Does 36 divide p?
True
Let o(m) = -m**3 + 40*m**2 - 70*m + 69. Does 9 divide o(38)?
True
Let t(p) = -p**3 - 2*p**2 + 2*p - 3. Let s be t(-3). Suppose 0*o - 4*o - 16 = s. Is (-221)/(-52) + (-3)/o a multiple of 3?
False
Suppose 3*f + 0*f = -n + 82, 0 = -4*n + 4*f + 392. Let l = 175 - n. Is 27 a factor of l?
True
Let j be -18*((-3)/(-9))/(2/(-56)). Let i = j - 36. Is 20 a factor of i?
False
Suppose -2*f = -3*f. Suppose 2*b - 100 - 28 = f. Does 32 divide b?
True
Suppose 5*g - 1139 = -2*c - 0*c, -4*g - 2*c = -912. Is 25 a factor of g?
False
Let d be (-13)/(159/(-39) - -4). Suppose d = 9*u - 866. Does 23 divide u?
True
Let t(n) = -18*n - 88. Is 10 a factor of t(-8)?
False
Let s(n) = -8*n + 60. Is s(-17) a multiple of 13?
False
Let n = 124 + -122. Suppose -h - 2*q = -q - 267, -267 = -h + n*q. Does 37 divide h?
False
Suppose 4*f + 219 = 547. Let v = f + -22. Is 2 a factor of ((-2)/4)/((-3)/v)?
True
Let t be (-10)/(-15) - 105/9. Is t*(-3 + 4)*-1 a multiple of 3?
False
Let h(v) = 2*v**3 + 22*v**2 - v + 13. Is h(-10) a multiple of 19?
False
Let f(i) = -2*i - 28. Let m be f(-12). Is (176/(-33))/(m/6) a multiple of 4?
True
Suppose 2*f - 2*k + 6*k - 14 = 0, -3*k = 3*f - 21. Let b be ((-3)/(-6))/(f/42). Suppose -i - 149 = -b*g, -g - 43 = -2*g - i. Is 12 a factor of g?
True
Suppose -26 - 54 = 4*a. Let d(s) = -s**3 - 20*s**2 + 14. Does 14 divide d(a)?
True
Is 25 a factor of (-13185)/(-105) - 12/21?
True
Let q = 530 + -75. Is 7 a factor of q?
True
Suppose -3*s + 36 = 