 - 15, -d - d = 2*s - 10. Suppose -t + 22 = 4*c, s*t - t - 3*c - 36 = 0. Does 14 divide t?
True
Let o(x) = -x. Let m be o(2). Let n = m - -3. Is 2 a factor of (-1 - n)/2*-2?
True
Is 7 a factor of 1/4 - (-1293)/12?
False
Let y(d) = -d**2 + 15*d - 18. Does 7 divide y(12)?
False
Let b(i) = -i**3 - 9*i**2 + 13*i - 20. Is b(-12) a multiple of 32?
True
Is 5/(-40)*6*-68 a multiple of 6?
False
Let d(b) = -b - 4. Let p(t) = t**3 - 3*t**2 - t - 4. Let i be p(3). Let y be d(i). Suppose 5*n + 0*z - 151 = y*z, 0 = z + 2. Is 23 a factor of n?
False
Suppose -x = -0*x - 3*r - 46, -4*x = -3*r - 193. Is x a multiple of 14?
False
Let b(r) = 24*r**2 - 8*r + 6. Is b(2) a multiple of 10?
False
Let j be -2 + -5 - 3/1. Is 21 a factor of ((-42)/j)/((-8)/(-40))?
True
Suppose -y + 348 = 3*y - 3*v, v = 0. Suppose -2*j + 3*q = -y + 14, -5*j - 2*q + 230 = 0. Does 22 divide j?
True
Let f be (1 + 3 + -2)*1. Suppose -o - 2 = -f*o. Suppose -h - 135 = -6*h - o*l, l = h - 20. Is h a multiple of 22?
False
Let v(q) = q**3 + 11*q**2 + 11*q + 5. Let c(m) = -1. Let d(i) = 5*c(i) + v(i). Let b be d(-8). Suppose -4*n + 0*n + b = 0. Is 13 a factor of n?
True
Suppose -v - 8 = 3*v. Is 11 a factor of -3 + v/((-6)/123)?
False
Let m be (-8)/12 - 10/3. Is 85/15 - m/(-6) even?
False
Let y(n) = n + 2. Let w be y(-2). Suppose w = 3*r - 4 - 5. Suppose r*c - 38 - 82 = 5*u, c + 2*u - 29 = 0. Does 12 divide c?
False
Does 13 divide (-5 - -5) + 31*3?
False
Let s be (-1 - 2/(-4))*-12. Suppose 30 = 3*h - s. Is 5 a factor of h?
False
Let o(m) = -m**2 - 22*m + 71. Is o(-23) a multiple of 3?
True
Suppose -36 = -w - 2*w. Let s = 6 - w. Let a = s + 17. Does 11 divide a?
True
Let x be -3 - -3*(1 - 0). Let k(s) = s + 32. Does 21 divide k(x)?
False
Suppose -86 = -11*p + 9*p. Is p a multiple of 13?
False
Suppose r + 27 = 139. Does 16 divide r?
True
Is 16/4 + -3 + 41 a multiple of 19?
False
Let w(s) = -s**2 + 8*s - 2. Let b be w(7). Let n = b - 2. Suppose n*t + t - 88 = 0. Is 12 a factor of t?
False
Let w be ((-3)/(-6))/(4/32). Is 25 a factor of (-102)/(-2) + (-8)/w?
False
Suppose 32 = 4*s - 0*s. Is 8 a factor of s?
True
Is 17 a factor of 4/6*(-510)/(-4)?
True
Suppose 8*n = 4*n + 284. Is n a multiple of 12?
False
Let i(w) = 3*w**2 - 8*w + 10. Let u be i(7). Let l = -72 + u. Does 9 divide l?
False
Let k = 27 + -24. Let j(q) be the first derivative of q**4/4 - q**3/3 - 5*q**2/2 + 4*q - 2. Is 3 a factor of j(k)?
False
Suppose -j + 3*j = 0. Let f = j + -7. Let h(g) = g**2 + 5*g - 7. Is 3 a factor of h(f)?
False
Is 6/14 - 2225/(-35) a multiple of 32?
True
Is 10 a factor of 1128/28 - 6/21?
True
Let q be -4 - -7 - (1 - 2). Suppose 48 - 132 = -q*z. Is 6 a factor of z?
False
Let s be 11/44 + (-14)/(-8). Suppose 0*b - s*b + 60 = 0. Is 10 a factor of b?
True
Let r = 3 + 2. Suppose -3*m - 3*q + 48 = 0, -r*m + 76 = q - 0*q. Suppose 3*i + m = 6*i. Does 5 divide i?
True
Suppose -62 = -3*u - 17. Is u a multiple of 15?
True
Let g = -16 - -20. Is 4 a factor of g?
True
Let u = 434 + -182. Is u a multiple of 18?
True
Let q(b) = -b + 4. Let u be q(-6). Let f(k) = -k**3 + 3*k**2 + 6*k - 10. Let c be f(4). Let i = u + c. Is 8 a factor of i?
True
Does 13 divide 13*((-4)/4 - -2)?
True
Suppose 0 = 2*s + 2*s - 272. Is s a multiple of 19?
False
Is 17 a factor of 48/4*(-34)/(-8)?
True
Let j(y) = y**3 - y**2 + 5*y - 12. Is 27 a factor of j(7)?
False
Suppose -5*p = -5*z - 10, 5*z - 18 = -4*p + 35. Let u(g) = g**2 - g - 1. Let a(y) = -y**3 + 3*y**2 + 12*y - 1. Let d(q) = a(q) + 3*u(q). Does 7 divide d(p)?
False
Let f(n) = -5*n**2 - 2*n + 2. Let j be f(-2). Let u = 1 - j. Is u a multiple of 7?
False
Let u be (2 + -1)*(5 + 0). Suppose -5*c - 11 = -4*c + 5*n, 25 = -u*n. Is 14 a factor of c?
True
Suppose -4*k + 127 = -113. Is k a multiple of 29?
False
Let j(k) = -k + 2. Let q be j(0). Suppose -r - 2*i + 32 = q*i, -2*r + 4*i = -28. Is 20 a factor of r?
True
Let r = -6 + 6. Suppose 4*g - g - 132 = r. Is g a multiple of 18?
False
Let q(a) be the third derivative of a**6/120 + 3*a**5/20 - a**4/8 - 2*a**3 - a**2. Suppose -3*c + 0*b + 3*b = 15, -c - 21 = 3*b. Does 8 divide q(c)?
False
Let l(u) = 2*u + 5. Is l(2) even?
False
Suppose -3*b + 4 = -b, 4*b = -2*j + 160. Is j a multiple of 19?
True
Suppose -4*z + z = 0. Suppose -2 = -0*x - x. Suppose 3*b - x*b - 28 = z. Does 11 divide b?
False
Suppose -6*u + 2*u + 8 = 0. Suppose -4*g = u*d + g + 8, -d + g = -10. Does 13 divide 2 + 3/(d/52)?
False
Suppose -3*w = 7 + 2, w + 5 = 2*x. Let u = 50 + x. Is u a multiple of 18?
False
Suppose -3*i + 2*i - 17 = 0. Let z = i - -32. Does 15 divide z?
True
Let a(y) = -y. Let p be a(-5). Suppose 0 = 3*q - p - 1. Does 5 divide -1*(-12 - -1*q)?
True
Let m = -37 + 62. Does 25 divide m?
True
Let p(b) = 2*b - 2. Let o be p(3). Let g(m) = -15*m. Let h(r) = 29*r + 1. Let w(q) = 7*g(q) + 4*h(q). Is 19 a factor of w(o)?
False
Suppose -u + 0 - 3 = 0. Let o = u + 37. Does 17 divide o?
True
Let d(g) = g. Let l(c) = 9*c - 3. Let w(i) = -d(i) + l(i). Is w(4) a multiple of 8?
False
Suppose 3*w - w = 4. Suppose 2*t - 5 = -3*t - 5*b, 2*t + 4*b + w = 0. Suppose 0*v - 69 = -t*v. Is 23 a factor of v?
True
Let l = 96 - 32. Is l a multiple of 32?
True
Suppose -4*f + 5*a + 14 = -7, -19 = -4*f + 3*a. Suppose x - 411 = -f*p - 22, -5*x = -5. Suppose -5*d = -4*q - p, d - q - 12 = 8. Does 12 divide d?
False
Let j(n) = n**3 - 2*n**2 + 2*n - 1. Let p be j(1). Let w = 42 - p. Is 7 a factor of w/4*(-8)/(-6)?
True
Suppose 0 = -3*t + 7*t - 4. Let u be (-189)/(-6)*1/((-9)/(-6)). Does 8 divide u*1 + 0 + t?
False
Suppose 0 = 2*g + 5*o - 123, 0*g + 4*o = 5*g - 324. Is g a multiple of 16?
True
Let l(z) be the third derivative of z**6/40 - z**5/60 + z**4/12 + 5*z**2. Is 12 a factor of l(2)?
True
Let s = 43 - 65. Let l = -4 - s. Suppose l = g - 3. Is g a multiple of 10?
False
Suppose -2*q + 14 + 62 = 0. Is 11 a factor of q?
False
Suppose 0 = -8*d + 12*d - 48. Is 12 a factor of (-9)/d - (-261)/12?
False
Suppose 0 = 3*g - 12 - 0. Suppose 7*s - 48 = g*s. Is 13 a factor of s?
False
Let t(n) = -1 + 0 + 5 + n**3. Let f be t(0). Suppose 88 = f*p + 2*y, -4*y + 3*y = -p + 16. Is p a multiple of 10?
True
Suppose -2*k = 3*h - 0*k - 101, 4*h - 133 = -k. Does 3 divide (-4)/(-10) + h/5?
False
Let b(y) = y**3 + 2*y**2 - 4*y + 1. Let u be b(-3). Suppose u*o - 121 = -21. Is 13 a factor of o?
False
Let z(s) = s**2 - 3*s - 13. Is 19 a factor of z(12)?
True
Let p = -11 + 16. Suppose 2*w - 1 - 3 = 0, p*x + w - 167 = 0. Is x a multiple of 11?
True
Let l(s) = -51*s**2 - 4*s + 3. Let t be l(2). Let h = -72 - t. Suppose -5*a + 3*x = 4*x - h, a = 3*x + 21. Is a a multiple of 17?
False
Suppose 4*d - 3*t - 286 = 0, -d - 7*t + 3*t + 81 = 0. Is d a multiple of 29?
False
Let i be ((-4)/6)/((-5)/(-15)). Is i/((8/46)/(-2)) a multiple of 11?
False
Is (-6347)/(-44) - (1 + (-3)/4) a multiple of 37?
False
Suppose 0 = r - 4, 5*j - 24 = j - 3*r. Suppose -2*l - 3 = m, 2 = -2*m - 4. Suppose -4*b - 111 = -l*f - 3*f, -5*f + j*b + 174 = 0. Is f a multiple of 19?
False
Let f(s) be the second derivative of -1/2*s**3 + 0 - 1/20*s**5 - 3/2*s**2 - 2*s - 1/3*s**4. Is 4 a factor of f(-4)?
False
Suppose 3*r + 5*w + 1 = -r, 2*r + 3*w = -3. Does 7 divide (17/4)/(r/24)?
False
Is 6 a factor of 12/15*(81 + 9)?
True
Let y = 57 + -34. Is 7 a factor of y?
False
Let b = 22 - 8. Is 11 a factor of b?
False
Suppose -398 + 1112 = 3*j. Suppose -r + j = 4*t, -2*r = 2*r + 8. Is 20 a factor of t?
True
Let q(t) = -t**3 - 2*t**2 - t + 4. Let m be 5 - (-1)/(-3)*3. Suppose -5*u - m*g = 15, 2*u - g = g - 6. Is 14 a factor of q(u)?
False
Let h(q) = 16*q**2 - 2*q - 2. Is h(-1) a multiple of 4?
True
Let r = -27 + 19. Let s(l) = l + 15. Does 2 divide s(r)?
False
Suppose 5*f = -5*z - 125, 4*z = -5*f + 78 - 203. Let v = f - -15. Let b = -1 - v. Does 9 divide b?
True
Let k(g) = g**2 + 3*g - 4. Let i be k(-7). Suppose 2*p - i = p. Is p a multiple of 8?
True
Suppose 5*g + z + 0 - 13 = 0, -2*g - 2*z + 10 = 0. Let r(m) = 6 - 4*m - 12 + m**g + 0. Does 3 divide r(6)?
True
Suppose 22 = v + v. Is 10 a factor of v?
False
Let a be (-2)/10 + 2/10. Suppose a*t = -3*t + 66. Is 6 a factor of t?
False
Let b = -3 + 7. Suppose b = -q + 31. Does 6 divide q?
False
Let o = 24 + -14. Let h = 17 - o. Let n(j) = -j**3 + 6*j**2 + 8*j - 1. Is 6 a factor of n(h)?
True
Let j = -26 + 92. Is j a multiple of 6?
True
Let