h - 77 - 199. Is 26 a factor of h?
False
Let q(s) = 8*s + 9. Let b(k) = k**2 - 8*k - 9. Let i(m) = 3*b(m) + 4*q(m). Does 9 divide i(-5)?
False
Suppose 3*h - 20 = 2*h. Let v = h - 28. Let p(r) = -5*r + 15. Does 31 divide p(v)?
False
Suppose 0 = 3*b - 2*m - 6, -28 = -5*b - 5*m + 7. Suppose 0 = b*j + 2*a - 494, -a - 2*a = 5*j - 618. Does 37 divide j?
False
Is 13 a factor of (-2938)/(-6)*(27 - 24)*1?
True
Let y(m) = 44*m + 14. Let x be y(-6). Let p = 455 + x. Does 41 divide p?
True
Let b = -2 - -1. Let h be b/(((-4)/(-1))/8). Is 9 a factor of (23/h)/(13/(-26))?
False
Suppose -3*z + 2 = -13. Suppose z*a + 21 = 211. Is 38 a factor of a?
True
Suppose 0 = -2*p - 16 + 12. Does 7 divide (174/24*-2)/(1/p)?
False
Suppose -2*c + 16 = 2*c. Let o(v) = 15*v - 4*v**3 + 4 + 10*v**2 + c*v**2 + 0*v**3 + 3*v**3. Is o(15) a multiple of 3?
False
Suppose -3*l - l + 2*q = -58, 3*l - 4*q - 56 = 0. Let p = l - -38. Does 10 divide p?
True
Let h be 1*(-3 + 3) + 4. Suppose h*z - 273 + 49 = 0. Is 19 a factor of z?
False
Let n = 5 - 13. Let x(l) = l**2 - 15. Let t be x(n). Does 4 divide 68/7 + 14/t?
False
Let c be 6/(-36) - (-139)/6. Suppose -c*a = -28*a + 250. Suppose -3*p + 13 = -a. Does 4 divide p?
False
Suppose 11*o - 6312 = 4160. Does 56 divide o?
True
Let n(d) = 2*d - 15. Does 7 divide n(25)?
True
Suppose -44*w = -48*w + 60. Is ((-168)/w)/((-2)/20) a multiple of 16?
True
Let x(q) = 0*q + 10 - 33 + 0*q - 2*q. Let z be x(-13). Let o(c) = c + 9. Is o(z) a multiple of 12?
True
Let z(s) be the third derivative of -9*s**4/8 + s**3/3 - 5*s**2. Let v be z(3). Is v/(-2) + (-6)/(-12) a multiple of 20?
True
Let b(p) = p**3 - 7*p**2 + 6*p + 6. Let u be b(5). Let m be 4/u + (-696)/(-84). Let g(y) = -y**3 + 9*y**2 + 4. Is g(m) a multiple of 17?
True
Let h(q) = 4*q**2 - 80*q + 30. Let g be h(23). Suppose g = 6*o - 354. Is 10 a factor of o?
True
Suppose 3*a = -0*a + 9. Suppose -a*w = -3 - 3. Suppose -35 = -3*v - w. Does 3 divide v?
False
Let q(h) = 119*h + 502. Is 51 a factor of q(20)?
False
Let u(l) = -4*l - 1 + 5 - 2. Suppose 9*n + 5*g + 16 = 5*n, -3*n = -2*g + 12. Is 18 a factor of u(n)?
True
Let a = 748 + -553. Is a a multiple of 24?
False
Suppose -4266 = -z + d - 0*d, -d = -5*z + 21334. Is z a multiple of 9?
False
Let s be -45*(0 - (-8)/(-20)). Is s/63 - (-348)/7 a multiple of 10?
True
Let b(m) = -m + 10. Let c be b(6). Let f be 3/(-3) + -1 + c. Suppose f - 11 = -a. Does 3 divide a?
True
Suppose -3*w = w. Let x be (4 - w)*7/7. Suppose h - 6*h = -x*n + 69, -3*h = 15. Is n a multiple of 3?
False
Let f be (-19)/((3 + 11/(-3))/2). Suppose 3*x - 465 - f = 0. Is 14 a factor of x?
False
Suppose -n = 4*n + 435. Let q = -75 - n. Does 6 divide q?
True
Suppose 10*r - 5*r = 4035. Is 38 a factor of r?
False
Let k = 36 + -26. Does 17 divide -1 + k*(0 - (-3 + -7))?
False
Suppose 36*c = 4983 + 10101. Is 20 a factor of c?
False
Let x(n) be the first derivative of n**5/60 + 5*n**4/12 + 11*n**3/6 - 7*n**2/2 + 3. Let k(d) be the second derivative of x(d). Does 2 divide k(-10)?
False
Let o(x) = 2*x**2 - 7*x - 28. Let h be o(16). Suppose -z + h = 2*w, w + 4*w = 3*z + 908. Does 19 divide w?
False
Let g = 4 - -1. Suppose 4*o = -g*b + 64, -2*b + 5*o + 19 = -0*b. Is 6 a factor of b?
True
Let f(x) = 37*x + 26. Is f(11) a multiple of 75?
False
Let c(q) = -2*q - 7. Suppose 5*h - 18 = 2. Let w(l) = l**3 - 3*l**2 - 6*l + 2. Let s be w(h). Does 5 divide c(s)?
True
Let o(q) = 141*q - 5. Let w be o(1). Suppose -w*k + 139*k - 297 = 0. Is k a multiple of 5?
False
Let l(d) = -d**3 + 10*d**2 + 9*d - 39. Is l(7) a multiple of 12?
False
Suppose -2*f = 5*s - 15, -4*s - 3*f + 5 = -0*s. Suppose 10 = -s*m + 215. Does 5 divide m?
False
Let i = -1496 + 2696. Is i a multiple of 60?
True
Let w(b) = -4*b**3 - b - 2. Let f be w(-1). Suppose -94 = -2*l + 5*a, 5*a - a - 118 = -f*l. Does 5 divide l?
False
Suppose -13*v + 811 = -853. Does 5 divide v?
False
Suppose 2*a = -7*a + 549. Is a a multiple of 4?
False
Suppose 5 = -5*y, 3*b + 22*y = 20*y + 2392. Is 20 a factor of b?
False
Suppose -2*j = 2*g - 0*j - 54, 4*g - 3*j = 87. Suppose -180 = -g*a + 20*a. Does 32 divide a?
False
Let o be 415/(-35) - (-2)/(-14). Let c = -8 - o. Is (-4)/(c*-1) - -7 a multiple of 7?
False
Let v = -1810 + 1024. Does 16 divide v/(-12) - (-3)/(-2)?
True
Suppose -16 = -4*k, -5*k + 29 - 114 = -3*s. Suppose 0*j - 5*j - 17 = 4*r, s = 5*r - 5*j. Suppose -2*l - l = -3*n - 45, -r*l = n - 45. Is 10 a factor of l?
True
Suppose 5*a - 5751 = w, 7*a + 5*w - 2295 = 5*a. Does 12 divide a?
False
Let h be 16/3 + 5/(-15). Suppose -h + 9 = -2*z. Is (z - 0/(-1)) + 10 a multiple of 2?
True
Let j(n) = -26*n - 10. Let b = 3 + -6. Does 10 divide j(b)?
False
Suppose -5*b + z + 1322 = 0, 3*b - 381 = 4*z + 402. Is b a multiple of 5?
True
Let o(r) = -7*r + 16. Is o(-10) a multiple of 43?
True
Suppose -6*l + 32 = -10. Suppose -147 = -l*g + 7. Is g a multiple of 4?
False
Let h(g) = -38*g - 64. Is h(-11) a multiple of 16?
False
Let d(z) be the third derivative of -z**4/24 + 5*z**3/2 - 33*z**2. Is 8 a factor of d(-24)?
False
Is 42 a factor of (7 - 3) + -1 - (-3201)/11?
True
Let f(j) = 128*j**2 + 4. Let p be f(2). Suppose 14*u = 10*u + p. Does 21 divide u?
False
Suppose -2*s + 34 = -4*d - 8, 5*d - s = -51. Let u be (-9)/(-27) - d/6. Suppose -u*k + 5*k - 237 = 0. Is k a multiple of 26?
False
Let x be 1 - (0/(-3) - -6). Let b = 14 + x. Let u(y) = 6*y - 6. Is u(b) a multiple of 24?
True
Let a be 6/(-10) - (-92)/20. Suppose a*s - 90 = 126. Does 18 divide s?
True
Suppose 2*h - 5*p = 1263, 196*p - 200*p = 4*h - 2484. Is h a multiple of 132?
False
Let j = -156 + 696. Does 45 divide j?
True
Is (-6)/(-14) + 487335/371 a multiple of 23?
False
Suppose 9*h - 23148 = -585. Is 23 a factor of h?
True
Does 11 divide (2163/(-15) + -11)*-5?
False
Suppose -h + 6 = h. Let p be -11*(h - 15)/3. Suppose -4*v - p = -4*g + 84, g - 36 = 2*v. Is g a multiple of 10?
False
Suppose -n - 50 = n - 4*y, -29 = n - y. Let c = n - -67. Is c a multiple of 22?
False
Suppose -30 = -4*s + 42. Is s*(2 - 3)*(-16)/3 a multiple of 12?
True
Suppose 2271 - 3237 = -q. Does 6 divide q?
True
Let v be 4/6*18/4. Suppose 2*w - 26 = 4*u + 20, v*u + 20 = w. Is w a multiple of 8?
False
Let y(r) = 5*r + 2 + 12*r + 4*r - 6*r. Is y(5) a multiple of 7?
True
Suppose 0 = -8*w + 223 + 241. Is 31 a factor of w?
False
Let g(l) = -l + 16. Let b be g(14). Let k be (3/(-1))/(b - 3). Suppose v = -k*v + 228. Does 11 divide v?
False
Let t be (-117)/(-45) - 4/(-10). Let f = t - 1. Let z(b) = 16*b**2 + 2*b + 1. Does 23 divide z(f)?
True
Suppose -7798 = 3*r - z, -10396 = 7*r - 3*r - 2*z. Does 25 divide r/(-39)*-2*3/(-4)?
True
Suppose 7260 = -24*k + 39*k. Is 11 a factor of k?
True
Is 15 a factor of ((-2)/(-10))/((-36)/(-540))*95?
True
Let m(f) be the first derivative of -5*f**4/4 - 4*f**3/3 - 3*f - 2. Let c = 15 - 18. Does 32 divide m(c)?
True
Let r = -662 + 963. Is r a multiple of 3?
False
Suppose -2*m = -2*s - 2, 6*m - 2*s - 11 = m. Let p(f) = -f**2 - 14*f - 20. Let k be p(-12). Suppose m*q - k*q + 36 = 0. Is q a multiple of 8?
False
Suppose 3*t + 5*b = 4*t - 29, -5*t + 5*b = -45. Let k(y) = 2*y - 2. Let w be k(2). Suppose 0*p - 298 = -t*i + w*p, -3*p = -5*i + 375. Is i a multiple of 27?
False
Let z be 221 + ((-16)/5 - 9/(-45)). Let h = z + -143. Does 15 divide h?
True
Let c(r) = 25*r + 50. Is c(4) a multiple of 15?
True
Let h(v) = v**2 + 2*v + 14. Is 5 a factor of h(-11)?
False
Let o = 71 - 38. Suppose 30 = -3*g - 27. Let x = g + o. Is 14 a factor of x?
True
Let n(d) = 26*d**2 + 36*d - 39. Let s(b) = -9*b**2 - 12*b + 13. Let z(t) = 6*n(t) + 17*s(t). Is 9 a factor of z(-6)?
False
Let w = -12 + 15. Suppose -32 = w*n + 4. Is (-54)/(-7) + n/(-42) a multiple of 2?
True
Let q = -51 + 41. Let x(r) = -r - 1. Let t(p) = -p**2 - 10*p - 2. Let g(l) = -t(l) + 5*x(l). Does 25 divide g(q)?
False
Let i = 31 - 27. Suppose 20 = i*c, -5*b + c + 25 = -2*c. Does 7 divide 2/(-5)*(-280)/b?
True
Let p(u) = u**3 + 16*u**2 - 25*u - 39. Does 5 divide p(-17)?
False
Let l be (60/(-75))/(2/(-130)). Let z be 2/(-7) + l/(-14). Let c(v) = v**3 + 8*v**2 - 3*v - 5. Does 14 divide c(z)?
False
Let l be 1*(-1)/4 - (-7162)/8. Suppose 0 = 6*q - 11*q + l. Is q a multiple of 29?
False
Let k(x) = 5*x**3 - 33*x**2 - 13*x. Let f(c) = c**3 - 8*c**2 - 3*c. Let g(b) = -9*f(b) + 2*k(b). Let h be g(-5)