Does 24 divide v?
True
Let x = 22 - 22. Suppose x = 3*r - 4*r + 10. Is 8 a factor of r?
False
Let p(x) be the first derivative of -x**4/4 - x**3 - 2*x**2 - 4*x - 2. Does 8 divide p(-3)?
True
Let r = -42 + 87. Suppose -n = 2*n - r. Is n a multiple of 10?
False
Let i be 2 + 3 + -3 + 2. Let p(f) be the third derivative of -f**6/120 + f**5/12 + f**4/8 - 2*f**3/3 + f**2. Is p(i) a multiple of 12?
True
Suppose 0 = -4*a - 20, v - 109 = 5*a - 13. Is v a multiple of 6?
False
Suppose t - 2 = 2*t. Let m(g) = 2*g**3 + g + 2 - 4*g**3 + 0 + 2*g**2. Is 9 a factor of m(t)?
False
Is 17 a factor of (-3)/2 - ((-525)/10 + 3)?
False
Let x = 43 - 7. Suppose 0 = -4*v + 5*i - i + 12, 3*i = v - 3. Suppose n + x = v*n. Does 18 divide n?
True
Suppose 3*a + 3*u - 621 = 0, -3*a + 0*u - 4*u = -626. Does 45 divide a?
False
Suppose -3*u + 4*m + 8 = -56, -m - 46 = -2*u. Suppose -5*b + 17 = -l, 0*l + 3*b = -4*l + u. Let j = l + 10. Is 13 a factor of j?
True
Suppose -g = 3*g - 76. Is g a multiple of 4?
False
Suppose 3*p + 49 = 2*h, 0*h + 4*p = h - 22. Is h a multiple of 13?
True
Suppose -2*f + 18 + 6 = 0. Suppose 0 = -b + 1 + f. Is b a multiple of 13?
True
Suppose 4*c + 11 + 25 = 0. Let j = 33 + c. Is 12 a factor of j?
True
Suppose 2*f - 10 = -0*f. Let a = 16 - f. Does 5 divide a?
False
Let x = 14 - 2. Is x a multiple of 7?
False
Suppose 0 = 2*v - 4*v - 4*z + 16, -64 = -5*v + 2*z. Is 4 a factor of v?
True
Let r(m) = 2*m**2 - m + 9 + 0*m + m - 7*m. Is r(5) a multiple of 20?
False
Let x be (-2)/(-4) - (-471)/6. Let q = -43 + x. Is q a multiple of 15?
False
Let l(a) = -a**2 + 2*a + 2. Let z be l(3). Is ((-16)/6)/(z/3) a multiple of 3?
False
Let y = 2 - 7. Does 22 divide (y - -3)*-13 - 3?
False
Suppose 0*j - 16 = 4*j. Let w = j - -12. Is w even?
True
Let r(w) = -w + 24. Does 6 divide r(0)?
True
Let z be 32*(-2 - (-15)/6). Suppose -3*c + z = c. Suppose c*h = -h + 70. Is 8 a factor of h?
False
Let j = 62 + -6. Let b be (-4)/18 - j/(-9). Is (0 + -3)*(-10)/b a multiple of 5?
True
Let d be 10 + 0*3/(-6). Suppose -d = 8*s - 3*s. Let h(x) = -x**3 + 2*x - 1. Is 3 a factor of h(s)?
True
Suppose -4*w = -2*w - 2, -15 = -4*k - 3*w. Let g be k/((-18)/(-105))*-2. Let v = -19 - g. Is 10 a factor of v?
False
Let c(k) = -k**2 - k + 79. Let i be -4*(-2)/16*0. Is c(i) a multiple of 16?
False
Let t(m) = -m**3 + 7*m**2 - 5*m - 7. Does 4 divide t(5)?
False
Let v be (-2)/(-8) + (-214)/(-8). Let o = v - 10. Does 17 divide o?
True
Let u = 30 + -19. Does 7 divide u?
False
Suppose -7*i = 3*i - 350. Is 7 a factor of i?
True
Suppose 0 = -2*a - a - 3*z + 72, 2*z + 99 = 5*a. Let m be a + 1 + (-2 - 0). Does 11 divide (-156)/(-5) - 4/m?
False
Suppose -4*z + 81 = n, 37 + 233 = 4*n - 2*z. Is 20 a factor of n?
False
Let v be ((-3)/9)/(1/(-12)). Let t = 24 + v. Does 16 divide t?
False
Let p be 4/(-10) + 162/30. Suppose p*d = 2*j + 18, 3*d - 15 = j - 5. Does 19 divide ((-19)/j)/(2/8)?
True
Suppose -97 = -7*c + 2*c + t, 5*c = -3*t + 109. Is c a multiple of 20?
True
Suppose 0 = -2*i - 2 - 28. Let h = 30 + i. Is h a multiple of 15?
True
Suppose -5*z - p + 25 = 121, -3*z = 3*p + 48. Is (-55)/z - (-1)/4 even?
False
Suppose t - 3*t = -2. Let z = -5 + t. Is z/10 + 176/40 a multiple of 2?
True
Suppose -2*i - 56 = -154. Suppose 3*f + i = 202. Is f a multiple of 15?
False
Is 3 a factor of (130/(-25) - 2)*-5?
True
Suppose 10*f - 111 = 9*f. Is 37 a factor of f?
True
Suppose 2*k - 3*k - 3 = 0. Let l = k - 0. Let w(o) = -5*o - 2. Is w(l) a multiple of 13?
True
Is (-38)/57 - 65/(-3) a multiple of 3?
True
Let c(d) = 5*d + 3. Suppose 8 = -3*m + 5*m. Let y(v) = 5*v + 3. Let r(n) = m*y(n) - 5*c(n). Is r(-7) a multiple of 12?
False
Let p = -38 + 65. Does 6 divide p?
False
Let m = 8 - 6. Suppose -1 = -m*q - 3. Let l(p) = 25*p**2 + 1. Is 13 a factor of l(q)?
True
Suppose -v + 0 + 1 = -k, -3*k + 6 = 0. Suppose v*d - 2*f - 146 = -d, -2*d + 70 = 2*f. Let a = -15 + d. Is a a multiple of 10?
False
Let t = 16 + -4. Suppose 0*m + 19 = -m. Is 19 a factor of -4*m*3/t?
True
Let b(t) be the second derivative of -5*t**3/2 + 3*t. Is b(-1) a multiple of 5?
True
Let n(v) = 2*v + 30. Let w be n(-15). Suppose 3*a - 4*t - 96 = -w*t, -138 = -4*a + 2*t. Is 12 a factor of a?
True
Let m be 20/15 + (-2)/6. Let q(w) = 0 - m + 0 - 5*w. Is q(-7) a multiple of 12?
False
Suppose -5*m - 2*m = -210. Is 14 a factor of m?
False
Let z(c) = -2*c + 4. Let a be z(0). Suppose 3*r + a*n - 26 = 0, r - 5*n + 28 = 4*r. Is r a multiple of 2?
True
Let k(p) = -p + 4. Is 8 a factor of k(-16)?
False
Suppose 2*c = -2*h + 98, 3*h = c - h - 64. Is 26 a factor of c?
True
Let d(s) = s**3 + 4*s**2 - s - 3. Let f be d(-4). Let v(g) = 43*g**3 - 2*g + 1. Does 21 divide v(f)?
True
Let r(m) = 14*m**3 + 2*m**2. Let l be r(2). Suppose -4*y + l = y. Does 12 divide y?
True
Let x = -5 + 7. Suppose -2*u + y = 1 - 7, u + x*y = 8. Suppose -78 = -3*p - 4*g, -p + g + u*g = -26. Does 12 divide p?
False
Let r be ((-200)/(-6))/((-4)/(-18)). Suppose -n + r = 4*n. Is n a multiple of 15?
True
Suppose -5*q - 7 = u - 26, 2*q - 28 = 3*u. Let v(k) = k**3 + 5*k**2 - 5*k + 6. Let c be v(u). Suppose -p + c*p = -19. Is 9 a factor of p?
False
Suppose y + 20 = 5*y. Suppose -4*r + 0 + 8 = 0, 0 = 2*s - y*r - 56. Does 11 divide s?
True
Let h = -4 + 5. Let v = 2 + h. Suppose 0*s - 39 = -v*s. Is s a multiple of 4?
False
Suppose 5*h - 608 = 4*p, h - 2*p + 54 - 178 = 0. Is h a multiple of 22?
False
Suppose b - 35 = -0. Suppose -s + 0*s + 20 = h, -3*h + 2*s = -b. Is 6 a factor of h?
False
Let x be (116*(-1)/(-2))/1. Suppose 98 = 3*c - o, -4*c - o + 61 = -x. Is c a multiple of 19?
False
Does 22 divide -7 + (3 - -5) - (1 - 132)?
True
Let b(s) = -4*s**2 - 14*s - 12. Let j be (-8)/4 + 2*-3. Let d(k) = 11*k**2 + 42*k + 36. Let n(a) = j*b(a) - 3*d(a). Is 14 a factor of n(-8)?
False
Suppose 0 = -2*d + d + 3. Suppose -9 = -d*u, 2*u + 10 + 2 = 2*p. Let q = -4 + p. Is 3 a factor of q?
False
Let u(j) = -j**3 + 5*j**2 - 4*j + 3. Let l be u(4). Is (l + -1)*10/4 a multiple of 3?
False
Let y = -152 + 321. Let f = y + -100. Does 23 divide f?
True
Let w(j) = j**3 - 3*j**2 - 8*j + 4. Does 2 divide w(5)?
True
Suppose -120 + 40 = -4*c. Suppose -t - 3*t = -c. Suppose -1 = -2*q - t, 5*q - 8 = -u. Is 12 a factor of u?
False
Let i = 55 + -31. Is i a multiple of 8?
True
Let n(g) = g + 12. Let r(x) = -x + 1. Let o(t) = -n(t) + 6*r(t). Let k be o(-6). Suppose -2*b + 46 = -k. Is 15 a factor of b?
False
Suppose 3*y + 5*y - 400 = 0. Is y a multiple of 15?
False
Let p = -108 + 122. Does 11 divide p?
False
Let c(m) = -m + 11. Does 5 divide c(-11)?
False
Suppose -4*k + 3*h + 77 = 6*h, 4*h - 29 = -k. Is 6 a factor of k?
False
Let w(n) be the first derivative of n**3/3 + n**2/2 - 9. Is w(9) a multiple of 30?
True
Suppose -670 = -4*f - 9*n + 10*n, -3*n - 162 = -f. Does 28 divide f?
True
Let x(g) = 2*g**2 - 7*g + 5. Is 3 a factor of x(4)?
True
Suppose p + 124 = 5*p. Does 2 divide p?
False
Let q = 681 - 225. Is q a multiple of 33?
False
Suppose 0 = -2*v - 3*v + y + 603, 2*y + 126 = v. Is 22 a factor of v?
False
Suppose 2*c - 12 = -2*c. Suppose -c*o - 4 = -o. Does 18 divide (20 - (o + 4)) + 0?
True
Suppose 0 = 2*i + q - 6*q + 16, -5*q = -3*i - 14. Suppose i*l - 18 = 46. Is l a multiple of 13?
False
Let q(o) = -o**2 + 9*o + 6. Let x(d) = -9*d - 5. Let u(y) = 4*y + 2. Let b(l) = 7*u(l) + 3*x(l). Let v be b(8). Does 10 divide q(v)?
True
Let b(p) be the first derivative of 5*p**3/6 - 2*p**2 - p - 3. Let v(a) be the first derivative of b(a). Is v(3) a multiple of 4?
False
Let m be (-20)/(-2 - 3/(-3)). Suppose -p + 4*w = -m, 9*p - 4*p + 4*w - 148 = 0. Is 14 a factor of p?
True
Let i = 1065 + -759. Is 18 a factor of i?
True
Let o = 87 - 10. Let m = o - 114. Let w = m - -57. Does 18 divide w?
False
Suppose 5*h = -4*r - 26, -1 + 18 = -2*h + 5*r. Let n(g) = g**3 + 5*g**2 - 7*g + 7. Let x be n(h). Suppose 3*p = 2*p + x. Is 13 a factor of p?
True
Let s = -40 - -56. Suppose -5*d - 4*w = -112, -2*d - 3*d - 5*w + 110 = 0. Let i = d + s. Does 16 divide i?
False
Let l(j) = j**2 - 13*j + 17. Suppose -1 = -a + 5*f + 2, -3*f - 9 = -3*a. Let r(k) = 4*k. Let m be r(a). Is 2 a factor of l(m)?
False
Let k = 1 + 1. Suppose 6 = z + z + 3*j, 0 = 2*z - k*j - 26. Suppose 12 = y - z. Is 15 a factor of y?
False
Let d(c) = -2 - 1 + 2 + 16*c + 5. Does 13 divide d(3)?
True
Let g = -57 + 117. Does