e of 12?
True
Does 6 divide (19 - 4)*8/5?
True
Let w be 2*7*4/(-8). Let m = 45 + w. Does 11 divide m?
False
Let q = -71 - -81. Does 3 divide q?
False
Suppose 0 = -3*p - 60. Let u = 35 + p. Does 15 divide u?
True
Let y be (1 - -1) + (-2)/(-2). Let f(o) = -28*o - 3. Let b be f(y). Let s = 123 + b. Does 18 divide s?
True
Does 16 divide 195 - (-1 + 18/(-6))?
False
Suppose 0 = 11*w - 16*w + 60. Is w a multiple of 12?
True
Suppose 0 = 2*a - 4*a + 10. Suppose -3*t + 32 = 3*k - 4, a*t - 76 = -k. Does 8 divide t?
True
Suppose 0 = -o - 3*o + 36. Let s(a) = 5*a**3 - a**2 + a. Let l be s(1). Suppose v - 2*d = -o + 33, 5*v = l*d + 130. Is 20 a factor of v?
False
Let m(x) = 8*x**2 - 2*x + 2. Let t be m(2). Let q = t + -5. Let d = -11 + q. Does 7 divide d?
True
Let i be (156/(-10))/((-3)/15). Suppose -15 = -3*h, 0 = -a + 4*h + h + i. Is a a multiple of 37?
False
Is (822/12)/((-1)/(-2)) a multiple of 25?
False
Let r be (0/(-2))/(-2 + 1). Suppose -4*o - 14 = 5*p - r*p, -4*o + 16 = 0. Let q(a) = a**2 + 5*a + 6. Does 12 divide q(p)?
True
Suppose 4*y - 188 = 148. Does 25 divide y?
False
Let f(p) = -10*p + p - 5 + 0. Suppose 0 = -4*t - 2*l - 16, -l = t + 3*l + 4. Is f(t) a multiple of 11?
False
Let p be ((-16)/(-10))/((-10)/(-25)). Suppose 247 = p*k + 27. Is k a multiple of 19?
False
Does 12 divide -4 + 68/18 - 776/(-9)?
False
Let u be (-12)/42 - 10/14. Does 8 divide ((-16)/(-6))/(u/(-6))?
True
Suppose 4*i - 4*o = -0*i + 116, -3*i - 3*o + 81 = 0. Is 14 a factor of i?
True
Let w = -15 + 28. Is 13 a factor of w?
True
Let l(u) = u - 2. Let k be 3 + (-3 + -2)*-1. Is 3 a factor of l(k)?
True
Let f(j) = j + 2. Let s be f(3). Suppose s*m + 0*m - 60 = 0. Does 4 divide m?
True
Suppose -4*r - 37 = -213. Is r a multiple of 11?
True
Let g be 3/(-15) - (-16)/5. Suppose 2*i - g = x - 0*x, -5*x = -i - 12. Let l(p) = 6*p + 2. Does 20 divide l(i)?
True
Let r(u) = -u**2 + u + 20. Let x be r(0). Suppose t + x = 98. Is 26 a factor of t?
True
Suppose 0 = i - 51 - 9. Does 10 divide i?
True
Suppose 2*q + 26 = 114. Suppose 0 = 2*s, 5*f + s - 51 = q. Does 19 divide f?
True
Let p = 31 - -34. Is 13 a factor of p?
True
Suppose -4*a = 4*o - 160, o - 46 = -0*o - 4*a. Let g = -24 + o. Does 4 divide 66/g + 2/7?
False
Suppose 0*q + 4*q - 28 = 0. Let x be q/2 - 3/2. Is 11 a factor of (-2)/(4/x)*-11?
True
Suppose 0 = -5*o - 3*n + 197, -30 - 14 = -o + 4*n. Suppose 0 = c - 2*c + o. Let s = 61 - c. Is 21 a factor of s?
True
Let j(r) = -r - 1. Let p be j(-3). Suppose -5*u = -p*g + 90 + 315, 6 = -2*u. Suppose -l + g = 5*y, y - 4*l - 56 = -y. Is 16 a factor of y?
False
Let i = 29 - 11. Is i a multiple of 18?
True
Suppose -s + 73 = -f, -163 = -5*s + 4*f + 204. Is 15 a factor of s?
True
Let d(x) = -4*x. Suppose -7*y + 6*y = 4. Let s be d(y). Let j = s - 11. Does 2 divide j?
False
Let o be (-24)/(-9) + 4/(-6). Suppose -3*h - 6 = 3*a, -h = -6*h + 2*a - 38. Does 14 divide h*(13 + o)/(-3)?
False
Let l be 23 - (3 - 0 - 2). Let s = l - -21. Let u = 60 - s. Is u a multiple of 17?
True
Suppose 2*n - 4*n + 98 = 0. Is n a multiple of 13?
False
Let a = -191 + 287. Is 12 a factor of a?
True
Suppose -4*q - 12 = -0*q. Does 13 divide ((-32)/q)/(7/21)?
False
Suppose 0 = -f - 4*p + 8 + 15, -2*f + p + 73 = 0. Suppose c = 4*v + f, 0 = 3*c + 3*v - 26 - 109. Is c a multiple of 21?
False
Let y = 5 + 0. Let x = y + 0. Does 2 divide x?
False
Let h be ((-1)/(-2))/((-1)/44). Does 11 divide (3/2)/((-1)/h)?
True
Let z = 8 + 5. Suppose 5*r = -0*n - n + 20, -r = 2*n - z. Suppose -2*h + 2*p = -2*p - 56, 0 = r*h + 3*p - 66. Is 24 a factor of h?
True
Suppose -2*y = 0, -3*k + y = -52 + 4. Let i be (-2)/(-9) - k/(-9). Does 7 divide ((-14)/(i/2))/(-2)?
True
Suppose 5 = 3*y - 16. Suppose 0 = f - y*f + 390. Does 13 divide f?
True
Let y be -1 - 0 - (-4 + 74). Let b(p) = -4*p**2 + 3*p - 6. Let c be b(3). Let z = c - y. Does 13 divide z?
False
Let h = 17 - 9. Suppose 3*z + 28 = 7*z. Let u = z + h. Does 11 divide u?
False
Let v(c) be the second derivative of -c**5/20 + 5*c**4/12 + 4*c**3/3 - 2*c**2 - c. Let g be v(6). Let k = -4 + g. Is 4 a factor of k?
True
Let r = -45 + 92. Is r a multiple of 12?
False
Let t(c) = c**2 - 3*c + 3. Let d(x) = x**3 + 2*x**2 - 7*x + 7. Let n(j) = 3*d(j) - 7*t(j). Let y be n(1). Is y/(-4) - 51/(-6) a multiple of 8?
True
Suppose 6*s = 3*s + 9. Suppose 34 - 181 = -s*h. Suppose 46 + h = 5*v. Is 11 a factor of v?
False
Let j(d) = -7*d - 13. Let y be j(-10). Let m = y + -30. Is m a multiple of 11?
False
Suppose 0*p - 50 = 2*p. Let z = 46 + p. Suppose -2*t = t - z. Does 4 divide t?
False
Let k be (-28)/(-6) - 2/(-6). Suppose 4*o - 3*o = -k*s - 8, -s = -3*o + 56. Is 6 a factor of o?
False
Does 17 divide ((-270)/35)/(3/(-21))?
False
Let y be ((-2)/6)/((-9)/(-189)). Let c = 6 - y. Does 13 divide c?
True
Let a = 9 - -9. Does 18 divide a?
True
Suppose -3*a = 2*a. Let t be 6 + (-2)/4*2. Let y = a + t. Does 2 divide y?
False
Let v be (4 + -54)/((-1)/1). Suppose v = 5*b - 0. Is 10 a factor of b?
True
Suppose -4*y + v = -294, -2*y = -3*v + 66 - 208. Is y a multiple of 33?
False
Let u = 6 - 3. Suppose u*v = -2*v - 40. Does 17 divide (-38)/(-2) - v/(-4)?
True
Let s(f) = 18*f + 8. Does 30 divide s(5)?
False
Let n(c) = 4*c**2 + 9*c. Let z(s) = 9*s**2 + 19*s + 1. Let m(b) = 5*n(b) - 2*z(b). Is 7 a factor of m(-6)?
True
Let z = -25 - -13. Is 6 a factor of (-1 - 3)/(8/z)?
True
Let m(z) = 4*z + 2. Let c(f) = -3*f - 1. Let q(k) = -2*c(k) - 3*m(k). Is 11 a factor of q(-6)?
False
Does 9 divide (-9)/(3/(-9)*1)?
True
Suppose -2*h = -h - 100. Is 25 a factor of h?
True
Let r = 17 + -2. Suppose -3*p = 2*h - 18 - r, 0 = -h + p + 19. Does 9 divide h?
True
Let w be -1 + -1 + (-2 - -6). Suppose -w*z + 26 + 56 = 0. Is z a multiple of 9?
False
Let u(r) = 3*r - 2. Suppose -3 = -m - 9. Let i = 12 + m. Is u(i) a multiple of 8?
True
Let r(z) = -3*z + 3. Let w be r(4). Let g = -4 - w. Suppose 0 = -v + g*v - 48. Is 8 a factor of v?
False
Let v(y) = -2*y - 2. Let j be v(-3). Suppose -x - 51 = -j*x. Is x a multiple of 8?
False
Suppose -3 = -5*g + 7. Suppose 7*l + 170 = g*l. Let h = -20 - l. Is 7 a factor of h?
True
Let m(v) = -41*v - 27. Is m(-5) a multiple of 47?
False
Let s(a) = -a**3 + 4*a**2 + 4*a + 2. Let x be s(-2). Is 1/(3/9) + x a multiple of 7?
True
Suppose -2*p + 66 = 18. Is 5 a factor of p?
False
Let m(i) = -2*i - 5. Let f be m(-5). Let d(k) = k**3 - 5*k**2 + 3*k + 4. Is d(f) a multiple of 19?
True
Suppose -3*g = 3*c - 264, 0 = 3*c + g + 23 - 281. Does 15 divide c?
False
Let r(a) = -a**2 - 6*a - 5. Let n be r(-5). Let u = 3 + n. Suppose u*q = q + 6, t = -2*q + 14. Is 8 a factor of t?
True
Let p(f) = 10*f - 16. Let l(i) be the third derivative of -i**4/8 + 5*i**3/6 - i**2. Let u(t) = 14*l(t) + 4*p(t). Does 16 divide u(-5)?
True
Let q(u) = 9*u - 7. Does 22 divide q(6)?
False
Let z(k) = -3*k - 2. Is 2 a factor of z(-2)?
True
Let f = 18 - 8. Does 5 divide f?
True
Suppose -2 = 5*t + 3. Let j be (-20 + 0)/(-2 - t). Does 18 divide (35/(-10))/((-2)/j)?
False
Let s = 88 - 36. Does 12 divide s?
False
Suppose 5*k + d - 4*d = 25, 3*d = 0. Suppose k*s = 18 + 17. Is 3 a factor of s?
False
Let a(c) = -2 - 7*c + 3*c + 0 + 3*c**2 - c**3 + 4. Let u be a(2). Does 3 divide (-16)/u + 0 + 0?
False
Let h(j) = 2*j**3 - 3*j**2 - j + 2. Let s be h(2). Suppose 3*l = 5*i + 21, -s*l + 0*i = -i - 11. Is 25 a factor of l/3 - 927/(-27)?
False
Let a = 30 - 45. Let u = -12 - a. Is u a multiple of 3?
True
Suppose -2*n = -0*n - 10. Suppose -2*a - a - 88 = -4*w, 2*w - 44 = -n*a. Let v = w + -2. Does 15 divide v?
False
Let b be 4 - 3/(-9)*-3. Let z be ((-9)/6)/(b/(-44)). Suppose 2*q - 4*g = z, 0 = -0*q - 5*q - 5*g + 85. Is q a multiple of 9?
False
Let o(k) = k**2 - 2*k - 2. Does 11 divide o(7)?
True
Let w(k) = k**2 + 3*k - 13. Is 14 a factor of w(-14)?
False
Let j(g) = g + 14. Does 6 divide j(-8)?
True
Suppose 6*b = b - 4670. Let u be 3/12 - b/8. Let o = -70 + u. Does 23 divide o?
False
Let r = 25 + -22. Is 5 a factor of (2 + (-8)/r)*-12?
False
Let h = 5 - 4. Let n be 2 + (1/h - -1). Suppose -48 = -2*k + 4*t, n*k - 2*k - 2*t - 58 = 0. Is 23 a factor of k?
False
Suppose 2*a - 5*a = -9. Suppose -4*z = 2*f + 32, a*z = f + 6*z + 21. Does 14 divide (-1)/2 + (-129)/f?
False
Let d(r) be the third derivative of -r**6/120 + 3*r**5/20 + r**4/24 + 3*r**2. Let p be d(6). Suppose -p - 46 = -5*q. 