se -5*b = r*u - 448, -3*b + 101 = -2*b - 3*u. Is b a multiple of 17?
False
Let q = 2915 + -2466. Is 6 a factor of q?
False
Suppose 3*j + 4*s = 243, -j + 2*s = j - 176. Suppose d = 6*d - 2*k - j, -2*k + 20 = 2*d. Let c = 33 + d. Is c a multiple of 13?
False
Suppose 7*d - 74 = 395. Is d a multiple of 2?
False
Suppose -14*k = -19*k + 20. Let p(g) = -g**2 + 7*g + 8. Does 5 divide p(k)?
True
Let f = 7 + -13. Let x be (12/(-10))/(f/(-60)). Let w(n) = -n**2 - 20*n - 4. Is 20 a factor of w(x)?
False
Let a be 110/25 + 2/(-5). Suppose -a*o + 3*o + 903 = 0. Is o/12 - (-6)/8 a multiple of 19?
True
Let z = 1 - -14. Suppose -g = 5*s + 119 + z, -5*g = -2*s - 32. Let q = 137 + s. Does 34 divide q?
False
Suppose -2*y - 2 = 3*g, -2*g + 5*y + 3 = -2. Suppose i - 38 + 5 = g. Is 8 a factor of i?
False
Let b be (-2)/4 + 10/4. Let i be -7*(-4)/28*b. Suppose 0 = -3*n + i*n + 60. Does 15 divide n?
True
Let k be -6*3/6 - -6. Let o be 0 - 1 - -1*26. Suppose -o = -k*p + 17. Is p a multiple of 7?
True
Is 46 a factor of (12/10)/((-1)/(-460))?
True
Suppose 0 = 3*p - 19 - 35. Suppose 5*s + 1 = b - 6, 4*b = 3*s + 11. Let y = p - b. Is 13 a factor of y?
False
Let n(i) = -54*i**3 - 39*i**2 - 16*i - 7. Is n(-4) a multiple of 107?
True
Suppose 34*u = 27*u + 15428. Is 38 a factor of u?
True
Let i = 26 - 20. Suppose c = i*c - 5. Does 3 divide (c + -6)/(-1)*2?
False
Let d(m) = m**2 - 8*m + 7. Let p be (14/3)/((-12)/(-18)). Let f be d(p). Does 11 divide 29 - (2 + (-1 - f))?
False
Let i = -218 + 353. Let a = i - 95. Is 8 a factor of a?
True
Let o(y) be the third derivative of y**5/60 - y**4/12 - 2*y**3/3 - 2*y**2. Let s be o(-4). Suppose 0*g + 160 = 5*g - 2*j, 4*j = s. Is g a multiple of 17?
True
Let l = 32 + 304. Is 28 a factor of l?
True
Let m(d) = 2*d**2 + 5*d - 15. Let n be m(-7). Is ((-30)/4)/(-5)*n + 2 a multiple of 12?
False
Let f(l) be the first derivative of -l**2/2 + 31*l - 1. Does 6 divide f(9)?
False
Let z be 80 + -1*(-1 + -1). Suppose -5*k - 46 = 2*g - 0*k, -2*g + 4*k - z = 0. Let a = -13 - g. Is 20 a factor of a?
True
Let a(v) = 3*v**2 - 16*v + 2. Let u(q) = -13*q**2 + 65*q - 8. Let w(j) = 9*a(j) + 2*u(j). Let c be w(13). Is c/((-22)/160) - 2 a multiple of 28?
False
Suppose -2*g = -2*r + 64, r - 5*g - 32 = -0*g. Is r + 4 + -8 + 4 a multiple of 11?
False
Suppose 0 = -0*x + 3*x - 36. Let d be (4 + 4)*33/x. Suppose 0 = -z + 4, f - 3*z - 2 = d. Is f a multiple of 18?
True
Suppose 0 = 8*y - 4*y - 8. Suppose 3*w = y + 10. Suppose 0 = w*o + 4*d - 152, 7*d = 4*d + 15. Is 29 a factor of o?
False
Suppose 15*k - 1584 = 4*k. Is k a multiple of 3?
True
Suppose 563 - 207 = 4*n + 4*p, -3*n = -4*p - 267. Is 14 a factor of n?
False
Suppose -9*g + 4*g = -40. Is (-310)/(-4) - g/(-16) a multiple of 15?
False
Let q be (-1 + (-5)/5)*-1. Suppose -5*s + 525 = -5*j, -q*s + j + 198 = 2*j. Is 14 a factor of s?
False
Suppose 12*a = -3 - 9. Let t(p) = -97*p**3 - 2*p**2 - 3*p - 2. Is t(a) a multiple of 9?
False
Let f = 3986 + -2366. Suppose p - 5*p + f = 0. Suppose b + p = 6*b. Is b a multiple of 20?
False
Suppose 18 = 5*f + 4*r + 3, 0 = 5*f + 2*r - 5. Let l = 65 + -51. Let i = l - f. Does 15 divide i?
True
Suppose -5*l + 9 = h + h, 1 = 2*h - 3*l. Let i(s) be the third derivative of 7*s**4/12 + s**3/3 - 4*s**2. Is i(h) a multiple of 15?
True
Is (7597/(-284))/((-2)/32) a multiple of 8?
False
Suppose 5*s = 3032 - 687. Is 12 a factor of s?
False
Suppose w + 16 = -w - 4*d, -24 = 3*w + 4*d. Let i = w - -8. Suppose i*x - 32 = -x. Is 7 a factor of x?
False
Let u(w) be the first derivative of w**3 - 39*w**2/2 - 20*w + 26. Is u(15) a multiple of 8?
False
Let g = -137 - -57. Let o = g - 108. Let l = -110 - o. Is 17 a factor of l?
False
Let f(h) = -95*h**2 - 2*h + 1. Let q be f(2). Let r = 543 + q. Is 32 a factor of r?
True
Suppose 3*h - h = 4*r - 1832, -5*r = -2*h - 2288. Does 20 divide r/(-2 + 6) - -3?
False
Let s(b) = -b**3 + b**2 - b - 7. Let a be s(0). Let p = -130 + 99. Let c = a - p. Does 11 divide c?
False
Let r = 12 + -17. Is 18 a factor of (-1010)/(-50) - 4/r?
False
Let w be -1*(-6 + -1 + -1). Let r = w + -11. Does 9 divide (-4)/6 + (-65)/r?
False
Suppose u + 10 = s - 3*s, -3*u + 6 = -3*s. Is (-12)/s*(96 + 1) a multiple of 27?
False
Let n(c) = 52*c + 30. Does 38 divide n(5)?
False
Suppose 30 - 10 = 4*r. Suppose -r*c + 0*c = -20. Suppose -5*h - 65 = -3*q, -h = -2*q + c*h + 35. Is 15 a factor of q?
True
Suppose -4*w = -3*k - 7*w + 18, 0 = -5*w + 20. Let j = -3 + 3. Suppose -4*v + 378 = 5*b, j = -4*b + k*v + 174 + 144. Is 13 a factor of b?
True
Let l(p) = p**2 - 6*p + 14. Let y(a) = a + 8. Let q be y(-5). Suppose q*d - d - 21 = -u, 3 = -2*u + 5*d. Is l(u) a multiple of 23?
True
Let t = 52 + -49. Suppose 2*g - 2*f + 3*f = 309, -t*f = 2*g - 303. Is g a multiple of 28?
False
Let i = -4 + 6. Suppose -92*v = -85*v - 322. Let n = i + v. Is 22 a factor of n?
False
Let b(a) = 65*a + 11. Let p be b(5). Suppose p = 3*d - 2*d + c, 336 = d - c. Is d a multiple of 12?
True
Suppose -395 = 4*u + u. Let y = -116 - u. Let m = y + 85. Does 16 divide m?
True
Let o(t) = t**3 + 2*t**2 - 3*t + 5. Let m(n) = -n**2 + 13*n - 8. Let j be m(12). Is 13 a factor of o(j)?
False
Let v(y) = -y + 1. Let x be v(-3). Suppose 3*k - 197 = -5*a, x*k - k - 2*a = 190. Is 16 a factor of k?
True
Suppose -2*f + 16 = 10. Suppose f*v - 49 = 35. Is v a multiple of 7?
True
Suppose -38 = -4*f + 2*f. Let u = f - 7. Suppose u = -n + 4*n. Is 3 a factor of n?
False
Let p(k) = -7*k - 1. Let j be p(1). Suppose 4*f - 2 = 14, 5*f = 4*g - 32. Let x = g + j. Does 5 divide x?
True
Let g(r) = r**3 + 21*r**2 - 6*r - 35. Is 13 a factor of g(-21)?
True
Does 13 divide (20/(-12) - -3)/(1/102)?
False
Suppose 0*a - 4*a + 16 = 0. Suppose a*b = -t + 26 + 2, 3*t = b + 136. Does 11 divide t?
True
Let u(m) = -11*m - 2. Let r = -3 - -20. Suppose r = -5*n - 3. Does 26 divide u(n)?
False
Let k = -81 - -86. Suppose 5*y - 85 = -s, 5*y - k*s = -0*s + 115. Does 3 divide y?
True
Let w = -19 - -21. Suppose -2*f - w*u = -6*u - 28, -5*f = 2*u - 118. Does 22 divide f?
True
Suppose 0 = 5*g - 3*f + 19, f - 6*f = -4*g - 23. Let q(k) = 8*k**2 - 2*k - 10. Is 3 a factor of q(g)?
False
Let k = 299 - 118. Is 5 a factor of k?
False
Let v(g) = -g - 6. Let j be v(-9). Suppose -2*h - j = 1. Is 10 a factor of h/(-4) - (-236)/8?
True
Let i(n) = n**3 - 12*n**2 + 54*n + 23. Does 58 divide i(15)?
True
Suppose 0 = 4*z + 124 - 300. Let h = -11 + z. Suppose 2*r - y = h, -r - 4*y = -y - 13. Is r a multiple of 13?
False
Let c = 84 - 34. Suppose -s - 2*n = -c, 3*s - 78 = 2*s + 5*n. Is 17 a factor of s?
False
Let g be 0 + (67 - (-5 - -3)). Let c = g - 42. Let j = c - 19. Is 7 a factor of j?
False
Let b(x) = -x**3 - 3*x**2 - 3*x + 4. Let j be b(-3). Let n be (-1 + 4 + j)*8. Let m = -58 + n. Is 10 a factor of m?
True
Suppose 12784 = -92*u + 108*u. Is u a multiple of 22?
False
Suppose -a = -2*n + 1219, -a = n + 4*a - 615. Is 10 a factor of n?
True
Suppose -2*a - 3*k = -10, -4*a + 0 = 3*k - 8. Let o = a - -24. Suppose 0 = -3*x - 2*i + 41, 2*x - 2*i = i + o. Does 2 divide x?
False
Suppose 15 = -0*f - 5*f, -4*f = -4*j + 20. Let c = 132 - 54. Suppose 2*b + b - 156 = -4*n, -5*b = -j*n + c. Is n a multiple of 39?
True
Let y(m) = -m**2 - 19*m**2 + 2*m**2 + 2*m + 5 + m**3 + 2*m. Is y(18) a multiple of 11?
True
Let l(c) = 93*c - 182. Does 11 divide l(10)?
True
Suppose 10 = -3*f + 5*f. Let x(y) be the first derivative of 3*y**2/2 - 4*y + 2. Is x(f) a multiple of 11?
True
Suppose 0 = -4*r + 12, 2*g + 9*r = 14*r + 1177. Does 25 divide g?
False
Suppose 9*g = 5*g. Let u be g + 0 + -9 + 6. Let t(f) = -9*f - 4. Is 7 a factor of t(u)?
False
Let t = -62 + 67. Suppose -2*u - 113 = -p - 14, t*p - 3*u = 481. Does 8 divide p?
False
Let w(c) be the third derivative of -c**6/720 - c**5/30 + c**4/8 - 2*c**2. Let d(j) be the second derivative of w(j). Does 9 divide d(-13)?
True
Let x(r) be the second derivative of 0 - 5/2*r**2 - 5/3*r**3 + 2*r. Is x(-5) a multiple of 13?
False
Let m = -92 + 88. Let f(q) = 9*q**2 - 2*q + 6. Is f(m) a multiple of 35?
False
Suppose -5*c = -3*i - 9*c + 2896, 4*c = -2*i + 1924. Is i a multiple of 70?
False
Let o be 24/(-3) - (1 - 5). Does 2 divide ((1 - 7)*2/o)/1?
False
Let h be 9/1*40/(-30). Let q be 12/4 + h/2. Is 42/(-9)*q*1 a multiple of 6?
False
Let h be (-5)/(105/9) - 22/14. Is 2 a factor of h/3*-3*