-5)?
False
Let s(j) = j**3 - 4*j**2 + j - 6. Let x(b) = -b + 4. Let q be x(-3). Let k = 12 - q. Is s(k) a multiple of 12?
True
Let q(k) = -k**3 - k**2 + 1. Let t be q(-1). Does 17 divide (3 + (-13)/t)*-2?
False
Suppose -119 = 5*a - 319. Is 10 a factor of a?
True
Suppose -2*n + 12 = 2*n - 4*h, 0 = 5*n - 3*h - 11. Does 5 divide 2/(1/(n - -3))?
False
Suppose -2*f - 4*b = -32 - 176, 3*b - 9 = 0. Is f a multiple of 14?
True
Suppose -3*v = -n - 29, -n = -4*n - 2*v - 54. Let q(s) = -s**3 - 8*s**2 + 1. Let p be q(-8). Is 12 a factor of (p - -8)*n/(-15)?
True
Suppose 0 = 6*m - 3*m - 42. Let q = 32 - m. Is q a multiple of 9?
True
Let j = 22 - 13. Suppose u = 2*u + j. Let q(m) = -m**2 - 10*m + 1. Does 10 divide q(u)?
True
Let k(o) = -o + 7. Let g be k(0). Let l(z) = -4*z**2 + 2*z - 1. Let y be l(1). Let a = y + g. Does 4 divide a?
True
Is (-1 - -15)*(-9)/(-6) a multiple of 17?
False
Does 23 divide (828/(-30))/(6/(-40)*2)?
True
Let w = 3 - -1. Suppose -7 - 73 = -w*x. Is x a multiple of 10?
True
Suppose 17 - 5 = 3*x. Suppose 2*v = x*v - 6. Suppose l - 20 = -v. Is l a multiple of 17?
True
Let x(v) = -v**3 + 8*v**2 - 6*v - 5. Does 2 divide x(7)?
True
Let s = 1 + -2. Is 4 a factor of 7 - (s + 0/(-3))?
True
Let r(l) = l**3 - 9*l**2 + 10*l - 2. Let d(y) = 8*y**2 + y + 1. Let q be d(-1). Let f be r(q). Let k = -1 + f. Is 8 a factor of k?
False
Let z(p) = -p - 2. Let k be z(0). Let c be 52/12 + k/(-3). Is (-1)/c + 102/10 a multiple of 10?
True
Let j = -13 - -19. Let x = j - 6. Suppose x = -4*s + 227 - 39. Is 20 a factor of s?
False
Let z(x) = 31*x - 1. Let h be z(1). Suppose 0*g + h = 3*g. Is 4 a factor of g?
False
Let m(n) = n**2 - 3*n - 7. Let j be m(5). Suppose 2*f - 242 = -4*h, h = -j*f - 0*f + 53. Does 15 divide h?
False
Suppose -t - 4*t + 10 = 0. Is (1 - -27)/(t/4) a multiple of 17?
False
Suppose -2*s + 17 = -5. Is 2 a factor of s?
False
Suppose 0*v - 6 = -3*v. Let t be (v - (-2 + 2)) + 0. Does 14 divide (1/2)/(t/132)?
False
Let f(u) be the third derivative of -u**6/120 - 3*u**5/20 - 5*u**4/12 - 3*u**3/2 + 9*u**2. Is 2 a factor of f(-8)?
False
Suppose -34 = -2*x + 32. Is x a multiple of 6?
False
Let d(a) = -3*a - 16. Does 23 divide d(-13)?
True
Suppose 9*l + 104 = 13*l. Is l a multiple of 13?
True
Let o = -108 + 135. Is 9 a factor of o?
True
Let v = 74 + -103. Let l = v - -44. Is l a multiple of 5?
True
Let u(f) = f**3 - f**2 + 3*f + 2. Let g be u(3). Let k = 44 - g. Is k a multiple of 15?
True
Let h(y) = y**3 - 5*y**2 + 6*y + 1. Let x(v) = v**3 + 3*v**2 - v - 1. Let r be x(-2). Is 23 a factor of h(r)?
False
Let k(m) = m**3 + 18*m**2 - 18*m + 35. Does 4 divide k(-19)?
True
Let o = 33 - 7. Is o a multiple of 12?
False
Let j = -3 + 0. Let p = 0 - j. Is 13 a factor of 6/4*52/p?
True
Let y be 1/(-3) + (-146)/(-6). Let h = y - 10. Suppose 4*q - 2*k - h = 0, -2*q + 6 = -k - k. Is q a multiple of 2?
True
Suppose -16 = 7*m - 1374. Does 48 divide m?
False
Let h = -65 + 180. Is h a multiple of 12?
False
Suppose 0 = 3*l + l - 232. Suppose 5*k + l + 24 = 4*b, -b + 12 = 3*k. Does 8 divide b?
False
Suppose 23 = -3*l + 149. Does 7 divide l?
True
Let t(s) be the first derivative of -1 - 4*s + 4/3*s**3 + 0*s**2 + 1/4*s**4. Does 3 divide t(-3)?
False
Let z(r) = -3*r + 7. Let v be z(-7). Suppose s + 4*j - 52 = 0, -s + 2*s - v = 2*j. Is 17 a factor of s?
False
Let v = 80 - 173. Let c = -57 - v. Does 20 divide c?
False
Suppose -5*r = -0*r - 820. Is r a multiple of 13?
False
Let a(x) be the third derivative of -x**6/120 - x**5/20 - x**4/6 - 2*x**3/3 - 5*x**2. Is a(-3) a multiple of 4?
True
Is 422/7 - (-28)/(-98) a multiple of 10?
True
Let a = 3 - 0. Suppose -15 = -h - 4*c - 1, 16 = a*h - c. Does 3 divide h?
True
Suppose -4*x - 5*k + 37 = 0, -2*x - k = -9 - 2. Let o = 36 + 122. Suppose 2*h - o = -5*t - 2*h, -2*t + x*h = -54. Does 11 divide t?
False
Let j(i) = 7*i**2 + 4*i + 5. Let u be j(5). Suppose h = 5*h - u. Suppose 0 = -g + 3*g - h. Is g a multiple of 15?
False
Let x = 2 - -12. Suppose a + 4*h = -0*a + 23, 2*a + x = 4*h. Suppose 0 = 2*b + 2*w - 8, 6 = -a*w - 0. Is 6 a factor of b?
True
Suppose 0 = 3*r + 3, 2*g + 3*g + 3*r - 282 = 0. Let x be ((-62)/2)/(-2 + 3). Let k = x + g. Is 13 a factor of k?
True
Let w(n) = 16*n**2 - 2*n - 4. Is w(3) a multiple of 39?
False
Let w(g) = -g - 10. Let n be w(-10). Suppose n*c = -5*c - 50. Let a = c + 48. Is a a multiple of 13?
False
Let u = 188 - 108. Is u a multiple of 20?
True
Is 1/5 + (-99)/(-5) a multiple of 6?
False
Suppose 3*n - 42 = -u - 4*u, -3*u = 4*n - 45. Does 2 divide n?
False
Suppose -3*w = 2*f - 157, 2*f + 5*w - 133 = 14. Is 23 a factor of f?
False
Let u(q) = -2*q. Let o be u(0). Is 11 a factor of 25 + o - (-3 - -5)?
False
Suppose -183 = -3*a + 2*a + 2*x, 2*x = 4*a - 732. Does 14 divide a?
False
Does 26 divide (25/(-10) + 3)*346?
False
Suppose 2*z + 5*d = 528, z + d - 6*d - 234 = 0. Is z a multiple of 13?
False
Suppose 183 = 5*m + c + 8, -3*c = -2*m + 53. Suppose 4*q = -m - 90. Is 16 a factor of -2*3/(-6) - q?
True
Let t(l) = 5 - 2 + 0*l + 4*l - 1. Is t(4) a multiple of 9?
True
Suppose 0 = -3*d + 3 + 3. Suppose 6 + 0 = -2*c + 5*n, 3*c = d*n + 13. Let s(i) = -i**2 + 8*i. Is s(c) a multiple of 6?
False
Suppose -1 = -4*j + 23. Suppose 3*n - j - 9 = 0. Suppose -3*d + 1 + 98 = -n*z, z + 143 = 5*d. Does 14 divide d?
True
Let b = 10 + -4. Suppose n - 3*l + 10 = 0, 4*l = 3*n + b - 1. Suppose 3*j + 11 = t, -89 = -3*t - 0*t - n*j. Is 16 a factor of t?
False
Let c(k) = -k**3 + 8*k**2 + 6*k - 6. Let d = -40 - -72. Suppose 4*v = -0*v + d. Is c(v) a multiple of 14?
True
Let p be 2 - (0 + 2 - 1). Let b be (0 + 1)/p*44. Suppose -5*k + 2*k + 2*y = -b, -2*k + 44 = -5*y. Is k a multiple of 12?
True
Is 12 a factor of (70/(-4) - -1)/(2/(-4))?
False
Let r be 1/((-6)/4)*-3. Suppose -n - n + 8 = 0. Suppose -22 = -n*u - r. Is u a multiple of 2?
False
Let o(b) = -3*b + 6. Let v be o(6). Let q be (-33)/(-12) + (-3)/v. Suppose -2*r - 23 = -q*r. Does 9 divide r?
False
Let y(c) = -34*c + 2. Let p(f) = -51*f + 3. Let a(n) = -5*p(n) + 8*y(n). Does 9 divide a(-1)?
True
Is 11 a factor of 2 - (-39 - (0 + -3))?
False
Let j(t) = 4*t - 5. Suppose 6 = -i + 3*w + 33, 93 = 5*i - w. Let c = i - 10. Is 14 a factor of j(c)?
False
Does 11 divide (-41)/(0 + 1)*-1?
False
Let u(l) = l**3 - 5*l**2 + l - 1. Let s be u(5). Let m = -4 - -94. Suppose b = -s*b + m. Is 12 a factor of b?
False
Suppose -3*u = u + 64. Let m = u + 7. Is 20 a factor of 80*(2 - m/(-6))?
True
Let l(y) = -2*y**2 - y + 151. Is l(0) a multiple of 27?
False
Let o = 31 - -83. Does 12 divide o?
False
Let l be (-462)/24 + (-2)/(-8). Let y = -27 + l. Let z = -31 - y. Is z a multiple of 7?
False
Suppose 0 = -5*i - 2*f - 10, i + 4*f = 5*i - 20. Suppose -4*r + 3*o - 81 = 0, -3*o - 2 - 1 = i. Let n = 11 - r. Is n a multiple of 12?
False
Suppose -29 + 146 = 3*s. Does 12 divide s?
False
Suppose 2*v = -3 - 3. Let j(y) = -2*y - 4. Let a be j(v). Suppose -2*o = -a - 34. Does 9 divide o?
True
Let r = 11 + -17. Let l = 10 + r. Suppose 22 + 12 = 4*k + 2*w, 3*w = -l*k + 29. Is k a multiple of 11?
True
Suppose 3*a - 20 = -2*a. Suppose -a*n - 3*p = -71, p - 1 = -0*p. Is 11 a factor of n?
False
Suppose 3*r - 102 = -2*v + r, -r - 267 = -5*v. Is 8 a factor of v?
False
Suppose -2*d - 31 = -s, -5*s - 2*d + 95 = -0*s. Suppose 2*h - s - 50 = 5*u, 4*h - u = 133. Let l = 61 - h. Is l a multiple of 10?
False
Is 11 a factor of ((-176)/12)/((-3)/9)?
True
Suppose v + 6 = 3*v. Suppose 3*j - 166 = 4*s, -194 = -2*s + 7*s + v*j. Let y = -29 - s. Does 11 divide y?
True
Let w(a) = -3*a - 3. Let d be (14/4 - 2)*-2. Let b be w(d). Suppose z - b*z = -g + 24, -2*z = -5*g + 97. Does 19 divide g?
True
Let c be (1/3)/(7/1155). Let k be (c/44)/((-2)/(-8)). Suppose 2*r = v - 20, k*v - 2*r = -5 + 105. Is 6 a factor of v?
False
Let i = -6 + 3. Let b(w) = -4*w - 6. Is 6 a factor of b(i)?
True
Let p(r) = -r**2 + r - 1. Let n be p(-3). Let d = n + 19. Is d a multiple of 3?
True
Let g(q) = q**2 - 3*q + 4. Let p be g(3). Suppose 53 = p*c - 51. Is 13 a factor of c?
True
Is (16/(-10))/((-8)/20) even?
True
Suppose 88 = 11*j - 9*j. Is j a multiple of 22?
True
Let n = 1023 - 715. Is 44 a factor of n?
True
Let z = 117 + -58. Suppose 4*o - 79 + 19 = -4*q, 0 = 4*o + 5*q - z. Let b = o - 10. Does 6 divide b?
True
Suppose 4*q + 50 = -q. Let t = -72 + 119. Let h = t 