 t?
True
Suppose g - 2*g = v - 4, 0 = 2*v - 2*g - 24. Does 8 divide v?
True
Let j(p) = 34*p - 1. Let t be j(-2). Let d be 1/((-3)/t) - -2. Suppose 0 = 5*s + 3*w - 20, 0 = -s + 6*s + 2*w - d. Is s a multiple of 7?
True
Suppose -4*m = -2*m - 2*w - 302, m + w - 143 = 0. Is m a multiple of 21?
True
Let i be (-278)/(-7) + (-6)/(-21). Suppose -2*y = 4*o + 12, -4*o + 0*o + 5*y - 12 = 0. Let w = i - o. Does 17 divide w?
False
Suppose -2*o + 22 = 4*a, 13 = 3*o + 4*a - 10. Does 8 divide (-5 - o)*8/(-2)?
True
Let p = -13 - -59. Is 23 a factor of p?
True
Let b = -28 + 68. Is 7 a factor of b?
False
Suppose 0 = -5*x - 4*y + 31, 3*x + 4*y = y + 18. Is x a multiple of 3?
False
Suppose -5*j + 4 = -11. Suppose 63 - j = 2*u. Is u a multiple of 10?
True
Suppose -v - w + 31 = w, -4*w + 31 = v. Does 13 divide v?
False
Let z be 18/(-9) + 2/1. Let y = -2 - z. Does 20 divide (-4)/(-2) - 27*y?
False
Suppose -2*k = -1 - 1. Let g be -4 - (-3 + 0/k). Does 16 divide -2 - (1 + -49 + g)?
False
Is 9 a factor of -15*((-6)/1)/2?
True
Suppose a = -0*a - 2. Does 11 divide -46*a/(-8)*-2?
False
Let i(l) be the first derivative of l**2 + 3*l - 6. Is i(0) even?
False
Let z = -13 - -4. Is 4/12 + (-258)/z a multiple of 18?
False
Let c(z) = -z**2 + 13*z - 1. Suppose 4*r - 4*u + u - 13 = 0, -10 = -2*r - 2*u. Suppose -2 - 22 = -r*s. Is c(s) a multiple of 14?
False
Let g = 7 + -10. Let i = 5 + g. Suppose -i*z = -0*z - 24. Does 12 divide z?
True
Is 30 a factor of 59 + (1 - 4 - -4)?
True
Let m(q) = 15*q**3 + q**2 + q + 2. Is 16 a factor of m(2)?
True
Is -1*2 - (-60 - -24) a multiple of 18?
False
Let q(s) = -8*s - 5. Let o be q(-4). Is (o + 0 - 3) + -3 a multiple of 10?
False
Let w(b) = b**3 - 4*b**2 + 4*b - 1. Let p be w(3). Suppose 4*l - 16 = 3*t, 5 = -l - p*t + 5*t. Is l even?
False
Suppose 5*j - t = 12, -5 - 13 = -4*j - 2*t. Suppose a + 2 = 4*a - 2*m, 7 = j*a - m. Let z(c) = c**2 + c - 2. Does 7 divide z(a)?
False
Let r be 6/18 - 1037/(-3). Suppose 0 = -4*g - 4*t + 344, 4*g + 2*t + t = r. Is g a multiple of 27?
False
Suppose 5 = f + 3*o, f - 5*o - 35 = -2*o. Is f a multiple of 20?
True
Suppose 0*k - 3*b = -3*k - 132, k - 4*b = -56. Does 14 divide k/(-25)*90/4?
False
Let j(u) be the first derivative of -u**3/3 - 5*u**2 - u + 10. Let f(g) = -g**2 - 3*g + 3. Let b be f(-5). Is j(b) a multiple of 10?
True
Let y(c) = -2*c**3 - 5*c**2 - 3*c + 3. Let r(f) = -3*f**2 + 4*f - 3 + 0*f**2 + 2*f**2 + f. Let h be r(5). Does 21 divide y(h)?
True
Let w(x) = x**3 - 4*x**2 + 3. Let a = -5 - -9. Let m be w(a). Suppose -m = 3*u - 45. Is 7 a factor of u?
True
Let d(r) = r - 2. Let p be d(5). Suppose -2*c - 2*j + 59 = -5*j, 71 = p*c - j. Does 6 divide c?
False
Suppose 2*v - 3*g + 4*g - 21 = 0, 5*v = -4*g + 60. Is 5 a factor of v?
False
Let n = 23 - 13. Let p = -16 + n. Let k = -2 - p. Does 2 divide k?
True
Let f = 5 - 0. Suppose -f*p = -2*t + 4*t - 62, -3*p + 6 = 0. Does 13 divide t?
True
Let q be (-24)/(-18)*(-3)/(-2). Let d(p) = 2*p - 6. Let m be d(4). Suppose 2*t + 4*v - 44 = 0, -q*t + 58 = 2*t + m*v. Is t a multiple of 12?
True
Let w(j) = -3*j - 7. Let z be w(-6). Suppose 3*i + 7 = -2*n, -z = -3*i + 2*n + 2. Let p = i + 6. Is p a multiple of 7?
True
Suppose -5*m + 6 = -3*m. Does 18 divide 5/1 - m - -16?
True
Let o(s) = -s - 8. Let b be o(-4). Let i(w) = 2*w**2 - 3*w - 4. Is 26 a factor of i(b)?
False
Let y(i) = 2*i**2 - 1. Let p = -2 + 4. Suppose -5*c - o = 20, 0*c - p*c + 5*o = -19. Is 12 a factor of y(c)?
False
Suppose 5*u - 173 - 47 = 0. Is u a multiple of 11?
True
Let g = -13 + 16. Is g a multiple of 3?
True
Let z(v) = -v + 12. Let a be z(0). Let j = 33 + a. Does 16 divide j?
False
Is 23 a factor of (160 + 5)*4/5?
False
Let u be -5 + 1 - (-2 - -2). Let w = 30 + -23. Let x = u + w. Is x a multiple of 2?
False
Let z = -11 - -5. Let c be (-14)/z - (-2)/3. Suppose -c*y + 23 + 1 = 0. Is 4 a factor of y?
True
Let u(n) = -n + 5. Let v be u(6). Let b = 3 - v. Suppose -3*l = -4*x - 53, -b*l = -0*x + 2*x - 78. Is 10 a factor of l?
False
Let a(h) = -h**3 + 4*h**2 - 2*h + 1. Suppose 2*k - 1 - 5 = 0. Let c be a(k). Suppose 0*n = -c*n + 60. Is 6 a factor of n?
False
Let l = 222 - 95. Suppose l = 4*s - 5*v + 53, -4*s + 3*v + 78 = 0. Does 7 divide s?
True
Let g = -1 - -4. Is g a multiple of 3?
True
Suppose -2*o + 378 = 4. Is o a multiple of 11?
True
Is (1/(-3))/(9/(-216)) a multiple of 4?
True
Suppose -75*y + 74*y + 132 = 0. Is y a multiple of 11?
True
Let v(t) be the first derivative of -1/4*t**4 + 2*t - 10/3*t**3 - 6*t**2 - 1. Is 19 a factor of v(-9)?
False
Let x = 12 - -6. Is 14 a factor of x?
False
Let t(w) = -w. Let b be t(-5). Suppose -4*d = -3*z + 63, -z - z = -b*d - 35. Does 7 divide z?
False
Let y(u) = 6*u**2 - 1 + 2*u**3 + 4*u**2 - u**3 - 7 - 12*u. Does 3 divide y(-11)?
True
Let p = 4 - 1. Suppose -9 = -5*k + 11, 2*k = -p*c + 62. Is c a multiple of 9?
True
Let f(t) = 53*t - 1. Let y be f(1). Suppose -z + 60 = 2*z - 3*k, -y = -4*z - 3*k. Is 8 a factor of z?
True
Let w = -3 + 3. Let j be -9 + -2 - (w - 2). Does 5 divide 49/4 - j/12?
False
Let d = 11 + -3. Let k(w) = -w**2 + 11*w - 16. Is k(d) a multiple of 8?
True
Suppose 0 = g + 4*s + 60, -4*g - 228 = g + 2*s. Does 8 divide g/(-5) + 12/(-15)?
True
Suppose 3*t + 2*t - 15 = -s, 2*t - 6 = -2*s. Suppose s = 5*v - 45 - 35. Is 1*(0 + v + 1) a multiple of 16?
False
Suppose -r + 5*l + 18 = 0, 2*l = -7*r + 2*r + 9. Suppose 3*z + 0*g - r = -g, -2*z + g = 3. Suppose z*h = -3*h + 63. Is h a multiple of 9?
False
Let w be (-2)/((-3)/3) + 1. Let y(a) = -2*a - a**w + 3*a**3 + 2 + 1 - a**3. Is y(3) a multiple of 11?
False
Suppose 0 = -3*w + 2*w + 7. Suppose 2*o = -3 - w. Let r(q) = -2*q + 1. Does 11 divide r(o)?
True
Let h(p) = 6 - 9 - p + 14 + 2*p**2. Is 14 a factor of h(5)?
True
Suppose -4*g + 90 = -g. Does 10 divide g?
True
Let d(t) = 3*t**3 - 6*t**2 - 11*t + 2. Let g(v) = -4*v**3 + 9*v**2 + 16*v - 3. Let k(z) = -7*d(z) - 5*g(z). Does 5 divide k(-3)?
True
Let w be (-1)/(-3)*(0 - 6). Does 15 divide -30*(w - (-3)/(-6))?
True
Suppose 0 = 2*y - 78. Let b = y - 28. Does 11 divide b?
True
Let x(h) = 7*h**2 - 7*h + 9. Does 30 divide x(3)?
False
Let q(i) = 2*i + 84. Does 12 divide q(0)?
True
Is 9 a factor of -1 + -1*1*-39?
False
Suppose 48 = -3*y + 3*o, -6*o + 4*o = y + 25. Let v = -5 - 7. Let b = v - y. Does 5 divide b?
False
Is (-4 + 0 - -3)*-12 a multiple of 3?
True
Suppose -25*y = -24*y - 74. Is y a multiple of 37?
True
Let d(b) = -b**2 - 18*b - 7. Does 10 divide d(-17)?
True
Let n be 1/(1 - 2) + 5. Suppose n*j - 36 = -w, -2*w - 2 = j + w. Let z(u) = u + 6. Is 9 a factor of z(j)?
False
Let n(z) = z**3 - 9*z**2 + 11*z + 3. Let y be n(8). Let b = 11 - y. Is 11 a factor of ((-10)/(-8))/((-1)/b)?
False
Let t = 283 + -148. Does 15 divide t?
True
Suppose -5*p + 10*p - 104 = -4*l, 0 = l + 4*p - 26. Does 2 divide l?
True
Let r be 1/((-14)/(-6) + -2). Let m be (r/3)/(3/(-6)). Does 5 divide (-1 - m)/(2/20)?
True
Let n(k) = -15*k + 15. Is n(-5) a multiple of 30?
True
Let p = 23 - -5. Suppose 5*n - p - 22 = 0. Is n a multiple of 10?
True
Let o(w) = -w**2 + 2*w - 2. Let p be o(2). Let n(b) = 5*b**2 + 2*b - 2. Is 14 a factor of n(p)?
True
Suppose -z = -18*q + 15*q + 239, -4*q + 318 = -2*z. Does 4 divide q?
True
Suppose -3*a - 2*a - 15 = 0. Let r be a*(2 + -4 + 1). Suppose -8*v + r*v + 30 = 0. Does 6 divide v?
True
Let x(j) = 3*j**3 + 6*j**2 - 3*j + 4. Let g(z) = -3*z**3 - 5*z**2 + 2*z - 3. Let u(q) = 4*g(q) + 3*x(q). Let r be (3/(-2))/(6/8). Does 14 divide u(r)?
False
Let a = 304 + -157. Suppose -3*m - 6 + a = 0. Does 8 divide m?
False
Let j(t) = -t. Let c(l) = -3*l. Let s(d) = -c(d) + 2*j(d). Let z be s(3). Is z/(-12) + 18/8 even?
True
Let s be 107/2 + (-1)/(-2). Suppose -10 + s = j. Does 13 divide j?
False
Let a(b) = b**3 - 8*b**2 + 9*b - 1. Let l be a(6). Suppose -9*x = -4*x + 20. Is -2*-2*l/x a multiple of 9?
False
Suppose -2*w = 5*c - 954, 4*c + 3*w - 8*w - 750 = 0. Suppose -115 = -2*u - 5*v, -2*u = -6*u - 2*v + c. Is 16 a factor of u?
False
Let q = -16 + 27. Let a = 16 - q. Is a a multiple of 3?
False
Let l be (-3)/(-12) - 1/4. Let c(s) = s**2 + 4. Let r be c(l). Is 13 a factor of 2/r - (-75)/6?
True
Let h be (-5)/25 + 3/15. Suppose c = -2*c + 21. Let g = c + h. Is g a multiple of 4?
False
Suppose -16*v = -21*v + 275. Suppose -v = -3*l - 16. Does 13 divide l?
True
Let w(f) = f**3