b be 12 + -13 - (12 + 0). Let g = b - -30. Is g a multiple of 16?
False
Does 23 divide 3 + 1 - (-462)/6?
False
Is 13 a factor of 109/(5 - 18/4)?
False
Suppose -5*s - 2*i = -87, 5*s + i - 4*i = 82. Suppose -2*h + 6 = -4*q - 8, -h = -q - 8. Let v = s - h. Is 4 a factor of v?
True
Suppose -i + 360 = 3*i - 5*c, -3*c + 297 = 3*i. Suppose 2*m + 3*m = i. Is 18 a factor of m?
False
Suppose -11 = -4*l + 1. Suppose -42 - 17 = -5*a + 4*w, 0 = -l*a - 2*w + 53. Does 9 divide a?
False
Suppose -162 = 2*a - 5*a. Let j = a - 30. Does 9 divide (-2 + j/10)*65?
False
Suppose -2*d - 8 = 0, -d = 4*i - 2*d. Let x be i + -71 - 2/2. Let m = 125 + x. Is 19 a factor of m?
False
Let b(y) = y**3 - 15*y**2 + 19*y - 4. Is 23 a factor of b(14)?
False
Let a = 81 + 17. Suppose 4*v + 2*c + c = 131, 3*v = -2*c + a. Is 16 a factor of v?
True
Suppose -11 + 2 = -3*k. Let y be ((-1)/1)/(k/(-6)). Suppose g + y*g = -4*f + 85, -31 = -g - 2*f. Does 8 divide g?
False
Suppose 5*h - 4*y = 8*h - 680, -3*h + 3*y + 666 = 0. Is 28 a factor of h?
True
Does 3 divide -31*2*(-6)/12?
False
Let w(s) = 0*s - 3*s + 5 + 2*s + s**2 - 2. Is 8 a factor of w(5)?
False
Suppose -p + 1 = 4*a, -3*p - 2*a - 2*a + 27 = 0. Is p a multiple of 6?
False
Let h be 10*3/6 + -3. Is (-50)/(-2*h/4) a multiple of 13?
False
Suppose 0 = 4*z + 3*r - 165, 3*z - 5*r + 93 = 5*z. Let y = z - 15. Let x = y - 9. Is 7 a factor of x?
False
Suppose 4*z - 625 + 115 = -5*d, -4*d = z - 133. Does 22 divide z?
False
Suppose 4*q = 6*q. Let v(y) = 11*y - 6. Let o be v(4). Suppose -o = -q*t - t. Is t a multiple of 19?
True
Suppose -2*i = -0*i. Let m = i + 31. Is m a multiple of 25?
False
Let i(m) = m**3 + m - 15. Let u be i(0). Is ((-9)/u + -1)*-65 a multiple of 22?
False
Let y(g) = 2*g**2 + 21*g - 12. Is 24 a factor of y(-12)?
True
Let m(c) = c**3 + 6*c**2. Let t be m(-6). Let j(v) = v**3 + 26. Let d be j(t). Suppose 0 = -q - 4, 3*q = -2*a - 0*q + d. Is a a multiple of 7?
False
Suppose 93*o = 92*o + 14. Is 7 a factor of o?
True
Let n(u) be the second derivative of -4*u**3/3 + u**2/2 - u. Let j be n(2). Let h = -3 - j. Is h a multiple of 12?
True
Suppose 5*v = y + 21, -2*y + 3*y - 7 = -2*v. Let c = v - 1. Is c a multiple of 2?
False
Suppose 3*p - 6*p + 9 = 0. Suppose -p*x = -x - 10, -3*n + 5*x = -11. Let k = n - -7. Does 7 divide k?
False
Let l = 73 + -23. Does 10 divide l?
True
Suppose 4*j = 3*j, -5*v + j - 30 = 0. Let q be (45 - 6)*(-4)/v. Suppose 3*d - 28 = q. Does 9 divide d?
True
Suppose -4*y - 3*l - 3 = -22, 2*l = y - 2. Suppose -5*w = -21 - y. Suppose 0*r - r - 15 = -4*f, -w*r + 10 = -3*f. Is 2 a factor of f?
False
Suppose -f + 35 = -8*f. Does 28 divide (-1)/f + 4190/50?
True
Let a be 1/2*2 - 1. Suppose -4*c - 2*n = -92, -4*c - n - 2*n + 94 = a. Suppose 0 = 5*y - 13 - c. Does 7 divide y?
True
Let y(p) = 3*p**2 + 2*p. Let u be y(-4). Let h(k) = -21*k + 1. Let i be h(-3). Let d = i - u. Is d a multiple of 11?
False
Let c(j) = j**3 + j**2 - 1. Let u(h) = -2*h**3 + 3*h**2 - 4*h + 12. Let w(v) = -3*c(v) - u(v). Does 12 divide w(-7)?
True
Let s = 8 - -6. Does 14 divide s?
True
Let c(g) be the third derivative of 1/12*g**4 + 0*g**3 + 0*g - 2*g**2 + 0 + 1/15*g**5. Is c(3) a multiple of 21?
True
Let k = 22 + -15. Let m = k + -2. Suppose -16 = -c + m. Is c a multiple of 12?
False
Let o(t) = 9*t**2 + 2*t - 1. Let s be o(1). Let l = s + -5. Suppose 5*j + 4*a - a = 282, 0 = -l*j - 4*a + 286. Does 21 divide j?
False
Let p = -10 - -13. Suppose 55 = p*x + t, t + 89 = x + 4*x. Does 5 divide x?
False
Let p be -4 - (-27 + (-7 - -4)). Let q(o) = o**3 - 7*o**2 + 8*o + 2. Let w be q(6). Let k = p - w. Is k a multiple of 12?
True
Let r(w) = -14*w + 20. Is r(-10) a multiple of 8?
True
Let q(h) = h**3 + 3*h**2 + 3*h + 3. Let z be q(-3). Let n = 15 + z. Let k = n + -1. Does 4 divide k?
True
Let k = -80 - -112. Is 8 a factor of k?
True
Let a = 0 - -2. Let x(c) = -2*c - 3. Let b(y) = -1. Let s(v) = 2*b(v) - x(v). Is s(a) a multiple of 2?
False
Suppose 0 = 4*i - 6*i + 16. Does 2 divide i?
True
Let i be 2/11 + (-194)/(-22). Let p = -6 + i. Does 5 divide 11 - -1 - (p - 5)?
False
Suppose 5*o - 137 + 17 = 0. Is 8 a factor of o?
True
Let a(c) be the third derivative of -c**6/120 + 3*c**5/20 - c**4/6 + 5*c**3/3 + 4*c**2. Is a(8) a multiple of 14?
True
Let s = 26 + 114. Is 35 a factor of s?
True
Let q be 13/(-3 - -2*2). Suppose 3*r + 5*w = 4, 5*w + q = 4*r + 4*w. Suppose -5*i = -r*g - 218 + 35, 3*g = -4*i + 141. Does 18 divide i?
True
Suppose 0 = -2*z - 3*z. Let w(s) = -s + 8. Let q be w(6). Suppose z = -q*k + 9 + 7. Is 8 a factor of k?
True
Suppose -79 = -m + t, -4*t + 73 = m - 11. Is 11 a factor of m?
False
Suppose 4*l = -8, 2*w - 5*l - 2 = 20. Suppose 0 = -3*t - 3*i + 15, -4*t + 5*i + w + 5 = 0. Is 4 a factor of t?
True
Suppose -78 - 32 = 5*t. Let g = t - -42. Is g a multiple of 9?
False
Suppose 0 = -4*k - 2*g + g + 1513, 3*g + 9 = 0. Does 52 divide k?
False
Let g(d) = -2*d + 8. Let b be g(-6). Suppose -4*a + 2*a + b = 0. Suppose 5*k - 4*k = a. Is 10 a factor of k?
True
Suppose 2*b - 103 = -2*q + 139, 3*b - 489 = -4*q. Does 42 divide q?
True
Let a = -6 - -11. Let f be 699/6 + 1/(-2). Suppose a*z - z - f = 0. Is z a multiple of 11?
False
Let l = -36 - -108. Let j = l - 34. Does 19 divide j?
True
Suppose -q = -3*v - 13, -v + 2 = -2. Suppose 0 = -5*c - q, 0 = -b - 2*c + 35 - 0. Does 13 divide b?
False
Let g = 36 - 23. Is g a multiple of 4?
False
Suppose -3 - 27 = 5*q. Let g be ((-2)/q)/((-2)/(-6)). Does 15 divide 28 + g + -2 + 0?
False
Suppose 0 = 4*k + 2*m - 4*m - 16, k + 3*m - 4 = 0. Suppose -k*i + 137 = 21. Does 29 divide i?
True
Suppose 2*p = -3*x + 71, 2*x + 2 - 116 = -3*p. Is 20 a factor of p?
True
Let o be 20/8 + (-2)/4. Suppose 4 = -o*f - 10. Let u(b) = -b**3 - 8*b**2 - 7*b + 10. Is u(f) a multiple of 5?
True
Let a = 331 + -163. Is a a multiple of 24?
True
Let u(q) = -5*q**3 + 7*q**2 - 11*q + 1. Let c(w) = -2*w**3 + 4*w**2 - 6*w. Let a(l) = 7*c(l) - 3*u(l). Let h be a(-8). Is 4 a factor of (2/h)/((-3)/(-30))?
True
Let f(k) = k**2 - 7*k + 7. Let l be f(10). Let q = 5 + l. Is q a multiple of 21?
True
Let y(v) = -v**3 - 7*v**2 - 7*v - 9. Let b be y(-6). Let n = b - -35. Is 16 a factor of n?
True
Is (-42348)/(-132) + (-4)/(-22) a multiple of 31?
False
Suppose 0 = 5*l - 2*w - 391, 5*l - w = -5*w + 373. Is l a multiple of 11?
True
Suppose -4*g - p = -13, -3*g - p + 21 = 2*p. Suppose -3*k = -g*k - 13. Is k a multiple of 8?
False
Let r(t) = 34*t**2 + t. Let c be 4/(-26) + 33/(-39). Is r(c) a multiple of 13?
False
Let f = 9 - 8. Is 2 a factor of (-3 + f)/(13/(-26))?
True
Suppose k - 1 - 7 = 0. Let b(w) = -k*w**2 + 0 + w**3 + 8*w + 0*w**3 - 4. Is b(7) a multiple of 3?
True
Let x be ((-2)/6)/((-2)/78). Suppose -1 = 2*j - x. Is 3 a factor of j?
True
Suppose 2*i - 2*g - 8 = -0*g, -i = 2*g + 2. Let h be ((-8)/(-3))/(1/3). Suppose -i = -d + h. Does 5 divide d?
True
Let w(t) be the first derivative of -t**4/4 - 2*t**3/3 - t**2/2 - 2*t + 1. Let n be w(-3). Let q = 19 - n. Does 5 divide q?
False
Let y = -5 - -9. Suppose w + 2*w + l = 87, -40 = -w - y*l. Does 6 divide w?
False
Let s = 8 + -3. Let f(a) = -a**2 + 2*a + 6. Let v be f(s). Let n = 0 - v. Is n a multiple of 9?
True
Let m(q) = -3*q - 4. Let v be -6 + (1 - (-1 + 2)). Does 7 divide m(v)?
True
Let u(x) be the second derivative of -1/6*x**3 + 3*x + 0 + 9/4*x**4 - 1/2*x**2. Does 10 divide u(-1)?
False
Let j = 164 - 48. Is j a multiple of 20?
False
Let j = 8 - 9. Let v = j - -4. Let c = v - -2. Does 3 divide c?
False
Let s = -18 - -13. Let t = s + 5. Suppose q + 5*m = -t*m + 53, -187 = -4*q + 5*m. Does 24 divide q?
True
Let o be 2/6*(-1 + -2). Let q = 5 + o. Is 12 a factor of 2*5 - (q + -6)?
True
Let w = -7 - -14. Let f(g) = g - 7. Let n be f(w). Suppose n = -3*d - 2*r + 45, 22 - 62 = -2*d + 2*r. Is d a multiple of 7?
False
Let z(f) = f - 3. Let o be z(8). Let b be 0 + -1 + 93 + -2. Suppose 0*l - o*l + b = 0. Is l a multiple of 11?
False
Let i = 0 + 2. Suppose 4*s - i = 2*s. Does 2 divide 6/(s*(4 - 3))?
True
Let o(m) = m**3 - 2*m**2 - m - 2. Let y be o(2). Let l(u) = -u**2 - 3*u - 4*u + 3*u + 3. Does 2 divide l(y)?
False
Let d be (-348)/(-2)*1/3. Let z = d - 34. Does 8 divide z?
True
Let j = 0 + 4. Suppose 0*c + 3*f - 1 = 2*c, 0 = 2*c - 2*f - j. Does 5 divide c?
False
Let q = 7 - 5. Does 15 divide q*-9*5/(-2)?
True
Let j(l