Is 26 a factor of d?
False
Suppose -5*x + 3*a + 189 = -0*a, 0 = -4*x - 4*a + 132. Let n = -21 + x. Does 8 divide n?
False
Let r = 40 - 73. Let v = -21 - r. Suppose 0*s = -2*s + v. Does 4 divide s?
False
Suppose -12*q = -15*q - 21. Let i = q + 24. Is 8 a factor of i?
False
Let a(v) = -v + 12. Does 6 divide a(-6)?
True
Let i(d) = 2*d**3 - 5*d**2 + 9*d + 9. Let o(n) = -3*n**3 + 11*n**2 - 19*n - 19. Let z(p) = 5*i(p) + 3*o(p). Is z(-9) a multiple of 12?
False
Let v be (-1974)/33 + (-6)/33. Let g = -30 - v. Is 15 a factor of g?
True
Let l = 55 + -33. Let c = 63 - l. Is c a multiple of 9?
False
Suppose -1 - 1 = -n - 2*v, 0 = -3*n - 5*v + 5. Suppose n*c + 21 = c + 2*j, 4*j = 2*c - 74. Suppose -2*p + 3*p - c = 0. Is p a multiple of 11?
False
Does 22 divide 0 + 83 - (4 + -3)?
False
Let c(q) = -3*q**2 + q + 12. Let l be c(6). Suppose 3*u + 6*v = 4*v - 139, -200 = 4*u - v. Let x = u - l. Does 15 divide x?
False
Suppose 0 = -0*w - 2*w - 4, -4*f - 32 = 2*w. Let x = 45 + f. Suppose -2*b = -x + 16. Is 9 a factor of b?
False
Suppose 2*u - 52 = 4*y, -2*u - 2*y + 114 = 2*u. Is u a multiple of 7?
True
Let f(q) = 6*q**2 - 5*q + 3. Does 24 divide f(-4)?
False
Let x(u) = u**2 - 2*u + 3. Let z be x(2). Suppose -3*w = z*s - 45, 2*s + 3*w - 29 = -0*w. Is 8 a factor of s?
True
Suppose 3*t = p + p - 390, -2*p + 2*t + 390 = 0. Is p a multiple of 39?
True
Let b = -11 + 32. Let o be 28/b - 1/3. Does 12 divide 23 - (-2)/o - -1?
False
Suppose 0 = 5*d - 57 - 253. Suppose -2*y + 30 = -d. Let w = -32 + y. Is 7 a factor of w?
True
Suppose 2 = 3*b - 2*b. Let v = 3 + b. Let n = v - 1. Does 4 divide n?
True
Let h(a) = -a - 8. Let l be h(-12). Suppose -25 = -2*p + p - 2*y, -5*p = l*y - 143. Is p a multiple of 13?
False
Let y = 0 + 1. Let m be (1 - (2 - y))/(-2). Suppose 0 = -g - d - 4*d + 11, m = 3*g - 4*d - 52. Does 10 divide g?
False
Let i be 4/6*(-5 - 10). Let w = i - -9. Is w*6 + 3 + 15 a multiple of 6?
True
Let s(l) be the first derivative of l**3/3 - 2*l**2 - 6*l - 3. Let n be s(7). Suppose -n = -4*z + 9. Is z a multiple of 6?
True
Suppose -2*o = o - 369. Suppose -q - 120 = -4*q - 3*x, 0 = -3*q - 4*x + o. Is 11 a factor of q?
False
Suppose -4*p + 108 = -p. Is p a multiple of 15?
False
Let d = 2 - 6. Let i = 4 + d. Let r = 6 + i. Is 3 a factor of r?
True
Let h = -70 - -106. Is 24 a factor of h?
False
Let p be 4/12*21 - 4. Suppose -5*g + p*b + 254 = 0, 2*b + b - 6 = 0. Is g a multiple of 14?
False
Suppose -z + 3*g = 3*z - 4, -2*g = 3*z - 3. Let u = z + -3. Does 10 divide (2/(-1))/(u/24)?
False
Suppose 5*b + 25 = 0, b + 10 = -5*z + 5*b. Is -1 - 15*(2 + z) a multiple of 19?
False
Let t(k) = k + 1. Let u(m) = -m**2 - 4*m + 5. Let c be u(-4). Is 2 a factor of t(c)?
True
Suppose 2*w - w = -3*h + 80, -4*w - 5*h + 285 = 0. Suppose 0 = -c - 4*c + w. Let k = c + -6. Is k a multiple of 6?
False
Suppose 5*q - 323 + 0 = -3*d, 316 = 3*d - 2*q. Suppose 44 = u - 2*w, -5*u + d = -3*u + 5*w. Suppose -t - 3*t + u = 0. Is t a multiple of 9?
False
Does 14 divide 40/4 + -5 + 37?
True
Let h(j) = 3*j**2 + 2*j + 8. Does 15 divide h(-4)?
False
Let l(b) = 11*b - 1. Let j be l(1). Let r = 47 + j. Is r a multiple of 19?
True
Suppose -o = 1, 5*q - 17 + 4 = -2*o. Suppose -28 = q*j - 7*j - 3*u, -4*u = -2*j + 14. Is j a multiple of 7?
True
Let f(t) = t**3 + 59. Let h be f(0). Suppose 2*x - h = 99. Does 25 divide x?
False
Let l = -21 + 12. Let j = -5 - l. Is j a multiple of 4?
True
Let o(m) = -m**3 + m**2 - 3*m - 25. Does 12 divide o(-6)?
False
Does 28 divide -6 + 11 - 2 - (-279 - -2)?
True
Suppose 3*g - 4 = 2. Suppose -4*h + 110 = -2*h + 5*s, -g*s = 4. Is h a multiple of 15?
True
Let q(j) = -j**2 + 10*j - 9. Let b be q(9). Suppose y = -b*u - u + 6, -4*u = -4*y. Suppose 8*z - y*z = 125. Is z a multiple of 19?
False
Suppose 2*j - 7*j - 14 = 3*z, 0 = 3*z + 2*j + 11. Let i = 13 - z. Is 8 a factor of i?
True
Let l(w) be the second derivative of -w**5/5 + w**4/12 - w**3/3 + w**2/2 - w. Let j be l(1). Let i(s) = -2*s - 2. Is i(j) even?
True
Suppose 3*h = -5*f - h + 6, -3*f + 5*h + 11 = 0. Suppose f*x = -0*x + 40. Does 10 divide x?
True
Suppose -5*q = -3*u - u + 227, -3*q = 4*u - 235. Let w = -23 + u. Is 12 a factor of w?
False
Let j(c) = 8*c + 15. Does 21 divide j(6)?
True
Let y be 1/2*(2 + 36). Suppose 0 = -4*p - y + 59. Is p a multiple of 10?
True
Suppose q + 2*q + 6 = 0. Let n be q + (-3)/(6/(-4)). Let k(j) = j + 6. Is k(n) a multiple of 6?
True
Let z be 9 + (-3 + 0 - 0). Does 2 divide z/(4 + -1 + -2)?
True
Let i(p) = -p**2 + 4*p. Let s be i(3). Suppose s*g - g - 1 = 5*w, 2*w = -3*g - 8. Does 23 divide 320/7 + g/(-7)?
True
Suppose 4*l + 437 = 6*l + 3*w, -3*l - 3*w + 648 = 0. Is 32 a factor of l?
False
Let s(z) = 2*z**2 - 2. Let q be s(2). Suppose -22 = -l + q*d - 4*d, -3*l - d = -31. Does 6 divide (l/5)/(2/10)?
True
Let t = 1 + 1. Suppose -t*a = -0*a + 8. Is 10 a factor of (-284)/(-14) + a/14?
True
Suppose -8*r + 3*r - 2*a - 56 = 0, 62 = -5*r + a. Let t be (-22)/(-4) - (-18)/r. Let h = 8 - t. Is h even?
True
Suppose -9*r - 80 = -11*r. Is r a multiple of 20?
True
Suppose 0 = 4*d - 9*d - s + 16, 2*d - 2*s - 16 = 0. Suppose d*g = 2*g. Is 0 - g - (-5 + 0) a multiple of 5?
True
Let q = 22 + 33. Is 11 a factor of q?
True
Is 13 a factor of 738/8 + (-5)/20?
False
Let j(t) = t + 4. Let g be j(0). Suppose -g*y + 180 = y. Is y a multiple of 18?
True
Let j(n) = -n**3 + 5*n**2 + n - 3. Suppose -l + 4*l - 3 = 0. Let p(k) = 2*k + 1. Let y be p(l). Is j(y) a multiple of 6?
True
Suppose 4*n = 4*j + 64, -2*n + j = 5*j - 56. Is 20 a factor of n?
True
Let f(o) = -o**3 + 7*o**2 - 5*o + 2. Is f(4) a multiple of 15?
True
Suppose 5*u + 2*h - 21 = 0, u + 2*h + 0*h - 1 = 0. Suppose 2*z = u*s - 2*z - 190, 2*z = 3*s - 114. Does 19 divide s?
True
Let u = 33 - 14. Suppose -2*a - s + 15 = 0, -s = -2*a + 2*s + u. Suppose -46 = 6*m - a*m. Is 9 a factor of m?
False
Let n(w) = 2*w + 3. Let y be n(-5). Let p be (1/(-3))/(y/42). Suppose 3*g - p = 16. Is 2 a factor of g?
True
Suppose -g = s - 36, 4*g = 2*s + 2*s + 176. Does 12 divide g?
False
Let k(v) = 2*v - 11. Let d be k(8). Suppose 5*z - 4*a - a = 115, d*z - 112 = 2*a. Does 13 divide z?
False
Let d(q) = 2*q + 12. Let v be d(-4). Suppose -3*r = 2*a - 67, -47 - 3 = -2*r - v*a. Is 7 a factor of r?
True
Let j = -1 - 16. Let k be -5*-2*(-2)/5. Let p = k - j. Is 9 a factor of p?
False
Let u(i) = 8*i - 4. Does 12 divide u(2)?
True
Let t be (6/2)/(6/4). Suppose 85 = 3*y + t*y. Is y a multiple of 8?
False
Suppose 0 = -3*o + o. Suppose 3*m - 46 = 2*z, m + o*z - 2*z - 18 = 0. Let r = 8 + m. Is r a multiple of 11?
True
Suppose -26 + 106 = 4*d. Does 4 divide d?
True
Suppose 0 = 4*l + 4*q + 84, 2*q = 3*l - q + 63. Let s = -13 - l. Does 6 divide s?
False
Suppose t - 5 = -5*n - 0, 3*n + 25 = 5*t. Does 2 divide t?
False
Let p be ((-6)/7)/((-4)/168). Suppose n - 8 = t, 0*n + 2*t - p = -2*n. Does 8 divide n?
False
Let f = -438 + 621. Is 11 a factor of (-3)/(-9)*f + 1?
False
Suppose 63 = 3*o - 0*o. Suppose -o = -2*v + v. Does 8 divide v?
False
Let w be (-4)/((12/9)/(-2)). Let a(f) = f + 3. Is a(w) a multiple of 9?
True
Suppose -d = -4*t - 40, -4*d = -t - 11 + 1. Let j = t + 12. Suppose c = j*r + 53, -4*c = -2*c + 5*r - 70. Does 15 divide c?
True
Let o = 126 - 57. Suppose -3*n + o + 27 = 0. Suppose -w + n = -2*r - 22, 72 = 2*w + 5*r. Does 25 divide w?
False
Let d(k) = k**3 + 10*k**2 + 3*k - 6. Is 12 a factor of d(-9)?
True
Suppose 0 = i + 4*r - 5, 3*i - 8*i + 94 = -3*r. Is 13 a factor of i?
False
Is (-2)/7 + ((-5440)/(-28) - 0) a multiple of 13?
False
Let s(h) = h**2 - h. Let l(r) = 2*r**2 - r - 1. Let k(a) = 4*l(a) - 6*s(a). Let m be 1*(1 + -5)*1. Is k(m) a multiple of 10?
True
Let i(o) = -o - 1. Let w be i(-4). Let d(s) = -7*s + 0 + 3 + w + 5*s**2 - 4*s**2. Is d(8) a multiple of 7?
True
Does 19 divide -1 + (1 - (-288)/3)?
False
Let z(p) = 29*p**2 + 2*p - 1. Is z(1) a multiple of 7?
False
Suppose o - n = 6 + 40, 0 = 2*o + 3*n - 102. Is 16 a factor of o?
True
Let n be (-82)/(-7) + (-4)/(-14). Let l(o) = 2*o + 32. Let h be l(-18). Let j = n - h. Is 16 a factor of j?
True
Suppose 3 = 4*o - 1. Let c(t) = 4*t**2 - 2*t + 1. Is 3 a factor of c(o)?
True
Let i = 1 + 3. Suppose -77 = i*q - 221. Does 18 divide q?
True
Let b = 6 - 6. Suppose -5*r + 5*d = -250, 3*r + 2*r + 4*d - 205 = b. Does 15 divide r?
True
Let a(b) = b +