ctor of w?
True
Let h(r) be the second derivative of 19*r**6/720 - r**5/30 + r**4/12 - r. Let v(p) be the third derivative of h(p). Is v(3) a multiple of 15?
False
Let b be (11/2)/((-4)/(-8)). Let n = 3 - b. Let x = n + 19. Is x a multiple of 5?
False
Let m = 4 + -4. Suppose 5*f + 1 + 14 = m. Is 11 a factor of (1 + -2)/(f/78)?
False
Let s = 5 - -2. Suppose -6 = -8*f + s*f. Is f a multiple of 3?
True
Does 8 divide (1 + -18 + 1)*(-183)/122?
True
Let q(f) = -f**2 - 11*f - 10. Let j be q(-10). Let k(d) = -d**2 - 5*d + 2. Let u be k(-6). Let s = j - u. Is s a multiple of 2?
True
Suppose 0 = -0*m + 2*m + 3*o + 5, -m + 2*o + 8 = 0. Let n(h) = 8*h**3 + h**2 - h - 2. Does 32 divide n(m)?
True
Is (-5 - -2) + 10*6 a multiple of 12?
False
Let f be 0/(-2)*(-2)/4. Let r = f + 38. Suppose -3 + r = y. Is 21 a factor of y?
False
Let l(u) = -u**2 + 1. Let p be l(-1). Suppose -3*o - 2*t + 62 = -p*o, -5*o + 5*t = -120. Suppose 0 = 5*j - o - 28. Is j a multiple of 5?
True
Suppose 3 = -4*l + 11. Suppose -5*k + 4*y + 216 = -k, 0 = 3*k - l*y - 162. Is k a multiple of 18?
True
Let m(x) = x**3 - 10*x**2 + 10*x + 8. Let r be (36/(-10))/(4/(-10)). Is 9 a factor of m(r)?
False
Let u(l) = 2*l**3 - 5*l**2 - 2*l - 8. Is 4 a factor of u(4)?
True
Suppose u + 3 = 35. Suppose -4*r + 98 = 4*g - 2*r, 0 = -g + r + u. Is 8 a factor of g?
False
Suppose 10 = 2*i - 0*i. Suppose 0 = -y + i. Is y*(-3 - (-11 + 3)) a multiple of 11?
False
Suppose 4*g = 786 - 234. Is g a multiple of 23?
True
Let a = -23 - -32. Is a a multiple of 2?
False
Suppose -u - 4 = -2*h - h, 5*h = -4*u + 35. Suppose 194 = 2*i - 0*i - j, 5*i + 3*j = 463. Suppose h*y + i = 8*y. Does 14 divide y?
False
Let j = -80 - -117. Does 13 divide j?
False
Suppose 2*i - 6 - 4 = 0. Suppose 3*f - 5*r = 0, 2*f + 3*r + 14 + i = 0. Let h(j) = -j**2 - 6*j - 2. Is 3 a factor of h(f)?
True
Let c = 16 + 28. Is c a multiple of 11?
True
Let y(n) = -n**3 + 9*n**2 - 7*n + 3. Is y(7) a multiple of 13?
True
Let f(m) = -m - 1. Let z(x) = -2*x + 5. Let q(p) = -6*f(p) - 3*z(p). Let j be q(7). Does 10 divide 0/(-2) - j/(-3)?
False
Suppose 4*v + 0*v - 3 = -3*y, -5*y - 2*v = -19. Suppose 3*r - r = 5*i - 9, r - y*i = -12. Suppose -r*x + 2*x + 25 = 0. Is x a multiple of 11?
False
Suppose 2*w + 2*w = 20. Suppose 19 = w*s - 11. Let g(t) = -t**3 + 7*t**2 - 5*t. Is 6 a factor of g(s)?
True
Suppose 5*i = 3*s - 118, -3*s + 126 = -8*i + 5*i. Does 12 divide s?
False
Let l(z) be the second derivative of z**3/3 - 5*z**2/2 + 2*z. Does 3 divide l(5)?
False
Suppose -4*p - 2*l - 3*l - 8 = 0, l - 4 = 0. Let v(q) = 1 + 4 - 4 - q. Does 8 divide v(p)?
True
Let k(o) = -63*o - 16. Does 11 divide k(-3)?
False
Suppose -4*u - 24 = -3*u - 5*b, 0 = 3*u - b + 30. Let m = u + 3. Let v(d) = -d. Is v(m) a multiple of 6?
True
Let s(q) = -1 + 19*q - 7*q + 0. Does 14 divide s(2)?
False
Let f(p) = p**3 + p**2 + 2*p + 276. Is f(0) a multiple of 15?
False
Let a = 2 - 0. Suppose 10 = j - s, -2 = j + a*j + 5*s. Is 2 a factor of j?
True
Let a be -1*-7*1*12. Let s = a - 24. Does 20 divide s?
True
Let p(g) = -18*g + 10. Is p(-1) a multiple of 4?
True
Let j = 0 + 16. Suppose -1 = -h, -2*h + 58 - j = 2*q. Does 15 divide q?
False
Suppose -21*j = -18*j - 42. Is 7 a factor of j?
True
Suppose 0 = -5*c - 4*x - 54, -3*x = 2*c + 9 + 14. Let a = -8 - c. Is a even?
True
Let b(r) = -r**2 - 2*r - 1. Let y be b(-4). Let t = 0 - y. Is 9 a factor of t?
True
Suppose 3*c + f = 5*c - 8, -2*c = -5*f - 8. Let v = 5 + c. Is v a multiple of 3?
True
Suppose 2*w + 0*x - 3*x - 192 = 0, 0 = -5*w - 4*x + 480. Does 24 divide w?
True
Is 14 a factor of 4110/21 - 12/(-42)?
True
Suppose 3*i - 5 - 43 = 0. Is i a multiple of 4?
True
Let b(z) = z + 8. Let w(s) = -2*s - 16. Let r(h) = 5*b(h) + 2*w(h). Let c be r(-5). Suppose o = -5*a + 111, -42 - 65 = -5*a + c*o. Does 13 divide a?
False
Suppose 5*x = 4*w + 27, 0*x - 2*x - 4*w - 6 = 0. Suppose -m + 1 + x = 0. Does 4 divide m?
True
Let x(t) = -t**2 - 7*t + 8. Let j(q) = q**3 - 4*q**2 + q - 1. Suppose -2*s = -6*s + 12. Let c be j(s). Is 3 a factor of x(c)?
False
Let t = 6 + 2. Suppose -t = -h + 5. Is h a multiple of 7?
False
Let b(f) = 35*f + 1. Is b(1) a multiple of 9?
True
Let z(h) = 3*h + 5. Let y be z(0). Suppose 2*n = -3*r + 120, 2*n - y*r = -r + 134. Does 21 divide n?
True
Let m = -5 - -4. Is 4 a factor of (m - 1)*(-11)/2?
False
Let l(r) = -r**3 + 2*r**2 - 3*r + 1. Is l(-5) a multiple of 14?
False
Let c = 30 + -17. Is c a multiple of 5?
False
Let w(a) = a**3 - 46. Let d be w(0). Let t = d - -91. Is 13 a factor of t?
False
Let b(w) be the second derivative of 3*w**3/2 + w**2 + 2*w. Let j be b(-8). Let x = -36 - j. Is x a multiple of 11?
False
Suppose 0 = k - n + 1, -4*k = 5*n - 9 - 14. Let d = k - -2. Suppose -5 = -q, -4*l + 2*q = d*q - 58. Is l a multiple of 12?
True
Suppose 3*n + p = -32, -3*n + 3*p - 31 - 17 = 0. Let v = 13 - n. Does 12 divide v?
False
Let p(r) = -r**2 - 3*r + 4. Let a be p(-6). Let q(l) = -l**2 - 18*l - 15. Is q(a) a multiple of 19?
False
Suppose 0 = 5*p - 0*p + 45. Let l = p + 31. Is 6 a factor of l?
False
Let f be 1/((-3)/(7 - 1)). Let d = 0 - f. Suppose -d*z + 45 = -z. Is 16 a factor of z?
False
Let i(u) = u**2 + 5*u - 3. Let o be i(-6). Does 14 divide (18/(-15))/(o/(-70))?
True
Let n(y) = -y**3 - 7*y**2 + 2*y - 4. Let m = 19 - 27. Is 22 a factor of n(m)?
True
Suppose 2*t - 6*t + 20 = 0. Suppose -3*z = -z + 4*q - 56, -82 = -3*z - t*q. Is 14 a factor of z?
False
Suppose 4*b - 4*o = 0, -o + 5 = b + 13. Let a be 1 + -1 - (b - -10). Does 6 divide -1*a/1*1?
True
Suppose -4*j + 3*j = 1. Let f(a) = -5*a - 1. Let r be f(j). Suppose 0*v + 3*v = -h + 136, 0 = r*v - 5*h - 175. Does 17 divide v?
False
Suppose -6*r + 1088 = -166. Is 36 a factor of r?
False
Suppose -3*c = 2*c. Suppose c = -3*g + g + 22. Is g a multiple of 5?
False
Suppose 2*i - 20 = 3*o - 3, 32 = 5*i - 4*o. Suppose -3 = -i*h + 21. Suppose 10 = 3*b - 4*w - 23, 2*w + h = 0. Is b a multiple of 4?
False
Let f = 1 - -14. Does 3 divide (-5)/f - (-10)/3?
True
Let w be (-1)/(((-3)/(-4))/(-3)). Suppose 7 + 49 = w*p. Does 7 divide p?
True
Let b(h) = -h - 14. Let w be b(-15). Let u(o) be the third derivative of 17*o**5/30 - o**4/24 + o**2. Is 11 a factor of u(w)?
True
Let u be 25/10*2*3. Suppose 2*f - n = 5*f - 12, -2*f - 3*n = -1. Let a = u - f. Does 5 divide a?
True
Suppose 4*q = 89 - 1. Let y = q - -4. Does 11 divide y?
False
Suppose 3*x + 4*g - 1 = 0, -g - 4*g - 13 = -x. Let h(l) = 9*l + 3. Is 27 a factor of h(x)?
False
Let c(m) = -m**3 - m**2 + m + 201. Let n be c(0). Suppose 2*f - 6*f - 5*j = -n, 4*j = 20. Is 13 a factor of f?
False
Let y = 18 + -6. Is 5 a factor of 160/y - 2/(-3)?
False
Let f = -8 + 1. Let z(c) = -c**2 + 4*c + 4. Let h be z(f). Is h/(-2) + 3/6 a multiple of 15?
False
Suppose 0 = -5*x - 2*l - 3*l + 365, 131 = 2*x - 3*l. Does 13 divide x?
False
Let a = -2 - -20. Suppose -y + a = 2*y. Suppose y = 4*b - 26. Is b a multiple of 8?
True
Suppose -5*y = -5*s + 230, -62 = s - 3*s - 4*y. Let v = s + -29. Is 10 a factor of v?
False
Let p be (-3 - -7)/(2/2). Let z(c) = 2*c**2 + 2*c - 6. Does 17 divide z(p)?
True
Suppose 7*f - 9 = 4*f. Suppose 3*o = t - o + 27, f*o - 8 = -t. Let u(c) = c**3 + 8*c**2 + 3*c - 6. Does 10 divide u(t)?
False
Let d be 1116/10 + (-2)/(-5). Let p = d - 36. Suppose 3*h + h - p = 0. Does 19 divide h?
True
Let p(j) = 6*j**2 + 5*j + 2. Let k(h) = -h**2 - 5*h + 2. Let q be k(-6). Does 26 divide p(q)?
True
Let j = 17 - 5. Suppose -2*z = -4*a + j, -z + 5*a - 17 = 1. Suppose -3*g = 4*i - 28, 2*i + i - 21 = -z*g. Does 4 divide i?
False
Suppose d + d - 10 = 0. Suppose d = -5*a + 5*z, 1 = a + 3*z - 2. Suppose -o + a*o + 15 = 0. Is 15 a factor of o?
True
Let l(h) = 3*h**2 - 4*h - 1. Suppose 4*n = -a - 11, 3*a - 15 = 2*n + 2*n. Let o be l(n). Suppose -2*t - 6 = -o. Is 6 a factor of t?
False
Let r = 4 - 10. Let j = -4 - r. Suppose -j*l + 94 = 4*v, l - 70 = -3*v - 0*l. Does 8 divide v?
False
Let x(u) = u + 17. Let s(t) = 3*t + 52. Let b(v) = 6*s(v) - 17*x(v). Is b(0) a multiple of 16?
False
Let r be 7/3 + (-3)/9. Suppose -r*q + 0*b = -b - 2, -5*q - b = -5. Let i(z) = 13*z**3 - 2*z + 1. Does 12 divide i(q)?
True
Let y be ((-6)/2 + 3)/(-1). Suppose 4*a = 3*f + 179, y*a + 5*f = -3*a + 156. Does 18 divide a?
False
Let c be 2 + 4 + (1 - 3). Let i = c + 34. Does 19 divide i?
True
Suppose 0 = 