Let r(n) = -3*n**3 - 11*n**2 - 35*n - 25. Is r(-5) a multiple of 2?
True
Is 1864/9 + (-8)/72 a multiple of 39?
False
Let n(s) = -s**2 + 12*s + 59. Is n(6) a multiple of 3?
False
Suppose 23 = -3*u + 425. Suppose 2*j = u - 6. Is 8 a factor of j?
True
Let w = -229 + 630. Is w a multiple of 12?
False
Let y(z) = -10*z - 25. Is y(-13) a multiple of 21?
True
Let a(f) = 1. Let j(k) = 13*k + 2. Let v(x) = -2*a(x) - j(x). Let w be v(-8). Is 2 a factor of w/30 + 4/6?
True
Let u be 2 - ((-4)/(-4) - 1). Let m(n) = -n**2 + n + 2. Let d be m(u). Suppose 3*r - 11 - 4 = d. Is 2 a factor of r?
False
Suppose 19*h - 4000 = 3*h. Is h a multiple of 10?
True
Let h(u) = u**3 + 14*u**2 - 2*u + 210. Does 5 divide h(-14)?
False
Suppose 2*f - 31 = 5*l + 6*f, -l - 4*f - 19 = 0. Let n(w) = -6*w - 2. Is n(l) a multiple of 8?
True
Suppose 0 = 2*c + 24 - 24. Suppose -u = 5*h - 4, c = 4*u + 2*h - 24 - 82. Does 16 divide u?
False
Suppose 3*y = -2*c - 2*y + 511, -4*c = -5*y - 1067. Does 5 divide c?
False
Let d = -5 - -13. Suppose -5*p + 5*u = -75, -3*p = -d*p - 4*u + 39. Is 3 a factor of p?
False
Let u = -34 + 44. Suppose -3*y - 3*q + 71 = y, -u = -2*q. Is 3 a factor of y?
False
Suppose 1126 - 6 = 4*d. Is d a multiple of 10?
True
Suppose 4*l = -3*m + 9 + 936, m = -2*l + 471. Does 26 divide l?
True
Suppose -i - 21 = -5*h, 5*h = 4*i - 0*h + 9. Suppose r + 3*w = 93, 0 = -i*r - 5*w + 34 + 345. Does 8 divide r?
True
Let h(p) = p**3 - 5*p**2 + p - 5. Let o be h(5). Is ((-20)/(-16) - o)*12 a multiple of 15?
True
Let c(q) = q + 5. Let l be c(-3). Suppose 7*d = l*d - 4*f + 320, 0 = -3*d - 2*f + 194. Is 34 a factor of d?
True
Suppose 27 = 9*z + 9. Suppose -4*c + 53 - 11 = z*j, 5*j = -4*c + 75. Is 4 a factor of j?
False
Suppose -483 - 1614 = -9*k. Does 6 divide k?
False
Suppose 4*k - 616 = -7*d + 3*d, 0 = -3*k + 5*d + 454. Does 17 divide k?
True
Suppose 5*x + 0*x = -m - 1, -4*x = 2*m + 8. Is (184/m)/((-7)/21) a multiple of 14?
False
Suppose 2*z = -0*z - 3*o - 37, 4*o + 4 = 0. Let a = z + 20. Suppose -234 = -4*h - 2*f, h + 4*f + 92 = a*h. Does 28 divide h?
True
Let s = 19 - 2. Suppose 6*q = s*q - 220. Is 8 a factor of q?
False
Suppose -10 = 5*w, 3*o + o = -3*w + 10. Suppose -4*g + 116 = y, 4*g - 444 = -o*y - 28. Is y a multiple of 25?
True
Does 13 divide 15/(-12) + 3/((-96)/(-57128))?
False
Let y(d) = 2*d**2 + 2*d - 9. Let m be y(-9). Suppose 0 = 4*u + 4*g - 204, 0 = -5*u - 2*g + m + 135. Is u a multiple of 14?
True
Let h = -2 - -2. Suppose -2*o = 3*m - 187, h = m + o - 3*o - 49. Does 34 divide m?
False
Let h = 417 + -144. Is h a multiple of 39?
True
Suppose o = -0*o - 0*o. Does 45 divide 1 - (2 - o - 9)*31?
False
Suppose 3*r + 42 = j + 2*r, 4*r - 174 = -5*j. Is (-1)/(((-4)/j)/2) a multiple of 6?
False
Let y(c) = 2*c**2 - 2*c - 1. Let n be y(-1). Suppose 3*h = -7*u + 2*u + 24, 2*h = n*u - 3. Suppose h*k + 5*q = 19 + 13, 0 = k - 2*q + 4. Is k a multiple of 4?
True
Let i(m) = 111*m**2 + 15*m - 25. Is 4 a factor of i(2)?
False
Suppose 8*a = 6*a. Suppose g + 15 = 4*j, 3*j - g + a = 10. Suppose -r + j*p = -19, -8*r + 3*r + 3*p = -95. Is 7 a factor of r?
False
Is (-5 - 513)*36/(-7) a multiple of 42?
False
Let g(c) = -2*c - 2. Let n be g(1). Let v be 14*(-3 + -1)/n. Suppose 2*j - 7*j + 3*k = 0, -2*j = -4*k + v. Is j a multiple of 3?
True
Let t = 683 - 597. Does 70 divide t?
False
Let r be (-4)/(-3)*90/4. Let s be r/(-4)*(-10)/15. Suppose -s*g - q + 103 = 0, -5*g = -0*q + 2*q - 106. Is 20 a factor of g?
True
Is 6/(12/150*5) even?
False
Let z be 1/(-3)*-2*3. Suppose 2*w + 141 = z*l - 95, 5*w - 112 = -l. Is 23 a factor of l?
False
Suppose 915 = -2*u + 2333. Is 18 a factor of u?
False
Let l(n) = -10*n - 61. Let c be l(-6). Is -2*(92/c)/4 a multiple of 35?
False
Suppose 3*z - 5*f + 237 = z, z + 112 = -4*f. Let c = -108 - z. Does 8 divide c?
True
Let r = -6 + 9. Let k be (16/6)/(-3*6/(-1593)). Suppose j - k = -r*o, 4*o - 38 = 4*j + 298. Is o a multiple of 16?
True
Let z(w) = -w**3 - 3*w**2 + 5*w + 4. Let t be z(-4). Suppose t*x = 5*x - 100. Let c = x - 14. Does 6 divide c?
True
Let d(w) = w**2 - 6*w + 4. Let g be d(5). Let y be 4*g - -2*12. Suppose 2*q - y - 18 = -c, -3*c = q - 94. Is c a multiple of 10?
True
Let v(g) = 2*g**3 - g + 148. Does 37 divide v(0)?
True
Let z be 2/(-5) - 17/(-5). Suppose 204 = -7*i + 925. Suppose 5*q - i = -2*w, -4*w - z*q = -49 - 164. Is 16 a factor of w?
False
Let t = 37 - 18. Suppose -t = -3*r + 4*u, -r + 6 + 0 = -u. Is r a multiple of 4?
False
Suppose 3*s = -4 - 2. Does 43 divide (512/(-48))/(s/60)?
False
Let q(y) = -6*y - 4*y + 11*y. Let w be q(-1). Is (w + -1)/((-9)/45) a multiple of 10?
True
Let d = 34 - 32. Is 44*(d - 2 - (2 - 3)) a multiple of 9?
False
Let s be (-2)/(-1 + 3) + 1. Suppose -d = 3, -2*q + 4*d + 6 = -s*q. Is 11 a factor of (q - -4) + -1 + 11?
True
Let h be (25/20)/((-4)/(-976)). Suppose 0 = 5*b - 3*d - h, -d + 5*d = -3*b + 183. Does 18 divide b?
False
Suppose -7*y - i + 55 = -2*y, 0 = -3*y - 4*i + 33. Let k = 16 - y. Suppose -2*d - k*l = -96, 0 = 5*l + 11 - 31. Is 19 a factor of d?
True
Suppose -67*v - 2583 = -70*v + 4*c, 3*v + 4*c - 2583 = 0. Does 8 divide v?
False
Is 18 a factor of (219/6 - -4)*(-20)/(-15)?
True
Suppose 363 = -9*r + 1137. Let g = 442 - r. Does 24 divide g?
False
Suppose -d = -3*x + 11, -3*x - 2*d = -12 - 2. Let g(j) = 2*j**3 - j**2 - 5*j - 2. Let z be g(x). Suppose h - 3*r = z - 6, -3*r = -12. Does 29 divide h?
False
Let u = 17 - 12. Suppose -u*m = -8*m + 6. Suppose -m*s + 20 = -68. Is 10 a factor of s?
False
Let g(f) = -8*f**2 + 3*f + 14. Let q(k) = k**2 - k - 1. Let v(u) = -g(u) - 2*q(u). Is v(-5) a multiple of 13?
True
Let m(p) = -2*p**2 + p + 10. Let z be m(7). Let n be 3*(z/3)/1. Let l = 153 + n. Is 24 a factor of l?
True
Let r = -18 - -22. Suppose -j = 5, 4*k - 12 = -0*k - r*j. Does 3 divide k?
False
Let y(i) = 10*i**2 - 56*i - 464. Is y(-8) even?
True
Let r(c) = 5*c - 12. Suppose -3*q = 2*q. Suppose -7*f + 2*f + 40 = q. Does 14 divide r(f)?
True
Suppose -54 = -9*s - 27. Suppose n + 4*n = 3*c + 408, -s*n - 5*c + 238 = 0. Is 16 a factor of n?
False
Let a be (-26)/(-6) - 3/9. Suppose a*b - 129 = -g, -2*g - b + 0*b + 230 = 0. Is g a multiple of 23?
False
Let u(z) = -z**3 - 2*z**2 - z + 47. Let x be u(0). Let h = x + -8. Suppose 3*q + d - 107 = 3*d, -q + 4*d + h = 0. Is q a multiple of 11?
False
Let s(t) = 6*t**2 - 3*t**2 + t**2 + t - 5 + 7*t**3 - t**2. Does 13 divide s(2)?
True
Let v(s) = -s**3 + 4*s**2. Let b be v(2). Suppose -c = 3 - b. Suppose w + a + 2*a - 29 = 0, -c*w - 5*a + 175 = 0. Is w a multiple of 10?
False
Let h be (0/((-6)/(-2)))/2. Let m(o) = o + 2. Let j be m(h). Suppose 4*y + 118 = j*i + 3*i, -2*y - 124 = -5*i. Does 13 divide i?
True
Let f(y) = 16*y**2 - 4. Is f(-3) a multiple of 14?
True
Suppose 7475 = 15*c + 10*c. Is c even?
False
Let z(b) = -b - 2. Let r be z(7). Let h(i) = 2*i**2 + 6*i + 9. Is 9 a factor of h(r)?
True
Suppose 14504 = o + 27*o. Does 7 divide o?
True
Let n(y) = -y**2 + 13*y + 4. Let a be 2 - (-3 - -7) - -11. Is 7 a factor of n(a)?
False
Let l(q) = -33*q**2 - 2*q + 6. Let m(c) = -99*c**2 - 6*c + 17. Let j(o) = 17*l(o) - 6*m(o). Does 17 divide j(2)?
True
Let m = -382 + 595. Let g = m - 138. Is 25 a factor of g?
True
Let r = 67 + 38. Is 3 a factor of r?
True
Is 14/(28/(-10)) - 4186/(-2) a multiple of 18?
True
Let a(q) = q**3 - 21*q**2 - 17*q + 30. Does 14 divide a(22)?
True
Let j(w) = -6*w - 38. Let f be j(-8). Is 13 a factor of (-35)/f*(-52)/7?
True
Let z(x) be the first derivative of x**3/3 - 5*x**2/2 + 10*x + 6. Let c be z(8). Suppose -4*m - c = -106. Is 18 a factor of m?
True
Let s(t) = -t**3 - 2*t**2 - 4*t + 5. Let j be 2/4*(15 - 23). Does 6 divide s(j)?
False
Let x = -5 + 5. Suppose -t - 343 = -5*u, 73 = -x*u + u + 2*t. Let h = u + -49. Is h a multiple of 6?
False
Is (-725)/(-5) + 1/(-1) a multiple of 3?
True
Let i(n) = n**3 + 4*n**2 + 3*n + 3. Let t be i(-3). Suppose -t*b + 6 = 0, -u + b - 277 = -6*u. Is u a multiple of 14?
False
Suppose 14*k + 970 = 9*k. Let u be k/(-8)*1*4. Suppose -4*m = -z - 275, -m - 2*z = 26 - u. Is m a multiple of 23?
True
Let g(i) = -i**2 - 36*i - 134. Is 10 a factor of g(-23)?
False
Let q(g) = -51*g - 34. Does 40 divide q(-3)?
False
Let p(k) = k**3 + 3*k**2 - 7*k - 8. Let s be p(-4). Suppose 4*n = -0*n + s*o + 88, 5*n = -o + 140. Is 11 a factor of n?
False
Suppose 