e 3*(1 + (6 - -2)). Suppose 4*z = -x + 139. Suppose 0*t = -b - 4*t + z, 4*b - 4*t = 92. Does 15 divide b?
False
Let s(v) = v**3 - 17*v**2 - 18*v - 3. Let l be s(18). Does 27 divide 60 - ((-5)/(-10) + l/(-2))?
False
Suppose 0 = 8*v - 6046 - 178. Does 7 divide v?
False
Let t be 4 + 0 + (-2)/(-1). Suppose -u - 15 = -t*u. Let p = u - -3. Does 3 divide p?
True
Suppose -21*y - 41 = -4682. Is y a multiple of 13?
True
Let j(l) = -7*l**2 + 31*l - 4. Let i(y) = -4*y**2 + 16*y - 2. Let q be 3/(-6)*-12 + -3. Let x(m) = q*j(m) - 5*i(m). Is x(11) a multiple of 7?
False
Suppose -18*m + m = 0. Suppose 5 - 25 = -5*c. Suppose 5*q + c*x - 30 = m, q + x + 45 = 5*q. Is 10 a factor of q?
True
Does 42 divide ((-108)/(-15) + 4)*(-3315)/(-26)?
True
Suppose 280*a = 274*a + 480. Is 8 a factor of a?
True
Does 36 divide (-65883)/(-30) - 10/(-100)*-1?
True
Let h(z) = z**3 + 51*z**2 + 64*z - 54. Is h(-49) a multiple of 52?
True
Suppose 2*t + 6 = -a + 3, 3*a - 4*t + 9 = 0. Does 35 divide 25*2*(6 + (-3)/a)?
True
Suppose -5*m + 600 = -2*g, 0 = -m + 2*m - 5*g - 143. Let r = -47 + m. Is 12 a factor of r?
False
Suppose -4*r = k + 12, 2*r = k + 2*k - 20. Suppose 4*d + 0*d = k*a + 20, 3*a = -4*d - 15. Is 3 + 21 - (d + -1) a multiple of 6?
False
Suppose 4*o = f + 7*o - 85, -2*f + 5*o = -148. Does 14 divide f?
False
Let b = 41 + -30. Suppose -5*q - b = -x, -2*x - 4*q - q = -37. Let s = x - 1. Does 7 divide s?
False
Let f = -51 - -75. Let n = 3 - 19. Let w = f + n. Is 3 a factor of w?
False
Let j(r) = 7*r**2 + 9*r + 8. Let w(x) = -x**2 - x - 1. Let f(s) = j(s) + 4*w(s). Let h be (-1)/(-8) - (-369)/(-72). Is 18 a factor of f(h)?
True
Suppose -4*c = -11 - 9. Suppose 0 = -c*o + 4*o + 33. Let y = 55 - o. Is 10 a factor of y?
False
Suppose 0*x = 3*x + 3*f - 267, 0 = -x + f + 91. Suppose -g = 5*g - x. Does 3 divide g?
True
Suppose 2*n - 5 = 1. Suppose u - 4*u = -2*z + 230, n*z = -2*u + 319. Is z a multiple of 25?
False
Suppose 5*j - 76 - 877 = -y, 4*j = -5*y + 775. Is 12 a factor of j?
False
Let a be (-1 + 12)/(-5 + 4). Let y = 39 + a. Let l = -20 + y. Is 8 a factor of l?
True
Let c be (-2 - 5) + 1 + -2. Let d be (42/(-56))/(2/c). Suppose -5*r - 4*z + 28 + 22 = 0, -40 = -4*r - d*z. Is 3 a factor of r?
False
Let t(v) = v**2 - 2*v - 2. Let y be t(3). Let i be (-2 + 7)/(y/2). Is 17 a factor of (-340)/i*(0 + -1)?
True
Let v = 2 + -8. Let u = v + 8. Suppose 2*c + 74 = -2*x + 5*x, -x = u*c - 22. Does 12 divide x?
True
Suppose -2*l - 4*f = -4, 3*f + 6 = 3*l + 7*f. Suppose 3*h = -l*n + h, h + 8 = 3*n. Suppose 2*r - 160 = -n*r. Is r a multiple of 8?
True
Let d = 2110 + -510. Is 100 a factor of d?
True
Suppose -3*h + 3174 - 717 = 0. Is 33 a factor of h?
False
Suppose -3*p - 3*r - 272 = 2128, 5*p + 2*r = -4000. Is 3*(p/(-15) + 1) a multiple of 25?
False
Let q(r) = r**3 - 28*r**2 + 3*r + 37. Does 14 divide q(29)?
False
Suppose n - 28 = -83. Let q = -7 - n. Suppose d - q = -d. Does 6 divide d?
True
Does 3 divide (-850590)/(-2070) + (-2)/(-23)?
True
Suppose -2*z + 519 = 3*m, 5*m + 403 = 2*z - 76. Is z a multiple of 21?
True
Let p be 0 + 2 + (162 - -2). Suppose -5*x = 0, 4*s - 154 = -3*x + p. Suppose -2*n = 5*v - 24 - 46, 0 = 3*n - 5*v - s. Does 15 divide n?
True
Suppose -18*g - 3*g = 0. Suppose 4*a - 4*w - 673 = w, g = -4*w - 4. Does 12 divide a?
False
Suppose 125 + 92 = 7*h. Is 9 a factor of h?
False
Suppose u = -n + 67, -3*u + 3*n = -62 - 133. Is u a multiple of 3?
True
Let o(s) = -s**3 + 13*s**2 - 12*s + 2. Let v be o(12). Suppose -v*r - 18 = -3*r. Is r a multiple of 18?
True
Let j(s) = 14*s - 29. Let p(w) = -w + 1. Let c(h) = 6*j(h) + 102*p(h). Is c(-12) a multiple of 9?
True
Let a(r) = -r**2 + 3*r + 3. Suppose -5*t = -3*x + 37, 0 = 2*x - 4*t - 10 - 18. Let h be a(x). Is (4 + 0)/(h/(-6)) a multiple of 8?
True
Let q(o) = o**3 + 12*o**2 - o. Let f be q(-8). Suppose -g = 7*g - f. Does 8 divide g?
False
Suppose -2*z - 7*v + 2*v = -37, -2*v = -2*z + 2. Let u be 4/(-2) - 8/(-2). Suppose -z*m + 32 = -u*m. Is 8 a factor of m?
True
Let n(q) = -13*q**2 - 8*q - 6. Let i be n(-6). Let k = -292 - i. Is k a multiple of 22?
False
Let y be 25/10 + (-3)/(-2). Let a be (-10)/y*(-8)/5. Suppose -a*n = 3*q - 336, 6*n = 3*n + 3*q + 273. Is 21 a factor of n?
False
Let x(k) = -70*k - 96. Is x(-14) a multiple of 11?
False
Suppose -11*v + 4 = -9*v. Suppose -v*k - 119 = -a, -a + 4*k + 135 - 20 = 0. Is a a multiple of 23?
False
Suppose -6*i - 496 = -8*i. Suppose -4*a + i = 2*r, 2*a = 4*r - 0*a - 496. Is 37 a factor of r?
False
Let w = 6594 + -3796. Is w a multiple of 43?
False
Suppose -r = 4*x - 5 - 9, 0 = x + 3*r - 9. Does 5 divide 75/((-5)/1)*(-5)/x?
True
Suppose -81*a + 63440 = -a. Is a a multiple of 26?
False
Is (1865/15 - 1)*36/15 a multiple of 20?
False
Let u = -462 - -690. Is u a multiple of 4?
True
Let n = 126 + -105. Is 3 a factor of n?
True
Suppose 845 = 2*h + 219. Suppose 5*r + 3*y - h = 0, -3*y + 6*y = -4*r + 248. Is r a multiple of 13?
True
Let v = -20 - -22. Suppose v*s + 3 - 13 = -3*j, 5*s + 5*j = 25. Does 5 divide s?
True
Let b(q) = -q**3 + 2. Suppose -4*x = -5*m, 0*x = -5*x + 4*m. Let l be b(x). Suppose f + 0*p + l = 2*p, 2*p = -f + 18. Is f a multiple of 3?
False
Suppose -18*o = -16*o - 184. Does 13 divide o?
False
Let q = 239 - 143. Suppose 6*s = 4*s + q. Is s a multiple of 25?
False
Suppose -480 = -57*y + 55*y - s, 3*y - 694 = 5*s. Is y a multiple of 24?
False
Let g be (143 - -1)*(-70)/(-15) - -3. Suppose 9*v = -0*v + g. Is v a multiple of 15?
True
Let k(r) = -4*r - 134. Let c be k(-34). Suppose 3*d + 30 = -6. Is 36*c*(-8)/d a multiple of 16?
True
Let o = 265 + -85. Is 5 a factor of o?
True
Let x(p) = -1 - 7*p**2 + 0 - p**3 - 5*p + 15*p. Let k be x(-9). Let u = 14 + k. Is u a multiple of 16?
False
Suppose -5*k - 25 = 5*r - 255, 8 = -4*k. Suppose 0 = -4*q + 2*q + r. Let j = 8 + q. Does 16 divide j?
True
Let f = 13 - 19. Let w be 3 + -1 + f + 29. Let d = w + 23. Is d a multiple of 12?
True
Suppose -5*v + 2187 = 4*m - 518, 4*m = 2*v + 2698. Does 39 divide m?
False
Suppose 2*f - 5*z - 1 = 11, -2*f = 5*z - 32. Let w = 19 - f. Let c(t) = -t**3 + 9*t**2 - t - 5. Is c(w) a multiple of 17?
True
Let g(m) = -4*m**2 - 3*m + 1. Let p(a) = 1. Let n(j) = -g(j) - 6*p(j). Is n(-4) a multiple of 15?
True
Is 23 a factor of ((-851)/4)/((-44)/176)?
True
Let g(k) = 108*k**2 + 6*k + 5. Is 25 a factor of g(-2)?
True
Suppose -3*a + 5*a + 2*v - 5410 = 0, 13485 = 5*a - 5*v. Is a a multiple of 37?
True
Let o(y) = -19*y**3 - 7*y**2 + 5*y + 6. Is 15 a factor of o(-2)?
True
Let w(u) = 8*u**2 + 6*u. Is 16 a factor of w(-8)?
True
Let a be (-2)/14 - 108/(-21). Suppose -4*c + a = u, -4*c = -3*u - 8 - 9. Suppose 0 = t - 2, -4*t = -2*p - c*p + 248. Does 16 divide p?
True
Let n be (7 - (2 - 1))/2. Suppose 0 = -c - 5*m, n*m + 18 = 3*c - 0. Let q(u) = 2*u**2 - 4*u - 4. Is 13 a factor of q(c)?
True
Suppose -8*q = 3*q - 5852. Suppose -634 = -3*p - 5*v, 2*p = -4*v - 112 + q. Is 35 a factor of p?
False
Let y(h) = h**3 - 10*h**2 + 8*h + 5. Let l be y(9). Let o be -3 - l - (-10)/2. Suppose 2*s + 5*d = s + 44, 0 = s - 5*d + o. Does 8 divide s?
False
Suppose -2*p + f = -61, 3*p = f + 119 - 30. Suppose 0 = -6*t - 26 - p. Let b = t - -18. Is 9 a factor of b?
True
Let b(z) = 9*z**3 - 7*z**2 - 4*z + 3. Is b(3) a multiple of 14?
False
Suppose 10*f = 15*f - r - 5604, 0 = -5*f - 5*r + 5610. Does 59 divide f?
True
Let d be (8/20)/(2/5). Let i be (9/3 + -6)/d. Let s = 33 + i. Is 25 a factor of s?
False
Let l(b) = b**2 + b. Let u be l(-1). Suppose u = 4*f + 2*f - 90. Let q = -5 + f. Is 10 a factor of q?
True
Suppose 0*p + 2*p = 128. Let k = 38 - p. Let h = k - -73. Does 13 divide h?
False
Suppose 0 = 2*d, -4*g - d = -2*g - 6. Suppose -2*o + 4*c + 96 = 2*o, g*o - 56 = -5*c. Does 4 divide o?
False
Suppose -2*p + 13 = -3*p. Let k = p + 10. Let m(j) = -2*j**3 + j + 4. Does 12 divide m(k)?
False
Suppose -3*g - 4*a + 5 = -54, -3*g - 3*a = -57. Let u = -15 + g. Suppose -5*p = u*h - 48, 58 = 5*h - 3*p - 0*p. Is 5 a factor of h?
False
Let f be (-383)/11 - (-8)/(-44). Is f/(-14)*(-1 - 18/(-10)) a multiple of 2?
True
Let v be (-72)/(-8) - (1 - 3). Let w = v - 6. Is 2 a factor of w?
False
Let b = 1704 - 1024. Suppose 1100 = 5*o - 5*i, 6*i - b = -3*o + 5*i. Is o a multiple of 16?
False
Suppose 2*p + 2*h + 68 + 82 = 0, -3*h + 15 = 0. Let o = p + 185. Does 14 divide o?
False