j(8). Suppose -4*i + 5*i = q. Suppose 3*n - 12 = i*y, -2*n = -7*y + 4*y - 3. Is 5 a factor of n?
False
Suppose -c = 3*c - 24. Is (-9)/c*-2 + 54 a multiple of 19?
True
Let w = -11 - -15. Let l = 10 - w. Is l a multiple of 2?
True
Suppose 0 = -b + 4*r + 14 + 5, 4*b - 3*r - 24 = 0. Suppose 2*f = -5 - b. Let l(d) = 2*d**2 + 5*d - 1. Is l(f) a multiple of 11?
True
Suppose 4*f = -u + 137, -2 = -3*f - u + 100. Let g = f + -17. Let m = g + -6. Does 12 divide m?
True
Let m(h) = 8*h**2. Suppose 3*r = -4*s - 14, 8 = s - 8*r + 3*r. Is 16 a factor of m(s)?
True
Suppose 3*a + 2*f = 7, 2*a - 2*f - 18 = -0*a. Suppose 3*y - p = p + 14, 0 = 2*y - a*p - 13. Suppose -y*j = -25 - 35. Does 6 divide j?
False
Suppose -4*i = -4*m, 3*i + m = i + 15. Let v(k) = -k**3 + 5*k**2 + 4*k. Is 10 a factor of v(i)?
True
Let s = -94 - -162. Is 2 a factor of s/10 - (-5)/25?
False
Is (-36)/(-24) + 46/4 even?
False
Let l = 9 - 5. Suppose -6 = l*n + 6. Is (-1 - (-147)/n)/(-2) a multiple of 8?
False
Let z(k) = -6*k + 6. Is z(-7) a multiple of 24?
True
Suppose -2*f - 5*v = -0*v - 47, 3*v = 3*f - 123. Is 17 a factor of f?
False
Does 44 divide 15*1*(-660)/(-100)?
False
Suppose 2*u + 52 = 2*f, 2*f - 7*u + 2*u - 49 = 0. Is f a multiple of 9?
True
Let f be (1 - 2) + 0 + 16. Suppose i - 3*o - 10 = 0, 4*i + f - 3 = -o. Is (-2 - (i - -1)) + 5 even?
True
Let j(z) = 45*z - 18. Is j(7) a multiple of 27?
True
Let h = 8 - 8. Suppose l - 2*l - 4 = h. Let x = l - -22. Is 11 a factor of x?
False
Let w(x) = 5*x - 12. Is w(16) a multiple of 11?
False
Let w(b) = -b**2 - 7*b + 1. Is w(-5) a multiple of 11?
True
Suppose -d - 27 = -v - 0*d, -5*d + 121 = 3*v. Is 16 a factor of v?
True
Let p(r) = -r. Let i be p(-4). Suppose -6*h + 5*h + i = 0. Is h a multiple of 4?
True
Suppose -2*n + 0*n = -2. Is n*-4*19/(-2) a multiple of 15?
False
Let y(t) = 53*t**2 - 3*t - 1. Does 13 divide y(-1)?
False
Suppose -1 - 3 = -2*x. Let m(h) = 6*h**3 + 2*h**2 - h. Let o be m(1). Suppose o*j - 55 = x*j. Is 11 a factor of j?
True
Let h(r) be the second derivative of -3*r**5/20 + r**4/4 + r**3/2 + r**2 + r. Suppose z + 2 = -0. Does 16 divide h(z)?
True
Suppose 2*k = 3*k - 5, -w + 3*k = -358. Is w a multiple of 56?
False
Does 9 divide -3*3*(0 - 3)?
True
Is 10 a factor of 1/(-5) + 81*(-112)/(-60)?
False
Suppose 4*u - 2*u - 3*d = 52, -3*d = 12. Is 18 a factor of u?
False
Suppose 0 = -2*z - 28 - 8. Let y = -51 - z. Let v = y + 59. Is v a multiple of 14?
False
Is 16 a factor of (-3)/18 - (-6995)/30?
False
Suppose -3*d - 67 = -2*q, -7*q + 3*q = -4*d - 136. Is 7 a factor of q?
True
Let f = 43 + -90. Let h = 6 - f. Does 8 divide h?
False
Let z(y) = -y**3 + 4*y**2 + y. Let v be z(3). Let x = v + 25. Does 11 divide x?
False
Let a = -1 - -2. Let h be 2 + (a + -1 - -10). Suppose -h = -z - z. Does 5 divide z?
False
Let z = 57 - 13. Is 8 a factor of z?
False
Let d(x) be the second derivative of -x**3/3 + 3*x**2/2 - 4*x. Is d(-5) a multiple of 8?
False
Let f(n) = -181*n**3 + n**2 - 2*n - 3. Is 8 a factor of f(-1)?
False
Let h(j) = -2*j + 41. Does 5 divide h(-12)?
True
Suppose -183 = 5*i - 8*i. Is 18 a factor of i?
False
Let r = 10 - 7. Suppose -3*p + 7*p = -4*f + 104, r*p - 72 = 3*f. Suppose -3*y = 2*y - p. Is 2 a factor of y?
False
Let i be (4/2 + -2)*-1. Suppose -4*u + u = y + 51, -3*y = i. Let g = u + 26. Is 8 a factor of g?
False
Suppose 4*m = 2*m. Let u = m + 7. Suppose u*f - 2*f - 40 = 0. Is f a multiple of 4?
True
Let b(u) be the first derivative of -1 - 4/3*u**3 - 3*u - 1/4*u**4 - 5/2*u**2. Is 2 a factor of b(-3)?
False
Let b = 7 - 3. Suppose 4*n = u + 2*u + 175, -b*u = -12. Does 17 divide n?
False
Suppose 0*o - 4*o + 8 = 0. Suppose 3*n + 20 = -0*v - o*v, 0 = 3*v - 5*n + 11. Let f(r) = -5*r - 3. Is f(v) a multiple of 16?
True
Suppose 2*d - 53 - 107 = -4*v, 3*d = -v + 35. Is 30 a factor of v?
False
Suppose -3*h = -1 - 8. Suppose -h*m - 1 + 35 = s, 2*s - 44 = 2*m. Let d = s - 15. Does 9 divide d?
False
Suppose -3*z + 266 = -220. Suppose -2*m - m + z = 0. Suppose 2*g - i = 3*i + m, -124 = -5*g - i. Does 9 divide g?
False
Let w(j) = 26*j**2 - 4. Is w(-2) a multiple of 10?
True
Let y(v) = v**3 + 2*v + 3 - 2*v**2 - v**2 - 6 + 8*v**2. Let t be 4/(-1) - (0 + 0). Is y(t) even?
False
Let z(r) = 324*r + 27. Let n(p) = -25*p - 2. Let w(u) = -54*n(u) - 4*z(u). Let x be w(-1). Let t = -37 - x. Does 8 divide t?
False
Let z = -39 + 53. Does 9 divide z?
False
Let x be 0 - -1 - (-1)/(-1). Is (x - 0) + (8 - 4) a multiple of 4?
True
Suppose -5*h + 0*h - 730 = -3*l, -3*h - 485 = -2*l. Is 35 a factor of l?
False
Let p = 32 + -14. Let n be 4/6 + 8/6. Suppose -p + 0 = -n*j. Is j a multiple of 8?
False
Let h(t) = -8*t**3 - t - 1. Let l be h(-1). Suppose 0*j + 4*j - 4 = 0, 5*z - 2*j = l. Is 7 a factor of 59/3 + z/6?
False
Let p(f) be the third derivative of f**5/60 + f**4/8 + 2*f**3/3 + f**2. Let a be p(-3). Suppose c - 41 = 4*g, -2*c - a*g = c - 75. Is 12 a factor of c?
False
Let u(d) = -d**3 + 3*d**2 + 3*d - 6. Let f be u(4). Is 6/f - (-78)/5 a multiple of 4?
False
Suppose -g - r = -2*g + 7, 3*g = 2*r + 18. Suppose 0 = -u + g*u - 57. Is 16 a factor of u?
False
Suppose -3*c = 4*k - 135, 9*c - 5*c = -5*k + 170. Does 10 divide k?
True
Let m = 2 + -4. Let t be (-7)/3 - m/6. Is 6 a factor of 2*(-1 - 2)*t?
True
Let w be (-77)/(-2) + 2/(-4). Suppose 0 = y + 5*t - w, 4*y + 4*t - 39 - 49 = 0. Does 9 divide y?
True
Suppose 15 = -5*z + 3*n, 0*z = -z - n - 11. Let q = z + 21. Does 15 divide q?
True
Let p = 15 + 14. Is p a multiple of 9?
False
Suppose 58*x - 308 = 51*x. Is x a multiple of 5?
False
Suppose s + 20 = 4*b + 5*s, -4*b = s - 17. Suppose 0 = -5*n - 4*f + 324, 5*f = n + b*n - 360. Is 10 a factor of n?
False
Let n = 1 - -2. Suppose 0*d - n*d + 40 = 5*j, -5*j = -d - 20. Is j a multiple of 5?
True
Let c be -2 - 4/1*-1. Suppose -c*p = p. Suppose p = 3*y + r - 58, -7*y = -2*y - 5*r - 90. Is y a multiple of 7?
False
Let a = 325 - 164. Is a a multiple of 36?
False
Suppose -5*z = -3*r + 34, -2 = -3*z + 5*r - 16. Let t = 11 + z. Suppose -40 = -t*v + 26. Is v a multiple of 11?
True
Let p(k) be the second derivative of -k**3/3 - 3*k**2/2 + 3*k. Let v be p(-3). Suppose -v*u + 164 = 20. Is 18 a factor of u?
False
Let k(i) = 2*i**2 + 7*i - 14. Does 32 divide k(7)?
False
Suppose -5*x - 445 = 5*p, 2*x + 4*p - 148 = 4*x. Is 18 a factor of (12/(-7))/(2/x)?
True
Let m be ((-40)/3)/((-2)/30). Is m/9 - 6/27 a multiple of 11?
True
Let b(g) = 4*g**2 + 3*g - 2. Let v be b(-3). Let y = v + -9. Is 7 a factor of y?
False
Does 21 divide (62/(-28) - (-12)/(-42))*-36?
False
Suppose 5*i = 2*i + 12. Let y be (19 - 0) + i/2. Suppose -2*k + 47 = 3*l, 3*k - 4*k - l + y = 0. Is 8 a factor of k?
True
Suppose 0*i + 4*i - 92 = 0. Let z = i + -5. Is z a multiple of 9?
True
Let u be -4 - ((-2 - -6) + -11). Suppose 5*d - 58 = -4*m + u*d, 0 = m - 2*d - 12. Is m a multiple of 7?
True
Let q(p) = 28*p - 1. Is q(1) a multiple of 6?
False
Let b be 3/1*2/6. Let l = b + 4. Is l a multiple of 3?
False
Let a(m) = 77*m**2 + 1. Let i be a(1). Let b = 74 - 52. Suppose 4*j + b = i. Is j a multiple of 14?
True
Let u = -17 - -62. Is 19 a factor of u?
False
Let q(l) = 6*l**3 - l - 5 - 4*l**3 - 4*l**2 - l**2. Does 13 divide q(4)?
True
Let x(i) = 34*i + 1. Does 7 divide x(1)?
True
Let f(l) = -l**3 + 4*l + 3. Let h be f(-2). Suppose h*j - 12 = -0*j, 3*j + 376 = 4*m. Does 30 divide m?
False
Let o(k) = k**2 + 4*k - 9. Is 14 a factor of o(5)?
False
Suppose -2*t - 5*p = -28, t + 0*p = -5*p + 4. Is t a multiple of 6?
True
Let k be -54*(0 + (-3)/3). Let l be (22/4)/(2/(-4)). Let f = k + l. Is f a multiple of 15?
False
Let h(t) = -t**3 + 7*t**2 - 6*t + 6. Let c be h(6). Let g(i) = 1 - 9*i + 0 - 3 + 3 + 2*i**2. Is g(c) a multiple of 16?
False
Let q be 4 + -6 - (-40)/2. Suppose -3*z - 15 = 0, 4*f - 3*z - q = 25. Does 7 divide f?
True
Let f = 16 + -6. Does 13 divide (-226)/(-4) - 5/f?
False
Let r(y) = y**3 + 10*y**2 + 12*y + 16. Is 8 a factor of r(-8)?
True
Let m(w) = -2*w**2 + 10*w - 5. Is 3 a factor of m(4)?
True
Let k be (-2)/(-5) + 24/(-10). Let d(n) be the first derivative of -n**4/2 - 2*n**3/3 - n - 3. Is d(k) a multiple of 7?
True
Let v = 77 - 182. Is (-4)/(-30) + (-2611)/v a multiple of 7?
False
Let n(g) = 3*g**3 - g**2. Is 5 a factor of n(2)?
True
Let a = 69 + -23. Suppose a = 2*c - c. Suppose j - c = -j. Does 8 divide j?
