v = 578 + -473. Is v a multiple of 3?
True
Let a(w) = w**2 + 12*w + 33. Is 3 a factor of a(-9)?
True
Suppose -2*r = 3*r - 25. Suppose u + 4*j + 10 = 2, -r*u + 3*j = -75. Does 11 divide 266/u - 12/72?
True
Let r = 372 - -57. Is r a multiple of 19?
False
Let i(t) = t**3 - 5*t**2 + 39*t + 4. Is 12 a factor of i(8)?
False
Let w be 2 + 4 + 2 + -6. Suppose 2*l + 4*j - 38 = 0, w*j - 48 = -4*l + j. Does 4 divide l?
False
Let d = 49 - -13. Let q = -41 + 15. Let c = q + d. Does 9 divide c?
True
Let d(y) = 11*y - 9. Let o be d(3). Let k = -19 + o. Is 5 a factor of k?
True
Let i = 21 - 34. Let x = i - -10. Let a = 1 - x. Does 4 divide a?
True
Suppose 2*q = -k + 8, k + 5*q - 11 = 2*q. Suppose -2*x + 5*n = k - 14, 3*x + 3*n = -3. Let f(d) = 47*d + 1. Is f(x) a multiple of 16?
True
Does 8 divide (293 - 1/1) + (22 - 26)?
True
Suppose w - 4*n - 70 = 0, 2*w - 118*n + 122*n = 200. Is w a multiple of 6?
True
Let t(s) = -6*s + 1. Let h be t(6). Let v = h - -72. Let g = v - 3. Does 26 divide g?
False
Let f(k) = k**2 + 2*k - 2. Let a be f(6). Let p = a + -25. Is 2 a factor of 1*6/(18/p)?
False
Let z(h) = 24*h. Let m be z(1). Suppose 5*p - 231 = -w, 4*p - 4 = -m. Is 32 a factor of w?
True
Let s be (-6)/2*(-2)/(-3). Let t(f) = -91*f - 5. Let d be t(s). Let n = d + -105. Is 24 a factor of n?
True
Suppose 0*t + 205 = t. Suppose -2*j - 2 = 8, -2*f + t = -j. Is f a multiple of 20?
True
Let x(h) = -h + 5. Let v be x(4). Suppose 5*l = -3*f - v - 8, -3 = l + f. Suppose l = -4*k + 8, m + 2*m = -5*k + 124. Does 12 divide m?
False
Suppose -w + 24 = 12. Let v(c) = c**2 - 9*c - 12. Does 8 divide v(w)?
True
Let z(s) = 2*s**2 + 13*s - 4. Let t be z(-7). Let m = -10 + 17. Suppose -5*o = t*p - m*p + 137, -3*p = 2*o - 74. Does 11 divide p?
False
Let w(s) = -6*s - 20. Is 10 a factor of w(-30)?
True
Let z(y) = -y**3 - 27*y**2 - 27*y - 24. Let i be z(-26). Suppose i*c = -4, -5*c = f - 12 - 272. Is 42 a factor of f?
True
Let f = 1421 + -891. Does 11 divide f?
False
Let b(l) = -2*l - 1. Let s be b(1). Suppose -643*z = -650*z - 168. Is 4/(-1 - s) - z a multiple of 13?
True
Let x(g) = 3*g**2 + 0*g**2 + 6*g - 11 - 2*g**2 + 3*g. Let y be x(-10). Is 23 a factor of (88 - y) + (-9)/(-3)?
True
Let v(w) = 17*w**2 - 11*w - 2. Let h(t) = 35*t**2 - 22*t - 5. Let d(b) = -3*h(b) + 7*v(b). Is 8 a factor of d(3)?
False
Let b be (0 - (1 + -2)) + 1. Suppose -3*s + 5 = -10, b*k - s = 59. Does 17 divide k?
False
Suppose 5 = -5*x, 6*p + 5*x = 2*p + 16627. Is 14 a factor of p?
True
Suppose -6*w + 56 = -28. Suppose d = 17 - w. Suppose d*u - 36 = u. Is 6 a factor of u?
True
Let b(w) = w**3 + 45*w**2 + 40*w + 174. Is b(-44) a multiple of 51?
False
Does 20 divide ((-15)/4)/((-84)/18368)?
True
Let m be ((-12)/(-15))/(3/15). Suppose -2*g - 3*k = -49 - 17, 4*k = m*g - 152. Does 10 divide g?
False
Let g be (-18)/10 - (-2)/(-10). Let i be -13*(g + 0/(-2)). Suppose i = a + 8. Does 18 divide a?
True
Let f = 16 + -10. Suppose -2*r + 4*r - f = 0. Suppose i = r*i - 6. Is i even?
False
Does 6 divide (8/18)/((-10)/(-28485))?
True
Is 128 a factor of (3072/15)/((-10)/(-50))?
True
Let q = -17 + 22. Suppose 2*o = 2*x + 15 + 55, 0 = -4*o - q*x + 149. Is o a multiple of 9?
True
Let c(s) = s**3 - 9*s**2 + 13*s + 42. Is c(13) a multiple of 59?
False
Let a = 61 - 47. Let g = a + 22. Is 9 a factor of g?
True
Let h(n) be the first derivative of -35*n**4/2 - 4*n**3/3 + n**2 + 2*n + 2. Let y be h(2). Is 17 a factor of 10/35 - y/14?
False
Let a(u) = 1 - 3*u - 4 + 3 + 2 + 26*u**2. Is a(-1) a multiple of 6?
False
Let s(a) be the third derivative of a**5/30 - 7*a**4/6 - 25*a**3/6 - 47*a**2. Does 31 divide s(16)?
False
Suppose 4*a + 2*q = 16 + 8, 2*a - 2*q = 18. Suppose 10 = a*v - 5*v. Suppose 47 = -v*y + 172. Is y a multiple of 5?
True
Suppose s + 41 = -5. Is (s + -5)*4/(-6) a multiple of 22?
False
Let j = -28 + 34. Let n(g) = -g + 21. Is n(j) a multiple of 11?
False
Suppose 12*j - 8*j - 1092 = 4*a, j - 281 = -3*a. Is 11 a factor of j?
True
Suppose 4*t = 3*u + 8096, -3*u - 4997 = -3*t + 1078. Does 47 divide t?
True
Does 6 divide 185*3/12 - (-1)/(-4)?
False
Is (3 - 2)*-3 + 1006 a multiple of 17?
True
Suppose 0 = -p + 3*b - 53, -p - 1 = 2*b + 27. Let g = p + 216. Does 43 divide g?
False
Let y(p) = -p + 24. Let l(j) = -25. Let b(c) = 6*l(c) + 5*y(c). Is 8 a factor of b(-22)?
True
Let f be 2/(-3)*-3 + 1. Suppose -v - b + 306 = 0, 2*v + f*v + 3*b = 1524. Does 11 divide v/9 + 2/(-3)?
True
Let u be 2 - 2*(45/6 + -1). Let s = u + 53. Is 10 a factor of s?
False
Let h = 647 + 240. Does 18 divide h?
False
Let k(a) = -147*a + 54. Is 6 a factor of k(-2)?
True
Let b(z) = -z**3 - 7*z**2 - 7*z + 1. Let k be b(-6). Suppose -14*s + 56 = -k*s. Does 2 divide s?
True
Suppose -1791 = -4*l + 2409. Does 11 divide l?
False
Let u = 809 + -381. Does 25 divide u?
False
Let g be (83 - 3) + 3*-1 - 0. Let f = g + -50. Does 6 divide f?
False
Let y = -132 + 118. Is (-1 + y/(-4))*3686/95 a multiple of 17?
False
Let q(a) = -3*a - 28. Suppose 3*v = -3*v - 96. Does 5 divide q(v)?
True
Suppose 1 = c - 4*p, -3*p - 89 = -5*c - 4*p. Let o = 29 - c. Does 12 divide o?
True
Let k = -368 + 456. Does 8 divide k?
True
Suppose 3*b - s - 86 = s, 5*b = -4*s + 180. Suppose 17 = 5*r - 3. Suppose 5*l + 0*l = 3*h - 130, h - b = -r*l. Is 16 a factor of h?
False
Suppose y = 0, -2*y + 726 = -26*t + 27*t. Is 11 a factor of t?
True
Suppose -4*q = 2*x - 876, 2*q - 4*q = 3*x - 434. Does 44 divide q?
True
Let w(g) = -2*g**2 + 23*g + 15. Suppose 2*z - p = 23, 0 = -2*z - 2*z - 2*p + 50. Is w(z) a multiple of 2?
False
Let d = 402 - 336. Does 11 divide d?
True
Suppose -3*g = 4*y + 1, -5*y - 5*g = -0*y + 5. Suppose -z + 264 = y*z - 4*b, 2*z - 176 = 3*b. Is z a multiple of 17?
False
Let y = 871 - 649. Is y even?
True
Suppose -14*p - 13818 = -54530. Does 121 divide p?
False
Let p = -23 + 11. Let b(h) = 3*h**2 + 3*h. Let s be b(-3). Let r = s + p. Does 2 divide r?
True
Let v = 2 + 3. Suppose -5*r + 8 = -17. Suppose 0 = -f + v + r. Is f a multiple of 4?
False
Let u(i) = 2*i**2 - 2*i + 3. Let j(f) = 2*f - 3. Let d be j(6). Let h be 6/d*(-60)/8. Is 13 a factor of u(h)?
False
Suppose 5*y - 93 = 4*b, 3*y - 5*b + 3 = 51. Suppose -3*u - y + 30 = 0. Suppose -7*a + 112 = -u*a. Does 21 divide a?
False
Suppose -160*z = -173*z + 11544. Is 8 a factor of z?
True
Let g be -4 - 2*8*102/4. Let r = g + 644. Does 58 divide r?
True
Let f be (-368)/(-24) - 2/6. Let c(l) = 11*l + f - 12 + 3*l. Is 11 a factor of c(3)?
False
Suppose 4 - 16 = -2*g. Let q be (-6)/g - (1 + 6). Is (-55)/q - 11/(-88) a multiple of 3?
False
Suppose 5*t + 1 = 4*i, -4*i + 3*t + 19 = 4*t. Let x(g) = 11 + g**2 + i*g + 4 + 6*g. Is x(-10) a multiple of 4?
False
Let o = 3943 + -2005. Does 16 divide o?
False
Let j(s) = -2*s**3 + 2*s**2 - 8*s + 8. Let k be j(4). Is 0/(-2) - k/15 a multiple of 4?
True
Let z(o) = 16*o + 2. Let r(w) = w**2 + 3. Let g be r(5). Suppose 4*s + g = 2*f + 2*f, 4*s = -8. Does 17 divide z(f)?
False
Let b(f) = f**3 - 33*f**2 - 16*f - 36. Does 32 divide b(34)?
True
Suppose 5*c = -9*x + 7*x + 186, 0 = c - 4*x - 24. Is c a multiple of 12?
True
Suppose 4*z = -c - 2*c - 19, 0 = 5*z + 3*c + 23. Let v(o) = 3*o**2 + 2*o - 7. Is v(z) a multiple of 33?
True
Suppose 355 = -5*b - 3*m - 2*m, 0 = 2*b - 4*m + 148. Is 4 - (b/1)/3 a multiple of 4?
True
Suppose -28*j - 855 = -29*j + 3*f, -2*j + 4*f = -1712. Is j a multiple of 6?
True
Let s be (-194)/(-22) - (-6)/33. Suppose 4 = -2*o - h, -4*h = -2*o - 12 - 2. Does 11 divide o/s - 109/(-3)?
False
Does 14 divide (-80)/32*(-1074)/5?
False
Let x(b) = 12*b**2 + 7*b - 85. Is x(10) a multiple of 15?
True
Suppose 325*v + 12240 = 331*v. Does 24 divide v?
True
Let a = 24 + -20. Does 8 divide (((-89)/a)/(-1))/(2/8)?
False
Suppose -c = -4*d + 131, 5*c - 6 = -1. Let f = d + 42. Is 25 a factor of f?
True
Let f = -15 - -18. Suppose -7 = -2*u + 3*i, 43 + 10 = f*u + 4*i. Is 11 a factor of u?
True
Is (-246060)/(-70) - (-3)/(-21) a multiple of 19?
True
Let t = -13 + 15. Suppose t*n + 4*y - 258 = 0, -n + 4*y - 119 = -2*n. Does 14 divide n?
False
Let a(x) = -x**2 + 3*x + 2. Let j be a(3). Suppose -3*m - j*s + 0*s + 113 = 0, s = 4. Does 12 divide m?
False
Suppose -2058*c - 492 = -2059*c. Does 14 divide c?
False
Suppose 3*l + 3*v = 4*v - 33, 0 = -4*v. Let g = l + 18. Suppose -3*f = 2*p - 25, -3*f - 5*p + 29 - g = 0. Is 4 a factor 