4)*(3 - o) a multiple of 17?
True
Let k be 42 + -3 + 0/(-2). Is k - (1 - -1 - -1) a multiple of 12?
True
Suppose 5*b = -3*z + 2*b + 2826, 4*z + 5*b = 3765. Suppose 14*o - z = -o. Is o a multiple of 18?
False
Is 9 a factor of 4720/40 - 1*-8?
True
Suppose -5*f + 3*m + 344 + 280 = 0, 5*f + 3*m - 606 = 0. Let c = -89 + f. Is 13 a factor of c?
False
Let i(y) = -3*y**3 - 14*y**2 + 16*y + 38. Is 23 a factor of i(-11)?
False
Let h = -1263 - -1823. Is h a multiple of 20?
True
Suppose 5*q - 112 = -3*q. Let u be (68/(-6))/(3/(-9)). Let r = u + q. Is r a multiple of 16?
True
Suppose 2*b = r - 0 - 1, b = -5*r + 27. Suppose 0 = -b*l - 6 + 12. Is (1 - 4)*(2 - l) a multiple of 2?
False
Let j be 9*(-6)/1 + 17 + -16. Does 9 divide 1 + -1*(1 + -1) - j?
True
Let k = 16 - 13. Suppose -k*g = g - 120. Does 28 divide g?
False
Let z be 0/((0 - -2) + 0). Suppose -2*a = 5*v - 277, 2*v + z*a - a = 109. Is 9 a factor of v?
False
Suppose -5*w = -s + 45, 4*s - 70 + 10 = 5*w. Let t(q) = -q**3 - 6*q**2 + 5*q - 10. Is t(w) a multiple of 5?
False
Suppose -11 = -6*b + 7. Suppose w - 2*s + b*s - 7 = 0, -5*s = -2*w + 14. Suppose -9*k + 54 = -w*k. Is k a multiple of 7?
False
Let b = 279 - 270. Is 4 a factor of b?
False
Suppose -u = z - 2953, -2*z + 5931 = -19*u + 16*u. Is 58 a factor of z?
True
Let q be (-3 + (-4)/16)/((-2)/8). Suppose q*p + 27 = 16*p. Is 3 a factor of p?
True
Let f = -1755 - -3391. Is 8 a factor of f?
False
Suppose 5 = 2*u - 5*p, u - 2*p + 2 = 5. Suppose u*h + 44 = -21. Let v = h + 18. Is v a multiple of 3?
False
Let y be (-6)/(-2*(-1)/(-8)). Suppose -i = -3*i + y. Does 2 divide i?
True
Suppose -2*q + 4*n + 196 = 2*q, 4*q = 2*n + 200. Does 17 divide q?
True
Let c = -1115 + 1367. Is c a multiple of 20?
False
Suppose 5*f + 5*x - 32 = x, -3*x + 18 = 3*f. Let r(g) = -3*g + 12. Let z be r(f). Let d = z + 20. Is 2 a factor of d?
True
Suppose u = -2*c + 1, u = -3*u - 20. Is 12 a factor of (6 + -3 + c)/((-2)/(-12))?
True
Is 7 a factor of (-6)/(-57) - (-1536352)/608?
True
Let x(t) be the third derivative of -5*t**4/6 - 13*t**3/6 - 12*t**2. Is x(-6) a multiple of 20?
False
Is (-342)/(-57)*(-5)/(-2) a multiple of 15?
True
Let t(x) = -3*x - 2*x + 1 + 4*x. Let w = -48 + 40. Is t(w) a multiple of 2?
False
Suppose z + 24 - 104 = -2*u, 3*z + 80 = 2*u. Suppose -u = -6*r + 104. Does 6 divide r?
True
Let a(q) = -3*q - 17. Let o be 2/(3*((-82)/(-21) - 4)). Is a(o) a multiple of 3?
False
Suppose 0 = -6*q + 2*q - 5*m + 464, 2*q + 5*m - 242 = 0. Suppose 0 = -4*a + q + 197. Does 11 divide a?
True
Is 11 a factor of -2 - (0 + -1 + -67)?
True
Let l = -77 + 492. Is l a multiple of 20?
False
Let p(c) = c**3 - 6*c**2 + 2*c + 1. Let l be p(2). Let i = l - -18. Let k = i + 8. Is 4 a factor of k?
False
Suppose -t - 2*y = 0, -5*t = y - 19 - 8. Let g(z) = 2 + z - z**2 + 2*z**2 + 0. Is 12 a factor of g(t)?
False
Let z = -1433 - -3012. Does 33 divide z?
False
Let a(u) = -8*u**3 - 3*u**2 - 6*u - 1. Let s be (-8)/(-6)*(-63)/42. Does 7 divide a(s)?
True
Suppose -74*t = -65*t - 1872. Is 13 a factor of t?
True
Let o(g) = 151*g + 1. Let c be o(1). Let k be 28/154 + c/11. Is 1840/28 - (-4)/k a multiple of 11?
True
Let y = 20 + 24. Suppose p = -y + 124. Is p a multiple of 28?
False
Suppose -6*q - 192 = -9*q. Suppose 2*p = -4 - 0, -4*f = 3*p - 14. Suppose o - f*o = -q. Is o a multiple of 4?
True
Let v(k) = -k**3 - 49*k**2 + 53*k + 294. Does 8 divide v(-50)?
True
Let h = 1536 - 256. Is 43 a factor of h?
False
Suppose -t - 90 = -y + 57, 1 = t. Is y a multiple of 5?
False
Let c(g) = g**2 - 6*g - 7. Let a be c(7). Let v be 3*1/(a - -1). Suppose 0 = -4*d + p + 37, v*p + 16 = 1. Is 5 a factor of d?
False
Let n(g) = -g**3 - 12*g**2 + 23*g + 210. Is 16 a factor of n(-13)?
True
Let s(u) = u**3 + 8*u**2 - 7*u + 1. Let d be s(-8). Suppose -5*m + 543 = -d. Suppose 3*w - m = w. Is 15 a factor of w?
True
Let g = 486 - 402. Is 32 a factor of g?
False
Suppose 3 + 6 = t - 3*n, 3*t - 3*n = 51. Suppose 0 = 9*p - t - 366. Is 4 a factor of p?
False
Suppose 4*g - 2*v = -242, -16 = -2*v - 6. Let i = g - -120. Is i a multiple of 11?
False
Let k be 9/(-3) + -53 - -2. Let u be 1 + 1 - 1*(0 + -1). Is 15 a factor of u/((-3)/(-4)) - k?
False
Suppose 0*b = 9*b + 45. Is 14 a factor of (-1)/(15/(-2268)) - b/(-25)?
False
Is 37 a factor of ((-1252)/(-6))/(1/3)?
False
Suppose 5 - 9 = -2*n. Suppose 2*l - 120 = -2*l + 5*w, 0 = -n*l + 3*w + 62. Suppose h - l = -4*h. Is 5 a factor of h?
True
Suppose -h = 1, -7*h = -4*q - 3*h + 244. Suppose r + 2 = 6, -q = -4*s - 5*r. Is 8 a factor of ((-29)/(-3))/(s/30)?
False
Suppose 0 = 3*b - 0*b - 12, 3*b = 5*v - 2813. Suppose -79 = 3*a - v. Is 18 a factor of a?
True
Let b = -8 - -8. Suppose -w + 10 + b = 0. Does 9 divide -1 + (-2 + w)*5?
False
Suppose j + 6 = -2*n + 3*j, -5*n + 30 = 4*j. Let d(o) = 7*o**3 - 2. Is 9 a factor of d(n)?
True
Does 6 divide (-2)/(-8) - ((-165)/12 + 4)?
False
Let v = 1 - -14. Let k = -255 - -255. Suppose -3*c + v + 6 = k. Is 7 a factor of c?
True
Suppose 2*k - b - 13 = 0, -3*k = -0*k + b - 27. Suppose 2*q = 2*a + 2, -k*q - a + 17 = -3*q. Suppose -h = -5*j - 19, 14 = 2*h + q*h + 2*j. Is 4 a factor of h?
True
Let b be 20/6*(-6)/(-5). Suppose -b*s = -2*f - 26, 3*s - 3*f - 19 = s. Suppose 3*x - 2*x + 3 = -4*i, -3*x - s*i = -12. Is 5 a factor of x?
False
Is (2/6)/((-8)/(4896/(-2))) a multiple of 51?
True
Let x be ((-68)/6)/((-16)/24). Let p = x + -30. Let v = 51 - p. Does 14 divide v?
False
Let z = 604 - 568. Is z a multiple of 29?
False
Suppose 0 = -2*o + 3*g + 12, -o = -g - 2*g - 9. Suppose 2 = o*p - 10. Suppose -14 + 30 = p*h. Is 2 a factor of h?
True
Suppose -n + 170 - 625 = 2*g, -3*g = 3*n + 1368. Let s = -320 - n. Is 16 a factor of s?
False
Does 4 divide ((-17)/4)/(2/(-32)*4)?
False
Let r(w) = -w**3 - w**2 - w + 2. Let l be r(-2). Suppose -l - 8 = -u. Is 7 a factor of u?
False
Let r(m) = -m**3 - 5*m**2 - 17*m + 8. Is r(-8) a multiple of 28?
True
Let s = -364 + 887. Is s a multiple of 9?
False
Suppose 3*o + 2 - 8 = 0. Suppose -o*c = -75 - 69. Is c a multiple of 12?
True
Suppose -91*r = -129*r + 88350. Does 15 divide r?
True
Let h be (-3)/(((-7)/56)/(3/18)). Suppose 573 = h*d - 55. Is 15 a factor of d?
False
Let t(p) = 27*p**2 - p + 2. Let a = 6 - 4. Let z be t(a). Suppose -3*u + 0*u - 5*i + 164 = 0, 0 = -2*u - 3*i + z. Is 10 a factor of u?
False
Let t be -6*((-22)/3 - -2). Let m = t - -24. Is 9 a factor of m?
False
Suppose -7*i - 1968 = -8058. Is i a multiple of 58?
True
Is 159 + 3*(-6 + 8) a multiple of 15?
True
Suppose -4*x - 39*r = -44*r - 1988, 4*x - 1988 = -3*r. Is 71 a factor of x?
True
Is 30 a factor of 44/(-66)*(0 + -810)?
True
Let m(f) = 2*f**2 - 8*f - 65. Is 11 a factor of m(-6)?
True
Let v be 2*((-516)/24)/(1/4). Does 7 divide 14/77 - v/22?
False
Suppose 3*f + 3*i = -0*f + 9, 5*f = i + 21. Suppose 169 = f*q - 3*q. Is q a multiple of 14?
False
Suppose 5*u = -5*b + 2730, -2732 = -5*u - 4*b - 0. Is u a multiple of 14?
False
Let p(h) = 143*h**2 - 2*h - 2. Let o be p(-2). Suppose -3*q + o = -2*a, -q + 3*a + 579 = 2*q. Is 19 a factor of q?
False
Let b(q) = q**3 + 7*q**2 + 4*q - 7. Let s(t) = -t**3 - 10*t**2 + 10*t + 6. Let c be s(-11). Suppose -3*w - 4*p - 34 = 0, 5*p = -3 - c. Does 2 divide b(w)?
False
Let x(k) = 9*k**2 - 47*k - 17. Does 13 divide x(7)?
False
Let d(h) = h**2 - 4*h - 2. Let s be d(5). Let x(i) = i + 20. Let f be x(-16). Suppose 0 = -f*l - 0*l - 5*k + 87, s*l - 66 = -3*k. Does 8 divide l?
False
Let y(f) = -f**3 + 10*f**2 - 10*f - 2. Let k be (0/2)/(-2 + 1). Suppose k = c - 2 - 5. Is y(c) a multiple of 12?
False
Suppose -10 = -5*h, 6*u - 2*h = u - 1244. Let r = u + 348. Is r a multiple of 20?
True
Let i(s) = -3*s**3 - 5*s**2 - 30*s - 157. Is 9 a factor of i(-10)?
False
Suppose -3*s + 4*j = -23, -4*j - 2 = -3*j. Suppose 112 = s*d + 37. Let b = d - -6. Is b a multiple of 21?
True
Let q = 15 - 9. Suppose 0 = 6*n - 0 - q. Is 5 a factor of 18 - ((-8)/n - -4)?
False
Let r(z) = -z**3 + 3*z**2 + 8*z + 6. Let i be r(8). Let g = i - -357. Does 28 divide g?
False
Let g = 47 + 6. Suppose 0 = g*f - 50*f - 36. Is 12 a factor of f?
True
Let s = 106 + -88. Let o(d) = 2*d + 19. Is 42 a factor of o(s)?
False
Suppose 2*h + 43 = -27. Let l be (-3283)/h - 1/(-5). Suppose 0 = -2*a - 8 + l. Does 13 divide a?
False
Suppose -8*w + 5224 + 584 = 0. Is 12 a factor of w?
False
Let t(d) b