14, 0 = -s + 2*x + 20. Let b = s - f. Is b a multiple of 4?
False
Let l(a) = -12*a + 2. Let o be l(-3). Suppose 0 = 2*q - 6 - o. Is q a multiple of 11?
True
Let m = -7 + 19. Let h be -4*(15/m - 2). Is (-1 + 4)*22/h a multiple of 8?
False
Let o = 2 - 0. Suppose 19 + 21 = o*s. Is 10 a factor of s?
True
Suppose -4*i + 9 = -3*a + 111, 0 = -i - 3*a - 18. Let y = 47 + i. Let t = y - 11. Is 9 a factor of t?
False
Suppose 2*w - 573 = 5*k, -2*w - 3*k = -7*w + 1404. Is w a multiple of 9?
True
Let m(j) = -j**3 - 7*j - 5*j**2 + 2*j**3 - 3 + 12. Suppose -g - 5*r = -26, -5*g - 3*r + 64 - 22 = 0. Is m(g) a multiple of 3?
True
Suppose 0*b - q + 15 = -b, -2*q + 54 = -4*b. Is 3 a factor of b/2*9/(-6)?
True
Suppose 0 = -0*p + p - 10. Is p a multiple of 2?
True
Suppose -48 = -2*i - 0*i - 4*l, 0 = -2*l + 8. Is 4 a factor of i?
True
Let u(f) = -f**2 + 6*f - 4. Is 4 a factor of u(4)?
True
Let f(h) = 9 + h**3 - 5*h**2 + h**2 - 4*h**2 - 13*h. Let a be f(9). Let t = -9 - a. Does 9 divide t?
True
Suppose -5*k - 3*c = -41, 0*k = -5*k - c + 47. Is k a multiple of 5?
True
Suppose 5*q - q - 36 = 4*c, -5*q + 27 = -3*c. Is (-16)/c + (-10)/(-45) a multiple of 2?
True
Let f be -2 - (3*23 - -1). Let z = -49 - f. Let x = -8 + z. Is x a multiple of 15?
True
Let j = 509 + -331. Is 22 a factor of j?
False
Let g(l) be the third derivative of l**6/120 - l**5/20 - l**4/8 - l**3/6 - l**2. Let p be g(4). Suppose 0 = -p*c - 0*c + 45. Does 15 divide c?
True
Let x = 50 + -58. Let v(t) be the third derivative of -t**4/6 + 2*t**3/3 - t**2. Is v(x) a multiple of 12?
True
Let i(m) = -m**3 - 11*m**2 - 12*m - 15. Let s be i(-10). Suppose 4*y = 2*r - s*r + 55, y - 22 = 2*r. Is 8 a factor of y?
True
Let j be 1 + 1 - (2 - 4). Suppose -5*g + 132 = j*a, 3*a - 78 = -0*g - 3*g. Is 3*(g/(-6))/(-1) a multiple of 7?
True
Suppose 0*g = -3*g + 36. Is g a multiple of 9?
False
Let v(j) = -3*j**2 - 2*j - 9. Let o(q) = -1 + 8*q - q**2 - 5*q - 2*q. Let t(p) = 4*o(p) - v(p). Does 10 divide t(5)?
True
Is ((-48)/15)/(2/(-25)) a multiple of 20?
True
Let v = 23 + -38. Let y be (0 + v)*6/(-10). Suppose -6 = -a + y. Is a a multiple of 12?
False
Let o be 2/6*-1*-18. Suppose 14 = 2*p - o. Is 4 a factor of p?
False
Let h be (4 + -2)*(-24)/(-16). Suppose 3*p - 52 = -h*u - 13, 16 = p + 2*u. Is p a multiple of 4?
False
Suppose -310 = -2*g - 96. Suppose -g = -5*s + 18. Does 17 divide s?
False
Let u be (-2)/(-3)*(3 + 0). Let v be (2 + -1)/(u/(-2)). Is 7 a factor of 3 - (1 - v) - -16?
False
Suppose 0 = -0*c - c + 6. Suppose -i + 2*j = 3*i + 6, i = 2*j - c. Suppose 79 = 5*g + k - i*k, 4*g - 2*k = 52. Does 7 divide g?
False
Let n(h) = 6*h**2 - h. Is n(-1) a multiple of 7?
True
Does 3 divide 2/(-11) - (-6400)/110?
False
Suppose -2*p + 184 = 4*x - 4*p, -x = -2*p - 49. Suppose 0 = -0*j + 2*j + 2, 2*d = j + x. Is d a multiple of 11?
True
Let j = -7 + 0. Let a = j - -14. Is a a multiple of 3?
False
Let x be (0 + (1 - 1))/2. Suppose 3*f + 0*f - 144 = x. Suppose -3*q + 0*q + f = 0. Does 10 divide q?
False
Let b(c) = -c + 9. Let g be b(8). Does 2 divide 0 - (-9 + (g - -2))?
True
Let a be 93 + 2 + -2 + 2. Suppose -2*d + 7 + a = 0. Is d a multiple of 17?
True
Let c(f) be the first derivative of -8/3*f**3 - 1/4*f**4 + f + 4*f**2 - 2. Is 5 a factor of c(-9)?
True
Let p(t) = -5*t - 28. Does 27 divide p(-11)?
True
Suppose -2*c = -3*c + 5. Let n(h) = -h**3 + 5*h**2 + 2*h - 7. Let l be n(c). Suppose 4*j = -2*p + 32, -j - 46 = -p - l*p. Is 12 a factor of p?
True
Suppose 5*i = 3*k - 36 + 2, -94 = -5*k - i. Is k a multiple of 6?
True
Let o be (-3)/(-6)*(0 - -46). Suppose 3*k - 7 = o. Suppose -b = b - k. Does 5 divide b?
True
Let u be 2/(-4)*(-4)/(-1). Let p be ((-4)/u*-9)/(-1). Suppose -w + 2*w - p = 0. Is 9 a factor of w?
True
Let j be 2 - (3/3 - -15). Let q be (-187)/(-7) - 4/j. Is 4 a factor of (-6)/q - (-146)/9?
True
Suppose -2*p = 2*c - 54, 6*p - p = 2*c + 114. Is 6 a factor of p?
True
Let z be (-14)/4*88/(-4). Let q = z - 52. Suppose v = 2*v - q. Is v a multiple of 16?
False
Suppose -7*q = o - 2*q, 5*o + q - 48 = 0. Let n(s) = -s**2 + 13*s - 14. Is 16 a factor of n(o)?
True
Let q = 15 + -12. Suppose -q*p = 5*v - 165, 2*p + 11 = -v + 37. Is v a multiple of 12?
True
Suppose 0*y + 12 = 4*y. Suppose y*k = -0*k + 33. Is k a multiple of 11?
True
Let d = 2 - 3. Let i = -1 + d. Is (10*i)/((-6)/15) a multiple of 14?
False
Let f be ((-51)/(-2))/(16/32). Is 16 a factor of f - (-3)/((-3)/(-2))?
False
Suppose 2*b - 25 = -5*d, 0*d + 4*d = 2*b + 2. Suppose -131 = -4*a + b*f - 22, -3*f = 4*a - 69. Is 7 a factor of a?
True
Suppose 7*g - 4079 = -1118. Is g a multiple of 47?
True
Let i = -14 - -42. Is 7 a factor of i?
True
Suppose -18 = -2*s - s. Let p be 20/3*45/s. Suppose -2*l + p = -32. Is 22 a factor of l?
False
Let y(z) = -1197*z - 105. Let d(w) = -46*w - 4. Let v(r) = -105*d(r) + 4*y(r). Let u be v(3). Suppose -u = -6*s + 3*s. Is 17 a factor of s?
False
Let q(w) = -3*w + 7. Let k = -10 + 3. Is 23 a factor of q(k)?
False
Let t(k) be the second derivative of 2*k**3/3 - 3*k**2/2 - 4*k. Is t(3) a multiple of 4?
False
Suppose -4*l + 144 = -0*v - 4*v, 4*v + 2*l + 150 = 0. Let r = -24 - v. Does 14 divide (-2)/((-2)/r) + 1?
True
Suppose -2*q = 35 + 39. Let a = q - -79. Does 13 divide a?
False
Let x(s) = 12*s - 1. Let q = 9 + -6. Is 16 a factor of x(q)?
False
Suppose 4*y + 0*y - 4 = 0. Is 15 a factor of 3 + 9 - (-3)/y?
True
Let x = -1 - -1. Suppose 2*p - 139 + 39 = x. Is 25 a factor of p?
True
Let l be ((-4)/(-8))/1*118. Suppose 4*m - 2*s - 120 = 0, -s + 173 - l = 4*m. Is 6 a factor of m?
False
Let d = 9 - 102. Suppose y - 3*w = -51, 5*y + 3*w + 403 - 166 = 0. Let b = y - d. Is 14 a factor of b?
False
Let z(m) = -m - 7. Let n be z(-11). Suppose -4*v = -2*r - 172, -n*r = -17 + 1. Suppose -g - 7 + v = 0. Is g a multiple of 19?
True
Let l(c) = -c**3 + c + 101. Let r be l(0). Suppose -5*d + 2*d + r = z, 4*z = 8. Is d a multiple of 11?
True
Suppose 3*l - 5*l = -4. Suppose -x = -4*d - 164, -l*x - 71 - 121 = 5*d. Let h = d - -73. Is 10 a factor of h?
False
Suppose 3*y + 6 = 0, 4*y = x - y - 18. Does 3 divide x?
False
Suppose -5*f + 4*b + 400 = 0, -3*f + 4*b + 165 = -75. Is 20 a factor of f?
True
Let x be ((-364)/21)/(2/(-6)). Suppose c - x = -3*c. Does 13 divide c?
True
Let g = 7 - 3. Let p(f) = 7*f + 3. Let n be p(6). Does 15 divide (g/(-6))/((-1)/n)?
True
Suppose 0 = -2*w + 2 - 0. Suppose -2 = -3*g + w. Is 20*1 + (-1)/g a multiple of 19?
True
Let o be 34/(-10) + 6/(-10). Let h be 2*11 + (1 - 1). Let b = o + h. Is b a multiple of 11?
False
Let h = -7 - -4. Let m be ((-1)/h)/(4/72). Let u = -2 + m. Is 2 a factor of u?
True
Suppose -2*w - 4 = -0*r - r, 3*w = -5*r + 7. Is 14 a factor of r + 29*(-2 + 3)?
False
Is 15 a factor of ((-3)/(-1) - -14)*1?
False
Suppose 0 = -0*x - 2*x + 128. Suppose 0 = -4*v - 0*v + x. Does 13 divide v?
False
Suppose -g - 23 = 4*i, 3*g + 0*i = -2*i - 19. Let f be -1*(0 + -1 - g). Is 12 a factor of -19*-2*(-1)/f?
False
Suppose 0 = -3*u + 2*v + 67 + 74, u + v = 47. Is 7 a factor of u?
False
Let x(q) = -q**3 + 2*q**2 + q + 4. Let v be x(3). Let c(u) = 42*u. Let w be c(v). Does 7 divide (w/9)/((-2)/3)?
True
Let p = 36 + -20. Is p a multiple of 16?
True
Suppose -5*h - 6 = s + 2, 5*s = -h + 8. Let y(x) = 0*x**2 - 3*x**2 + 4*x**s - 7 + 3*x. Does 3 divide y(-5)?
True
Suppose -t + 4 = 8. Let p = t + 9. Suppose -p*h - 6 = -76. Is 7 a factor of h?
True
Suppose 11 - 81 = -5*u. Let k = 7 + u. Does 8 divide k?
False
Let o(k) = -k**3 + 7*k**2 - 6*k. Let c be o(6). Suppose c = -4*s - 0*s + 16. Is s a multiple of 4?
True
Suppose -q + 2*q - 5*l = 29, 2*l + 30 = 5*q. Suppose -3*v + 55 = -143. Suppose -m - v = -q*m. Is 11 a factor of m?
True
Let o = 90 - -150. Is o a multiple of 20?
True
Suppose -2*y + 2*a + 30 = 3*a, -2*y = 3*a - 34. Let o = 10 + y. Does 12 divide o?
True
Let h(t) = 2*t + 5. Let j be h(-5). Let k be -5*(-2 + (-6)/j). Suppose -3*c + 177 = k*v, -2*v + 119 = v + 5*c. Is 12 a factor of v?
True
Let u = 20 - 6. Is u even?
True
Let c(f) = f**2 - 6*f - 2. Let k be c(6). Let b = 4 + k. Suppose -y + 5 = 0, -b*y + y + 20 = 3*q. Does 4 divide q?
False
Let y be -1*(-2 - -1)*5. Suppose 3*v = -y*s - 0*v + 229, v = s - 41. Does 19 divide s?
False
Let a be (-72)/20 - 2/5. Let r be (-9 + -5)/(a/2). Let s = r - -28. Is s a multiple of 21?
False
Let b(h) = -4*h + 9.