18?
False
Let q(k) = -k**3 - 5*k**2 - 2*k + 5. Let s be q(-4). Is (72/(0 + s))/(1/(-1)) a multiple of 24?
True
Let h = 162 - 82. Let y = 7 + h. Is 28 a factor of y?
False
Suppose j - 2689 = 14*g - 18*g, 3*g - 13394 = -5*j. Does 100 divide j?
False
Let d = -2 - 14. Let y = -10 - d. Is 13 a factor of 68/y*9/2?
False
Suppose -25 - 11 = -9*u. Let h(m) = -m**3 + 5*m**2 + 2*m - 5. Does 19 divide h(u)?
True
Let y(k) = -2*k - 4. Let m = -4 - 0. Let l be y(m). Suppose 58 = 2*n - l*h, 0*n + 134 = 4*n + h. Is 15 a factor of n?
False
Suppose 3*m = y + 1932, 3*m + 0*y - 1944 = -3*y. Does 15 divide m?
True
Suppose 5*t + 10 = 7*t. Suppose 5 = -t*q - 10. Does 12 divide (73 - 2) + q - 1?
False
Let q(c) = 40*c**3 + c**2 + c - 7. Is 3 a factor of q(3)?
False
Does 14 divide (-8)/(-7 - -9) - (1 - 418)?
False
Suppose -4*v + 52 = -0*v. Let n(f) = f - 19. Let o be n(v). Is 8 a factor of (20/(-15))/(o/261)?
False
Suppose -w + 23 = -17. Suppose 5*q - 120 = -w. Is q a multiple of 4?
True
Let g(i) = -7*i + 14. Let o be g(-5). Suppose -39 = -8*m + o. Does 8 divide m?
False
Let f(c) = 3*c**2 + 10*c - 17. Let l(w) = -16*w**2 - 50*w + 86. Let z be ((-11)/1)/((-2)/(-2)). Let a(s) = z*f(s) - 2*l(s). Is 4 a factor of a(-10)?
False
Let x be (18/(-21))/((-1)/7). Suppose -601 - 209 = -x*a. Is a a multiple of 45?
True
Suppose -r = r - 1152. Does 15 divide r?
False
Suppose -2*f = -3*f. Does 2 divide (2 + f)/(1/4)?
True
Suppose -155 = -3*f - k, 2*k = -4*f + 2*f + 106. Suppose -s - 2*g - g + 28 = 0, 2*s + g = f. Is 5 a factor of s?
True
Let o be 20*(93/15 + -3). Suppose o = 2*m - 2*z, 6*m - 5*z = 3*m + 102. Suppose -5*p + 129 = m. Is p a multiple of 10?
True
Suppose -7*p = -12*p + 15. Suppose 2*t + 5*f - 26 = 0, p*f - 28 = -4*t - f. Is 3 - t/(-1 - 0) even?
True
Let p be (2/(2/(-7)))/((-11)/33). Does 8 divide p - (3 + -5 - -1)?
False
Let i = 1031 + 1945. Is 48 a factor of i?
True
Let k(w) = -w**2 - 10*w - 22. Let s be k(-6). Suppose -65 = -2*v + s*g + 89, -2*v + 5*g + 145 = 0. Is v a multiple of 16?
True
Let i(a) = -a - 3. Let b be i(-8). Suppose -4*z - z + 25 = b*y, 3*y = -4*z + 16. Let j = 8 - y. Is j a multiple of 3?
False
Suppose -2*o = -3*o + 9. Suppose 3*s = o - 24. Does 6 divide s/((-5)/(-2)) - -8?
True
Let a(j) = -19 + 10*j + 12*j - 11*j. Is a(5) a multiple of 18?
True
Suppose -11 = 3*h - 266. Is h a multiple of 4?
False
Let l(r) = 35*r**3 - 2*r**2 + 2*r - 1. Let d be 9/(-6)*-2 - 2. Does 16 divide l(d)?
False
Suppose 134 + 40 = 3*p. Suppose -p = -2*m + 12. Is 6 a factor of m?
False
Let g be 0 + (-3 - 0) - (7 - 2). Suppose -3*x + 2*x = 5. Does 13 divide (g/x)/((-4)/(-100))?
False
Let s(n) = n**2 + 9*n + 11. Let g be s(-8). Is 1 - (-3 + g - 3) a multiple of 4?
True
Let s be 3311/3 + 3/9. Suppose s = -4*b - 4*l - 0*l, 4 = l. Does 14 divide (1/2)/((-10)/b)?
True
Let o be (-1)/(-3) - (-558)/27. Suppose 4*u = 11 + o. Is 4 a factor of u?
True
Suppose 139*x - 135*x - 2484 = 0. Is x a multiple of 23?
True
Let z(c) = -63*c**3 + c**2 - c + 1. Let v be z(1). Let u = v - -91. Is 5 a factor of u?
False
Let k = 10 - -10. Suppose 5*t = -k, 198 = 5*i + t + 12. Is 5 a factor of i?
False
Let q be (-4)/10*(-3 + -12). Let b be 1*-3 - q/(-1). Suppose 7*h - 95 = b. Does 7 divide h?
True
Suppose 0 = -30*w + 28*w + 5488. Is w a multiple of 12?
False
Let v(y) = -196*y**3 - y**2 - y. Is v(-1) a multiple of 39?
False
Let q be (-140)/8*(-48)/(-14). Is 36 a factor of (q/(-8))/(-1)*-24?
True
Let w(f) = -29*f**3 + 6*f**2 - 2*f - 18. Does 21 divide w(-3)?
False
Let w = -6 - -6. Suppose w = -h - 0*h. Suppose h = 3*b + 2*b - 80. Is 8 a factor of b?
True
Suppose 5*q = 4*q + 2. Suppose 7*n = q*n + 2520. Is 19 a factor of n/10 - (-2)/(-5)?
False
Let y = 11 + 1. Let r(u) = -20*u + 22 + 21*u - 8. Is 13 a factor of r(y)?
True
Suppose 3*h + 3*y = -6, -4 - 4 = 3*h + 2*y. Let d(p) = p**2 + 2*p - 4. Let u be d(h). Suppose -x + f = -u*f + 11, 5*x - f = 17. Is x a multiple of 2?
True
Suppose i - 5*j = -17, i + 3*i - j = 8. Suppose -3 = 4*g - 5*g + u, 5*u = -4*g + 12. Suppose z + 5 = 0, -i*b - g*z - z + 55 = 0. Does 20 divide b?
False
Let k be (0 - 1) + -1 + (7 - -1). Suppose 0 = k*z - 345 - 267. Is 17 a factor of z?
True
Suppose 3*d = 2*d + 163. Let r = d - 70. Is 20 a factor of r?
False
Let g(w) be the second derivative of -w**5/20 - w**4/3 + 3*w**3/2 + 9*w**2/2 - 3*w. Is g(-6) a multiple of 7?
False
Let x(p) = p**3 - 23*p**2 + 31*p + 47. Does 10 divide x(23)?
True
Let t be (-60)/(-10) - (2 - 1). Suppose 5*w - t = 0, -5*k + 2*w - 6*w = 366. Let z = k + 113. Is 12 a factor of z?
False
Let v be -66*(-5)/(-15 - -5). Let g = v + 72. Does 39 divide g?
True
Let w be (24/15)/(2/15). Let d = -28 + 20. Let a = w + d. Is a a multiple of 3?
False
Let q = -43 + 25. Let r be (q/(-45))/(2/10). Suppose -a - 84 = -5*g + 129, -5*a - 99 = -r*g. Is 10 a factor of g?
False
Suppose 76*h - 162*h + 69746 = 0. Is h a multiple of 60?
False
Let j(r) = r**3 + 6*r**2 - 5*r + 8. Let t be j(-5). Let f be ((-29)/(-2))/((-1)/(-4)). Suppose t = l - x, 6*x - x = -l + f. Is 13 a factor of l?
False
Suppose 2*d + 3*h = 4*d, 8 = 4*h. Suppose 3*t + 5*y = 134, 0 = -3*t - d*y + 185 - 47. Is t a multiple of 8?
True
Suppose 785 = -13*r + 18*r. Let q = r + -112. Is 12 a factor of q?
False
Let f(l) = -2*l + 4. Let b be f(-3). Let r(s) = s**2 - 10*s - 7. Let h be r(b). Is 17 a factor of -2*(476/8)/h?
True
Let t(q) = 258*q**2 - 12*q + 74. Is t(4) a multiple of 87?
False
Suppose 5*q + 15 = -5*t, -2*q + 0*t - 21 = -t. Let g(x) = 2*x**2 + 12*x - 4. Is g(q) a multiple of 7?
True
Let g(j) = 10*j**2 + 12*j - 13. Does 15 divide g(-11)?
True
Let m(r) = 5*r - 7. Let u be m(1). Let b(z) = -11*z + 8. Is 10 a factor of b(u)?
True
Is (-1 - 2442/(-6)) + (0 - 0) a multiple of 134?
False
Is (((-56147)/(-14))/(-13))/((-3)/36) a multiple of 110?
False
Suppose 4*j + 3 = -65. Let w = -13 - j. Suppose w*r = x - 12, 10 + 0 = x - 5*r. Does 4 divide x?
True
Let y = -84 - -801. Is y a multiple of 2?
False
Suppose -35*y - 3310 = -5*a - 33*y, 2*a - 3*y = 1324. Is 17 a factor of a?
False
Suppose -x + 6*x - 120 = 0. Let f = -9 + x. Suppose 3*i + 5*m - 62 = 0, -2*i + i + 4*m = -f. Does 5 divide i?
False
Let p be 0/((-4)/(12/(-3))). Suppose 2*y - y - 121 = p. Does 9 divide y?
False
Suppose -3*m + 3954 = -5*u + 817, 4*m - 4221 = -u. Does 11 divide m?
False
Suppose 2*l = 4*l - 1012. Is 56 a factor of l?
False
Suppose -q = -0*q + y + 1, -y - 19 = -5*q. Suppose q*l + 0*l + 5*x = 35, 5*x = -l + 25. Suppose -3*a + 73 = l*f, 3*f - 5 - 43 = -2*a. Does 21 divide a?
True
Let u = 33 + 22. Let m = 66 + -63. Suppose m*d + n - u = d, 0 = -3*d - n + 81. Is d a multiple of 26?
True
Let n be 0 + 1 + (206 - 1). Suppose 2*a + 288 = 4*r, 0*a + 290 = -2*a + 2*r. Let u = n + a. Is u a multiple of 20?
True
Suppose -63*r = -15*r - 88608. Is r a multiple of 26?
True
Let u = -9 - -13. Let d(w) = 2*w - 3. Let g be d(u). Suppose -3*y = 2*v - 8, -26 = -g*v + y + 11. Is 5 a factor of v?
False
Suppose -4*u - 8 = 0, 1274 = 3*s + 4*u - 593. Suppose -5*h + s = 2*q, -q + 158 = 3*h - 216. Is 41 a factor of h?
True
Let b = 88 - 36. Is 13 a factor of b?
True
Let p = -234 - -90. Is (16/(-6))/(12/p) a multiple of 16?
True
Let b be (2 - (3 + -1))/3. Suppose b = -2*v - v - 24. Is ((-2)/3)/(v/360) a multiple of 10?
True
Suppose 2*r - 12 = r. Let n(j) = 2*j - j**2 + 4 + 6*j + 5*j + 0*j. Does 16 divide n(r)?
True
Let a be 250/(-40)*(1 + 11*-3). Suppose -4*z = k - a, -2*k = -3*z - 87 + 248. Is z a multiple of 17?
True
Let z(c) = 6*c**2 - c - 5. Suppose 5 = -4*k - 11. Does 12 divide z(k)?
False
Suppose 0 = 8*b - 3*b - 105. Let g = 29 - b. Is g a multiple of 4?
True
Let p be -3*(-6 - (0 - 4)). Suppose 0*c + 18 = p*c. Suppose -c*v + 18 = -0*v. Is 3 a factor of v?
True
Let u(z) = -z**3 - 8*z**2 - 12*z - 20. Is 19 a factor of u(-8)?
True
Let m(k) = -k**2 - 6*k. Let o be m(-6). Let z be o + -1 - 2 - -7. Is 18/z + 4/(-8) a multiple of 4?
True
Let r(j) = 5*j**2 + 11*j - 1. Let t(s) = 3*s**2 + 7*s - 1. Let i(z) = -5*r(z) + 7*t(z). Let d be i(-4). Let g = d - -64. Is g a multiple of 11?
True
Let x = -3 - 0. Let s be x + 3 + 2 - 2. Suppose s*n + 115 = 5*n. Does 8 divide n?
False
Is -1 + 6 + (-50)/5 + 2903 a multiple of 7?
True
Let f = -29 + 31. Suppose -s = -4*w - 10, f*s + w + 2 = -2*w. Suppose 316 = s*j + 2*j. Is 18 a factor of j?
False
Let z = 12 