alse
Let w = 2 + -2. Suppose w = i - 53 - 42. Suppose 8*v = 3*v + i. Does 12 divide v?
False
Suppose -4*o - 4 = -4*x, x + 3*x - 2*o = 12. Suppose x = -4*j - 3. Does 14 divide 17 - 2*2/j?
False
Let b(g) = 18*g**3 - g**2 + 1. Is 15 a factor of b(1)?
False
Suppose -z + 2*z = -64. Let r = z + 114. Is 25 a factor of r?
True
Let y(o) = o. Let c be y(5). Suppose 0 = -2*p + 5*p - 9. Is p + c + (1 - 3) a multiple of 6?
True
Suppose -5*z - 2*w = -85 - 172, -2*z - 3*w = -105. Does 14 divide z?
False
Let n(k) = 2 + 5*k - 4 - k**2 - 2. Let d be n(3). Is 9 + d*(-1 + 2) a multiple of 5?
False
Let j(i) = i**2 - 12*i - 15. Suppose 1 - 10 = 3*f, 5*n + f - 67 = 0. Is 4 a factor of j(n)?
False
Does 14 divide -2*(-2 + 3) - -31?
False
Let s be 0/(-1) - (-81)/(-9). Let v = s - -40. Is 11 a factor of v?
False
Suppose -11 = 3*a - q + 6, 2*a + 2*q = 2. Suppose p - 10 = 4*r, -2*p + 0*p = 5*r + 6. Is 12 a factor of (66/a - -3)*r?
False
Let y(h) = -8*h. Let k be y(-8). Let g = 106 - k. Is 19 a factor of g?
False
Suppose 3*y + x - 36 = -9, -6 = 2*x. Let k be (-1170)/8 + 6/24. Does 14 divide (-2)/(-5) - k/y?
False
Let v(m) = -m**2 - 2*m - 1. Let z be v(-1). Suppose 2*y + 68 = 5*u, -y - 52 = -4*u - z*u. Does 6 divide u?
True
Let q = -163 + 298. Is q a multiple of 9?
True
Suppose -9 = d - 105. Is d a multiple of 16?
True
Let n(m) = -63*m**3 + m**2. Let v be n(-1). Does 22 divide v + (6/(-3) - 1)?
False
Let l = -4 + 9. Suppose -2*s = l + 3. Let k = s + 12. Is 4 a factor of k?
True
Suppose 3*t - 19 = -i, -3*i = -4*i - 2. Does 2 divide t?
False
Let s = 152 + 194. Suppose 2*m = 4*m - s. Suppose 3*p + 11 = m. Is p a multiple of 15?
False
Let m be 18/(-3)*1/(-2). Suppose -1 = -r - d, -2*r - m*d = -8*d - 30. Suppose -5*p - 2*o + 160 = 0, 0*o - r*o - 95 = -4*p. Is 15 a factor of p?
True
Let g be (3/5)/((-6)/(-810)). Let t = g + 5. Does 22 divide t?
False
Suppose -2*d + 0*k - 2 = 5*k, 2*d + 4*k = 0. Suppose 0 = -5*q + d*t + 8, -q + 2*t - 8 = -2*t. Is q a multiple of 2?
True
Suppose -4*s - 4*a = a - 412, 5*s = -3*a + 502. Does 12 divide s?
False
Let z(n) = -3 - 5 + 8*n + 4*n. Suppose 5*h + 3*p - 33 = 0, -7*h + 34 = -2*h + 4*p. Is z(h) a multiple of 22?
False
Let p be ((-1)/2)/(1/8). Let y = p - -11. Suppose y = 2*v - 21. Does 7 divide v?
True
Let v be 25 - (1 - (-3 - -2)). Let s = v - 7. Is s a multiple of 16?
True
Suppose 3*g + 71 = -4*o, -4*g - g - 129 = 4*o. Let p = -3 - g. Is p a multiple of 10?
False
Suppose -3*c + 2*s = -s - 45, 40 = c + 4*s. Suppose -o + u + c = 0, 0 = 2*u - 0 - 2. Is 14 a factor of o?
False
Let z be ((-6)/4)/(21/(-28)). Suppose z*w - 13 = w. Is w a multiple of 13?
True
Suppose 20 - 60 = -4*i + p, -5*i + 61 = -4*p. Does 4 divide i?
False
Suppose -h + 2*h = 90. Suppose 5*t - l = 134, 3*t - l - h = 2*l. Suppose 0*b = 2*b - t. Is 13 a factor of b?
True
Suppose 0*s = -9*s + 693. Does 10 divide s?
False
Is 48 a factor of (7/(-3))/((-5)/720)?
True
Let g(s) = -s**3 + 6*s**2 + 2*s - 7. Let w be g(6). Suppose -2*b + 3*l - 30 = 0, -2*b + l - w*l = 2. Let c(q) = -q**3 - 9*q**2 - 3*q + 7. Does 16 divide c(b)?
False
Let r be 9 - (1 - -3)/1. Suppose r*s - 146 - 19 = 0. Is s a multiple of 11?
True
Let k = 90 + -39. Does 16 divide k?
False
Let y be -1 + -1 + (4 - -4). Suppose -5*v - 4*f + 1198 = 0, -3*v + 2*f = f - 729. Is (-8)/(-12) + v/y a multiple of 19?
False
Let i(k) = k**3 - k**2. Let y(h) = h**3 + h**2 - 2*h + 1. Let p be y(-2). Let t be i(p). Suppose t = s - 3*f - 20, -4*s - 2*f + 100 = -4*f. Is 13 a factor of s?
True
Let m = -48 + 27. Suppose y - 3*k = 25, 0 = 8*y - 4*y - 3*k - 127. Let z = m + y. Does 7 divide z?
False
Let b be (-228)/9 - (-2)/6. Let t = b + 17. Is 10 a factor of (t/(-1))/((-2)/(-5))?
True
Let i be ((-12)/4)/(3/2). Let u be 385/2 - i/(-4). Suppose 5*m - u + 4 = -3*v, -5*v = -m + 60. Is m a multiple of 20?
True
Let w(h) = 6*h**2 - 3*h**2 + 4*h + 0*h**2 + h**3 - 5 + 4*h**2. Is w(-4) a multiple of 9?
True
Let a = -20 + 24. Suppose 10*j = a*t + 5*j - 247, 0 = -5*j + 5. Is 15 a factor of t?
False
Suppose 4*v - 249 = 251. Is v a multiple of 13?
False
Suppose 53 = -3*n - 13. Let u = n - -44. Does 11 divide u?
True
Let o(q) = -q**2 - 14*q - 16. Let j be (-8)/20 + (-116)/10. Is o(j) a multiple of 4?
True
Let d(v) = -5*v**3 + 8*v**2 - 12*v - 5. Let g(m) = 11*m**3 - 16*m**2 + 25*m + 9. Let f(t) = -9*d(t) - 4*g(t). Does 11 divide f(7)?
False
Let q(j) = j + 18. Is 7 a factor of q(3)?
True
Let z(b) = 17*b**3 + 2*b**2 - 2*b + 1. Is 6 a factor of z(1)?
True
Let n(z) = z**2 - 5*z - 3. Let p be n(6). Suppose 2*l + 151 + 75 = p*d, -4*d + 2*l = -304. Does 13 divide d?
True
Suppose 3*t - w = 22, 0*t + 30 = 5*t - 3*w. Let m = t + -1. Is 2 a factor of (-1 + m/(-2))/(-1)?
False
Suppose 0 = 2*v + 4. Is v + -1*117/(-3) a multiple of 10?
False
Suppose -9 = -5*v + 1. Is 9 a factor of -2 - (-10 - (v + -1))?
True
Let i(r) = 5*r + 12. Let u(q) = q + 1. Let l be (1/3)/((-6)/18). Let h(t) = l*i(t) + 3*u(t). Is h(-7) a multiple of 2?
False
Let b(r) be the first derivative of r**4/4 + r**3 - 3*r**2/2 + 3*r - 1. Suppose 2*u - 6 = -5*n, u + 3 = -4*n + 9. Does 9 divide b(n)?
False
Let k = 4 - -2. Is 6 a factor of k?
True
Let m(j) = -j**2 - 11*j - 6. Let r = 8 + -6. Suppose 5*y - r*c + 31 = 0, 0*c + 2*c + 18 = -2*y. Is 8 a factor of m(y)?
False
Suppose -2*l = -3*g - 2, -4*g + l = -l. Let d be g/(-4) + (-29)/2. Does 16 divide (-2)/(-2) - 3*d?
False
Does 19 divide 42 - (-2 - -1*(1 + 2))?
False
Let n(j) = -j**3 - 4*j**2 + j + 6. Is n(-5) a multiple of 10?
False
Let l = 414 - 262. Is l a multiple of 38?
True
Let w(m) = 26*m - 10. Is w(3) a multiple of 17?
True
Let s be 1 + ((-2)/1 - -7). Suppose -s = h - 19. Is 9 a factor of h?
False
Suppose 0 = 3*t + 4*u - 138, 3*t + 5*u - 3 - 135 = 0. Is 18 a factor of t?
False
Suppose 0 = -3*l - 6*l + 324. Does 18 divide l?
True
Suppose 2*u = 199 - 67. Is u a multiple of 22?
True
Let x(w) = -2*w + 12. Let f be x(9). Is 10 a factor of ((-189)/f)/1*2?
False
Let i = -4 - -14. Let p(z) = 2*z - 3. Let c be p(3). Suppose -i = -o - a, 13 = c*o + a - 9. Does 4 divide o?
False
Suppose -2*f + v = 24, -f - 5*v = 6 + 6. Let o = f - -35. Is 6 a factor of o?
False
Let p = 1 - -2. Suppose p*l = -5*q + 148, 2*q + 2*l = -3*q + 147. Does 10 divide q?
False
Let y = -31 + 5. Is 465/65 - (-4)/y a multiple of 2?
False
Suppose 25*d = 27*d - 306. Is 57 a factor of d?
False
Let s(v) = 3*v + 3. Let f = 8 + -4. Is s(f) a multiple of 5?
True
Suppose -4*s - 4*r + 76 = 0, -r - r = -4*s + 58. Is s a multiple of 16?
True
Let k = 9 + -9. Suppose k = -9*i + 4*i + 20. Let s(c) = -c**3 + 6*c**2 - 2*c + 1. Does 22 divide s(i)?
False
Let l be (-6)/21 + 23/7. Suppose -3 = -k - 5*g, -2*k + 2*g = -3*k + 3. Suppose 0 = 4*d + k*h - 26, l*d + 2*h = 4*h + 11. Does 5 divide d?
True
Let d(v) = v**3 + 20*v**2 + 20*v + 19. Let s be d(-19). Does 10 divide (2 - s)*1*5?
True
Let d be 2 + -1 + (1 - -1). Suppose -m = -4*n + n - 269, -d*n - 277 = m. Is (-2)/10 - n/5 a multiple of 9?
True
Suppose 3*g - 13 = 23. Let u(q) = q**2 + q + 2. Let c be u(-3). Let h = c + g. Is h a multiple of 9?
False
Let q(n) = 8*n + 1 + 0 + 2*n**2 - 2*n + 2. Does 13 divide q(-6)?
True
Let r be 1/4 - 300/(-16). Let u = r - 6. Does 12 divide u?
False
Let y(t) = 6*t. Let v be y(1). Let m(z) = -2*z + 2*z**3 - v*z**3 - 9*z**2 + 3*z**3. Is m(-9) a multiple of 11?
False
Suppose -4*c = 19 - 3. Let b be (-780)/35 + (-2)/(-7). Is c/(-22) + (-216)/b a multiple of 5?
True
Let b(r) = 3*r - 3. Suppose -2*o + 4*t - 2 = 0, -5*o - 1 - 10 = -4*t. Let h(m) = m**3 + 3*m**2 - 2*m - 1. Let g be h(o). Is b(g) a multiple of 6?
True
Let b(r) = -2*r**3 - 6*r**2 - 4*r - 7. Is b(-4) a multiple of 26?
False
Suppose 0 = -2*z + 2*d + 2*d + 12, 5*d - 105 = -5*z. Does 8 divide z?
True
Let j be -2 + 9 + 0/1. Let f(d) = 7*d**3 - d**2 + 9*d - 7. Let c(y) = y**3 + y**2 + y. Let r(q) = -6*c(q) + f(q). Is r(j) a multiple of 12?
False
Let f = 209 - 102. Does 4 divide f?
False
Let x(l) = -18*l**2 - 4*l - 1. Let w(a) = -27*a**2 - 6*a - 1. Let j(d) = -5*w(d) + 7*x(d). Is j(-2) a multiple of 15?
True
Suppose 0 = -m - 2*m - v + 163, 2*m - 4*v = 104. Is m a multiple of 14?
False
Suppose -108 = -4*b + 5*y, 7*b - 2*b = -3*y + 172. Suppose 5*d = 3*d + 62. Suppose -d = -4*t + 5*f, 3*t - f - b = f. Is t a multiple of 14?
True
Let b = 5 + -5. Suppose b*r - 15 = 3*r, -5*r - 45 = -4