pose 0*n = -2*n + s. Suppose -l = -12 - n. Is 13 a factor of l?
True
Let p = -348 - -594. Does 6 divide p?
True
Suppose 3*r + 22 = 28. Suppose -3*o = g - 45, 4*g = -3*o + r*o + 213. Is g a multiple of 27?
True
Let x be (-2)/14 + 1137/21. Let p = x - 84. Is p/5*(-38)/4 a multiple of 19?
True
Let f(y) = -13*y**2 - 6*y + 2. Let p be f(-5). Let h = -53 - p. Suppose -5*g = g - h. Is g a multiple of 8?
True
Suppose -5*w - 24 = -w. Is (27/w - -5) + 734/4 a multiple of 46?
True
Suppose j - 19 = -3*f, j + 3*f - 32 = -j. Suppose x + j = 29. Is x a multiple of 16?
True
Let q = 51 - 46. Is 37 a factor of 20/(-50) - (-372)/q?
True
Suppose -5*x + 2*n + 2074 = 0, n + 0*n = 3*x - 1244. Is 46 a factor of x?
True
Let r(p) = -102*p - 15. Let s be r(2). Let i = s + 417. Does 33 divide i?
True
Let c = 22 + -25. Let a be -36*2 + c + 3. Is 4 - 0 - (a + 16) a multiple of 10?
True
Let u(t) = -139*t - 210. Is 16 a factor of u(-6)?
True
Suppose 5*i - 25 = 0, b - 18 = -i - 2*i. Suppose -2*x + b*v + 2*v = -51, 0 = 3*x - 5*v - 69. Does 14 divide x?
False
Suppose 3*s = -5*n + 30, 42 = 3*n + 3*s - 6*s. Let d(k) = 30*k**2 - n + k + 9. Is 12 a factor of d(-1)?
False
Let m = 86 - 101. Let r = 61 + m. Is r a multiple of 21?
False
Let y be (11 - 11) + (0 - 0). Suppose y = 4*x + 3*o - 21, 5*o - 10 + 1 = 2*x. Suppose x*g + r + 2*r - 63 = 0, -2*g + 45 = -r. Is 11 a factor of g?
True
Suppose 0 = -92*a + 97*a - 570. Does 38 divide a?
True
Let f(i) = -i**2 - 7*i + 11. Let t be f(-8). Suppose t*u + 6 = 15. Is 2 a factor of ((-60)/(-2))/3 - u?
False
Let x(h) = 4*h**3 - 38*h**2 - 21*h - 43. Does 18 divide x(12)?
False
Let i(r) = r**2 + 6*r - 14. Is 10 a factor of i(24)?
False
Let y = 86 - 83. Suppose -5*b = 5*d - 125, -y*b - 2*d + 38 = -37. Is b a multiple of 7?
False
Let u = -57 + 62. Let j be 401/4 - (-2)/(-8). Suppose 0*m - u*m + j = 0. Is 8 a factor of m?
False
Let k = 1719 - 572. Is 31 a factor of k?
True
Suppose -12 = 4*w, 0 = 3*d - 112*w + 109*w - 11454. Is 19 a factor of d?
False
Suppose 5*j + 3*n - 2*n = -74, -5*j + 5*n - 80 = 0. Let t be (-4)/(-10) + (-24)/j. Suppose t*v + 20 - 76 = 0. Does 7 divide v?
True
Suppose 9*j = -4*b + 14*j + 689, -5*j + 141 = b. Is 4 a factor of b?
False
Let i(m) = 12*m**2 - 22*m - 260. Does 33 divide i(-12)?
False
Suppose 2*n + n - 5*y = 7, -3*n - 9 = 3*y. Let i be (-14)/(-14)*(0 - n). Is i*4*(1 + 1) a multiple of 3?
False
Suppose 159 - 419 = -s. Is s a multiple of 23?
False
Suppose -45*y + 38*y = -1687. Let u = y - 169. Is u a multiple of 23?
False
Suppose 5*z - 858 - 24 = -4*c, 0 = 4*z + 3*c - 706. Let j = z + -86. Suppose 4*l = 4*k - j, -5 = k + 5*l + 2. Is 5 a factor of k?
False
Let d = 9 + -11. Let b be 8/(72/(-39) - d). Let t = b - 37. Does 12 divide t?
False
Suppose u - 13 = -4*n + 2, -4*u + 6 = -2*n. Suppose -o + c = 2, 4*o = c - n*c - 2. Let l(t) = -42*t**3 + t**2 + 3*t + 2. Is l(o) a multiple of 14?
True
Suppose -2*u = -4*u + 4. Suppose -5*o - 2*j + 77 = -0*o, -u*o = 4*j - 34. Suppose -a = -o - 37. Does 16 divide a?
False
Let v(m) = m**2 - m - 10. Let u be v(-3). Let p = u + 114. Is p a multiple of 53?
False
Let s be (58/18 - 1) + 4/(-18). Is 2 a factor of 3 - (s - 0) - (1 + -5)?
False
Let z(q) = -q**3 - 6*q**2 - 7*q + 2. Let a be z(-5). Is 8 a factor of 108/((-1)/((-8)/a))?
True
Let i(d) = d - 1. Let u be i(11). Suppose 3*r + 4 - u = 0. Suppose -4*f + 5*c = -118 + 8, -68 = -r*f - 4*c. Does 11 divide f?
False
Let c(y) = 13 + 170*y + 17 - 144*y. Does 32 divide c(5)?
True
Suppose 16*y - 9*y = 3885. Does 33 divide y?
False
Suppose -40 = -2*t - 3*t. Suppose t*s - 704 = -0*s. Does 33 divide s?
False
Suppose -r - 16 + 128 = 0. Suppose 5*o - 392 = -3*m, m + 2*o - r = 5*o. Is m a multiple of 47?
False
Let l = -664 + 1041. Is l a multiple of 13?
True
Let u(v) = 4*v - 4. Let f be u(3). Let d(a) = 3*a**2 - 5*a - 26. Is 18 a factor of d(f)?
True
Let a(k) = -2*k**2 - 27*k + 5. Let y be a(-14). Let m(g) = g**3 + 11*g**2 + 10*g + 9. Does 11 divide m(y)?
False
Let q = 790 - 102. Does 60 divide q?
False
Let u = -48 + 52. Suppose -23 = -2*w - r + 135, 5*w = u*r + 382. Does 13 divide w?
True
Suppose -2*l + 21 = 9. Does 19 divide (-8)/l*(-141)/2?
False
Let o(d) = d**3 - d + 36. Let f be o(0). Let z = f + -16. Is 4 a factor of z?
True
Let m(x) = 2*x**2 + 14*x - 12. Is m(10) a multiple of 41?
True
Let h be 7/(28/1588) + (-1 - 2). Let c = -258 + h. Is c a multiple of 11?
False
Suppose -2*n = 5*u - 10, 20 = -2*n - 2*n. Suppose -u = -v + 47. Is v a multiple of 9?
False
Does 80 divide -22 + 18 + 883 + 1?
True
Let k = -78 - -50. Let z be k/(-6)*3/(-2). Let i = 14 + z. Does 7 divide i?
True
Suppose 31*y - 3674 = 7548. Is y a multiple of 18?
False
Suppose 11 = 5*l - 9. Suppose d - 5 = -5*i + 3, -i + 10 = -l*d. Suppose i*m = u - 25, -5 = -4*u + 3*u - 3*m. Is u a multiple of 9?
False
Let v = -238 + 514. Is v a multiple of 6?
True
Let t(z) = -z**2 - 5*z. Let h be -1*((-9)/3 - 1). Suppose -u = -0 + h. Is t(u) even?
True
Let b be ((-1980)/(-75) - 6/(-10))/1. Suppose -2*s = -9 + 3. Let i = b + s. Is i a multiple of 15?
True
Let l be (-5)/5*0 + (-3382)/(-2). Suppose -493 = -8*q + l. Does 21 divide q?
True
Suppose -124*a + 284 = -122*a + j, 5*j - 720 = -5*a. Is a a multiple of 35?
True
Suppose k - 205 = -3*p + 245, p = 3*k - 1350. Is k a multiple of 25?
True
Let j(z) = -z**3 - 6*z**2 - 6. Let t = -97 - -90. Is 8 a factor of j(t)?
False
Let v = -917 - -1274. Is v a multiple of 2?
False
Let b = 15 + -9. Let l be (75 + 36)*(-1)/(-3). Suppose -d + 5*r + l = 0, -b*r - 3 = d - 3*r. Is 8 a factor of d?
False
Suppose 4*s + 781 = -5*b + 4517, 1508 = 2*b + 5*s. Does 24 divide b?
True
Let y(z) = 35*z - 531. Does 9 divide y(40)?
False
Does 18 divide (-10)/(-4)*4520/50*9?
True
Let c(g) be the third derivative of g**6/120 - g**5/20 + 5*g**4/24 - 2*g**3/3 - 19*g**2. Let w(f) = f**2 + f + 1. Let s be w(-2). Is c(s) a multiple of 11?
True
Suppose 8*c - 1245 = 2123. Does 38 divide c?
False
Let s be 4/6*(1 + 2). Suppose 4*a = j - 9, j + 2*a + a - s = 0. Suppose -2*r - g + 22 = 0, -3 = 2*r - j*g - 25. Is r a multiple of 10?
False
Is ((-2)/(-4))/(1 + 13167/(-13178)) a multiple of 57?
False
Let t(n) = -4*n**2 - 3*n + 88. Let l = -8 + 16. Let r(d) = 6*d**2 + 5*d - 132. Let w(f) = l*t(f) + 5*r(f). Does 9 divide w(0)?
False
Let t(j) = j**2 + 4*j - 2. Let w be t(-5). Suppose -w*c + 10 = 2*c. Is c a multiple of 2?
True
Suppose -b - 4*l = 3*b + 8, l = -3*b + 2. Suppose -s - 5*p = -79, -50 - 56 = -b*s + 3*p. Is 13 a factor of s?
False
Suppose -3*f + 141 = -2*f. Let s = 259 - f. Suppose -4*w + 4*m + s = -2*w, 4*w = -2*m + 186. Does 10 divide w?
False
Let w be (-3)/((-60)/(-35)) - 1/4. Let l = w + 187. Is 26 a factor of l?
False
Suppose -3*j + b + 132 = -82, 76 = j + 2*b. Suppose 0*t - j = -t. Is 15 a factor of t?
False
Suppose 4*c = 4*k + 4, -3*c = 2*c + 5*k - 25. Suppose 8*p = -c*p + 495. Does 23 divide p?
False
Let s = 568 - 108. Suppose 0*a - 476 = -3*a - 4*j, -3*a + 4*j = -s. Does 39 divide a?
True
Suppose 5*i - 8 - 2 = 0. Suppose i*n = -5*g + 13, 2*g - n + 2*n - 5 = 0. Suppose g*a = -5*j + 154, -5*a + 150 = 4*j + j. Does 13 divide j?
False
Suppose 0 = 2*h - 3*i - 1463 + 96, -3*i = 3. Is h a multiple of 11?
True
Suppose 4*p - 900 = -7*h + 5*h, -4*p + 3*h + 890 = 0. Is 16 a factor of p?
True
Suppose 2*f - 160 - 696 = 5*s, 3*f - 1263 = -3*s. Is 83 a factor of f?
False
Let o(p) = -1281*p + 38. Does 120 divide o(-3)?
False
Suppose 3*a + p = -214, -4*p + 5*p = -4*a - 284. Let o = a - -120. Suppose c = 2*c - o. Is c a multiple of 17?
False
Suppose 18*z - 2715 - 669 = 0. Does 2 divide z?
True
Suppose -6*s + 3*j + 1523 = -5*s, -s - 2*j + 1518 = 0. Is s a multiple of 80?
True
Let l be 840/14*2/6. Let q = 12 - l. Does 6 divide 70/6 - q/(-12)?
False
Let v be -7 + 1 - (1 + -4) - -18. Suppose v + 15 = m. Is m a multiple of 6?
True
Suppose 23234 = 45*i - 49261. Is 8 a factor of i?
False
Let m be (4/6)/((-4)/(-66)). Let o = m - 10. Let j = 12 + o. Is 13 a factor of j?
True
Let c be (2 + 0)*(6/(-12) - 3). Let g = c - -52. Is g a multiple of 3?
True
Let s(w) be the second derivative of w**5/20 - w**4/12 - w**3/6 + 91*w**2/2 - 10*w. Let p be s(0). Let q = p - 43. Is 12 a factor of q?
True
Let c(f) = -12*f**3 - f**2 + f. Let q be c(1). Let l be (-6)/q + 18/4. Suppose -34 = -l*w + 16. Does 5 divide w?
True
Suppose 23*