False
Let g(o) = 2*o**2 - 3. Let w be g(3). Suppose 0 = -n + 3*i - 0*i + w, 2*n - 50 = -4*i. Suppose 5*q - 5*z - n = 44, -62 = -5*q + 4*z. Is q a multiple of 7?
False
Let a(z) = z**2 - 6*z + 9. Let f be a(4). Let w be 5 + -2 - (2 + f). Suppose w = -4*l + 167 + 13. Is 15 a factor of l?
True
Is 32 a factor of 924 + ((-4)/22 - 371/77)?
False
Let j = -2165 - -3835. Is j a multiple of 67?
False
Let d(j) = 4*j**2 + 3*j + 10. Does 29 divide d(8)?
True
Let o = 29 + 121. Is o a multiple of 5?
True
Let j be (-7)/21 + (-21)/(-9). Suppose 518 = 5*p + j*p. Is 37 a factor of p?
True
Let q(g) = -6*g + 79. Is 3 a factor of q(7)?
False
Is 60 a factor of 1864 - (-1)/((-7)/28)?
True
Let l = 31 - 27. Suppose -246 = -3*j + x + 165, -l*j = -3*x - 543. Suppose -o + j = 2*o. Does 23 divide o?
True
Is 21 a factor of (-6721)/(-8) - 2*(-4)/(-64)?
True
Let j = -15 + 20. Suppose j*i - 2*r = -37, -3*i = -2*r - r + 24. Is (-12)/i*63/2 a multiple of 25?
False
Is 43 a factor of 2/((-656)/110 + 6)?
False
Suppose 5 = -5*g, p - 3 + 2 = -4*g. Suppose 2*w + s = 89, w = 6*w + p*s - 225. Is 27 a factor of w?
False
Let c(n) = -n**2 - 6*n - 4. Let u be c(-6). Let m be 38/14 + u/(-14). Suppose -5 = 5*f, m*f - 35 + 11 = -3*o. Is o a multiple of 3?
True
Let q = 8 - 19. Let w(h) = -h - 11. Let t be w(q). Suppose -74 = -2*y + 3*k - k, t = 3*k + 3. Is 9 a factor of y?
True
Suppose -q + 2*c + 33 = 0, 0*q - 4*q + 5*c = -120. Suppose r = -4*s + 3*s + 2, 2*s = 5*r + q. Let v(d) = d**2 - 2*d + 7. Does 9 divide v(s)?
False
Let t be 1 + 3 + 4 + -3. Let n(c) = 89*c + 7. Let o be n(2). Suppose -t*z - 5*g = -o, 5*z - 4*g - 57 = 128. Is 11 a factor of z?
False
Suppose 0 = 4*l + 5*z + 85, -75 - 41 = 5*l + 3*z. Suppose -7*n = -n - 312. Let h = l + n. Is h a multiple of 10?
False
Let u(n) = n**2 - 20*n + 32. Let f = -5 + 24. Does 2 divide u(f)?
False
Let t(s) = s**3 - 9*s**2 - 11*s + 14. Let z be t(10). Let a(p) = 7 + p**2 + p**2 - p**2 + z*p - 5*p. Is 9 a factor of a(5)?
True
Suppose -8 = -11*m + 7*m. Suppose -5*j + 0*p + 1025 = 5*p, m*p = -10. Is j a multiple of 44?
False
Let i = -31 - -110. Does 21 divide i?
False
Is 11 a factor of 44904/48 - (0 + (-3)/6)?
False
Suppose 3*m - 1074 = 456. Is 102 a factor of m?
True
Suppose -2120*w = -2116*w - 1160. Does 17 divide w?
False
Suppose -5*r + 6038 - 268 = x, -2*r = -5*x - 2335. Is r a multiple of 105?
True
Let a(p) = p**2 + 3*p - 1. Let h be 2 + 1 + -1 + 0. Is 3 a factor of a(h)?
True
Let q(d) = -28 - 2*d**2 + 4*d**3 + d + 28. Let x be q(1). Suppose -x*v = -6*v + 255. Is 25 a factor of v?
False
Suppose l + 0 - 2 = -2*w, -5*w + 4 = 2*l. Is 2 + 1 + l/((-4)/(-266)) a multiple of 17?
True
Suppose 0 = -m - 2*m - 18. Let o be (-2)/m - 16/(-6). Suppose 2*x - 106 = -4*d, -o*d - d = 3*x - 111. Is d a multiple of 12?
True
Suppose -4*b = 3*n - 367, -5*b = 4*n - n - 371. Does 28 divide n?
False
Suppose -4*i + 4*v + 5 - 9 = 0, 2*v = -5*i + 30. Let h(s) = -s**2 + 19*s. Does 5 divide h(i)?
True
Let f(u) = -7*u - 32. Let y = -53 - -45. Is f(y) a multiple of 6?
True
Let g(v) = 2*v**3 - 3*v**2 + v - 1. Let o be g(2). Suppose 4*m = 2*l - 78, 2*l - 41 = o*m + 41. Let x = l + -28. Is x even?
False
Let c(u) = u**2 + 2*u + 75. Suppose 4*r + 4*o - 8 = 3*r, -5*r - o + 2 = 0. Does 15 divide c(r)?
True
Let m(t) = -t**3 - 8*t**2 + 2*t - 5. Let l be m(-9). Let o = l - 40. Let r = o - 9. Is r a multiple of 4?
False
Let b = 174 + -252. Suppose 524 = -h + 5*h. Let o = b + h. Is 24 a factor of o?
False
Suppose p - 5 = 0, 27*f - 28*f - 4*p = -97. Is f a multiple of 26?
False
Suppose 2*h = h - 1. Let q be (h + -20)/(3/(-2)). Suppose 3*w - 115 - q = 0. Is 22 a factor of w?
False
Let p(s) = 12*s**2 - 30*s + 136. Is p(5) a multiple of 13?
True
Suppose m + m = -2*s - 98, -3*m - s - 147 = 0. Does 43 divide 14 + -9 + m/(-1)?
False
Let l(n) = -n**3 + 14*n**2 + 2*n - 27. Let b be l(14). Is 52*2 + (-24)/((-6)/b) a multiple of 19?
False
Suppose -3*w + 4 = -8. Let i be -3 - ((6 - w) + -8). Suppose 4 + 0 = 2*o, -i*j - o = -95. Is j a multiple of 6?
False
Does 44 divide (-54373)/(-22) + 3/6?
False
Let s be 7 - (-1)/(-5)*5. Is (-771)/(-15) + s/10 a multiple of 13?
True
Let b = 542 - 42. Is 12 a factor of b?
False
Let c(t) = -1 + 10*t**3 + 2*t**2 - 6*t**3 + 0*t**3. Let g be c(-1). Let x(q) = -2*q**3 - 2*q**2 - 3*q + 3. Is 16 a factor of x(g)?
True
Let d = 959 - 578. Is d a multiple of 19?
False
Let w be (1 + -2)*(-2)/(-1). Let k be w/6 + 1740/36. Suppose 8*d = 12*d - k. Is d a multiple of 6?
True
Suppose -91 + 851 = 5*t. Does 38 divide t?
True
Suppose -89*j = -j - 103224. Is j a multiple of 30?
False
Let x(i) = 4*i**2 - 19*i + 67. Is 97 a factor of x(6)?
True
Suppose 11*r = h + 13*r - 35, 0 = 3*h + 4*r - 99. Does 2 divide h?
False
Let q = -21 - -141. Is 4 a factor of q?
True
Suppose -19*w = -77*w + 12760. Is 11 a factor of w?
True
Let l(a) = -a**3 + 13*a**2 + 15*a + 23. Is l(14) a multiple of 4?
False
Let o = 1 + 64. Suppose 11*p - 6*p - o = 0. Is p even?
False
Suppose -165 + 481 = 3*q + 4*n, -2 = n. Does 11 divide q?
False
Let n(c) = c**2 + 10*c + 25. Does 4 divide n(-3)?
True
Is (720/(-84))/((-8)/476) a multiple of 10?
True
Let w(a) = a**2 - a + 1. Let o(u) = -6*u**2 + 13*u - 9. Let z(n) = o(n) + 5*w(n). Suppose -x = -3*x - 2*l + 8, 0 = 3*x - 2*l - 22. Is 6 a factor of z(x)?
False
Let j = -5 - -8. Suppose 5*r - 50 = -5*v, 5*v + j*r = -r + 48. Is 8 a factor of v?
True
Let h(g) = 15*g - 128. Is 7 a factor of h(11)?
False
Let f be (-2 + 5)*40/30. Does 14 divide (f - 0 - -18) + -3?
False
Suppose -6*m = -5*v - 4*m + 18465, -11110 = -3*v - 5*m. Does 49 divide v?
False
Let f = -13 - -12. Let d be (f - -6) + 3/(-1). Is 10 a factor of -4*d/(8/(-10))?
True
Let m = -86 - -88. Is m/6*(-3 + 6) + 149 a multiple of 10?
True
Let c(s) = 9*s**2 - 10*s + 61. Is 36 a factor of c(7)?
True
Suppose -5*v - 5 = -4*b, -b - 3*b = 5*v + 5. Suppose b = i - 1 - 1, -61 = -h + i. Is h a multiple of 6?
False
Let c be 3 + -5 + (2/1 - -576). Suppose 9*i = i + c. Is i a multiple of 36?
True
Let o(x) = -x**2 + 34*x + 72. Is o(14) a multiple of 32?
True
Suppose 2*j - j = 61. Let o be 2*-109*(-2)/4. Let b = o - j. Is 16 a factor of b?
True
Let z(c) = -c**3 - c + 2. Let i be z(0). Let a(v) = 16*v**2 + 0 - 4 - 12*v**i. Is a(2) a multiple of 4?
True
Let g = -22 - -11. Let i(l) be the second derivative of l**4/12 + 2*l**3 + 15*l**2/2 + 19*l. Is 3 a factor of i(g)?
False
Suppose 0 = 6*i - 618 + 114. Let z = 240 - i. Is z a multiple of 24?
False
Suppose 9*i = 7*i. Suppose i = -5*f - 4*m + m - 2, 5*f + 4*m + 6 = 0. Suppose -4*c + p = -f*p - 16, 2*c - 10 = p. Is 5 a factor of c?
False
Does 39 divide (-2 + -24)*(-255)/15?
False
Let r(t) = -3*t - 4. Let h be r(-3). Suppose 2*d = 8, -4*c + 7*c - 3*d - 51 = 0. Suppose -h = q - c. Is q a multiple of 7?
False
Let j(y) = 2*y + 5. Let g be ((-10)/(-30))/(1/(-33)). Let i = g + 11. Does 5 divide j(i)?
True
Let q(g) = 10*g + 142. Is 26 a factor of q(30)?
True
Let d = -14 + 20. Suppose 20 = d*b - 46. Is 3 a factor of b?
False
Suppose -2*t = 2*g - 6, -3*g = 4*t + t - 7. Suppose 135 = x + g*x. Suppose -39 = -z + x. Is z a multiple of 22?
True
Let v(w) = w**3 + 5*w**2 - 3*w - 5. Suppose -3*r = -5*k - 0*r + 26, 4*k = r + 18. Suppose 0 = -k*i + 3 - 19. Is v(i) a multiple of 19?
False
Suppose 16*a + 15 = 19*a. Suppose 6 = a*z - 4. Suppose 0 = 2*m + z*m - 176. Is m a multiple of 22?
True
Let g be ((-18)/8)/(3/12) + -1. Is 18 a factor of (216/4)/((-15)/g)?
True
Suppose 0 = h - 4*h + 6. Suppose m + h = 2*m. Suppose -d = m*d - 30. Is d a multiple of 10?
True
Let v = -312 + 202. Let n = v + 119. Does 4 divide n?
False
Suppose 6*m - 729 - 2871 = 0. Is m a multiple of 12?
True
Let g(u) = u. Let c be (-1)/2 - 35/(-10). Let v be g(c). Let a = 13 - v. Does 5 divide a?
True
Suppose 0*g + 87 = g - 5*d, 2*d = -4*g + 348. Is 2 a factor of g?
False
Suppose -4*u = -3*x - 4190, -x + 5247 = 5*u - 0*x. Is u a multiple of 8?
False
Let x(c) = -c**2 - 28*c - 31. Suppose 2*z - 16 = a, 2*z + 24 = -a - 0*z. Is 43 a factor of x(a)?
True
Let b(a) = a - 5. Let l be b(3). Does 30 divide -3 - -94 - -2*1/l?
True
Let x = -251 + 685. Is 31 a factor of x?
True
Suppose -5*k + 7410 = 5*d, -146*d = -151*d + 5*k + 7420. Does 8 divide d?
False
Let h(z) = 21 - 39 - 3*z + 12*z + 9*z. Is 18 a factor of h(6)?
True
Suppose q - 4*q = 5*i - 625, -1083 = -5*q 