96 = 3*x - 3*d. Let i = l + x. Does 4 divide i?
True
Let a(k) be the third derivative of 0 + 0*k**3 - 4*k**2 - 1/8*k**4 + 0*k + 29/60*k**5. Is a(2) a multiple of 29?
False
Let w(k) be the second derivative of -9*k + 0 - 9/2*k**2 - 7/12*k**4 + 1/20*k**5 - 2/3*k**3. Is w(9) a multiple of 17?
False
Let i(s) be the first derivative of 14*s**3/3 + 4*s**2 + 10*s + 8. Let t be i(-4). Suppose -w + t = 3*j, -2*j + 0*j = -2*w - 148. Is j a multiple of 23?
True
Let w(q) = -q**3 - 12*q**2 + 17*q - 8. Is 62 a factor of w(-16)?
True
Let c(t) = 6*t - 4. Let n be c(1). Suppose -68 = -0*g - n*g. Is 12 a factor of g?
False
Suppose -45 = 8*o - 333. Does 36 divide o?
True
Let i be 68/(-51)*90/(-4). Suppose -4*a + 3*a = -i. Is a a multiple of 10?
True
Suppose -3*j - 2*j + 144 = 3*c, 5*c - 15 = 0. Is j - (6/2 - (3 + 2)) a multiple of 3?
False
Let h = 153 - 146. Let i(a) = 58*a + 31. Is i(h) a multiple of 60?
False
Suppose 29040 = 128*y - 113*y. Is 35 a factor of y?
False
Let a = 1984 - 1753. Is 21 a factor of a?
True
Let q be 2 + -22 + 0 + 0. Let n = -85 + 90. Is 3 a factor of (9/n)/((-6)/q)?
True
Let y(p) = -p**3 - 7*p**2 - 4*p - 24. Let g be y(-7). Suppose 37 = g*f - 87. Is 31 a factor of f?
True
Let o be (50/(-6))/(1/3). Let v = o - -39. Suppose -2*c = -3*k - 23, 5*k + 46 + v = 5*c. Is c a multiple of 13?
True
Suppose 1 + 11 = 4*t. Suppose -2*q + t + 3 = 0. Suppose 5*k - 109 = q*k - g, 0 = -k + 5*g + 71. Is k a multiple of 14?
True
Let b(d) = 49*d - 172. Is 9 a factor of b(7)?
True
Suppose -566 + 18178 = 14*d. Is 74 a factor of d?
True
Suppose 2*u + 4*u + 108 = 0. Let v(j) = j**3 + 17*j**2 - 19*j - 6. Is v(u) a multiple of 2?
True
Let q = -14 - -8. Suppose 10*j - 7*j = 120. Is ((-48)/20)/(q/j) a multiple of 10?
False
Let n(l) be the third derivative of -l**4/4 - 11*l**3/6 - 18*l**2. Does 6 divide n(-5)?
False
Suppose 0 = 61*x - 69*x + 18136. Is x a multiple of 20?
False
Let c be 1 - (-12)/(-9) - (-13)/3. Suppose -5*n - 2*m = -c*m - 104, -64 = -3*n + 2*m. Does 14 divide n?
False
Let r = 376 - -1049. Is r a multiple of 27?
False
Let c(d) = 1. Let z(r) = -r - 14. Let a(o) = -2*c(o) - z(o). Let b be a(-9). Suppose -5*g - k + 129 = 0, 2*k - 27 - 49 = -b*g. Does 13 divide g?
True
Let m(q) = q**3 - 10*q**2 + 19*q - 82. Does 3 divide m(11)?
False
Let b(w) = 55*w - 168. Is 13 a factor of b(6)?
False
Suppose 4*a + 658 = -1266. Let h = a - -679. Is h a multiple of 33?
True
Let p = -312 + 767. Does 14 divide p?
False
Let x(i) = -i**3 + 14*i**2 + 17*i - 17. Let f(y) = -y**3 + 14*y**2 + 17*y - 16. Let h(k) = -2*f(k) + 3*x(k). Does 6 divide h(15)?
False
Suppose -42*r + 0*r = -56700. Is 27 a factor of r?
True
Let h = -133 + 133. Suppose 5*n - v - 2*v - 357 = h, 0 = -5*n + 4*v + 356. Is n a multiple of 4?
True
Let l = 146 + -4. Does 16 divide l?
False
Let q be -1 - 0 - (-72)/4. Suppose w - 43 = -4*n - q, -w - 3*n + 26 = 0. Is 13 a factor of w?
True
Let d(x) = x + 13. Let m be (-1)/5 + 245/(-25). Let h be d(m). Suppose 27 = 2*f - h. Is f a multiple of 15?
True
Let t(f) = -f**3 + 2*f**2 - 6*f + 3. Let m be t(2). Let n be 3*1/m*-9. Suppose -q = -n*q + 108. Is q a multiple of 18?
True
Suppose 0*b = -3*b + 195. Let y = -46 + b. Suppose -4 = -t + y. Is 8 a factor of t?
False
Does 55 divide 265/(((-20)/5)/(12/(-3)))?
False
Suppose x = -3*n + 1, -2*n = -2*x + x + 6. Suppose 917 = -2*d - 8*i + 3*i, 0 = x*i + 4. Is 19 a factor of 5/2*d/(-60)?
True
Suppose -5*r + 6903 = 1673. Suppose r - 296 = 10*a. Is a a multiple of 9?
False
Let f be (-4)/3*(-33)/22. Suppose -16 = 3*h - f*h. Does 12 divide (0 - h)*(-3 + 7)?
False
Suppose 21 = 5*s + 1. Suppose -2*j = z - 16, -s*j + 22 = -2*z - 2. Suppose -65 = j*u - 184. Is u a multiple of 17?
True
Let u(y) = y**3 + 8*y**2 + 2*y - 5. Does 30 divide u(-5)?
True
Let n be -8*2/(4/(-7)). Let z(x) = -5 + n*x + 1 - 31*x. Is z(-3) a multiple of 5?
True
Suppose 20 = 5*w + 10. Suppose 2*u = 4*x + 78, -3*u - w*x + 149 = -0*x. Is 8 a factor of u?
False
Let p = -35 - -39. Suppose p*i - 304 = 664. Is 11 a factor of i?
True
Let p(v) = v**3 + 13*v**2 - 14*v + 15. Suppose -16*n = -11*n + 70. Does 3 divide p(n)?
True
Does 20 divide (-16)/56 - 10092/(-42)?
True
Let o = -1560 + 1633. Is o a multiple of 13?
False
Let m be 1*6/(-4)*70. Does 9 divide (-80)/(-6)*7/(m/(-18))?
False
Suppose -w + 221 = -5*w + f, 0 = -4*w + 2*f - 222. Let n = 13 - 18. Let o = n - w. Is o a multiple of 13?
False
Let v(w) = 14*w**2 - 2 - 4*w + w - 13*w**2. Let r be v(-6). Suppose -3*q = 4*d - r, 0 = -6*q + q + d + 56. Is 4 a factor of q?
True
Let y(c) = -c**2 - 14*c - 9. Let s be y(-13). Suppose 0 = s*x - 217 + 9. Is 13 a factor of x?
True
Suppose 2*l = -5*t + 602, -1520 = 5*l - 10*l - 5*t. Is l a multiple of 18?
True
Suppose -5*w + 5550 = -3*q, -7*w + 10*w - 5*q = 3346. Is 27 a factor of w?
True
Let k(z) = 3*z**2 + 2*z**2 - 4*z - z**2 - 5*z**2. Let c be k(-3). Suppose -l + c*l = 64. Is l a multiple of 16?
True
Let k(h) = h**3 + 27*h**2 - 89*h + 30. Let i be k(-30). Let s(n) = 3*n - 2*n + 38 - 2*n. Is s(i) a multiple of 11?
False
Suppose -34 = -7*q + 22. Let m be -5*(-35 + q/(-4)). Let v = m - 87. Does 14 divide v?
True
Let i = 47 - 69. Let f = i + 89. Does 12 divide f?
False
Suppose -2*j - 38 = 3*j - 2*t, -5*j - 44 = 4*t. Does 18 divide (j/3)/((-12)/486)?
True
Suppose -37 = 2*y - 681. Is y a multiple of 46?
True
Let b = -175 - -250. Suppose 0 = 5*w - b + 20. Let m(q) = q**2 - 8*q - 7. Does 13 divide m(w)?
True
Let h(l) = 4*l**2 - 7*l - 15. Let u be h(-3). Does 4 divide ((-540)/u)/((-12)/112)?
True
Let u = -61 - -110. Let x = -41 + u. Is x a multiple of 7?
False
Let a(x) = x**3 - 7*x**2 + 14*x + 8. Is a(7) a multiple of 11?
False
Let k = 5502 - 3208. Is 62 a factor of k?
True
Let t(g) = 3*g**2 - 5*g - 21. Let w be t(-5). Let z = w - 19. Does 6 divide z?
True
Let m(y) = -3*y - 1. Let v be m(-1). Let p = 4 - v. Suppose 0 = p*o - o - 2. Is 2 a factor of o?
True
Let r = 65 - 64. Does 27 divide 4 - -175 - (r - -1)?
False
Let m = -869 - -988. Is m a multiple of 2?
False
Let z(y) = -y**3 + 5*y**2 + 5*y - 4. Let a be z(5). Let v = a - 6. Is 10 a factor of v?
False
Suppose 4*t = 2*a + 434, 7 = t + 3*a - 84. Suppose 2*p - 98 - t = 0. Is 17 a factor of p?
True
Suppose -10*v = -5*v - m - 3025, 5*v - 3*m = 3015. Does 101 divide v?
True
Does 73 divide (-6)/(-7)*(-3 + 10154/6)?
False
Let h = 196 - 175. Does 21 divide h?
True
Let y = 0 + 3. Does 4 divide ((-54)/12)/y*(-16)/3?
True
Let s(t) = -6*t + 6. Let f be s(2). Let p = 10 + f. Does 19 divide -1*p*(2 - 21)?
True
Suppose -4*s = -5*l - 2640, 30*s - 27*s - l - 1980 = 0. Is s a multiple of 30?
True
Let u be 60/(-14) + 4 - (-9)/7. Does 7 divide u/3 - 130/(-6)?
False
Let l = 839 + -317. Does 31 divide l?
False
Let d(q) = -q**3 + 6*q**2 - 6*q + 7. Let h be d(5). Suppose 0 = -4*b, -3*o - 69 = -6*o + 2*b. Let i = h + o. Is i a multiple of 5?
True
Let q(n) = 4*n**3 - 7*n**2 - 10*n - 122. Let d(b) = b**3 - 2*b**2 - 3*b - 41. Let z(w) = -7*d(w) + 2*q(w). Is 24 a factor of z(0)?
False
Suppose 6*w - 8950 = 3650. Is w a multiple of 12?
True
Let a be (-36)/(-63) + (-3268)/(-14). Suppose 5*o - a = 3*o. Does 29 divide o?
False
Let u be ((-17)/2 - -3)*-36. Suppose 4*k - 60 = -0*w - 2*w, -5*w + 2*k + u = 0. Is w a multiple of 9?
False
Let j be -3 + 5*(-3 - -4). Suppose -j*t - t = -219. Suppose -3*b + 4*x + 60 = b, 5*b - 3*x - t = 0. Is 14 a factor of b?
True
Suppose 10*m - 15431 = 4119. Is 17 a factor of m?
True
Does 6 divide -3 - (-3 + (-5 - 211 - 3))?
False
Suppose -18*d = -19*d. Let s be (-1 - -1 - d) + 2. Suppose 7*i - 215 = s*i. Is 23 a factor of i?
False
Suppose -47*l + 50*l - 534 = 0. Is l a multiple of 50?
False
Suppose 15*r = 7*r + 1304. Let u = -97 + r. Is 49 a factor of u?
False
Suppose -1387 = -21*f + 2*f. Is 25 a factor of f?
False
Let p(u) = -8*u - 1. Let b(f) = 72*f + 8. Let q(o) = -3*b(o) - 28*p(o). Is 7 a factor of q(3)?
True
Let j(u) = -2*u - 3. Let k = 17 + -20. Let d be j(k). Suppose 0 = -d*g + 41 + 37. Does 20 divide g?
False
Suppose 3*n = -m + 64, 0*n = 5*n - 5*m - 120. Suppose -2*h + 15 = q, 5*h - 23 = -4*q + n. Suppose 17 = h*a - 18. Is 5 a factor of a?
False
Let i = -218 + 244. Is i a multiple of 13?
True
Let m(s) = -s**2 + 11*s - 7. Suppose -17 + 73 = 8*a. Is m(a) a multiple of 10?
False
Does 4 divide ((-148)/(-185))/((-2)/(-10))?
True
Let i = 44 + -6