- 3*o - 9. Is z(-7) a multiple of 8?
False
Suppose -15 = -5*t, -4*g + 4*t = 6*t - 1150. Does 26 divide g?
True
Let i = 471 - 225. Suppose -295 = -3*l + 2*f - 45, -i = -3*l + 3*f. Is l a multiple of 23?
False
Let f = 67 + -39. Is 14 a factor of f?
True
Suppose 5*r - 5*h = 40, 12 = 3*r - h - 4. Suppose r = j - 32. Is 16 a factor of j?
False
Suppose 2*s = -0 + 2, 0 = 3*d - 2*s - 31. Does 9 divide d?
False
Let m be (3/4)/(3/12). Let v be (-1)/(-4) + (-15)/(-4). Suppose -v*a + 27 = 5*f, -2*a = -f - m - 0. Does 3 divide a?
True
Let m be -1 - (0 - 0) - -5. Suppose 0 = 5*c - m*c - 54. Let h = c - 30. Does 12 divide h?
True
Suppose -3*t + 68 = t. Suppose -4*a = -3*w - 8*a + t, 4*w = 4*a + 32. Is 3 a factor of w?
False
Let p(t) = -60*t**2 - 2*t + 1. Let a be p(1). Let j = a + 37. Let o = -11 - j. Does 13 divide o?
True
Suppose 4*p - 5*p + 4 = 0, 5*d = -4*p - 14. Let u = -1 - d. Suppose 4*w - 162 = -j, -3*w + 5*j + u = -105. Is 20 a factor of w?
True
Let g be 6/4*(-8)/12. Is 5 a factor of -1*g/(-3)*-27?
False
Suppose 0 = 3*u - 5*m + 185, -100 = 4*u + 4*m + 104. Let k = u + 95. Is k a multiple of 20?
True
Let t(w) = -w**3 + 12*w**2 + w + 12. Let j be t(11). Suppose -27 = -r - 2*h, 0 = 4*r - 3*h + 36 - j. Is 9 a factor of r?
True
Suppose 5*d + x - 425 = 3*x, 0 = d + 4*x - 63. Suppose -3*z + 3*r = -25 - d, -3*r = -4*z + 140. Suppose -p = -4, -z = -w - p - 2. Is w a multiple of 15?
False
Let t = -29 - -51. Does 8 divide t?
False
Let o be 6/21 - (-80)/14. Suppose o*m - 4*m - 72 = 0. Is m a multiple of 12?
True
Suppose 4*a = 3*a - 4. Let l be a - (-4)/(-6)*-3. Is l/2 + (11 - 0) a multiple of 4?
False
Suppose 8*c = 5*c + 12. Let f = c + 8. Is f a multiple of 12?
True
Suppose -774 - 353 = -7*b. Is 25 a factor of b?
False
Suppose 0 = -2*c + 1 + 9. Suppose c*n - 96 = 2*n. Does 16 divide n?
True
Let r(a) = a**2 - 4*a - 10. Let o be r(6). Suppose 5*t - 169 = -2*l, 0 = -t - o*l + 25 + 4. Is t a multiple of 7?
True
Suppose 0*g + 47 = 5*g - 4*t, 0 = -4*g - 4*t + 16. Suppose -f + b = -5, -g = -0*f - 2*f + 3*b. Does 3 divide f?
False
Let k(i) = 5*i - 9. Let w be 1 - (0 - 2 - -3). Suppose w = 4*f - 4 - 20. Does 16 divide k(f)?
False
Let t be (-2)/(-4) + (-20)/8. Let b = 9 - t. Let d = b + -8. Is d a multiple of 2?
False
Suppose 4*n + 8 = 52. Let w = 15 - n. Suppose 0 = -u - w*u + 110. Is 11 a factor of u?
True
Suppose -3*m - 2*p + 256 = -0*p, p - 338 = -4*m. Is 14 a factor of m?
True
Suppose 0 = -u - 4*t, 4*u - 5*t - 21 + 0 = 0. Suppose 0 = n - 1, 0*y + 3*y - u*n = 68. Does 7 divide y?
False
Suppose 10*u - 16 - 284 = 0. Is u a multiple of 3?
True
Let u(d) = d**2 + 4*d + 3. Let q(x) = 1. Let c(m) = -4*q(m) + u(m). Let k be c(-4). Let p(l) = -17*l. Is 12 a factor of p(k)?
False
Suppose 4*x - 15 = -3. Suppose -d + 15 = -x*w, -4*d + 6 = -w + 1. Suppose -12 = -d*y - 2*y. Is y a multiple of 3?
True
Let l = 29 + -11. Let r = l - 4. Suppose 0 = -2*u + 38 - r. Is u a multiple of 12?
True
Is (-22)/(-3)*(-33)/(-22) a multiple of 11?
True
Let i(p) = p**2 - 3*p + 6. Let d = -5 - -11. Does 8 divide i(d)?
True
Let f(m) = 13*m + 1. Let u(o) = -o**3 + 2. Let w(s) = -s**3 + 10*s**2 - 8*s - 9. Let k be w(9). Let z be u(k). Does 9 divide f(z)?
True
Let n(t) = t**2 - 9*t - 2. Let c be n(10). Suppose v - c = -4. Is 4 a factor of v?
True
Let o(q) = -q**3 - 15*q**2 - 20*q - 8. Is o(-14) a multiple of 21?
False
Suppose -t - 4*f = 0, 0*f - 2*f = 3*t - 20. Suppose -b + t = -0. Is 3 a factor of b?
False
Let n = -52 - -73. Does 13 divide (n/6)/(1/4)?
False
Let l(q) = 7*q**2 - q - 2. Does 9 divide l(3)?
False
Let j = -7 - -23. Does 4 divide j?
True
Let v be 3 + (-6)/2 + 0. Suppose 17 = w + 3*s, w - 3*s = -v*s + 5. Does 4 divide w?
False
Let a = 198 + -116. Suppose -t - 2*c + 33 = 0, a = 2*t - 3*c - 5. Does 13 divide t?
True
Is -3 + (-3 + 3 - -18) a multiple of 11?
False
Let i be 2/(-2*1/7). Let n(o) = o**3 + 8*o**2 + 11*o + 6. Let k be n(i). Is k/(1*-2*1) a multiple of 8?
False
Let g(a) = -a - 4. Let f be g(-2). Let h be 13/((-2)/8*f). Does 10 divide h - (0 - 2/1)?
False
Let c(v) = 2*v + 2. Let u be ((-16)/(-10))/((-2)/15). Let q be ((-8)/u)/((-1)/(-6)). Is c(q) a multiple of 5?
True
Suppose -a - 3*a = -96. Is 8 a factor of a?
True
Let k = 978 - 1398. Is 6 a factor of 1/2 + k/(-24)?
True
Does 6 divide (15/(-10))/(3/(-20))?
False
Let m(k) = 2*k + 20. Let y(l) = 11*l + 121. Let z(c) = -34*m(c) + 6*y(c). Does 10 divide z(0)?
False
Suppose -b = -11 - 11. Suppose -b - 9 = -t. Does 31 divide t?
True
Let q(f) = -f - 4*f + 2*f - 1. Is q(-2) even?
False
Let h(b) = b. Let v be h(-6). Does 5 divide (4 + -2)*(-15)/v?
True
Let g = 4 + 46. Suppose 2*p - 188 + g = 0. Is 18 a factor of p?
False
Suppose -3*j - 4*c - 17 = 0, -2*j + 5*c + 5 = 24. Is 21 a factor of (j*1)/(9/(-54))?
True
Suppose -8*y = -y - 595. Is y a multiple of 17?
True
Let m = 7 - 9. Let a = 11 + m. Does 5 divide a?
False
Let i(g) = -g + 3. Let t be i(0). Suppose k + 5 = v, t*v - k = 4*k + 15. Let d = v - -21. Is d a multiple of 13?
True
Let q = -25 - -38. Does 8 divide q?
False
Let d(n) = -6*n - 10. Does 16 divide d(-7)?
True
Suppose 5 - 2 = o. Suppose -3*x - 9 = -v, -2*v + o*x = x - 10. Is 3 a factor of v?
True
Suppose -2*j - 2 = -5*g, 0 = 2*j + 2 - 0. Suppose -2*b + b + 26 = g. Is 10 a factor of b?
False
Let i be 4/10 + (-52)/(-20). Let q(c) = -c**2 - 3*c + 1. Let w(p) = -p**2 - 3*p + 2. Let y(a) = i*w(a) - 4*q(a). Is y(-4) a multiple of 6?
True
Suppose -2*z + 0*z = -192. Suppose -x - 3*x + z = 0. Does 9 divide x?
False
Let h(c) = -36*c**2 - 2*c + 5. Let r(k) = -54*k**2 - 3*k + 8. Let a(u) = -8*h(u) + 5*r(u). Is 11 a factor of a(-1)?
False
Let d(k) = -k**3 + 8*k**2 - k + 6. Let b be d(7). Is 12 a factor of 5*b/(-10)*-1?
True
Let o be (10/3)/(4/(-12)). Let g be 2/(o/6 + 2). Suppose p + 3 = g. Does 3 divide p?
True
Let k(b) be the second derivative of b**4/12 - b**3 + 3*b**2 + b. Let x be k(5). Does 20 divide (-13 - -3)*x*-4?
True
Suppose 5*u + 42 = 4*m + 14, 2*u = -2*m - 4. Suppose 259 = 5*y + 2*b, -160 - 91 = -5*y + m*b. Suppose 3*a - 2*o = 71, 3*a + 5*o + y = 5*a. Is 10 a factor of a?
False
Is 22 a factor of ((-94)/6)/((-1)/6)?
False
Suppose -4*y + 0*y = -k - 36, -y + 5*k - 10 = 0. Does 3 divide y?
False
Suppose 0 = -5*v + 69 + 376. Suppose 2*r = -2*n + 98, -2*n + 0*n = -r - v. Let l = n - 15. Is l a multiple of 19?
False
Let m(k) = k**3 + 11*k**2 + 4*k + 3. Let u be m(-8). Suppose -g = 4*q - u, -5*q + 10*q - g = 215. Is 14 a factor of q?
True
Let a(p) = -p**2 - 16*p - 6. Does 11 divide a(-14)?
True
Let v(y) = 7*y - 8. Let h be v(-7). Does 9 divide 15/25 - h/5?
False
Let z be (-129)/(-3) - (-2 - -1). Suppose -2*q - 2*b + 4*b = -z, -4*b = 5*q - 110. Is 13 a factor of q?
False
Let v(q) = 55*q**3 - 2*q**2 + 1. Does 22 divide v(1)?
False
Let l(k) = k - 1. Let w(r) = r - 2. Let s(h) = 2*l(h) - 3*w(h). Let v be s(3). Let q = 23 + v. Does 16 divide q?
False
Let m = 48 - 33. Is m a multiple of 3?
True
Is 12 + 1*(6 - 4) a multiple of 13?
False
Suppose -4*w + 5*f + 106 = 0, -20 = -w - 3*f + 15. Suppose -w = -2*k + 35. Is k a multiple of 16?
True
Let y = -4 - -30. Is y a multiple of 7?
False
Suppose -o = 3*w - 94, 4*o - 18 = -2*w + 38. Is w a multiple of 16?
True
Let f(z) be the first derivative of -z**4/4 + 8*z**3/3 + 4*z**2 + 11*z - 3. Let p be f(9). Suppose -p*s = -7*s + 50. Does 10 divide s?
True
Let q be -1*(3 + -3) + 3. Suppose 2*x = 4*w - 14, x = -q*w - w + 11. Suppose 0 = -4*g - 4*d - w + 15, 2*d = -3*g + 14. Is 3 a factor of g?
False
Let d = 4 - 2. Is 11 a factor of ((-3)/d)/(6/(-88))?
True
Let d be 19*2/6*3. Suppose 5*j - 50 = p, 2*j + 3*j - 5*p = 50. Let b = d - j. Is 9 a factor of b?
True
Let f(a) = -51*a. Let c be f(-1). Let y = c + -31. Is y a multiple of 10?
True
Suppose 0 = 5*t - 17 - 203. Suppose 0 = 3*n - t + 5. Suppose 0 = j - 7 - n. Does 20 divide j?
True
Suppose 3*n = 2*k - 4, 7*k - 2*n = 2*k + 10. Suppose -3*o + 16 = -k*o. Is o a multiple of 16?
True
Let t be (78/9)/(1/3). Suppose c - 2*m = 7, 2*m = 5*c - m - 21. Suppose -p - t = -c*p. Is p a multiple of 13?
True
Let p = 11 - 11. Suppose 3*n - 41 = 4*s, 4*n - s + 0*s - 46 = p. Does 4 divide n?
False
Let v(j) = -j**3 - j. Let i be v(-1). Suppose 0*m = 3*m - 4*b - 49, 0 = -i*m + b + 26. Does 7 divide m?
False
Suppose 0 = 3*j - 12, -3*j = -2*i - 3*i + 263. Is i a multiple of 23?
False