ose -6 + 3 = -z. Suppose -14 = -m + 3*g, -m + z = g + 1. Is 2 a factor of m/3 - 4/(-12)?
True
Suppose -3*k - 1 = -10. Let q be 4/(-18) - 92/(-9). Suppose -q = -4*y + d, 5*y + 0*d = k*d + 9. Is 2 a factor of y?
False
Suppose -64 = -4*f + 4*a, -4*f = 2*a - 55 - 3. Is 15 a factor of f?
True
Let i(s) = -s - 15. Let k be i(-12). Is 4 a factor of k + 6*2 + 3?
True
Suppose 2*p - 4 = -0*p. Suppose 33 = 4*h - w, 0*w + p*w + 10 = 0. Is 3 a factor of h?
False
Suppose 10 = h - 18. Does 10 divide h?
False
Suppose 0 = -3*l + 2*l + 2*a + 105, 0 = 3*l + 2*a - 275. Suppose -l = -5*w + 10. Is 10 a factor of w?
False
Let j(b) = b**3 + 6*b**2 + 3*b - 5. Let z be 9/(-2) + (-2)/4. Let i be j(z). Suppose i*k - 15 = -0*k. Is 2 a factor of k?
False
Let z(h) = -h**3 - 8*h**2 - 3*h + 5. Let p = -11 - -3. Is 10 a factor of z(p)?
False
Let r(y) = -y**3 + 2*y**2 + 5*y - 3. Suppose 1 - 4 = -f. Is r(f) a multiple of 3?
True
Let w(b) = -b**2 + 3*b + 4. Let p be w(4). Let m = 5 - p. Is 4 a factor of m?
False
Suppose -g + 28 = -3*k + 80, 2*g - 4 = 0. Does 6 divide k?
True
Let a(l) = -l**2 + l + 5. Let i be a(0). Suppose 0 = -6*b + 3*b - k - 13, -2*k - 20 = i*b. Is ((-3)/2)/(b/32) a multiple of 4?
True
Suppose -4*a = -3*k + k - 28, 3*k = a - 7. Let z(p) be the second derivative of -p**4/12 + 11*p**3/6 - 5*p**2 + p. Is 9 a factor of z(a)?
True
Suppose -2*m = -34 - 276. Let w = m - 95. Is w a multiple of 17?
False
Suppose 0 = -2*q - 4*w + 532, 0 = 4*q - w + 614 - 1669. Is 8 a factor of q?
True
Suppose -2*b - 5*w = -6*w + 105, -3*b + 3*w = 159. Does 6 divide (2/4)/((-2)/b)?
False
Let y = -27 + 51. Is y a multiple of 4?
True
Let d(a) = -a**2 - 3*a + 2. Suppose 2*i = -2*x - 3*i + 8, 0 = -3*x - i + 12. Let l be d(x). Is l*(10/(-4))/5 a multiple of 13?
True
Let g(z) = -15*z. Does 15 divide g(-2)?
True
Let i(x) = -1. Let k(o) = o + 1. Let d(w) = -4*i(w) + 2*k(w). Does 14 divide d(11)?
True
Suppose 5*a - 4*w = 27, 12 = -5*w - 3. Suppose -3*s - a*f = -57 - 45, 0 = -2*s + 2*f + 76. Is s a multiple of 18?
True
Let r = 23 + -21. Is 19 a factor of (-1 - r)*(-17 + -2)?
True
Let m be ((1 - 2)*68)/(-1). Let i = m - 31. Is i a multiple of 18?
False
Let w be 4 - 2 - (1 - -11). Does 2 divide (-12)/30 + (-64)/w?
True
Let n = 1 - -4. Suppose -2*l + 2 + n = a, a = 3. Let q = l - -5. Is q a multiple of 7?
True
Let s = 6 + 0. Is 5 a factor of (-3)/(((-4)/s)/2)?
False
Suppose 0 = -2*n + 25 - 3. Let c be ((-4)/(-2) - n) + 0. Does 8 divide 5/(15/c) + 19?
True
Let y = 40 + -38. Let m(a) = -a + 11. Let v(d) = -6. Let l(z) = -6*m(z) - 11*v(z). Is 6 a factor of l(y)?
True
Suppose -34 = -5*m + g + 141, -m + 4*g = -54. Is m a multiple of 9?
False
Suppose -28 = -5*n - 3*l - 8, -2*n + 8 = -5*l. Let a = -2 - -2. Suppose a = -m + d + 16, -5*d + 2*d - n = m. Is 11 a factor of m?
True
Let k(m) = 4*m**2 + 5*m + 2. Is 23 a factor of k(-4)?
True
Let i = 86 + -38. Does 16 divide i?
True
Let z be (1 - 2) + -3*1. Does 23 divide 134*(-2)/z - 1?
False
Suppose -3*r + 21 = -0. Let o(g) = g. Is 7 a factor of o(r)?
True
Let d be (2 + 29 - 3) + 2. Suppose -5*f + 3*f + d = 0. Is 5 a factor of f?
True
Suppose -172 = 3*d - 5*d. Suppose 6*c = 244 + d. Is 20 a factor of c?
False
Suppose -5*p - 33 = 4*j, 2*j - 6*j - 3*p - 39 = 0. Let x = 20 + j. Is 4 a factor of x?
True
Does 43 divide 752/6 - 8/24?
False
Let b be 0 + 0 + -1 + -1. Let f be (-1 + 0)/(b/(-70)). Let k = -16 - f. Is k a multiple of 11?
False
Suppose -h - 5*m - 20 = 0, -2*m = -h - 9 + 24. Suppose -29 = -h*a - g, 9 = -3*a + 4*a + g. Suppose -z + 3*d + 2*d = -42, 0 = a*d + 20. Does 8 divide z?
False
Let t be -4 - 6/((-2)/1). Let i(o) = 4*o**2 - o - 1. Does 2 divide i(t)?
True
Let a = -70 + 26. Let f be (-317)/(-11) - 8/a. Suppose 0 = -7*t + 6*t + f. Does 11 divide t?
False
Suppose 5*s = -5*q - 40, s + 8 = -3*s. Does 25 divide 62 - (-1 - (q - -2))?
False
Let a(w) = 9*w**2 + 7*w. Is 12 a factor of a(-3)?
True
Suppose 4*g = 943 - 127. Is g a multiple of 25?
False
Suppose -4*l - 8 = -2*j, 0*l = -l. Suppose -4 + 16 = -j*q. Is (-1)/q - 141/(-9) a multiple of 16?
True
Suppose 4*f - 10 - 6 = 0. Let b = 4 - -1. Suppose 0*k = b*z - 2*k - 35, -z = f*k + 15. Is z even?
False
Let n(x) = -2*x + 2. Let y be n(-4). Suppose a - y = -4*a. Suppose 8 + 8 = a*h. Does 8 divide h?
True
Let s = 48 + -26. Is 1*s - 0/6 a multiple of 5?
False
Let o = -34 + -20. Is 8 a factor of 9/o - (-145)/6?
True
Let t(g) = 11*g + 4. Let c be (3 - 2)/(2/6). Does 10 divide t(c)?
False
Suppose -4*c + 3*c + 4 = 0. Suppose -48 = -c*p - 2*d, -4*d = -2 + 10. Does 13 divide p?
True
Suppose -3*k + 3*l + 105 = 0, -75 = -2*k + 4*l - 3*l. Does 40 divide k?
True
Suppose 14*p - 9*p = 70. Is p a multiple of 7?
True
Let u be -21 + 2 + -5 + 4. Let a = 33 + u. Does 13 divide a?
True
Suppose 4*a = 6 + 26. Does 9 divide (-2)/a*-4 - -35?
True
Let w(m) = m + 0*m**2 + 5*m**2 - 4*m**2 + 0*m**2 - 2. Is w(4) a multiple of 9?
True
Suppose 3*u + 7 = 1. Does 11 divide -55*(u/5 + 0)?
True
Does 11 divide ((-9)/(-27))/((-1)/(-132))?
True
Suppose 5*y - y = 0. Suppose y = -2*n + 3*n - 14. Suppose n = 3*h - 2*h. Is h a multiple of 12?
False
Let g = -11 + 15. Suppose -194 = -g*i + 70. Suppose -r + i = 2*r. Is 11 a factor of r?
True
Let o = -325 - -465. Suppose 5*v = -5*f + o, -v = -4*v + 5*f + 100. Is 21 a factor of v?
False
Let r = 13 + -1. Is 8 a factor of r?
False
Is 4 a factor of -4 - 2/((-8)/60)?
False
Suppose 2*q - 4*b = -0*b + 42, -q - 3*b + 1 = 0. Is q a multiple of 13?
True
Suppose 2*q = -5*b - 0*q + 185, 0 = 4*b + 3*q - 148. Is b a multiple of 13?
False
Let k = -3 - -95. Does 34 divide k?
False
Let h = -21 + 16. Let k = 11 - h. Is k a multiple of 16?
True
Suppose 0 = 5*a + o - 19, -6 - 1 = -a - o. Suppose 0*m = 5*p - 2*m + a, -3*p + 4*m = 13. Is 16 a factor of 1 - p - 2*-23?
False
Suppose 0 = h - 6*h + 315. Is 25 a factor of h?
False
Suppose -101 = -27*d + 26*d. Is d a multiple of 9?
False
Suppose 2*m + 24 = 5*m. Suppose -3*v + m = -4*v. Let b(n) = -4*n - 11. Does 8 divide b(v)?
False
Is 19 a factor of 6/(-1 + (-50)/(-46))?
False
Suppose 0 = -0*p - p + 2*l + 26, 0 = -p - 2*l + 10. Let c = p - -6. Is c a multiple of 8?
True
Let t be (5/((-10)/(-6)))/1. Suppose -t*g - 2*g + 240 = 0. Is 16 a factor of g?
True
Is (-5 - -5) + 84/(2 + 0) a multiple of 21?
True
Let g = 18 + 16. Let q = g - 2. Is 12 a factor of q?
False
Let v(s) = s + 8. Let w be v(-6). Suppose 0 = w*o + o - 45. Does 5 divide o?
True
Let i(v) = v**2 - 11*v - 3. Let k be i(-5). Let g = -13 + k. Does 14 divide g?
False
Is 5*(152/20 - 1) a multiple of 11?
True
Let i(r) = r**2 - 5*r + 6. Suppose 5*a - c + 27 = 0, -5*a - 6*c - 15 = -c. Is i(a) a multiple of 8?
True
Let z(x) = 9*x**2 - 6*x + 17. Does 40 divide z(3)?
True
Let b = -66 + 200. Does 15 divide b?
False
Let c(s) = -5*s + 5. Does 13 divide c(-14)?
False
Let v be 45/2 + (-1)/2. Suppose v = 3*k - k. Is 11 a factor of (k + 0)/(1 + 0)?
True
Let o be (12 - 4) + (-1 - 0). Suppose -2*l + o = -l. Let s = -3 + l. Does 3 divide s?
False
Is (0 - (9 - (-10)/(-5)))*-14 a multiple of 7?
True
Suppose 0 = 3*c + 2*c - 200. Suppose 3*y - 5*y = -c. Does 13 divide y?
False
Suppose x + 0*a + 4 = 4*a, -4*x + 3 = 3*a. Let w = 6 - x. Does 3 divide w?
True
Let z be 6*(0 - 5/(-2)). Let a = z - 11. Suppose -18 = -a*p + 42. Does 5 divide p?
True
Let q(x) = -x**3 - 10*x**2 - 7*x - 2. Is 34 a factor of q(-10)?
True
Suppose 2*f + 18 + 10 = 0. Let y = f + 19. Is 2 a factor of y?
False
Let i(l) = 5*l - 3. Suppose 0 = -5*u - 3 + 18. Does 6 divide i(u)?
True
Let i = -44 - -74. Suppose 3*w - 36 = i. Does 11 divide w?
True
Let j be -332*((-12)/(-8))/(-3). Suppose -4*t = 4*c + t - 146, -j = -5*c + 2*t. Is c a multiple of 15?
False
Let y = 23 + -3. Suppose 72 = 4*n + 4*k, 4*n + 5*k = 90 - y. Is 8 a factor of n?
False
Suppose 231 = 6*k - 309. Does 17 divide (k/3 - 3)*1?
False
Suppose 0*v + 5*v = 0. Let x be 2/(-4)*(0 - v). Suppose 4*q = -3*t + 24, t = 5*q - x*q + 8. Does 4 divide t?
True
Let f(n) = -2 + 4 - 2 - 10*n + 1. Let b be (-9)/15 + (-4)/10. Does 6 divide f(b)?
False
Let g(h) = h**2 + 2*h + 6. Let x be -2 + (-1 - (-1 - -2)). Is 8 a factor of g(x)?
False
Let o = -65 + 115. Suppose 4*b - o = -b. Suppose 0 = 4*j - 58 - b. Is j a multiple of 8?
False
Let f(w) = w**2 + 8*w - 18. Let l be f(-10). Let d = 0 - 0. Suppose -l*z + 59 + 39 = d. Does 18 divide z?
False
Su