s o a multiple of 2?
True
Let q = 1576 + -1075. Is q a multiple of 3?
True
Let j = -45 + -17. Let w be (-207)/(-2) - 3/6. Let a = w + j. Does 24 divide a?
False
Let o be ((84/8)/7)/(-3)*-10. Suppose -3*d = -0*d - 6, -o*z + 2*d + 181 = 0. Is z a multiple of 10?
False
Let g(k) be the third derivative of k**6/120 - 11*k**5/60 + k**4/12 + 17*k**3/6 - 19*k**2. Does 39 divide g(11)?
True
Does 86 divide -5*(2 + -4) + 3086?
True
Let w = -19 + 12. Suppose 4*c - 144 = -5*y, 4*c - 5 = -c. Does 19 divide 8/y - 264/w?
True
Let g = 63 - 78. Does 16 divide (100/(-6))/((10/g)/2)?
False
Let l(f) = -f**2 - 10*f + 5. Let y be l(-9). Suppose 224 = -y*o + 18*o. Is o a multiple of 28?
True
Let a(q) = q**2 + 11*q + 58. Let x = 61 + -84. Does 54 divide a(x)?
False
Is 2 a factor of (-2)/12 - 550/(-60)?
False
Let p(q) = 31*q - 166. Does 19 divide p(36)?
True
Suppose 3*g + k - 531 - 154 = 0, 2*g - 2*k - 454 = 0. Suppose -2*t = 2*t - g. Is 13 a factor of t?
False
Let u(z) be the third derivative of 2*z**5/15 + 5*z**4/24 + z**3/3 - 7*z**2. Let o be u(-3). Suppose 0*g - 3*j + o = g, g = j + 67. Does 29 divide g?
False
Let b = 62 - 17. Suppose -4*m - 23*y + 25*y = -12, 2*m = 4*y. Suppose -m*d + 63 = -b. Does 5 divide d?
False
Let f be (2/(-2))/((-1)/(-20)). Let x be 4/18 - 2812/18. Is 8 a factor of (-8)/f - x/10?
True
Let d = -9 + 27. Let k = d - 18. Let n = k + 10. Is 3 a factor of n?
False
Let i = 339 - 24. Is 3 a factor of i?
True
Suppose 0 = -s - 5*f - 70, -s - 29 - 25 = f. Let k be (-32 - 2/2) + -1. Let p = k - s. Does 8 divide p?
True
Let h(w) = -w**3 - w + 4. Let s be h(0). Let p be s + (4 - 4) - 14. Let o = 29 - p. Does 13 divide o?
True
Let p(t) = 11*t**3 + 3*t**2 - 5*t + 4. Does 24 divide p(3)?
False
Let d = 413 - 116. Is d a multiple of 9?
True
Let g(t) = -35*t + 170. Is g(-22) a multiple of 5?
True
Suppose -2*c - 5*p = 28, 5*c + 70 = -p + 5*p. Let x be (4 - 0)/(-2)*10. Let y = c - x. Does 3 divide y?
True
Suppose 1 = -2*l - 3*r - 26, -3*r - 15 = 0. Let t(v) = -9*v + 16. Let q be t(l). Let y = q - 37. Does 13 divide y?
False
Let t = -3 - -7. Suppose t*o = 0, 4*o - 172 = -4*c + 2*c. Let l = c - -1. Does 15 divide l?
False
Suppose 0 = -2*y - 4*v + 290 + 210, -y - v = -251. Is y a multiple of 12?
True
Let q(f) = 8*f**2 - 3*f + 2. Let d be q(-5). Let w = -139 + d. Is 30 a factor of w?
False
Does 11 divide -51*5978/(-315) - 2/(-15)?
True
Let b(a) = a**2 - 2*a + 57. Let f(y) = y**2 - y + 56. Let m(z) = -3*b(z) + 4*f(z). Does 4 divide m(0)?
False
Let x = -2 - 8. Let p be (6/x)/((-1)/5). Suppose t = p*t - 2*g - 22, -t + 1 = g. Is t even?
True
Let h be (-1 - -5)/(4/(-392)*-7). Suppose -5*m - u + h + 64 = 0, 5*m + 2*u = 120. Is 6 a factor of m?
True
Is 61 a factor of (-2)/9 + (-63010)/(-45) + 0?
False
Let t(c) = -72*c - 55. Let g be t(-2). Suppose a - 50 = 2*a. Let d = a + g. Is 18 a factor of d?
False
Suppose 3*x + 3*x - 120 = 0. Let b be -6 - (-3 + 1) - -12. Suppose x = 3*i + b. Is i a multiple of 2?
True
Suppose -5*r - 4*k = -410, -5*k + 235 = 5*r - 170. Suppose 3*n - 101 = -4*x + 69, -n = x - 55. Let s = r - n. Is s a multiple of 18?
True
Let p be (-534)/4 - (-12)/8. Is (2/4 - p/24) + 3 a multiple of 2?
False
Suppose 2*h + 3 + 4 = 3*b, 2*b = 10. Suppose 189 - 45 = h*f. Does 6 divide f?
True
Suppose 2*c = -2*t + 150, 5*t + 1 + 184 = 3*c. Is 2 a factor of c?
True
Let k(h) = h**2 - 3*h - 1. Let c(g) = g**3 - 7*g**2 - 6*g - 9. Let w = -1 - -9. Let m be c(w). Is k(m) a multiple of 11?
False
Suppose -5*d = -4*d + 2*a - 8, a + 2 = d. Suppose -2*g = -d*g + 20. Does 10 divide g?
True
Let j be (-4)/14 + (-691)/7. Let p = -57 - j. Does 35 divide p?
False
Suppose -3*z - 4*h = 124 - 753, -z + 223 = 4*h. Is z a multiple of 29?
True
Let y = 2 + 0. Suppose -y*j = -4*i, 0*i + 4*i + 3*j = 0. Let k = 36 + i. Is 12 a factor of k?
True
Let r = 466 + -274. Does 37 divide r?
False
Suppose l + 4 = -0. Is 10 a factor of (-2)/l*83*2?
False
Suppose -72 = 5*n + 43. Let f be (-2)/3 - (-43)/(-3). Let g = f - n. Is g even?
True
Suppose 2*p - 3*a = 10 + 14, 48 = 4*p - a. Suppose -16*y = -p*y - 372. Is y a multiple of 26?
False
Let w = 419 - -391. Is 27 a factor of w?
True
Let c be (-1)/(-4) + (-5263)/(-4). Let u be (-1)/2 - c/(-8). Suppose 4*n - 328 = -5*p, 0 = -2*n - 2*p - 2*p + u. Does 17 divide n?
False
Suppose 2*j + 2*w - 252 = 3*w, -w = -j + 128. Is j a multiple of 31?
True
Let v = 424 - 271. Does 14 divide v?
False
Suppose 180*j - 32054 = 158*j. Is j a multiple of 47?
True
Let o(c) = -c**3 - 8*c**2 - 7*c - 7. Let u be o(-6). Let i = 797 + -678. Let s = i + u. Is s a multiple of 14?
False
Let w(f) = -2*f + 6. Let z be w(-2). Is 12 a factor of (-864)/(-15) - z/(-25)?
False
Let l(n) = n**2 + 4*n + 170. Does 6 divide l(0)?
False
Let j(t) = -37*t - 5. Suppose y + 4*y = 0. Suppose -o = -y*o + 2. Does 12 divide j(o)?
False
Let v(l) = -l**3 + 3*l**2 + 3*l - 4. Let f be v(3). Suppose 0*d - 4*z = 4*d - 284, -353 = -f*d - 4*z. Does 13 divide d?
False
Let y be (-2)/13 + 532/(-91). Is 5 a factor of (4/y)/(1*(-2)/15)?
True
Suppose -2*q - 18 = 4*l, 3*l - 2 = q - 18. Suppose -3*g - 18 + q = -5*r, 4*g + 21 = 5*r. Is 96/((g + 7)/3) a multiple of 24?
True
Suppose 5*p - 12 + 2 = 0. Suppose -4*b = -p*b - 8. Suppose -b*v - 7 + 287 = 0. Is 8 a factor of v?
False
Suppose 3*d - 5*q - 618 = 0, 5*q = 7 + 8. Does 95 divide d?
False
Let x(t) = -4*t**3 + 5*t**2 + 6*t - 2. Is x(-3) a multiple of 19?
True
Let d be ((-2)/(-2))/((-14)/(-6) + -2). Let i(t) = t**3 + 6*t**2 - 8*t + 4. Does 14 divide i(d)?
False
Let h be 6/8 + ((-1690)/(-8) - -3). Suppose 2*g - 4*l + 248 = 0, g - 6*g = -l + 647. Let q = g + h. Is 17 a factor of q?
True
Is 15 a factor of (140/(-10))/7 - -3842?
True
Suppose -2*x - 864 = -6*x. Let k = -124 + x. Suppose z - p - 33 = 0, -3*z - p = 3*p - k. Is 12 a factor of z?
False
Suppose -5*j + 4*x = x - 39, -21 = -3*j + x. Let p(q) = 2*q**3 - 7*q**2 - 3*q + 15. Is p(j) a multiple of 13?
False
Let o(x) = -x**2 + 12*x - 10. Let h be (-4)/(-10) - 432/(-45). Let w be (8/h)/(10/100). Is 7 a factor of o(w)?
False
Suppose r + 3*r + 16 = 0. Let j = 9 + r. Suppose q - 19 = 5*u + 49, 0 = -j*q + 4*u + 319. Does 21 divide q?
True
Let i be (272/(-24))/((-4)/18). Suppose -5*l + 5*j + 15 + 60 = 0, -j + i = 5*l. Is 5 a factor of l?
False
Let w = 18 + -13. Suppose -2*p + 4 = 0, -p + 2*p = -w*h + 2. Suppose h = 2*x - 9 - 37. Is x a multiple of 19?
False
Suppose -2*b + 4*y - 97 = -591, -2*y + 741 = 3*b. Is 5 a factor of b?
False
Suppose 0 = -0*f + 2*f - 26. Let p = 63 - 32. Let w = p + f. Is 9 a factor of w?
False
Is 46 a factor of 194/((-8)/(-4)) - (3 + -4)?
False
Suppose 8 = 4*p - 2*p. Suppose p*i - 8 = 4*m, -i + 24 = 2*m + 4*i. Suppose -47 = -b + 4*r, m*b - r - 3*r - 82 = 0. Does 14 divide b?
False
Let k = -803 + 1283. Is k a multiple of 48?
True
Let o(h) = -57*h - 79. Does 17 divide o(-5)?
False
Let s(w) = 6*w**2 - 21*w - 25. Is s(10) a multiple of 12?
False
Suppose 4*x = 5*d - 332, 3*d + 2*x = -15 + 201. Is d a multiple of 9?
False
Suppose -6*u + 3*u + 6 = 0. Let q be 6*(u + (-4)/8). Let r = q + 4. Does 12 divide r?
False
Let u be ((-15)/(-10))/(3 - 377/126). Suppose -4*g + u - 77 = 0. Does 28 divide g?
True
Suppose -17*p + 20*p = 1272. Is 53 a factor of p?
True
Does 12 divide (3213/255)/((-3)/(-10))?
False
Let u(m) = 4*m**2 + m - 3. Let a be u(-2). Let t(s) = -s**3 + 13*s**2 - 16*s + 13. Is 11 a factor of t(a)?
False
Let n = 3 - 7. Let y(x) = -2*x**3 - 5*x + 2. Does 25 divide y(n)?
True
Does 9 divide 4*135/(-75)*5/(-1)?
True
Suppose 4*w - 32 = -4*s, 4*w - 2 = 3*w. Suppose s = -v + 4*v. Is 4/(-8)*v*-6 a multiple of 3?
True
Suppose 32*z - 22068 - 1900 = 0. Is z a multiple of 7?
True
Let c(x) = -4*x - 1. Let l(s) = -46*s + 12. Let j(u) = -12*c(u) + l(u). Let f = 1 - 1. Is 20 a factor of j(f)?
False
Let i(k) = -2*k**2 + 13*k + 2. Let f be i(6). Is 48 a factor of (-3352)/(-20) + f/20?
False
Let u(j) = -j**3 + 10*j**2 + 3*j - 57. Is u(6) a multiple of 4?
False
Suppose -2*a + 908 = -2*k, 0 = -4*a - 3*k + 1066 + 757. Is a a multiple of 13?
True
Let v(i) be the second derivative of 3/4*i**4 - 1/20*i**5 + 11/2*i**2 + 0 - i - 3/2*i**3. Is v(8) a multiple of 2?
False
Let f(t) = -t**2 - 11*t - 8. Let l be f(-8). Let d = l + -12. Suppose d*k - 206 = i, 0*i = -k - i + 49. Is 15 a factor of k?
False
Let n(m) be the second derivative of m**