
Let i be (-1 + 0 - -1)/(-1). Does 8 divide (i + 24/(-9))*-3?
True
Suppose -5*t + 55 = -115. Suppose -d + i + t = 4*i, -4*d + 72 = -4*i. Does 10 divide (-1)/(-1) + 1*d?
False
Let t = 14 + -6. Suppose -r - 2 + 17 = 5*h, 0 = 3*h + r - 7. Suppose 4*f - t = 2*f, 0 = 3*g + h*f - 61. Is g a multiple of 6?
False
Suppose -2*j - 2*j + 924 = 0. Is ((-4)/6)/((-14)/j) a multiple of 4?
False
Suppose 4*h - 149 - 87 = 0. Let w = h + -15. Does 22 divide w?
True
Let w(g) be the third derivative of -g**6/120 - 2*g**5/15 - g**4/3 - g**3 - g**2. Let b be w(-7). Let k = b + 18. Is k a multiple of 11?
False
Let t be 1 - (-4 - 6/(-2)). Suppose -t*i + i + 9 = 0. Is 12/i*39/2 a multiple of 9?
False
Let d be 6 + (-1 - (-2)/2). Is 9 a factor of 105/d*4/5?
False
Let w = -12 + 17. Is w even?
False
Suppose 2*y + 12 = 6*y. Let z be (-184)/6*(-6 + y). Suppose v = -3*v + z. Is 10 a factor of v?
False
Let y be ((-36)/30)/(2/(-5)). Suppose -4*o = -3*o. Suppose o = -y*k + 51 + 12. Is k a multiple of 21?
True
Let q = -14 + 16. Suppose -24 = -2*w - q*w. Is 5 a factor of w?
False
Let j = 66 - 40. Is j a multiple of 13?
True
Let z = 0 + 3. Suppose z*j + 5 = 14. Suppose v = j*t + 4, 4*t + 16 = 2*v - 0*t. Is v a multiple of 16?
True
Let v = 120 - 82. Does 5 divide v?
False
Let g(j) = -j**3 - 6*j**2 - 7*j - 7. Let q be g(-5). Suppose 0 = -2*a + 3*a - 4. Suppose a*y - q = 17. Is y even?
False
Let s(m) = -9*m**3 - 5*m**2 + m - 8. Let v(j) = 8*j**3 + 4*j**2 - j + 7. Let p(a) = 5*s(a) + 6*v(a). Let x be p(-2). Is ((-20)/(-6))/((-8)/x) a multiple of 10?
True
Let f = 5 + 0. Does 3 divide f?
False
Let a(v) = -9*v**3 + 25*v**2 + 21*v + 10. Let u(h) = -5*h**3 + 13*h**2 + 11*h + 5. Let s(b) = -4*a(b) + 7*u(b). Is 15 a factor of s(10)?
False
Let x(l) = 8*l + 1. Let d(i) = -7*i - 1. Let r(v) = -4*d(v) - 3*x(v). Let k be r(2). Suppose -t + 0 = -k. Is 9 a factor of t?
True
Suppose 5*h = -20, 0 = -2*j + j - 3*h + 6. Is j a multiple of 5?
False
Suppose 4 + 11 = 3*l. Suppose -t + 4*p - l = 0, -p - 4*p - 13 = -4*t. Is t a multiple of 7?
True
Let f(w) = w**2 + 10*w + 7. Let i be f(-9). Does 14 divide (1 - 8)*1*i?
True
Suppose 5*p = 2*q + q - 257, 0 = q - 5*p - 89. Suppose 2*v - q = -2*v. Is 9 a factor of v?
False
Let l(w) = 14*w**2. Let b be 4/((-8)/(-1))*2. Is 14 a factor of l(b)?
True
Let y = 81 + 13. Let k = y - -7. Suppose -4*d = -19 - k. Is d a multiple of 10?
True
Let m be ((-15)/(-4))/((-4)/16). Let n = -11 - m. Suppose -2*i + 35 = 5*s - 33, 0 = -5*i + n*s + 104. Does 12 divide i?
True
Let t = -97 + 116. Is 4 a factor of t?
False
Let j = 14 + -7. Suppose -5*u = -48 - 7. Let o = u - j. Does 4 divide o?
True
Suppose -7 = -2*a + 3. Let w be (46/(-8))/((-18)/72). Suppose w = a*c - 77. Is c a multiple of 10?
True
Suppose 3*u + 9 = 24. Let p be (1/(-1) - 1) + u. Is (-27 + 3/p)*-1 a multiple of 13?
True
Let u be 2/(-4) + (-2)/(-4). Suppose u = -5*l + 15, -3*a - 2*l - 4 = -a. Let x = a - -49. Does 22 divide x?
True
Let b(p) = p**3 - 9*p**2 + 8*p + 3. Let t be (3/3)/(1/8). Let g be b(t). Is g/(-12) - 50/(-8) even?
True
Let t = 2 + 13. Let i = t + 10. Suppose -5*u + 105 = -i. Is u a multiple of 13?
True
Let x(f) = -5*f**3 - 19*f**2 - 9*f + 1. Let t(y) = -y**3 - 4*y**2 - 2*y. Let w(p) = -11*t(p) + 2*x(p). Is 7 a factor of w(-5)?
True
Suppose 3*o + 4*s - 277 = 0, 5*s + 128 + 322 = 5*o. Does 13 divide o?
True
Suppose 0 = -4*a + 6*a - 5*p - 13, -2*a = p + 17. Does 15 divide (a - -5)/(1/(-23))?
False
Suppose 0 = 5*x + 24 + 1, 3*x = -5*k + 170. Suppose 2 = w - k. Is w a multiple of 13?
True
Let o be 1/2 + (-3)/6. Let t = o - -5. Suppose -3*s - 4*h = -79, 0 = t*h - 6*h + 1. Is 11 a factor of s?
False
Let n(g) = 2 + 9 - g + 1 - 1. Let s be n(8). Suppose 2*h + 2*o - 30 = 0, 2*h - s*h + 4*o + 10 = 0. Does 7 divide h?
True
Suppose 0 = u + 5*y - 57, 3*u = 6*y - 2*y + 95. Suppose 4*m = -5*t + 99 - 28, -2*m - 3*t = -u. Does 14 divide m?
True
Is (-80)/24*(-21)/2 a multiple of 3?
False
Let q = -29 + -32. Let l = q + 90. Suppose 3*k = 5*x + l, 0 = -5*k - 5*x + 4*x + 67. Does 13 divide k?
True
Suppose 3*t - h - h = 144, 96 = 2*t + 4*h. Does 12 divide t?
True
Let h(i) = -i**3 - 2*i**2 - 3*i - 1. Let x be h(-2). Let k = x - -3. Does 4 divide k?
True
Let v(i) = -i - 5. Let r be v(-9). Suppose r*d - 5*x + 136 + 29 = 0, 186 = -4*d - 2*x. Is (-2)/(-9) + (-2330)/d a multiple of 21?
False
Let x = -218 + 359. Is x a multiple of 38?
False
Let r = 10 - -14. Is 6 a factor of r?
True
Let l(a) = -a**2 + 0*a + 2 + 9*a + 0*a. Suppose -3*u + 2*u + 6 = 0. Is l(u) a multiple of 20?
True
Let r = 1 + 2. Let j be r - (-72)/(4 - 1). Suppose -44 = -2*u - 3*l, 0*u - u = -l - j. Is 8 a factor of u?
False
Suppose 3*r = 5*f - 60, -4*f = -2*f + r - 35. Let t = f + -2. Is t a multiple of 13?
True
Suppose -7*r = -2*z - 6*r + 305, -2*r = -2*z + 304. Is z a multiple of 13?
False
Suppose -2*m + l + 237 = 0, 2*m + 336 = 5*m + 5*l. Is 13 a factor of m?
True
Suppose 4*a - 13 = -1. Suppose a*f + 4 = 16. Suppose 2*r + 128 = 5*s, -7*s + 92 = -f*s - 5*r. Does 11 divide s?
False
Suppose 14*u - 352 = 12*u. Is 22 a factor of u?
True
Let n(k) = -7*k - 3. Let g(t) = -15*t - 7. Let j(f) = 3*g(f) - 7*n(f). Is j(4) a multiple of 11?
False
Suppose 49 = 2*m - 11. Is 4 a factor of m?
False
Suppose 4*d - c - 32 = 3*c, c - 27 = -4*d. Suppose -d*z + z + 84 = 0. Does 2 divide z?
True
Let l be (-4)/(-6) - (-1)/3. Let x(m) = m. Let o be x(5). Let u = o + l. Is 6 a factor of u?
True
Let w(b) = b**3 + 2*b**2 - 4*b + 3. Let u = -9 - -12. Is w(u) a multiple of 18?
True
Suppose l + 4*l + 5 = 0. Let c(z) = -14*z - 1. Let u be c(l). Does 14 divide u*1 + 9 + -8?
True
Suppose -u + 33 = -1. Suppose -2*a + 61 = 4*l + 1, -l + u = a. Is 19 a factor of a?
True
Suppose s + 12 = 3. Let j = s + 17. Is 4 a factor of j?
True
Let x be 2387/(-33) + 4/(-6). Let c = 125 + x. Is 26 a factor of c?
True
Is 12 a factor of (-2 + (-3)/(-12)*0)*-6?
True
Let q = -5 + 9. Let z(w) = 2*w**2 - w + 2. Let o be z(q). Suppose 0 = 4*y - y - o. Is 5 a factor of y?
True
Suppose 2*v + 4 = 6*v, -2*v - 33 = 5*d. Let h = -212 - d. Does 12 divide (-2)/(-9) - h/9?
False
Suppose 23 = -2*s - 1. Let p = s + 28. Does 11 divide p?
False
Suppose q = -2*y - 1, 3*q - 11 = -2*y + 3*y. Suppose d + q*d = 20. Does 2 divide d?
False
Suppose r - 2 = -0. Suppose -h + 28 = -4*z, -r*z - 1 = -3*z. Does 8 divide h?
True
Let r be 10*(6/3)/2. Let g(t) = t**3 - 7*t**2 - 5. Let h be g(7). Let p = h + r. Is 3 a factor of p?
False
Suppose 2*r = 6*r - 12. Let y be 1 + 8 + -3 - 3. Suppose 4*i - y*m = 32, -4*i + 32 = m + r*m. Does 8 divide i?
True
Let a(t) = -2*t**3 - 2*t**2 + t. Let x be a(-4). Let i = -61 + x. Does 21 divide i?
False
Let l = -1 + 5. Suppose -6*y = -l*y - 62. Is 21 a factor of y?
False
Let f = -1 - -1. Let d be (-4)/(-6)*(-90)/(-20). Suppose f = d*r - 4*r + 35. Does 20 divide r?
False
Let z(n) = 0 + 5*n - 5 + 3. Does 7 divide z(6)?
True
Let r(f) = 70*f**2 - 5. Is r(2) a multiple of 55?
True
Let l = -7 + 9. Suppose 212 = -0*m - l*m. Is 22 a factor of 9/18 + m/(-4)?
False
Suppose 0 = -4*z - 2*z + 54. Is z a multiple of 6?
False
Is 11 a factor of ((-52)/8)/(1/(-10))?
False
Suppose g = c + 22 - 4, -c = 2*g - 39. Does 15 divide g?
False
Suppose -4*m = -3 - 33. Suppose 2*i + i - m = 0. Suppose -4*g + 116 = -h, g + 78 = 4*g - i*h. Is g a multiple of 15?
True
Let l = 0 + 0. Suppose 0*f - f + 24 = l. Is f a multiple of 8?
True
Let d(u) = u**3 - 3*u**2 - 6*u - 3. Let i(f) = -14*f**3 - f**2 + 1. Let g be i(-1). Let j be 4/12 - g/(-3). Does 17 divide d(j)?
True
Let s = 476 + -340. Suppose s = -x + 5*x. Is x a multiple of 12?
False
Suppose 0 = -5*x + 3*x + 3*r - 4, 5*x - 4 = 4*r. Suppose x*m - 17 = 19. Is m a multiple of 5?
False
Suppose -4*k + 8*k - 44 = 0. Let r = 41 - k. Is r a multiple of 9?
False
Let p(r) = 4*r**2 + 2*r**3 - 2*r**3 - r - 3 + r**3 - 2*r**3. Is 21 a factor of p(-3)?
True
Let h = -38 + 65. Is h a multiple of 13?
False
Suppose q - 6*q = -2*h - 1168, -5*q + h + 1164 = 0. Let g be (-6)/4*q/(-12). Does 14 divide g + 0 + 21/7?
False
Suppose -5*x = -27 + 7. Is x a multiple of 2?
True
Let d = 21 - -30. Does 36 divide d?
False
Let t be 4 - 3 - 6/(-3). Suppose 7*q - t*q = 56. Is 9 a factor of q?
False
Does 14 divide 0 + (4 - 116)/(-2)?
True
Let f = -5 + 1. Let g = f - -6. Suppose -10 - g = -3*w. Is w a multiple of 4?
True
Let x be (-20