ivide b(-2)?
False
Suppose 4*s - 44 = z, 30 = 5*s + z - 16. Let w = s - -35. Does 15 divide w?
True
Does 7 divide ((-968)/(-55) - 0)/((-1)/(-5))?
False
Suppose -4*j - 4 = -3*z + 1, z = -3*j + 6. Is (-548)/(-13) + (-6)/39*j a multiple of 18?
False
Suppose -1 + 4 = d. Let f(c) = 0 + 2*c**2 + 3*c - 1 + 0*c. Does 26 divide f(d)?
True
Let v(w) = 2*w**3 + 8*w**2 - 19 - 3*w**3 + 16 + w. Let c be v(8). Suppose -c*s - 11 = -6*s. Is 8 a factor of s?
False
Let m(i) = 40*i**3 + i**2 - i. Let b be m(1). Suppose 0 = -f - 2*u + b, 186 = 5*f + 7*u - 4*u. Does 3 divide f?
True
Suppose 23 = 4*y + 3. Suppose 6*h - 23 = y*h. Is 4 a factor of h?
False
Let b = -796 + 370. Let f be (4/(-12))/(2/b). Suppose -f = -5*c + 59. Is 13 a factor of c?
True
Let s(l) = l**2 + 7*l + 9. Let a be s(-9). Let u = a + -14. Let r = 1 + u. Does 14 divide r?
True
Let h(o) = 3*o**2 + 3*o - 1. Let a(m) = 2*m**2 + 2*m - 1. Let g(v) = 5*a(v) - 3*h(v). Is g(2) a multiple of 4?
True
Let x be 4/6*(-60)/(-8). Suppose 2*r - 93 = x*j, -r = 2*r + 5*j - 152. Is 7 a factor of r?
True
Let g = -26 + 30. Is 21 a factor of (4 - 14/g)*12*7?
True
Suppose n - 2*q = 60, 0*n - 3*n - q + 201 = 0. Suppose v - n = -0*v. Is v a multiple of 22?
True
Does 5 divide 3/(-4) + 23184/448?
False
Let l(j) = j**3 + 4*j**2 - 31*j - 16. Let p be l(-8). Suppose -16 + 2 = -5*c + q, 0 = -4*c - 2*q + 14. Is 6 a factor of (1/c)/((-1)/p)?
False
Let i be (-2 + -1 - -4)*-1 - -1. Does 41 divide (-2 - -105) + (2 - (2 - i))?
False
Suppose -5 = -2*l - 0*l + g, -g + 5 = 3*l. Let j(m) = 33*m**2 + 4*m - 5. Is 18 a factor of j(l)?
False
Let y(t) = t - 14. Let o be y(8). Let f be ((-3)/(-2))/(o/12). Let w(g) = -8*g - 4. Is w(f) a multiple of 10?
True
Suppose -5*a + 650 = 4*f - 805, 4*a = 3*f + 1133. Is 41 a factor of a?
True
Let n(b) = 115*b - 81. Is n(13) a multiple of 101?
True
Let j(d) be the third derivative of -d**4/24 + 7*d**3/6 - 7*d**2. Let b be j(9). Does 26 divide ((-420)/18)/(b/3)?
False
Is (2/(-8) - 9/108)*-999 a multiple of 37?
True
Does 42 divide (-14)/(-21) - (0 - 6042/9)?
True
Let f(r) = 7*r**3 - 3*r**2 - 3*r - 2. Let d be f(-1). Does 3 divide 12/10*150/d*-2?
False
Let z = 35 + -31. Suppose 4*i - 60 = -s + 4, -z*i - 48 = -s. Is 8 a factor of s?
True
Let z(j) = -11*j + 1. Let x(o) = -1. Let c(p) = 12*x(p) + 3*z(p). Does 39 divide c(-5)?
True
Is ((-118641)/(-497))/((-3)/(-14)) a multiple of 37?
False
Let f(o) = -105*o - 362. Does 19 divide f(-24)?
False
Suppose 67 = -d - 63. Let j = -79 - d. Is 3 a factor of j?
True
Suppose 7*m - 3*m - 10900 = 0. Does 21 divide m?
False
Let s(f) = 4*f**2 - 35*f - 12. Is 16 a factor of s(12)?
True
Let y be 126/4 - 3/6. Suppose a - 3*j = -0*a - 19, -2*a - j = 17. Let t = a + y. Does 7 divide t?
True
Let q be (-626)/14 + (-28)/98. Let v = 25 + q. Is (-32)/(-10) - (-4)/v even?
False
Suppose 832 = 11*l - 356. Does 25 divide l?
False
Let r(g) = 68*g + 14. Suppose 5 = -6*t + 17. Is 25 a factor of r(t)?
True
Let a be (-288)/45 - (-4)/10. Let w be -1 - 6*8/a. Let j(p) = p**3 - 5*p**2 - 8*p + 6. Is j(w) a multiple of 12?
True
Suppose -5*s = -5*g + 207 - 3467, -s + 648 = -5*g. Is 45 a factor of s?
False
Suppose n + 2*n = -141. Let q = 63 - n. Is q a multiple of 22?
True
Suppose 3*a - 77*h = -73*h + 12179, 0 = -4*a + h + 16230. Is a a multiple of 13?
False
Let x(k) = 9*k**2 - 5*k + 46. Is x(6) a multiple of 17?
True
Does 23 divide (9 + -7)*(-35581)/(-13)?
True
Let b be 3/((6*4/(-8))/(-2)). Suppose b*c + 2*d - 594 = -c, -4*c + 788 = 4*d. Is c a multiple of 24?
False
Let t = 1037 - 843. Is 2 a factor of t?
True
Let a = 646 - 134. Is 64 a factor of a?
True
Suppose -1428 = -12*v + 6*v. Is v a multiple of 13?
False
Let v = -15 + 21. Let t be v/4*(-11 + 1). Is (-1449)/t + (-24)/40 a multiple of 24?
True
Suppose 0 = 5*f - 3*f - 368. Let h = f + -127. Is 19 a factor of h?
True
Let z(n) = n**2 - 4*n + 1. Let k be z(5). Let a be k/4 - (-1)/2. Suppose a*i + 1 = 25. Does 3 divide i?
True
Let a(g) = -3 + g + 15 + 8. Let k be a(0). Suppose 0 = 4*n - 3*n - k. Is 19 a factor of n?
False
Let b(n) = -4*n**2 + 8*n**2 + 9 - 4*n**2 + 7*n + n**2. Let g be b(-6). Suppose 2*w = 2*q - 12, -4*q - 5*w = -g*q - 30. Is q a multiple of 5?
True
Suppose 0 = 4*w + 11 - 3, 0 = 2*m + w. Let z(c) = c**2 + 1. Let x be z(m). Suppose 6 = -y + x*y + 3*j, 0 = y - j - 18. Is 6 a factor of y?
False
Let w(k) = -11*k - 1. Let x be w(2). Let b = x + 33. Let i = b - -20. Is i a multiple of 15?
True
Let i(c) = 3*c**3 - 6*c**2 - 3*c - 1. Let v(b) = 2*b**3 - 5*b**2 - 2*b. Let o(z) = -4*i(z) + 5*v(z). Does 18 divide o(-4)?
True
Let g(m) = -m**3 + 42*m**2 + 91*m + 74. Is 2 a factor of g(44)?
True
Suppose 0 = 3*q + 4*k - 4165, -79*q + 4163 = -76*q + 5*k. Is q a multiple of 13?
True
Let i = -49 + 49. Suppose i = 6*x - 3*x - 285. Does 19 divide x?
True
Let i(y) = -5*y**3 + 3*y**3 + 4*y - 3*y**2 - 6*y - 1 - y. Let j be i(-2). Suppose 0 = j*a - 185 + 32. Is a a multiple of 17?
True
Let h = 31 - 27. Suppose 108 = 4*i + 4*m, 0 = -4*m - 8 + h. Does 7 divide i?
True
Suppose 27*v + 16 = 23*v. Is 24 a factor of (210/25)/(v/(-110))?
False
Let l(y) = -68*y**2 - 3*y - 3. Let g be l(3). Let s be (20/(-30))/(2/g). Let c = s + -147. Is 16 a factor of c?
False
Let a(j) = -j**3 + j - 6. Suppose -5*w - 5*l - 10 = 0, 6*w - 4*l + 13 = 3*w. Does 7 divide a(w)?
False
Suppose -4*v - 5*g + 469 = -2*v, 5*g - 5 = 0. Suppose -9*a + 461 = -v. Is a a multiple of 9?
False
Suppose -5*w - 5*c + 1346 = -1464, 5*c = -3*w + 1684. Is 14 a factor of w?
False
Suppose 676 = -5*l + 9*l. Suppose l = -0*m + 4*m - 5*h, 5*m = 5*h + 205. Is m even?
True
Suppose 4*i + 250 = 698. Suppose 7*a - i - 14 = 0. Let l = 24 - a. Is 2 a factor of l?
True
Suppose -152*s + 163*s = 17127. Is 43 a factor of s?
False
Let h be (15/30)/(1/(-2)). Let a be (-1*(2 + -3))/h. Let j = 7 - a. Is 4 a factor of j?
True
Does 25 divide ((-880)/(-66))/((-2)/(-75))?
True
Let j(z) = -z**3 + 7*z**2 - 4*z + 1. Let x be j(7). Let p = x - -32. Suppose 5*b + 173 = p*g + 3, 4*g - 3*b = 134. Does 24 divide g?
False
Suppose -586 = -5*g + 2*l + 1030, -6 = -3*l. Is 27 a factor of g?
True
Suppose 8*k - 3204 = -4*k. Does 36 divide k?
False
Does 55 divide 6*(-3)/(-63) + (-18642)/(-21)?
False
Let p be (49 + 0)/(8/120). Is 27/36 + p/12 a multiple of 6?
False
Let w(h) = 5*h - 3. Suppose -25 = 4*r - 2*r + 5*p, -20 = 4*p. Let i(g) = g**2 + 2*g + 6. Let v be i(r). Is 7 a factor of w(v)?
False
Let z = 11 + 67. Is z a multiple of 5?
False
Let x be (-14)/119 - (-87)/17. Suppose x*m = 3*z - 29, 4*z - m + 4*m = 58. Does 2 divide z?
False
Suppose -5*o + 104 = d, -116 = 2*o - 7*o - 4*d. Suppose x + w = 5, -o = -4*x - 5*w + 5. Suppose 8*p = 3*p + 2*v + 505, x = p + 3*v - 84. Is p a multiple of 23?
False
Let c(h) = 350*h**2 + 6*h + 6. Is 35 a factor of c(-1)?
True
Suppose u - 4*m + 11 = 0, -2*u = -3*u + m - 2. Suppose -t + u = -1. Let g(q) = q**2 + q. Does 2 divide g(t)?
True
Let v be 68/2 - 15*(-3)/(-15). Let w = v - -68. Does 33 divide w?
True
Suppose -h = -6*h + 2010. Is h a multiple of 22?
False
Let f be 5/(0 + 1 + 0). Suppose -q - 2*a = -77, 5*q - 103 - 237 = f*a. Let c = q - 43. Is c a multiple of 14?
True
Suppose 5*j + 25 = -o - 0*o, 5*j = 5*o - 25. Let i(b) be the second derivative of b**4/12 + b**3/3 + 26*b**2 + 6*b + 1. Is 13 a factor of i(o)?
True
Let w = -14 - -19. Suppose 3*g - w*k + 8 = 209, -3*k = -5*g + 351. Suppose g = 4*b - 4*o, b = -10*o + 5*o + 12. Is 5 a factor of b?
False
Let p = 1616 - 191. Is p a multiple of 75?
True
Let q(s) = s**2 - 30*s - 306. Does 9 divide q(39)?
True
Let t = 114 - 67. Suppose 5*y - t - 53 = 0. Is y a multiple of 10?
True
Suppose 5*m + 54 = -2*f, 2*m + 2*m = 3*f + 35. Let p(u) = 3*u**3 - 2*u**2 + 1. Let c be p(-2). Let j = f - c. Is 5 a factor of j?
False
Let v(m) = m**2 + 24*m + 181. Is 8 a factor of v(-19)?
False
Suppose -3*z = 3*t + 1087 - 16825, -z + 5266 = -4*t. Is 21 a factor of z?
True
Let j = -49 - -68. Suppose 0 = 4*u - j - 73. Is 13 a factor of u?
False
Suppose -3*o + 14*d + 3774 = 13*d, -2509 = -2*o + 3*d. Does 43 divide o?
False
Suppose 2*t + j - 118 = 0, t + j + 3*j = 66. Suppose -t = -6*b + 4*b. Is 29 a factor of b?
True
Let t(h) = 2*h**2 + 8*h - 4. Let a(x) = x**3 + x**2 - x - 8. Let u be a(0). Let r be t(u). Is 14 a factor of (-140)/50*r/(-2)?
True
Let r(c) = c**3 - 9*c**2 - 6*c + 16. Let b be r