pose -g + 2*m = -2*m - 31, 3*g - x*m = 58. Does 5 divide g?
False
Let p(k) = k**3 + 8*k**2 + 5*k + 3. Suppose 184 = n - 3*n. Let x be 2/3 - n/(-12). Is 17 a factor of p(x)?
True
Let a(z) = z**2 + 5*z - 8. Let h be (-2)/(-10) + 208/10. Suppose 6*i + h = 3*i. Does 3 divide a(i)?
True
Let v = 56 - 39. Is v a multiple of 5?
False
Let s(f) = 4*f**2 - f. Suppose -3*o - 2*o = -5. Let c be s(o). Does 9 divide 73/c + (-4)/(-6)?
False
Let h = -5 - -4. Let d be (-11)/(h/(-1 + 0)). Let a = d + 26. Does 12 divide a?
False
Let n = -5408 + 3698. Does 21 divide (4/6)/((-20)/n)?
False
Suppose 3 + 11 = 2*b. Is b even?
False
Let j = 22 + 3. Is j a multiple of 13?
False
Let u(w) = -3*w**3 - 2*w**2 + 1. Let s be u(-1). Suppose -f - k = -s*f + 17, 3*f - 2*k = 47. Is f a multiple of 13?
True
Let y = -15 - -29. Suppose -4*m + 2 = -y. Suppose 1 = w - m. Is w a multiple of 5?
True
Let y(l) = 7*l**3 + 21*l**2 + 3*l - 9. Let w(v) = 4*v**3 + 11*v**2 + v - 5. Let b(x) = -5*w(x) + 3*y(x). Does 19 divide b(-7)?
True
Suppose -a + 208 = 2*q, 3*a = -4*q - 0*q + 620. Is a a multiple of 17?
True
Is (-13)/((-13)/(-36))*-1 a multiple of 9?
True
Let a = -9 + 14. Suppose a*u + 25 = 5*f, -2*f + 10 = -0*f. Suppose 3*o = 3*r - 42, u = -2*r + 3*o - 2 + 33. Does 10 divide r?
False
Suppose -3*i - 5 = 16. Let x(m) = -m**2 - 8*m - 6. Let h be x(i). Is 11 - (1 + -1 - h) a multiple of 5?
False
Let x(y) = -23*y + 3. Let n be x(-6). Suppose -n + 45 = -4*z. Is z a multiple of 12?
True
Let i(p) = 4*p + 4. Let v be i(-4). Let m = v + 23. Is m a multiple of 3?
False
Let b = 4 + 1. Suppose -b*n = 5*p - 55, -61 = -3*n + 4*p - 0*p. Is 12 a factor of n?
False
Let o = 4 + 0. Let m = o + -4. Suppose -5*n + f = -2*f - 99, m = 2*f + 6. Is 18 a factor of n?
True
Let c(t) = 7*t**2 - 2*t + 1. Let o be c(1). Let q(x) = x**2 + 4 + 4*x + 1 - o*x + 6*x. Is q(-5) a multiple of 10?
True
Does 40 divide (160/3)/(8/24)?
True
Let u = 94 - 76. Does 3 divide u?
True
Suppose -6*i + 2*i + 4 = 0. Does 3 divide (-19 - -1)/(-1 - i)?
True
Let a be -2 + 8/2 - 2. Suppose a*d - 5*d - 3*o + 13 = 0, -2*d + 4*o = -26. Suppose -2*z + d*k = -62, 2*z - 35 = 2*k + 33. Is z a multiple of 12?
True
Suppose -5*m = 278 - 1463. Is 25 a factor of m?
False
Is 17 a factor of (-1 + -85)/(-1) - 19/19?
True
Suppose 12 = -2*m - 2*m. Let x = 18 + m. Is 5 a factor of x?
True
Suppose -2*n + y = -46 - 23, 4*n - 129 = 5*y. Is n a multiple of 18?
True
Let l = 25 + -20. Is l a multiple of 3?
False
Does 8 divide (-132)/297 + (-292)/(-9)?
True
Let w = -7 + 30. Let f = w + -4. Is f a multiple of 6?
False
Let g(h) = h**3 + 13*h**2 + 11*h + 10. Let w(r) = 3*r**2 - 7*r**2 - 21*r**2 - 26*r - 19 + 5*r - 2*r**3. Let k(d) = -5*g(d) - 3*w(d). Is 8 a factor of k(-9)?
True
Is 4/(-8)*-2*63 a multiple of 21?
True
Let m(z) = 2*z**3 + z + 15. Is 3 a factor of m(0)?
True
Let d(a) = a + 10. Suppose -3*x = -0*x + 21. Does 3 divide d(x)?
True
Let l = 13 + 83. Is 6 a factor of l?
True
Let r = 56 + 73. Is r a multiple of 19?
False
Let l(p) = -p**2 - 7*p - 7. Is l(-5) even?
False
Let m = 11 - 6. Suppose 5*q + v - 11 = -3*v, -q = m*v + 2. Suppose -8*h = -q*h - 60. Is h a multiple of 4?
True
Let y be (-34)/(-3) + (-1)/3. Let v = y + 32. Let a = v - 31. Is a a multiple of 8?
False
Suppose -5*s - 1 - 16 = -z, -28 = -2*z + 4*s. Is z a multiple of 12?
True
Let b be ((-28)/8)/(-7)*12. Suppose -b*m + 44 = -2*m. Does 11 divide m?
True
Let c be (-1)/((-1)/10) - -3. Let n = -49 + c. Is 6 a factor of (n/(-15))/((-4)/(-30))?
True
Suppose -24 = -5*r + 3*p - 0, 0 = r - 5*p - 18. Suppose r = u - 21. Is 12 a factor of u?
True
Let n(s) = 0 - 2*s + 2 + 4*s - s. Let q be n(2). Suppose -q*l + 72 = -l. Is 10 a factor of l?
False
Let z(f) = -f - 4. Let g be z(5). Let v be 6/(-4)*30/g. Suppose -34 = v*a - 284. Is 18 a factor of a?
False
Suppose -4*t - 2 = -2*t. Is t/4*-98*2 a multiple of 17?
False
Let u(g) = -g + 18. Does 3 divide u(-6)?
True
Suppose 3*k = -0*k + 126. Is (-2)/4 - k/(-4) a multiple of 5?
True
Suppose -4*z + z = 0. Suppose z = 2*t - t + 6. Is (34/(-3))/(t/9) a multiple of 17?
True
Is 14 a factor of (-5 - -4)/((-2)/168)?
True
Let a(m) = m**3 + 8*m**2 + 5*m - 5. Is a(-5) a multiple of 12?
False
Let o be (-3*2)/(-2) + 22. Let y = 45 - o. Does 7 divide y?
False
Suppose -65 - 623 = 4*i. Does 15 divide 4/((-16)/i) + 2?
True
Let z(j) = j**2 + 2*j + 2. Let d = -3 - 2. Is z(d) a multiple of 5?
False
Let h(c) = -c - 3. Let l be h(-5). Suppose 0*w - 4*w = l*n + 22, 5*n + 4*w + 49 = 0. Let i = n - -13. Is 4 a factor of i?
True
Suppose -3*s - 3 = -3*z, 0 = 4*z - s - 2*s. Let w(c) = -10*c + 3. Does 26 divide w(z)?
False
Suppose 4*m - q - 2*q = -45, -5*q - 30 = 5*m. Let o = 14 + m. Does 3 divide o?
False
Suppose -3*t + 457 = -350. Let c = -158 + t. Does 34 divide c?
False
Suppose 5*a - 1 + 19 = 4*z, -a = -2*z + 6. Let d be 5*(4/10 + z). Suppose 5*o = 2*o + f + d, -o - 4*f = -17. Does 3 divide o?
False
Let a be 0 - (0 - -1)*-2. Suppose 0 = -y + 4. Suppose a*b - y*b = -52. Is 11 a factor of b?
False
Let l(m) = -m. Let d be l(-4). Suppose -9 = 5*h - 19. Suppose d*q = -3*y + h*q + 130, -q = -2. Is 16 a factor of y?
False
Suppose 4*b = -b + 25. Suppose o - 4*z - 28 = -o, b = -5*z. Suppose -d + 0*d = -o. Is d a multiple of 12?
True
Suppose 2*w - w = 0. Suppose w = 3*g + 15 - 99. Is g a multiple of 14?
True
Let o = 11 - 9. Is 5 a factor of o/9 - (-129)/27?
True
Suppose 0 = 2*f + 2*f - 452. Does 21 divide f?
False
Let v be 2 + 0/(-2 + 4). Let z be (23/2)/(v/12). Suppose 2*i - 44 = 5*n - 7, 4*i - 5*n - z = 0. Is i a multiple of 8?
True
Let u(g) be the first derivative of -g**4/4 - 4*g**3/3 - g**2 - 4*g - 2. Is 4 a factor of u(-4)?
True
Suppose 0 = 10*m + 2*m - 288. Is m a multiple of 6?
True
Let t be ((-4)/(-6))/((-4)/(-30)). Suppose -4*m - 6*n = -n + 43, -4*m + t*n - 53 = 0. Is 14 a factor of 4 + 4/(-2) - m?
True
Let f be 15/(-2)*44/(-55). Let u(s) = s**3 + s**2 - s + 60. Let k be u(0). Suppose -3*y = -f*y - 2*t + 116, 2*y - 3*t - k = 0. Does 18 divide y?
True
Let b = 67 + -40. Suppose 0 = -2*l + 5 + b. Is 5 a factor of l?
False
Suppose 0 = -4*t, -2*c - t = 2*c - 32. Let b(d) = d**2 - 5*d - 4. Is b(c) a multiple of 20?
True
Suppose 0 = 4*b + 2*q - 160, 132 = 4*b - 3*q - 2*q. Is 19 a factor of b?
True
Let z be (1 - 9)*(4 - 5). Let s(b) = 4*b**2 - 3*b + 2. Let a be s(2). Let m = a + z. Does 8 divide m?
False
Suppose 0*t = t + w - 9, -4*w + 8 = -3*t. Let s(m) = 15*m - m**2 + t*m**2 - 7*m + 5. Is s(-5) a multiple of 20?
True
Let v be (-2 + -34)*3/(-4). Let q = -57 + v. Let j = -12 - q. Does 9 divide j?
True
Let g be 2 + (0 - 0 - 3). Let h(k) = -2*k**3 + 4*k**2 - 5*k + 6. Let s(u) = u**3 + u**2. Let x(z) = g*h(z) - s(z). Does 15 divide x(5)?
False
Let k = 1 + 30. Does 7 divide k?
False
Let v(p) = p - 3. Let u be v(-3). Is 5 a factor of (-1)/(-2) + (-63)/u?
False
Is 21 a factor of (6 - 4) + 6*11?
False
Let g(c) = -c**3 - c**2 - 4*c - 1. Let w be g(-3). Suppose 3*f - w = 2*f. Suppose -3*u + u + 3*h + f = 0, -1 = -h. Does 7 divide u?
False
Let m = 5 + -2. Let p be (-10)/6 - (-2)/m. Is 10 a factor of 2 + (9 - (-2 - p))?
False
Suppose -5*n = 5*x - 7 + 17, 0 = 4*n + 5*x + 12. Let o = 5 - n. Suppose 0*t = -3*t - o*f, 20 = -t - 5*f. Does 3 divide t?
False
Suppose -5*s - 906 - 604 = 0. Let h = s - -454. Suppose 0*a + 3*v + h = 4*a, -4*v - 190 = -5*a. Is 16 a factor of a?
False
Let t = 5 - 0. Let x = -3 + t. Suppose 0 = 2*a + 2*j - 100, -35 = -a - 0*a + x*j. Is a a multiple of 16?
False
Let k(m) = -m**3 + 5*m**2 - 6*m - 7. Let j be k(5). Let n be 2/(-8) + j/(-4). Let a = n - -1. Is 10 a factor of a?
True
Suppose -541 = -3*g + 83. Suppose -3*z = -7*f + 3*f - g, -2*z = 2*f - 120. Suppose -z = -v - 3*v. Is 12 a factor of v?
False
Is (92/(-12))/(3/(-27)) a multiple of 23?
True
Suppose -10*r + 12 = -9*r. Does 6 divide r?
True
Let x(j) = -32*j**3 + 2*j**2 + j. Let l(h) = -h**2 - 5*h - 1. Let a be l(-5). Does 12 divide x(a)?
False
Is -1 + -3 - (-37 + -10) a multiple of 18?
False
Let x(z) = 22*z + 41. Is 13 a factor of x(19)?
False
Is (-5 - (-1 + -1)) + 68 a multiple of 13?
True
Let d be 3/6 - 11/(-2). Suppose x = d*x. Is (-1 - x) + (0 - -8) a multiple of 7?
True
Let k(m) = m**3 - 6*m**2 - 6*m - 3. Let y be k(7). Is y/(-24) - 794/(-12) a multiple of 33?
True
Let j(x) = -2*x**3 - 4*x**2 + 2*x + 3. Suppose -5*g - 2*n + n - 17 = 0, 