-g = -2*w - 3 - 5, w = g - 4. Is (-3 - g)*-1*4 a multiple of 4?
True
Let m be (-144)/(-14) - 4/14. Let o be 1/2 + (-147)/(-6). Is 7 a factor of 66/10 + m/o?
True
Let y(q) = -14*q + 2. Is y(-1) a multiple of 4?
True
Let v be 12/4 + 0 + -1. Suppose -4*d - 49 = -5*a, -v*d = 3*d - 20. Suppose -j - a = -2*j. Is 13 a factor of j?
True
Suppose -5*b + 2*y = -71, -49 = -4*b + y - 2*y. Let h = b - 4. Is 4 a factor of h?
False
Suppose 0 = 7*z - 9*z. Suppose -x - 4*k + 171 = 4*x, z = -4*x - 4*k + 136. Does 13 divide x?
False
Let h be 3 - ((-4)/(-2) - 19). Let i = 33 - h. Does 12 divide i?
False
Is 45 + 5*(-6)/(-10) a multiple of 12?
True
Let i(k) = -k**3 - 7*k**2 + 4*k - 14. Is 9 a factor of i(-8)?
True
Suppose 10 = 3*b + 1. Suppose 6*k - 4*k - 82 = -b*i, 100 = 4*i - 2*k. Does 13 divide i?
True
Suppose 5*l + 0*x - 631 = -x, 4*x = 4*l - 500. Is l a multiple of 14?
True
Is 5 a factor of (-108)/(-6) - 2 - -4?
True
Let w be ((-4)/(-6))/(2/99). Let p = 49 - w. Is p a multiple of 5?
False
Let l(a) be the second derivative of -a**5/20 - a**4 + a**3/6 + a**2/2 + 4*a. Let t be l(-12). Let j = t - -27. Does 8 divide j?
True
Suppose 0*b + 12 = -3*b - 4*y, -b - 3*y = 9. Suppose b = 4*o - f - 2*f - 51, 0 = 2*f - 6. Is o a multiple of 6?
False
Let u be (-18)/(-8) - 5/20. Suppose -p + 22 = u*p + 4*d, 0 = -3*p - d + 19. Is 3 a factor of p?
True
Let u(t) = -t**3 + 3*t**2 + 2*t + 4. Let p be u(3). Suppose -2 = -0*l + 2*l + 4*z, 5*l - 10 = -5*z. Suppose 255 = l*b + p. Is 18 a factor of b?
False
Let m(p) = p**3 - 4*p**2 + 4. Let g be m(4). Suppose c = -5*v - 14 + g, -c - 3*v = 0. Does 14 divide 82*(c/6 + -2)?
False
Let f(w) = -43*w**3 - 2*w**2 - 3*w - 2. Does 21 divide f(-1)?
True
Let m = -69 - -84. Is 9 a factor of m?
False
Let b(h) = -16*h**3 + 17*h**3 + h + 6*h**2 - 17*h**2. Does 10 divide b(11)?
False
Suppose 4*c - x = -17 - 3, 3*x + 4 = -4*c. Let y = -2 - c. Does 14 divide 27*(0/y - -1)?
False
Let c(a) = -a**2 - 10*a - 6. Let j be c(-9). Suppose 116 = 5*l + j*i, -l + 20 = i - 2*i. Is 17 a factor of l?
False
Let l be 6/(3/6*-3). Let j = 8 + l. Suppose 0*u - 72 = -j*u. Does 9 divide u?
True
Suppose 0*s + 6 = -s. Does 2 divide (-3)/s*-2 - -4?
False
Let n = -150 - -258. Is n a multiple of 9?
True
Let b(u) be the third derivative of u**4/6 - u**3/2 - 4*u**2. Is 21 a factor of b(6)?
True
Let t(h) = h**3 - h**2 + h + 46. Is 23 a factor of t(0)?
True
Let u = 6 + -1. Suppose u*x + 83 = 6*j - 3*j, -5*x - 119 = -4*j. Is j a multiple of 9?
True
Let c(p) = -2*p**3 - 5*p**2 - 2*p. Let o be c(-3). Let x = -7 + 0. Let h = o + x. Is h a multiple of 8?
True
Let b(l) = 2*l + 10. Is 4 a factor of b(5)?
True
Suppose 0 = -5*a + 7 + 3. Is a*(2 + -3) + 81 a multiple of 21?
False
Suppose 0 = -3*y - y - 4*u + 12, 0 = -4*y - 5*u + 9. Does 13 divide ((-88)/6)/((-4)/y)?
False
Suppose 0 = 2*d - 3*d + 3*v + 42, 0 = 5*d - 5*v - 170. Let w = d - 0. Is 10 a factor of w?
True
Let v be ((-2)/(-3))/(6/117). Suppose 0 = 4*m - 19 - v. Suppose w - m = -w. Does 4 divide w?
True
Let l(v) = -v - 2. Let m be 4*1 - (-8)/(-4). Suppose -4 = m*a, 2*a + 7 = -x - 7. Is l(x) a multiple of 4?
True
Suppose n + 3*n = -2*a + 502, -5*n + 995 = 4*a. Is a a multiple of 35?
True
Is 21 a factor of 3/(-5)*(-5 + -30)?
True
Let a(b) = b + 4. Let h be a(-4). Suppose 3*r + 19 = 4*d, -5*d + 8*r - 3*r + 20 = h. Does 7 divide d?
True
Let b(r) = -r. Let o be b(0). Let g = -4 - o. Let s(f) = -7*f - 6. Does 10 divide s(g)?
False
Let s = -19 + 14. Let r(j) = -3*j - 3. Is 12 a factor of r(s)?
True
Is 3/((-14)/20 - -1) a multiple of 9?
False
Let d(h) be the third derivative of -h**5/60 - h**4/8 + h**3/2 + 5*h**2. Is 2 a factor of d(-3)?
False
Suppose 56 = q + 3*q. Is 2 a factor of q?
True
Let x(r) = -2*r + 7*r**2 - 9*r**2 - 11*r**2 - 16 - r**3 + 0*r**3. Does 5 divide x(-13)?
True
Let i(c) = 2*c - 4. Is i(18) a multiple of 16?
True
Suppose 0 = -u + 6*u. Suppose -w + u = -3. Suppose -3*i + 153 - 30 = -w*c, -5*c - 94 = -2*i. Is i a multiple of 14?
False
Let q = -20 - 4. Is (-6)/q + 127/4 a multiple of 12?
False
Is 19 a factor of (2 + -5 - -5) + 316?
False
Let c(s) = -2*s**2 - 2*s + 17. Is c(0) a multiple of 4?
False
Suppose 2*h - l = 201, 0 = 3*h + 5*l - 162 - 133. Suppose 4*v = 3*v + 3. Suppose v*n = 8*n - h. Is 6 a factor of n?
False
Is 12 a factor of (12 - 8) + 73*1?
False
Let u(v) = -2*v**2 - 4*v + 17. Let k be u(-7). Suppose -5*c + 3*t - 109 = 0, -4*c - 3*t = -t + 96. Let h = c - k. Does 18 divide h?
False
Let w = 10 + -3. Let f(u) = -3*u + 8*u - 4 - 2 + w. Is f(4) a multiple of 21?
True
Suppose -4*b = -0*b - 208. Is b a multiple of 8?
False
Let l be 24/(-16)*76/(-3). Let x = l + -20. Is x a multiple of 6?
True
Let s(v) = 19*v**2 + 3*v - 5. Is s(2) a multiple of 17?
False
Let z = 48 - 15. Does 2 divide ((-18)/10)/(z/(-110))?
True
Suppose -15*b + 15 = -10*b. Suppose -35 = -5*t - 4*o + 3*o, 0 = b*t + o - 23. Does 3 divide t?
True
Suppose 0*o = o - 60. Does 13 divide o?
False
Let v(u) = -u**2 - 10*u - 8. Let f(w) = w**3 - 5*w**2 - 2*w. Let a be f(5). Let m be v(a). Let j(i) = i**2 + 6*i - 9. Does 7 divide j(m)?
True
Let z = 1 - -2. Suppose 0 = -z*n + 5*n - 32. Suppose -4*p = -3*d - 54, -2*d = 2*p - 3*p + n. Is p a multiple of 12?
True
Let d(j) be the first derivative of -3/2*j**2 + 2 - j + 5/3*j**3. Is d(-2) a multiple of 9?
False
Suppose -7*q + 0*q = -245. Does 35 divide q?
True
Suppose 4*d - 244 = 92. Is 28 a factor of d?
True
Let x(s) = 0*s - 3*s - 13*s. Let q be x(-4). Suppose 2*a - 6*a + q = 0. Does 16 divide a?
True
Let x = 86 - 72. Is 12 a factor of x?
False
Let u(c) = 9*c**3 + 7*c**2 - 4*c + 13. Let g(h) = 5*h**3 + 4*h**2 - 2*h + 7. Let w(j) = -11*g(j) + 6*u(j). Is w(-2) a multiple of 2?
False
Let f be (-2 + (-3 - -1))*-1. Suppose 19 = f*g - 93. Let x = 50 - g. Does 14 divide x?
False
Suppose -5*b = 3*g - 106, 5*g = 3*b + 3*g - 56. Suppose c = -4*c + b. Is 4 a factor of c?
True
Let m be (-26)/(-10) + 4/10. Let k = 8 - m. Suppose -180 = -k*f - 5*a, -f - 4*a - 56 = -2*f. Does 20 divide f?
True
Let b(y) = y + 4. Let d be b(0). Suppose -24 = -d*q + 288. Suppose -q = -5*p - 3*g, 0*p - 68 = -4*p - g. Is 8 a factor of p?
False
Suppose -5*h + 10 = -0, 18 = 5*s + 4*h. Suppose 5*g + 15 = 0, s*u = -2*g + 3*g + 77. Does 17 divide u?
False
Let f(w) = 13*w - 9. Let z(p) = -12*p + 10. Let h(t) = -5*f(t) - 6*z(t). Suppose 0 = 2*m + 3*m - 50. Is h(m) a multiple of 22?
False
Suppose 7*b = -5*b + 204. Is 10 a factor of b?
False
Suppose -2*n + 262 = -n. Suppose 2*v - 63 = 3*x - 217, -5*x + 2*v = -n. Let d = -35 + x. Is d a multiple of 8?
False
Let k = -10 - -9. Is 16 a factor of k/(-3) - (-519)/9?
False
Suppose 0 = 4*u - 16, 5*j + 20 = 2*u + 262. Suppose 8*a = 3*a + j. Is 3 a factor of a?
False
Let n(a) = a**2 + 4*a - 8. Suppose 0 = -5*l - 21 - 9. Let u be n(l). Suppose 4*w = 3*i + 18, -5*w - i + 28 = -u. Does 6 divide w?
True
Let z = -221 - -363. Does 22 divide z?
False
Suppose -8*p - 14 = -3*g - 3*p, 5*p - 90 = -5*g. Suppose 3*q - g - 32 = 3*y, 4*q = -y + 50. Does 3 divide q?
False
Suppose -98 = -0*a - a. Does 49 divide a?
True
Suppose -5*p - 2*d = -3*p - 102, -59 = -p + d. Is p a multiple of 4?
False
Let g(y) = -2*y**3 - 11*y**2 + 3*y - 1. Let c be g(-8). Suppose -6*a + a = -c. Is a a multiple of 25?
False
Let n = 85 - 48. Is 37 a factor of n?
True
Let s = -124 + 216. Suppose 4*w + y + 43 = 5*w, 2*w - s = -4*y. Is 22 a factor of w?
True
Suppose 0 = -3*y - 3*p - 9, 4*p = 3*y + 2*y - 12. Suppose y = -s - 0*s + 51. Is 17 a factor of s?
True
Let d(n) = 2*n**2 + 11*n - 27. Is 11 a factor of d(-10)?
False
Suppose -4*l - h - 5 = 0, -2*l - 2*h = l + 10. Suppose 3*y + 4 - 16 = l. Suppose q = 5*v + 47, 2*q = y*v + 91 - 15. Is q a multiple of 16?
True
Suppose 0 = -g - 2, -3*s + 18 = -4*g - 29. Let j = s + 34. Does 6 divide j?
False
Let n = -123 + 73. Let i = -116 + 205. Let c = n + i. Does 13 divide c?
True
Let c = 47 - -25. Suppose -6 = 2*m - c. Does 17 divide m?
False
Let s(t) = t + 2. Let d(x) = -4*x - 7. Let m(y) = -6*d(y) - 21*s(y). Does 9 divide m(3)?
True
Let m(p) = -27*p**2 + p. Let z be m(1). Let q be 45 - (-1 + (2 - 0)). Let c = q + z. Is 9 a factor of c?
True
Suppose 3*p = -0 + 6. Let d be 6/(-8)*4/(-1). Is 4 a factor of (5/p)/(d/12)?
False
Is 20 a factor of 1202/14 + ((-6)/2)/(-21)?
False
Suppose 4*o = -y - 3*y + 404, 4*o + 444 = 4*y. Is y a mult