s 8 divide v(-3)?
False
Is 33 + -6 + (1 - -2) a multiple of 12?
False
Let c = -3 - -6. Suppose b = -c*b + 124. Is 11 a factor of b?
False
Let q = 0 + 3. Suppose -k + 2 = -q. Suppose -4*r + 69 = 2*j - r, 52 = j + k*r. Does 12 divide j?
False
Let v be 1*-4 + 0/2. Let d be (-1840)/(-18) - v/(-18). Suppose -d + 0 = -3*m. Does 12 divide m?
False
Let d(a) = a**3 + 7*a**2 + 4*a + 2. Let h be d(-6). Suppose -2*u + 4 = -h. Does 2 divide u?
False
Suppose -5*k = 0, 2*k + 3 = 5*b - 17. Let s be 14/b + (-1)/2. Let u(n) = -n**3 + 4*n**2 + 2*n + 3. Does 9 divide u(s)?
True
Let g = 3 + 0. Let u be (-1)/5 - (-42)/10. Suppose -g*n + 54 = -2*a + 5*a, -2*n = -u*a - 12. Does 7 divide n?
True
Let r = 8 + -1. Is r a multiple of 7?
True
Let u(d) = d**2 - 8*d - 57. Does 13 divide u(17)?
False
Let x(t) = t**2 + t - 5. Is x(-4) a multiple of 2?
False
Let n(g) = -g**2 - 8*g + 3. Is n(-5) a multiple of 6?
True
Suppose -5*l = 2*d - 209, -75 = -5*l + 2*d + 146. Does 6 divide l?
False
Does 13 divide (-6)/15 + 1835/25?
False
Let q be 4/(-14) - 37/(-7). Let a(c) = 3*c - 11. Let r(o) = 8*o - 28. Let t(i) = q*r(i) - 12*a(i). Does 8 divide t(6)?
True
Suppose s - 4*s = -9. Is ((-20)/3)/((-1)/s) a multiple of 10?
True
Let f be (-2 - (-36)/15)*-5. Let y = -9 + 16. Let z = y + f. Does 3 divide z?
False
Let u = 105 - 57. Does 8 divide u?
True
Let g(s) = s**3 + s**2 + 2*s - 1. Does 3 divide g(2)?
True
Let q = -496 - -763. Is 45 a factor of q?
False
Let i = 167 + -43. Does 24 divide i?
False
Let j be 0 - (-1 - -8)/1. Let y(d) = d + 1. Let u(o) = -o + 1. Let p(b) = 2*u(b) - y(b). Is p(j) a multiple of 11?
True
Let u = 85 + -74. Is u a multiple of 3?
False
Let h be (-3 - -6) + (0 - 49). Let k = 219 + -120. Let w = k + h. Does 15 divide w?
False
Let i(o) = o + 11. Let y be i(-9). Let p(n) = 0*n**2 + 5*n**y + 2*n**2 - n**2 - 5 - 11*n + n**3. Is 6 a factor of p(-7)?
False
Let h be (-9 + 3)*(-8)/12. Suppose -8*q = -h*q - 204. Is q a multiple of 17?
True
Suppose 3*a - 7 - 14 = 0. Let j(w) = -w**3 + 9*w**2 - 9*w - 8. Is 11 a factor of j(a)?
False
Does 5 divide 318/16 - 9/(-72)?
True
Let r(y) = -y**3 - 4*y**2 - 3*y - 1. Let g be r(-2). Let n = 0 - g. Suppose 0 = n*s - 2*q - 124, 3*s + 2*q = 8 + 96. Does 19 divide s?
True
Does 19 divide 4 - (2/13 + (-5405)/65)?
False
Suppose -3*b + 98 = -b. Suppose 2*x = b + 7. Does 12 divide x?
False
Let q be 1/4 + 1078/8. Suppose 4*o + 5*c - 107 = 0, -5*o + q = 5*c - 0*c. Is 28 a factor of o?
True
Suppose -4 = g + 3*x - 23, x + 15 = 5*g. Is (g + -2)*19/2 a multiple of 7?
False
Let k(j) = -j**3 - 7*j**2 - 9*j - 7. Does 7 divide k(-6)?
False
Suppose -p - 38 = 4*u - 0*p, 2*u = 4*p - 28. Is (-8)/u*(-5)/(-2) a multiple of 2?
True
Let l = -134 - -154. Is l a multiple of 10?
True
Let m(v) = v**2 + 2*v - 1. Let s be m(-3). Let z(w) = -s*w - w - w. Does 8 divide z(-2)?
True
Suppose 2*x - 4*x = 14. Let i = x + 21. Does 7 divide i?
True
Suppose 3*q + 5*q = 384. Does 24 divide q?
True
Let h be (-2)/10 - (-80)/25. Suppose -16 = -h*i - i. Is 3 a factor of i?
False
Let a(w) = -w**3 + 13*w**2 + 16. Is 3 a factor of a(13)?
False
Suppose 4*p - p = 54. Let i = 5 + p. Is 12 a factor of i?
False
Let m = -231 - -120. Let l be m*(3/9)/(-1). Suppose b - 34 = -3*s - 0, -4*s - 3*b + l = 0. Does 10 divide s?
False
Let t(p) = -35*p - 1. Let y be t(-1). Suppose 2*g + 2*s - y = 0, 3*g - 4*g - 2*s = -16. Is g a multiple of 18?
True
Suppose 0 = -3*o - 3*m + 330, -11*o + 122 = -10*o - 2*m. Is o a multiple of 19?
True
Suppose 2*w + w = 60. Let k be (w/(-6))/(2/(-6)). Is (16/k)/((-4)/(-20)) a multiple of 8?
True
Suppose -6*k = -2*k - 2*x - 238, x = 5. Is 9 a factor of k?
False
Let q be 41 + (-6)/(-3) + -1. Suppose 0 = -2*u - 12 + q. Does 10 divide u?
False
Let l(r) = 8*r - 4. Suppose 2*y - 5*k - 7 = 0, 8 = 2*y + 3*k - 7. Does 14 divide l(y)?
False
Suppose -3 = -3*l + 6. Let k(z) = -z**3 + z**2 + 3*z - 2. Let s be k(2). Suppose s*x + 5*g = x - 23, l*g = -12. Is x a multiple of 2?
False
Is 3 a factor of (-1344)/(-45) - 16/(-120)?
True
Suppose -15 = 2*z - 3*z - 3*r, 4*z + 2*r = 90. Is 8 a factor of z?
True
Let t(c) = 152*c**2 - c. Does 10 divide t(1)?
False
Suppose -37 + 13 = -4*p. Let b = p + 7. Does 12 divide b?
False
Let r(k) = -10*k**3 - 2*k**2 + 3*k - 2. Let o(s) = s**3 - s**2 + s - 1. Let x(g) = 2*o(g) - r(g). Is x(1) a multiple of 4?
False
Suppose -4*a - 2*c - 218 = -9*a, -4*a - 3*c = -179. Is 11 a factor of a?
True
Suppose -x - 4*g + 53 + 53 = 0, 2*x + 2*g = 194. Suppose -4*i + v + 0*v = -x, -2*i - v + 44 = 0. Is 14 a factor of i?
False
Let c be 0 - (-4 - -7) - -5. Suppose 4*q = c*w + 122, -q - 2*q + 96 = 3*w. Does 23 divide q?
False
Suppose 1 = 3*u - 95. Is u a multiple of 8?
True
Let n = -407 + 622. Suppose -4*g + 285 = -w, -4*g + 2*w = -g - n. Is 12 a factor of g?
False
Suppose 2*x = -0*u + 5*u - 432, -3*x - 433 = -5*u. Does 6 divide u?
False
Suppose -4*q + 0*q = -16. Suppose -q*b - 232 = -3*j - 546, -3*j - 391 = -5*b. Is 24 a factor of b?
False
Does 10 divide ((-107)/2)/((-14)/4 - -3)?
False
Is 7 a factor of 3/((-3)/9 + 177/450)?
False
Let i = -5 - -15. Suppose i = 3*w - 8. Does 2 divide w?
True
Let x(l) = -l**3 - 10*l**2 + 11*l + 2. Let h be x(-11). Suppose -120 = -h*n - 3*n. Does 20 divide n?
False
Let d be (1 - 2)/((-3)/135). Suppose d = 3*h - 0*h. Is h a multiple of 5?
True
Suppose 0 = -4*h + 2*h - 3*t + 4, 0 = 3*h + t - 6. Suppose -5*j = -h*j + 9. Let k(n) = n**2 - 2*n - 1. Does 14 divide k(j)?
True
Suppose -4*p = -4 + 52. Let c be ((p/1)/(-3))/1. Does 7 divide 0 + -14*(-2)/c?
True
Let k be ((-44)/8)/(1/(-12)). Let m = 6 + k. Let f = -48 + m. Is 9 a factor of f?
False
Let l(f) be the third derivative of -f**5/60 + 7*f**4/12 - 2*f**3/3 - 3*f**2. Is l(12) a multiple of 5?
True
Let p = 28 - 49. Suppose -14 = 2*x - 0*o + 3*o, 2*o + 57 = -5*x. Let b = x - p. Does 3 divide b?
False
Suppose 4*y - 20 = -0*y + 3*o, -4*y + 2*o = -20. Suppose y*b = b + 36. Does 18 divide 422/8 + b/(-12)?
False
Suppose a + 24 = 7*a. Is 4 a factor of a?
True
Suppose 0 = 5*n + 25, -q - 3*q - 5*n = 41. Is 2 a factor of 232/32 - (-1)/q?
False
Suppose -i + 3 - 1 = 0. Suppose 0 = -i*h + 7*h - 65. Is 4 a factor of h?
False
Suppose 6 + 3 = 3*f. Suppose 4*w - 2*d - 12 = 0, f*w + 2*d = w. Does 10 divide (3*w)/((-4)/(-12))?
False
Suppose 0 = -6*w + w + 20. Let a be (-6)/w - (-476)/(-8). Let z = a + 87. Is 13 a factor of z?
True
Let i be 126/8 - (-5)/20. Suppose -4*s - 5*t + 12 + 12 = 0, 4*t = -i. Is 11 a factor of s?
True
Suppose 3*u - 5 = 49. Is u a multiple of 18?
True
Let n(j) = j**2 + 3*j - 6. Let s be n(-5). Suppose -3*y + 11 = -s. Is 5 a factor of y?
True
Suppose 2*i = -2*i + 160. Is i a multiple of 11?
False
Let i = 150 - 89. Suppose 0 = 4*u - 3*q - 117, 0 = -5*u + 5*q + 84 + i. Is u a multiple of 6?
True
Let q be -3*3/(27/(-6)). Let p be (-3)/2*(-14)/3. Suppose 0 = r - 0*o + 4*o + p, -o - 22 = -q*r. Does 4 divide r?
False
Let d(m) = -3*m + 5. Let u be d(6). Suppose -2*t + s = -t - 19, -92 = -4*t - 4*s. Let b = u + t. Is b a multiple of 8?
True
Let c = -2 - 18. Is 30 a factor of (-1966)/(-18) + c/90?
False
Let c(r) = -3*r + 7. Let s be (3 - (-7)/(-2))*16. Does 25 divide c(s)?
False
Let n(b) = b**2 + 4*b - 1. Let k be n(-5). Suppose -p - k*w = p - 10, 4*w + 32 = 4*p. Suppose -p*h = -3*h - 88. Is h a multiple of 11?
True
Let g = 0 + 2. Let k be 1*(-2 + g - 0). Suppose k = 3*c, -2*r - 2*r + 5*c + 52 = 0. Does 13 divide r?
True
Suppose -5*w - 2*x + 6*x = -19, -w = 4*x - 23. Suppose 2*f + 170 = w*f. Is 17 a factor of f?
True
Let q = -793 + 544. Does 20 divide q/(-6) - (-1)/2?
False
Let g be -94 + 0/4 - -4. Does 26 divide 6/(-9)*g + 0?
False
Let l be (-6)/(-21) - 289/7. Let p = 70 + l. Is 15 a factor of p?
False
Let i = -1 + 5. Let y = i + 11. Let z = y + -10. Is 5 a factor of z?
True
Let u be (9/(-6))/(3/(-4)). Let i be (u + -2 + 0)*1. Suppose -3*m + 4 + 14 = i. Is 6 a factor of m?
True
Let w(b) = -b**3 + 7*b**2 - 8*b + 7. Let f(d) = d**2 - 4*d. Let r be f(4). Let j = 5 + r. Does 10 divide w(j)?
False
Let w(j) = j + 16. Let s be w(-12). Suppose -4*y - d + 169 = -128, -312 = -s*y + 4*d. Does 17 divide y?
False
Let r be 28/21*3/2. Let x = 20 + r. Suppose 0 = -2*c + 3*c - x. Is 11 a factor of c?
True
Let m = 169 + -98. Is 4 a factor of m?
False
Let d = -18 - -38. Let r = 39 - d. Suppose 0 = -2*j + 9 + r. Is j a multi