 w*d**2 - 7*d. Does 3 divide z(-4)?
True
Let r(x) = -x**2 + 7*x + 2. Let m be r(-5). Is 18 a factor of m*(-3)/(6/1)?
False
Let q(o) = o**3 + o**2 + 44. Does 22 divide q(0)?
True
Let u(z) = -2*z + 13. Is u(-15) a multiple of 23?
False
Let z(u) = -u + 1. Let o be z(-1). Let c = 34 + -30. Suppose -38 = -o*m - 5*b, c*m - 5*b + 8*b - 48 = 0. Does 9 divide m?
True
Let q(a) = -57*a - 65. Is 13 a factor of q(-5)?
False
Is 8 a factor of 810/25 - 4/10?
True
Let u(s) = -s - 6. Let k = 14 - 20. Let l be u(k). Suppose -5*g - 5*a + 10 = 0, -2*g - 3*g + 2*a + 45 = l. Is 5 a factor of g?
False
Let s = -61 - -115. Does 9 divide s?
True
Suppose -o - 15 = -6*o. Suppose 0 = o*p + 2*c - 38, -c = 2*p - 12 - 15. Does 8 divide p/(-10)*(0 + -5)?
True
Let m = -5 - -8. Let u be (2/m)/(3/(-9)). Is 18 a factor of (-1)/u*0 - -36?
True
Suppose 5*n - 1 - 13 = -z, -10 = 5*n - 5*z. Suppose 12 = t - n. Is t a multiple of 9?
False
Suppose 4*c - 5*k - 144 = -k, 2*k + 138 = 4*c. Suppose -19 = -5*b - 4*l + 104, b + 5*l = c. Does 6 divide b?
False
Let w = 6 + 1. Suppose 0 = i - 18 - w. Is i a multiple of 11?
False
Let l = -14 - -15. Is 9 a factor of 314/8 + l/(-4)?
False
Suppose 0 = -5*o + 50 + 35. Is o a multiple of 3?
False
Let x = 12 - 5. Does 7 divide x?
True
Suppose 29 = 3*u - 5*p, -u - 3*p + 2 = -3. Does 4 divide u?
True
Does 5 divide ((-544)/7)/(-8) + 2/7?
True
Suppose 4*g - 2*b = -0*b + 14, 3*b = -g. Let s(h) = 14*h + 0 + 3 - 5. Is s(g) a multiple of 20?
True
Suppose 6*j - 1191 = -327. Is 16 a factor of j?
True
Suppose 0 = 6*z - 9*z + 81. Suppose 5*q - 98 = z. Is 25 a factor of q?
True
Suppose -2*r + 23 = 3*j, 5*j - 2 - 3 = 5*r. Suppose j*n - 4*v = 4*n + 21, -5*v = -5*n + 105. Is 6 a factor of n?
False
Let o(s) = 36*s + 9. Does 44 divide o(7)?
False
Let p = 93 + -73. Is p a multiple of 20?
True
Does 18 divide (2 - -15) + 3 + 0?
False
Suppose -z = -1 - 20. Is 8 a factor of z?
False
Suppose 3*i - 3*o - 72 = 0, 75 = 3*i - 2*o - 2*o. Let x = -7 + i. Is 7 a factor of x?
True
Let b(c) = c + 6. Let s be b(-8). Let g be s/6 + 13/3. Suppose -2*h + 3*h + 12 = 2*y, h - g = 0. Is y a multiple of 4?
True
Suppose -10 = -3*r + 2. Suppose -r*i - 52 = 84. Let a = 60 + i. Is a a multiple of 15?
False
Does 47 divide (8 + -13)*(-423)/15?
True
Suppose -2*d = 2*d - 24. Let c(j) = j - 1. Let k be c(d). Suppose -5*w - 4*q + k*q + 164 = 0, 3*w = 3*q + 108. Is w a multiple of 16?
True
Let w(g) = -g**2 + 12*g + 1. Is w(8) a multiple of 7?
False
Suppose 0 = -5*s + 2*q + 44, 4*s = -q + 45 - 15. Does 5 divide s?
False
Suppose a - 11 = 138. Is 32 a factor of a?
False
Let c be 6/(-27) - (-4)/18. Suppose 3*g - w - 28 = -2*g, c = -3*w + 6. Is g a multiple of 2?
True
Does 5 divide 6*((-15)/(-6))/1?
True
Let v = 9 - 3. Let i be -1 - -2 - (v - -3). Is i*(-3 - -1) - -2 a multiple of 14?
False
Suppose -10 = 5*f + 3*v + 2, 20 = -2*f - 5*v. Suppose f*p = -4*u - p + 165, 0 = -5*u - 5*p + 225. Is u a multiple of 12?
False
Let z(k) = k**3 - 5*k**2 - 3*k - 3. Let n be z(6). Suppose -2*h - 3 + n = 0. Is (2/h)/((-1)/(-75)) a multiple of 12?
False
Suppose 2*x = -x + 15. Let f(u) = 12*u + 5. Does 23 divide f(x)?
False
Suppose 4*u + 3*m = 27, -13 = -5*u + m - 3. Suppose -u*a - 41 = -4*a. Is a a multiple of 13?
False
Let y(r) = -r**3 - 2*r**2. Let x = -6 - -4. Let w be 3*x/(-6)*-3. Does 9 divide y(w)?
True
Suppose 308 = -253*t + 255*t. Is 11 a factor of t?
True
Suppose 0 = 2*b - 0*p + 3*p - 16, -4*p = -8. Suppose -2*c = b - 21. Suppose c = -5*a + 9*a. Is a even?
True
Let i = 92 - -71. Is i a multiple of 12?
False
Let k(q) = q**2 - 3. Let p be k(3). Let o be (-4)/(-8)*-10*-1. Suppose f - p*f = -o*u + 80, -5*f - 15 = 0. Is u a multiple of 8?
False
Suppose -4*s + 3*s - 12 = -2*y, -3*s + 5*y = 32. Is 3 a factor of (-2)/(-4) - 22/s?
True
Let i(n) = -n**3 + 12*n**2 - 13*n + 10. Let y be i(11). Is ((-18)/4)/(9/y) a multiple of 6?
True
Let a = -66 - -98. Is a a multiple of 16?
True
Suppose k + 3*k - 3*f = -2, -f - 4 = k. Let o = 1 - k. Suppose 0*i - o*i + 63 = 0. Does 21 divide i?
True
Let p(d) = d**3 - 5*d**2 - 6*d + 2. Does 29 divide p(7)?
True
Suppose 0*k - 148 = -4*k. Let o = -21 + k. Is 16 a factor of o?
True
Let h = 1 + 7. Is 8 a factor of h?
True
Let m(w) = 45*w**2 + 3. Is m(2) a multiple of 24?
False
Let l = 30 - 15. Is l a multiple of 4?
False
Suppose 2*i - 4*i - 6 = -5*f, -5*i + 6 = -2*f. Suppose i*v - 10 = 138. Suppose -2*c = 3*d - 64, v - 28 = c + 5*d. Does 16 divide c?
False
Suppose 0 = 7*c - 2*c - 230. Is c a multiple of 5?
False
Let f(b) = b**3 - 4*b - 3. Let s be f(-2). Let d(q) = -2*q**3 - 5*q**2 - 3*q - 4. Is d(s) a multiple of 11?
False
Let f be 12/(-2)*2/(-3). Suppose -f = t - 0*t. Is 2 + t - -6*1 a multiple of 4?
True
Let r be (-2)/4 + (-3)/(-6). Let q = -2 - r. Let i = q - -10. Does 8 divide i?
True
Let f be 2/7*(-1 + 8). Is f*4 + (-4 - -2) a multiple of 6?
True
Suppose 4*f - 29 = 163. Is f a multiple of 12?
True
Let j(r) = -15*r**3 - 3*r**2. Let k be j(-2). Suppose 0*q = 3*q - k. Suppose m + q = 4*m. Is 6 a factor of m?
True
Let g(v) = -36*v - 5. Let u be g(-8). Suppose -30 - u = -n. Suppose 0 = 5*y - n + 73. Is y a multiple of 24?
True
Let z(j) be the first derivative of 4*j**3/3 - 5. Is z(2) a multiple of 16?
True
Let v(u) = 7*u**2 - 25*u - 1. Is 7 a factor of v(5)?
True
Let m = -11 + 85. Suppose 4*v - 2*v - m = 0. Let x = -13 + v. Does 12 divide x?
True
Let v(r) = 0 + 7 + r - 1. Let x be v(-4). Does 14 divide -1 - (x + 0 + -17)?
True
Let f(x) = -2*x**3 + 3 + 0*x**2 - 7*x**2 + 8*x + 3*x**3. Let s be f(6). Suppose s = 2*v + v. Is 4 a factor of v?
False
Let z be (0 - 0) + -2 + -32. Suppose 0 = 5*b - 10, -2*c + 4*b = -7*c - 272. Let o = z - c. Is o a multiple of 11?
True
Suppose d = 4*n - 541, -4*n - 5*d + 0*d = -535. Let l = n + -81. Does 27 divide l?
True
Does 17 divide (80/56)/(3/63)?
False
Let v = -55 + 121. Does 22 divide v?
True
Let x(b) = b**3 + 5*b**2 - 3*b - 8. Let w be x(-4). Let t(o) = o**3 - o**2 + 4*o. Let v be t(4). Suppose v = 3*p - w. Is 14 a factor of p?
True
Suppose -568 = -5*a - 58. Is 6 a factor of a?
True
Let m(k) = 121*k**2 + k + 2. Does 17 divide m(2)?
False
Let n be (3/(-2))/((-6)/12). Suppose -4 = -n*f + 2*f. Is f a multiple of 2?
True
Let p(s) = 2*s - 6. Let a be p(4). Suppose -o + 2*q = -a, -4*q - q = 5. Is 21 a factor of o/(-1) - (-35 + -3)?
False
Let s = 226 + -156. Is 39 a factor of s?
False
Let u = -97 - -167. Is u a multiple of 11?
False
Suppose 0 = 4*g + 4*k + 8, k - 4 = -4*g. Suppose -29 = -g*r + 71. Is 10 a factor of r?
True
Suppose 19*f - 21*f = -12. Is 2 a factor of f?
True
Let m = 2 - -3. Suppose -5*k + 10*v - m*v = -120, -52 = -2*k + 4*v. Is 22 a factor of k?
True
Suppose 4 = -5*o + 9. Does 13 divide 41 - (0 - o) - 3?
True
Suppose -3*f + 5*g = -27, -5*g + 13 = f - 8*g. Let r be f/14 - 1215/(-35). Let n = -19 + r. Does 6 divide n?
False
Let t(r) = -8*r + 6*r - 1 + 2*r**2 + 6*r**2 + 3*r. Suppose -5*b = -4*n - 1, -2*b - 3*n + 2 + 3 = 0. Is 8 a factor of t(b)?
True
Let y(w) = 3*w**3 + w + 3. Let s be y(3). Let b = 159 - s. Is b a multiple of 24?
True
Let w be (4*-14)/(6/(-6)). Suppose 2*s = -s + 120. Let t = w - s. Does 12 divide t?
False
Let a(s) = -s + 12. Let m be a(9). Suppose -5*l - m*q + 7*q = -226, 54 = l - 3*q. Is 14 a factor of l?
True
Let k(w) = 2*w**2 + 6*w - 6. Let g be k(-5). Is (-7)/g*(1 + -13) a multiple of 2?
True
Is 42 - (-6)/(5/(15/6)) a multiple of 15?
True
Let b(v) = v**2 - 2*v + 3. Let y be b(2). Let r = 7 - y. Suppose -3*z - r*d - d = -59, z - 15 = 3*d. Is z a multiple of 8?
False
Does 23 divide (-2)/(-6)*346 - (-10)/(-30)?
True
Let h(b) = -2*b**2 + 4*b + 4. Let n(d) = -d**2 - d - 1. Let l(g) = -h(g) - 2*n(g). Does 6 divide l(-2)?
True
Does 8 divide (60/45)/((-2)/(-36))?
True
Suppose -u + d + 4 = -1, u - 4*d = 20. Suppose u = -z + 23 + 22. Does 15 divide z?
True
Suppose -5*l - 3*b + 214 = -7*b, 0 = 3*l + 5*b - 121. Is 14 a factor of l?
True
Suppose 21 + 10 = u. Let d = 45 - 64. Let t = d + u. Is 6 a factor of t?
True
Suppose 5*w + 3*s - 107 = 0, -4*w + 2*s + 72 = s. Is 14 a factor of w?
False
Suppose -2*k = -3*t - 20, 2*t + 8 = -0. Let g be (-3)/(-4) + 433/k. Suppose 13 = -3*r + g. Is 16 a factor of r?
True
Suppose -3*i + 27 = -3*m, -3*i = -4*i + 5*m + 5. Is 3 a factor of i?
False
Let y = 23 - 10. Is 3 a factor of y?
False
Let b(w) = 5*w + 3. Let q b