 4 + s. Is q a multiple of 9?
False
Suppose -2*n - 209 = -5*q, 40 = -4*q - 4*n + 224. Does 19 divide q?
False
Let c be 34/(-8) - 2/(-8). Let a be 158*((-2)/c - 0). Suppose -a = -5*m - 4. Does 7 divide m?
False
Let m = -7 - -32. Suppose -2*n - 3*n + m = 0. Is n a multiple of 2?
False
Suppose -126 = -4*p + u - 27, 4*u = 5*p - 121. Suppose 3*b - p = -2*b. Does 5 divide b?
True
Let w(l) = -l**2 - 7*l + 47. Does 3 divide w(-7)?
False
Let k(p) = -p + 10. Let z be k(15). Is (-2 - z)/6*40 a multiple of 10?
True
Let c = -11 + 95. Is c a multiple of 7?
True
Suppose -1 + 13 = 4*u. Suppose 4*g - 69 = -0*g - 3*x, -u*g + x + 42 = 0. Does 8 divide g?
False
Let d(z) = -3*z - 6*z - 12*z - 10*z. Let a be d(-1). Is 17 a factor of 1/((-2)/a)*-2?
False
Let v(k) = 2*k**2 - 8*k - 1. Let h be v(6). Let d be (-1*h - 2)*1. Let o = d - -42. Is 17 a factor of o?
True
Suppose 0*c - 5*v = c + 3, -5*v - 20 = 0. Does 3 divide c?
False
Let l be (-4)/(-8) - 10/4. Is (8/1)/((-4)/l) even?
True
Suppose 1 = x - 13. Does 5 divide x?
False
Suppose 1 + 5 = 2*t. Suppose 4*k - 134 = -2*b, -8*k + t*k + b + 178 = 0. Does 19 divide k?
False
Suppose -q = -6*u + 2*u - 95, 0 = -4*u. Does 4 divide q?
False
Let v be (1 - (-5)/(-2))*-2. Let p(x) = -5 - 4*x - 7 - 8*x**2 - 4*x**v - 2*x**3 + 5*x**3. Is p(-8) a multiple of 9?
False
Suppose 3*v = -2*v + 35. Suppose v*a + h - 55 = 4*a, 3*a - 52 = 2*h. Is 18 a factor of a?
True
Let k(r) = -2*r**3 - 7*r**2 + r + 6. Let p be k(-5). Suppose 19 + 77 = -2*b - 2*j, 2*j = b + 36. Let v = b + p. Does 16 divide v?
True
Let w be 4/(-2)*(-25)/10. Suppose -2*r - w*p + 25 = -r, 3*r + p = 89. Let i = -8 + r. Is i a multiple of 11?
True
Is (3 + -2)*0 - -36 a multiple of 12?
True
Suppose 3*a + 0*a - 5*p = 14, -2*p = -2*a + 8. Suppose -4*o + 4*r = 0, a*r - r + 3 = 5*o. Let b = 12 + o. Is b a multiple of 13?
True
Let p(b) = -b**2 + b + 55. Is p(0) a multiple of 7?
False
Let h = 3 - 2. Is h/(2/(-6)) - -65 a multiple of 15?
False
Let h(f) = -f**2 - 12*f - 17. Let c(i) = -3*i - 1. Let l be c(3). Is h(l) a multiple of 3?
True
Let m(r) = 6*r**2 - 2*r - 2. Let t = -4 + 6. Suppose -5*j = -3*p + 4, 8 = -2*j - 0*p - t*p. Is m(j) a multiple of 13?
True
Does 29 divide (3/(-2))/(12/(-408))?
False
Suppose 0 = 34*b - 39*b + 100. Is b a multiple of 4?
True
Is (132 + -2)*1/2 a multiple of 34?
False
Suppose 177 = 3*z - 33. Is 24 a factor of z?
False
Let t(y) = -2*y + 9. Let d be 2/(-3) - (-22)/(-3). Let h be t(d). Let k = h + -12. Does 6 divide k?
False
Let y(h) = -h**2 - 3*h + 11. Is 10 a factor of y(0)?
False
Suppose -6 - 3 = 3*v. Is 1*((-6)/v - -3) even?
False
Suppose 0 = 4*n - 19 - 5. Let i = n - 6. Suppose -3*u + 104 = u + 2*k, 4*u - 4*k - 116 = i. Is u a multiple of 14?
False
Suppose 3*v = -2*v + 4*w + 415, -5*v = 5*w - 370. Is 24 a factor of v?
False
Let s be 90/21 + (-2)/7. Let b(o) = -8*o**2 + 5*o - 2. Let i(t) = -7*t**2 + 5*t - 1. Let w(a) = 3*b(a) - 4*i(a). Does 21 divide w(s)?
True
Let s(c) = 176*c + 2. Let y be s(2). Suppose -4*n + n = y. Let u = -74 - n. Is 15 a factor of u?
False
Suppose 5*c = 2*x + 20, 3*c - 2*x - 2 = 7*c. Suppose 20 = -c*u - 4. Does 11 divide (u/(-4))/((-6)/(-44))?
True
Suppose 10 = 3*g + 2*g. Suppose 3*s = -0 - 12, 12 = g*n - 4*s. Let b = n - -9. Is 3 a factor of b?
False
Let a(z) be the third derivative of 2*z**5/5 - z**4/24 + 3*z**2. Is a(1) a multiple of 9?
False
Suppose 0*t - t + 3*y = 9, 3*y = -4*t + 24. Is 3 a factor of t?
True
Suppose -3*t - 305 = -5*y - 0*t, -2*y = 2*t - 138. Is 13 a factor of y?
False
Does 19 divide -1*(-5)/((-30)/(-432))?
False
Suppose 4*x + 208 = 8*x. Is x a multiple of 26?
True
Suppose 2*i + 2*i - 3*p - 76 = 0, i - p = 18. Suppose 5*b + 2 = i. Is b a multiple of 2?
True
Let y = -5 + 27. Is y a multiple of 4?
False
Suppose -6 = -5*b + 14. Suppose 0 = b*n - 7*n + 144. Suppose 0 = -0*o - 4*o + 2*l + n, -o = 2*l - 2. Is o a multiple of 10?
True
Suppose 4 = q - 4*j - 21, -30 = -2*q - 2*j. Does 3 divide q?
False
Let a = 13 + -1. Let q = 50 - a. Is 15 a factor of q?
False
Let f(u) = 290*u**2 + 0*u - u + 0*u. Let s be f(-1). Suppose 81 = -5*k - 4*g + s, -5*k - 5*g = -210. Does 16 divide k?
False
Is (0 + -2)/(20/(-1370)) a multiple of 33?
False
Suppose 0 = -o + 3*v - 10, -3*o + 1 = 3*v - 5. Let p be -1 - (5*o - -2). Suppose b - 5*c - 29 = -0*b, -2*b + p*c + 18 = 0. Is 2 a factor of b?
True
Let u be 2/(-7) + (-37)/(-7). Suppose f - u = -1. Suppose -f*z = -h - 2*h - 59, 0 = h - 3. Does 17 divide z?
True
Suppose -3*j + 3 = -2*j + 5*i, 0 = 4*j - 2*i - 122. Does 7 divide j?
True
Suppose 0 = -8*b + 5*b - 12. Does 11 divide 2/b*-19*2?
False
Let s be (-98 - -1)*(-4 - -3). Suppose 3*j - x - s = 0, -3*j + 5*j + x - 63 = 0. Does 14 divide j?
False
Suppose 4*a + a - 400 = 0. Does 9 divide a?
False
Suppose -b = 5*s - 129 - 425, 5*s = 4*b + 534. Let o = -63 + s. Is o a multiple of 18?
False
Suppose 3*o + 2*o - 95 = 0. Does 5 divide o?
False
Let n(h) be the second derivative of -7*h**3/6 - h. Is 21 a factor of n(-3)?
True
Let i(z) = 5*z**2 - 15*z - 10. Is i(7) a multiple of 13?
True
Let l be 8*(-5)/((-40)/6). Suppose -2*k = w + 3*k + l, 3*w + 5*k - 2 = 0. Is w a multiple of 2?
True
Let m = 13 - 6. Let d(u) = 2*u - 3. Let z(c) = -3*c + 4. Let g(i) = -7*d(i) - 5*z(i). Does 3 divide g(m)?
False
Let h be (16/6)/((-6)/(-9)). Suppose -o - 4*f = -17, -f = -o - h*f + 18. Does 16 divide o?
False
Suppose y + 16 + 26 = x, 2*x - 4*y = 82. Does 28 divide x?
False
Let p(q) = -3*q**3 + q**2 - q - 1. Let j(g) = 2*g**3 - 2*g**2 + 2*g. Let o(s) = -4*j(s) - 3*p(s). Is o(-5) a multiple of 7?
True
Let r = 96 + -63. Is r a multiple of 15?
False
Suppose -2*m + 23 = -m + 4*f, 0 = -3*m - 5*f + 76. Is 11 a factor of m?
False
Let a = -95 + 143. Does 20 divide a?
False
Let u(l) = 2*l**2 + 2*l + 12. Let s be u(5). Let k = 11 + s. Is 18 a factor of k?
False
Suppose 3*i - 92 = 3*l + l, -i + 100 = -4*l. Let n = l - -41. Is n a multiple of 2?
False
Suppose -87 = -5*p - 27. Let r = 0 + -1. Let z = r + p. Is 11 a factor of z?
True
Let t(a) = 149*a + 8. Is t(2) a multiple of 51?
True
Let y(q) = -q - 3. Let m be y(-8). Suppose m*s + 12 = -3. Is 3 a factor of ((-8)/s - 2)*9?
True
Let t(v) = v**3 - v + 1. Let u(q) = 2*q**3 - 4*q**2 - 2. Let o(k) = -3*t(k) + u(k). Does 4 divide o(-5)?
False
Suppose -91 + 1 = -2*x. Let c be x + -1 + 3 + -3. Suppose 4*o - 3*f - 100 = -0*f, -o - 4*f = -c. Is o a multiple of 14?
True
Suppose 0 = -3*f + 88 + 20. Does 18 divide f?
True
Let r = 5 + -5. Suppose r = -2*u + 14 - 4. Is 2 + u - (-1 + 1) a multiple of 2?
False
Let r(z) be the second derivative of z**5/30 + 3*z**4/8 - z**3 + z**2 - z. Let a(o) be the first derivative of r(o). Does 18 divide a(-7)?
False
Is 5 a factor of 2*((-15)/(-2) + -2)?
False
Let o = -6 + 4. Let r be (o/4)/((-2)/8). Suppose r*i - i = 16. Is i a multiple of 9?
False
Suppose -2*r + r + 5 = 0. Suppose 0*f - 180 = -r*f. Is f a multiple of 18?
True
Let r be -2*((-42)/4)/7. Let i(h) = -22*h**3 - 2*h**2. Let s be i(-2). Suppose -l = r*l - s. Is l a multiple of 21?
True
Suppose -2*u = -7*i + 3*i + 26, 0 = 5*u + 25. Let w = 5 + i. Does 11 divide 3 + w*30/9?
True
Let s be (-4)/(-18) + (-16)/(-9). Suppose -63 = -4*r + r - d, s*r - 46 = -2*d. Does 10 divide r?
True
Let x = -92 + 134. Does 42 divide x?
True
Suppose -125 = -2*l + 3*m, -2*l + 67 = -5*m - 48. Is l a multiple of 10?
True
Let d(l) = -l - 1. Let z be d(-7). Let t = -7 + z. Is 10 a factor of 28 + (0 - -1)*t?
False
Suppose -3*y = -2*m - 26, -3*y + 5 = 4*m + 3. Let r be (60/y)/((-1)/(-14)). Let s = r - 84. Does 20 divide s?
False
Let r(d) = d + 2. Let u(j) = -j - 2. Let i(q) = 2*r(q) + 3*u(q). Is i(-6) a multiple of 3?
False
Suppose -400 = 16*h - 18*h. Is h a multiple of 25?
True
Is 35/1*36/21 a multiple of 15?
True
Suppose 2*o = -39 + 201. Is 27 a factor of o?
True
Suppose 3*d + 0*d - 15 = 0. Suppose 0 = -5*i + 4*f - 86, d*i = 4*f - f - 87. Let n = -1 - i. Does 17 divide n?
True
Let i(n) = n**3 + 3*n**2 - n. Let w = 3 - 8. Let b be i(w). Is ((-8)/(-10))/((-2)/b) a multiple of 14?
False
Let p(b) = 3*b + b + 11*b**2 - 5*b. Let l be p(2). Suppose j + l = 4*j. Is 14 a factor of j?
True
Let b = 7 + -5. Let q(v) = v - v**2 + 2*v**b + 4*v**2 - 4*v**2 - 4. Is q(5) a multiple of 13?
True
Let s = 2 - -3. Let u(c) = -c**3 + 4*c**2 + 4*c + 5. Let j be u(s). Suppose j = -4*l - 5*v + 76, l +