 h be i(5). Does 13 divide (h/(-15))/((-3)/(-15))?
False
Suppose 8 = -3*c - 22. Let b = c - -22. Suppose -4*k - 1 + b = -5*g, -2*g - 6 = -2*k. Is k a multiple of 4?
True
Is 3 a factor of 27 + (-4 - (-4 - -2))?
False
Suppose 0 = -4*v + 3*v - 4. Let l(k) = -2*k**3 - 6*k**2 - 3*k - 2. Is l(v) a multiple of 21?
True
Does 5 divide (-36)/(-1*3) - (-6 + 10)?
False
Let z(t) = t**2 - t + 2. Let b be z(2). Suppose 35 = b*l + l. Is 6 a factor of l - (-3 + 0 + 2)?
False
Let a be (-148)/(-20)*10/2. Let r = a + 21. Is 12 a factor of r?
False
Is 29 a factor of ((-8)/12)/((-2)/87)?
True
Suppose x - 7 = 4*k, k = -0*k + 3*x - 10. Does 18 divide k + -1 - (-50)/1?
False
Let w(j) = 17*j**2 - 4*j + 4. Let h = -3 + 5. Is 16 a factor of w(h)?
True
Suppose 0*f = 4*f. Suppose f = -5*u + 5 + 25. Is 6 a factor of u?
True
Let h(d) = -8*d - 12. Is 26 a factor of h(-8)?
True
Let b(n) = -n**2 - 6*n - 6. Let m be b(-4). Suppose -2*t + m = -4*t. Is 11 a factor of (1/2)/(t/(-22))?
True
Does 12 divide (192/20)/((-4)/(-30))?
True
Let s = 12 + -6. Let i(l) = 2*l**2 - 9*l + 3. Does 7 divide i(s)?
True
Let x = -1 - -19. Suppose 0 = 2*k + w - 59, 9 = k - 2*w - x. Is k a multiple of 11?
False
Let v(k) = k**3 - 4*k**2 + 3*k - 2. Let o be v(3). Is (-1)/(3/132*o) a multiple of 11?
True
Let f(q) = -q**3 + 16*q**2 + 2*q + 15. Let s(b) = 3*b**2 - 3*b - 2. Let u be s(-2). Is 16 a factor of f(u)?
False
Let u be (-521)/4 - 9/12. Let n = -87 - u. Is n a multiple of 22?
True
Let j(o) = o**2 + 5*o + 9. Is 5 a factor of j(-6)?
True
Let r be (-1)/(-1)*(14 - -3). Suppose -2*y + 3 = -r. Suppose -54 = -2*p + y. Is 17 a factor of p?
False
Suppose 0*h = 3*h - 1023. Is h a multiple of 31?
True
Suppose q - 338 = -2*q + 2*z, 5*q - z = 554. Let l = q + -41. Is l a multiple of 24?
False
Let b = 7 + -3. Suppose 4*i = 2*v - 12, -2*v = 2*v + b*i - 24. Is 6 a factor of v?
True
Suppose 8*z - 9*z + 53 = 0. Is z a multiple of 5?
False
Let f = -3 - -4. Let s = 2 + f. Does 2 divide s?
False
Let r = 33 + -6. Does 27 divide r?
True
Suppose 0*w - 2*w + 10 = 0. Let m(y) be the second derivative of y**3/3 - 7*y**2/2 - 2*y. Is 3 a factor of m(w)?
True
Suppose 5*j = 2*j. Suppose -q - q - 10 = j, -3*q = -4*a + 35. Is 4 a factor of a?
False
Suppose -4*y + 40 = y. Suppose -114 = -y*u + 5*u. Does 14 divide u?
False
Suppose -4*h - v + 42 + 723 = 0, 0 = -5*v + 25. Does 27 divide h?
False
Let a(d) = -d**2 - 10*d - 7. Suppose -5*o = -25, 2*v - 12 = -4*o + 18. Suppose 0 = -v*k - 22 - 13. Is a(k) a multiple of 14?
True
Let n be (-5)/(-1) - (-4)/(-2). Suppose n*y - 8*y = 0. Suppose y = -t + 2 + 28. Is 15 a factor of t?
True
Suppose 2*d - 336 = 4*c, c - 257 + 908 = 4*d. Does 27 divide d?
True
Let o(v) = v**2 - 19*v + 3. Let s(y) = y**2 - 20*y + 4. Let g(f) = -6*o(f) + 5*s(f). Is g(11) a multiple of 7?
True
Suppose 4*j + 6*s = 3*s + 3, -2*s = 6. Is j a multiple of 3?
True
Let k = -4 - -2. Let d be (-1)/k - (-10)/4. Is 3 a factor of (d/(-4))/((-3)/24)?
True
Let i(n) = n**3 + 5*n**2 - 2*n - 6. Let h be i(-5). Let w be 1/(-2) + (-14)/h. Is (w/6)/(4/(-222)) a multiple of 12?
False
Suppose 4*k + 1 = f + 2*f, -17 = 5*f - 2*k. Let h(b) = -b**2 - 7*b - 2. Let l be h(f). Let s = l + -2. Does 5 divide s?
False
Let j = 4 - -1. Is j/((2 - 5)/(-3)) a multiple of 5?
True
Let l(k) = 2*k - 3. Let q be l(5). Let u = 46 + -28. Let o = u - q. Is 11 a factor of o?
True
Suppose 2*l = -5*q + 27, -27 - 36 = -3*l - 3*q. Suppose 4*n - 21 + 1 = -2*k, -3*k + 4*n = -50. Let r = l - k. Is r a multiple of 6?
True
Let s = 30 + 30. Is 20 a factor of s?
True
Suppose 2*o + 36 = d - 3*o, 0 = o - 2. Suppose 4*r + v + 3*v = 92, 2*r - d = 2*v. Is 9 a factor of r?
False
Let j(s) = -s**2 - 5*s - 2. Let n be j(-4). Suppose 0 = -4*q - 0*q + 5*r - 72, -4*q + r - 72 = 0. Let l = n - q. Is l a multiple of 6?
False
Let n(k) = 3*k**2 - 6*k. Let v = 3 - 5. Let z = 2 - v. Does 12 divide n(z)?
True
Let b = 21 - -25. Suppose 0 = -2*r - 6 + b. Is r a multiple of 8?
False
Suppose 0 = k - 42 + 2. Is 10 a factor of k?
True
Let b(y) = 5*y**3 - 2*y**2 + y. Let g be b(1). Suppose -2*d + 0*x + 20 = 4*x, 0 = x + 1. Suppose -24 = -g*p + d. Is 7 a factor of p?
False
Let i = 0 - -10. Suppose -o + 3*f + 18 = 0, i = -f + 3*f. Does 11 divide o?
True
Let i(r) = r**2 - 4. Let q be (4 + -2)*(-10)/(-4). Suppose 0 = -3*s + q*g + 22, -3*s = 3*g - 2 - 4. Is 12 a factor of i(s)?
True
Suppose -a + 10 = a. Suppose -a*j + 44 = -3*j. Does 11 divide j?
True
Let p = 0 + 2. Suppose p*d = -0*d + 30. Is d a multiple of 11?
False
Suppose 0 = -2*d - s, 3*d = -2*s + s. Suppose -7*k + 3*k - 4*i - 4 = d, 2*i + 12 = 3*k. Is k even?
True
Suppose 3*s - 27 = 4*c, 3*s + c - 30 = 6*c. Suppose 233 = 4*z - s*j + 68, 4*z - 158 = -2*j. Suppose n + z = 3*o - 0*n, -4*o + 49 = 3*n. Is o a multiple of 13?
True
Suppose -3*t = 2*z - 0*t - 7, z = -4*t + 1. Is ((-15)/z)/(2/(-12)) a multiple of 10?
False
Suppose -h + 5 = s - 73, 2*s - 4*h - 126 = 0. Is s a multiple of 19?
False
Let c(w) = 2*w**3 - w**2 + w - 9. Is c(4) a multiple of 18?
False
Let f = 33 - 5. Is f a multiple of 28?
True
Suppose z = 10 - 8. Suppose -z*l = -10 - 16. Is l a multiple of 13?
True
Suppose 5*f - 2*p = -5, 0 = -5*f + 3*p - 6 - 4. Let y(j) be the second derivative of j**3/3 + j**2/2 - 9*j. Is y(f) a multiple of 2?
False
Is ((-12)/24)/((-2)/((-856)/(-2))) a multiple of 25?
False
Suppose 5*p + 47 = 547. Let x(t) = -t**2 + 3*t + 4. Let v be x(3). Suppose -3*g - v*j = j - 75, 0 = -4*g + 3*j + p. Is 12 a factor of g?
False
Does 3 divide ((-75)/(-20))/(2/8)?
True
Let i(o) = -6 + 0*o - 2*o - 2*o**2 + 3*o**2. Let d be (-20)/8*(-60)/25. Does 7 divide i(d)?
False
Let f(v) = v**3 + 7*v**2 + 2*v - 5. Let g be f(-5). Let b be (-48)/9*90/(-8). Let z = b - g. Is 15 a factor of z?
False
Suppose 9 = 4*m - 5*b, -3*m + 3*b = -8*m + 2. Is -2*m + 14 + 2 a multiple of 7?
True
Let z(t) = -t + 84. Does 4 divide z(20)?
True
Let a(l) = l**3 - 3*l**2 + 2*l - 5. Is a(5) a multiple of 7?
False
Let z(g) = 4*g**2 + g - 1. Let l be z(4). Let f = l - 39. Does 14 divide f?
True
Let b = 5 - 2. Let q be b + -2 + -1 + -1. Does 15 divide -1 - (-30 + -1 + q)?
False
Let r(p) = -p**2 + p - 1. Let w be r(0). Is 3/1*(w - -2) a multiple of 3?
True
Let b(k) = -k**2 - 3*k + 4. Let n be b(-4). Suppose -5*j = -o - 37, 3*j + n*j - 27 = -o. Is j a multiple of 4?
True
Let h = 10 - 7. Let l(n) = 4 - 7*n**2 + n**3 + 0 - n - 2*n**h. Is l(-7) a multiple of 11?
True
Let w(q) = -q**3 - 11*q**2 + 12*q + 6. Let a be w(-12). Is (a/8)/((-5)/(-120)) a multiple of 12?
False
Let i(m) = 16*m - 7. Let r be i(5). Let x = r + -38. Is x a multiple of 7?
True
Let t be 6/21 - (-37)/(-7). Let r = t - -8. Suppose r*q + q = 60. Is 5 a factor of q?
True
Suppose 16 = -2*p - 4*l, -4*p + l + 0*l = -13. Suppose -q = p*q - 72. Is q a multiple of 7?
False
Let d(f) = -f**2 + 14*f - 16. Let o = -2 + 13. Does 10 divide d(o)?
False
Let d(p) = 2*p**2 + 0*p**2 - 5*p + 8*p. Is d(-4) a multiple of 10?
True
Is -5*10/200 + 658/8 a multiple of 25?
False
Let v(c) = 9*c + 8. Is 16 a factor of v(8)?
True
Let o(y) = y**3 + 4*y**2 + y - 1. Let a be o(-3). Suppose a*i - 19 = 36. Is i a multiple of 8?
False
Suppose 0 = -2*a + 18 + 2. Let j = 0 + a. Is j a multiple of 5?
True
Suppose -6*f = -9*f + 195. Let c be (2/4)/(1/78). Suppose c + 13 = 4*q + 5*x, 0 = 5*q - x - f. Is 5 a factor of q?
False
Suppose -i + 23 = -2*c, 3*i + 49 = 6*i - c. Does 3 divide i?
True
Let v(z) = z**3 - 12*z**2 + 14*z + 21. Is 27 a factor of v(11)?
True
Suppose 232 = -4*k + 872. Is k a multiple of 34?
False
Let l(f) be the first derivative of 0*f + 2 - 5*f**2 - 1/3*f**3. Does 8 divide l(-6)?
True
Suppose -15 = -4*v + 121. Is 34 a factor of v?
True
Let q = -90 + 40. Let v = 80 + q. Does 8 divide v?
False
Let b(y) = -y**3 + y**2. Let m be b(0). Suppose 0 = 4*i + n - 13, 3*i - 15 = -m*i + n. Let g = i - 0. Is 4 a factor of g?
True
Let t(a) = 2*a**2 + 7*a - 27. Is 45 a factor of t(-8)?
True
Let z = 10 + -32. Let q = z + 4. Let m = 30 + q. Is m a multiple of 12?
True
Let t(l) = 3*l**3 - 11*l**3 - 1 + 2 - l**2. Let y(a) = -a**2 + 5*a - 5. Let c be y(4). Is 8 a factor of t(c)?
True
Suppose -4*s = 20 + 72. Let q = -10 - s. Is 4 a factor of q?
False
Let k = 24 - -20. Does 14 divide k?
False
Let r(u) = -u**2 - 12*u + 11. Is 23 a factor of r(-8)?
False
Let f be -2 + 6/3 + 4. Let i be (-6)/(-4) - (-