 + 52. Suppose -3*c = -3*o - 36, 4*c + o + 0*o = d. Is 5 a factor of c?
False
Suppose 0*y + u = -2*y - 12, -4*y - 3*u = 26. Let t = y - -7. Suppose t*j = j + 14. Does 5 divide j?
False
Suppose -22 + 112 = 5*y. Suppose -y = -a - a. Let d(z) = -z**2 + 11*z + 2. Does 15 divide d(a)?
False
Let g = 25 + 13. Suppose i = -6 + g. Is i a multiple of 16?
True
Suppose -3*i = 1 - 7. Suppose -4*s + 143 = 5*o, 0*o = -i*o - 10. Is s a multiple of 21?
True
Let c = 24 - -70. Is 14 a factor of c?
False
Let a(d) = -d**3 - 4*d**2 + 6*d + 8. Let m(k) = 1. Let t(j) = -a(j) + 2*m(j). Is t(-4) a multiple of 9?
True
Let w be (-112)/(-18) - 6/27. Let v be (-3)/1 + (-5 - -10). Suppose 0 = v*o - o - w. Does 6 divide o?
True
Suppose -5*g + 208 = -3*g. Suppose -45 = -2*k + 3*p, -3*p = 5*k - 2*p - g. Is k a multiple of 7?
True
Suppose -4*k + 7 = -5. Suppose -k*m + 43 = -38. Is 14 a factor of m?
False
Suppose 0 = 4*w - 2*i - 28 - 10, w + i - 5 = 0. Is w a multiple of 2?
True
Let t(i) = 6*i**3 + 3*i**2 - i - 2. Suppose -5 = -5*l - 2*x + 3, 4*l = -2*x + 6. Does 14 divide t(l)?
True
Suppose 0 = t - 5*c - 25 + 5, t - 12 = 3*c. Suppose -2*d + 160 - 54 = t. Suppose 0 = 4*k - d - 19. Is k a multiple of 15?
False
Let u(c) = -c - 1. Let o(h) = -h**2 - 4*h - 28. Let v(a) = -o(a) + 4*u(a). Does 24 divide v(0)?
True
Suppose -16 = -5*k + 2*x - 3*x, -4*k - x = -13. Let q(d) = 5*d**2 - d - 3. Is q(k) a multiple of 12?
False
Let u = -1 - -5. Suppose -c - 5 = -w + 5*w, u*c + 4 = 0. Let q(m) = 52*m**2 - m - 1. Is 26 a factor of q(w)?
True
Let j = -41 + 57. Is 8 a factor of j?
True
Let b = 31 + -21. Let j be (15/b)/(1/84). Suppose n = -r - 3*r + 24, -j = -4*n - r. Is 10 a factor of n?
False
Suppose -6 = 3*u + g, 3*u - u = 4*g - 18. Does 15 divide (-4)/u - (-1232)/21?
True
Suppose 4*v - 68 = -5*k + 3*k, 43 = 2*k - v. Suppose b = -0*b + k. Is 12 a factor of b?
True
Let l(x) be the third derivative of x**5/60 + x**4/3 + 7*x**3/6 - 3*x**2. Is 14 a factor of l(-10)?
False
Suppose -2*s = -79 + 53. Does 2 divide s?
False
Suppose -2*k + 2*d + 182 = -144, 5*d = 10. Suppose -62 = -5*b - 2*x + 96, -5*x = -5*b + k. Does 16 divide b?
True
Let b(g) = g**3 + 4*g**2 - 7*g - 5. Let n be b(-5). Suppose 0 = -r - 5*d + n, -2*d + 4 = -r + 9. Is ((-2)/r)/(2/(-80)) a multiple of 16?
True
Let v be (3/(-5))/(2/(-70)). Suppose -3*j + 0*j + v = 0. Does 2 divide j?
False
Let c = -36 + 72. Does 6 divide c?
True
Let c be (-4 - -280) + 1 + -1. Suppose -c = -3*z - z. Suppose 0 = -4*f + 19 + z. Is 11 a factor of f?
True
Let n = 7 + -4. Suppose -4*m - 78 = 2*p, 5*m + 62 + 55 = -n*p. Let s = p + 95. Does 21 divide s?
False
Suppose -4*p + 3*y = -29, 0 = -0*p - 3*p + 3*y + 24. Suppose -20 + 0 = -p*t. Suppose 16 = -r - t*v, 5*r + v - 7 - 8 = 0. Is 3 a factor of r?
False
Let j(x) = -x + 20. Let t be j(0). Let f be 2/(-8) + 13/4. Suppose 4*k = t, -4*k = f*v + k - 34. Does 2 divide v?
False
Let k(t) = t**2 + t - 1. Let n be k(-3). Suppose -n*l = -o + 32, -o + 0*l - l + 2 = 0. Let r = 25 - o. Does 11 divide r?
False
Suppose 43 = 2*n + n + 4*d, -2*n = 5*d - 38. Is 9 a factor of n?
True
Let b(n) = -38*n - 2. Let f be b(-2). Let q = f - 44. Does 15 divide q?
True
Let r be 4/(-32) + 57/8. Let w = 6 + r. Does 4 divide w?
False
Is 24 a factor of 1 + 22 + (0 - -1)?
True
Suppose -2*u = 2 - 0. Is (6/(-3) + -3)/u a multiple of 4?
False
Let k be 2/3*-3*1. Does 21 divide (-49)/k*(-96)/(-56)?
True
Let c(n) = 5*n**3 - 2*n**2 - 6*n. Let t be c(3). Suppose 3*z + 4*j = t, -2*j = z + 3*j - 44. Is 23 a factor of z?
False
Let i(p) = -7 + 0 - p**2 - p - 2*p. Let o be i(-7). Let m = -19 - o. Does 8 divide m?
True
Suppose 3*u = -4*h + 16, 0*u - 3*u + 21 = 3*h. Is 7 a factor of u?
False
Let g(h) = -h**3 - 7*h**2 - 3*h - 26. Does 5 divide g(-8)?
False
Suppose 0 = r + 3*r - 52. Suppose f + 3 - r = 0. Let t(k) = -k**2 + 13*k - 11. Does 19 divide t(f)?
True
Let h = 5 + 0. Suppose 2*v - h*f - 27 = 0, 17 + 4 = 3*v - f. Is v a multiple of 6?
True
Suppose -3*i = -5*r - 29, 2*i + 4*r - 28 = 6. Let l = i - -9. Does 18 divide l?
False
Suppose 0 = s + 2 + 1. Does 11 divide -3*s/((-9)/(-22))?
True
Suppose 2*h = -5*y + 24, -4*h = h + 4*y - 43. Does 7 divide h?
True
Is 10 a factor of (8 - 4)/(-4)*-56?
False
Let z = 88 - 24. Is 20 a factor of z?
False
Let q(b) = -2*b**3 + 4*b**2 + 4*b + 1. Let u be q(4). Let c = -20 - u. Does 9 divide c?
True
Let n(v) = -v**3 - 8*v**2 - v + 4. Let l be n(-10). Suppose 0 = 4*b + 8, -3*b + 8*b = 3*m - l. Is 17 a factor of m?
True
Let p(h) = -h**3 - 9*h**2 + 9*h + 5. Is p(-10) a multiple of 14?
False
Suppose -3*s + 4*s - 139 = 0. Is s a multiple of 38?
False
Suppose -c - 4*c = -30. Does 12 divide (c/(-9))/((-1)/30)?
False
Suppose 0 = l + 5*v + 20, 0 = -2*v - 10 + 4. Let z = 12 + l. Is 2 a factor of z?
False
Suppose -5*w + 576 = 4*z, 0*w - 432 = -3*z + 3*w. Is z a multiple of 12?
True
Suppose -5*y + 28 = -127. Does 8 divide y?
False
Suppose 2 = 5*i - 4*i. Suppose -18 = -r - i*r. Is r a multiple of 6?
True
Let n(u) be the second derivative of 5*u**3/3 - 3*u**2/2 - u. Let l = -3 + 5. Does 6 divide n(l)?
False
Let z(a) = 4*a**3 - a**2. Let o be z(2). Suppose 3*q + 7 = o. Does 7 divide q?
True
Suppose -2*p = -7 - 3. Suppose -3*g - 104 = -p*g. Is g a multiple of 15?
False
Suppose -o + 20 = 4*o. Let v be (-4 + -2)/((-6)/o). Is 12 a factor of 18/(14/v + -2)?
True
Let b(p) = p**2 + 13. Is 7 a factor of b(-6)?
True
Suppose 0 = -5*x + 5*p - 65, 2*x - 2*p = x - 9. Let g = -6 - x. Is 11 a factor of g?
True
Let a(h) = h**3 + 5*h**2 - h - 1. Let n be a(-5). Suppose n*f - f = 60. Is 7 a factor of f?
False
Suppose 29*s = 24*s + 40. Does 5 divide s?
False
Let i = -3 + 6. Suppose -4*g + 2*y - i*y + 75 = 0, g + 2*y = 17. Is g a multiple of 7?
False
Suppose -3*s + 7*s = 4*n, 2 = n - 3*s. Let p be 2 + (n - -1) + 33. Let f = -21 + p. Is f a multiple of 7?
True
Let j = 152 + -32. Is j a multiple of 8?
True
Suppose 3*i + n - 306 = -2*n, 0 = -n + 4. Is 14 a factor of i?
True
Let w(v) = 4*v - 1. Is 4 a factor of w(3)?
False
Let w(q) = q**3 + 16*q**2 + 21*q + 10. Is w(-14) a multiple of 28?
False
Let b be 0/1*2/4. Suppose 4*v + b*o - o = 25, 2*v + o = 17. Let i(a) = -a**2 + 8*a + 1. Does 4 divide i(v)?
True
Suppose x = 2*l - 28, 3*l + x - 5*x = 37. Is l a multiple of 3?
True
Suppose -4*c + 0*j - 3*j + 225 = 0, -2*c = -3*j - 135. Is c a multiple of 6?
True
Does 19 divide -13 - -8 - 4*-25?
True
Let i(b) be the second derivative of 7*b**5/20 - b**4/6 + b**2 - 2*b. Is i(2) a multiple of 25?
True
Suppose 3*q - 45 = 30. Is q a multiple of 17?
False
Does 16 divide 1/(-5 + 2) + 139/3?
False
Let o(c) = 2*c**2. Let b be o(-1). Suppose b*x = 5*x + 204. Does 13 divide (-1)/2*(x - -6)?
False
Let x be 4/(-10) - (-64)/10. Suppose -y = -x*y + 10. Suppose 0*h - 61 = -4*m - 5*h, 0 = -y*m - 4*h + 32. Is 7 a factor of m?
True
Let l(c) = c**3 + c**2 - 16. Let g be l(0). Let i = 8 - g. Does 12 divide i?
True
Let s be (1 + -4)/(12/(-8)). Let g be ((-38)/3)/(s/(-3)). Suppose -2*n + 13 = -g. Is 8 a factor of n?
True
Suppose 12 = 7*r - 3*r. Is 12 a factor of r*(-2)/9*-33?
False
Let k(f) = -f**3 - 9*f**2 - 9*f - 15. Is k(-10) a multiple of 17?
False
Suppose 5*u + 6 = -0*u + 3*y, -2*y = 6. Let j = 9 + u. Is j a multiple of 6?
True
Suppose y = 299 - 11. Is (2/3)/(12/y) a multiple of 5?
False
Let g = 156 - 91. Let b(i) = -5*i - 61. Let r be b(-6). Let m = r + g. Does 12 divide m?
False
Suppose -f - 4*j - 6 = 0, j + 39 = 4*f - 4*j. Let k(d) = 5 - 10*d + f + 0 - 5. Does 17 divide k(-6)?
False
Suppose 3*g + 45 = -27. Let l be (-1)/2*1*g. Suppose 5*u - 15 = 5*q, 2*u + 3*q + q - l = 0. Does 3 divide u?
False
Suppose -105 = -m + 173. Does 18 divide m?
False
Let t(j) be the third derivative of j**5/60 + 5*j**4/24 + j**3/6 + 3*j**2. Let y be t(-4). Let x(c) = -c**3 + 3*c**2 + 2*c. Does 18 divide x(y)?
False
Does 6 divide (-35)/(-2)*24/10?
True
Let y(w) be the first derivative of 5*w**3/3 + 2*w**2 + 3*w - 3. Is y(-2) a multiple of 9?
False
Let l be ((-2)/(-7))/((-2)/(-14)). Suppose 0 = -a + l*a - 23. Suppose -2*u - a + 59 = 0. Is 10 a factor of u?
False
Let n(k) = 1 + 47*k**3 - 3 + 5 - 4. Is n(1) a multiple of 23?
True
Is -4 + 44 - (3 + -1) even?
True
Let v be -3 - -2 - (2 - 1). Let o = v - -8. Let m(q) = 2*q - 7. Is 2 a factor of m(o)?
False
Let k = 74 + -6. Is 12 a factor of k?
False
Suppose 0*y - 8*y 