Is 16 a factor of q?
True
Let f = 5 + -3. Suppose -2*q = -f*j - j - 113, -5*j = 2*q - 153. Is 19 a factor of q?
False
Suppose -2*x + 49 + 331 = 0. Does 10 divide x?
True
Let s = 2 + 23. Let k = s - 43. Is 5 a factor of (-248)/k - (-4)/18?
False
Let y = -93 - -241. Is 16 a factor of y?
False
Let a(b) = -b**3 + 6*b**2 - 1. Is a(4) a multiple of 7?
False
Suppose 5*s - 8*s = -9. Suppose -o + 11 = s. Is (8 + 25)*o/6 a multiple of 22?
True
Let a(g) = -g**3 - 6*g**2 - 6*g - 5. Let h be a(-5). Suppose -3*p = -h - 21. Is p a multiple of 7?
True
Suppose -5*g - y + 7 = 0, g - 2*y + 5*y = 7. Does 2 divide 9 + (-5 - (g + -3))?
True
Suppose -6*j = 4*l - 2*j - 252, -5*j - 305 = -5*l. Is l a multiple of 20?
False
Let y be (71 - -1) + (-4 - -2). Let l = 102 - y. Is 19 a factor of l?
False
Is 9 a factor of ((-2)/1)/((-22)/297)?
True
Suppose -32 = -2*f - 2*f. Suppose 0 = -6*o + f*o - 88. Is o a multiple of 22?
True
Suppose i + 2 = 5*i + 3*b, 3*i + b + 1 = 0. Is 3 a factor of -6*(-1)/(-2)*i?
True
Let x be (-2)/7 - (-32)/14. Suppose x*y = -3*y + 240. Does 16 divide y?
True
Does 17 divide (-138)/(-4) + (-6)/12?
True
Suppose c - 4*n - 88 = 0, 5*n = c - 6*c + 565. Suppose -h + c = 3*h. Does 9 divide h?
True
Suppose g - 300 = -4*z - 2*g, 0 = -4*z + 5*g + 268. Does 18 divide z?
True
Let j(y) = 19*y**2 + 4*y + 1. Is 17 a factor of j(2)?
True
Let j(y) = -9*y**3 - 4*y**2 - 5*y. Is j(-3) a multiple of 37?
True
Let b = 117 + -81. Is b a multiple of 36?
True
Let v(x) = -2*x + 1 + 1 + 5*x + 7*x**2. Suppose 2*s + 4*y + 8 = 0, -3*y + 5 = -3*s - 2*y. Does 12 divide v(s)?
True
Suppose s + k = 1, -3*s + 19 = -2*k + 6. Suppose 3*t - 63 = -3*q, 3*q - 43 = -3*t + 4*t. Suppose -b + 2*b = s*n + q, 5*b = 2*n + 80. Is b a multiple of 16?
True
Let s be 12*(2/(-3))/(-4 + 2). Suppose 3*l + 4*c = 90, l = 3*c - 5*c + 30. Suppose l = t + s*t. Is 3 a factor of t?
True
Suppose -4*v = -0*v + k - 55, v = -5*k - 10. Does 5 divide v?
True
Suppose -5*m - 48 = 4*v - 241, -4*v - 4*m + 192 = 0. Does 15 divide v?
False
Let o be 544/18 + 24/(-108). Suppose 0 = -3*b + 174 - o. Is b a multiple of 16?
True
Let a(v) = v - 4. Let k be a(4). Let g(w) = -4*w - 19. Let c be g(-15). Suppose 3*z - 4*h - 59 = k, -3*z = -0*z + 5*h - c. Is z a multiple of 6?
False
Suppose -2*a + 2*s + 9 = s, -4*s - 15 = -a. Suppose 4*j - a*j - 28 = 0. Suppose 4*p + j = w - 0*p, 3*p - 114 = -3*w. Is w a multiple of 15?
False
Does 20 divide ((-27)/(-9))/(6/82)?
False
Let w = 20 - -19. Does 20 divide w?
False
Let o be (-4)/(3/((-3)/2)). Suppose -o*g - 6 = -b - b, 4*g = -3*b + 23. Does 2 divide g?
True
Let b = 11 - 8. Let k = b - -14. Does 17 divide k?
True
Let h = 9 + 7. Does 16 divide h?
True
Is (-2)/10 + (-1086)/(-30) a multiple of 10?
False
Let p(y) = y**2 + 5*y. Let z(k) = -k**3 - 7*k**2 + k. Let r be z(-7). Is 7 a factor of p(r)?
True
Suppose -4*f - 372 = -2*j, 1417 - 435 = 5*j + 3*f. Is 18/27 - j/(-6) a multiple of 10?
False
Let c = -61 - -243. Is 30 a factor of c?
False
Suppose 0 = -3*f + 2*i + 118, 6*f - 82 = 4*f - 2*i. Does 23 divide f?
False
Is 3 a factor of 315/25 + (-2)/(-5)?
False
Let r(y) = y**2 + 16*y - 41. Does 8 divide r(-19)?
True
Suppose 3*l + 5*n + 3 = -28, -33 = 5*l - n. Let p = l + 9. Suppose p*w + 175 = 7*w. Does 12 divide w?
False
Let p(o) = o**2 + 10*o + 21. Is 6 a factor of p(-10)?
False
Let k = 21 - 19. Suppose -3 = k*l - 41. Is 7 a factor of l?
False
Let j = 32 - 16. Does 4 divide j?
True
Let m = -6 + 6. Suppose 3*g + 0*g - 15 = m, -2*g + 186 = 4*u. Suppose -u + 16 = -y. Is 8 a factor of y?
False
Suppose 4*q + 90 = -2*b + 212, -4*b = q - 209. Is 51 a factor of b?
True
Let r be (-278)/(-7) - (-6)/21. Suppose h - 3 = -k + 8, 4*k + 5*h = r. Does 13 divide (-6)/9*-3 + k?
False
Suppose -2*l + 82 = -4*g, 2*l = 2*g + 3*g + 80. Is l a multiple of 5?
True
Does 3 divide 4*6*3/12?
True
Suppose 4*d + t - 141 = -0*t, -3*d = -5*t - 123. Does 6 divide d?
True
Suppose 7 = -v + 5*x, -5*x + 7 = -3. Suppose j - v*j = -16. Is 7 a factor of j?
False
Let f(g) = g**2 - 3*g. Let v be f(2). Let t(w) = -5*w - 4. Let h be t(-4). Let m = v + h. Does 5 divide m?
False
Let c(a) = 3*a**2 + a + 7. Let w = 3 + -8. Let f be c(w). Let u = f - 45. Does 16 divide u?
True
Suppose 2*t + 7 = -11. Is 16 a factor of 4/(-18) - 290/t?
True
Let b(q) = -8*q**2 - 12*q - 6. Let d(o) = 5*o**2 + 8*o + 4. Let w(v) = -5*b(v) - 7*d(v). Let g be ((-16)/(-12))/((-4)/6). Is 5 a factor of w(g)?
False
Let z be -2*(-2 + (-50)/4). Let p = z + -15. Is p a multiple of 7?
True
Let x be (-41*1)/(-2 - -1). Suppose 5*q - 5*y = x - 6, y = 5*q - 23. Suppose h + 96 = q*h. Does 12 divide h?
False
Suppose -7 = -3*m + 5. Suppose c - 12 = -m*g, -c - c + g + 6 = 0. Is 3 a factor of c?
False
Let c(t) = -5*t + 8. Does 19 divide c(-6)?
True
Let z(k) = k**3 + 14*k**2 + 10*k - 24. Is z(-11) a multiple of 32?
False
Let w = 32 - 26. Does 2 divide w?
True
Let r = -47 + 84. Does 8 divide r?
False
Let l(m) = m**3 - 3*m**2 - 6*m + 7. Let w be 4 - (-2 - (-2 + 1)). Is l(w) a multiple of 12?
False
Let x(s) = 13*s**3 + s**2 + s - 1. Is 13 a factor of x(1)?
False
Suppose 6*s = 4*b + 2*s - 88, b - 6 = 5*s. Suppose -3*x - 10 = 2, -2*p - x + b = 0. Is p a multiple of 5?
True
Let p(l) = -5*l**2 + 23*l + 7. Let b(x) = x**2 - 6*x - 2. Let f(k) = 9*b(k) + 2*p(k). Let m be -2*2 + (-1 - -1). Is f(m) a multiple of 7?
False
Suppose -2*g + 36 = g. Is g a multiple of 12?
True
Suppose 17 = -b - 2*n + 56, -2*b = n - 81. Is 19 a factor of b?
False
Is 55/(-2)*(-48)/60 a multiple of 11?
True
Let d be -1 - 0 - (-2)/2. Suppose d = -0*v - v. Suppose -4*j + 2 + 6 = v. Is j a multiple of 2?
True
Let c = 5 + -6. Let x = 2 - c. Suppose -h = -2*h - x*a + 6, -8 = 2*a. Is h a multiple of 7?
False
Suppose 0*q + 3*q = -84. Suppose m - 4*k = 11, 5*k + 13 + 0 = 2*m. Is 7 a factor of m - (1 + -1) - q?
False
Suppose s + 1189 = -s + 5*u, 2*u - 2338 = 4*s. Is 33 a factor of s/(-24)*(0 + 4)?
False
Suppose -357 = -5*n - 102. Is n a multiple of 15?
False
Suppose 9 = -2*m - m, -2*p = -3*m - 405. Is 18 a factor of p?
True
Let l(u) = u**3 - 9*u**2 + 10*u + 8. Suppose 5*n - 15 = 2*s - s, -5*s + 70 = 4*n. Suppose j - s = -2. Does 12 divide l(j)?
True
Let t be 19*-1*(-5 - -4). Suppose -4*q + 5 = -t. Does 3 divide q?
True
Does 24 divide ((-64)/6)/((-2)/36)?
True
Let r = 13 - -23. Let t = r + -4. Does 14 divide t?
False
Let q = 34 - -16. Is q a multiple of 10?
True
Let c be (-381)/9 + 2/6. Let o(f) = -f**3 - 6*f**2 - 2*f - 9. Let a be o(-6). Is (-2)/(a/c*2) a multiple of 5?
False
Let x(k) = 24*k**2 + k. Is 21 a factor of x(1)?
False
Let r = -8 - -15. Suppose -3*a + r = -53. Suppose 0 = -q + 6*q - a, -5*j = 3*q - 172. Is 15 a factor of j?
False
Suppose 2*f + 24 = 5*l - 58, 0 = 5*l + 5*f - 110. Is 9 a factor of l?
True
Does 7 divide (-2)/9 + 573/27?
True
Let r = -181 + 299. Is 16 a factor of r?
False
Let p = 57 - 33. Suppose 22 = 2*w + w + u, -3*u = -w + p. Let b = -3 + w. Does 3 divide b?
True
Does 9 divide ((-27)/2)/(3/(-8))?
True
Suppose 5*z - 7 = -u, -3*u = 3*z - 0 + 3. Suppose -z*q = q - 24. Does 5 divide q?
False
Let p = 23 + 29. Is p a multiple of 9?
False
Suppose 2*p = y + y - 10, -4*y = -2*p - 16. Let n be 5 - y*3/9. Suppose -90 = -b - n*b. Is 9 a factor of b?
True
Let n(h) = 5*h - 1. Let m be 0*(-1 + 0/(-2)). Suppose 4*j = -5*v + 22, 5*j - 2*v = -m*v + 11. Is n(j) a multiple of 14?
True
Suppose 0*j + 24 = 4*j. Is (-9)/(-2)*24/j a multiple of 9?
True
Is 18 a factor of (-20)/15*-41*9/6?
False
Suppose 242 + 220 = 11*z. Does 17 divide z?
False
Does 17 divide (-1 + -16)*(-2 + -1)?
True
Let s(z) = z**3 + 7*z**2 - 9*z + 2. Suppose 48 = -4*r - 4*p, -r = -0*p + 5*p + 28. Does 3 divide s(r)?
False
Let i(w) = w + 3. Let v be i(0). Suppose -4*c - 4*r = 0, 3*c - r = -v*r + 4. Suppose 3*m + c*g = 84, 5*m + 3*g - 112 = m. Does 21 divide m?
False
Let y = 10 + 81. Does 13 divide y?
True
Suppose -38*o = -40*o + 162. Does 27 divide o?
True
Let n = -35 + 57. Let y = n - 6. Suppose -s - s = -y. Is 5 a factor of s?
False
Let h be -6 - ((-9)/3)/(-3). Let i(j) = j**2 + 4*j - 9. Is 11 a factor of i(h)?
False
Let g be (-3)/(1 - 1/(-2)). Is 20 a factor of 22 - (2 + (g - -2))?
True
Suppose -2*l + 2*f = -6 - 2, 0 = -5*l + f + 12. Suppose 4*d + 12 = 2*v, -3*d = -v + l + 3. Is 5 a factor of v?
False
Let s(l) = l**3 - 3*l**2 - l + 4. Let c be s(3). Let v be 3*c*(