Suppose 5*a + 5*w = 1420, 403 + 732 = 4*a + 3*w. Suppose 5*v - a = -2*n, 62 = 3*v + 5*n - 104. Is v a multiple of 19?
True
Let d(i) = i**3 - 4*i**2 + 5. Is 5 a factor of d(4)?
True
Let z = 146 + -80. Is z a multiple of 22?
True
Suppose 8*h = 5*h + 213. Is h a multiple of 36?
False
Let m be (-96)/(-54) - (-2)/9. Let b(t) = t - 5*t + t**2 + 21 + 5*t - m*t**2. Does 21 divide b(0)?
True
Let c be (-2)/(-8) + 3/(-12). Suppose -p - 3*p + 168 = c. Let y = -27 + p. Is y a multiple of 9?
False
Suppose -39 + 7 = -2*r. Suppose 5*k + 12 = 4*u, 5*u - 15 = -0*u + 5*k. Suppose u*z - 65 = r. Is z a multiple of 14?
False
Suppose -138 = -0*v + 2*v. Let p = v - -115. Is p a multiple of 21?
False
Let m(q) = 12*q**2 - 2*q - 1. Does 5 divide m(-1)?
False
Let a(s) = -3*s**2 + 4*s + 2. Let k(g) = -7*g**2 + 9*g + 5. Let v(q) = -5*a(q) + 2*k(q). Let p be v(2). Does 9 divide 1*p/(-1) + 24?
False
Let x = -11 - -11. Suppose 5*v - 2*z - 405 = x, -4*v - 4*z + 202 + 122 = 0. Does 27 divide v?
True
Let j = -6 + 6. Suppose x + j = 19. Is x a multiple of 5?
False
Let g be ((-5)/10)/(3/78). Is -2*1/2 - g a multiple of 6?
True
Let o(f) = -5*f**2 + 24*f + 27. Let x(c) = -2*c**2 + 12*c + 13. Let w(a) = 3*o(a) - 7*x(a). Let u be (-20)/(-3)*(-6)/5. Is w(u) a multiple of 11?
True
Let y = -857 + 541. Let p be 5/((-10)/y) - -2. Suppose 3*g - p = -2*g. Does 16 divide g?
True
Let d(x) = x**2 - 3*x - 3. Suppose -2*m = -m - 21. Suppose o - 5*l - 35 = -2*o, -o + 4*l + m = 0. Is d(o) a multiple of 3?
False
Let q = -9 + 12. Suppose q*a = -a, -3*i + 5*a + 54 = 0. Is 16 a factor of i?
False
Let c(o) = -71*o - 2. Let v be (0 + 1)/(1/(-2)). Let z be c(v). Suppose -k = -3*n + z, 4*n + 5*k - 137 = 18. Is 17 a factor of n?
False
Suppose -3*c - 5 = 1. Let a(h) = -h**3 - 2*h. Is 12 a factor of a(c)?
True
Suppose 3*w - 8 = 4*r, 2*r = 5*w - w + 6. Let n be ((-6)/w)/(3/(-4)). Let s(y) = -5*y + 1. Is 6 a factor of s(n)?
False
Suppose 5*c + 2*l - 18 = 0, 3 = 2*c + 5*l - 0*l. Suppose -c*w + 104 = -0*w. Is w a multiple of 14?
False
Let g = -4 - -9. Suppose 3*p + 9 = w + 2*w, -3*p - 5*w + 15 = 0. Suppose 0 = -4*l + g*k + 17 + 56, p = 3*l - 5*k - 51. Does 14 divide l?
False
Suppose 11*z - 13*z + 64 = 0. Does 8 divide z?
True
Suppose -51 = 4*x + 9. Let a = x + 42. Is 9 a factor of a?
True
Let m = 4 - -4. Let b(d) = 2*d + m*d**2 - 2 + 5*d + d**3 - 6. Does 11 divide b(-6)?
True
Let r be (-25)/15*(0 - 21). Let m be r/2*72/(-30). Does 12 divide (m/8)/(15/(-40))?
False
Suppose u + 4 - 22 = 0. Suppose 2*w + 8 = 3*m, w - 6 = -3*m + 2*m. Suppose z - u = w. Does 10 divide z?
True
Suppose 3*b + 2 - 143 = x, -2*x = -4*b + 186. Does 12 divide b?
True
Suppose 9*b + 79 = 10*b. Is b a multiple of 21?
False
Suppose -31*w + 30 = -29*w. Is w a multiple of 15?
True
Let o be 8/(-28) - (-24)/(-14). Is 10 a factor of o/(-6) - (-145)/15?
True
Let b(z) = -5*z + 35. Is 35 a factor of b(-14)?
True
Let y = -4 - -1. Let z = -1 - y. Suppose -z*a = -1 - 59. Does 11 divide a?
False
Let r = 47 + 5. Is r a multiple of 4?
True
Let t(p) = -2*p**2 - p - 2*p + 3 - 2 + 7*p**2 - p**3. Is t(4) even?
False
Let f(x) = 5*x**3 - 17*x**2 - 5*x - 6. Let k(q) = -2*q**3 + 6*q**2 + 2*q + 2. Let y(h) = 3*f(h) + 8*k(h). Let p be ((-21)/(-6))/(-7)*8. Is 5 a factor of y(p)?
True
Let d(s) = -s**2 + 12*s - 2. Let y be d(8). Suppose 0 = h + h - y. Does 14 divide h?
False
Let k(y) = y**2 + 2*y. Let p be (-8 - -3)*(-8)/(-10). Is k(p) a multiple of 4?
True
Let c(u) be the second derivative of u**3/2 + 2*u**2 - u. Does 10 divide c(6)?
False
Let x be (0 - -1) + (-3)/(-1). Suppose -x*w + 15 = w. Suppose -66 = -2*f + 2*b, -w*f + 4*b + 96 = -0*b. Does 12 divide f?
True
Let i be ((-5)/(-15))/(2/186). Suppose 233 = 6*y - i. Does 14 divide y?
False
Let d = 5 - 3. Suppose d*p - 7 + 1 = 0. Suppose 3*l = -u + 4, 3*u = p*l + 6*u + 6. Is l a multiple of 2?
False
Let h(i) = i**2 - i + 16. Is h(0) a multiple of 16?
True
Let c(y) = y**3 + y**2 + 1. Let m(w) = -w**2 + 5*w. Let g be m(5). Let a be c(g). Is (a + -2)/((-3)/27) a multiple of 7?
False
Suppose -5*d = 4*l - 487, 3*l + 4*d - 3*d = 379. Does 13 divide l?
False
Let u = -23 + 53. Is 15 a factor of u?
True
Suppose 5*i = -n, 0 = i + 3*i + n. Let x be (6 - (1 + i))*13. Suppose -4*d - x = -9*d. Is d a multiple of 6?
False
Let t(w) = 46*w + 4. Let v(g) = -46*g - 5. Let a(p) = -4*t(p) - 3*v(p). Suppose 4*o - 2 + 6 = 0. Is 18 a factor of a(o)?
False
Suppose 5*n = -5*v + 250, 2*v - 4*v = -5*n + 271. Suppose 5*b - n = 82. Suppose -2*u + b = -27. Is u a multiple of 11?
False
Let g(w) = -11*w**3 + 7*w**2 + 14. Let l(p) = 4*p**3 - 2*p**2 - 5. Let k(t) = 3*g(t) + 8*l(t). Let h be k(5). Suppose 0 = -h*j + 3*j - 10. Is j a multiple of 4?
False
Let n be (-9)/(2 - 21/6). Does 20 divide -3*4/n + 24?
False
Suppose c = -0*c - 3, k - 65 = -c. Is 15 a factor of k?
False
Suppose -2*x + 36 = 3*j, j + 97 = 5*x - 10. Is x a multiple of 9?
False
Let h(m) = -1 + 4 - 5 + 7*m**2 + 3 + 3*m. Is h(-2) a multiple of 23?
True
Let r = 14 - 13. Is 4 a factor of (r*-2)/(2/(-8))?
True
Let z be (26/4)/(5/(-20)). Let y = z - -41. Does 4 divide y?
False
Suppose -3*y + 5 = -1. Suppose 2*z + 1 = 3, 0 = -y*s + 4*z + 6. Is s a multiple of 2?
False
Suppose -348 = -0*j + 4*j. Let o = j + 148. Does 22 divide o?
False
Let n(q) = 11*q - 1. Let o be n(2). Let y = 32 - o. Suppose -z - l + y = z, 2*z = -2*l + 8. Is 3 a factor of z?
False
Let z = 128 - 90. Suppose -3*b = 2*b - 65. Suppose -p + z = b. Is 13 a factor of p?
False
Suppose 4*l - 13 = 3*l. Is l a multiple of 4?
False
Let w = 39 - 20. Let v = w - 3. Does 8 divide v?
True
Let y(w) = 43 + w + 51 - 39. Is y(0) a multiple of 15?
False
Let d be (-2)/(-4) - 6/(-4). Suppose 0 = -b + 4*g - 6, 2*b + b - 2*g - d = 0. Is 2 a factor of b?
True
Let f be (-1 + -1)/(3 - 1). Let n be (3 - 2)/f - 1. Is 4 a factor of ((-42)/(-9) + n)*3?
True
Suppose 3*o - 4*o + 52 = 5*r, -4*r + 197 = 5*o. Does 4 divide o?
False
Suppose -4*w - 53 = -1261. Is 25 a factor of w?
False
Let f(y) = y**2 + y + 7. Let s be f(0). Let m(q) = q**3 - 6*q**2 - 3*q - 1. Is m(s) a multiple of 18?
False
Let w(n) = 6*n**3 + 4*n**2 - 4*n + 3. Is 14 a factor of w(2)?
False
Let r = -8 + 11. Suppose -3*z - c + 26 + 14 = 0, -z - r*c + 8 = 0. Is z a multiple of 4?
False
Let n(x) = -x**2 - 7*x - 4. Let c be n(-6). Suppose -u = c*r + 1, -5*u + 13 = -3*r - 21. Let f(o) = 2*o**2 + 4. Is 11 a factor of f(r)?
True
Let a(m) be the first derivative of -m**3/6 + 10*m**2 + 3*m - 1. Let d(k) be the first derivative of a(k). Is 10 a factor of d(0)?
True
Let s(r) = -r**2 + 8*r + 3. Let z be 10 + 4/(-6)*3. Let v be s(z). Suppose 0 = q + v*q - 160. Is 17 a factor of q?
False
Let b = 3 - -6. Let m = 33 - b. Is m a multiple of 8?
True
Let w be (2/1)/((-6)/9). Let m be w/((3/2748)/(-1)). Is 20 a factor of (-2)/(-13) - m/(-52)?
False
Let w(c) be the second derivative of -c**4/12 - 4*c**3/3 + 3*c**2 + 3*c. Is w(-6) a multiple of 18?
True
Is 1/(3*(-1)/(-408)) a multiple of 22?
False
Suppose -2*d = -d - 5*t - 20, 0 = 5*d - 5*t - 200. Suppose -d = -4*n - n. Let k = 3 + n. Is k a multiple of 8?
False
Let d = -294 + 434. Is 35 a factor of d?
True
Let o(l) = l**2 - 7*l + 1. Let b = 4 - -4. Does 9 divide o(b)?
True
Suppose 9*k = 7*k + 60. Does 9 divide k?
False
Suppose 5*h - 37 = 4*f, -h - f - 10 = 4*f. Suppose 0 = 5*a + 4*l - 110, h*a + 4*l - 3*l = 95. Does 9 divide a?
True
Let j(f) = -f**2 + 2*f - 3. Let l be j(2). Let a be 4 - (3 + (l - -2)). Let o = 2 + a. Is 3 a factor of o?
False
Is -15*42/45*(-30)/5 a multiple of 6?
True
Let z = 98 + -14. Is z a multiple of 18?
False
Let i(j) = 59*j - 1. Is 16 a factor of i(3)?
True
Suppose 11*n + 60 = 15*n. Does 7 divide n?
False
Let a(h) = h**3 - 6*h**2 - 7*h + 5. Let l be a(7). Suppose -m = 4, z - 3*z + 20 = -l*m. Suppose q + z*q = 12. Is 6 a factor of q?
True
Suppose b + 1 + 0 = 0. Is 16 a factor of 51 - 3*(2 + b)?
True
Let d(b) = -26*b. Let p be d(-1). Let j be p/(-3) + (-8)/(-12). Let s = j + 41. Does 15 divide s?
False
Let c = 43 - 4. Is c a multiple of 15?
False
Suppose -5*i + 50 = -2*y, 3*y + 35 = -i - 23. Let r = 10 - y. Does 26 divide r?
False
Let b(v) = v - 1. Let f(t) = -1. Let a(y) = -b(y) - 3*f(y). Let c = 0 + 0. Is a(c) a multiple of 2?
True
Suppose 0 = -q + i - 6, -3*i + 1 = -q - 15. Is q*2 + 0 - -31 a multiple of 15?
False
Suppose 6*v - 4*v = 192.