factor of b?
False
Let f(z) = 2*z**2 + 18*z - 11. Let j(p) = p**2 + 12*p - 7. Let v(s) = -5*f(s) + 8*j(s). Let a be v(4). Is (-1 - a - -2)/1 a multiple of 5?
True
Suppose 2*o + 3*n + 150 = 6*o, o - 5*n = 29. Let r = 58 - o. Does 19 divide r?
True
Suppose 0 = 2*i + 5*y + 12, 5*y = 4*i - 6 - 0. Let b(o) = -4*o. Let u be b(i). Suppose 0 = 3*s + 3, -u*m + 37 + 21 = -2*s. Is 7 a factor of m?
True
Let f(a) = -15*a + 1. Suppose -3*d - 2*d = -15. Suppose 1 = -d*l + 2*l. Is f(l) a multiple of 7?
False
Suppose -5*a - 5 = -15. Suppose a*h - 9 = -h. Suppose -h*c + 11 = -64. Is 14 a factor of c?
False
Let s(r) = 4*r**2 - 14. Is 9 a factor of s(6)?
False
Let r = -6 + 11. Suppose r*t + 275 = -0*t. Does 9 divide (-2)/(-5)*t/(-1)?
False
Let d be 1 - -1 - (-1 - 3). Suppose 4*c - 3*p - 93 = 0, -d*c + 98 = -2*c + 2*p. Suppose -4 - c = -w. Is 16 a factor of w?
False
Let h = 13 + -2. Is 3 a factor of h?
False
Let v(f) = 3*f - 2. Let h = 1 - 7. Let r be v(h). Let b = r - -34. Does 14 divide b?
True
Suppose 0*w = w - 13. Let b = -8 + w. Does 5 divide b?
True
Let f(k) = -k + 9. Let c be f(6). Suppose -2*j = m + m - 218, c*j - 341 = 4*m. Is 37 a factor of j?
True
Let c(u) = u - 9. Let l be c(5). Let v = 3 - l. Is 4 a factor of v?
False
Let f(r) = -r**3 - 4*r**2 - 7*r - 7. Does 20 divide f(-6)?
False
Suppose -149 = 4*m - 389. Is m a multiple of 3?
True
Let z = -40 + 58. Let b = 25 - z. Is 7 a factor of b?
True
Let p = 16 - -14. Does 15 divide p?
True
Let x(h) be the first derivative of h**5/60 - 3*h**4/8 + 2*h**3/3 + 2. Let g(w) be the third derivative of x(w). Is 4 a factor of g(8)?
False
Suppose 3*s = -5*y + 7*s + 102, -4*y - 3*s = -94. Is 11 a factor of y?
True
Let n(t) = 3*t - 2. Let w be n(-5). Let m = -8 - w. Is 3 a factor of m?
True
Let o = 3 - -7. Does 3 divide (-268)/(-20) + (-4)/o?
False
Let w be (6/3 - 3) + -15. Let m = -4 - w. Does 8 divide m?
False
Let m = -8 - -19. Is 11 a factor of m?
True
Let o be 93/7 - 6/21. Suppose 0*n - o = -n. Is 6 a factor of n?
False
Let q(c) = -c**3 + 12*c**2 + 2*c - 3. Let n be q(7). Is 23 a factor of (n/(-12))/(2/(-6))?
False
Suppose 0 = -3*z - 2 + 8. Suppose 5*t - 6*t - z = 0. Is 18 a factor of -3 - t/(-4)*-94?
False
Let x(i) be the first derivative of 4*i**2 + 6*i - 5. Is 19 a factor of x(4)?
True
Let b be -3*1*(-3)/3. Let o be 16/b + 6/9. Is 2 a factor of 2/o - 15/(-9)?
True
Suppose t - 46 + 5 = 0. Does 9 divide t?
False
Let i(y) = -y**2 + 3*y + 45. Is i(0) a multiple of 9?
True
Is 4 a factor of (-1516)/(-18) + 32/(-144)?
True
Suppose -2*y = 3*s - 117, 3*s - 9 - 6 = 0. Is y a multiple of 31?
False
Let h be (-3 + 2)*1*0. Is 13 a factor of 34*(-3)/(-6) - h?
False
Suppose -8*z + 14 = -50. Does 8 divide z?
True
Let l(r) = 0*r + 7*r - 3 - 6*r + r. Does 3 divide l(9)?
True
Let b = 95 - 50. Does 5 divide b?
True
Suppose 4*l + 2*c + c - 6 = 0, 3*l - 5*c = 19. Suppose l*o = -o + 44. Does 7 divide o?
False
Suppose 4*c - 7 = 77. Does 21 divide c?
True
Suppose -28*t + 32*t = 848. Is 27 a factor of t?
False
Let a(q) = -2*q**2 + 13*q - 7. Let o(f) = f**2 - f. Let i(g) = a(g) + 4*o(g). Let m be i(8). Suppose 3*h + 232 = 5*l, -3*l - 5*h + m = l. Does 21 divide l?
False
Let w(l) = -2*l**2 + 3*l**2 + 2 + 2*l - 9. Suppose 0 = -o + 1 - 8. Is w(o) a multiple of 14?
True
Let c(a) = -a**2 - 4*a + 4. Let k be c(-4). Suppose -h + 6 = -k*f, -2*f - 2 = -0. Let m(o) = 3*o + 2. Is 4 a factor of m(h)?
True
Suppose 0 = -8*v + 665 - 169. Is v a multiple of 26?
False
Let l = -41 - -83. Does 14 divide l?
True
Let u = 73 - 51. Suppose 0 = -p + 100 - u. Suppose -p = -7*f + 5*f. Is 15 a factor of f?
False
Let o be ((-10)/4)/1*-2. Suppose 3*c + 0*c + 25 = 2*g, c = o*g - 56. Is 11 a factor of g?
True
Suppose -4*v + 287 = -105. Let y = v - 53. Is y a multiple of 15?
True
Suppose 94*l - 98*l + 520 = 0. Is l a multiple of 10?
True
Suppose 0 = 5*m - 1762 + 552. Is m a multiple of 11?
True
Suppose -8*w + 12 = -4*w. Let x = 9 - 5. Suppose -5*d + 0*g - g = -119, -x*g = w*d - 68. Is d a multiple of 12?
True
Suppose 0 = -0*w - w + 3. Suppose -w*t + 21 = 3*j, -4*t + j + 38 = -0*j. Does 3 divide t?
True
Let z(u) = -u**2 + 5*u + 3. Let d be z(5). Suppose -d*l - 4 = -1. Let i(y) = -19*y**3 + y**2 + 2*y + 1. Does 5 divide i(l)?
False
Let m = -1 - 9. Does 2 divide (-46)/m + (-4)/(-10)?
False
Suppose -5*s + 196 = -4*v - 276, -5*v = 15. Is 30 a factor of s?
False
Let g = -3 - -6. Suppose -2*u = -g*z - 21, -5*z - 6*u - 35 = -u. Let b(y) = -y**2 - 9*y. Is 7 a factor of b(z)?
True
Let f(x) = 10*x + 18. Is 47 a factor of f(9)?
False
Suppose -4*k + x = 3*x - 258, -k + x + 63 = 0. Does 16 divide k?
True
Suppose 4*r - 208 = 84. Suppose -5*k - r = -318. Is k a multiple of 21?
False
Suppose -b = -6*b + 25. Suppose -b*z + 33 = -2. Suppose 3*v + 5*k - 19 = 0, -v + k = 2*k - z. Does 3 divide v?
False
Suppose 0 = -4*r - r + 70. Is r a multiple of 4?
False
Let c = 6 - -1. Suppose 8*n = c*n + 36. Does 18 divide n?
True
Suppose -4 = -n - 11. Let b(p) = -6*p**2 - 4*p**3 - p + 5*p + 3*p**3. Is 17 a factor of b(n)?
False
Suppose d + 3*j = -0*j + 29, -d + 5 = -5*j. Let p = d + -7. Is p a multiple of 9?
False
Suppose 0*f + z = -3*f - 57, f + z + 17 = 0. Does 12 divide ((-16)/f)/((-2)/(-95))?
False
Let q = 18 - 13. Suppose 4*s = 4*l - l - 25, -4 = s. Suppose q*k - 32 = l*k. Is k a multiple of 16?
True
Let y = 16 + -4. Let c(k) be the second derivative of -k**4/12 + 8*k**3/3 + 5*k**2 - k. Is c(y) a multiple of 23?
False
Let n(f) = f**3 - 6*f**2 - 2. Let o be n(5). Let a = -15 - o. Is a a multiple of 7?
False
Let v(c) = -5*c**2 + 4*c**2 - c**3 + 7 + 4*c - 11 - 3. Is 14 a factor of v(-4)?
False
Let m(n) = -n**3 + 4*n**2 + 3*n + 2. Is 7 a factor of m(4)?
True
Suppose -2*w + 4*w = 0. Let c(u) = u**2 + u + 18. Is 18 a factor of c(w)?
True
Let l(w) = -w**3 - 6*w**2 - w + 8. Let h be 1 + -2 - -6 - 2. Suppose -f = -2*r - 2*f - 11, 0 = h*r + f + 17. Does 14 divide l(r)?
True
Suppose 0 = -5*a - 10 - 30. Does 15 divide ((-1)/3)/(a/552)?
False
Suppose 6 = 3*o + 2*t, 4*t - 6 + 18 = 0. Suppose -4*y - 35 = -2*m + 53, 5*y - 43 = -2*m. Suppose -o*c = 20, 2*c = -2*f + 6*f - m. Is 4 a factor of f?
False
Let d(u) = u**3 + 2*u**2 - 4*u + 1. Suppose 0 = 2*x - 3*n - 3, 3*n - 6 = -3. Is 17 a factor of d(x)?
True
Let k(b) = -3*b + 5. Let w(i) = 5*i - 11. Let j(u) = -7*k(u) - 4*w(u). Is j(-4) even?
False
Let l(p) = 4*p. Let m be l(1). Let d(q) = 17*q - 3. Let c be d(m). Suppose 5*o - 45 = -3*h, 7*o - c = -5*h + 2*o. Is 10 a factor of h?
True
Suppose -181 = -3*u - b, -67 = -u + 3*b - 20. Suppose -3*n = -2*h + 76, -5*h + n + 131 = -u. Suppose 0*t - h = -t. Is t a multiple of 19?
True
Let j be (4 + -2)/(2/(-5)). Let h(v) = -3*v**2 + 8*v. Let l(k) = -k**2 + k - 1. Let m(z) = h(z) - 4*l(z). Is 9 a factor of m(j)?
True
Let w = -25 - -13. Let v = w - -36. Is 8 a factor of v?
True
Let g(n) = -n**3 - 14*n**2 - 5*n - 20. Is 5 a factor of g(-14)?
True
Suppose 0 = 3*g + 9, 5*u + 0*g - 102 = -g. Does 21 divide (u/2)/((-5)/(-30))?
True
Suppose 0 = 8*b - 3*b - 25. Is (b/(-10))/(1/(-138)) a multiple of 23?
True
Suppose -2*o = -8 - 36. Is 11 a factor of o?
True
Suppose 4*g - 20 = 3*c, -5*c = 4*g + 12 - 0. Suppose 4*p - g - 14 = 0. Suppose a + a - p*t = 2, 5*a - 2*t - 45 = 0. Is a a multiple of 6?
False
Let d = 386 + -58. Is 26 a factor of d?
False
Let b = 58 + -41. Does 11 divide b?
False
Let o be 12/1 + 6/(-2). Suppose -3 = 3*z - o. Suppose -z*w + 121 = 29. Does 18 divide w?
False
Let m(z) = 7*z**2 + z - 2. Let n be m(2). Let i = n + 8. Is i a multiple of 10?
False
Suppose 5*v = -5*u + 40, -2*u + u = -v + 2. Suppose x + 50 = u*x - 2*f, -4*f + 10 = x. Let s = -8 + x. Is 5 a factor of s?
False
Let m(p) = -p**3 - 9*p**2 + 8*p - 8. Does 4 divide m(-10)?
True
Suppose -65 = 2*c - 407. Let z = c + -99. Is 24 a factor of z?
True
Let i(z) = z + 13. Let d be i(-9). Let h = 2 + d. Is 2 a factor of h?
True
Is 6 a factor of (-80)/(-14) - (-22)/77?
True
Let u = 53 - -71. Is ((-5)/10)/((-2)/u) a multiple of 16?
False
Suppose 0 = 4*q - q - 18. Suppose -q*c + 2*c = 0. Let p(v) = v**3 - v**2 + 24. Is 8 a factor of p(c)?
True
Let x = 203 + -157. Is 9 a factor of x?
False
Suppose 5*z - 3*n - 15 = 2*n, 0 = -3*z - 2*n + 9. Is z a multiple of 2?
False
Let k = -8 + 12. Suppose k*c - 4*t = 20, -4*c - t + 21 = -6*t. Is 3 a factor of c?
False
Suppose 0 = 3*d + 4*l 