 g*c = -119, 0 = -c + 3*c - 10. Is z a multiple of 19?
False
Does 82 divide -4319*12/(-14) + -12?
True
Suppose 3*l = 2*m - 6*m + 182, -3*l = -5*m - 137. Does 5 divide l?
False
Let u(x) = x**2 - 25*x - 69. Is 8 a factor of u(33)?
False
Let p be (-1)/((-5)/(-10)) + 1*2. Suppose p = -4*w - 65 + 545. Does 24 divide w?
True
Let q be 4/1 - 25/5. Let j(f) = 51*f**2 + 2*f - 1. Is j(q) a multiple of 7?
False
Let u(v) = 16*v**2 - 4. Let n be u(-2). Suppose 5*j - n = -2*w, 5*w - 30 = 4*w - 3*j. Let r = w - 15. Is r a multiple of 5?
True
Suppose -2*z - 201 = 3*u, 3 = u + 5*z + 57. Let b = u - -107. Is 4 a factor of b?
False
Suppose 3*n = 2*k + 4, -3*n = -4*n + 4. Suppose k*u = -p + 61, 47 = 3*u - 2*p + 4*p. Is 5 a factor of u?
True
Let a(u) = -u**2 + 7*u - 1. Let t be (-5)/4 + (-3)/(-12). Let r = 6 + t. Is 7 a factor of a(r)?
False
Let y = -53 - -51. Let v(r) = -4 + 1 - 21*r - r. Is v(y) a multiple of 15?
False
Suppose 14*m = -6*m + 10600. Does 20 divide m?
False
Suppose 0 = 10*j - 21*j + 11. Suppose -2*y - 62 = -4*n, 3*n + 5*y = -2*n + 40. Does 13 divide (j - 2 - -2)*n?
True
Suppose -2*m + 20 + 42 = 0. Let t = m - 16. Let b = 65 + t. Is b a multiple of 20?
True
Suppose -5*k = -k - 132. Suppose -3*l + 6 + k = 0. Suppose 3*a + 2*j - 4*j - 39 = 0, l = a - 4*j. Is 5 a factor of a?
False
Suppose -3*x - 3*u = 6, -3 + 11 = x - 4*u. Suppose x = 4*q - m - 2*m - 255, 5*q - 295 = -m. Is q a multiple of 19?
False
Suppose 2*s - 2*d = 2*d + 28, -5*s - 4*d = 0. Let u = 298 + -173. Suppose -a + u = s*a. Is 25 a factor of a?
True
Let j(s) be the first derivative of 15*s**2/2 - 10*s + 13. Does 25 divide j(9)?
True
Suppose 0*v = v - 6. Let t = -251 - -253. Suppose t*q - v = -0*q. Is q a multiple of 2?
False
Suppose 32*p = -3830 + 10678. Does 14 divide p?
False
Suppose 45 = 2*f - 35. Is f a multiple of 20?
True
Suppose -4*v = -3*p + 174, p = 5*p + 2*v - 254. Does 3 divide p?
False
Let x(s) = -s**3 - 7*s**2. Let f be x(-7). Suppose -5*m + 1 + 24 = f. Let d = m + -2. Does 3 divide d?
True
Let p(j) = -j**2 + 20. Let w(h) = -h**2 + 2*h + 3. Let t be w(3). Is 4 a factor of p(t)?
True
Suppose 2*y = 3*j + 982, 0 = -2*y + j + 1263 - 277. Let m = y + -352. Does 15 divide m?
False
Suppose -4*p = p + 120. Let f = p - -29. Suppose f*c - 3*y - 249 = y, -33 = -c + 5*y. Is c a multiple of 9?
False
Suppose -5*h - w - 249 + 782 = 0, 4*h = 3*w + 415. Suppose 2*i - 3*y = h, 0*i - 4*i - 2*y + 212 = 0. Does 9 divide i?
False
Let v(u) = 191*u - 44. Is v(2) a multiple of 11?
False
Let r = 22 + -12. Let z = r - -39. Does 25 divide z?
False
Let z(c) be the second derivative of -c**4/12 - 11*c**3/6 - c. Suppose 3*g + 0*g + 27 = 0. Is 18 a factor of z(g)?
True
Let r = -45 + 49. Let b(p) = 3*p**2 - 5*p + 10. Is 11 a factor of b(r)?
False
Let d = -1195 + 1763. Does 13 divide d?
False
Let w = 454 - 304. Let s = 58 + w. Does 26 divide s?
True
Let a = 2017 - 1441. Is a a multiple of 9?
True
Suppose -8*x + 60 = -4*x. Suppose -4*a + 9*a = x. Suppose 26 = a*j - 46. Is 8 a factor of j?
True
Let i(l) = -3*l**2 + 42*l - 5. Suppose -6*a + 0 = -12. Let z(j) = -j**2 + 14*j - 2. Let w(t) = a*i(t) - 7*z(t). Does 8 divide w(15)?
False
Let m be 4/4*(22 - -1). Let j = -17 - m. Is ((-6)/2)/(15/j) a multiple of 8?
True
Let p(f) = -f**3 + 16*f**2 - 21*f - 16. Is 8 a factor of p(13)?
False
Let r be (-602)/8 + 14/56. Is 8/(-5)*(r - 0) a multiple of 40?
True
Let n(b) = -3*b**3 - 8*b**2 + 10*b - 20. Is 7 a factor of n(-6)?
True
Let b = 132 + -108. Is b a multiple of 24?
True
Let s(h) = h**3 + 40*h**2 + 30*h - 26. Is 82 a factor of s(-38)?
True
Let j = -1702 + 2395. Is (-4*6/28)/((-9)/j) a multiple of 16?
False
Suppose -2*f + 1 = 3*s - 4, f + 3 = 4*s. Suppose s = 5*x + 16. Let y = x + 43. Is 8 a factor of y?
True
Let j = 3 + -5. Let d be 1*(1 - j)*-1. Let t(o) = -6*o - 3. Is t(d) a multiple of 15?
True
Let k(p) = -36*p - 180. Does 12 divide k(-9)?
True
Suppose 5*f - 18 = i, 4*f - 2*f - i - 6 = 0. Suppose 10 = -j - f*j. Is j + 1 - (-93 - 0) a multiple of 29?
False
Let z be ((-1)/(1 + -2))/1. Let j(m) = -m - 1 + 35*m + 4*m. Is j(z) a multiple of 15?
False
Let a(w) be the first derivative of -w**4 - 2*w**3/3 + w**2 + 2*w + 2. Let o(y) = y**3 - y**2 - 4*y - 8. Let j be o(3). Is 11 a factor of a(j)?
True
Let h = 177 + -75. Does 14 divide h?
False
Let q(x) = -x**3 + 8*x**2 - 6*x - 4. Let a be q(5). Let j = a + -11. Is j a multiple of 14?
False
Suppose 3*f - 2*d = 2329, 0 = f - 5*f + 4*d + 3108. Is f a multiple of 25?
True
Suppose -2*j - 14 = -4*u, 0 = u - 4*u + 6. Let l = -228 - -159. Is j*(-2)/(-18)*l a multiple of 6?
False
Suppose -14*v + 4041 = 359. Is v a multiple of 48?
False
Suppose -4*m - 21 = 5*s, 0 = 4*m + s - 5*s + 12. Let v = 1 - m. Suppose 0 = v*h - 27 - 103. Does 13 divide h?
True
Let w(g) be the second derivative of g**4/12 - g**3/3 + 16*g**2 - 4*g. Does 4 divide w(0)?
True
Let c(f) = -25*f - 163. Is 24 a factor of c(-19)?
True
Let f = 129 + -69. Suppose 5*d = -i + f, 4*i - 32 = -2*d - 2*d. Let b(x) = 2*x - 8. Does 9 divide b(d)?
True
Let k = 236 - 78. Is k a multiple of 3?
False
Let f(m) be the second derivative of -m**5/20 + 3*m**4/4 + 7*m**3/3 - 7*m**2/2 - 29*m. Is f(10) even?
False
Let s = -24 + 77. Suppose s = -4*z + 305. Suppose 4*h - 3*d = z + 5, 4*h + 5*d - 36 = 0. Is 14 a factor of h?
True
Suppose 33*q = 36*q + 3. Let o(d) = 14*d**3 - d**2 + 3*d - 1. Let i(u) = -u + 1. Let f(k) = -2*i(k) - o(k). Is f(q) a multiple of 3?
True
Suppose l + p = 995, -2*l + p + 1240 = -744. Is l a multiple of 100?
False
Suppose -3*z = -4*x - 16, 3*z - 18 = -6. Does 2 divide 1 + 6 - (x - -1)?
False
Let z be (6/(-8))/((-7)/56). Let c be 170 + z/(4 + -1). Suppose -2*v - c - 34 = -4*u, -5*u = -2*v - 257. Does 17 divide u?
True
Let p(q) = -q**3 - 7*q**2 + q + 19. Suppose 11*t - 23*t = 96. Is 11 a factor of p(t)?
False
Let p(h) be the second derivative of -5*h + 11/6*h**3 - 2*h**2 + 0. Is p(2) a multiple of 9?
True
Let l(p) be the third derivative of -8*p**2 + 0*p + 1/8*p**4 + 3/2*p**3 + 0. Is 7 a factor of l(4)?
True
Suppose -163 = 3*j + 56. Let y = 130 + j. Is 38 a factor of y?
False
Let t = 25 - -155. Is 9 a factor of t?
True
Let q = 52 + 29. Suppose 6*a + 265 = -89. Let y = q - a. Does 36 divide y?
False
Suppose 0 = 3*g + 2*l + 663, 885 = -4*g - 0*g - 3*l. Is (1/(-1))/(3/g) a multiple of 16?
False
Does 78 divide (-3)/(18/(-39))*(-1296)/(-6)?
True
Suppose 5*z - 5*y + 1105 = 0, 4*y - 5*y + 5 = 0. Let h = z - -540. Is h a multiple of 49?
False
Let u = -22 + 40. Let a = -15 + u. Suppose t - a*i = 2, -i + 7 = -3*t + 29. Is 4 a factor of t?
True
Let l = 617 + -583. Is 17 a factor of l?
True
Suppose -q + 6*a + 88 = a, -q - 2*a + 60 = 0. Let r = q - 30. Is r a multiple of 10?
False
Suppose -4*q + 480 = -8. Suppose -q = 5*g - 3*g. Let o = g - -93. Is o a multiple of 13?
False
Suppose -252 = -8*o + 5*o. Is 12 a factor of o?
True
Let p(n) = 113*n**2 + n + 2. Does 29 divide p(1)?
True
Let n(o) = -6*o**2 - 4*o - 18. Let q(u) = 7*u**2 + 3*u + 18. Let z(d) = 6*n(d) + 5*q(d). Is z(-4) a multiple of 2?
True
Suppose -8*o + 212 = -524. Let h = o + -14. Is 6 a factor of h?
True
Let j(d) = d**3 + 31*d**2 + 30*d - 105. Is 62 a factor of j(-20)?
False
Let i(q) = q**3 - q**2 + 17. Let l = -2 - -2. Let w be i(l). Is w - ((0 - 1) + 2) a multiple of 5?
False
Let h(w) = -227*w - 495. Is h(-11) a multiple of 77?
True
Let a be -6*(38/(-12) - -3). Suppose 5*i = a + 9. Suppose 0 = -j - j - 5*s + 50, 3*j + i*s - 86 = 0. Does 15 divide j?
True
Let t = 33 + -30. Suppose 0 = -4*a - t*h + 28, a - 6*a - h + 24 = 0. Is a a multiple of 4?
True
Suppose 0 = -15*t - 4707 + 19017. Is 18 a factor of t?
True
Suppose -2*v + 52 = -4*w, -w + 0*w = -4*v + 6. Let d(b) = 27*b - 2. Let j be d(3). Let z = w + j. Is z a multiple of 18?
False
Let y(g) = g - 10. Let o be y(10). Let l be 4 + o - 56/8. Is 2 a factor of (l/(-6))/(3/12)?
True
Let u = -24 - -37. Let l = 22 - u. Suppose h - l = 17. Is 13 a factor of h?
True
Let r(g) = g**3 + 23*g**2 + 34*g - 27. Let f be r(-21). Suppose -f = -3*p + 894. Does 15 divide p?
True
Let f = 2 + 1. Suppose -2*l = 2*l + 2*k - 1016, 2*k = -f*l + 763. Does 10 divide l?
False
Suppose 18 = -4*g - 2, -2*k = 5*g - 1757. Is k a multiple of 9?
True
Let g = 28 + -24. Suppose 144 = g*m - m. Is m a multiple of 12?
True
Suppose 22 = -y + 73. Suppose -5*d - 34 =