oes 31 divide t?
False
Let y = -7971 - -19682. Is y a multiple of 49?
True
Suppose -15801 = -5*h + 2*w, -2*h + 5149 = -4*w - 1165. Is 57 a factor of h?
False
Let m(y) = 171*y**2 - 19*y + 34. Is 6 a factor of m(4)?
True
Suppose 5*b + 235 = -490. Let v be (-188)/3 - 40/(-60). Let j = v - b. Is 23 a factor of j?
False
Suppose -23*v - 6 = -26*v. Let z(w) = w**3 - 2*w**2 - 2*w + 5. Let x be z(v). Does 27 divide (x*195/(-20))/((-2)/32)?
False
Let g = -989 - -6232. Does 65 divide g?
False
Let p(s) = s + 32. Let n be p(-26). Let i(r) = 16*r + 9. Is i(n) even?
False
Let c = 7 + -5. Let i be 12/(-72)*(10 + c)/(-2). Is (22/(-4))/(i*(-6)/36) a multiple of 12?
False
Suppose -13*n = -83150 - 39372 - 82241. Is n a multiple of 19?
True
Let i be (-8)/(5 + -1) + 4 + 0. Let u(h) = 7 + 4 - 12 + 6*h**i - 3*h**2 + 43*h**3. Is 9 a factor of u(1)?
True
Suppose 44*k + 3827 = 56495. Does 171 divide k?
True
Let r(h) = 1275*h + 69. Let o(a) = -318*a - 17. Let q(w) = 9*o(w) + 2*r(w). Does 33 divide q(-1)?
True
Suppose 4*o = -0*l - l + 5922, -7398 = -5*o - 2*l. Does 26 divide o?
True
Let g(b) = -5*b + 6. Let w be g(8). Let z = w + 58. Does 9 divide 3219/z + -1 - (-10)/(-80)?
False
Suppose 4*j + 4*r = 29628, 29643 = 4*j - 9*r + 10*r. Does 12 divide j?
False
Let q(t) = t**2 - 4*t - 13. Let c be q(6). Let n(g) = 729*g - 3. Let z be n(c). Does 18 divide (-3)/(-12) + z/(-16)?
False
Let a be (17 - 16) + (-32 - (2 - 3)). Is 10 a factor of 8/10 - (69888/a)/13?
True
Suppose -4*d = -2*f - 3856, -5*f + 3*d = 4803 + 4830. Let j = -1277 - f. Is 32 a factor of j?
False
Let s(r) = 2*r**3 - 18*r**2 + 9*r - 1. Is s(15) a multiple of 11?
False
Let g = 2554 + -1565. Is 11 a factor of g?
False
Let o(y) = y**2 + 28*y - 3. Suppose l - 73 = -104. Is 30 a factor of o(l)?
True
Let s = -54 - -62. Let k(t) = -4*t + 32. Let i be k(s). Suppose i = -2*b + 63 - 9. Is b a multiple of 3?
True
Let j(p) = p**3 - 6*p + 27. Let w be j(5). Let a = 72 + -12. Let r = w - a. Is 31 a factor of r?
True
Let w(x) = x**2 + 17*x + 76. Let v be w(-9). Suppose 3*j = 19*b - 21*b + 2565, 5*b = v*j - 3420. Is j a multiple of 11?
False
Suppose -26*b - 8 = -30*b, 4*u - b = 21566. Does 16 divide u?
True
Suppose -2*f - 8 = -4*v + 2, -3*v = -5*f + 10. Let g(k) = -171*k + 132. Let n(u) = 43*u - 33. Let w(p) = 2*g(p) + 9*n(p). Is w(f) a multiple of 12?
True
Suppose -5*f = -25, 4*r + 2*f - 5518 = -332. Suppose r = m + 4*k, -9*m - 3*k = -6*m - 3873. Is m a multiple of 86?
True
Suppose 0 = 23*d - 29 - 40. Suppose 5*f - 121 = 4*f. Suppose 194 = 2*h - 3*o, -h - d*o = 33 - f. Is 21 a factor of h?
False
Let d(j) = -5*j + 0*j**2 + 2*j**3 + 2837 - j**2 - 1563. Does 49 divide d(0)?
True
Suppose -2*f - 4 = -2. Let p(x) = 4*x**3 + 3*x**2 + 4*x + 2. Let v be p(f). Is 27 a factor of (v - 70*1)*(-6)/6?
False
Let v(y) = -y**3 + 56*y**2 + 53*y + 3051. Is 32 a factor of v(56)?
False
Let b(l) = -l**3 - 13*l**2 + 13*l + 13. Let i(r) = -3 + 4*r + 4 + 1. Let g be i(-4). Is b(g) a multiple of 11?
False
Suppose -5*z - 2435*r + 2431*r + 3477 = 0, -3*z - 3*r + 2082 = 0. Does 7 divide z?
False
Let g = -270 - -2756. Is 22 a factor of g?
True
Let l(m) = 370*m + 7155. Does 131 divide l(63)?
False
Suppose 0 = 8*w + 217 + 455. Let x = -31 - w. Is 7 a factor of x?
False
Let d = 148 + -94. Is 20 a factor of d/(-12)*200/(-3)?
True
Let d(s) = -2*s + 25. Let i be d(0). Let h = -16 + i. Suppose -4*t + h*t = 10, -4*t = 5*m - 508. Does 28 divide m?
False
Does 43 divide -2*(-183)/(-366)*(0 - 13730/2)?
False
Suppose 3*m = 3*q - 966, 4*q = -m - 0*q - 322. Suppose 4*l + 91 + 110 = -n, -2*l - 209 = n. Let z = n - m. Is z a multiple of 20?
False
Let h = 47 - 42. Suppose -h*y - 69 = -599. Is 32 a factor of y?
False
Suppose -5*b - 5*h = 4195, 5*b - 2*h + 840 + 3383 = 0. Let o = b - -1291. Is 56 a factor of o?
True
Suppose 0 = -3*d - 3*h + 19239, 4*d = -5*h + 9264 + 16386. Does 22 divide d?
False
Suppose 212*j + 40 = 208*j. Is 28 a factor of j + 5 - 5/((-10)/408)?
False
Let u(m) = 6*m**2 - 8*m - 7. Let s be u(7). Suppose -23*y - s = -26*y. Does 7 divide y?
True
Is 22 a factor of (-3*2)/(1*(19255/(-6415) + 3))?
False
Suppose p + 3 = 13. Suppose -14*v + 12*v = -4. Is 15 a factor of 7/(-35) + 372/p + v?
False
Let n be (-21 - 1)*(-1617)/14. Let l = n + -1378. Is 46 a factor of l?
False
Is 7 + (-590820)/(-41 + 21) a multiple of 11?
False
Let g = 422 + -414. Let v(l) = 4*l**3 - 25*l**2 - 10*l. Does 16 divide v(g)?
True
Suppose 4 + 2 = 2*k. Let x be 9/(k/(-1)) + 68. Let h = 179 - x. Is 38 a factor of h?
True
Let q = 373 - 93. Let p = q + -53. Is p a multiple of 29?
False
Let j(c) = 21*c**2 + 22*c - 15. Suppose -n - 7 = 4*y, -2*y - 17 = 4*n + 11. Does 20 divide j(n)?
True
Let f be ((-3)/2)/((-27)/(-18)) - 4. Let s be (f/2 - 14/(-28)) + -253. Let r = -68 - s. Does 11 divide r?
True
Let z(y) = -14*y**3 + 6*y**2 + y - 6. Is 31 a factor of z(-7)?
False
Let y = 10 - 25. Let l be 0/(-3) - (54 - 53). Let i = l - y. Is 7 a factor of i?
True
Let i(c) = -13*c**3 + 26*c + 141. Does 90 divide i(-5)?
False
Let i be (84 - -9)/(6/4). Suppose 0 = i*v - 63*v + 310. Is 5 a factor of v?
True
Suppose 2*y = -v + 1047, v = -3*y - 2*y + 1035. Suppose -2*w = -289 - v. Is 32 a factor of (w/15)/((8 - 3)/25)?
True
Suppose -3*i + 2*r = -5561, 1 = r + 8. Is 127 a factor of i?
False
Let t = -707 - -995. Let o(j) = j**2 + 50*j + 49. Let g be o(-49). Suppose -5*w - 11*w + t = g. Is w a multiple of 4?
False
Let t(s) = -4*s + 6. Let x be t(-2). Suppose 4*q = -5*i + 3*i + 50, -q - 2*i = -x. Suppose q*f - 104 = 136. Does 10 divide f?
True
Let c(a) = a**3 - 15*a**2 + 17*a - 32. Let h be c(16). Suppose h = -130*t + 134*t. Does 4 divide t?
True
Let n(k) = 6*k**2 + 62*k - 729. Is 27 a factor of n(27)?
True
Suppose 0 = 2*f, -41*n + f = -44*n + 273. Let m(k) = -k + 8. Let b be m(6). Let d = n - b. Does 44 divide d?
False
Suppose -441 = 17*j - 24*j. Suppose 0 = j*w - 57*w - 282. Is 11 a factor of w?
False
Suppose -6*d = -8*d + 332. Let v = d + -61. Does 27 divide v?
False
Let r(s) = -3*s**3 + 99*s**2 - 27*s - 84. Is r(31) a multiple of 100?
False
Let y(d) = 5*d**2 - 40*d - 290. Is y(-10) a multiple of 122?
True
Let v(x) = 35*x**2 + 18*x - 181. Does 66 divide v(-13)?
False
Suppose 6 = -12*y - 30. Is 10 a factor of -8*((y - -2) + -6 + -3)?
True
Does 13 divide (-2*(-63052)/6)/((-1486)/(-2229))?
False
Does 74 divide (-104)/(-3)*(212053/212 - -13)?
False
Let b = 3 - 6. Let t be (-27)/b*4/(-6). Is (2 + 0)/(t/(-48)) + 3 a multiple of 2?
False
Let f = 18 + -20. Does 54 divide f*2/(-20) - 5696/(-20)?
False
Suppose 5*f - 4*y = 103870, 36*y - 40*y = -4*f + 83096. Is f a multiple of 234?
False
Let a be (4 - 1)/(2/14). Suppose 0 = -7*s - 0*s + a. Is 5 a factor of 11 - (-12)/(-4) - s?
True
Let d be (128 - (-3 - 2)) + -3. Let j = d + 158. Is j a multiple of 36?
True
Let c(s) = -s**3 + s**2 + 4*s - 2. Let r be c(2). Is 20 a factor of ((-1680)/150)/(r - (-21)/(-10))?
False
Suppose a - 400*q = -404*q + 46913, -a = -4*q - 46889. Is 15 a factor of a?
False
Let j(a) = -3*a**3 - 24*a**2 - 57*a - 84. Is 8 a factor of j(-9)?
True
Let f = -11435 - -25293. Is f a multiple of 75?
False
Let f = 16277 - 8855. Is 6 a factor of f?
True
Is 40 a factor of ((-24)/(-18))/((-10)/(-6)) + 35613864/1170?
True
Let n(g) be the third derivative of g**5 - g**4/3 - g**3/3 + 21*g**2. Let a be n(-4). Suppose 9*m - 4*m - a = 0. Does 22 divide m?
True
Suppose 4*k - 10 = 3*z, -k - 3*z + 22 = 3*k. Let y be (-6)/k*(-15)/(-27)*-6. Suppose 0 = 2*v + 2*p - 264, -4*v - 142 = -y*v + p. Is 29 a factor of v?
False
Let c(f) = 8*f**2 + 315*f - 794. Is 43 a factor of c(-73)?
False
Suppose 5*o = 3*t - 18759, -4*o + 6249 = t + 13. Does 24 divide t?
False
Suppose -27*u = -10*u - 68. Suppose 4*a + u*f - 279 = -43, 3*f = -5*a + 289. Let j = a - -6. Does 27 divide j?
False
Let f(r) be the third derivative of -7*r**4/12 - 22*r**2. Let n be f(-7). Is 32 a factor of ((-6)/(-3) + 1)/(2/n)?
False
Let f(b) = b**2 - 4*b + 9. Let a be f(2). Is 12 a factor of 1816/20 + a + (-1)/(-5)?
True
Suppose -4*v + 4 = -0. Let b be v + 16/4 - -3. Suppose 2*h = 56 - b. Is h a multiple of 24?
True
Let r = -18301 - -26078. Does 101 divide r?
True
Suppose 5*f = -5*z, -4*f - 10 = -2*f + 4*z. Suppose r - s = -3*s + 164, f*s + 129 = r. Suppose -5*n + 2*a = -r, 4*n + 4*a - 118 = 3*a. Is n a multiple of 10?
True
Let r 