z) = -z + 2. Let v be w(-3). Suppose 5*x - 74 = -2*a, v*x + a - 3*a = 86. Is x a multiple of 8?
True
Suppose 0*o - o - 5 = -2*l, 5*o = -2*l + 11. Let v be (-1)/l + (-44)/12. Let n(w) = 4*w**2 + 4*w - 5. Does 15 divide n(v)?
False
Suppose 10 = -2*x - 3*x, 3*x - 90 = -r. Suppose -5*w + 9*w = r. Does 12 divide w?
True
Suppose 0*h - 2*h + 46 = 0. Suppose 0 = -2*r + 19 + h. Is r a multiple of 18?
False
Let j(n) = -n - 1 + 5 - 3. Let z be j(3). Let g = 3 - z. Is g a multiple of 5?
True
Is (-1 - -3) + 7 + -5 a multiple of 3?
False
Let f = -2 + 3. Let p = 16 - f. Let k = p + -7. Is 5 a factor of k?
False
Let y(o) = -o**3 - 8*o**2 + o - 3. Let u be y(-7). Does 6 divide u/(-4) - (-4)/16?
False
Suppose 3*o - 8 = 5*o. Let m be (o/2)/(1/(-25)). Let r = -33 + m. Does 17 divide r?
True
Suppose 27 = 2*m - 13. Does 10 divide m?
True
Suppose -2*t - t = -123. Is t a multiple of 9?
False
Suppose 240 = 5*r - 0*r. Does 8 divide r?
True
Suppose 0*j + 2*j = 168. Let p = -27 + j. Does 19 divide p?
True
Suppose 0 = -a + n - 392 - 74, 20 = -4*n. Let b = -287 - a. Suppose l - b = -3*l. Does 13 divide l?
False
Suppose 0 = 6*k - 832 - 380. Is k a multiple of 24?
False
Suppose 3 = 2*o + 11, -3*o = -4*b + 36. Let c(y) = 83*y**2 - y**3 + 2*y - 9 + 0*y**3 - 76*y**2. Is c(b) a multiple of 16?
False
Let l(s) = s**3 - 2*s**2 - s - 1. Let p be 22/6 + (-14)/21. Is l(p) a multiple of 3?
False
Let j(x) = x**3 - x + 2. Let v be j(4). Suppose 5 = 5*p + w, 3*p - 2*w + 3*w - 1 = 0. Suppose -24 = -p*g + v. Is 20 a factor of g?
False
Let s(t) = t**3 - 5*t**2 + 6*t + 3. Does 15 divide s(6)?
True
Let q(h) be the first derivative of -h**4/4 + h**2 - h + 2. Let t be q(-2). Suppose -t*k - 15 = -120. Is 13 a factor of k?
False
Suppose 619 + 551 = 5*s. Is s a multiple of 9?
True
Let w(q) = -12*q - 1. Suppose 0 = 5*v + 15, -p - v + 18 = -3*v. Suppose 3 = 5*h + 4*o, -4*h + o = -3*o + p. Is 3 a factor of w(h)?
False
Suppose 3*a + 5 = 428. Is 28 a factor of a?
False
Is 29 a factor of (348/10)/((-8)/(-20))?
True
Suppose 0 = -w + 64 + 80. Is 22 a factor of w?
False
Let w = 3 + -1. Suppose -w*u + 22 = -4*u - r, 0 = -5*u + 2*r - 37. Let q = 42 + u. Is 11 a factor of q?
True
Let b = -8 + 13. Let n = 18 - b. Is n a multiple of 4?
False
Suppose -14 + 56 = 3*v. Suppose -2*d + 12 = -v. Is d a multiple of 13?
True
Suppose 5*n = -0*a - 2*a + 1083, 5*a = 4*n - 873. Is n a multiple of 65?
False
Let k be ((-332)/(-1) - -1) + 3. Suppose -3*p + k = p. Does 28 divide p?
True
Let l be 0/3*1/(-1). Is 2 + l*3/(-9) even?
True
Is 8 a factor of (-48)/(2 - (-3 + 6))?
True
Let a = 20 - -16. Does 18 divide a?
True
Suppose -3*r = -6*r - 6. Let p(l) be the first derivative of -11*l**2/2 + 2*l - 1. Is 12 a factor of p(r)?
True
Suppose 10 = 5*r - 0*r. Is 2 a factor of r?
True
Let j be (-958)/(-14) - 4/(-7). Let p = j - 33. Is p a multiple of 26?
False
Is 9 a factor of 126/8 - (-6)/(-8)?
False
Let i(b) = 4*b**2 - 4*b - 4. Let y be i(-3). Is 11 a factor of (-3)/2*y/(-6)?
True
Let x be -1 + (-5)/(-2 - -1). Suppose -100 = -x*p + 52. Is p a multiple of 21?
False
Is 16 a factor of (2 - 3*-17) + 1?
False
Let c(q) = 2*q**2 - 5*q - 3. Let p(x) be the first derivative of -2*x**3/3 - x**2/2 + 2. Let u be p(1). Does 12 divide c(u)?
False
Suppose 63 = z - 109. Is z a multiple of 26?
False
Let l(d) = -5*d**3 + d. Let t be l(-1). Suppose t*g - 9 - 35 = 0. Is 11 a factor of g?
True
Let z be (-3)/(-4 - -3) + -1. Suppose -5*r + 35 = -4*a, 3*r + 5*a = z - 18. Does 2 divide r?
False
Let v be -1*2 + (1 - -1). Suppose n - 3*w = -6 - 2, v = 3*w - 12. Does 9 divide (3/n)/((-1)/(-24))?
True
Let g(j) = -7*j**3 - 13*j**2 + 10*j - 6. Let x(i) = i**3 + i**2 - i. Let v(y) = -g(y) - 6*x(y). Does 14 divide v(-4)?
True
Let t = 70 - 50. Suppose 5*p + 49 = -x, -5*p - 4*x + 8*x = 29. Is t/9 + 2/p a multiple of 2?
True
Let i(l) = l**2 - 6*l + 1. Let y = -23 - -32. Does 14 divide i(y)?
True
Let r = 6 + -10. Is 4/(-8) - 54/r a multiple of 4?
False
Let s be (-8 + 8)*2/(-4). Let i be (s + 1 - -2)*1. Suppose -2*g + i*g = 22. Does 22 divide g?
True
Let a(i) be the third derivative of i**6/120 + 11*i**5/60 + 7*i**4/24 - 5*i**3/6 + 7*i**2. Is a(-10) a multiple of 7?
False
Let k = -127 - -170. Does 8 divide k?
False
Let y(t) = 60 + 3*t - 2*t - 24 + t**2 + t**3. Is 12 a factor of y(0)?
True
Let v be (-7 + 3)/((-1)/(-3)). Let i = 23 + v. Is i - 1*-2 - -2 a multiple of 5?
True
Suppose 26*d = 29*d - 225. Does 12 divide d?
False
Is (-2 - 4/12)*-33 a multiple of 21?
False
Suppose 2*v + 255 = 3*t, 0*v + 3*t + 285 = -2*v. Let y = -52 - v. Does 19 divide y?
False
Suppose r = -4*p - r + 12, 3*p - 3*r - 9 = 0. Suppose -p*o + 21 = -5*q, -5*o + 2*q + 23 = -12. Does 7 divide o?
True
Let a be -5 + (-6)/(-3) + 5. Suppose -2*o + 27 + 32 = -i, -a*o + 60 = -2*i. Is 29 a factor of o?
True
Let r be (-2)/(-7) + (-15)/(-21). Is 9 a factor of 2/(1/8*r)?
False
Let v(b) = 386*b + 2. Let j be v(3). Suppose 4*p + p = j. Suppose k + 3*k = p. Does 23 divide k?
False
Suppose -2*s - 2*q + 196 = 3*s, 5*s - 198 = -q. Does 5 divide s?
True
Let p(f) = f**2 + 6*f + 12. Suppose n - 3*o = -1, o - 1 - 8 = -4*n. Suppose -n*z - 3*z = 2*b + 36, -4*b = z. Is p(z) a multiple of 14?
True
Suppose 17 - 185 = 2*u. Let i = -48 - u. Is 8 a factor of i?
False
Let p = -7 - -12. Suppose r = -p*f + 1, 0 = -5*f - r + 4*r + 17. Is 4 a factor of f*9 + -1 + 3?
False
Let y(s) be the second derivative of s**4/12 + s**3/3 + 61*s**2/2 - 3*s. Does 19 divide y(0)?
False
Suppose -l + 2*d - d + 11 = 0, 44 = 4*l - 3*d. Does 5 divide l?
False
Suppose 0*g = 3*g - 420. Is g a multiple of 28?
True
Let p be 3/12 + (-598)/(-8). Is (8/(-10))/((-6)/p) a multiple of 5?
True
Let d(x) = -10*x. Let j be d(5). Let c = j - -73. Is 20 a factor of c?
False
Is 0 + 46 - (2 + -4) a multiple of 8?
True
Let o(g) = -g**3 - 9*g**2 - 10*g - 8. Let j be o(-8). Let s be 6/j - (-306)/8. Suppose 3*y - s = 12. Is 12 a factor of y?
False
Suppose -5*k + 2*w + 3 - 16 = 0, -4*w + 13 = 3*k. Let t be 104*1*k/2. Is (2/4)/((-2)/t) a multiple of 10?
False
Suppose -19 = 2*l - 5*r, -3*l - 2*l + 35 = 4*r. Suppose -25 = 2*k - l*k. Is k a multiple of 17?
False
Does 13 divide (-1 - -86)*8/8?
False
Suppose -15 = 4*a + 33. Let q(h) = -h**3 - 12*h**2 - 3*h - 9. Does 9 divide q(a)?
True
Suppose 2*f + 3*j - 12 = 0, 4*j = -3*f + 2*j + 13. Suppose -38 = q - a, -4*a + 3*a = -f. Let b = 63 + q. Is b a multiple of 14?
True
Let c = -15 - -7. Let j = 13 + c. Suppose 6 + 34 = j*g. Is 5 a factor of g?
False
Suppose 8 - 16 = 2*z. Let r = 17 - z. Does 21 divide r?
True
Suppose -12 = 5*d - 2*d. Does 8 divide (-50)/(-6) + d/(-6)?
False
Suppose 0 = 2*z - 7*z + 25, 0 = -5*v - 5*z + 425. Does 20 divide v?
True
Let c(a) = a**3 + 3*a - 1 - 2*a - 6*a - 3*a**2. Is c(5) a multiple of 13?
False
Suppose 6*p - 3*p = 90. Let u = 42 - p. Is u a multiple of 6?
True
Suppose -2*c - 32 = -6*c. Is c a multiple of 4?
True
Let y = 18 - 15. Suppose 4*u - 3*l = 137, y*u - 3*l + 87 = 6*u. Is u a multiple of 9?
False
Is (4/(-10))/(2/(-750)) a multiple of 25?
True
Let w(o) = o + 6. Let y be w(-12). Let x = 2 - y. Does 8 divide x?
True
Let w be (-21)/(-7) + 31 + 1. Suppose w = 4*d - 25. Is d a multiple of 14?
False
Suppose -330 = -4*u + 5*y, 5 - 266 = -3*u - 3*y. Is u a multiple of 17?
True
Suppose 5*m = -0*j + 2*j - 99, 2*j + m = 81. Let n be (-10)/(-14) + 12/j. Let y = n - -11. Is y a multiple of 6?
True
Let j(y) = y**3 + 7*y**2 + 3*y + 5. Is 10 a factor of j(-5)?
True
Let l(m) = 2*m**2 + 5*m**2 - 2*m**2. Is l(-3) a multiple of 24?
False
Let w(h) be the third derivative of -5*h**4/24 + h**3/3 - h**2. Does 5 divide w(-3)?
False
Is 1*(13 - (-1 + 1)) a multiple of 6?
False
Let b(x) = -x**2 - 3*x + 96. Does 12 divide b(0)?
True
Let p = 10 - -2. Let v = p + -7. Suppose 4*h = 12, -h + 2*h + 67 = v*z. Is 14 a factor of z?
True
Is 1506/14 + (-15)/(-35) a multiple of 21?
False
Suppose 4*f = 3*f + 2. Let p(g) = -g**2 + g + 5. Let i be p(0). Suppose -i*j + f*w + 37 = 0, -2*j - j = -5*w - 7. Is 5 a factor of j?
False
Suppose 0 = 4*f - 5 - 27. Let x be ((-6)/4)/(6/f). Is 9 a factor of x/(-11) - 564/(-44)?
False
Let k be 0/((1 - 2)/(-1)). Let g(j) = -j + 14. Let o be g(k). Suppose -4*w + 3*r + 1 = -0, w - o = -2*r. Does 4 divide w?
True
Let o(b) = -1 - 15*b**2 + 0 - 2*b + 162*b**2. Let m be o(-1). Suppose 26 = 4*r - 3*r + 4*i, -4*r - 