+ 4*s. Does 15 divide b?
False
Let w = -7 + 21. Let h = -32 + w. Is 12 a factor of (-132)/18*h/4?
False
Let i = 326 - 198. Suppose -5*d - 3*q - 19 + i = 0, -2*q - 34 = -2*d. Does 17 divide d?
False
Suppose 0*u = u - 15. Suppose -u = 5*r - 5*b, -2*r + 0 - 2 = -b. Does 17 divide (5/10)/(r/44)?
False
Suppose 6*f - 2*f = 0. Let b(p) = 10*p. Let q be b(2). Suppose f = -4*m + q. Is m a multiple of 3?
False
Let m(x) = x**2 + x + 5. Let r be m(0). Does 14 divide ((-28)/(-10))/(1/r)?
True
Suppose 0 = -3*u - 1 + 7. Suppose -d = -4*m + u + 12, -87 = 3*d - 3*m. Let l = d + 50. Is l a multiple of 6?
False
Let o be (-2)/9 + 76/18. Suppose -3*n = 5*l - 2 - 1, -o*n + 4*l = -36. Is 3 a factor of n?
True
Let j(f) = f**2 + 8*f + 8. Let r be j(-6). Let o be r/(-14) - (-69)/(-21). Is 138/6 - o/1 a multiple of 9?
False
Let x(k) = -2*k**2 - 71*k + 40. Is x(-32) a multiple of 33?
True
Let q be (-2)/(-7) - (-623)/49. Suppose -f + 0 = -q. Is f a multiple of 6?
False
Let k be 0 + (18/2 - 2). Suppose -145 = -k*s + 2*s. Does 17 divide s?
False
Let c(q) = -2*q**3 + 3*q + 1. Is c(-3) a multiple of 16?
False
Suppose -5*h + 28 = -117. Is 21 a factor of h?
False
Suppose 22*f - 14*f = 784. Is 14 a factor of f?
True
Suppose -2*y = 115 - 39. Let j be y/(-8) - 1/(-4). Suppose -3*m + m = -j*v + 207, 44 = v - 3*m. Does 18 divide v?
False
Let m(p) = -p**3 + 6*p**2 - 4*p + 5. Let a be m(5). Let x = a - 7. Suppose x*t - 45 = 4*g - g, 5*g + 9 = -t. Does 9 divide t?
False
Suppose 2*k - 6 = -0*k. Suppose -k*b - 3 = -0. Is 14 a factor of 111/4 - b/4?
True
Suppose 6 = 5*d - 9. Suppose d*t - t - 10 = 0. Suppose 19 = t*r + 4. Is r a multiple of 3?
True
Let c = 10 - 17. Let i(m) = -m**3 - 7*m**2 - m + 10. Is 7 a factor of i(c)?
False
Suppose 1 = 2*y - 5. Is y/9 - (-44)/3 a multiple of 4?
False
Let w be (4 - 3) + (3 - 0). Let z = -1 - -3. Suppose -z = -2*k + w. Does 2 divide k?
False
Let z be -30*12/(-9) - 2. Suppose v + z = 3*v - 2*a, 4*v + 5*a - 40 = 0. Suppose 2*h + 0*h = t - 41, 0 = -3*h - v. Is t a multiple of 12?
False
Let w = 14 - 10. Suppose 0 = 5*c, -w*v - 4*c - 6 = 2. Let y(s) = 3*s**2 + 2. Is 7 a factor of y(v)?
True
Let c = -52 + 76. Suppose r - c = -3*r. Does 6 divide 92/r - 2/6?
False
Let x(b) = -b**2 + b - 4. Let m be x(-6). Let t = -22 - m. Does 24 divide t?
True
Let c(p) = 9*p**2 - 2*p - 3. Let f be c(-2). Suppose -29 - 9 = -2*l. Let s = f - l. Does 9 divide s?
True
Let z = -62 - -152. Is z a multiple of 15?
True
Let f = 133 - 33. Suppose 2*m - 71 - 150 = b, m - f = 4*b. Suppose m = 2*l + 2*l. Does 14 divide l?
True
Is 25 a factor of (-3 - 4 - -4) + 63?
False
Suppose r - 3*r = 2. Let t = r + 20. Is 5 a factor of t?
False
Does 4 divide (-536)/(-18) + (2 - 64/36)?
False
Suppose 4*b - 160 = 2*o, -b + 3*o = 3*b - 158. Does 17 divide b?
False
Does 27 divide 3185/30 + 3/(-18)?
False
Suppose 0*f + 325 = 5*f. Is 18 a factor of f?
False
Let r(q) = 2*q**2 + 4*q + 5. Let j be r(-5). Let x = j - -17. Is x a multiple of 26?
True
Let r = -5 + 7. Suppose u - 2*u = -r. Suppose n = -2*m + 12, -34 = -u*m - 5*n - 6. Is m even?
True
Suppose 2*f = 20 + 8. Does 3 divide f?
False
Let d(t) be the first derivative of -t**2 - 7*t - 6. Is 6 a factor of d(-13)?
False
Let b = 43 - 31. Let h be 14/(-8)*(-5 + 9). Let w = b + h. Is 5 a factor of w?
True
Let x(j) = 4 + 7 - 10*j + j**2 + 21*j. Does 5 divide x(-12)?
False
Let t(z) be the third derivative of z**4/8 + z**3/6 + 2*z**2. Is 7 a factor of t(2)?
True
Let v(g) = g**2 + 2*g - 1. Suppose -3*o - 2*o = -5. Let p be v(o). Suppose 0 = -p*f + 41 + 61. Is f a multiple of 17?
True
Is 17 a factor of ((-51)/(-1))/((-5)/(-5))?
True
Let p(n) = -n**2 + 11*n. Let d be p(9). Suppose 0 = 22*m - d*m - 168. Is m a multiple of 14?
True
Suppose 2*g - 6 = 54. Suppose -33 = -2*q - 3. Let s = g - q. Does 15 divide s?
True
Suppose -5*s = -106 - 544. Is 29 a factor of s?
False
Let p(d) = -d**2 - 21*d + 18. Is p(-8) a multiple of 9?
False
Suppose -5*g + 395 = -5*q, -5*g - 75 = 2*q - 505. Is g a multiple of 28?
True
Let a be ((-42)/(-5))/((-2)/(-10)). Let x = 27 - a. Does 12 divide x*4/(-6) - -2?
True
Suppose -5*m + 518 = -3*m. Is m a multiple of 30?
False
Let b = 0 + 0. Suppose -s - 4*s + 110 = b. Does 11 divide s?
True
Suppose 5*c + 0*c - 4*p - 5 = 0, p - 2 = -2*c. Suppose a + 13 = 5*f - c, -a - f + 10 = 0. Is 6 a factor of a?
True
Let o(g) = -g**2 + 9*g - 5. Let r be o(6). Suppose -2*n = -10, 4*y + 5*n = 54 - r. Suppose -2*d + q + 49 = 0, -q + y*q + 123 = 5*d. Is 12 a factor of d?
True
Suppose -87 = -9*f - 24. Does 4 divide f?
False
Let i be 6/(-8) - 5/4. Let p be (1/i)/(3/18). Does 3 divide (-13 + 1)*2/p?
False
Let l = 7 + 1. Is l a multiple of 8?
True
Suppose -o = -3 - 2. Suppose -o*m - 8 = 132. Is m/(-3) + (-2)/6 a multiple of 9?
True
Let n(h) = -h + 13. Let s be n(9). Suppose -2*m = m - 2*o + 9, 15 = -5*m - s*o. Let q(p) = -p**3 - 3. Is 12 a factor of q(m)?
True
Let w = -38 - -117. Does 15 divide w?
False
Suppose -4*w + 474 = -38. Suppose -w = -3*t + 5*v, v + 31 = -5*t + 207. Is 18 a factor of t?
True
Let p(y) = y + 9. Let h be p(-4). Suppose -2*l = -h*j - 3 - 37, -4*l + 80 = -5*j. Is l a multiple of 19?
False
Is 58/((-2)/(-2)) - (-3)/(-1) a multiple of 14?
False
Suppose -20*r + 252 = -17*r. Does 6 divide r?
True
Let z be 20/12 - (-2)/6. Is 2 + z + 20 + -1 a multiple of 14?
False
Let n be -1 - -3 - (1 + -51). Let q = -3 + n. Is q/2 + (-1)/2 a multiple of 12?
True
Let s = 43 + -61. Let q(o) = -o**2 + o + 10. Let p be q(0). Let w = p - s. Is w a multiple of 14?
True
Suppose 0 = -x + 7 + 83. Is x a multiple of 9?
True
Does 46 divide ((-4128)/(-18) - 2/(-3)) + 0?
True
Suppose 0 = 2*p + 14 - 82. Is p a multiple of 17?
True
Let u be (-4)/7*(105/6)/(-5). Suppose r = 4*r + 9. Does 24 divide 23 + u + r/3?
True
Let k(a) be the second derivative of a**3/6 + 2*a**2 - a. Does 7 divide k(3)?
True
Let b(q) = 2*q**2 + 10*q + 5. Let x(o) = -o**2 - 9*o - 6. Let s(p) = -2*b(p) - 3*x(p). Does 8 divide s(6)?
False
Suppose 8 - 1 = t + 5*a, 5*t + 100 = 2*a. Let c = t - -34. Does 12 divide c?
False
Let z be (-24)/(-15)*(10 + 0). Suppose 5 = 5*x - 10. Suppose -i + 50 = -5*d + 13, -x*i - 4*d = -z. Does 12 divide i?
True
Suppose -4*v - 4*c = -5*c - 1085, -5*v = 3*c - 1335. Is v a multiple of 9?
True
Let b = 26 + 4. Suppose 0 = -2*l - 2*l - 12, -5*l - b = -u. Is u a multiple of 14?
False
Let g = -123 - -265. Is 21 a factor of g?
False
Let b be (1 + 0 + -2)*17. Let c = -8 - b. Does 4 divide 1*3*12/c?
True
Suppose -25*g = -20*g - 25. Suppose -4*c = x - 36, 1 + g = -3*c. Is x a multiple of 29?
False
Let j(y) = y**2 - 2*y + 1. Let s be j(1). Suppose -5*d = -3*z + 15 + 25, s = -5*z - d + 76. Is z a multiple of 15?
True
Let a = 12 - 29. Let p = a + 33. Suppose -g = -2*g + p. Is g a multiple of 10?
False
Let h = -47 - -143. Suppose -3*r - z + 3*z + h = 0, 2*z = 0. Is 11 a factor of r?
False
Does 6 divide 2 - (-13)/((-52)/(-88))?
True
Let d = -39 - -55. Let s = d + 9. Is 5 a factor of s?
True
Let i(h) = 20*h - 29. Does 19 divide i(10)?
True
Let o be (52/2)/(-2) + 1. Let t be (6/(-4))/(o/16). Is 18 a factor of t/11 - 1008/(-22)?
False
Let o(i) = -12*i - 20. Let t(r) = 4*r + 7. Let j(a) = -5*o(a) - 14*t(a). Is 15 a factor of j(7)?
True
Suppose -3*d + 3*i = 36, 4*i - 34 = d + d. Let z(f) = f**2 + 5*f + 4. Does 6 divide z(d)?
True
Is (44/(-5))/(4/(-10)) a multiple of 11?
True
Let p = -686 - -982. Does 37 divide p?
True
Let i(n) = n + 9. Let d(h) = h**3 + 4*h**2 + h - 4. Let t be d(-4). Let o be i(t). Suppose 2*a - 59 = -3*z, -o - 1 = -2*z. Is 14 a factor of a?
True
Suppose -5*w = -w - 180. Is 9 a factor of w?
True
Let d be 1/(2 + 9/(-5)). Suppose -3*x = -d*y - x + 92, -32 = -2*y + 2*x. Is y a multiple of 5?
True
Suppose -88 = -4*a - 4*i, a + 0*a = 5*i + 16. Is a a multiple of 6?
False
Suppose 3*g = 6*g - 192. Is 16 a factor of g?
True
Is 11 a factor of (-372)/18*9/(-6)?
False
Let i(n) = n**3 + 7*n**2 - 6*n + 2. Does 20 divide i(-5)?
False
Suppose 7 + 3 = 5*o. Suppose -o*k + 0*k = -88. Does 11 divide k?
True
Let l(a) = -a**3 - 8*a**2 + 9*a - 6. Let x be l(-9). Let w be 1 - (x/1 - -2). Suppose 25 = -w*f + 70. Does 3 divide f?
True
Let r(h) = 0*h - h + 2*h + h. Let z be r(2). Suppose -z*f + 20 = -20. Is f a multiple of 5?
True
Let u = -16 + 14. Does 10 divide u - (3 + 165/(-3))?
True
Let v(k) = 2*k + 8. Does 4 