- 4*v. Let m = s - -2. Does 6 divide m?
True
Let o be -3 - 0 - (0 + 3). Let z = 4 + o. Does 2 divide (5 - (-2)/z) + -2?
True
Let m(c) = c + 6. Let y be m(0). Let l be (0 - 25)*(4 + -5). Let d = l - y. Does 13 divide d?
False
Suppose -2*u + 6*u = 0. Let f be (-1 - u) + 3 - -2. Suppose -3*d + 37 - 10 = 5*r, 5*r - 34 = f*d. Is 4 a factor of r?
False
Is 6 a factor of -2 - 1 - (-24 - (-5 + 11))?
False
Let v(i) = -i**2 - 9*i + 2. Let n be v(-8). Suppose 0 = -3*y + n + 23. Is y/3 - (-2)/(-3) even?
False
Suppose -4*k - k = -35. Is 12 a factor of (1/2)/(k/168)?
True
Let c(o) = 34*o**2 - o + 1. Let l be c(2). Suppose -4*h = -h - l. Suppose -h = -6*i + i. Is i a multiple of 9?
True
Let t(q) = -q**2 - 12*q - 5. Does 10 divide t(-7)?
True
Does 2 divide (-6)/(-24) + (-78)/(-8)?
True
Suppose -3 = p - 6. Suppose -4*r + p*s + 151 = -2*s, r = s + 37. Does 17 divide r?
True
Does 26 divide (1/2)/((-2)/(-1108))?
False
Let h(q) = q - 21 + 5*q + 1. Is 22 a factor of h(8)?
False
Suppose 2*l = -0*l + 72. Suppose -v + 13 = -4*m, 2*v + 3*m - l = 6*m. Is 19 a factor of v?
False
Let i be 4/3 - 2/(-3). Suppose -v + 27 = i*v. Is 3 a factor of v?
True
Suppose 96 = 2*x - 0*x. Suppose 0*d - 4*d = -x. Does 6 divide d?
True
Suppose 2*g = 2*z - 4, -2*g = -g - 2. Suppose -r - 3*m - 4 = -0, -r - m + z = 0. Does 11 divide ((-11)/(-2))/(4/r)?
True
Let a(r) = -4*r + 1. Let z be a(-1). Suppose 5*s - z*u + 2 = -3, -5*u = 3*s - 13. Is ((-18)/(-21))/(s/7) a multiple of 4?
False
Suppose -5*u - 619 + 209 = 0. Let y = u + 131. Suppose 0 = 4*h - 55 - y. Does 13 divide h?
True
Let v = 78 - 46. Suppose 0 = -3*q + 7*q + v. Let t = q - -16. Is 7 a factor of t?
False
Suppose 4*v = 2*v + 3*t + 48, -v - 3*t = -6. Is v a multiple of 18?
True
Suppose -10 = 3*i + 4*w, -w = w - 4. Does 9 divide 8/((-2 + 0)/i)?
False
Suppose 3*z - 2 = 2*z. Suppose 0 - 10 = -5*w + u, 4*w = z*u + 2. Is w a multiple of 2?
False
Is ((-12)/(-7))/(20/1050) a multiple of 15?
True
Let j = -1 - -1. Suppose j = 3*d + 2*d - 65. Is 13 a factor of d?
True
Let r(w) = w**2 + 7*w - 11. Let l(d) be the third derivative of d**5/60 + 3*d**4/8 + 3*d**3/2 + d**2. Let n be l(-6). Is 5 a factor of r(n)?
False
Let u = 4 - 0. Suppose 4*d = -m + 119, -u*m = 1 + 3. Is d a multiple of 10?
True
Suppose 0 = 2*a - 3*u - 87, -4*a = -5*a - u + 41. Is 14 a factor of a?
True
Let k(c) = 6*c**2 - 4*c - 2. Is k(4) a multiple of 12?
False
Let n = 11 - 7. Suppose 0 = -2*d + n*d - 62. Does 8 divide d?
False
Is 1*13*(3 - 1) a multiple of 9?
False
Let d(n) = 2*n**2 - 18*n - 8. Is 6 a factor of d(10)?
True
Let j = 5 - 1. Suppose 0 = -5*b + 13 - 3. Let q = j - b. Is q even?
True
Suppose -8*w + 454 = -1546. Is 19 a factor of w?
False
Let h be (-1)/2 - 58/4. Suppose -4*d - 9 - 57 = -2*o, -9 = 3*d. Let f = h + o. Is 10 a factor of f?
False
Let j(g) = -g**3 - 4*g**2 + 5*g + 3. Let z be j(-5). Suppose 4*n = -z + 95. Is 19 a factor of n?
False
Let n = -6 - -9. Suppose -g - n*g + 16 = 0. Suppose 5*u + g*h - 2*h - 245 = 0, -5*h = 3*u - 128. Is u a multiple of 13?
False
Suppose 0 = 2*r - 3*x - 107, -r - 3*x = 2*r - 123. Suppose 0*c - r = -3*a + 2*c, -2*c - 14 = -a. Is 16 a factor of a?
True
Is ((-38)/(-8))/(7/28) a multiple of 2?
False
Let o(j) = 2*j**2 + 5*j + 1 - 4*j + j - 4*j + 6*j**3. Is o(2) a multiple of 18?
False
Let w(h) = h - 1. Let t be w(4). Suppose -t*n + 2*f = 3*f - 70, -2*n = -3*f - 32. Is n a multiple of 11?
True
Suppose -3*g + 31 = -a + 2*a, 0 = 4*a - 2*g - 82. Does 3 divide a?
False
Suppose 4*v - 110 - 101 = h, -v + 29 = -5*h. Suppose -3*o + v = -o. Does 9 divide o?
True
Let o(v) be the third derivative of 0*v - 1/12*v**4 + 1/12*v**5 + 2*v**2 - 1/3*v**3 + 0. Is o(-2) a multiple of 12?
False
Let o(m) = m**3 + m**2 + m + 24. Is o(0) a multiple of 3?
True
Suppose -55 = -h - 10. Suppose 5*f - 335 = 4*w - w, 67 = f - 4*w. Let z = f - h. Does 11 divide z?
True
Does 22 divide (-11)/(-44) - 830/(-8)?
False
Let u = -62 - -33. Let v = 73 + u. Is v a multiple of 22?
True
Let w be ((-26)/3)/(6/(-9)). Let k = 20 + w. Is k a multiple of 11?
True
Let c be (-36)/16 + 2/8. Is c/(-8) + (-428)/(-16) a multiple of 7?
False
Let t = 30 + -18. Is t a multiple of 4?
True
Let j = 10 + -4. Is j a multiple of 6?
True
Let n(y) = -10*y - 20. Does 10 divide n(-8)?
True
Does 15 divide -30*(0 - 4/8)?
True
Let s be 35/14*8/(-10). Let l be ((-1)/s)/(6/72). Suppose -34 + l = -y. Does 15 divide y?
False
Let s be (1*2)/((-2)/4). Let m(a) = -a + 5. Let v(p) = 2*p - 4. Let z(f) = -3*m(f) - 4*v(f). Is 7 a factor of z(s)?
True
Suppose 598 = 9*q - 401. Does 5 divide q?
False
Let d be (3 - -1)/((-6)/(-3)). Suppose d*z = -3*z - 285. Is (1 - (-10)/(-6))*z a multiple of 12?
False
Let n(i) = 11*i**2 - i. Let v be n(-1). Is 2 a factor of (1 - -1)/(v/30)?
False
Suppose 0*z - z + 3 = 4*p, 5*p + 4*z = 12. Suppose f - 2*f + 2*r + 47 = p, 0 = -5*r + 15. Does 18 divide f?
False
Let t(u) = -3*u**3 + 2*u + 9*u**2 - 2*u**2 + 4*u**3 - u - 1. Is t(-5) a multiple of 22?
True
Let v(k) = -k**2 - 1. Let i(x) = -2*x**3 - x - 5. Let c(u) = -i(u) + 2*v(u). Does 13 divide c(3)?
False
Let y = 63 - -9. Is y a multiple of 8?
True
Let r = 42 + -25. Is 10 a factor of r?
False
Let x(t) be the third derivative of 2/15*t**5 + 0*t**3 + 0*t - 1/24*t**4 + 0 - t**2. Is x(1) even?
False
Suppose t - 3*f = -0*t - 7, -4*t + 36 = 4*f. Suppose -t = -c + 6*c. Is 4 a factor of (0/(-2) + c)*-7?
False
Suppose 0 = 4*x - 3*x - 18. Does 17 divide x?
False
Suppose 4*t = -2*j + 272, -148 = t - 3*t + 2*j. Is t a multiple of 29?
False
Let w be 0 - (-2 + 3)*-17. Suppose h + 0 = w. Is 11 a factor of h?
False
Let x(n) = -n**2 - 5*n + 3. Let p be x(-5). Suppose 28 = -p*y + 94. Is 11 a factor of y?
True
Suppose 12*h - 75 = 9*h. Is h a multiple of 13?
False
Let o = 32 + -19. Does 13 divide o?
True
Let y = 4 + -2. Suppose -y*w + 94 = 3*l, -3*l = -5*l - 4*w + 68. Is 14 a factor of l?
False
Let s = -67 - -69. Is s a multiple of 2?
True
Let j be ((-24)/(-3))/((-2)/(-3)). Suppose 4*n - 20 = -3*s, 2*s = -s - j. Is 8 a factor of n?
True
Let h(n) = n**3 + 7*n**2 + 7*n + 3. Let o be (-19)/4 - (-6)/(-24). Is h(o) a multiple of 5?
False
Let i = 5 - 7. Let x be (i + 3)*-2 - -5. Suppose l - x*s - 5 + 18 = 0, 0 = -l + 2*s - 8. Is 2 a factor of l?
True
Suppose 0 = -0*p + p - 21. Suppose -v + 87 = p. Suppose 5*o = -5*s + 9*s + 98, 0 = -4*o - 3*s + v. Is o a multiple of 10?
False
Let p = 105 - 15. Is p a multiple of 10?
True
Suppose -220 = -4*i + 116. Is i a multiple of 14?
True
Let u = 0 + 2. Suppose -u*d - d + 6 = 0. Suppose -d*w = -2*i + 85 - 29, 3*w = -2*i + 41. Is i a multiple of 9?
False
Let o(c) = -8*c - 1. Does 7 divide o(-1)?
True
Let k be (-44 + 0)/((-7)/7). Let r = 69 - k. Is r a multiple of 7?
False
Let b = 9 - 10. Is 4 a factor of 17 + (-1)/(2 + b)?
True
Suppose -5*h + 4*d + d = -30, -4*d + 16 = 4*h. Suppose 3*r = 2*f - 3, h + 2 = -2*f + 5*r. Is 4 a factor of f?
False
Suppose 4*v - 18 = v. Suppose -84 = -3*w - v. Is w a multiple of 18?
False
Suppose -4*o = -o - 51. Is o a multiple of 17?
True
Let m(g) = 81*g**3 + g**2 + 2*g - 2. Does 16 divide m(1)?
False
Let y = 63 + -13. Does 20 divide y?
False
Let l(t) = -t**3 + 5*t**2 + 5*t - 1. Is l(5) a multiple of 12?
True
Suppose -5*j = -3*g + 32, g - 38 = 5*j + 4*g. Is (j/((-21)/45))/1 a multiple of 5?
True
Let l = 26 + -16. Does 10 divide l?
True
Let s(r) = r + 1. Let q be s(-7). Is 12 a factor of ((-9)/q)/(-3)*-48?
True
Suppose i - 2*m - 19 = 0, 7*m - 2*m + 57 = 3*i. Is 5 a factor of i?
False
Let i(r) = -3*r + 3. Suppose 0*f + 1 = -2*k + 3*f, -4*k - 3*f - 47 = 0. Let a = 2 + k. Is 7 a factor of i(a)?
True
Let u(q) = -56*q - 1. Let h(m) = -84*m - 2. Let l(j) = 5*h(j) - 8*u(j). Does 26 divide l(2)?
False
Let z = 1 + 7. Suppose 3*g - 3*r = z*g - 305, 4*r = -4*g + 244. Does 22 divide g?
False
Suppose 0 = 5*s - 3 - 12, -2*s = 4*v - 26. Suppose 3*q + 1 = -3*j + v*j, 4*q - 2 = 2*j. Is 2 a factor of j?
False
Let j(z) = -6*z**2 - 3*z. Let u be j(-3). Suppose 5*y + 0*y - y = 0. Is 22 a factor of y/(-9) + (-1 - u)?
True
Suppose -w + 2 = -11. Let b = w + -9. Let u(s) = s**3 - 5*s**2 + 5*s + 2. Does 3 divide u(b)?
True
Let b = -27 - -66. Is 13 a factor of b?
True
Let h be 5/2 - (-3)/(-6). Let a be ((-4)/6)/(h/(-15)). Let j(s) = s**2 - 5*s + 6. Is j(a) a multiple of 4?
False
Let v(m) = -m. Let x(f) = -f**2 - 9*f + 8. Let q be