8*w**2 + 3*w - 11. Is b(t) a multiple of 9?
False
Let u(b) = -7*b - 1. Let j be 2/(-6)*0 - 3. Is 6 a factor of u(j)?
False
Suppose -5*k + 7 = -4*b, -5*k - 2 = -b - 15. Let v = 0 + k. Suppose 0 = -v*o + 8*o - 285. Is 15 a factor of o?
False
Let m(x) = 2*x + 0*x**2 + 2*x**3 - 7*x**2 + x**2. Let y be m(4). Suppose -2*a - y = -7*a. Is 4 a factor of a?
True
Let m be (-2)/(-2*(-1)/(-4)). Suppose -90 = -m*d - d. Does 6 divide d?
True
Let t be ((-7)/14)/((-2)/(-24)). Let h be t/(-4)*-2 - -3. Suppose h = 3*u + 2*u - 120. Is 8 a factor of u?
True
Let a be (-4)/(-6) + 20/(-3). Let l be a/(0 + (-3)/(-6)). Let o = 24 + l. Is 12 a factor of o?
True
Let z(f) = -f**2 - f + 5. Suppose -2*g = c - 5 + 1, -5*c = -2*g - 20. Let j be z(g). Suppose 0 = j*o + n - 6*n - 30, -n = 3*o - 2. Is o even?
True
Let w = 8 + -5. Suppose -w*h - 4 = -5*h, h = 2*i. Is 10 a factor of (i/((-2)/(-20)))/1?
True
Let l(u) = u**3 + 10*u**2 - u - 38. Does 29 divide l(-7)?
True
Let p(b) be the third derivative of b**5/4 - b**3/6 - 3*b**2. Is 7 a factor of p(1)?
True
Let l = 61 + -99. Let u be (-1)/(-1*1/(-53)). Let p = l - u. Is p a multiple of 15?
True
Suppose 243 = -x + 4*x. Suppose 5*v - x = -2*y + 184, 3*y + 15 = 0. Suppose 5*w - v = 5*z, 0 = 4*w - 2*z - 29 - 17. Is w a multiple of 12?
True
Suppose 4*i = i + 6. Suppose 2*o + 5*y + 22 = 55, i*y = 3*o - 2. Does 18 divide 500/14 - o/(-14)?
True
Let m(c) = c**3 - c**2 + 18. Let r be m(0). Let b = -36 + 12. Does 7 divide (42/(-4))/(r/b)?
True
Let p(i) = -9*i + 1. Suppose 5*y = 0, -4*y = -3*c - 2*c - 15. Let s be p(c). Suppose -5*z + 4*h = -152, -h = -z + h + s. Does 16 divide z?
True
Suppose 0 = -f + 6 + 3. Is (6/9)/(2/f) a multiple of 2?
False
Is 18 a factor of -2*1*207/(-6)?
False
Let k = -9 + 15. Suppose 0 = 5*g + 2*j - 39, 3*g = j - k + 36. Suppose 81 = 5*f - g. Does 11 divide f?
False
Let j be 1/(-2) - (-14)/4. Suppose -j*g = 1 - 262. Is 29 a factor of g?
True
Let h(i) = -i - 1. Let j be h(3). Let w = -19 - -37. Is 6 a factor of j/(-18) + 104/w?
True
Let l(f) = 3*f**2 - 2*f. Does 7 divide l(3)?
True
Suppose 3*i - 12 = 2*z - 0*z, -i + 4 = 4*z. Let j(l) = -l**3 + 6. Is 3 a factor of j(z)?
True
Let z(i) be the first derivative of -31*i**4/4 + i**3/3 - i - 10. Let s = -3 - -2. Is 11 a factor of z(s)?
False
Let f(q) = q**3 - 5*q**2 + q + 1. Let z be f(5). Suppose j + 7 = 2*g, -4*j + 2*g - z*g + 32 = 0. Is j a multiple of 3?
True
Suppose 0 = -3*p + 8 + 4. Suppose 0 = p*v - 5*v. Let g = v + 19. Does 10 divide g?
False
Let m(f) = -f**3 - 5*f**2 + 3*f + 13. Is 8 a factor of m(-7)?
False
Let g be (-4)/6 - 14/6. Let m be g/(-2*3/6). Let s(h) = 16*h - 3. Is s(m) a multiple of 16?
False
Does 15 divide (6 - -2 - 0)*(-255)/(-34)?
True
Let w(b) be the third derivative of b**5/20 - 11*b**4/24 - b**3/3 + 7*b**2. Does 9 divide w(6)?
False
Does 36 divide -3 - ((-2)/6 - 1328/12)?
True
Suppose 2*j - 440 = -3*j. Is j a multiple of 18?
False
Suppose -8 = -2*y + r, 0*y + 5*r = y - 13. Does 3 divide y?
True
Let d(q) = q**3 + 6*q**2 + 3*q - 7. Let i be d(-5). Suppose 0 = i*g + g - 44. Is g a multiple of 9?
False
Suppose 25*h + 360 = 29*h. Does 15 divide h?
True
Let v = 5 - -1. Suppose v*w = 4*w + 28. Is w a multiple of 5?
False
Suppose 2 - 8 = 3*i. Let t be (6/(-3) - i)/1. Suppose -4*h + h = -9, t = -5*f - 2*h + 111. Is 21 a factor of f?
True
Suppose 3*q + 4*i = i + 213, 2*q = -4*i + 142. Let g(z) = z**3 + z**2 + z + 19. Let u be g(0). Let k = q - u. Is 18 a factor of k?
False
Suppose 0 = -0*p - p. Suppose p = -5*k - 2*t + 166, -k - 2*t + 9 = -29. Is k a multiple of 15?
False
Let k = -43 + 29. Let g be k/(-4) + (-18)/(-12). Suppose 25 = g*o, -o = 5*b + o - 50. Is b a multiple of 4?
True
Let x(s) = -4*s**2 + 2*s + 8. Let w(f) = -f**2 - f - 1. Let c(a) = -a**2 + a + 1. Let r be c(3). Let o(g) = r*w(g) - x(g). Is o(2) a multiple of 15?
False
Let r = -19 - -21. Let q(i) = 3*i**3 - 3*i + 1. Is 4 a factor of q(r)?
False
Let h = -126 - -45. Let i(u) = u**3 + 15*u**2 + 29*u - 2. Let w be i(-13). Let p = w - h. Is 20 a factor of p?
True
Is 15 a factor of (-15)/(-4)*(-8)/12*-18?
True
Let z(v) = -v**2 + 14*v - 11. Let i be z(13). Suppose i*l - 45 = 103. Suppose 5*k = l + 51. Is 25 a factor of k?
True
Suppose 942 = 26*n - 11304. Is n a multiple of 17?
False
Let q = 180 - 102. Is 9 a factor of q?
False
Let n = 131 - 89. Is 25 a factor of (-140)/21*n/(-4)?
False
Is (4 - 0)*3/4 even?
False
Let l be (-1)/4 + 42/8. Let y(s) = 2*s**2 - s + 3. Let h be y(l). Suppose k = -k + h. Is k a multiple of 13?
False
Let o be (-4)/(-14) + 4130/(-49). Let y = -60 - o. Is y a multiple of 12?
True
Does 18 divide ((-216)/(-28))/(-2 + (-15)/(-7))?
True
Suppose 5*p - 12 = 3. Suppose p*m = 5*t + 10, 10 = -0*m - 2*m - 5*t. Let o = m + 9. Is 3 a factor of o?
True
Let b be -2 - (1 + -13*1). Let y = b + 0. Is 10 a factor of y?
True
Let n be (-4)/12 + 16/3. Suppose -112 + 20 = -4*x + 4*i, -x - n*i + 47 = 0. Does 7 divide x?
False
Suppose 0 = -4*a, k + 2*a = 4*k + 6. Let m(f) = 7*f**2 - f - 2. Does 12 divide m(k)?
False
Let c(p) = 3*p**3 + 7*p**2 + 10*p - 7. Let l(w) = -7*w**3 - 13*w**2 - 21*w + 13. Let x(i) = 5*c(i) + 2*l(i). Is 11 a factor of x(-7)?
True
Suppose -4*q + b = 2*b - 428, -4*q + 452 = -5*b. Is q a multiple of 7?
False
Let w(b) = b**3 - 9*b**2 - 4*b + 5. Is w(10) a multiple of 13?
True
Let s = 2 + 2. Suppose 0 = 5*k - 3*r - 39, s*k + 3*r - 12 = 30. Does 6 divide k?
False
Is 17 a factor of (3 + (-180)/(-8))*114/9?
True
Let x(m) = -9*m**2 + 2*m + 1. Let c be x(-1). Let j be 73/5 - 4/c. Suppose 3*l + 2 + 1 = -4*a, j = -3*l. Is a a multiple of 2?
False
Let a(o) = o**3 + 7*o**2 - 19*o + 13. Is 22 a factor of a(-9)?
True
Let o(d) = -d**2 + 21*d + 5. Is o(15) a multiple of 16?
False
Suppose 2*v = 4*r + 10, -r = -3*r + 2. Let a = 12 - v. Suppose 8*y - 81 = a*y. Is 10 a factor of y?
False
Let f = -6 + 15. Suppose 0 = -3*j - 0*j + f. Is j + 4/((-6)/(-3)) a multiple of 5?
True
Does 4 divide (-2)/(-11) - (-371)/77?
False
Suppose -30 = 3*b - 9. Let u = 10 + b. Suppose 4*p + 3*o - 89 = 0, 5*o + 78 = u*p - 25. Is p a multiple of 13?
True
Suppose 2*p + 4 = 4*r, -5*r - p = -2*p - 11. Let f be -1*r/3 - -1. Suppose f = -c - 4 + 7, 0 = -4*j + 3*c + 39. Is 8 a factor of j?
False
Suppose 0 = 2*t - 5*r + 1 + 3, 0 = -5*t + 4*r - 44. Let w = t + 43. Does 25 divide w?
False
Suppose -6*y + 764 = 158. Does 21 divide y?
False
Suppose -5*f + 32 - 362 = 0. Let h = 106 + f. Does 14 divide h?
False
Let a(g) = 70*g + 2. Is a(1) a multiple of 12?
True
Let l(q) = 2*q - 1. Let n be l(2). Suppose 6*w + 9 = 3*w - n*g, 0 = -2*w - g - 1. Suppose j - 81 = -w*j. Is 9 a factor of j?
True
Suppose -50 = -2*w + 3*w - 4*x, 4*w = 4*x - 152. Let k = w - -54. Is k a multiple of 10?
True
Let o(w) = w**2 - 6*w + 4. Let g be o(6). Suppose -g*s + l = -20 - 11, 0 = -2*s - 3*l + 33. Is s a multiple of 4?
False
Let i = 24 - 16. Is 4 a factor of i?
True
Suppose 0 = k + 2*k - 39. Let a be -28*22*(-4)/32. Suppose f + 2*g = k, 3*g = -4*f - 0*g + a. Does 8 divide f?
False
Is -1 + 3 + (-88)/(-4) a multiple of 7?
False
Suppose v - 81 = u + 118, 2*u = -3*v + 577. Is v a multiple of 17?
False
Is ((-9)/9)/((2/(-61))/2) a multiple of 14?
False
Let i(z) = z**2 + 16*z + 17. Is 8 a factor of i(-19)?
False
Suppose 5*y + 79 = h, 2*y - 16 = -2*y. Is 11 a factor of h?
True
Is (-10 - -20)/(0 - 1/(-5)) a multiple of 25?
True
Let h(y) = -1. Let z(g) = 2*g + 3. Let l(i) = 10*h(i) + 5*z(i). Is l(3) a multiple of 17?
False
Let b(l) = 9*l - 27. Let n be b(8). Suppose 2*o - 5*o - 93 = 0. Let x = n + o. Does 5 divide x?
False
Suppose -102 = -6*v + 234. Is v a multiple of 8?
True
Suppose 22 = 4*j - 3*y, 3*j - 2*y = -2*j + 24. Let u = 7 - j. Does 3 divide u?
True
Suppose -2*j + 4 = -0*j. Suppose -3*a + 9 = -3. Does 15 divide 2/j*7*a?
False
Let h = -57 - -33. Does 27 divide 45/2*h/(-20)?
True
Let h be (-3 + 0)/((-3)/22). Let s = h - 10. Is s a multiple of 12?
True
Let x(w) = -15*w + 66. Is x(-14) a multiple of 14?
False
Let x(n) = -3*n**2 - 14*n + 10. Let j(r) = 8*r**2 + 41*r - 30. Let a(s) = 4*j(s) + 11*x(s). Is a(7) a multiple of 7?
False
Suppose -3*p + 170 = -2*s, 5*p = s + 29 + 70. Let l = -55 - s. Does 8 divide l?
True
Let r = 254 + -163. Let g = r - 30. Let f = g + -27. Is f a multiple of 17?
True
Suppose 0 = -m - 3, -3*x - 5*m - 17 - 43 = 0. Let j be x + 0 + (2 - 1)