)*2*-17?
True
Suppose 5*q - 4309 = -1674. Let u be (-4)/14 + q/7. Suppose 0 = x - 5*m - 25, -m = 3*x - 2*m - u. Does 25 divide x?
True
Is ((-108)/(-15))/(2/10) a multiple of 18?
True
Suppose 0 = -3*b + 7*b - 144. Is b a multiple of 21?
False
Let v(y) = 3*y**3 - 3*y**2 + 4*y - 6. Does 13 divide v(3)?
False
Suppose 0 = -d - d. Let g(k) = -k + 2*k + 2 + 2*k + d*k. Is g(8) a multiple of 13?
True
Suppose 5*d = -4*h + 123, d - 2*h = h + 36. Is d a multiple of 27?
True
Suppose 2*y - 4 = 6. Suppose 2*r = -2*f + 6, 3*r - 4*f + 12 = -2*r. Suppose w - y + 1 = r. Does 3 divide w?
False
Suppose -2*l + 3 = -3. Suppose -2*a - 2*b - 9 = -l*a, -5*a = -2*b - 37. Is 7 a factor of a?
True
Let l(w) = 3*w - 14. Is 10 a factor of l(8)?
True
Suppose 2*w = -3*a + 102, -5*w = 3*a - 163 - 92. Is w a multiple of 19?
False
Does 4 divide 16*((-90)/8)/(-9)?
True
Suppose 0 = 18*h - 2*h - 1616. Does 30 divide h?
False
Let c = 1 + 28. Let a = c - 17. Is 6 a factor of a?
True
Suppose 0 = 2*z - 3*z + 30. Let j = z - -7. Is 8 a factor of j?
False
Let f = 51 - 9. Does 14 divide f?
True
Suppose 0 = d - 2*a + 33 + 5, 5*d - 2*a = -230. Let j be (0 - d)*10/15. Let l = -17 + j. Is 15 a factor of l?
True
Let w(p) = 28*p**3 - 2*p**2 + 1. Let m = 5 - 4. Is 9 a factor of w(m)?
True
Is 48 a factor of (-2)/(-6) + (8 - (-3857)/21)?
True
Let x(p) = -p**2 + 8*p + 2. Let w(t) = t + 2. Let a be w(-3). Let q = 6 - a. Is x(q) a multiple of 4?
False
Suppose 2*s - 5*n - 1 + 29 = 0, 3*s = -2*n - 4. Let w be 8/(-20) - s/10. Suppose 110 = 5*m - w*m. Is 11 a factor of m?
True
Let p(y) = -y + 10. Let h be p(9). Suppose 3*s + 5*d - h = 9, 0 = -5*s - 2*d + 42. Does 5 divide s?
True
Suppose -4*a + 11 = 5*j, -5*a = -2*j + 4*j - 18. Suppose 2*i - 22 = -2*m, -3*m + 0*i = a*i - 38. Is m even?
True
Let m = 3 + 1. Suppose 0 = -m*q + q + 57. Is 7 a factor of q?
False
Does 14 divide (-3)/(-2)*(9 - -1)?
False
Let l(m) = -4*m**3 + 2*m**2 + 6*m + 3. Does 4 divide l(-2)?
False
Let c(k) = -k**3 + 5*k**2 - 3*k - 2. Let a be c(4). Let n(z) = -2*z - 4 + a - 9. Is 3 a factor of n(-10)?
True
Does 3 divide -50*(-3 - (-52)/20)?
False
Let i be (-325)/(-20) + 1/(-4). Let j = -1 - i. Let g = j + 30. Is 13 a factor of g?
True
Suppose 4*d - 13*d = -1080. Does 20 divide d?
True
Suppose 0 = -3*g + g - 50. Is (g/15)/(2/(-6)) even?
False
Let j = 107 - 57. Suppose j - 20 = 2*h. Does 5 divide h?
True
Suppose -22 = 4*v - 78. Let i be v/8 - (-2)/8. Is 14 a factor of i + -1 - (-9 - 4)?
True
Let n(a) = -a**3 + 4*a**2 - 3*a - 5. Let z be n(4). Let l = -36 + 66. Let t = l + z. Is t a multiple of 10?
False
Let p(l) = l**2 - 4*l + 15. Let c be p(10). Suppose 0*y + 3*y - 5*n - c = 0, -2*y + 48 = -4*n. Does 15 divide y?
True
Let u(d) = -d**2 - 18*d - 3. Let m be 1*-1*(-18)/(-3). Does 18 divide u(m)?
False
Let d(f) = f**3 + 13*f**2 - f + 15. Let v be d(-13). Let l = 42 - v. Does 8 divide l?
False
Let y(l) be the second derivative of l**3/6 + 3*l**2 + 2*l. Let k be y(-7). Let v = k - -21. Is v a multiple of 10?
True
Let w be 14/21 - 4/6. Suppose 2*h = -s + 30, w = 3*s - 4 - 2. Is h a multiple of 13?
False
Let u = 16 + 55. Is 11 a factor of u?
False
Let i(m) = -232*m - 7. Let v be i(5). Let w be (-1)/(-3) + v/(-9). Suppose -5*s = 5*l - 0*s - w, -2*l + 27 = -3*s. Does 21 divide l?
True
Let z be (-1 - -2)*(4 - 7). Let i(h) = h**3 + 4*h**2 - h - 4. Is i(z) a multiple of 4?
True
Let w = -18 + 38. Does 4 divide w?
True
Let v = 82 - -38. Suppose -6 - 4 = -5*l. Suppose l*b = -b + v. Is b a multiple of 16?
False
Let h(c) = -3*c**2 - 2*c - 1. Let s(n) = -n**2 + 1. Let y(m) = -h(m) + 2*s(m). Let z be y(-2). Suppose 2*f + 19 = 3*f + l, -9 = -z*l. Is 8 a factor of f?
True
Let s(c) = c**2 - 3*c + 4. Let f be s(7). Suppose -5*g - 12 = -f. Is 4 a factor of g?
True
Let m = -149 - -81. Let q be (-4)/(-18) - m/18. Suppose -q*p - 153 = -5*c, -2*c + p + 66 = -3*p. Does 16 divide c?
False
Suppose -2*j - 30 = -4*z + 82, -84 = -3*z + 4*j. Suppose 2*y = g + y - 1, 0 = 4*g + 4*y + z. Let w(n) = n**3 + 5*n**2 + 4*n - 1. Does 5 divide w(g)?
True
Let v be 108/(-45)*(-15)/(-1). Let z = -26 - v. Is 8 a factor of z?
False
Let z be (-152)/(-32) + (-2)/(-8). Suppose -z*u + 0*u - 15 = 0. Does 3 divide 3 + u + -2 - -6?
False
Suppose -3*j - 2*j = 5*o - 520, 0 = 5*j - 25. Does 33 divide o?
True
Let n = 4 - 3. Let d = 4 - n. Is 3 a factor of d?
True
Let c(r) = 6*r**2 - r. Let v be c(-1). Suppose 0 = -2*a + 61 - v. Is a a multiple of 9?
True
Let n(c) = c**2 + 4*c - 3. Suppose -3*x - 2 = -2*q - 9, 5*q + 49 = -3*x. Does 15 divide n(q)?
False
Suppose 2*x + 26 - 214 = 0. Is 19 a factor of x?
False
Let u = 110 - 47. Is 7 a factor of u?
True
Suppose 2*p - 54 = -p. Let n = -13 + p. Suppose -72 = n*j - 222. Is j a multiple of 15?
True
Suppose -10 = -3*w + w. Suppose 0 = 3*t - 8*t. Suppose 2*d - 80 = -w*c, t = -3*c + c - d + 32. Does 8 divide c?
True
Let z = 10 - 4. Let x(o) = 3*o - 6. Let n(c) = -4*c + 7. Let w(r) = -4*n(r) - 5*x(r). Is 4 a factor of w(z)?
True
Is 33 a factor of 110/(-15)*(-9)/2?
True
Let q = 1 - -6. Let i = q - -1. Is 6 a factor of i?
False
Does 17 divide (-1 + 9)/(-4) + 36?
True
Let k = 82 - 42. Is k a multiple of 8?
True
Suppose 18 = 2*i + 2*a, 0*a - 27 = -4*i - a. Suppose n - v + 8 = 3*n, 0 = -3*v + i. Does 3 divide n?
True
Suppose w + 8*w - 297 = 0. Does 6 divide w?
False
Is 2 - 2 - -5 - (-6 - -4) a multiple of 7?
True
Does 4 divide -2*(-3 - (-85)/(-10))?
False
Let k(n) = n - 1. Let m(d) = -d**3 + 12*d**2 - 10*d - 5. Let i be m(11). Let t be k(i). Suppose 3*w = 3, 2*x - 5 - 12 = t*w. Does 8 divide x?
False
Let g(p) = 22*p - 7. Is g(8) a multiple of 13?
True
Let b(h) = -h**2 + 5*h + 16. Let f be b(7). Suppose 19 = f*c - 29. Does 8 divide c?
True
Let a(u) = -u**2 - 4*u + 59. Does 22 divide a(0)?
False
Suppose 5*l + 5*h + 2 + 3 = 0, 0 = -5*l - 4*h - 1. Suppose -5*o = -3*o - l*z - 28, 4*o = -4*z + 36. Suppose -o = -3*w + 52. Is 21 a factor of w?
True
Suppose 14*o = 10*o + 380. Is o a multiple of 19?
True
Suppose 0*t = 5*t, 3*t + 21 = 3*q. Let a be 1/(-2) - q/2. Let g = a + 10. Is g a multiple of 4?
False
Suppose -4*s - 5*h + 10*h + 158 = 0, -3*h = 3*s - 132. Suppose -s = -3*n + 21. Does 6 divide n?
False
Let c be 1 - (0 + -1 + -1). Suppose -2*t + 6 + 0 = 0, 0 = -c*y + 5*t + 186. Suppose 3*p = -5*o + y, -5*o = -p + 9 - 0. Is p a multiple of 12?
False
Let b(m) = m**2 + 3*m - 5. Let y be b(-5). Suppose y*j = -5*i + 3*i - 3, -2*i + 3*j + 37 = 0. Is i a multiple of 11?
True
Let r(d) = -1 + 20*d + 1. Let s = -94 + 95. Does 9 divide r(s)?
False
Suppose -f = -4 - 3. Let t = -5 + f. Suppose -z = -5*n - 2*z + 160, 0 = t*z. Is 16 a factor of n?
True
Let y = -7 - -10. Suppose 236 = 4*z + 4*d - 56, 3*z = 4*d + 233. Suppose -5*f + 10*f = y*b + z, 61 = 3*f - 5*b. Does 6 divide f?
True
Suppose -2*x = 3*l - 105, 0 = -5*x - 0*x + 3*l + 231. Is 5 a factor of x?
False
Let p(m) = 3*m**2 + 5*m + 4. Does 13 divide p(-4)?
False
Let s(h) = -5*h**3 + 4*h**2 - 10*h. Let r(q) = 9*q**3 - 9*q**2 + 19*q - 1. Let i(d) = -4*r(d) - 7*s(d). Let m be i(6). Suppose -l = 3*l - m. Does 10 divide l?
True
Suppose -n = -z + 15, 4*n - 2*n + 60 = 4*z. Is 5 a factor of z?
True
Suppose 0 = -s - 2*p + 10, 2*s - 2*p - 12 = 2. Let i = s + -2. Is i a multiple of 2?
True
Let b = 4 - 7. Let c(w) = 3*w**2 + 2*w + 1. Is c(b) a multiple of 11?
True
Suppose 38 = -2*x + 4*x. Suppose x*c - 16*c - 225 = 0. Is 21 a factor of c?
False
Suppose -4*h = 3*u - 189, u + 353 = 5*h + 93. Does 22 divide h?
False
Let t = -39 + 87. Is t a multiple of 17?
False
Suppose -2*p + 4 = 0, -2*w + 5*p = 2 - 16. Let q = 24 - w. Let s = q + -3. Is s a multiple of 7?
False
Suppose -108 = -5*x + 4*f, 2*x + 12 = 3*x + 4*f. Let d be 2/5 + (-10)/25. Suppose 4*g - x - 12 = d. Does 8 divide g?
True
Suppose 102 = 7*m - 150. Is m a multiple of 5?
False
Let f = 3 - 1. Suppose 7*l - f*l - 25 = 0. Suppose -5*s = -0*r + 3*r - 32, r - l*s - 24 = 0. Is 8 a factor of r?
False
Suppose 42 + 24 = 4*u + 2*l, -l = -5*u + 86. Is 19 a factor of (-2)/u + 5450/85?
False
Suppose -y + 84 = y. Suppose y = -3*j + 159. Is j a multiple of 13?
True
Let m be 2/8*-2*4. Is 17 a factor of 3 - (-54 + (-2 - m))?
False
Let d(l) = l**2 + 6*l + 9. Let x be d(-6). Suppose 8*m + 69 = x*m. Is m a multiple of 24?
False
Is 4 a factor of 630/39 + (-6)/39?
True
Does 4 divide (-33)/77*-7 - 28/(-2)?
False