 4*y - 2*w. Is y a multiple of 44?
True
Suppose m + k + 1230 = 4*m, 0 = 5*m + 4*k - 2067. Suppose 3*a + 161 = 2*q, -2*q - a = 3*q - m. Does 15 divide q?
False
Let m(d) = -9*d**2 - 37*d + 41. Let c(p) = 4*p**2 + 18*p - 21. Let i(y) = 7*c(y) + 3*m(y). Is i(-17) a multiple of 3?
False
Let y be 7/(-35) + (-1766)/(-5). Let b = 204 - y. Let w = b + 229. Does 15 divide w?
False
Let n = -18 + 18. Suppose n = m + 1 - 43. Does 14 divide m?
True
Let i be (29 - 1)*(-1 + 2). Let y = i + -15. Is 3 a factor of y?
False
Suppose -7*l - 60 = -3*l. Is 6 a factor of ((-9)/l + 5)/((-2)/(-30))?
True
Let n(o) = 1 + 2*o - o - 5*o - 21. Is n(-16) a multiple of 13?
False
Is 18 a factor of ((-855)/20)/19*-772?
False
Let y(u) = 3*u**2 + 5*u - 4. Let f be y(4). Suppose 4*i - 3*v = 235, 195 - f = 2*i + 3*v. Is 33 a factor of i?
False
Let c(z) = 10*z**2 - 4*z + 39. Does 60 divide c(13)?
False
Let q = 112 - -73. Is 37 a factor of q?
True
Suppose -5*b = -203 + 3. Let c = 19 + -19. Suppose c = -4*n - 4*z + b, n + 0 + 2 = -4*z. Does 7 divide n?
True
Let n(x) be the first derivative of -13/2*x**2 - 3*x - 12 - 1/3*x**3. Is n(-11) a multiple of 18?
False
Let a(s) be the first derivative of -1/2*s**2 - 5 + 86/3*s**3 + 0*s. Does 25 divide a(-1)?
False
Suppose -3*x = -3*b - 1050, -4*x - 101*b = -99*b - 1412. Is x even?
True
Suppose -38*j + 43*j - 1000 = 0. Does 2 divide j?
True
Let l(f) = -f**3 + 9*f**2 - 10*f + 6. Let d be l(6). Suppose -3*p - d + 282 = 0. Is 19 a factor of p?
True
Let b = 72 + -2. Suppose 0 = -4*x + 93 + 391. Let z = x - b. Does 16 divide z?
False
Suppose 86*n - 103*n + 4760 = 0. Does 8 divide n?
True
Suppose 19*g = 26*g - 4032. Is 6 a factor of g?
True
Let u be 18/4 + 2/(-4). Let r = 6 - 1. Suppose 0 = -o - u, -f + 2*f - r*o - 59 = 0. Is f a multiple of 9?
False
Let p(h) = 4*h**2 + h + 3. Let g be p(7). Suppose 0 = -6*c + g + 370. Is 12 a factor of c?
True
Suppose 4*z = -f - 10, 2*f - 3 - 25 = 4*z. Suppose 0*o - f = 3*o. Is 6 a factor of (-3)/6*o*7?
False
Let h = 88 + -42. Let n = 107 + h. Does 24 divide n?
False
Is (665/(-57))/(((-3)/252)/1) a multiple of 93?
False
Suppose -6*a - 3*h = -3*a - 162, 0 = 5*a + 3*h - 274. Let q = a - 47. Is 9 a factor of q?
True
Suppose -25 - 2 = -3*h. Let b = 38 - -5. Let i = b - h. Is i a multiple of 16?
False
Let x = -727 - -1047. Does 41 divide x?
False
Let w(o) = 46*o**3 - 2*o + 1. Let s be w(1). Let y = s + -30. Does 5 divide y?
True
Let n(l) = 17*l**2 + 5*l + 6. Is n(7) a multiple of 23?
True
Let l = -31 + 1159. Is 8 a factor of l?
True
Let b = 24 - 22. Suppose -4*p - 6 = -5*i - b*p, -14 = -5*i - 2*p. Suppose -i*v - 5*f = -185, 0 = v + f + 17 - 108. Does 24 divide v?
False
Let c(q) = 69*q**3 - 5*q**2 + 2*q + 2. Is 17 a factor of c(1)?
True
Let y(u) = 17*u - 334. Does 22 divide y(30)?
True
Let d(u) = -u**2 + 6*u + 4. Let h be d(6). Suppose l = -2*x + x, 0 = h*x + 8. Does 4 divide 1 + (l - 4) + 10?
False
Suppose 5*n - 2*i = -444, 3*n - 18 = 5*i - 273. Let f = -40 - n. Does 25 divide f?
True
Let m be 92/22 + (-5)/110*4. Suppose m*f - 404 = 2*p - 126, -25 = -5*p. Is 18 a factor of f?
True
Suppose 0 = -5*z + 2*o - 61, -3*z = -2*z + o + 8. Let u(k) = k**2 - k + 1. Let t(h) = h**3 + 7*h**2 - 9*h - 4. Let v(f) = t(f) + 3*u(f). Is 5 a factor of v(z)?
True
Suppose 4*x = 20, -4*n - 6*x = -x - 57. Suppose -n*s + 56 = -984. Is s a multiple of 20?
False
Let m(c) = c**2 - 50*c - 56. Is 19 a factor of m(-9)?
True
Suppose 18090 = 26*a + 41*a. Is a a multiple of 8?
False
Suppose 3*w = 7*w - 84. Suppose k - 17 = w. Suppose -z - 157 = -4*h + k, -5*h = -z - 243. Is h a multiple of 17?
False
Let c = 9 + -5. Let y(a) = 29*a + 4. Let d be y(c). Suppose -8*n = -4*h - 3*n + 129, 0 = -3*h - 4*n + d. Is h a multiple of 18?
True
Let z(w) = w**3 - 9*w**2 + 6*w - 4. Let a be z(9). Let h = 252 + -66. Suppose -a = -4*o + h. Is o a multiple of 12?
False
Suppose -4*k = -20, -v - k + 56 = -399. Is 18 a factor of v?
True
Let z(f) = 268*f**2 - f - 3. Does 14 divide z(-1)?
True
Let j(c) = -183 - c - c**2 + 194 - 7*c. Let g be j(-9). Suppose -s = -3*a + 56, -4*s - 25 = -g*a + 19. Does 3 divide a?
True
Suppose -5*n = 1 - 16. Suppose -5*v = n*h - 195, h + 2*v = -h + 130. Is h a multiple of 24?
False
Suppose 0*x + x = 237. Suppose -303 = -6*g + x. Does 7 divide g?
False
Let t(h) = h + 28. Let z be t(-16). Let a = -7 + z. Suppose -5*v + a*q + 91 = -24, -5*v - 3*q = -123. Is v a multiple of 14?
False
Suppose 9*b - 25008 = -528. Does 77 divide b?
False
Suppose 2*d + 13 = -19. Let r = 16 + d. Suppose 2*n = -s + 103 - 12, -4*s - 20 = r. Is n a multiple of 12?
True
Suppose 4*g - g = -5*l + 46, 0 = g + 3*l - 22. Let u = g - 4. Suppose -2*k + 132 = u*s, 3*k - 4*k - 176 = -4*s. Does 22 divide s?
True
Let s = 7 + 73. Is s a multiple of 20?
True
Suppose 72 = 3*x + 18. Let z = 39 - x. Is z a multiple of 7?
True
Let h(x) = 30*x + 2. Let w(f) = -59*f - 4. Let i(y) = 11*h(y) + 6*w(y). Is 28 a factor of i(-2)?
False
Let z(q) = -q**2 + 7 - 9 + 28 + 16. Does 7 divide z(0)?
True
Let g = -31 - -34. Does 9 divide g/5 - (-2112)/80?
True
Suppose 2*p + p = -2*b + 88, 3*p = -4*b + 80. Suppose n = -7 + p. Does 5 divide n?
True
Suppose -26*y = -30*y - 60. Let r = -13 - y. Suppose -5*a = 25, 2*c - 4*c = -r*a - 40. Is 5 a factor of c?
True
Let g be 69/15 - 8/(-20). Let c = -5 + g. Does 18 divide 2 - (-55 - (c + -3))?
True
Let y = -624 + 1195. Is y a multiple of 10?
False
Let w be 18/8 - 2/8. Is w/3 - 344/(-24) a multiple of 4?
False
Suppose -4*m - 3*c = -0*m - 470, -5*m = 5*c - 585. Let o = -68 + m. Is o a multiple of 8?
False
Suppose 2*g + s + 11 = 0, -g = 3*g - 4*s + 52. Is 4*-1 - (-93 + g) a multiple of 18?
False
Let s(l) = l**2 - 5*l + 6. Let i = -24 - -28. Let x be s(i). Suppose 3*n = x + 19. Is n a multiple of 4?
False
Let m(d) = -11 + 3*d**2 - 4*d**2 + 2*d**2 + 4*d. Let f = 130 + -138. Does 6 divide m(f)?
False
Suppose 11 + 69 = 5*y - 2*g, 5*y = -5*g + 80. Is y even?
True
Let o be -3 - (10/(-2) - -2). Let w be o/(-1 - (-1 + 2)). Suppose -p + 42 = l, w*l - 4*p = 2*l - 84. Is l a multiple of 14?
True
Let q be 2/3*7095/(-10). Let d = q + 699. Does 40 divide d?
False
Suppose 45*f - 34*f - 7480 = 0. Does 17 divide f?
True
Suppose -7 = 2*p - 13. Suppose -99 = -4*c - n, -37 - 42 = -p*c + 4*n. Does 9 divide c?
False
Is 62 a factor of (0 + 1 + 3 - -114) + 6?
True
Suppose 4*x + 0*x + 24 = 4*m, -5*x - 5*m = 50. Let u = 14 + x. Let i(l) = l**2 + l - 3. Is 13 a factor of i(u)?
True
Let f = 129 - 125. Suppose -4*z = 5*a - 158, -4*z = 3*a + 93 - 255. Suppose u - 40 = -f*v, 0*u + u + 5*v = z. Is u a multiple of 27?
False
Let t(x) = -3*x**3 - 9*x**2 - 8*x + 2. Let l(r) = 5*r**3 + 17*r**2 + 15*r - 5. Let i(g) = -6*l(g) - 11*t(g). Does 18 divide i(4)?
True
Suppose 24*z = 22*z + 66. Suppose p - 38 = 2*t, -4*p - t + 128 + z = 0. Is p a multiple of 32?
False
Let p(q) = q - 5. Let u be p(9). Let c be u*-1 + (0 - -4). Suppose 11*g - 9*g - 130 = c. Is 13 a factor of g?
True
Let h = 220 + -46. Let q(a) = -2*a**2 - 15*a + 5. Let l be q(-7). Suppose 3*y = 0, 0 = -3*w - y - l + h. Is 18 a factor of w?
True
Let g = 244 + 218. Does 21 divide g?
True
Let p = -200 - -1147. Is p a multiple of 13?
False
Let p = -11 + 13. Suppose -p*s + 8 - 2 = 0. Is 49 - (0 - s - -6) a multiple of 17?
False
Let d(m) = m**2 - 12*m + 5. Let b be d(12). Suppose b*q = -4*r + 38, -q = -r + 4*q - 3. Suppose 0 = -s + r*s - 108. Is s a multiple of 12?
False
Let n = 5 - 0. Suppose 2*r = -m - 12, -3*m = 3*r - n*r - 4. Is (4 + -7)/(3/r) a multiple of 4?
False
Suppose 2*m + 4*m - 42 = 0. Suppose -m*i + 105 = -2*i. Is 11 a factor of i?
False
Let s = 1018 + 148. Does 11 divide s?
True
Is 37 a factor of (-1 - 15/(-12)) + 3101/28?
True
Is 12 a factor of ((-16)/(-10))/((-965)/975 - -1)?
True
Suppose 4*p + 36 - 4 = 0. Let a(n) = -n**2 - 8*n + 1. Let r be a(p). Suppose i + r = 5. Is i a multiple of 2?
True
Let d(c) = 4*c - 16 - 10 + 8. Let b be d(13). Let o = -20 + b. Is o a multiple of 7?
True
Let x(u) = 21*u + 2. Let b = -9 + 11. Let s be x(b). Suppose -s = -i - 3*i. Is i a multiple of 5?
False
Let k(j) be the second derivative of -j**4/12 - 11*j**3/6 + 9*j**2/2 - 4*j. Does 3 divide k(-10)?
False
Let q = -69 - -222. Suppose 0 = 5*h - q - 107. Is 13 a factor of h?
True
Suppose -k + 4*y + 205 = -496, -y = -2*k + 1388. Is k a multiple of 9?
True
Suppose -2