se 6*y - 5 = 19. Is 2 a factor of ((-18)/y - -4)*-4?
True
Let y(h) = 93*h**2 - 8*h - 28. Is 10 a factor of y(-2)?
True
Suppose 30*p - 15*p = 9450. Is 7 a factor of p?
True
Is (-16)/(-2) + 87143/59 a multiple of 15?
True
Suppose 2*y = 10, -c + 2 = y - 13. Suppose -477 = c*b - 2477. Is 25 a factor of b?
True
Let n(q) = -q**2 + 6*q - 5. Let v be n(2). Suppose x + 2*w = 10, 0 = v*x + w + 4 - 19. Suppose 0 = r + x*r + k - 12, 4*r + 5*k = -3. Is r even?
False
Suppose 5*n - 2*k - 1491 = 0, 0 = 5*n - 10*n - 3*k + 1476. Is n a multiple of 33?
True
Suppose -5*v + 0*v = -5*n + 9980, -3*n - v = -5996. Is n a multiple of 60?
False
Let r(k) = k**2 + k + 15. Let a = -28 + 20. Does 35 divide r(a)?
False
Let h = 267 + -165. Suppose 2*f - 120 = 3*k, -2*f + 2*k + 18 + h = 0. Is f a multiple of 15?
True
Suppose -4*a + 11 = -9. Suppose a*u = 7*u + 52. Let b = 12 - u. Is b a multiple of 11?
False
Is 18 a factor of -37 + 38 - (-730 + (-1)/1)?
False
Let f = 3192 + -524. Is f a multiple of 116?
True
Suppose -6 = 2*q - 14. Suppose -q*f = 2*p + p - 17, 8 = 4*p - 2*f. Suppose -p - 3 = -c. Is 6 a factor of c?
True
Suppose -5*d + 2*d = 4*c - 319, 4*d - 467 = 3*c. Is d a multiple of 24?
False
Let g = -16 - -61. Let k(c) = 4*c**2 - c - 4. Let q be k(-4). Let j = q - g. Does 18 divide j?
False
Suppose -96*d + 44*d + 41548 = 0. Is d a multiple of 4?
False
Let g = 2285 + -1323. Is 32 a factor of g?
False
Let r(m) = 3*m + 19. Let d be r(-13). Let b be 12/(-24) - 22/4. Let t = b - d. Does 7 divide t?
True
Suppose -69*u - 6 = -70*u. Suppose 2*f - u = -4*h, 3*f - 5*h - 31 = -0*f. Is 7 a factor of f?
True
Let u(a) be the first derivative of a**3/3 - 4*a**2 - 5*a - 22. Does 27 divide u(-7)?
False
Let d = 295 + -164. Does 9 divide d?
False
Let p(f) = -6*f - 6. Let g(i) = -i - 1. Let v(d) = 5*g(d) - p(d). Let c be v(2). Suppose c*n - 126 = n. Is 14 a factor of n?
False
Suppose 3*a - 36 = -v, 0 = -v + 7*a - 2*a + 68. Let w = -20 + v. Is w a multiple of 14?
True
Let g = 31 - -41. Is (-3 + 28/12)/((-1)/g) a multiple of 8?
True
Suppose 23 = -2*a - 25. Let p = a + 40. Does 11 divide p?
False
Let j(u) = -u**3 - u**2 - u - 53. Let s(y) = 3*y - 2. Let f(q) = -q + 1. Let o(k) = 5*f(k) + 2*s(k). Let n(z) = -j(z) - 2*o(z). Is n(0) a multiple of 15?
False
Suppose 5*h - 10*h + 445 = 0. Let i = h - 5. Suppose -i = -4*z + 92. Is z a multiple of 9?
False
Suppose 2*f - 4 = -2*k, -5*k - 2 = f - 2*k. Suppose 8*j - 3*j = -2*o, -5*j = -f*o. Suppose -238 = -2*a - j*a. Is 41 a factor of a?
False
Let o(u) = u. Let m be o(5). Suppose n + 4*k = 18, 0*n - 2*n + m*k = -88. Does 6 divide n?
False
Let h(g) be the second derivative of g**3/3 + 27*g**2/2 + 7*g. Is 11 a factor of h(8)?
False
Let q(x) = -4*x**3 - 26*x**2 + 9*x + 66. Is q(-11) a multiple of 55?
True
Let t(f) = f**2 + 3*f - 4. Let n(b) = -2*b**2 - 4*b + 5. Let g = 0 - 3. Let w(s) = g*t(s) - 2*n(s). Is 16 a factor of w(6)?
True
Suppose -115 = 33*b - 38*b. Let w = b - -17. Does 10 divide w?
True
Suppose 3*o - 31 = 2*r, -5*r - o - 42 - 27 = 0. Let x = r + 14. Suppose j - 2*j + 30 = x. Is j a multiple of 14?
False
Suppose 6*l - 14 = 16. Let k(o) = o**3 + 3*o**2 + o + 5. Let u be k(l). Let f = u + -126. Does 21 divide f?
True
Let x be (1 + (1 - 0))*4. Let k = x - 14. Let v = 30 + k. Does 8 divide v?
True
Suppose -4*i + 904 = 4*a - 9*a, 3*a + 219 = i. Is i a multiple of 19?
False
Suppose 12 = 4*g - 4*u, 3*g - 13 = 4*u - 1. Let x(s) = 11 + g + 4 - 2 + s. Does 2 divide x(-8)?
False
Let d(b) = -b**3 + 5*b**2 + 7*b - 9. Let q be d(5). Suppose -8*y + 9*y - q = 0. Is y a multiple of 13?
True
Let a = -312 + 192. Does 12 divide 1/(-2)*3*a?
True
Let k(h) = -h**2 + h + 1. Let w(x) = x**3 + 15*x**2 + 13*x + 14. Let y(p) = -6*k(p) - w(p). Is 17 a factor of y(-8)?
True
Let b = 103 - -301. Does 116 divide b?
False
Let l = -628 - -1265. Is 7 a factor of l?
True
Suppose 34650 = -95*r + 110*r. Is 105 a factor of r?
True
Suppose 5*z + 60 = 2*m, -4*z + 0*m = -m + 51. Let c be 6/(-4) + 7/z. Is (5/10)/(c/(-136)) a multiple of 17?
True
Let j(t) = 0 + 2 + 3*t - 4*t**2 + 3 + t**3 + 3*t**2. Is j(5) a multiple of 24?
True
Let f(o) = o**3 + 9*o**2 - 38*o - 2. Is 11 a factor of f(7)?
False
Let a(f) = 81*f - 123. Is a(13) a multiple of 85?
False
Let d(w) = w**2 - 44*w + 304. Is d(8) a multiple of 3?
False
Let m(r) = -39*r**3 - 3*r**2 - 4*r - 2. Let g = 16 - 17. Is 6 a factor of m(g)?
False
Suppose k + 5*j - 8 = -28, k - 15 = 2*j. Suppose -k*l + 11 = -4. Does 3 divide -1*(0 - 1 - l)?
False
Suppose 13 = 3*j - 4*l, -4*l - 19 = -2*j - 3*j. Suppose -128 = -j*a + 316. Is 37 a factor of a?
True
Suppose 2*j - 11*b - 436 = -6*b, 0 = 3*j - 3*b - 672. Does 6 divide j?
True
Let t(x) = 4*x**3 + 2*x**2 + 2*x - 11. Let a = -2 + 6. Is t(a) a multiple of 57?
True
Let f(m) = 150*m**2 - 16*m + 2. Is f(4) a multiple of 16?
False
Suppose 7*g - 115 = 2*g. Suppose -g = -k - 3*o, -4*k - o + 48 = -0*k. Does 6 divide k?
False
Let a(x) = -19*x**3 - 5*x**2 - 4*x + 4. Does 45 divide a(-2)?
False
Suppose 0 = -i + 209 - 57. Let d = i - 77. Suppose -d = -5*v + 60. Is v a multiple of 27?
True
Suppose -10*r + 18 = -42. Is 26 a factor of r/(12/(-10))*142/(-10)?
False
Suppose -7*u - 8 = -2*u + 4*o, -4*o = 4*u + 8. Suppose 3*g = 4*g - 78. Suppose -5*z + 15 = 0, 2*z - g = -3*r - u*r. Is 6 a factor of r?
True
Let m be 3*3*8/36. Suppose 3*n - 5 = -m*n. Let o(d) = 44*d - 1. Does 11 divide o(n)?
False
Let w be ((-96)/(-20) + -3)*5. Let c be w/3*-1 - -7. Suppose -s = -c*s + 90. Is s a multiple of 18?
False
Suppose 12*x = 7*x + 825. Suppose -11*o - 55 = -x. Is 5 a factor of o?
True
Suppose 1156 = 13*t - 2354. Is t a multiple of 15?
True
Let z = 10 + 39. Let i = z - 1. Is 12 a factor of i?
True
Let j(r) = 10*r**3 - 3*r**2 - 7*r - 4. Let w(s) = s**3 + s**2 + s + 1. Let q(h) = j(h) + 5*w(h). Is q(1) a multiple of 6?
False
Let j(g) = -4*g. Let i be 1/4 + 171/(-12). Is 26 a factor of j(i)?
False
Suppose 11 = 4*q + 3. Suppose q*y - 3*y = 1. Is (-1 - y) + 32/2 a multiple of 8?
True
Let d(q) be the first derivative of 2*q**4/3 - q**3/6 - 7*q**2/2 + 3. Let v(p) be the second derivative of d(p). Does 17 divide v(2)?
False
Suppose 202 - 1179 = -4*v - 3*a, v - 5*a = 273. Does 29 divide v?
False
Suppose 19*d = 774 + 1278. Is d a multiple of 3?
True
Suppose -61*f = -59*f. Suppose -1764 = -7*y - f. Is y a multiple of 28?
True
Let a = -2 - -4. Let o be (2/a)/(2/(-6)). Is 8 a factor of 86/10 + o/5?
True
Let h(j) = j**2 + j - 3. Let s be h(2). Suppose 100 - 7 = s*v. Let u = v + -20. Is u a multiple of 5?
False
Let g(j) be the second derivative of -j**5/4 - j**4/6 + j**3/6 + 15*j. Is g(-2) a multiple of 15?
True
Let c be 20/15*(-30)/(-8). Suppose -h = 1 + 3, 5*d - c*h = 535. Is d a multiple of 11?
False
Suppose 10*h - 5*h = 4*v + 1206, 0 = -4*h + 3*v + 964. Is 7 a factor of h?
True
Suppose 204 = y + h, y + 4*h = 139 + 56. Is y a multiple of 9?
True
Let y be (-6 + 3)/((-2)/(-4)). Let j be 1222/39 - 4/y. Let c = j - 7. Is c a multiple of 12?
False
Let q = -128 - -718. Is 10 a factor of q?
True
Suppose -86*f - 1143 = -89*f. Is 22 a factor of f?
False
Let o = 66 + -62. Suppose 3*v = -o*c + 296, v + 2*v - 222 = -3*c. Is 6 a factor of c?
False
Let c(y) = -y**3 + 13*y**2 - y + 15. Let b be c(13). Is 16 a factor of b/(-10)*-2 - (-2454)/15?
False
Suppose 80 + 50 = f + 5*y, 5*y = 25. Is f a multiple of 16?
False
Let z(a) = -4*a**2 + 11*a - 15. Let c(x) = 7*x**2 - 23*x + 30. Let q(p) = -3*c(p) - 5*z(p). Let u be q(13). Is 14 a factor of 24/(-10)*35/u?
True
Let v = 80 + -73. Suppose -770 = -14*k + v*k. Does 10 divide k?
True
Suppose 3*k - 60 = -21. Suppose 12*c = k*c - 96. Is 8 a factor of c?
True
Let a = 67 + 466. Is 19 a factor of a?
False
Suppose -4*y + 8 = a, -y - 4*y = 0. Is (-4)/a - (-422)/4 a multiple of 21?
True
Is 49 a factor of ((-4)/10)/(10/(-19650)*3)?
False
Is 8 a factor of (1 - (-44)/(-20)) + 3202/10?
False
Suppose 0 = 5*g - 18665 - 685. Does 90 divide g?
True
Let d be (-1)/(4 + (-4115)/1030). Let z = 359 + d. Is 13 a factor of z?
False
Suppose -9*g + 5*y + 6015 = -6*g, 2*g = 2*y + 4006. Is 8 a factor of g?
True
Suppose 12*u - 13396 - 10364 = 0. Is 22 a factor of u?
True
Suppose x + 914 = 4*o, -4*o + 980 = x + 70. Is 6 a factor of o?
True
Suppose -4*j = -10 + 50. Let b(k) = -8*k - 22. Let t be b(j). Suppose 3*s + 5*r - t = 0, -29 = -4*s - 3*r 