ose -3*r + 4*r - 5 = 0. Is -2 - r*(0 - 1) a multiple of 3?
True
Suppose 3*m + 3*d = 9, -2*d - 2 = -2*m - 0. Suppose -m*i - 28 = -3*i. Is 18 a factor of i?
False
Suppose x - 15 = 8. Suppose 4*i - x - 136 = 5*y, 0 = 3*i - y - 111. Is 12 a factor of i?
True
Let j(a) = -a**2 + 7*a - 5. Let b be j(6). Let u = 3 - b. Suppose n + 20 = u*n. Does 10 divide n?
True
Let j = 144 - -56. Suppose 0 = -s + 6*s - j. Is s a multiple of 17?
False
Let l(j) = 84*j. Does 19 divide l(1)?
False
Let z(d) = -9*d**3 + d**2 - 1. Let g be z(-1). Let r(w) = -w**2 + 13*w - 10. Does 26 divide r(g)?
True
Let c(t) = -t**3 - 6*t**2 + t - 1. Let r be c(-6). Let g = r - -10. Suppose -g*y + 28 = -35. Does 13 divide y?
False
Let u = -15 + 23. Suppose 32 = 2*n + 2*g, 4*n - 56 = 4*g + u. Suppose 3*p = 2 + n. Does 6 divide p?
True
Let z(c) = -17*c - 28. Is 23 a factor of z(-17)?
False
Is 17 a factor of 2*1/((-3)/(-102))?
True
Let y be (-3)/2*6/(-3). Let n = 10 + y. Does 11 divide n?
False
Let u(x) = 4*x**2 + 7*x - 8. Is u(4) a multiple of 14?
True
Suppose 3*x + 12 = 0, -5*w + 5*x = -10 - 0. Does 5 divide (-160)/56*7/w?
True
Suppose -3*p + 3*o + 147 = 0, 50 = 5*p - 4*o - 194. Is 16 a factor of p?
True
Let b(m) = m**3 + 6*m**2 - 9*m - 9. Let y be b(-7). Suppose 6*w = y*w + 46. Does 23 divide w?
True
Let m = 2 - 0. Suppose -21 = -m*g + 39. Does 16 divide g?
False
Suppose -a = -5 + 6. Is 10 a factor of a/3 + 192/9?
False
Suppose 0 - 48 = -b. Let f = -53 + 28. Let n = f + b. Is 23 a factor of n?
True
Let t(q) = q**2 - 7*q + 10. Let n be t(7). Let j = -12 - -14. Suppose j*k = -2*h + 26, -n = 4*k + 10. Is h a multiple of 13?
False
Let g(f) = f**2 + 8*f - 3. Let s be g(-8). Does 8 divide (1*s)/(9/(-48))?
True
Let g = 2 + 37. Is 16 a factor of g?
False
Let u(w) = -4*w + 209. Is u(0) a multiple of 12?
False
Let y(a) = 7*a**3 + 4*a + 3. Let i(f) = -3*f**3 - 2*f - 1. Let k(x) = 9*i(x) + 4*y(x). Is 10 a factor of k(3)?
False
Let k(v) = v**2 + 0*v - 4 + 2*v - 7*v. Is k(-4) a multiple of 9?
False
Suppose 5*v = 5*x - 1420, -5*x - 302 = v - 0*x. Is 20 a factor of v/(-7) - (2 + -1)?
True
Suppose -7*t + 5*t + 120 = 0. Does 30 divide t?
True
Suppose 4*x - 3*x = 99. Let k be (0 + x/12)*-4. Let w = 59 + k. Does 13 divide w?
True
Does 23 divide ((-2)/(-2))/(1/391)?
True
Suppose -24*d = -27*d + 264. Is 22 a factor of d?
True
Let h(u) = -u**2 - 7*u + 7. Is h(-4) a multiple of 19?
True
Suppose -13 = 5*u + 7. Let l be 55 - 2/(u/(-6)). Suppose 0 = c - 5*c + l. Is c a multiple of 13?
True
Let a = 645 + -303. Is 57 a factor of a?
True
Let y = 60 - 36. Does 4 divide y?
True
Let g be (0 - -56) + (6 - 3). Suppose -4*w + g = -97. Is w a multiple of 10?
False
Suppose 4*i = -0*i. Suppose -5*j + 3*v + 33 = 0, i*v = -3*j + 4*v + 11. Let y(q) = -q + 19. Is y(j) a multiple of 10?
True
Suppose 1 = 4*o - 7. Let f(s) = 10*s - 8. Let y(z) = -1. Let c(j) = f(j) - 5*y(j). Is c(o) a multiple of 10?
False
Let l = -1 + 1. Let m be 47 + 0 + l + 2. Suppose 2*o - 33 = -a, o + 2*o - m = -2*a. Does 17 divide o?
True
Suppose z + 2*t + 2*t - 29 = 0, -4*z + 44 = -2*t. Let j = z - 2. Is j a multiple of 7?
False
Suppose 9 = 3*h, 5*h + 6 - 1 = 5*b. Suppose 3*g = 4*u - 34, -b*g + 16 = u - g. Suppose -22 = -2*i + u. Is 16 a factor of i?
True
Let z(g) = 4 + g - 4 + 5*g**2. Is z(1) a multiple of 6?
True
Suppose 2 = -d + 13. Let t = 1 + 2. Let i = d - t. Is 8 a factor of i?
True
Let m(w) = -8*w. Suppose -5*g + 4*p - 34 = 173, 0 = -3*p + 9. Let b be -3*(g/(-9) - 3). Does 16 divide m(b)?
True
Let p be -1 + (2 - -9 - 1). Let x(r) = r**3 - 8*r**2 - 7*r + 16. Does 17 divide x(p)?
True
Suppose -w = 3*j - 37, 2*w = -j + 3*w + 11. Suppose b = -3*b + j. Is (-2)/6 + 109/b a multiple of 18?
True
Let i(a) = a**3 - 6*a**2 + 6*a - 2. Let d be i(5). Suppose 5*w = 5*v - 275, d*v + 2*w - 46 = 94. Is v a multiple of 10?
True
Let i = 2 + -2. Suppose -5*k + 2*k + 75 = i. Suppose 2*u = 3*u, -d = -u - k. Is d a multiple of 11?
False
Let q(h) = h**3 + 5*h**2 - 3*h - 2. Does 25 divide q(-3)?
True
Suppose -j = -3*j + 62. Let q = j + -4. Does 8 divide q?
False
Let o(b) = 9 + b**2 + 8*b + b - 2*b - b. Let d be 1/(-2*2/28). Is 8 a factor of o(d)?
True
Suppose -5 = -g + f, 9*g = 4*g - 5*f + 35. Is 3 a factor of g?
True
Suppose 3*g - 10 = -2*g. Suppose -5*l + 46 = 3*j - 10, 2*j = -g*l + 36. Does 5 divide j?
False
Let b = -10 + 16. Suppose 2*g + 4*x = -b, -x = -2*g - 3*x + 4. Does 2 divide g?
False
Let c(k) = -26*k**2 - 6*k - 5. Let p(q) = -25*q**2 - 7*q - 6. Let j(z) = -6*c(z) + 5*p(z). Does 9 divide j(-1)?
False
Let g(c) = -c**2 + 5*c + 3. Let r be g(5). Suppose 0 = r*j + j - 76. Let b = j - 8. Is b a multiple of 11?
True
Let d(h) = h**3 - 4*h**2 - 4*h + 5. Does 2 divide d(5)?
True
Let w(h) = 2 - 5*h**2 + 6*h**2 + 1. Let t be w(0). Suppose -t*s = -0*s - 48. Does 6 divide s?
False
Let c(j) = j - 2. Let g be c(3). Let p = 5 + g. Suppose -d = -p*d + 165. Is 12 a factor of d?
False
Is 4 - -44 - (3 + -3) a multiple of 12?
True
Let b(g) = -g - 3. Let d be b(-6). Suppose 61 = 3*a - 5*z - 36, d*a - 3*z = 93. Does 9 divide a?
False
Let s(o) = 50*o**2. Let d be s(1). Suppose -3*b = 2*b - d. Suppose 0 = 5*q + b, -5*i + 3*q = -35 - 131. Is 12 a factor of i?
False
Let l(v) = -47*v - 16. Is 39 a factor of l(-2)?
True
Let t = 143 - 84. Let k(r) = -r**3 + 8*r**2 + 11*r - 5. Let b be k(9). Suppose -t = -3*o + b. Does 13 divide o?
False
Let i = 19 - 11. Is i a multiple of 3?
False
Suppose 2*j - 3*y - 78 = 2*y, -41 = -j + 3*y. Let x = 43 - j. Does 4 divide x?
False
Suppose 4*z = 2*z + 10. Let b = 0 + z. Suppose r - 5*m + 10 = 0, -m = -b*r + m + 19. Does 4 divide r?
False
Suppose -3*h + 266 + 169 = 0. Does 20 divide h?
False
Suppose 3*o - 158 = 430. Suppose 0 = 5*x - 14 - o. Let j = x - 25. Is 9 a factor of j?
False
Let u(j) = -4*j**3 - 7*j**2 - 2*j + 14. Let a(l) = 5*l**3 + 7*l**2 + 2*l - 15. Let f(v) = -5*a(v) - 6*u(v). Does 5 divide f(7)?
True
Let q be (-3)/(-6)*0 - 3. Let g = 0 - q. Suppose 2*i - 2*h - 50 = 0, g*i = -2*i - 4*h + 80. Is i a multiple of 20?
True
Let i = -2 + 0. Let o be -365 + (4/(-2) - -1). Does 16 divide i/3 + o/(-9)?
False
Let g(w) = w**2 + 19*w + 38. Is 13 a factor of g(-19)?
False
Let w = 32 + -17. Is w a multiple of 3?
True
Let b = -83 - 33. Is (2 - b)*1/2 a multiple of 16?
False
Suppose 0 = -3*k + 2*k - b + 87, 0 = -k - 5*b + 83. Is k a multiple of 4?
True
Let i be (10/(-3))/(-5)*15. Suppose -k - 3*l = i - 32, 4*l - 56 = -3*k. Suppose t - 2*f = -4, f - k = -3*f. Is t a multiple of 2?
True
Let j(b) = -2*b**3 + b**2 - 2*b + 1. Let x be j(1). Does 11 divide -1*(2/x + -32)?
True
Suppose 0*f = -2*f - 4*s, 4*f = -5*s. Suppose 30 = 3*v - f*v. Does 3 divide v?
False
Suppose 3*a + 0*a = 6. Suppose -a*c = -0*c - 66. Is c a multiple of 21?
False
Suppose 8*m - 1350 = -2*m. Is 15 a factor of m?
True
Let t = -124 + 174. Let l = -20 + t. Does 10 divide l?
True
Let k = 20 + 15. Is 5 a factor of k?
True
Let a(n) = -n**3 - 6*n**2 - 2*n - 16. Suppose 3*t + 41 = -4*s, -2*s + 4*s = -5*t - 45. Is 33 a factor of a(t)?
False
Let v(i) = -i - 2. Suppose -5*w = -21 + 71. Does 8 divide v(w)?
True
Let g be (-26)/(-6) + (-6)/(-9). Suppose 448 + 32 = g*o. Suppose -j = -5*j + o. Does 8 divide j?
True
Let k = -4 - -9. Suppose 3*l - 27 = 6*l + k*x, 0 = 5*l - 5*x + 85. Let h = l - -38. Is h a multiple of 12?
True
Suppose 2*y - 5 = -3*o, 0*y - 4*y - 23 = -5*o. Suppose i + 44 = o*c, 14 = 2*c + 3*i + 3. Does 13 divide c?
True
Is -3 + 102/(3/1) a multiple of 13?
False
Suppose 0 = 4*w + 40 - 156. Let v = -18 + w. Suppose 0 = -l + v - 2. Does 4 divide l?
False
Let r be 3/(-2 - 1)*-304. Suppose 0 = -4*j - 4*u + r, 0*u - u = -j + 84. Suppose -186 = -5*h + 4*d, j - 4 = 2*h - 2*d. Does 10 divide h?
False
Let l = -49 - -84. Does 13 divide l?
False
Let d(n) = -n**3 + 7*n**2 + 8*n + 10. Let h be d(8). Let v = h - 8. Suppose -u + 42 = i + 1, -v*i - 133 = -3*u. Is 19 a factor of u?
False
Let y(c) = 3*c + 24. Let s(i) = -7*i - 49. Let z(o) = 2*s(o) + 5*y(o). Suppose 0 = 3*h - 2*h. Is 9 a factor of z(h)?
False
Let n(y) = -y. Let s be n(-4). Let j = -6 - -9. Suppose -j*b - 3*c + 0 + 60 = 0, 0 = -3*b - s*c + 56. Does 12 divide b?
True
Let u(n) = n**2 + 6. Let y = 26 - 14. Suppose -3*c = -5*g - 7 + 19, 2*g + y = -3*c. Does 6 divide u(g)?
True
Let t(d) = d + 30. Suppose -4 = -5*h - 2*y, 0*y - 5*y = 15. Suppose 4*u + 8 = 