y) = -y**3 + 5*y**2 - 2*y + 2. Let p = 2 + 2. Is d(p) a multiple of 4?
False
Let n be (-3)/5 + 24/15. Suppose 0 = -o + n - 5. Let c = o + 7. Is c a multiple of 3?
True
Suppose -2*q + 72 = -4*h, -2*q - 2*h + 48 = -0*q. Does 11 divide q?
False
Suppose -11*x + 15*x = 312. Does 34 divide x?
False
Suppose 5*g - 5*v - 505 = 0, 4*v - 305 = -5*g + 182. Is 33 a factor of g?
True
Suppose -b + 0*b = -2. Suppose 0 = -b*s + 2*t + 52, -s + 2*s = 2*t + 28. Does 21 divide s?
False
Suppose r - 34 = -b, 6*r - 3*r = -b + 30. Suppose -4*x - 16 = -l - 6, -2*l + b = -4*x. Is l a multiple of 13?
True
Suppose -5 = -3*h + 61. Is 22 a factor of h?
True
Suppose 9 + 26 = 5*n. Suppose n*q - 4*q = 51. Does 11 divide q?
False
Suppose 2*d + 3*z - 34 - 18 = 0, 0 = 3*d - 2*z - 78. Suppose t = -t + d. Is t a multiple of 5?
False
Suppose -1 = r - 7. Let o be (8 + -2)*4/r. Suppose o*v - 4*m - 32 = 0, -4*v - 2*m = 3*m - 32. Is 6 a factor of v?
False
Let c = 11 + -2. Let w(x) be the third derivative of -x**6/120 + 2*x**5/15 + x**4/2 - 13*x**3/6 + x**2. Does 5 divide w(c)?
False
Suppose 102 = r + r. Does 24 divide r?
False
Suppose -4*q + 3*q + 4 = 0. Suppose q*j = 111 + 145. Suppose -2*k + 4*t = -44, 3*k - 5*t - j = -0*k. Is 10 a factor of k?
False
Let h(k) = k**2 + 2*k + 2. Let n(q) = -q**2 - 4*q + 2. Let x be n(-5). Let c be h(x). Let a = 18 - c. Is 11 a factor of a?
False
Suppose -5*u + 9 = -2*o, -u + 3*o = u - 8. Let y be 3/2 + (-8)/16. Does 14 divide (u - 0) + y - -12?
True
Let s(v) = -v**3 + 5*v**2 - 4*v + 4. Let t(j) = j**3 + 4*j**2 - 4*j + 2. Let x be t(-4). Suppose 0 = 4*w + 6 - x. Does 5 divide s(w)?
True
Let j(c) = -c**2 - 4*c + 5. Let b be j(-6). Let y = b - -85. Let a = y - 39. Does 22 divide a?
False
Suppose -804 = -3*p - 3*d, -4*d = -3*d + 2. Does 27 divide p?
True
Let b = 133 - 84. Does 6 divide b?
False
Let y(l) = -l**2 + 10*l - 7. Let u be y(9). Suppose -2*o + 56 = u*o. Is 4 a factor of o?
False
Does 9 divide 40/(-60)*93/(-2)?
False
Suppose 0 = -3*o + 15, -299 + 114 = -3*j - o. Does 12 divide j?
True
Suppose -7*m + 2*m = 3*l - 99, 5*m = 4*l - 132. Is 11 a factor of l?
True
Suppose 2*q - 3 - 5 = 0. Suppose -6 = -q*l + 10. Is 134/l + 9/6 a multiple of 13?
False
Suppose -4*z - 13 = -5*a, -5*a - z - 2*z + 34 = 0. Suppose u = a*u + 8. Let i(r) = -16*r + 2. Does 17 divide i(u)?
True
Let k(y) = -y**3 + 4*y**2 + 5*y. Let s be k(5). Suppose s = v - 4*v + i + 98, 0 = -3*v - 3*i + 114. Is v a multiple of 24?
False
Suppose -4*a + 14 = -14. Suppose 5*h - 43 - a = 0. Is h a multiple of 7?
False
Suppose 0 = -2*o - o + 30. Suppose 3*w = o + 14. Is 8 a factor of w?
True
Let t be (0 + -1)*(-36 - -1). Let j = t - -5. Is 20 a factor of j?
True
Let f = -20 - -10. Is 17 a factor of (817/(-95))/(2/f)?
False
Let q = -35 - -7. Let b = q - -54. Is b a multiple of 13?
True
Let j = -3 - -5. Let g be (8/6)/((-3)/(-63)). Suppose g = 3*d - j. Does 10 divide d?
True
Suppose -3*d = -0*d - 57. Let u = d + 1. Does 10 divide u?
True
Let z be (16/(-12))/((-2)/9). Let w = z + -8. Is 3 a factor of 26/10 - w/5?
True
Suppose -2*x = -2*w + 110 + 2, -5*x + 112 = 2*w. Is w a multiple of 28?
True
Let u = 68 - 2. Is u a multiple of 11?
True
Let c(k) = k**3 - 2*k**2 + 4*k - 2. Let n be c(2). Does 18 divide 214/6 + 2/n?
True
Suppose 3*w - 12 = -0*w. Does 11 divide ((-44)/1)/w*-3?
True
Let r = 0 - 1. Let f be -1 + (3 - (-1 + -49)). Let g = f + r. Is g a multiple of 17?
True
Let k be (-4)/(-10) + (-648)/(-30). Let o be (0 - -1)*k/(-1). Let j = -14 - o. Is 8 a factor of j?
True
Suppose t = 2*m - 13, m + 4*t + 36 = 5*m. Suppose 0 = 4*x - d - 89, -2*d = m*x - 0*d - 98. Is x a multiple of 6?
False
Suppose -2*x + x = -2. Suppose -2*v - 11 = -3, -x*h + 3*v + 56 = 0. Does 13 divide h?
False
Suppose -5*i - 881 = -10*i + 3*p, -523 = -3*i - p. Is i a multiple of 35?
True
Let s = -43 - -109. Suppose -k = k - s. Does 11 divide k?
True
Does 4 divide ((-5)/15 + -4)*-3?
False
Let i(r) be the third derivative of -5*r**4/24 - 4*r**2. Is 5 a factor of i(-4)?
True
Let s = -1 + 4. Suppose 4*k + 0*k - 25 = -y, -5*k = s*y - 33. Is 3 a factor of k?
True
Let r(t) = -t**3 - t**2 + 5*t - 1. Suppose 3*b - 25 = l + 3*l, -2*b = -l - 10. Does 27 divide r(l)?
True
Let n = -21 - -54. Is n a multiple of 16?
False
Suppose -4*n + 216 = -88. Is 10 a factor of n?
False
Let g(i) = -i + 2. Let d be g(5). Let m(n) = n**3 + 2*n**2 - 5*n - 4. Let h be m(d). Does 5 divide 12 - 1/(h - 1)?
False
Suppose -5*q - 69 = -309. Suppose -2*p + q = 2*s, 0 = 4*s - 5*p - 96 + 18. Is 11 a factor of s?
True
Suppose 2*r + 94 = 4*z, -4*r + 67 = 3*z - 2*r. Suppose z = -3*h + 155. Suppose 5*v - h = v. Is 4 a factor of v?
False
Let a be (3/(-6))/(1/(-6)). Suppose a*y - 5*f = 0, 3*y = -0*f + 2*f. Suppose 0 = -3*o + 2*n + 131, y = -4*n - 6 + 2. Is o a multiple of 15?
False
Suppose -k + 1 = -2. Suppose -60 = p - k*p. Is 16 a factor of p?
False
Suppose -5*h = 5*n - 260, 2*n - 280 = -3*n - h. Does 10 divide n?
False
Does 2 divide 1/((-14)/(-4)) + (-40)/(-7)?
True
Suppose -2*c - 4*n - 78 = 0, c + 2*c + n + 102 = 0. Let q = 60 + c. Does 9 divide q?
True
Suppose 0 = n - 5, -4*b + 7*b = 2*n + 80. Is 6 a factor of b?
True
Suppose 2*f + 3*f - 150 = 0. Is 15 a factor of f?
True
Suppose -50 = -4*v + 2*d, d = -0*v - v + 20. Suppose -2*q - v = -5*q. Suppose -3*i - 5*b + 39 = 0, i + 1 = -q*b + 4. Is 9 a factor of i?
True
Let g = 19 + -16. Suppose 3*w + w - 7 = -5*m, -2*w + 9 = -3*m. Let f = w + g. Is 3 a factor of f?
True
Let d(p) = p**2 - 2*p + 6. Does 15 divide d(-4)?
True
Let p be (-16)/4*(-1)/2. Does 15 divide 60/(-16)*(-2 - p)?
True
Let q(a) = -a**2 + 11*a - 13. Suppose 4*n - 35 = -3*v, -2*v + n + 25 = v. Let f be q(v). Suppose -54 = 2*w - f*w. Does 9 divide w?
True
Suppose 141 = -8*a + 653. Does 4 divide a?
True
Let g(j) = j**2 + 24. Let q be 2/5 + 6/(-15). Let b be g(q). Suppose 0 = -3*c - 4*a + 26, 0*c + a = -2*c + b. Does 7 divide c?
True
Is 3 a factor of ((-13)/(-26))/(1/60)?
True
Let i = 4 - 0. Suppose i*d - 69 = 27. Does 7 divide d?
False
Let b = 5 - -43. Suppose -b = -3*z + z. Is 12 a factor of z?
True
Suppose -21 + 3 = -t. Does 9 divide t?
True
Let r = 57 + -5. Does 13 divide r?
True
Suppose z - 2 + 6 = 0. Let t be ((-49)/2)/(z/8). Suppose -5*s = -t - 66. Is 8 a factor of s?
False
Let h = -3 - -6. Suppose h - 7 = -s. Is s a multiple of 4?
True
Is 9 a factor of (-1)/(-5) + (-716)/(-20)?
True
Is 37 a factor of -33*94/(-12) - (-3)/6?
True
Suppose 4*z = 5*a + 144, 3*z + 3*a - 143 = -2*a. Let j = z + -22. Is (-2)/(-8) - j/(-4) even?
False
Let j(c) = c**2 + c**2 + 7 + 0*c**2 - 8*c. Does 17 divide j(5)?
True
Let h(n) = 13*n - 14. Let v(q) = -25*q + 27. Let s(u) = -11*h(u) - 6*v(u). Is s(6) a multiple of 17?
True
Let s(z) = -6*z - 4. Let a be s(-3). Is 2 a factor of a/(-21) - (-46)/6?
False
Suppose -2*o + 69 = z - 10, 3*o - 4*z - 113 = 0. Is o a multiple of 11?
False
Let x(y) = y**2 - y + 6. Does 13 divide x(5)?
True
Suppose -4*d = 3*n + 18 + 44, 5*d + 78 = -4*n. Let u(o) = -11*o**2 + 1. Let z be u(-1). Let l = z - d. Is 3 a factor of l?
False
Let a(o) = -o**2 + 7*o + 6. Does 6 divide a(6)?
True
Let l = -102 + 116. Does 3 divide l?
False
Let q(a) = 2*a + 38. Does 8 divide q(7)?
False
Let k = 82 + 105. Is 11 a factor of k?
True
Let m be (0 + (-1)/2)*0. Suppose 5*o + 25 - 105 = m. Is 8 a factor of o?
True
Let c be 14/8 + 3/12. Let h = -7 + 9. Suppose c*l - 22 = -h*u, 2*l - 5*u = 37 + 13. Is 15 a factor of l?
True
Suppose -3*d - 10 = -4*d. Suppose -9 = 2*w + 4*p + 11, -4*w - d = 2*p. Suppose w = -3*m + 1 + 11. Is m a multiple of 4?
True
Let x = -6 + 5. Let q(v) = 2*v**2. Let g be q(x). Suppose 5*u - 5*t - 137 = -t, g*u + t = 47. Does 16 divide u?
False
Is (14/8 - 2) + 3757/52 a multiple of 18?
True
Let y = 38 + -31. Is 7 a factor of y?
True
Let s be 2/9 + (-848)/(-72). Suppose 0 = 2*b - 5*b + s. Is b a multiple of 4?
True
Let d be (-3)/9*(1 - 22). Does 7 divide 140/d - (0 + -1)?
True
Let h be (-23)/4 + (-2)/8. Does 16 divide (1 - -12) + (-3 - h)?
True
Suppose -1 = 5*t - 31. Does 2 divide t?
True
Let n(x) = 2*x**3 - 4 - 7*x**3 - 3 + x**2 - 9*x. Let z(a) = 4*a**3 + 8*a + 7. Let u(b) = 5*n(b) + 6*z(b). Is 11 a factor of u(5)?
True
Suppose 3*u - 116 = 181. Does 31 divide u?
False
Let k = 297 + -154. Is 13 a factor of k?
True
Let t(n) = n**2 - 2*n - 10. Is 2 a factor of t(6)?
True
Let b =