+ -1)/((-9)/1755). Suppose -3*r = -0*r - c. Is 11 a factor of r?
False
Let p = 14 - 10. Suppose 5*k + p = 49. Does 4 divide k?
False
Let n be 2 - (-1 + (2 - 1)). Is 7 a factor of (7/(-2))/(n/(-4))?
True
Is -3 - 5/(5/(-63)) a multiple of 30?
True
Let z(c) = 5*c**2 - 4*c + 9. Is 10 a factor of z(-4)?
False
Suppose 1329 = 10*y + 89. Does 17 divide y?
False
Let a = 3 + 3. Suppose 2*t + t = a. Does 12 divide -3 + t + -3 + 28?
True
Let z(v) = v**3 - 5*v**2 - v + 1. Let t be z(5). Let b = t - 4. Let f = b + 23. Is f a multiple of 9?
False
Let s(l) = l**3 - 3*l**2 + 2*l - 3. Let f be s(3). Let b(z) = -57*z + 3. Let h be b(-4). Suppose n + h = 5*n - f*k, -2*n = 4*k - 132. Does 20 divide n?
True
Let d(x) = -x - 8. Let v be d(-6). Let c be v*(-2)/(-4)*-5. Let o(y) = -y**2 + 6*y. Is o(c) a multiple of 3?
False
Is 13 a factor of 143 + (3 + -3 - 2)?
False
Let a be 0 - (-58)/(-1)*-1. Suppose 0 = -5*z - a + 8. Is (18/(-5))/(2/z) a multiple of 9?
True
Let k(l) = -l + 52. Does 3 divide k(14)?
False
Suppose -m + 5*o = -2*m + 125, -5*o = 2*m - 225. Does 14 divide m?
False
Suppose -5*y + 5 = -5*k + 3*k, 4*k = 4*y + 8. Suppose -5*z - 5 = -0, 0 = -4*r + 5*z + 157. Suppose 0 = y*v - 28 - r. Is v a multiple of 8?
False
Let n be (-5)/10 - 781/(-2). Let i be n/(-18)*(-3 + 0). Let k = 95 - i. Is k a multiple of 14?
False
Let u = -293 - -503. Does 35 divide u?
True
Does 5 divide 36 + -2 + -6 + 6?
False
Let g be -2 - (4 + 0)*-1. Suppose 2*w = -v - 2 + 6, 2*w = -g*v + 14. Does 4 divide v?
False
Suppose -f - 26 = 5*j, -2 = -f + 2*f - j. Let v = 18 + f. Does 6 divide v?
True
Suppose 2*l - 5*l - 4*r = -1083, 5*r = 15. Does 51 divide l?
True
Let z = 43 - 12. Is 15 a factor of z?
False
Let z(g) = -g**2 - 10*g + 15. Let l = -20 + 9. Let m be z(l). Suppose -42 = -m*b + 30. Is 6 a factor of b?
True
Suppose 5*u = 5*v + 1025, 3*v + 838 = -v - 2*u. Is 2 a factor of 4/14 - v/56?
True
Let m be 4*(45/12)/3. Suppose 3*t - 43 = -h, -m*t = -5*h - 16 - 69. Is t a multiple of 5?
True
Suppose -141 + 13 = -u. Is 44 a factor of u?
False
Suppose 3*p + 6 = 0, 3*n + 2*p = n + 28. Is 4 a factor of n?
True
Is (-7)/(-14) + (-442)/(-4) a multiple of 4?
False
Suppose 0 = -d + 4*g + 10, g - 100 = -5*d - 4*g. Is d a multiple of 13?
False
Suppose 328 = 8*t - 4*t. Is 32 a factor of t?
False
Let t be 0 - (-4)/(-6)*-6. Suppose t*r - 3*c = 19, -r - 4*c = 4*r + 15. Suppose r = -4*s + 97. Is s a multiple of 8?
True
Let p = -668 + 1020. Is 44 a factor of p?
True
Let y be 3/12 + (-27)/12. Let x = y + -6. Let o = 49 + x. Is 14 a factor of o?
False
Let l be (16/(-20))/((-2)/130). Let h = l + 0. Is h a multiple of 20?
False
Let x = -2 + 2. Let p be (-3 - -1) + 3 + 56. Suppose x*d + p = 3*d. Is d a multiple of 16?
False
Let u = 23 + -20. Suppose -3*y + 66 = -5*t, u*y + t - 38 - 46 = 0. Is y a multiple of 9?
True
Suppose 1030 = 2*r + r - n, -n = 5*r - 1730. Is r a multiple of 15?
True
Suppose l - 3*l = -134. Does 23 divide l?
False
Let m(j) = j - 5. Let i be m(8). Suppose 0*c = i*c - 147. Is 17 a factor of c?
False
Suppose 6*i + 45 = -3*t + 3*i, t + 2*i = -17. Let r = 21 - t. Does 8 divide r?
False
Let r be (-11)/(-4) + 2/8. Suppose -3*s + 18 = 2*s + 4*b, 0 = s - 4*b + 6. Does 2 divide s/6 + 14/r?
False
Let x(c) = c**3 - 2*c**2 - 1. Let m be x(2). Let l be 1 - (1 + -2 + m). Suppose -l*v + 18 = -v. Is 5 a factor of v?
False
Let h(k) = -32*k. Let a(y) = -y + 3. Let g be a(4). Does 12 divide h(g)?
False
Suppose -3*p - 4*b + 60 = p, 5*p - 4*b = 120. Suppose k + 2*l + 3 - 16 = 0, 0 = 5*l - p. Let m(d) = -d**3 + 7*d**2 - 7*d + 2. Is 17 a factor of m(k)?
True
Let r(c) = c**3 - 2*c**2 - 4*c - 3. Suppose d + 18 = -3*w + 8*w, 16 = 5*w - 2*d. Is r(w) a multiple of 13?
True
Suppose -5 = s, -5*s = -d - s - 83. Let x = d + 67. Let m = x - -53. Does 10 divide m?
False
Suppose 0 = -2*h + 5*i + 5, -4*h = 4*i + 5 - 1. Let w(v) = -v + 18. Does 11 divide w(h)?
False
Suppose 4*w = 3*w. Suppose w = -5*f - 6 + 1. Is 93/6 + f/(-2) a multiple of 8?
True
Let j(s) = 3*s**3 + 2*s**2 - 4*s - 4. Suppose 2*b - 16 = -2*b. Let u be j(b). Is 1/3 - u/(-9) a multiple of 17?
False
Let h = 155 + -17. Is h a multiple of 16?
False
Let q = 42 + -22. Suppose -c = c - q. Suppose 8*a = 5*g + 3*a - 55, -c = -5*a. Is 13 a factor of g?
True
Let u(t) = -t**3 + 5*t**2 + 3. Let l = -5 + 10. Does 3 divide u(l)?
True
Let z(q) = -3*q. Let n be z(1). Let t = n - -7. Suppose c + 4*u - 2*u - 20 = 0, -t*u + 80 = 4*c. Does 10 divide c?
True
Suppose -p + o - 4*o = -14, -4*p - 2*o = -46. Let w = p - 16. Is 2 a factor of (-9)/w + 2/10?
True
Suppose 5*k = 14 + 11. Is 5 a factor of k?
True
Let r(y) = y**3 - 4*y**2 + 2*y - 6. Let l = 4 - 0. Let f be r(l). Suppose s - 2*i = f*s - 45, 5 = i. Does 12 divide s?
False
Let x = -3 - -8. Let d = -1 + 5. Suppose 2*z + x*a + 1 = 11, a + d = 0. Does 7 divide z?
False
Let a = -3 - -43. Is 10 a factor of a?
True
Let v(r) = -r**3 - 32*r**2 + 30*r - 16. Is v(-33) a multiple of 16?
False
Let v be (-4)/14 - 1940/70. Is 6 a factor of 12/v - (-174)/14?
True
Let b(a) = 10*a**2 - a - 2. Let g be b(-4). Let c = 98 - g. Let x = -22 - c. Is 15 a factor of x?
False
Does 17 divide 9 - -43 - 1*2?
False
Let k(h) = -2*h**3 - 2*h - 3. Does 4 divide k(-2)?
False
Suppose -4*i - 42 = -x, -5*x - 164 = -10*x - 3*i. Does 4 divide x?
False
Let z be 6 + 1*(2 - 0). Suppose -z*w = -5*w. Suppose w = -3*m + 6 - 0. Is m even?
True
Let w(f) = -4*f**3 + 2*f**2 + f. Let p be w(-1). Suppose 0*n = 3*m + 2*n - 22, 42 = p*m - 2*n. Does 8 divide m?
True
Let x = -16 - -30. Suppose 3*f = -5 + x. Suppose -60 = -k - f*k. Is k a multiple of 8?
False
Let y(j) = 2*j**2 + j - 2. Let z be y(6). Suppose -3*p = -5*p + z. Is 19 a factor of p?
True
Suppose 2*b - 6*b + 44 = 0. Suppose 0 = -4*n + b - 35. Let u = n + 22. Is u a multiple of 10?
False
Is (-18)/(-6) - -14*3 a multiple of 15?
True
Suppose -3*p - 2*k = -4*k - 43, 64 = 4*p - k. Does 2 divide p?
False
Suppose 0 = -3*s + 4*i - 6 - 0, 0 = -4*i + 12. Let w = 6 + -2. Suppose -3*o = 3*m - 63, -o + s*m + 22 = w*m. Does 8 divide o?
False
Suppose 18*w = 16*w + 120. Is 10 a factor of w?
True
Is -6*4/(-3) + 2 a multiple of 4?
False
Let h = -47 - -16. Let m = h + 48. Is 5 a factor of m?
False
Is (104/(-13))/(4/(-6)) a multiple of 7?
False
Suppose -5*q = -25 - 910. Is q a multiple of 17?
True
Let a = -129 - -204. Is a a multiple of 17?
False
Suppose -k - m = 46, k + 134 = -2*k - 2*m. Let r = k - -99. Suppose -3*a = -5*t - r, a + 0*a - 19 = 3*t. Does 16 divide a?
False
Let u = 65 + -27. Let m = 80 - u. Is 14 a factor of m?
True
Let d(x) = x**2 - 5*x + 14. Let y(h) = h**2 - 6*h + 14. Let p(k) = -4*d(k) + 5*y(k). Is p(10) a multiple of 14?
True
Let f be 4/(-20) + 33/15. Is 14 a factor of 2 + (f - 5) - -15?
True
Suppose 3*d + 0*d = -24. Let h = 5 - d. Is 10 a factor of h?
False
Let k(l) = 14*l - 6. Suppose -4*f + 21 - 9 = 0. Is k(f) a multiple of 9?
True
Let d be 15/(-20) + (-30)/(-8). Let g be (-108)/(-2) - (-12)/6. Suppose n + 34 = d*i, -4*i + g - 7 = -5*n. Is 11 a factor of i?
True
Let j(l) = l**2 + 4*l + 2. Let a be -1 + (-5 - -2*1). Let u be j(a). Suppose u*b + 2*b = 88. Does 8 divide b?
False
Suppose 0*k - k + 83 = 0. Suppose 5*z = 47 + k. Is 9 a factor of z?
False
Let t = -386 + 610. Does 14 divide t?
True
Suppose -3*l - 65 = -14. Let t = -12 - l. Is 2 a factor of t?
False
Let d(h) = h - 1. Let x be d(4). Let m = x - -13. Is 16 a factor of m?
True
Let v = -7 + 7. Suppose -10*u + 15*u - 280 = v. Does 28 divide u?
True
Let k = 13 - 7. Suppose 4*o + k = -2. Is -2 + 2 + o - -15 a multiple of 13?
True
Suppose 11*w = 6*w. Suppose 5*k - 5*m - 85 = w, -2*m + 5 + 5 = 0. Is 6 a factor of k?
False
Let k = -6 + 49. Is k a multiple of 3?
False
Let c(s) = 2*s**2 - 2*s. Let l = -13 - -25. Suppose -k = 2*k + l. Is 20 a factor of c(k)?
True
Suppose 0 = -2*o - 3*o. Suppose 8*q - 3*q + 3*k + 25 = o, 0 = 5*k. Let s(v) = -v**3 - 5*v**2 - 2*v - 5. Is s(q) a multiple of 3?
False
Let l = -5 + 5. Suppose 4*v - v - 6 = l. Is v a multiple of 2?
True
Let i(s) = s**3 - 3*s**2 + s. Let r be i(3). Suppose -2*q + 72 = -3*m, 3*q - r*m + 0 - 111 = 0. Is q a multiple of 12?
False
Is (1 - 2) + 11 - -3 a multiple of 2?
False
Let y(l) = -48*l + 1. Let w be y(1). Does 14 divide 3*(-2 - w/3)?
False
Let h(p) = -p**3 + 9*p**2 + 9*p - 1. Let r be h(10). Let f = 18 + r. Does 3 divide 