se
Let z(n) = n**3 + 4*n**2 + 3. Let l be z(3). Let q be 67/(-2) + (-1)/2. Let h = q + l. Is 13 a factor of h?
False
Let a(v) = 6*v**2 + 3*v - 3 - 3*v - 3*v**3 + 4*v**3. Is 22 a factor of a(-5)?
True
Let f = 89 + -64. Is 25 a factor of f?
True
Suppose 3*b + 2*o = 12, 5*o + 6 = b + 2. Suppose -4 = b*c - 0. Let d(t) = -7*t**3 + t. Is d(c) a multiple of 5?
False
Let x = 159 + -104. Is 18 a factor of x?
False
Let r be 4/8 - (-3)/6. Is 0/2 + (r - -22) a multiple of 12?
False
Suppose -n = -11*n + 1200. Does 30 divide n?
True
Suppose 5*r - 15 = 2*r. Suppose 5*d - r*v - 240 = 0, -2*d + 81 = 2*v + v. Is 19 a factor of d?
False
Suppose 7*t = 6*t - 76. Let w(m) = 3*m**2 - 5*m. Let z be w(7). Let p = t + z. Does 10 divide p?
False
Let s(f) = -41*f + 15. Is s(-5) a multiple of 23?
False
Let q(o) = o**2 + o + 3. Let b be q(0). Suppose 0 = v + b*j - 38, -2*v + 73 - 7 = j. Is 32 a factor of v?
True
Let h(y) = -6*y - 5. Is 16 a factor of h(-6)?
False
Suppose 0 = -3*i - 0 + 6. Suppose -22 = -5*d - i. Suppose -5*o = 5*p - 85, 2*o - d*p - 67 = -3*o. Is 15 a factor of o?
True
Let n(v) = -2*v**3 - v**2 - 3*v - 3. Let y be n(-4). Let d = 49 - y. Let q = 104 + d. Is q a multiple of 16?
True
Let q be ((-2)/2)/(5/20). Let w(r) = r**2 + 1. Is w(q) a multiple of 14?
False
Let n = 0 - -2. Suppose n*t - 23 = 65. Suppose 5*d - 116 = t. Does 16 divide d?
True
Let t be ((-20)/16)/(4/(-16)). Let w = 2 + -4. Let f = t + w. Is 3 a factor of f?
True
Is 17 a factor of 21*(-8)/(-12) - -3?
True
Let i(d) = -2*d**3 - 2*d**2 - d - 2. Let v be i(-4). Let p = 4 + v. Suppose g + p = 4*g. Does 17 divide g?
True
Suppose -5*y = 71 - 281. Does 4 divide y?
False
Let z(h) = -5*h - 12. Is z(-12) a multiple of 16?
True
Let y(s) = s - 2. Let t be y(-2). Let q(k) = 3*k**2 + 5*k - 1. Does 7 divide q(t)?
False
Is ((-12)/(-16))/(2/24) - 2 even?
False
Let y(q) = -18*q - 2. Is y(-4) a multiple of 38?
False
Let a = -50 + 159. Is a a multiple of 30?
False
Suppose -y - 2*y + 9 = 0. Suppose 8*v - y*v = 10. Is (-120)/(-9)*3/v a multiple of 20?
True
Suppose 2*z - 6 = -2*b - 3*b, 5*z = 3*b - 47. Is 2/z + 30/7 a multiple of 2?
True
Let h = -12 - -18. Is (-54)/(-4) + (-3)/h a multiple of 11?
False
Suppose -4 = h - 12. Suppose 2*a - 4*y - h = 0, 6*a = 3*a + 3*y + 24. Is a a multiple of 4?
True
Let t(b) = -b**3 - 7*b**2 + 7*b - 3. Let v be t(-8). Suppose -13 = v*l - 333. Is l a multiple of 20?
False
Suppose 186 = 3*l - 282. Is (5/15)/(2/l) a multiple of 6?
False
Let x be ((-2)/(-4))/(2/20). Suppose 2*z = m + 19, -5*m = x*z - 90 + 20. Does 5 divide z?
False
Let h(p) = p**2 - 3*p + 3. Let u be h(2). Let n be (-174)/(-36) + u/6. Suppose -3*y + 18 = z, n*z = -0*y - 4*y + 24. Is y a multiple of 6?
True
Suppose -23 = n - 59. Let c = n - 15. Does 7 divide c?
True
Let b = -175 + 123. Let o = 89 + b. Is 11 a factor of o?
False
Let x be -2*(-2 - -1) + -32. Let f be (1 - -4)*12/x. Is (39/9 + f)*3 a multiple of 3?
False
Suppose -98 = -m - 31. Is m a multiple of 44?
False
Let f(g) = 33*g + 9. Does 9 divide f(3)?
True
Is (-10)/3*(-3)/1 a multiple of 5?
True
Does 10 divide ((-1)/2 - (-2 + 1))*192?
False
Suppose -2*c - c = -159. Does 13 divide c?
False
Let k(h) = h**3 - 9*h**2 - 10*h + 3. Let p be k(10). Suppose -p*c + 6*c - 108 = 0. Does 12 divide c?
True
Let p = 14 + -24. Let t be 54/10 + 4/p. Let s = 12 - t. Does 3 divide s?
False
Let w = 51 + -6. Does 9 divide w?
True
Let v(c) = 3*c**2 - c - 1. Does 9 divide v(2)?
True
Let s = 45 - 3. Suppose 4*v = -p + s, -3*v - v = -4*p + 188. Is 23 a factor of p?
True
Suppose -260 - 118 = -3*p. Does 21 divide p?
True
Let l(c) = 2*c - 3. Let p be l(5). Suppose -p*n = -3*n - 24. Is n a multiple of 6?
True
Suppose -t = 2*s - 46, -s = 5*t + 4*s - 220. Is t a multiple of 42?
True
Is 128/22 - (217/77 + -3) a multiple of 5?
False
Let r = -5 + 8. Suppose r*t = f + 4, -4*f - 4*t - 1 = -33. Is f a multiple of 3?
False
Let b(c) be the first derivative of c**3/3 - 3*c**2/2 - c + 3. Is b(10) a multiple of 13?
False
Let h(s) be the third derivative of -s**5/60 - 5*s**4/24 - 2*s**3/3 + 2*s**2. Let a be h(-4). Suppose a = 4*l + l, 3*o = -5*l + 15. Does 4 divide o?
False
Let a = 50 + -30. Suppose -p - 20 = -2*t - 7, -a = -3*t + p. Is t a multiple of 7?
True
Suppose t - 4*t = -51. Is 12 a factor of t + (-1 - -3)*1?
False
Let v = 10 - 16. Let y = v + 6. Suppose -2*c + 18 = -y*c. Does 9 divide c?
True
Suppose -3*l - 8 = -l. Does 6 divide (-91)/l - (-4)/16?
False
Let w(o) = 4*o**2 + 4 - 3*o - o**3 - o**2 + 4*o**2 + 0*o**2. Does 5 divide w(6)?
False
Let n be -3 + 18/(-1 + 4). Suppose 5*x + n*f - 161 + 11 = 0, 0 = 5*x + 5*f - 150. Does 10 divide x?
True
Let p = -29 + 1. Let y be 48/p - 4/14. Let x = y - -10. Is x a multiple of 8?
True
Let k = -6 + 15. Does 7 divide k?
False
Suppose -2*t + 3*c = -7, 5*t - 8 = 3*t + 2*c. Suppose 3*y + t = -n + 36, -n - 2*y = -28. Is n a multiple of 5?
False
Suppose -o - 2*n - 49 = -130, -2*n = -4*o + 314. Let d = o - 20. Is d a multiple of 13?
False
Suppose -4*t + 10 = t. Suppose t*f - 25 = -f - 5*d, 3*f - 4*d = -20. Suppose 3*j - 14 + 5 = f. Is j a multiple of 2?
False
Let t(y) = -y**2 - y + 2. Let b be t(0). Let o = 15 - 11. Suppose 3*w = o*w - b. Is w a multiple of 2?
True
Let p = 3 + 1. Let l be ((-53)/p)/((-2)/8). Let t = l - 29. Is 12 a factor of t?
True
Let p = -30 - -60. Is p a multiple of 15?
True
Let l be (3 - 6/2)/(-2). Suppose -2*i - 4*f - 14 = l, 5*i + 0*f - 4*f - 35 = 0. Is (2 + -4)*i/(-2) a multiple of 3?
True
Let t(i) = 3*i**2 - 8*i + 3. Does 4 divide t(3)?
False
Let i = 4 - 1. Suppose 8*g = i*g. Suppose g = -y + 11 + 9. Is y a multiple of 10?
True
Suppose -24 = -4*s + g, 4*s - 25 = -2*g - 1. Is s a multiple of 3?
True
Suppose -15 = 2*p - 3. Let t(y) = -y**3 - 6*y**2 - y + 7. Let i be t(p). Let m = 13 + i. Is 13 a factor of m?
True
Suppose -5*f - 52 = -2*y, -40 = -f + 5*f - 2*y. Let q = -19 - f. Let c = q - -22. Does 7 divide c?
False
Let r = -1 + 5. Suppose r*k - 225 = -k. Does 14 divide k?
False
Let k be (0 + 0)/(3*1). Suppose k = 5*j - h - 99, 3*j - 4*j + 18 = -2*h. Is j a multiple of 14?
False
Let f(w) = -8*w - 14. Let r be f(-6). Suppose 32 = 3*s - r. Is 11 a factor of s?
True
Is (-2)/(21/6 + -4) - -116 a multiple of 5?
True
Let b(u) be the first derivative of -1/2*u**2 + 3*u - 2. Is b(-3) a multiple of 3?
True
Let z(n) = n**2 - n + 3. Suppose j = 3*j. Is 2 a factor of z(j)?
False
Suppose -f - 2*s = 1, -3*s - 3 = 5*f - 2*f. Let u(o) = -36*o + 2. Does 19 divide u(f)?
True
Suppose -4*f - 18 = 3*m, 0*f + 2*f - 2 = 4*m. Let q = m + 19. Is q a multiple of 12?
False
Let g = 14 - 10. Suppose g*s + 148 = 4*u, 3*u - 8*u - 4*s = -230. Is u a multiple of 14?
True
Is 12 a factor of 228 - 1 - 2 - (-2 - -2)?
False
Let l(g) = g**3 + 5*g**2 + 2*g - 3. Let v be l(-4). Suppose 3*r = v*p - 1, r - 13 = -3*p + 10. Does 8 divide r?
True
Let z(k) = k**3 - 3*k**2 - k - 3. Let o be z(3). Let b = o - -34. Is b a multiple of 14?
True
Let r(u) = u**2 - 8*u - 12. Does 7 divide r(11)?
True
Let d be (12/(-9))/(2/(-72)). Suppose y - d = -y. Is 12 a factor of y?
True
Let y(o) be the first derivative of o**4/4 + 4*o**3/3 - o**2 - 5*o - 1. Let t be y(4). Suppose t = 8*d - 3*d. Does 12 divide d?
False
Suppose 9 + 67 = 4*s. Suppose -2*j = 5 - s. Does 6 divide j?
False
Suppose -156 = -5*j + 3*j. Is j a multiple of 13?
True
Let t = 7 + -3. Suppose -2*d - t*c + 20 = 0, 5*d + 2*c = 28 + 38. Suppose -3*s + 4*w = -2*s - d, 2*s - 28 = -5*w. Does 14 divide s?
True
Let f = 6 + 7. Suppose -2*k = -u - 3*u + 38, -3*k + f = 4*u. Does 4 divide u?
False
Does 7 divide 6/(-5)*((-35)/2 - 0)?
True
Suppose 8 = 8*j - 4*j. Let h(v) = v**2 - 5*v + 1. Let p be h(7). Suppose 5*z + 5*x - p = 0, -z + 44 = j*z - 4*x. Does 4 divide z?
True
Let l = 70 - 58. Is 5 a factor of l?
False
Let n(h) = h**2 - h - 30. Is n(-7) a multiple of 3?
False
Let x be 2*5 + (-3 - -4). Let f = 8 - x. Does 8 divide f/(-9) - 142/(-6)?
True
Let w(f) = -f**2 - 8*f. Let z be w(-8). Suppose 550 = 5*m - z*m - 5*j, 3*m + 2*j = 320. Is m a multiple of 33?
False
Let i(v) = v**3 - 6*v**2 - 3*v - 4. Let d be i(3). Does 4 divide ((-42)/(-35))/((-6)/d)?
True
Let a(w) = 2*w + 2. Let c be a(4). Suppose 2*f = 4*f - c. Is 3 a factor of f?
False
Suppose 0 = -3*x - 2*x + 20. Suppose 8*d = x*d + 104. Does 13 divide d?
True
Let i be (-4)/(-2) + -1 + 2. Suppose 2*