-5) a multiple of 20?
False
Let c = -23 - -19. Let k = c - -6. Suppose 0 = -5*y + 3*g + 192, k*g - 187 - 10 = -5*y. Does 13 divide y?
True
Let t = -15 - -24. Let j = t - -13. Is j a multiple of 8?
False
Let s be 1 - -1*(4 - 217). Let p = s + 149. Is 17 a factor of (-2128)/p + (-4)/(-18)?
True
Suppose 0 = 5*i + y - 2315, -2*i - 2*i = 3*y - 1852. Is i a multiple of 22?
False
Let n be 388/6 + 1/3. Let j(x) = x**2 + 21*x + 64. Let b be j(-17). Let g = n - b. Is 10 a factor of g?
False
Let x = 619 + -319. Does 6 divide x?
True
Suppose 3*t + y = 12, -3*t + 27 = -6*y + 2*y. Suppose -t*r + 4*c + 562 = 0, 2*r - 2*c - 20 - 206 = 0. Is r a multiple of 25?
False
Suppose -4*q = -5*l + q + 35, -2*q - 17 = -3*l. Suppose -340 = l*g - 8*g. Is 17 a factor of g?
True
Let h be -3*(-15)/9*3. Let x(y) = 3*y - 5. Is 10 a factor of x(h)?
True
Let l(d) be the second derivative of -d**4/12 - 7*d**3/2 - 16*d**2 + 24*d. Does 8 divide l(-10)?
False
Suppose -2 = 12*g - 10*g. Is 5 a factor of -4 + (32 - 3)/(0 - g)?
True
Suppose 0 = 11*l - 6*l + 3*s - 515, -s + 515 = 5*l. Is l a multiple of 13?
False
Let y(i) = 7*i - 3 + 11*i**2 - i**3 - 6 - 1. Let f be y(9). Suppose 5*c - f = -60. Is c a multiple of 17?
False
Let c(x) = 22*x + 642. Is c(-28) a multiple of 3?
False
Suppose -38 = -4*i + 2. Suppose -i = -3*h + h. Suppose h*d - 19 = 4*u + 1, -5*d - 3*u + 20 = 0. Is d even?
True
Let r(o) = -4*o**2 - 19*o. Let i(j) = 3*j**2 + 13*j. Let g(s) = 8*i(s) + 5*r(s). Is g(-4) a multiple of 17?
False
Let x be -2*6/(-9)*6. Suppose -b + 30 = 3*a + 6, 0 = -4*a + x. Does 11 divide b?
False
Let y(g) = 43*g - 387. Does 2 divide y(10)?
False
Let t(i) = 146*i**2 + 3*i + 3. Let x = -22 - -21. Does 12 divide t(x)?
False
Suppose u + 415 = 3*s, 0*s - s + u = -135. Suppose 40 + s = 3*a. Does 10 divide a?
True
Suppose -9*m - 13 - 5 = 0. Let p(b) = -19*b + 11. Is p(m) a multiple of 17?
False
Let h = -27 + 28. Let k(a) = 10*a**2 + a. Is 11 a factor of k(h)?
True
Let s(k) = -2*k - 5. Let z be s(4). Let g = 28 + z. Is 6 a factor of g?
False
Suppose 5*p = 113 + 82. Let i = 70 - p. Let o = -18 + i. Is o a multiple of 5?
False
Suppose 5*v - 35 + 140 = 5*k, v - 54 = -2*k. Suppose k*u + 246 = 27*u. Is u a multiple of 18?
False
Suppose 6 = 3*h - 39. Let a(n) = -22*n - 11. Let i be a(-8). Suppose -3*j + i = -5*w, -3*w - 44 = -j + h. Is j a multiple of 17?
False
Let b be 1 + -4 - (-948)/2. Suppose 3*l - b = -141. Is l a multiple of 22?
True
Suppose 1 + 11 = 4*z - 2*c, -2*z + 5*c + 22 = 0. Is (-102)/(z/(-2) + -1) a multiple of 23?
False
Suppose -2300*b + 738 = -2299*b. Is 41 a factor of b?
True
Suppose -i + 436 = 55. Does 8 divide i?
False
Suppose 3*n - 35 = -2. Let q(s) = 2*s - 12. Is 3 a factor of q(n)?
False
Suppose 5*l = v + 18, -v + 6*v = 5*l - 30. Suppose -2 = 2*z - l*z. Suppose 5*f = z*f + 81. Is 27 a factor of f?
True
Let j(s) be the third derivative of s**6/120 + s**3/6 - 12*s**2. Let a(y) = -7*y**3 - 7*y**2 + 4*y + 2. Let f(n) = a(n) + 6*j(n). Does 24 divide f(-8)?
False
Let v(c) = -c**3 + 2*c**2 + 3*c - 1. Let w be v(3). Suppose -5*h + 7 = 5*s - 8, -3*s = h - 3. Is (w/h)/((-3)/27) a multiple of 3?
True
Suppose 43*j - 20*j - 27945 = 0. Is j a multiple of 5?
True
Suppose 40*m = 38*m + 300. Is 30 a factor of m?
True
Let r be (224/40)/(4/10). Suppose -r*h + 9*h + 80 = 0. Suppose 14 = 3*f - h. Is f a multiple of 3?
False
Let w = -5 - -17. Suppose -w*k + 7*k = -15. Is k a multiple of 3?
True
Let d(w) be the third derivative of w**6/120 + w**5/5 + 11*w**4/24 - 2*w**3/3 - 10*w**2. Is 25 a factor of d(-8)?
False
Let n(v) = -v**3 - 19*v**2 - 22*v - 27. Let r be n(-18). Let h = -26 - -37. Suppose 8*a = h*a - r. Is 3 a factor of a?
True
Let i be (-2)/(-7) + 300/28. Let p(l) = -3*l**3 - 3*l**2 - 3*l - 1. Let h be p(-1). Let n = i + h. Is n a multiple of 8?
False
Suppose -2*k - k = -57. Suppose 2*w - 75 - k = -2*x, 5*x = 4*w + 217. Is x a multiple of 9?
True
Suppose -2*i + 0 + 2 = 0. Let q be -66*(i + -2) - 3. Let h = -5 + q. Is 29 a factor of h?
True
Let j = 299 + -194. Is 15 a factor of j?
True
Suppose 2*h - 2*k - 110 - 62 = 0, -2*h = 4*k - 154. Is 44 a factor of h?
False
Suppose 3*z - r = -0*r - 26, -5*z + 5*r = 40. Let x = 14 + z. Let t(j) = -j**3 + 8*j**2 - 2*j - 6. Does 23 divide t(x)?
False
Let k = -39 + 41. Let y(b) = 5*b**3 - 2*b**2 + 2*b - 6. Is 15 a factor of y(k)?
True
Is 10 a factor of 8736/132 - (-2)/(-11)?
False
Suppose 0 = 2*u + 6, 0 = 4*q - 11*u + 16*u - 4545. Is 76 a factor of q?
True
Let l(w) = -w - 49. Let s be l(-10). Let m be (2/(-3))/((-2)/6). Is m/(8/s)*-8 a multiple of 11?
False
Suppose 0*q + 2 = q + 5*a, 2 = q + a. Is 67*q - (-1)/((-1)/(-4)) a multiple of 38?
False
Let n be (0 - 1)*(4*-3 + -2). Let m = n - -161. Is m a multiple of 35?
True
Let l(j) = -3*j - 39. Does 6 divide l(-44)?
False
Let c(n) = -46*n + 41*n - n**2 + 9*n**2. Is c(2) a multiple of 11?
True
Let f(g) = g**3 - 8*g**2 + g - 6. Let i be f(8). Suppose w = -i*w - 4*h + 184, -w + 5*h = -36. Is w a multiple of 4?
True
Let w(z) = -z**2 - 7*z - 12. Let s be w(-4). Suppose -4*f + 294 = -3*j, -4*f + f + 2*j + 221 = s. Does 15 divide f?
True
Does 40 divide (-12314)/(-14) + (-285)/(-665)?
True
Let x(v) = 2*v**3 + 5*v**2 + 5*v - 1. Let k(d) = 2*d - 15. Let z be k(6). Let a be x(z). Does 29 divide (-16)/((-8)/2) - a?
True
Suppose -k + 5*k - 4*l = 192, 2*l + 43 = k. Suppose x - 2 = -2*n + 5, 4*x + 3*n = k. Is x a multiple of 16?
False
Let u = -4 - -8. Suppose -2*v + 3*t = -22, 3 = 5*v + u*t - 6. Suppose 2*l + 300 = 5*b + 6*l, v*b - 275 = l. Is b a multiple of 22?
False
Suppose 0 = 4*q - 7 + 15. Let u(f) be the third derivative of -25*f**4/24 + 2*f**3/3 + 2*f**2 - 2*f. Is 18 a factor of u(q)?
True
Let q = 898 - 803. Is q a multiple of 2?
False
Suppose 0 = 116*g - 44*g - 62136. Is g a multiple of 43?
False
Suppose r = 5*r + 68. Let m = -16 - r. Is (30/4)/(m/8) a multiple of 20?
True
Suppose 20 = 5*k, -73 = -b + k - 17. Is b a multiple of 10?
True
Suppose -19*q + 15*q + 1560 = 0. Let n = -240 + q. Is 25 a factor of n?
True
Let g be 2 - (56 + (4 - (-8)/(-4))). Let p = g + 65. Is 4 a factor of p?
False
Suppose -2*h + 32 = 2*y - 0, 0 = -3*h + 12. Let i = 7 + y. Is i a multiple of 5?
False
Suppose -47*i = 59*i - 50456. Is i a multiple of 14?
True
Let s(j) = 18*j + 34. Let w be s(-10). Let a = w + 208. Does 9 divide a?
False
Suppose s + 2*r - 8 = 0, 2*s - 2*r = -0*s - 2. Let i = -37 + 37. Suppose s*q - 5*q + 15 = i. Does 5 divide q?
True
Suppose 0 = -4*q + f + 23, -f - 4*f + 29 = 4*q. Let c(l) = l**2 - 3*l + 9. Does 26 divide c(q)?
False
Suppose -34*o + 8713 + 2473 = 0. Is o a multiple of 12?
False
Let m be (-3)/(2 + 125/(-70)). Does 14 divide (-2 + 10)*m/(-4)?
True
Let k = -103 + 107. Let l = 86 + k. Does 15 divide l?
True
Suppose -26382 = -5*b - 4722. Does 45 divide b?
False
Let l be (-8)/20*-5 + 14. Suppose 2*f = -0*q + 4*q - l, -5*q + 20 = -2*f. Suppose -3*u + u + 28 = -q*d, 5*d - 5 = 0. Is 5 a factor of u?
False
Suppose -6*c + 334 = 1072. Let q = c - -233. Is q a multiple of 10?
True
Let b be (-22)/((-32)/(-12) + -2). Does 29 divide 33/(-11) - (b - -1)?
True
Let p be 4/1 + 11 + -10. Let x be 196/16 + p/(-20). Suppose -x*g = -8*g - 52. Is g a multiple of 4?
False
Let a = -44 - -48. Suppose -v - a*f = -31, 4*f - 132 = -4*v + 28. Is v a multiple of 15?
False
Suppose -4*h + 6 = -10. Suppose -3*g = -h*g. Suppose -4*u + 171 + 37 = g. Does 13 divide u?
True
Suppose 7*k + 768 = 110. Let i = k - -132. Does 19 divide i?
True
Suppose 40*c - 32*c = 1472. Does 13 divide c?
False
Let j = 304 - 157. Does 7 divide j?
True
Suppose 0 = -2*x + 6*x - 268. Let s be (81/(-12))/((-3)/(-8)). Let u = x + s. Does 13 divide u?
False
Let b be (-44)/12 + 1/(-3). Let v(a) = -a + 2. Let w be v(b). Suppose x + 5*q - 53 = 0, -2*q = w*x - x - 288. Is 21 a factor of x?
False
Let b be (5 + -4 - -1) + 33. Suppose -l + b - 4 = 0. Is 7 a factor of l?
False
Let l(d) = d**3 + 15*d**2 - 15*d + 25. Let f be l(-16). Suppose -7*s + 4*p = -f*s + 652, -5 = -5*p. Is s a multiple of 12?
True
Let v(f) = -f**3 - 15*f**2 + 19. Let c = 22 + -16. Let d be 133/(-9) - c/27. Is v(d) a multiple of 14?
False
Let v(d) = 10*d**2 - 2*d + 2. Let q be v(-3). Let b = 97 + q. Does 25 divide b?
False
Let v(q) = -q**3 + 2*q**2 + 4*q + 1. Let r be v(3). Suppose -43 = -b - o, o = -r*b - b + 215. Is 4 a fact