se
Suppose 0 = z - 2 - 0. Suppose z*x - 2 = 8, -k + 10 = x. Suppose q + k = -3*d, -3*d - 11 = 1. Is q a multiple of 7?
True
Suppose 4*v - 138 = -s, -4*v + 2*s + 109 = -v. Suppose 4*k = -v + 115. Does 20 divide k?
True
Suppose 168 = 4*a - a. Is a a multiple of 7?
True
Suppose -d + 624 = 11*d. Is 13 a factor of d?
True
Suppose j - 176 = -27. Is 11 a factor of j?
False
Let f(p) be the first derivative of -5*p**2/2 - 6*p + 2. Is 24 a factor of f(-6)?
True
Let r(w) = -2*w + 2. Let t be r(2). Is 13 a factor of ((-34)/(-4))/((-1)/t)?
False
Let p be 6/27 - 2644/(-9). Suppose 0 = -v + 5*k + 38, 2*v + 3*v = -k + p. Is v a multiple of 29?
True
Suppose f - 39 = 5*q, -2*q - 156 = -5*f + f. Is f a multiple of 13?
True
Let d = -6 - -81. Suppose 5*o = -5*z + d, 4*o - 3*z - 25 = -0*o. Is 5 a factor of o?
True
Is 12 a factor of 1/(-4) - (-465)/20?
False
Let c(z) = z**3 + 6*z**2 - 5*z + 7. Does 12 divide c(-5)?
False
Let r be (-1 + -2 + 1)/1. Let n be 1 + r/(-1 - 0). Suppose n*b + 69 = 4*g, 3*b = 4*b - 5. Is 8 a factor of g?
False
Let w = 17 - 28. Let b = w - 2. Let j = -9 - b. Is j even?
True
Let i = 5 - 9. Let o = i - -4. Suppose 0*t - t = 0, o = -z - 5*t + 15. Is 13 a factor of z?
False
Let p(j) = j**3 + 12*j**2 - 13*j + 2. Let n be p(-13). Let a(k) = 11*k + 1. Is a(n) a multiple of 12?
False
Let v = -2 + 4. Suppose 0 = 3*k - 0*k - 51. Suppose o + 20 + k = m, -4*m + v*o = -154. Does 20 divide m?
True
Let i be 5*-1 - (8 + -12). Let b(v) = -v**3 - 5*v**2 - v + 3. Let g be b(-5). Let p = g - i. Is 7 a factor of p?
False
Let o be (-21)/((9/(-30))/1). Suppose -a + 6*a = o. Is 7 a factor of a?
True
Suppose s = -3 + 17. Is s a multiple of 14?
True
Let d(z) = z**3 - 5*z**2 + 4. Let p be d(5). Suppose r + r - 203 = -5*f, p*f - r = 152. Is f a multiple of 13?
True
Is 11 a factor of (-156)/(-8)*(-4 + 6)?
False
Let d = -2 + -3. Let w = -5 - d. Suppose w = 2*z + 2*a - 10, -4*z + 10 + 13 = a. Is 6 a factor of z?
True
Suppose -3*y - 3*g + 2*g + 11 = 0, 0 = y - 4*g + 5. Suppose -94 = -y*s + 4*q, 2*s - 46 = -3*q - 6. Does 21 divide s?
False
Suppose -6 = -f - 20. Let m be (-48)/(-21) + 4/f. Is 12 a factor of m/1 - (-88)/4?
True
Suppose 0 = -7*p + 3045 - 917. Is p a multiple of 22?
False
Let b(k) = -2*k + 3. Let o be 1 + -2 + 2 - -3. Let u be b(o). Let t(r) = -4*r - 7. Does 8 divide t(u)?
False
Suppose 75*d - 72*d = 480. Does 20 divide d?
True
Let f(g) be the second derivative of -g**4/12 - 5*g**3/2 + 2*g**2 + 2*g. Does 16 divide f(-11)?
True
Suppose 2*y - 5*y = 0. Suppose -4*n + 102 - 26 = y. Let m = n + -11. Is m a multiple of 4?
True
Let x = 16 - 13. Suppose -x*j + 82 = -4*t - 8, 4*t - 14 = -j. Does 6 divide j?
False
Let q = -22 - -78. Is q + -3*(-1)/3 a multiple of 33?
False
Let l be (1/3)/(14/4956). Suppose 2*w - w = -4*x + 189, 0 = -3*x + 4*w + l. Is x a multiple of 8?
False
Let z be -3*(1 + -2) - -1. Suppose -7*p + 27 = -z*p. Is (p/(-2) - 2)*-2 a multiple of 13?
True
Let b = -3 - -4. Suppose -5 = t + b. Is 12 a factor of (-1)/(t/(-26))*-3?
False
Suppose 0 = 6*s - 4*s. Suppose 5*l - i - 78 = 0, s*i - 2*i = -4. Does 7 divide l?
False
Let n = 9 - 5. Suppose n*d + 0 - 16 = 0. Is 13 a factor of d/(-3)*(-117)/6?
True
Let v(g) = -2*g**3 - 3*g**2 + g + 2. Let o be v(-2). Suppose -o*x + 63 = 15. Is 12 a factor of x?
True
Suppose 18 + 16 = p + 2*u, -u - 58 = -2*p. Let k = p + 16. Suppose -2*q + 0*q + k = 0. Is 8 a factor of q?
False
Suppose 6*j - 112 = 14. Is 3 a factor of j?
True
Let v(j) be the third derivative of j**5/10 - j**4/8 - 2*j**3/3 + 2*j**2. Let m(k) = 3*k**2 - 2*k - 2. Let i(p) = -5*m(p) + 3*v(p). Is i(-2) a multiple of 8?
True
Suppose 0 = 3*y, 7*w = 2*w + y - 10. Let l(s) = -3*s - 4*s + 5*s**2 - 3 + 3*s. Is 10 a factor of l(w)?
False
Let w(o) = o**2 - 1. Let j be w(2). Suppose -j*p - p = 4*n - 32, -n = -4*p + 22. Is p/21 - 234/(-14) a multiple of 6?
False
Suppose 294 = 5*p - y, -p + 4*y = p - 132. Suppose -4*z + p + 118 = 0. Suppose -8*n + z = -4*n. Does 6 divide n?
False
Let i be (-2)/2*(-9)/3. Suppose -5*f = -0*a - i*a + 28, 2*f = -5*a + 26. Is a a multiple of 4?
False
Let x(y) = -21*y + 3. Let w(v) = -400*v + 56. Let g(l) = 4*l - 1. Let z be g(1). Let q(h) = z*w(h) - 56*x(h). Does 12 divide q(-1)?
True
Let d be (-2)/7 - 69/(-21). Suppose -2*z = t + 14, 0 = t + d*t - 8. Let p = z + 12. Is p a multiple of 2?
True
Suppose -2*l - 17 - 31 = -2*k, k - 5*l - 36 = 0. Is 12 a factor of k?
False
Let q(k) = -k**3 - k**2 - 2. Let v be q(-2). Suppose -3*f = -v*f - 3*d - 19, 4*d = -5*f + 171. Is f a multiple of 13?
False
Suppose -4*w + 20 = w. Let v(q) = -q**3 + 4*q**2 + 5. Let a be v(w). Suppose 6 + 19 = a*t. Is t a multiple of 5?
True
Let v = 51 - -39. Is v a multiple of 18?
True
Suppose -14 = i - 3*t, 4*i - 2*i = -5*t + 16. Is 6 a factor of ((-24)/14)/(i/21)?
True
Does 7 divide (-16)/56 - 993/(-21)?
False
Let x(b) = -b - 5. Let p be x(-7). Suppose -2*k = 2*i - 31 - 31, 4*i = -5*k + 124. Suppose p*y - i = 1. Does 16 divide y?
True
Suppose -6*q + 7*q - 30 = 0. Is 12 a factor of q?
False
Suppose -4*q - q = l - 715, 3*l - 157 = -q. Is 21 a factor of q?
False
Suppose 4*d - 4*u = 80, -21 = -3*d + 2*u + 42. Does 3 divide d?
False
Suppose 6*j - 15 = j - 3*x, -2*j + 2*x = -6. Let q(k) = k**2 - k - 4. Let s be q(j). Suppose 0 = s*d + 23 - 119. Is 18 a factor of d?
False
Suppose s - 3 = -0*s. Suppose 0 = -s*i + 9. Suppose 2*f = m - 2*f - 15, -5*m - i*f = -29. Is m a multiple of 5?
False
Does 14 divide (-2)/(-9) + (-23528)/(-153)?
True
Suppose 3*g + 4*i = -6, 5*i = -g - 3*g - 8. Let c be (-15)/g*(0 + 8). Is 5 a factor of c/5 - 2/2?
False
Let t(g) = -g**3 + 9*g**2 - 5*g + 2. Suppose -w - 77 = -4*s, -4*w = 2*s - 0*w - 16. Let r = s - 10. Is t(r) a multiple of 11?
False
Let w(q) = 2*q + 12. Let a be w(-8). Let t = a + 9. Suppose -b = -5*l + 15, b + 1 = -t*l + 6. Is 2 a factor of l?
True
Suppose -360 = -3*q - 4*f, -5*f = 2*q - f - 240. Is q a multiple of 15?
True
Suppose 2*u = -2*u + 176. Is u a multiple of 11?
True
Suppose z = 6*z + 15. Let n(v) = 5*v**2 + v. Let d be n(z). Let w = d - -3. Is 21 a factor of w?
False
Suppose 2*z - 88 = -2*z. Let h = z + -15. Is h a multiple of 2?
False
Let z(w) be the first derivative of w**3/3 + 3*w**2/2 + 4*w - 4. Does 11 divide z(-6)?
True
Is 183 + (-4)/(8/(-6)) a multiple of 6?
True
Suppose 4*t + 36 = -4*p, -5*p - 32 - 8 = 4*t. Let k = 20 + t. Let c = k + -10. Is c a multiple of 5?
True
Let r = -12 + 15. Suppose -32 - 26 = -5*d - 2*u, r*u - 2 = d. Does 10 divide d?
True
Suppose 4 = 5*i - 11. Suppose -7*k = -i*k. Suppose l - 2*l + 21 = k. Is l a multiple of 15?
False
Let t = 88 - 51. Let p = 3 + t. Suppose 6*k - p = k. Is 7 a factor of k?
False
Let v be (130/4)/(-5)*4. Let o = -4 - v. Is 11 a factor of o?
True
Let t(m) = 4*m**2 + m + 5. Does 38 divide t(-3)?
True
Is 11 a factor of (5 - 22)*((-2 - -1) + -4)?
False
Suppose -8 - 19 = -3*m. Suppose -2*f - 3*h + 3 = 0, 2*f - f - h = m. Suppose -d + 18 = -3*r - f, 3*d + 3*r = 72. Is d a multiple of 10?
False
Suppose -2*w - 2*i + 8 = 0, 0 = w - i - 13 + 5. Let j(g) = 7*g + 6*g**2 - w - 5 - 5*g**2. Does 15 divide j(-10)?
False
Does 5 divide 0 - (-2 + -58)/3?
True
Let u be (-5)/1 + (-6)/(-2). Does 12 divide u - 14/2*-2?
True
Suppose 0*n = -4*n. Suppose n = -5*c - 25, -u = -c + 3 - 0. Is 7 a factor of 2/((-9)/u - 1)?
False
Let o(y) = -y**3 + 6*y**2 - 5*y + 2. Let n(z) = -z**2 + z - 2. Let l(d) = 2*d**2 - d + 1. Let i(m) = -2*l(m) - 3*n(m). Let v be i(0). Does 8 divide o(v)?
False
Let z be 5 + -6 - (1 - 38). Does 8 divide z/(-20)*30/(-2)?
False
Let n = 3 - -4. Let m(a) = a**2 - 4*a - 2. Is m(n) a multiple of 19?
True
Suppose 7*i - 5*i - 88 = 0. Is 8/i - (-172)/22 a multiple of 3?
False
Let m(h) = 9*h - 4. Suppose 5*v = 2*n - 6*n - 1, -5*n - 4*v = -10. Let i be m(n). Suppose 5*r - 3*y = i, 0 = -2*r - y - 0*y + 9. Is r even?
False
Let s be (-664)/(-28) + (-2)/(-7). Suppose -2*a = -0*a + u - s, -4*u + 63 = 5*a. Is a a multiple of 11?
True
Suppose 9*c + 5*c = 1470. Does 15 divide c?
True
Suppose 6*w - 304 = 50. Is 10 a factor of w?
False
Let l(u) = -14*u + 18. Is 25 a factor of l(-5)?
False
Suppose 10 = 3*s - 2*b, 0 = -5*s - 0*s + b + 5. Suppose 8 = g + 3*v, 26 = 5*g + v - s*v. Is 3 a factor of g?
False
Suppose 187 = 5*o - 4*j, 5*o = -5*j + 37 + 123. Suppose 0 = 3*h + 2*h - o. Is h a multiple of 2?
False
Suppose 4