False
Suppose 0 = 3*n - 3*x - 83 - 139, 0 = -5*n - x + 358. Does 24 divide n?
True
Let m = 12 - 8. Let u(z) = z**3 - 4*z - 2. Is u(m) a multiple of 23?
True
Suppose 4*v = -4*q + 252, -4*v + 5*q + 135 = -90. Does 20 divide v?
True
Suppose -2*c - 2 = -4*q, -3*q + 3*c + 1 = 7. Suppose q*a - 88 = a. Suppose 7 = -v + a. Is 27 a factor of v?
False
Let b be 36/16 - (-1)/(-4). Suppose -4*m = -b*m. Suppose 4 = -r, r + m*r + 15 = o. Is o a multiple of 5?
False
Let d(z) = -3*z - z - 4*z**2 - 1 - z**3 - 5. Is d(-4) a multiple of 5?
True
Is -2 - (-6)/2 - (-20 + 0) a multiple of 7?
True
Let t = -8 + 16. Suppose 0*a + t = 2*a. Suppose 28 = 2*z + a*p, -4*z + 3*z + 3*p + 9 = 0. Is z a multiple of 12?
True
Let x = -58 - -82. Is x a multiple of 6?
True
Suppose 5*g - 610 = 625. Is 26 a factor of g?
False
Let z be 1/((-1)/(-2 - 3)). Suppose 6*c - 7 = z*c. Does 7 divide c?
True
Let q(h) = h**2 + 5*h + 5. Let u be q(-4). Suppose -a = z - u, -2*a = 3*z + 2*a - 6. Is (7 - -5)*z/(-3) a multiple of 4?
True
Let z(x) = -x**3 + 5*x**2 + 4*x + 7. Let v be z(6). Suppose -4*g - 97 = -0*l - 5*l, -l = -g - 20. Let b = l + v. Is b a multiple of 10?
False
Let m = 13 + 6. Suppose -m = -2*u - 3. Does 8 divide u?
True
Let p(y) = y**2 - 4*y + 19. Does 24 divide p(5)?
True
Let w(f) = -f - 15. Let z be w(-6). Let d(u) = 3*u**2 + 11*u - 11. Let v(h) = -10*h**2 - 33*h + 33. Let s(l) = -7*d(l) - 2*v(l). Is s(z) a multiple of 18?
False
Suppose 11*v - 15*v + 752 = 0. Is v a multiple of 34?
False
Let x be 4/14 + (-746)/14. Let j = -34 - x. Is 7 a factor of j?
False
Let j(p) = -2*p**3 - 7*p**2 + 6*p - 2. Let i(z) = z**3 + z**2 - z - 1. Let o(t) = -i(t) - j(t). Let f be ((-54)/(-63))/(2/(-14)). Is o(f) a multiple of 16?
False
Let q(v) = -v - 6. Let n be q(-5). Is 13 a factor of (-414)/(-8) - n/4?
True
Let p(y) be the second derivative of y**3/6 + y**2 - y. Suppose t = -5*w + 28, -3*w + 7 + 8 = 0. Is 4 a factor of p(t)?
False
Let p(w) = 3 - 6 + 1 + 5*w - w. Does 20 divide p(8)?
False
Let j = 3 - 1. Suppose 6*y - j*y = 24. Let o(z) = z**3 - 5*z**2 + 4*z - 9. Does 19 divide o(y)?
False
Let x(m) = -m + m**2 - m - 6 + 0*m. Is 9 a factor of x(6)?
True
Let j = 37 - 17. Does 5 divide j?
True
Let t be (25/(-10))/(2/(-4)). Let k = t - 3. Suppose 2*p = -3*y + 39, -6*p + 74 = -k*p + 2*y. Is p a multiple of 18?
True
Suppose -c + 37 = 3*t, -2*c - t = t - 74. Is c a multiple of 16?
False
Let q(g) = 8*g**2 - 5*g + 8. Let z be q(6). Suppose 5*o - 5*t - 77 = 183, 0 = 5*o - 3*t - z. Suppose 4*p - 33 = o. Is 11 a factor of p?
True
Suppose -3*f = -2*v + 74, -97 = -3*v + 3*f + 17. Is 10 a factor of v?
True
Suppose -3*p - 3*i + 7 + 23 = 0, -5*p - 2*i = -38. Let h = p - 1. Suppose -h = -4*q + 31. Does 9 divide q?
True
Let v = -29 + 119. Is 18 a factor of v?
True
Is (-1)/(2*(-1)/18) a multiple of 2?
False
Let c = 0 - -1. Let v = 1 - c. Let l(s) = s + 12. Is l(v) a multiple of 6?
True
Is 10 a factor of (5/15)/((-1)/(-60))?
True
Let i = 118 + -33. Does 18 divide i?
False
Let n(x) = x**3 + 4*x**2 + 3*x. Let w be ((-12)/(-8))/(1/(-2)). Let m be n(w). Suppose m*c + 5*c + 3*r - 167 = 0, 0 = 3*c + 5*r - 97. Is c a multiple of 17?
True
Let f be 3/(1 + 7/(-4)). Let g be (f/12)/(2/(-30)). Suppose -3*z + 7 = -g. Is z even?
True
Let t = 10 + -6. Suppose -5*n + 2*v + 131 = 0, t*n + 5*v + 45 = 163. Does 10 divide n?
False
Let a(b) = b**2 + 21*b - 12. Is a(-29) a multiple of 8?
False
Suppose 0*s = -3*s + 348. Does 29 divide s?
True
Let d(h) = -h**2 - 3*h + 3. Let f be d(-3). Let s(k) = k**3 - 3*k**2 - 5*k + 3. Let t be s(f). Does 6 divide -33*(t/9 + 1)?
False
Let z be (-4)/22 - (-1526)/(-77). Let j = z + 47. Is 9 a factor of j?
True
Let r be 934/14 + 8/28. Suppose -3*x + r = -29. Is 12 a factor of x?
False
Let b = -22 + 63. Is b a multiple of 13?
False
Let r(p) = -p**3 - 3*p**2 - p - 9. Is r(-6) a multiple of 14?
False
Suppose 7*u = 967 + 1553. Does 11 divide u?
False
Suppose 33 = 5*o - 22. Suppose 0 = i - f - o, -3*i - 2*i + 4*f + 59 = 0. Suppose i + 35 = 5*q. Does 7 divide q?
False
Let u be (18/4 + 0)*-2. Let o = 53 + u. Suppose -2*d + 0*d = -o. Is d a multiple of 11?
True
Let w(l) = l**3 + 8*l**2 + l + 8. Does 17 divide w(-4)?
True
Suppose 5*j - 70 = -3*g, g - 2*g + 5*j = 10. Let n be g/(-6)*-2 + 0. Suppose n*t = -18 + 108. Does 6 divide t?
True
Let b be 123/2 - 15/10. Suppose v = -3*v - b. Does 13 divide 52/5*v/(-6)?
True
Let c(b) = 14*b - 29. Is c(12) a multiple of 11?
False
Let r(b) = 2*b**2 + b. Let y be r(1). Let v(x) = 3*x + 1 + x**2 - 1 - 4. Does 14 divide v(y)?
True
Let p = -12 + 113. Is p a multiple of 21?
False
Let i = -9 - -16. Suppose i*o - 31 = 6*o. Is o a multiple of 8?
False
Suppose -6*z - 2*z + 880 = 0. Is 20 a factor of z?
False
Let c be 26/(8/12*3). Suppose 0 = -5*d + 2 + c. Is 2 a factor of d?
False
Let t = 399 - 249. Is 10 a factor of t?
True
Let b(a) = -a**3 - 2*a**2 + 2*a + 3. Let f be b(-3). Suppose 0 = -3*t - 2*t + 480. Suppose -4*x = -4*u + t, -2*u - 90 = -f*u + x. Is u a multiple of 11?
True
Suppose 2*x - 2*d = -3*x + 37, x - 5 = -2*d. Suppose 4*s - 7 = 3*y, 3*y + 5*s - x = 22. Suppose -3*v - 4*n = -18, -y*n = 2*v - v - 6. Is v a multiple of 3?
True
Suppose 3*z + z - 132 = -2*g, -4*z = -g + 78. Is g a multiple of 3?
False
Suppose 44 = 3*i + 2*s, -4*i + 3*i = -2*s - 28. Is i a multiple of 14?
False
Is 10 a factor of 44 + 0 + (0 - 4)?
True
Let y = 19 - 54. Let u be (-15)/(-18) + (-2)/(-12). Let k = u - y. Does 14 divide k?
False
Suppose 93 = -3*t + 417. Is 36 a factor of t?
True
Let b = 13 - 9. Let d = 4 - b. Suppose d = 4*j - 4*z - 156, 0 = j - 3*j + 5*z + 93. Is 19 a factor of j?
False
Suppose -j = 4*j + 2*k + 46, j = k - 12. Let w = j - -10. Suppose 5*t + 2*o - 26 = w, 4*o = 3*o - 2. Is 3 a factor of t?
True
Let h(g) = -2*g + 9. Let l be h(5). Does 4 divide 5 - (0 + -3 - l)?
False
Let c = 10 + 6. Suppose c = 5*r + 1. Is 3 a factor of r?
True
Let m be (-4)/(-14) - (-256)/(-14). Let x = 62 + m. Is 9 a factor of x?
False
Suppose 8*l - 13*l = -230. Is l a multiple of 17?
False
Let b be (0 - -9)/((-1)/(-9)). Let n = b - 55. Is n a multiple of 13?
True
Suppose -3*m - 26 = 2*d, -2*m + 5*m = d - 41. Is 9 a factor of 8/m - 58/(-6)?
True
Is 22*(0 - (-3)/6) a multiple of 2?
False
Let b be (-36)/(-44) + (-4)/(-22). Suppose 0 = -2*o + 2*v - 1 + 3, -4*v = -4. Suppose -7 = -o*l - b. Is l even?
False
Let q(i) = -i**2 + 6*i - 4. Let t be q(5). Suppose -3*x - 3 = 0, -x - 6 + t = -c. Is 17 a factor of c*(-1)/(-8)*82?
False
Let q(u) = 10. Let h(m) = m + 21. Let j(l) = 3*h(l) - 5*q(l). Let s = 18 + -9. Is 14 a factor of j(s)?
False
Is -4*(1 + -4 - 1) a multiple of 8?
True
Let h(n) = n**2 + 10*n - 26. Is 20 a factor of h(-14)?
False
Suppose -3*z = 2 + 10. Let f(a) = -a**3 - a**2 + 5*a + 1. Does 16 divide f(z)?
False
Let x = 24 + -44. Let o = -11 - -65. Let v = x + o. Does 12 divide v?
False
Suppose 0 = -m - l + 8 + 22, m = -5*l + 46. Suppose -14 = 2*d + k, k + 3*k = -3*d - m. Is (-3)/(-9) + (-88)/d a multiple of 15?
True
Let p = -8 + 164. Let d be (2/3)/(8/p). Let z = 0 + d. Does 7 divide z?
False
Let g(j) = -j**3 + j**2 + 2. Let x be g(2). Is 13 a factor of ((-1)/x)/((-1)/(-26))?
True
Let y(r) = -24*r - 9. Is y(-11) a multiple of 17?
True
Suppose 0 = -f + 1 + 1. Suppose -m - 1 = 0, f = 5*b - b - 2*m. Suppose b = 2*q - d - 53, 4*d - 41 = -2*q + d. Does 9 divide q?
False
Suppose -o = -5*p - 14, 4*o + p = 12 + 2. Does 3 divide o?
False
Let x(h) be the second derivative of h**5/20 + 7*h**4/12 + 5*h**3/6 + 2*h**2 - 4*h. Is 3 a factor of x(-6)?
False
Let o(x) = x**3 + 5*x**2 - 9*x + 8. Is 26 a factor of o(-6)?
True
Let m = 662 + -422. Is 10 a factor of m?
True
Does 17 divide -20*(-6)/(72/15)?
False
Let d(r) = -3*r - 30. Does 3 divide d(-12)?
True
Let k = 21 - 12. Does 4 divide (k/6)/((-6)/(-32))?
True
Let i(m) = m**3 + 20*m**2 - 15*m - 20. Does 14 divide i(-20)?
True
Suppose -4*l = g - 3, -3*g = -0*l - 3*l + 21. Is l/4 - (-3)/2 a multiple of 2?
True
Suppose p + 3 - 6 = 0. Let j be (p/(-2))/((-3)/4). Suppose 0*f = -j*m + f + 27, -4*f - 24 = -m. Does 6 divide m?
True
Let l(h) = h**3 + 6*h**2 + h - 6. Does 4 divide l(-5)?
False
Suppose 0 = -0*i - 2*i + 8. Suppose 0 = -i*f + 17 + 111. Suppose 0*g + 2*g = f. Is g a multiple of 16?
True
Let c(l) = -67*l**3 + 2*l**2 + 6*l + 5. Let x(n) = 67*n**3 - 2*n**2 - 5*n - 4. Let w(b) = 5*c(b