)/(i/16)?
True
Let z(i) = -4*i**3 + 2*i**2 - 2*i - 6. Is z(-2) a multiple of 15?
False
Let n(l) = -l**3 - 3*l**2 + 2*l - 4. Let m be n(-4). Is 272/9 - m/18 a multiple of 15?
True
Let u(x) = -11*x + 13. Is u(-3) a multiple of 10?
False
Let n(k) = -k**2 + 2*k - 7. Let z be n(4). Does 17 divide (-40)/6*z/2?
False
Let v(i) = -5*i - 10. Is v(-9) a multiple of 35?
True
Let r = 121 - 80. Let u = r - 28. Does 11 divide u?
False
Suppose -3*s - s - c + 93 = 0, 0 = 4*s + 2*c - 94. Does 23 divide s?
True
Suppose c + 0*c - 5 = 0. Suppose 3*k - 5*n + 2*n = 207, 4*k - c*n = 280. Does 13 divide k?
True
Let d(k) be the third derivative of 1/60*k**5 + 0 + 0*k + 2*k**2 + 5/6*k**3 - 1/12*k**4. Is d(6) a multiple of 14?
False
Let g(f) = -3*f**3 + f - 4. Is 14 a factor of g(-3)?
False
Let z be (-2)/(-7) - (-2164)/(-28). Let u = -41 - z. Suppose 0*c = 4*c - u. Does 6 divide c?
False
Let s(r) = -r**3 + 14*r**2 - 15*r - 5. Does 18 divide s(12)?
False
Let h(s) = -s**3 - 3*s**2 - 2*s + 2. Let b be h(-2). Let v be 1/((-15)/9 + b). Suppose -v*r + 18 = -18. Is r a multiple of 6?
True
Let u(k) be the third derivative of 0*k**4 - 2*k**2 + k**4 + 6*k**2 - k**2. Is 12 a factor of u(1)?
True
Let n = -15 + 24. Is 5 a factor of (n/(-6) - -2)*26?
False
Is 6 a factor of 14/(-3)*27/(-9)?
False
Suppose -1 = 5*q + 4. Let g be (-4)/(-1)*-2 - q. Let r = -5 - g. Is r a multiple of 2?
True
Does 4 divide (5 + 12)/((-1)/(-5))?
False
Let a = 34 - 18. Is a a multiple of 9?
False
Suppose 0 = 3*g - 4*c - 47, -5*g + 32 = -5*c - 53. Does 10 divide g?
False
Suppose -8 = -4*t + 3*d + 5, -t = -d - 3. Suppose 2*x - 292 = -t*i - 2*x, 4*x - 360 = -5*i. Is 24 a factor of i?
False
Let c(o) = -3*o**2 - o. Let z be c(-1). Does 4 divide -3 - z - -3 - -11?
False
Let q be 2/(-7) - (-1434)/21. Suppose -q = c - 5*c. Is 17 a factor of c?
True
Suppose i + 5*w - 156 = 0, 3*w - 1441 + 595 = -5*i. Is 57 a factor of i?
True
Suppose -2*y = -2*w + 8, 2*w = 5*w + y - 24. Suppose -w*z + 5*z = -32. Is 10 a factor of z?
False
Let u(w) = 2*w**2 + 0 + 0 + 2. Is u(2) a multiple of 5?
True
Suppose 5 - 32 = -3*i. Suppose 6*h + q - 45 = 3*h, 0 = 3*q + i. Does 8 divide h?
True
Suppose -5*w + 3*u + 0 + 14 = 0, -4*w - 5*u + 26 = 0. Suppose w*h + 15 = h, b = 2*h + 49. Is 9 a factor of b?
False
Suppose 4*p - 97 - 119 = 0. Does 11 divide p?
False
Suppose -3*c = -4*s + 106 + 162, 0 = 4*c - 16. Suppose -54 = -4*i + 2*i + 4*d, 3*d - s = -5*i. Let r = 25 - i. Is 8 a factor of r?
True
Suppose 158 + 449 = 3*b - n, 15 = 3*n. Suppose -b = -0*i - 4*i. Does 23 divide i?
False
Let p be 0 - (1 + -3) - -2. Suppose 0 = 5*s + f + 2, 2*f + p = 5*s - 0*s. Is 8 a factor of -2*(s - (-23)/(-2))?
False
Let n(r) = -r**2 + 28*r + 24. Does 35 divide n(25)?
False
Suppose -2*h - 28 = u - 3*h, 2*u = -4*h - 32. Let g = -38 - u. Let a = g - -26. Does 6 divide a?
True
Is 6 a factor of (-10)/35 + 86/7?
True
Suppose -2*p - 2*b + 18 = -42, -4*b + 64 = 2*p. Is p a multiple of 7?
True
Let l = 0 + 4. Suppose -l*j + 172 = -3*z, 129 = 3*j + z - 2*z. Does 19 divide j?
False
Is 11 a factor of (-8 - -4)/((-6)/93)?
False
Let z(l) = -41*l - 20. Is z(-4) a multiple of 20?
False
Let l = 15 + 12. Does 8 divide l?
False
Suppose 0 = q - 5*q + 8. Suppose -q*c + 6*c = 0. Suppose 5*z - 2*f - 121 = c, -6*f = -z - 3*f + 19. Is z a multiple of 11?
False
Let g = 0 - -3. Let d = g + 0. Does 3 divide d?
True
Suppose 5*i - 365 = l, -4*i = 2*l - 101 - 205. Let p = 108 - i. Suppose 5*r = 61 + p. Is 10 a factor of r?
False
Suppose -f = -3*x + 57, 2*x + 5*f - 1 - 54 = 0. Suppose 5*s = 3*g + 2*g + x, s = -2*g - 8. Is 13 a factor of (-1)/g + 695/20?
False
Suppose -l + 0*l = 7. Let w = 16 + l. Is 9 a factor of w?
True
Let q = 43 + -26. Let r be 0*(-3)/6 + q. Suppose -4*t + 85 = 5*s - 9*t, -s = -4*t - r. Does 7 divide s?
False
Suppose 8*y = 9*y - 82. Does 30 divide y?
False
Let b(i) = -2*i - 7. Let r be b(-5). Suppose -7*f - 28 = -r*f. Let c = 0 - f. Is c a multiple of 6?
False
Let k be 4/(-12) + 1/3. Let s be 52*((-6)/4 - -2). Suppose 4*c - 3*c - s = k. Is 12 a factor of c?
False
Suppose 0*w + 4*o = -w + 16, -62 = -5*w - 2*o. Let a(n) = -22*n. Let c be a(2). Does 27 divide (-1)/(w/21)*c?
False
Is (-3 + 27/6)/(2/32) a multiple of 3?
True
Suppose i - 5 = -1. Suppose 0*b = -i*b + 60. Is b a multiple of 11?
False
Suppose -5*w + 373 = -5*v - 142, 2*w - 241 = -5*v. Is w a multiple of 27?
True
Let d = 55 - 26. Is d a multiple of 2?
False
Suppose -7*t + 25 = -2*t. Suppose -180 = -t*m + 4*m. Suppose -z + 3*n = -18, -2*n + m = 5*z + n. Does 11 divide z?
True
Let u be ((-49)/(-21))/((-1)/36). Let s = u + 138. Is s a multiple of 18?
True
Let l(r) = 3*r - 6. Let u be l(6). Suppose 0 = -5*o + 8*o. Let s = u - o. Does 12 divide s?
True
Suppose -4*p - 31 = -4*l + l, 0 = -l + 4*p + 13. Is 9 a factor of (-7 - l)/((-1)/2)?
False
Suppose 0*p + 5*w - 283 = -2*p, p = -w + 143. Does 24 divide p?
True
Suppose 0 = -2*f + f + 168. Is 14 a factor of f?
True
Suppose 3*o - 8*o = -4*f - 16, 0 = 3*o - f - 4. Suppose -2*x + 144 = -o*w + 4*w, -x - 156 = -4*w. Is 12 a factor of w?
False
Suppose -2*c = 2*h - 8, -c + 2*h + 1 = -0*h. Let u be 45/c + (-1 - 1). Let x = 21 + u. Does 17 divide x?
True
Is (-6)/(-18) + (-682)/(-6) a multiple of 19?
True
Let w = 10 - -6. Suppose 0 = 4*y + 5*g + w - 89, -2*y + 5*g = -29. Does 9 divide y?
False
Suppose -5*j = 5*i - 290, 2*j = 3*i - 37 - 132. Is 10 a factor of i?
False
Let r(b) = -b + 1. Let y be r(1). Suppose -2*x + 4*i = -76, -5*x - 5*i + 145 = -y*x. Is 12 a factor of x?
False
Let i(b) = -3*b + 1. Let s be i(-5). Let r = s - -7. Is r a multiple of 17?
False
Let n = 93 + -21. Is n a multiple of 6?
True
Is 3/5 + 2920/50 a multiple of 17?
False
Let r = 92 + -35. Is 19 a factor of r?
True
Let x = -78 - -115. Let g = x + -19. Is g a multiple of 9?
True
Let p = -4 + 6. Suppose -2*o + 0*l + 6 = p*l, 0 = 5*o - 2*l + 13. Is (1 - (-2)/o) + 24 a multiple of 7?
False
Let j(q) = 3*q + 48. Is 4 a factor of j(-8)?
True
Let x = 15 + 21. Suppose -6*m + 3*m = -x. Does 6 divide m?
True
Let a = 11 + -5. Suppose 2*u - a = -0*u. Suppose 3*v + u*z - 27 = 0, -3*v + 2*z - 48 = -8*v. Is 6 a factor of v?
False
Let k = -5 + 7. Is k/3*51/2 a multiple of 10?
False
Let a(o) = -9*o. Is a(-8) a multiple of 12?
True
Suppose -5*y + y = -36. Suppose y*d = 7*d + 128. Does 32 divide d?
True
Let o = 5 - -55. Does 9 divide o?
False
Suppose 4*s = 5*r + 34 + 39, -3*r - 51 = -3*s. Does 3 divide s?
True
Let w(f) = f**3 - 4*f**2 - 4*f - 7. Let d be w(6). Is 19 a factor of -2 + (-2 - -1) + d?
True
Suppose 0 = 3*j - 5*j - 4. Let v = 24 - j. Is v a multiple of 13?
True
Let w(f) = -f**2 + f + 34. Let k be w(0). Suppose -6 = -g + k. Does 18 divide g?
False
Suppose 5*o + 2*l + 2*l - 2 = 0, 4*o + l = 6. Let h be 1*1/(o/(-12)). Is (5 - h) + 2/(-1) a multiple of 5?
False
Suppose z + 1 = 8. Suppose -2 - z = -g. Is 3 a factor of g?
True
Let n be 8*2*6/12. Does 26 divide ((-1204)/n)/(-7)*2?
False
Let u = -9 + 52. Is 11 a factor of u?
False
Suppose 0 = 2*t - 219 + 21. Is 33 a factor of t?
True
Let f(y) = y**3 + 9*y**2 - 12*y - 1. Does 5 divide f(-10)?
False
Let s = 534 + -288. Suppose -26 + s = 5*n. Is 13 a factor of n?
False
Suppose -2 = -2*d + 2. Suppose 0 = -d*x - 5*p + 28, 5*x = 4*p - 9*p + 40. Suppose -29 - 7 = -x*j. Is 8 a factor of j?
False
Let a(r) = 18*r**2 + r. Does 11 divide a(3)?
True
Suppose 10*l - 14*l = -40. Does 4 divide l?
False
Let y = 84 - 43. Let p = y - 10. Is p a multiple of 10?
False
Let f(s) be the first derivative of -s**4/4 - 7*s**3/3 - 4*s**2 + 2*s + 2. Is f(-6) a multiple of 14?
True
Let h = 11 - 8. Is 11 a factor of 31 - ((4 - h) + -3)?
True
Let h(d) = 4 - 1 + 0 + 2*d + 5. Is 12 a factor of h(14)?
True
Suppose 0 = -8*m - 0*m + 840. Is m a multiple of 6?
False
Is (51/(-9))/((-3)/18) a multiple of 17?
True
Suppose 3*k = -0 + 15. Suppose -k*b + 90 = 30. Does 4 divide b?
True
Let r(f) = -f**2 + 3*f - 2. Let o be r(2). Suppose l + 3*l - 76 = o. Suppose 5*x = l + 11. Is 6 a factor of x?
True
Suppose 5*g + 9 = -2*y + 48, 0 = -2*g + 5*y + 4. Let c = g - -16. Does 8 divide c?
False
Let l = 17 + -10. Let i be 7/(147/6)*l. Suppose -2*v = -8, 11 + 28 = h + i*v. Is 10 a factor of h?
False
Let s = -25 - -28. Does 14 divide ((-3)/6)/(s/(-84))?
True
Let q(d) = 5*d**3 + 2*d**2 - 4*d - 7. Let l = -8 - -3. Let b(j) = -6*j**3 - 3*j**2 