 g = s + 11. Is g a multiple of 4?
False
Suppose 7*y + 22624 = 23*y. Is y a multiple of 35?
False
Suppose 0 = 2*c - q - 331, -q = 5*c + q - 832. Let g = c + -131. Is g a multiple of 3?
False
Let u(m) = 185*m - 82. Is 16 a factor of u(11)?
False
Let d(b) = b**3 + 2*b**2 - 3*b. Suppose -4 = -4*r - 16. Let h be d(r). Is (-1 + h)*(-567)/9 a multiple of 17?
False
Let j(y) = 3*y**2 - 69*y + 8. Does 8 divide j(30)?
False
Does 13 divide 55760/55 - (1 - 39/33)?
True
Let c(t) = -3*t - 2. Let f be c(-2). Suppose -f*d - 4*y - 44 = 0, 0*d + 2*d = -y - 18. Let o = 20 + d. Does 7 divide o?
False
Suppose -i + 26 = 10. Let f = i - 12. Suppose f*j = j + 198. Is j a multiple of 22?
True
Let t(q) = -q**3 - 4*q**2 - 8*q - 15. Suppose 4*c - 4*a + 32 = 0, 3*c + 2*a + 12 + 7 = 0. Is 16 a factor of t(c)?
False
Let d = -1639 + 2479. Is 24 a factor of d?
True
Let p(f) = 224*f + 138. Does 30 divide p(13)?
False
Let r be (-3)/9 - (-66)/9. Suppose 0 = n + r - 37. Let o = -2 + n. Is o a multiple of 7?
True
Let u = 1263 - 767. Is u a multiple of 9?
False
Let b be -4 + 1/1 - -25. Let m = b + 12. Is (m/(-10))/(8/(-40)) a multiple of 3?
False
Let w(t) = 2*t**3 - 29*t**2 - 24*t + 69. Is w(17) a multiple of 14?
True
Does 41 divide 2339/19 + 20/(-190)?
True
Suppose 7*c + 88 = 6*c. Let y be ((-2)/4)/((-2)/16). Does 11 divide (c/4)/((-2)/y)?
True
Let c be 2/(-5) + (-51)/(-15). Suppose -2*b + 5*g + 23 = -2, -5*b = c*g - 16. Suppose -q - 4*l - 2 = q, -25 = b*l. Does 5 divide q?
False
Let i(a) = a**3 - 3*a**2 - 8*a - 6. Let l be i(6). Suppose 0 = 2*p + 4*p - l. Is p a multiple of 5?
False
Suppose -5*w + 3*g = 263, 2*w + 4*g = w - 48. Let u = w + 107. Let j = u + -10. Is j a multiple of 14?
False
Is 7 a factor of (-2)/(-2 + -3 + 9)*-1918?
True
Let b(u) = 5*u**2 - 16*u - 12. Is 23 a factor of b(10)?
False
Suppose -4*k - 5*q = 0, 4*k - 4*q = -0*q. Suppose -b - 2*b + 363 = k. Suppose -3*d - 3*l - 2*l + b = 0, -d + 17 = -3*l. Is 17 a factor of d?
False
Let p = 1382 - 290. Is p a multiple of 39?
True
Suppose i + 31*r - 191 = 27*r, 4*i = -r + 764. Is i a multiple of 8?
False
Suppose 5*d + 3*v - 2291 = 0, 0*v = -5*d + v + 2283. Is 12 a factor of d?
False
Let m(n) = -24*n - 1. Suppose 2*s + 1 = s. Let q be m(s). Let j = 41 - q. Is j a multiple of 9?
True
Let z = 625 + -440. Does 14 divide z?
False
Let c be (26/(-6))/(1/6). Let i = c - -29. Does 29 divide -4 + 4 + i*29?
True
Suppose 3*i - 12 = -3. Suppose i*c - 5*h = 6 + 91, 2*h - 112 = -4*c. Suppose 5*r - 4*y = c, 44 = 3*r + r + 2*y. Is 9 a factor of r?
True
Suppose 2*a - 2135 = 889. Is 36 a factor of a?
True
Let t = 5 - -1. Let m be (0 - t/2) + 7. Suppose -2*o - 110 + 309 = 3*s, 4*s - m*o - 232 = 0. Is s a multiple of 16?
False
Suppose 7*s - 91 = 8*s. Let m = s + 224. Is 35 a factor of m?
False
Let l(o) = 21*o - 1. Let w(j) = -j**2 - 3*j + 5. Suppose -4*g - 6 = 5*h, -6*g = -g - 3*h + 26. Let m be w(g). Does 9 divide l(m)?
False
Let o(t) = 11*t - 3. Let k = -24 + 49. Suppose k = 2*a - 5*n, 0*n = -a + n + 8. Is o(a) a multiple of 13?
True
Let p be -3*(13/(-3) - -3). Is p/6 + (523/3 - 1) a multiple of 29?
True
Suppose 18*c + 12 = 22*c. Suppose c*f = -20 + 62. Suppose 2*s + f = 4*s. Is s even?
False
Is 27 a factor of (1729/28)/((-5)/(-60))?
False
Let o = 10 + -3. Let s = -17 + o. Let c = 44 + s. Does 7 divide c?
False
Let w(s) = -4*s + 54. Let u be w(14). Let p(m) = m + 9. Is p(u) a multiple of 5?
False
Let m(q) = 18*q**2 + 25*q - 1. Is m(-6) a multiple of 7?
True
Let k = 24 + -16. Suppose l + 3 - k = 0. Let t(z) = 3*z - 2. Is 13 a factor of t(l)?
True
Let n = 3106 + -2571. Is n a multiple of 50?
False
Suppose 0 = -x + 2*w - 20, -5*x = -x - 5*w + 71. Let i = 92 + -100. Let j = i - x. Does 3 divide j?
True
Let t(r) = r**3 + 8*r**2 - 9*r + 8. Let a be t(-9). Let v(q) = q**3 - 3*q - a + 0 - 6*q**2 + 5*q. Is 2 a factor of v(6)?
True
Let j(k) = 15*k + 82. Is 5 a factor of j(0)?
False
Let t(k) = -5*k - 1. Let m be t(-1). Suppose 0 = p - 0 - 2. Let u = m + p. Is 6 a factor of u?
True
Suppose 656*s = 664*s - 11040. Does 12 divide s?
True
Let n be 19/76 - (-134)/8. Suppose 0 = 4*a - 55 - n. Is 9 a factor of a?
True
Let i(a) = -a**2 + 16*a + 11. Let s(b) = b**2 - 18*b - 3. Let z be s(19). Is 3 a factor of i(z)?
False
Suppose -6*s + 42 - 12 = 0. Suppose 0*f = f + 3*o - 51, s*f - 5*o - 255 = 0. Is 17 a factor of f?
True
Suppose -5*n = -p + 25, -4*p = 88*n - 85*n - 8. Does 5 divide p?
True
Suppose 0 = -41*k + 12*k + 1073. Does 2 divide k?
False
Let u(o) = -5*o - 5. Let v be u(-4). Suppose 30*l - 25*l = v. Suppose -c = -l*c + 120. Does 12 divide c?
True
Let b be (-4 - -1)*10/(-6). Is 13 a factor of b/15 + (-1 - 236/(-3))?
True
Let t = -153 + 378. Does 26 divide t?
False
Let g = 77 + 185. Let n = -139 + g. Is 33 a factor of n?
False
Let g = -203 - -333. Does 13 divide g?
True
Let o = 48 + -9. Is 6/(-4)*(11 - o) + 0 a multiple of 14?
True
Let z be (-4)/14 + (-61272)/168. Let a = z - -521. Does 52 divide a?
True
Let h be -11*3*-1 - 9/(-3). Let n = h - 23. Is 5 a factor of n?
False
Let i be 6/(-15) + (-3)/((-45)/13746). Suppose -100 = 8*g - i. Is 19 a factor of g?
False
Let r = -32 - -151. Suppose 2*i - 95 = r. Does 7 divide i?
False
Let q be 0/(-5)*(-4 - -3). Let y = 308 + -130. Suppose -4*o + y = -h, -2*h + h + 2 = q. Is o a multiple of 15?
True
Is -6 + (18 - 9) - -153 a multiple of 4?
True
Suppose -5*v = -2*g - 709, -17*v - 5*g = -16*v - 158. Is v a multiple of 25?
False
Let s(a) = -a**3 + 5*a**2 + a + 4. Let k be s(4). Suppose -5*m = -10, k = 4*y + 5*m - 538. Suppose 4*r - y = r. Is 22 a factor of r?
False
Suppose d = -g - 126, 157 = -3*d - 5*g - 231. Let q = -67 - d. Is 11 a factor of q?
False
Let r = -725 + 1033. Suppose 4*l = 8, 0*o = 2*o - 4*l - r. Does 32 divide o?
False
Let j(o) = 45*o - 187. Is 18 a factor of j(11)?
False
Let p(i) = i**3 + 7*i**2 - 3*i. Suppose 4*s - 6*s - 10 = 0. Is p(s) a multiple of 17?
False
Suppose 0 = -5*h + 3 + 2. Is 6 a factor of (-5 - h)/(-4 + 3)?
True
Is ((-1336)/14)/(32/(-224)) a multiple of 24?
False
Suppose 32*n = 18*n + 5880. Is n a multiple of 42?
True
Is 21 a factor of 6 + 356657/119 + 2/(-17)?
True
Suppose -k - 4 = 3*w, 4*k - 2*w - 3*w = 35. Suppose 0 = -o + k + 1. Is 10 a factor of (-2)/o - (-242)/6?
True
Let n = 2 - 4. Let j be (1 + -3)*(-1)/n. Is 9 a factor of j/(-3) - (-65)/3?
False
Let z = -2 + 19. Suppose z - 27 = -2*r. Does 2 divide r?
False
Let s(o) = -o + 10. Is s(-4) a multiple of 7?
True
Let f = 0 - -6. Suppose f*m - 3*m = 0. Suppose 13 = b - m*b. Is b a multiple of 2?
False
Let f = -16 - -31. Let z(g) = g - 12. Let t be z(f). Suppose -x = -5*c + 239, t*c - x + 3*x - 146 = 0. Is 16 a factor of c?
True
Suppose 53*w + 4*w - 207936 = 0. Is w a multiple of 24?
True
Let j be (3/(-2))/((-1)/2). Is 3 - (j - -5) - -12 a multiple of 5?
False
Suppose 3*l = -0*l + 18. Let c(g) = -l + g + 9 + 14 - 6. Is 22 a factor of c(11)?
True
Let c = 722 + -370. Is 32 a factor of c?
True
Let h = 1019 + -479. Does 15 divide h/8 - 3/(-6)?
False
Suppose 0 = 14*t - 16*t - 5*c + 217, -15 = 3*c. Does 7 divide t?
False
Let f(x) = 94*x**2 + 2*x - 2. Let c(s) = 47*s**2 + s - 1. Let j(y) = -11*c(y) + 6*f(y). Suppose -4*h + 11 = 7*h. Is j(h) a multiple of 10?
False
Suppose -12 = -3*k - 3. Suppose 0 = -2*f - 6*o + 2*o + 134, -2*o + 213 = k*f. Suppose 0*j + f = j. Is 23 a factor of j?
False
Let y(a) = 2*a**2 + 92*a + 19. Does 4 divide y(-46)?
False
Let z be 5 + 6/(-3)*1. Let j(k) = -k**3 + 6*k**2 + 2. Let i be j(z). Suppose -5*q - d + 32 + i = 0, 5*q + 5*d = 45. Does 11 divide q?
False
Let p(f) = f**2 - 10*f + 5. Let a be p(9). Let t be 0/(4/8*a). Suppose -n = -t*n - 78. Does 24 divide n?
False
Let v(i) = -24*i - 59. Let w be v(7). Let g = w + 388. Does 23 divide g?
True
Let k(f) = 2*f**2 + 5*f - 8. Let i be k(4). Suppose -i = -a - 3*a. Does 8 divide a?
False
Let q(t) = -t**3 - 6*t**2 + 7*t - 8. Let f be q(-8). Let n = 25 + -18. Suppose 11*w = n*w + f. Is w a multiple of 4?
True
Suppose -2*n = -5*k - 219 + 2672, -k + 4*n + 505 = 0. Suppose 18*c = 15*c + k. Does 47 divide c?
False
Suppose 137406 - 46302 = 39*q. Is q a multiple of 11?
False
Let l(j) = -j**3 + 10*j**2 + 3*j - 10. Let d be l(10). Let n = -49 + d. Let w = -15 - n. Does 14 divide w?
True
Let u(f) = 31*f**3 + f**2 - 2*f + 1. Suppose -3*i = -6 - 6. Suppose 5*v - v = i. Is 8 a factor 