/(-2). Suppose -2*g + 21 = d - 17, -l*d = g - 22. Is g a multiple of 7?
False
Let w(l) be the second derivative of l**4/6 - 5*l**3/6 + 5*l**2/2 + 10*l. Let a = -6 - -10. Is 15 a factor of w(a)?
False
Suppose -4*v = -345 - 291. Is 28 a factor of v?
False
Let j(s) be the second derivative of -s**3/6 + s**2/2 + s. Let h be j(-3). Is 3 a factor of 8/6*(h + -1)?
False
Let i(t) = 16*t**2 + 24*t - 26. Let n(p) = -3*p**2 - 5*p + 5. Let o(m) = 2*i(m) + 11*n(m). Let g be o(-6). Does 5 divide 2 + (-1 - 1) + g?
False
Let q be 14/2 + (-3 - -3). Let x(f) = -f**2 + 0*f**2 - 9 + 4*f + 6*f. Does 6 divide x(q)?
True
Let z(v) = v**3 + 16*v**2 + 16*v - 11. Does 30 divide z(-14)?
False
Is 4 a factor of (2/(-5))/(-1)*10?
True
Let k be ((-30)/9)/(2/(-3)). Suppose k - 2 = g. Suppose -2*a = -g*a - 3*y + 27, -a + 2*y + 52 = 0. Is 21 a factor of a?
True
Suppose 0 = 2*k - 28 - 120. Let p = k - 41. Is p a multiple of 11?
True
Let m = 16 + 86. Is 11 a factor of m?
False
Let k(g) = -5*g + 5 - 2*g**3 + 2*g + 3*g**3 + 4*g - 5*g**2. Let y = -3 - -8. Is 10 a factor of k(y)?
True
Let f be (0 + 0)/(2 + 1). Suppose f*y - 52 = -2*y. Is y a multiple of 13?
True
Suppose 0*m = 4*m - 32. Suppose 3*w = m*w - 5. Suppose 2 = -f + 3*b, 3*b = 3*f - 13 + w. Is f even?
False
Let b(w) = 10*w - 22. Is b(5) a multiple of 28?
True
Let d(l) = l**2 - 5*l - 12. Let q(a) = a - 3. Let c be q(12). Is d(c) a multiple of 12?
True
Suppose -3*n - n = -988. Is n a multiple of 13?
True
Let k = 331 - 64. Does 13 divide k?
False
Let i be (-1)/(-2) - 42/(-12). Suppose 9*u - i*u = 65. Let y = -4 + u. Is y a multiple of 4?
False
Let d(t) = -t + 1. Let y(b) = -2*b + 3. Let l(q) = -7*d(q) + 4*y(q). Suppose -2*w + 3*w = 0. Is 5 a factor of l(w)?
True
Let a be (-4)/(-18) - (-86)/18. Let s = a - 6. Does 6 divide (s - 0)*(-2 - 5)?
False
Let v(b) = b**2 + 2*b - 9. Let y be v(-4). Let g(u) = -56*u - 2. Is g(y) a multiple of 27?
True
Let g(u) = -4*u - 19. Does 5 divide g(-15)?
False
Let w(b) = -14. Let h(y) = -y + 15. Let v(x) = 2*h(x) + 3*w(x). Let i be v(-8). Suppose 2*t - 60 = -i*z + 4*t, -2*t = z - 10. Does 14 divide z?
True
Let u(w) = -27*w - 69. Does 10 divide u(-7)?
True
Suppose -n = -1, x + n = -n + 57. Is 16 a factor of x?
False
Suppose -h - 11 = -4*b - 2*h, 0 = -4*b - 2*h + 14. Suppose 16 - 60 = -b*q. Is q a multiple of 11?
True
Suppose 0 = o - 5*o. Let b be (1 - 1)/(-2 + o). Does 12 divide (-1 + b)*(-38 + 1)?
False
Suppose -2*t - 5*d + 3 = t, -d = -5*t + 5. Is 7 a factor of (19/(t/(-1)))/(-1)?
False
Suppose -3*i + 170 = 47. Let j = i - 21. Is 10 a factor of j?
True
Let y = 116 - 71. Is y a multiple of 9?
True
Let k(a) = 2*a**2 + a - 6. Does 26 divide k(8)?
True
Let l(u) = -u - 8. Let y be l(-8). Let d = y + 32. Is d a multiple of 22?
False
Let r(x) = -x + 4. Let w be r(4). Suppose 2*h = -w*h + 26. Does 12 divide h?
False
Is 2492/36 + 2/(-9) a multiple of 25?
False
Let w(t) = -14*t + 24. Let a(f) = -5*f + 8. Let o(b) = -17*a(b) + 6*w(b). Let j be o(-5). Suppose -76 = -j*n - 7. Is n a multiple of 11?
False
Suppose -4*d + 0 - 4 = 0. Is 4 a factor of d/3*0 + 7?
False
Let c(o) be the third derivative of -o**4/2 + o**3/6 - 6*o**2. Is c(-2) a multiple of 18?
False
Is ((-2)/(-4))/((-4)/(-336)) a multiple of 19?
False
Suppose -n = -1 - 2. Let z(q) = -n + 5 - 7*q + 0. Is 6 a factor of z(-2)?
False
Let y(g) = g**3 - g + 17. Let v be (-2)/(-1 + -1) + -1. Is y(v) a multiple of 7?
False
Suppose 4*o + 4*i + 288 = 0, 2*o + 5*i + 283 = -2*o. Let n = -50 - o. Does 9 divide n?
True
Let d(t) = t**2 - 2*t + 1. Let o be d(3). Suppose -4*x + 5*x - 6 = -o*j, -x + 5*j = 3. Does 10 divide 18 + x/(-1) - 2?
False
Suppose -5*x + 31 = -319. Does 35 divide x?
True
Suppose 4*m + 5 - 29 = 0. Suppose -z + m = 2*z. Is z even?
True
Suppose 4*o + 2 = 3*o. Does 14 divide (o/3)/(4/(-222))?
False
Let g(j) = j**2 + 12*j + 18. Is g(-14) a multiple of 9?
False
Let i(w) = -w**2 + 3*w + 4. Let s be i(4). Suppose y - 10 = -m - 0, -y + 3 = s. Is 1 - (-1 + m/(-1)) a multiple of 5?
False
Let l(f) be the second derivative of -f**5/20 - f**4/3 - f**3/2 - f**2 - 4*f. Let o be l(-4). Suppose 0 = k - 43 + o. Does 11 divide k?
True
Let m = -3 - -6. Let h(i) = 2*i**3 - 3*i**2 - 4*i + 2. Is 17 a factor of h(m)?
True
Let z = 0 - -3. Suppose -k + 22 = m, -z*m = m + 20. Is 9 a factor of k?
True
Suppose 2*t + 10 = 3*t. Does 10 divide (-4)/t - (-204)/10?
True
Suppose 4*h + 2 = 22. Suppose -w + 31 = h. Does 13 divide w?
True
Let q be (28/(-42))/(10/9 + -1). Let h(z) = -6*z**2 - 2*z**3 + z**3 + 2 + 4. Is h(q) a multiple of 4?
False
Suppose 2*l - r = 6 - 0, 0 = 3*l + 5*r + 4. Suppose 82 = l*z + 4. Does 13 divide z?
True
Suppose 7*j - 2*j = 0. Suppose 3*h - 2*w = -h + 6, -2*w = -h. Suppose h*u = -j*u + 72. Is u a multiple of 18?
True
Let y = 7 - -2. Suppose -r = y - 51. Is 14 a factor of r?
True
Suppose -2*f - 8 = -3*z, 0 = 2*f - 5*z + 7 + 5. Is f/((-3)/9)*8 a multiple of 12?
True
Let a = -178 - -308. Does 6 divide a?
False
Let f(u) be the third derivative of u**5/30 + u**4/3 + 4*u**3/3 + 3*u**2. Is f(-6) a multiple of 16?
True
Suppose -2 = -j + 2*j. Let t be (-2)/(-3)*(-12)/j. Suppose -t*l + 12 = z - 6, 3*z + 2*l - 24 = 0. Is z a multiple of 5?
False
Is 4 a factor of ((-72)/(-40))/(-9) - (-42)/10?
True
Is (265/(-10))/((-2)/4) a multiple of 22?
False
Let z = -80 + 123. Is 9 a factor of z?
False
Suppose z + 22 = -0*z. Let d be (-392)/(-22) - 4/z. Let o = d + -13. Is 5 a factor of o?
True
Let m be 27/(-4) + (-2)/8. Let k(c) = -6*c. Let d be k(m). Suppose -2*l + 40 = p, -6*l + 5*l + d = -5*p. Is l a multiple of 11?
True
Suppose -30 = -3*j - 2*j. Is j a multiple of 3?
True
Let f(b) = -82*b + 1. Let g be f(3). Let s = 511 + g. Is 11 a factor of (-3)/12 + s/8?
True
Suppose 43 = -d - 0*d. Suppose -3*a - 147 = 5*w, 0*w + a + 89 = -3*w. Let x = w - d. Is x a multiple of 10?
False
Is 6 a factor of (-61 - 2)*5/(15/(-2))?
True
Suppose 0*q = 3*q - 9. Let m(n) = 4*n**2 - n - 4. Is 13 a factor of m(q)?
False
Is 7 a factor of (-2 + (-24)/9)/((-2)/3)?
True
Suppose v - 23 = -3*w + 46, 3*w = 2*v + 78. Suppose 18 = o - w. Is o a multiple of 14?
True
Let y(f) be the first derivative of -f**2/2 + 7*f - 1. Let x be y(3). Suppose t = -2*h + 21, 0 = x*h + 3*t - 21 - 18. Does 12 divide h?
True
Let j(s) = 3*s**3 - 1. Let b be j(1). Suppose -5*i - 2*z + b = -19, 0 = i + 3*z - 12. Suppose -i*n = -4*q - 6, -3*q + 39 = 4*n + 2*q. Does 3 divide n?
True
Let f(c) = -c + 4. Suppose 0 = 5*y + 25, -22 = -2*r - y + 3. Let h = r + -25. Is f(h) a multiple of 7?
True
Suppose 0 = k + 95 - 305. Is k a multiple of 21?
True
Suppose -7*c - 256 = -9*c. Is c a multiple of 13?
False
Let n be 3/2*(7 + -1). Let t be 2/6 - (-24)/n. Suppose 2*q + 20 = g, -t*q = -2*g - 2*q + 46. Is 24 a factor of g?
True
Suppose y = -3*y + 4. Suppose 315 = 4*j - y. Suppose 2*u + 4*p = 52, 3*u = -4*p + j - 5. Is 11 a factor of u?
True
Suppose -3*i + 5*l + 4 + 0 = 0, -l + 16 = 5*i. Suppose -i*p + 267 = -0*p. Let n = -64 + p. Is n a multiple of 10?
False
Let p = 3 + -1. Suppose p*l = 2*s - 28, 2*l - 10 = -s + l. Is (s/(-10))/(9/(-300)) a multiple of 11?
False
Let c = -5 - -10. Suppose 2*w - c*p = -66, -5*w + 5*p = -0*p + 165. Let a = -17 - w. Does 12 divide a?
False
Suppose -7*r + 479 = 122. Is r a multiple of 8?
False
Let f be (-1)/((-1)/(-2)*1). Let u = -55 - -51. Is 10 a factor of (u/(-8))/(f/(-40))?
True
Let l(q) = q**3 - 9*q**2 - 11*q - 19. Is l(11) a multiple of 5?
False
Let v be ((-264)/(-30))/(2/(-10)). Let l = -37 + 13. Let p = l - v. Does 10 divide p?
True
Suppose 31*y - 24*y - 644 = 0. Is 4 a factor of y?
True
Let q(z) = -z**3 + 7*z**2 + 13*z - 20. Is 6 a factor of q(8)?
False
Let f(j) = -6*j + 12. Let a(i) = -2*i + 4. Let d(o) = -10*a(o) + 3*f(o). Let q be d(4). Suppose -q*s - 58 = -y, 4*y = 2*s + 56 + 148. Is y a multiple of 20?
False
Let h(j) = j**2 + 7*j - 2. Let r be h(-8). Let p = r + 41. Let f = p - 33. Is f a multiple of 14?
True
Suppose 537 = 4*j + 65. Does 16 divide j?
False
Let f(o) = 2*o - 9. Let u be f(6). Suppose 0 = 2*s + 3*q - 38, 4*s - u*q - 56 - 56 = 0. Does 8 divide s?
False
Let l(t) = 27*t**2 - 2*t + 1. Let v(q) = -q + 1. Let z be v(0). Let u be l(z). Suppose -2*w + u = 4. Does 11 divide w?
True
Suppose 2*m - 5*m = -2*d - 88, -40 = -m - 2*d. Is m a multiple of 8?
True
Suppose s = -5*r + 131, -r + 47 = r - 5*s. Is