 Is 20 a factor of 40/(u - (0 + -1))?
True
Let b(j) be the first derivative of 7*j**3/6 - 2*j**2 + 4*j + 3. Let a(n) be the first derivative of b(n). Is a(3) a multiple of 7?
False
Suppose -j + 3*z + 19 = 0, j + 6*z = 3*z - 11. Suppose 0 = 3*r - 7*r - 2*f - 14, -4*f = 5*r + 10. Is r/(-1*j/6) a multiple of 9?
True
Let h(q) = q**3 + 26. Let g = 2 - 2. Is h(g) a multiple of 13?
True
Let w = 1 - -9. Let j = 24 - w. Does 14 divide j?
True
Let m(j) = 4*j**2 + 21*j - 12. Is m(-7) a multiple of 16?
False
Let f = -155 - -246. Is 6 a factor of f?
False
Let q(w) = -3*w**2 - 2. Let p(a) = 10*a**2 + 5. Let n(z) = -2*p(z) - 7*q(z). Let h be n(0). Is 2/h*(31 - -3) a multiple of 8?
False
Suppose 4*o = -0*o - 2*d + 846, 0 = -3*o - 4*d + 622. Is 33 a factor of o?
False
Let z = -1 - 12. Is 17 a factor of z*((1 - 2) + -2)?
False
Let z = 16 + -3. Does 13 divide z?
True
Let r(g) = -3*g - 6. Suppose c = 2 + 1. Suppose c*h = -2*h - 20. Does 6 divide r(h)?
True
Let c be 141*(-3)/((-18)/2). Let r = -32 + c. Is 5 a factor of r?
True
Suppose 4*i + l - 602 = 0, 5*l = -15 + 5. Is 18 a factor of i?
False
Suppose 0*g = -3*g + 510. Suppose 5*b + 5*n - g = 0, 0*n + 3*n - 66 = -2*b. Is b a multiple of 20?
False
Let f = 41 + -15. Does 21 divide f?
False
Is 6 a factor of -2 - (0 - 2) - -29?
False
Let a be -2*(-9)/6*-17. Let k(x) = 76*x - 1. Let o be k(1). Let m = a + o. Is m a multiple of 12?
True
Let n be ((-2)/1 - -1)*-27. Suppose -g - n = -76. Does 14 divide g?
False
Let b be (-2)/8 - (-1)/4. Let q(r) = -16*r**3 + 4 + r**2 - 5 + b*r**2. Is 6 a factor of q(-1)?
False
Let d(f) be the third derivative of f**5/30 - f**4/3 - f**3/2 - 2*f**2. Let q be d(6). Suppose 4*z = q + 23. Does 7 divide z?
False
Suppose 0*v = -v + 52. Does 26 divide v?
True
Let k(u) = 3*u - 3. Let n(z) = -z**2 + 3*z + 2. Let p be n(3). Let d be k(p). Suppose -v + 28 = -d*f + 8, 3*v - 36 = -3*f. Is v a multiple of 11?
False
Let q be (15/(-2))/((-6)/40). Let c be (8/20)/(2/q). Suppose -2*v + c = -0*v. Does 2 divide v?
False
Let o be 0 - 1*-2 - 0. Suppose -o*x = 8, 2*m - 2*x = -x + 192. Let a = m - 50. Does 21 divide a?
False
Is (-126)/(-8) + (-33)/44 a multiple of 10?
False
Suppose k = 22 + 73. Is 24 a factor of k?
False
Let k(t) = t**2 + 2*t + 70. Is 35 a factor of k(0)?
True
Let y(x) be the third derivative of -x**4/12 - 7*x**3/6 + 2*x**2. Let m be y(-5). Suppose 5*j - m*b - 33 = -7, 0 = 3*j - 4*b - 9. Is 5 a factor of j?
False
Suppose 4*a - a = 204. Let l = -22 + a. Is 10 a factor of l?
False
Suppose 3*a - 5 - 4 = 0. Let n be (10/a)/(1/18). Suppose 6*h = 4*h + n. Is h a multiple of 15?
True
Suppose -4*f = 5*a - 6, 2*f - 2*a = -6*a. Suppose -216 = 2*z - 10*z. Suppose p - f*i - 34 = -7, -i + z = 2*p. Is 10 a factor of p?
False
Let h be 0 + 0 - 0/6. Suppose h = a - 3*a + 24. Is 12 a factor of a?
True
Suppose -x = 3*y + 11, 5*x - 2*y - 35 = y. Let t be 7/((-2)/((-12)/3)). Suppose -t - 18 = -4*f - 4*u, 0 = x*f + u - 17. Is f a multiple of 2?
False
Suppose -5*p + 11 = -119. Suppose -7*t + 15 = -2*t. Suppose 0*o - 2*o + 7 = x, t*x - p = -5*o. Does 9 divide x?
False
Suppose h - 6 = -2*h. Suppose 3*j - h - 4 = 0. Let a = 8 + j. Does 10 divide a?
True
Suppose 5*k - 3*k + 4 = 0. Let l = -2 - k. Is (-1 - l/(-1))*-15 a multiple of 15?
True
Let x = 179 - 62. Is x a multiple of 13?
True
Let s = 46 - 5. Suppose -16 = p - s. Does 10 divide p?
False
Suppose -2*n + 3*k + 6 = 0, -k + 6 = -0*n + 2*n. Suppose -n*h - 2*o + 49 = 0, 3*o = 5*o - 10. Is h a multiple of 5?
False
Suppose 8*z = 347 + 61. Is 45 a factor of z?
False
Let q(w) = 10*w**3 - 11*w**2 + 4*w - 3. Let g(j) = 5*j**3 - 5*j**2 + 2*j - 1. Let n(i) = -7*g(i) + 3*q(i). Is n(-2) a multiple of 13?
False
Suppose 5*d = -3*a + 83, 3*a + 3*d + 23 = 4*a. Does 10 divide a?
False
Suppose -5*s + 4*s = -142. Does 30 divide s?
False
Is ((-35)/(-10) - 3)/((-4)/(-144)) a multiple of 18?
True
Let v be (-5 + 1)*(-194)/(-8). Let a = -62 - v. Does 15 divide a?
False
Suppose -u + 16 = -18. Let i = 3 + -13. Let s = u + i. Does 10 divide s?
False
Let x = -6 - -4. Does 29 divide 58*2/(-8)*x?
True
Let l = -8 - -12. Suppose 4*h = l*w - 28, 2*w - 3*h = -0*h + 19. Suppose w*u - 33 = 31. Does 16 divide u?
True
Let x be -1*5 - (2 + -2). Let l(v) = -4*v. Let p(c) = c - 1. Let k(r) = 2*l(r) + 6*p(r). Is 4 a factor of k(x)?
True
Suppose 0 = -3*c + 2*b + 27 + 33, -4*b + 24 = 2*c. Is 18 a factor of c?
True
Is 20 a factor of 7/((-7)/(-117)) + (2 - 1)?
False
Let k(i) = i**3 - 6*i**2 - 7*i. Let u be k(7). Let h be 2 - u - (-1 + 1). Suppose -4*s = -2*s + h*w - 40, 44 = 2*s + w. Is 16 a factor of s?
False
Let t(c) = -2*c**3 + 2*c**2 + 3*c. Let l be t(-2). Suppose -3 = -2*n - 9. Let q = l - n. Is 7 a factor of q?
True
Suppose 4*z + 6*j = 2*j + 36, -5*j = z + 3. Suppose z + 23 = -5*r. Let c = 6 - r. Is 4 a factor of c?
False
Let m = 88 + 65. Does 17 divide m?
True
Let x = -6 - -8. Suppose -x*p - s + 7 = -4*s, 0 = 4*s + 4. Suppose t + i = 16, p*t - 3*i = -2*t + 29. Does 11 divide t?
True
Suppose 0 = -5*k, -2*k = 4*d + d - 60. Suppose -4*c + 8*c - d = 0. Suppose 5*x - 70 = -4*g, -4 - 24 = -2*x - c*g. Is 8 a factor of x?
False
Suppose -2*l = -57 - 15. Is l a multiple of 7?
False
Let r(o) = 0 + 0*o - 9 - o. Let m be r(-8). Let l = 3 - m. Is l even?
True
Let b = -77 + 173. Does 21 divide b?
False
Let w(d) = -3*d**2 + 2*d. Let r be w(2). Is 4/r*(0 + -108) a multiple of 15?
False
Let v be (-6)/(-1*(0 - -2)). Let f = -4 - -4. Suppose 0 = -f*t + 3*t + 3*n - 21, 19 = v*t + 4*n. Is t a multiple of 9?
True
Does 46 divide (-12)/(-20) - 3674/(-10)?
True
Let u(x) = -13*x - 9. Let g be u(-8). Suppose n + 4*n - g = 0. Suppose -4*z + 0*z + n = 5*s, -s + 17 = 2*z. Does 11 divide z?
True
Suppose -9*q + 214 = -5*q - 3*z, 0 = 5*q + z - 258. Does 11 divide q?
False
Let w(n) = 4*n + 76. Does 8 divide w(21)?
True
Let d(l) = l**2 - 8*l + 8. Let u be d(6). Let w be (-6)/u*24/9. Suppose -k = -3*j - 26, -w*j - 41 = -3*k + 17. Is k a multiple of 7?
True
Let d(v) = -5*v. Let w be d(1). Let m(p) = p**3 + 4*p**2 - 5*p + 6. Let o be m(w). Let n(x) = 2*x**2 - 8*x - 3. Is 6 a factor of n(o)?
False
Let w(o) be the second derivative of -o**5/20 + o**4/12 - 2*o. Let m(h) = 3*h**3 + 5*h**2 + 4*h - 1. Let s(v) = m(v) + 2*w(v). Is 10 a factor of s(-5)?
False
Let g(d) be the third derivative of -3*d**4/8 - d**3/3 - 2*d**2. Let r(m) = 5*m + 1. Let z(b) = -4*g(b) - 9*r(b). Does 4 divide z(-1)?
True
Let f(w) be the second derivative of w**5/20 + w**4/2 - w**3/6 - 2*w**2 + 2*w. Is 13 a factor of f(-5)?
True
Let o = -3 - -6. Is o a multiple of 3?
True
Let j be (2 + -1)*2/2. Suppose 23 = 3*z + 4*g, 4*z = 5*g + 9 + j. Is z a multiple of 5?
True
Suppose 0 = r + 4*r - 50. Suppose 0*w + 2*w - r = 0. Suppose 2*v - w = 1. Does 3 divide v?
True
Let r be (-2)/4 - (-10)/4. Suppose r*h = 5*h - 72. Does 12 divide h?
True
Let y(w) = w + 2. Let x be y(-6). Let g(u) = -3*u + 2. Is 14 a factor of g(x)?
True
Let n be (-4 - -10)/((-3)/(-2)). Is 12 a factor of 1/n - (-329)/28?
True
Suppose 17 + 1 = -l. Let b = 50 - l. Suppose -3*a = -4*d + 68, 0 = 4*d - 4*a + 3*a - b. Does 17 divide d?
True
Let g be (0 - 2) + (-7)/(-1). Let s = g + 0. Suppose 0*z + s*z = 70. Does 14 divide z?
True
Suppose 3*o - 6 = 2*o. Let d(i) = 3*i. Is d(o) a multiple of 9?
True
Let y(h) be the first derivative of h**4 + 2*h**3/3 - h**2 + 2*h + 2. Is y(2) a multiple of 15?
False
Suppose 2*x - r = 4*r + 33, -3*x - 3*r - 3 = 0. Let b(m) = 2*m**2 - 4*m - 1. Is b(x) a multiple of 15?
True
Suppose -3*h - 3*a = h + 15, 4*h - 5 = a. Suppose 5*y + h = p + 1, -4*y = -4. Suppose 9 = r - p. Is r a multiple of 13?
True
Let v(w) = w**2 + 4*w + 6. Suppose 3 = 5*u + 33. Is v(u) a multiple of 9?
True
Let d = -16 - -5. Let u = 49 - 33. Let g = u - d. Does 16 divide g?
False
Suppose -5*h - 42 = -147. Let l(n) = 3*n - 1. Let p be l(4). Let z = h - p. Is 10 a factor of z?
True
Let u(g) = 5*g**2 + 2*g + 1. Suppose y - 7 = 2*h - 0*h, 0 = -2*y - h - 6. Is u(y) even?
True
Let d = -4 - -2. Let b(c) be the third derivative of -5*c**4/24 + c**3/6 + c**2. Is 11 a factor of b(d)?
True
Let s(n) = n**2 + 5*n + 2. Let c be s(-3). Suppose 5 = m + 4*t, 0 = t - 0 - 1. Is (-2)/(1/c*m) a multiple of 8?
True
Suppose -o = p - 8, 2*o + 2*o - 4*p - 48 = 0. Suppose -o*v = -12*v + 32. Is 8 a factor of v?
True
Let a(w) = w**2 + 9*w + 8. Let p be