15)). Suppose -r*d = -4*d - 23. Is d a multiple of 9?
False
Let w = -41 + 76. Suppose -6*m - w = -m. Is 6 a factor of (0 - m)*(1 - -1)?
False
Let l be -1 - 0 - 2 - 20. Let y = 3 - l. Is y a multiple of 26?
True
Let k = -21 - -34. Does 6 divide k?
False
Suppose -135 = -0*d - 5*d. Suppose 2*y - d = y. Is y a multiple of 27?
True
Is (-6)/10 - (-1701)/35 a multiple of 24?
True
Suppose -3*z = -z - 88. Does 16 divide z?
False
Suppose 4*f = -0*f + 40. Is 7 a factor of f?
False
Is 48 a factor of (74 + -2)/(-3)*-8 + 0?
True
Let x be (-2)/(-3) - 40/(-12). Suppose 0 = -x*n - 2*i + 32, 2*n = -4*i - 0*i + 28. Suppose 2*j - n*j + 8 = 0. Does 2 divide j?
True
Let t be -2 + -3*(-2 + -8). Suppose -g - 4 + t = 0. Is 12 a factor of g?
True
Suppose 0*u = -6*u + 78. Is 13 a factor of u?
True
Let u(g) be the second derivative of 2*g + g**3 - 1/12*g**4 - 3/2*g**2 + 0. Is u(5) even?
True
Does 43 divide (-2)/(418/(-138) - -3)?
False
Let h(d) = d**3 + 6*d**2 - 12*d + 2. Is 37 a factor of h(-7)?
True
Suppose -4*k = 2*g - 52, 48 = 4*k + 5*g - 2*g. Let w = k - 10. Does 4 divide w?
False
Let p(t) be the second derivative of -t**3/6 + 3*t**2/2 + 3*t. Is 10 a factor of p(-10)?
False
Suppose 0 = 4*t - 16 - 4. Let d = 4 - t. Is 14 + (d - 0/(-1)) a multiple of 9?
False
Suppose 0 = 2*j - 0*j. Suppose 5*p - 30 = -j*p. Does 3 divide p?
True
Let j(g) = 9*g**2. Let r be j(-1). Let q(z) = -2*z - 4. Let n(d) = -5*d - 12. Let p(i) = 4*n(i) - 11*q(i). Does 6 divide p(r)?
False
Suppose -5*r = 3*x + 2*x + 5, 6 = -2*x + 2*r. Is 11 a factor of (x/6)/(1/(-33))?
True
Let d(c) = 4*c + 1. Let o be (-2)/4*2/(-1). Let i be d(o). Is (-11)/(3/(-1 - i)) a multiple of 17?
False
Let f = -12 + 8. Let k be (6 - 1) + 12/f. Suppose -k*a + 32 - 10 = 0. Is a a multiple of 8?
False
Let n = 15 - -6. Is n a multiple of 10?
False
Let w(n) = -6*n**2 + n + 4. Let u be w(-4). Let l = 25 - u. Suppose -14 - l = -5*h. Is 9 a factor of h?
True
Suppose -4*s + s - 15 = 0, -p + 3*s + 168 = 0. Is 17 a factor of p?
True
Let i(k) = -8*k**2 - 3. Let u(x) = x**2 - 1. Let g(f) = -i(f) + 3*u(f). Is g(-1) a multiple of 4?
False
Suppose -2*u - 590 = -0*u. Let x = -172 - u. Suppose -6*b = -3*b - x. Is 17 a factor of b?
False
Let y(r) = -r**3 - 4*r**2 + 3*r - 3. Is y(-6) a multiple of 17?
True
Let j = -13 + 29. Suppose -2*v - 6 = -5*v. Does 12 divide (12/j)/(v/32)?
True
Let z = -133 - -19. Is 19 a factor of (z/(-12))/(1/2)?
True
Let m be (-12)/10*(-5)/2. Suppose -m*g = 2*g - 25. Let x = -1 + g. Does 3 divide x?
False
Suppose 4*p - 28 + 8 = 0. Let y(d) = 6*d - 2. Is y(p) a multiple of 25?
False
Let u(m) = 4*m**2 + 13*m + 7. Is u(-5) a multiple of 17?
False
Let v = -187 - -407. Is 22 a factor of v?
True
Let j = 12 - 4. Let z = -1005 - -97. Does 16 divide 2/j + z/(-16)?
False
Suppose -2*u + x + 13 = -2*x, 0 = -2*u - 5*x + 21. Is 442/u - (-18)/(-72) a multiple of 16?
False
Let a = 150 - 86. Does 15 divide a?
False
Let q = 3 + 2. Suppose 5*z = q*o - 10, 0 = 3*z + 2*z + 3*o - 22. Is 2 a factor of z?
True
Let q(r) = r**3 + 4*r**2 - r. Let m be q(-4). Let p = m - -5. Is p a multiple of 9?
True
Let m(f) = -6*f + 49. Is m(-23) a multiple of 18?
False
Let f(s) = 10*s + 17. Does 29 divide f(7)?
True
Let i be (-2)/(-1) + (-1 - -95). Suppose -4*m + 191 = 5*d - i, 0 = -2*m - 2*d + 146. Does 16 divide m?
False
Suppose 0 = 3*n + 3, 5*o - n = n + 367. Does 14 divide o?
False
Let p(c) = -c**3 - 7*c**2 + c + 4. Let d be p(-8). Suppose -2*i + d = 3*i. Does 6 divide i?
True
Let j = 57 + 72. Is j a multiple of 20?
False
Suppose 0 = -0*d - 3*d - 12. Suppose -3 = -3*i + 3. Let g = i - d. Is 3 a factor of g?
True
Let f = 26 + -24. Suppose w + 3*t = 12 + 47, 3*t + 145 = f*w. Does 16 divide w?
False
Let t = -61 - -99. Does 38 divide t?
True
Does 7 divide -1 + 0 + 60/1 + -3?
True
Let b = 34 + -59. Let t be (-66)/(-10) - (-15)/b. Suppose -4*o + t = -14. Does 2 divide o?
False
Let c be (-2)/(-4) + (-4)/8. Suppose 4*u - 16 = c, 0*i + i + 5*u - 32 = 0. Is i a multiple of 6?
True
Suppose -5*l - 50 = -5*z, -5*l + l + 20 = z. Suppose -5*s + 107 = z. Does 7 divide s?
False
Suppose w + 6 = 3*w. Does 9 divide 234/12 + w/(-2)?
True
Let x(u) = -5*u + 0*u**3 + 4 - 7*u**2 - u**3 + 5*u. Let b be x(-7). Suppose 4*t - 14 = -o + 50, -3*t - b*o = -61. Is t a multiple of 8?
False
Suppose 0 = g + 2*g + 5*c - 403, 2*g - 5*c = 227. Let m be g/(-8)*(-3 - 5). Suppose 0*t = 3*t - m. Is t a multiple of 21?
True
Let z = -2 - 0. Does 14 divide 2 + -2 - 42/z?
False
Let k = 4 - 0. Suppose -o = -k*o + 66. Does 11 divide o?
True
Suppose -5*p - 260 = r, 2*p = -0*p - r - 101. Let d = p - -38. Let u = d - -48. Does 11 divide u?
True
Suppose 6 + 0 = 2*p, 3*m + 2*p = 159. Suppose -3*x + m = -57. Suppose 0 = 2*j - 2 - x. Does 19 divide j?
True
Let c be -1 - 0 - (-1 + 0). Suppose 0 = -x + 2 - c. Is (-2 - -12)/x - -1 a multiple of 6?
True
Suppose -q + 4*q - 24 = 0. Suppose -q = 4*x - 92. Does 10 divide x?
False
Let p = 0 + 2. Suppose -g + p*l = -11, l = -l - 10. Does 8 divide (60/(-3) + g)/(-1)?
False
Suppose 0 = 3*u - 4*u + 2. Suppose u*g - 6 + 2 = 0. Is 9 a factor of (-148)/(-8) - g/4?
True
Does 2 divide 1/4 + (-118)/(-16)*2?
False
Let l be 15/(-5) - -7*1. Suppose -d + 3*r = 2*d - 78, -5*r + 68 = l*d. Does 11 divide d?
True
Let z(u) = 2*u**2 - 9*u + 8. Let f be ((-20)/7 - -2)*-7. Is z(f) a multiple of 13?
True
Suppose -5*h - 145 + 441 = i, 3*h = 3*i + 192. Suppose 3*x - 33 - h = 0. Is 16 a factor of x?
False
Let a = 6 + 10. Is 5 a factor of a?
False
Let r(m) = -114*m - 8. Is 17 a factor of r(-4)?
False
Suppose 5*p + b = 993, -5*b = -3*b - 6. Is 16 a factor of p/(-4)*2/(-3)?
False
Let q(l) = 9*l**3 + 13*l**2 - 5*l - 9. Let n(o) = -5*o**3 - 7*o**2 + 4 + 3*o - 5 + 6. Let m(b) = -7*n(b) - 4*q(b). Is m(-4) a multiple of 11?
False
Is 17 a factor of 174/10 - (-10)/(-25)?
True
Let s = -8 + 12. Let z = 11 + s. Is z a multiple of 15?
True
Let r(n) = 4*n**2 - 9*n + 17. Does 10 divide r(4)?
False
Let x(p) = 179*p - 3. Does 16 divide x(1)?
True
Let b = -8 - -19. Does 6 divide b?
False
Let g be (-600)/(-3) - 0 - -1. Suppose -g = -5*r + 64. Is r a multiple of 20?
False
Suppose -q = 4*j - 8, 4*q + j = 6*j - 10. Suppose -4*p + 2*s + 15 = -3*s, -3*p + s + 14 = q. Suppose p = 3*c - 118. Does 14 divide c?
False
Let i be (-2)/8 + 60/(-16). Let n(u) = -u - 3. Let s be n(i). Is 10 a factor of (-11)/(s/(-1)) - -1?
False
Suppose 5*m - 96 = 154. Is m a multiple of 4?
False
Let g = 36 + -19. Suppose -11 - g = -4*z. Is z a multiple of 4?
False
Suppose -4*q - 5*i + 343 = -0*i, 3 = i. Suppose 2 = -4*r + q. Is 4 a factor of r?
True
Is 11 a factor of (-4)/16 - -17*13/4?
True
Let j(m) be the third derivative of -m**4/24 + 11*m**3/6 - 2*m**2. Suppose 5*r + 2*d + 0*d = 32, -4*d = -2*r + 8. Is j(r) a multiple of 4?
False
Suppose 5 = 3*i + 2*i. Suppose -2*u - i = -3*u. Let t = 4 - u. Is 3 a factor of t?
True
Let w(q) = q**2 - 5*q. Let v be w(3). Let c = v + 12. Is c a multiple of 3?
True
Let d be 10*3*3/18. Suppose -4*f = 2*a - 30, -4*f - d*a + 53 - 14 = 0. Suppose -3*o - v = -15, f = v - 3*v. Does 6 divide o?
True
Let i = -6 - -7. Suppose 5*z + 5 = 4*x, -x + i = -2*z + 2. Does 2 divide x?
False
Let h(f) = 5*f**3 - 3*f**2 + f - 8. Let j(k) = -k**3 + k + 1. Let u(c) = h(c) + 4*j(c). Is u(4) a multiple of 16?
True
Let q(f) = -f**3 - 7*f**2 + 7*f + 1. Is q(-9) a multiple of 17?
False
Let h be (-1)/((-14)/4 + 3). Suppose -4*a = -h*q - q + 31, 0 = 5*q - 5*a - 60. Does 5 divide q?
False
Suppose 0 = -5*z + 15, -3*z - 36 = -f + 17. Does 11 divide f?
False
Suppose x = -5*o + 52, -x + 12 = -3*o - 72. Does 24 divide x?
True
Let y be (-1 + -5)*(-4)/6. Let t(h) = 2*h**2 - 3*h - 1. Is 19 a factor of t(y)?
True
Let t be (-5 - 2)*(-4)/(-2). Is (-105)/t*(-8)/(-3) a multiple of 6?
False
Suppose 2*v - 139 = 25. Does 18 divide v?
False
Suppose -48 = 2*v + 5*j, 4 = -v + 5*j - 5. Let n = v + 44. Is n a multiple of 11?
False
Is 23 a factor of (-5)/(-15) - 206/(-3)?
True
Suppose 5*n + 1 = 21. Suppose -n*m + 3*m + 11 = 0. Let d = m + 1. Is d a multiple of 11?
False
Let r(f) = 5*f**3 + f**2 + 6*f - 13. Let x(i) = 6*i**3 + 2*i**2 + 6*i - 14. Let v(y) = -7*r(y) + 6*x(y). Is 14 a factor of v(-5)?
False
Suppose -3*p + 140 - 11 = 0. Is p a multiple of 14?
False
Let y = -25 + 37. Let o = 5 + -5. Suppose -u - u + y = o. Does 6 divide u?
True
Suppose 4*j - 515 = 