 3*g - 1. Let t(j) = -33*j**3 - 4*j**2 + 4*j - 1. Let y(l) = 3*t(l) - 4*w(l). Does 4 divide y(1)?
False
Let x(y) = y**3 - 5*y**2 - 4*y - 6. Is 22 a factor of x(8)?
True
Let o(c) = 90*c**2 + 3*c - 2. Let n be o(1). Suppose n - 298 = -3*m. Suppose -k - k + 3*h + 99 = 0, -k + m = 5*h. Is 18 a factor of k?
True
Is 64 a factor of 3/((-24)/(-5642)) - (-18)/24?
False
Let d(i) = i**3 - 13*i**2 - 13*i - 15. Let z be d(14). Let v = z + 161. Is 20 a factor of v?
True
Let l = -1 + 83. Suppose -l + 10 = -2*f. Does 18 divide f?
True
Suppose -5*y + 3*b = -11, 2*y + 5*b - 9 = 14. Suppose 2*w + 0*i + 4*i - 30 = 0, 3*w - 75 = y*i. Is 7 a factor of w?
True
Let d = -69 - -22. Let h = d + 105. Is 13 a factor of h?
False
Let w = -123 + 153. Does 6 divide w?
True
Suppose 5*s = -4*z - 65 + 19, -5*s + z = 51. Let q = s + 74. Is q a multiple of 32?
True
Let n(h) = 1180*h**2 + 4*h + 9. Is n(-2) a multiple of 60?
False
Let s(c) = 7*c - 4. Is 3 a factor of s(7)?
True
Suppose -2*z + 558 + 670 = 0. Is z a multiple of 38?
False
Suppose -4*b = -4*j - 1600, 2*b - 800 = 16*j - 13*j. Does 16 divide b?
True
Let a = 110 + -101. Suppose 4*k - 4*w - 647 = -a*w, -321 = -2*k - 3*w. Does 14 divide k?
True
Let o(s) be the first derivative of -4*s**2 - 2*s - 1. Suppose -5*q = 2*m + 24, 0 = -2*q - 2*m - 0 - 12. Is 12 a factor of o(q)?
False
Suppose -3*t + 1680 = -3*l, 0 = -4*t + 5*l + 1108 + 1134. Does 31 divide t?
True
Suppose 0 = -606*f + 634*f - 22176. Is f a multiple of 9?
True
Does 55 divide 2*(-6823)/(-8) - (-117)/(-156)?
True
Let s be (1 - -3) + -4 + -12. Let l = s + 16. Is 3 a factor of l?
False
Suppose 6*n - 837 = 3921. Is 22 a factor of n?
False
Suppose -79*k + 50*k + 4814 = 0. Is k even?
True
Let i = 10 + 0. Let s(g) = -5*g**2 + 5*g + 10. Let r(k) = -k**2 + 2. Let j(y) = 4*r(y) - s(y). Does 24 divide j(i)?
True
Let f(h) = -h**3 + 16*h**2 - 12*h - 21. Let y be (0*(-1)/(-3))/(-2). Suppose -k - k + 30 = y. Is 6 a factor of f(k)?
True
Suppose 2*v + 5*i = 4*v + 19, 4*v - 1 = -3*i. Is 8 a factor of v - (-5 - 52) - 1?
False
Let x be (-1)/((-1)/(-7 + -3)). Let g(m) = m**2 + 10*m. Let v be g(x). Suppose -5*w + 310 = -v*w. Does 11 divide w?
False
Let b(y) = 21*y - 12*y + y. Let d be b(-3). Let t = d + 60. Does 15 divide t?
True
Let g(m) = 3*m + 27. Let c be g(-8). Is 20 a factor of 8/c*(1 - (-78)/12)?
True
Let n(u) be the second derivative of 5*u**4/24 + 2*u**3/3 - 3*u**2/2 - 2*u. Let o(h) be the first derivative of n(h). Is o(5) a multiple of 22?
False
Let d(a) = 2*a**2 + a - 4. Let r = 6 + -11. Let t be (r/(-4))/(1/4). Does 17 divide d(t)?
True
Suppose 3*d = -j + 1457, 5*d - 771 = -4*j + 1648. Is 75 a factor of d?
False
Is 9 a factor of (-1)/2*8 - -164?
False
Let q be (-6)/(-4)*(-112)/42. Is 3 a factor of (q/3)/((-6)/126)?
False
Suppose n - q - 2715 = -2*q, 10839 = 4*n - 3*q. Does 8 divide n?
True
Let l(z) = z**3 + 7*z**2 + 2*z - 12. Let j be 1/(-2) - (-18)/(-4). Does 7 divide l(j)?
True
Suppose -5*u - 2*u + 219758 = 0. Does 14 divide u/154 + (-1)/(-7)?
False
Let y be 34*-1*(-4)/8. Let w(n) = n**2 - 17*n + 3. Let k be w(y). Suppose 0*v - 5*z = 4*v - 53, -k*v = 3*z - 36. Does 7 divide v?
True
Let o(z) = -9*z**3 - 3*z**2 - 3*z. Let k be o(-2). Suppose 0 = -7*h + 3 - 3. Suppose 0 = l - 5*c + c - 21, -2*l + 2*c + k = h. Is l a multiple of 8?
False
Suppose 96 = 3*s - 189. Suppose 4*l = 3*u + 83, 0*u = 5*l - 2*u - s. Is l a multiple of 6?
False
Let v(z) = z**3 + 14*z**2 - 2. Let y be (28/(-6))/(7/21). Let h be v(y). Is 15 a factor of h/(-7) - (-416)/14?
True
Let r(k) = k**3 + 8*k**2 + 6*k - 7. Suppose -2*o - 2 = 12. Let c be r(o). Suppose c = y - 8 - 27. Does 8 divide y?
False
Let q be (-3)/(-3) - (-2 + 0). Suppose -5*m + 13 = q. Suppose -j = 2*h - 27, 4*j - h + m*h - 80 = 0. Is 13 a factor of j?
False
Let u(n) be the third derivative of n**5/60 + n**4/3 + n**3/2 - 3*n**2. Let r be u(-8). Suppose h - 13 = -4*k, 5*k = -4*h + r*k + 80. Is h a multiple of 7?
True
Let x = 23 + -22. Let n be -2*x*(-195)/10. Suppose h - n = -0*h. Is h a multiple of 13?
True
Suppose 7 + 1 = 2*h. Suppose -4*q = -3*q + h*j - 58, 0 = 3*j + 6. Suppose -5*m + q = -24. Is m a multiple of 6?
True
Suppose 8*u = 4*u. Let m be -89 + -6 + 3 + u. Does 14 divide 7/((-14)/m) + 1?
False
Let d be (-1)/(-2*(-2)/(-196)). Suppose -g + d = 15. Let s = 48 - g. Does 5 divide s?
False
Let s = 7 - -75. Let q = s + -47. Is q a multiple of 24?
False
Let b = -434 - -1142. Does 59 divide b?
True
Let k = -97 + -23. Let q be k/(-54) + 2/(-9). Suppose -2*z = -7*z + g + 98, q*g = -z + 24. Is z a multiple of 8?
False
Suppose -5*g + 910 = 3*q - 2*q, 4*g - 3*q = 747. Suppose -k + c + g = 37, c = -3*k + 454. Is 12 a factor of (0 + 1)/(5/k)?
False
Let y(d) = 27*d**2 - 27*d - 2. Does 43 divide y(-1)?
False
Let y(v) = v**2 - 16*v - 2. Let s be y(16). Does 15 divide s/(-9) - ((-1526)/18 - 2)?
False
Let z = 82 - 81. Let n(c) = 192*c**2 + 5*c - 5. Is 12 a factor of n(z)?
True
Let s(u) = -u**3 + 7*u**2 - 9*u + 7. Let p be s(6). Does 18 divide p/((-33)/168)*(-6)/(-8)?
False
Let o be (-1)/(-5) + 124/(-20) + 2. Does 45 divide (2/2 - o)/(2/90)?
True
Suppose -5*l - 32 = -2*g - 3*l, 5*g - 80 = -3*l. Suppose g = 4*n, 2*n + 24 = 4*t - 64. Is 8 a factor of t?
True
Let l(h) = -419*h**3 + 2*h + 3. Does 42 divide l(-1)?
True
Let u = -52 - -55. Suppose -u*r - 2*z - 3*z + 161 = 0, -r + 47 = -5*z. Is 3 a factor of r?
False
Let u(d) = 2*d**2 - 19*d - 9. Is 3 a factor of u(14)?
True
Let n(q) be the first derivative of q**3/3 + 7*q**2/2 + 4*q + 10. Is 21 a factor of n(6)?
False
Let s be ((-2 + -10)*23)/(12/(-8)). Suppose -2*p - 3*p = 2*c - s, -4*c + 392 = 4*p. Is 17 a factor of c?
True
Suppose -g + 98 = -2*l, 3*g + g - 412 = -2*l. Is 14 a factor of g?
False
Suppose 0 = 5*p + 170 - 2970. Is 8 a factor of (p/21)/4*(-24)/(-10)?
True
Let x be 3098/14 - 6/21. Suppose 111 = 34*n - 25. Suppose n*u - x - 239 = 0. Is u a multiple of 23?
True
Let k(r) = -111*r**3 + 3*r - 4. Let b be k(-3). Is 25 a factor of b/20 + 4/5?
True
Let c be (-5 + 6 - 7)*(-238 + -1). Suppose 1422 + c = 12*k. Is 14 a factor of k?
True
Let y(d) = -4*d - 24 + 3*d + 37. Does 22 divide y(-9)?
True
Suppose -2*g - 3*p = 250, -2*g - 387 = -3*p - 149. Let k = -44 - g. Is 11 a factor of k?
False
Suppose -4*k = -25*k + 1323. Is k a multiple of 9?
True
Let b(c) = 4*c**2 - 3*c. Let f(q) = -q**2 + q. Let y(s) = -b(s) - 3*f(s). Let w be y(4). Let r(z) = -3*z + 7. Is 23 a factor of r(w)?
False
Suppose 0 = -135*p + 140*p - 20. Does 26 divide (-23)/(-2 + p/4) + 3?
True
Suppose 0*j + 60 = 2*j - 3*d, 3*j - 3*d - 87 = 0. Suppose 4*l = 5*y - j, 0*y + 27 = 4*y - 5*l. Is ((-10)/(-6))/(y/36) a multiple of 10?
True
Suppose o - 2*r - 1 = 0, -2*o = -6*o + 2*r + 4. Let c(u) = 14*u - 1. Does 7 divide c(o)?
False
Let u = 2078 - 1418. Is u a multiple of 30?
True
Let m = -220 - -154. Is (3/6)/((-3)/m) a multiple of 11?
True
Let h be (-33*1)/(-3)*23. Suppose 6*d - d + 630 = 5*a, d + h = 2*a. Suppose 2*r - l - 37 = 0, 2*l = 5*r - a + 35. Does 9 divide r?
True
Suppose -3*d + 5940 = 2*t, 3*d - 7539 = -5*t - 1599. Does 30 divide d?
True
Suppose 1085*g + 1692 = 1091*g. Does 13 divide g?
False
Suppose -2 = -3*i + 184. Let d(s) = 0*s + s + 0*s + i*s**2. Does 21 divide d(1)?
True
Let v be (2 - 3)*-4 + 158. Suppose 9*d = 12*d - v. Is 16 a factor of d?
False
Suppose 7*d + 1920 = 12*d. Does 32 divide d?
True
Let j be (-400)/(-180) + 2/(-9). Suppose 0 = -4*k + 8, 508 = 3*n + j*n - k. Is 17 a factor of n?
True
Let g(s) = s**3 + s**2 + 36. Is 10 a factor of g(0)?
False
Let g = 28 - 25. Suppose -4*f = -12, f + 53 = w + g*w. Is 10 a factor of w?
False
Let r = -180 - -188. Suppose -2056 = -r*l - 240. Does 21 divide l?
False
Suppose 11*h - 5*h = 18. Suppose 0 = -3*m - 6, -l - 2*m = h*l - 72. Let z = 52 - l. Is z a multiple of 11?
True
Does 47 divide (-2)/(-17) - -2*47019/51?
False
Suppose -2*z = c + 3*c + 10, -3*z - 3 = 2*c. Let o be 6/15 - 22/5. Let d = z - o. Is 4 a factor of d?
False
Let h(g) = 65*g - 44. Is 36 a factor of h(4)?
True
Let u(q) = -6*q**2 + 9*q - 7. Let y(z) = -z + 1. Let f(m) = -u(m) - 5*y(m). Let v be f(2). Suppose 2*g = -g + v. Is g a multiple of 4?
False
Let b be (5 - 5) + -1 + 22. Let y = b + 9. Suppose z - 3*z + y = 0. Does 13 divide z?
False
Suppose 0 = 2*j - 116 - 390. Is 22 a factor of j?
False
Let i(o) = -o**3 + 12*o**2 + 3*o - 2