 6. Does 10 divide g?
False
Suppose -t = -3*t - 3*d + 1668, 4120 = 5*t - 5*d. Is 11 a factor of t?
False
Is 4 a factor of 3/(6405/2128 + -3)?
True
Let s = -2806 - -3946. Is s a multiple of 30?
True
Does 14 divide ((-1)/2)/(1 + 458/(-456))?
False
Let h(s) = -s**3 + 5*s**2 + 9*s - 13. Let i be h(6). Suppose 5*d - 3*d = i*w + 259, -4*d - w = -551. Does 25 divide d?
False
Suppose 0 = 3*v + 3*y - 6, v - 2*y - 4 = 1. Let x(l) = l**3 - 3*l**2 + l + 6. Is x(v) a multiple of 3?
True
Let y be (0/(-3))/(1*(2 - 4)). Let x(o) = -o**2 + 9*o + 211. Does 15 divide x(y)?
False
Suppose -44 = 3*m - 8. Let u(w) = -3*w - 16. Is 6 a factor of u(m)?
False
Let t be (-2 + 91/21)/((-2)/6). Let y(s) = -2*s + 10. Is 6 a factor of y(t)?
True
Let a(i) be the first derivative of 4 - 1/4*i**4 - 2*i**2 - 2*i**3 - 3*i. Is 21 a factor of a(-6)?
True
Let g(l) = 12*l - 7. Let o be g(4). Suppose -59 - o = -5*t. Is 10 a factor of 5/((-10)/(-3))*t?
True
Suppose -3*m = -5*h + 1952, -3*h = h - m - 1563. Is 17 a factor of h?
True
Suppose -8 = -5*a - 4*f - 90, 0 = -5*f + 10. Let w be a/(-15)*(-20)/(-6). Suppose w*b + 45 = -3*y + 6*y, -5*y + 89 = -2*b. Is 14 a factor of y?
False
Does 13 divide -6 + 84/15 - 7701/(-15)?
False
Suppose -15*d + 18*d = -48. Is 9 a factor of (16/6)/(d/(-192))?
False
Let d be 0/(0 - (1 + 0)). Suppose c = -d*c + 5. Suppose 0 = -2*v - 4*t + 106, 2*v - 4*v - c*t = -104. Is 19 a factor of v?
True
Let h = 24 + -34. Let f = h + 10. Suppose 20 = 4*g - 0*g, f = -3*l - 5*g + 199. Does 12 divide l?
False
Let v(m) = m**2 + 1. Let x be v(1). Let u be (18/4)/(1/x). Suppose i + 81 = 2*l, 5*l - 4*i = -u*i + 240. Does 16 divide l?
False
Let v = 125 + -124. Does 3 divide (-96)/(-9) - (v - 14/6)?
True
Suppose -3*z - 5*q - 65 = -4*q, 0 = -z + 5*q + 5. Let b = z - -153. Is b a multiple of 19?
True
Let u = -55 - -65. Let t = 7 + u. Does 9 divide t?
False
Let w = -362 + 641. Suppose 0 = 7*y + 2*y - w. Is y a multiple of 22?
False
Let v(w) = w**2 - 14*w - 12. Let j be v(10). Let p = -26 - j. Is p a multiple of 12?
False
Let o = -19 + 22. Let z(r) = -3 + 11*r**2 + 2 + o + 4*r. Does 8 divide z(-2)?
False
Suppose -2*h + 4738 = 2*r, -14*r + 17*r + 2*h = 7104. Is 91 a factor of r?
True
Let z be (1578/6)/(2/2). Suppose z - 73 = 5*i. Let r = 71 - i. Is r a multiple of 7?
False
Let l = 27 + -15. Let d = l - 26. Is 20 a factor of (62/d - -3)*-14?
True
Suppose 4*r = w - 11 - 100, 2*r + 111 = w. Suppose -5*z + 69 = 3*g - 2*z, -5*g - 3*z = -w. Is g a multiple of 7?
True
Let t be 462/90 + 3/(45/(-2)). Suppose t*z - 634 + 104 = 0. Is 13 a factor of z?
False
Let o = -236 - -367. Suppose -530 = -4*j + 5*i, 2*i + o = -0*j + j. Let l = j - 45. Is 30 a factor of l?
True
Let f = 13 + 138. Is f a multiple of 3?
False
Suppose 0 = -3*s + w + 1073, -s - 5*w + 353 = -3*w. Suppose -d = -2*n + s, 5*n + 4*d - 890 = 6*d. Is n a multiple of 22?
True
Suppose -4*y = 1 + 3. Let i be (12/(0 + -3))/y. Suppose a + 0*v - 43 = i*v, 0 = -4*a + v + 127. Does 11 divide a?
False
Let l(p) = 5*p**2 - 2*p + 3. Let k be l(1). Let w be (-124)/(-10) + k/10. Suppose 237 = w*j - 10*j. Does 11 divide j?
False
Let z = -131 - -188. Let k = 123 - z. Does 6 divide k?
True
Suppose -6*z + 5*z - 4*t - 22 = 0, -4*z + 2*t = 16. Let f(d) = -2*d - 22. Let l(y) = 3*y + 20. Let n(a) = -3*f(a) - 4*l(a). Is 22 a factor of n(z)?
True
Let n(c) be the second derivative of -c**4/12 + c**3/6 - 11*c. Let t be n(0). Is 4 + -4 + t + 18 a multiple of 6?
True
Let g = -70 - -105. Let q = -17 + g. Let l(f) = 4*f - 12. Does 12 divide l(q)?
True
Let m(g) = g**3 - 7*g**2 - 3*g - 3. Let x be (-246)/(-30) - 1/5. Is m(x) a multiple of 6?
False
Is 12 - 8 - (-1445)/5 a multiple of 13?
False
Let y(s) = -s**3 + 10*s**2 + 6*s - 4. Let b be y(-6). Let w = b - 354. Is w a multiple of 26?
True
Let f(r) be the first derivative of -r**3/3 + 13*r**2 - 32*r + 4. Does 8 divide f(22)?
True
Suppose 340 + 0 = 5*c. Does 11 divide (-12)/18 - c/(-3)?
True
Let l(z) = -16*z. Let n be l(5). Let h be ((-249)/4)/(30/n). Let m = h + -119. Is 29 a factor of m?
False
Let n(i) = 45*i**3 - 2*i**2 + 25*i - 24. Is 6 a factor of n(1)?
False
Let h = 5 + -8. Let t(o) = -o + 10*o**2 + 2*o**2 - o - 6*o**2. Is t(h) a multiple of 30?
True
Let q = -49 - -56. Suppose -5*p - 10 = 0, -4*k + p + p = -52. Let z = k - q. Does 3 divide z?
False
Suppose -14 = -4*b - 6. Let l be (2 + -3)/((-2)/b). Suppose 14 = i - l. Is 7 a factor of i?
False
Let q be -1 + -7*(-10 + -3). Suppose -4*d - d + q = 0. Is ((-6)/4)/((-1)/d) a multiple of 7?
False
Let c = -846 - -849. Let x be (-1 + 1)/(4/(-2)). Suppose -103 = -2*d + c*q, x = 2*d - 5*q - 0*q - 101. Is d a multiple of 29?
False
Suppose -12*o + 15 = -7*o. Suppose -o*n + 7*n - 412 = 0. Is 15 a factor of n?
False
Let o be 7/4 + 8/32. Does 2 divide (-3 - -5) + (o - 18)/(-2)?
True
Let p(i) = -2*i - 4. Let g be p(-3). Suppose 3*w + 5*c - 415 = -g*w, -103 = -w + 4*c. Let f = w + -10. Does 24 divide f?
False
Suppose -u = w - 3, 0*w + 4*u = -3*w + 9. Suppose -3*s + 37 = -5*o, -w*s + 3*o + 31 = s. Is 2 a factor of s?
True
Let g = 15 + 148. Let x = g + -140. Is x a multiple of 10?
False
Let r(x) = 3*x**3 - 17*x**2 + x - 9. Let z(i) = 4*i**3 - 18*i**2 + i - 8. Let k(d) = 5*r(d) - 4*z(d). Let q be k(-13). Let p = q - -63. Is p a multiple of 8?
False
Let n(q) = -q**2 + 2*q + 6. Let m be (-4)/(16/4)*0. Let c be n(m). Suppose -c*w + 7*w = 99. Is w a multiple of 33?
True
Suppose 3*q = 3*k + 1380, q + 0*q - 5*k = 440. Is 8 a factor of q?
False
Let h(z) = -188*z**3 + 2*z**2 + 2*z - 5. Is 80 a factor of h(-2)?
False
Let f(g) = -38*g - 4. Suppose -4*q = z + 8, -2*q - 5 + 1 = -5*z. Does 18 divide f(q)?
True
Let o be 532/95*(-1 - -6). Let m be (-9696)/o + (-4)/(-14). Is 19 a factor of m/(-18) + (-12)/54?
True
Let b(y) be the third derivative of -7*y**4/24 - 3*y**3/2 - 3*y**2. Let n(d) = -3*d - 4. Let j(k) = -6*b(k) + 13*n(k). Is 7 a factor of j(4)?
True
Suppose 3*y - 5*y = -4*f - 3928, -y - 2*f = -1968. Does 31 divide y?
False
Let z(j) = 10*j**2 + 2*j - 10. Suppose -5*t + 2 = -8. Is 5 a factor of z(t)?
False
Let n(z) = -z**3 - 7*z**2 + 5*z + 5. Let o be n(-8). Suppose -134*s + 15 = -129*s. Suppose -3*v + 11 = -4*l - l, -s*v - 4*l + o = 0. Does 2 divide v?
False
Let z(p) be the second derivative of -p**4/6 + 4*p**3 + 13*p**2/2 - 10*p. Does 2 divide z(12)?
False
Let t(r) be the second derivative of r**3/2 + 11*r. Let i be 16/(-10)*(-20)/8. Is 3 a factor of t(i)?
True
Let s(t) = -t**2 + 14*t - 15. Let i be -3*(2 - 32/(-12)). Let w be i/(-3)*54/21. Does 3 divide s(w)?
True
Suppose -3816 = -50*k + 42*k. Is 10 a factor of k?
False
Let h = 48 + -45. Suppose -4*z + 304 = h*f, f - z + 53 = 145. Is 24 a factor of f?
True
Suppose i = -5*o, 6*o = -3*i + 2*o. Let x be (-4 - -2 - 0) + 9. Suppose i = 5*w + x - 57. Is 5 a factor of w?
True
Suppose -43*p = -110269 - 35243. Is 12 a factor of p?
True
Suppose 2*d - 2 = 0, -3*v + 16*d = 14*d - 2179. Does 24 divide v?
False
Suppose 177 = 3*q - 192. Does 41 divide q?
True
Suppose 768 = -75*i + 9543. Is i a multiple of 71?
False
Let c(u) = 260*u - 229. Is 51 a factor of c(5)?
True
Suppose 0 = -5*y + 15 - 3115. Let r = 892 + y. Is r a multiple of 16?
True
Let i(a) = -2*a**2 - 12*a - 2. Let z be i(-6). Let f(u) = u**2 - 3*u - 3. Let j be f(z). Suppose 3*x + 84 = j*x. Is x a multiple of 11?
False
Let b = 87 + 429. Does 12 divide b?
True
Suppose -4*t + 581 = -655. Suppose 0 = 4*n - 4*h - 648, t = -4*n - 4*h + 989. Does 18 divide n?
False
Suppose 0 = -4*v - 2 + 10. Suppose 0 = -4*j, -v*j - 18 = -3*d - 5*j. Is 2 a factor of d?
True
Let c(w) = w**2 - 7*w + 4. Let s be c(7). Suppose -2*m + s*d + 5 + 15 = 0, -2*m - 3*d = 15. Let n(q) = -q**3 + 12. Is 12 a factor of n(m)?
True
Suppose -4*u + 510 = -5*k, -k + 0*u = -4*u + 118. Let r = -12 - k. Is 11 a factor of r?
False
Suppose -5*f = 2*s - 868 + 127, 2*s = -3*f + 747. Does 11 divide s?
False
Suppose -3*y + 1512 = -3*a, 14*a = 5*y + 13*a - 2520. Does 18 divide y?
True
Let d = -74 + 45. Let h = 32 + d. Let m = 3 + h. Does 6 divide m?
True
Let f(p) = -p**2 + 4*p + 9. Let b be f(5). Suppose -w = 5*j + 16, 2*w = -2*w - 3*j + 4. Suppose -w*a = a, 4*h - b*a = 120. Does 4 divide h?
False
Suppose -a = 2*k - 31, -5*a + 3*k = -16 - 113. Does 3 divide a?
True
Suppose 4*z - 1302 = 1966. Does 33 divide z?
False
Suppose 3*g = 9, 2*c - 24 