4*u = -0*u - 12. Let n = -1 + u. Does 13 divide ((11 - n) + -1)*4?
False
Let j = -10 + 2. Let l = j + 18. Suppose -8 = -2*b - 2*t, -6*b + 3*b - 4*t + l = 0. Is 6 a factor of b?
True
Let f = 1 - 4. Let n be f/(-6)*0/1. Suppose 3*x + n*x - 36 = 0. Does 8 divide x?
False
Let w = 277 + -193. Does 7 divide w?
True
Let b = 25 - 23. Suppose 3*i - 55 + 3 = -f, b*f - 4*i = 104. Does 26 divide f?
True
Suppose -23*k + 945 = -18*k. Does 27 divide k?
True
Suppose -2*u + 18 = 2*q, -4*q + 4*u + 45 = q. Is 4 a factor of q?
False
Suppose -1 = c - 2*z + 5, 4 = 2*z. Is (c - -3)*-1*-18 a multiple of 13?
False
Let y = -11 - -14. Suppose -26 = -y*k + 28. Does 6 divide k?
True
Suppose 120 = 3*l - l. Suppose -4 - 8 = -3*o. Suppose -4*i = o, h + h - 4*i - l = 0. Is 14 a factor of h?
True
Let a = 17 - 7. Does 10 divide a?
True
Let n(r) = 2*r**3 - 2*r**2 - 2*r + 1. Does 3 divide n(2)?
False
Suppose 4*n + 5*i - 5 = 4*i, -12 = 4*i. Suppose -32 = -2*m - n*t, 2*t = m + 4*t - 17. Is m a multiple of 15?
True
Let g be (-2*(1 - 2))/(-1). Let x be (-1)/((-1)/50*g). Let v = -11 - x. Is v a multiple of 5?
False
Let h(k) = -2*k + 3. Suppose -4 = 4*b + 5*p + 38, 3*b = 4*p - 16. Is h(b) a multiple of 4?
False
Let j = -5 + 9. Suppose 0*f + 4*w = 3*f + 122, 0 = -f - j*w - 30. Let s = f - -72. Is 17 a factor of s?
True
Let p = 107 - 36. Is p a multiple of 19?
False
Suppose t - 35 - 22 = 5*f, -f = -3. Is 18 a factor of t?
True
Suppose 34 + 71 = -5*u. Let v = 31 + u. Let n = v - 0. Does 9 divide n?
False
Suppose n + 4*g = 24, -5*n = -g - 3*g. Suppose -y - 36 = -n*y. Is y a multiple of 6?
True
Suppose 2*l - 52 = 138. Is l a multiple of 19?
True
Let n be (-4)/(-7) + 424/(-7). Suppose 2*h - 33 = 135. Let p = n + h. Is 24 a factor of p?
True
Let g = 9 - 0. Does 16 divide 122/6 - (-6)/g?
False
Let o = 15 - 11. Suppose -4*a + 56 = 3*v - v, -o*v = -3*a - 156. Is 19 a factor of v?
False
Let c = -131 + 24. Let h = -69 - c. Is h a multiple of 19?
True
Suppose -520 = 2*w - 4*w. Suppose 0 = -0*y - 3*y + 4*f + 157, w = 5*y - 5*f. Is 17 a factor of y?
True
Let m be -1 + 4 + (4 - 1). Let v = 12 + m. Does 10 divide v?
False
Let g(h) = -h**2 + 9*h - 9. Let n be g(7). Suppose 3*k - n*z = -0*k + 62, 76 = 3*k + 2*z. Does 4 divide k?
True
Suppose 36*o - 35*o - 136 = 0. Is o a multiple of 8?
True
Does 11 divide (20/10)/((-40)/22 - -2)?
True
Let z(q) = q + 1. Let h be z(1). Suppose 0 + 22 = h*f. Does 5 divide f?
False
Let b = 3 + -1. Suppose 0 = b*o + 1 - 9. Suppose -o*q + 3*g = -50 - 129, 46 = q - 2*g. Is q a multiple of 16?
False
Does 28 divide 1124/10 - 12/30?
True
Let d(l) be the third derivative of -l**6/120 - l**5/20 - l**4/8 - l**3/6 + 4*l**2. Let t be d(-4). Let x = t - 4. Is x a multiple of 9?
False
Suppose 3*m - 6*r + 7 = -4*r, 0 = -3*r + 6. Let w(g) = -14*g. Does 14 divide w(m)?
True
Suppose -3*y + 21 - 6 = 0. Does 3 divide y?
False
Is 1 - 2 - (-17 + -5 + 4) a multiple of 9?
False
Let n be 1*(-3 + 3)/(-1). Suppose n = 2*t - 5*k + 50, -2*t - 4*k - 66 = -k. Let c = 75 + t. Is 15 a factor of c?
True
Let j(v) = v**2 - 15*v + 5. Let u be j(15). Let a(t) = t - 2*t + 3*t. Does 10 divide a(u)?
True
Suppose -2*b + 22 = 2*f + f, 4*b - 40 = -5*f. Suppose -3*n - 10 = -8*n, f*s + 4*n - 72 = 0. Is 4 a factor of s?
True
Let q be 4246/14 + 2/(-7). Suppose -d + q = 5*g, -3*d = -4*g - d + 234. Does 20 divide g?
True
Is 36 a factor of (-2)/7 + (-5298)/(-21)?
True
Let u = -21 - -77. Does 28 divide u?
True
Let f = -1 + 2. Let u = 1 - f. Suppose -3*h + j + 92 = -u*j, 2*h - 72 = -2*j. Is h a multiple of 24?
False
Suppose -5*h + 16 = -24. Suppose h = b - 2*b. Is (-2)/b - (-35)/4 a multiple of 7?
False
Let d(a) = -5*a - 10. Let p(k) = -14*k - 30. Let q(h) = -8*d(h) + 3*p(h). Let i be q(-11). Suppose 5*j - i = 3*j. Is 2 a factor of j?
True
Let c = -2 - -2. Suppose 0 = 3*l - 0*l - 6, c = 4*a + l - 510. Suppose 0 = -2*t + o + 83, 0*o = 3*t + o - a. Is t a multiple of 15?
False
Let b(d) = -26*d + 16. Let o(m) = -52*m + 33. Let r(p) = -13*b(p) + 6*o(p). Does 17 divide r(4)?
False
Let k(w) = -3*w**2 + 5*w + 6. Let i(o) = -4*o**2 + 5*o + 7. Let l(r) = -2*i(r) + 3*k(r). Does 8 divide l(4)?
True
Let s be -1*(-2 - (-12)/(-2)). Let h be s/(-12) - (-28)/6. Suppose -h*a = 3*y - 173, -126 = -3*a - 4*y - 5. Is a a multiple of 13?
False
Suppose -3*v + 30 = -3. Let o = v + -20. Is 7 a factor of ((-18)/(-8))/(o/(-48))?
False
Suppose 2*g + 2*g - 6 = -3*z, -z + 2*g + 2 = 0. Suppose m + 2*m + 5*o - 94 = 0, z*m - 2*o - 68 = 0. Is 11 a factor of m?
True
Suppose 2*q - 3 - 7 = 0. Suppose 2*v - q*h + 10 = 7*v, 4*h - 26 = 5*v. Is 3 a factor of (v*2)/(0 - 1)?
False
Let t(d) be the second derivative of -d**5/20 - d**4/4 + 4*d**3/3 + 7*d**2/2 + 3*d. Is t(-5) a multiple of 17?
True
Let y be 0*(1/(-2) + 1). Suppose 0 = -y*u + u - 16. Does 15 divide u?
False
Suppose -4 + 3 = 3*o + 2*h, o = 5*h - 23. Let d = 1 + 1. Is 13 a factor of (14 + o + d)*1?
True
Does 22 divide (114/4)/(21/56)?
False
Let n = 45 - 33. Is n a multiple of 4?
True
Is 7 a factor of 908/9 - (-2)/18?
False
Let g = -7 - -11. Suppose g*r - 2*h = 3*h + 138, -2 = h. Suppose -r = -4*c - 0*c. Does 4 divide c?
True
Let f(k) = -16*k - 3. Does 10 divide f(-2)?
False
Let j(a) = 2*a**2 + 3*a - 15. Let c be j(-7). Suppose 8*b - 6*b = c. Is 8 a factor of b?
False
Let j be (24/(-2))/4 - -8. Let c(z) = z**3 - 3*z**2 - z. Is c(j) a multiple of 16?
False
Suppose -5 = 4*u - 21. Suppose -3*b + 4*x + x = -70, -u*b + 5*x = -95. Is b a multiple of 17?
False
Suppose 230 = 5*t - 5*m, 2*t - 3*m - 34 = 56. Does 24 divide t?
True
Let y = 162 - 115. Let d = 9 + y. Does 14 divide d?
True
Let g be ((-15)/9)/(1/(-3)). Let w = 3 + g. Is w a multiple of 5?
False
Let n(h) = -h**3 - 5*h**2 - 2*h + 4. Suppose 12 + 16 = -4*t - 2*g, 5*g = 4*t. Is 6 a factor of n(t)?
False
Let j(b) = -4*b**3 - 2*b**2 - b - 1. Does 12 divide j(-2)?
False
Let s be 76/16 + (-9)/12. Suppose 2*c + 20 = s*j + 96, 0 = -4*c - 2*j + 112. Is c a multiple of 15?
True
Let x(p) = -p**3 - 7*p**2 - 6*p + 14. Is x(-6) a multiple of 6?
False
Let n = -20 + 28. Is 2 a factor of n?
True
Let r = 41 + -72. Let g = r + 51. Does 18 divide g?
False
Let p(l) be the first derivative of -l**3/3 - l**2/2 + 11*l + 2. Let b be p(0). Let j = b - 6. Is j a multiple of 2?
False
Let c be -2 + 1 + (2 - -9). Suppose 3*i - 23 = c. Is i a multiple of 11?
True
Suppose 48 = 3*s - v, 3*s = -3*v + 2*v + 54. Let f = 7 + s. Suppose -3*j = -j - f. Is 6 a factor of j?
True
Suppose -5*u - 3*j + 1 = -6, -6 = -2*u - 2*j. Let z be 0/3 + 0 + -2. Is 2 a factor of (u + 5 - 0) + z?
True
Let c(b) = -b**3 + 8*b**2 - 9*b + 8. Let k(a) = 7*a**3 - 2*a**2 + 1. Let j be k(1). Does 13 divide c(j)?
True
Let t = 4 - -35. Suppose 0 = 3*n + t - 123. Is 14 a factor of n?
True
Suppose -6*q = -10*q + 36. Let c be 3/12 - 14/(-8). Suppose -2*x - c*v - q = -3*x, -2*v = 0. Is 9 a factor of x?
True
Let k(p) = -2*p + 39. Does 5 divide k(4)?
False
Let w = -6 + 18. Suppose -3*n + 0 + 4 = p, -5*p - 2*n + 20 = 0. Suppose -p*f = -f - w. Is 2 a factor of f?
True
Is ((-2)/3)/(32/(-11472)) a multiple of 24?
False
Let q(p) be the second derivative of -p**5/20 - p**4/2 + 7*p**3/6 + 5*p**2/2 - 3*p. Let n be q(-7). Suppose 78 + 12 = n*c. Is 18 a factor of c?
True
Let x(q) = -2*q - 5. Let s(w) = 3*w + 4. Let u(g) = -4*s(g) - 3*x(g). Is 2 a factor of u(-1)?
False
Let s(i) = -i**2 - 8*i + 1. Let u be s(-5). Suppose -x = -3*x + u. Is x a multiple of 4?
True
Suppose -4*t - 52 - 121 = -5*h, 4*h - 3*t - 138 = 0. Is h a multiple of 11?
True
Let z be (-1 - (-14)/10)*10. Suppose z = 4*b - 12. Suppose b*y - 153 = -5*t, -2*y = -y + 5*t - 57. Does 13 divide y?
False
Let n = 52 + 33. Is n a multiple of 23?
False
Suppose -9*j + 4*j = -15. Suppose 0 = -5*i - 4*t + 197, -j*i + t + 145 = i. Suppose 2 = -5*w + i. Is 7 a factor of w?
True
Suppose 2*c = -5*y - 8 + 53, -c = -2*y + 9. Suppose 28*j = 26*j + 100. Suppose y*f = 12*f - j. Is 4 a factor of f?
False
Suppose 0 = x - 3*v + 2*v - 10, -4 = 2*x + 4*v. Is 2*(-3 + 39/x) even?
False
Let a(m) = 7*m**2 + 2*m + 5*m**2 + m**3 - 5 - 1. Does 31 divide a(-11)?
True
Suppose 3*x + 17 = 4*r + 4, -2*r + 4 = -2*x. Let c be (8 - r) + 1*-1. Is 2 a factor of (c - 2)/2 + 4?
False
Let t(k) = 2*k**2 + 3*k - 4. Let s(m) = -2*m + 12. Let b be s(8). Is t(b) a multiple of 9?
False
Suppose 3*j - 21 = -9. Suppose -4*c = 