Let g be (-124)/(-24) + 1/(-6). Suppose g*h - 5 = 45. Let q(c) = 4*c + 2. Is 21 a factor of q(h)?
True
Let o be (483/(-12))/(1/(-4)). Suppose -6*i = -o - 103. Is 11 a factor of i?
True
Suppose -30*g - 36*g = -40260. Is g a multiple of 7?
False
Suppose 4*n - 33 + 9 = 0. Suppose 400 = -2*p + n*p. Suppose 3*j = p + 29. Does 17 divide j?
False
Suppose -1 + 3 = -4*o + 5*s, -8 = 4*s. Let b = 1 + o. Is 7 a factor of (-27)/b*(-4)/(-6)?
False
Let k = 243 + -351. Let f = k + 126. Does 6 divide f?
True
Suppose 21 = -5*n + 126. Let f = 73 + n. Does 14 divide f?
False
Let u(h) = -197*h**3 + 11*h**2 + 8*h - 3. Does 27 divide u(-1)?
False
Let y = -109 - -112. Suppose 4*i = -0*q - y*q + 331, 2*q = -5*i + 223. Is q a multiple of 22?
False
Suppose 4*b - 258 = -2*n, n - 104 = -5*b + 34. Is n a multiple of 3?
True
Let v(c) = 8*c**2 + 2*c + 1. Let b be v(-1). Suppose a + 1 + 2 = 3*p, b = a + 2*p. Suppose g = r + 7 + a, 0 = 3*g - 2*r - 27. Does 7 divide g?
True
Let v(x) = -13*x - 258*x**3 + 257*x**3 + 2*x - 7*x - 18*x**2 + 7. Does 14 divide v(-17)?
False
Suppose -4*z - z + 15 = 0. Suppose -93 = 5*h - z*u, -4*u - 8 = h + 6. Is 6 a factor of (0 - h) + 0/4?
True
Let w(v) = 152*v - 4. Let b be w(2). Suppose -2*d + 7*d = b. Is 38 a factor of d?
False
Let n(t) be the third derivative of t**5/60 + 17*t**4/24 + 13*t**3/6 - 18*t**2. Is 5 a factor of n(-17)?
False
Let r be (-1)/2*-142 + 0. Let s = 20 + -61. Let b = s + r. Is b a multiple of 15?
True
Let w be 210/(-66) - 4/(-22). Let l = 405 - 1791. Is ((-1)/w)/((-6)/l) a multiple of 11?
True
Suppose -3*l + 214 - 30 = -4*t, -2*l + 100 = 3*t. Does 28 divide l?
True
Let v(c) = 9*c**2 + 47*c + 60. Is 22 a factor of v(-12)?
True
Is -6 + 4 + (0 - -200) a multiple of 66?
True
Let r(m) be the second derivative of -m**5/20 - 3*m**4/4 - 11*m**3/6 - 2*m**2 - m. Let a be (-132)/18 + (-4)/6. Is r(a) a multiple of 10?
True
Suppose -36353 - 18625 = -34*l. Is l a multiple of 49?
True
Suppose -6*t = -3*t + 6. Let x be -2 + (-2 - 44)*t. Suppose 20*q + x = 22*q. Is 15 a factor of q?
True
Let p(f) = 274*f - 3. Is 63 a factor of p(3)?
True
Let j(w) = 2*w. Suppose -d = 4*i + 23, 4*i + 13 = 2*d - 1. Let l(f) = -1. Let z(c) = d*l(c) - 3*j(c). Is 13 a factor of z(-7)?
False
Let w(y) = -4*y**3 + y. Let o be 4/(-6)*15/(-10). Let p be w(o). Does 16 divide (3*-8)/(p/6)?
True
Let n(d) be the second derivative of -d**5/60 - 7*d**4/24 + 11*d**3/6 - 3*d**2/2 - 7*d. Let y(f) be the first derivative of n(f). Is 3 a factor of y(-8)?
True
Let m be (146/(-8))/((-2)/24). Suppose 3*a - m = 24. Is 27 a factor of a?
True
Let w be 2/((-3)/(-24)*-1). Suppose 3*a + 3*o - 123 = 0, 59 = 2*a + 3*o - 20. Let c = a + w. Is c a multiple of 28?
True
Let r(d) be the first derivative of -13*d**3/3 - 11*d**2/2 - 10*d + 9. Let z be r(-9). Is z/(-10) + 16/(-40) a multiple of 13?
False
Let l = 1860 + 242. Does 18 divide l?
False
Let b(i) = 6*i**2 - 2*i - 5. Let s(t) = t - 9. Let w be s(9). Suppose -4*k + 12 = w, -5*j - 5*k + 18 = -4*k. Is b(j) a multiple of 16?
False
Let s(r) = r**3 - 6*r**2 + 13*r - 9. Let w be s(6). Let x = -61 + w. Is 3 a factor of x?
False
Let u = 169 + -111. Let c = u + -27. Is 14 a factor of c?
False
Suppose 6 + 4 = c. Suppose -2*h + 18 = 5*v - c, 0 = 2*v + h - 12. Suppose 105 = 5*z + 5*m, -v*z + m + 34 = -45. Is z a multiple of 18?
False
Let n(s) = -3*s**2 - 5*s - 22. Let d be n(6). Let g = -36 - d. Is g a multiple of 31?
True
Let q = -709 - -1421. Suppose -4*r + q = 172. Is 27 a factor of r?
True
Suppose 4*s = -j, 0 = -3*j + j + 3*s. Suppose j = -4*q + 369 + 415. Does 21 divide q?
False
Let v = -11 + -17. Let n = v + 39. Is n a multiple of 3?
False
Let g be 5 - (-8)/(-2 - -4). Suppose -t + 24 = -g*t. Let f(w) = -w**3 + w**2 - 5*w - 7. Is 22 a factor of f(t)?
True
Is (-2 + 219)/(0 + 5/5) a multiple of 31?
True
Let w(n) = n**3 + 5*n**2 + n + 17. Let f be w(-5). Suppose a + f - 112 = 0. Is a a multiple of 20?
True
Does 18 divide ((-12096)/(-120))/((-3)/(-15))?
True
Let b = -878 + 1388. Does 16 divide b?
False
Let v(x) = 17*x + 81. Does 26 divide v(40)?
False
Let y = -11 + 20. Let o = y + -6. Suppose -2*w = -o*d - 113, -w - 2*w + 127 = 4*d. Is 23 a factor of w?
False
Let f(i) = -i**3 + 27*i**2 + 66. Let t be f(27). Let b = t + -3. Is 21 a factor of b?
True
Let n(c) = 2*c**2 - 3*c + 54. Is n(10) a multiple of 7?
True
Suppose -23 - 25 = -4*l. Suppose 0 = -4*t - 0 + l. Suppose -29 = -4*h - m - 2*m, -30 = -t*h - 5*m. Does 5 divide h?
True
Let f = 55 - 36. Suppose i + 5*g = 149, 3*g = 4*i - 523 + f. Is i a multiple of 16?
False
Suppose 5485 = 3*p - 2*q + 3*q, 0 = -5*p - 4*q + 9130. Does 32 divide p?
False
Is 28 a factor of (105/28)/(-15) + (-6161)/(-4)?
True
Let s(p) = p - 4. Let g be s(-5). Let m be 3 - g/6*2. Let y(c) = -c**3 + 6*c**2 + 4*c - 4. Is y(m) a multiple of 10?
True
Let k be (-4)/14 - (-396)/63. Let r be (9 - k) + 249/1. Suppose -t - 3*t = -r. Is 30 a factor of t?
False
Let z = -1183 - -2029. Does 7 divide z?
False
Let p be (-14)/(-49) + (-24)/(-14). Is -85*((-3 - p) + 4) a multiple of 12?
False
Suppose -5*t + t + 5*a + 21 = 0, -4*t - 4*a + 48 = 0. Is 3 a factor of (t/(-2))/((-12)/24)?
True
Suppose -22*m + 18*m - 5*i = -6666, -2*i + 6660 = 4*m. Does 8 divide m?
True
Suppose -4*a = -2*a + 10. Let f(p) = -2*p - 6. Let l be f(a). Does 8 divide (l/(-6))/(16/(-696))?
False
Let c(f) = f + 11. Let w be c(-7). Suppose m = -w*m - q + 435, 2*m + 4*q = 192. Is m a multiple of 35?
False
Suppose 10*o + 1958 = 32*o. Is 89 a factor of o?
True
Let s be (3/(-1) - -9) + -1. Suppose 5 + s = 5*k. Suppose 14 = k*j - 6. Does 6 divide j?
False
Let g be ((-36)/(-63))/((-4)/(-14)). Suppose 36 = -g*a + 6*a. Does 15 divide ((1 + a)*-5)/(-2)?
False
Suppose -2*l + 1319 = 5*y, l - 39*y + 36*y = 654. Is l a multiple of 9?
True
Let h = -11 + 18. Let r be (-4 - -7)/9 - (-10)/(-3). Let c = h + r. Does 2 divide c?
True
Suppose 8*u - 899 + 275 = 0. Is u a multiple of 6?
True
Let k(w) = -w - 6. Let n be k(-15). Let t be (24/5)/(n/150). Does 14 divide ((-33)/(-44))/(2/t)?
False
Let z = 552 + -216. Does 28 divide z?
True
Let c(y) be the third derivative of 21*y**4/8 - 35*y**3/6 - 43*y**2. Is c(5) a multiple of 35?
True
Is -8 + 3/1 + 0 + 381 a multiple of 8?
True
Let c = 77 + -3. Let j be c - (0 - (0 - -2)). Let w = j + -33. Does 21 divide w?
False
Is 5 a factor of 160 - ((-84)/21 - -9*1)?
True
Is 3 a factor of 167/334*(408 + 0)?
True
Let q = 2405 + -1334. Does 21 divide q?
True
Let n = 574 - 459. Does 4 divide n?
False
Suppose -a = 4*c - 2609, 0 = -4*c - 5*a - 258 + 2887. Is c a multiple of 7?
True
Suppose 1148 + 812 = 8*v. Is v a multiple of 7?
True
Let z(k) = 5*k**3 - 3*k**2 - k - 36. Let l(v) = 4*v**3 - 2*v**2 - v - 35. Let j(y) = -4*l(y) + 3*z(y). Let w be j(0). Suppose -2*m + w = -m. Is 7 a factor of m?
False
Does 35 divide (3 - (-4)/8)*210?
True
Suppose -13 = -4*z - 57. Let y be (0 - 0)*z/(-22). Suppose m - 2*h = 6, m - 2*m - 3*h + 21 = y. Is 6 a factor of m?
True
Suppose -4*d - 14 + 122 = 0. Suppose 2*g - 8 - 42 = -2*q, -g - d = -q. Let b = q + -24. Is b even?
True
Suppose -134*y + 156*y = -1870. Let f(z) = 2*z**3 + z**2 - 2*z - 1. Let a be f(2). Let t = a - y. Is 12 a factor of t?
False
Let q(c) = -5*c + 2. Let l(w) = 9*w - 5. Let t(y) = -3*l(y) - 5*q(y). Let r be t(5). Let b = r - -32. Does 7 divide b?
False
Suppose -9*u + 6*u - 135 = 0. Let g = 22 + u. Let z = g - -34. Is z a multiple of 11?
True
Let u(d) = -d**2 - 16*d - 15. Suppose 7*y + 8 + 13 = 0. Let p(s) = 2*s**3 + 3*s**2 - 4*s + 1. Let v be p(y). Is u(v) even?
False
Let j(w) = w**3 - 8*w**2 + 18*w - 10. Let a be j(5). Suppose -2*b - b - 5*o + 25 = 0, a*o = -5. Is 5 a factor of b?
True
Suppose 47 = l - 16. Suppose n - l = -3*d, -5*d + 8*n + 125 = 3*n. Let k = d - 12. Is k a multiple of 10?
True
Let j be 21/(-28) + (-282)/8. Let i = 40 + j. Suppose -5*n = -i*q + 281, -n = -2*q + 2*n + 143. Is 13 a factor of q?
False
Let n(v) = -v**3 + 5*v**2 + 6*v + 3. Let z be n(6). Suppose 8 = -r + w, 5*r + 3*w + 9 = -23. Is 6 a factor of (-4)/(-2) - r - z?
True
Suppose 439*n - 436*n - 6294 = 0. Is 49 a factor of n?
False
Let a(y) = 127*y - 447. Is a(9) a multiple of 12?
True
Suppose -3*v - 657 = -5*b - 6*v, -5*b + 3*v = -663. Is b a multiple of 6?
True
Suppose 19*a - 4542 = 341. Is 26 a factor of a?
False
Suppose 0 = 2*s + n - 450, 3*s 