i(q) = -q**2 - 11*q - 5. Let b be i(-4). Suppose 5*x = 3*m - 55, x + 3*x + b = m. Is m a multiple of 10?
False
Is 51/119 - 1516/(-7) a multiple of 31?
True
Let t(h) = 7*h**2 - h - 3*h**2 + 0*h + 2 - 3. Does 2 divide t(-1)?
True
Suppose 4*i = 5*f - i - 545, 2*f + i - 227 = 0. Is 16 a factor of f?
True
Is ((-30)/3)/(6/(-48)) a multiple of 16?
True
Let o = 290 + -200. Suppose 0 = 4*p + 3*t - 103, 0*p + 2*t + o = 3*p. Is 10 a factor of p?
False
Let b be (3 - 1)*40/(-16). Is 13 a factor of b*((-96)/(-10))/(-2)?
False
Let c(l) = l + 9. Is 2 a factor of c(-7)?
True
Let u(i) = -4*i**3 - 2*i**2 - i. Let n be u(-1). Suppose 16 = -s + n*s + 2*x, -4 = -2*x. Is s a multiple of 6?
True
Let a = -6 + 1. Is (4/a)/(2/(-35)) a multiple of 9?
False
Suppose -62 = -2*i - 8. Is i a multiple of 9?
True
Suppose -o = -f - 144 + 20, o - 133 = 4*f. Is 11 a factor of o?
True
Let d = -1 + 7. Is 12 a factor of (-378)/(-12) - d/(-4)?
False
Let b = 231 - 107. Is b a multiple of 18?
False
Let f(j) = 6*j**2 - 4*j + 3. Suppose 4 = -q + 6. Does 19 divide f(q)?
True
Let a(g) = -2*g**2 + 5*g + 4. Let i be a(4). Let n = -9 - i. Let c = 13 + n. Is 6 a factor of c?
True
Suppose -15 = -5*y, -3*d - 2*d = -4*y - 8. Suppose 0 = 4*r + 4*w - 8, -7 = -d*r - 2*w - w. Suppose 5*b = 81 - r. Does 5 divide b?
False
Let o(w) = 11*w - 13. Let r(g) = 5*g - 6. Suppose 2*j - 7*j = 65. Let y(k) = j*r(k) + 6*o(k). Does 10 divide y(10)?
True
Suppose -18 = -f + 6. Is f a multiple of 8?
True
Let h be -1 - (0 - 3 - 0). Suppose -h = -5*q + 18. Suppose 4*j + 5 = -3, -q*j - 46 = -2*f. Is f a multiple of 5?
False
Let s(v) = 4*v + 3. Does 5 divide s(8)?
True
Let s = 123 + -67. Is s a multiple of 16?
False
Let v(r) = -r**3 - 4*r**2 + 7*r + 2. Let u be v(-6). Suppose -2*g + u = -108. Suppose 5*b - 65 = g. Does 9 divide b?
True
Suppose 3*y = 3*d - 87, y = 1 + 2. Let u = 49 - d. Is 17 a factor of u?
True
Let x(h) = 245*h + 1. Let m be x(1). Suppose -u - u = 3*l - m, -3*l + 258 = -2*u. Is l a multiple of 28?
True
Let l = 65 + -17. Is 16 a factor of l?
True
Let i = 130 - 30. Is i a multiple of 25?
True
Let d = 24 + 26. Is d a multiple of 25?
True
Suppose y - 31 = l + 54, 4*l = -5*y + 443. Is y a multiple of 20?
False
Let p = 108 - 98. Does 2 divide p?
True
Let g be -1*(1 + -4 + -1). Suppose -g*z - 33 = -y - 3*z, -3*z = 0. Is 11 a factor of y?
True
Suppose -4*l = 37 - 9. Let d(t) = -5*t - 5. Is d(l) a multiple of 23?
False
Suppose 4*w - 42 - 74 = 0. Let p(q) = -4*q**2 + 2*q + 1. Let d be p(-1). Let j = d + w. Is j a multiple of 12?
True
Let f be 3/(9/6) - -1. Let o = 7 - f. Suppose 2*z = z + o. Is 4 a factor of z?
True
Let g(v) = -32*v**3 + v. Let n = -3 - -2. Let h be g(n). Suppose -4*p + h = 7. Is p a multiple of 3?
True
Let k be (9/6)/((-6)/(-20)). Does 3 divide ((-6)/k)/((-8)/60)?
True
Let m be 2 + -10 + (3 - 4). Let a be (-2)/m + 56/(-9). Is 16 a factor of (-184)/a - (-5)/15?
False
Let i = -5 - -8. Suppose 5 = i*s + 32. Let k = s + 15. Does 3 divide k?
True
Let r be ((-1)/(1/(-4)))/(-1). Let b be 169/4 + 1/r. Let v = b - 26. Is v a multiple of 16?
True
Let h be 218/(-10) - (-9)/(-45). Let m = h + 45. Is 9 a factor of m?
False
Suppose -6 = 3*m + 4*c - 2, -5*c = 4*m + 5. Suppose m = 9*t - 4*t + 5*y - 15, -3*y - 33 = -4*t. Does 6 divide t?
True
Let t = 102 + -49. Is 12 a factor of t?
False
Let l be -1 - (-6)/(-9)*48. Let c(p) = p**2 + 6*p - 1. Let s be c(-6). Is 16 a factor of 1*1/s - l?
True
Suppose 0 = -4*n - 4, -u + 6*u - n - 21 = 0. Suppose 4*t = -0*t + u. Is 3 a factor of -4*(-1 + -1 + t)?
False
Is (-2)/(-4)*-2 + 25 a multiple of 10?
False
Let a(b) = b + 16. Is a(-9) a multiple of 6?
False
Let j(i) = i**3 - 8*i**2 + 7*i - 7. Let z be j(7). Is 8 a factor of (z + (-2 - -1))*-2?
True
Let c(r) = r**3 + 26*r**2 - 2*r - 8. Is 26 a factor of c(-26)?
False
Let c = 58 - 4. Let h = 84 - c. Is 10 a factor of h?
True
Suppose 0*w - 72 = w. Let l = w - -129. Is 26 a factor of l?
False
Let v be (-3)/(-3)*(-3 - 3). Let r = 12 + v. Is r a multiple of 3?
True
Let w = -40 + 208. Does 24 divide w?
True
Let u(s) = -s**3 + 17*s**2 - 14*s - 4. Is u(16) a multiple of 14?
True
Let k = -354 - -543. Is k a multiple of 21?
True
Let f = 4 + -6. Does 19 divide (-1)/(1/62*f)?
False
Suppose 3*t - 62 - 373 = 0. Suppose 0 = -2*b + t + 11. Does 22 divide b?
False
Suppose i - 3*i + 3*p = -54, -3*p = i - 9. Suppose 4*l - 11 = i. Does 2 divide l?
True
Let u(j) = j**3 + 3. Let x be u(0). Suppose -164 = x*n - 11. Let l = n - -86. Does 14 divide l?
False
Suppose 55 = 2*h - h. Is h a multiple of 26?
False
Suppose -11 - 103 = -2*s. Is s a multiple of 19?
True
Let q(u) = u**3 + 7*u**2 + 8*u + 9. Let z be q(-6). Is 11 a factor of 2 - z*6/2?
True
Suppose 0*w - 1280 = -4*w. Suppose -5*n + w = -0*t - t, -2*t + 305 = 5*n. Suppose 0 = -0*o + 3*o - n. Is o a multiple of 11?
False
Let g(z) = z - 5. Let b be g(5). Suppose -5*a - t = 0, 3*t = 4*a - b*a - 19. Does 15 divide 17 - (a + 1 - 0)?
True
Let z = -12 + 21. Is z a multiple of 9?
True
Suppose -7 = 6*t - 67. Is 5 a factor of t?
True
Let w(l) = -11*l - 2. Let g(u) = 3*u + 2. Let o be g(2). Let m be o/(-6) + (-2)/3. Is w(m) a multiple of 11?
False
Let b = 73 - 44. Is b a multiple of 16?
False
Suppose 0*h = -4*h + 12. Let j be (-1)/(-4) - (-3861)/44. Suppose -2*m = -10, -5*u = h*m - j - 107. Is u a multiple of 18?
True
Let a = 4 - 2. Suppose 6*m + 84 = a*m. Let l = 7 - m. Does 20 divide l?
False
Let c = -12 - -20. Let p = c - -25. Is p a multiple of 9?
False
Is 10 a factor of (8/(-10))/(-2) + (-444)/(-15)?
True
Suppose 4*h - 3*h = 2. Suppose 3*a - 5*o - 20 = h*a, -5*a + 4*o + 79 = 0. Is a a multiple of 7?
False
Let t be (2/(-8) + 1)*-4. Is 5 a factor of 5*3/(-9)*t?
True
Let a be (28 - 2)*(8 - 7). Let i = a - 5. Is 21 a factor of i?
True
Suppose 5*r - 747 = -162. Is r a multiple of 39?
True
Let c(w) be the second derivative of -w**5/20 - 5*w**4/6 - 3*w**3/2 + 6*w**2 + 5*w. Is 4 a factor of c(-9)?
True
Let n be 3*((-15)/(-9) + -1). Suppose -4*t = 4*q - 88, -4*t - n*q = -0*t - 96. Is t a multiple of 13?
True
Let u(f) = -f**3 - 10*f**2 - f - 10. Let k be u(-10). Suppose 0 = -2*x - k + 20. Does 5 divide x?
True
Let n = -352 - -556. Is n a multiple of 68?
True
Let k = 8 - 1. Is k even?
False
Let u(q) be the second derivative of q**6/180 + q**5/120 - q**4/24 + q**3/2 - q. Let v(o) be the second derivative of u(o). Does 5 divide v(-3)?
False
Suppose -431 = -4*i + 3*m, 2*i + 0*m + 3*m - 193 = 0. Suppose 6*u = 3*u - 60. Does 17 divide (i/u)/((-2)/10)?
False
Let y = 10 + -6. Suppose -r - d = d - 28, y*r - 2*d = 72. Suppose g = -0*g + r. Is g a multiple of 18?
False
Is 259 - ((-20)/11 + 10/(-55)) a multiple of 25?
False
Suppose h - 5*h = -196. Does 33 divide h?
False
Let h = -4 + 7. Let i(l) = l**h - l**2 + 2 + 0*l**3 - 3*l**3 + l. Does 6 divide i(-2)?
True
Is 43 a factor of (3 - 7/2)/((-5)/1370)?
False
Let f be -5*(24/15)/(-2). Suppose -x - f*x = -95. Suppose z - x = -s, 4*z + 0*z - s = 86. Does 8 divide z?
False
Let u(j) be the first derivative of 0*j**2 - 2 + 0*j**2 + j + 2*j**3. Does 4 divide u(1)?
False
Suppose -3*d - 5 = 3*i + 13, -2*d - 3 = -i. Let v = 6 + i. Suppose -5 = t + 3*n - 3, -n - v = 0. Is 3 a factor of t?
False
Let o(c) = c**3 - 5*c**2 + 4*c + 2. Let n be o(4). Suppose -k + 39 = n*k. Is k a multiple of 6?
False
Is (310/(-15))/2*-3 a multiple of 11?
False
Let u(i) = i**3 + 3*i**2 - 5*i. Does 3 divide u(3)?
True
Let o be (-12)/(-7)*42/12. Is 1/(-2) - (-189)/o a multiple of 8?
False
Let d = 82 + -38. Is 11 a factor of d?
True
Let r(c) = 35*c**2 + 2*c - 1. Let g be r(1). Suppose -g = -2*s - s. Suppose 1 = i, s + 23 = 5*j - 5*i. Does 7 divide j?
False
Let d = -13 + 16. Suppose -5*v + j = -126, d*v - 5*j - 19 = 61. Is v a multiple of 12?
False
Suppose -q = 4*q + 15. Let f = 15 + q. Does 12 divide f?
True
Let m be (-8)/6 + 1/3. Is (0 - m)/(3/57) a multiple of 10?
False
Let y be (-1 - -1)/((-32)/16). Suppose y = -2*n - 8, 4*n + 4 - 126 = -2*j. Is j a multiple of 23?
True
Let t = 4 - -4. Suppose 0 = 2*g - t, 3*g = 4*j - 0*j - 4. Is j even?
True
Let x(b) = -4*b**2 + 2*b**2 - 16*b - 18 + b**2. Suppose 3*w + 5*c = -14, -4*w + c - 31 = -2*w. Does 7 divide x(w)?
True
Let x be (-18)/(-4)*56/(-21). Is (-56)/x + (-2)/(-6) a multiple of 2?
False
Suppose 2*s = -2*q + 542, 6*q - s = q + 1367. Is 21 a factor of q?
True
Supp