(-10) a multiple of 15?
False
Suppose 5*y - 14 = -a + 16, -a + 3*y = 2. Suppose -a*z + 28 = -3*z. Does 4 divide z?
True
Suppose 2*r - 2*a = -0*a + 66, 2*r - 4*a - 70 = 0. Suppose 3*n - 292 = -r. Does 10 divide n?
False
Let a(h) = 23*h + 261. Is a(33) a multiple of 10?
True
Suppose 12 + 14 = -z. Let k = z + 22. Is (-130)/k*(-12)/(-15) a multiple of 13?
True
Let g = 6 + -6. Suppose g*t - 20 = 5*t. Let j = t + 16. Does 12 divide j?
True
Suppose 4*j = -6 + 22. Suppose 4*h - 6 + 2 = -j*p, 32 = 5*h - 4*p. Suppose -2*b + 168 = -h*k, -2*b - k = 4*k - 168. Is 21 a factor of b?
True
Let g(z) = -7*z**2 - 5*z + 2. Let v(c) = -8*c**2 - 6*c + 3. Let f(t) = -5*g(t) + 4*v(t). Let p be f(-1). Suppose p*m = -m + 425. Is m a multiple of 26?
False
Let n = 85 + -80. Let b(g) = g**3 + 3*g**2 - 15. Is b(n) a multiple of 37?
True
Let z(d) = d + 5. Let l be z(-5). Let p = 33 + -24. Suppose 3*w = l, -2*k + 37 + p = w. Is k a multiple of 13?
False
Let p = 317 - 102. Is 3 a factor of p?
False
Let o = 21 - 13. Let c be o*(-3)/12*-2. Suppose 3*j - 4*t = 10, 20 = -0*j + c*j - 4*t. Is 10 a factor of j?
True
Suppose -2*j + j + 22 = 0. Let z be (-6)/(-33) - (-700)/j. Suppose r + r = z. Is 16 a factor of r?
True
Suppose 2 = -6*y + 2. Suppose 2*h = -0*h - z + 201, y = 4*z - 4. Is h a multiple of 15?
False
Let g be 12/8 + 1/2. Let d(x) = -2*x + 6*x**2 + 0*x**2 - x**3 - g + 7*x. Is 28 a factor of d(6)?
True
Let z = 1423 + -499. Is 66 a factor of z?
True
Suppose -20*l + 877 = -263. Does 2 divide l?
False
Let c be (1 - 0)*(-5 + 22). Let a = 129 + c. Is a a multiple of 9?
False
Suppose -3*d + 5*x + 1299 = 0, 4*d + 2*x = 890 + 816. Let q = -290 + d. Does 23 divide q?
True
Suppose 5*v - 4 = -139. Let g = 99 + v. Is 10 a factor of g?
False
Suppose -3*o - t = -2*t - 54, 3*o + 4*t = 54. Is 10 a factor of (o - 2) + 6 + -3?
False
Suppose -10 - 19 = -p. Let z = p + -27. Suppose -4*n + 553 = m - z*m, -5*n + 675 = 2*m. Is n a multiple of 28?
False
Is 4 a factor of ((-2)/(-8))/((-13)/(-3796)) - -3?
True
Suppose 25*a - 30*a = -15. Suppose 0 = 5*y + a*v - 188, 4*v = 4*y - 68 - 108. Is y a multiple of 8?
True
Suppose -2*f = -5*b - 21, -2*f + 0*b = 4*b + 6. Is 34 a factor of 2 - (-1 + f)/((-2)/32)?
True
Let y = -492 + 968. Is 6 a factor of y?
False
Let f(w) = -w**2 + 2*w - 11. Let t(y) = y**2 - 2*y + 11. Let l(x) = 6*f(x) + 5*t(x). Let r be l(0). Let q(g) = g**2 + 8*g + 12. Is q(r) a multiple of 14?
False
Suppose -1032 = 5*t - 13*t. Is 43 a factor of t?
True
Suppose 0 = -34*r + 1845 + 127. Is 26 a factor of r?
False
Let t(z) = z**2 + 7*z - 7. Let f be t(-7). Let u(p) be the third derivative of -5*p**4/24 + p**3/6 + 13*p**2. Is u(f) a multiple of 12?
True
Let p(d) be the second derivative of -d**4/12 + 5*d**3/2 - 13*d**2/2 + 10*d. Is 6 a factor of p(12)?
False
Suppose 2*q + 3*h - 64 = 4*h, -5*h = 2*q - 40. Suppose 0 = d - q - 100. Is d a multiple of 13?
True
Let w = 2152 + -1290. Does 78 divide w?
False
Let u(i) = -358*i + 6. Does 26 divide u(-3)?
False
Let w be 4/(-14) + (-1455)/(-21). Suppose 4*o = -2*d - 367 + w, 5*o + 2*d = -373. Let v = o + 133. Is v a multiple of 17?
False
Let j(m) = 16*m - 16. Let s be 3/(-8) + 59/8. Does 12 divide j(s)?
True
Suppose -44 = 18*y - 80. Let i(x) = x - 4. Let k be i(0). Is 2 a factor of k*(y - 22/8)?
False
Suppose 4*z = -4*c + 416, -4*z = 2*c - 0*c - 200. Suppose -6*l = 3*l - c. Is l a multiple of 3?
True
Let u(l) = 82*l**2 + 31*l + 4. Does 5 divide u(3)?
True
Suppose -2*i - 4*i = -30. Suppose -y + 32 = 5*t, -i*t = -4*y - 0*t + 128. Is y a multiple of 4?
True
Suppose 17*d - 534 = 13066. Does 80 divide d?
True
Suppose 5*o = 5*p + 2*o - 156, 3*o = 3*p - 96. Suppose -32*h = -p*h - 50. Does 14 divide h?
False
Suppose -3*c + 5*o + 42 = 0, o + 42 = -0*c + 3*c. Let q be ((-2)/(-6))/(c/126). Suppose u = 3*u - q*f - 17, 0 = 4*u - 3*f - 31. Is 3 a factor of u?
False
Suppose -3*n - 39 = -2*h, 4*h + 0*h = 5*n + 73. Is h/(-42) + 226/7 a multiple of 8?
True
Suppose 3*u = 4*q + 2190, 3*q - 2*q = -2*u + 1460. Does 27 divide u?
False
Let q be (-2)/5 + 8/(-40)*213. Let z = 250 + q. Is z a multiple of 25?
False
Suppose 5*n = 3*j + 29, 3*n - 3*j = 3 + 12. Suppose n - 2 = -5*m, 5*m = -5*w + 205. Is 42 a factor of w?
True
Suppose 0 = -3*j + 4*q + 80, -3*j = 4*q - 91 + 3. Is -6 + 1771/j - (-2)/(-8) a multiple of 19?
True
Let u(t) = -t**2 - 42*t - 29. Does 6 divide u(-36)?
False
Suppose -15*m = -353 - 3727. Is 15 a factor of m?
False
Let l(x) = x**3 + 6*x**2 - 8*x - 1. Let c be l(-7). Suppose c*u - 16 = 2*u. Suppose 0 = -4*m - m - t + 55, 44 = u*m + 4*t. Is m a multiple of 11?
True
Suppose 0*k + 5*l = -3*k + 265, 0 = -4*l - 16. Let x be (-68*(-15)/10)/(-2). Let u = k + x. Does 22 divide u?
True
Suppose -2*l + 2*c - c = -77, 0 = -4*l + 3*c + 149. Let d = 77 - l. Does 19 divide d?
False
Let m = 739 - -413. Does 6 divide m?
True
Let m be 126/70 + 1/5. Suppose -b + 10 = r + 2*r, -m*r + 15 = b. Is b a multiple of 10?
False
Let s = -24 - -33. Suppose -4*k = -7 - s. Suppose -275 = -5*i + k*o, 0 = -2*i - 6*o + o + 77. Does 17 divide i?
True
Suppose -o + 4*o = 120. Suppose 5*w - 3 - 17 = -5*j, -2*w = -3*j - 33. Is o - (w/(-3) - -4) a multiple of 16?
False
Suppose 2*y = -2*j + 5744, -3*j - 5*y = -6*j + 8584. Is 74 a factor of j?
False
Is 10 a factor of (-225)/((-5)/((-70)/(-21)))?
True
Let c be (-1 + -25)*18/12. Does 4 divide 923/c*3*-1?
False
Let p(q) be the second derivative of -q - q**3 + 0*q**2 + 0 + 1/12*q**4. Does 4 divide p(7)?
False
Let t be ((-1)/(-1))/((-6)/(-12)). Suppose t*p + 2*z = 8, -2 + 4 = 5*p - 4*z. Suppose -n + 20 = 3*l, p*l = -n - 0*l + 23. Does 12 divide n?
False
Suppose -6*c + 54 = -174. Does 2 divide c?
True
Does 28 divide (-7 - -11) + 1239/3?
False
Suppose 82711 = 27*g - 6065. Does 24 divide g?
True
Let q be (-18)/((-4)/(-1 + -3)). Is (0 - q)*2/3 a multiple of 10?
False
Let r = -4 - -20. Let f = -16 + r. Suppose f = 4*j - 3*j - 13. Is 3 a factor of j?
False
Let h be ((-75)/(-1))/3 - -1. Let i = h - 21. Suppose -20 = -i*d, -3*d + 5*d - 28 = -2*s. Does 8 divide s?
False
Suppose 0 = -5*q - 8 - 17. Let g(z) = z**2 - 2*z - 9. Does 13 divide g(q)?
True
Let v(j) = 2*j**3 - 33*j**2 - 21*j + 33. Let k(n) = n**3 - 16*n**2 - 10*n + 16. Let q(f) = 13*k(f) - 6*v(f). Is q(11) a multiple of 29?
True
Let y(x) = 2*x**2 + 2*x. Let l be y(-2). Let t be (-80)/(-12)*(-18)/(-24). Suppose t = l*h - 3*h. Is h even?
False
Let w = 40 + -76. Let y = -307 + 208. Let c = w - y. Is 19 a factor of c?
False
Let w(c) = c**3 + 1. Let b be w(1). Is ((-80)/56)/(b/(-14)) a multiple of 10?
True
Let r = 1315 + -585. Suppose 3*l = -4*z + r, 2*z - l - 374 = 2*l. Is z a multiple of 23?
True
Let o(t) = t**2 + 5. Suppose 0*y + 6*y = -0*y. Is 2 a factor of o(y)?
False
Suppose 7*s - 969 - 1096 = 0. Does 16 divide s?
False
Suppose 2*s - 3*z = 557, z = s - 188 - 92. Suppose 0 = -4*f + 6*f - 3*d - s, -4*f + d = -581. Does 18 divide f?
False
Let w(z) = -3*z**2 + 56*z + 15. Let s be w(18). Let d = s - 36. Is 15 a factor of d?
True
Suppose -15*q + 361 + 179 = 0. Does 4 divide q?
True
Let j(i) = i**2 - 9*i + 8. Let r(n) = 3*n**2 - 26*n + 24. Let p(f) = -8*j(f) + 3*r(f). Is p(8) a multiple of 4?
True
Suppose -304*o = 3*q - 302*o - 12402, -5*q - 5*o + 20670 = 0. Does 13 divide q?
True
Suppose -2 = 2*u - 6. Suppose l = 5, -3*l - 2*l + 105 = u*n. Is n a multiple of 4?
True
Let z = 887 + -503. Is z a multiple of 24?
True
Let s = -400 + 1161. Is s a multiple of 27?
False
Suppose 3*c - 3*x - 234 = 0, 0 = -0*c - 4*c + x + 312. Is 17 a factor of c?
False
Suppose -4*t = -23*t + 5890. Is 21 a factor of t?
False
Does 46 divide 1 + (588/10)/(2/25)?
True
Let d(o) = o**3 + 7*o**2 + 9*o + 3. Let p be d(-5). Suppose -3*c + 4 = -p. Does 2 divide c?
True
Suppose 5*z + 3*p = 1575, 3*p - 1198 + 247 = -3*z. Does 18 divide z?
False
Let l(j) = 68*j + 11. Is l(9) a multiple of 16?
False
Let n = -84 + 73. Let p(c) = c**2 - 20*c + 2. Does 49 divide p(n)?
True
Let l = 3338 + -2109. Is ((-12)/4)/(-18) - l/(-6) a multiple of 35?
False
Let p(t) = t**3 - 7*t**2 - 16*t + 16. Suppose 0 = -3*j + 38 - 8. Is 12 a factor of p(j)?
True
Let v = 132 - 129. Suppose -v*c + 1091 = 449. Is 13 a factor of c?
False
Does 16 divide (-2*284/(-3))/(8/48)?
True
Suppose -w + 763 = 4*c, 23 = 3*w + 14. Does 19 divide c?
True
Suppose -d - 2*m = 74 - 182, -216 = -2*d + 3*m. I