ppose 83*m = 79*m + 744. Does 31 divide m?
True
Suppose 4*u - 37 = -g, -g - 28 - 5 = -3*u. Let c be (u + -2)*2/4. Suppose 0 = -c*j + 6*j - 26. Is j a multiple of 13?
True
Suppose 2*w - 2*u - 75 = -3*w, -4*w = -5*u - 43. Does 11 divide w?
False
Suppose s + 612 = 5*s. Does 16 divide s?
False
Let r(u) = 2*u**3 + u**2 + u - 1. Let p be r(1). Let c = p - 7. Is (c/5)/((-2)/50) a multiple of 10?
True
Suppose -72 = -61*l + 58*l. Is l a multiple of 6?
True
Suppose -i - 68 = -4*t + 23, 2*t - 41 = 5*i. Is 15 a factor of t?
False
Suppose 2*z = 2*y + 7 - 1, 4*z = 5*y + 9. Suppose -3*l + z - 3 = 0. Does 4 divide 2/2 - (-4 + l)?
True
Let i(j) = -11*j + 1. Let v be i(-1). Let s = v - -14. Suppose -s = -w - 10. Is 16 a factor of w?
True
Suppose 4*i + 76 = 2*k + 3*i, -2*i = -2*k + 72. Does 10 divide k?
True
Let r = 29 + -5. Let m(q) = -7*q + 1. Let t be m(1). Let s = r + t. Is 18 a factor of s?
True
Suppose -j = -4, j = 9*i - 8*i + 36. Let c(l) = 3*l**2 - l - 4. Let k be c(-4). Let x = i + k. Is 16 a factor of x?
True
Suppose 0*y = -3*y + 15. Suppose y*m = 444 - 119. Is 24 a factor of m?
False
Suppose -4*c + 2*c - 32 = 0. Let j be ((-40)/c)/(1/2). Suppose -3*q + j = -64. Is q a multiple of 13?
False
Let l be 2*(-3)/(-12)*10. Suppose l = i - 17. Does 8 divide i?
False
Let t(j) = j**3 + j**2 - 6*j - 2. Is t(3) a multiple of 8?
True
Suppose 14*a - 11*a = 234. Is 8 a factor of a?
False
Suppose 28 = b - 5*f, -3*b - 2*f + 128 = -6*f. Is b a multiple of 12?
True
Let k = 51 + -20. Suppose -17 = -y + k. Does 12 divide y?
True
Let l(u) = 7*u + 1. Let j(p) = -13*p - 1. Let v(f) = -3*j(f) - 5*l(f). Let n be v(2). Suppose -n*a = -2*a + 12, 5*h - 106 = 2*a. Is h a multiple of 10?
True
Suppose -3*i + 3*y + 27 = -0, -i - y = -19. Suppose 0 = 5*h - i + 39. Let r = h + 16. Does 4 divide r?
False
Let y(p) = 7*p - p + 19 - 7*p. Does 9 divide y(-17)?
True
Let g = 24 - 42. Is 2/(-9) + (-472)/g a multiple of 13?
True
Suppose -3*z - 40 = 2*z. Let g(k) = k**3 + 7*k**2 - 9*k - 7. Let m be g(z). Is 13 a factor of 6/(-15)*-65*m?
True
Suppose 4*v = o - 52, 0 = 4*o - o + 5*v - 88. Suppose -2*p + 28 + o = 0. Is p a multiple of 15?
False
Let u(n) be the first derivative of -n**2/2 + n + 2. Let o(w) = w. Let q(s) = -9*o(s) - 4*u(s). Does 15 divide q(-7)?
False
Let z(c) = -c**2 + 6. Let l be z(0). Is l/(-9)*174/(-4) a multiple of 18?
False
Let i = -9 - -18. Suppose 2*j = 29 - i. Is j a multiple of 5?
True
Does 3 divide (50 + 0)/(-7 + 9)?
False
Let u = -46 - -64. Is u a multiple of 7?
False
Suppose -48 = -2*t - 20. Let u = -10 + t. Suppose -u*z + 30 = z. Does 6 divide z?
True
Suppose t = 3*s - s - 127, -4*s + 279 = 3*t. Does 10 divide s?
False
Is 9 a factor of (-152)/(-10)*(-10)/(-4)?
False
Suppose 0 = 2*j - 5*b - 437, 0*j - 636 = -3*j + b. Does 23 divide j?
False
Let a be 1*(-2 + 1)*-3. Suppose -a*f + 16 = g, f + 4*f - 27 = -2*g. Suppose h = 5*s + 23, -h + 8 = 3*s + g. Is h a multiple of 7?
False
Suppose -2*s = -4, s + 78 = -r + 255. Is r a multiple of 35?
True
Let d(r) = -3*r + 1. Does 16 divide d(-5)?
True
Let w(y) = -y + 11. Let v be w(9). Is 2 a factor of (24/(-15))/(v/(-5))?
True
Is -8*5*20/8*-2 a multiple of 25?
True
Is 8 a factor of (29 + 1 - -3) + -4?
False
Let m = 132 + -212. Let n = 128 + m. Is 12 a factor of n?
True
Suppose -11 = 2*p - 2*g - 49, 25 = p + 5*g. Is 2 a factor of p?
True
Suppose 5*m - 18 = t, t = 3*m - 7 - 3. Suppose -11 = -2*q + m*a + 21, 0 = -5*q + 5*a + 90. Is q a multiple of 20?
True
Does 16 divide 2 + 0 - -17*1?
False
Suppose 3*x - 37 - 178 = -2*s, 3*s = 12. Suppose 0 = 5*j + 3*d - x - 128, 3*d - 12 = 0. Is 13 a factor of j?
False
Let y(d) = d**2 + 8*d + d**2 + 3 - 2*d**2 - d**2. Let b be y(8). Suppose 0 = x - b - 2. Does 5 divide x?
True
Let s be ((-2)/(-3))/((-2)/(-21)). Let y be 54/42 - 2/s. Let q(i) = 65*i. Is 22 a factor of q(y)?
False
Let q(h) = -h + 10. Suppose -2*a - 2 = -n + 6, -3*n + a = -24. Let i be q(n). Let m(c) = 4*c**2 + 2*c - 3. Does 12 divide m(i)?
False
Let y(i) = -i**3 - 11*i**2 - 10*i + 5. Let h be y(-10). Suppose 10 = -h*f + 35. Suppose -f*r + 54 = -m, -5*m = -0*r - 2*r + 17. Is 11 a factor of r?
True
Let h(y) = -y**2 - y - 1. Let j(b) = -b**3 - 13*b**2 - 8*b - 8. Let v be (-1 + -2)/(2/(-4)). Let p(x) = v*h(x) - j(x). Is 16 a factor of p(-5)?
False
Suppose -4*f + g = 4*g - 279, -g - 291 = -4*f. Is f a multiple of 18?
True
Let k = 72 - 11. Is 23 a factor of k?
False
Let z(t) = -13*t**2 + 3*t + 2. Let n be z(-2). Let l be (6/4)/((-6)/n). Is 14 a factor of l/(-5)*25/(-5)?
True
Let u be -2*1 + (43 - 6). Suppose -6 = 2*c, 4*c - u = -3*n + 55. Does 26 divide n?
False
Suppose 3*v + 4*q = 344, 3*v = -0*v - q + 329. Is 6 a factor of (4/(-6))/((-6)/v)?
True
Let t(k) = -5*k**3 + 6*k**2 + 3*k + 7. Let b(c) = c**3 + c**2. Let m(z) = -6*b(z) - t(z). Suppose 40 + 8 = -4*v. Is m(v) a multiple of 14?
False
Let x(v) be the first derivative of -11/2*v**2 + 1 + 10*v + 1/3*v**3. Does 4 divide x(11)?
False
Let k = -16 + 22. Suppose 0*v = -3*v + 15. Is k/(-10) - (-33)/v a multiple of 3?
True
Suppose 4*s = -5*w - 104, 4*w - 5*s + 30 = -86. Suppose -2*a + 10 = 2*u, -19 = -6*a + 2*a - 5*u. Is (a/(-8))/(1/w) a multiple of 7?
False
Let t be (-82)/4 + (-4)/8. Is (-2)/t*-9*-35 a multiple of 10?
True
Suppose 12 = 4*i, 5*o - 4*i = 1 + 2. Suppose s - o = -0. Is s a multiple of 2?
False
Let c = -8 - -22. Let z be (1 + 0 + 1)*4. Let d = c - z. Is 6 a factor of d?
True
Let i = 2 + 8. Is i a multiple of 5?
True
Let s be (-3)/(-4) + (-725)/(-20). Suppose 2*d + 7 = -1. Let g = d + s. Is 9 a factor of g?
False
Suppose 4*g = 3*g + 5*v - 25, -5*g - 25 = -5*v. Suppose 2*w + 2*u + 4 = -0*u, g = w - 4*u + 2. Does 10 divide ((-60)/(-9))/(w/(-6))?
True
Let m = 6 + -3. Let c = 0 + m. Suppose x = c*u - 19, 0*u + 5*x = 4*u - 7. Is u a multiple of 8?
True
Let l(r) = -r**3 - 7*r**2 - 3*r. Let w be l(-7). Let p = w - 29. Let o = 14 + p. Is 3 a factor of o?
True
Let z be (-3)/(-9) + 15016/6. Suppose -3*r + 173 - 2039 = -3*k, 4*r + z = -k. Is 11 a factor of r/(-20) - (-1)/(-4)?
False
Let y(b) = 5*b**2 + b - 1. Let l be y(1). Suppose l*p = -3*w + 1 - 15, -2*w = 2*p + 4. Is w even?
True
Let r = -22 - -26. Is 4 a factor of r?
True
Suppose -q = -3 + 2, 0 = -3*j - 3*q + 90. Let o = 77 - j. Is 24 a factor of o?
True
Let n(b) = 97*b. Is 6 a factor of n(1)?
False
Suppose -s - 4 = -k, -s + 43 = -3*s - 5*k. Let z = s + 14. Is z a multiple of 5?
True
Let x = -2 + 4. Let h be 8 + -1 + (1 - 1). Suppose -65 = -h*m + x*m. Does 6 divide m?
False
Suppose -t - 3*t - 4*u = -360, -270 = -3*t - 5*u. Suppose -25 - 71 = -2*d. Let c = t - d. Does 17 divide c?
False
Suppose -5*l - 25 = 0, -l = -q + 6*q. Let d(r) = r + 7. Let k be d(-5). Does 9 divide 9 - (2/k - q)?
True
Suppose 5*t = -8 - 27. Let g be 1/4 - t/4. Suppose -6*z = -2*z + g*f - 20, -f + 7 = z. Is z a multiple of 3?
True
Let q be 4/(-6) - (-12964)/42. Suppose -v + 5*v = q. Does 29 divide v?
False
Let x = 253 + -124. Is 22 a factor of x?
False
Let g(k) = -k + 24. Is 5 a factor of g(13)?
False
Let q(t) = -t**3 + t + 2. Let v(b) = -b**2 + 2*b + 5. Let l be v(4). Let p be q(l). Let o = p + 4. Is 12 a factor of o?
False
Let a(w) = -w + 13. Let b be a(12). Let k(g) = -g + 3. Let v be k(7). Does 5 divide (-2 + 3)*(b - v)?
True
Let u(y) = y**3 + 15*y**2 - 22*y. Is u(-16) a multiple of 13?
False
Let q be 6/18 + 5/3. Suppose -5*x + 4*i = -14, 0 = -0*x + 2*x - 5*i - 9. Suppose 0 = -z - q*o + 22, x*z - o - 38 = 11. Does 16 divide z?
False
Let t(f) = -2*f + 7 - f**2 - 10*f - 2*f + 0. Is 15 a factor of t(-10)?
False
Let q(u) = -u**2 + 23*u + 8. Is q(16) a multiple of 15?
True
Suppose -4*h + 6*h = 2. Let r be (-1 - 0) + 4 + h. Let q = 6 + r. Is 4 a factor of q?
False
Let b(z) = -z + 9. Let k be (-3 + 3)/((-3)/3). Is 7 a factor of b(k)?
False
Let n be 58 + 4 - (-2 + 2). Suppose -n = 5*q - 362. Is 20 a factor of q?
True
Let m(r) = -2*r**3 + 11*r**2 - r - 5. Let d(f) = -f**3 + f**2 - f. Let t(j) = 3*d(j) - m(j). Is t(-8) a multiple of 12?
False
Let i(s) = 487*s**2 - s + 1. Let w be i(1). Suppose 6*k + 157 = w. Does 11 divide k?
True
Suppose 5*c + 4*s - 254 = 113, 5*c - 3*s = 346. Is 12 a factor of c?
False
Is 7 a factor of (-7)/4*-5*(8 + 0)?
True
Suppose -5*m + 4*m = -2*z, 2*m - 3*z + 2 = 0. Let v(l) = 2*l + 2*l + 1 + l**2 - 3*l. Is v(m) a multiple of 8?
False
Let k(j) = 2*j