 w(h) a multiple of 9?
True
Let u be -1 + -1 + 19 - -3. Suppose -5*x + u = -4*f, 6 = -f + 3*x - 6. Suppose 2*q = 8, 2*s + f*s = 4*q + 28. Is s a multiple of 11?
True
Suppose -4*j + d + 10 = 0, -2*j + d = -3*d + 2. Suppose -j*w = 6, 3*o - 299 = w - 0*w. Does 33 divide o?
True
Let d = -18 + 22. Let z = 1 + -1. Suppose 0*c - 5*c - 2*m + 140 = z, 129 = d*c + 5*m. Does 14 divide c?
False
Let u(z) = -z**3 + 7*z**2 - 10*z + 4. Let v be u(5). Let a(m) = -2*m + 8. Let k be a(v). Suppose c + 5*l - 37 = k, -3*c + 3*l = -43 - 104. Is 13 a factor of c?
False
Let y = 583 + -392. Is y a multiple of 19?
False
Suppose f - 36 = -3*f. Suppose 7*k + 6 = f*k. Suppose -4*s + 24 = 3*j - 43, -2*j + 49 = k*s. Does 5 divide s?
False
Is 20 a factor of ((-476)/182)/17 - 19424/(-13)?
False
Let o be 2 + 2/(-3 - -1). Let x be (o - (3 + -2))/(-3). Suppose 2*n - 10 - 44 = x. Does 9 divide n?
True
Does 6 divide (4 + -1)*867/9?
False
Let p = -48 + 54. Suppose p*c + 24 = 66. Is c even?
False
Let b be -19*(-1)/(-1) + 0 + 0. Let t = 46 + b. Is t a multiple of 9?
True
Let d(g) = -6*g + 14. Let u be d(2). Suppose -2*m - 3*l = -228, -2*l = -u*m - m + 355. Does 38 divide m?
False
Let w(a) = a**3 + a**2 + a. Let h(v) = -3*v**3 - 11*v**2 - 5 - 2*v**2 - 2*v**3 + 7*v. Let o(u) = -h(u) - 4*w(u). Does 5 divide o(-10)?
True
Suppose 3*m + 321 = -363. Let d = -73 - m. Is 31 a factor of d?
True
Is 6 a factor of 0 + -2 - (-64 - 10)?
True
Suppose 2*s - 140 + 20 = 0. Is s a multiple of 15?
True
Suppose -3*t + 490 = -89. Is 14 a factor of t?
False
Let m(j) = -3*j**3 + 5*j**2 - 2*j. Let f(i) = -i**3 + i**2 + i. Let k(a) = 2*f(a) - m(a). Is k(4) a multiple of 16?
True
Let v(h) = -h**3 + 11*h**2 - 13*h + 4. Let p be v(10). Let x = p - -65. Does 12 divide x?
False
Let o(h) = -h**3 + 3*h - 1. Let k = -13 + 10. Let x be o(k). Let f = 26 - x. Does 6 divide f?
False
Suppose -8205 = -15*m + 1215. Is 17 a factor of m?
False
Let n(j) = -6*j - 1. Let v be n(-1). Let d be (-30)/4*286/(-39). Suppose 0 = -v*x - b + d, -3*x + 2*b + 46 = -0*x. Is 9 a factor of x?
False
Let m = -1818 + 1913. Is m a multiple of 17?
False
Let b(v) = 8*v - 89. Let z be b(12). Let q = -1 + 1. Suppose -z*l = -2*l - 5*n - 85, q = -3*n - 12. Is l a multiple of 8?
False
Suppose -7*b + 1 = -13. Suppose -3*i - b*i = -910. Is i a multiple of 28?
False
Is (2 + (24 - -2))/((-18)/(-342)) a multiple of 14?
True
Does 21 divide (1/18*9)/(1/876)?
False
Let x be ((24/18)/((-2)/(-24)))/2. Suppose 0 = x*r - 2*r - 504. Is 12 a factor of r?
True
Let k be 24 - ((-12)/(-2) - 2). Let r = k + 40. Suppose 3*d + 5*x - 39 = 0, 5*d + 2*x - 24 = r. Is d a multiple of 3?
True
Suppose c + 1 = -3, 0 = 2*p + 3*c - 1802. Is 28 a factor of p?
False
Let v(i) = -i**3 - 19*i**2 + 30*i - 21. Let a be (76/8 - -1)*-2. Is 53 a factor of v(a)?
False
Let z be 4/10 - (-2912)/(-80). Let q = z - -40. Suppose -q*i + 190 = -278. Is 39 a factor of i?
True
Let z(k) = -48*k - 560. Does 25 divide z(-45)?
True
Let q = 2982 + 348. Does 18 divide q?
True
Suppose -8*f + 2955 = 7*f. Is 14 a factor of f?
False
Let n be ((-98)/8)/(11/44). Suppose 5*g + 79 = p, -3*p + 335 = p - g. Let f = p + n. Is 13 a factor of f?
False
Let r = -18 - -32. Does 2 divide (-4)/r + 60/14?
True
Let i = -490 + 527. Is 6 a factor of i?
False
Suppose -5*j = 3*b + 97, 4*j = 4*b + j + 139. Is 2 a factor of 5*6/15*b/(-4)?
False
Let f = 85 + -81. Let l be ((2 - 4) + 2)/1. Suppose f*v - 4*x = -0*v + 108, l = -x - 1. Does 13 divide v?
True
Let z be (3 - -3)*(0 + -1). Let d be z/(-3) + -3 + 76. Let p = d + -15. Does 20 divide p?
True
Let c(n) = n**2 + 9*n + 38. Let b = -10 + 19. Is 10 a factor of c(b)?
True
Suppose l - 1 = -2. Is l/(-1) + 22 + 1 a multiple of 5?
False
Let c(y) = 16*y. Let o = -46 - -49. Is 12 a factor of c(o)?
True
Let w be 0*((-27)/(-36))/((-6)/(-4)). Let o(j) = -2*j**2 + j + 93. Does 31 divide o(w)?
True
Suppose -20*n + 32*n - 3840 = 0. Does 8 divide n?
True
Let f(x) = -x**2 + 7*x + 6. Let u be f(7). Let l(y) = -49*y + 27*y - 7 + 30*y. Does 6 divide l(u)?
False
Let f(m) = m**2 + 36*m - 4. Is f(-40) a multiple of 51?
False
Let x(u) = -3*u**3 - 2*u**2 + 3*u. Let t(o) = -9*o**2 - 5*o - 11*o**3 + 7*o + 12*o - 5*o**3. Let h(y) = 2*t(y) - 11*x(y). Is 10 a factor of h(-4)?
True
Suppose -19 - 59 = x. Let m be (3/(-2))/((-3)/x). Let r = 61 + m. Is 11 a factor of r?
True
Let y be ((-5)/1 - -7) + (-1 - -3). Let p = 2 + 1. Suppose -p*m = -s - 22, 2*m - m = y*s. Is 4 a factor of m?
True
Suppose 0 = 5*g - 3*u - 2344, u = -5*g + 6*u + 2350. Is 21 a factor of g?
False
Let n(s) = s**3 - 11*s**2 + s - 9. Let j be n(11). Does 34 divide (-17)/(2 + (j - 27/6))?
True
Suppose 0 = -3*v - 4*g - 39 - 19, -5*g - 90 = 5*v. Suppose 10*f - 532 = -4*f. Let d = f + v. Does 22 divide d?
False
Let k = -385 - -750. Does 27 divide k?
False
Let b be 4/(-14) - 948/14*1. Is (-2)/(-17) + (-4276)/b a multiple of 20?
False
Let i(b) = -b**2 + 5*b - 2*b**2 + 16*b**3 - 7*b**3. Is 10 a factor of i(2)?
True
Is ((-40260)/(-66))/(2/(-4) + 1) a multiple of 32?
False
Let j(z) = 12*z**2 - 14*z - 21. Is j(-6) a multiple of 9?
True
Let l = 943 + -1505. Let g = -346 - l. Does 50 divide g?
False
Suppose -2*d - 12 = -5*d. Suppose -d - 6 = -5*k. Suppose k*h = 60 - 22. Does 6 divide h?
False
Suppose -3*u = -10672 + 1348. Is u a multiple of 42?
True
Let c(m) = 3*m + 6. Let t be c(18). Suppose 5*u = o + 141, 2*u - 10*o = -6*o + t. Is 7 a factor of u?
True
Let b = -12 + 14. Suppose -j - p - 2 = b*p, 5*p - 20 = 3*j. Let y = 25 - j. Is y a multiple of 10?
True
Suppose 32 = 9*y - 5*y. Let o = 25 - y. Is 3 a factor of o?
False
Let w(a) = -147*a**3 + 2*a + 1. Let q be w(-1). Let l = 240 - q. Is l a multiple of 13?
False
Let j(a) = -a - 7. Let l be j(-14). Let f(i) = i + 4*i**2 + 0*i**2 + l + 4*i. Does 23 divide f(-4)?
False
Let u(x) = 3*x**3 + 45*x**2 + 29*x - 43. Does 22 divide u(-13)?
True
Let g(n) = -n - 4. Let v be g(7). Let x be 20/v - (-8)/(-44). Does 13 divide (-39)/x*(-12)/(-9)?
True
Suppose -5*y - 4*h = -30, 8*y + 3*h - 25 = 3*y. Suppose -g - y*u = -0*u - 17, -3*g + 2*u + 51 = 0. Let c = 2 + g. Is 11 a factor of c?
False
Suppose 0 = -r + 169 + 323. Does 41 divide r?
True
Suppose -3*j + 6285 = 6*n, 0 = j + 4*j - 5. Is 28 a factor of n?
False
Let u(z) = 29*z + 37. Is u(3) a multiple of 3?
False
Let q(m) = m**3 + 9*m**2 + 10*m + 6. Let o be q(-6). Let d(n) = -n**2 + 13*n - 8. Let b be d(4). Let f = o - b. Does 26 divide f?
True
Let g be (-3)/(-2)*30/9. Suppose -28 = g*o - 7*o. Let p = 0 + o. Is p a multiple of 12?
False
Let h = 13 - -240. Is 11 a factor of h?
True
Let k(b) = 8*b + 3. Does 2 divide k(2)?
False
Suppose -5*p = -2*p + 6. Does 17 divide (8 - 4) + p + 100?
True
Let w = 9 + -28. Let p = w + 27. Is p a multiple of 7?
False
Let d(o) = -1560*o + 31. Is d(-1) a multiple of 37?
True
Let h = -93 - -198. Suppose -4*v + 36 = l + 6, 3*l = 3*v + h. Is 34 a factor of l?
True
Let x(u) = -5*u**3 + 18*u**2 - 40*u - 32. Let h(d) = 2*d**3 - 6*d**2 + 13*d + 11. Let s(o) = 8*h(o) + 3*x(o). Is s(-7) a multiple of 6?
False
Let c be 1 - (2 + -471)*1. Suppose 107 - c = -4*n + 3*a, 177 = 2*n + 3*a. Does 12 divide n?
False
Let t = 452 + -132. Is t a multiple of 32?
True
Let d = -21 - -29. Suppose 5*l = d*l - 9. Suppose 5*v - 7*z = -2*z + 35, -v + 3*z - l = 0. Is v a multiple of 12?
True
Let b(x) = -8*x + 18. Let f be b(6). Let o = 100 + f. Does 7 divide o?
True
Let n(r) = -350*r + 15. Is 59 a factor of n(-2)?
False
Let m(i) = -17*i**3 - 9*i**2 + 21*i + 6. Let k(n) = -8*n**3 - 4*n**2 + 10*n + 3. Let f(q) = 13*k(q) - 6*m(q). Does 19 divide f(-2)?
True
Suppose -3*t + 2 + 10 = 0. Let l be -4*(-2)/t*-19. Let f = l - -53. Is f a multiple of 6?
False
Let p(d) = d**2 + 8*d - 2. Let v be p(-8). Let r be 1/(v + 3) - -4. Let k(a) = a**3 - 5*a**2 + 4*a + 2. Is 11 a factor of k(r)?
True
Suppose 5*z + 48 = 4*c, z + 22 + 26 = 4*c. Suppose -17 = -i - c. Suppose 5*v - 4*a - 82 = 0, -5*v + 2*v = -i*a - 44. Is v a multiple of 6?
True
Does 11 divide (-14*12/(-30))/((-2)/(-55))?
True
Let r = -77 - -127. Suppose -2*i + 2*j = -2*j - r, 5*i - 185 = -2*j. Is 13 a factor of i?
False
Let c(y) = -y**2 + 13*y - 19. Let r be c(10). Suppose 2*m - r = 9. Does 5 divide m?
True
Let x be 350/8 + 11/44. Let n = x + -29. Is 15 a factor of n?
True
Suppose 25 = -5*u, 2*r = -2*u - 2*u + 460. Suppose -t = 9*t - r. 