0*z - 2*w + 42, p*w = 5*z - 33. Is z a multiple of 7?
False
Let g = 31 + -21. Let v = g + 3. Is v a multiple of 13?
True
Let w(p) be the first derivative of 1 - 3 - 2*p**2 + 2 - 3 - 6*p. Does 14 divide w(-7)?
False
Suppose -d - 78 = -4*d. Suppose -d + 1 = -5*v. Suppose -4*w - r + 3*r + 24 = 0, 31 = 3*w + v*r. Is w a multiple of 7?
True
Suppose y - 36 = -4*u, 0 = -3*y - 6*u + 2*u + 116. Does 5 divide y?
True
Is -26*1/(1/(-1)) a multiple of 13?
True
Let r = 6 + -7. Does 18 divide 9/(r/(6/(-3)))?
True
Let n = 8 - 4. Suppose -n*p = -5*p + 4. Suppose 0 = -p*o - 4 + 20. Is 4 a factor of o?
True
Let p = -30 + 51. Suppose 5*x = 2*x - j + 17, 3*x = 3*j + p. Is x a multiple of 4?
False
Let k(n) = n**2 + 5*n + 26. Is 9 a factor of k(-4)?
False
Let u(r) = -r**3 - 5*r**2 - 6*r - 3. Let n be u(-6). Suppose -5*o - n = -k - 0*o, 5*k - 2*o - 345 = 0. Does 23 divide k?
True
Does 29 divide 3*(-10)/(-5)*50?
False
Suppose y - 4*p - 16 = -3*y, -p + 2 = y. Suppose -y*q + 0*q = -225. Does 21 divide q?
False
Let b(l) = 7*l**2 - 2 + 2*l**2 + 1 + 6*l - 8*l**2. Does 3 divide b(-7)?
True
Let c = 10 + -5. Does 3 divide c?
False
Let g(s) be the third derivative of -s**4/12 + 7*s**3/6 - s**2. Does 19 divide g(-7)?
False
Suppose j - 8 = -3*h + 32, 4*j - 145 = 3*h. Suppose 11 + j = o. Is o a multiple of 16?
True
Let m(r) = -r**2 - 11*r + 6. Is 30 a factor of m(-8)?
True
Suppose -8 + 7 = -y. Let w be ((-27)/(-12))/(y/(-4)). Is (-18)/15*30/w even?
True
Suppose w + t - 79 = 0, 3*w - 290 + 63 = -5*t. Does 10 divide w?
False
Let j be 2/(-7) - 611/91. Let l = 31 - j. Is 12 a factor of l?
False
Suppose 0*t + 12 = -4*t. Let u(p) = -2*p - 1. Let z be u(t). Suppose f + 0 = -4*d - 7, 15 = -z*d. Is f a multiple of 5?
True
Suppose -5 = 4*z - 3*z. Let q(n) = n**2 - n - 5. Does 9 divide q(z)?
False
Let p = -718 - -1030. Is 52 a factor of p?
True
Suppose -9 = -4*n + 5*n. Let v(z) = z**3 + 8*z**2 + 11*z + 14. Let g(u) = 4*u**3 + 31*u**2 + 45*u + 57. Let r(i) = -2*g(i) + 9*v(i). Is 12 a factor of r(n)?
True
Suppose 83 = -5*n + 408. Is 13 a factor of n?
True
Let u be (-510)/(-18) - 4/(-6). Let p be 4/(16/(-6))*-6. Let h = u - p. Is 20 a factor of h?
True
Let a = 17 + -14. Does 3 divide a?
True
Let h be 1*1*(-3)/(-1). Suppose h = 4*t - 77. Is t a multiple of 20?
True
Let g = -9 - -12. Suppose -2*v + 41 + g = 0. Is v a multiple of 14?
False
Suppose 32 = 4*j - 28. Is (36/j)/(4/50) a multiple of 15?
True
Suppose -5*f = -5*k - 212 - 53, 2*f = -3*k - 144. Let y = k - -6. Is (y/(-6))/(2/6) a multiple of 22?
True
Suppose 0 = -j - 4*i + 18, 4*i = 7*i - 12. Let f = 6 - j. Is f even?
True
Let u = -33 - -49. Is 14 a factor of u?
False
Suppose 0 = 2*x + 3*x + 30. Does 20 divide 30*((-8)/x + 0)?
True
Let m = 15 - -118. Is 32 a factor of m?
False
Let u(v) = 11*v**2 - v. Let h be u(-1). Let s(o) = 3 - o + h - 8. Is s(-8) a multiple of 5?
True
Let i be 2/(3*-1 - -2). Let r = -3 - i. Does 10 divide (-66)/(-3) + r*1?
False
Is 10 a factor of (-3*(-1)/3)/(3/60)?
True
Suppose -2*c = -0*c - 208. Suppose j - 6*j = -15. Suppose 0 = -j*k - k + c. Is k a multiple of 13?
True
Let j = 10 - 2. Let s = 11 - j. Suppose 0 = o + s*o - 20. Does 5 divide o?
True
Let l(z) = 33*z**2 + z. Let r be ((-2)/3)/(6/9). Does 12 divide l(r)?
False
Suppose -4*o - c = 5, -20 = -o + c + 3*c. Suppose o = 2*f + 5*x - 14, 5*f = -0*x - x + 12. Suppose 20 = -f*h - 3*z + 56, 94 = 4*h - 5*z. Is h a multiple of 7?
True
Let b = -69 + 160. Is 20 a factor of b?
False
Let u(o) = -7*o**2 - 36*o + 6. Does 5 divide u(-5)?
False
Let o(l) = -3*l + 3. Does 6 divide o(-5)?
True
Let d be (92/10 + 1)*5. Let y be (-62)/(-6)*(-2 + -1). Let u = y + d. Is 10 a factor of u?
True
Let x = 7 - 10. Let n be (1 - 4/(-1)) + x. Is 9 a factor of n/8 - (-67)/4?
False
Suppose 5 = 4*j - 15. Suppose 2*k + j*b = 3*b + 52, -80 = -5*k + 5*b. Is k a multiple of 11?
False
Let c = -1 - 2. Is 9 a factor of ((-3)/(-5) - c)*5?
True
Suppose 8 = 4*x, 4*c + 36 = x + 650. Does 22 divide c?
True
Suppose -4*g + p - 2*p = -270, -3*g + 191 = -5*p. Let a = -28 + g. Does 10 divide a?
False
Suppose 0 = 2*n - 3*f - 3, -16 = -5*n + f - 2. Suppose n*z + 28 = 7*z. Is z a multiple of 7?
True
Suppose 0 = -4*y + 3*l + 58, -y + 3*l + 32 = y. Is y a multiple of 13?
True
Let a = 39 + -58. Let v = a - -27. Suppose 5*z + v = 23. Is z a multiple of 3?
True
Let y(g) = 5*g + 3. Let p be y(-2). Let l be p/(-1 - 0)*1. Is 17 a factor of -1*2 - l*-7?
False
Let l(x) = 20*x + 2. Let v(c) = 20*c + 3. Let n(u) = 4*l(u) - 3*v(u). Let g(b) = b**2 - 6*b + 2. Let a be g(6). Is 13 a factor of n(a)?
True
Let v = -9 - -13. Suppose 0 = -v*d - 9 - 11. Let k = d - -13. Does 4 divide k?
True
Let t be 1*-10*(-1 - 0). Let r = t - 7. Suppose -4*k = -6*k + 3*g + 27, -r*g = -k + 18. Is k a multiple of 9?
True
Let g = 122 - 72. Is 25 a factor of g?
True
Let x(j) = j**3 + 4*j**2 + 2. Let r be x(-4). Let l be 18/(r + 2/(-4)). Suppose 2*c + l = 4*v + 52, -c + 4*v = -30. Is c a multiple of 10?
True
Suppose -3*i + 88 = 4*m, -4*i + 3*m = -3*i - 51. Suppose -5*l - 4*a = -45, -9 + i = 3*l - 4*a. Does 9 divide l?
True
Let r be (-2*3)/((-6)/(-4)). Is 2 a factor of 1/r - (-26)/8?
False
Suppose 4*j = 8 + 4. Suppose 0*h = -j*h + 9. Suppose h*p + 0*p + 232 = 4*m, -m - 3*p + 43 = 0. Is 15 a factor of m?
False
Is 9 a factor of (1 - 1) + -3 + 29?
False
Let p = 165 - 80. Does 17 divide p?
True
Suppose -3*q + 2*h = -0*q - 15, 9 = 3*q - 4*h. Does 2 divide q?
False
Suppose 74 + 1342 = 8*k. Is 9 a factor of k?
False
Let d = 40 + 44. Does 14 divide d?
True
Suppose 3 - 5 = g. Suppose 0*v + 1 = -v. Is 14 a factor of g/(-2) - (-16 + v)?
False
Let p be -7*(2/(-2) + 2). Let n(d) = d**2 + 6*d + 10. Is 17 a factor of n(p)?
True
Let a(n) = n**2 - 5*n + 2. Let y be a(5). Suppose 2*f + 3*s + s - 60 = 0, 4*f - y*s - 130 = 0. Does 16 divide f?
True
Let r(b) be the third derivative of b**7/840 + b**6/90 - b**4/24 - b**3/3 + 2*b**2. Let l(t) be the first derivative of r(t). Is 4 a factor of l(-3)?
True
Let u = 64 - 13. Is u a multiple of 28?
False
Suppose 29 - 8 = n + 4*m, 2*n + 4*m = 34. Suppose -v - 11 = -3*y, -4*v = 2*y - n - 13. Suppose -2*s = 4*f - 112, f - 2*f - v*s = -28. Does 15 divide f?
False
Let v(x) = x**2 - 8*x - 11. Let z be v(9). Let s(c) = c - 1. Let i(f) = 2*f**2 + 2*f - 2. Let g(t) = i(t) - 3*s(t). Is 7 a factor of g(z)?
False
Suppose 3*t - 12 = -0. Let n be t/6*75/(-5). Let h(y) = y**3 + 9*y**2 - 11*y + 10. Is h(n) a multiple of 10?
True
Suppose -2*c + 0*c = -26. Is 5 a factor of c?
False
Is 18 a factor of (-3)/(-7) + (-501)/(-7)?
True
Let d(s) = 59*s + 3. Let h be d(3). Suppose -h = -2*v - 2*v. Does 15 divide v?
True
Let s be (-224)/22 - 6/(-33). Let r = 26 + s. Is 11 a factor of r?
False
Let h = -8 + 12. Is h/2 + 4*4 a multiple of 18?
True
Suppose 3*n + 3 = 4*n. Suppose u - n*u = -168. Does 21 divide u?
True
Suppose 608 = 10*d - 472. Is 36 a factor of d?
True
Let b(n) = 1 + 0 - 3 - 4*n. Suppose 0*r + 4*r = -32. Is b(r) a multiple of 13?
False
Let p(u) = -4*u**2 + 10*u + 5. Let n(c) be the second derivative of -7*c**4/12 + 19*c**3/6 + 11*c**2/2 + c. Let z(j) = 3*n(j) - 5*p(j). Is 7 a factor of z(6)?
True
Let q(c) = -3*c - 9. Suppose 5*a + 4*d + 38 = 0, d + 2*d = 2*a + 6. Let z be q(a). Is 8 a factor of 128/z - (-2)/(-9)?
False
Let s = -8 + 22. Is 14 a factor of s?
True
Let x = 1 - -34. Is 8 a factor of x?
False
Suppose 0*f - 4*f + 4*s + 4 = 0, s = 3*f - 13. Let t be ((-8)/f)/4*-3. Does 10 divide 2*38/4 + t?
True
Let p(g) = g**3 - 13*g**2 + 5*g - 12. Let z = -1 - -14. Is 32 a factor of p(z)?
False
Let i be (-6)/(-3)*(-2)/1. Let u(z) = 2*z**2 + 4*z - 3. Is 13 a factor of u(i)?
True
Suppose -2 - 2 = 2*r. Let p be (4/8)/(r/(-24)). Suppose 0 = -4*k - 16, -4*z + p*k - 4*k + 52 = 0. Is 11 a factor of z?
True
Let r = 4 + 7. Is r a multiple of 5?
False
Suppose -156 = -2*u + 4*a - 6, -165 = -2*u - a. Is u a multiple of 21?
False
Suppose 0 = x - 2. Suppose 0 = x*d - 0*d. Suppose -4*c + 11 + 1 = d. Is c a multiple of 3?
True
Let w(m) = m**3 + 15*m**2 - m + 3. Is 10 a factor of w(-15)?
False
Let h(b) be the first derivative of -2*b**2 + 3*b + 1. Suppose -4*m + 15 = -9*m. Is h(m) a multiple of 7?
False
Suppose -362 = -4*g + 5*a, 7*a - 2*a + 10 = 0. Does 14 divide g?
False
Suppose 0 = 3*b - 8*b + 665. Does 19 divide b?
True
Suppose 3*f - 209 + 23 = 3*m, -4*f - 3*m = 