
Suppose -2*s + 2 = -o, 2*o + 0 = -4*s - 4. Suppose -2*q - 2*q + 416 = s. Suppose 0 = -2*j - y + 84, 3*j - 6*y + 2*y = q. Is 20 a factor of j?
True
Let z = 6 - -12. Suppose -4*s = 2*u - z, -6 = -0*s - s - u. Is s a multiple of 2?
False
Let k = 4 - 3. Let m be k*(-1 - 12) - -2. Let f = m + 20. Is f a multiple of 5?
False
Suppose 4*a - 123 = -19. Is a a multiple of 13?
True
Let x = 7 - -43. Is 25 a factor of x?
True
Is 234/10 + (-36)/(-60) a multiple of 17?
False
Let j(o) = -1 - 2*o - o - o**3 - 5*o**2 + 5 + 3*o**2. Is j(-3) a multiple of 10?
False
Suppose -4*p - 141 + 641 = 4*m, 403 = 3*p - 4*m. Is p a multiple of 26?
False
Let p(n) be the third derivative of 0 + 1/6*n**4 + 2*n**2 + 1/3*n**3 + 0*n. Does 13 divide p(4)?
False
Does 12 divide (2*-8)/(0 - (-2)/(-6))?
True
Let u = 10 + -7. Suppose w - 28 = u*w. Let n = -5 - w. Does 9 divide n?
True
Let o(a) = a**3 + 2*a. Let q(g) = -g + 6. Let b be q(4). Is o(b) a multiple of 6?
True
Suppose j - 4*g = -g + 10, 2*g = 3*j - 16. Suppose -195 = -9*p + j*p. Is p a multiple of 10?
False
Does 2 divide ((-27)/(-2))/3*2?
False
Suppose -3 = -3*p - 0. Does 3 divide 1/p - (7 + -12)?
True
Does 30 divide (-154 + 6)*1/(-4)?
False
Let z be 8/(-3)*9/(-6). Suppose 8 + 4 = z*t. Is t a multiple of 2?
False
Let d be (-1 + 1)*(-4)/(-8). Let q be 5/((-3)/(-6)*2). Suppose -q*w + 45 = -d. Is 9 a factor of w?
True
Suppose -4*o + 2*o - 16 = -4*m, 3*m - 13 = o. Does 18 divide -2 - (-46 - (-3 + o))?
False
Suppose 0 = 5*b - 4*k - 808, -3*k + 501 = -0*b + 3*b. Is 27 a factor of b?
False
Let n = -136 - -239. Does 26 divide n?
False
Is -183*(-1 + (-2)/(-3)) a multiple of 10?
False
Suppose 4*q = q + 6. Suppose 0*j + 10 = q*j. Suppose -a = -h + 35 - 11, 100 = j*h - a. Is 15 a factor of h?
False
Suppose -3*r + 776 = -6*r + j, j + 1288 = -5*r. Does 5 divide r/(-9) + (-2)/(-6)?
False
Suppose 12 = 11*y - 8*y. Does 8 divide 33/y + (-4)/16?
True
Suppose 88 = 4*i - 284. Is i a multiple of 8?
False
Let l be (-1)/1 - (1 - 4). Suppose -36 = -l*s - 0*s. Is s a multiple of 18?
True
Suppose 658 + 146 = 4*n. Suppose 4*x = x + n. Does 23 divide x?
False
Let g(r) = 2*r**3 - 5*r**2 - r - 2. Let l = 7 + -22. Let q be (4/5)/((-3)/l). Does 12 divide g(q)?
False
Suppose 5*g - 945 = -2*g. Is 14 a factor of g?
False
Let r = 49 + -34. Suppose 0 = 4*g - g - 2*m - r, 0 = -2*g - m + 10. Suppose 0 = -3*b + 12, g*b - b = -u + 33. Does 8 divide u?
False
Let n(u) = -u**3 - 17*u**2 - 4*u + 9. Is 25 a factor of n(-17)?
False
Let r = -22 - -1. Let s = r + 36. Does 15 divide s?
True
Let q be (-15)/3 + 1*2. Let m = 23 + -87. Does 16 divide (m/(-6))/((-1)/q)?
True
Let c(o) = -o + 9. Let r be c(5). Suppose -3*j - 1 = -r. Does 2 divide 6 + 0 - (0 + j)?
False
Let d = -25 + 48. Let c = 47 + d. Let z = c + -41. Does 13 divide z?
False
Let f = 10 + -3. Is 3 a factor of f?
False
Suppose 0 = -4*r + 98 - 2. Suppose 6*w = 2*w + r. Is (-4)/w + (-52)/(-6) a multiple of 4?
True
Suppose 4*w + 35 + 5 = 0. Let f = 14 + w. Suppose -k + 4*k = -2*d + 18, f*k + 9 = d. Is d a multiple of 8?
False
Suppose -2*o + 3*w + 10 = 5*w, -5*w = -3*o - 25. Is 66 - (4 + (-2 - o)) a multiple of 28?
False
Suppose c = 3, -2*c = 4*z - 6*c + 24. Let v = -5 - z. Let g(x) = -4*x + 2. Is 10 a factor of g(v)?
True
Let q be (-20)/6 - (-1)/3. Let s = 3 + q. Suppose -3*d + 12 + 20 = b, s = 3*d + 2*b - 31. Does 11 divide d?
True
Let u(v) = -v**2 - 32*v - 61. Is 6 a factor of u(-25)?
True
Suppose -4*n + n = -9. Suppose 73 = 5*d + j, -4*j + 9 = -n. Is 5 a factor of d?
False
Let r be 24/14 + (-6)/(-21). Suppose 0 = r*x - 9 - 59. Let n = x - 3. Does 16 divide n?
False
Let r = -16 - -15. Is 9 a factor of (r - -1) + -1 + 30?
False
Suppose -2*f - 20 = p - 7*f, 5*p + 2*f - 35 = 0. Is 2 a factor of p?
False
Does 7 divide (-3 - 33/9)*(-168)/32?
True
Suppose 5*t - 5*u + 3*u - 30 = 0, 0 = -4*t + u + 24. Let o be (-3)/(-1)*(-2)/(-6). Let p = o + t. Does 7 divide p?
True
Let v = -90 - -54. Does 4 divide (-2)/9 + (-512)/v?
False
Let b be (-1*3)/((-4)/28). Let h = b + -15. Suppose 0 = 3*i - 27 - h. Is i a multiple of 11?
True
Let w(a) = -a**3 - 3*a**2 + 6*a - 6. Is w(-5) a multiple of 14?
True
Suppose -m = -0*m - 108. Is 27 a factor of m?
True
Let o(h) = 2*h**2 + 4*h + 1. Let a(r) = -3*r**2 - 3*r - 2. Let m(l) = -l**3 + 6*l**2 + 7*l - 2. Let s be m(7). Let g(p) = s*o(p) - 3*a(p). Does 15 divide g(-3)?
False
Let t(m) = 2*m. Suppose -o = -3*o + 2. Let j be t(o). Is (-13)/j*(-3 + 1) a multiple of 11?
False
Let b = -27 + 32. Let l(g) = 2*g**3 - 5*g**2 - 3*g - 15. Let q(o) = -o**3 + 3*o**2 + 2*o + 7. Let c(i) = 2*l(i) + 5*q(i). Is c(b) a multiple of 22?
False
Suppose -12 = -5*t + t. Suppose 4*k - 8 = -0*q + q, -4*k + 5*q = -8. Suppose k*u - 65 = -t*u. Is u a multiple of 9?
False
Suppose -141 = -6*a + 597. Is 22 a factor of a?
False
Let c be 5 - (-2 + 1 + 1). Suppose 129 = c*i + 44. Is 12 a factor of (1 + -2 + i)/1?
False
Let q = -2 - -4. Is 10 a factor of ((-30)/21)/(q/(-14))?
True
Let w(b) = -98*b - 8. Is 39 a factor of w(-2)?
False
Let j = -400 + 613. Let a = j - 133. Suppose -4*d + a = d. Does 16 divide d?
True
Suppose 6 = 4*r + 4*q - 2*q, -5*r - 4*q = -12. Let h = 136 - 80. Suppose -2*n + r*n = -h. Does 14 divide n?
True
Suppose 4*f - 126 = 2*f. Does 21 divide f?
True
Let q(i) = -4*i**2 + 4*i - 6. Let m be q(-5). Let k = 193 + m. Suppose -5*p = -k + 7. Does 5 divide p?
False
Let k be 1/(-3) + (-24)/(-18). Does 10 divide k + (35 - 3) + -3?
True
Let r(t) = 4*t. Let n be r(-2). Let a(d) = -d**2 - 19*d - 16. Is a(n) a multiple of 15?
False
Is -4*5/(60/(-171)) a multiple of 19?
True
Let j(h) = h**3 + 11*h**2 + 6*h - 4. Does 18 divide j(-9)?
False
Suppose 0 = -5*a - 32 + 832. Is 32 a factor of a?
True
Let n(d) be the second derivative of -d**5/20 + d**3/3 + d**2/2 + 5*d. Is 2 a factor of n(-2)?
False
Let i(f) = 5*f + 4. Suppose 2*g - 2*s - 6 - 4 = 0, -3*s = 0. Is i(g) a multiple of 9?
False
Let v = 112 - 67. Is 8 a factor of v?
False
Let f(y) be the third derivative of y**5/15 + y**4/24 + 2*y**3/3 + 2*y**2. Let a be f(4). Suppose w - a = -5*r - 14, 3*r = w - 34. Does 13 divide w?
False
Suppose -y = -0*y. Suppose 4*d + 4*j + 1344 = y, 0 = -2*d + 2*j - 272 - 416. Is d/(-14) + 10/(-35) a multiple of 12?
True
Let f(h) = h - 8. Let c be 12/(0 + 3 - 1). Let b be f(c). Is (-175)/(-15) - b/6 a multiple of 12?
True
Let d = -19 - -4. Let k(f) = -2*f - 18. Is k(d) a multiple of 4?
True
Is 7 + 4/(-4) + 4 a multiple of 10?
True
Is 3/((-30)/(-494)) - (-8)/(-20) a multiple of 25?
False
Suppose 5*j - 5*v + 15 = 0, 3*v = -v. Let y(g) = -8*g - 4. Does 5 divide y(j)?
True
Is 32 a factor of (-1)/((-551)/(-138) - 4)?
False
Suppose n - 1 = 0, -n + 49 - 124 = -4*j. Suppose -23 = -2*v + j. Is v a multiple of 7?
True
Let h be (-4 - -11) + (0 - 2). Suppose h*v - 40 = 110. Does 14 divide v?
False
Suppose -7*r - 5 = -8*r. Suppose -r*y + 22 = -8. Is y a multiple of 2?
True
Suppose 0*p + 2*p + 4*k = 78, -2*p - k + 84 = 0. Let d(y) = -7*y + 2. Let s be d(-3). Let t = p - s. Is t a multiple of 7?
False
Let w(p) = -21*p - 5. Is w(-5) a multiple of 20?
True
Suppose -2*d = 3*j - 2*j - 2, -j + 5*d + 9 = 0. Suppose z + 4 = -2*v + 13, -23 = -j*v - z. Let r = v + 2. Does 9 divide r?
True
Let p(i) = 2*i - 4*i - 12*i**2 + 3*i + 1 + 36*i**2. Let s be 4/(-14) + (-10)/14. Is p(s) a multiple of 19?
False
Let v be (-23 - -6)*(-34)/(-1). Is 12 a factor of v/(-12) - (-4)/(-24)?
True
Let w = -4 - -4. Suppose -3*g = -w*g. Let a = 5 + g. Is a a multiple of 5?
True
Let c = -1 + -4. Let b = 12 + -15. Is 4 a factor of (c - b) + 2 + 15?
False
Let u be ((-10)/3)/((-2)/21). Does 14 divide (-36)/45*-1*u?
True
Suppose 5*l - 134 - 178 = -b, 254 = 4*l + 3*b. Does 23 divide l?
False
Let p be ((-2)/(-2) - -1) + 0. Let v(x) = 23*x + 1. Let h be v(p). Suppose h + 18 = 5*j. Is 13 a factor of j?
True
Is 48/10*(-20)/(-3) a multiple of 8?
True
Let z(l) be the first derivative of -3*l**2/2 - l - 3. Let r be (-105)/33 - (-4)/22. Does 8 divide z(r)?
True
Suppose 5*z - 519 = 5*u - 4*u, 0 = 4*z + 5*u - 392. Let k = -63 + z. Is 12 a factor of k?
False
Suppose 7*c - 2*c = 25. Suppose 0*v - 20 = c*v. Is 5 a factor of 4 - (-2)/v*-2?
True
Suppose 0 = -2*p - 12 - 4. Let n(k) = k + 15. Is 7 a factor of n(p)?
True
Let w(q) be the third derivative of -q**5/60 + q**4/4 + 7*q**3/6 + 2*q**2. Does 3 divide w(6)?
False
