f 11?
False
Let k be (3 - 1)*(0 - -2). Let j(v) = -v**3. Let w be j(1). Is 20 a factor of w/(-4) + 231/k?
False
Let q(i) = -7*i**3 - 8*i**2 + 3*i + 8. Let k(m) = -20*m**3 - 23*m**2 + 9*m + 23. Let z be -2 - (-14 - 1)/(-1). Let d(j) = z*q(j) + 6*k(j). Does 2 divide d(-3)?
True
Let p(d) be the second derivative of -d**5/20 - d**4/2 + 2*d**3/3 - 9*d**2/2 + 2*d. Does 6 divide p(-7)?
True
Let i = 0 - -4. Suppose i*w = 2*w - 82. Let l = 79 + w. Is 13 a factor of l?
False
Suppose 17*w + 336 = 23*w. Does 22 divide w?
False
Suppose 0 = -o + 5*o - 600. Let g be ((-18)/(-15))/(2/o). Suppose 0 = -3*m - 0*m + g. Does 15 divide m?
True
Let a be 1/(3/(10 - 1)). Suppose -2*c - 3 = -a*c. Suppose 0 = z + c*z - 196. Is 13 a factor of z?
False
Suppose 5*v - 329 = -a - 109, 0 = 2*v - a - 95. Is 15 a factor of v?
True
Suppose 0 = w - 0*w. Suppose -3*d + 63 + w = 0. Does 8 divide d?
False
Suppose 13 = -3*w + 73. Is w a multiple of 4?
True
Let u(i) = i. Let k(f) = 1 - 3*f + 18*f + 0*f. Let n(j) = -k(j) - 5*u(j). Is n(-1) a multiple of 9?
False
Let f(x) = x**3 - 7*x**2 + 7*x - 4. Let m be f(6). Suppose 26 + 4 = -m*y. Let j = 17 - y. Is j a multiple of 12?
False
Let x be (-2)/2*-1*5. Suppose 0*w + 14 = -3*w + x*s, 2*w - s = 0. Suppose 3*z + 2*z - 2*p = 146, -w*z = -3*p - 54. Does 15 divide z?
True
Let m = 376 - 226. Does 25 divide m?
True
Suppose -2*x + 0*x = -14. Let s(a) = 0*a**2 + a**3 - 1 - 2*a**2 + 4*a + x*a**2. Is s(-3) a multiple of 2?
False
Let r(t) = -t**3 + 8*t**2 + 4*t + 2. Does 29 divide r(5)?
False
Suppose 600 = -2*j + 168. Is (-2)/(-5) + j/(-10) a multiple of 13?
False
Let r(s) = 1. Let b(i) = -i - 2. Suppose 3*u - 8 = -f, f - 6*u + 8 = -u. Let j(c) = f*b(c) + 3*r(c). Is 9 a factor of j(-7)?
False
Let w(n) = n**3 + 2*n**2 + 2. Let l be w(-2). Suppose -l*v - 9 = -35. Is 8 a factor of v?
False
Does 14 divide 2*-1*(-18 + 4)?
True
Suppose 0 = 2*b - 49 + 13. Is -2 + 0 + b + -5 a multiple of 3?
False
Suppose -2 = -2*q + 4. Suppose 0 = 2*c + 2*v + v + q, 2*v + 2 = c. Suppose c*x + x - 28 = 0. Does 14 divide x?
True
Suppose -99*h = -93*h - 144. Is h a multiple of 6?
True
Let i = -16 + 7. Let y be ((-258)/i)/((-2)/(-3)). Suppose -4*v = -y - 33. Is 9 a factor of v?
False
Suppose r + 76 = 2*z + 5*r, 177 = 4*z + 3*r. Is z a multiple of 22?
False
Let z = 31 - 45. Is 2 a factor of 3*3/(-18)*z?
False
Is (-5 + 6 - -52) + 4 a multiple of 8?
False
Let t = 6 + -6. Let h be 2/(-2*1) - -28. Suppose 5*z + 3*f + 0*f - 37 = t, -4*z + h = 5*f. Is z a multiple of 8?
True
Let c(q) = 3*q**2. Let g be c(1). Suppose -g*r = r. Suppose -2*u - 2*u + 5*m + 35 = 0, 4*u + 3*m - 75 = r. Does 9 divide u?
False
Suppose 0 = v - 133 - 9. Is 13 a factor of v?
False
Let k be (-58)/(-8) + 2/(-8). Let z be (-3)/2 + 21/14. Suppose 48 + k = 2*m - p, z = -5*m + p + 133. Does 13 divide m?
True
Suppose 2*x = 5*t + 25, -6*x + 5*x - 3*t = 4. Suppose -6*z + 3*g = -2*z - 32, -x*z + 3*g = -37. Suppose -142 + 32 = -z*d. Is d a multiple of 11?
True
Let f(k) = 19*k + 1. Suppose -4*z + z = -18. Let t = z - 5. Is 9 a factor of f(t)?
False
Does 34 divide (5 - (-7)/2)*12?
True
Let s = 399 + -258. Is 23 a factor of s?
False
Let j = -10 + 52. Does 14 divide j?
True
Suppose -n + 21 = -43. Does 14 divide n?
False
Suppose 3*q + q - 20 = 0. Suppose -q*i = -2*y - 9, 0 = 4*i - 4*y + y - 3. Suppose 2*w - 110 = -i*w + 5*z, -2*z + 10 = w. Is w a multiple of 18?
True
Let s(v) = 19*v + 1. Let r = 4 + -2. Suppose -3 = r*c - 5*c. Does 20 divide s(c)?
True
Suppose -4 = 2*i - 2. Let a(r) = 5*r**3 + 11*r**2 + 7*r - 3. Let m(y) = y**3 + y**2. Let u(l) = i*a(l) + 4*m(l). Does 22 divide u(-7)?
False
Let j be 9/3*(2 + -1). Let c be 5/j + (-4)/6. Is 10 a factor of 57/12*4/c?
False
Let k(t) = -t**3 + t. Let r be k(0). Suppose r = 3*j - 15 - 18. Let l = 17 - j. Is 6 a factor of l?
True
Let s = -7 + 7. Suppose 0*y + y - 1 = s, 149 = a + 5*y. Suppose -2*c - c - 2*w + a = 0, 5*w + 165 = 3*c. Is c a multiple of 17?
False
Let t be 1/(-2)*12/(-2). Suppose t*h = -4 - 8, 5*v + 5*h = 445. Is 25 a factor of v?
False
Suppose 2*h - 6*h = -12. Let o(u) = -2*u + 10 + 8 - h. Is o(-11) a multiple of 14?
False
Suppose -10 = 5*s + 2*c, -c = -6*c. Is (1*s)/(1/(-12)) a multiple of 8?
True
Suppose -2*s = -52 - 150. Is 8 a factor of s?
False
Suppose 0 = 4*g - 7*g + 552. Suppose 4*p - 3*k - 199 = -p, -g = -5*p - 2*k. Does 19 divide p?
True
Suppose 4*f + 660 = 8*f. Suppose 0 = -0*p + 3*p - f. Does 12 divide p?
False
Suppose -c + 0*c = -255. Suppose -5*f + c = 5*z, 3*f - 3*z + 98 = 263. Does 22 divide f?
False
Let o(a) = -3*a + 10. Let n be o(7). Let x = n - -21. Is 10 a factor of x?
True
Suppose -22*c + 3222 = 538. Is 50 a factor of c?
False
Suppose g + 3*z - 122 = 2*z, -3*g = 4*z - 365. Suppose -4*w + g = -t - 13, -w = t - 34. Does 22 divide w?
False
Let h(g) = -g**3 + g**2 + g + 2. Let p be h(-4). Suppose -p = -4*q + q. Suppose -o = -0*o - q. Is 9 a factor of o?
False
Let w = -113 + 181. Is w a multiple of 17?
True
Let g(f) = f + 2. Let y be g(0). Suppose -y*x + 18 = -40. Is x a multiple of 9?
False
Suppose 0*j = 4*h + 4*j - 148, 2*j - 111 = -3*h. Let i = h + 4. Let z = i - 21. Is z a multiple of 10?
True
Suppose 2*j + 5*a = 3*a + 6, a + 5 = -5*j. Let t be j/(-5) + 108/30. Suppose 2 = w, 0 = -t*b - 2*w + 69 + 155. Does 16 divide b?
False
Let t(l) = l - 6. Let m be t(6). Suppose 4*x + 0*x + j - 70 = m, j - 36 = -2*x. Let b = x + -5. Is b a multiple of 12?
True
Suppose -4*i + 2*i = -26. Let y = i + -8. Suppose y*c - 7 = 4*c. Does 5 divide c?
False
Let o be (10/4)/((-1)/(-2)). Let g be 2/(3/(7 + -1)). Suppose -o*a = -g*h - 274, -4*a = -0*a + h - 215. Is 24 a factor of a?
False
Does 34 divide 1/((-5)/3360*-4)?
False
Suppose 4*t = 3*t + 3*b - 7, 0 = -4*t - 2*b + 42. Suppose 4*v + 5*m + 16 = t*v, 4*v + m - 16 = 0. Suppose -x - v = -17. Is x a multiple of 13?
True
Let l = -4 - -9. Suppose l*q - 47 - 53 = 0. Is q a multiple of 7?
False
Let m(j) = j - 3. Let a be m(8). Suppose -a*f = -2*f - 18. Is 42/4*8/f a multiple of 7?
True
Let d = 32 + -4. Is 13 a factor of d?
False
Let q(v) = -v**3 - 15*v**2 + 15*v + 8. Does 3 divide q(-16)?
True
Is 9 a factor of (-3 - -1)*106/(-4)?
False
Let d = 225 - 141. Is d a multiple of 28?
True
Let c = -257 + 431. Does 29 divide c?
True
Suppose 3*t - 40 = -t. Suppose -2*v + t = 0, 0*v + 1 = 3*k - v. Let l(g) = 2*g**2 - 2. Is 6 a factor of l(k)?
True
Suppose -5*r + 4*r + 20 = 0. Suppose 4*j - 8 = r. Is 4 a factor of j?
False
Let u(l) be the second derivative of 0*l**2 + 1/20*l**5 - 1/3*l**3 + l + 1/12*l**4 + 0. Is 8 a factor of u(2)?
True
Suppose -5*q = 10, -3*d + 3*q + 10 = -d. Let r(h) = -8*h - 4 + 4 - h**d - 1. Is 11 a factor of r(-6)?
True
Suppose 22 = a - 27. Does 9 divide a?
False
Let r be -44*(5/2)/5. Let j(a) = a**3 + 5*a**2 - 2. Let q be j(-5). Let z = q - r. Is z a multiple of 14?
False
Let o(i) = 3*i - 5. Let b be o(5). Suppose -5*t + 9 + 116 = 0. Let p = t - b. Is p a multiple of 15?
True
Let r = 9 + 11. Suppose 20 + r = 4*o. Is 8 a factor of o?
False
Suppose 3*d - r - 230 = 0, d - 31 = r + 45. Does 7 divide d?
True
Suppose -5*j = 3*x + 60, 2*j - x + 20 = -4. Let q = 7 + -11. Let o = q - j. Is 8 a factor of o?
True
Does 13 divide (-6 - (-42)/8)*-524?
False
Let w = -2 + 15. Does 13 divide -1 + w - (0 + -1)?
True
Let g(k) = 2*k - 6. Suppose -3*l + 5*l - 2*d = 2, d = -2*l + 11. Let n be g(l). Suppose -t + 1 + n = 0. Does 2 divide t?
False
Let w = 6 - 4. Let r = -17 - -19. Suppose -2*h = 5*n - 37, -w*h + 2*n + 0*n + r = 0. Is 4 a factor of h?
False
Let p be 0/(-3) - -3 - -1. Suppose 4 = x + 2*j, -3*x - p*j - 7 + 21 = 0. Suppose -x*u + 180 = -u. Is u a multiple of 12?
True
Let q = 4 - -11. Let u be 6/q + 14/(-10). Does 14 divide ((-3 - u) + 6)*5?
False
Let u(h) be the first derivative of 36*h**2 - 3*h - 1. Let t be u(2). Suppose d + 103 = 3*g - 4, 4*g - d - t = 0. Is 17 a factor of g?
True
Let y = 29 - 5. Is y a multiple of 8?
True
Suppose 1 + 0 = z. Let p = z - -1. Suppose p*a + 3 = 21. Is 8 a factor of a?
False
Let h(m) = 2 - 2 + 8*m - 3*m + 8. Let g be h(8). Does 8 divide g/2 - (5 + -5)?
True
Suppose 4*g + 5 - 17 = 0. Let q = g + -3. Suppose -4*j - 78 = -3*v, 0*v - v - 4*j + 42 = q. Does 14 divide v?
False
Let h(s) = 12*s**2 - s. Let t be h(-1). Suppose 17 = 5*a - t. Is a a multiple of 2?
True
Suppose -176 = -2*z - m, 0 = 3*z -