= -t*z - 2*a + 60, 3*z = y*a + 288. Does 12 divide z?
True
Let b be (-10994)/(-23) + (2 - 1) + -3. Suppose -o - b = -8*o. Does 20 divide o?
False
Suppose 0 = 2*i + 48 - 144. Does 24 divide i?
True
Let k be (-3 - -4) + (-80)/(-2). Let f(d) = -1 - 14*d - k*d + 15*d. Is f(-1) a multiple of 10?
False
Let y be 2880/75*10/3. Let j = y - 68. Is j a multiple of 15?
True
Let p be 40/(-18) - 8/(-36). Let j be ((-6)/9)/(p/63). Let a = j + -7. Does 14 divide a?
True
Suppose 122*z + 2370 = 127*z. Is 11 a factor of z?
False
Let h(s) = s + 7. Let j be h(5). Suppose -10*p - 138 = -j*p. Is p a multiple of 10?
False
Suppose -4*g = -g - 2*k - 189, 0 = 4*k. Suppose -z + 6*z - g = -3*d, 0 = -5*d - 20. Is (27/z)/((-2)/(-10)) a multiple of 3?
True
Suppose 792 = 2*q + 4*n, 2*n + 792 = 5*q - 3*q. Is 5 a factor of q?
False
Suppose 0 = 206*u - 204*u + z - 3701, -1858 = -u - 2*z. Does 42 divide u?
True
Let h = 14 + -10. Let y = h - 7. Is (-6 + y)/((-3)/9) a multiple of 13?
False
Suppose -6*o + 9*o + 222 = 0. Is (-8)/(-12)*6 - o a multiple of 39?
True
Suppose -60 = -x - 18*m + 13*m, 0 = 2*x + 5*m - 125. Does 5 divide x?
True
Suppose 102 = 2*j - 3*y, 3*j - 118 = 4*y + 36. Is 9 a factor of (6/9)/2*j?
True
Suppose 0 = -q + 3 + 13. Suppose 0 = q*n - 14*n - 38. Let v = n + -8. Is 2 a factor of v?
False
Is (2 + 134/3)/(4/12) a multiple of 14?
True
Let z = 111 - 118. Let n be 2/8 - (-13)/(-4). Does 10 divide z*(n - (-36)/(-28))?
True
Suppose 14*x - 38*x = -8088. Is 13 a factor of x?
False
Let g = 0 - -4. Let v be 5 - (3 - g) - -1. Let m(f) = f**2 - 4*f - 6. Is 5 a factor of m(v)?
True
Suppose -7*v = -8*v - 2. Let m be (6/15)/(v/10). Is m - (-2 - (-3)/(-1)) even?
False
Let o(f) = -2*f**3 - 51*f**2 + 7*f + 45. Is o(-26) a multiple of 49?
True
Let p be -1*(2 + -7)/1. Let z(i) = -i**3 + 8*i**2 - 9*i - 3. Let o be z(5). Let u = o - p. Does 4 divide u?
False
Suppose 8*r = -35 + 11. Is 16/(-5) - r - 136/(-5) a multiple of 5?
False
Let d = 84 - 78. Suppose -34 = 3*k - 4*j - 136, -d = -2*j. Does 38 divide k?
True
Suppose -b + 0 = 2, 5*i + 4*b - 1012 = 0. Let p = -34 + i. Is 10 a factor of p?
True
Suppose 10 = 5*k, 4*k + 30 = -2*t + 8*k. Let y(a) = a**2 + 9*a - 8. Is y(t) a multiple of 3?
False
Let u = -29 - -31. Does 3 divide (-2 + 39/6)*u?
True
Suppose 5*y + 3*v - 165 = 0, -2*y + 4*y = 4*v + 92. Let z(p) = -p**2 - 6*p + 6. Let k be z(-5). Let m = y + k. Is 16 a factor of m?
False
Suppose -12 + 0 = -3*b. Is (0/((-16)/b) + 2)*20 a multiple of 5?
True
Let w be 4/10*(5 - -5). Let j(l) = -7*l**2 + 21*l - 10. Let v(n) = 3*n**2 - 10*n + 5. Let x(d) = w*j(d) + 10*v(d). Is x(10) a multiple of 25?
True
Let s = 10 - 8. Suppose 3*q - 2*t - 31 = -7*t, 0 = -3*q + s*t - 4. Suppose -q*g + 43 = -25. Does 6 divide g?
False
Let r(j) = 29*j - 5. Let v(k) = 14*k - 2. Let y(z) = 3*r(z) - 5*v(z). Let c be (-5)/(-3)*(-5 + 8). Does 20 divide y(c)?
True
Let m = 413 - -341. Is 17 a factor of m?
False
Suppose -3*y - 6 = -21. Let j(s) = -44*s**3 - s**2 + 4*s + 4. Let v(r) = 44*r**3 + r**2 - 5*r - 5. Let g(z) = y*v(z) + 6*j(z). Is g(-1) a multiple of 14?
False
Suppose -68 = 2*p + d, 0 = -2*p - 2*d - 3*d - 60. Let r = 57 + p. Is (-38)/(-3) - r/(-66) a multiple of 4?
False
Let s(v) = -7*v - 6. Suppose 4*a = -4*l - 56, 2*l - 10 = 4*a + 16. Is 19 a factor of s(a)?
True
Let h = 3458 + -632. Is 47 a factor of h?
False
Suppose -x = -u + x - 12, -42 = 2*u + 5*x. Let d = u + 19. Suppose 5*k = -g + 35, -2*g = -k - d*g + 11. Is 3 a factor of k?
True
Suppose -155*d = -154*d - 92. Does 5 divide d?
False
Let y be ((-6)/(-8))/(6/16). Let p be (6/8)/(y/8). Suppose 4*g - 26 = p*g. Is g a multiple of 26?
True
Does 11 divide (-589)/76*6*(-66)/9?
True
Suppose -2*r + 0 = -6. Suppose 0 = 5*i + 5*o - 140, -77 = -r*i - 2*o + 3. Does 24 divide i?
True
Suppose -5*y + 2*q = 3*q - 122, 4*q - 104 = -4*y. Is y a multiple of 12?
True
Let p(l) = -35*l - l**2 + 26*l + 31*l + 16. Does 23 divide p(11)?
False
Let f(n) be the third derivative of n**6/120 + 11*n**5/60 + 11*n**4/24 + 13*n**3/6 + n**2. Let b(a) = -4*a - 22. Let v be b(-3). Is 2 a factor of f(v)?
False
Let d be -3 + 395/(4 - -1). Suppose 2*b + 3*t - 98 - d = 0, -3*t - 393 = -5*b. Does 9 divide b?
True
Suppose -4*l - 5*n = -78, 0 = n - 2 - 0. Let v(j) = -j**3 + 17*j**2 + 12*j - 12. Does 24 divide v(l)?
True
Suppose -2*b - 420 = -2*q, 5*b - 151 - 644 = -4*q. Is 5 a factor of q?
True
Let i = -1022 + 1787. Is 8 a factor of i?
False
Is -5*-4*166/20 a multiple of 6?
False
Suppose 3*n - 6 = -v, 5*v + 4*n + 6 = 3. Suppose -k + 2 = 7. Does 4 divide k*(48/(-10) - v)?
False
Suppose -3*f = -4*f. Suppose f = 5*a - 54 - 6. Does 6 divide a?
True
Let f be (-27)/6*(-8)/6. Suppose -n - f = -3*n. Suppose 2*i - 16 = -3*a, -n*i + 5*a - 14 = -0*i. Is i even?
True
Let r(j) = 5*j + 3. Let d(b) = b + 15. Let y be d(-9). Suppose -a + y = -3. Is 16 a factor of r(a)?
True
Is 17 a factor of 119*(7 + -2 - -5)?
True
Let z(y) = 126*y + 1. Let p be z(7). Let i = 1348 - p. Suppose 2*t - 7*t = -i. Is t a multiple of 31?
True
Let m be (-10)/65 + 112/52. Is 7 a factor of m/3 - 372/(-9)?
True
Is (176/(-121))/8 + (-994)/(-22) a multiple of 11?
False
Suppose -2*g + 29 = -0*g - 3*w, 2*g - 39 = 5*w. Let z(y) = 4*y - 14. Is 10 a factor of z(g)?
False
Suppose 12*u = 10*u. Let z = 28 + -24. Suppose -v + z*v = -p + 26, p - v - 26 = u. Is 5 a factor of p?
False
Suppose 5*d - 3466 = -4*c, -2*d = 5*d + 3*c - 4842. Does 46 divide d?
True
Is (-5293)/(-12) + (-50)/600 a multiple of 20?
False
Let m be (-14 + 18)*((-9)/(-3) + -1). Let v(b) be the third derivative of -b**6/120 + 2*b**5/15 + b**4/8 - 2*b**3 - b**2. Is v(m) a multiple of 12?
True
Let u = 2 - 0. Suppose 3*m + 72 = 2*p + p, 72 = 4*p + u*m. Suppose -4*t - 5*a - 12 = 1, -4*a - p = 0. Is 2 a factor of t?
False
Let g(b) = -b**2 - 11*b + 2. Let a be (39/(-6) - -1)*2. Let k be g(a). Suppose k*r - v = 28, r - 3*v - 2*v = 32. Is r a multiple of 6?
True
Let h(y) = 17*y - 120. Does 6 divide h(14)?
False
Suppose 0 = 4*p, 0 = -4*q - 0*p + 2*p + 728. Is 7 a factor of q?
True
Does 12 divide (-16604)/(-36) + 7 + (-6)/27?
True
Let r(s) be the second derivative of 67*s**3/6 - 9*s**2/2 + 28*s. Is 37 a factor of r(4)?
True
Let g = -113 - -181. Let b(r) = r**3 - 7*r**2 - 12*r + 18. Let o be b(8). Let j = g + o. Is j a multiple of 18?
True
Let s be 25/35 + 2/7. Let d(x) = -5*x**2 - 2*x + 1. Let a be d(s). Let k = a - -54. Is 12 a factor of k?
True
Let u = 2798 - 1353. Is u a multiple of 15?
False
Let g(p) = -3*p - 22. Let v(w) = -2*w - 15. Let i(u) = 5*g(u) - 7*v(u). Let q be i(-8). Suppose 0 = 2*y - q*y + 34. Is y a multiple of 8?
False
Let a(b) = -36*b - 5. Let i(o) be the first derivative of -9*o**2 - 3*o + 6. Let d(s) = -4*a(s) + 9*i(s). Does 22 divide d(-5)?
False
Suppose 2*l + 4*m + 3 = 23, -l + 25 = 5*m. Suppose l = -2*a + 4*f + 12, 0 = -5*a + 2*f + 35 - 5. Does 2 divide a?
True
Let d = -10 + 18. Let v = d - 6. Suppose -4*w + v*x = -80, -11 = -5*x + 9. Does 11 divide w?
True
Let n = 8 - -2. Suppose -2*v = -g + n, 0*g + 2*g + 4*v + 20 = 0. Does 4 divide (1 + (g - 3))*-2?
True
Suppose -890 = -59*l + 57*l. Is 31 a factor of l?
False
Let p = -11 - -27. Does 10 divide -2 + p + 1 + -1?
False
Is 1296/(-80) + 16 - 21606/(-5) a multiple of 12?
False
Let t = 13 + -11. Let k be 0 + 1 + t - 3. Suppose 0*d - 3*d + 126 = k. Does 14 divide d?
True
Suppose 13*i - 738 = 4*i. Suppose 4*z = -5*w + 2*w + 185, -2*z + 2*w + i = 0. Is z a multiple of 35?
False
Suppose -r - 2*r = 459. Let a = -83 - r. Does 16 divide a?
False
Is (14 - 17)*(92/(-6))/1 a multiple of 8?
False
Let g = -463 - -491. Suppose -5*a - 20 = -3*u - 3*a, -24 = -4*u + 2*a. Suppose -w + u*s = -g, 3*w - 2*s = 8*w - 74. Does 6 divide w?
False
Is 24 a factor of 320/(-6 + 1148/189)?
True
Is 3 a factor of -5 - ((-126)/84)/((-3)/(-928))?
True
Let h be 2 + -3 + 3 - 2. Suppose y - 9 - 15 = h. Does 8 divide y?
True
Let u = -19 - -23. Suppose v - 245 = -u*v. Is 16 a factor of v?
False
Let f = -7 + 23. Let c = f + 3. Is c a multiple of 19?
True
Let k = 1408 + -416. Does 31 divide k?
True
Suppose 0 = 4*v - 4, 3*q + 3*v - 508 = 2*v. Is q a multiple of 13?
True
Let h = 400 + 50. Is 30 a factor of h?
True
Suppose 5*o + j - 863 - 196 = 0, -4*o - 5*j + 843 = 0. Does 35 divide o?
False
Suppose 46*f - 2784 = 17*f. Is f a multiple of 12?
True
Suppose 5*d + 596 = 5*