 566 = 1961, 0 = -5*g. Is v a multiple of 28?
False
Let w = -36 + 21. Let y = w + 21. Is y a multiple of 3?
True
Let d be (-6)/21 + 30/7. Suppose 4*x = 3*z - 4*z + 414, 5*x + 3*z - 521 = 0. Suppose -x = -d*a - 3. Is a a multiple of 14?
False
Let p(t) = -t**2 + 2*t + 3. Let f be p(-3). Is 11 a factor of -2*(-2)/(-4) - f?
True
Let n be 6/(-4) - (-1)/(-2). Is n - (0 + 34/(-2)) a multiple of 9?
False
Suppose 2*j - 7*j - 100 = 0. Suppose 2*u = -10, -2*t + 3*u - 2*u = 21. Let a = t - j. Is 5 a factor of a?
False
Let i be (-3 + 108/20)*5. Let h = i - -6. Does 18 divide h?
True
Suppose 60 = -3*o + 3*u, o = 2*o - 5*u + 28. Is 18*4*(-3)/o a multiple of 5?
False
Suppose 0 = 5*l + 5*m - 910, -2*m - 258 - 288 = -3*l. Is l a multiple of 44?
False
Let u(w) = w**2 - 9*w + 1. Let q be u(8). Let z be (-4)/14 + (-177)/q. Let p = 45 - z. Is 7 a factor of p?
False
Suppose 0 = -13*p + 323 + 366. Is p even?
False
Is 23 a factor of 8/(-28)*-7*(-135)/(-2)?
False
Let d(m) = -2*m**2 + 4*m - 9. Let p(y) = -y**2 + 2*y - 4. Let l(f) = 3*d(f) - 7*p(f). Let o be l(2). Let h = o - -5. Does 3 divide h?
True
Suppose i + m + 17 = 5*i, -2*m = 10. Suppose 0 = -0*c - i*c + 135. Does 15 divide c?
True
Let l(p) be the second derivative of p**7/2520 + p**5/60 + p**4/6 - 3*p. Let i(y) be the third derivative of l(y). Is 18 a factor of i(6)?
False
Let r(s) = -s + 2. Let j be r(2). Suppose 0*l + l + 3*d - 36 = 0, l - 3*d - 18 = j. Is 27 a factor of l?
True
Let g(u) = u**3 + 9*u**2 + 9*u - 2. Let b be g(-8). Let h be ((-8)/b)/(6/15). Suppose -92 = -h*x - 0*x. Is 15 a factor of x?
False
Let b = -25 + 39. Does 7 divide b?
True
Let j(n) = -6*n - 2. Let l(f) = 2*f + 1. Let w(c) = -3*j(c) - 8*l(c). Is w(8) a multiple of 7?
True
Is 3/(-6) - 181/(-2) a multiple of 15?
True
Is 15 a factor of 266/18 - (-18)/81?
True
Let r(b) = 13*b**2 - b + 1. Does 11 divide r(1)?
False
Suppose x + 276 = 4*u - 4*x, 3*x + 12 = 0. Suppose 4*n + 2*k - 44 = -2*k, -4*k - u = -5*n. Does 4 divide n?
True
Let f(j) = -5*j**2 - 3*j + 1 + 3 - 3*j + j**3. Let o be f(6). Suppose 0 = -4*d - o*l + 52, -3*d + 2*l = -0*d - 34. Does 6 divide d?
True
Is 13 a factor of 4/6 + (4312/21 - 1)?
False
Let k be (4/2)/((-3)/3). Let h(u) = 5*u**2 + 3*u + 3. Let a be h(k). Let t = a + -10. Does 7 divide t?
True
Suppose -124 = -h - 28. Does 16 divide h?
True
Does 19 divide 2/9 - (-340)/9?
True
Suppose 3*v = -5*h + 4 + 6, -2*h = -5*v - 35. Is h a multiple of 5?
True
Let u(m) = m**3 - 8*m**2 - 7*m - 30. Does 10 divide u(10)?
True
Let r(d) = 17*d - 3. Is r(6) a multiple of 11?
True
Let n(b) = 66*b - 1. Let m be n(1). Suppose -m = -o + 2*o. Let x = -33 - o. Does 19 divide x?
False
Suppose 3*d - 5*d = -4*i - 32, 4*d + 2*i - 44 = 0. Does 12 divide d?
True
Does 29 divide (-2)/(((-10)/15)/(236/6))?
False
Let j(a) = a + 95 + 12*a**2 - 95. Let z be (0 - -2)*(-1)/2. Does 11 divide j(z)?
True
Suppose 5*o + 25 - 325 = 0. Is o a multiple of 30?
True
Let k be (-4)/(-18) - (-284)/18. Suppose -f + 3*m = -k, -3*m + 20 = f - 8*m. Is 5 a factor of f?
True
Let s = 135 + -91. Suppose 0 = -4*f + s + 4. Does 6 divide f?
True
Is (-6)/4*42/(-1) + -2 a multiple of 13?
False
Suppose -13*t = -17*t + 288. Does 22 divide t?
False
Suppose m = 4*y - 83, 0*y + 3*y - 45 = -5*m. Suppose y = p + 6. Is p a multiple of 14?
True
Suppose -5*x + 672 = p, 2*p = 4*x - 2*p - 528. Does 46 divide x?
False
Let l = 2 - -12. Suppose l + 18 = 4*d. Suppose f = -f + d. Is 2 a factor of f?
True
Let q(y) be the first derivative of -y**3/3 - 9*y**2/2 - 8*y - 1. Is q(-6) a multiple of 10?
True
Suppose 3*f + 48 = 7*f. Let j(l) = -6 - f*l + 2 + 15*l. Does 10 divide j(8)?
True
Let r(h) = -9*h**2 - 15*h**2 - h**2. Let y be r(-2). Let v = y - -141. Is 11 a factor of v?
False
Let p(r) = -r**3 + r + 1. Let z be p(-1). Suppose -31 + z = -5*j. Is j a multiple of 2?
True
Let a(b) = b**3 - 12*b**2 + 13*b + 9. Is 55 a factor of a(12)?
True
Suppose 4*x - 328 = -4*f, -2*x - 2*f = 3*f - 167. Is 27 a factor of x?
True
Suppose 2*i - 10 = 0, k - 101 = 5*k - 5*i. Let r = k + 31. Is r a multiple of 3?
True
Let k(r) = r**3 - 14*r**2 + 17*r - 28. Is 9 a factor of k(14)?
False
Let r(q) = -130*q - 1. Let y be r(-1). Suppose 0 = -2*a + x + 89, -3*a + y = 3*x - 27. Does 24 divide a?
False
Suppose -2*v = 2, 0 + 6 = 2*j - 2*v. Is 9 a factor of (1/j)/(5/190)?
False
Suppose -6 = -2*n + 8. Does 3 divide n?
False
Let h(p) = 4*p**2 - p. Let d be h(-2). Suppose -5*u = -108 + d. Does 6 divide u?
True
Suppose -26 = 2*n + 36. Let o = n + 57. Is 13 a factor of o?
True
Let g be ((-3)/6)/(1/4). Let a be (1/g)/(2/24). Is 4 a factor of a/(3*3/(-12))?
True
Let u(w) = -w**2 + 10*w + 7. Let x be u(10). Let s = 19 - x. Does 6 divide s?
True
Let t(d) = -2*d**3 - 2*d**2 + 2*d - 1. Let a be t(1). Let n = a - -8. Let o(f) = 3*f - 6. Is 4 a factor of o(n)?
False
Let x = -3 - -27. Is 12 a factor of x?
True
Suppose 6 = -m - m. Let y(g) = -6*g - 3. Does 5 divide y(m)?
True
Let c(f) = f**3 + 5*f**2 - 6*f + 12. Is 2 a factor of c(-6)?
True
Let g = -3 - -11. Does 8 divide g?
True
Suppose -7*b = -4*b - 75. Is 4 a factor of b?
False
Let y = -4 + 154. Is 9 a factor of 1/(3/y) + -1?
False
Let v(t) = -8*t - 2. Let a be (10 + -2)*(-2)/(-4). Let x = a - 6. Does 7 divide v(x)?
True
Let s(d) be the second derivative of 11*d**4/4 - d**3/6 - 2*d. Is 8 a factor of s(1)?
True
Let o(g) = -g**3 + 14*g**2 - 12*g - 10. Let q be 4/22 - (-564)/44. Does 3 divide o(q)?
True
Suppose 0 = y - 2*y + 4. Suppose y*z = -0*z + 160. Is z a multiple of 9?
False
Let f = 1 + -3. Is 14 a factor of 28*(f/(-4) - 0)?
True
Let a(c) = c**2 + 2. Let w be a(3). Let s = 20 - w. Does 9 divide s?
True
Let s = 21 + 13. Is 17 a factor of s?
True
Suppose -6*s + 5*s = -4*l + 6, -4 = -l - s. Let a be (-3 + l)*-3 + 1. Suppose -a*m = -2*m - 12. Is 6 a factor of m?
True
Suppose 0 = -0*z - 3*z - 129. Let c = z - -64. Is 10 a factor of c?
False
Suppose 3*h + 6 = 4*o, -5*o - 5*h + 28 - 3 = 0. Let c(x) = 7*x**3 - 2*x**o - 4*x**3 + 20 + x. Does 9 divide c(0)?
False
Is 11 a factor of (-64)/(-6) - (-4)/12?
True
Suppose 3*z - 2*z = -6. Let b(s) = -2*s + 8. Does 10 divide b(z)?
True
Let p = -43 + 53. Is 3 a factor of p?
False
Let a = -199 + 292. Let q(d) = d**2 - 2*d. Let i be q(3). Suppose -a = -3*f + i. Does 16 divide f?
True
Suppose 4*u + 5*t - 403 = 0, 0 = -t - 1. Is u a multiple of 22?
False
Suppose -2*d - 6 - 28 = -2*p, -p + 17 = -4*d. Suppose t = 19 + 18. Let j = t - p. Does 10 divide j?
True
Suppose t + 2*t + 2*r = 936, 0 = -3*t + 4*r + 936. Does 24 divide t?
True
Let z(n) = 0*n**2 - 18 - 15*n + 13*n + n**2 - 6*n. Does 16 divide z(16)?
False
Let q(y) = -5*y**3 - 2*y - 1. Let r be (-1 + -1)*(-3)/(-6). Let f be q(r). Is 10 a factor of 84/9 - (-4)/f?
True
Let x = -247 + 477. Suppose -4*o = 3*q - x, 5*o + q = o + 226. Is 28 a factor of o?
True
Suppose -3*i = -3*k - k - 15, -k - 5*i + 25 = 0. Suppose n - 3*n = x - 11, 2*n - 2*x + 4 = 0. Suppose k = 5*q, n*q - 7*q = 2*o - 78. Is 13 a factor of o?
True
Let f be 3/6*0/5. Suppose f = -3*y - 5*h + 54, -4*y + h + 40 = -3*h. Is 11 a factor of y?
False
Let k(i) = -i**3 + 20*i**2 - 11*i - 2. Is 15 a factor of k(19)?
True
Let j = 41 + -35. Is 3 a factor of j?
True
Suppose -3382 + 1198 = -13*a. Is 56 a factor of a?
True
Suppose -4*s = s + 10, 5*q - 5*s = -10. Let b(l) = l**3 + 3*l**2 - 5*l - 2. Let d be b(q). Is d*(-1 + 3 + 24) a multiple of 21?
False
Let g be 6/2 - 6/3. Let d = 3 - g. Suppose -3*q = d*h - 4*q - 25, -5*q - 4 = h. Is 11 a factor of h?
True
Suppose 0 = -5*g - 20, 6*u + 4 = 2*u + 2*g. Is 16 a factor of (-4)/((-140)/(-48) + u)?
True
Suppose -45 - 95 = -7*v. Does 4 divide v?
True
Let b = 8 + 20. Suppose 3*z - b = z. Is 5 a factor of z?
False
Let g = 7 - 2. Let i = 10 - g. Suppose 4*j - 8*j + 74 = 5*n, -115 = -5*j + i*n. Is 7 a factor of j?
True
Let c = 6 - 8. Let v be (c - (-3 - 0))*10. Suppose f + v - 40 = k, 5*k = -4*f + 93. Is 10 a factor of f?
False
Let g(m) = m**2 + 5*m + 6. Let j(t) = -t**2 - 9*t - 18. Let z be j(-8). Is g(z) a multiple of 14?
True
Suppose -x - 3*o = -138, -2*o - 626 = -5*x - o. Suppose 0 = -7*u + 9*u - x. Is u a multiple of 12?
False
Suppose -z + 65 + 83 = 0. Suppose a + 2*j - 36 = j, -4*a + z = 3*j. Does 12 divide a?
False
Let j(t) = 2 - t**2 + 5*t**2 + 6*t - 5*t**2. Let u be j(4). Let b = -6 + u. Is b even?
True
Let v be 0*((-1)/(-