de r?
True
Suppose 90 = 5*a - h, 6*h - 3*h - 53 = -2*a. Is a a multiple of 17?
False
Suppose 4*k + 10 = -2*a, 5*k = k + a + 5. Suppose -3*x + 128 + 37 = k. Does 12 divide x?
False
Suppose -5*i + 4*o = -56, 3*i = -i - 2*o + 24. Is 2 a factor of i?
True
Let t = -2 + 6. Suppose -3*p = -t*p + 52. Is 12 a factor of p?
False
Suppose -2*s = -2*h + 520, 4*h = s + s + 1030. Is 51 a factor of h?
True
Let y(s) = -s**2 + s. Let x be y(2). Is 2*(1 + (-5)/x) a multiple of 4?
False
Let u(p) = 8*p**2 - 14 - 2*p**3 + 4 + 0*p**2 + p**3 + 3*p. Let y = 19 + -11. Does 7 divide u(y)?
True
Suppose -2*y = -y + 5*o - 17, -5*y = 5*o - 65. Does 3 divide y?
True
Suppose 15 = -3*r + 84. Is r a multiple of 7?
False
Suppose -1 - 1 = 2*r. Let t be -5*12/(-3) + r. Suppose -13 - 15 = -2*x + 4*s, 2*x = s + t. Does 8 divide x?
True
Let g(w) = -w**3 + 5*w**2 + 8*w - 5. Suppose 3*q - u = 18, -q + 2*u = 4*q - 31. Let x be g(q). Suppose 5*p = j + 12 + x, -3 = -j. Does 10 divide p?
True
Suppose -3*h = 3*h - 576. Is h a multiple of 6?
True
Let k(y) = y + 8. Let z be k(-10). Let m(v) = 13*v**2 + 2*v. Is 16 a factor of m(z)?
True
Let t(j) = j**3 - 5*j**2 - 5*j - 5. Let n be t(6). Is 66/8 - n/4 a multiple of 5?
False
Suppose -3*y = 3*j - 126, j = 4*y + 37 - 15. Does 12 divide j?
False
Suppose j - 25 = -4*j. Let a(l) be the third derivative of l**6/120 - l**5/20 - 7*l**4/24 + l**3/6 - 14*l**2. Does 7 divide a(j)?
False
Let v(k) = -2*k**3 + 2*k**2 - k - 1. Let f be v(-2). Suppose 2*u + u + 3 = 0. Let y = f + u. Does 9 divide y?
False
Suppose 0 = -17*k + 12*k + 55. Is k even?
False
Let m(k) = -12*k**2 - k + 5. Let c(s) = -25*s**2 - s + 9. Let q(h) = -6*c(h) + 11*m(h). Let n(w) = -w. Let p(b) = -6*n(b) + q(b). Does 9 divide p(-1)?
True
Let d(c) = 4*c**2 - 12*c. Let o be d(8). Suppose -i = 3*i - o. Suppose 0*p = q + p - i, p = 5. Is q a multiple of 12?
False
Let u = -9 + 10. Is 6/(-7)*-42*u a multiple of 17?
False
Let v = -10 + 6. Let l = v - -8. Suppose -l*n = 3*z + 2*z - 4, -2*z - 2*n = 0. Is z a multiple of 4?
True
Suppose 3*t - 2*t = -5*w + 6, -4*t - 8 = 4*w. Suppose -d = -0*i - w*i, 3*d - 35 = -i. Does 6 divide d?
False
Let k = 9 - -7. Is k a multiple of 5?
False
Let v(q) = -2*q + 5. Let i be v(-7). Let o = 32 - i. Is 13 a factor of o*(-2)/6*-3?
True
Let m(f) = -f**2 + 6*f + 10. Let c be m(7). Let x(u) = 6*u + u**c + 3 - 7*u**2 + 3*u + 2*u**2 - 5*u. Is x(4) a multiple of 2?
False
Suppose -3*b = 15 - 6. Is 21 a factor of (-2 - -2) + 45 + b?
True
Suppose 3*g = 7 + 23. Suppose g = 6*t - t. Is 50/6 + t/3 a multiple of 7?
False
Suppose n + 105 = c - 26, 0 = -3*n - 9. Is c a multiple of 16?
True
Suppose 0 = 2*a + 2*a - 3*g + 38, -g = 4*a + 30. Let i = a - -11. Is i even?
False
Suppose 0 = -d + 2*d - 96. Is d a multiple of 32?
True
Let r(t) = -2*t**3 - 2*t**2 + 3*t + 2. Let c be (0 + (-2)/3)*3. Let q be r(c). Suppose 2*b - 2*z = 8 + 4, q*b = -3*z + 52. Does 10 divide b?
True
Is ((-2)/4)/((-2)/120) a multiple of 10?
True
Let y = -18 + 13. Let q be (-1)/(-2) - (-50)/4. Let o = y + q. Does 4 divide o?
True
Suppose 0 = -3*q + 3*b + 30, b + 2 = -3. Suppose 18 = q*u - 7. Suppose u*s = 57 + 23. Is 8 a factor of s?
True
Let o be (2/(-6))/(1/(-12)). Suppose -3*u = -u - o. Suppose 0 = -b + 3, -u*k - 20 = 3*b - 67. Does 8 divide k?
False
Suppose 3*y = 4*y - 4. Suppose -y*g + 15 = g. Suppose -t = -g*i + 7, 0 = -t - t - 4*i + 16. Does 2 divide t?
True
Let n = 12 - -7. Suppose w - n = 5. Is w a multiple of 6?
True
Let o(h) = 4*h + 37. Is 21 a factor of o(-4)?
True
Suppose -6*u = -u. Suppose 5*h = -u*h + 70. Is 5 a factor of h?
False
Let j be -8 + (-1 + 10)/3. Is j/(-1 + (1 - 1)) a multiple of 4?
False
Suppose -8*x = -6*x - 6. Suppose -8 = -4*u, -4*k + 22 = -x*u - 4. Is k a multiple of 4?
True
Suppose -2*j = -o - 0*j + 53, -5*o - 2*j + 313 = 0. Suppose -s - o = -5*m + s, 10 = 5*s. Is m a multiple of 7?
False
Let b(d) be the first derivative of 33*d**4/2 - 2*d**3/3 + d + 7. Is 18 a factor of b(1)?
False
Let g be (1 - -1)*1/2. Suppose 0 = 3*a - 31 + g. Suppose -q = -0*q - a. Is 5 a factor of q?
True
Let x(s) = -s**2 - 14*s - 8. Is 16 a factor of x(-10)?
True
Suppose x + 12 + 5 = 2*z, 0 = 3*x + 15. Let q be 12/(-8)*(-8)/z. Is (0/3)/q + 19 a multiple of 8?
False
Let j = 4 - 1. Suppose -j*n = -3*f + 18, -4*n + 4*f = -7*n + 10. Is -16*1/n*1 a multiple of 4?
True
Let u(r) = -r + 1. Let c be ((-27)/(-6))/(-3)*2. Let w be u(c). Suppose -w*p + 15 = -p, 3*x + 4*p - 53 = 0. Is 6 a factor of x?
False
Let q = 5 - -25. Suppose -5 + 1 = -4*r, -f - 5*r + q = 0. Does 23 divide f?
False
Suppose h - 68 = -2*i, 0 = 3*i - 2*h + 45 - 154. Does 7 divide i?
True
Let s(z) be the third derivative of z**5/60 + z**4/8 - z**3/3 + z**2. Let n = 13 - 20. Is s(n) a multiple of 9?
False
Suppose -606 = -4*g - 2*x, 0 = -2*x + 2 + 4. Does 25 divide g?
True
Let l(k) = k**3 - 6*k**2 - 6*k - 2. Let p be l(7). Suppose 2*g - p = 1. Suppose -g*i + 7 = -2*i. Is i a multiple of 3?
False
Let p be (-21)/14*2/3. Let n be (1/(-3))/(p/6). Suppose 5 = n*g + 3*g - 5*c, g = -4*c + 26. Does 6 divide g?
True
Let b = -1 + 5. Suppose -b*h + 3*c = -4, 4*c - 14 = -4*h + 18. Suppose -m + 5*d + 41 = 0, -h*m + d + 69 = -0*d. Is m a multiple of 16?
True
Let s(h) = -h + 23. Does 7 divide s(16)?
True
Let m(d) = -d + 2. Let i be m(4). Let h be 1 - -14*(-1)/i. Is 17 a factor of (-2 - -22) + (5 - h)?
True
Let p be 0 + (-3)/(0 - 1). Suppose i = -4*x + 279, -p*i - 141 = -2*x - 4*i. Suppose x = 5*w + 9. Does 11 divide w?
False
Suppose -2*x = 7*w - 11*w - 170, w - 4 = 0. Is x a multiple of 4?
False
Let p(u) = u**2 + u - 4. Let x = 2 + -2. Suppose o + x*o = -4. Does 8 divide p(o)?
True
Suppose 0 = -3*h + 15, -4*h - 16 = -4*w - 0*w. Let v(c) = 6*c - 12. Is v(w) a multiple of 21?
True
Let m(p) = -2*p + 2. Let c(s) = 3*s**3 - 1. Let v be c(-1). Does 4 divide m(v)?
False
Let c(x) = -4*x - 6. Is 3 a factor of c(-5)?
False
Suppose 6*b - 2*b = 284. Is b a multiple of 14?
False
Suppose -12*o + 750 = -6*o. Does 9 divide o?
False
Let w = 267 - -7. Does 31 divide w?
False
Let w = 344 + -227. Does 9 divide w?
True
Let h = -3 + 33. Suppose h = 3*t + 2*t. Does 3 divide t?
True
Let s(d) = d**3 - d**2 + d + 14. Does 6 divide s(0)?
False
Suppose 5*o = 6*o - 42. Is 8 a factor of o?
False
Let o(v) be the third derivative of -v**5/60 + v**4/24 + v**3/2 + 7*v**2. Is 2 a factor of o(0)?
False
Let y(c) = 28*c - 1. Is y(3) a multiple of 23?
False
Let o(t) = -2*t**2 + 4*t + 25. Let l(x) = x**2 - 2*x - 12. Let w(v) = 13*l(v) + 6*o(v). Let d be w(5). Suppose 3*y = 24 + d. Is 11 a factor of y?
True
Let z(l) = 3*l**2 + l - 1. Does 7 divide z(-2)?
False
Suppose -5*f + 14 + 11 = 0. Suppose 4 = -d, -3*d = 5*p - f + 32. Let u(s) = -s + 1. Is u(p) even?
True
Let o be (8/(-10))/((-4)/10). Suppose i - 105 = -5*u, o*u = 3*u - 4*i. Is u a multiple of 4?
True
Let l be 4 - (120 - (4 - 1)). Let k = l - -178. Does 13 divide k?
True
Is 9 a factor of (-50)/(-6) - 8/(-12)?
True
Does 16 divide 6/(4 + 125/(-32))?
True
Let g(y) = 40*y**3 - y**2 + 2*y. Is g(1) a multiple of 6?
False
Let n = -92 - -64. Let h be 8/n - 46/(-14). Is 3*(h + -2)*13 a multiple of 16?
False
Let i(r) = 2*r**2 - 5*r + 3. Let v be i(3). Suppose 2*b - 48 = 2*m - v*m, 0 = 2*m - 2*b - 36. Let w = m + 20. Is 12 a factor of w?
False
Suppose -5*v + 221 = s - 0*s, 3*s - 3 = 0. Is 4 a factor of (-2)/(-4)*v/2?
False
Let t = 8 - 4. Suppose 0 - t = -2*n. Suppose -2*d + 74 = 2*x, 5*d - 81 = n*d + 3*x. Is 14 a factor of d?
False
Let j(q) = -2*q - 8. Let z be j(-4). Suppose -g - 3*s + 24 = g, z = 4*g - 5*s - 26. Is 4 a factor of g?
False
Let l = 53 + -31. Is l a multiple of 11?
True
Let p = 32 - -19. Is p a multiple of 17?
True
Let j = -12 - 33. Is (j/6)/(6/(-16)) a multiple of 17?
False
Suppose 2*g - 4*p = 4, -2*p + 3*p = -2*g + 4. Let u be (-1 + (-3)/g)*-36. Suppose -u = -9*m + 4*m. Does 10 divide m?
False
Let h = -2 + 6. Suppose 4*l - 18 = -3*v + 39, h*l = -v + 59. Is 4 a factor of l?
False
Suppose -m + 33 = -0*m. Let r = -23 + m. Does 5 divide r?
True
Suppose 0 = -3*o - 2*p + 6*p + 21, 0 = 3*p + 9. Suppose -o*r - 10 + 154 = 0. Is 16 a factor of r?
True
Does 21 divide 344/(5 + -1) + 8/2?
False
Suppose -192 = -3*w + w + 4*c, -20 = 5*c. Is 7 a factor of w?
False
Suppose 5*j - 30 = -5*w - 5, -11 = -2*w - j. Suppose 4*a = a + w. Suppose -a - 2 = -2*k. Does 2 divide 