- 134*l**3 - 3 - 3 - l**2. Let d be i(-1). Suppose 0 = -2*k + 5*k - d. Is 15 a factor of k?
True
Let b(m) = -m**2 + 5*m - 1. Let f be 0 + 1 - (-9)/3. Let u be b(f). Suppose 2*o = -u*o + 80. Is o a multiple of 8?
True
Let s be ((-30)/(-9) + -2)*3. Suppose -s*i + 0*i = -84. Does 8 divide i?
False
Let z(r) = r**3 + 5*r**2 + 5*r + 4. Suppose -4*i - 5 = 7. Is z(i) a multiple of 7?
True
Let j = -17 + 34. Does 4 divide j?
False
Let k(p) = -6*p**3 - p**2 + p - 1. Let y be k(1). Let h be 5/y - (-2)/(-7). Does 3 divide (1 - 0 - h) + 1?
True
Let m = 106 - 45. Is m a multiple of 37?
False
Suppose -3 = -c - 0*c. Let y(i) = i**2 - 6*i - 1. Let b(p) = p. Let o(k) = b(k) - y(k). Does 6 divide o(c)?
False
Let z = -7 + 10. Suppose -z*d = -8*d + 30. Is d a multiple of 5?
False
Suppose 0 = -4*x + 5 + 3. Suppose 3 = -5*c + 8, -18 = -2*a - x*c. Does 5 divide a?
False
Suppose 3*n + 435 = 5*h, h + 2*n - 54 = 20. Is 21 a factor of h?
True
Let d(t) = -13*t + 3. Let a = 15 + -11. Let y be (6*2/a)/(-1). Does 15 divide d(y)?
False
Suppose -56*s + 53*s + 456 = 0. Is 8 a factor of s?
True
Let f(y) = y**3 + 4*y**2 + 3*y. Let z be f(-2). Does 4 divide (-93)/(-6) - (-1)/z?
True
Let p(w) = -5*w + 6. Is p(-6) a multiple of 18?
True
Suppose 0 = -5*w + b + 3*b + 626, 5*w + b - 606 = 0. Let h = -78 + w. Does 15 divide h?
False
Let a = -17 - -12. Is 18 a factor of 54*(-1)/a*5?
True
Let x(c) = -6 + 0 + 6 + 3 - c**2 - c. Let f = 1 - 1. Is x(f) a multiple of 2?
False
Let r = -5 + 11. Is r a multiple of 4?
False
Suppose -4*o = -o - 6. Suppose -5*g - o = 4*z - 1, -7 = -2*z - 5*g. Let q = z + 15. Does 4 divide q?
False
Let y(o) be the second derivative of o**3/6 + 9*o**2/2 + 2*o. Let f be y(-7). Does 14 divide f/2 + (-52)/(-4)?
True
Let j(q) = -q + 1. Let k(n) = 8*n + 4. Suppose -a = -4*a + 9. Let c(t) = a*j(t) - k(t). Is c(-1) a multiple of 10?
True
Let k(s) = s**3 + 8*s**2 - 2*s. Let h = 20 + -28. Is k(h) a multiple of 7?
False
Suppose 5*b + 58 = 3*b. Let r = -7 - b. Is r a multiple of 12?
False
Let o be (-4 - -3)*(4 - 3). Let w(y) = -11*y**3 + y**2 + y. Is w(o) a multiple of 8?
False
Suppose -34 = -3*j + 26. Does 4 divide 42/10 + (-4)/j?
True
Let v(j) = 5*j**2 - j - 5. Does 2 divide v(-2)?
False
Suppose -4*x = -1 - 11. Let u = x + 1. Does 4 divide u?
True
Let w = -18 + 11. Let f = w + 11. Is 2 a factor of f?
True
Let f = 15 + -11. Let y = -3 - f. Let t(a) = -a**3 - 6*a**2 + 4*a - 6. Is t(y) a multiple of 5?
True
Let r be -12 + 1 + -2 + -1. Let h be (-2)/7 - 368/r. Suppose -4*i + 18 + h = 0. Does 4 divide i?
False
Suppose -13*s = -10*s - 306. Is s a multiple of 16?
False
Let y(a) = a**3 - a**2 + 1. Let t be y(-1). Let i be (-1)/(((-2)/(-64))/t). Let p = i - 22. Does 6 divide p?
False
Is 14 a factor of 1/((-10)/(-925))*(-2)/(-5)?
False
Suppose 0 = -q + 5*u + 35, 0*u = 5*q + 3*u - 35. Let l = -3 + q. Suppose -2*d - 55 = -l*d. Does 11 divide d?
True
Is (-3 - (12/(-9) - 1))*-144 a multiple of 17?
False
Suppose 6*h - 320 = 2*h. Let y be 114/22 - 6/33. Suppose -3*p - 122 = -y*q, -q = 3*q + 2*p - h. Is 22 a factor of q?
True
Suppose -5*h = -4*m + 29, -h = -m - m + 13. Let i(x) = x**2 - 2*x - 2. Let n be i(m). Suppose -n - 65 = -3*z. Is z a multiple of 23?
False
Does 10 divide 30*(3 - (-32)/(-12))?
True
Let s = 98 + -68. Suppose 2*f - s = 2*k, 0 = -4*k - 0*k + 5*f - 61. Does 8 divide (36/k)/(3/(-28))?
True
Let i(j) = -2*j**3 + 17*j**2 - 5*j + 8. Is i(8) a multiple of 16?
True
Suppose -5*h + 14*h = 396. Does 9 divide h?
False
Let g = -1 + 1. Suppose 6*z = -r + 2*z + 34, -2*z + 4 = g. Is r a multiple of 17?
False
Is 16 a factor of 6/15 + (-476)/(-10)?
True
Let c(x) = x**2 - 5*x + 2. Suppose 0 = h + h - 8. Let i be c(h). Let k = 1 - i. Is k a multiple of 3?
True
Suppose -118 = -4*f + 18. Is f a multiple of 34?
True
Let m be (-2)/(4/6*-3). Let g = m - -25. Is g a multiple of 13?
True
Let d = -8 - 3. Let o be (-5)/10 + d/(-2). Suppose o*t = -2*j - 2*j + 34, 0 = -3*j - 5*t + 28. Is 3 a factor of j?
True
Suppose 2*q - 6 + 2 = 0. Suppose 0*n - q = n. Does 16 divide n - (2 + -32) - 2?
False
Suppose 0 = 5*v - 3*x - 30 - 166, -2*x = -v + 35. Let i = 59 - v. Is 9 a factor of i?
True
Let u(t) = -t**2 + 15*t + 16. Is u(12) a multiple of 13?
True
Let s(t) = t**3 + 8*t**2 + 1. Let v be s(-8). Let y = 98 + v. Let w = -66 + y. Is 11 a factor of w?
True
Let f be (-3)/(-1)*2/3. Suppose 9 = -f*r + 3*r. Is r a multiple of 2?
False
Suppose -2*g + 16 = -g. Let q = 22 - g. Is 5 a factor of q?
False
Let z(r) = r**3 + 10*r**2 + 4*r + 13. Suppose 5*h = 9*h + 36. Is z(h) a multiple of 25?
False
Let m be 168/18 - 4/(-6). Let p = 15 - m. Suppose 0*b + 236 = 5*i + 3*b, -5*i + 220 = -p*b. Is 17 a factor of i?
False
Let n = 4 - 2. Let s be ((-30)/2)/(2 + -3). Suppose -n*x - x + s = 0. Does 2 divide x?
False
Let z(c) = -c**2 - 2*c + 3. Let h be z(2). Let a(w) = w**3 + 5*w**2 - w - 3. Let s be a(h). Suppose j = s*j - 21. Is 7 a factor of j?
True
Let o = -16 - -28. Suppose -5*k - 7 = 4*p, 4*p - 3*k - 17 = -0*k. Suppose -o = -p*t + 4. Is 8 a factor of t?
True
Suppose -68 = -k - 3*k. Does 17 divide k?
True
Suppose -j = 4, 6*j - j + 14 = -2*a. Suppose 2*w = -3*k - 0*k, -a*w = -k - 11. Does 9 divide ((-66)/(-9))/(1/w)?
False
Suppose 0*a + 2*a = 14. Suppose 1 = -3*f + a. Let z = 6 - f. Is 3 a factor of z?
False
Let j(p) = p**3 - 8*p**2 + 7*p + 2. Let a be j(7). Let h be 0 - 1*(-7 + a). Suppose 4*x = -5*y - 0*y + 202, -4*y = -h*x + 232. Does 17 divide x?
False
Let g = 73 - 19. Suppose -j + g = 2*j. Is j a multiple of 13?
False
Let r = 2 - 1. Let j be -10*r*5/(-10). Suppose j*b = 13 + 52. Does 6 divide b?
False
Let o be -2 - 1 - (-5)/(-1). Let l = 16 + o. Suppose p - l = 10. Does 6 divide p?
True
Let x be (-40)/(-2) + 2 + -3. Let q = 33 - x. Is 14 a factor of q?
True
Let v be 1*1/2*4. Suppose v*p = -p + 237. Is p a multiple of 19?
False
Let p(j) be the second derivative of j**7/2520 + j**6/720 + 19*j**5/60 + j**4/6 + 3*j. Let c(d) be the third derivative of p(d). Is 19 a factor of c(0)?
True
Suppose 3*p - j - 101 = j, 4*p = -2*j + 116. Does 7 divide p?
False
Suppose 2*n + 3*n = 255. Is 17 a factor of n?
True
Let w = 5 + -3. Suppose -w*d = -4*k + 16, 0*d = -4*k - d + 10. Suppose -k*a - 20 = -89. Is 22 a factor of a?
False
Suppose 22 = 5*v + 2. Suppose 4*c - 4 = v. Suppose -c*m = 2*m - 16. Does 3 divide m?
False
Is (1 - -5)/(-3) + 26 a multiple of 12?
True
Let k be (-3)/2*4/2. Let b = -4 - k. Let d(u) = -51*u - 1. Is d(b) a multiple of 14?
False
Let r = -6 - -20. Is (3 + -2)/(2/r) even?
False
Suppose 15 = -2*j + 3*d, -2*j = 2*j + 3*d - 15. Let c(t) = t**2 + t + 2. Let i be c(j). Suppose v + g = 5 + 6, -i*g = -2*v + 26. Does 6 divide v?
True
Let i = 1 - -3. Let r(a) = -a**3 + 6*a**2 - 2*a + 1. Let w be r(4). Suppose 45 = i*c + 5*b, -5*b = -5*c + w + 20. Does 10 divide c?
True
Let s(c) = c**2 + 3*c + 3. Let o be s(-2). Let r(x) = -x**3 - 11*x**2 + 13*x + 20. Let a be r(-12). Let y = o + a. Is y a multiple of 9?
True
Let c be 9/(-2) + 2/4. Let u = c - -4. Suppose -4*l + 0*l = -2*o + 52, -3*o - l + 113 = u. Does 18 divide o?
True
Suppose 3*y - 5*f = 15, 0*f - 3*f = 9. Let w(v) = 3*v - 7. Let s(q) = -16*q + 35. Let d(j) = -2*s(j) - 11*w(j). Is d(y) a multiple of 3?
False
Suppose 4*g - 182 = -f, -3*g - 5*f + 100 = -g. Does 31 divide g?
False
Suppose -5*j = 32 + 148. Let i be (4/3)/((-3)/j). Suppose -a = -i + 3. Does 8 divide a?
False
Let s(q) = q**2 - 4*q + 7. Let u be 20/2*(-3)/(-6). Is s(u) a multiple of 6?
True
Is 6 a factor of (-9)/(-6) - 90/(-4)?
True
Let d be -4 + (-1 - -2) - -24. Suppose -1 = -5*v - d. Does 17 divide ((-136)/(-10))/(v/(-10))?
True
Let w(s) = 4*s**2 - 11*s - 8. Does 23 divide w(7)?
False
Suppose 0 = -o - 0*o + 36. Let k = -21 + o. Does 7 divide k?
False
Let k = -6 - -4. Let u(j) be the third derivative of -j**4/8 + 5*j**2. Is 4 a factor of u(k)?
False
Suppose f - 24 = -3*f. Let z(t) = -f - t - t + 5*t. Is 6 a factor of z(6)?
True
Let z be 3 - (-2 - -2) - -26. Let f = 5 + z. Is f a multiple of 18?
False
Let y = 43 - 24. Is y a multiple of 3?
False
Suppose 9*b + 0*b = 1242. Is b a multiple of 24?
False
Suppose 9 = -2*x + 97. Let l = x + -17. Is l a multiple of 6?
False
Let o be 1/3 + (-25)/(-15). Is 21 a factor of o + (21 - (-2)/(-1))?
True
Let y = -1 + 2. Is 10 a factor of y/(1/29) - 1?
False
Let j = -132 + 204. Let z 